プログラムの数理
プログラムの数理 時間： 2008 年度冬学期 月曜日午前 8:30 -- 10:00 場所： 工学部 6 号館 2 階 63 講義室 講義内容 計算機プログラムに内在する数理的構造を捉え、アルゴリズム設計における構 成的手法の体系化とそれに基づくプログラミング方法論を扱う。 算法言語の基本概念（文法・意味・型・計算モデル）を学習することによっ て、厳密な科学・工学としてのプログラミングのあり方を学ぶ。 算法設計・プログラミングを数学的な活動としてとらえる考え方を理解す る。計算機プログラムの数理的構造を捉え．それに基づいて構成的にアルゴリ ズムを記述する構成的アルゴリズム論(constructive algorithmics)の基礎を扱 う。 教科書・参考書 武市正人訳、 「関数プログラミング」, 近代科学社, 1994年. ISBN4-7649-0181-1、定価 4,500円．(R.
関数プログラミング入門
2. 自己紹介 • 田中英行 (@tanakh, id:tanakh) • TopCoder (id:haskell-master) • Haskell Lover（not master!） • ICPC2004-5 世界大会 • Preferred Infrastructure勤務 – ICPC OB多数在籍 – アルバイト・インターン等、 興味のある方はご連絡を！ 3. 本日の内容 • 関数プログラミング入門 – 参照透明 – クロージャ – 遅延評価 – リスト処理 – etc… • 関数プログラミングにまつわる話題 – 永続データ構造 – 並行計算 – ソフトウェアトランザクショナルメモリ（STM）
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
