備忘のため。以前、日本語用のstyle fileを使用してpdfファイルを作成したら、会場（オーストラリア）で「フォントがないので表示できません」とエラーメッセージがでて、大あわてした記憶がある。日本でよく使うフォントでも、外国で広く使われているとは限…

関西へ。今回はNmさんを連れて夕方大学へ到着。せっかくなのでミニ・セミナーを開いてくれ、ということなので、Eg君とIb君も交えて私がプラハでのプレゼン内容の概略を話す。STに散々つっこまれる。 その後、ST/Nm/Ibの3人を連れて帰宅、Cが手料理を振る舞う…

起床は8時。朝は涼しかったが、昼にかけて急激に温度が上がる。午前中は科哲の発表の予稿を作成。内容はプラハでの発表のupdate版、線型論理っぽさを前面に。