整形外科に苦労して辿り着いて、結局原因不明で、まだ辛いまま（これから呑みに行く）

よさげな整形外科を見付けたので、行くことにした。歩いて10分くらいの所なので、大丈夫かと。早い内に診てもらいたいし、例によって寝ないで行くことにした。9時診療開始のようなので、8時半くらいに出ればいいか、と思ったが、少々遅くなってしまった。9時20分過ぎに住処を出た。が、歩き始めるとやはり辛い。途中何度も立ち止まったし、外環三条の交差点付近に座れる所があったので、信号が青に変わるまで休憩していた。で苦労して着いた。相当混んでて、渡された番号札に15と書いてあったが、これは15番目という意味のようで、相当待たされれるぞ、と覚悟する。LINE でお友達登録すれば診察に呼ばれた人の番号が分かるので、ずっと待合室にいなくてもいい、と言われたが、歩くと辛いし、座ってればそんなに辛くないんで、でずっと待つことにした。「影の系譜」という豊臣家を主人公にした小説を読み始めたばかりなので、進んでいいだろう、ということで。で読み進めたが、何か今の大河ドラマの底抜けに明るい豊臣の一族と違って、話題が重い。秀吉が狂気の人物だと描かれている。秀吉の甥の秀次や秀保も同じ血が流れていて、彼らの母親である秀吉の姉のとも（大政所の「なか」という名前と「とも」という名前は何を見てもそう書いてるが、妹の「旭姫」の本名は小説によりまちまち）が恐れおののいてるというストーリー。以前「小早川秀秋の悲劇」という救いようの無い小説を読んだことがあるが、考えてみれば小早川秀秋は秀吉の甥だ。で12時過ぎに漸く呼ばれた。症状を聞いて、医師は坐骨神経痛を疑ったようだが、検査の結果全然そんなことは無く、レントゲン写真を撮ってもらったが、見ても特に妙な所は見当たらない、とのこと。うむ。結局痛み止めの薬（ロキソニンのジェネリック版）と湿布（ロキソニン配合）を配合されて、それと腰を支えるベルトのようなものを渡されて、都合3600円程。思ったより安かった。小生は3割負担だから、1割負担だと1200円くらいで済むんだな。そりゃお年寄りは医者に行くよね、という感じ。で少し楽に成ったかと思ったが、帰りはやはり辛かった。中間地点になか卯があるので、昼飯ついでに休憩した。で何とか住処に辿り着いて、エントランスの椅子で少々休憩して、部屋に入ってダウンした。

そのまま7時半過ぎまでダウンした。寝不足だと腰が痛くなることが時々あるので、寝ればいいかと思ったが、やはりまだ少々重たい。いや、腰以上に左足の付け根付近が痛いのが歩くのが困難な理由。そこに湿布を貼って、でちょっと腹に軽く詰め込んでから痛み止めを飲んだ。ずっと座ってるので、湿布と薬が効力を発揮しているかはまだ分からないが。あっちが痛いの糸瓜の言ってるのに、これから呑みに行く算段をしてる辺りはアル中と言われる所以か。最近は週に二日呑めば多い方なので、決してアル中ではないのだ。自身の名誉のために言っておく。週に一回、人気がさほど高くない店に行って呑み食いして協力するくらいのことはしないと。気心知れた人と会話するのは楽しいし。数学でも職場の仕事でもない会話は職場では出来ないのでね。野球の話を出来ないのは残念だが。2年前の再来だと今日日本シリーズ制覇が決まる日だったが。まあ野球の話題には事欠かない。甲斐が Eagles に金銭トレードで移る話とか、ゴジラの話とか、色々。ま、楽しくやってきますよ。歩いてる最中に辛くなる可能性はまだあるので、少し早目に出よう。ということでボチボチ。

ロキソニンを飲んで講義に臨むも、やはり95分立ちっ放し書きっ放しは無理だった

早目に起きてドラッグユタカまで歩いて行って、でロキソニンを買って、のつもりだったが、予定より30分以上遅く起きてしまった。歩いて往復する時間は無いので、車で通勤の途中に寄ったが、路地から出て三条通を走って数分で右折で駐車場に、はちょっと嫌だった。路地から出てくるのを許してくれた運転手さんにも申し訳ないし。ですぐの交差点を右折して、脇の入口から入った。で薬剤師がいたので、売ってくれた。症状に応じて数種類選択肢があったが、一つ「腰痛」の文字が見えて、私は教員でこれから授業をしないといけない、と言ったらそれをくれた。でペットボトルの水を一本買って、駐車場で服用して、で出勤。今日は結構な雨降りで、ウェストウィングまで歩いて行く気がしないし、腰も痛いということで、生協で弁当を買って食して、でちょっと早目に講義室へ向かう。読書をしていると紙を持った学生が近付いてきて、教育実習か何かの公欠届か？と思ったら、卒研配属に関する件。「手書きじゃないと駄目ですか？」との質問。別にどうでもいいので、お好きにどうぞ、と言っておいて、で数分後に厠らしき所から戻ってきた学生に同じことを聞かれた。何故だと思ったら、今日が提出締切日だ。11時55分までに提出せよ、ということで残り20分弱。manaba＋R は5分単位でしか設定出来なかったが、moodle＋R は1分単位で出来るようなので、11時59分締め切りにしておけばよかったな、と思ったが、まあ誤差の範囲内ということでいいでしょう。

で「代数学II」開始。腰だけじゃなく左足の付け根付近も痛くなってきた。痛い所を庇うと他の所に不調をきたす、というのはよくある話で、肩を痛めた投手が暫くしたら肘も痛めるというのは聞き飽きるほどだ。数学の講義は立ちっ放しで書いて話して消して書いて話してと95分間重労働。定期的に座らせてもらった。今日は代数的閉包の存在と一意性を証明抜きで認めてもらって、それから正規拡大の話。正規拡大が分からないとガロア理論が分かるわけ無いので、大事だからということをしつこく言っておく。今日は共役元の話と、正規拡大であるのを「共役元が全て収まる」というのを定義にして、Q(2^1/3)/Q が正規拡大でないこと、2次拡大は正規拡大であることをやったらほぼ時間。正規拡大と同値な条件（既約多項式が根を持ったら、全ての根が収まる、と、共役体が全部一致する）を与えてそれを証明、という所まで去年はやれたようだが、椅子に座って痛みが治まるのを待ってた分のロスで出来なかった。来週はちゃんとやれるように成ってればいいが。

でちょっと休憩してからゼミ。ずっと座ってる分にはそんなに辛くないので、3時間くらいみっちりやった。今日は単数の話を少々やって、漸くイデアル類群に突入。数の幾何をやらなくてもイデアル類群の有限性は証明出来るし、現にそうやってるんだから、早い内にイデアル類群を出して欲しかったが。ただイデアル類群を求めるにはちゃんと Mikowski 定数を使わないといけないので、数の幾何より後回しに成るのは已むなしか。で2次体のイデアル類群の 2-rank の話の途中で終了。この辺は割と得意にしている所で、例を沢山持ってるので、用意しておこう。

ロキソニンは6時間は間を開けないといけないそうで、7時近くにもう一度飲んだ。2次体のイデアル類群のことやら色々やってたら、あっと言う間に9時を過ぎてた。で帰ろうと駐車場に向かうが、腰が痛い。今日ほど遠く感じたことは無い。辛かった。が、乗ってしまうと特に問題は無くなるので、そのままちゃんぽん亭に向かって、一杯食してきた。小生の帰る直前に出たタクシーの運転手と思しき人物がドアをちゃんと閉めない。「冷房中」の紙も「手動で閉めてください」の字も見えてないのだろうか？ああいう人の運転はきっといい加減だろう。Uber の字が見えたが、Uber Taxi を呼ぶ時って運転手は選べないんだろうか？無理だろうな。Uber Eats も誰が持ってくるか分からないし。同じ人物が来ることはよくある。超ご陽気な兄ちゃんがいて、呼び鈴が鳴って声を聞くと、あ、またこやつか、と思うことがある。「毎度ありがとうございます、またお願いします」と超ご陽気に話してくる。無口で渡すだけで去る人よりは感じが良くていいな。ふなごやの店長によると、知り合いが Uber Eats と出前館の配達だけで月50万稼いだそうだから、馬鹿に成らないのだなとは思う。一時より配達パートナーをやってる人は減ってるだろし。まだまだ使わせてもらうよ。昨日、今日のように出歩くのが嫌な時は尚更。えーと、腰が痛い話。明日起きた時の調子次第だが、医者に診てもらうか整骨院のような所に行った方がいいかもしれないな。今から探そう。

ロキソニンは薬剤師がいる時間でないと売ってくれない

夕刻に職場に行けばいい、となるとどうしても変な生活をしてしまう。今日も「おはよう朝日です」が始まって暫く起きてた。第一声は「寒い」だった。京都の今朝の最低気温は8度とか。最低気温情報に成ると奈良の針という所が大抵話題に上がるが、2度だったかまで下がったようなことを言ってた。信楽もよく話題に上るが、今朝は言ってなかったな。で暫くするとスポーツコーナーが始まるが、担当の新貝まゆアナが福岡出身らしく滅茶苦茶喜んでた。桧山進次郎氏曰く、クリーンアップトリオが封じられても勝てるのが Hawks と Tigers の違いだそうだ。確かにこの日本シリーズはあまりクリーンアップトリオに打たれなかったな。正木とか祐大とかによく打たれた。選手層が厚いというのはいいことだな。来年からセ・リーグもDH制が始まるが、誰を起用するでしょうか？各チーム早くも頭を絞っているだろう。ま、しばしのんびりしてください。

で変な時間に起きて職場へ向かう。生協で弁当を買って脇のスペースで食して臨戦態勢。今日もイデールの話。まずイデール群からイデアル類群へ全射準同型写像を作る話。その後出ている例が殆ど分かってないと言ってたが、まあ無理もない。p 進体は講義で話してるのである程度知ってることは期待出来るが、その拡大体（標数0の局所体と言っても同じだが）はよく知らないだろう。それと C_p が出てきていよいよ困ったようだ。苦労して分かって、実は大した例ではない、ということでガッカリ。まあいいです。抽象論を理解するのって結局例をいじるのが大事だったり、先に例を知っておいてから抽象論を見た方が分かり易いこともあるし。苦労してください。というわけで予定より20分くらい早く終了した。まあ恰好は付いたのでいいです。

ゼミが終わって階段の方へ向かっていると、並びのゼミ室のドアが開放されていて、音声が聞こえている。何だと思って覗き込むと、並びの部屋の T 先生の姿が見えて、あ、近々行われる総長選挙の討論会の様子を見ると言ってたな、とちょっと顔を出す。三人の候補者が質問に答えているようだった。お二方は知らない人だが、もうお一方は理工学部長を二期6年勤めあげられた方。小生が来た年は学生主事をやっておられて、その後も要職に就かれて、学部長を二期もやり、今度は総長かも、と出世コースまっしぐら。こういうことをしたくて大学の教員に成られたわけではないのだろうと思うが。どうなるでしょうか？

その後部屋で少々。昼が遅かったので、少し遅くまでいようかと思ったのだが、昨日から少々腰が痛く、今朝に成ると悪化した気がする。何かしようにも集中出来ない。勿論車の運転も辛いんだが。食事を瀬田で済ませて、で山科のドラッグユタカでロキソニンでも買うか、と買おうとして物色していると店の人が近寄ってきて、今はロキソニンの販売時間外だと言われた。そりゃそうだな、薬剤師がいないと駄目か。諦めて少々買い物して帰宅。これを書くことは出来るので、大したことは無いと言えばそうなのだが、明日は講義があるしな。ちょっと早起きして、購入してから行くか。まあ腰が痛くなっても今までは大したこと無いのが殆どで、1日2日で大体治る。が、油断してはいけない。小生の実家はクリーニング屋をやっててお袋も忙しく働いていたから、台所仕事をしてくれる人を雇っていたが、その人のご主人が腰が痛いから医者に行って湿布を処方されたそうだが、収まらず、実は肝臓癌だった、というとんでもないことがあった。プロ野球の名コーチとして名高い高畠コーチ（名前失念）を主人公にしたドラマが NHK でやってた。晩年高校だかの教員をやっていたが、腰が辛くて奥さんに揉んでもらってるシーンがあったが、氏も癌で亡くなってる。あまり酷かったら検査してもらった方がいいかもな。少し前の血液検査では何の問題も無かったので、大丈夫だとは思うが。週末の経過次第だな。明日の講義は何とか乗り切ります。

4連敗であっさり日本シリーズは終了

昨晩は呑み呑みイデアルがどうしたとかぐちゃぐちゃやっていた記憶がある。例によって怪しいが。他にも、あることが成り立つかどうかの規準を証明してあったが、その規準の仮定から漏れている case で結論が成り立つか、ということをコンピューターで実験した模様。例によって「模様」なのだが。一つだけ Mordell－Weil 群が SageMath の E.gens() で求まらず、適切にパラメーターを変えても求まらず、結局 PARI/GP の ellheegner コマンドで求めて、整数点が無いことが示せて、で規準を満たさなくても結論が成り立つことが実験上は分かってしまった。「実験上」と付けないと証明出来たかのように見えるので、こう表現しているわけだが。でかなり酔いが回ってきたようで、ダウンした。いつも思うんだが、酔いって突然来るよね。呑んだ量と酔い具合の完全な相関性を見付けることが出来たらノーベル賞だと思うが。誰かやってください。いや、そんなものを見付けたら飲酒運転が増えるか。

などとして結局夕刻まで寝ていた。日本シリーズには間に合うように起きたが。1回表に佐野に2ランホームランが出て2点先制したが、見せ場はそこだけだった。4回裏に2アウト二塁の場面で栗原を申告敬遠で歩かせたが、祐大が2点タイムリーツーベースヒットを打ち追い付かれ、柳田に逆転打を打たれてしまう。むぅ。7回裏に祐大が犠牲フライを打ちもう1点取られ、そのまま見せ場なく終了。あっさり4連敗で敗退。結果だけ見れば一方的だが、1試合目から3試合連続延長戦は初だったそうだし、レイノルズが2試合抑えられなかったが、そこまではリードしていたわけだし。いや、やめよう。強かった。祐大が日本一を味わえたので、いいことにしましょう。一昨年は Baystars にいてチームは日本シリーズ制覇（日本一とは言わない）したが、祐大はシーズン終盤に死球で骨折し、ポストシーズンは出場が無かった。規定打席にもちょっと足りなかったしな。ま、これで明日から数学に集中出来る。明日、明後日は遅くまで職場にいよう。MVP は正木だったが、今日の活躍だけなら祐大でよかったのでは？という気もするが、まあいいです。ビール掛け楽しんでな。

レイノルズは逆シリーズ男への道まっしぐら

起きたら1時半くらい。シャワーをちゃちゃっと浴びれば職場に行って生協で弁当を買って食べるくらいの時間はある。が、何やらコンピューターが変な感じ。取り敢えずシャワーを浴びて、ちょっといじったら大丈夫に成ったっぽい。ちょっとこき使ってるからすねたか？ゆっくり考える暇は無いので出発。

幸いフォレストハウスの近くに停められた。生協で弁当を買おうとするも、生協アプリに課金する必要が出てきて、生協の人は不慣れらしく、ちょっとトラブった。まあそんなに慌てて食べる必要は無いくらい余裕はあったが。

講義室に行くと誰もいなくて、数分してちらほら入ってきた。多分開始時刻には3人しかいなかった。途中振り返ったら7人に増えてたが、多分初回の半分以下。学部の代数の講義の出席者の少なさを見ればこうなるのは明らか。代数の講義の出席者が少ないのは、1回生の時に線形代数を習った教員が悪いのか、2回生の群論が訳分からなかったからなのか。前者にしておくと穏当。何故かと言うと小生が担当だったからね。群論の講義に責任があると大先輩にケチを付けることになるので、やめておく。って書いてるようなもんだが。今日は素イデアル分解の一意性への枕ということで、U.F.D. がどうしたとかの復習。ガウスの整数環がユークリッド整域であることを簡単に示して、で y²＝x³－1 の有理整数解は x＝1, y＝0 のみであることを示して、でイデアルの積がどうしたとかやってたら時間に成った。来週中には素イデアル分解の一意性は終わりそうにない。まあゆっくりやります。数少ない出席者のためにも有意義な時間にしてあげないと。

講義後教授会。今日は一定数出席してないと審議出来ない議題があるので、しばし待たされて、で人数が揃わなくても出来る簡単な議題を済ませた後本題に。ちゃんと定足数に達したらしい。色々と説明を聞いたが、よく分からない。が、真面目な人というのはいるもんで、沢山話されていた。学部長が「コンパクトにお願いします」と頼んでいた。小生も同様のことで教授会で説明したことがあるが、A堀先生に依ると小生30分くらい喋っていたらしい。確かに口の中はぱさぱさだった。小生も真面目に出来てる（いや、滅茶苦茶不真面目にやることもあるが）し、初めてだったので要領がよく分かっていなかった。しかも何故か何かやる時は数理が一番最初にやらされるので、本当にトップバッターだったので、許してください。で無事終了。結構時間が掛かったと思ったが6時前だった。

