はい、今期はおわり。 お疲れ様です。にゃ

K(S(SI(K(S(K(S(S(KS)K)(S(S(KS)K)I)))(S(S(KS)K)I(S(S(KS)K)(SII(S(S(KS)K)I)))))))(K(S(SI(K(S(K(S(S(KS)K)(SII(S(S(KS)K)I))))(S(S(KS)K)(S(SII)I(S(S(KS)K)I))))))(K(S(SI(K(S(S(KS)K)(S(K(SII(S(S(KS)K)I)))(S(S(KS)K)(S(S(KS)K)(S(SII)I(S(S(KS)K)I)))…

演習問題淡々と。面倒なので、実装しなさいみたいな問題の解答だけ： ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; Exercise 2.65 implement the union-set, intersection-set for binary tree data (define (union-set1 tree1 t…

今週はお休みです。 代わりになんか書きます。 SICPも2.3章に入るわけなのですが、ここからシンボリックデータを扱えるようになります。 これを利用して、代数的な操作を実装してみようと思う。 これから上げる例は、１変数多項式の展開形を求めるもの。 た…

Schemeでλ計算とか。 ;; Church-encoding of nat (define zero (lambda (f) (lambda (x) x))) (define (add-1 n) (lambda (f) (lambda (x) (f ((n f) x))))) ;; (add-1 zero) ->* (lambda (f) (lambda (x) (f x))) ;; (add-1 (add-1 zero)) ->* (lambda (f) …

なんか需要あるかと思って、[\square],[\diamondsuit]周りの話でも書こうと思ったけど面倒なのでやめました。 ああ、なんか Approachability とか Good point とか I[lambda] とかそのへんのお話。 I[lambda]の構造を弄る話に関しては Foreman も色々アナウ…

全然進まねえ。