プログラムの数理プログラムの数理 時間： 2008 年度冬学期 月曜日午前 8:30 -- 10:00 場所： 工学部 6 号館 2 階 63 講義室 講義内容 計算機プログラムに内在する数理的構造を捉え、アルゴリズム設計における構 成的手法の体系化とそれに基づくプログラミング方法論を扱う。 算法言語の基本概念（文法・意味・型・計算モデル）を学習することによっ て、厳密な科学・工学としてのプログラミングのあり方を学ぶ。 算法設計・プログラミングを数学的な活動としてとらえる考え方を理解す る。計算機プログラムの数理的構造を捉え．それに基づいて構成的にアルゴリ ズムを記述する構成的アルゴリズム論(constructive algorithmics)の基礎を扱 う。 教科書・参考書 武市正人訳、 「関数プログラミング」, 近代科学社, 1994年. ISBN4-7649-0181-1、定価 4,500円．(R.
10万点以上の点群位置合わせ問題を2分で解く 金沢大学の広瀬修氏がアルゴリズムを考案