ちょっと数学をしいしい野球をチラチラと見ていたが、Baystars が先制した。古市がタイムリーヒットを打ったようだ。今日は勝てよ、と帰ることにして、高速道路を走って帰宅。まだ1－0という状況だった。祐大が代打に出てきて、投げてるのは東だから、かつてのベストバッテリーが敵味方に分かれて対決。結果はピッチャーライナーで併殺打。今日の Hawks は5個目の併殺打と、凄い記録。タイ記録だそうだ。Baystars も一つ併殺打を打ってて、1試合6併殺打もタイ記録らしい。で9回裏まで進み、後1イニングで初勝利、の筈が、またレイノルズが同点打を打たれてしまった。ライトから思いっ切りバックホームした神里が倒れていて、必死だったのだな。だから誰かを攻めるつもりはないが、レイノルズは逆シリーズ男に成ってしまいそうだ。シリーズ男と言って、投げるか打つで大活躍する選手は必ずいる。一昨年の Baystars だと桑原。しかし逆シリーズ男と言って、チャンスでことごとく凡退するとか、大事な場面でリリーフに出て失点するとか。レイノルズは3試合全部放ってるが、2試合で失点して、Baystars の勝ち星を消してる。ちょっと使いづらくなってきたね。Hawks の何とかいう投手（名前失念）は1試合目に牧に同点ソロホームラン、2試合目に筒香に逆転3ランホームランを打たれ、今日はベンチ外だったそうだ。逆シリーズ男に成りそうな展開も、Hawks が3連勝した（あ、結論を書かなかったが、サヨナラホームランを打たれた）ので、何とか逃れているが。Baystars は後がなくなったが、せめて1勝はしましょ。いや、3連敗の後の4連勝というのは小生が生まれてから2回ある。1回目は2回目の受験勉強に向けて頑張っていたが経過が気に成るので、予備校でラジオを聞き聞き授業を聞いてたが、初戦引き分けの後 Carp 3連勝、Lions 4連勝だった。2回目は大学3年生（関東では3回生とは言わない）の時の近鉄 Bufallows vs. 読売 Giants だったが、Buffaloes が3連勝の後 Giants が4連勝。加藤哲郎の舌禍事件は野球ファンならご存知だろう。まだ絶望する状況ではない。こっから4連勝して、一昨年以上の激しい下克上を是非。と書いてるが、まあ負けても仕方ないかとは思ってる。そもそも借金が15まで膨れたチームなわけだし。エンカーナシオンが加入してから盛り返したが、その彼が怪我でもう帰国してしまってるのが何かを暗示しているというか象徴しているというか。ま、楽しませてください。

明日は3週間振りに職場に行かなくていい水曜日。ということで少々呑む。色々気に成ってることがあるが、録画してある何かを見るか、気に成ってる数学をするか、それとも蟻地獄（謎）を一つでも片付けるか。まあ夜は長いので、その時の気分次第で。

10月26日と言えば…

寝ないといけない、と思いつつ、どうしても遅くまで（早くまで）起きていてしまう。大河ドラマを見た後、ケーブルテレビのチューナーのハードディスクがカツカツといういつもの奴で、1時間20分物くらいの手品の番組を見て、でそれをダビングしよとしたら Blu-ray ディスクの容量が足りないという間抜けな事態。何かハードディスクから消さないと、と思って、ゲストが知らない人の時の「A-studio＋」を一つ二つ消して、で「プロ野球ニュース」の録画したのがあるが、何だろう？と思って、Baystars の試合だけ見た。わざわざ録画したところを見ると、楽しい試合だろう、と思ったらそうだった。Giants 戦だが、1回に満塁ホームランを打たれた試合を終盤の猛攻で引っくり返した試合。ライトの松本剛がライトフライを前進し過ぎで万歳をして抜かれて長打にするという、草野球までやってくれた試合だ。思い出した。が、もういいや、と消した。で録画予約を見ると、数日は大丈夫に成った。よかった。で6時過ぎに古川昌希アナがこの前の「探偵！ナイトスクープ」に出た話をするかと思って、その結論を見ようと起きていて、ちゃんと言っていた。これで悔いは無くなった、ということで寝た。

で起きたら2時くらい。2時55分からのゼミに間に合えばいいから、まだ大丈夫。ただ食事をゆっくりする時間が無い。ウェストウィングの1階のパンの販売機にうぐいすパンが有ったので、一つ買ってコーヒーで流し込んでから臨戦態勢。今日は Z[√(－d)]（d は square-free な自然数で d≡1,2 (mod 4)」での素イデアル分解の一意性をやりたくて、イデアルがいい底を持つとか、イデアルのノルムが何だとか、含むのと割るのが同値とか、素イデアルって素数っぽいよね、という定理などをやった。来週はイデアル類群だろうか？素数の分解がルジャンドル記号で分かるというのが先だな。面白くなってきた。含むのと割るのが同値、と書いたが I⊂J を J｜I と思い切って書いてしまうとスッキリするんだが。そもそも整数の整除を a｜b と書かないでイデアルを使って b∈(a) としてしまう本だから、止むを得ない。コメントすればいいこと。書いた通り話せば済んでしまう本より、少しツッコミどころやコメントの入れどころがある本の方がよい。

でその後部屋でちょっとゴソゴソと。明日の講義のことをちょっと見ておいたりとか。今日は7時からマンションの理事会があるので、6時に職場を出た。高速道路は渋滞してる時間だ、と思ったら全然渋滞してなかった。70km/h を時々割るのは混んでるのが原因でなく、小生の前を走ってるトラックがゆっくり走ってるだけだった。急いでないのでいいです。

で理事会には余裕で間に合った。いつもの通り諸々議題があって、2時間近く。住人に困ったちゃんが一人いるんだが、お一方強硬派の方がおられる以外は、皆何となく軟着陸させたがっている。管理人さんと管理会社の人の顔が曇っている。強硬策に出ていいと思うんだがな。他にもマンションの大規模修繕計画の件など。そっちに金が掛かるのは織り込み済みで、マンションの会社に我々が徴収された分をプールしてあるが、機械式駐車場の修繕も金が掛かるので、そっちはいいのか？というのが最近出来した。一戸建てに住むのより分譲マンションの方が気楽な面もあるが、こっちはこっちで面倒臭いな。かと言って、前住んでた賃貸マンションに住み続ける気は無かったので、いいけど。

ロクに物を食べてないので、カップ焼きそばを食して、何とか生き返った。その後ちょっと眠いので、寝床でウダウダとしてたら寝入った。「報道ステーション」の音声が聞こえてきて、「過ぎるTV」の音声も聞こえてきたが、まだウダウダと寝床にいた。で漸く起き上がってこれを書いてる次第。まあ特に書くほどのことは無いんだが、10月26日に何も書かないわけにはいかない。1998年の10月26日と言えば、横浜 Baystars 唯一の日本一決定日。その後 DeNA に親会社が変わり横浜 DeNA Baystars に成ってからリーグ優勝を一回もしてない。1998年は今の所 Baystars 唯一のリーグ優勝だな。一昨年のを日本一とはちょっと言いたくないので、Baystars が日本一に成ったのは一度だけだ。今年もリーグ優勝は出来なかったが、日本シリーズ優勝の可能性はまだある。さっき見たら、一昨年は1戦目有原、2戦目にモイネロにやられて、3戦目を東で取り返して勢いに乗ったのだった。今年の1戦目は有原と同じ Fighters から MLB に行って活躍出来ずという所が共通の上沢、2戦目がモイネロ、で明日の Baystars の予告先発は東。場所は福岡。吉兆だな。明日は4時30分まで講義後、4時50分から教授会。試合開始にまでに住処に帰り着くのは無理だな。また Tver でやるかな。途中まで見て、渋滞が収まる頃に職場を出て、続きを見るか。まてよ、Tigers との CS は1試合も見なかったら勝てたな。どうしよう？まあ状況次第ということで。

さっき寝床で「今日はガロアの誕生日」ということを Facebook に上げてる人がいて、何と小生のお袋はガロアの生まれ変わりか！と興奮して見たら1日前の投稿で、ガロアの誕生日は10月25日だった。残念。横浜 Baystars が日本一に成った1998年10月26日にはお袋の60回目の誕生日だった。数論の人は絶対忘れてはいけない日なのだが、お分かりか？この日に岩澤健吉先生がお亡くなりになった。10月27日に早稲田に行ってネットニュースを見たらそう出ていてビックリした。Wikipedia を今見たが、はっきりそう書いてある。大抵「～月～日にお亡くなりに成っていた」という感じで少し遅れて発表されるが、岩澤先生の時は全くタイムラグ無しで発表されていた。影響力のあるお方ということだろうか？「局所類体論」は読んだが、正直ちゃんと理解してるとは言えない。もう一回読みたい所。加筆英訳された本も持ってるが、Lubin-Tate 加群を使って相互法則を証明されている所は見事だと言っておられた方がいたので、そっちも読みたい。まあやることが無い時にじっくり読みます。

あ、明日は資源ごみの日だ。2週間経つの早いな。もう来週は11月だし。そりゃ薄ら寒くも成ってくるな。体調には気を付けないと。今日は時間が無くて一枚羽織らないで出掛けてしまったが、明日は少し余裕を持って出たいところだが、これからゴミの分別をしないといけないので、ちょっと遅くなりそう。まあそれは無くてもプロレスが終わるまでは大概起きてるんだが。ということでこれから一作業。

2試合続けて延長戦を落とすも、一昨年と同じ2連敗スタートでむしろ吉兆

ふなごやに着くと、店長がスマホに見入っていた。速報のアプリを見てるのかと思ったら、Tver で配信していると言っていたので、早速 Tver のアプリを起動する。先制されたが8回裏に牧のソロホームランが出て追い付いた。で初戦から延長戦に成ったが、競り負けた。残念。まあいいです。その後いつもの通り呑んで呑んでまた呑んで。ワインも呑んだ。で途中で店長が寝入ってしまったので、YouTube で下らん動画を見ながら呑んでいたが、グラスが空に成った。店長が寝ているのを幸いに、店長のワインをこっそり頂戴して、で店長が起きた後精算して終了。楽しかった。

で例によって夕刻まで寝ていた。目が覚めてスマホで野球の速報のアプリを見ると、今日は6時開始だった。危ない。で Uber Eats に先週キャンセルされた店の同じ料理をしつこく頼んで食べて、で観戦開始。何だかんだと2点リードされてしまったが、ピンチの場面で松尾の賢いバント処理で併殺打に斬って取ったり、度会のお粗末な落球でノーアウト3塁のピンチを作ったのを抑えたりと、見所はあった。で8回裏に2点ビハインドの場面で、筒香が逆転3ランホームランを打った。興奮した。こんな試合は勝たないと、と思ったが、9回表に出てきたレイノルズが代打山川に場外ホームランを打たれて同点にされ、10回表に伊勢が代走で柳田に代わって出てきた川村にバックスクリーンに叩き込まれ the end。2戦連続の延長を競り負けたが、むしろいい兆候。リーグでの成績が両チームとも全く同じ成績で、しかも一昨年と同じ横浜スタジアムでの2連敗スタート。しかも3戦目の先発は東が濃厚だが、それも一昨年と同じ。福岡で東で勝ったら、それはもう Baystars ファンは大盛り上がりさ。と言うことで、負けてよかったのだ。負け惜しみではないよ。Tigers が Baystars に完璧に負けていたが、それに比べると Baystars は Hawks にちゃんと喰らい付いてる。大丈夫、明後日以降は勝てる。

何か明日はうすら寒いようだ。一枚羽織って行った方がいいな。小生は Baystars と関係無く青系が好きで、明日羽織って行く予定の上着も真っ青。カズレーザーのように鮮やかに赤一色で、というのに比べれば負けるが。どうでもいいが、カズレーザーはキムチが嫌いらしい。くりぃむしちゅー上田に見た目が凄くキムチっぽいのにな、と突っ込まれていた。キムチな、暫く食べてない。すき家でキムチ牛丼でも食うか。王将でキムチ炒飯でもいいが。山科駅前の王将の Uber Eats のメニューにキムチ炒飯とニンニク激増し餃子が無くなってしまったので、仕方なく普通の炒飯と餃子にしてるが、時々京都東インター店が Uber Eats に上がってくることがあって、その時は必ずその二つを頼んでる。近い内に帰りに寄って食べよう。膳所店でもいいな。えーと、青い話ね。明後日は福岡を真っ青にしてやりましょう。Hawks 関係者の顔面も蒼白にしてやろう。頑張れ。

日本シリーズ開幕

「真田十勇士」が終わって暫くしてから横に成った。スマホをちょといじったような気がするが、記憶は曖昧。でそのまま12時間以上寝てしまった。疲れていたのだろう。で床屋に電話したらすぐにでも切ってくれそうな感じだったので向かう。途中マツヤスーパーの京都銀行の ATM で金を卸そうとしたが、暗証番号が違う、と二度拒否された。確か三回間違うと使えなくなってしまうので、冷静に成って暗証番号を思い出すことにして床屋へ向かう。戸ちゅう正しい暗証番号を思い出した。三桁目が違うな。床屋で払うには十分な額が財布に入ってる（何しろ旧千円札だけで5万円以上あるから）ので問題は無い。で野球の話やらテレビでやっていたラグビーやらの話で結構盛り上がる中切ってもらう。スッキリした。確か院試の前だったか直後だった以来の床屋だから、2ヶ月くらいだ。最後にドライヤーやら何やらを使って入念に髪型を整えてくれるのだが、小生結構癖毛で何十年も同じ髪型をしてるから、もう固まってしまっている。ちょっといじれば元の木阿弥に成ってしまう。熱心にやってくださるので、断るのも申し訳ないからやってもらうが。でちゃんとお金が卸せた。雨が降るようなことを言ってたので傘を持って行ったが、全然降る様子が無いので、DCM で一つ買い物のつもりだったが二つ買い物が出来た。ペットボトルの500ccくらいの飲み物も一本買って帰宅。

日本シリーズが今日開幕だが、6時半開始なので少々時間がある。ニュースを見たりして時間を潰して、で横浜スタジアムでの試合だから CS の TBS チャンネル2で放送があるのかと思ったら、流石に日本シリーズだけあって地上波でしか放送が無いようだ。TBS 系で放送があるとのことで、MBS（関西では4ch）に合わせる。解説は番長と工藤公康。番長は始球式で投げるらしく、一旦放送席を離れた。で6時半に時間通り開始。雨が少々降ってるらしい。台風の影響で関東は暫く天気が悪いようなことを言ってた。まあ今日、明日出来れば火曜日から3試合はドーム球場で出来るので、持って欲しいところ。先発は Baystars が石田裕太郎、Hawks が上沢。1回は両チームとも得点圏に走者が進んだが無得点。特に Baystars はノーアウト1、2塁でその後満塁としたのに併殺打でチャンスを潰した。監督として経験豊富な工藤氏曰く、日本シリーズでは特別なことをしないのが大事、だそうだだ、久し振り（2ヶ月以上）の梶原を起用して併殺打だから、ちょっと嫌な感じ。2回以降は両投手好投を見せている。が、今6回表だが、Hawks の栗原が2アウトから二塁打を打ちピンチ。柳田が打席だがさてどうなる？

などと書いてしばし。柳田を打ち取った。6回表終了で0－0。熱戦だ。どちらも CS では打ち勝ってきたチームだが、投手がいいとこういう展開に成るな。ふなごやが閉まってしまうので途中までしか見られそうにないが、スマホでチェックすれば成り行きは分かるのでいいです。勝ってくれよ。

位相に熱中してる内に寝るタイミングを失い、徹夜で講義だゼミだとこなしてきた

位相を鍛えよう、と始めたが、予想より遥かに鈍く成ってる。そもそも距離空間での開球が開集合であることも閉球が閉集合であることも示せない。位相は20年以上前に一度だけ講義をしたことがあるが、学生が何故代数の講義を専らにしている小生が担当する？と学生が不思議がっていた。別に位相空間は幾何の為にあるんじゃないんだよ、と言っておいたが、通じたか？で結構一からやり直して、で開基だ直積位相だとやりたいが、結局辿り着かなかった。開球を使って説明していることを近傍で書き直すとどうなる？開集合で書き直すとどうなる？とか結構楽しい。何とか開基に辿り着けないか、とやってる内に寝るタイミングを逸した。もうええわ、と適当にシャワーを浴びて、うな松の混む前に行くことして、10時半過ぎに草津に向かうべくスタート。

高速道路を下りて職場の前を左折して、で何やら渋滞している。昼の11時過ぎに道路工事で片側交互通行に成ってる。何故こんな時間にやるかな。ちょっと想定外だったが、まあ腹が減るのでいいことにして、苛々はしないことにする。11時10分過ぎくらいに到着して、いつもの通り名物一本鰻を食べてきた。LINE のお友達登録をしておくと、割と頻繁にクーポンが来るので、今日も200円安く食べられた。クーポンが無くても JAF の会員証を見せれば100円引きなんだが。

12時ちょい過ぎに個研室に到着。閉球が閉集合であることの証明は住処を出る前に出来たつもりだったが、職場でもう一度考えたら何かおかしい。寝不足だし冷静さを欠いてるな。d(x,y)≦d(x,z)＋d(z,y) は何の迷いも無く使えるが、d(x,y)≧d(x,z)－d(z,y) とか出てくるから訳が分からなくなるのだ。もう1時に成っていたので、中途で渋々講義室へ向かう。

