t_wの輪郭

林晋PX証明アニメーション『プログラム検証論 (情報数学講座 8)』形式的検証ソフトウェア工学者日本のIT『日本のIT産業は、なぜ世界に通用しないのか』UML
『コンピュータと認知を理解する — 人工知能の限界と新しい設計理念』