朝食後に三度寝してしまう。睡眠時間が不足しているわけではないと思うが。

6:35 なか卯南砂町店で朝食。

このあと南砂三丁目公園西側のベンチで居眠り。図書館に行ってみるとまだ 8:30 で開いていない。 そこでトピレックプラザ入口付近のベンチでまた居眠り。数十分寝たようだ。

9:25 江東区江東図書館再到着。この時間でもう朝刊庫が空。日経ホニャララしかない。 こういうときはすみやかに PC 部屋へ行く。

例の線形代数の教科書を持ち込んで SymPy で解答例と答え合わせをする。第 8 章の章末問題で変なものが 2 題あるのを再確認。 コンソールのログをアップロードする。

13:55 イオンスタイル南砂店でおやつ。

  • 大きなコロッケバーガー
  • こだわりメロンパン
  • ポテチ（サワークリームオニオン）

図書館に戻って線形代数。強烈な眠気が襲い一問も進まず。こういうこともある。

17:30 喜楽湯（南砂四丁目）に行って風呂に入る。今日の湯は緑色。

図書館に戻って夕刊や『寄生獣』を読む。閉館時刻まで滞在。

20:15 イオンスタイル南砂店で晩飯。豆腐も食ったような気がする。

  • 海老の彩り五目ちらし
  • メンチカツ
  • チーズ蒸しケーキ
  • 野菜ジュース

21:00 ラウンドワン南砂店。

  • MJ プロ卓東風 4-5-2-1 で申し分なし。100 円浮いた。相変わらずツモアガリが多い。
  • その浮いたぶんをビートマニアに割り当てる。

読み物

  • 朝刊（朝日、産経、東京）
  • 夕刊（朝日、東京）
  • 週刊新潮
    • 巻末のアレが最終回。この雑誌をチェックする理由の九割がなくなる。
  • 月刊ソフトウェアデザイン
    • Go 特集。シングルバイナリーの概念は知らなかった。
  • 佐藤恒雄、野澤宗平著『初歩から学べる線形代数』
    • 上にも書いたとおり、後半の解答例と SymPy の計算結果を見比べる。 誤植がポツポツあると感じていたが、確信になる。
    • 第 8 章章末問題の証明問題を一問だけ取り組む。 正方行列が対角化可能であることと、その固有 $x$-行列の最後の単因子が相異なる一次式の積に因数分解されることとの同値性。