どんどん受講生が減っていくが、気にせず始める。今日は代数的な元を二つ足したり掛けたりしても代数的、0でない代数的な元の乗法逆元も代数的とか示すのに色々準備。思いっ切り抽象的にやったが、実際に多項式を求められた方がいいよね、ということで具体的な計算もやって見せる。でそれから拡大 L/K と中間体 M を取った時に、「L/K が代数的 ⇔ L/M, M/K が代数的」を示すが、片方の implication は超自明。何の本でも「自明」、「容易」と書いて証明してないだろうが、ちゃんとやって見せる。「ごちゃごちゃ書いたけど、大したことやってないから。後で見といて」と言って逆を示す。こっちはちょっとトリッキー。時間が少々掛かったが、「こんなのは長い証明に入らないから」と言っておく。3回生だから来年度は卒研でもっと大変なことをさせられるだろうし、これくらいは何でもないと思ってくれないと。で代数的閉体を定義して、C が代数的閉体であることを事実だけ紹介して時間。来週は代数的閉包の存在と一意性を結果だけ話してから、…、と大分訳が分からなくなってきただろう。存在と一意性の証明を勉強して書いて web に上げようか、と思わないでもないが、位相を究めるのが先なので、今年もいいことにする。ゼミで色々嘘を付いたのを詫びて、正しい情報を学生に送りたいし。

が、その前にタップリ3時間強のゼミがある。寝不足だが大丈夫か？と思ったが、ずーっとちゃんと聞いてた。この前ディリクレの単数定理を示して、今日は総実な3次体とか Q 上素数次巡回拡大体の場合とかそういう時に単数がどうなってるか見るというのをやるのだが、重い。石田信先生の本でゼミをやるのは恐らく3度目だが、前の時はこんなに苦労しなかったと思うが。小生が真面目に聞いてなかったということだろうか。いけないな。今日は結構しつこく聞いたり時間を使ったりしたので、一箇所を除いて全部分かった。一箇所は学生とああでもないこうでもないとやったが、紛糾して埒が明かないので、そこは飛ばして先をやってもらって、で問題の箇所はもう一週間考えてもらうことにして、6時15分に終了。長い一日だった。

が、すぐには帰らない。高速道路が渋滞しているのでね。で位相の続きをやる。閉球が閉集合であることはすぐに示せた。やはり冷静なのが大事。それと全然違うことに脳味噌を使って、活性化されたのがよかったか。ついでに色々やって TeX 化してとかやってる内に8時に成ってた。帰ろう。

案の定大して渋滞してなかったので、サクッと帰宅。食事はカップ麺で済まそうということにして、待ったり食べたりしながら一昨日の「ミラクル9」を見た。面白かった。日本で一番漁港の多いのは北海道だそうだ。あれだけの面積だからまあ当然だろうが、2位は？と問われて、結構答が上がってたが、長崎だった。まあむべなるかな。海無し県は最初から除外されてたが、滋賀が入っていたのは琵琶湖の漁港を数に入れたということだろうか。面白かった。

で「報道ステーション」を途中から見たが、エンディングの時に言っていたが今日のトップニュースはゴジラ松井が読売 Giants の監督に就任というニュースだったらしい。もっと大ニュースがありそうなもんだが。PHP のセキュリティーホールのニュースはどうした？学内のホームページ類も PHP 使ってるんだろうか？小生のホームページは html  べた書きだから、まあ心配無い。少し前までは TeraTerm 起動させてサーバーにログインして、emacs（mule?）で直接ソースを編集してたが、それを許してくれなくなったので、ftp ソフトでソースを全部ダウンロードしてある。更新する時はそれを書き直して ftp ソフトで upload とやってる。鬱陶しくなった。いいけど。

「探偵！ナイトスクープ」が終わったら寝ようと思っていたのだが、その後に短い番組を一本挟んだ後のドラマ枠で「真田十勇士」が始まるらしく、見ることにした。真田ものは面白いからね。ふなごやの店長が Amazon Prime か何かで大河ドラマ「真田丸」を集中して見ていたようで、「見始めた」と言ってた次の週には「もう半分越した」、次の週は「見終わった」と、50話もあるドラマを2週間ちょいで見てしまうというのでも真田ものの面白さは知れよう。というわけで1時半くらいまでは起きてる。明日は床屋に行きたいので、程々に起きる。雨降りらしいが仕方ない。2ヶ月くらい行ってないから鬱陶しい。行くぞ。

織田翔希を Giants が強行で1位指名してビックリ

昨日書いた通り今日はトヨタに行った。12時くらいに起きればいいと思ったが、10時半前に目が覚めた。アニメを見ないで寝てよかったか。が結局時間があるので、録画してあったアニメを見た。昨晩見て寝て、今朝遅く起きたのと結果としては同じだが、まあいいです。でトヨタに行って、諸々手続き。結構時間食った。

職場に着いたのは3時過ぎ。4時40分からゼミで、今日からイデールに突っ込む筈なので、ちょっと事前に付け焼刃で勉強した。が、全然勉強が足りなかった。イデールに位相を入れるが、そもそも直積位相が分かってない。でうっかり直積位相の定義として「箱型積位相」の定義を言ってしまった。まあ制限直積にする分には関係無いからいいけど。でもやっぱり開基がよく分かってなくて、3人揃ってああでもないこうでもないと、大分混乱した。結局1ページくらいしか進まなかったが、まあいいでしょう。来週までに位相を鍛えておくことにする。

で8時ちょいに終わって6階に下りる（ゼミは7階でやってる）と、またぞろ宴会をしているのが聞こえてきた。星君が来たのってもう1週間前か。早いな。まあ先週は土曜日に数物会があったし、昨日は処方箋を書いてもらいに職場に行ったから、いつもより忙しかったのは間違いない。明後日は床屋に行きたいから、明日も早目に寝よう。講義の後6時過ぎまでゼミだから結構疲れる筈なので、夜はすぐ寝られるでしょう。

今日はNPBのドラフト会議。横浜高校の織田翔希はMLBを目指すかアメリカの大学で鍛えるかどっちか、と表明していたが、読売 Giants が強行で単独指名。うん、まあそれに関してはとやかく言うつもりは無いが、織田君は自分の信じた通りにしましょう。大谷翔平（奇しくも「翔」が入ってる）も Fighters の強行指名に難色を示していたが、結局は栗山英樹という理解のある人の指揮するチームだったので、二刀流の基礎をしっかり作ってアメリカに行けた。どっちに目が出るかは神のみぞしるということでね。

強行指名を断った例は幾つもあって、例えば元木大介が Hawks を頑として固辞し1年後に Giants に入った。菅野智之は Fighters を断って Giants に行ったが、元木は期待ほど働かなかったという感じだが、どうですか、ファンの皆様。菅野は Giants に入って成功したが、もう一人忘れられないのは小池秀郎。野茂に並ぶ8球団からドラフト1位指名も、絶対行きたくないと言ってたロッテ Orions（まだ川崎にいる頃で、千葉ロッテ Marines ではない）が籤を引き当て、絶望したような表情が映し出されたのは未だに忘れられない。ロッテ球団は指名しないでおこうとしたらしいが、金田正一監督（所謂カネヤン）が強行せいと指示したとか。ロッテは何度も説得行ったが、結局翻意せず社会人に進んだ。でその後近鉄 Buffaloes（まだ「大阪近鉄 Bufalloes」ではない時）に入って、一度は15勝で最多勝こそ獲ったが、まあ期待ほどではなかった。どうなるか分からないよ。Baystars 関係の話だが、ドラフト下位で指名された佐野、宮崎、祐大（もういないが）は凄く活躍している。ドラフト下位からで活躍した選手は枚挙にいとまがない。上位だからと言って未来が約束されているわけではないのだ。小園、というと Carp にいた（いた、というのが悲しいが）が有名だが、Baystars にも小園はいた。ドラフト1位で入って、番長の後継者ということで背番号18を背負ったが、1軍では1勝しか出来ず、この前戦力外通告を受けた。（それでもファームの日本選手権に帯同し、登板してくれたのは有難いが。）だから織田君もね、自分に正直にいくのがいいでしょう。受験生もそうだが、希望の所じゃなくてもいいことはあるのでね。自分で心を閉ざすのが一番良くないと思う。まあ小生のように、第一志望の大学に入れて、で割とちゃんとした所に就職出来たものが言ってもあまり説得力は無いが。第一志望でも不満を持つ人はいるから。しつこいけど自分の信じた通りにやりましょう。

結局代数的閉包の存在と一意性の証明を読んでないな。まあいいや、また今度やる。

保健センターに滑り込みセーフ

保健センター行の日だが、またしても起きたら相当遅い時間。シャワーを浴びる間も無く、脱兎のごとき出立。勿論スピード違反はしないよ（いや、まあ、誤差の範囲内ではしてるかも）。で何とか受付終了前に着けるだろうとなったが、学内を長時間歩くと間に合わないかも、とウェストウィングの近くに停められる場所があることを願って向かうが、またしても身障者用のスペースに停める羽目に成った。人間身勝手に考えるもので、「他にも同様の場所があるからいいじゃねーか」と思ってしまう。余裕があったらもう一回別の場所を探すが、余裕が無かったので。許してください。で血圧は少々高目。慌てていたからかもな。

その後部屋で少々数学。ちょっと整理出来たことがあったんで、その続きを。まあまだ論文に出来る程ではないが。他に幾つかしたいことがあったが、時間の関係で断念。処方箋の受付は8時までなので、7時くらいに個研室を後にする。身障者用のスペースに停めてると警告書がワイパーに挟まってることがあるが、今日は無かった。ただコーンが運転席側のドアの前に置いてあったのは、警告書の代わりか？それとも義憤にかられた自称「警察」が意地悪で置いたのだろうか？今後は気を付けます。で渋滞してない高速道路を通って、無事薬を受け取って今日の任務は終了。

ちょっと途中で閃いたことがあったが、勘違いだった。mod 8 で 5 と合同と仮定しなくてもそう出てくるのに、仮定していると思い込んでいた。が、もう一つ mod 8 で 5 と合同と仮定して示していた所があったが、そこで追加した別の仮定「基本単数のトレースが奇数」を仮定しなくてもいい気がしたが、それも勘違いだった。上手くいきそうにない。これ元々はある論文で証明されていた結果だが、そこではトレースが奇数と仮定してないのに証明を読むと仮定しているように見える。m∈N が square-free で m≡5 (mod 8) である時、Q(√m) の基本単数はトレースが奇数な時が多いが、時々偶数に成る。m＝37 が最小の例。これのお陰で論文が書けて学位が貰えたから、忘れるわけがない。ネタ元の論文は m＝29 までしか確認しなかったか？実験したが、トレースが奇数と仮定しなくても成り立ってそうなので、何とかしようと昔格闘したが上手くいかなかった。もう一回格闘してみるか。あ、明日は1時半前にトヨタに行かないと。ゼミは4時40分からだが、あまり遅くまで起きていられないな。まあいいか、職場に早く着けるということだから、その後に考えるか。水曜の深夜は変なアニメがあって気に成るが、録画しておくか。例によってケーブルテレビのチューナーのハードディスクはカツカツなのだが。「相棒」が今日始まったが、Blu-ray のディスク直録りした。明日の「ゴチバトル」はハードディスクに録れるが、日曜日の大河ドラマは無理。明日はゼミが終わるのは8時（20時ね）だから、早く帰ってこられないので、今日の「ミラクル9」を見ることは出来ないな。大体金曜日は訳の分からない時間まで起きてるが、今週は床屋へ行きたいので、程々にしておかないと。日本シリーズも始まるしね。ということで色々悩ましい数日間である。

moodle＋R で作業するのに全然慣れなくて、うまくいってる自信が全く無い

はま寿司で牡蠣フェアをやってるから、昼飯をはま寿司で済ませて職場へ、のつもりが起きたのは1時半くらい。シャワーを浴びて出掛けるとはま寿司に寄る時間は全く無い。寝癖ボーボーだからシャワーで直さないわけにはいかない。ということではま寿司は諦める。職場に着いたのは2時半くらいで、生協で弁当を買って食すくらいの時間はある。で買おうとしたら、電子マネーの残高不足。現金は持ってるので大丈夫だが、何やら手間取った。土曜日に数物会のため職場に行った時に、「立命館大学正門前」のバス停で4人くらい降りていった（一人は慌ててその後についていった）が、その際にクレジットカード式だか何だかの交通系ICカードで降りようとして、運転手さんにカード対応じゃないから現金で払って、と言われていたが、現金を1円も持ってないらしい。「今回はいいけど、帰りも乗れないよ」と言われていたがどうしただろうか？現金は持ってないといけないよ。充電が切れたらどうにもならないし、スマホを落としたらどうするつもりなのだろう？多分誰の電話番号も覚えてないのだろうし、公衆電話は使い方を知らないだろうし。現金無しではタクシーで帰るというわけにもいかないだろうし。現金は携行しましょう。

2時55分から大学院向けの講義。先週は終結式と判別式の関係を行ったところで時間に成ったので、今日は2次式の判別式と3次式の判別式の話。X³＋cX＋d の判別式くらいは覚えておきましょう、と言ってから代数体の判別式に突っ込む。自由アーベル群の話をちょっとして（証明は抜き）、代数体の判別式が well-defined なことを示してから、幾つか計算して、それから判別式に関する定理を幾つか証明抜きで紹介。判別式≡0,1 (mod 4) とか符号が (－1)^{r_2} であるみたいな易しい話はちょろっと雰囲気だけ話して、それから Minkowski の判別式の評価の話（とても大変だと言っておく）、L/K が代数体の有限次拡大の時の L と K の判別式の関係（相対判別式も共役差積も定義してないから、商がどんな値に成るかは話せないが）などを話して、で既約元分解が一意でない場合がある話をしたいが、その前に U.F.D. の話をちゃんとした方がいいということで既約元がどうしたとか素元がどうしたとか話したら時間に成った。

その後部屋で講義ノートを moodle＋R にアップする作業をやろうと思うが、その前にメールを見たら、卒研配属関係の仕事を野球にかまけてサボっていて、それに関する問い合わせがあった、と連絡があった。その作業をまずやらないと、と始めるが、moodle＋R の使い方にまだ全然慣れてない。春学期にレポート出題、回収、採点をしたが、それは何とかなったが、どうやったか皆目思い出せず、教務支援に関する web ページを見て悪戦苦闘。上手くいった保証が全然無いので、配布するものだけ別にページを作って置いておいた。こっちは大分慣れてきたので大丈夫だろう。提出締め切り間際に成って「提出出来ないぞ！」とか、その後に「時間までに提出出来なかったぞ！どうしてくれる！」という趣旨のメールが来たら怖い。不安だ。

それから講義ノートを上げる作業。こっちは流石にもう慣れた。それからちょっと昨日の晩悪戦苦闘してやった数学を整理して。この方が生産性があって、気持ちも上がるし充実感がある。事務作業は嫌だ。8時半過ぎに職場を出た。

はま寿司が昼でないといけない理由は何も無い。南草津のはま寿司は深夜までやってるし。ということで晩飯ははま寿司にした。タブレットのメニューを見て注文するという今風の方法だが、一ページ目に「牡蠣にぎり もみじおろし乗せ」というのがあったので頼むが、二ページ目にシンプルな牡蠣にぎりがあった。何だ。まあ100円だから、ページをめくってる内にもう一度出会ったら頼もう、ということにして適当に頼んでいくと、案の定出てきた。ということで頼んで食べて、大体2000円くらい。昼が遅かったからかいつもより少々安く済んだ。で国道一号を一路山科へ。途中膳所の辺りでガソリンを10リットル給油して帰宅。職場でちょっと探していた本が見付かったので、出ていて欲しい結果は出てるか？と思って帰宅後開いたが、出てない。うーん、p が p≡5 (mod 8) の時、x²－2py²＝－1 が自然数解 x,y を持つこと（同じことだが Q(√(2p)) の基本単数のノルムが－1であること）の証明がちゃんと出てる洋書なり論文なり見付けたいが。日本語だと高木貞治「初等整数論講義」に出てるが、論文に T. Takagi “Lectures on elemetary number theory”（in Japanese）」と書くのは嫌だ（in Chinese って書いてたり in Russian と書いてる論文は結構ある）し、Nagell の “Number Theory” には演習問題として出ているが、証明、解答は付いてないので引用しずらい。まあそこのこと以外にもちゃんと整理出来てない部分がかなり多くあるので、急がないしゆっくり探そう。

先週の水曜日は卒研ガイダンスの仕切りをしないといけないので職場に行って、土曜日も行ったので6日連続だった。明日は保健センターに行く日なので、今週は5日間職場に行く。火曜の晩は呑むことにしているが、今晩は呑みは無し。程々に寝る。血圧測るし。受付終了は3時半だから、まあ今日と同じくらいに起きればいいので、大変ではないが。あ、明後日はゼミが夕刻からなのだが、トヨタに1時半までに行く用事があった。何か夜更かしできないと感じが狂うな。土曜は床屋に行きたいから金曜の晩も呑めない。まあ土曜日から日曜日に掛けて呑むので、金曜の晩はいいけど。何かとっても暑いようなことを言ってた。今までで一番遅い夏日がどこだかで観測されるらしい。去年は9月に成ってもずーっと暑かったが、今年はそうでなくてホッとした筈。10月にまた暑く成るとは聞いてないぞ。明日は半袖かな。

ellheegner コマンドで求めた有理点は案の定ある点の3倍だった

早目に寝るつもりでいたが、2時55分までに職場に行けばいいという甘えから、つい起きていてしまう。「おはよう朝日です」を途中まで見たが、思ったより暗くなかった。まあリーグ優勝はしたわけだし。リーグ優勝を Giants にかっさらわれたりしたら酷かったのかもしれないが。ということで変な時間まで起きていたせいで、起きたのは相当遅かった。栗東にボストンコモンという Baystars ファンの大将がやってるステーキハウスがあって、Baystars ファン貸し切りの会が時々あるが、何度か行った。滋賀なのに不思議な所だ。そこは凄い所で、去年は三嶋一輝氏が来たそうだし、数年前は何とボビー・ローズが来たそうだ。で今日はそこで昼飯を食べるべく早起き、の予定だが完全に狂って、ウェストウィングの一階のパンの販売機で1個買って齧るだけの時間しか無かった。まあゼミだけで体力は使わないからいいでしょう。

