2007-03-24 計算不可能性を設計する ん?w ナニこれw 検索結果 http://www.amazon.co.jp/exec/obidos/ASIN/4901391801/masaba-22/ref=nosim http://www.amazon.co.jp/exec/obidos/ASIN/4764902001/masaba-22/ref=nosim 第2章 計算可能性入門 PDF 計算不可能性の証明 どんなプログラムも作れないことの証明:難しい 「対角線論法」 「帰納的還元性」