• 晴れたり曇ったり雷雨だったり。いかにも大気の様子が不安定。
  • 試験期間に突入しているのだが、心身がどうしても「いまは夏休みである」と主張してやまない。私も心身とケンカをしては勝ち目がないので、すなおに「はいはい」と従っている。(若干意味不明)
  • それで整数の基本性質について自宅で勉強。忘れないように書いておくと、これは、論理学(特に高階様相)→ブール代数→可換環→群論→初等整数論という流れ。(流されているともいう)
  • 昼はそうめんとヒジキご飯。
  • 痛恨の昼寝。
  • コーヒーとチーズケーキ。
  • 家族にGoogle Mapを見せて喜ばせる。しかし、検索窓に住所を入れるとその家の上空写真が見えるというのはかなり衝撃的。娘は転校した友達の新居を見つけて喜んでいる。私は意味もなくサハラ砂漠を眺めてみたり。
  • 著者からいただいた三浦俊彦『ゼロからの論証』(青土社)のお礼状を早く書かねば。しかし今回のはちょっと感想が書きにくいなぁ。
  • ようやく○。