で何とかゼミに間に合った。今日は整数環が Z[√(－d)] の形でない虚二次体とか、実二次体の整数環の例として Z[√2] とか。単数が無限個あるという何だか判じ物みたいなこととか。p＝a²＋2b² なる a,b∈Z が一個でもあったら無限個ある、というのをぐちゃぐちゃ計算して示してあるが、ノルムが p の元とノルムが1の単数を掛けたものが全部そうなので、無限個ある、という方が見通しがいいとおもうが、と毎年思う。ということでそう話しておく。で類数が1でない虚二次体の章に突入。分解が一意でない例はここ数年沢山例を見付けた。27＝3³＝(1＋√(－26))(1－√(－26)) みたいに立方数なのに square-free みたいな顔をした奴とか、30＝2×3×5＝(1＋√(－29))(1－√(－29)) みたいに因子の個数が違う奴とか色々気味が悪い。こういうのを知っておくと面白いよね。来週はイデアルがいい整数底を持つ話とかイデアルのノルムとかやるようだ。素イデアル分解の一意性まで行くかな？順調でよろしい。

夏休みは住処のパソコンで有理点探しをしていた。何日も何週間も掛かるものを職場のパソコンにやらせると、経過を見に行かないといけない。8月、9月は暑いので外出したくないし、行っても結果が出てなくてガッカリ、ということが考えられるから、住処のパソコンでやっていたのだが、秋学期は週に4日以上職場に行くから、別にやらせおいてもいい。ということで前に見付けたのの追試をしているのだが、今日見付かっていた（74時間強）ものは、Magma Calculator の Generators コマンドで一瞬で生成元が見付かっていた曲線を PARI/GP の ellheegner コマンドで見付けさせよう、ということでやっていた。が、これは実は問題児。Magma Caculator で見付かった点の height と ConjecturalRegulator で求めた値に9倍の差がある。ellheegner コマンドでは正しい生成元と height 9倍の点（点としては3倍された点）のどっちが出る？と思ったら3倍された点が返ってきていた。今まで見付けたのもそうなってる可能性は大。ということで ellsaturation(E,[P],100) くらいは全部試した方がいいな。今日求まった奴でやったら、ちゃんと三分の一倍点（そんな用語があるか知らんが）が返ってきた。コンピューターが返した結果を盲目的に受け入れてはいけないな。最近の人は何かと AI に頼っているが、最後は自分で判断せあかんえ。ellsaturation だけでなく、小さい素数 p で 1/p  倍点（だからそんな用語はあるのか？）があるかどうか確認して、log height（Weil height？）と canonical height の差を求めて（SageMath で簡単に出来る）、で地味な方法でlog height が求まった bound 以下の点が無いことを確かめよう。まあ結局コンピューターに頼ることには違いないが、何も分かってないのと少しでも手触りでやるのとは違う。ということで明日からやる。

今週も水曜日に職場に行かないといけないことに気付いてしまった。二か月に一回の保健センターの日。先週は6日行ったし、今週は5日。よう働いた。床屋に行きたいが、土曜まで無理だな。映画も行きたいが、土曜日から日本シリーズだし。何故6時半開始何だろうか？6時からやって欲しいが。CS でやってる「プロ野球ニュース」は通常は23時からなのだが、日本シリーズ中は30分開始を遅らせるそうだ。まあいいです。土曜日は途中で呑みに出るし、日曜日は夜なら二日酔いでがっつり寝込んだ後でも見られる。ということでまだまだ忙しいです。事務の人にメールを書かないと。今日は数物事務室は全日閉めると言ってたから、今日書けばいいと思って放っておいた。これを書き終わったらメールを書く。ということでもう一仕事。

昨日は数物会で懐かしい人と沢山あったり、Baystars が日本シリーズに進出決定など、楽しいこと多数な週末だった

昨日の話から。昨日は BKC で「数物会」という名の数理科学科、物理科学科合同のOB会があった。小生が来た年は「数学物理学科」という名前の一つの学科だったので、OB会はそういう名前に成ってる。小生は1年だけ数学物理学科所属だったわけで、2年目からは数理科学科所属に成った。2時開始で、酒の席もあるので、ちゃんと寝ておかないと、と思ったが、つい金曜日の晩は変な時間まで起きていてしまう。で更に全く生産性の無い蟻地獄に嵌って、結局寝ないで行った。が、最初の1時間は数物会総会というやつで、会長の挨拶とか事業報告とかそんなのだった。筆記用具を持っていけば内職が出来たのだが、生憎忘れた。仕方ないのでスマホで野球の状況を見ながら時間を潰した。1回表に早速先制したが、1回裏にすぐ1点取り返された。Tigers は4試合目で初めての得点。山科駅で買ったペットボトルのお茶を電車、バスの中で少しずつ飲んで、数物会の会場でも少しずつ飲んでたが、カフェインを摂取すると近くなるものがあるので、ちょっと会場から離れたが、ロン毛の兄ちゃんが声を掛けてきて、誰？と思って向こうが名乗った。おぉ、ずいぶん昔のゼミの学生（修士課程まで行った）だった。当時は短髪だったので、全然印象が違って分からなかった。用を済ませてしばし立ち話。暫くしたら彼の同期の奴が現れて、3人で立ち話。小学校教員は大変だったようで、退職してほぼ無職状態だと言ってた。何の仕事でも苦労は絶えないね。一旦休憩に成ったようで、彼の同期がもう一人現れた。そいつとは2年くらい前に呑んだ。

で3時から荒井正治先生の話が始まるので、部屋に戻って、話を聴講。昔話が大変面白かった。昔は「15週」講義をやればよかったが、今は「15回」に成った。意味分かりますか？小生はすぐには分からなかった。成程。一つ分かったのは、小生と荒井先生はどちらも43年1月生まれということ。小生の43は昭和で、荒井先生の43は1943年。丁度25違うということだ。小生は31で立命に来たが、その時の荒井先生は56歳。何と今の小生より若かったのか。貫禄がおありだったな。

その後ナデシコ食堂（という名前の食堂が学内にある）で懇親会。呑み食いしながら何人かと話して、で料理を取りに移動すると、背の高い人がいたが、名前を見たらすぐ誰だかわかった。立ち方の特徴が確かに彼だ。Dp君の同期生だが、Dp君は教頭先生、彼は教育委員会だか何かに出向だかしてると言ってた。彼らの学年で一浪した学生は小生の12学年しただから、46歳か47歳。まあそれくらいの歳に成ると出世する人はするでしょう。で話し込んでたら去年物理科学科に来た先生が料理を取りに来た。ちょっと関係があって彼のことを知っていたので、話し掛けてみた。向こうもこっちに覚えがあったようだ。楽しくなさってるようでよかった。その後いつも話し掛けてこられる元高校教師の方と、さっきの背の高い彼と3人で話して、そうこうしてるうちにお開きに成った。宴席なのに学生のポスター発表があったが、全く見に行かなかった。申し訳ない。

途中チラッと野球を見たが、9回表で1点リードされている状況だったが、その刹那 Baystars に2点入って逆転。おっ！ウェストウィングに寄ってもよかったが、USB メモリーの入った筆箱を持ってこなかったので、駅に向かう人達と一緒にバスに乗った。Tigers ファンの人から怒られた。Baystars は9回表に4点取ったようだ。嬉しい。

住処に戻ってちょっと仮眠。ふなごやの閉店前に行けるように土曜の夜の変な時間にアラームが仕掛けてあるが、それで起きた。でちょちょっとブログを書いて、お土産にもらったお菓子を持って出発。店に入ると同時に「申し訳ない」と言ったが、店長は Baystars は強かったし仕方ないです、と寛大なお言葉を言ってくれた。Giants に負けた場合はそうはいかなかったろうが。バイトの人はメニューの改訂作業が済んで帰られたようだ。小生が「来週は来ないかも」と先週言ったので、来ないと思っていたらしい。が、呼びましょ、と提案して、ワインを開けようとした刹那に入ってきた。やはり Tigers ファンなので、「申し訳ない」と言っておいた。でいつもの通り話が言ったり来たりするが、この前 Tigers がリーグ優勝を決めた日は逸れてもすぐ Tigers の話題に成ったのと同様、Baystars が CS を制した話に何度も収束した。で適当な時間にお開きに成った。例によって途中からあまりよく覚えてないが。

セブンイレブンで水を買って、帰ってきてぐびぐび飲んでる内にダウンしたようだ。超寝不足だったので、何度も目が覚めたが、夕刻まで寝ていた。電話が鳴って、見るとトヨタからなので出た。で起きて、昨日の「蟻地獄」の続きをしながら時間潰し。飲みかけの水のペットボトルがカレーの風味がしたが何故？と思って思い出した。セブンイレブンで一緒にカレーパン（完全めしのやつ）を買ったのだった。その辺に袋が落ちてた。で5時過ぎに Uber Eats に麻婆飯と餃子と唐揚げを頼んで、「蟻地獄」をやって暫くして見たら、店からキャンセルを食らっていた。もう。餃子を食べたい舌に成っていたので、王将メニューを頼むことにした。6時過ぎに届いて、それから一昨日と昨日のプロ野球ニュースを見た。どちらも勝つのが分かっているので、楽しく見られた。昨日の試合は森下にホームランを2本打たれ、二桁安打を許したから、昨日負けていたらどうなったか分からない展開だった。Tigers は神宮にイニング跨ぎで投げさせて大ピンチを作ったり（その時は無失点だった）、工藤を8回から投げさせて9回に打たれたりと、球児監督の勘（昔はよく「勘ピューター」という言葉が使われたのを思い出した）が鈍かったということだな。Tigers は1戦目から3戦目まで27イニング無得点だったが、それは Giants の25イニング無得点を大きく上回る結果で、Baystars の CS での6連勝は初だと言ってた。勢いに乗った Baystars は怖いぞ。待っとれ Hawks。今年の Baystars、Hawks のシーズンの成績は一昨年と全く一緒で、Baystars が CS 優勝を決めた日も2年前と同じ10月17日らしい。更に日本シリーズの初戦が横浜スタジアムというのも同じ。「安心理論」でいくと今年も日本シリーズ制覇だな。一昨年も書いたが「日本一」とは言いたくない。さあどうなるでしょう？24日（土）開幕。楽しみだ。短期決戦は長丁場のシーズンと違うのはこの6試合で証明した。今年も強者をぶっ倒してやりましょう。

「プロ野球ニュース」を見てて思ったが、短期決戦はラッキーボーイと裏ラッキーボーイが必ずいる。Baystars はルーキー片山が7回2安打無失点の快投を見せたり、シーズン中一本もホームランを打ったことのないルーキー成瀬が勝ち越しの2ランホームランを打ったりと、去年までいなかった面子がラッキーボーイだった。昨日は林が代打でダメ押し点をあげたが、林は宮下、成瀬とルーキーにショートのポジションを奪われたので必死だったのだろう。Tigers の裏ラッキーボーイは佐藤と近本だったな。2人とも殆ど打てなかったし。事前のミーティングで相手を洗い出すのは Baystars の得意とするところだが、Hawks には祐大がいる。Baystars の投手陣のことは何でも知ってる。いや、そうでもないな。片山が出てきたのは祐大が移籍した後だし、7勝をあげた尾形は祐大とのトレードで来たわけだから、勿論何も知らないだろう。ということでどうなるかは全く未知数。楽しんで見ましょう。

やった！

今日は色々あって書きたいことが多いが、やった！明日以降に詳細を書く。とりあえずこれからお詫び行脚。いや、一軒しか行かないから行脚じゃないか。卒業生に沢山あって、お菓子を貰った。学生の溜まり部屋用の大きい奴を職場に置かないで持って帰ってきてしまった。小生用の小さい奴を持っていく。嬉しいけどお詫びから始める。もう一回書く。やった！

佐野の3ランと牧のソロホームランに依る4点で勝利（3試合連続完封勝ち）

寝ないといけないと思うんだが、キリが付くまでやってしまいたくなり夜更かし。いや、数学をやってるならまだ充実感はあるが、しょうもないことをやっているので、馬鹿臭い。まあいいけど。で起きて、11時半を大きく回ってから出発。遅く着くと外で弁当は殆ど売ってない。まあ店にしたら数個残ってても廃棄か従業員に無償で食べさせるんだろうから、1個買ってあげれば協力には成るだろう。ということで買って、個研室で食べてから1時過ぎに講義室へ向かう。

先週より大分出席者が減っていたような気がするが、卒研ガイダンスを聞いて、自分のやりたいことに体論は要らないと悟ったのだろうか？気にせず始める。今日は代数的な元を一個添加した拡大体の構造定理と、最小多項式であるのが既約であることを判定することにより分かるとかそういう話。大学入試問題を箸休めに話せば興味を持つ学生はいるでしょう、ということで、昔九大で 2cos(π/9) を根とする Z 係数の3次多項式を一つ求めて、それから 2cos(π/9) が根である Q 係数の2次多項式は存在しないことを示せ、という問題について話しておく。大学入試だと色々ウルトラCを使って示さないといけないだろうが、体論を知ったら既約であることを示せばよい、そしてそれは瞬時、ということを言っておく。代数的な元が分母にあると有理化出来るとかも。京大が変な問題出してたからね。でそういったことをやってから、拡大が代数的とか超越的とか定義した辺りで時間。来週は代数的な元の全体が四則演算で閉じてるとか、代数拡大の上に代数拡大を乗せると代数拡大とかその逆とかやって、で代数的閉包の節に突っ込む予定だが、大分訳が分からなくなってくるだろう。まあ代数的閉包の存在と一意性を示したとしても、よく分かるということはないだろうから、今年も証明略で。気分が乗れば証明を書いたものを moodle＋R に載せていいが、まあやらないな。例年大体色々やることがあってやってない。一回やっておけば使い回し出来るので、やっておけばいいんだが。ベクトル空間の基底の存在も、有限次元と仮定しない場合の証明はほぼ全員知らないだろうから、これも載せておきたいが、結局やってない。まあ残り数年だ。やらなくていいや。

ちょっと休憩を挟んでゼミ。この前ディリクレの単数定理の証明が完成したので、今日は単数規準とかやって、それから実二次体の単数の話。ここは話すことが幾らでもある。マニアだからね。その後総実でない三次体の単数に関するアルティンによる結果の話。何度も聞いているが、未だによく分かってない。まあ何か高校数学みたいなことを使って示せる、というのは知っているが。でそれを使って基本単数を求める話が書いてあって、でそれをやったあたりで6時くらい。6時15分終了だからそこでやめてくれた。

それからちょっと考えていたことの整理。少しスッキリした。論文に出来るだろうか？何か最近論文を出してもらった雑誌が小さい jorunal に成ってる（いや、あの雑誌（どれ？）の悪口を書きたいわけではない）ので、今度のはちゃんとしたいが。結果の傾向ははっきり出ているのだが、どう証明していいか分からない。Z 上でやってる人は方程式を変えても Z でやってることには違いないのでどうにかなるのかもしれんが、実二次体の整数環でやると類数だったり単数だったり色々困難があるし、Z では隣の元まで大きい隙間があるからね。まあもうちょっと出来る範囲でジタバタします。

などとしながらチラチラと野球の様子をうかがっていたが、またしても Baystars がリードしている。佐野に3ランホームランが出たようだ。Tigers は佐藤、森下がスタメン落ちとか。Baystars の先発のドラフト4位ルーキー片山が殆どヒットを打たれてないようだ。帰って NHK BS で野球を見ようか？とも思ったが、ちょっと数学のキリが悪いので、8時20分過ぎまで色々やってた。信号待ちの時に見たらもう1点入ってる。牧がホームラン。好調だね。で四宮まで来たらもう9回裏で、住処に着いたら終わっていた。Tigers 相手に3試合連続完封リレー。凄いな。ただ片山がヒーローインタビューであと一つ勝たないといけないから、油断せずにいくという趣旨のことを話していたが、大事。一昨年のことはあまり覚えてないが、Giants 相手に勝ちを重ねた後反撃を食らって大変だったようだから、浮ついてないのはいいこと。日本シリーズでも小生の生まれた後でも3連勝の後4連敗というのが二度あったし。明日は数物会のOB会に出世することに成ってて、野球はデーゲーム。見られないな。まあ明日決まってその後見られないのはいいので、一気に決めちゃってください。数物会の懇親会が終わった後どうなるかによるが、明日のふなごや行はないだろうから、文句は言われないで済む。決めちゃってください。

パ・リーグは Hawks があっさり3連勝。シーズン中から Fighters は Hawks に全く歯が立ってなかったし、しかも場所は苦手の福岡（今はみずほ PayPay ドームというらしい）。まあ仕方ないな。そんな Hawks を Baystars は一昨年コテンパンにやっつけた。今年も是非。因みに2年前と今年の Baystars、Hawks の成績は全く同じらしい。これは下克上アゲインか？とネット民は盛り上がっている。正夢にしましょう。

星君（新潟大）と話してる間に牧のソロホームランに依る1点で決着が付いていた

寝ようと思うと何かやりたくなる。でまたしても「おはよう朝日です」が始まってしまい、そこから暫く見てしまった。で起きたらもうゼミが始まる時間。「遅れる」とメールを書いて、急いで出発。夕方だから、ウェストウィングの割と近くに停められるので、まあそんなに遅れてない、とは言えないくらい遅れていたが。急いでゼミ室へ向かう。

