検索したい科目／教員名／キーワードを入力し「検索開始｣ボタンをクリックしてください。
※教員名では姓と名の間に１文字スペースを入れて、検索してください。
コンピューティング２
| 科目名 | コンピューティング２ | ||||
|---|---|---|---|---|---|
| 旧カリキュラム名 | コンピュータシステム | ||||
| 教員名 | 戸田 誠之助 | ||||
| 単位数 | 2 | 学年 | 3 | 開講区分 |
文理学部
（他学部生相互履修可） |
| 科目群 | 情報科学科 | ||||
| 学期 | 前期 | 履修区分 | 選択必修 | ||
| 授業テーマ | 計算の仕組みと限界を理解する。 |
|---|---|
| 授業のねらい・到達目標 | ラムダ計算に基づく理論的なプログラミング言語を通して，単純な原理だけであらゆる計算が組み立てられることを理解する。また，停止性判定問題などの計算不可能な事柄が存在すること，さらにはそういった計算不可能性が数学的に証明できることを理解する。 |
| 授業の方法 | 講義を中心とし，ときおり演習を行う。 |
| 履修条件 | プログラミング関係の授業科目を履修していること。 |
| 授業計画 | |
|---|---|
| 1 | 再帰的定義（１） |
| 2 | 再帰的定義（２） |
| 3 | 単純なプログラミング言語の構文と意味（１） |
| 4 | 単純なプログラミング言語の構文と意味（２） |
| 5 | 単純なプログラミング言語の構文と意味（３） |
| 6 | 計算結果の一意性と最左変換 |
| 7 | 真理値，条件分岐，論理演算 |
| 8 | 順序対と各種データ形式の構成 |
| 9 | 様々なデータ構造の実現 |
| 10 | ラムダ計算の基礎 |
| 11 | プログラミング言語からラムダ計算へ（１） |
| 12 | プログラミング言語からラムダ計算へ（２） |
| 13 | プログラミング言語からラムダ計算へ（３） |
| 14 | 正規化可能性のラムダ計算不可能性 |
| 15 | 総合演習 |
| その他 | |
|---|---|
| 教科書 | 講義ノートと配布資料だけで学習できるように授業を行う。 |
| 成績評価の方法及び基準 | 授業内テスト(50%)、演習(50%) |