4.45 The professor lectures to the student in the class with the cat 和訳と英語の対応がややこしいのでいったんまとめる。 文 sentence ::= verb-phrase + noun-phrase 動詞句 verb-phrase ::= verb + prep-phrase 名詞句 noun-phrase ::= simple-noun-…

4.35 (define (an-integer-between low high) (require (< low high) (amb low (an-integer-between (+ low 1) high)) 4.36 3.69では 3つの値すべてに integersを入れて、filterによってすべての三角形を見つけようとしていた。 http://syagi.hatenablog.com…

4.27 (define count 0) (define (id x) (set! count (+ count 1)) x) (define w (id (id 10))) ;;; L-Eval input: count ;;; L-Eval value: 1 ;;; L-Eval input: w ;;; L-Eval value: 10 ;;; L-Eval input: count ;;; L-Eval value: 2 ちなみに作用的順序の…

4.22 問題4.6では、 let->combinationを実装することで実現している。 ここでも同じアプローチを使う。 let->combination は 4.6 で定義済みなので、 analyze手続きに 以下を追記する (define (analyze exp) (cond ((self-evaluating? exp) (analyze-self-ev…