2005-09-09 ■ memo memo チューリングマシンの停止問題 - Wikipedia 自己言及のパラドックス - Wikipedia 計算できない問題・関数について 先端技術融合事典:チューリングマシン (Turing Machine)