プログラム構造論

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.


講義資料


関連ページ

  • 総研大の講義紹介ページ
  • 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.