ex○○、とexercise○○の形式がごっちゃになっていたので統一。 同時に過去のコードを振り返ったりもした。そろそろ夏休みも終わる。短い2ヶ月だったけど何か身につくものはあったのだろうか・・・

ambの実装に対しての理解も進んだ(はず)なので問題に戻る。 exercise 4.35 (define (an-integer-between a b) (require (not (> a b))) (amb a (an-integer-between (+ a 1) b))) 実行してみると、 ;;; Amb-Eval input: (a-pythagorean-triple-between 1 15)…