2017-10-13から1日間の記事一覧
「10.8.4 変数・記号・論理式」の続き なにごともなかったかのように続けてみる 定義23 xは論理式である (define (M23 x) (expt (P (sqr (len x))) (* x (sqr (len x))))) (define (IsEndedWith n x) (= (elm n (len n)) x)) (define (IsForm x) (∃ n ≦ (M23…
「10.8.4 変数・記号・論理式」の続き なにごともなかったかのように続けてみる 定義23 xは論理式である (define (M23 x) (expt (P (sqr (len x))) (* x (sqr (len x))))) (define (IsEndedWith n x) (= (elm n (len n)) x)) (define (IsForm x) (∃ n ≦ (M23…