今日は位相群の話ばかりで、開近傍がどうしたとかそういう話ばかりだった。位相群の部分群ん閉包はまた部分群に成るが、ちゃんと証明してた。自分で証明を考えたなら凄いし、何かを調べて喋ったとしてもちゃんと消化していた立派。皆やはり位相はそんなに得意でないようで、今日も早目に終了した。遅れて行かなかったらもっと早く終わったということだが、いいです。イデールに入ると大変だし。来週から本格的にイデールをやるようなので、勉強しておかないと。大昔に勉強したが、実は類体論を使う時はイデアルを用いた形式化の方しか用いたことが無いので、イデールはほぼ完全に忘れている。ゼミで使ってる本をもう一冊買って、職場と住処に一冊ずつあるので、どこでも勉強出来る。

でその後談話会室控室でやってる宴会に顔を出す。いつもは「ああ、またやってはる」と思って顔を出さないが、今日は新潟大学の星明考君が講演者の一人だったので、話はゼミの裏番組なので聞けなかったが、まあ話はしておこうと。でその後タップリ話した。内から他の大学に移った人とか、結構御大の方ととか。世間は狭いもんで、御大の話してることが室蘭工大の森田英章君の話に近いような感じなので聞いたら、よく知ってると言ってた。森田君は小生星君と同じ横浜の出身で、去年鹿児島で聞いたら星君と同じ高校（つまり小生の兄者と同じ高校）だと言っていたので星君に教えたら、森田君と面識は無いようなので、是非新潟のセミナーに呼んであげて、と言っておいた。で何だかんだと話していて、皆さん10時40分の終バスで帰るようで、10時半くらいにお開きに成った。

その後ココ壱番屋でカキフライカレーを食べて帰宅。今さっき着いた。楽しかったが、やろうと思っていたことが出来なかった。まあいいです。明日やる。いや、明日は早目に帰ってきて野球を見ようか？金曜日は6時ちょいまでゼミだから、7時に職場を出ようかな。もう帰宅ラッシュは一段落しているし。展開次第だな。昨日は2－0で勝って、今日は牧のソロホームランでの1点差で勝った（1－0ということね）。明日勝てば一気に日本シリーズに立直だ。是7時の時点での点差で今朝遅くまで考えていたことを TeX 化しに遅くまでいるかどうか考えよう。

明日は1時10分から講義だから、今日はちゃんと寝ないと。「アメトーーク！」が終わってから先週の「座王」を見て寝よう。今日の「プロ野球ニュース」の録画を忘れないようにしないと。パ・リーグの今日の決着の仕方が凄い（2－2の同点から9回裏にサヨナラ満塁ホームラン）だから、こっちも見たい。ホームランは怖いね。まあ一遍に点が沢山入るのと時間制じゃないのが野球の面白い所だ。明日はどうなるでしょうか？

卒研ガイダンス無事終了（Baystars は Tigers に勝って1勝1敗のタイ）

今朝は8時半と9時に目覚ましを仕掛けておいたが、7時半くらいに目が覚めてしまった。買っておいたカップ麺をすすって腹ごしらえをしたが、やはり眠くて、もう一度30分くらい寝た。10時ちょい前にチェックアウト。個研室に一旦入って、11時過ぎに弁当を買いに出る。プリズムハウスの売り場に近付くと「11時30分～1時30分」と成っていて、無駄足かと思ったが、フライングで売り出す店が2軒あった。文句も言わずに買うんだけど。

何故泊まったかと言うと、12時25分からの卒研ガイダンスを仕切らないといけないから。いや、止まるほど早起きではないだろう、と言われるだろうが、普段の住処での小生の生活を考えると、これくらいの時間でも寝坊してしまう可能性は結構高いので、安全のためにね。10時で追い出されるわけだから、心配はいらない。ということで12時5分くらいに遠くのコラーニングハウスIに向かう。事務によると前の12時20分まで講義で使っているそうだが、中を見ると講義をやってる風は無く、数名学生がいる程度。数理の学生かな、ということで遠慮無く入っていく。廊下で待っていたY富先生も小生に続いて入ってきた。AV機器の主電源を入れて、大型モニターとスクリーンにパソコンの画面を映すようにして、Zoom も起動させて、でウダウダとやってる内に現場にも Zoom の待機室にも学生が集まってきて、で開始。小生が下手だから、画面に色々映ってて鬱陶しい。消し方が分からないのでそのままにしておいたが、同僚が消し方を教えてくれた。で開始したが、Zoom での録画、録音は出来てるんだろうか？不安でしょうがない。学生は次のコマに講義があるから、喋りたいのはやまやまだが、程々にしてくれ、と事前に釘を刺しておいた甲斐があってか、皆さん手短に話されていた。数ページに亘る資料を読み上げる人が必ずいるのだが、今年はちゃっちゃと流しくれた。後で web に上げておくので、読んでね、ということを言っておいて、無事1時5分くらいに終了。学生さんは1時10分からの講義に間に合うね。よかった。で Zoom を終了させると、音声を mp4 に変換する作業が始まった。これが始まったということはちゃんと記録されてるのだろう。1時10分からの講義が無い部屋を選んでもらったので、一人で作業をしても大丈夫。待ってる間に昨日の講義資料を直す作業をして、で変換が終わった後再生してみる。大丈夫そう。個研室に戻ったら web に色々上げる作業をやることにして、2時くらいに撤収。コラーニングハウスIは生協の本屋の目の前なので、思い出して数セミなど幾つか購入して戻る。部屋に戻ったら、理工学部事務室に持っていく物があったのを思い出して、行ってくる。で飲み物を買って、一息ついた。よかった、ホッとした。

ですぐ帰れれば嬉しいのだが、夕刻から密談があるとのメールが来ていた。選ばれたメンツを見ると、そういうことかな、と思ったらそうだった。重い。一国一城の主に成るというのはそういうことだ。耳が痛いし胸が痛い。自分に言われてるようにグサグサ刺さってくる。まあそういう所に落ち着きますよね。後は学科長（今回はその立場ではないが）が一汗かいてくれれば。

6時前には解放された。6時台は渋滞するので、ちょっと時間を潰そう、と始めたが、何だかんだと（一人で）盛り上がっていて、9時過ぎまで職場にいた。チラチラと野球を気にしていたが、1回表に Baystars が先制。村上頌樹が2者連続四球をくれるという珍しいことが起き、今日4番に入った宮崎が先制打。よしよし。まだチャンスは続いていたが、暫くして見たら1点しか入ってなかった。打ち勝つチームである反面、残塁もとっても多い芸風。こんなことをしてるとまたぞろ逆転されるぞ、と思って時々見るも1－0のまま。パ・リーグは Fighters がリードしてたと思ったら、Hawks が1イニングにまとめて5点取って引っくり返してた。モイネロが不調でもこれが出来るからな。でまたウダウダとやって、どうなった？と見ると2－0に成ってた。佐野がホームランを打ったらしい。で何度かのピンチをかわして、そのまま勝っていた。9回裏は1アウト2、3塁のピンチだったようだが、レイノルズが無失点で逃げ切った。見ると、Baystars は3安打、Tigers は7安打。まあ毎度言ってるが、ヒットの数を競う競技ではないのでね。1試合 Tigers にアドバンテージが与えられてるが、これで1勝1敗に成った。パ・リーグは Hawks に2勝のアドバンテージが与えられている。Hawks はアドバンテージ込みで5勝、Fighters はちゃんと5勝しないといけない。今日の結果で Hawks が3勝リードしたことに成るから、Fighters 厳しいぞ。明日は8時までゼミだから、明日も見られないな。ゼミの裏番組で新潟のスター（一部の人には誰のことか自明でしょう）が「量子ウォークセミナー」とやらで喋りに来るが、聞けないしお相手出来ないのが残念。うちに来たことあるかどうか分からなかったので、テクニカルなアドバイス「かがやき通り経由のバスの場合は『立命館大学正門前』で降りないように」とメールしておいた。

今週は週に6日職場に行く必要があるのだった。普通行かない今日行って、土曜日は「数物会」といううちと物理科学科のOB会（昔は数学物理学科だったので）があって、職場に行く。明後日は「大学院ウィーク」というのでOBが沢山来るので、A 堀先生は3日連続酒の席か。ご苦労様です。小生は明日も明後日も車で職場に行くので、酒は遠慮させてもらおう。土曜日は電車とバスで行くけど。あ、来週の水曜日は保健センターの日だ。週5日も6日も大学行くの嫌だな。いやいや、大抵の人はやってるがな、というのは仰る通り。そういうのが嫌で選んだ仕事でもあるのでね。ただ色々違う厳しさはあるがね。ま、楽な仕事は無いですよ。

諸事情のためエポックに泊まっている

起きたら昼1時を回っていた。シャワーを浴びるくらいの時間はあったので、そうしてから出発。職場に着いたのは2時半くらい。ちゃんと食べるには中途半端な時間だがどうしよう？と思案して、結局カレーパン一個齧るだけにした。

2時45分過ぎに講義室に入る。小さい部屋 の前半分だけ電気がついてたが、後ろの角にいた学生は暗く感じないんだろうか？前の方に座っていた学生は小生の講義とは関係無い学生らしく、出ていったが、暗い所にいた学生は座っていた。で中々学生が入ってこないな、と思ってると、2時50分を回ったところで数名入ってきた。大分減ったな。大学院生向けの講義だが、「有限次分離拡大は単純拡大」というフレーズに出てくるキーワードを一つも説明しなければ、まあ学部の代数の講義の出席者数を見ればそうなるのは自明。気にせず始める。今日は整数環のイデアル（≠{0}）が階数 [K：Q] の自由加群であることを証明するために色々準備。ノルムとトレースは然るべき線形変換の行列式とトレースで定義したが、共役元の積、和に成ることをすぐ示してあげた。前者で定義するとトレースとノルムが Q に落ちることが自明、後者だと T(a＋b)＝T(a)＋T(b)、N(ab)＝N(a)N(b) などが自明と、どちらにしてもいいことがある。で一通り済んだ後、多項式の判別式に関する補足を少々。定義と f'(X) に共役元を代入したのの積×ゴミで計算出来ることを示して、終結式を定義したら時間に成った。来週は終結式を使って幾つか多項式の判別式の計算をしてみせて、それから代数体の判別式と integral basis の計算等をやる予定。

講義後学生が書類に押印してもらいにくると約束していたので、急いで戻る。部屋の近くで二人待っていた。印鑑を押して用事は終了。その後一つ web に上げるものがあったので、上げて、で5時前に個研室を後にする。

昼はま寿司に行けなかったので、晩飯に行こうということで早目に出た次第。まだ帰宅ラッシュは始まっておらず、スムーズに辿り着いた。駐車場も店内も閑散としている。食べてる最中に何やら店員が寄ってきたが、何だと思ったら頼んだ物が売り切れに成ってしまったので、キャンセルしておきます、とのことだった。まあいいです。で2013円食べて終了。財布の中に5円玉が3枚あったような気がしたが、調べたらそうで、1000円札2枚と5円玉3枚払って終了。

でもう一度大学に戻ってきた。何故かと言うと諸事情のためエポックに泊まっている。大した理由ではないんだが、明日は小生がいないと始まらないことがあるので。で時間があるので、日曜日の「プロ野球ニュース」を録画したのを見てないので、見ることにしてディスクを持ってきてある。パソコンで見るので電源を入れるが、何やらアップデートしないことが幾つかあるようで、それを始めるも結構とろい。終わるまで寝床でうだうだして待つか、と思ってたらちょっと寝てしまった。無事終わったようなので再起動して、で視聴開始。田尾が  Giants の松本剛のバッティングを大いに批判していた。まあ負けるべくして負けたということだな。面白かった。それから同業者から来ていたメールに返事を書いて、同僚から明日の件でメールがあったのでそれを処理して、で今日の仕事は終了。今「相席食堂」を見てるが、元卓球選手の福原愛と温泉街で出会った一人のおじさんがラリーを繰り広げてる。こんな上手い人いる？と千鳥が不思議がってた。そこで CM に成ったが、続きはどうなるのでしょう？

で CM が明けたが、おじさん（長谷川さんと言うらしい）が5点先取したが、最終的には福原愛が 11－9 で勝利した。危なかったね。

眠いな。「テレビ千鳥」が終わるまで起きてるつもりでいるが、もつでしょうか？明日は10時には追い出されるので、寝坊の心配が無いから、まあ遅くまで起きてても大丈夫かな。住処だとつい4時やそこらまで起きててしまうが、そこまではしないようにしよう。幾つか TeX 化しようと思ってやってない紙を持ってきてあるので、それを打ちながらダラダラとテレビを見ることにしよう。

祝日なので、予期せぬ時間に渋滞が起こり、巻き込まれて難渋

深夜にまたしても生産性の無いことをして、遅くなってしまった。そこからちょっと今日のゼミで突っ込む材料を作ったりしたので、寝たのはもう「おはよう朝日です」の始まる時間。でビックリした。始まったのは「おはよう朝日です 祝日版」。そうか体育の日だった。

で目が覚めたらもう2時過ぎ。2時55分からゼミだから、急いで飛んでいく。名神は大津までちょっと渋滞してた。祝日だからウェストウィングに割と近い所に停められるのでよかった。2時45分くらいにウェストウィングに着いて、腹ごしらえの時間が無いので、1階の自動販売機でパンを一個買って、コーヒーで流し込んで臨戦態勢に入る。今日は y²＝x³－2 の整数解の決定から。山崎隆雄さんの本の証明が今まで見た中で一番分かり易い。ご自身で考え出されたのだろうか？凄く抽象的で難しいことをやってる方だが、こういう具体的なことをちゃんとやれてしまうのには舌を巻く。加藤和也先生もそうだが、本物の書いた本は違うな。でその後 y²＝x³－8 と y²＝x³－9 を解く問題が演習問題として出ているが、さっき読んだばかりの証明をなぞれば結構そのまま行くのだが、何やら自分で一から考えたか、少し面倒なことをやっていた。眠いがちゃんと聞いていたが、筋は合ってる。テキストのを真似ればもう少し簡単にやれる旨コメントしたら、学生自身がやりながらそう思っていたという趣旨のことを言ってた。後でやってくれるといいけど。その後整数環が Z[√(－d)] の形に成らないケースのことが証明抜きで羅列してあるが、証明は付けてこなかったようだ。そこで質問が出た時のために今日寝不足だったんだが、まあいいです。それから Z[√2] の所にちょっと突っ込んだ所で予習が尽きたようだ。毎回大体計ったように2時間で終わる。一応もう1時間やってもいいように部屋は押さえてあるが、まあ一人でやるからいいでしょう。

個研室へ戻ってパソコンで Lions vs. Fighters の様子を見ると、Fighters がリードしてる。でごちゃごちゃとやりながら時々様子を見る。Fighters がリードしたまま。で結局そのまま逃げ切って、セ同様にパも3位のチームが勝ち上がり。初戦勝ったチームの勝ち上がりの可能性はセ、パ共80%を優に超えていたが、セは80%強の方に、パは20%弱の方に成った。Fighters は Hawks 相手に目茶目茶弱いから、パの日本シリーズ出場チームは Hawks だろうな。Baystars は Tigers に割といい闘いをしていたから、こちらはどうだろう？まあ希望的観測が入っているが。

7時くらいに職場を後にしたが、失敗。祝日だった。高速道路の手前の電光掲示板に「草津JCT－京都南 渋滞17km」の表示。が、草津JCTから名神への合流はスムーズに行った。渋滞が始まったのは瀬田東JCTの辺りから。かなりの渋滞だった。眠かったが耐えた。住処に食事の買い置きが無いので、外で食べて帰ろうということにして、醍醐にある某ラーメン屋へ行くことにした。ふなごやの店長がそこの店の味が酷く落ちていたのをご立腹だったが、別の店舗では大丈夫だったそうなので、そこだけか？いや、その日だけなのか？という話に成ったので、確認に行った次第。で食べたが、別に前と同じだと思ったが。たまたまだったのでは？という感じだな。店の名前は書かないけどね。餃子も一緒に食べるつもりだったが、「にんにく不使用」と書いてあったのでやめた。帰りは右折で出る必要があるが、免許取りたての頃は大の苦手だったので、いつも夜遅く行ってた。今日は8時台だが、祝日の外環状線はそんなに交通量が多くなく、丁度手前の信号が赤だったのですぐ出られた。

帰ってきてテレビを付けると「帰れま10」を回転寿司の店でやってるのが放送してた。明日の昼はまたはま寿司にしようか？しょっちゅう行ってるな。今日のように遅く起きると行けないな。まあプロレスが終わってすぐ寝れば起きられるだろう。今日は特に寝不足ということもないし。

ケーブルテレビのチューナーのハードディスクがいつもの通りカツカツなので、「日本最強の城スペシャル」をダビングしようとディスクを入れたら、何やら NHK の番組の録画が始まりそう。何だ？と思って見ると、先週の水曜日にアクシデントで録画出来なかった「歴史探偵」の再放送だ。明らかに容量が足りない。どうしようかと思ったが、数年前にやった「何曜日に生まれたの」とかいうドラマがあった。時々ダイジェストがやっていたが、あまり面白そうじゃないな、と思ったが残してあったのを消した。全話消したら数日分の録画が一気に出来るだけの余裕が出来た。見ないものは消さないと。全部見られる訳ではないので、踏ん切りを付けて消すものは消さないと。人生は有限なのでね。勉強も人のやっているのを聞いて知るというのも大事。足立先生が「すべて自分でやろうと思うと無限の時間を要する」とよく言っておられた。正直小生、ディリクレの単数定理の証明とか自分で follow してないものは幾つもある。しゅっちゅう学生にゼミで話してもらってるので、どういう感じで証明するかはよく分かってるので、それでいいのではないかと。勿論きっちりやりたいものは自分で完全にやって理解しないとまずいが。ということで学生諸子、講義は出ましょう。

