プログラム構造論
Mathematical Structures in
Programming
時間： 2008年夏学期 月曜日午前 10:15 -- 11:45
場所： 工学部６号館３階セミナー室B
講義内容
計算機プログラムに内在する数理的構造を捉え、アルゴリズム設計における構
成的手法の体系化とそれに基づくプログラミング方法論を扱う。種々の計算モ
デルにおけるプログラムの構造を体系化する理論の構築とそれに基づく工学的
手法、開発支援システムのあり方等を論じる。また、アルゴリズム設計におけ
る発見的手法の体系化を通じて、構成的手法の適用範囲等についても論じる。
教科書
Anne Kaldewaij, Programming: The Derivation of Algorithms, Prentice Hall, 1990.
ISBN 0-13-204108-1.
参考書
Roland Backhouse, Program Construction: Calculating Implementation from Specification,
Wiley, 2003.
Richard Bird and Oege de Moor, The Algebra of Programming, Prentice-Hall, 1996.
講義資料
- 04/07: Introduction
(pdf)
- 04/21:
Predicate Calculus, A Guarded Command Language
(pdf)
- 04/28: Quantification
(pdf)
- 05/12: General Programming Techniques (I)
(pdf)
- 05/19: General Programming Techniques (II)
(pdf)
- 05/26: Deriving Efficient Programs
(pdf)
- 06/02: Linear and Binary Searching
(pdf)
- 06/09: Searching by Elimination, Segment Problems
(pdf)
- 06/23: Program for Class Discussion
関連ページ
IFIP Working Group 2.1 -- Algorithmic Languages and Calculi
8th International Conference on Mathematics of Program Construction, Kuressaare, Estonia, 3-5 July 2006.
Roland Backhouse's
Course Page on Program Construction and Verification
Maintained by Zhenjiang Hu(hu@mist.t.u-tokyo.ac.jp). Last modified
on April, 2008.