「かまいガチ」が終わったら寝る、というつもりだったが、ついまた起きていてしまった。何か代数の講義で「こうやれば出来るよ」と言うつもりの方針と、その後の実際の解法にズレがあって、それが気に成って。方針通りでもちょっと面倒だが出来ることは分かった。他の場合も出来るだろう。ズレがある方は、代数体のことをちょっと勉強するとそうやりたくなる。結論も補償されているし。ということで時間を使ってしまった。いかん、寝るぞ。
で泉社長と2時の約束なのに、起きたら1時半。ぎゃ！急いで行っても間に合わない。遅れる旨 LINE でメッセージを送って、出発。2時過ぎに職場に着いた。これくらいの時間だとウェストウィングに近い所に停められたり停められなかったりだが、今日は停められた。よかった。で2時14分くらいに6階に着くと、泉社長がエレベーターの前で待っておられた。申し訳ないです。受け取って支払って。で泉社長から一言。「〇〇〇社のパソコンは気を付けた方がいいですよ」と。故障しやすいらしい。Let's note が何だかんだ言って一番いいと言ってた。参考にしておこう。
その後キッチンカーで弁当を買って食してからしばし数学。前から自然数を二つ掛け合わせたもの＝最大公約数と最小公倍数を掛け合わせたもの、というのの証明が徒手空拳で出来ないので、ゼミ中にテキストの証明をメモっておいた。それを見直して、で分かって、TeX 化して、で一般の P.I.D. に直そうと思ったが、商体は経由したくないので、色々ややこしくなる。何とかして、これも TeX 化。で .dvi ファイル（今時の人は .dvi ファイルなんて作らず、直接 .pdf ファイルを生成するそうだが）を見てたら、色々気に成ることが出てきて。途中酷く眠く成ったりと、やはり連日の不摂生の祟りだな。
4時40分からゼミ。幸い眠気は収まっていた。今日は Z の p 進（加法）付値の話。「p-進付値」と書いてあるからなのか「ぴーのしんふち」と気持ち悪い読み方をするので、「ぴーしんふちと読む」と言って暫くすると今度は「しんふち」とか読み出すので、ちゃんと読むよう正す。で色々間違えて理解している所があったので突っ込んで、とやって、1時間半とちょっとで予習が尽きたのか、次の節に突っ込むと中途半端な所で終わりそうなのでこの辺で、と言われたのでお開きに。有理数である代数的整数は有理整数（と言う言葉は出てないが）に限るという命題の証明があったので、ちょっと √2 が無理数であることの別証明を教えてあげたり、代数的整数の全体が通常の加法、乗法に関して環であるということを使って、有理数である cos(2π/n) を決定してあげたり。
それから個研室でちょっと考え事をしたりメールを書いたりとウダウダ。足立先生が twitter に書いておられたが、年を取ると何もかも劣ってくるということはなく、若い時は気付かなったものに気付くように成ってよい。数学もそうで、昔とは違うことが色々見えてくる。TeX 化しておいた演習問題を見返すと、何とも下手で稚拙な解答が付いてることがある。そういうのに気付くのはがっかりすることもあるが、新しいことに気付いて楽しいとも言える。まだまだチマチマとやりましょう。で9時過ぎまで職場にいた。
途中野球をチラチラと見ていたが、5試合全て僅差。神宮の Swallows vs. Baystars は延長戦に入っていたが 0－0。うむ。で帰ろうかと思って見たら、3点リードしている展開に変わっていた。牧が3ランホームランを打ったようだ。やるな。でもう少し作業を続けて、見ると 3－0 で勝った。よしよし。連勝は昨日で止まったが、これでカード勝ち越し。明日から横浜スタジアムで目下首位の Giants と3連戦。今シーズンに限らず痛い目にあわされ続けてるから、今度は3タテしてやりましょう。先週の土曜日はふなごやの店長もバイトの人もホクホクのくらい Tigers が強かったが、何と4連敗しているそうだ。Dragons に3タテを食らい、Hawks から育成契約で Dragons に移って、その後支配下登録された三浦瑞樹にプロ初先発初勝利されたそうだ。サトテルの10号ホームラン12球団一番乗りくらいが救いか。Giants は田中マー君が初回3失点も、延長戦に持ち込んでサヨナラ勝ちらしい。これはいよいよ Giatnts を叩かないと。5月戦線は踏ん張らないとね。
ガストで注文して待っていたら、何やらこっちを見て頭を下げてくる人が。誰だと思ったら、うちの学生だ。3人連れだったが、2人は見覚えがある。名前は知らないが。もう深夜料金を取られる時間に成っていたが。金持ちやね。
「報道ステーション」の最後の方で嫌な事件があったことを言ってた。車が小学生7人を次々にはねたとか。Yahoo!で見たら、「全てが嫌になり、人を殺そうとした」と犯人は言ってるとか。何度も言ってるが、死ぬなら勝手に死んでくれ。人を巻き込むな。ましてや児童だぞ。いい加減にしてくれ。
今日からマスクはしないことにした。もう花粉症は大丈夫な感じだし、コロナを用心してマスクという人も最早いなかろうと思うので。が、そうすると時々マスクをしている人を見掛けるようになった。まだ何か流行ってるらしいしな。保健センターに行くときなどはした方がいいと思うので、職場に一箱置いておくことにして買っておいた。2月の業務の時もあった方がいいかな。あまり沢山は使わないだろうから、それまで残ってるだろう。個包装がしてあるから、衛生上の問題も無いし。暑い時期にマスクしてると大変だからな。もう暑くなってきてるが。マスクをしてるとだらしなくなるのと、花粉症もあって暫く鼻毛を切った記憶が無い。鏡を見るとずいぶんみっともなく伸びてた。明日は講義とゼミだ。切っておこう。髭も少しはマメに剃らないといけないな。面倒だが、まあいいです。色々普通に戻していかないと。
