11:30 起床、12:30 布団脱出。昨日シャワーを浴びていなかったのでそのまま浴びる。その前に洗濯機を回した。

昨日の日記が途中だったのでそれを書く。ちょうど洗濯機が終わったので乾燥機にぶち込んで研究室へ。着いてからお土産を持っていくことを忘れた事に気付いた。今日は、乾燥機にぶち込むのを忘れて一旦部屋に戻る等、脳のキャッシュメモリが息していない。あと、学内の 20 時で閉店するコンビニを騙る店舗でレトルトカレー買うのも忘れた。

散歩と同期に誘われた食材の買い出し以外はずっとペル方程式の解についての解説を読んでいた。証明の行間がかなり広かったので複数の資料を読みながら進めていた。解が満たす性質を見つけたら、逆にその性質を持つ数が解になることを確かめたりするようになったのは、ここ最近数学をやってようやく身についたと思う。

21 時過ぎに帰宅、友人とコントロールをする。人数差があって一方的にボコボコにした試合が幾つかあったがゲームが不安定なのがそれとも途中抜けが多かったのか。正直、ゲーム自体はそこまで楽しくないし証明の続きや趣味プログラミングの再開、小説の続きを読みたいのだが、誘われて断る文句を特に有していない。

日付が回ったので寝る。