• いい天気だ。
  • 休養というか軟禁というか。
  • とらやらーめんに行ってしまう。チャーシュー麺+替え玉+ニンニク+高菜+紅唐辛子。
  • ナフコに行こうと思ったら道がずいぶん変わっている。都市高速堤インターの供用開始は26日やらと聞いているが間に合うのだろうか。
  • 10冊235円というようなノートを買う。
  • どういうわけか、冪根やその和(√2+√3など)が無理数である証明を延々やっている。結構難しい。
  • 深夜過ぎに一般的な証明にたどり着いたような気がするんだが。