形式手法

最短経路アルゴリズムの父ダイクストラはなぜPCを「知力の毒」と呼んだのか？万年筆の「摩擦」が思考を守る仕組みと、AI時代に思考力低下を防ぐ形式手法の実践的な考え方を解説。