あ、明日は資源ゴミの日だ。分別して出してこないと。春学期は火曜日に教授会以外の用事が無かったので、結構時間を掛けてやれたが、秋学期は講義があるので、ちょっと落ち着いてやれない。まあ講義は2時55分からなので、十分遅くまで起きていられるけど。面倒だけどやってから寝ないと。

Giants 相手にあっさり2連勝で CS ファーストステージ勝ち上がり

ふなごやの前に着くと、店長がいつもと違う場所に座っていて、店に入る前に目が合った。何故？と思ったら、メニューの改変作業をバイトの人が行っていて、カウンターの結構な広さを使っていたためのようだ。店長は字に自信が無いようで、いつもバイトの人の味のある字のメニューに成っている。色々工夫のし甲斐があるようで、楽しんで作業をしているように見受けられた。まあ難作業だから煮詰まったようで、暫くしたら店仕舞いして、賄い飯を食べ始めた。でその後は呑み呑み楽しく会話。もっと野球の話に成るかと思ったらそうでもなかった。まあ Baystars の先勝祝いはしてくれたが。途中でお二人はダウンされて、小生は YouTube を大音量で流しながらワインを呑んだ。で適当に退散。セブンイレブンでいつもの通り水を買ったが、いつもの女の人がいて、挨拶をしておいた。

帰ったらすぐにダウンしたようだ。例によって記憶は無いが。昨日は全く寝てない状態だったので、よく寝られた。で1時55分頃に起きて、テレビを付けて NHK 総合にチャンネルを合わせる。やはり Giants ベタベタの日テレ系より中立を保ってくれる NHK の方がいい。解説は宮本慎也（Swallows OB）と大野雄大（Dragons の現役投手）なので、特にどちらかに肩入れしているわけではないし。で始まってすぐ度会がホームランで先制。度会は昨日の最終打席と2打席連続弾。2番牧が初球を打ってツーベースヒットも、調子の上がらない筒香、エンカーナシオンが連続三振。嫌な感じだが、佐野がちゃんとタイムリーヒットを打ってくれて2点目。宮本氏が2点目の大きさを強調しておられた。石田裕太郎はシーズン中 Giants 相手に0勝4敗だそうだが、防御率は2点台。石田の時はいつも援護点が少ない。今日も石田が投げてる間は初回の2点だけが援護点だった。石田は気合が入っていて、ピンチの場面を併殺打に打ち取って1塁にベースカバーに入って送球を受け取った後、派手なガッツポーズと大声。その後のピンチも打ち取ると派手にパフォーマンスをしていた。5回をソロホームランの1失点と、十二分な内容。追加点が取れずにやきもきしていたが、7回に戸柱がタイムリーヒットを打ち3点目。盗塁も刺してるし、ここぞという時に戸柱は頼りに成る。8回に牧に2試合連続となるホームランが出て4点目。8回裏に Giants が2アウト一塁二塁とチャンスを作り、坂本が代打で出てくるも、初球を打ち上げてレフトフライ。9回表はライデル・マルティネスに3人に抑えられたが、9回裏はレイノルズが三者三振に斬って取り勝利。2試合であっさり CS ファーストステージ勝ち抜けが決定。Giants 相手に勝つと気分が良い。Baystars のシーズン後半の勢いと Giants の終盤の得点力不足が出た形に成った。ヒーローインタビューは戸柱だったが、「自分がヒーローでいいんですか？」から始まり、何度も「呼ばれると思ってなかったので」と気の利かない発言をしていたが、人柄が出ててよかった。さあ、水曜日から Tigers と甲子園で。去年も Giants 相手に2連勝で勝ち上がったが、Tigers にあっさり3連敗だったから、今年はどうにかしないと。牧も決意を新たにした発言をしていた。日テレ系だったら放送をあっさり終わらせたろうが、NHK はちゃんと5時半まで番組があった。Tigers との試合も NHK BS で結構やってくれるようだから、そっちを見よう。今週の「ミラクル9」と「ゴチバトル」の放送はあるか？と思って番組表を見たら、どっちも CS の放送で無いようだ。日テレ系は Giants が勝ち上がってくると踏んでの番組編成だったろうが、残念ながら Baystars が勝ってしまいました。などと思って日テレのホームページを見たら、「ぐるナイ」の放送はあるようだ。CS に放送は関西だけらしい。「ぐるナイ」は土曜日の朝に放送があるようだが、ゴチバトルではないみたいだ。ならいいか。

その後昨日の晩の「プロ野球ニュース」を録画しておいたのを見よう、として焦った。ハードディスクに空きが少ないから、Blu-ray ディスクに直録り、とした筈が、ディスクに録画されてない。え？と思ったらハードディスクにちゃんと録画されてた。焦った。が、大河ドラマが容量不足で録画されなくなってしまうので、急いでディスクを取り替えて、直録りするよう算段をして、それから「プロ野球ニュース」。やはり Play of the Day は成瀬脩人（お、一発変換）のプレーだった。よかった。その後「日本の城スペシャル」を途中まで見てダウンしたのを思い出して見た。それから大河ドラマを見て、でディスクを取り替えて「プロ野球ニュース」をダビング。もう済んだかな？今日の「プロ野球ニュース」の時間にはダビング終了は間に合わないが、この番組は何回も再放送してくれる。深夜1時の分をディスクに直録りして、それから「日本の城スペシャル」をダビングすれば、向こう数日分の録画は出来るだろう。

いい加減雑用をしよう。寝不足だったり野球だったり呑みに行ったりと、ここ二日ロクに何もしてない。まあ休日だからいいのでは？と思うが、返事をくれない同僚がいて焦っているので、催促しないと。その前に返事をくれた同僚のメールの内容をちゃんと理解しないと。それの返信についでに催促する文面を載せればいいでしょう。ということでスタート。

1回表に牧のホームランと9回表に度会のホームランの2点だけで CS 第1戦は勝利

同僚のメールをまだ読んでない。面倒なのもあるが、つい熱中して数学をやってしまったので。素数 p の素イデアル分解が最小多項式の mod p の分解で分かるという有名な定理（Kummer に依る）の証明で今まで見た中で一番スッキリしてそうな証明を見付けたので、職場で読んで、帰ってきて続きをやったのだが、一箇所大ギャップがあることに気付いてしまい、修復に時間が掛かったのだ。一箇所自明そうに見える所があったが、そこがヤバい。であれこれやって出来たが、よく読んでみたらちゃんと証明が出ていた。何だ、無駄なことをしたな、と思ったが、まあいいです。そういう所をちゃんと見抜く嗅覚が衰えてないことが分かったので。講義で話すので、TeX 化しようか、と思ったが、分かってしまうと面倒臭くてやらなくなる。いつものこと。で別の dvi ファイルを眺めたのだが、まあ酷い。いや、自分で一から集めた演習問題の解答集だから、誰にも文句は付けられない。まあ酷かった。でどんどんどんどん時間が過ぎてって、また朝まで起きてた。阿呆や。11時前に近所で用事があるので、もういいか、と起きていた。

で用事に出掛けたが、暑い。29度だかまで上がるって言ってた。この前シャツを2枚買ったが、1枚を半袖にしてのは無駄だったかと思ったが、まだ使えるシーズンが続くとは。で用事はいつも結構待つのだが、今日は一瞬で済んでしまった。文庫本も全然進まなかった。でいつもはなか卯か松屋で昼食なのだが、ちと早い。ということで帰ってくることにした。食料品のストックはあるので。

でお湯を沸かしてる間にまたぞろ dvi ファイルを眺めると、苦労してやったが、山崎隆雄さんの本に出ている方法でやるとずっと簡単に成ってしまいそうなものが幾つもあって、それを考えてみるとその通りだった。じゃあ全部そうやればいく？と思ったが、Z の中だけで済んでしまうケースだと逆に「共役を取る」という技が使えないので、かえって難しいのだと分かってしまった。Delaunay－Nagell に依る難しい結果を使う必要があったり。やってみないと難しさが分からないので面白いのだがな。解答のパターンを覚えて高得点を上げるのを競う、というのがいかにつまらんことだったか今となると思うね。まあ丁度40年前の今頃は予備校通いをしていた時期で、まさにそれに無上の喜びを感じていて、模試で成績が上がると嬉しかったけどな。

カップ麺をすすったりそんなことをしながらしてる内に2時に成ってしまった。今日から CS が始まるので、当然セ・リーグの方を見るわけで、地上波でも放送があるようなことが出ていたが、何か始まらないな、と思っていつもの日テレG＋で見るか、と見始める。読売系のチャンネルだから、当然 G 寄りで不愉快なのだが、後で地上波での放送の様子を知ったが、もっと酷かったらしい。G＋の方はアナウンサーと解説者がひとりずつでやっていたが、地上波は解説者が複数で、うち一人が番長。アナウンサーが番長に Giants 打線が東を攻略するにはどうしたらいいかみたいなことを聞いていたらしい。うーん、何のために番長を呼んだんだか。明日は NHK で放送があるようだから、そっちを見よう。

さて、肝心の試合展開だが、1回表に牧がソロホームランを打ち先制。牧は対井上の成績が酷い、と言ってたが、何と13打数ノーヒット8三振。その牧が打ったのだ、今日は打ち崩せるぞ、と思ったが、それっきり音無しだった。1回裏に同点にされたが、その後は東がそうしゃを出しながら粘る。書いた通り Baystars もからっきしで、8回まで安打3の1得点と抑え込まれた。が、先週同様井上を引っ込めてくれて助かった。先週はそこから大逆転だったが、さあ今日は、と思っていると、何と度会がライデル・マルティネスからソロホームランを打った。1回裏に Giants が1点取って以来の得点。で9回裏はレイノルズだが、ここのところお疲れ気味。今日も先頭打者に二塁打を打たれ、送りバントで1アウト3塁の大ピンチ。が、そこは流石で、ファーストフライ、レフトフライと打ち取りゲームセット。いやーよかった。今日は冷や冷やするシーンがあった。リチャードがライトへ大飛球を打って、アナウンサーがホームランだと連呼していたが、ファールだった。助かった。それともう一つリチャードだが、三遊間を抜けそうな当たりを打たれたが、ルーキー成瀬が大ファインプレー。これはプレー・オブ・ザ・デーでしょう。忘れずに「プロ野球ニュース」を録画しておかないと。

5時前には野球は終わっていて、呑みに行く前に少し寝ようか、と思って、いつもの通り寝床で YouTube を眺めていたが、眠くならなかった。度会のホームランの余韻でまだ興奮してるかな。それとも Kummer の定理の証明をちゃんと理解出来たからか。色々やってて気付いたが、昨日ゼミで退屈そうなことをやってる時にちょっと内職して上手くいったと思ったことがあったんだが、それに不備があった。アイゼンシュタインの数体（と言って分かる人はどれくらいいるのだろうか？）の単数が ±1 以外に4つもあるのに、ついうっかり考慮しないでいた。でやったら、解が無い筈なのに、単数が ±1 のケースから解らしき物が出てくる。しばし悩んだ。アイゼンシュタインの数体の整数環は Z[√(－3)] でないのにうっかりそうしていた。アイゼンシュタインの数体恐るべしだな。で無事出来た。ちょっと嫌な感じの方程式が出てくるのだが、まあ解が無いのだから、と適当な整数で mod すれば出来た。見た瞬間に mod 3 してね、という顔をしていて、ちょっと変数変換したら3で割れて、mod 9 でどうにかなった。最初から何も考えずに mod 27 でいけることがコンピューターで for ループを回したら分かったが、mod 27 はちょっと手でやる気は起きない。mod 9 なら φ(9)＝6 だから大したことない。ということで色々出来た。が、また TeX 化してない紙が溜まっただけという説もある。いつかまとめて TeX 化しないと。あ、同僚にメールに返事を書かないと。他の皆さんに意見を求めたのに一人も何も言ってこないな、と思ったら、今日は土曜日なだけでなく世間は三連休だ。まあうちの人は月曜日は祝日じゃないけど。明日 Baystars が勝ち上がりを決めてくれないと、毎年恒例体育の日の CS 第3戦中はゼミ、結果が気に成りゼミに集中出来ない、と成ってしまう。明日の先発は石田裕太郎だ。また援護点が少なそうだが、まあ今日のように1点余分に取れば2点でも勝ちなのでね。期待しよう。

同僚のメールに返事を書くのは明日にして、「プロ野球ニュース」の録画を仕掛けたら呑みに行こう。全然寝てないが、まあ大抵大丈夫。やはり贔屓のチームが勝つと気分が良く呑める。来週はうまくいけば Tigers vs. Baystars なわけで、バチバチやりながら呑むことになるかもね。Baystars が勝ち上がれなかった時は全員で Tigers を応援することに成るので、一体感が生まれていいかもしれないが、やはり Baystars に勝ち上がって欲しいな。ということでボチボチ出発。

Dirichlet の単数定理の証明で学生が躓いた所をあっさり示して上げて、差を見せつけてやった

今日も結構遅くまで寝ていた。職場に着いたのは12時半を結構過ぎていて、外で弁当は売ってないかも、と思って近付くと、案の定人気が無い。生協で買いに引き返そうとしたが、何やら学生三人組が弁当屋の方を見て騒いでいる。近付くと売ってる人が「弁当後3つ、そこの3人さん」と呼び掛けていたが、声を掛けるだけ掛けて行ってしまった。ということで幸い買えた。個研室で短時間で貪って、1時過ぎに部屋を出て講義室へ向かう。

金曜日は「代数学II」。今日は拡大次数に関する初歩的なことをチマチマやって、それから体に元を添加する話。何の本でも書くのが面倒臭いからなのか、それとも「これくらいは自明だからやってね」ということなのか、細部をちゃんと書いてる本が無い。気に食わないので、1個添加した場合に限るが、ちゃんと体に成ってること、添加する前の元とした元を含んでるとかやった。まあ自明だな、と毎年思うんだが、ここまで詰めないとあかんのだよ、という手本のつもりでやった。で単純拡大を定義して、代数的な元を添加するとどうなる？と来週の枕を言って終了。今日は少々暑かったせいか、疲れた。冷房は軽く掛けてた。

ちょっと休憩してからゼミ。今日は Minkowski の一連の理論で必要に成る体積の計算を幾つかやって、それから単数の章に突っ込む。で Dirichlet の単数定理の証明だが、途中一箇所引っ掛かってると言ってた。ちゃんと聞いておかないと、とちょっと真面目に。冷房付けていいかと学生が聞いたので、勿論許す。暑いし、動いてると尚更。で件の箇所に差し掛かった。何かが1次独立であることを示すのだが、「定め方により」と書いてあって、詳細が書いてない。色々やって上手くいかず、AI に聞いたというようなことも言ってたが、「定め方により」みたいなのは機械的にやれば出来るんだよ、と経験上分かっているので、やってみたら割とすぐ出来た。ちょっと経験の差を見せつけられたかな。この前「ミラクル9」でノブコブの吉村が若い解答者に「何年やってると思ってるんだ！」と叫んでいたが、まあそういうことだ。で無事単数定理の証明が終わったところで終了10分弱前ということで終了。

その後部屋でちょっと雑用。過去の資料をちゃんと取っておくべきだったと後悔。皆さんに意見を求めるメールを書いた。さあ返事はあるでしょうか？その後ちょっと講義の支度をして、9時半過ぎに個研室を出た。

久々にココ壱番屋でカレーを食べてきた。期間限定のバターチキンカレーなるものを食べたが、まあ想像通りの味。早稲田理工の近くのインドカレーの店で食べたのよりはずっとマイルドだったが。腹が膨れると脳味噌が冴えるのか、出る前に個研室で考えてたことが一個片付きそうな気がした。いや、運転に集中しないといけないので、ちゃんと考えてないし、考えることも出来ない。これを書き終わったら考える。

明日からセ・パ共に CS が始まる。セは Giants vs. Baystars だが、Giants の先発は案の定井上。ずっと抑えられてるから大変だ。今シーズンの対戦防御率は 0.77 とか言ってた。1試合だけ勝ってるが、その試合は 1－0 と、打ち崩してはいない。井上を早く引っ込めるのが大事だ。この前も6回投げて引っ込んで、その後逆転した。リリーフを引っ張り出せば勝機はある。東はやってくれる。信じて応援しよう。2時開始だ。気持ちよく夜呑みに行ければいいけど。

などと書いてたら同僚からメールが来ていた。学生から人気のある先生が色々と苦労していたことを話してくださると助かる。考えてみよう。

NPB のレギュラーシーズンは今日で全て終了

宿題を済まそう終わらせようと思うが、つい現実逃避に下らんことをやってしまう。そうこうしている内に眠気に耐えられなくなってダウンした。で目覚ましに起こされて、時間を見ると2時（14時ね）。起きて軽く食べて職場へ出発、のつもりがまだ眠い。もう一度ちょっと横に成って、起きたら4時（16時ね）。木曜日は16時40分からのゼミだけで、今から出れば間に合う、と思って、チラッとパソコンの画面を見ると、ゼミの学生からメールが来ていた。今日は何やら二人とも（二人の学生とやってるゼミね）調子が悪いので、無しにしてくれないか、と言ってきている。そういうことなら仕方ない。ということで職場には行かないことにした。

