■

起床は8時。今日も寒い。雪がうっすら積もっている。線形論理の論文を色々引っ張り出してきて眺める。