2009-10-19から1日間の記事一覧
Erlangの勉強も兼ねてChurch数を書いてみた。とはいえ、これでいいのかな? ついでに見よう見まねでEunitも使ってみました。まだまだ勉強しなくちゃいけないことはたくさんありますな。 -module(church). -author('Ehren'). -include("eunit.hrl"). -export(…
案の定よくわかんないよ> 試しに動かそうとしてもクロージャが帰って来てどうにもよくわかんない。 しょうがないのでWebの情報を漁る。 404 Blog Not Found:TuringとChurchの狭間で,http://www.csus4.net/hiki/SICPReading/?%BA%B4%CC%EE,http://www23.atwik…
会場・受付でばたばたしてしまって、ちゃんと読めなかったので復習します。 2章前文 この章では対を使って、 ex2.1 (define (make-rat n d) (let ((g (abs (gcd n d)))) (if (< d 0) (cons (/ (- n) g) (/ (- d) g)) (cons (/ n g) (/ d g))))) ex2.2 (defin…