kb84tkhrのブログ

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

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

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

ElementForm周辺が盛大にバグってました ぐぬぬ 変数と、ひとつの変数だけからなる列が混乱しまくってる どっちも整数だけど、別の型として扱ってれば検出できたかな でもさらっと考えて見るとこのプログラムって型付けしにくそうだな もう少しでひととおり…