いくつか文献紹介があった。 Yacc is dead. http://arxiv.org/PS_cache/arxiv/pdf/1010/1010.5023v1.pdf Derivatives of Regular Expressions 正規表現しちへんげ！まとめ http://www.kmonos.net/wlog/115.html#_2300101221 Dexter Kozen. A completeness th…

第13回Formal Methods勉強会にて、 「再帰を使わずにfoldrで書く」という話があったので、 Clojureの場合reduceでやってみる。 (defn factorial [n] (reduce * 1 (take n (iterate inc 1)))) (defn fib [n] ((reduce (fn [[a b] _] [b (+ a b)]) [0 1] (rang…