2010-04-28から1日間の記事一覧

fizzbuzz returns

http://vimeo.com/11088005 より。素敵なfizzbuzz。 (defn fizz [n] (if (zero? (mod n 3)) "fizz")) (defn buzz [n] (if (zero? (mod n 5)) "buzz")) (def fb-list [fizz buzz]) (defn fizzbuzz [n] (let [fb (apply str ((apply juxt fb-list) n))] (if (e…

形式手法によるプログラム解析第2回

http://www.edubase.jp/contents/view/50#JMLを使用した解析だそうな。 帰宅したら視聴する。