kb84tkhrのブログ

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

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

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

Factorizationからn番目のFactorを取り出します (: factorization-nth (-> (Opt Factorization) Natural (Opt Factor))) (define (factorization-nth facz n) (: F (-> Factorization Natural (Opt Factor))) (define (F f n) (cond ((null? f) (None)) ((= …