トップ
新規
単語検索
ヘルプ
発表資料
のバックアップ(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
OCamlDuceでRSSリーダを
論理と証明 - 安全なWebアプリケーションのために
オブジェクト指向言語モデルFJのラムダ計算への埋め込み
OCamlDuce
?
でRSSリーダを
†
日時: 2007/10/1
発表者: みずの
内容:
OCamlDuce
?
の文法とか
資料:
ocamlduce.pdf
↑
論理と証明 - 安全なWebアプリケーションのために
†
日時: 2007/9/20
発表者: よしひろ
内容: Webアプリに便利な関数の実装と証明をデモンストレーション
資料:
(* Logic_and_Proof_for_Webapplications.pdf.zip *))
Logic_and_Proof_for_Webapplications.zip
30分で習得するCoq[資料1].html
30分で習得するCoq[資料2].html
↑
オブジェクト指向言語モデルFJのラムダ計算への埋め込み
†
日時: 2009/12/15
発表者: yoshihiro503
資料:
doc.pdf
doc2.pdf