何だかんだと遅くまで起きていてしまう。で12時近くまで寝てしまった。寝癖が酷いので、シャワーをざっと浴びる。で12時15分くらいに出発。職場に着いた時間だと、弁当は売り切れているかもしれないし、売っていても個研室でゆっくり食べる時間は無さそう。さてどうしよう、ととりあえず売り場に行くと、結構残ってた。買ったが個研室でゆっくり食べるのは無理のようなので、陽気もいいし表で食べることにした。人に見られると恥ずかしいが、まあいいです。
1時から「数学IV（線形代数）」。今日はまず次元が n と分かっている場合は、n 本のベクトルが基底であることと1次独立であることと生成系であることが同値という便利な命題を示して、C の基底を幾つか与える。それから行列の零空間、行空間、列空間など。基本変形で階数が変わらないことがこういうことで証明出来る、というのは面白いと思うが、学生にはそうでもないか。でベクトル空間が二つの部分空間の直和に成っていることの定義と、それと同値な条件を証明したら時間。これの証明を学生の時に読んだが、左辺が W1 の元で右辺が W2 の元だから W1∩W2 の元、というのが物凄く面白いと思ったのを思い出した。そういえば前にガウスの補題（原始多項式の積がまた原始多項式というあれ）の証明を学生が「面白れー」と感動していた。証明を追い掛けるのは辛いことばかりではないのだ、ということが分かってもらえるといいが。
講義後個研室でうだうだ。年末調整の手続きが首尾よく済んだかどうか気になるのと、どこに提出すればいいか分からないので、人事課に電話しようと思っていたが、学科の事務室からメールが来ていて、提出する場所は分かった。だからまあ大丈夫だということで、人事課に電話するのはやめて、コアステーションの1階の某所に提出に行く。一つ済んだ。で暫くしたら、個研室のドアをノックする人が。何だと思ったら「配達」と言っているように聞こえた。すると、Amazon に注文した本をわざわざ個研室に持ってきてくれたようだ。いつもは学科の事務室に配達されるのだが。不在にしている時間が多いから、持ってこられても困るんだがな。随分前に個研室のドアがポスト付きのものになったが、時々見ないといけないのは面倒。レポート提出されても気付かないぞ。まあ今時はレポートは何でもオンライン提出になったが。
4時20分からゼミ。今日は種の理論の話を少々。これって二次形式だと何か意味があるのだと思ったが、二次体だと何だかよく分からない。Genus field というのがあるから、二次体じゃない場合だと何かあるのかもしれない。不勉強なのでよく知らないのが本当のところ。どうにかしましょう。その後実二次体の単数の話。今日は一人就職活動でおらず、連分数のところを二人で分けて担当するのに今日あまり進んでは可哀想、とのことで、早目に終わらせた。ただちょっと早過ぎたし、それと Q(√6) とかの基本単数を求めるのにペル方程式の右辺が ±1 両方やるのは効率悪い、ということで、－の方は答えが無いのが第1補充法則より従う、ということを言って、ついでに x2－my2＝±4 の x,ｙが奇数になるのは m≡5 (mod 8) の時のみとか、色々教えてあげた。ただ失策が、m＝37 の時は mod 8 で5と合同だが基本単数のトレースは偶数だよね、というのを忘れていたこと。この例外のお陰で小生は論文が書けた。言っておかなかったのは失敗。まあいいです。
住処のパソコンに一つインストールしないといけないものがあった。これが無いと MathSciNet を見ることも住処から職場のサーバーにログインしてホームページをいじったりも ftp で演習問題を送ることも出来ない。でやろうと思って昨日の晩始めたが、何か手続きをしないといけないらしく、それの時間が夜の10時まで。ということで、9時前に職場を出て、晩飯はカップ麺で済ませることにして帰ってきた。で9時25分くらいに職場に帰ってきて、無時出来た。MathSciNet を見たが大丈夫。他にもインストールしないといけないものは無かったろうか？というところで気付いた。PARI/GP。いや、SageMath に同梱されてるからいらないんだが、別に起動したい場合もあるので。これで全部済んだかな。でちょっとディスプレイの設定をいじった。馬鹿に字やアイコンがでかいな、と思っていたんだが、拡大率が設定出来るようで、推奨の150%に成っていたものを125%に落としてみた。すると、デスクトップに散らかってるアイコンは左の方に寄り、字の大きさも程々に成った。壁紙に美女の画像を設定してあるが、よく見えるようになって嬉しい。一晩大学に泊ったせいもあるが、水曜日から始めてようやく一通り済んだ。新しいパソコンを買うと大変だ。職場のパソコンをもう少し経ったら新しくしないといけないし。年度の合間にやるのがいいな。
また相撲を忘れていた。NHK の9時のニュースのやってる時間に帰ってきたので、今日の結果は分かった。大関は今のところいい模様。横綱はまたしても休場のようだ。怪我に病気にと、大変だ。出ればやる人なんだが。大の里でも琴櫻でも、早く横綱に成って照ノ富士を安心させないと。頑張っておくれ。
