eight-queenをamb評価器を用いて解く． ただし，まだamb評価器は実装していないのでコードだけ． (define (eight-queen) (define (cross? a b) (= (/ (/ (car a) (car b)) (abs (- (cdr a) (cdr b)))) 1)) (let ((chess (iota 8 1))) (let ((one (cons 1 (am…

まずは素直に問題文に出てくる通りに書いてみる． (define (kansas-state-enginner) (let ((moore (cons (amb 'mary 'gabrielle 'lorna 'rosalind 'melissa) (amb 'mary 'gabrielle 'lorna 'rosalind 'melissa))) (downing (cons (amb 'mary 'gabrielle 'lor…

どちらかが正しいってどうやればいいのか思いつけず， ここを見たらヒントがあったのでその通り排他的論理和を作って解きました． SICP 第4章 Exercise 難易度リスト ( 4.1 ～ 4.79 ) | きのこる庭 (define (xor x y) (or (and x (not y)) (and (not x) y)))…