という言語を教えてもらった． http://www.doc.ic.ac.uk/~shm/progol.html 帰納で推論規則をつくるらしい． 結構，いろいろな大学のチュートリアルとかもあるみたい．
トップページ ページ一覧
Miyo's Diary 自己紹介
アプリケーション関連 くみこみ関連 ハードウェア関連 ソフトウェア関連
BSD関連Tips MacOSX関連Tips Linux関連Tips Zaurus関連 プログラミング言語 ソフトウェア紹介
旅行 結婚式
リンク 勝手にリンク