2005-11-24 論理トレーニング 人から聞いたネタですが、「停止問題は決定不能なので、ソフトウェアの安全性を全自動の検査で保証することはできない」とかいう新聞記事があったとか。どういう説明をどう誤解したのか想像するあたりが論理トレーニング。