検索したい科目／教員名／キーワードを入力し「検索開始｣ボタンをクリックしてください。
※教員名では姓と名の間に１文字スペースを入れて、検索してください。
情報システム解析講究２
| 科目名 | 情報システム解析講究２ | ||||
|---|---|---|---|---|---|
| 旧カリキュラム名 | コンピュータ科学講究２ | ||||
| 教員名 | 戸田 誠之助 | ||||
| 単位数 | 2 | 学年 | 3 | 開講区分 | 文理学部 |
| 科目群 | 情報科学科 | ||||
| 学期 | 後期 | 履修区分 | 必修 | ||
| 授業テーマ | コンピュータ科学の基礎理論を理解する。 |
|---|---|
| 授業のねらい・到達目標 | 計算理論，アルゴリズム論，プログラム理論，計算量理論などのコンピュータ科学の基礎理論分野から一つの理論を選んで，それを専門的に学習する。以下に示すシラバスは，一つのモデルケース（計算理論を学習する場合）を表している。 |
| 授業の方法 | 授業のねらいのところで述べた様々な基礎理論に関する教科書を複数提示するので，その中から一つを選んで学習する。選んだ教科書の内容を授業時間内に発表する。授業開始時点で，それまでに学習した内容に関する小テストを行うこともある。 |
| 履修条件 | 学科内規による。 |
| 授業計画 | |
|---|---|
| 1 | 計算とは何か？ |
| 2 | whileプログラム |
| 3 | 原始帰納関数（１） |
| 4 | 原始帰納関数（２） |
| 5 | 帰納関数（１） |
| 6 | 帰納関数（２） |
| 7 | チューリング機械（１） |
| 8 | チューリング機械（２） |
| 9 | 計算不可能性（１） |
| 10 | 計算不可能性（２） |
| 11 | 計算不可能性（３） |
| 12 | 帰納的集合と帰納的可算集合 |
| 13 | ラムダ計算の基礎（１） |
| 14 | ラムダ計算の基礎（２） |
| 15 | ラムダ計算の基礎（３） |
| その他 | |
|---|---|
| 参考書 | 高橋正子 『計算論 （コンピュータサイエンス大学講座）』 近代科学社 1991年 第1版 |
| 成績評価の方法及び基準 | 平常点(100%) 発表内容、レポート、出席状況をもとに総合的に判定します。 |
| オフィスアワー | 質問は、時間が空いてさえいれば、いつでも受付ます。 |