2017-10-19から1日間の記事一覧
定義27 xのn番目の要素をcで置き換えたもの (define (substAtWith x n c) (Min z ≦ (M8 x c) (∃ a b ≦ x (and (= n (+ (len a) 1)) (= x (** (** a (<> (elm x n))) b)) (= z (** (** a c) b)))))) aという列があって aとxのn番目の要素とbをつないだものがx…
定義27 xのn番目の要素をcで置き換えたもの (define (substAtWith x n c) (Min z ≦ (M8 x c) (∃ a b ≦ x (and (= n (+ (len a) 1)) (= x (** (** a (<> (elm x n))) b)) (= z (** (** a c) b)))))) aという列があって aとxのn番目の要素とbをつないだものがx…