(define (cons x y) (lambda (m) (m x y))) (define (car z) (z (lambda (p q) p))) 以上の定義によって(car (cons x y))がxを生じることの証明、なんていわれてもアレですね。証明恐怖症++。 consは「2変数引数の関数」を引数として、それに対してx、yを渡…

1年前くらいに一度読んでたのだけども、図書館で見つけたからまた借りてみたとかそういう出会い。 学部3年でPerl習うんですけども、これといって体系立てた講義があるわけではなくて、「スクリプト言語使ってみましょうか」の姿勢です（その時点で学部で学ぶ…

そもそもこれ女の子用なのにダボダボなんだけど！ きぐるみってそういうもんなんなの？ あと、やっぱしラッキーよりもトラッキーのほうがよかった。狙った感がぬぐえない。 ラッキーは5着くらいあったのにトラッキー一枚もないとかどうよ。 ドンキには猛省を…