全く意味はないんですが。出力データーが出てきて、妙にうれしかったので。2^{2^3}のはずです。

皆さん、いかがお過ごしでしょうか。ラッセル・パラドックスの各種解決法をご紹介しようというこのシリーズ、読み返すたびにミスが見つかり、現在絶賛修正中です。今晩の修正点は以下の通りです。 (1.5)で、古典論理上でパラドックスを導出する課程には外延…

今日も暑い。起床は8時、出勤してAgdaと本読み。Agdaはidataの書式が変わり過ぎ。 20時半に帰宅、夕食後Cと「らき☆すた」最終回を見る。