活動記録/第15回 の変更点

• 追加された行はこの色です。
• 削除された行はこの色です。
• 活動記録/第15回 へ行く。
• 活動記録/第15回 の差分を削除

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

#comment