今朝は11時過ぎまで寝てしまった。やはり寝不足の影響は残るな。毎日規則正しく？いやー、子供の頃からそういうのは苦手で。浪人生をやってる時は奇跡的に1年間本当に真面目に過ごしたが。目標があるというのは大きい。生活指導もどきをやる予備校だったからそういうことが出来たのだと思うと、S台やYゼミなどに行かなくてよかったとつくづく思う。
で12時10分過ぎに職場へ向けて出発。12時40分くらいに職場に着いて、弁当を購入。残りが少なくて、100円引いてくれた。が、そうすると500円玉でお釣りが返ってくる。弁当を売ってる所の近くの自販機は新500円玉が使えるが、ウェストウィングの1階の販売機は悉くダメ。が、もらった釣りが旧500円玉っぽい。試しにウェストウィングの1階でお茶を購入しようとしたら買えた。嬉しい。で個研室に着いて、パソコンの前に行くと、紙数枚の下にしっかり筆箱がおいてあった。が、USB メモリーが入ってない。見るとパソコンに刺さったまま。電源を入れようとしたら、何とオフに成ってない。画面が消えてるのは一定時間経つと消えるように成ってるから。間抜けだ。寝不足だとロクなことないな。気を付けよう。
弁当を食べて少しほっとしてからゼミ。今日は分岐群に関する件が続いて、ちょっとうんざりだった。分解群と惰性群、及びその固定体である分解体と惰性体は結構ちゃんといじったことがあるが、分岐群は本当にほぼいじったことがない。惰性群が巡回群に成るというのが論文読んでて分からなかったことがあったが、それは第1分岐群をいじれば分かると尾崎ししょぉに教えてもらったことがあったが、それくらいだな。その後クンマーの定理（最小多項式の分解で素イデアル分解が分かるというあれ）の相対版をやったが、絶対版と殆ど同じということで、さらっと終了。絶対版は少し前に4回生がゼミでやってくれたが、確かに下の体が素体（代数体の場合も剰余体の場合も）だという性質はいらなかったな。ということでキリのいい所までやって終了。来週から少し円分体のことをやる。色々抽象的にやったことが具体的なことに使えていい。見ると分岐群をいじるのも少々ありそうなので、ちゃんと復習しておこう。
その後部屋で諸々。明日までに目鼻を付けないといけないことがあるので。何をしてたかは書かないが、数学の基礎的なことが色々分かってないことが判明した。難しいな。でまあいいでしょう、ということに成ったので、学科長の所に持っていこうと思ったが、木曜のこの時間はセミナー後の呑み会をしてらっしゃるだろうな、と思って行ってみると、案の定部屋に電気は点いているもののもぬけの殻だった。明日講義とゼミが終わったら再度行こう。その後別の事務作業。エクセルファイルをいじったが、エクセルは苦手だ。1行おきに色が変わってしまうのはどうやったらそうならなく出来るんだろう？と思って少しいじったが、まあ本質的な問題は無いので、気にしないことにして、onedrive にアップロードして、同僚にメールを書いて、で終了にした。8時半を過ぎていたので、もう帰ることにした。
昨晩寝る前にゴミ出しをして、ついでにマンションのエントランスに行って、ポストを見てきた。すると、待っていたものが届いていた。テレビのリモコンが何か不調で、電源のオン、オフがすぐ出来なかったり、効かないボタンがあったりして、ちょっと嫌だった。でメーカーのホームページを見ればあるのでは？と調べたが、小生所有のテレビを作ってるメーカーは潰れていたようだ。む。が、他のメーカーの物でも使えるものがあったり、潰れたメーカーなのに在庫があったりと、ゴチャゴチャやって、「LC-023R」という型番とコンパチブルなものを探したが「LC-023」とコンパチブル、というものは幾つかあった。まあ駄目でも数千円だし、いいや、と思って買ったのだが、それが届いていた。で部屋に戻ってすぐ電池を入れて試したら、使えた。オン、オフがすぐ出来る。外付けハードディスクに録画したものも見ることが出来そうだが、眠いので見ないで寝た。でさっき帰ってきたので先週の「座王」を見たが、ちゃんと見られた。黄色いボタンが前のリモコンでは使えなくなっていたが、ちゃんと今度のは使えるので、録画してある番組の一覧を見ることが出来る。これで「座王」の録画し忘れはなくなるな。まあ忘れても Tver で見ればいいんだけど。ということで充実のテレビライフを送れる。いやちょっとまて。「数学展望」の出番が来週だな。学生と面談の約束も取り付けないといけないぞ。色々やることあるな。そろそろ定期試験の問題をどうにかしろと言ってくる時期か？さすがにそれはもうちょっと先か？3回生と大学院の科目のレポート問題はもう少し先でいいと思ったが。色々やることがある。中々まとめて色々考える時間は無いものだ。来年度はどうなるでしょうか？
