昨晩も何だかんだで結構遅かったが、今朝は10時ちょいに目が覚めてしまった。寝不足だが、保健センターに一番で受付をしたかったので、もういいことにした。うな松の100円引き券があるので、名物一本鰻を食べるべく、10時半くらいに出掛けた。うな松に11時ちょいに着いた。いつもここの駐車場で結構凄い音を発生させてしまう。歩道の窪みが狭くて、底をこすってしまってるんだろうか?しょっちゅうやってる。この前定期点検を済ませてきたが、特に何とも言われなかったので、大丈夫なんだろう。で食べて、100円引いてもらった。いつもは JAF の会員証を見せて100円割引なんだが、大抵どこでも2種類のクーポンを同時に使えないので、今日は JAF の会員証は見せないでおいた。
12時前に職場に着いて、1時までちょっとボーっと。で12時57分くらいに保健センターに行って、1時まで待って手続き。一番乗りだった。よかった。診察は1時半からなので、ちょと個研室へ戻って多少作業。1時25分くらいにもう一度保健センターに行って、すぐ呼んでもらえて、講義に影響が出ない時間に全て済んだ。よかった。やっぱり火曜日は講義が無いようにしてもらいたいな。今年時間割を作る先生に頼んでおこう。
2時40分から院生向け「数理科学特論1」。今日はノルムとかトレースとか。t のトレース、ノルムは、x に tx を対応させる線形写像のトレース、行列式と定義した。これだと値が下の体に入っていることは自明なのでよい。で共役元の和と積に成ることを示そうと思ったが、何かおかしなことが書いてある。ちょっと直して話す自信が無いので、来週話すことにして、その続きを話す。で一箇所おかしな所があって突っ込まれた。そこは単なる書き間違いだったので、すぐ直して済ます。その後多項式の判別式についてちょっと。来週は終結式の定義からやる。今日は2次式の判別式が b2-4ac に成るとか、x4+x3+x2+x+1 の判別式の計算だけしてきた。
で個研室に戻ってから、講義資料の直し。変なのの原因は、文字が x だったり t だったり α だったりしたのをどうにかしようと数年前にいじっておかしくなったのだと分かった。突っ込まれた件も一箇所を t にして、別の箇所を t に直し忘れたのだと分かった。うむ、やっぱり酷いな。原始元を θ にすると、学生は何か特別な意図があってやってるかと思うかと思って避けているが、θ でもいいかもな。まあこの秋学期はいじらないでおこう。再来年やる前にもう一度どうにかする。まあ大学院生だから、文字が t だろうが x だろうが a だろうが α だろうがあまり気にしないだろうが、中学生、高校生だとちょっと考えないといけない気がする。大学生でもそうかな。小生のこっちに来た頃の講義は、多項式を f(x) で書いたのに多項式環から別の環への写像をまた f で書いたりと、今考えると酷いことこの上なかった。少しは気にして色々やったが、大学院生相手だとちょっと油断してしまう。また考えよう。で今日の分の直しをして、web に上げて、それからちょっと福岡で話したのの報告集の直し。来週が締め切りなので、そろそろ完成させたい。が、作文が上手くいかなかったり、ちゃんと読んでみると数学がおかしかったり。こっちも真剣にやらないといけないな。あ、来週名古屋に行く件でちょっと予約を取り直さないといけない件があった。電話するのを忘れていた。明日やろう。
で根を詰めたいところだったが、調剤薬局の受付が8時までなので、7時には職場を後にした。高速道路の手前の電光掲示板に「草津JCT-瀬田東JCT 事故車あり 注意」の表示。またおおごとに成るのか?と焦ったが、もう最混雑の時間は過ぎていて、路肩に1台停まっているだけだったので大丈夫だった。調剤薬局には7時半くらいに着き、35日分処方してもらってくる。何年か前に、一週間分の処方箋しか出せなくなると見たような気がしたが気のせいだろうか?気のせいだろうな。今日は35日分だったが、夏休みは診療のインターバルが長く成るので、60日分くらい一気にもらうこともあるし。
帰ってきてテレビを付けると、サッカーがやってた。眠かったので音声だけ流して横に成ったが、暫くしたら日本がオウンゴールで今大会初失点、と聞こえてきた。まあ毎回は勝てないよね、と思って暫く経ったら追い付いたという音声。結果はドローだったが、こういうところで負けないのが昔と違う所だな。
でその後メールを見たら、明日は会議があるようだ。むぅ。まあまた住処から Zoom で参加するのでいいです。で講義中に届いたと思しきメールを見たら、大事な件を忘れていたことが判明してしまった。今日何かあると先週言ってたな。こういうのは当日でなく、せめて前日までに教えて欲しいが。去年は学科会議のある無しは毎回前日に報告していたが、今年の学科長は最初の頃は教えてくれなかった。オンラインカレンダー共有してね、という趣旨だったが、小生そういうのが全く分からない。「せめて前の日には教えてください」とメールしたら、その後は教えてくれるように成ったのでよかった。明日はある、ということで、覚悟します。
あ、明日から東京ドームで Giants をボッコボコにする日々だったな。6時からのようだ。会議は4時半開始だから、最初から見られるかもしれないしそうならないかもしれないし。ファーストステージはロクに見なくて勝ったから、今回も見ないことにしようか?と思わないでもないが、やはり見たいな。見よう。
明日から「相棒」が始まるらしい。勿論野球を見ると決めたからには優先なので、「相棒」は録画しておく。前に第8シリーズまでまとめて買ったが、ようやく第6シリーズに入ったところ。先は長いな。まあある程度から先は見ているので、もう少しだ。名古屋は近過ぎるので、見る時間は無い。また実家に帰る時だな。ってそれはもしかするとという場合だが。当分帰らないで済めばいいが。