MarriageTheoremのこと

_ 数学基礎論若手の会二日目。昨晩ばたんきゅ～と早めに就寝したおかげか、喉の調子はかなり良くなった。この調子なら発表も何とかなりそうである。

_ Grigorchuk群のword problemに関する面白い発表を聴いた。紹介されていた結果を何かしらの方向に一般化できないだろうかという気がしている。

_ 今回の研究集会にはtenapiさんやkadamasaruさんをはじめ多くのツイッタラー諸氏も参加されているし、昨晩は参加者の自己紹介タイムもあったというのに、Twitterアカウントと中の人の対応関係がまだあまりつけられていない。