プログラム構造論
Mathematical Structures in
Programming
担当教員 胡 振江 (Zhenjiang
Hu)
時間： 2011年夏学期 月曜日
講義内容
計算機プログラムに内在する数理的構造を捉え、アルゴリズム設計における構
成的手法の体系化とそれに基づくプログラミング方法論を扱う。種々の計算モ
デルにおけるプログラムの構造を体系化する理論の構築とそれに基づく工学的
手法、開発支援システムのあり方等を論じる。また、アルゴリズム設計におけ
る発見的手法の体系化を通じて、構成的手法の適用範囲等についても論じる。
参考書
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.
講義資料
- Introduction
(pdf)
- Language for Calculational Programming
(pdf)
- Introduction to Bird-Meertens Formalisms
(pdf)
- Specification and Implementation
(pdf)
関連ページ
総研大の講義紹介ページ
IFIP Working Group 2.1 -- Algorithmic Languages and Calculi
Roland Backhouse's
Course Page on Program Construction and Verification
Maintained by Zhenjiang Hu (hu@nii.ac.jp). Last modified
on April, 2011.