寝子

9 時起床。どうも最近、寝付きが良くない。 朝食代わりの珈琲。 チェスの問題を一題考えて、個人的なプロジェクトをあれこれ。 昼食は冷や御飯で炒飯を作る。 秋刀魚のわたと唐辛子でソースを作っておいて、 味つけに使ってみた。 この秋はほとんど秋刀魚で生きて行こう。 少し休んでから、午後は数学。プレプリントまとめ作業。 重要な補題の証明をクリア。 全体でトリックを二つ使うのだが、 その一つの中で本質的に使う解析的評価の部分。 これで全体の 3 分の 1 くらいは書いたか。 夕方、涼しくなってから、本を売りに行く。 何となく普通の酢豚が食べたくなって、 河原町の「餃子の王将」で夕食。

確かにもう夏ではないが、 まだ涼しいと言うほどでもない京都。 猫は良く寝ているので、確かに過し易くはなっているらしい。