Diary/2008-6-20の変更点

• 追加された行はこのように表示されます。
• 削除された行はこのように表示されます。

!Progol
という言語を教えてもらった．
http://www.doc.ic.ac.uk/~shm/progol.html
帰納で推論規則をつくるらしい．
結構，いろいろな大学のチュートリアルとかもあるみたい．