さて、こちらが本題。氏から、ワークショップ "Contributions to contraction free logics" （2008年4月＠ハンブルグ）で包括原理関係の面白い発表があったことをお教えいただく。Cantiniの発表のスライドを読んでみるが、非常に興味深い。 前半は包括原理を…

研究をやっていて一番うれしいことの一つは、朝起きて、会ったこともない外国の同業者からメールが来ていることに気付く時である。今朝は、ドイツの某氏から私の論文についてメールを頂き、併せて氏のモノグラフのpdfファイル（ページ数100ページ）を同時に…

比較的暖かい日、よく晴れる。早めに出勤し、えらい人の年頭挨拶をテレビ会議で聞く。本日は昨年末に処理できなかった雑用が山積みで、あっという間に一日が過ぎてしまう。いろいろやらなければいけないこともあるのだが、全て後回し。 帰宅は21時半、夕食は…