- 開講元
- 数理・計算科学系
- 授業形態
- 講義 / 演習
- メディア利用科目
- 曜日・時限(講義室)
- 月7-8(W833) 木5-8(W833)
- クラス
- -
- 科目コード
- MCS.T204
- 単位数
- 3
- 開講年度
- 2016年度
- 開講クォーター
- 1Q
- シラバス更新日
- 2016年4月27日
- 講義資料更新日
- 2016年6月1日
- 使用言語
- 日本語
- アクセスランキング
-
media
講義の概要とねらい
講義ではプログラミングとその周辺について，論理ゲートや機械語といったレベルから様々な高水準プログラミング言語まで，また具体的な現実のプログラミング言語から理想的なプログラミング言語による計算複雑さ・計算可能性の議論までを俯瞰する。プログラム検証についても説明する。さらに科学技術者倫理についても議論する。演習の時間には基礎からのプログラミング実習を行う。
この授業は数理・計算科学系でのすべての勉強・研究の出発点となるものである。
到達目標
プログラミングの理論・技術の基礎を身に付ける。
キーワード
プログラミング，機械語，高水準言語，制御構造，データ構造，計算可能性，プログラム検証，科学技術者倫理。
学生が身につける力(ディグリー・ポリシー)
| ✔ 専門力 | 教養力 | コミュニケーション力 | 展開力(探究力又は設定力) | ✔ 展開力(実践力又は解決力) |
授業の進め方
講義と演習を毎回行う。
授業計画・課題
| 授業計画 | 課題 | |
|---|---|---|
| 第1回 | 導入。プログラミングパラダイム。 | 授業時に指示する。 |
| 第2回 | 論理ゲート，ブール代数。 | 授業時に指示する。 |
| 第3回 | 加算器，フリップフロップ。 | 授業時に指示する。 |
| 第4回 | 機械語。 | 授業時に指示する。 |
| 第5回 | 高水準言語，コンパイル。 | 授業時に指示する。 |
| 第6回 | 浮動小数点，計算の精度。 | 授業時に指示する。 |
| 第7回 | 制御構造（１）。条件分岐，繰り返し。 | 授業時に指示する。 |
| 第8回 | 制御構造（２）。函数定義，再帰。 | 授業時に指示する。 |
| 第9回 | データ構造（１）。組，リスト，パターンマッチング。 | 授業時に指示する。 |
| 第10回 | データ構造（２）。高階函数，多相性。 | 授業時に指示する。 |
| 第11回 | 計算複雑さ，計算可能性。 | 授業時に指示する。 |
| 第12回 | プログラムの正しさ（１）。モデル検査。 | 授業時に指示する。 |
| 第13回 | プログラムの正しさ（２）。ホーア論理。 | 授業時に指示する。 |
| 第14回 | 科学技術者倫理（１）。全体的な話題。 | 授業時に指示する。 |
| 第15回 | 科学技術者倫理（２）。計算機科学の話題。 | 授業時に指示する。 |
教科書
未定
参考書、講義資料等
未定
成績評価の基準及び方法
配点は期末試験(30%), プログラミング演習(60%)，その他の演習(10%)。
関連する科目
- LAS.I111 ： 情報リテラシ第一
- LAS.I112 ： 情報リテラシ第二
- LAS.I121 ： コンピュータサイエンス第一
- LAS.I122 ： コンピュータサイエンス第二
履修の条件(知識・技能・履修済科目等)
この科目は数理・計算科学系の学生だけが履修できる。
情報リテラシ第一，第二(LAS.I111, LAS.I112)を履修していること，または同等の知識があることを条件とする。
