ノイマン・ゲーデル・チューリング / 高橋　昌一郎　著