Uber Eats の画面を見てたら、餃子の王将京都東インター店がある。駅前の王将には無いメニューがあるのでそれを頼んで、で食べてからどうしましょう？と思って、先週の「座王」を見るか、この前途中まで見た「日本最強の城」を見るか、はたまた「林修の今でしょ講座」で肥満のことをやるから見るか、と思っていたが、結局まだ眠いので、もう一度寝床へ。うーん、何たる時間の無駄遣い。週に一度無性に眠い日がある。やはりちゃんと寝ない日があるのがいけないのだろうが、不摂生は楽しいのでね。まあ仕事には影響無い程度に。

10月8日はつい忘れてしまうが、Baystars が最後にリーグ優勝した日（1998年）。あの日は今日と同じ木曜日だった。何故覚えてるかというと、10月9日の早稲田整数論セミナー、通称「金曜セミナー」で小生が喋る番だった。実家でラジオを聞きながら準備をしてたら、横浜スタジアムでパブリックビューイングをやる、無料開放、と聞いて、準備をほぼ済ませて急いで飛んで行った。地下鉄で10分ちょいだからすぐ。で翌日配布した資料に10月9日と書いた所に \footnote{前日横浜ベイスターズが優勝} と書いた。昨日のことのように覚えてるが（いや、10月8日なのは忘れてるがな）、もう28年も前。来年はいい加減リーグ優勝を。

さっきスマホを見てたら、Baystars ファンが安心理論を書いてた。一昨年 Baystars は日本シリーズを制覇したが、何と一昨年と今年の Baystars と Hawks の勝ち、負け、引き分けが全く等しいそうだ。こりゃ今年も下剋上だぞ、と盛り上がっていたが、まあそううまくはいかないでしょう。少なくとも、明後日からの Giants 相手だけは勝ち上がって欲しい。Giants に負けるのは癪なんでね。世間様は三連休のようだが、月曜日はうちはいつもの通り平常営業。ということで Giants vs. Baystars の3戦目がゼミの裏番組になる。ここのところ毎年そう。祝日だから3試合とも2時からなのだ。ゼミが2時55分からで、一人相手にやってるから大体5時くらいにはいつも終わっている。ということはゼミ終了時点ではまだ試合中だな。いや、2戦で Giants 相手に2勝すればいいのだ。逆に2連敗されたらいやだけどね。ゼミ中にスマホをチラチラ、はやめよう。やっちゃいそうだけどな。学生はほぼずーっと黒板に向いてて、こっちを見てないから。いや、真面目にやるよ。

セ、パとも全日程終了。Tigers は今日は完封負けで、80勝に届かず。佐藤輝明は三冠王も、惜しくも40号ホームランは出ず、40二塁打39ホームラン。40二塁打40ホームランは過去に無いと言ってたと思うが、正確なところは聞き逃した。快記録、珍記録は多い方が面白いので、残念だった。森下が最高出塁率、高橋遥人が最多勝、最高勝率と、Tigers は流石に優勝しただけあって好成績の選手が多いな。Baystars は誰もタイトルを獲れなかった。まあいいです。今日 Swallows が負けてたら最下位だったそうだ。そうなったら勝敗数は Dragons と Swallows がぴったり同じに成るが、対戦成績で Dragons 相手に負け越してるので、Swallows が最下位に成る、ということのようだ。スタートダッシュを決めて、夏までは優勝争いしていたのに最下位では目も当てられなかっただけに、池山監督はホッとしているだろう。でその Dragons の監督に工藤公康が成ることが決定的とか。来年は手強くなりそうだ。

宿題は何としても今晩中に終わらせよう。もう大体出来てる。もう少し直して、でメールの文面を考えて、とそれくらいだから。引っ掛かってることは一つずつ減らしていかないと。

学科の皆さんは真面目だから、会議が長い

昨晩は珍しく呑んでたら眠気に耐えられなくなってきた。「日本最強の城」を見てる途中にダウン。で起きたのは2時過ぎ。4時50分からの会議には大分時間がある。が、相変わらず無駄なことをしていた。メールが何通も来るので、それに返事を書くくらいのことしかしなかった。

で4時50分からの会議だが、大した議題が無い、との学科長の仰せにも関わらず、凄く長時間の会議だった。学科の皆さんは真面目だ。一つ言わないといけないことがあって、学科長がちゃんと議題に入れてくれていたので、話しておいた。

でカップ麺をすすったりなどしてる内にあっと言う間に7時。「ミラクル9」の2時間スペシャルがあるので、追っ掛け再生。昔はリアルタイムで見るか、録画しておいて後で見るしか方法が無かったが、数分遅れで追っ掛けられるのは助かる。Baystars の試合が無いというのは凄く余裕のあることなんだと、改めて思った。野球は3時間以上掛かるのが普通だからね。面白かったのは、外食で焼き肉代と中華麺（ラーメン、つけ麺など）代、どっちを使う？というのの結果が、東日本と西日本で真っ二つで、圧倒的多数で終わるのか、と思ったら大逆転した。陽気のせいで温かいものを食べたいということか。

で NHK のニュースを見ようと思ったら、NHK 総合のサブチャンネルで Tigers vs. Carp がやってた。野球がやってるとつい見てまうな。今日は西勇輝の引退試合だそうで、西が Tigers に移籍後バッテリーを組むことが多かった梅野がサヨナラ打を打って、無事勝利した。いい引退試合に成ったでしょう。Tigers にとって大きかったのが、今日の勝ちでセ・リーグ全球団に勝ち越したそうだ。まあそれなら文句無しの優勝ですな。

宿題が一つあるのだが、どうもやる気が起きない。一週間前にやったことに関することだから、忘れないうちにやって、早くスッキリしたいが。まあまだ暫く起きてるので、今晩中に済まそう。来週の水曜日にやることの準備もしないといけないしな。抜かりがあってはいけない。しかし憂鬱だ。やることが多いと疲れる。まあもうちょっとだ。頑張ろう。

有理点探しは14日と2/3以上掛けて終わった

11時台に目が覚めた。講義は2時55分からだから、もっと寝てもいいのだが。でパソコンの方に目をやる。寝る部屋とリビングの間にはドアがあるのだが、散らかり過ぎてて閉められない。枕の位置と最後に立ち上がった時に椅子がどういう位置に成ったかでパソコンの画面が寝床から見える時がある。すると、寝る前に見たのと違って見える。有理点が見付かったか？と飛び起きる。見付かっていた。嬉しい。約353時間（14と2/3日）。前も書いたが、整数点が無いことを示すのに有理点を求めてる。何とも空しい時間。まあいいです、記録しましょう、と始めると異常事態が。マウスが反応しない。電池切れ？と思って電池を変えるも駄目。こういう時は大抵デバイスを削除してもう一度インストールすればいい。が、削除は出来たが再インストール出来ない。え？え？見るとネット接続も切れてる。無線環境が壊れたか？マウスが駄目でもタッチパッドがあるではないか、と言われるだろうが、キーを打つ時に無駄に反応してしまうので、無効にしてある。有効にしないといけないが、どうやるか皆目思い出せない。しばしすったもんだの末、どうにかタッチパッドが使えるようになった。で急いでコピペして、それから整数点が無いことを確認して。無事に済んでよかった。さて、壊れてるのはマウス？パソコン？こういう時は案外リブート一発で直ることがある。もう有理点探しは済んでるので、再起動をする。で立ち上がってから Wifi を立ち上げ直したり Bluetooth の設定をし直したり。で無事復活した。今はちゃんとこれが打ててるので、大丈夫。やはりこき使いすぎたかな。今晩はゆっくり休んでもらおう。

「徹子の部屋」の途中で住処を出発。時間があるので、南草津の関西みらい銀行で振り込みをして、それからはま寿司へ。はま寿司はいつも京滋バイパスから左折で入るが、今日は銀行に行った関係で国道一号から右折で入った。ちょっと感じが違った。で大体2000円くらい食べて、2時半過ぎくらいに職場に着いた。個研室に寄るほどの時間は無いので、日向でドーピングしながら作戦練り。2時45分過ぎに講義室へ向かう。電気が消えてるところを見ると、前のコマは講義が無いのかな。来週から少し早目に行って、読書でもしながら時間を潰そう。

今日の講義は院生向けの代数的整数論の初歩。代数的数の全体が体をなすこと、代数的整数の全体が環をなすことを証明して、代数的数の全体が代数的数全体のなす環の商体であることを示して、それから整数環の節へ。二次体の整数環を決定。結構難しいよね。それから整基底（整数底）という言葉を定義して、整基底の存在を来週示すと言って、でそのために共役元を定義して云々、というところで時間に成った。来週はノルム、トレース、d_K(t₁,…,t_n) などを定義して、整基底の存在を示す予定。時間があったら多項式の判別式についての補足を軽く。

その後教授会。今日は秋学期初回ということで、新人教員の紹介と、事務の人が異動するので挨拶とか。その後形式的な議事が続いて、5時半くらいには終了した。それから講義資料を直して web に上げる作業だが、直すだけ直して上げるのを忘れていた。後でやる。それからちょっと判別式のことを勉強しないとと思って始める。偉そうに講義はしているのだが、判別式が終結式で求められることをちゃんと勉強したことは無い。いや、終結式の勉強をしたことも無い。佐武一郎先生の本くらいしか終結式の書いた本は知らなかったが、三宅敏恒「線形代数概論」という数年前に出た本に書いてあるのを知っていたので、見てみる。しかし Res(f(X),g(X))＝0 ⇔ f(X), g(X) が共通根を持つ、ということの証明を読もうという勇気が湧かない。学生が恐れおののくのはもっと短い証明で、こんなのは読まないでパスする人が殆どだろうと思うが。数年前の卒研で1頁にも満たない証明を「くそ長い」と言ってる学生がいた。π の超越性の証明を「物凄く長い」と言ってる学生もいた。高校の教科書に出ている公式や定理の証明は殆ど数行で済んでしまうものばかりだからね。三角関数の加法定理の証明でも長い方か。で、まあ、結局、読まなかったんだけど。現実逃避に前にやった終結式の計算をもう一度追いかけてみた。3次式の判別式を求めるくらいで大分勉強した気に成った。2次の項の無いののは何度かやってるが、2次の項もあってモニックじゃない3次式の判別式の計算をやってみよう、とハードディスクにある秘蔵の問題集を見たら、何と前にやったことがあるようだ。忘れていた。でやってみたが、案外大したことなかった。終結式は成分に0が多い行列式を計算すればいいので、まあ3次より次数が大きかったら手でやる気はしないが、3次くらいなら出来る。来週か再来週か、学生には大したことないから、とやるように勧めておこう。

9時過ぎに個研室を後にした。今日はアジフライを食べようということで、松屋と松のやが一緒に成った店に向かう。2尾乗ってるが、大きくて分厚かった。1尾でもいいな。ご飯を小盛にしておいてよかった。学食のしょぼいアジフライとは比較に成らない。勿論学食より大分高いけど。

この10月からビールは値下げ、発泡酒と第三のビールは値上げに成った。でさっきいつもの酒の販売機で買ったら、キリンラガーが230円だったのが220円に成ってた。おぉ。あの販売機は新、旧どちらも1000円札を受け付けてくれない。それをどうにかして欲しいが。100円玉がもう一枚欲しかったので、チェリオの自販機で飲み物を一本購入して酒の販売機の前に戻ると、もう売ってはいけない時間に成っていた。まあいいです。後でファミリーマートにでも行って買い足してくる。明日は学科会議があるとのメールが来ていたので、少な目に、と思うんだが、呑み始めるとつい量が増えてしまう。まあ4時50分からなので、結構遅く（早く）まで起きていても大丈夫だが。ちょっと会議で言っておかないといけないことがあるので、ちゃんと起きるよ。4時半に目覚ましを仕掛けておくと安全だな。

あ、学生にメールを書いて、教務委員関係のことをちょっとやって、作文をしないと。面倒だから呑み呑みやるか。「相席食堂」が終わったらファミリーマートに行く。食料の調達もしないと。面倒くさ。

2時55分からのゼミだけが用事だとつい不摂生してしまう

またしても生産性の低いことを深夜にやってて、あっと言う間に5時。朝のね。腹減ったしどうしようか、と思ったが、「おはよう朝日です」で出演者一同 Tigers のユニフォームを着て大騒ぎしていたので、つい見てしまった。今日の用事は2時55分からのゼミだけなので、いいか、と思いつつ、寝な、とも思いつつ、7時過ぎまで起きてた。マンションの管理人さんに用事があるし、あまり寝ないようにと思って、テレビを消さないでいた。午前中に管理人さんに会いに行こうと思っていたが、寝たり起きたりを繰り返し、気付けば昼近く。食べ物のストックが何も無いので、Uber Eats にすき家メニューで、寝不足だしいつものニンニクタップリので精を付けよう、と思ったが、管理人さんと至近距離で話すから考え直して鰻丼にした。で1時30分過ぎに話に行って、でトラブっていたことはどうやら解決したっぽい。ということで職場へ向けて出発。

今日のゼミは二次体（と言っても Q(√(－1)) と Q(√(－2)) だけだが）で素数がどう分解するかがルジャンドル記号を見れば分かるという話と、それの応用として x²＋y²、x²＋2y² の形で表せる素数の決定など。P.I.D. は U.F.D. で、その時は素元と既約元が同じ物などを準備してあったので、スムーズに進む。途中までは内職していたが、途中から真面目に聞いた。が、特に突っ込むことはしなかった。一人だし。類数が1より大きいのをやる時は、テキストに出ているいつもの二通りに既約元分解出来る例以外に三通りに分解出来たり、分解の仕方では square-free みたいな顔をしているが別の分解だと3乗数だったりする例とか教えてあげよう。5時くらいに終了。

その後部屋でちょっと雑用をし、数学をちょっとだけ考えてから、7時くらいに帰宅。寝不足だから、ゼミ前もゼミ後も帰宅直前もドーピングしておいた。前も書いたが、幸い運転中に眠くなったことはない。まあ高速道路を12km程度運転するだけだし、適度に混んでいる状況だから、運転中は気は張ってるよ。7時40分くらいに帰宅。

テレビを付けると当然6チャンネルに成ってるわけだが、何を放送してるかと思ったらサッカーのキリンカップの決勝戦をやってた。それよりも昨日の大河ドラマを見たかったので、そっちにした。史実を無視してるとか、殿様が一商人とタッグを組んであんなことはせんさ、とか、あんな単純にはいかんよ、などの否定的な意見はあるが、まあ単純で面白くていいんじゃないでしょうか？というのが小生の感想。同様の意見を言ってる肯定派もいるんでね。ドラマですから。実在の人物を使ったフィクションなのでね。史実、とは言うが、それは後の資料とかから後の人が考えたことなのでね。画像、音声が残ってるわけじゃないし、いいのでは、と思う。

見終わった後もまだサッカーはやってた。1－1で後半戦に突入、というところだったが、見なくてもいいか、などと思ってたら日本が勝ち越した。まあ見なくてもいいや、というのは変わらないので、寝床でスマホをいじりながらウダウダしながらテレビの音声だけ聞いていた。もう1点取って、優勝したようだ。そのままちょっと寝落ちしたり起きたりを繰り返して、気付けば11時半を過ぎてたので起き上がってこれを書いてる。書き掛けでも投稿すれば10月5日と日付が登録されるので、一旦そうしてから現在続きを書いてる。今「爆踊！亜バンギャルディ 昭和歌謡の宴」をやってるが、早見優、高音が出なくなったな。もっと歌は上手かった筈だが。まあ仕方ないか、1か月くらい前に60に成ったんだし。やけに詳しいなって？一応ファンですから。早見優のCDは結構持ってる。人気が下火に成ってきた頃に、アイドル歌謡をやめて、得意の英語を活かしてユーロビートに乗せて歌ってるのが格好良くてCD買い始めた。そうして歌ったドイツ人歌手（名前失念）の歌のカバー曲「ハートは戻らない」は久々のベスト10ヒットだったらしい。この前知った。この後は堀ちえみが出てくるが、舌癌をやって舌を結構切った筈だから、歌えるんだろうか？今喋ってる映像が流れているが、やはり喋るのが大変そう。歌えるんでしょうか？と思ったら歌い始めた。案外ちゃんと歌えてる。舌の使い方が違うのかな？

明日は講義がある。と言っても今日と同じく2時55分からなので、タップリ寝られる。ちゃんと寝よう。プロレスが終わったら3時半に成ってしまうが、見ようか？「くりぃむナンタラ」が1時45分くらいにおわるが、そこからプロレスが終わるまで長いぞ。最近プロレス面白くないから、早いとこ寝るか。

二日酔いチームに12安打2得点と辛くも勝って、Tigers とのゲーム差が10未満であることが確定

ふなごやに着くと、店長が Uber Eats だか出前館だかから注文のあった料理を脇に置き、スマホに見入っていた。野球の状況を見ていると言ってた。この状況で料理を注文しては申し訳ないということで、野球の決着が付くまでお互いのスマホに注目して、時々雑談。9回裏2アウトに成ったところで二人で「あと一球！」を連呼した。で無事 Tigers が優勝を決めた。よかった。Giants の優勝だけは嫌だったし、昨日の勝ちで Baystars のシーズン勝率5割以上が確定し、更に今日の Tigers 戦で目の前で胴上げされることも無くなった。嬉しい。その後料理を作ってもらって食べて、祝杯。店長はスマホで色々調べていたが、関西のテレビ局の特番で一番早いのはサンテレビの10時13分開始、とかファンが「胴上げ投手は浜地」と言ってたり、広島駅に「今晩の阪神の選手の新幹線での移動はありません」と掲示が出ているのか、色々教えてくれた。バイトの人はアジア大会のバレーボールの結果を見てから来たそうで、「優勝おめでとう！」と言ったらバレーボールは優勝出来なかったので、複雑な表情をしていた。その後呑み呑み話題があっち行ったりこっち行ったりしたが、何か理由を付けては Tigers の優勝の話に収束していった。まあよかったです。おめでとう。岡田はんですら出来なかった連覇だ。藤川球児監督は球団史に名を残せてよかったね。

