本日、資料整理をしたところ、机の上にプリントアウトの山を発見しました。どれも途中まで読みかけで、そして紛失したと思っていたものばかり。自分でもタイトルを忘れていたので、備忘を兼ねてメモっておきます。 "Cut elimination for Zermelo's set theor…

よく晴れた日。少し凉しめ。11時頃、伯母からの電話で起こされ、東北での地震のニュースを知る。しかし二度寝、起床は結局12時半。洗濯と資料整理。夕方Cと外出、ラーメン屋で夕食を食べ、肉屋とスーパーとケーキ屋によって帰宅。CATVでミス・マープルの「動…