MarriageTheoremのこと

_ （10/8記：また日記が…、と、それはともかくこの日は「数学基礎論サマースクール2014」初日。今回のテーマは強制法で、ちょうど勉強していたけど最近止まっていた題材だったので渡りに船とばかりに参加してみた。初日は予備知識の準備プラス翌日以降の内容への誘い、といった趣きだったので、色々と思い出せて助かった。講義以外に印象に残ったこととしては、「今回のサマースクールに対して1万円だけ補助を受けています」というアナウンスが妙にツボにはまった。）