t_wの輪郭

UML日本のIT林晋『プログラム検証論 (情報数学講座 8)』
『コンピュータと認知を理解する — 人工知能の限界と新しい設計理念』