kb84tkhrのブログ
読者になる
kb84tkhrのブログ
何を書こうか考え中です あ、あと組織とは関係ないってやつです 個人的なやつ
2017-11-28から1日間の記事一覧
2017
-
11
-
28
ゲーデルの不完全性定理の証明のアレをRacketで書いてみる (34)
incompleteness
というわけでマクロなし作戦
引用をストックしました
ストック一覧を見る
閉じる
引用するにはまずログインしてください
ログイン
閉じる
引用をストックできませんでした。再度お試しください
閉じる
限定公開記事のため引用できません。
読者です
読者をやめる
読者になる
読者になる