SICPよりニュートン法でのsqrt (defn abs [x] (if (improve [guess x] (average guess (/ x guess))) (defn sqrt-iter [guess x] (if (good-enough? guess x) guess (sqrt-iter (improve guess x) x))) (defn sqrt [x] (sqrt-iter 1.0 x))

"プログラミングGauche"のそのまま移植 (map (fn [x] (cond (= (rem x 15) 0) 'FizzBuzz (= (rem x 5) 0) 'Buzz (= (rem x 3) 0) 'Fizz :else x)) (range 1 101))

「ソフトウェア科学基礎」http://books.livedoor.com/item/2024302 の練習問題1.9より。 宝石の入ったつづらを当てる問題。Alloyで。/* 「ソフトウェア科学基礎」練習問題1.9 pred showの中で、honesty,liarを変更し、 どちらであっても宝石(Jewel)と繋がる…

http://d.hatena.ne.jp/kmizushima/searchdiary?word=%2a%5b%a5%af%a5%a4%a5%ba%5dというのを見て、Alloyで。/* それぞれ異なる色の、５つの建物が並んでいます。 それらの家にはそれぞれ出身地の異なる家主が住んでいます。 5人全てが、何か飲み物を飲み、…