しばし潜ります。

既に、帰国して以降ここの更新が滞っているのですが、ただ今期末進行により、なかなかはてなを更新・閲覧する時間がありません。今月中は少し静かになります。多分。
「alloyで圏論」の続きとか書きかけたまま放置プレイ中。