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

レポート課題

• プログラミング課題 提出期限 2013年1月 15日(水)
• レポート課題 提出期限 2013年2月6日(火) (M2は1月29日(火))

講義予定

11月21日の休講が11月28日に変わりました。 11月21日は通常通り授業があります。

第1回 10月3日

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

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

第2回 10月10日

多相型と汎関数

第3回 10月17日

関数の証明と再帰関数

第4回 10月24日

リストとパターンマッチング

関数グラフの描画

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

第5回 10月31日

再帰的データ構造とアルゴリズム

• 講義メモ

第6回 11月7日

木構造と探索アルゴリズム

• 講義メモ

第7回 11月14日

GUIとグラフィックス

• 講義メモ

第8回 11月21日

抽象化とモジュール

• 講義メモ

11月28日　休講

第9回 12月5日

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

• Emacs用設定
• 講義メモ

第10回 12月19日

Coqの論理

• 講義メモ

第11回 1月9日

述語論理と帰納法

• 講義メモ

第12回 1月16日

帰納的な定義

• 講義メモ

第13回 1月23日

プログラムの証明1

• 講義メモ

第14回 1月30日

プログラムの証明2

• 講義メモ

Objective Camlに関する情報源

Caml@INRIA

開発元 (英語)

OCaml Community

OCamlの紹介など (英語)

ocaml.jp

日本語での情報

Caml@京大数研

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

OCamlによるプログラミング

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