MarriageTheoremのこと

_ （9/24記：三連休最終日。そういえばこの連休中に第4回関西すうがく徒のつどいが開催されていた。発表のラインナップを見るとわりと面白そうなネタが多かったので行けなくて残念であった（いや、行こうと思えば行けたのかもしれないけど忙しい時期に関西まで自腹で聴講だけしに行くのは。どこでもドアの実用化が急務である）。某選択公理の人などいくつかの発表は実況まとめである程度雰囲気を味わえたのだけど乱数の話とか実況も見当たらないし云々。さて、次は第5回か。）