Special Seminar for Computer and Information Sciences - Akira SASAKI
- 2012 年度版 (2013年度版準備中)
Instructor
Goal and Theme
計算機言語処理系に関する書籍や学術論文等から、基礎となるものおよび修士論文のテーマに関連するものを取り上げ、輪講を行う。また、修士論文の研究の一環として、研究計画、予備実験、基本的なシステムの設計等を行う。
Abstract
計算機言語処理系に関する書籍や学術論文等から、基礎となるものおよび卒論のテーマに関連するものを取り上げ、輪講形式で理解を深める。基礎的なテーマとして、プログラム意味論の基礎、コンパイラ構成論などの分野の書籍・論文を用いて学習を進める。また、修士論文の研究の一環として、研究計画、予備実験、基本的なシステムの設計等を行う。研究室の各メンバーによってディスカッションを行い、理解を深める。
Schedule
| 回 | テーマ | 内容 |
|---|---|---|
| 1 | 導入 | 導入 |
| 2 | Inductive Sets of Data(1) | Recursively Specified Data |
| 3 | Inductive Sets of Data(2) | Recursive Programs |
| 4 | Data Abstraction(1) | Specifying / Representing Data |
| 5 | Data Abstraction(2) | Recursive Data Type, Abstract Data Type |
| 6 | Expressions(1) | A Simple Language |
| 7 | Expressions(2) | A Language with Procedures |
| 8 | Expressions(3) | A Language with Recursive Procedures |
| 9 | Expressions(4) | Scoping of Variable, Implementation of Lexical Scoping |
| 10 | State(1) | A Language with References |
| 11 | State(2) | A Language with Mutable Objects |
| 12 | State(3) | A Parameter-Passing Variations |
| 13 | Continuation-Passing Interpreters(1) | A Continuation Passing Interpreters |
| 14 | Continuation-Passing Interpreters(2) | A Trampolined Interpreter |
| 15 | Continuation-Passing Interpreters(3) | A Imperative Interpreter |
授業外に行うべき学習活動
輪講の該当箇所の予習やプログラミング、文献紹介のための準備、研究内容の発表のための準備
Materials
なし
References
Essentials of Programming Languages Daniel P. Friedman and Mitchell Wand, Third Edition, MIT Press, 2008. 他にも、テーマに応じて適宜、書籍、論文を参考にする。
Evaluation Method
発表や議論などセミナーへの関与の度合いによって採点する
情報機器使用
貸与ノートPC、授業支援システム
前年度の授業改善アンケートからの気づき
メンバー間での活発な討議を促進する。