kb84tkhrのブログ

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

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

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

結局キャストをいっぱい書くのが面倒になってこんな関数を作っていたりする (: gsequence+ (case-> (-> Natural GSequence) (-> GNumber GSequence))) (define gsequence+ (case-lambda [([x : Natural]) (gsequence (gnumber x))] [([x : GNumber]) (gseque…