やはり無茶は堪える。今日は12時近くまで寝てしまった。急いで出掛けるも、もう外で売ってる弁当は売り切れだった。仕方ないので生協で冷めた唐揚げ弁当を買う。まあ慌てず食べるくらいの時間はあったのでよかった。
1時から初等整数論のゼミ。今日は先週出来なかった平方剰余の相互法則の別証明から。ガウスの第五証明をシュミット、ルソーが改良、簡易化した証明だそうだが、何だかよく分からんうちに証明されてしまった。平方剰余はやっぱり難しいな。西来路さん達の書かれた本を紹介するのを忘れていた。その後ユークリッド整域が単項イデアル整域であることの証明。代数学Iでやった、でいいんだがな。ただ前から気に成ってるのが、(R,N) がユークリッド整域であるのの定義に∀x∈R [N(x)＝0 ⇔ x＝0] を課すかどうか。講義でやってる時は無くても大丈夫だと思うんだが、今日の証明を聞いていると必要だという気がしてくる。時間が出来たらゆっくり考えよう。少なくとも来年度の講義の前にはどうにかしないと。で今日は一コマで終了に成ってしまった。まあ線形代数の予習がしたかったので、早く終わる分にはいいです。
で線形代数のことを考え始める。来週は基底の定義をしないといけないが、まだ基底の個数が一定（つまり次元が well-defined であること）はもうちょっと先に成りそうなので、そんなに手間は掛からなそうだ。4時半前に昨日書いた通り学生が訪ねてきた。色々考えているようで、まあ整数論は大変だよと覚悟をさせた。色々勉強しないといけないが、楽しくやるには今のうちにタップリ勉強しておいた方がいい。楕円関数なんかも知っておくと面白いよ、と勧めておいた。1時間弱いたかな。ちょっと体論の質問もついでにしてきた。講義より先を行っているようで頼もしい。真面目そうな感じだし、大丈夫でしょう。チャラチャラしないで地道に勉強するのは大事です。
その後線形代数の続き。まあこれくらいで次回はいいでしょう、という感じに成った。でちょっと座標（基底の一次結合で書いた時の係数を縦に並べたベクトルをそう呼んでいる）を書くのに TeX で使ったことない書体をテキストで使っているので、TeX の本をひっくり返す。何か新しいパッケージを読み込まないといけないが、それもどうにかなった。ということで7時半くらいに線形代数は終わりにした。福岡で喋った件の報告集書きの続きを始める。来週の金曜日が締め切りだ。そろそろ慌てないと。で昨日の晩思ったのだが、文献を二つ追加して、定理を一個追加しようと。木田さんの業績を横取りするのは申し訳ないからね。で木田さんの証明を写せば済むんだが、何処に行ってしまったか分からない（住処にあるとは思うが散らかってるから）ので、計算してみる。一回目と二回目で結果が違ったが、二回目と三回目は一緒だったので、多分合ってるでしょう、ということで TeX 化。8時半くらいに成ってた。野球の様子を見たら、1点先制したところまでは知っていたんだが、2－1でリードしている展開に変わっていた。追い付かれたが、オースティンにホームランが飛び出したようだ。よしよし。もうちょっとで試合が終わるので、結論を見守ることにした。今日は森原が登板していた。よかった。でちゃんと抑え切り、連勝。二日とも2得点だったが、まあ勝てればいいです。しかも戸郷、菅野相手に2勝したのはデカい。明日もやってやりましょう。明日は吉野か。まあ過剰な期待はやめよう。印刷して帰ろうと思った所で気付いた。明日の講義資料を印刷しないと。先週の二の舞はごめんだ。
ココ壱番屋に美味しそうなビーフカレーがあるようなので、食べに行く。うん、スパイシーで美味しかった。肉増しがオプションであったが、追加すればよかったな。肉がちょっと少なかった。次回はそうするか。いや、近江牛のビーフカレーもあるようだし、次回はそっちかな。まあただ、ココ壱番屋は高くなったな。あっと言う間に1000円超えてしまう。この前牡蠣フライカレー、1辛、両普通で1111円だった。まあ高くてもこういう値段だと嬉しい。王将で極王炒飯とニンニク激増し餃子も1111円だ。ゾロ目とかキリ番とか嬉しい。この前大学の同級生が facebook で「キリ番ゲット」と512番の札を写していたが、これをキリ番というあたりは流石だ。
帰宅して「報道ステーション」を見ていたが、トップニュースは西田敏行死去のニュース。何かついこの間まで元気にしていたが。ある程度歳行くと急に容体が変化することがあるからな。幸いにも「ドクターX」の完結編の映画の撮影が済んでいたようだ。蛭間院長の役は大層気に入っていたそうで、終わるのが残念、という内容のインタビューが流れていた。一仕事やり終えての大往生だ。ご冥福を祈る。その後スポーツコーナーで CS の内容をやっていたが、オースティンのホームランは同点に追い付かれて5分後に出たとか。Giants ファンを奈落の底へ突き落すのには最高の一打だったな。明日も是非。
