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