どうも月曜の晩は夜更かししてしまうな。先週の時点では今日は午前中から職場で用事があるのだったが、その必要が無くなったのでつい。何をしていたかといえば、下らん計算をしたりとかしていたんだが。でテレビも見たが、昨日の「テレビ千鳥」は超絶面白かった。大悟が「テストで100点をとりたいんじゃ」と言い出して、小学生の算数の勉強。で2桁の掛け算も割り算の筆算も何も知らないようだが、何と正解を出してしまう。分数と小数を足すというのの時は、7/10 のイメージ図と称して丸の少し欠けたのを書き始め、で正解してしまう。2桁の掛け算は沢山書き散らかして、そこから情報を的確に取り出したり。ああいうのを天才というんじゃないだろうか？と思って楽しく見ていた。来週続きがやるようだ。忘れず見よう。
で相当遅くまで起きていて、起きたのは1時過ぎだがまだ眠い。2時に約束があるので、職場へ向けてダッシュ。6万円ちょっと現金で払った。まあ手続きをすれば大学からお金が出るんでいいけど。
2時40分から院生向け「数理科学特論1」。今日は素イデアル分解の一意性の証明の続き。ネーター環がどうしたとか整閉がどうしたとか。で漸く証明出来るぞ、と思ったら、素イデアル分解の可能性の所に変だと思しきことが書いてあり、ちょっとストップ。時計を見ると考えるほどの時間が無いので、そこだけ飛ばして来週やると宣言して、一意性。その後代数体の整数環の場合（というかデデキント環の場合）、P.I.D. であることと U.F.D. であることが同値であることを示して、U.F.D. でない環を無限個与えてきた。Z で素因数分解の一意性が成り立つのは当たり前だと思えたのはどうしてだろう？経験則でそう思ってただけ、というのが大半じゃなかろうか。フェルマーの大定理の時もそれに纏わるミスは沢山あるようだし。
4時半から教授会。今日は学部長選挙の最終投票があるので、絶対出席しないと。でその時気付いた。住処のパソコンに Zoom をインストールしないと。明日の学科会議に参加出来なくなってしまう。まあ短時間で済むはずだから、明日やる。で教授会。まず事務室に二人来た方を紹介。その後学部長選挙。候補者3名がまず話して、それから投票。思ったよりお一方に票が集まって、一回の投票で決した。まあお三方では一番年嵩（に見える）だし、お一方は真面目であるがゆえに教授会を引っ掻き回したりすることもあるので、まあそうかな。もうお一方は何故そんなに票が集まらなかったか謎。副学部長もやったりと、経験は豊富な方だと思うんだが。これで総理大臣が石破に成り、アメリカの大統領がトランプに成りと、大分固まった。後は兵庫の知事選だな。あのパワハラ親父が選ばれるなんてことはないと思うが。名前に「元」が入ってるから、「元知事」と呼ばれるのがお似合いだ。
重たい議題があった割には教授会は早目に終わった。「数理科学特論1」の直しはすぐ済んだので、直して manaba+R に上げて、それからまた線形代数をちょっと。大体木曜日のゼミ終了後に月曜の「数学IV」の準備をするんだが、今週はちょっとゼミ後に用事が入ってしまった。まあそんなに時間は掛からないだろうけど、目鼻は付けておいた方がよいので、ちょっと。写像をどれくらい詳しくやるかだな。単射とか全射とか定義だけ見て丸覚えしただけでは何にも成らない。院生でも f が単射なのを示すのに「a≠b ⇒ f(a)≠f(b)」という示しにくい方を示そうとする。徹底的に問題演習で鍛えてもらわないと。ということで、講義では程々にして、演習の先生に頑張ってもらおう。まあ当日の時間の過ぎ具合によるな。明日は学科会議以外に用事が無いから、今日は程々に寝て、明日やるか。これからやるかもしれないが。
「報道ステーション」のスポーツコーナーは野球一色。こんなのは珍しい。まあ一番が佐々木朗希の件、二番が大谷の件、三番が六大学野球の決勝戦が早稲田 vs. 明治と76年振りの対決に成った話（早稲田が優勝）、明日から始まるプレミア12の話はその後。と言っても実質は松坂が才木にインタビューしているのが殆ど。まあいいです。明日は見るかな。明日は「相棒」が無い。やはり何でも世界戦は視聴率がとれるのだろう。
しかし新しいパソコンは使いづらい。文書の入力をする時に、学習に学習を重ねて「かん」と打てば「環」が出るようになったのを、また一からやり直し。さっき「才木」と書いたが、まず出てくるのが「再起」。次が「才気」。「才木」は随分後の方だった。沢山癖のある文章を打って、がっつり学習させましょう。まあ「基礎数理」と変換したい時に「奇素数理」となるのは仕方ないので。「投与コイン」はもう「東横イン」を登録してしまったので心配ない。色々書きます。
