2020/08/21

起きた。今朝は、卵ご飯と牛肉のそぼろ煮。あとトマトジュース。おいしい。相変わらず暑い。先週の早朝にフグハウス住人の芝生のエース氏が、余分な草を刈ってくれたのだが、また復活の兆しがある。雑草七日会わざれば刮目してみよ、ということわざがあるかもしれない。日中35℃まで上がらない日がほしい。

家に人間が来たので、プログラミングの話をした。その際に、(数学科ではない理系の)院試の過去問を見てほしいと頼まれたので、見た。これまでの人生でも何度も同様のことを頼まれている。工学部系はだいたい線形代数と微分方程式が大問1つずつに出されることが多い。線形代数だけを5年分ほど追ってみた。固有値を求めて対角化というお話と、正則でない正方行列のImとKerを求めようというお話が、年おきに交互に出ているようだった。

極論を言うと院試で正方行列のImとKerを求める問題が出たら、3x3行列でrankが2であることが多い。まず4x4行列以上だと計算が大変になり(数学系以外では)試験時間とマッチしない。しかるに3x3行列に限ったとき、rankが0(零行列)や3(正則行列)では問題にならず、rankが1だと各行が比例関係にあるのでこれも簡単すぎ、結局rank2の場合を選ばざるを得ないという理屈だ。

数週間ぶりにラーメンを求めて外食に出たものの、店が数日休業ということで閉まっており、代わりに牛丼を食べて帰った。これはこれでおいしかったので満足している。帰り道にコンビニでサラダチキンとサーモンを買ってノンアルコールビールのおつまみにした。体がタンパク質を求めている。

筋トレ。おとといのAコース(上半身強化)での腕の筋肉痛が残っていたので、代わりに腹筋に効くトレーニングを行った。

- 睡眠時間 1-9 (8h)
- 筋トレ：Aコース(腕立て→腹筋)

今日は何かの代わりに、何かをすることが多かった。いまの全世界的な傾向かもしれない。

（2020/08/22 へ続く）