昨晩はやはり中々寝なかった。が、それなりには寝た。で起きたら10時半くらい過ぎ。2時55分の講義までに職場に行けばいいので、昨日の「ミラクル9」の2時間スペシャルを見て、12時半過ぎに出発。はま寿司で食事。高い物を頼み過ぎたか、値段の割には皿の枚数が少なかった。
でまだ時間があったので個研室で作業をしていたが、エクスプローラーが開いている時にうっかり Del キーに触ってしまい、何か迷わず y を押してしまって、USB メモリーからファイルを一つ消してしまった。USB メモリーのファイルはゴミ箱行にならずに完全削除されてしまう。む、と思ったが、昨晩住処で作業して pdf ファイルを作ってあったので、それを見ながら復元作業。dvi ファイルを tex で生成するという時代遅れのことをやっている小生だが、そのおかげでほぼ完全に復元出来た。まあ無駄な時間だったのは間違いない。
2時55分から「数理科学セミナー」まずピタゴラス数を円のパラメーター表示を使ってやる話。t=tan(θ/2) とおくと sin θ と cos θ が t で表される、という有名な話をし忘れた。留学生がふうふう言いながら日本語で苦心していいるのをみたら、気の毒に成ってきて、早く解放してあげたい、という気持ちがどこかにあったのだろう。次の人の所はほぼお話。p がソフィー・ジェルマン素数の時にフェルマー予想の first case が成り立つ、というのを証明するようなことを言って始めたが、2分くらいで変な所があるのを気付いて突っ込んだら、1週間考え直してくると言ってた。そんなに簡単なことだったかいな?足立先生の「フェルマーの大定理」(今はちくま学芸文庫で手に入る)に出ていたので見てみよう、ということにした。6人しか登録してないのに3人目もやるらしく、ユークリッドの互除法の話をしていた。本に書いてある割り算の回数の見積もりが小生の知っているのよりちょっと悪いようなので、コメントしておいた。もうチャイムが鳴った後だったので詳しく話せなかったが、フィボナッチ数列を使って回数の見積もりは出来る。商と余りがずーっと1で続いているのが最悪の状態で、この場合がまさにフィボナッチ数列、という話をしたかったが。また別の機会にやります。
少々の休憩を挟んでゼミ。今日はディリクレ指標の群の部分群とアーベル体の部分体の間の1対1対応。他にも conductor-discriminant formula を使って p 分体の判別式を計算したり、p 冪分体の判別式を計算したり。後者は任意の円分体の判別式を藤崎先生の本を読んだ時に計算したのを二人とも忘れていて、共役差積がどうしたとかそんなところまで遡り始めた。いやいや、公式が出てるでしょ、と探させたら漸く見付けた模様。で訳の分からない計算だったが、結果が分かってるとうまくいく。オイラー関数の値を求めてしまわないで残しておく方が上手くいったのは意外だった。で色々苦戦して、予定の30分くらい前に終了。勉強になった。復習しないと。色々やることがあって中々出来ないでいるが。
その後部屋で昨晩住処で書き散らかしたものを TeX 化する作業。が、結構間違いがあった。a≡b+1 (mod 2) としていたのに、いつの間にか a と b の偶奇が等しいとしている愚かさ。どうやるんだろうか?と思ったが、もう9時を大きく回っていたので、やめることにして帰る。
今日(もう昨日に成ってるが)は最低気温が12度、最高気温が14度とか訳の分からないことを言ってた。うすら寒いのでちゃんぽん亭に寄って温かいものを食べようと向かう。あの店は入口のドアをちゃんと閉めない客が多くて腹立たしい。小生が食券を買っている時に一人出ていったが、ドアを閉めようともしない。食べてる最中に Uber Eats の配達の人が来たが、開けっ放しにしていて、うすら寒いので「閉めて!」と叫んで閉めてもらった。いい加減自動で閉まるように工夫したほうがいいのでは?
職場で考えてたことは m が square-free だったら二次体 Q(√m) の性質からすぐ従うのに気付いた。が、square-free でないケースでも出来るっしょ、と思ったが、まだうまくいってない。気付けばもう明日は金曜日だ。先週の「座王」を見ないと、ということでまずそちらから。いやー、凄かった。まだ見てない人がいるかもしれないが、書いちゃう。浅越ゴエが9人全員を倒して、丁度100勝に到達。座王に成るのも10回目とキリがいい。えげつなかった。最後に武将様ことミサイルマン岩部との99勝対決だったが、岩部の情けなさが目立っただけだった。あー白木が1回で7勝したのが今までの記録だったそうだが、9勝は凄い。スペシャルででもない限り塗り替えられない不滅の記録だ。いいものを見た。
昨日書いたが、いつも使っているノートパソコンのネットワーク周りの様子がおかしい。一旦リブートすれば直る程度のことなのかもしれないが、一生懸命有理点探しをしているのを止めるわけにはいかない。もう一台のノートパソコンが上手く動ているのでいいです。このパソコンには助けられていて、2年前の学生の修論の締め切り間際に職場のデスクトップパソコンがウィルスにやられたが、その時にこれ(目の前にあるので「これ」と言ってる)に助けられた。もうちょっと色々頑張ってもらわないと。来週の出張のお供に連れて行く。暫く住処に置いておこう。
あ、今日(昨日だが)は野球は中止。2カード連続の3タテとはいかなかったが、2カード連続で勝ち越した。明日から横浜スタジアムで Giants 戦。3タテしましょう。最悪でも勝ち越しを。