プログラムの数理
時間: 2006 年度冬学期 月曜日午前
8:30 -- 10:00
場所: 工学部 6 号館 2 階 63 講義室
講義内容
計算機プログラムに内在する数理的構造を捉え、アルゴリズム設計における構
成的手法の体系化とそれに基づくプログラミング方法論を扱う.
- 算法言語の基本概念(文法,意味,型,計算モデル)を学習することによっ
て,厳密な科学・工学としてのプログラミングのあり方を学ぶ.
- 算法設計・プログラミングを数学的な活動としてとらえる考え方を理解す
る.計算機プログラムの数理的構造を捉え.それに基づいて構成的にアルゴリ
ズムを記述する構成的アルゴリズム論(constructive algorithmics)の基礎を扱
う.
教科書・参考書
- 武市正人訳、
「関数プログラミング」, 近代科学社, 1994年. ISBN4-7649-0181-1、定価
4,500円.(R. Bird and P. Wadler, Introduction to Functional
Programming, Prentice Hall, 1988)
- Richard Bird, Lecture Notes on Constructive Functional
Programming, Technical monograph 69; PRG, Oxford University,
September 1988.
- Richard Bird and Oege de Moor. The Algebra of
Programming. Prentice-Hall, 1996.
講義資料
- 講義の概要 (PDF)
- 関数プログラミングの基本概念 (PDF)
- 基本データ型上の関数 (PDF)
- 関数プログラムの設計 (PDF)
- 合成型上の関数 (PDF)
- 帰納法によるプログラムの証明 (PDF)
- 中間レポートについて (PDF)
- 構成的アルゴリズム論1(基本概念) (PDF)
- 構成的アルゴリズム論2(準同型) (PDF)
- 構成的アルゴリズム論3(方向付き簡約計算) (PDF)
- 構成的アルゴリズム論4(リストから行列への拡張) (PDF)
- 講義の復習(まとめ) (PDF)
- 期末試験問題 (PDF)
関連リンク
胡振江
(hu at mist.i.u-tokyo.ac.jp). Last modifed on 23 October 2006.