t_wの輪郭

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