10時ちょいに一旦目が覚めて、お、これはうな松で割引券を使える、昨日の500円オフを食べ損ねただけに是非にも、と思った瞬間にまた落ちて、次に目が覚めたら1時ちょい前。あかんわ、今日も生協の弁当だ、と成ってしまった。「徹子の部屋」を見終わってからシャワーを浴びて、2時くらいに出発。こんな時間に出勤出来るのは贅沢なことと言えば贅沢なことだが、こんな時間に職場に行かないといけないのは不幸なのかもしれない、などと思ってから出発。パソコンの画面に「小雨」と文字が出てたが、入り口に近付くとザーザーと聞こえてきた。大雨じゃないか。
幸いフォレストハウス脇に停められたので、生協へ向かって弁当を買って食して、2時50分くらいに講義室へ向けて出発。今日は「数理科学セミナー」。先週から合同式を始めたが、今日は一人で終わってしまった。1次合同式を解く話だったり、n 次の合同式の(互いに合同でない)解の個数は法が素数だったら高々 n 個とかそういう話。学生は地の文を読まない習慣があり、2次合同式なのに解が4つある例を「この合同式の解は … の4つだけです」と流そうとする。何のためにそんな例が出てるか考えないと。色々本を読んでるだろうが、前書きとか章の頭に書いてある導入的な文章は是非読まないといけないが、そういうことの大事さがまだ分かってないのだろう。それと直訳する。よく日本語訳された本に「線形方程式」という言葉を見掛けるが、こんな用語使うか?「1次方程式」と訳せばいいのに。今日は「non-linear congruence」を「非線形合同式」と訳していた。一番いい訳語は「1次でない合同式」だと思うが、いかが?で色々話してたら、先週書いたことが当たっていた。今日喋っていた学生に Z の剰余環のこと、零因子の無い可換環のこと(零環でない、は意図的に言わなかった)を何ていう?と聞いても答えられず。何故かと言うと「代数学I」を登録してないとのこと。衣笠での教養系の科目の時間とぶつかってるので出られないという。まあ教養系の科目は幾つか単位を取らないと卒業出来ず、「代数学I」は必修でも何でもないので、取らなくても卒業出来る、ということなのだろうか?知らんけど。シラバスに挙げてある本を自習してるようなことは言ってたが、今日の話の感じでは講義より大分遅れてるな。秋学期は「代数学I」の知識を既知として「代数学II」をやるのでよろしく、という趣旨のことを言って帰ってきた。
休憩を挟んでゼミ。今日はディリクレ級数とディリクレ L 関数の話。アーベル総和法とか色々などのディリクレ級数に関する準備をして、ディリクレ L 関数の初等的な話。単位指標でなければ定義域に s=1 を含められたので、それを使えば算術級数定理が証明出来るが、今日は結構手間取ったので、算術級数定理は来週。その後は密度のことをやるようだ。完全分解する素数の密度が 1/[L:Q] とかやるのだろう。完全分解する素イデアルの全体が拡大を特徴付ける、なんていうのはまだ先かな。面白くなってきた。7時50分過ぎに終了。
その後部屋でここ数日考えたものを TeX 化して印刷。色々分かってきたが、もう少しどうにかしたい所があるにはある。まあ全部全て分かるわけはなく、且つ分かってしまったら面白くないので、もうちょっと考える。昔考えて論文にしたことの別証明が出来そうなので、考えてみる。途中チラチラと野球の様子を見ていたが、先制したのにひっくり返されて、負けていた。Carp 相手では無類の強さを誇っていたが、そろそろメッキが剝がれてきたか。決勝点が内野のエラーという、相変わらずの守乱ぶり。上がるにはこういうところをどうにかしていかないと。犯人捜しをするつもりは無いので名前は書かないが、期待して使ってもらってるんだ。成長しないと。まあ今日のは授業料ということでね。幸い Giants が負けてくれた。離されなかったのは救い。いいニュースもある。度会がヒットを打って、親父さんの博文氏が Swallows で15年現役続けて稼いだヒット数173を上回る174本目らしい。.310 は堂々のセ・リーグ2位。もっと打ちまくっておくれ。明日は謎なことに Baystars vs. Swallows だけ試合が無い。ゆっくり職場で勉強してこよう。明日は講義とゼミで、終了は一番遅くても6時15分。その後部屋で3時間くらいグダグダやろう。
雨は大学を出た時はまだ降ってたが、晩飯を食べたらほぼ止んでた。が、車を走らせてる内にまた降ったり、止んだりを繰り返して、住処に着いた時は傘が不要だった。明日は近畿は降らないという予報なので、もう大丈夫かな。明日は傘を持たないで行けそうで嬉しい。講義は1時10分からで、その時間だと一番大きいが遠い駐車場に停めないといけないので、雨降りは嫌だ。蒸し暑くなければいいが。前は6月半ばまで冷房が使えないと杓子定規なことをやられてたが、ここ数年の暑さで考え直してくれたか先週から冷房が使えるようになってる。何度も書いてるが、座ってスライド見せて講義という楽なものではないので、暑いのは堪える。8月いっぱいと9月の大半講義が無いのは日本の気候を考えると素晴らしい制度だ。夏休みは用事が無い限り日の高い内は外出しないことにしている。夜外出すると言っても近所のコンビニエンスストアに買い物に行くか呑み屋に行くくらいだが。食事は Uber Eats で。持ってきてくれる人は暑い中大変だろうが、まあお金に成るので頑張ってください。ふなごやの大将の知り合いが Uber Eats だけで月35万稼いだことがあると言ってた。協力しますよ。