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