トップ
新規
単語検索
ヘルプ
発表資料
をテンプレートにして作成
開始行:
[[ocaml-nagoya]]
#contents
* [[OCamlDuce]]でRSSリーダを [#a81e396f]
- 日時: 2007/10/1
- 発表者: みずの
- 内容: [[OCamlDuce]]の文法とか
- 資料: &ref(ocamlduce.pdf);
* 論理と証明 - 安全なWebアプリケーションのために [#r3c75e...
- 日時: 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のラムダ計算への埋め込みと...
- 日時: 2009/12/15
- 発表者: yoshihiro503
- 資料: &ref(doc.pdf); &ref(doc2.pdf);
終了行:
[[ocaml-nagoya]]
#contents
* [[OCamlDuce]]でRSSリーダを [#a81e396f]
- 日時: 2007/10/1
- 発表者: みずの
- 内容: [[OCamlDuce]]の文法とか
- 資料: &ref(ocamlduce.pdf);
* 論理と証明 - 安全なWebアプリケーションのために [#r3c75e...
- 日時: 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のラムダ計算への埋め込みと...
- 日時: 2009/12/15
- 発表者: yoshihiro503
- 資料: &ref(doc.pdf); &ref(doc2.pdf);
ページ名: