プログラムの数理
時間: 2003 年冬学期 月曜日午前
8:30 -- 10:00
場所: 工学部 6 号館 2 階 63 講義室
お知らせ
- 2月2日(月)午後1時から3時半まで6号館の350号室におります。気軽いに
質疑に来てください。
- 2月9日(月)午前8時半〜10時まで63号室で期末試験を行います。
講義内容
本講義では算法言語の基本概念を関数プログラミングを通して修得する。関数
プログラミングは算法設計・プログラミングを数学的な活動としてとらえる考
え方であり、本講義ではそれをプログラミング言語Haskellを用いて具体的に
示すとともに、厳密な科学・工学としてのプログラミングのあり方を学ぶ。
関数プログラミングを勉強することによって、問題を解く能力を高め抽象化す
る技能を身につけることができる。これは、他言語でプログラミングにも役に
立つだろう。また、Haskell言語はプロトタイプシステムの開発の高速化に向
いていて、実現言語として算法設計、データ構造、プログラミング言語の文法
と意味論、コンパイラ等に利用されている。
教科書
武市正人訳、 「関数プロ
グラミング」, 近代科学社, 1994年. ISBN4-7649-0181-1、定価4,500円
(R. Bird and P. Wadler, Introduction to Functional Programming, Prentice Hall,
1988)
講義スライド
講義で説明されたHaskellのソースプログラム。
リンク
胡 振江 (Hu)(hu@mist.i.u-tokyo.ac.jp)