kb84tkhrのブログ

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

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

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

「10.8.2 整数論」の続き (単位はミリ秒) > (time (P 8)) cpu time: 12989 real time: 12992 gc time: 1441 19 これだとテストもままならなくなりそうなのでもうちょっと速くなるようにしてみますか とりあえず簡単なところから ; もとの定義 ;(define (Ca…