MarriageTheoremのこと

_ 休日。案の定というか、日記がだんだん遅れ気味になっているので遅れを取り戻すなど。あと、独りの時間に選択公理オフ用のネタをちまちま準備（挙げられている命題の証明を考えるなど）しているのだが、検索しても定義のわからない用語があったりして悶絶している。

_ Twitter経由で知ったネタ。大学教員をネタにした人生ゲームがあるらしい。こういう（自虐的な）ユーモアは嫌いではない。