卒研ガイダンス無事終了（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 の監督に工藤公康が成ることが決定的とか。来年は手強くなりそうだ。

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