情報理工学III（計算と情報の理論）

• 2019年度 秋学期 木曜 1時限（9:00〜10:40）
• 6号館 302講義室
• 登録コードSIC20501

計算理論 第1回（11月21日）

• 計算の理論を学ぶ意義
• オートマトンと正規言語（講義版，完全版）←演習問題の部分を少し整理し修正しました．
  • オートマタの例（1, 2, 3）

計算理論 第2回（11月28日）

• 非決定性有限オートマトンと正規表現（講義版，完全版）

計算理論 第3回（12月5日）

• 非正規言語とTuring機械（完全版）
  • Turing機械に関するいい感じのページ（Turing機械をExcelで実現，Turing機械を物理的に実現，Turing機械を木製機械で実現)

計算理論 第4回（12月12日）

• アルゴリズムと停止問題（完全版）
  • 今回は「非正規言語とTuring機械」の26ページから説明します．

計算理論 第5回（12月19日）

• PとNP（完全版）
  • 「アルゴリズムと停止問題」の19ページから話します．

レポート課題1（提出締切 2020年1月8日水曜日23時55分）

計算理論 第6回（1月9日）

• NP-完全，NP-困難（完全版）
  • 「PとNP」の23ページから説明します．

計算理論 第7回（1月16日）

• 「NP-完全，NP-困難」の11ページから説明します．
  • NP-完全の補足

レポート課題2（提出締切 2020年1月31日金曜日23時55分）