シラバス※お気に入りに登録しました。本講義の到達目標は「計算とは何か」を理解することである。オートマトン・言語・アルゴリズムの3つが互いに変換可能な概念であることを知り、コンピュータとその背後にある「計算」の概念を原理的に理解することを目指す。授業内容UNIXコマンドの正則表現やコンパイラの構文解析などの実用的な領域から、計算モデルや計算の複雑さなどの理論的領域に至るまで、オートマトン理論は計算機科学のあらゆる分野を支える基礎理論である。オートマトンは、有限の記述を用いて無限の記号列を認識する系であり、この性質が計算機の能力を高い段階に引き上げることに深く関与している。このことを理解し、計算という概念を理論的にとらえていく視点を身につけることが本講義の目的である。演習時間を2回設けるが、演習問題を解くことは理論を確実に理解するための手助けにすぎない。手順を身につけるのではなく、仕組みや理論の意味するところを深く理解するように心がけたい。14、まとめと確認テスト本講義では毎回の授業に対して予習復習あわせて4時間程度の自己学習が必要である。次回の講義前までに配布資料に目を通し分からない部分を明確にしておくこと。授業後にはその部分を中心に全体の内容を再度確認すること。板書の書き写しよりも講義に耳を傾けることを求める。よって、あらかじめ講義資料を配布し、資料に要点や疑問点を記入していく姿勢で受講されたい。レポートと確認テストの点数によって評価する。出席率が2/3に満たないものには単位を与えない。講義は、そのつど質問を促しながら進めていく。よい質問をしたものには加点する。会議などで不在の場合があるので電子メールでアポイントをとること。メールアドレスは初回講義で通知する。シラバス検索お気に入り公式サイトへ。