「10.8.1 装備を整える」の続き 同様に∃x≦M[...]とmin x≦M[...]を定義します (define (∃≦ max f) (let loop ((x 1)) (cond ((> x max) #f) ((f x) #t) (else (loop (+ x 1)))))) (define-syntax (∃ stx) (syntax-parse stx #:literals (≦) [(_ v:id ≦ max:ex…