で例によって記憶が無いまま帰ってきた。優勝特番の録画は出来なかったが、CS のフジテレビ ONE でやってる「プロ野球ニュース」を録画して寝た。で夕刻に起きて、見た。普通優勝が決まると、オープニングの前に優勝決定のシーンが流れるんだが、それは試合に勝って優勝を決めた時。昨日の決まり方では普通に番組を始めざるを得なかったようだ。で番組も割と淡々と進んで、優勝が決まったことも地味に話しただけ。まあ優勝会見とビールかけをちょっと流していたが。フジテレビ系のチャンネルなので、関テレの「はちえもん」を被っている女性レポーターが映っていた。

6時から Baystars の今シーズン最終戦があった。上に書いた通り Tigers と横浜スタジアムで。今日勝つか引き分けで Tigers との最終のゲーム差が10未満に成るのが確定するので、t大事な試合。二日酔いのチーム相手に負けることはなかろう、と思って見ていると、1回裏に早速1得点。が、フラフラの伊藤将司から点を取れない。二番手以降の投手からも何度もチャンスを作るが、肝心の所で点が取れない。4回に横浜スタジアムでの打率のいい大山にタイムリーヒットを打たれ追い付かれる。平良は6回を被安打2、1失点だが勝ち投手に成れず、キャリアハイの6勝は今年もお預け。でそのまま延長戦に。11回裏1アウトから牧がバットを折られるも、ライトのライン付近にポトリ。筒香が四球を選び1、2塁。エンカーナシオンもどん詰まりの当たりだったが、これがライトの前に落ちて、牧が生還してサヨナラ勝ち。よかった。これで貯金2、Tigers とのゲーム差も10未満が確定した。よかった。二日酔いチームから12安打で2点とは何ともな結果だが、まあいいです。これで3年連続71勝。Tigers は77勝、Giants は76勝。もうちょっと勝てば優勝に手が届くな。7月以降の戦い方を最初から出来ればな。まあ来年のことより CS のことを考えてください。貯金2、ファームが優勝と、2年前とよく似てる。日本シリーズ勝てるな。安心理論という奴だ。ちょっと前に「Tigers が優勝で Giants が2位、ということは無かったから、Tigers の優勝は0%」と書いてる人がいた。Giants ファンの安心理論だな。ま、土曜日まで Baystars は試合が無いので、5日間ゆっくり過ごしましょ。

いいことばかりだといいが、そうでもないこともある。2週間前の深夜3時過ぎに始めた有理点探しがまだ終わってない。Cohen の本に解説があるというのでちょっと見たが、難しそうでちゃんと見てない。結構複雑な計算をしているようだ。まあ気長に待ちます。Windows update に邪魔されないといいけど。

Tigers は自力で優勝出来なかったが、只今マジック対象チームの Giants が3点負けてる状態

木曜から金曜に掛けての晩は少々寝不足だったので、昨日は「ザキ山小屋 別館」が終わった後寝床に入ったが、寝たり起きたりでちゃんと寝られない。腹が減ったので、もう6時くらいには起きてしまった。映画を昼過ぎに見に行くつもりでいたが、寝不足だし映画の最中に眠くなったら嫌だな、というところで閃いた。今日は2時から Carp vs. Tigers があって、Tigers が勝てば優勝決定。よし、優勝決定のシーンを見よう、映画はまた今度、ということにした。で一昨日の「ゴチバトル」を見たり、ハードディスクレコーダーだ見ていると便利なのが、見ながらダビング出来る。VHS 時代では考えられない。ということで裏でダビングをして、ハードディスクに少々の余裕が出来た。すき家メニューを出前でとって食べて、と臨戦態勢。

2時前にチャンネルを J SPORTS 1 に合わせて観戦開始。才木はやってくれる、と信じたが、先制されてしまう。が、すぐ坂本のソロホームランと佐藤輝明の3ランホームランで引っくり返したが、すぐ裏に末包に3ランホームランを打たれて追い付かれてしまう。むぅ。才木は球数が多くてよくなかったな。早目に引っ込んでしまった。その後両チームのリリーフ陣が抑えていたが、8回裏にドリスが1点取られ、なお走者を2人残して降板。代わった石井も走者を返してしまい、8回裏終了時点で Carp が2点リード。9回表に Tigers が2アウト2、3塁のチャンスを作ったが、近本が凡退でゲームセット。今日目の前で胴上げされると3年連続だったとか。本拠地最終戦だし、Carp も必死だったな。Giants 4連戦で3勝1敗とか、この前は Baystars に勝ったりとか、最後に来て Carp が意地を見せてる。4位が掛かってるからね。最下位に落ちてから妙に強くなったな。来年も新井監督は続投のようだが、まあ来年に繋がるシーズン終盤にするのは大事でしょう。ということで Tigers は残念でした。

Giants vs. Baystars が6時からで、まだ30分くらいあったので、シャワーを浴びておくことにした。もうちょっと早く Tigers が負けてたら銀行に行きたかったが、ちょっと時間が無い。ということで今度は Baystars を応援。Tigers への援護射撃もあるし、シーズン5割以上が掛かってるから Baystars も必死よ。Giants の先発は Baystars を特にしている井上温大。ずっと連敗してたし、今年やっと一つ勝ったが、その試合も1－0と、相川監督も言ってたが全然打ち崩せていない。今日も苦戦。4回に1点取られたところで不愉快だから銀行にお金を卸しに行く。早く帰りたくないので、関西みらい銀行ではなく足を延ばして京都銀行まで行った。いつもの通り一部両替にして1000円札10枚を手にしたが、一枚が旧1000円札だった。ウェストウィング1階の自販機は全部新札対応に成ったし、いつも酒を買ってる自販機は旧札っすら受け付けないという謎な機械なので、もう旧1000円札を集めなくてもいいか、という感じだが、まあいいです。で帰り着いて見ると、まだ0－1だった。島田が引き続き投げていたが、2塁走者は井上温大。ロクでもないことに成らないといいが、と思って見ていたら、何とか抑えてくれた。島田は5回1失点ならまず合格でしょう。中畑氏曰く CS でも十分戦力になりそう、とのこと。が、6回から登板の尾形が丸にソロホームランを打たれて2点差。むぅ。が、今日は中畑氏が預言者で、井上温大がベンチでコーチと握手している映像が映って、それは交代を意味するのだが、中畑氏が「今日の温大は変えちゃダメ」と言ってたら Baystars にチャンスが巡ってきて、中川が走者を2人出しノーアウト2、3塁。筒香を抑えたところで中川から堀田に交代したが、「中川を代えない方がいい」と中畑氏。エンカーナシオンは凡退したが、宮崎がストレートのフォアボールを選んで満塁。そこから代打佐野の2点タイムリーヒットで同点、古市タイムリーヒットで勝ち越し、船迫（読めます？）に交代した後成瀬がタイムリーヒットで2点差。よしよし。7回に中川虎大がピンチを作るも無失点に抑えた。で8回に1アウトから牧が四球で出た後、筒香の2ベースヒットで牧が1塁から長躯ホームイン。3点差。さああと2イニング抑えれば Tigers の優勝だ。今日は優勝が決まったら ABC で優勝特番だと言ってたし、他局でもやるだろう。が、今は番組表から選んで録画予約するように成ってるから、番組表が差し替えられる前だと「はだかんぼうたち」とかいうアニメを録画することになってしまい、優勝特番に番組が変わると、「はだかんぼうたち」を録画出来ませんでした、というメッセージを残して何も録画されてない状態に成ってしまう。特番は諦めるか。何しろそろそろ呑みに行かないと店を閉められてしまう。Tigers の優勝を祝して呑むつもりなので、行かないと。今8回裏で Baystars が3点リード。さあどうなるでしょう。「詳細はコメント欄で」などとつまらん YouTube の動画みたいなことは言わないが、明日書くか、帰ってきてから書くか。いずれにせよそろそろ出発します。

「代数学II」は今日から

金曜日は1時10分から講義なので、職場で弁当を買って食べられるくらいの余裕を持って起きないと、思ったが、今日はもっと早く目が覚めてしまった。昨晩も遅かったんだが。うな松に寄れるくらいの余裕があったので、いつもの一本鰻にしようと向かう。11時を結構過ぎていたが、入った時から食べ終わる時まで他の客がいない状態だった。美味かった。財布の中を見ると、1万円札が一枚も無く、新1000円札も一枚も無い。が、貯めに貯めた旧千円札（この前也で見せたら哲也が「何枚あんの？」と呆れて数え始めていたが、52枚もあった）で払ってきた。明日銀行で金を卸すが、また「一部両替」の釦を押してしまうだろうから、新千円札が10枚補充されるな。

12時前に職場に職場に着いて、しばしぼーっとする。「代数学II」は初回だから、あまり難しいことはしないし。気楽に構える。

で1時10分のちょい前に講義室に向かって、で入ってみると案の定学生が少ない。想定内だが。時間少し前に黒板に卒研ガイダンスが近々ある旨書いたら、案の定黒板を写真で写す学生がいた。で時間に成ったら即開始。何をやるかちょっと話して、それから単位のことや何やら話して、間髪を入れずに開始。まずベクトル空間についてザーッと復習。いや、任意の体上のベクトル空間は知らないだろう。それと体の拡大があったら上の体が下の体上のベクトル空間とみなせることをちゃんと話しておかないと。赴任して最初の数回はその辺をちゃんとしなくて、よろしくないな、と思って、数回目からちゃんとその辺も話すことにした。つまらなかろうな。講義中に何度も後方の出入り口を開け閉めする音が聞こえたが、初回で嫌に成って逃げ出した学生がいるのかもな。で最後10分くらいで体の拡大の次数とか基底とか話して、拡大次数は1以上、というところで時間に成った。来週は拡大次数が1ってどういうこと？という辺りから始める。[L：K]＝[L：M][M:K] とか色々基礎的なことをその後にやる予定。

その後ちょっと休憩してゼミ。今日はミンコフスキーの一連の理論について。体積の計算が出来てると仮定して、判別式の下からの評価とか与えられた数を判別式に持つ代数体が有限個しかないとか。ちょっと面白かったのが、不等式を示す所で、「≧ じゃなくて ＞ だと思うんですけど」と言い出したこと。≧ は「でかい、もしくは等しい」だから、問題無い、と言っておく。夏休みに twitter を見てたら、≧ を示した後は等号が成立するのを確認すべきか否かで結構揉めてた。「greater than or equal to」だから確認する必要は無いのだが、最小値を求める問題と混同している人々は等号が成立するかどうか確かめないといけないと主張して譲らなかった。その後嫌に成って見てないが、決着はついたのでしょうか？ああいう場所での議論は顔が見えないしどんどん感情的に成ってくるので、最後はただの罵り合いに成る。人格を否定する発言もバンバン飛び出す。冷静にならないとね。

その後部屋でちょっとごちゃごちゃと。演習問題を moodle＋R に上げたり、来週のことをちょっと考えたり。宿題が二つあるのを忘れていた。急ぎでないので、後でやるか明日やるか。明日は映画を見に行こうという気に成ってるので、あまり遅く（早く？）までは起きていたくない。程々にしよう。一つは別に日曜日以降でもいいようなので。

ゼミが終わったのは6時ちょい前だったが、その後野球のことを思い出して見る。今日のセ・リーグは Swallows vs. Giants だけ。Giants が1点先制していたが、帰り際に見たら Swallows が2点リードに状況が変わっていた。よしよし。すき家でビーフカレーを食べて帰ってきて「報道ステーション」を見たら、5－1 で Giants 負けた！よしよし。これで Tigers のマジックナンバーは1。明日 Tigers はデーゲーム、Giants はナイター。昼勝って自力で胴上げを決めると分かり易くていいですな。Giants の相手は Baystars なので、昼 Tigers が負けても Baystars が勝つ（断言！）ので Tigers の胴上げは決まるのだが。明日は楽しく呑めるぞ。

Tigers vs. Giants の最終戦は5時間を超える激闘の末引き分け（マジックナンバーは2に減った）

昨日書いた通り今日は夕刻の6時半からの用事が全ての用事。まあそんなに遅くなく起きるさ、というつもりだったが、やはり不摂生が祟り、中々起きられなかった。何も食べないわけにもいくまい、ということで小さめのカップ麺をすすって、のつもりだったが、大蒜の風味の強いやつのようなので、大きい方にした。これだとそんなでもなかろう、ということで。で食べ終わってからシャワーを浴びて、5時半前に出発。凄い時間に出掛けたもんだ。

で職場に6時前に着いた。これくらいの時間だと事務の人も含め結構帰宅してるから、ウェストウィングの滅茶苦茶近くに停められる。で個研室でちょっと二次体の整数環を決定するのの証明を読んで時間潰し。山崎隆雄さんの本には Q(√(－d)) で d が square-free な自然数かつ d≡1,2 (mod 4) の場合は詳しく出てるが、d≡3 (mod 4) の場合は証明が出ていないので、学生がやり始めた時に突っ込みポイントが分かってないといけないので、考えておこう、ということで。何度も読んでるから、結構簡単に理解出来た。もうすぐ大学院の講義でもやるしね。丁度いい時間潰しだった。

で6時半前に4階まで下りて詰め所に行って、半から仕事。制御が専門の人の話を聞いた。あまりよく分からないが、熱心そうでいい人。一通り済んだ後ちょっと会議があったが、成程そこに目を付けますか、ということが幾つかあったが、まあ無事終了。ちょっと作文をしないといけないので、資料を貰ってきた。これからやるか、はたまた明日やるか、気乗りの具合次第。

個研室を出る前に野球の様子をちょっと見たが、1回裏に Tigers が無死満塁の大チャンスを作るも、4階で見た時は点が入ってなかった。佐藤が三振、大山が併殺打という展開だったようだ。用事が済んでから見ると1－1に成ってた。Tigers は大分拙い攻撃をしているようで、2回裏は無死1、3塁を活かせず無得点、3回裏は1死2、3塁で外野フライも森下が本塁でアウト。そうこうしてる内にロクでもないことが起きて、4回表に Giants が1点先制。がその後の満塁のピンチは抑えた。Tigers は4回裏も2死2、3塁のチャンス（村上の二塁打でチャンスが広がった）も近本が打ち取られ無得点。が、6回裏にここまで2併殺だった大山がホームランを打ち同点に。が、7回裏も1死1、2塁から佐藤、大山が打ち取られ無得点。するとまたロクでもないことが起きて、8回表に Giants に勝ち越されてしまう。むぅ。決着を見ずに9時半くらいに職場を後にした。

夜は大分涼しくなってきた。久し振りにちゃんぽん亭に寄ることにした。出入口をきちんと閉めない客が多いのが嫌なのだが、店も対策したのか、「冷房中」とでかでかと書いた紙が貼ってあって、更に「手動で閉めてください」と書かれた紙も貼ってあった。が、やはりまだ阿呆はいて、小生の少し後に入ってきた大学生風の客がドアを閉めないので、露骨に不機嫌な顔をして閉めた。すると「あ、すみません」と言ってたから、まあいいでしょう。彼は次からは大丈夫な筈。その後数組帰っていったが、皆きちんと閉めてた。冬場に開けっ放しにする輩が出ないように、もう少し教育をしてもらわないと。

10時半くらいに帰宅した。野球の結果が気に成るが、スマホも見ずパソコンも見ずに、「報道ステーション」のスポーツコーナーを待った。CM 前に延長戦に成ったようなことが画面に出てて、ライデル・マルティネスと大山が映っていた。CM が明けて結果を見ると、9回裏2アウト2、3塁という場面から大山が同点打を打ったようだ。大山は併殺打も打ってるがホームランも同点のタイムリーヒットも打ってる。3割打てば上出来、得点圏打率は3割2分くらいあるとチャンスに強いと言われる競技。今日の大山は充分合格だ。「結果」と書いたが、試合はまだ続いてるとのことで、「結果」ではなかった。で暫くしてパソコンで速報を見ると、引き分けたようだ。岩崎が派手にガッツポーズをしたりとか、まだ本調子ではない石井が三者凡退で抑えたりと、Tigers にとっては収穫だったな。ゲーム差は2のままだが、マジックナンバーは一つ減って2。明日2日は Tigers は試合が無く、Giants は Swallows と。明後日3日は Tigers は Carp と、Giants は Baystars と。ということで一番早い優勝決定日は10月3日。明日広島に移動中に優勝が決まるとか成らなくてよかったな。明後日は Baystars は何が何でも援護射撃しないと。いや、Baystars のシーズン5割以上が掛かってるし、首位との10ゲーム差以内も掛かってる。援護射撃でなくても勝たないと。

明日は1時10分から「代数学II」。出席者は少なかろうな。それでも一生懸命やるよ。出席者は1人でも、真面目に聞いてくれれば当然やる。いや、真面目に聞いてなくてもきちんと形式は保つよ。仕事だからね。誰も部屋にいなかったら30分待って帰るけど。その後ゼミがあるので、住処には帰れないけどね。今年度はゼミが3つあるが、一人、一人、二人と少数精鋭。春学期は全部一番狭いゼミ室でやってたけど、秋学期は一つだけちょっと大きい部屋でやることに成ってしまった。前も書いたがゼミ室足りないよ。もっと部屋をくれるよう、学科として訴え続けないといけないね。