発表資料 のバックアップの現在との差分(No.5)

• バックアップ一覧
• 差分 を表示
• ソース を表示
• バックアップ を表示
• 発表資料 へ行く。
  • 1 (2007-10-01 (月) 19:02:17)
  • 2 (2007-10-01 (月) 19:08:08)
  • 3 (2009-12-07 (月) 22:59:11)
  • 4 (2009-12-07 (月) 23:01:31)
  • 5 (2009-12-12 (土) 14:48:33)

• 追加された行はこの色です。
• 削除された行はこの色です。

[[ocaml-nagoya]]

#contents

* [[OCamlDuce]]でRSSリーダを [#a81e396f]
- 日時: 2007/10/1
- 発表者: みずの
- 内容: [[OCamlDuce]]の文法とか
- 資料: &ref(ocamlduce.pdf);


* 論理と証明 - 安全なWebアプリケーションのために [#r3c75e9f]
- 日時: 2007/9/20
- 発表者: よしひろ
- 内容: Webアプリに便利な関数の実装と証明をデモンストレーション
- 資料: 
-- (* Logic_and_Proof_for_Webapplications.pdf.zip *))
-- &ref(Logic_and_Proof_for_Webapplications.zip);
-- &ref(30分で習得するCoq[資料1].html);
-- &ref(30分で習得するCoq[資料2].html);

* オブジェクト指向言語モデルFJのラムダ計算への埋め込み [#lfa64934]
* オブジェクト指向言語モデルFJのラムダ計算への埋め込みとそれを使った構造的部分型の導入 [#lfa64934]
- 日時: 2009/12/15
- 発表者: yoshihiro503
- 資料: &ref(doc.pdf); &ref(doc2.pdf);