Serendip

Web Studio

問題3.56 ;; stream の最初の n 個の要素を印字する手続き (define (stream-head s n) (define (iter s n) (if (<= n 0) ‘done (begin (display (stream-car s)) (newline) (iter (stream-cdr s) (- n 1))))) (iter s n)) (define (…続きを読む

問題3.55 (define (partial-sums s) (cons-stream (stream-car s) (add-streams (stream-cdr s) (partial-sums s)))) (stream-ref (partial-sums integers) 0) gosh> 1 (stream-ref (partial-sums integers) 1) gos…続きを読む

問題3.54 (define (mul-streams s1 s2) (stream-map * s1 s2)) (define factorials (cons-stream 1 (mul-streams factorials (add-streams ones integers)))) (stream-ref factorials 0) ; n=1 gosh> 1 (stream-ref…続きを読む

問題3.53 (define (add-streams s1 s2) (stream-map + s1 s2)) (define s (cons-stream 1 (add-streams s s))) s を第一要素が 1 で、残りは s 同士の和であるストリームと定義してある。 s の第二要素は、s の第一要素同士の和であるから 2 となる。 s の第三要素は、s の第二要素同士の和であるから…続きを読む

問題3.52 メモライズした場合 (load "./stream.scm") (define sum 0) ;; sum の初期値 0 (define (accum x) (set! sum (+ x sum)) sum) ;; sum を x だけ増加させて sum を返す sum gosh> 0 (define seq (stream-map accum (strea…続きを読む

ストリームの実装の働き 通常のリストと異なり、ストリームでは cdr は選択されるまで評価されて欲しくないので、cons-stream は特殊形式でなければならない。 Gauche ではストリームの実装の違いから SICP の記述が上手く動作しないので、以下のサイトから stream.scm を手に入れてストリーム手続き群を SICP の意図通りに動作するようにしておく。 SICP memo: s…続きを読む

問題3.48 デッドロックになるプロセスの推移 デッドロックを回避するプロセスの推移（口座番号小さい a2 から先にアクセスする） (define (exchange account1 account2) (let ((difference (- (account1 ‘balance) (account2 ‘balance)))) ((account1 ‘withdraw) difference)…続きを読む

問題3.47 a. 相互排除器を使った場合 (define (make-semaphore n) (let ((counter 0) (mutex (make-mutex))) (define (the-semaphore m) (cond ((eq? m ‘acquire) (mutex ‘acquire) (if (> counter n) (begin (mutex ‘release)…続きを読む

問題3.46 cell が true の間は他のプロセスは 相互排除器（mutex）を使えない。 2つのプロセスが同時に相互排除器を獲得するとプロセスの相互排除機能が破綻する。 計算機プログラムの構造と解釈 posted with amazlet at 08.11.07 ジェラルド・ジェイ サスマン ジュリー サスマン ハロルド エイブルソン ピアソンエデュケーション 売り上げランキング: 654…続きを読む