2017-12-24から1日間の記事一覧
定義33 xを、nだけ"型持ち上げ"したもの (define (typelift [n : Natural] [x : GForm]) (Min y <= (expt x (expt x n)) (∀ k <= (len x) (or (and (not (IsVar (elm x k))) (= (elm (gform+ y) k) (elm x k))) (and (IsVar (elm x k)) (= (elm (gform+ y) k…
定義33 xを、nだけ"型持ち上げ"したもの (define (typelift [n : Natural] [x : GForm]) (Min y <= (expt x (expt x n)) (∀ k <= (len x) (or (and (not (IsVar (elm x k))) (= (elm (gform+ y) k) (elm x k))) (and (IsVar (elm x k)) (= (elm (gform+ y) k…