Erlangとかラムダ計算とかファイバーバンドルとかプロセス代数とか、書きたいことは山ほどあるんだけどなー。土日はあんまり時間取れないし、ウィークディは疲れてるし、来週はチョックラ遊びたいし、、、、体にいいことはダイッキライだが人より長生きした…

氏名公開のご承諾は当日その場で記入していただいて、アンケートのほうは後でメールというのがよさそうだな。

例の話の続き。両側シーケント計算を片側シーケント計算に還元できる場合がある。片側には右側と左側がある。この状況を分析してみると、モノイド圏の閉性（closedness, closure）が背後にある。そして閉性は、随伴により記述できる。以下、モノイド積に対称…