- 担当教員
- 德永 健伸
- 使用教室
- 木5-6(W641)
- 単位数
- 講義：2 演習：0 実験：0
- 講義コード
- 7219
- シラバス更新日
- 2012年9月21日
- 講義資料更新日
- 2012年9月21日
- 学期
- 後期 / 推奨学期：4
講義概要
I 論理と関数の考え方を基礎とするプログラミングについて，具体的なプログラミング言語を用いて講義する。
II 関数型プログラミング，論理型プログラミング，帰納的プログラミング，データ抽象，Shceme，Prolog
講義の目的
プログラミング言語Schemeを用いて，データ抽象，記号データ，リスト処理，再帰的プログラミング，メタインタプリタ，論理プログラミングについて習得する．
講義計画
1. Schemeの基礎
2. 記号データ
3. 構造とリスト
4. 環境と束縛
5. 高階関数
6. データ抽象とその応用
7. Schemeインタプリタ
8. 論理型プログラミング
9. 演繹データベース
10. 単一化とバックトラック
教科書・参考書等
・サスマン，エイブルソン，サスマン著，「計算機プログラムの構造と解釈 第2版 」，ピアソン，2000年
参考書等
・Prolog 入門，古川 康一 著，オーム社，1986
関連科目・履修の条件等
計算基礎論 (3学期,○,2-1-0)，プログラミング第一 (3学期,○,2-0-0)
数理論理学 (4学期,○,2-1-0)，情報実験第二 (4学期,◎,0-0-1)，プログラミング第三 (5学期,☆,2-0-0)，情報実験第四 (6学期,◎,0-0-3)，データベース (7学期,☆,2-0-0)
成績評価
講義への貢献10%，小テスト30%，期末試験60%の合計で評価する．
担当教員の一言
講義で解説した項目を情報実験第二で演習課題として解くというスタイルで講義を進めるので，より理解を深めるために情報実験第二と合わせて受講すること．また，積極的にプログラミングをすることによって言語になじみ，その動作原理を理解した上で使いこなせるようになって欲しい．
その他
関連サイト
(Eクラス) TOKYO TECH OCW
http://www.ocw.titech.ac.jp/index.php?module=General&action=T0300&GakubuCD=101&GakkaCD=53&KougiCD=7219&lang=JA
(Oクラス) TOKYO TECH OCW
http://www.ocw.titech.ac.jp/index.php?module=General&action=T0300&GakubuCD=101&GakkaCD=53&KougiCD=7220&lang=JA
知識ユニット
* 手続き抽象
* データ抽象
* 可変データ構造
* ストリーム
* リスト操作
* 高階関数
* メタインタプリタ
* 論理プログラミング
* 単一化
* バックトラック
試験問題・略解の公開
Webページで随時公開する
