5月分の使用料請求がくる。スウェーデンで、調子に乗って日本と同じ感覚でwebを見ていたせいで、データ通信料として3万8千円請求された。という訳で教訓、 外国では、携帯の使い過ぎに注意しましょう。

16時から所内セミナー、Yg氏が発表。bounded arithmeticの階層 について、であることが知られている。ここで、もしであれば、が示せたことになるが、残念ながらそれも証明できないことが知られている（Paris-Wilkee）。では、無矛盾性概念をもう少し制限して…

梅雨なのに雨が降らない。初夏の日差し、さわやかな日。起床は9時半、出勤して出張の事務処理とプロジェクト関連。20時に退所、21時半に帰宅。夕食はラタテュイユのパスタ。