定義25 "変数"vはxのn番目の場所では"束縛"されてない (define (IsFreeAt [v : GSymbol] [n : Natural] [x : GForm]) : Boolean (and (IsVar v) (IsForm x) (= v (elm x n)) (<= n (len x)) (not (IsBoundAt v n x)))) 定義26 vはxの"自由変数"である (defin…