類型論学会での発表を今終えてスタバです。夏から秋の札幌・ジュネーブ・パリ、３連続発表をなんとか終えました。今日もたくさんの尊敬する先生に聞いてもらえて、討論も盛り上がり、うれしかったです。It pays off. 努力は報われました。みなさん、ありがとう。