発表資料 のバックアップ(No.4)

• バックアップ一覧
• 差分 を表示
• 現在との差分 を表示
• ソース を表示
• 発表資料 へ行く。
  • 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リーダを †

• 日時: 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