• 日時　：2006/9/4 (Mon)
  • 場所　：名大 理学部1号館(多元数理科学研究科) 307室
  • 時刻　：18:00〜19:30
  • 参加者：6名
  • 内容
    • Wiki by OCaml (みずの)
      • .ml, mli, .cmo, .cmiファイルとsignatureの関係について
      • 使ってるライブラリは？
      • schemeをテンプレートに組み込んで、動的にページ構成を変更できるようにしたよ 例えば ["FrontPage"; "foo"] のように複数のページを受け取って，これをschemeで 一つのページにまとめるような 「テンプレート」ができる。
      • ==> wiki文法に、他のページを参照(インクルード)するような仕組みも良くない？
    • Proof Systems of Propositional Logic in Objective Caml (よしひろ)
      • Propositionの定義
      • 標準形に変身させて判定する方法 NNF CNF
      • Sequent計算によって判定する方法 G'-System

トップ   編集 凍結 差分 バックアップ 添付 複製 名前変更 リロード   新規 一覧 単語検索 最終更新   ヘルプ   最終更新のRSS
Last-modified: 2008-09-23 (火) 22:06:24 (5692d)