いわゆる「ルール30」。 もっとコンパクトなコードにする方法があったら教えてください。 (defn next-cell-state [x y z] (cond (and (= x "□") (= y "□") (= z "□")) "□" (and (= x "□") (= y "□") (= z "■")) "■" (and (= x "□") (= y "■") (= z "□")) "■"…

7/12 名古屋市工業研究所にて、無事実施できました。ここまでいろいろとネタ提供、成果物レビューしてくれたみなさん、ありがとうございました。 当日会場でサポートしてくれたyoshihiro503さん、ありがとうございました。使用した資料はこちらにあります。 …

(defn hq9+ [commands] (let [ reg 0 h-eval (fn [x] (cond (= x \H) "Hello World" (= x \Q) commands (= x \9) "99 Bottles" :else "Illegal Command"))] (map h-eval commands))) 正直"+"命令は逃げてるわけですが、 http://rosettacode.org/wiki/Execute…

出た。 http://userweb.cs.utexas.edu/users/moore/acl2/Alloyが一段落したら挑戦します。