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