オートマトンと数理言語論の延長として、基礎的な計算モデルであるTuring機械に関する計算可能性を学びます。これを通して、計算機のハードウェア、ソフトウェアに関する基本的な数学的性質である計算可能性の概念を学びます。具体的には、Turing機械、Church-Turingの提唱、Turing機械のバリエーション、判定可能性、対角線論法、停止問題、帰着可能性、Post の対応問題、再帰定理を扱います。
本講義を履修することによって以下を理解する。
1) 計算可能性の概念
2) Turing機械モデルとその変形
3) 計算可能性に関する証明手法
計算、計算可能性、Turing機械、Church-Turingの提唱、Turing機械のバリエーション、判定可能性、対角線論法、停止問題、帰着可能性、Post の対応問題、再帰定理
✔ 専門力 | 教養力 | コミュニケーション力 | ✔ 展開力(探究力又は設定力) | ✔ 展開力(実践力又は解決力) |
授業は通常の講義の他に演習形式の講義があります。通常の講義3ないし4回につき1回の割り合いで演習形式の講義を行います。そこでは、通常の講義中に扱えなかった内容や小テストについて説明します。授業では毎回、その回の内容、または、それ以前の回の内容について小テストを出します。
授業計画 | 課題 | |
---|---|---|
第1回 | 講義全体の概要、講義の位置付け、Turing機械 I | Turing機械の概念を理解する |
第2回 | Turing機械 II、Church-Turingの提唱、Turing機械のバリエーション I | Church-Turingの提唱を理解する |
第3回 | Turing機械のバリエーション II | 等価性証明手法を理解する |
第4回 | Turing機械とそのバリエーションに関する演習 | Turing機械のバリエーションについてその性質を理解する |
第5回 | 判定可能性 | 判定可能性の証明手法について理解する。 |
第6回 | 対角線論法、停止問題 | 対角線論法の適用方法を理解する |
第7回 | 帰着可能性 | 帰着可能性の概念を理解する |
第8回 | 判定可能性と帰着可能性に関する演習 | 帰着の具体的方式を理解する |
第9回 | 言語理論に対する判定不可能性 | 証明手法を理解する |
第10回 | Postの対応問題 | 問題とその帰着を理解する |
第11回 | 写像帰着可能性 | 写像帰着可能性の概念を理解する。 |
第12回 | 再帰定理 | 証明手法を理解する。 |
第13回 | 像帰着可能性と再帰定理に関する演習 | 写像帰着の手法を理解する。 |
第14回 | 計算量理論入門 | 計算量理論の概念について理解する。 |
第15回 | 先端の話題 | 先端の話題について理解する。 |
計算理論の基礎 (原著第 2 版) 2 計算可能性の理論, Michael Sipser 著, 太田 和夫, 田中 圭介 監訳, 阿部 正幸, 植田 広樹, 藤岡 淳, 渡辺 治 訳, 共立出版, 2008 年, ISBN 978-4320-12208-6. (原著: Introduction to the Theory of Computation, Second Edition, Michael Sipser, Thomson Course Technology, 2005, ISBN 978-0534-95097-2.)
初回の講義でお知らせします。
授業中に行う小テスト (60%) と最終試験 (40%) で評価を行います。
アルゴリズムとデータ構造、および、オートマトンと数理言語論の知識があることが望ましい。