| 授業科目名（和文） ［Course］ |
理論計算機科学特論 |
| 授業科目名（英文） ［Course］ |
Theoretical Computer Science |
| 学部（研究科） ［Faculty］ |
情報系工学研究科 |
| 学科（専攻） ［Department］ |
システム工学専攻 |
| 単位数 ［Point(Credit)］ |
2単位 |
| 対象学生 ［Eligible students］ |
1・2・3年次生 |
| 授業概略と目標 ［Course description and Objects］ |
プログラムの実行時間を理論的に解析する計算量理論や、現在の計算機モデルでどのような問題が解けるかを考察する分野は、理論計算機科学と呼ばれる。この授業では、計算言語学や機械学習の理論を中心に計算機の可能性を理論的に理解することを目的とする。受講者の興味に合わせて、最新の論文，解説書を輪読する。 |
| 到達目標 ［Learning Goal］ |
1. チューリングマシンの理解 2. 計算言語学の理解 3. 機械学習と理論計算機科学とのかかわりの理解 |
| 授業計画とスケジュール ［Course schedule］ |
1.～ 5. 計算モデルと計算可能性 6.～10. 計算言語学 11.～15. 機械学習の原理 |
| 成績評価方法と基準 ［Grading policy (Evaluation)］ |
出席状況とレポートによる |
| 教科書 ［Textbook］ |
適宜配布する。 |
| 自主学習ガイド及び キーワード ［Self learning］ |
関連する論文誌などを適宜紹介するので、読むとよい。 |
| 開講年度 ［Year of the course］ |
25 |