SICP 3.4 並列性: 時が本質的

github.com ; ex-3.38 ; Peter: (set! balance (+ balance 10)) ; Paul: (set! balance (- balance 20)) ; Mary: (set! balance (- balance (/ balance 2))) ; ; a. ; Peter->Paul->Mary, 110->90->45 ; Peter->Mary->Paul, 110->55->35 ; Paul->Peter->Mary…

2022-12-11

SICP 3.3.5 制約の拡散

github.com 3.34~3.37はスキップします。これはやらなくても別に困らないというか、もういいかなって。 (define (for-each-except exception procedure list) (define (loop items) (cond ((null? items) 'done) ((eq? (car items) exception) (loop (cdr i…

2022-12-07

SICP 3.3.4 ディジタル回路のシミュレーター

SICP

う〜ん、今回もまた「最後に完成するまで動かせない」系の奴でちょっとテンション下がってしまった。入力したいデータ、出力で欲しいデータはわかっている大枠を作っていく細かいところは後で作っていくこれは良いんだけど、細かい部分が未実装だから動…

2022-12-03

SICP 3.3.3 表の表現

SICP

github.com 3.3.2の最後のデキューの実装でちょっと燃え尽きた感があったのと、次の「デジタル回路のシミュレーター」が楽しみ過ぎて3.3.2はざっくりとだけ... (define (assoc key records) (cond ((null? records) false) ((equal? key (caar records)) (ca…

2022-12-03

SICP 3.3.2 キューの表現

SICP

github.com ; 3.3.2 キューの表現 ; 3.3.scmはconsを自前実装しているのでファイルを分ける(dispatchを返して意図したように動かないので) (define (make-queue) (cons '() '())) (define (front-ptr queue) (car queue)) (define (rear-ptr queue) (cdr que…

2022-12-03

SICP 3.3.1 可変リスト構造

SICP

github.com ; ex-3.12 (define (append x y) (if (null? x) y (cons (car x) (append (cdr x) y)))) (define (append! x y) (set-cdr! (last-pair x) y)) (define (last-pair x) (if (null? (cdr x)) x (last-pair (cdr x)))) ; ; (define x (list 'a 'b)) ;…

2022-11-20

SICP 3.2 評価の環境モデル

見にくい...↓こちらで見れる github.com ; ex-3.9 ; ; 再帰版 ; _____________________________________ ; 大域領域 -> | | ; ------------------------------------- ; ↑ ↑ ↑ ; E1→|n:3| E2→|n:2| E3→|n:1| ; (if (= n 1) ; 1 ; (* n (factorial (- n 1))))…

2022-11-20

SICP 3.1 代入と局所状態

; 3.1.1 局所状態変数 ; withdraw以外のどこからでもbalanceにアクセス出来る. ; withdrawからだけアクセス出来るようにしたい. (define balance 100) (define (withdraw amount) (if (>= balance amount) ; beginは順次評価していって最後の式を返す ; set!…

2022-11-09

SICP 2.5 汎用演算のシステム

SICP

問題2.85で意図しない動作に。修正しようにも1fileで雑に書き進めたので修正厳しいので2.85以降は飛ばすことに。もうapply-genericええやろ...(疲労) 2週目、又は一旦全部終わったら2.4と2.5をやり直そうと思います。 1周目から完璧を求めると挫折するので…

2022-10-30

SICP 2.4 抽象データの多重表現

SICP

get,putが出てきてから動かせなくてしんどくなり、apply-genericで混乱したので色々検索。 github.com ここで3.3.3のget,putの実装を載せてくれていたので動かしながら理解することが出来て助かりました。 ; 2.4.1 複素数の表現 (define (add-complex z1 z2)…

2022-10-26

SICP 2.3.4 例: Huffman 符号化木

SICP

GET A JOB SHA NA NA NA NA NA NA NA NA GET A JOB SHA NA NA NA NA NA NA NA NA WAH YJP YJP YJP YJP YJP YJP YJP YJP YJP SHA BOOM '(1 1 1 1 1 1 1 0 0 1 1 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 1 1 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 1 1 0 1 …

2022-10-26

SICP 2.3.3 例: 集合の表現

SICP

やってます #| ; 要素xが集合setの構成要素か? (define (element-of-set? x set) (cond ((null? set) #f) ((equal? x (car set)) #t) (else (element-of-set? x (cdr set))))) ; setにxを追加する (define (adjoin-set x set) (if (element-of-set? x set) s…