kb84tkhrのブログ

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

2017-11-04から1日間の記事一覧

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

いっぱい関数出てきたなと思いましてね 以前、Scheme手習いでインタプリタ作ったときに書いたような 関数の呼び出し関係の図を作ってみようと思ったんですけどね たいへんな目に会いました 思ってたのを遥かに超えて複雑でした うまく配置してみようという気…