Deprecated : The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Principle of Progamming Languages Course
プログラム構造論 Mathematical Structures in
Programming 時間： 2002年夏学期 月曜日午前
10:15 -- 11:45
場所：
工学部６号館３階セミナー室B
講義内容
計算機プログラムに内在する数理的構造を捉え、アルゴリズム設計における構
成的手法の体系化とそれに基づくプログラミング方法論を扱う。種々の計算モ
デルにおけるプログラムの構造を体系化する理論の構築とそれに基づく工学的
手法、開発支援システムのあり方等を論じる。また、アルゴリズム設計におけ
る発見的手法の体系化を通じて、構成的手法の適用範囲等についても論じる。
講義ノート
04/15:
Introduction, Predicate Calculus, A Guarded Command Language
(ps
,
pdf
)
04/22: A Guarded Command Language (cont.)
(ps
, pdf
)
05/13: A Guarded Command Language (cont.), Quantification
(ps
, pdf
)
05/20: General Programming Techniques (I)
(ps
, pdf
)
05/27: General Programming Techniques (II)
(ps
, pdf
)
06/03: Deriving Efficient Programs
(ps
, pdf
)
06/10: Linear and Binary Searching
(ps
, pdf
)
06/17: Searching by Elimination
(ps
, pdf
)
06/24: Formalizing Programming Principles: Slope Search
(ps
, pdf
)
07/01: Calculational Programming
(ps
, pdf
)
Maintained by Zhenjiang Hu(hu@ipl.t.u-tokyo.ac.jp). Last modified
on July 1st, 2002.