昨晩はその後「エラー」の2話と3話を見てしまった。で今朝は12時過ぎに漸く起きた。シャワーを浴びて、はま寿司で食事をしてから職場に行くことにして出発。はま寿司には幟が2種類立ってて、大切り銀鮭と鰹。が、鰹がメニューに見当たらないぞ。本日売り切れ、なのか完全に売り切れたか知らないが、食べたかった。でまた例によって2000円強。職場に着いたのは2時20分くらいで、個研室でゆっくりボーっとするほどの時間は無いので、飲み物を買って食堂の隅で飲みながら多少作業。適当な時間に講義室に向かう。
木曜日は「数理科学セミナー」。この前フェルマーの小定理をやったが、節の導入部分を完全に飛ばしていたので、そこをちゃんとやるように言っておいたのでそこから。その後フェルマーの小定理の証明もテキストに書いてあるものを説明させた。まあいいんじゃないでしょうか。1時間くらい掛ったが。その後選手交代で、オイラーの定理の途中まで。YouTube で見てても今日の学生を見てても思うんだが、合同式の (mod m) ってそんなに書くの面倒か？毎回書いても大した手間ではないと思うんだが。小生毎回書いてるよ。人によっては「議論」と書くのも面倒臭いらしく、学生にノートを見せてもらったら、「ギロン」と書いてた。ギロチンに見える。不精はやめましょう。そんなことしてると漢字書けなくなるよ。で途中だがチャイムが鳴ったので、切りのいいところでやめてもらった。
その後ちょっとボーっとしてからゼミ。今日は完全分解する素イデアルの密度とか有限次ガロア拡大が完全分解する素イデアルの全体で特徴付けられるとか。これガロアじゃなくてもいいんじゃなかったか？と思っていたが、調べていかなかった。演習問題に非ガロアな場合はどうか聞かれていたが。調べておく、と言っておく。で解析的な話題は一旦終わりで、これから modulus がどうしたとか Strahl がどうしたとか代数的な話が始まるが、十分予習が出来てないのでご勘弁を、ということで2時間くらいで終了。去り際に円の m 分体で完全分解する素数の密度が 1/φ(m) なのとか2次体で（完全）分解する素イデアルの密度が 1/2 なのとか自然だよね、と言っておく。自然と思えるのはどちらの場合でも分解法則を既に勉強したから。こういうのを聞いて面白いと思えるためには、つまらんかもしれないが基礎訓練をしておかないといけないよね。何故かうちの学科と機械科の合併科目に成ってる「AI・機械学習」というそそられるタイトルのものがあるが、機械科の学生は線形代数をちゃんと勉強してなくて沈没するらしい。この前 YouTube を見てたら、大学1年生が行列習って「は？」、和を習って「は？」、積を習って「え？え？」みたいな動画があった。「こんなの役に立たんだろ」と学生は思っていたが、コメント欄で皆さんお書きになっていたとおり目茶目茶役に立つし超重要だからね。そうは思えないだろうけど。「線形」の大事さが分かるのは大分経ってからだろう。線形代数の講義を行列の計算から始めるのは良し悪しで、何か計算してるけど意味分からん、と成るし、先にベクトル空間からやるのは1回目から学生が沈没しかねないから、ちょっとやる勇気が湧かない。去年だったか基底の変換を念頭に置いて展開した線形代数の本が出たようだが、買ってみようか？うまくいけば暫く線形代数の講義は担当しないで済みそうなのだが、まあ賢くなっておきましょうかね。
で7時前に解放されて、個研室で野球の様子を見ると0－4。…。東が1回表に先頭打者ホームランの後も猛攻を食らって4点取られたようだ。がっくし。もうええわ、ということで、明日の講義で何をやるかをちょっと思い出しておいて、演習問題を考えて、部屋掃除のために紙を幾つかスキャンしたり。会議室に行ったらコピー機が無くなっていてビックリした。生協は最早コピーカードを売り出したり、そのためのコピー機をリースしたりというのはやめたいらしい。この前学科長が言ってたが、学生は学生証で年間3000枚くらいコピー出来るらしい。多分十分過ぎるだろう。今時の学生はコピーしない。何でも写真撮るからね。まあ7階まで1フロア上がれば学科事務室にコピー機があるから。で何枚かスキャンしたらエラーが出るようになった。定かではないのだが、スキャンしたと思しきファイル名のものが沢山あるとスキャン出来なくなるようで、個研室に戻って結合させて不要に成った pdf ファイルを幾つか消してもう一度事務室でスキャンしたら出来るようになった。やはり予想が正しかった。スキャンして結合させたらどんどん消せ、ということだな。それと事務に有隣社の伝票をスキャンして送ったら pdf はすぐ消せ、ともいうことだ。でもう9時を回っていたので、帰ることにした。その前にチラッと野球の様子を見ると、4－7。7点差に成った後に4点取ったようだ。まあ期待しないでおきまひょ、ということで職場を出て、すき家でカルビ丼にホクホクのニンニクを乗せたやつを食べて帰途につく。
10時半過ぎに帰ってきた。個研室を出るちょっと前に雨が降っている音が聞こえて、すき家からの途次も時々雨がちらほら降って、で「報道ステーション」で細川栞さんの言ってるのを聞いていたら、近畿は梅雨入りしたそうだ。早いな。明日の予報には傘マークがあった。数日前の予報では金曜日は大丈夫で土曜が雨と言っていたが。今スマホを見たら、明日の降水確率は80%だが、1時間ごとの予報の所に傘マークが無いのが不思議。傘を持ち歩いた方がいいということだな。その後スポーツコーナー。もう随分前から日本の野球より MLB の結果を詳しくやるようになっている。打者大谷は一時絶不調だったが、昨日の時点で出塁率がリーグ1位になって、今日打率が .300 を越えたそうだ。スイッチが入ると凄いな。今日は投げても無失点で、防御率 0.75 とか。規定投球回数に1足りないそうだが。
で漸く日本の野球。Baystars の試合を中々やってくれない。で始まったので見ると、5－7という状況から伝えてくれた。職場を出た後にもう1点取っていた。で今日から牧が復帰しているそうで、その牧が同点のタイムリーヒット！マジか。で9回裏。画面に映ってるのは神里。期待出来ないか、と何があったかよくわからないが、三森が2塁から一気にホームを狙って、アウトの判定もタッチを掻い潜っての神スライディング。サヨナラ勝ち！8回表終了時点で7点リードされていたのを8回裏に7点取って一気に追い付いて、9回にサヨナラ勝ちという、嘘みたいな展開。昨日、一昨日の負け方を見て、Facebook 上では「やる気が見えない」とかもっと酷いコメントが相次いでいたが、皆必死にやっているのだ。結果に結び付くか付かないかは時の運もあるし、暖かく見守りましょ、ということでこれで3カード終了で全カード1勝2敗。明日から最後の3カードで逆、もしくはそれ以上を目指しましょう。
週に3日しか職場に行かないから、あっという間に1週間経ってしまう気がする。1日おきに行くともう少し長く感じるのかもしれないが、今は月曜行って、火、水、行かなくて、木、金は行くという変なスケジュールで、しかも月、木は2時55分までに行けばいいという変なスケジュール。秋学期は火曜日に講義があるが、これも2時55分から。その後に教授会があることがあるので、火曜日はゼミを入れられない。火曜日は講義だけのために行くか、それとも終わった後個研室で有意義に時間を使うか、それによってまた変わってくるけど、その時に成ったら考えましょ。秋学期のことを言うと鬼が笑う、てことはないと思うけど。うまく時間を使わないといけないね。
