2017-10-04から1日間の記事一覧
「10.8.4 変数・記号・論理式」の続き 定義18 "第n型の記号"である (define (IsNthType x n) (or (and (= n 1) (IsNumberType x)) (and (> n 1) (∃ v ≦ x (and (IsVarType v n) (= x (<> v))))))) さて高速化 もともと、#tが帰るようなときは遅くないんです…
「10.8.4 変数・記号・論理式」の続き 定義18 "第n型の記号"である (define (IsNthType x n) (or (and (= n 1) (IsNumberType x)) (and (> n 1) (∃ v ≦ x (and (IsVarType v n) (= x (<> v))))))) さて高速化 もともと、#tが帰るようなときは遅くないんです…