プログラムの数理
時間: 2008 年度冬学期 月曜日午前
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.
講義資料
参考のための講義資料を講義後にここにおくようにします。
関連リンク
胡振江
(hu at mist.i.u-tokyo.ac.jp). Last modifed on October 2008.