情報理工学III（計算と情報の理論）
2020年度 秋学期 木曜 1時限（9:00〜10:40）
オンライン講義
登録コードSIC20501
計算理論 第2回（11月26日）
計算理論 第2回（11月26日）
非決定性有限オートマトンと正規表現（解答例なし，解答例あり）
計算理論 第3回（12月10日）
計算理論 第3回（12月10日）
非正規言語とTuring機械（解答例なしのみ）
Turing機械に関するいい感じのページ（Turing機械をExcelで実現，Turing機械を物理的に実現，Turing機械を木製機械で実現)
計算理論 第4回（12月17日）
計算理論 第4回（12月17日）
アルゴリズムと停止問題（解答例なしのみ）
計算理論 第5回（1月7日）
計算理論 第5回（1月7日）
前回の続き
計算理論 第6回（1月14日）
計算理論 第6回（1月14日）
PとNP（解答例なしのみ）
計算理論 第7回（1月21日）
計算理論 第7回（1月21日）
NP-完全，NP-困難（解答例なしのみ），付録