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

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

で目が覚めたらもう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時半に目覚ましを仕掛けておくと安全だな。

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