http://www.andrej.com/plzoo/ OCamlでのミニ言語実装例。

"Modeling Ontologies as Executable Domain Specific Languages" Dragan Djuric,Jelena Jovanovic,Vladan Devedzic,Ramo SendeljACM Digital Libraryでオントロジーの検索をしていたら Clojureでのオントロジー言語の論文が出ていた。使っているのはMagicPot…

http://groups.google.com/group/clojure/browse_thread/thread/d79392e4c79f8cde の記事より。Stuart Sierraのコードでdoseqの後ろに[]が無かったので追加しただけ。 http://gist.github.com/836798

((fn [x] (list x (list (quote quote) x))) (quote (fn [x] (list x (list (quote quote) x))))) 参考資料から、なんのひねりもない。 http://www.ipsj.or.jp/07editj/promenade/4703.pdf

やっとまともに動いた。http://gist.github.com/834831factsで使用した変数記号と同じものを前提で使用したのが失敗の原因。 置換が終わらないのは当然だった。次はVerifierいってみよう！

なんにせよ、プログラミングにデバッグはつきもの。 先人の知恵をリンク。 Debugging in Clojure http://stackoverflow.com/questions/2352020/debugging-in-clojure トレースの使い方 (use 'clojure.contrib.trace) (defn fib[n] (if (< n 2) n (+ (fib (- …

"Programming Language Theory and its Implementation" を流し読みして、Common Lispで書かれたThorem Proverを Clojureで書き直し。http://gist.github.com/823632・・・なんですが、イマイチ動きません。 以下の例は動いているけど。 (rewrite '(((not (x…

F#の単位の扱いはある意味面白いなー、 と思ってたらClojureにもあった。http://code.google.com/p/clj-units/source/browse/test/si-tests.clj試してるんだが、なぜか動かない。 時間が出来たら調査しよう。

http://kokucheese.com/event/index/6887/ご参加いただいた方、ありがとうございました。質問の多さからも、システム開発を真面目に考えている人が 集まった印象を強く受けました。今後も継続努力していきます。