2011年度後期・数理解析・計算機数学 III (同 概論III)

レポート課題

• プログラミング課題 提出期限 2012年1月 11日(水)
• レポート課題 提出期限 2012年2月7日(火) (M2は1月27日(金))

講義予定

第1回 10月12日

Objective Camlプログラミングの基礎: 定義と型

• 講義メモ
• 資料 EmacsでOCamlを使う (修正版)

第2回 10月19日

多相型と汎関数

第3回 10月26日

関数の証明と再帰関数

関数グラフの描画

• 関数描画ライブラリー plot.ml plot.mli

第4回 11月2日

リストと構造的帰納法

　再帰的データ構造

• 講義メモ

第5回 11月9日

再帰的アルゴリズム：リストと木構造

• 講義メモ

第6回 11月16日

再帰的アルゴリズム2：木構造と数式処理

第7回 11月30日

GUIとグラフィックス

• 講義メモ

第8回 12月7日

Coqで関数型プログラミング

• Emacs用設定
• 講義メモ

第9回 12月14日

Coqの論理

• 講義メモ

第10回 12月21日

述語論理と帰納法

• 講義メモ

第11回 1月11日

帰納的な定義

• 講義メモ

第12回 1月18日

プログラムの証明1

• 講義メモ

第13回 1月25日

プログラムの証明2

• 講義メモ

第14回 1月31日

依存型プログラミング

• 講義メモ

Objective Camlに関する情報源

Caml@INRIA

開発元 (英語)

ocaml.jp

日本語での情報

Caml@京大数研

日本でのダウンロード (英語)

OCamlによるプログラミング

PPLサマースクールでのチュートリアル