kb84tkhrのブログ

何を書こうか考え中です あ、あと組織とは関係ないってやつです 個人的なやつ

2017-12-12から1日間の記事一覧

(ふしぎ|鏡)の国のアリスの算数パズル

今日ブックオフで見つけた本はこれ ふしぎの国のアリスの算数パズル (やさしい科学 (別巻1)) 作者: 山崎直美 出版社/メーカー: さ・え・ら書房 発売日: 1983/10 メディア: 単行本 購入: 1人 クリック: 1回 この商品を含むブログ (6件) を見る 鏡の国のアリス…

ゲーデルの不完全性定理の証明のアレをRacketで書いてみる (44)

しばらくOptが出てこないというのは勘違い 定義7 列の長さ (: len (-> GSequence Natural)) ; 元のソース (define (len x) (Min≦ x (λ (k) (and (> (prime k x) 0) (= (prime (+ k 1) x) 0))))) ; 素因数分解を利用する版 (define (len x) (none-to-zero (fa…