以前書いたエントリーを読み直してみて、気になった以下の点を修正しました。 「数学の基礎としてのラッセルの型理論」についての文があまりにひどかったので書き直し AFAの定式化を一般的な形に修正 ちょっとアレな文章でした（汗）。皆様も、問題がありそ…

起床は8時。あつい。9月とは思えない。 出勤して論文を読み、Agdaをいじる。マニュアルの練習問題をやるが、2カ所で詰まる。Kさんに聞くと、一カ所はマニュアルが古い記法で書いてあるが現在は変更されていてその記法は通用しないそうで、もう一カ所について…