「計算科学における半加法圏の位置付け」からだいぶ時間がたってしまい、その間ダイアリーも更新してなかったのですが、あの頃（4月末）考えていたことを記録に残しておきます。まー、興味を持つ人がいるかは疑問だけど、少なくとも自分が後で読みたいことが…