MarriageTheoremのこと

_ 「選択公理オフ会」というものが企画されているらしい。選択公理と（ZF上で）同値な命題をひたすら愛でる証明するセミナーとのこと。「狂気の沙汰ほど面白い…」という某漫画の台詞が頭をよぎったのだが、ちょっと行ってみたいと思っている自分がいるのもまた事実で、困ったものである。

_ ↑選択公理オフ会、勢いに任せて「参加するかも」欄に登録してしまった。

_ 今日は久々にRIMSに行ったのだが、やはりRIMSの建物が綺麗だという状況には中々馴染めない。そのうち慣れるはずなのだが、慣れるまでに時間が経ち過ぎて建物が綺麗じゃなくなってしまわないことを願おう。