出版社内容情報
計算の可能性と限界を明らかにし、コンピュータの理論的基礎を創った画期的な論文の実像を求めて、各節を丁寧に読み解き翻訳して説明。また導入として背景から評価までを解説。
チューリングは1936年に発表した論文「計算可能な数について」のなかで、計算することの可能性と限界を明らかにし、現代のコンピュータの理論的基礎を創った。論文はチューリングが人工知能を考え始めた原点でもある。この論文はその重要性にもかかわらず、計算のための機械の記述などに多くの誤りが含まれていることなどから、あまり読まれていない。本書は原論文の誤りのヴェールを取り除き、論文の本来の姿（実像）を読みやすい形で紹介することを目指した。
第１部は導入として、論文の背景や及ぼした影響について説明した。はじめにチューリングの生い立ち、論文のきっかけを作った当時の数学界の状況などを概観した。そして論文の概要を、考え方を中心に紹介した。特に、チューリングが提案した機械（チューリング機械）は、その万能型も含めて、原理はとてもやさしいことを示した。また、論文の成果について、学問の面では、計算できることについてのチャーチ‐チューリングの提唱や言語（文法）と機械の関係についてのチョムスキーの階層の中での重要な位置付けなどを、また技術面では、コンピュータの原理の発明などを述べた。さらにチューリングを含めたパイオニア達の競争と協力により、世界の最初期のコンピュータがどのように生まれたかを詳しく跡付けた。
第2部が翻訳と説明になる。訳文は、理解しやすく読みやすいものにすることを目指した。特に論文中の誤りは本来の内容となるように修正を加え、論文の元の記述との対比を修正表として示した。また、論文中の使用文字や詳細構成について、読みやすくする工夫を施した。内容の理解を助けるための説明を節ごとに加えた。計算する機械の動作などについては図表を用いて補足した。論理式を使った記述やラムダ計算を用いた証明などについて、詳細を補った。
【目次】
はじめに
【第1部 導入】
第1部の内容について
序章 チューリングの独創的論文
第1章 生い立ちと人物像
第2章 時代背景
第3章 学術界の動向
3.1 数学の進展
3.2 物理学の進歩
第4章 チューリング機械の構想にいたる天才的思考
4.1 準備：計算する装置・機械
4.2 計算機械にいたる天才的思考
4.3 万能機械にいたる天才的思考
第5章 原論文の紹介
5.1 計算する機械
5.2 計算可能な数
第6章 論文の評価
6.1 先駆者が残したバグ
6.2 チャーチ‐チューリングの提唱
6.3 チューリング機械の概念の広まり
6.4 オートマトン理論と形式言語理論―チョムスキーの階層
6.5 コンピュータの原理の発明
第7章 競争と協力―コンピュータの実現
7.1 もう一人の天才フォン・ノイマンとプログラム内蔵方式
7.2 初期のコンピュータ開発
第8章 名誉と不名誉
8.1 第二次世界大戦中の秘密任務
8.2 早すぎた晩年
8.3 賞賛と名誉回復
【第2部 訳と説明】
第2部の構成と記述方式
計算可能な数について，決定問題への応用を付して
まえがき ／ まえがき 説明
1. 計算機械
2. 定義
第1節・第2節 説明
3. 計算機械の例 ／ 第3節 説明
4. 短縮した表 ／ 第4節 説明
5. 計算可能な列の数え上げ ／ 第5節 説明
6. 万能計算機械 ／ 第6節 説明
7. 万能機械の詳細な記述 ／ 第7節 説明
8. 対角線論法の応用 ／ 第8節 説明
9. 計算可能な数の広さ ／ 第9節 説明
10. 計算可能な数の大きな集合の例 ／ 第10節 説明
11. 決定問題への応用 ／ 第11節 説明
付録 計算可能性と実際に計算できること ／ 付録 説明
計算可能な数について，決定問題への応用を付して．訂正
訂正 説明
修正表
参考文献
あとがき
索引
-
- 電子書籍
- 魔法少女イナバ 連載版：6 ブシロード…
-
- 洋書電子書籍
- Travels China, Japa…
