何か天気予報が悪いので、今日は職場行かなくてもいいや、ということにしてしまい、コンビニで食べ物だけでなく飲み物、呑み物を購入してしまった。で呑み呑み録画してあるものを見たりと、ノンビリした。秀吉が京都をどう再興したか、みたいなのを NHK スペシャルでやってたのを録画しておいたが、これが実に面白かった。ここ数年で調査が進んで、色々なことが分かったらしい。今はほじくり返さなくても地底のことが分かるので、調査するの面白いだろうな。番組ナビゲーターが佐々木蔵之介で、ナレーションが吉岡里帆。二人共京都出身で、佐々木蔵之介は「麒麟がくる」で秀吉を演じていて、吉岡里帆は今の大河ドラマで秀長夫人を演じている（一昨日初出場）。よい人選だと思う。
で結局夕刻まで寝てしまい、職場には行かなかった。明日以降は学生がうじゃうじゃいるので、今日行っておけばよかったが、上述の如く天気が悪かろうということでね。少し野球まで時間があったので、ちょっと数学。昨日書いた Antoniadis の証明だが、冷静に考えれば素数であることを使ってないぞ、と気が付いた。基本単数のノルムが －1 なのが証明中に書かれていたが、mod 2 で考えてるのでノルムが 1 でも －1 でも関係無い。でやってみたら確かにそうだ。Antoniadis は何故素数だと仮定したのかと言うと、彼は類数2の虚二次体との関連で調べていて、判別式の形からそう仮定したようだ。うん、一つ格好良くなった。ただ、Q(√m) の類数が3で割れないのと、基本単数のトレースが奇数であることは仮定しないといけないが。類数が3の時には確かに定理で言ってないことが起きる。基本単数のトレースが偶数の場合は、そこそこの所まで実験したが成り立ちそう、という雰囲気。3次の Thue 方程式を解く必要が出てくるが、それは Magma caluculator か PARI/GP で出来る。基本単数の形が m 毎にどう変わるか分からないから、一般的に示すのは難しそうだが。
などとしている内に6時に成った。今日から Tigers と京セラドームで3連戦。ドームだから雨の心配は無い。Tigers から移籍してきたデュプランティエが先発。やってくれると信じたいが、1回裏に早速1点先制されてしまう。む。5回裏には中野の内野ゴロの間にもう1失点。まあ5回2失点ならまずまずでしょう。次回に期待。すぐ筒香の1号ソロホームランで1点取り返したが、日曜日と同じで筒香の打点の直後に失点してしまう。坂本が2失点。その後チャンスを作るも、タイムリーヒットもホームランも出ず1－4で負けて、開幕4連敗。まあ Drgons がお付き合いしてくれているので、単独最下位ではないが。明日は勝てよ。
などとしている内にニュースが。Fighters の細野晴希がノーヒットノーラン。2023年ドラフト1位で入団の3年目。2024年は2試合登板、2025年はプロ初勝利を含めて6登板で3勝1敗と、大した実績は無い。今日は北山が WBC 明けなので先発を延期して、有原の先発の筈を新庄監督が閃いたか細野に変更したそうだ。それでこうなるから分からない。同じ Fighters だが田中幸雄という選手が同時に二人いたが、投手の方の田中幸雄がノーヒットノーランをやってる。その時は「これで完封勝ちなら監督賞だな」と全然欲をかかなくて成功した。で彼のキャリアでの完封は1試合だけ。面白いね。日曜日は栗林が惜しかったが、また是非やっておくれ。
明日から新年度。新入生歓迎企画とやらが9時半からあるそうだが、義務ではないそうだし、今年度は1回生の講義担当しないから行かなくてもいいや。気が向いたら午後から行こう。有隣社に注文した本が届いてるかもしれないしな。届いてないと論文の書き直しが出来ない。まあそれでもやることはあるのだが。午後から雨だと言っていたし、ここ数日の20度越えから一転15度にいかないそうだから、気は進まないが。行きますかね。
