kb84tkhrのブログ

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

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

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

「10.8.4 変数・記号・論理式」の続き さて前回、勘違いに気づくまではもっと高速化しないとと思って 素因数分解する版を書き始めてました 乗った船なので続けてみます 素因数分解は12を((2 . 2) (3 . 1))と表現してみました ((0 . 0))というのは0とか1を因…