Martin-Lofの1971年の論文では、循環性がその中核を占めています。彼は、この条件があるので、彼の理論は圏論と非常に相性が良い（ご存知のように、圏論では、圏全体は圏をなし、その意味で強い循環性を持ちます）と主張しています。しかし、翌年に、Girard…

が19時から、jantorgtとホテルに近いので、一度部屋に戻って着替えてからと思い、ホテルに帰る。しかし、気が緩んでいたのか、八日目にして始めてトラムの路線を間違え、4駅分を歩いてホテルに駆け込む。慌ててジャケットに着替え、会場に。結局5分遅刻した。…

論文の続き。昼食は昼食は大学のカフェテリアで魚料理。食事中、D先生にMatin-Lofの '71年論文で循環性（）がその中核テーマだったので驚いた、と言った話をすると、テーブルの向こうにいたC先生がいきなり身を乗り出して来たので驚く。学者だ。C先生からHur…

起床は7時、体調は快調、空もよく晴れている。大学に行く。