今日は圏論勉強会

今来ました（１３：３０ごろ）
その前スタバで一人だらだらしてたんですが、BGMの選曲が天竺のスタバと同じことが判明しました。

今日の内容はまた後ほど。