社内の若い方々に展開予定。まさにテスト材料。

昨晩のエントリな occurs-free? は正しくは以下。 (define occurs-free? (lambda (var exp) (define (self-evaluating? s) (or (number? s) (string? s) (eq? #t s) (eq? #f s))) (cond ((null? exp) #f) ((self-evaluating? exp) #f) ((symbol? exp) (eqv? …