またしてもエポックに泊まっている

明日朝早いので、またしてもエポックに泊まっている。早目に起きて床屋へ行って、というのは昨晩の夜更かし（また下らん計算をしていた）で頓挫。起きたのは夕刻。相撲が終わってから髭を剃って、シャワーを浴びて出発。すき家でカレーを食べて、個研室にちょっと寄ってっ必要なものを拾ってからエポックへ。今日は祝日だからだろうか、何やら1階に団体がいた。カウンターで精算をされている方がいたが、80人くらいの分を一気に払うようだ。ご苦労様。こちらはいつもの通り3000円支払ってチェックイン。時々小生の名前を「貴幸」と書いてることがあるが、部屋を押さえた時に字が汚かったからか念のためというか聞かれ、「貴重品の貴に文章の章です」と答えておいたので、ちゃんと「貴章」に成ってた。

部屋に入ってから野球を見ている。見始めた時は4－1でリードしていたが、先発の早川が四球を結構出していて、1点差になって清水に交代。審判辛いな。まあここは逆転されるでしょう、と思って見てたら、投ゴロ併殺打と三振で何と抑えた。Dragon のリリーフ陣はやはり凄い。でそのすぐ裏に満塁からのワイルドピッチと清宮の2点タイムリーで再び4点差。すぐ3番手の北山が2点取られるも、またすぐその裏に辰己が2点タイムリー2ベースヒット。今日も勝ちそうだ。最後までゆっくり見てると明日の業務に支障が出るかもしれないので、そろそろ寝る支度をする。詳細は明日見よう。

明日解放されるのは多分6時過ぎだろうから、相撲の結果も分からない。まあ「サンデースポーツ」で見ればいいや。色々片付いてくると嬉しい。まあまだまだやることは目白押しなのだが。

ベネズエラに2点リードを許すもあっさり追い付き、牧がとどめの満塁ホームラン

日曜日に向けて（謎）生活リズムを整えて、万が一でも風邪をひいてはならん、の筈が、何か始めると熱中してしまう。昨晩も秘蔵の代数問題集をいじってたら意味不明な問題があって、考え始めてしまう。で結構な時間に成ってしまった。いかん、寝るぞ。

で目が覚めたら11時40分くらい。ダッシュで出掛ければ弁当が売り切れる前に職場に着くだろう、と12時半ちょいには着いた。が、弁当が売ってない。明日が祝日なのと関係あるのだろうか？仕方ない、生協で冷めた唐揚げ弁当を、と思ったら、今日も生協の前に揚げたての唐揚げの弁当を売ってるキッチンカーが。ちょっと時間が掛かって、食べる時間が短くなるが、やはり出来立ての方がいい、ということでそっちに並んで個研室で短時間で食べる。

1時から「代数学II」。まず有限次拡大がガロア拡大であることと拡大次数がガロア群の位数と一致することは同値（の簡易版）を証明して、でそれを幾つか例で見て、固定体を定義して、有限次ガロア拡大だと Gal(L/L^H)＝H を証明したあたりで時間。L^Gal(L/M)＝M は来週。基本定理の主張を書いて証明して、例を幾つかやって、というところまでいきそうだ。今日で9回目だからね。面白くなってくるあたり。分からんちんな学生は？マークが頭の上を飛ぶ量が増えてきただろう。そろそろレポート問題を考えないといけないかな。

2時40分から代数的整数論のゼミ。今日はまず判別式が負の3次体の基本単数の計算を幾つか。まあ何か求まるんだな、という感じで、いまいちちゃんと聞いてなかった。その後 Minkowski の理論に突っ込む。フーリエ級数が何だとか重積分がどうしたとか測度の不変性が何だとか、聞き慣れない話題が多かったが、ちゃんと説明していたようだ。が、幾つか気に食わないこともあった。前半でギャップを埋めてないところがあったり、後半では内積を考える時に一方が零ベクトルだったら0に成るとか至極当たり前のことを一生懸命説明しだしたり。線形なものは何でも0を0に写すんです。まあ何はともあれ、大変だった。5時半ちょっとに終了。

その後個研室で気に成ったことをちょっと計算。そんなこんなしているうちに6時ちょい。一番高速道路が混む時間だが、まあ早目に帰りましょ、ということで職場を後に。高速道路は案の定渋滞。「事故渋滞11km」の表示を見て、ぎょっ！と思ったが、暫く進むと「京都南－茨木 事故渋滞11km」の表示。ちょっとほっとするも、混雑していることに違いはない。外環三条の交差点に辿り着いたのは7時過ぎ。腹が減ったし、はま寿司でも行くか、と思って行くと、こちらもかなりの混雑。明日は土曜日だし、しかも祝日だし、夜7時過ぎだしな。でも団体客は待たされるが、一人客はそんなに待たない。カウンターの両隣は二人組×2だったようだ。二人ならテーブルじゃなくてもいいのかな。でいつもの通り左折で出て大回りして帰ろうと思ったが、外環が案外すいてたので、右折してまっすぐ帰ってきた。

はま寿司に入る前に野球をちらっと見たら、3－0でリードしていた。住処に辿り着いた時点では3－2。才木が2ランホームランを打たれたようだ。その後6回表に2ランホームランとタイムリーヒットでひっくり返され2点差。うむ、と思って見ていたが、6回裏に坂倉がソロホームランで1点差、栗原が押し出し四球を選んであっさり同点。で次打者の牧が何と満塁ホームラン。ただいま9回表2死で大勢がマウンドにいる。もう勝つでしょう、という油断が怖い。最後まで引き締めないと。

「代数学II」の後始末が残っていたのを思い出して一作業。FFFTP でファイルを送って、Tera Term でちょっとホームページを直して、さて完了、と思った見たが、何やら forbidden というエラーメッセージ。昔ちょっとだけ UNIX をいじってた経験がこういう時に活きる。chmod でも実行すれば終わりでしょう、と思ったが、chmod の使い方を忘れてしまった。が、今はこんな時は「UNIX chmod」くらいで検索すればすぐ出てくる。思い出した。で完成。気に成ることが無いのはいいことです。

などと書いてしばし。大勢は1点取られたが、まあ大過無し。これで国際大会26連勝。何か今年は26という数字をよく聞く。Baystars が26年振りの日本シリーズ制覇、Hawks は26イニング連続無得点の日本シリーズタイ記録（29イニングの新記録まで伸びたが）とか。優勝するな。

大谷が MVP をとったらしい。DH としては史上初。まあ色々記録を残してるから、当然だろう。今年の野球は面白かった。まあ Baystars が Tigers も Giants も Hawks も破ったから楽しい気分でいられるから面白かったと言っている。これで Giants が日本シリーズまで制覇したら気分は最悪だったな。Hawks が優勝するのもそんなに楽しくはないが、まあ Giants よりはまし。残るはプレミア12優勝。明日、明後日で決まる。どうなるでしょう？

伊吹山知義「線型代数学」近代科学社（1600円＋税）は今でも手に入る

やはり一日寝不足だと後日に響くな。今日も12時くらいまで起きられなかった。シャワーをざっと浴びて、12時20分くらいに出発。弁当を買って食べる時間はちょっとあるかも、と思ったが、信号の運が悪かったりなんだりで、12時50分くらいにやっと職場に着いて、弁当はもう売り切れていた。生協で買うほどの時間は無いので、ウェストウィングの1階の自動販売機でパンを一個買って齧ってゼミへ。

今日は Z[√2] で素数がどう分解するかの法則をルジャンドル記号で書いた後、第2補充法則を使って合同条件で書く話。虚二次体の場合の証明を真似てきたが、「虚部」という言葉を直さないといけなかったり、単数群が無限に成ることから生じる難しさで紛糾したり。でまあ三人寄れば文殊の知恵というわけで、紛糾したところも解決して、まあよかった。後で見直したら、± を付けないとまずい所が2か所ほどあったが、まあ軽微な修正で済むのでよし。次回以降のために TeX 化しておくことにする。で選手交代で、類数が1でない場合の虚二次体の章に突っ込む。順番の学生は春学期の初回を担当した学生だが、大学院に進学はしないが、相当な整数論好きというか整数論マニアというか。リュービルが Q(√－17) で169が二通りに既約元分解される例を書き残した話とか、Z[ζ₂₃] で二通りに既約元分解される例の話をしたりとか。うん、まあこういうのを楽しくやりたいなら、大学院行って修了して本職に成って、より趣味で楽しむのがいいかもしれない。本筋の話もしていたが、(2,1+√－5) が Z[√－5] の素イデアルであることの証明はちょっと下手。まあだから趣味のままでいた方がいいのかな、という気もする。でちょっと分からないところがあったので教えてもらったりしているうちに4時20分くらいに成っていた。延長して申し訳ない。

その後線形代数。形式的な議論が続く所なので、準備して話す分には楽。学生はチンプンカンプンだろうが。7時45分くらいには大体目鼻が付いて、帰って野球を見ようか、と思ったが、火曜日の講義の資料を印刷しようと眺めているうちに、一箇所補足しようと思ってそう書いておいたのを思い出した。でちょっと読んでみる。うん、まあ普通の環でこう出来るかは分からないが、最大公約イデアルを素イデアル分解から求める方法をやったばかりなので、代数体の整数環なら問題無いな、ということでもうちょっと読んで、気付けば9時。結局こんな時間に成ってしまった。

寒いな。駐車場が遠いぞ。エンジンを掛けると、外気温9度。この前7度くらいまで下がった日があったが、今日の方が寒い。湿度の関係か？幸い風が殆ど無かったので、大丈夫だったが。が、ハンドルが冷たく、手袋を出した。でちゃんぽん亭で温かいものを食べよう、ということにして、南田山を左折。いつもの通り出入り口をちゃんと閉めない奴が多い。寒いから、虫が入るから、とちゃんと閉めてねと書いてあるんだが、読んでないんだろうか？銭湯通いしている頃いつも腹立っていたのが、浴場と脱衣所の間のドアをちゃんと閉めない奴が凄く多かったこと。まあ流石に銭湯だから、暫く経てば閉まるんだが、冬場で、しかもドアの近くにしか陣取れなかったと時は本当に嫌だった。ああいうのを気にしないような鈍感な奴が煙草のポイ捨てとか平気でやるんだろうな。講義に遅れた時とか、途中で色々理由があって出ていく時とかは後ろの出入り口を使うのが当然だと思うんだが、前の出入り口を平気で使う輩が結構いる。そういうデリカシーの無いのは大物に成れない気がするが。いや、逆に大物に成るのかな？知らんけど。

さて、先日話題にした伊吹山先生の線形代数の本だが、もう手に入らないだろうと書いたが、もしかしたら、と思って、生協と提携しているオンラインの本屋を調べたら、ある。近代科学社っていう出版社を知らないし、1987年初版の本だから、無いだろ、と思ったが。今日届いたので見てみると、2018年の初版第13刷。着々と売れていた、ということだろう。今時は本は売れなくなったろうな。2回生の線形代数を去年まで数年やっていたが、レポートに何を調べたか、誰に聞いたか、とかそういう情報は全部書け、と言っておいたら、何やら怪しげな名前のサイトに出ていた解答を写したという学生が多かった。本を調べるというのは最早遠い昔の話なのかな。メモを取るにもペンと紙でなく、スマホで写真だから。手で書き写す分には一度手を使って脳味噌で咀嚼するが、写真を撮るだけではちょっとな。写しておいて後で読み返せばいいが、してる？という気がする。今日の学生は珍しく二人とも大学ノートを持って板書していたが、タブレットを使う学生が増えてる。まあタブレットはまだ書いてるからね。えーと話がそれた。伊吹山知義「線型代数学」近代科学社、1600円＋税（安い！）、買いましょう。

野球だが、また勝ったようだ。アメリカ相手に9－1。5回表にソロホームランで1点先制されるも、すぐ裏に坂倉タイムリー2ベース、小園タイムリー2点タイムリー3ベースであっさり逆転。7回裏に小園3ランホームラン、8回裏に桑原のタイムリーヒット、8回裏に小園が2ランホームラン。うーん、アメリカが一発攻勢に負けるか。凄いな。昨日レギュレーションを知ったのだが、東京で4チームが総当たりで1、2位と3、4位のグループ分けして、それから決勝と3位決定戦をやるそうだから、一つは負けてもよさそうだが、まあ負けないで済むならそれに越したことはない。負けるのがよりにもよって決勝、というのは勘弁して欲しいが。

などと書いてしばし。近代科学社のホームページを見てみた。東京理科大の先生の書いているシリーズ物や、新妻弘「独習ガロア理論」を出してる会社だと分かった。成程、面白そうな本が結構ある。まあ適宜買いましょう。

TeX の bm というパッケージを知り、\boldsymbol と打たなくてよくなった

昨日は超寝不足だったが、中々眠く成らなかった。で今日は床屋に行こう、と思ってんだが、寝付いた後は流石に疲れていたか全然起きられず、起きたらもう相撲が始まってる時間だった。12時間以上寝たことに成る。復活に時間が掛かるが、それでもやはり夜更かしは楽しいので起きていてしまう。前はそうなると必ず酒を呑んでいたが、最近は酒抜きでも起きていられるようになった。

で起きて相撲を途中から。宇良 vs. 平戸海の小兵対決は、2回物言いが付き、3番取った。最初の2番は平戸海が攻め込んでいたが、最後は宇良が優勢に進め、押し倒しで白星。面白かった。大の里は隆の勝に負け4敗。うむ。かたや隆の勝は1敗キープ。これで1敗は豊昇龍、琴櫻の両大関と、平幕隆の勝の3人に。隆の勝は一度優勝決定戦を経験している、今場所はどうでしょう？2大関のどちらかが優勝するのが相撲協会としては嬉しいだろうが、平幕優勝はそれはそれで面白いので、楽しみだ。

で上に書いたことの調べ物のために Yahoo! のページを見たら、北の富士勝昭さんが亡くなったというニュースが。解説をずっと休まれていたが、7月の名古屋場所で VTR 出演された時は元気そうだったが。火野正平が死んだというニュースもあった。子供の頃からのスターがどんどん亡くなっていく。前に石野真子だったが言っていたが、年取ってくるといいことない、知り合いがどんどんいなくなる、と。そうだな。親父殿も死にそうだし。まあ実家もこっちも近所付き合いがほぼ無いから、他人の通夜、葬式に出なくていいのはいいが。足立先生にはいつまでもお元気でいて欲しいが、まあ寿命ばかりは分からんからね。

足立先生と言えば、TeX が何やらおかしくて困っておいでのようだ。プリアンブルをコピペしたものを送っていただいたが、見ると特におかしなことは無い。謎だ。ただ、送付されたプリアンブルを見ていいことを一つ知った。bm というパッケージがあり、これを使うと \boldsymbol と打ち込んでいたのが \bm と短く打ち込むだけでいい。線形代数関係の物を TeX 打ちしていると、ベクトルが沢山出てくるから \bm でいいのは非常にありがたい。TeX に関しては毎日のように何か新しいものを知る。暇な時に色々調べてみよう。

月一の保健センター行はドラッグユタカが暫く閉店なので来週にすることに

今日は月一の保健センターの日だったので、早寝して早起きして、と先週は思っていた。しかし数日前、いつも薬を処方してもらってるドラッグユタカ山科店が改装だか何だかで昨日から24日まで休むらしいと知った。薬がもらえない。他のドラッグユタカでもいいかとも思ったが、新しい所へ行くと色々書かないといけなくて面倒だし、そうかと言って他の行ったことのある薬局でも新しい薬をもらうとどうしたと聞かれて面倒。薬のストックも十分あるし、来週にしよう、ということで、だらしない生活をした。いや、ちゃんと数学をしたんだけどね。昨日書いた判別式 D の二次無理数と「モ変形」で写りあうのはやはり判別式 D の二次無理数、というのの証明を考えた。勿論徒手空拳で考えるのは無理だと思うので、高木貞治「初等整数論講義」を引っ張り出してきて、睨めっこしたわけだが。で何やら結構計算しないといけないような証明に成っていて、嫌だな、と。まあ昨日学生がやっていたようなおぞましい “証明” よりはましそうだが。「数論序説」の証明も何だかよく分からないし、どうしよう、とああでもないこうでもないとやっているうちに、大分見えてきた。「初等整数論講義」に書いてある判じ物が何を言いたいか分かってきたので、「数論序説」の証明を考え直してみたら、ああ、そういうことか、と。「初等整数論講義」に出ている謎の式は行列の成分で、結局行列式の計算をすれば、おぞましい計算はいらないな、と。|^tA|＝|A| とか |AB|＝|A||B| が役に立つ。ということで完成。数時間掛かった。TeX 化しようかと思ったが、寝ておかないといけないので、やめることにした。

で爆睡して講義に遅刻、というわけにはいかないので、テレビを消さずに横に成る。12時と1時にアラームが鳴るようにしてある。で1時に起きた。「徹子の部屋」の音声が聞こえてきた。この前話題にした風間俊介が出ていたが、とっちゃん坊やみたいな顔をしているが、もう41歳だと知ってびっくりした。4チャンネルに切り替えて、でちょっとお腹の調子が悪いので少し個室で座っていたが、賑やかな筈の「ゴゴスマ」が静か。戻って見ると、鈴木紗理奈が何やら真剣な表情で話している。途中からだから何だか分からないので、2時に成っていたし、職場へ向け出発。幸い小生の車は地下に行っておらず、すぐ乗れた。

2時40分から院生向け「数理科学特論1」。この前素イデアル分解の可能性の証明が何かおかしくて時間の兼ね合いで修正が無理そうだったのもあって、今日はそれから。ちょっとした書き間違いだけだった。でその後分数イデアルを導入してから、I⊂J ⇔ J｜I とか、I＋J の素イデアル分解が I,J の素イデアル分解から分かり、最大公約数みたいだよね、というあたりでチャイムが鳴った。今日も寝不足でハイだったので、がーっと喋り捲った。出席者が大分減ってきたが、まあいいです。小生のゼミの学生に向けてやっているので。単位認定は甘いので、まあいいでしょう、ということで。

寝不足だから、大渋滞に成る前に帰宅しようということで、すぐ職場を後にした。「瀬田東JCT－大津 渋滞」とか「京都東－京都南 渋滞」の表示だが、草津JCTからでないので、名神にすぐ合流できるだろうということで、安心。瀬田東JCTを過ぎたらちゃんと渋滞が始まった。で「この先渋滞14km」の表示でギョッとするが、そんなでも無かった。結構な距離 60km/h は出せていた。5時くらいには住処着。

で相撲がやっているのをすっかり忘れていて、仮眠してしまう。8時過ぎに起きて夕飯。その後久しぶりに「マツコの知らない世界」を見た。メンチカツの話をしていたが、メンチカツっておいしいよね。小学校の給食で一番好きだったメニューかもしれない。ラクトの豚カツ屋に対し A 堀先生も T 教授も手厳しかったが、A 堀先生はメンチカツはジューシーで旨いと言ってて、確かにそうだった。が、数年前に行ったら、味が目茶目茶落ちてた。その時この店には二度と来ないな、と思ったのを思い出した。東京の今半のメンチカツが美味しいとのこと。行ってみるか。

2、3メールを書いて、二次無理数のことを TeX 化して学生に送るか、と思ったが、面倒だ。分かってしまうとそれで終わりにしてしまい、書き散らかした紙が大量にある。面倒だがやるか。「証言者バラエティ アンタウオッチマン！」が終わるのは1時半過ぎだから、今からやればそれまでに終わるだろう。寝不足だから、今晩はゆっくり寝たい。今朝は寒かったし、明朝はもっと寒いようなことを言ってた。風邪をひかないようにしないと。日曜日までは調子を崩すわけにはいかないのでね。

「モ変形」で2次無理数の判別式が変わらないことの証明は？

今日も12時くらいまで起きられなかった。まあ月曜日は2時30分の講義終了後4時20分まで用事が無いので、ご飯を食べる時間があるのでいいです。シャワーを浴びて寝癖を直してから出発。

1時から「数学IV（線形代数）」。今日は先週やった直和であることの同値性を使って、幾つかのベクトル空間を直和分割して、で3個以上の場合も同様に定義出来て、判定条件もある、ということを例示。その後漸く写像の節に入った。写像って色々分かりにくいから、ちゃんと話したつもりだが、分かってもらえたろうか？大分時間が押してるので、後で manaba+R を見てね、ということにして程々に済ませて、その後線形写像をちょっと。定義してから、f が線形写像であるのは f(au+bv)＝af(u)＋bf(v), ∀a,b∈R, u,v∈V が同値とか。前に同僚が学生に「一まとめにすれば」とご気楽に話していたが、片方の含意はちゃんとベクトル空間の公理やら0倍が零ベクトルであることとか使わないといけないので、一言で済むようなものではないことを注意しておく。で正比例の関数が R から R への線形写像であることを示したら時間に成ってしまった。来週はいつもの通り色々例を出して、数ベクトル空間の場合の行列を掛けることによって得られる線形写像をたっぷりやる。結局同型写像を通して数ベクトル空間の計算に帰着させるわけだから、そこをちゃんとしておかないとね。

で生協で冷めた唐揚げ弁当を買おうと思っていたが、生協の前に唐揚げ弁当、唐揚げ丼を売っている車がいたので、そっちに変更。揚げ立て熱々というわけではないが、やはり温かいのはいい。で食べてから講義資料から来週に回す分をコピペしたり、ちょっとテキストの先を読んで、ダブってる部分を省いたりと作業。結構簡単に時間は過ぎていき、気付いたら4時を過ぎていた。人生は短いコーヒーにクリープ、だったか何かそんな CM があったな。「ゆっくり走ろう神奈川県」とか「ゆっくり走ろう、oh ローレル」とか耳に残ってるCMは結構ある。最近一部 SNS でダイクマというホームセンターが話題に成っていたが、皆一様に「♪ダイナミック・ダイクマー」と書いてる。耳に残るよね、やっぱり。

4時20分からゼミ。先週は一人欠席で、今週は別の学生が欠席。こんな時期に就職活動とか言ってるが大丈夫なんだろうか？知らんけど。今日は2次無理数の話。一人目がざっと復習をしてくれて、二人目がいよいよ2次無理数をやる。判別式とか「簡約されている」とか定義。で判別式が D の2次無理数と同値（高木貞治の本の「モ変形」というやつで移り合う、ということ）だとやはり判別式が D とか。群作用をあまりよく知らないのか一生懸命計算していたが、「モ変形」の逆変換も「モ変形」とか知ってれば一つはそんなに計算しないで済む。が、もう一方は破綻した。一生懸命物凄い計算をしていたが、どうにか成るだろうと思ったが、何かおかしい。まあここは一旦保留にしましょ、ということにして先に進む。が、その物凄い計算で時間を使ったらしく、オイラー・ラグランジュの定理の証明を勉強出来なかったそうだ。前は何だか分かってんだか分かってないんだか、ぐじゃらぐじゃらとやっていたが、最近は分からないことは分からないとはっきりさせてきているので、まあいいです。うまく出来るかどうかはその後の話だ。7時前には解放された。

その後部屋でもうちょっと線形代数。数ベクトル空間の場合を徒手空拳でどうにか出来ないかと奮闘していた所はテキストに階数を使ってエレガントにやっていたので、そこは資料から削除した。でもうちょっとやろうかというところで、ふと微分方程式について勉強しないといけないんだったのを思い出した。tsuno さんが伊吹山知義先生の線形代数の本にそういうことが書いてあって面白い、と言っていたのを思い出し、4階にある学科の資料室を見にいく。まだ資料室が6階にあった頃に見掛けた気がする。で行ってみるとあった。こそっと借りてくる。で9時過ぎに個研室を後にする。

土曜から日曜に掛けて職場に泊るので、その宿泊予約をエポックにしに行って、豚カツを食べに南田山の交差点を右折。で揚げ物は時間が掛かるから、ちょっと文庫本を、と思ったら無い。土曜日に出掛けた時に別の鞄に移して戻し忘れてた。まあいいや、ということで伊吹山先生の本を持っていった。面白いな。薄いが色々書いてある。いつ頃出版された本だろう？と思って見たら、昭和62年。小生が大学に入った年だな。まだ消費税が課される前。双対空間もジョルダン標準形も書いてある。もう少し早く見ておけばよかった。もう流石に手に入らないだろうな。まあいいや、こっそり借り続けよう。で豚カツに海老フライ一本付けて豪勢に。

しかし寒いな。車に乗った時の外気温は10度。がすぐ9度に下がり、走っているうちに8度に成った。で逢坂山の峠前の温度計は7度。明日の最高気温は13度とか。冬物を着ていかないといけないな。東京は昨日と今日で最高気温が10度も違ったと言ってた。勘弁して欲しいね。

帰宅してメールを見ると、足立先生が書き物をしたので点検してくれないか、とのご依頼。この辺の話題はここまで抽象的にやったことはないので、勉強になりそうだが大変そう。まあ来週からちょっと時間が出来るので、勉強しよう。とりあえず TeX のことを少々知っていただけると嬉しいので、\middle という命令のことを書いておく。山崎隆雄さんも知らなかったようで、前に教えてあげた。\left と \right を巧みに使って | を大きくする方法を前に T 教授に教わったが、全然覚えられなくて、毎回昔のファイルを開いてコピペしてた。\middle を知ってから凄く楽になった。TeX の本をたまに開くのもいいものです。TeX は奥が深いからね。そう言えばこの前 \{1,2,\dots\} でメモリーだかスタックだか何かが足りない、というメッセージを吐いて TeX が止まってしまった話を書いたが、何故急に出るようになったのだろうか？TeX Live のバージョンが新しいからかと思ったが、これを今打ってるパソコンの前のパソコンも末期に TeX Live 2024 にバージョンアップしたがエラーは出なかった。OS が 10 から 11 に成ったからだろうか？分からん。まあもうこれからは \{1,2,\ldots\} とするからいいです。

野球だが、勝ったようだ。11－3。これで全勝で東京に帰ってくる。次の試合は木曜日で、相手はアメリカ。大したメジャーリーガーがいないから大丈夫、みたいな楽観論もあるが、日本シリーズの結果を見ると、それはやめた方がいいよね、と思ってしまう。優勝するにはもう勝ち続けるしかないのだ。国際大会での連勝をどんどん伸ばしましょう。

侍ジャパンスーパーラウンドへ進出決定

昨日のふなごやは大忙しだった。近所の京都薬科大学のヨット部OBの呑み会だったようで、数年前に卒業して広島で働いている高橋君もわざわざ来ていた。で会うなり「優勝おめでとうございます！」と言われた。やはり Giants に勝ったというのがポイントが高かったようで、嬉しそうだった。まあ Carp はあんなことになったけどね。現役生が数名混じっていて、今日何やら大会があると言ってた。で現役生は少々早目に退散していったが、OB連中はもう一呑み。11時半くらいに全員帰っていった。で店長によると、昼も忙しかったそうで、ランチのお客さんが数名、Uber Eats、出前館と一気に来たようで、出前館は凄い量を一遍に頼まれたので断ったとか。まあ忙しいのはいいことです。暇過ぎると潰れちゃうからね。まあ夜はいつもの人に加え、昨日からのアルバイト女子がいたので、まあ大丈夫そうだった。聞いてみると薬大のヨット部の学生らしい。仲間は呑んでるのに自分は働いて、というのは大変だな。が、聞いてみると19歳らしいから、まだ呑めないのでよかったろう。でその娘は仕事が終わると帰って、結局いつもの通り3人で遅くまで。楽しかった。

で帰ってきてからパソコンの前で一作業。昨日 DCM で買った物の一つは Bluetooth 接続のマウス。使ってたマウスの左のボタンが時々接触不良になるが、大丈夫な時は全然問題無く動いたりと、挙動不審なので業を煮やした。ちょっと小さかったかな、という気がするが、まあいいです。で電池の入れ方が中々分からず一苦労した。でちゃんと使えるようになった。そんなこんなしているうちに相撲のダイジェストが始まっていた。急いで NHK 総合にチャンネルを合わせる。で見てからダウン。

何故いつもテレビの電源を落とさないで寝るんだろう？ということで相撲の音声が聞こえてきた。十両の取り組みから放送しているようだが、眠いので幕内の取り組み成るまで引き続き寝る。今日は柔道の選手がゲストに来ていて、色々柔道と相撲を対比していて面白かった。

プレミア12が7時プレーボールだが、放送自体は6時半開始。ということで ABC にチャンネルを合わせて、寝床でちょっとウダウダと。そうこうしているうちにちょと寝入ってしまった。気付くともう試合は始まっていた。今日の相手はキューバ。強豪だが、今日日本に負けるとオープニングラウンドで敗退、逆に日本は勝てばスーパーラウンドへ進出で、しかも1位抜け。でキューバどうしたというくらいで、5回終了時点で5－1と日本がリード。が6回にキューバが3点取り1点差。キューバはパ・リーグ防御率1位のモイネロを出してきたが、この前先発した試合は2回6失点と悪く、確か満塁ホームランを打たれたんじゃなかったかな。今日も満塁から押し出し四球と、相変わらず悪い。が、流石はキューバ。日本のエラーに付け込み同点に。うむ。しかしキューバはモイネロにこだわり、3イニング投げさせたが、8回に再びピンチを作り、栗原が犠牲フライ。浅かったが、代走で出た俊足の五十幡がホームインで勝ち越し。

などと書いてるうちにここまで走者を出していない藤平がリリーフに出たので、あっさり勝つでしょう、と気楽に構えていたら、1アウト満塁のピンチ。うむ。

で怖くて見ていられなかったが、その後2者三振に斬ってとって、無事勝利。よかった。野球大国キューバ敗退。最後雨で滑る中フォークを放らせたキャッチャー佐藤都志也は立派だ。明日勝って全勝で東京に帰りましょう。井端監督の言う通り、1点ずつ積み重ねていけたのがよかった。佐野が2打点。牧はドカベンの殿馬ばりの秘打・途中でバットを止めるタイムリーヒットが効いたな。この秘打は原辰徳の専売特許だと思っていたが。まあよかった。今晩は安心して寝られる。有働由美子はスタジオに控えていただろうが、ニュース番組内で野球を延長して放送して、もうこれからすぐドラマが始まると言ってた。無駄な時間だったね。まあギャラは出るのだろうからいいでしょう。

途中兵庫県知事の速報が入ってきたが、あのパワハラ親父が再選されたそうだ。兵庫の人は何を考えてるんだろう？パワハラに行った先々でお土産をねだって、自分がさぞかし特別な人間だと勘違いしてる輩を何故当選させる？まあ今までのようにいかないことを斎藤さんも知ったろうから、少しはましになる、という期待もあるのかもしれないが。知らんぞ。

玉鷲が40歳の誕生日を白星で飾る

今日は二つばかり用事があった。10時半くらいに起きようと思っていたが、ついまた寝る前に下らんことを考え始めてしまい、寝たのは4時くらい。流石に起きられなかった。11時過ぎに起きて、ちょっと遅れたがまあ大丈夫で、用事を済ませてくる。この前現金で6万ばかり払ってしまったので京都銀行で少々おろしてからなか卯で親子丼。新500円玉が財布にあったので、親子丼450円を現金で払ってきた。DCM（旧ケーヨーデーツー）でちょっとお買い物をして帰ってくる。

1時過ぎに戻ってきたが、眠いぞ。ということでもう一度横に成る。次の用事は4時半過ぎに四条烏丸に行くことだったが、起きたら4時過ぎ。テレビを消してなかったので、相撲の音が聞こえてきて、尊富士の一番だったので起きて見た。尊富士強いな。で既に出遅れているので、急いで向かう。で用事を済ませて、隣の喫茶店でドライカレーセット。1000円はちょっと高い気がするが、まあコーヒーとセットでだったらそうでもないか。

帰ってきて NHK で関西ローカルの番組を見て、その後ニュース。相撲の結果を知りたかったので。玉鷲が今日40歳の誕生日だそうだが、勝って自分の誕生日を祝っていた。素晴らしい。今日誕生日の有名人は来生たかお、オール巨人、小島よしお、村井美樹、内田有紀など。来生たかおってもう74歳なのね。内田有紀は49歳。ちょっとビックリするね。

今プレミア12がやっている。台湾相手に3－0でリードしている。森下の犠牲フライで先制したようだが、そこで三塁ランナーの桑原が好走塁を見せたようだ。素晴らしい。辰己のタイムリー2ベースで1点、源田のソロホームランで1点、という感じ。才木は6回途中無失点。ランナーを二人残して交代したが、代わった Marines の鈴木昭汰が抑えた。鈴木昭汰のことは全然知らなかったが、今年は51試合投げて27ホールド5セーブ、防御率0.73と凄い成績を残している。色々やることがあって野球の中継を見なかったり、CS でやってる「プロ野球ニュース」見ないのはよくないな。少し余裕のある生活をしたいもの。来年度はどうなるでしょう？

昨晩寝る前に調べたら、Baystars の優勝パレードは30日だそうだ。が、一瞬ドキッとした。「チケット販売」と書いてある。え？一般道で見られるんじゃないの？と思ったら、スタート地点の「ハンマーヘッド」周辺だけ有料のようだ。ビックリした。ハンマーヘッドってよく知らないけど、海の近くに出来た新しいショッピングセンターのようだ。そこから横浜スタジアムに日本大通り側から向かうらしい。ということで宿を、と思ったが、その時期の横浜は中々宿がとれない。前に相鉄線に乗りまくるために泊った「相鉄フレッサイン」も満室。で2、3調べて、馬車道の何とかいうホテルが取れた。が、うっかり喫煙可の部屋を予約してしまったようだ。まずったな。まあいいです。我慢する。でパレードは午前中のようだ。場所取りが激しいことが想定されるので、徹夜していくか。最近のビジネスホテルは、掃除してくださいという表示を出しておかないと部屋に入ってこないので、パレードが終わったら少し横浜をフラフラして、寝ればいいので、まあ徹夜でも大丈夫でしょう。金曜の晩から2泊分押さえてあるので、土曜から日曜に掛けてたっぷり寝る。そうすれば月曜の講義も問題無く出来る。ということで楽しみにして待つ。

来週末はちょと忙しいので呑めない。まだ野球の途中だが、今日顔を出しておかないと。再来週は上に書いた事情で横浜にいるのでまた行けないので。3週間も間をあけるとちょっとという気がするので、これから行く。などと思っていたら、台湾にソロホームランが出て3－1に。うむ。まあいいです。呑みながらスマホで様子を見る。ということで、いってきます。

韓国に先制され追い付いたがひっくり返されるも、しっかり逆転して韓国戦9連勝（国際戦21連勝）

先週の木曜から金曜に掛けては SageMath のインストールで寝不足だったが、昨日から今日に掛けてはまた下らん計算をしてしまい寝不足。YouTube で取り上げてたある問題が、それは線形代数で自明、で済ませていたのをつい高校数学で出来るかと始めてしまい、色々計算ミスをして大混乱。で結局最後は3次正方行列の逆行列を求めるとかやっぱり大学数学の知識があった方がいいよね、という感じで徒労。しかも逆行列をコンピューターに求めさせてるので、いよいよ高校数学じゃなくなった。大分時間を無駄に使った。

で今朝も11時40分過ぎにようやく起きた。昨日の晩の下らん計算の前にシャワーを浴びていたから、そのまますぐ出掛けた。で外で売ってる弁当も沢山あって、いつものほんのり温かい唐揚げ弁当は今日はメンチカツと唐揚げ両方のやつを買えて、メンチカツが結構美味しくて、満足。

1時から「代数学II」。今日は原始元定理（有限次分離拡大は単純拡大というあれ）を証明して、それを使って有限次分離拡大だと共役写像が拡大次数個丁度あるとか、全ての共役写像で動かないのと下の体に入ってるのは同値などを示す。でいよいよガロア拡大が定義出来て、Aut(L/K) を定義出来て、で L/K が有限次拡大の場合は「L/K がガロア拡大 ⇔ #Aut(L/K)＝[L：K]」とか、は嘘で、これは難しいので、L/K が有限次分離拡大という仮定を初めからおいておいた。これだと随分楽。で主張を書いたら大体時間。難しくなってきた。

非分離拡大って難しいよね。岩澤先生の「局所類体論」を読むには純非分離拡大とか非分離次数とか必要なので一応勉強はしたが、その後の研究では代数体と標数0の局所体、及びそれぞれの剰余体（有限体に成る）くらいしかいじってないので、非分離拡大は本当によく知らない。Silverman の楕円曲線の本では、体は全て完全体とする、と書いてあったし。いや、完全体という言葉を知ったのは Silverman の本を読んだ時なのだが。「代数学II」でもほぼ Q の拡大体しか出てこない。よく知らないからね。整数論でも正標数の体をバリバリ扱う人はいるので、まあ色々勉強しておいた方がいいです。

2時40分から代数的整数論のゼミ。今日はまず単数規準の定義をして、それから実二次体の単数。これは小生マニアだから色々知ってる。フェルマーが x²－61y²＝1 の整数解 x,y を求めてみよ、と手紙を書いた話は有名。他にも幾つか同種のものを出題していたが、解が比較的小さいものにしておいた、とか書いていたそうだ。これの最小解は相当でかいよ。いや、Q(√61) の基本単数は ε＝(39＋5√61)/2 と大したことはないんだが、求めるまでもなく一般論でこれのノルムは－1。ということで x²－61y²＝1 の最小解は ε⁶ を求めないといけないので、相当なことになるよ、と例示しておいた。まあこれは6乗だからね。Q(√199) の基本単数はそのままで滅茶苦茶大きいとか、それの近所の Q(√197) だと14＋√197 と成るなど、単数は色々挙動不審なのを教えておいた。その後アルティンによる判別式が負の3次体の単数の話。何か色々微分して関数の正負を調べたり、相加平均≧相乗平均とか受験生チックな計算をしていて面白い評価式が出るという不思議な話。数値例を予習してくる余裕は無かったようで、来週は数値例をやることから。その後はいよいよ Minkowski の理論に突っ込むようだ。多重積分の計算とか、フーリエ級数が何だとか出てくる。少し慣れておかないと。フーリエ級数は高次元の場合は知らないが、まあ普通のの類似でいいのだろう、と気楽に構えておくことにする。5時10分くらいに終了した。

時間いっぱいやると5時50分までゼミで、事務の人は5時半に帰ってしまうから、領収書の処理は来週だな、と思っていたが、ゼミが早く終わったので、今日中に済ませてしまうことにして、急いで6階に降りてもう一度7階へ。でちゃっちゃと済ませたかったが、電子帳簿保存法というやつのせいで、全部スキャンして pdf にしないといけないらしい。スキャナー持ってないので、事務の人に丸投げしておいた。事務室のコピー機も学科の会議室のコピー機もスキャナーの機能を持っているのがいい。学科長の時に午前中の会議で渡された資料を pdf に直して、会議中はパソコンの画像を画面に映して、とかやった。もうスキャナーも買わなくていい時代に成った。でもう一通メールで領収書の pdf ファイルを送ってもらったのがあるんだが、昔は印刷して云々だったわけだが、それも電子のまま処理しないといけないので、事務の人に色々聞いて、後でやることにして退散。住処に戻ってからメールを見たら、これをこうしてああしてここに送れとメールが来ていた。急いでやっても土日は休みなので、後でやることにする。

野球の「プレミア12」が放送される筈で、6チャンネルで放送するのだと思っていても始まらない。台湾でやるから少し時差があるのだろうか？と思って、しばし「ざわつく金曜日」や「かりそめ天国」を見たり、先週の「座王」を見たりとか。始まらないな、と思ってみると、4チャンネルでやっていたのだった。何だ。今日は韓国が相手。見始めた瞬間に Lions の隅田が勝ち越し打を打たれたところ。むう、と思ったが、すぐ満塁のチャンスを作って、牧が2点タイムリーヒット。牧はシーズンでは得点圏打率は決して高くなかったが、ポストシーズンでは菅野から日本シリーズ進出を決めるヒットを打ったり、日本シリーズでは3ランホームランを打ったりと、本来の感じに戻ってきたようだ。その後 Tigers の森下が2ランホームランを打ったりで、結局快勝。これで国際大会21連勝で、宿敵と言われていた韓国にも9連勝。もう「運命の日韓戦」という言葉を使う価値が無くなってきたな。明日は台湾が相手だそうだが、場所が台湾なだけにもう超アウェー状態だろう。韓国の応援も凄いがな。一度横浜スタジアムで韓国とどこだかのチーム（日本代表ではなかったような気がする）が戦った時に、兄者の仕事場の福利厚生で余ったチケットで韓国側に座って観戦したが、韓国の応援は怖かった。フォードが日本では全選手に応援歌があって凄いと言っていたそうだが、韓国もそんな感じだった。太鼓に笛に大声援。本当に怖かった。明日はそれ以上だろう。見ようかどうしようか？まあ適当なタイミングで呑みに行こう。

今何とか言うヨットのレースがやってて、白石康次郎が出ているらしく、よく報道ステーションに出ている。昔から活躍してるし、髪の毛が大分白いから小生より上なのだろうと思ったら、57歳の表示。で調べると1967年5月8日生まれだから同い年だ。鎌倉出身というからご近所さんだったんだな。奮闘しているようで、頑張って欲しい。

眠い一日

今日は馬鹿に眠かった。一旦起きても眠くてまたダウン。ゼミに遅刻するわけにはいかないので、無理矢理起きた。幸い居眠り運転はしなかったが。運転中に飲酒が原因で寝落ちし死亡事故を起こした奴のニュースが昨日やっていたが、幸いまだ運転中に前後不覚に成ったことはない。今後もあってはいけない。運転の前にはちゃんと寝ておかないと。

12時40分くらいに職場に着いて、弁当はもう無いかと思っていたが、何と本当に1個だけ残っていた。最後の一個だからまあ期待しないで買ったが、結構美味しかった。

1時からゼミだが、ゼミ中も眠くて。Z[√－d]（d＝1,2）の時を真似て Z[(－1＋√－d)]（d＝3,7,11）の場合をやるんだが、証明はほぼ出ていない。にも拘らず、ちゃんと考えてきていた。眠くて殆ど聞いてなかったが、時々見る限りまあ大丈夫そう。で y²＝x³－11 の有理整数解を求める問題がよく分からないと言っているので、ちゃんと意識を取り戻して集中。前に y²＝x³－9 の有理整数解を求めた時を参考にしてやろう、ということだが、何故かスマホを持ってる。何故だと思ったら、この前の板書をスマホで撮影していたようだ。今風だな。で同じ所、違う所色々あるが、小生の手元には前に解いた時のものを TeX 化して印刷したものがあったので、それを見い見い。で 3375 とか出てくると一瞬ギョっとするんだが、これは楕円曲線をちょっといじった人には見覚えのある数字。一応念のためスマホの関数電卓で3乗根を求めたが、案の定15の3乗だった。ということでどうにかなった。でまたその黒板を撮影していた。その後選手交代で Z[√2] の話。単数群を求めることだけやったら残り10分くらいに成ったので、素数がどう分解するかは来週に回すことにして早目に終了。何であんなに眠かったんだか謎だが、まあ何とか乗り切った。

で4時半からちょっと別の仕事があるんだが、ちょっと時間があるので生協の本屋を冷やかして、3冊ばかり購入。で1時間くらい頑張るつもりだったが、気に成ることがあって、1時間半以上頑張ってしまった。もう眠くなかったので、集中して出来た。式が2本で変数が2個の連立一次方程式は易しいが、どっちも3以上に成ると中々難しい。逆行列を求めるのは易しくないし、そんなことするなら拡大係数行列を掃き出した方が早い。で何度か間違えたが大丈夫だった。これで大体終了。後は本番を待つのみ（謎）。

6時くらいに個研室に戻って線形代数。3個以上のベクトル空間の直和がテキストに問題で出てるんだが、略解を見ても何か納得がいかない。これは一から考えた方が早いでしょう、と昨日寝る前にちょっとやったんだが、それを片付けて、TeX 化して、でその後色々。写像が単射とか全射とか全単射とか例を沢山用意したら物凄い量に成ってしまった。線形写像である例とかない例とかも。まあ全部講義で話すことは無いだろうが、一応10ページ分印刷しておいた。沢山載せるから読んどいてね、ということにしようと思う。で何だかんだと9時くらいまで。

今週末は久々に平和。24日（日）は朝9時までに職場に行かないといけないので、また23日は職場に泊る。30日は Baystars の優勝パレードの最有力日だと言っているので、そうしたら29日のゼミ後横浜に行く予定。色々忙しい。23日にパレードやるのでは？という気がしていたが、その日はファン感謝デーを毎年やってるそうで、今年もそうらしい。上に書いた通り24日は仕事なので、パレードだったら終わったら飛んで戻ってきて、職場に行って、と大忙しに成るかもだったのだが、まあよかった。いや、まだ30日にやるという発表があったわけでない。情報をこまめにチェックして、本当にそうかどうか見落とさないようにしよう。

祐大がゴールデングラブ賞受賞で、佐野が Baystars に残留してくれるという嬉しいニュース連発（牧と桑原はプレミア12で活躍）

程々に寝る、と昨日書いたが、やはり早起きしないでいいとなると中々寝ようとしない。で線形代数の準備をしている最中に秘蔵の演習問題集を見ていたら、TeX で遊びたくなった。前に TeX に nicematrix というパッケージがあるのを知って多少遊んだが、それの続き。nicematrix を使うと何がいいかというと、連立方程式を解くなり逆行列を求める時に区切りの点線を書きたいが、\vdots だとブツブツ切れて、array 環境を使うと繋がるが実線に成ってしまう。破線が書きたいなーと随分前から思っていたが、それを実現してくれる。まあそれは大した魅力ではないが、いいのは斜め線を \ddots を幾つか書くとブツブツに成るのがちゃんと繋がるというのがいい。でジョルダン細胞を昔ながらの pmatrix 環境で書いたものの斜め線を繋がったものにしよう、ということで色々やるが、何かうまくいかなくて、何度も何度もやり返す。300ページを超えるファイルの一箇所だけ直すのに何遍も TeX を通し直すという、冷静に成ってみれば実に無駄なことをやっていた。test.tex とか temp.tex という色々試すためのファイルを作ってあるんだから、そっちでやればいいものを。寝不足で冷静でなかった証拠だな。で何とかなったが、もう相当な時間。阿呆や。で肝心の予習はほぼ全くしなかった。

で数時間寝て昼飯を食べに起きて、もう一度ちょっと寝て、4時くらいに起きた。4時半から会議なので、まあ丁度いい。相撲を見て4時半を待つ。で会議の時間に成ったので Zoom を起動。昨日の晩のうちにインストールはしておいたが、サインインしたりとかちょっと手間があって、でちゃんと会議に定時から出席出来た。今日は色々決めることがあった。あまり表に出せないものもあるが、まあ構わないのは来週の特別入試の監督決め。今年は受験生が多いそうだ。どの大学も学生を確保するために秋口から色々やっている。うちくらいでもそうなのだから、受験生の集まらない大学は大変だろう。この前ちょっと YouTube で群馬県の某所に大手私立大学がキャンパスを作り、駅も作って快速電車も止めて、とかやったのがやはり土地柄か受験生が集まらず、快速電車も減らされ、結局そのキャンパスを結構短期間で廃止した、という話題が出ていた。同時期に出来たニュータウンも大失敗で、街中を歩く人の姿も走る車の姿もほぼ無いという状態。受験生が集まらないとこういうことに成るんだな、とちょっとビックリした。まあ BKC は成功したと言えるだろうな。OIC はどうなんでしょうか？OIC って何、という人向けの解説。うちが少し前に開設した茨木のキャンパス。「大阪・茨木・キャンパス」略して OIC。

会議は6時くらいまで掛かった。相撲は流していたが、当然音声を消していたので、あまり分かっていないが、どうも大の里が阿炎に負けたようだ。むう。でその後先週やった「ミラクル9」の残り1時間くらいを見た。滋賀の名所として余呉湖を挙げていたが、行ったことないな。余呉湖とか賤ケ岳とか歴史ファンには馴染みのある地名。琵琶湖の北の方だから、行くなら今のうちだな。寒くなったら北琵琶湖は車では行けない。長浜より北は電車の本数が少ないから、電車で行くのはちょっとなという気がする。まだ異常気象で暑いから、まだ雪が降るのは先だろう。近い内に行きたい。

7時から野球の世界大会であるプレミア12。桑原が1番、牧が6番でスタメン。イケイケの桑原が四球を選んでチャンスをお膳立てし、3番辰己の犠牲フライで先制。まだチャンスが続いたが1点止まり。2回は1死満塁から2番小園の内野ゴロで1点もそれだけ。3回は2死1、3塁の場面でワイルドピッチで1点と、着々と加点も、1点ずつでちょっと欲求不満気味。が4回はショートが本塁へ悪送球している間に2得点。が、何かすっきりした点の取り方ではない。そんなこんなしているうちにソロホームランと2ランホームランで2点差にされる。むぅ。が、7回に牧がこの試合初めてのタイムリーヒットで3点差に。8回に森下に2点タイムリー2塁打、次打者栗原がタイムリー2ベースで9－3。これで決まり。オーストラリアは1回2アウトで早くも投手交代とかバタバタ気味で、2回も3回も投手を途中で替え、最終的には投手12人という凄いことをした。12人で一番放ったのは2番手投手の20球とか。必死の防戦だったのだろうが、まあ意味無かったね。監督の談話によれば慣れさせるのが目的だったようだが。明日は試合が無くて、明後日から台湾で数試合。優勝しろよ。

プレミア12では佐野は出なかったが、桑原、牧は目立った。やはりこの前の日本シリーズ制覇で気をよくしているのだろう。が、今日の Baystars はそれ以外にもいいことがあった。祐大がゴールデングラブ賞受賞。独立リーグ出身の選手の受賞は、12球団で初とか。いいですね。が、もっといいのが、佐野が残留してくれること。FA 権を行使するとか Giants が獲りにいってるとか嫌な情報があったが、FA 宣言せずに残留で、4年契約らしい。昔は横浜を離れるのが嬉しいみたいなことを言われたチームだが、最近では宮崎も桑原も戸柱も康晃も残ってくれた。嬉しいね。関西の番組では Tigers の原口、大山が FA 宣言したのが結構な大ニュースに成ってた。原口は少し前からそうすると言っていたが、大山のは寝耳に水だったようだ。去年優勝したチームが魅力的でないということだろうか？Hawks の甲斐も FA 宣言したようで、こちらも Giants が狙っているとか。90勝して日本シリーズに出たチームなのだがな。Hawks で思い出した。正力松太郎賞の候補にぶっちぎりのリーグ優勝をした Hawks の小久保監督を推す声が多かったようだが、その Hawks の会長の王さんが番長を推挙してくれたとか。王さんにしたら日本一（Hawks はリーグ優勝してるから、優勝したら日本一を名乗ってよい）に成れなかったのが口惜しいのだろうな。

そうそう忘れていたことをもう一つ思い出した。知られている最大の素数の記録が更新されたそうだ。2^136279841－1 だそうで、52番目のメルセンヌ素数、桁数は4102万4320。凄いね。何年か前にTシャツで「Lagest known prime」の下に数字がバーッと書いてあるものを見付けて買って、夏場はそれを着て学内をうろついていたんだが、誰も何の反応も示してくれなかった。まあ数字がバーッと書いてあるとはいっても「… digits omitted」とは書いてあり、全桁書いてあるわけではないが。まあそれはそうで、今回のよりは小さいと言っても物凄い桁数だからね。本にすると凄い厚みに成るので、成人男子が着るシャツに印刷出来るわけはない。印刷がちゃちでもう大分かすれてきたから、もう着ないかな。

理工学部長決まる

どうも月曜の晩は夜更かししてしまうな。先週の時点では今日は午前中から職場で用事があるのだったが、その必要が無くなったのでつい。何をしていたかといえば、下らん計算をしたりとかしていたんだが。でテレビも見たが、昨日の「テレビ千鳥」は超絶面白かった。大悟が「テストで100点をとりたいんじゃ」と言い出して、小学生の算数の勉強。で2桁の掛け算も割り算の筆算も何も知らないようだが、何と正解を出してしまう。分数と小数を足すというのの時は、7/10 のイメージ図と称して丸の少し欠けたのを書き始め、で正解してしまう。2桁の掛け算は沢山書き散らかして、そこから情報を的確に取り出したり。ああいうのを天才というんじゃないだろうか？と思って楽しく見ていた。来週続きがやるようだ。忘れず見よう。

で相当遅くまで起きていて、起きたのは1時過ぎだがまだ眠い。2時に約束があるので、職場へ向けてダッシュ。6万円ちょっと現金で払った。まあ手続きをすれば大学からお金が出るんでいいけど。

2時40分から院生向け「数理科学特論1」。今日は素イデアル分解の一意性の証明の続き。ネーター環がどうしたとか整閉がどうしたとか。で漸く証明出来るぞ、と思ったら、素イデアル分解の可能性の所に変だと思しきことが書いてあり、ちょっとストップ。時計を見ると考えるほどの時間が無いので、そこだけ飛ばして来週やると宣言して、一意性。その後代数体の整数環の場合（というかデデキント環の場合）、P.I.D. であることと U.F.D. であることが同値であることを示して、U.F.D. でない環を無限個与えてきた。Z で素因数分解の一意性が成り立つのは当たり前だと思えたのはどうしてだろう？経験則でそう思ってただけ、というのが大半じゃなかろうか。フェルマーの大定理の時もそれに纏わるミスは沢山あるようだし。

4時半から教授会。今日は学部長選挙の最終投票があるので、絶対出席しないと。でその時気付いた。住処のパソコンに Zoom をインストールしないと。明日の学科会議に参加出来なくなってしまう。まあ短時間で済むはずだから、明日やる。で教授会。まず事務室に二人来た方を紹介。その後学部長選挙。候補者3名がまず話して、それから投票。思ったよりお一方に票が集まって、一回の投票で決した。まあお三方では一番年嵩（に見える）だし、お一方は真面目であるがゆえに教授会を引っ掻き回したりすることもあるので、まあそうかな。もうお一方は何故そんなに票が集まらなかったか謎。副学部長もやったりと、経験は豊富な方だと思うんだが。これで総理大臣が石破に成り、アメリカの大統領がトランプに成りと、大分固まった。後は兵庫の知事選だな。あのパワハラ親父が選ばれるなんてことはないと思うが。名前に「元」が入ってるから、「元知事」と呼ばれるのがお似合いだ。

重たい議題があった割には教授会は早目に終わった。「数理科学特論1」の直しはすぐ済んだので、直して manaba+R に上げて、それからまた線形代数をちょっと。大体木曜日のゼミ終了後に月曜の「数学IV」の準備をするんだが、今週はちょっとゼミ後に用事が入ってしまった。まあそんなに時間は掛からないだろうけど、目鼻は付けておいた方がよいので、ちょっと。写像をどれくらい詳しくやるかだな。単射とか全射とか定義だけ見て丸覚えしただけでは何にも成らない。院生でも f が単射なのを示すのに「a≠b ⇒ f(a)≠f(b)」という示しにくい方を示そうとする。徹底的に問題演習で鍛えてもらわないと。ということで、講義では程々にして、演習の先生に頑張ってもらおう。まあ当日の時間の過ぎ具合によるな。明日は学科会議以外に用事が無いから、今日は程々に寝て、明日やるか。これからやるかもしれないが。

「報道ステーション」のスポーツコーナーは野球一色。こんなのは珍しい。まあ一番が佐々木朗希の件、二番が大谷の件、三番が六大学野球の決勝戦が早稲田 vs. 明治と76年振りの対決に成った話（早稲田が優勝）、明日から始まるプレミア12の話はその後。と言っても実質は松坂が才木にインタビューしているのが殆ど。まあいいです。明日は見るかな。明日は「相棒」が無い。やはり何でも世界戦は視聴率がとれるのだろう。

しかし新しいパソコンは使いづらい。文書の入力をする時に、学習に学習を重ねて「かん」と打てば「環」が出るようになったのを、また一からやり直し。さっき「才木」と書いたが、まず出てくるのが「再起」。次が「才気」。「才木」は随分後の方だった。沢山癖のある文章を打って、がっつり学習させましょう。まあ「基礎数理」と変換したい時に「奇素数理」となるのは仕方ないので。「投与コイン」はもう「東横イン」を登録してしまったので心配ない。色々書きます。

新しいノートパソコンの設定は終了（の筈）

何だかんだと遅くまで起きていてしまう。で12時近くまで寝てしまった。寝癖が酷いので、シャワーをざっと浴びる。で12時15分くらいに出発。職場に着いた時間だと、弁当は売り切れているかもしれないし、売っていても個研室でゆっくり食べる時間は無さそう。さてどうしよう、ととりあえず売り場に行くと、結構残ってた。買ったが個研室でゆっくり食べるのは無理のようなので、陽気もいいし表で食べることにした。人に見られると恥ずかしいが、まあいいです。

1時から「数学IV（線形代数）」。今日はまず次元が n と分かっている場合は、n 本のベクトルが基底であることと1次独立であることと生成系であることが同値という便利な命題を示して、C の基底を幾つか与える。それから行列の零空間、行空間、列空間など。基本変形で階数が変わらないことがこういうことで証明出来る、というのは面白いと思うが、学生にはそうでもないか。でベクトル空間が二つの部分空間の直和に成っていることの定義と、それと同値な条件を証明したら時間。これの証明を学生の時に読んだが、左辺が W₁ の元で右辺が W₂ の元だから W₁∩W₂ の元、というのが物凄く面白いと思ったのを思い出した。そういえば前にガウスの補題（原始多項式の積がまた原始多項式というあれ）の証明を学生が「面白れー」と感動していた。証明を追い掛けるのは辛いことばかりではないのだ、ということが分かってもらえるといいが。

講義後個研室でうだうだ。年末調整の手続きが首尾よく済んだかどうか気になるのと、どこに提出すればいいか分からないので、人事課に電話しようと思っていたが、学科の事務室からメールが来ていて、提出する場所は分かった。だからまあ大丈夫だということで、人事課に電話するのはやめて、コアステーションの1階の某所に提出に行く。一つ済んだ。で暫くしたら、個研室のドアをノックする人が。何だと思ったら「配達」と言っているように聞こえた。すると、Amazon に注文した本をわざわざ個研室に持ってきてくれたようだ。いつもは学科の事務室に配達されるのだが。不在にしている時間が多いから、持ってこられても困るんだがな。随分前に個研室のドアがポスト付きのものになったが、時々見ないといけないのは面倒。レポート提出されても気付かないぞ。まあ今時はレポートは何でもオンライン提出になったが。

4時20分からゼミ。今日は種の理論の話を少々。これって二次形式だと何か意味があるのだと思ったが、二次体だと何だかよく分からない。Genus field というのがあるから、二次体じゃない場合だと何かあるのかもしれない。不勉強なのでよく知らないのが本当のところ。どうにかしましょう。その後実二次体の単数の話。今日は一人就職活動でおらず、連分数のところを二人で分けて担当するのに今日あまり進んでは可哀想、とのことで、早目に終わらせた。ただちょっと早過ぎたし、それと Q(√6) とかの基本単数を求めるのにペル方程式の右辺が ±1 両方やるのは効率悪い、ということで、－の方は答えが無いのが第1補充法則より従う、ということを言って、ついでに x²－my²＝±4 の x,ｙが奇数になるのは m≡5 (mod 8) の時のみとか、色々教えてあげた。ただ失策が、m＝37 の時は mod 8 で5と合同だが基本単数のトレースは偶数だよね、というのを忘れていたこと。この例外のお陰で小生は論文が書けた。言っておかなかったのは失敗。まあいいです。

住処のパソコンに一つインストールしないといけないものがあった。これが無いと MathSciNet を見ることも住処から職場のサーバーにログインしてホームページをいじったりも ftp で演習問題を送ることも出来ない。でやろうと思って昨日の晩始めたが、何か手続きをしないといけないらしく、それの時間が夜の10時まで。ということで、9時前に職場を出て、晩飯はカップ麺で済ませることにして帰ってきた。で9時25分くらいに職場に帰ってきて、無時出来た。MathSciNet を見たが大丈夫。他にもインストールしないといけないものは無かったろうか？というところで気付いた。PARI/GP。いや、SageMath に同梱されてるからいらないんだが、別に起動したい場合もあるので。これで全部済んだかな。でちょっとディスプレイの設定をいじった。馬鹿に字やアイコンがでかいな、と思っていたんだが、拡大率が設定出来るようで、推奨の150%に成っていたものを125%に落としてみた。すると、デスクトップに散らかってるアイコンは左の方に寄り、字の大きさも程々に成った。壁紙に美女の画像を設定してあるが、よく見えるようになって嬉しい。一晩大学に泊ったせいもあるが、水曜日から始めてようやく一通り済んだ。新しいパソコンを買うと大変だ。職場のパソコンをもう少し経ったら新しくしないといけないし。年度の合間にやるのがいいな。

また相撲を忘れていた。NHK の9時のニュースのやってる時間に帰ってきたので、今日の結果は分かった。大関は今のところいい模様。横綱はまたしても休場のようだ。怪我に病気にと、大変だ。出ればやる人なんだが。大の里でも琴櫻でも、早く横綱に成って照ノ富士を安心させないと。頑張っておくれ。

「ちびまる子ちゃん」の新しい声優の声が TARAKO の声に酷似していてびっくり

昨晩のふなごやは忙しそうだった。昼からずーっと客がいたようで、晩飯は弁当を買ってちゃちゃっと済ませたらしい。最近は週末忙しいと言ってた。で日本シリーズ制覇記念で売り上げに協力しようということで、昨日書いた通りオマール海老のヴァプールを食べた。目茶目茶旨かった。食べ散らかして大分汚くなった。店からすると織り込み済みのようだが。大体皆結構勿体ない食べ方をするそうだが、小生はちゃんと食べた方らしい。で他の客がいなくなった後、いつもの通り3人で楽しく呑んできた。ビール呑んでワイン呑んで日本酒呑んで。いやー解放感とはいいものです。いや、明日からまた頑張る。今日はいいでしょうということで、ほぼ一日寝っ放し。ちょっと夕食を食べに起きただけ。金曜日の晩に「座王」を外付けハードディスクに録画したが、その時に8チャンネルにチャンネルが変わったままに成っていたか、久しぶりに「ちびまる子ちゃん」を見た。TARAKO が死んだから、まる子の声がどうなっているか心配だったが、菊池こころという声優さんの声は TARAKO そのものでびっくりした。これで「ちびまる子ちゃん」も心配無いな。

「数学IV」のファイルを TeX に通せない問題はまだ解決してない。他のファイルと見比べても何が悪いのかさっぱり分からん。まあ職場のパソコンでは大丈夫だからいいんだけど。やはり気になる。何とかしたいところ。

あ、相撲が始まってるんだった。忘れてた。「サンデースポーツ」も見てないから、結果を知らない。ダイジェストを録画しておいて明日見よう。今場所は横綱は出てるんだろうか？新大関の結果は？気になる。見ないと。

などと書いてしばし。エラーが出る行をコメントアウトすると、エラーが出なくなった。意味わからん。でどうも \dots でエラーが出るようだから、試しに \ldots としたら通るようになった。\dots は … を自動判定して適切なものを出す命令のようだから、\{1,2,3,\dots\} は TeX には判定出来ないということだろうか？まあうまくいったので、いいです。これから気を付けよう。

怒涛の一週間を乗り越えて、これから Baystars 日本シリーズ制覇の祝杯をあげにいく

昨晩はちゃんと11時過ぎには寝た。寝坊が怖いのか何度か目が覚めた。最初は4時台、次は5時台。6時半のアラームでも意識が戻ったが、まだ眠いので寝入ってしまう。で7時のアラームは全く気付かず、最終的に起きたのは8時少し前。8時半に集合だからまだ間に合う。が、寝癖を直したいので、シャワーをざっと浴びて、8時20分頃にエポックを後にする。車に乗ってエポックの前からウェストウィングの近くに。土曜日だし朝早いし、停まっている車は殆ど無い。で集合場所に8時28分くらいに到着。危なかった。

今日は大事な仕事。1時間半やって、30分休んで、1時間半やって、昼飯休憩1時間、1時からもう1時間半やって、30分休憩して会議。皆さん真面目でいらっしゃる。解放されたのは4時過ぎ。ちゃんと寝てあったので、特に眠くなるでもなく、無事終了。個研室に戻ってから一作業。住処に帰ってからやってもよかったが、片付けられるものはやっておきたいので、ちゃちゃっと済ませてメールを書いて。でその後ちょっと数学の気になっていたことを片付けよう、ということでやり始めたが、あまり遅くなりたくないので、そっちも程々に。7時半前には職場を後にした。

ちゃんぽん亭で味噌味の肉スペシャルを頼む。店に「虫が入るからドアを閉めてください」と書いてあるのに開けっ放しにする輩のなんと多いことか。今日ぐらいの陽気ならいいが、もっと寒くなったら大声で「寒い！」と言ってやろうか？道路は特に渋滞してなかったが、何やら峠の頂上付近から暫く40km/hを割り込む状態に。事故か？と思ったがそのスピードのまま進んで、暫くしたら大丈夫になった。でこれで無事完了、と思って路地を入ると、郵便局の車が停まってる。避けてからいつものようにバックで停めるべく少し余分に前へ進んで、というところで面倒くさいことが。さっきの郵便局の車が小生の車にビターっと付いてる。バックランプを光らせば下がってくれるか？と思ったがびくとも動かない。むう。仕方ないので進んで、さて直進か左折か？と後ろを確認するとウィンカーが光ってるので、ちょっと直進して、その後バック。これだけの距離をバックで走るのは大変。バックモニターとサイドミラーを見ながら、脱輪しないかぶつけないか気にしいしい必死でどうにかなった。疲れた。無駄なエネルギーを使った。気持ちよく一日終わりたかったが。

まあまだ一日は終わっていません。一週間振りの酒を呑みに行く。もう夕飯は食べてしまったので、まあ適当に食べながら。そうだな、日本シリーズ制覇をまだ祝ってないので、オマール海老の何とかいうのがあるから、それ食べようか？確か3300円だったな。エポック一泊3000円だから、それより高い。まあこんなことでもないと食べないから頼んでみよう。

あ、この前 tsuno さんと正力松太郎賞の話をしたんだが、まあ番長が選ばれるでしょう、という予想が当たった。去年は Buffaloes の中嶋監督だったし、大体日本シリーズを制覇したチームの監督が選ばれるでしょう、という結論になり、案の定そうだった。Baystars の南場オーナーを選んではどうか？という意見は tsuno さんに限らず結構あったが、そうは成らなかったか。TBS が親会社の頃はまさに「暗黒時代」だったが、そこを立て直したのはオーナーのお陰は大分ある。まあ TBS は CS で Baystars の試合を放送し続けているし、日本シリーズも数試合地上波で放送したし、日本シリーズの4勝目をもう一度 CS で放送してくれてるし、何処かに申し訳なさがあるのだろうか？何処かで聞いたような気がするが、TBS が Baystars を手放したタイミングで新潟に本拠地を移す、という怪情報があった。その時 TBS が横浜から本拠地を移すなら手放さない、と言ったとか言わなかったとか。残ってくれてよかった。新潟には二軍限定だが新しいチームが出来たし。Jリーグに負けず NPB も地域密着をしましょう。

何か最低気温が凄いことになってる。日中はまた夏日近くまで気温が上がるようなこと言ってるし。どうせいちゅーねん。今晩の帰りは遅くなる（早くなる？）だろうから、一枚羽織っていこう。ということで、いってきます。

SageMath のインストールに成功したのは深夜4時くらいで、午後1時からの講義に少々遅刻

寝ようと思うも、つい SageMath をインストール出来るまで頑張ろう！と成ってしまい、それから上を下へのお騒ぎ。実行ファイルが出来てうまくいったのかと思ったら、何かメッセージが出て起動してくれない。Windows Linux サブシステムでやってるが、要するに Unix。ちょっと腕に覚えがあるので、頑張って何度もやって、これは Ubuntu を一回アンインストールだな、と思ってやると、今度はインストールが出来なくなってしまった。うぉー！という訳で Google 先生に質問を投げて、出てきたページを見ると、皆さん色々苦労してはる。で暫くやって気付いた。前の時は Ubuntu はマイクロソフトのアプリショップだかそんな所から無料でダウンロード出来た筈、と思って見ると、一番新しい Ubuntu が入手出来て、Linux が起動出来ない問題は解決。がまだ問題山積。SageMath のページを見ると、何だか conda とかいう命令を使っていたのでやってみたが、そんなコマンドは知らないという。今度は conda で検索。すると anaconda とかいうのが沢山候補に出てくる。でどうもその anaconda をダウンロードしないといけないらしい。が、ここでまた問題が。Linux のターミナルからダウンロードってどうやるの？Windows でダウンロードしたとして、保存されている「ダウンロード」ってフォルダーにどうアクセスするの？Web を見てると、「Download」というディレクトリーが出来るようなことが書いてあるが、ない。で cd / とやってみて「mnt」というディレクトリーがあることを発見。ここで Unix のスーパーユーザーをやった経験が活きて、閃いたのでこのディレクトリーを見てみると、C と D というディレクトリーがある。ガッツボーズ。C の User 以下にある Download を見てみたら、あった。でこれを実行。少し掛ったが、conda は使えるようになった。が、まだこれで終わらない。SageMath のホームページにある通りに conda を実行したら、その情報が古いらしく、SageMath が手に入らない。が、今は便利な時代で、困ったら何でもキーワードを入れるとどうにかなる。「conda sage インストール」くらいで調べたら、有益な情報が得られ、その通りにやって、漸くインストール完了。起動前に毎回何やらターミナルで打たないといけないが、まあ仕方ない。それをメモって、コピペをどうやるのかとかグダグダやって、漸く終了。気付けば4時近く。いかん寝るぞ。

が、寝床に入ってうっかりスマホをちょっといじってしまった。すると素晴らしい情報。CS の「TBS チャンネル2」で Baystars が日本シリーズ制覇した試合を放送してくれるという。おっ！飛び起きて未使用の Blu-ray ディスクを突っ込んで、録画予約。最高画質での録画は無理だったが、二番目にいい画質で録画出来る。嬉しい。ということで、今度こそ寝る。

起きたら12時15分を過ぎていた。ギャ！急いで出掛ける。弁当を買って食べる時間が無い。講義室に着いたのは1時2分くらい。まあいいです。今日は「代数学II」。今日は標数の定義をしてから、多項式と拡大の分離性。導関数で色々分かるという話をまず。(F(X)G(X))'＝F'(X)G(X)＋F(X)G'(X) とかもちゃんと証明。で「L/K が分離拡大で K⊂M⊂L ⇒ L/M, M/K も分離拡大」を証明したら大体2時半。逆も成立するけど、それは非分離拡大を結構真面目に勉強しないと証明出来ないので、紹介だけ。

で生協で弁当を買って、個研室で掻っ込む。2時40分からゼミだが、5分遅刻。今日はディリクレの単数定理の証明の続き。先週一次形式をちまちまといじって、いわゆる Minkowski 単数の存在をほぼ示し終わっていたので、今週は加法群 Rⁿ の部分群が格子であるための必要十分条件から。でここでちょっと紛糾したのが、ある元がある集合 Γ に入っている（情報が薄い）ことが分からない。で冷静に成ってみると、左辺が Γ に入っていることがほぼ自明に分かり、それを式変形して右辺、という思考の順序だが、左辺を式変形して右辺にして、右辺が Γ に入ってる、という書き方に成っているので分からなかったのだ。やはり書く方にはそういうことをしない気遣いをして欲しいところ。でその後 log を使って単数群を Rⁿ に写して、行列式に関する補題をやって、で単数定理の証明は無事終了。5時50分までやることに成っているが、5時45分くらいに証明が終わって嬉しかった。色々たまっているとフラストレーションがたまるが、一個でも片付くと嬉しい。

片付けないといけないものは色々あって、年末調整の手続きを来週の金曜日までにやることに成ってる。やるか、ということにして始める。相変わらず訳が分からない。前は人事課に電話して言う通りにやっていたが、「よくある質問」に色々書いてある。いや、見ても分からないんだが、人事課の人にすれば「書いたでしょ」と言いたいのだろう。でグダグダと30分強。何とか成ったっぽいが、自信が無い。月曜日にでも人事課に電話だ。

で明日は朝8時半までにウェストウィング某所に行かないといけないので、今日はエポックに泊まることにした。生協で夕飯と明日の朝飯を購入して、7時前にチェックイン。1階に何やら騒がしそうな学生の団体がいたが、フロントの人によるとダンスサークルだそうだ。学園祭が近いので練習するということらしい。10時には終わるらしいから、まあ大丈夫でしょう。それに今いる部屋は教職員以外立ち入り禁止の場所なので、静寂が保たれるだろう。2階は学生と教職員両方泊まれる。勿論エリアを分けてはあるけど、ちょっと五月蝿い。4階でよかった。そろそろ寝よう。明日は7時には起きたい。昨晩は夜更かししたし、今日は講義だゼミだと疲れているから、寝られるだろう。「探偵ナイトスクープ」はまあ見なくてもいいし、「無能の鷹」と「座王」は昨日の晩録画予約しておいたから、明日帰ってからゆっくり見よう。いや、住処のパソコンの TeX の問題が解決していない。「数学IV」の講義資料が TeX でタイプセット出来ないのだ。メモリーが足らないとか言ってくる。1頁ものを TeX に通したら問題無かった。で秘蔵の代数問題集（250ページ強）も大丈夫だった。30頁程度の講義資料は何故駄目なのか？早目に解決しないと住処で色々出来ない。明日帰宅後はそっちだな。何時に帰れるんでしょうか？

TeX も SageMath もうまくインストール出来ず苦戦中

TeX のインストールが終わったか、と見たら、なんとこけてる。ガーン。仕方ないので一からやり直し、と思ったが、とてつもなく時間が掛かるので、その前に Microsoft Office と Acrobat をインストール。うちのコンピューターを管轄しているところのホームページを見たが、どちらも何かよく分からない。でああでもない、こうでもないといじってたら、出来たっぽい。ぽい、というのが怪しいんだが。もっと分かるように書いてくれないと。Microsoft も Adobe も、ホームページが色々ゴチャゴチャしてて分かりにくい。でその後 TeX のインストールを仕掛けて、などとやっていたら結構な時間に成ってしまった。寝ないとまずいな、いや、徹夜か、などと考えていたら、眠くて耐えられなくなってきて、寝床へ。今日もゼミの前に面談があるから、そこそこの時間に住処を出ないといけない。が、結構寝てしまって、ダッシュで出発。幸い道路はすいてて、駐車場もいい所に停められた。鰻の弁当を買って、個研室でノートパソコンを立ち上げて待つも、来ない。面談が終わったら鰻を食べるつもりだったが、もう待ち切れないので食べ始めた。結局学生から応答は無かった。まあいいです。

1時からゼミ。今日はまず y²＝x³－9 と y²＝x³－8 の有理整数点を求める問題から。が、これが難しい。前に y²＝x³－2 を扱ったが、前者はそれとは違う環であるガウスの整数環で考えないといけないし、2と3がガウスの整数環でどう分解するかを分かってないといけない。何も考えずにやると無茶苦茶になる。で無茶苦茶に成り始めて、どんどん小生の声が荒くなる。面談をすっぽかされてちょっと虫の居所が悪かった。T 君と I 君が色々突っ込んでいるので、任せておくことにする。が、彼等もどんどんヒートアップしてきて、一つ目を片付けるのに相当掛かった。むしろ二つ目の方が易しい。で何とか終了。選手交代で、今までは Q(√－1) と Q(√－2)（の整数環）しか扱わなかったが、Q(√－d)、d≡3 (mod 4) の場合をちょっとだけやろう、という話。証明は前と同じなのでほぼ略されているが、一生懸命勉強してきたようで、話していた。いいと思います。で途中で予習が尽きたようだ。時間の兼ね合いもあって、少し早目に終了。まあいいんじゃないでしょうか。

その後線形代数をうだうだと。昨日と一昨日ちょっとやったけど、やっぱり始めると時間が掛かる。住処のパソコンがまだちゃんと使えるようになっていないので、そこそこの時間までやって、明日の講義資料と両方印刷。ま、これで大丈夫かな。

今日は何やら寒いと言っていたが、時間が無かったので急いで飛び出した。職場に着くと確かに寒い。学生も教員も皆厚着だった。ちょっと前まで冷房が必要だったが、今日は暖房のお世話に成った。今日は近畿で木枯らし一号が吹いたとか言ってた。京都の最高気温は14度。シャツ一枚じゃちょっと寒かったな。が、まだ25度近くまで上がる日があるようなことを言ってた。どうしたらいいんでしょうね？

いつもよりは少し早目に帰ってきた。新しいパソコンを使えるようにしないと。昨日 TeX が何やらエラーを吐いて止まったので、それの善後策を練るのと、Maple とか SageMath とか色々インストールしたいので。Maple はうまくいった。が SageMath が全然うまくいかない。何遍もやってるし、SageMath のページを見返したり、前にインストールした時にお世話に成ったページを覗いたり。もう今晩はやめようか？明日は面談は無いが、1時から講義だからそこそこの時間には寝ないと。明後日はきつい一日だから、今晩辺りからちゃんとしておいた方がいい。まあもうちょっと粘ろう。

新しいパソコンのセットアップ中

今日の面談は住処からやればいい、ということもあり、ちょっと夜更かししてしまった。目が覚めたら12時くらいで、ちょっと焦った。一瞬面談は1時開始だったな、と勘違いしてもう一度寝ようと思って、違うぞ！と飛び起きた。間に合ってよかった。今日の面談の相手は女子学生。付属校の出身のようだ。高校で微積分をちょっと怠けたため、今苦労していると言ってた。付属校に限らず特別入試で早々と合格を決めてしまえば、そりゃ羽根を伸ばすよね、というのは分かる。全然関係無いが、付属校というと予備校の時を思い出す。東京の世田谷にある某私立大学の付属校出身の奴が数名いた。で一浪して彼らは皆その大学に舞い戻っていった。同級生だった奴が1年先輩でいるわけだ。嫌だろうな。兄者の友人は大学受験で苦労しないよう私立大学の付属校に入ったが、浪人していた。行けなかったのだろう。やはり何か目標を持って一生懸命やるというのは大事だ。今日の学生も頑張ってくれるといいが。

3時40分にインフルエンザの予防接種を職場に受けに行くことに成っているが、まだちょっと時間があるな、と寝床で寝入ってしまい、気付けば3時近く。焦った。シャワーを浴びて身ぎれいにしてから行こうと思っていたが、無理。汗臭いのだけは嫌なので、上から下まで着替えていった。で一番大きい駐車場からだとちょっと距離があるが、これくらいの時間だとウェストウィングの近くに停められるので、3時42分くらいに保健センターに着いた。問診票を昨日記入しておいたが、個研室に置き忘れた。もう一度書けばいいようなので、書く。結構何人も問診票を書いていたから、そもそも知らなかった人もいるということだろう。でちょっと待って、医者とちょっとだけ話す。要するに体調云々の問題が一切無いということの確認。で問題無いので、すぐ撃ってもらえた。個研室でちょっと待機する必要があるので、少しだけ TeX 打ち。線形代数のテキストの本文に2個のベクトル空間の和と直和が出ているが、もっと多い場合が出てないようなので、2年前の講義ノートからコピペ。で4時40分くらいに職場を後にする。

今日は新しいパソコンのセットアップをしたい、ということで、ウィルス対策ソフトをジョーシンに買いに行く、ということで下道で帰る。名神で帰ると、ちょっと嫌な合流があるので。で着いて探してみると、売り切れらしい。まあメーカーのページからダウンロードすれば買えるのは分かっていたので、いいことにして引き上げる。6時くらいに成っていたので、はま寿司に寄ることにした。住処に帰るには山科区東野の交差点を右折する必要があり、そのためにジョーシンを出てすぐ右のレーンに移らないといけないが、帰宅ラッシュの時間でそれが難しいため、左折で行けるからはま寿司にしよう、ということで。着いてみると何やら火災報知機の誤作動が起きるため、エレベーターの使用は出来ません、などと書いてある。むぅ。まあ2階だからいいです。初めてこっちの入り口から入った。で2000円弱食べて、払って、でそこでビックリ。エレベーターが使えないので、車椅子の人を階段で降ろす必要があり、お連れの2名と店員3名で一生懸命やっていた。途中に踊り場があってよかった。一気に1階までだったら誰かしらこけそうで怖い。無事に済んでよかった。ではま寿司を出る時右折で外環に出るのは大変なので、左折して相当大回りをして帰ることにしている。この前交差点を一つ間違えて、狭い道を久々に運転する羽目に成ったので、今日は注意してインターの手前の信号を右折した。でブックオフのある所で左折するつもりだったが、通り過ぎてしまった。仕方ないので、今度は山科区東野を左折して、住処に戻る時は右折で。ブックオフの前を左折すると、最後が左折で入れて嬉しいんだが。まあいいです。

帰ってきてパソコンのセットアップ。まずウィルス対策ソフトをインストールしてから Chrome をインストール。メールが読めるし、Edge なんていうブラウザーを使わないで済む。でその後何をインストールしようか？とちょっと考えて、TeX Live のインストールを始めてしまった。何時間掛かるんだろう？他のものを先にやればよかったな。暇なので大貧民をコピーして、やりながら待つ。勿論そんなちょっとでは終わらないので、今やっているところ。ユーザー辞書を移してないことに気付いて、今さっき USB メモリーに吐き出したところ。TeX のインストールが済んだら、TeX ファイルを xyzzy で開けるように関連付けを変える、と言ってもまだ xyzzy のインストールをしてない。で仕事用に仕方なく Microsoft Office と Acrobat をインストールする。pdf は Smatra pdf で見るので、Acrobat を後でインストールすると関連付けをもう一度しないといけないので、時間は掛かるが、こっちが先。などとやれるのは明日帰ってきてからだろう。TeX だけで何時間も掛かるからね。新しいパソコンを買ったら、まあ使えるようにする作業は二日がかりだな。

さて、作業中にニュースを見ていたら、トランプの返り咲きが決定的とか。うむ。今日のニュースはこれ一色だろうな。世界はどう変わるのか？怖いな。

寝坊は程々に（自戒の念も込めて）

今朝も何だかんだで11時くらいまで寝てしまった。シャワーを浴びるとせわしなく成りそうなので、寝癖も酷くないしいいや、ということで適当にして出掛ける。弁当を買って、食べて、としているうちに12時20分時近く。パソコンを立ち上げて、Zoom を起動させて、学生と面談。ちゃんとした学生のようで、特段問題は無かった。でその後暫くおいて、1時から面談をもう一件。が、1時に成っても入室してこない。5分くらい経ったら入室許可を求めるメッセージが出てきた。寝坊だろうか？まあ5分くらいの遅刻はあることだが、やられるとちょっと嫌な感じするね。小生も気を付けないと。勉強はバリバリ進めているようだし、まあそんなに心配は無いかな、という感じ。まだ酒を呑んではいないだろうが、呑まれないようにね、とは言っておいた。小生も色々やらかしたし。で2時前にデスクトップのパソコンが帰ってきた。幾つかウィルスがいたようだ。SSD のパフォーマンスが10%くらい落ちてきていて、あと寿命は1年だと言われた。SSD は何の予告も無く突如落ちるそうだ。ハードディスクは徐々におかしくなってくるので、心の準備は出来るだろうが。年度の変わり目に買い替えよう。

2時40分から院生向けの講義。今日は素イデアル分解の話に取り掛かるあたり。詳しい学生には申し訳ないが、素イデアルと極大イデアルの定義とか、剰余環を用いた特徴付けとか、そんなのまでやった。でネーター環がどうしたとか、そんなことをしているうちに時間。まあ来週で素イデアル分解の一意性は示せるだろう。今日は数名知った顔がいなかったが、馬鹿馬鹿しくて来なくなったのだろうか？それとも単なる寝坊かな。まあ寝坊はいいです。自分の意志ではコントロール出来ないので。分かっててわざと遅刻するのに比べたら罪は軽い。などと言ってられるのは学生のうちかもしれないが。まあちゃんとしてください。

で個研室で線形代数。行列の行で生成される空間と列で生成される空間のことがこの前あまり分からなかったので、じっくり考えてみた。案外簡単なことだった。まあ来週きちんと説明出来るかな。で直和とかやったら線形写像の節に入れる。来週で7回目もう折り返しに来てしまう。少し急ぎたいが、雑にはやれない。まあ2回生にも線形代数科目があるから、そちらでやってもらえばいいこともあるので。ちゃんと申し送りはしないと。で何じゃかじゃと9時近くに成ってしまった。時間の経つのは早い。

晩飯は「和食さと」で。この前通り掛かった時に、牛タンフェアをやってるという幟が出てたので、食べよう、と思ったが、もう牛タンは終わってた。まあいいや、と牡蠣フライに海老フライ一本追加で、ご飯は松茸ご飯に。松茸はこの時期しか食べられないからな。牛タンは終わったけどいいや。ただ値段が2000円を超えてしまった。まあいいけど。考えてみたら、昨日は牡蠣フライカレーだったな。まあ松茸が食べたかったのでいいです。

10時過ぎに帰宅。「報道ステーション」によると、もう流行語大賞の季節らしい。去年は「ARE」だったし、「村神様」が選ばれたことからもお分かりの様に、審査員が野球好きなのだろう。「50-50」がノミネートされているそうだから、まあ選ばれるでしょう。「村神様」が選ばられた時に、山之内すずだったと思うが、「あたし野球見いひんから、ピンとけーへん」と関西弁で言ってた（これは小生の記憶による関西弁なので、気持ち悪いと思った関西の方はご勘弁を）。まあそうだろう。皆が野球が好きなわけではないどころか、野球人口は減る一方。WBC を見てファンに成った人もいるようだが、サッカーとかバスケットボールとかラグビーとか色々面白いものはあるからね。相撲も。

和田毅（Hawks）が引退するそうだ。最後の松坂世代。凄い投手だった。同世代の人がいなくなると、歳をとったと感じる人はいるだろう。小生と同い年の野球選手は勿論いないが、サッカーではキングカズこと三浦知良が小生の1歳上。この前スタメンで出たらしい。まだ頑張って欲しい。

明日も面談があって、その後インフルエンザの予防接種。何だかやることが多いな。接種後30分だか1時間だか職場に留まらないといけないことになってる。まあまた線形代数の勉強だな。2回生相手に線形代数の講義は何回もやったから、そこからも題材を持ってきてとかやれば、まあ来週は線形写像には入らないかな。ゼミで学生がよく分からないと言っていたことも考えないけない。何か変なような気がするが、変じゃないような気もするし、という所なので、真剣に考えないとな。いや、小生が考えないで学生が考えないといけない筈だが。いいけど。

黒板の前のスクリーンが上がらず、黒板半分で基底の存在と次元の well-defined 性を示した

寝床に入るとつい Facebook などを見てしまう。昨晩はあの話題が次から次へと出てきて、見てたら結構な時間に成ってしまった。26年振りだしいいでしょう、ということで。横浜スタジアムが超満員だったのは当然だが、横浜公園（横浜スタジアムがある公園）も凄い人だったようだ。球場の歓声が聞こえてくるだけで興奮するのだろう。「今晩は関内から帰れるんでしょうか？」と心配していた人がいたが、まあ日ノ出町なり伊勢佐木長者町なり、歩いて行ってください。「帰らない！」という人もいた。で興奮していて、中々寝付けなかった。

10時半の目覚ましでは起きられず、結局11時くらいに起きた。シャワーを浴びて出発。祝日だから高速道路は440円。学内の駐車場はすいてて、ウェストウィングの近くに停められた。弁当は売っているが、いつもより店が少ない。成程、だからいつも売り切れてるのね。今日は12時20分から学生と面談なので、職場には12時くらいに着くようにした。弁当が売っててよかった。面談は1回生の中国人と。将来のビジョンがはっきりしていて、勉強もちゃんとしているようで、まあ問題無いでしょう。一つ気に成ったことといえば、日本人の友人がいないこと。後々のことを考えたら、日本人の友達は大事なので、つくるように言っておいた。15分くらいで終了。

1時から「数学IV（線形代数）」。教室に行くと、プロジェクターの資料を写すためのスクリーンが下がっている。何じゃ？と思って up のボタンを押したら上がったが、手を離すと下がってくる。stop のボタンを押すと止まるが、離すと下がってくる。うぉーなんじゃ？黒板が半分塞がってしまっている。どうしようもないので、半分だけでやる。いつもは計算は割とちゃんとやって見せるんだが、今日はどんどん消さないといけなくなってしまうので、計算過程は省略させてもらった。今日は基底の存在と、有限次元の場合基底を構成するベクトルの個数は基底に依らないことを示すなど、重たい話。が、色々準備してあるので、どっちも簡単に済んでしまった。連立方程式の理論というか階数というか、ちゃんと理解してれば大丈夫だが、そうでない学生が大半だろうが、仕方がない。演習の時間があるので、そっちでどうにかしてもらおう。スクリーンのことを報告しないと、と思って見たら、連絡先が書いてあった。個研室に戻って即電話。

デスクトップパソコンのメンテナンスのため、業者に引き取りに来てもらう。一泊二日でやると言っていたが、どうでしょう？と思って今スマホを見たら、問い合わせが来ていた。急いで返事。作業中のようだ。ご苦労様です。まあ実験実習費で支払うので、幾らでも請求してください。

4時20分からゼミ。相変わらず色々問題有。ギャップを埋めてない所が散見された。正直何を考えてるのか分からん。分かった体で話せば小生が気付かないと思っている？そこがギャップだと分からない？先に進みたい気持ちは分かるが、数学の本はそうやって読むものではないということを散々言ってきたつもりなんだが。5年半何を勉強してきたんだろうか、という感じだ。数理科学科を卒業して、大学院を修了して、という学生のアイデンティティーは、ちゃんと数学を出来るということに尽きると思うんだが。まあ人の人生だから知らないけど。

ゼミ後一通メール。まだまだ Baystars ファンは興奮している。去年は関西は結構長い間 Tigers の話題が続いていたが、横浜のチームが優勝したから静かなもの。テレビ神奈川を見たいな。この前 tvk 公式 YouTube というのがあるのを教わってチャンネル登録をしたが、後で見てみようか。いや、また寝るのが遅くなってしまう。明日も12時20分からと1時からの面談の連荘の後、パソコンが戻ってくるので受け取って支払いして、2時40分から大学院向けの講義がある。忙しいな。色々考えないといけないことがあるのだが、時間がとれない。プロ野球が終わってくれたが、来週は日本代表の試合があるようだ。牧、桑原、佐野が選ばれている。見ないと。教室のスクリーンの件だが、復旧したとメールが来ていた。来週は大丈夫だな。

兄者に依頼されていた振り込みを関西みらい銀行で済ませて、ココ壱番屋で牡蠣フライカレー、量普通、1辛、1111円也を食べようと向かう。するとついてない。国道一号を右折で入らないで済むよう南草津駅の前を通って行ったが、左折しようにも右折で出ようとする車が入り口を塞いでいて、もう一台後ろに控えている。何とか抜けると、今度は南草津病院の方からこっちへ来たがってる車がいて、更に敷地を抜けようとするバイクが数台小生の後ろに。小生バックで駐車するのが未だにど下手で、物凄い時間を使ってしまった。さぞイライラしたことだろう。まあぶつけてギャ！と成るよりましだから、待ってもらう。何とか停めた。で牡蠣フライカレーを、と思ったら季節限定の何とか言うチキンカレーがあったのを思い出して頼もうかと思ったら、もう無いらしい。メニューには載っているが、タッチパネルに売り切れの表示。まあいいや、当初の予定通りで、と食べてきた。1111円現金で払ってきた。5000円札持ってても鬱陶しいだけだから、5111円払ってきた。お釣りに新1000円札が混じっていたが、これも鬱陶しい。最近新1000円札を使える自販機は大分増えてきたが、近所でまだ対応してない所が数箇所あるので、旧1000円札は大事にしたい。まあ新1000円の使える所で小銭にくずしておけばいいか。

帰ってきてテレビを付けると、何やら駅のランキングをしてる番組がやってた。天橋立駅を紹介しているところだった。ちょっと不便な所だから、天橋立には前車で行ったが、電車で行くのも楽しいかもな。一回ダイヤを調べて行ってみよう。嵐山は当然上位。JR、阪急、嵐電と、3つの駅が近くにある所。前に京大に出張してきた数人と行ったが、あまり楽しめたとは言えなかった。もう一度行きたいが、今は観光客がウジャウジャしているだろう。鎌倉駅も上位に。鎌倉もいつも人がいっぱいだ。1位は日光。流石だな。その後「報道ステーション」を見てたらまた日光の話題をしていたが、外国人観光客の数がコロナ前に戻って、凄いことに成ってるらしい。暫く行けないな。山科だと人が多いのは毘沙門堂くらいだ。隨心院はまだそこまで有名じゃない。醍醐寺も多いか。まああそこは伏見だしな。隨心院は近い内に行くつもり。

26年振りの日本シリーズ制覇！

昨晩は例によって結構呑んできた。でまたテレビを付けっ放しで寝てしまった。駅伝をやってるようだ。毎年11月3日にやってるな。うちは大抵講義日なので、見られないのが普通。その後寝たり起きたりを繰り返し、4時くらいに電話が鳴ったので起きた。またマンション売れ売れ系だろうと思ったら兄者から。明後日親父殿を病院から施設に移すらしい。9月に見舞いに行った病院は桜木町からバスで少しだったが、今の病院は滝頭という、実家から行くには割と大変な所。そこまで行くのが結構大変な上に、いずみ野という相鉄沿線までタクシーで行くので、かなりの額に成るだろう。それに色々買わないといけなくて、相当物入りだったらしい。金の協力ぐらいしか出来ないので、口座番号を聞いておいた。明日にでも振り込もう。

で日本シリーズの中継は5時45分から。験を担いでカツを食べようということで、松のやメニューを Uber Eats に。いつものロースカツ定食にしようかと思ったが、黒毛和牛を使ったメンチカツというのが目に入ったので、そっちにする。6時試合開始で、暫くしたら食事が届いた。食べながら観戦。先発は大貫。スライド登板だが、大貫でラッキーみたいなことを Hawks ファンが言ってたとか。黙らせてやりましょう。で1回裏に早速ノーアウト1、2塁のチャンスを作ったが、無得点。嫌な感じだが、2回に筒香がホームランで先制。その後2、3塁のチャンスを作るも、大貫の打順で三振。まあ仕方ない。が、この男の打順。桑原将志。2点タイムリーヒットで、日本シリーズ記録の5試合連続打点。3回に森敬斗が押し出し四球で追加点。4回に柳田に2ランホームランを打たれただけに、森の1点は大きかった。大貫は4回2失点。まあいいででしょう。5回は濱口が三者凡退に斬ってとる。派手に吠えて、その後大谷張りに客席を煽る。するとそれが効いたか、1アウトから戸柱ヒット、森四球、代打佐野がヒットで満塁。桑原が押し出し四球を選んで、梶原が2点タイムリーヒット、牧凡退の後、オースティンが押し出し死球、筒香の満塁の走者一掃のタイムリー2ベースヒット。宮崎にもタイムリー2ベースヒットが飛び出し、一挙7得点。もう決まったっしょ。濱口の後坂本が2イニング無失点、伊勢が8回を三者凡退に抑えて、9回は森原。周東、今宮が連続セカンドゴロ。で柳田が三振して、歓喜の優勝！26年振りの日本シリーズ制覇！何度も言ってるが、日本一とは言いたくない。貯金2の3位だからね。番長のインタビューを聞いてて嬉しく成ってきた。強いチームを倒して優勝したい、とFA移籍をせず残ってくれた。現役時代は98年の優勝だけだったが、監督として4シーズンでAクラス3回、日本シリーズ優勝と、いい結果ですな。来年はリーグ優勝を是非。そして「日本一」と言っていいくらいの成績を残して欲しい。下剋上（下克上？）は1回でいいです。

さて祝杯、といきたいところだが、今晩は呑まない。明日は1時から講義がある。月曜の祝日はうちには関係無いのだ。で学生と面談をする用事は火曜日以降にしていたのだが、一人明日がいいと言ってきた学生がいるので、12時くらいには職場に着かないといけない。仕方ない。普通は水曜日は用事が無いので、火曜日の晩に呑むことが多いが、今週の水曜日はインフルエンザの予防接種をうってもらうという用事を入れてしまった。学生との面談もあるし。土曜日は朝から用事があるし、土曜の夜まで我慢だな。

住処で使ってるノートパソコンの back space キーが取れかかっていたのだが、取れてしまった。文字の消去が超絶やりづらい。仕方ない、新しいの買うか。まあ大学のお金で買ってもらえるのでいいけど。今から探す。色々インストールしないといけないので、面倒なことになるが、まあいいです。Windows 10 のサポートが切れることもあるしな。SSD 512MB だと色々いれると結構きつい。1TB のを探そう。いや、外付けのハードディスクを有効に使えばいいんだな。2TB のを繋いでるが、まだ1.75TBくらい残ってる。いいのが無かったらそうしよう。

今日の日本シリーズは雨で中止

金曜日に呑むことが多い。1週間突っ走ってきた後だから、ついね。面倒なメールを書かないといけないのが原因の一つ。ウダウダとやってるうちに、まあいいや楽しいことをやろう、ということで、Baystars が勝ったが見られなかった日本シリーズの日に録画しておいた「プロ野球ニュース」を2晩分見て、でその後近くにあった書き散らかした紙を見たら、そうだ、これを考えよう、ということになってしまい、メールはどうでもよくなった。で考えている間に眠くなってきて、そのまま寝床に入って寝入った。例によってテレビは付けっ放し。

途中何度か意識が戻った。テレビの音声が聞こえなくなったので、ケーブルテレビのチューナーの電源がオフに成ったのだろう。でスマホを見ると、今日の日本シリーズは中止。屋外球場での日本シリーズの中止は21年振りとか。先発の大貫、有原はそのまま明日へスライドらしい。今日の雨はめちゃめちゃ凄かったようだ。山科はどうだったのだろう？さっき飲み物を買いに表に出たが、もう雲の切れ間が結構あるくらいに回復していた。長崎では線状降水帯が発生したと言ってたし、松山や今治では一時間当たりの降水量の新記録が出たり、広島は24時間の降水量が歴代最多とか言ってる。東海道・山陽新幹線も一時止まったようだ。明日はどうなのだろう？明日 Baystars の優勝が決まって欲しい。昨日書いた通り来週は目茶目茶用事があるので、祝杯は来週の土曜日に成るが。ロサンゼルスでは36年振りの優勝パレードらしい。エンゼルスは数年前にワールドシリーズを制覇しているが、コロナ禍でパレードは出来なかったそうだ。横浜でやると26年振り。こちらも盛り上がるだろう。行きたいな。

これから呑みに行く。昨日呑んだがいいでしょう。名古屋土産を持っていくのも理由の一つ。車で名古屋に行ったので、土産物を買えそうな所には行かなかったが、土山サービスエリアで適当な物が売っていたので買っておいた。名古屋土産を滋賀で買うとはこれいかに、といった感じだが。今「サタデーステーション」を見ているが、ドジャースの話題。これが終わったら行こう。

多項式の分離性の定義は？

今日は11時半近くに目が覚めた。寝ないといけなくなると色々したくなり、結局寝るのが遅くなる。いつものこと。で飯を食べる時間を確保したかったので、シャワーを浴びずに出掛ける。弁当はいつもとちょっと違う奴を買ってみた。まあまあだな。

1時から「代数学II」。今日は正規拡大を定義して、で最小分解体を定義して、正規拡大であることと同値な条件を幾つも出して、で例を沢山出して、という感じ。最後に K⊂M⊂L で L/K が正規拡大だったら L/M も正規拡大を示した。ちゃんと M/K が正規拡大に成らない例、L/M, M/K が両方正規拡大でも L/K が正規拡大と限らないという例も出しておいた。来週は標数を定義して、それから分離性へ。多分原始元定理（有限次分離拡大は単純拡大というやつ）は時間的に無理かな。

講義が終了してからウェストウィングへ戻り、すぐ2時40分からゼミ。今日は単数に関すること。次数と共役元が全て一定数で押さえられる整数は有限個ということを示して、1の冪根あることと共役の絶対値が全て1以下であることが同値とか示して、その後いよいよ単数定理の節に突っ込む。ジーゲルがゲッチンゲンでやった講義の内容とかで、まず1次形式に関する補題を幾つか。ディリクレの部屋割り論法が効いているな。面白い、と思い始めたあたりで予習が尽きたそうだ。まあ5時10分くらいまでやったからいいでしょう。その後学生とちょっと密談。いや、君が気に病むことではないでしょ、と言いたかったが、ちょっと言い出しづらかった。後でメールしよう、ということで。その後少々話していた。うん、まあ、という感じ。どうしましょうね？

野球が無いけど6時くらいに職場を後にした。渋滞するだろう、と思ったが案の定。が、何やら表示がいつもと違う。「草津JCT－南郷 渋滞」の表示。南郷インターっていうのは京滋バイパスのインター。名神に合流する所まで来たら謎が解けた。京滋バイパス方面の車線は渋滞しているが、京都、大阪方面はそんなに渋滞していない。京滋バイパス方面が1番左の車線なので、跨いでいかないといけないので、草津JCTにまで渋滞が溢れている、という仕掛けだった。でその後多少の渋滞はあったが、京都東を6時40分くらいには降りられたので、まあ大したことない。

帰ってきてから先週の「座王」を見て、録画予約して、ちょっと代数。この前学生に新妻弘「独習ガロア理論」の多項式の分離性の定義が何かおかしいと言われたので、手近にある本を2、3調べてみた。藤崎先生の本と雪江先生の本は「重根を持たない多項式を分離多項式という」という小生が採用しているのと同じ定義。が、桂利行先生の本は、既約因子に分解した後、その因子が重根を持たなかったら分離的、という定義。新妻先生のと同じ定義のようだ。これだと (X－1)² は分離的ということになる、というのが学生が不満を言ってきた点。まだ見付けてないが、分離非分離云々するのは既約多項式だけという流儀もある筈。まあ拡大の分離性を定義する時はどっちでも問題無い。最小多項式の分離性が問題で、最小多項式は既約なので。もうちょっと調べてみよう。

最小多項式で思い出した。小生「K 上の最小多項式」と言っているが、この前京大の入試をもう少し高い立場から眺めましょう、みたいな感じの本を買ったのだが、そこで「K 上最小多項式」という文言を見付けた。うちの学生でもゼミ中にそう言っている学生がいて、「K 上の最小多項式ね」と直させたが、京大ではそう教えているんだろうか？と思って雪江先生の本を見たら、「K 上の最小多項式」と成っていた。よかった。別の本でもそうなっていたし、「の」が入るのが標準的なのだろう。院試の問題で「R 上ベクトル空間」というのがあったので、「R 上の、ですよ」と突っ込んだが、好みの問題ということでスキップされてしまった。線形代数の本を徹底的に調べて、ぐうの音も出ない程に言ってやろうと思ったが、まだやってない。数冊見た範囲では「R 上のベクトル空間」だけだった。やはり突っ込んだ方がいいな。今度何か本を書くとの仰せだったから、用語はちゃんとしてもらわないと。その人が線形代数の講義をして小生が演習担当だった年に彼の作った資料をもらっていたが、気に成ること多数だった。成分を a_i,j と , 付きで書いていたが、, 無いのが普通ですよ、とご注進に行ったら、え！とビックリした表情で本を調べ始めていた。まあもう60過ぎた人だし穏当に済ませようとは思うが、それでもやはりな。まあもうちょっと暇が出来たらやります。来週は講義の合間を縫って学生と面談を多数して、インフルエンザの予防接種を打ちにいつも職場に行かない水曜日も行かないといけないし。土曜日は朝早くから昼過ぎまで捕まるので、エポックに泊まる予定にしているし。一週間とにかく突っ走ります。

Hawks 打線を26イニング無得点に抑えて、3連勝で王手

今日はタップリ寝て、11時半過ぎに起きた。シャワーを浴びても弁当を買って食べるくらいの時間はある。が、12時40分くらいに着いてからだともう外では弁当は売ってないことが多い。今日もそう。生協で冷めた唐揚げ弁当を買って食す。

1時から初等整数論のゼミ。今日は先週の積み残しの P.I.D. ⇒ U.F.D. の証明。一意性の証明で両辺の一つ目の素元が同伴であることに成って、約すと単元が一個残る。それの処理をどうするのか聞いてきた。素元×単元がまた素元、というのを説明してあげた。素元の定義はそれが生成する単項イデアルの性質として書かれているので、同伴な元が生成する単項イデアルは等しい、と言えばOK。で何とか済んだ。その後 y²＝x³－2 の有理整数点を決定する話だが、ツッコミどころ満載で、結構掛かった。でその後の演習問題に y²＝x³－8 と y²＝x³－9 の有理整数点を決定する問題が出ているが、時計を見ると4時。4時10分まででは無理だよねということで、ちょっと早目に終了。

その後2、3メールを書いて、線形代数の準備に取り掛かる。基底の存在は先週ちょっと見ておいたので、割と短時間で理解出来た。有限次元の場合の次元の確定も、連立方程式の理論をバッチリやってあるので、そんなに難しくなかった。「有限次元」という言葉を定義してあるので、「無限次元」も出した方がよかろうということでメモっておいて、で連立方程式の解空間の次元を求めるくらいで時間一杯に成るだろうということで、その辺にしておく。行空間と列空間というのがまだよく分かっていないので、来週やる。

途中野球の情報を仕入れる。今日は6時開始だったようで、6時半ごろ見たらもう始まってた。試合開始が6時だったり6時半だったりするのはテレビ局の都合だろうか？1回に1塁2塁、2回に満塁のチャンスを潰すなど、見慣れた状況。3回も1アウト1塁2塁で宮崎が凡退した時は、また駄目かな、と思って少し目を切って数学をしてたら、1点取っていた。今日は筒香を7番に入れていたが、巡り合わせバッチリで、タイムリーヒット。先制した。で4回。チラッと見たタイミングで牧に3ランホームランが飛び出す。Yahoo の速報のページは、ホームランが出ると画面が派手に成る。もう興奮。中四日で先発のジャクソンは、ピンチをちょっと作った程度で、好投を見せた。7回被安打3。四球2、死球1ならジャクソンとしてはいい方。試合の終わるところくらい見たいぞ、ということで、8時半くらいに職場を後にして、ちゃんぽん亭で味噌味のを食べて、一路山科へ。もう8時半を過ぎてると国道1号は混まないので今日も高速道路を使わず帰ってきた。で駐車場で小生の停めるパレットが出てくるのを待ってる間にチラッとスマホを見たら、9回に1点取っていた。よしよし。で部屋に入ってテレビを付けると、7－0に。中川颯が投げてた。もう勝つでしょう、という感じで、すぐに終了。連敗の後3連勝。2敗した晩の Baystars 応援板はぼやく人が沢山いて、「Hawks 強い。一つ勝てれば御の字」みたいな弱気なことを言っている人がいたが、どうしてどうして。Hawks が3つも負けたのっていつ以来だろう？26イニング無得点。打も投も Hawks の方が完全に上で、刃が立たないだろう意見が多かったが。いや、もう一つ勝たないと意味が無い。あと一つ、何としても取らないと。

今日知ったのだが、昨日のケイのプレーボールから4者連続奪三振というのは日本シリーズ初だそうだ。3者連続は過去に何例かあったようだが。杉下茂とか工藤公康とか凄い名前が並んでいるが、それを超えたのは凄い。今日のジャクソンは3者連続だったそうだ。Baystars の投手陣凄いぞ。守備もいいし。昨日は牧が横っ飛びでセンターに抜けそうな当たりを押さえたし、桑原は今日も大ビンキャッチをやったようだ。いいですね。明日1日空いて、で土曜日は雨だと言っていたがどうなのだろうか？今日まで3日間ドームだったが、残り2試合は横浜スタジアムだから、結構な雨が降ったら出来ない。まあそれならそれでいいけど。順延に成って月曜日に決まると途中から観戦に成ってしまうのでちょっとな。まあ26年前のように月曜日に決まるというのも悪くは無いが。あの時は肝心の胴上げのシーンを見てない。上大岡駅に着いた時は9回1アウトで、駅のビジョンに人だかりが出来ていたが、実家は駅から数分だし、試合開始には間に合うだろうと思ったが、金村が併殺打を打って、実家に着く前に試合が終わってしまった。で玄関を上がればすぐテレビがあるが、肩から掛けていたノートパソコンの鞄が落ちて、焦った。でテレビを付けたらもう胴上げが終わっているという状態だった。パレードは祝日に行われたが、科研費の申請調書なんぞというものを書くために職場に行っていて、行っていない。今年は万難を排してでも見に行くぞという気に成ってる。土日のどっちかにやってくれるといいが。浮かれますな。まだ4勝したわけではない。引き続き応援しましょう。

ワールドシリーズは決着が付いたようだ。ヤンキースが1回に3点、2回、3回と1点ずつ取って5点リード。が、ここからひっくり返るのが野球の面白い所。ジャッジは初ホームランで浮かれたか、何でもないフライを落球。その後ショートが悪送球したり、1塁ゴロの時にベースカバーがいなかったりで、5回ドジャースが同点に追い付く、といったとんでもない展開。ヤンキースが再びリードも、ドジャースが犠牲フライ2本で勝ち越し。でそのままドジャースの勝利。大谷も山本もよかったね。まあこっちによってよかったのは、日本シリーズと同日決着に成らなかったこと。Baystars が26年振りに優勝しても、スポーツ新聞の一面は大谷一色だろうからね。舞台は整った。Baystars の日本シリーズ制覇を是非。

日本シリーズが9時半過ぎまでやっていたので、9時からのドラマが9時50分から開始で、こんな時間なのにまだ「報道ステーション」がやってる。「やすとものいたって真剣です」は12時から。「アメトーーク！」は1時20分から。野球に興味の無い人には何とも申し訳ない。野球好きでも嫌いなチームが優勝した時は「特番なんぞやるな！」と言いたくなる。まだ覚えてるぞ。Giants が優勝した時、日テレがとんでもない特番をやり、10時半放送の「進め電波少年」が1時過ぎ開始というとんでもないことがあった。あの時は腹立たしかった。去年の Tigers の特番も長時間だったが、深夜に奥ゆかしくやっていた。Baystars が優勝したら、テレビ神奈川は大騒ぎなんだろうな。神奈川に住んでる人が羨ましい。CS のプロ野球ニュース」を録画するしかないな。記念グッズをどうやって買おう？いや、だからもう1勝しないと意味が無いんだって。浮かれ過ぎないようにしないと。

日本シリーズは2勝2敗の五分に

結局昨晩はブログを更新して暫くしたら耐えきれなくなって横に成ってしまった。例によってテレビを消さなかった。で数時間経ったらもう「おはよう朝日です」の音声が聞こえてきた。日本シリーズのことをやるという音声が聞こえてきたので、飛び起きた。まあ関西の情報番組だからちょっとしかやってくれないが、桑原お馴染みのダイビングキャッチを見られてよかった。

その後ちょっと学生にメールを書いて、で下らん計算を書いた紙が出てきたので、それを TeX 化して、とかやって、もう一度横に成る。流石に今度は相当長時間寝た。何も食べてなかったが、それも気に成らないくらい。日本シリーズはバッチリ観られる。

Baystars の先発はケイ。立ち上がりから三者連続三振と素晴らしい。3回まで5奪三振のパーフェクトピッチング。4回にオースティンがソロホームランを打つ。お馴染みのライトスタンドに飛び込む打球。7回に追加点。シーズン僅か29三振の宮崎がここのところ三振ばかりして絶不調だったが、その宮崎にソロホームランが飛び出す。その後満塁のチャンスを作り、桑原が2点タイムリーヒット、再び満塁とし、オースティンにタイムリーで一挙4得点。ケイは7回無失点。シーズン中は四球を出してはイライラして失点ということが多かったが、今日は1四球と安定していた。で5－0と快勝。これで2連敗の後2連勝。五分に戻した。Hawks は日本シリーズ14連勝していたが、ついに止めた。tsuno さん情報によると、それどころか Hawks に二つ黒星を付けたのは2017年の Baystars 以来らしい。Carp は1引き分け1勝の後4連敗。Giants は2019年、2020年と8連敗。いいですね。Hawks はソフトバンク（ネット上では「やわらか銀行」などと隠語で呼ばれている）が親会社に成ってから日本シリーズ8回出場で8回優勝と言っていた気がするが、ついに止めるか？

昨日の試合は見ていなかったんだが、何やら東が言ってる。投球動作に入ったところで Hawks ファンが指笛を鳴らすらしい。で2度抗議したそうだが、小久保が笑っていて、試合後は「爆笑してしまいました」と不愉快な発言。さらに村上隆行打撃コーチが「宮城に比べれば大したことない」みたいなことを言っていたそうだが、2年間で29勝7敗と驚異的な成績を残してるのを知らないんだろうか？小久保も村上も現役時代は結構好きだった（特に村上は応援している近鉄の選手だったから）が、何か嫌に成ってきた。東が「宮城は凄いピッチャーだから、大いに参考にしてます」とチクリとやり返した。相手チームを怒らせる発言をすると、流れが傾くのは過去に何例もある。Baystars に風が吹いてきたか？土曜日に決まると嬉しいが。土曜日は呑むことが多い。祝杯に成ると嬉しいが。

明日も見たいな。ただ時間割の関係やらゼミの時間の関係やら何やらで、線形代数の予習は木曜日にやらないといけなく成ってる。今からやって、明日は早目に終わらせて切り上げてくるか。来週は基底の存在とか次元が確定するとかやらないといけないから、重たい。まあテレビを見ながらでも出来ないことはない。「チョコプランナー」まで見ると2時過ぎだからな。出来るかな。などと書いてる時間があったらやってしまおう。いや、今朝書いた学生へのメールのことをしないといけないな。結構忙しいぞ。昨日の「プロ野球ニュース」を録画してあるのを見たいし、今日のも見たいしな。まあいいや、色々考える時間があったらやろう。

イデアル類群に位数2の元を作るのに四苦八苦

どうも2時40分開始の講義の前の日はいかんな。12時過ぎに起きれば余裕で間に合うということがあるので、つい色々してしまう。昨晩は今日の講義に備えて少し資料を読んでおこう、と始めたのだが、色々気に成る所が出て来て、直したりとかしてると、やっぱり整数論は面白いぞ！ということで続き続きと読みたくなってしまう。いや、自分で作った講義資料がそんなに楽しいか？と言われそうだが、実際楽しいのだ。まあ大小取り混ぜ、間違いがあったので直したり補足説明を書き足したりとかしているうちにもう「おはよう朝日です」が始まってしまった。それから寝てもまだ7時間くらいは寝られるのだが、整数論が気に成る、ということでどんどん読む。まあ流石に Kummer の定理（多項式の mod p での分解で p の素イデアル分解が分かるというあれ）の証明はスキップしたが。

で大層寝不足の状態で、1時半くらいに住処を発つ。ちょっと早目に着いた。フォレストハウスの近くに停められたので、中途半端に個研室に行ってウダウダ、とかやらない方がよかろうということで、エンジンを切って読書。今日はうすら寒い。冷房が必要ないくらいで、車の中は寒くないから暖房もいらないので、エンジンを切った次第。冷房が必要だったら個研室行っちゃうかな。

2時40分から大学院向けの講義。今日は判別式に関する話題を二つばかりやってから、P.I.D. とか U.F.D. とか復習。素元が何だとか既約元が何だとかも説明した。本当にやりたいのは素イデアル分解の一意性だが、元のレベルだと一意性が破綻してるのをちゃんと見せないと面白くなかろうということで時間を使った。証明は殆ど付けなかったが。で既約元分解の一意性が成り立ってるといいことがあるということで、y²＝x³－1 の有理整数点を求めたり。もう少し話す時間はあったが、中途半端に成りそうだし、3分くらい早かったが終わりににした。疲れた。

無茶したのは、講義が終わったら道路が混む前に帰ってきて、日本シリーズ観戦、のつもりだったから。先週もそうやって、Baystars が勝つところを見たので。が、出掛ける前に見たら、今日は教授会がある。大事な案件があって、全構成員の3/4が出席してないといけないので、已む無し。講義が終わるのが4時10分で、教授会は4時半から。流石に帰ることは出来ない。出張の時に持ち歩くノートパソコンを最近は職場に置いていたが、名古屋に持っていって、今日は雨が結構降ると脅されていたので、持っていかなかった。デスクトップのパソコンでも参加出来るんだが、カメラとマイクを USB に刺した奴が、安定したところに置けないので、発言したいときは駄目。まあ基本黙って聞いてるだけなんで問題無いけど。で大事な案件を幾つもやって、それでも6時前には終わった。昔は8時だ9時だととんでもない時間までやっていたが、小生がうちと全然縁が無い頃は、日を跨いだりしたこともあったそうだから、良くなったのかな。事務の方が二人異動になるそうで、挨拶をされていた。お一方は来月の仕事の重要人物だったのだが、いなくなってしまうのか。心配だ。

6時くらいにパソコンで野球の情報を見たら、6時半開始と成っていた。何だ。とちょっと考え事。今日の講義で、後に U.F.D. でない整域を無限個与えてあげるから、と言ったので、その件で。U.F.D. でないものというか類数が偶数である二次体を無限個与える、というのが本当の所。類数が奇数の虚二次体の特徴付けが「数論序説」に出ているが、コホモロジー群をいじってるうちに出るという、何だかよく分からない証明。が、そんなものはいらず、m が合成数だったり、mod 4 で１と合同な素数の時は、Q(√－m) の類数が偶数である、ということを単項イデアルでないが2乗すると単項イデアルに成るイデアルが与えられる、と昔 TeX 化したのを見てみると、何か証明が汚い。m＝ab, a,b>1：square-free, (a,b)＝1 の場合を考えてたんだが、m≡3 (mod 4) の時の証明が訳が分からない。a,b は奇数で、1<a,b≦4 が示せて、a＝b＝3 と成らざるを得ず矛盾、とかやってるんだが、気に食わないのが (a,√－m) が単項イデアルでないことを示すのに (b,√－m) を援用しないといけない。もっとどうにか成る筈、といじっても堂々巡り。3の時を除きたいので、m＝15 を例外処理しておこうか、と思うも、何か例外のような気がしない。で何回も何回も繰り返して、どうにか成った。a と b に立場は対称なので、b＞a を最初から仮定しておくと、4≧5 となってしまい矛盾、とかやっぱり変な証明。不等式の評価に a,b 両方触る必要があるが、二つのイデアルを出さなくてよくなったので、まあいいです。で気付けばもう9時。教授会が終わった直後は名神が混んでる時間だから、ちょっと時間潰し、のつもりだったのだが。

いや、遅く成ったのは数学だけのせいにあらず。日本シリーズよ。試合開始後5分くらい経って見たら、1回表に1点取ってた。が、東がピンチを作って、怖いのでちょっと数学の続きをやってたら、1回裏に追い付かれてた。うむ、Hawks 強いぞ。が、5回表に見た時は1点リードしてた。桑原がソロホームランを打ったようだ。やるね。その後ノーアウト満塁のチャンスを作るも、筒香の犠牲フライで1点取れただけ。うむ、まだ怖いぞ。で9時過ぎに見たら、ポストシーズン絶好調の戸柱がタイムリーヒットを打ち3点差に。東は肉離れで離脱した筈だったが、7回105球1失点とよかったようだ、と思って見たら、ヒットは10本も打たれたようだ。が無四球なのは流石だな。最後までネット観戦しようか、と思ったが、もう10時近いのでやめておいた。

ココ壱番屋でカレーを食べて帰宅。カレーを食べ終わった後野球の情報仕入れよう、と思ったら、何やらスマホの画面が暗く、良く見えない。また変な所をいじって、設定を変えてしまったのだろうか？支払いもスマホで出来ず、Suica で払ってきた。もう10時を過ぎてた。これくらいの時間だと道路は混まないが、寝不足でスピード出し過ぎてギャ！というわけにはいかないので、抑え目に。が、前に車が走ってないと自分のスピードがよく分からないスピードメーターを見たら、50km/hを割ることがしばしば。京都に入る手前でちょっとだけ片側2車線に成るが、そこで沢山抜かれた。何とか辿り着いた。もう11時近く。

住処に着いてテレビを付けると、東のヒーローインタビューの様子を「報道ステーション」で流してるところだった。勝ったかよしよし。これで1勝2敗。まだまだ。ワールドシリーズはドジャースが3連勝したそうだ。「おはよう朝日です」の岩本アナが今晩アメリカに発ち、第5戦を取材も兼ねて観戦だと言ってたが、4試合で終わっちゃいそうだぞ。大丈夫か？

眠いな。「アンタウオッチマン」を見るにはもう1時間半くらい起きてないと。こういう時は呑むと案外起きていられるもの。「相席食堂」が終わったらちょっと買ってこよう。明日は日本シリーズを見られる。ちゃんと寝て、体調を整えておかないとな。明日か明後日のどっちか勝てればもう一度横浜スタジアムに戻れる。勝てよ。

ココ壱番屋もタブレットを使って注文出来るようになった

「夫が寝たあとに」が終わってすぐ寝る、というのが当初のプランだったが、計算が合わなかったりなんだりで、結局3時くらいまで起きていた。うむ。で起きたら11時45分くらい。まあ睡眠は十分だ。シャワーを浴びる時間は無いので、ちょっとして出掛ける。職場には12時半くらいに着いて、外で売っている唐揚げ弁当にちょっと味の違うものがあったので、そっちを買う。

1時から「数学IV（線形代数）」。基底とか座標とか色々あって、計算を適当に端折ったりちゃんとやったり。気付くともう残り時間が10分も無い。有限生成ベクトル空間の基底の存在を示したかったが、無理だな、ということで例題をやって、そこの計算は詳しくやった。基底の存在は来週。次元を確定させられるのは再来週だろうか？もう今日で5回目なのだが。まあ気に病んでも仕方ない。粛々と進めましょ。

個研室で講義資料を直す。色々ミスがあった。来週やる所にも些細なミスを見付けたので直す。で manba＋R に上げてとかやってたら、あっと言う間に4時。時間が経つのが早い。

4時20分からゼミ。先週の積み残しからだが、それが存外時間を食う。平方剰余についての理解が著しく不足している。上下ひっくり返して下側のエントリーに2を持っていったりする。別の学生の時にそれは駄目だと言ったのを聞いてなかったのだろうか？他にも色々あって、そこを過ぎても問題多数。字面を読んでくるだけじゃ駄目だと何回言ったろうか。でちゃんと詰めてない所の一箇所が全然分からない。I 君と小生の声が響き渡り、黒板の前に立っている学生は色々書いたり消したりしていたが、他の2人はどうしてたんだろう？何も言葉を発しなかったが。紛糾したまま終了。時間があったら考えよう。

であまり遅くまで職場にいないつもりだったが、明日の講義の資料を見直してたら色々直さないといけない所があったのを思い出した。で「代数学I」のノートと見比べると、変なことが書いてあるのが分かった。で直しては戻しと数回やって、印刷して、時計を見るともう9時半。まあこれくらい出来てればいいだろう、と印刷。金曜日の講義資料の印刷をし忘れることが多いので、今日ついでにやっておいた。

ココ壱番屋で近江牛のカレーを食べようと向かう。水を持ってきてくれた人に注文したら、タブレットで注文せよと言われた。最近変わったらしい。これはいい。年寄りが豚カツを頼んだり、「パリパリチキン」とかちょっと言うのが恥ずかしかったものもすんなり注文出来るぞ、と。で近江牛は柔らかくて旨かった。1800円を超えるのはちょっとという気もするが。名古屋で駐車場代を結構取られたし、今日は車にガソリンを入れないといけない。物入りだな。まあ兄者は親父殿の為にもっと色々使ってるから、贅沢を言ってはいけない。

次年度の卒研の募集の結果が出た。今の所少人数。去年は講義に殆ど学生がいないのに5人も小生の卒研を希望してきて、結果を見て、わっ！と成って、その後二次募集でもう5人来て、さらにわっ！と成った。「代数学II」の講義の最後2回は5回生が一出席しているだけという状況だったので、皆さん中々面の皮が厚いね、と思ったが、今年はどうでしょうか。二次募集で「人数の少ない所がいいので」と出してきた学生がいたが、10人に成るとは想定外だったろう。まだまだ予断は許さない。それにしてもファイルがデカいな。pdf ファイルでエントリーシートを提出することに成っていたが、多分ほぼ全員写真を撮って jpg ファイルを作り、それを pdf に変換してだから、一人頭で相当なデーター量だろう。それが約100人分あるわけだから、そりゃそうなるわな。現在ダウンロード中だが、もうちょっと掛かりそうだ。USB メモリーに保管したら、c ドライブから即消す。ダウンロードのフォルダーも忘れずに。

日本シリーズは2連敗も、松尾がヒットを打ったり、リリーフ陣が16人連続で打ち取ったりと、希望はある

昨日はちょっと早目に目が覚めてしまった。2時までにナゴヤドーム前矢田駅の近くに行けばいいので、ワールドシリーズを流しておいて色々やって、で眠くなってきてちょっと横に成ったら少しだけ寝入った。ワールドシリーズは何か物凄い決着で、史上初のサヨナラ満塁ホームランというので、仰天して目が覚めた。で時計を見るとゆっくりしている時間では無いので出掛ける。宿にホテル周辺の地図があったが、全然方角が分からないので、フロントの人に聞いてから栄駅へ向かう。で地下鉄を待っていたら、次の電車は目的地の一つ手前の大曽根行。時刻表を見ると半数が大曽根止まりのようだ。まあ次の電車も5分くらい待てばくるので、ベンチに腰掛けて読書。電車に乗って十数分で目的地。

でまた方角が分からない。セブンイレブンがあったので、買い物をしたついでに聞くと教えてくれた。すぐのようだ。が、割と大きな道路で、信号を2回待つ上に、中々青に成らないので、ちょっと待った。そこで平林先生に声を掛けられ、「懇親会は参加出来ることになりましたか？」と聞かれる。恥をかくと大変だ。で目的地に着いて、3階の講義室に入ると、人が殆どいない。2時からだと思ったら2時半開始だそうだ。1階にファミリーマートがあったので、飲み物を買いに行くと、エレベーターの前で山岸さんに声を掛けられ、「懇親会は参加出来ることになりましたか？」とまた聞かれた。まあ仕方ないな。

出し物は小松ダブルヘッダーによる数論の話2題。Tr(小松) さんの話は、D₅ 多項式の話。彼は若い時に二次体の類数の可除性のことで論文を書いていたが、その時も今回も大学の先輩の岸さんの話を発展させたもの。代数的整数論をやっているものとしてはガロア群とか類数とか研究したいが、いやー、無理っすね。その後小松啓一先生のヒルベルトの17問題にまつわる話。ヒルベルトの問題は幾つか知っているが、17問題は不勉強で知らなかった。1920年くらいに解決されたそうだが、キーとなる事実が1700年くらいに証明されていたから出来たとの仰せで、最近の望月新一氏の論文は、その1700年の結果にあたる物からやらないといけなかったので、大変だったのだ、との仰せ。うむ、望月氏の論文も読まれているのか。もう75歳くらいだと思うが、若い頃のままで頭脳明晰だな。話しも明瞭で、ただただ感動。行った甲斐があった。

その後、栄の次の駅（名前失念）で懇親会。恥をかいてまで参加したんだから、楽しまないと、ということで、小松先生の目の前に座り、色々話してきた。よかった。で栄まで電車で戻り、皆さんは番号の若い出口に向かわれたが、小生は12番出口だか13番出口だかがホテルに一番近いので、ホームでサヨナラした。駅からホテルはちょっとあるが、昼に景色を大体覚えておいたし、宿でもらった地図で方角を確認したので、迷わず帰れた。

宿に着いてすぐテレビを付ける。日本シリーズが昨日開幕で、懇親会の最中に何度か経過を見たが、0－2とリードされていた。宿に着いたらもう試合が終わってるかと思ったが、まだやってた。8回を康晃が抑えたところだった。9回にシーズン、CS と無失点だった堀岡が3失点。うむ、駄目か。寝不足だったし酔ってたしということでベッドに入るとすぐ寝入ってしまった。数時間寝た。目が覚めて、試合開始前にtsunoさんからメールが来ていたので、それに返信。で Yahoo の速報のページを見たら、何と9回裏に3点取ったようだ。一方的に黙らされたかと思ったので、ちょっとホッとした。その後もう一回寝てもよかったが、パソコンに向かって色々始めてしまい、「相棒」を見ようかとも思ったが、途中で眠くなると嫌だったので、下らんことの続き。そんなことをしているうちにワールドシリーズが始まってしまった。で途中で風呂に入って、試合途中だが11時にチェックアウトしないといけないので、宿を発つ。

一昨日書いたが、宿の向かいのコインパーキングに停めた。2泊停めたから、結構取られるな、と思ったら案の定。まあクレジットカードで払えたのでいいです。でカーナビに自宅をセットして、CD を交換してから出発。何か交差点一つ毎に右だ左だと言われ、正直混乱した。一方通行の道が多いということだろうか。で路地から信号が変わって右折したら、そこが名古屋高速のインターチェンジだった。ETC レーンが塞がっていて、一般のレーンしか入らないといけなかったので列の最後尾に付けるが、すぐ ETC レーンが通行可能に成った。つかんな。2台後ろの車以降は ETC レーンを軽快に抜けて行ったが、こちらは仕方ないので料金所の人に ETC カードを抜いて渡して、とやる羽目に成った。まあ料金は変わらないのでいいです。で右に行けの左に行けの色々言われているうちに東名阪に入った。サービスエリアで昼食を、と思ったが、まだ11時半とかそんな感じだったので、まあ土山でいいか、ということで走り続ける。途中「E1A 新名神 京都、大阪」の看板が出ていたのだが、カーナビはそっちに行かずに真っ直ぐ進めとの仰せ。いいんかな？と思ったが信じて進む。そこそこの距離走ったあたりで、「E1A 新名神 京都、大阪」の文字が。今度はそっちへ行けと言うので行く。暫く行くと、「名古屋方面はこのまま直進 亀山西JCT へ」との案内。何だか色々複雑に成ったな。土山サービスエリアは京都から名古屋方面に向かう時はくねくねと曲がって、中々入れず面倒だが、名古屋から京都方面だと楽に行けるということが分かった。食事をして、名古屋で土産を買ってこなかったので、適当に見繕う。でそのまま京都東を目指す。途中、城陽方面への分岐と城陽方面からの合流が大分出来上がっているのが確認出来た。名古屋方面へと渡る橋も結構出来てる。何だか軟弱地盤の所があったり、砕かないといけない岩があったりして、開通は遅れるとの話だったが、どう成ってるのかな？で草津JCTを通って名神に入って、もうここまで来れば何の心配も無い。が、家に着くまでが遠足だから、と言われていたのを思い出して、丁寧に運転。無事何事も無く、住処に着けた。距離はキリのいい8801。これがキリがいいと思えるのは、昭和のパソコンオタクくらいだろう。

台湾ラーメン味のポテトチップスを食べながら、木曜日の「ゴチバトル」など。中々面白くなりましたな。寝床でちょっと YouTube を見てたら眠く成ってきたので、ちょっとだけ寝た。で起きて選挙へ。小生の所の選挙区には大物がいるので、まあ誰に入れてもその人が通るだろう、と思うが、意思は表示しておかないと。選挙公報が届いていたので目を通すが、彼はいつ維新の議員に成ったんだ？と思ったが、後でニュースを見たら、選挙直前に合流したとか。元々別の党の代表を務めた人だが、そういう節操の無い人でも通るのか。まあいいけど。

6時くらいに NHK BS にチャンネルを合わせる。TBS 系の地上波でも中継があるそうだが、テレビの番組表を見ると、選挙と野球のダブルでやるようなことが書いてあり、鬱陶しそうなので NHK BS にしようと。大貫はいい立ち上がりをしたように見えたが、ランナー一人出して、山川に2ランホームランを打たれた。1回から2点のビハインド。3回にも2点を取られ、早々とノックアウト。佐々木千隼に交代したが、犠牲フライでもう1点。3回で5点リードはきついぞ。3番手濱口も1失点で6点差。うむ。が、5回に森敬斗がモイネロ直撃の当たりで出塁し、代打松尾汐恩が初球を打ち2ベースヒット、更に1番に入った桑原が再び初球を打ちタイムリー2ベースヒットで2点。7回に2番手尾形から牧がタイムリー2ベースで3点差に。投手は濱口が4回の3アウト目をとってから16人連続凡打に打ち取るという快投。それだけに序盤の失点が余計だったな。まあ完敗ですな。7年前は2連敗スタートで、そこから2連勝して、3連勝目前というところで康晃が内川に同点ホームランを打たれて、延長で負けて、という感じだった。結局そのまま寄り切られて、2勝4敗で残念でした、という結果だったが、今回はどうなるでしょう？

で選挙の情報を見ているが、自公は結構大変なことに成ってるようだ。大物が続々と落選で、大阪伝統の公明党は全員落選とか。合わせても過半数にいかないという見込み。今回は流石に世間は大分お怒りのようだ。12時近くに成ってもこんなに議席が定まらないのは異例らしい。投票率はどれくらいだったのだろう？面白いな。まあ寝不足だし、明日は線形代数の講義と3時間のゼミがあるので、寝ないと。「夫が寝たあとに」が1時からやるようだし、それが終わったら寝るかな。11時くらいまで寝ればまあ十分だ。

ちょっと見ていた YouTube が色々気に成る。大学受験生向けの数学動画をちょっと見てるが、積分計算で自分が気付いたものを「神技」と言っていたが、いやー、凄いな。うん、まあ確かに小生は気付かなかったが。物凄い数の受験問題を解いたり研究したりしているらしいが、答の出るものを考えてるに過ぎないわけで、定積分は原始関数を求めてそれで出す、という方法で出来るのは例外的なものだということをご存知なのだろうか？4項間漸化式も解いていたが、いやいや、それは線形代数を使いましょ、というのがこっちの立場。4次多項式を Z 上で因数分解するのも、普通に2次式二つの積だと仮定して係数比較、と普通のことをやってるんだが、それも何か凄いことのように話してるが。まあああいう底抜けに陽気なキャラクターは受験生にはうけるでしょうが、受験に凝り固まってると大学行って苦労するよ、と言いたい。コメント欄を見ると、こう書かないと減点されるとか色々言ってる人がいるが、現場の意見としてはそんなのは枝葉だと思うことに皆で口角泡を飛ばして議論してる。積分定数書き忘れただけで本当に5点も減点されるんだろうか？どうですか、記述式の入試をやってる大学の先生方？どうでもいいことに気を使い過ぎで、小生が講義で「1次独立」と書いたり「一次独立」と書いたりしていたら質問が出たことがある。「どうでもいい！」と返答しておいたが、それを聞いてきた学生は目茶目茶出来るやつで、3回生時の講義では的確な質問をしょっちゅうしてくる奴だった。本質が何処かを3回生に成るまでに分かったということか。因みにそれから気を付けて「1次独立」で統一している。テキストもそうなってるし、下らんことで気を使わせたのはこっちも悪いと思うので。ゼミでもこう言ったり書いたりしないと小生から文句を言われると思って渋々色々やっている様子が伺えるが、大事なのは皆にちゃんと自分の意図することを伝えるのだ、ということを意識していれば、小生の言葉くらいどうでもいいのが分かりそうなもんだが。何か a とか b とか書いたら、それがどの集合の元か、というのを明確にするのは、話している側の聞いている側へのサービスだと思うんだがな。長くなった。この辺でやめておこう。

名古屋ナウ

今朝は10時40分くらいに目が覚めて起きた。シャワーを浴びて、11時半に成る前に出発。ちょっと関西みらい銀行に寄りたいので、草津田上を降りた後、正門前を左折して、ちょっと遠回り。こっちに引っ越してきてすぐ当時の「びわこ銀行」に口座を作ったが、職場に出張所があって、住処から一番近い銀行、ということで選んだのだが、職場から CD が無くなってしまった。「びわこ銀行」から「関西アーバン銀行」に名前が変わった時は、ゆうちょと提携してくれて、職場にあるゆうちょ銀行の出張所で手数料無しで卸せていたが、「関西みらい銀行」に成ったら手数料110円掛かるように成ってしまった。今時利息で110円もらうのは大変。ということでお金を卸すときは山科か南草津店で行っている。大分遠回りだが仕方ない。で軍資金を調達してから職場に行って、弁当を買って食べて、としてちょっとウダウダとやっていたら1時。

1時からは「代数学II」。今日は既約多項式の根体を構成してから、代数的閉体、代数的閉包などを定義して、代数的閉体で上から蓋をされてる時は代数的閉包が存在することは割と容易に示せるが、じゃあ蓋の存在を仮定しなかったら？と言ってから存在定理と一意性定理のステートメントを紹介。証明は今年も無し。選択公理というかツォルンの補題というか、そういうものが必要になる、と言っておく。で今までは「L/K を体の拡大とし、t∈L を K 上代数的な元とする」と言わないといけなかったのが、「t を K 上代数的な元とする」でよくなって嬉しい。で二つの元が共役とかを定義して、K 上代数的な元 s,t が K 上共役であることは K(s) から K(t) への K 同型で s を t に写すものがあることと同値とか、更にそれの代数的閉包版を証明したりとかしてたら時間。来週は正規拡大をやれる。難しい所だが、ちゃんと理解してくれればいいが。まあ教室に来て板書を写してるだけでは理解出来ないのは当然なので、後の頑張りを期待しないと。

この前ちょっと面白いことを Facebook で言っている人がいた。「中高大と大学で英語習っても、全然喋れるようにならない」というのに対し、「小学校から高校まで12年間も運動させられたけど、全然世界記録が出せない」と言われたらどう反論する？というもの。面白いこと言うね、と思って見ていたが、まあ結局課外にどれくらい時間を費やしたかが大事、ということだろうな。小生も英語力が飛躍的に上がったのは、論文を書くように成ってから。浪人してる時は読めて、単語を沢山覚えて、偏差値は鰻上りだったが、まあ今考えると大したことなかったね。早稲田には外国人の整数論屋がよく招待されてたから、彼等相手に英語を喋って、随分度胸が付いた。Alan Baker を東大から早稲田まで連れて行ったり、Zimmer に早稲田の行き方を教えたり。得難い経験だった。数学の講義も講義外の時間で色々やらないと分かるようには成りませんぜ、と今度1回生と面談する時に言おう。

講義後は代数的整数論のゼミ。今日はオイラー関数の代数体に拡張したバージョン、それを使ってオイラーの定理を代数体に拡張したバージョン、メビウス関数の代数体バージョン、メビウス反転公式の代数体バージョンなど。反転公式は何回証明を読んだり見せられても全然分かった気がしない。今日もひたすら呆然と聞いていた。その後単数の節に入り、代数的整数が単数であることとノルムが ±1 であることが同値とか示して、さあ、というところで予習が尽きたそうだ。そろそろディリクレの単数定理の証明が始まるが、ちょっと見たが何が何だか見当が付かない、というようなことを言ってた。単数定理とミンコフスキーによる数の幾何は代数的整数論の一番難しい所だ。仕方ない。デデキント ζ 関数やディリクレ L 関数を計算する話は今使ってるテキストには出てないが、M2 の学生が勉強している本には出てる。そこも難しくて、皆フウフウ言ってた。大体整数論を卒研でやりたいと思う人は解析や幾何が苦手としたもんだ。小生もそうだが。金子昌信さんや松本耕二さんの所に進学した学生は解析的なことばかりやらされるので、大変だろうと思う。九大だからとか名古屋大学だからとか、大学受験のような感覚で進路を選ぶと大変。京大に行くと数論幾何がどうしたとかいう話に成るだろうから、今度は苦手な幾何に振り回される。格好いいことをやりたかったら、何でも勉強しないとね。小生のような数学者の端くれで終わるならいいけどね。

ゼミが終わった後ちょっとドーピングして、名古屋へ向けて出発。住処へ戻ると、高速道路が混むので嫌。荷物を持って京都駅に向かって、新幹線で40分、そこから栄へ、と考えるだに面倒。職場から車でいけば楽。14時に名古屋に行けばいいのに、前の日から行くと成ると何か理由を書かないといけない。車で行くのも理由が必要、ということでそれら書類を出さないで済ませたいし、ホテルの領収書を事務に出すと悪巧みがばれるので、私費出張にした。いや、私費でももしものことを考えたら出張届を出すべき、と昔同業者が言ってたが、まあもしものことが無いようにすればいいので。いや、急病で倒れるということもあるぞ、と考えたらキリがない。まあいいです。で新名神、東名阪、名古屋高速と渡り歩く。新名神は3車線化工事中だが、所々工事は完成していた。が、途中の所は路肩が狭くなっていたりと、かえって怖い。大阪の中心部も京都の中心部を通らず名古屋へ向かえる、というのが新名神の趣旨だろうからな。最初から片側3車線で作っておけばこんな苦労はしないのでは？などと思って走っていた。で途中真っ暗で車が全然いない所があり、自分の車のライトだけが頼りで怖い所があった。名古屋高速はカーブが多くて怖いし。名古屋の街中はまあ何とか成ったが、ホテルが想像していた場所と違う。栄のアパホテルだから前に2度泊まった所だろうと思ったら違った。栄にはアパホテルが4つあるようだ。前泊まった所は大通り沿いだったが、今回のは狭い繁華街を抜けないといけなく、駐車場があるらしいが見付からない。で2度ほど交差点を曲がったらコインパーキングがあったので、そこでいいや、と停める。で降りたら逆側の入口が何とホテルの目の前の駐車場だった。ホテルの駐車場の入口もすぐそこ。が入口の目の前で荷物を降ろしてる人がいたので、気付かなかったのだった。ハイルーフ車用のスペースはもう埋まってるようだが、普通の車の停める余地はまだあったようだ。まあいいです。二晩コインパーキングに停めます。高く付くかな。まあいいです。

でチェックインの手続きをしたいが、アパホテルのカードは随分昔に作ったもので、読み取り用の磁気の部分が剝がれかけている。博多でアパホテルに泊まった時はカウンターの人が会員番号を手入力していたが、今日は新会員証を発行してくれて、会員番号は変わるが、貯めたポイントは引き継いでくれるという何ともありがたい申し出。ちょっと時間を食ったが、まあいいです。特にやることは無い。食事は土山サービスエリアで済ませてきた（わざわざ出先でいつでも食べられる近江ちゃんぽんを食べなくてもよかろうに、とちょっと後悔した）。明日は早くないし、のんびりしよ、ということで、ちょっとぼーっとしている。NHK のニュースと「報道ステーション」を見たが、スポーツコーナー以外のコーナーでワールドシリーズの情報をやってるが、日本シリーズの話題は後回し。気に食わんね。昨日の晩テレビの番組表ボタンを押して、日本シリーズがどのチャンネルでやるか探したが、無い。いや、流石にそれは、と思ったら、明日も明後日もちゃんと地上波で放送があるようだ。よかった。一時期でも Baystars の親会社だった TBS 系で第1戦、第2戦を放送してくれる。まあ明日は見られないけど。第2戦は NHK BS でも放送があるようだ。そっちの方がいいかな。日曜日は11時まで宿にいていいそうだから、それくらいにチェックアウトして、山科に急いで帰って、投票に行って、それから日本シリーズだ。忙しいぞ。

Baystars は社会人の竹田祐（25歳）を1位で獲得

昨晩は結局「チョコプランナー」まで見た。で寝床に入ってすぐ寝たかというとそうではなく、すまほで twitter を結構見てしまった。Baystars の CS 勝ち上がりの話題が多かったので。短時間のビールかけの動画（桑原が大活躍したという噂は聞いていた）など。横浜駅近くの百貨店などでセールをしているとか、横浜駅と関内駅は早くも日本シリーズモード全開に成っているとか、そういう情報を見てたらどんどん時間が過ぎていく。いかん、寝るぞ、と電気を消すが、中々寝られない。まあそうは言っても、結構早く寝入っているのだろうが。一時親父殿が寝られない寝られないと言っていて、それでも寝られないと言っていたらしいが、お袋曰くいびきかいて寝ていることがあったそうだ。本人が思っているよりは寝ているもの。が、それでも無茶が響いて、12時近くまで起きられなかった。シャワーを浴びたら飯の時間が無くなるので、急いで出掛けた。

で職場に着いたら、表で売ってる弁当は全て売り切れ。むう。生協で冷めた弁当を買おう、と向かう。トンカツ弁当があったので買う。で食べながらメールチェックしたら、今日ゼミで喋る番の学生が、昨日トラブルがあって医者に行くので、今日はゼミに出席出来ない、というメールが。急いできて急いで昼飯食べてゼミ無しかい、と思ったが、1時にゼミ室に行ってみた。すると、二人目の順番だった学生がやる、とのことだ。まあ一人目は P.I.D. ⇒ U.F.D を証明するだけのようなので、飛ばしても問題無い。が、二人目の学生が実は遅刻しているらしい。まあいいです。少し待ったら来たし。で二次体（と言っても Q(√－d)、d＝1, 2 の時だけだが）で素数がどう分解するかをルジャンドル記号の値で書いて、相互法則を使って完全にその素数の合同条件だけで分解の様子が分かる、という話。よく知っていることだし、眠いし集中出来ない。ちょっと他のことを考えているうちに結構時間が経っていたような気がするが、まだ黒板に主張を書いてる。書くのが遅い学生なのだろうか？証明もゆっくりゆっくり進む。数箇所ギャップのある所で詰めてきていない所があったので、眠気覚ましに突っ込んで考えさせ、同時に小生も考える。よく分からない所があったが、一人名案を出してくれて、すぐ解決。何だかんだと2時間くらいノンストップでやり続けた。疲れた。まあ眠くなくなってきたのでよかった。

ドーピングをしてから線形代数の準備。有限生成ベクトル空間なら基底が存在する、ということを証明しないといけなくなったので、勉強。何かよく分かったような分からないような証明だが、学生は理解出来るのでしょうか？という感じだが。R³ のベクトルが5本あって、そこから1次独立なベクトル系を選ぶ、という話が出ていたが、何かよく説明が分からないな、と思ったら、「1次独立なベクトルが n 個あって、もう1個のベクトルがそれらの1次結合で書けない ⇒ それら n＋1 本は1次独立」というのをさも当たり前のように使っているからだな、ということで、カンニングペーパーにその事実をメモっておいて、それと凄く当たり前だが、「b₁,…,b_n が a₁,…,a_m の1次結合で表されているとする。この時 b₁,…,b_n の一次結合で書けるベクトルは a₁,…,a_m の1次結合」というのも口頭でいいから注意しておいた方がよかろう、などなど。ラグランジュの補間公式は再来週になりそうなので、今日はその手前でやめておいた。明日の講義の資料を印刷してないぞ、と気付いてやろうとしたが、先週何処までやったか思い出せない。鞄を漁ると先週の講義資料がまだ入っていた。何処までやったかは印が付いてて、思い出せた。が、先週気に成ったことがあったんだった、と思い出して、そこを直して、それから明日の分を印刷。でもう9時くらいに成ってた。

帰ろう、と思ったら電話が鳴った。今日は2回セールスらしき電話（出なかった）があったが、この時間だと兄者だろう、と思ったら案の定。親父殿の現状に関する報告。兎に角物入りらしいので、援助を頼む、と何度目だか分からないがまた言われた。勿論構いませんて。口座番号を教えてくれるのかと思ったら、まだ必要に成るのはもう半月か1ヶ月くらい先だそうだ。で少々話して、9時過ぎに個研室を出た。今朝は駐車場を入ってすぐの所に停められたので、すぐ帰れてよかった。松屋で「リトアニア風ホワイトハンバーグ定食」というのを食べて帰ってきた。

10時過ぎに帰宅。「報道ステーション」でちょっと世情を仕入れる。ドラフト会議はどうなったろう？と思って見ると、宗山は5球団から1位指名で、交渉権は Eagles が獲得。宗山は嬉しそうだったから、まあよかったのでしょう。Eagles は御家騒動の多い球団。今江は1年で解任されてしまったし。交流戦優勝はあったがな。田尾も3年契約だったのが1年で解任だったし。まあ Eagles の話はいいや。Baystars は関西大学の金丸を指名したが、クジ引きの末涙。三菱重工 West の竹田祐をハズレ1位で指名。即戦力投手が欲しいということだな。清原ジュニアは指名漏れとか。まあ1回きりのチャンスではない。竹田は25歳だそうだし。30歳でプロに成った選手もいたな。若ければいいというわけでも上位だからいいというわけでもない。Baystars はドラフト6位の宮崎、ドラフト9位の佐野、山本祐大が活躍している。石井琢朗はドラフト外だった。元々投手で勝ち星も上げたが、打者に転向して2000本安打を打った。どうなるか分からない。今後の精進次第でしょう。

Fighters が1位籤を引き当てた選手は「柴田獅子」という名前だが、名前は「れお」と読ませるとか。Lions に行けば面白かったな。

もうどうでもいいが、梶谷が引退するそうだ。Baystars で「梶」と言えば梶谷のことだったが、今年一年の活躍で完全に梶原を指すようになった。FA で Giants に行ったが、よかったんだか悪かったんだか。行ってから数年優勝出来なかったし、今年は優勝したが、梶谷は全く働いてない。一軍出場は6試合とか言ってた。Baystars に居て、今年の CS 制覇の輪に加わった方が気分はよかったのでは？一緒に移籍した井納は、Swallows が一番いい条件を出してくれたそうだが、Swallows では優勝出来ない、と Giants を選んだそうだが、まさかそこから連覇。Giants は低迷した。2年で1勝しか出来ずに契約を結んでもらえず。Baystars なら先発の一角として投げ続けていられたと思うがね。FA ではないが、シーズン60本塁打の日本記録保持者バレンティンも Swallows を袖にして Hawks に移籍したが、大した働きが出来ず、1年で日本を去った。「金で夢は買えなかった」と言っていたそうだ。まあどう成るかはその時には分からないからね。小生の書いているのはただの結果論。もうこれくらいにしておこう。

ちょっと旅支度をしないといけない。明日は住処に帰ってくるのが面倒なので、職場から直行する。今からやる。その前にちょっとドーピングしよう。酒を呑むという意味ではない。

報告集の原稿を送って、ホッとした

「アンタウォッチマン」が終わって買い出しに行って、とそこまでは予定通り。ですぐ寝ればいいが、ちょっとゴソゴソとやってしまい、テレビを付けっ放しで寝床に入ってしまった。で熟睡出来ず、7時くらいには腹が減って起きてしまった。ちょっとボーっとしてから、報告集の直しを始めることにした。昔書いたものを見ると、間違いが多過ぎる。「less than」と書くべきところが「greater than」に成ってたり、「割り切れる」と書いた筈が「割り切れない」に成ってたり、\sqrt{\pm\varepasion} のはずが \sqrt\varepsilon に成ってたり。ということで丹念に見返すと、物凄く時間が掛かる。一度休憩したが、全部読み終わったらもう昼近く。間違いを見付けて直したり、計算を軽くチェックしたりと、相当消耗した。で昼飯を食べて、もうちょっとやってから、ちょっと寝床へ。2時間くらいしか眠れなかった。物理の先生から面倒な件でメールが来ていたので返事を書いたり、学部長選挙の第二次投票結果公示がメールで届いていたので目を通したり。教授会で建設的な発言をすると、名が通るので選ばれてしまうな。多分小生より若いと思うが、真面目そうな人だから、そりゃ上位に入るだろう。三人の名前が出ていて、もう一方は要職を色々やられた方だし、そりゃな。もうお一方はよく知らない。顔はちょっと知っているが、多分小生より年齢は上だな。頼り甲斐がありそうで選ばれたのだろうか？でもうちょっと直しを続ける。一昨日と昨日、ちょっと雑だった所を詳しくしたが、もう一箇所書き加えたい所が出て来て、ちょっと計算。どう変数変換したんだか忘れて、Mordell の不定方程式の本を見たり、ダウンロードしてあった Cassels の論文を見たりしたが、どうも思うに任せない。そこで閃いた。2000年に小生が書いたものを見れば分かる、と思って見たら案の定分かった。で SageMath で計算して、原稿に書き足そうと思って足したが、やっぱりやめた。何故かというと、TeX で18頁もの原稿を書いたのに、overfull が一箇所も無いという奇跡的な展開が続いていて、結構興奮していたが、そこを書き足すと激しく overfull してしまう。いや、やりようはあるのだが、今からやると大変なので、書くのをやめたのだ。でもういいことにして、9時くらいに pdf に変換して、念のためもう一度目を通して、まあいいでしょう、ということで岸さんにメール。いやー、話すのを依頼されてから今日まで、結構大変だったが、色々勉強に成った。一つ新しい定理を書けたし、まあよかった。たまには真面目に研究しないと、能力が腐るのでね。岸さんには大感謝だ。

作業中に7時に成ったが、何やら昭和歌謡の番組が始まった。最近こういう番組多いな。最近はご老体の方が人口比率が高いから、ターゲットは50～60代くらいだろうか。超絶面白かった。中森明菜が特集されていたが、あの歌を歌っていた頃はまだ19歳だったか、とビックリした。歌詞もそうだが、雰囲気も大人びてたな。最近車で宇多田ヒカルのファーストアルバムを聴いてるが、歌詞を聞くと相当背伸びしている雰囲気。当時は彼女は16歳だった筈だが。日曜日に竹内まりやの特集をやっている番組があったが、彼女はもう69歳だそうだ。ビックリだな。昼の番組で今日ニューアルバム発売と言ってた。日曜の番組でちょっと購買欲がそそられたので、買うか、という気に成ってる。

明日はプロ野球のドラフト会議だそうだ。何でこんな時期にやるんだろうと毎年思ってるんだが。Carp が1位指名に明治の宗山を指名してると公表してるそうだが、小生高校野球を殆ど見ないが、大学野球はもっと見ない。で宗山のプレーを「報道ステーション」で始めて見たが、凄い。Carp は菊池、矢野という凄い内野手がいるが、もう一人取るつもりか。ハンドリングはいいし、肩は強いし。打力があったら最強の内野陣が完成しそうだ。小園もいるし。肩の強いショートを言えば Baystars の森敬斗だが、凄いプレーを見せたかと思えば、とんでもない悪送球をすることもあるしな。宗山が活躍したら、森は他のチームの選手だが手本にすればいい。

26日から日本シリーズ、というのが Baystars 応援板での話題の中心だが、ニュース番組のスポーツコーナーはワールドシリーズのことばかり。同じ日に始まるが、多分ニュースはワールドシリーズ中心だろうな。27日は選挙もあるし、そっちだな。小生は勿論日本シリーズ中心で行く。月曜日の「プロ野球ニュース」で高木豊氏が、Hawks は近藤をどう使うかが鍵、と言ってた。近藤はアキレス腱を痛めて結構休んでいて、CS では DH で起用されていたそうだ。日本シリーズは横浜スタジアムで始まる。ということは近藤出られないか？モイネロは横浜スタジアムで大丈夫か？とも言ってた。数字で見ると Hawks 圧倒的有利だが、どうなるか分からんぞ。あ、思い出した。CS の好プレーの映像を全部流してくれたが、高木豊氏は牧が1アウト満塁でセンターに抜けそうな当たりを好捕して併殺打に打ち取ったプレーを取り上げてくれた。小生もやはりあのプレーが一番だろうと思っていたので嬉しかった。牧は12球団の二塁手で一番エラーが多いそうだが、CS では好守連発だった。日本シリーズでも是非。それと日本シリーズを決めたあの時のような勝負強い打撃を見せてもらおう。

ホッとしたからか、随分長く書いてしまった。今晩こそはちゃんと寝よう。今「これ余談なんですけど…」を見てるが、面白いな。「チョコプランナー」まで見ると2時半くらいに成ってしまう。限界が来たら寝よう。まあ2時半に寝ても11時半起きなら9時間寝られる。11時半ならシャワー浴びてから職場に向かうくらいの時間はあるし、弁当をゼミの前に食べるくらいの余裕はある。「チョコプランナー」まで見ちゃうかな。

ブックオフで色々売って1500円くらい

結局昨晩は殆ど寝なかった。分別作業の後、報告集の直しを結構一生懸命やってしまった。色々おかしい所目白押しで、どうしてこんなミスする？という所が沢山。それと、折角だからこれも書きたいぞ、とか始めて、どんどん時間が過ぎていく。いかん、寝ないと、と寝床に入ったが、やはり野球の結果が嬉しくて興奮しているのか、それとも報告集のためか、眠く成らない。YouTube 見ると大抵眠く成るんだがな。でちょっとだけ寝て、起きて昨晩の「プロ野球ニュース」を録画しておいたのを見たり。昨日の日テレ系の地上波放送は酷かったらしく、番長のインタビューを途中でバッサリ切って、MLB の放送に切り替えたとか。「報道ステーション」も殆ど MLB の話題で、スポーツコーナーでは一瞬取り上げただけで、車椅子ラグビーの選手の特集を長時間やったり。Baystars が優勝しても皆嬉しくないか。仕方ないけど。幸い CS の日テレG+では番長のインタビューと記念撮影、東京ドームを一同が練り歩くのを放送してくれて、まあよかった。日テレもそこまで酷くは無いということだな。テレビ神奈川で遅くまで放送されたそうだ。横浜に居たかったな。

で何だかんだと1時半くらいに住処を出る。この前本棚で数学の本を探すついでに整理したら、ラマヌジャンが主人公の映画の Blu-ray ディスクが3つあって、上杉謙信主人公の3巻ものの文庫本の第2巻だけ2冊、武田勝頼が主役の3巻ものの文庫本の第2巻だけ2冊、暗号のことを書いた文庫本の2巻ものの下巻だけ2冊と、と何だか訳の分からない状況に成っていたので、大学の近所のブックオフに寄って売ってきた。1500円近くに成った。レシートを見ると、本は10円とか20円とかなのだが、Blu-ray ディスクは700円。嬉しい。昔から立ち読みしているとお腹が痛くなるということがよくあったが、今日もご多分に漏れず。久し振りに和式トイレを使った。

2時半くらいに講義室に着いた。2時40分開始だから丁度いい。今日は大学院向けの講義。多項式の終結式を定義して、それを用いて判別式が計算出来ることを幾つか例示してやって、その後代数体の判別式について色々。自由アーベル群のことは事実だけあげて証明は自習ということで。で寝不足だとハイなので、沢山話して、ヘトヘト。道路が混む前に帰った方がよかろうということで直帰することにした。幸いフォレストハウス脇に停めることが出来たので。が、その前にちょっと生協の本屋へ。この前「大学への数学」が整数を特集していたので買ったら、理科大の加塩さんの2回続きのインタビュー記事の前編が載っていて、お！と思ったので、後編が出てる号が売ってないかと思って見たら、売ってた。買って、今度こそ帰宅。大津インター近くでちょっと渋滞していたが、大したことなく、三条通の渋滞も程々。5時半前に住処に着いた。

明日は天気が良くないそうだから、セブンイレブンに買い出しに行きたいと思っていたが、やっぱりちゃんと食べたいということで、Uber Eats に王将メニューを頼んで、食べて、で流石に眠いぞということで寝床へ。ちょっと YouTube を見てたら、今度こそ眠く成ってきた。高木貞治「解析概論」を勧めてる動画だったり勧めていない動画だったり、まあ色々だな。テレビを付けっ放しだったので、西田敏行追悼ということで「ドクターX」の特別版を放送することに成っていたのの音声が聞こえてきた。録画してあるので、いいです、ということで寝続けて、さっき起きた。ということで更新が日を跨いでる訳だが。あ、途中一回目が覚めて、起きようかと寝床で YouTube を見たが、うちの2020年くらいの入試に「ノーヒントだと京大並みの難問」というのの解説をしていたが、面白かった。よく数値が練られていて、うまく答えが出る問題を作ったもんだ。うちの入試はヒント目白押しなので、どんなだろう？とさっき起きた後検索して見たが、成程こんなに誘導付きか、と。前に多項式が重解を持つ云々という問題が出ていたが、採点の会場で凄くうまく出来ているのを採点するうちの一人が感心していたが、まあ入試とはそういう風に作ってるからね。今日の講義で多項式が重根を持つのと、その多項式と導関数が共通解を持つのは同値、という話をしたが、これは高校生でも理解出来る程度のことなのでちょっと話しておいたが、いかがだったですかね？でまだ眠いので、もう一度寝た次第。

もうこんな時間か。今晩は呑まないことにしよう。名古屋に金曜日に行くが、土曜日の懇親会までは禁酒としよう。体調も整えておかないと。起きたばっかりだが、程々にして寝よう。買い出しはまだ行ってないので、「アンタウォッチマン」だけ終わったら行って、それから寝よう。

日本シリーズ出場決定で、「横浜進化」はまだまだ続く

10時45分くらいに起きた。シャワーを浴びて、11時半に成る前に住処を出た。が、高速道路の入り口の手前で「草津JCT信楽方面渋滞」の字。うむ、と思ったが、更に悪い表示。「京都東－栗東 事故渋滞17km」。まあラッシュの時間は過ぎてるから大丈夫だろう、と思って名神に乗ったが、結構渋滞している。春学期に朝酷い渋滞だったことがあるし、これは大津で降りて、下道を行った方がよかろう、ということで大津インターで名神とはサヨナラ。やっぱりこの道は混んでなくてよかった、という感じで、スイスイと職場へ。12時15分くらいには職場に着いた。弁当を買って食べて。

1時から「数学IV（線形代数）」。今日は基底の定義に差し掛かるので気合を入れて臨んだ。が、1次独立、1次従属に慣れてもらわないといけないので、色々やって、その後も準備に色々時間を使ってしまい、定義して、基本ベクトル e₁,…,e_n が Rⁿ の基底であることを示したら時間に成ってしまった。むぅ。まだやることは一杯あるんだが。今日で4回目だぞ、いいのか、という感じだ。もう少し演習に任せて突き進んでもいいのかもな、という気がする。終わった後学生が一人来て、何だと思ったら、シラバスに講義内演習をやると書いてある、と言ってきた。やる時間あるでしょうかね。取り敢えず「まだやってない」と答えたら帰っていった。

その後個研室で事務作業をウダウダとやってたらあっと言う間にゼミの時間。他にやらないといけない事務的な雑用があるんだがな。福岡の話の報告集は金曜日が締め切りだし、そっちもやらないと。

今日のゼミは狭義イデアル類群の 2-part の話の続きから。ちゃんとやってきている模様。一箇所よく分からなくて三日考えたと言ってた。前は分かってんだか分かってないんだかよく分からない状態で喋っていることが多かったようだが、姿勢が改まってきたようでよい。分かる分からないの問題というより姿勢の問題だからね。そういう意味ではまだ失格の学生もいる。字面を読んでくるだけで、ちゃんと理解してない。突っ込むと案の定立往生。もうそろそろどうにかしないとね。

さて、野球だが、6時開始で、ゼミは7時半終了。途中で始まってしまう。ちょっと途中で小用を我慢できなくなり一旦ゼミ室を離れて、その時にチラッと見たら0－2とリードされている状態。うむ。でゼミが終わって個研室でパソコンを見たら、同点に成ってる。お！まだ8時前だが、帰ることにした。帰って優勝する瞬間を見てやるねん。

高速道路は渋滞しておらず、8時20分頃に住処に辿り着いた。テレビを付けると、まだ同点の状態。満塁でオースティンが凡退したりと、相変わらずの拙攻が続いている。が、リリーフは中川颯、伊勢としっかり抑えて、期待が持てる展開に。Giants は菅野をリリーフ登板させて、意地でも勝ってやるというところを見せてきた。が、9回に森敬斗がヒットで出て、代打柴田が送って、桑原のサードゴロの時に2塁ランナーの森が好走塁で3塁へ進み、遂に出た！牧のタイムリーヒット！最後は森原が抑え切って、日本シリーズ出場決定！皆さん「26年振りの日本一」と騒いでいるが、いやいや、リーグ3位で「日本一」はおこがましいでしょう。シーズンの成績は貯金僅か2で、今までの日本シリーズ出場チーム最低の勝率 .507。「日本一」はちょっとね。「日本シリーズ制覇」なら問題無し。チーム三度目の日本シリーズ制覇を目指しましょう。日本シリーズは横浜スタジアムで開幕。ということで、一方的な展開にでも成らない限り横浜スタジアムで優勝が決まることに成るでしょう。26年前の再来を是非！

Giants の先制点は森の悪送球が原因だったようだ。が、その後タイムリー3ベースヒット、好走塁からの決勝のホームインと、十分挽回したな。送球を安定させないと、また心無いファンが色々言う。日本シリーズでは安定したプレーをお願いしますよ、ほんまに。

しかし見ている時に濁声で「抑えろー、抑えろー」とずっと言っていたので喉がちょっと痛い。唸り続けると抑えてくれることが多いんで、ゲン担ぎにやってるわけだが。「打てー、打てー」もやってるんだが、あまり打ってくれない。まあ10回に3回打つと超上成績な競技だから、仕方ないな。まあよかった。今晩はちょと呑ませてもらおうかな。明日は2時40分からの講義しか仕事が無いのでね。早目に寝れば大丈夫でしょう。あ、明日は資源ゴミの回収の日だな。呑みながら分別するか。火曜日に講義が無いと分別作業をタップリ出来るんだがな。保健センターも講義の後の前だと落ち着かない。いや、1時から講義で終了後保健センターというのも嫌だぞ。来年度の時間割作成はどう成ってるんだろうか？教務委員の先生から何やらメールが来ていたが、違う件だった。時間割は中々確定しない。だから教務委委員は辛いんだが。学科長は火曜日が駄目だったりとか、小生のように私用で外してくれとか皆色々言ってくるからね。役職決めはいつやるんだろう？そろそろじゃないかと思うんだが。まあ暫く学科長は無いので、ちょっと安心している。今年もちょっと面倒な仕事をしてはいるが、学科長や教務委員に比べればそうでもない。来年度がどう成るかによってこれから色々やれるかどうかが変わってくる。閑職につけますように。

嫌な展開に成ってきた…

昨日は嫌な負け方だったので、ブログを更新する気に成れなかった。ふなごやに荷物を持っていく必要があったので、試合終了後車に荷物を積んで向かう。今の所に引っ越してきた頃は、隣が病院で、その病院の駐車場が住処の北側にあり、車が通れなかったのだが、病院は無くなり、駐車場も無くなって、今はそこに数軒家が建ってる。でその時に少し道が広がったので、北側に車を走らせられるように成った。ということで、前よりは短い移動距離で旧三条通に出られるのでよい。ちょっと雨が降っていたが、まあいいです、ということで向かって、荷物を渡して、一回住処に戻ってきて、それから再度向かう。勿論今度は歩いて。でいつもの通り何だかんだと結構遅くまで呑んできた。いつもは店長とバイトの女の人と三人で呑むんだが、バイトの人が娘さんを連れて来ていて、親子水入らずで呑んでいて、小生は店長と二人で呑んでいた。で母娘は割合早目に撤収されたので、その後店長とワインを呑んだり。いつもより酔ったな、と思ったが、いつも三人でワイン一瓶くらいなのが、昨晩は二人で呑んだからだろう。でいつもよりちょとだけ早目に撤収。楽しかった。

で例によって中々起きられなかった。相当寝たので体調は十分に成った。野球までちょっと時間があったので、この前の「ミラクル9」を途中まで見ていたので、続きを見て時間潰し。面白かった。

で野球だが、今日も嫌な負け方。殆どヒットを打たれなかったが、1－0で負け。得点はプロ入りしてまだ公式戦でホームランを打ってない選手に打たれたソロホームラン。むう。Baystars の方がヒットが多かったが、1アウト3塁での内野ゴロで本塁憤死で、その後盗塁死と、拙攻が続いている。まあ Giants 相手に3連勝はしたが、点があまり取れていなかった。明日こそどうにかしてくれ。明日は7時半までゼミ。その時点で Baystars が大量リードしていてくれればいいが。兎に角明日は絶対勝つ。7年振りの日本シリーズへ是非。パ・リーグは7年前の相手だった Hawks が Fighters 相手に3連勝であっさり勝ち上がっている。是非リベンジしたい。

有働由美子のやってるニュース番組を今見ているが、ピーコが死んだという速報が入ってきた。ビックリ。79歳だそうだ。おすぎは寂しかろう。西田敏行の話題が今やってる。米倉涼子は死ぬ二日前に食事を一緒にしたそうだ。人間死ぬ時は急だな。親父はまだもってる。兄者から最初に電話があった時は数日しかもたないようなことを言っていたが。福岡から帰ってきた二日後くらいに電話があったから、もう二ヶ月だな。もう相鉄沿線の施設に預けることが決まったそうで、兄者には苦労を掛ける。金の助けくらいしか出来ないので、遠慮無く言ってくれ、とは言ってある。そうそう横浜には帰れないんでね。振り込むしかないわけだが。去年だったか同僚のご尊父様がお亡くなりに成ったが、彼は死に目に会えたそうだ。小生は無理だろうな。母親の時も職場で教務委委員の仕事をしている最中に電話があった。幸い成績付けとか例の業務は終わっていて、M2 の学生は修論を提出した後でよかった。教務委員の仕事は事情を話して放り出させてもらったが。修論発表会の日が葬式だったが、幸い午前中に終わり、小生の学生は夕刻が出番だったので間に合って、実家から Zoom で参加した。コロナで悪いことが沢山あったが、色々オンラインで出来るように成ったのはよかったな。

明日の関東は寒いらしい。都心の最低気温が12度。が、週半ばはまた暑く成るらしい。京都は今日の最高気温が19度だったらしいが、また週半ばに夏日に成るとかとんでもないことを言ってる。体調には気を付けないとね。

オースティンの2試合連続弾で追い付き、ワイルドピッチが決勝点（ヒーローインタビューは中川颯）

8時前に目が覚めてしまった。寝不足だがいいか、ということにして、先週の「座王」を見たりして時間潰し。10時45分くらいに住処を発つ。

で少し時間があるので、はま寿司へ行こう、と思ったが、ちょっと混み始めた時間で、注文したものが5分、10分と出て来ないことがあって、嫌に成って1200円ちょっとしか食べてないが職場に向かうことにした。荷物を個研室に置いて、ちょっとお茶を飲むくらいの時間は欲しかったので。

で1時から「代数学II」。今日は前回積み残した単純拡大の話を幾つかして、その後有限次拡大は代数拡大とか、代数拡大に代数拡大を乗せても代数拡大とか。寝不足だとハイに成っていけない。今日も色々口走ってきた。疲れた。

が、休めない。2時40分から代数的整数論のゼミ。今日は同じイデアル類に入っている条件を加群の同型の言葉で言い換えることから。が、これが想像以上に難しい。で何だか二つのベクトル空間がであるということが書いてあって、ん？と思ったが、片方がもう片方の部分空間で、次元は自明に同じだったので、いい、ということになった。何だか騙された気分だった。その後代数体の整数環の合同式の話とか既約剰余類が何だとか。でフェルマーの小定理の整数環バージョンが出ていて、その後 Z でのフェルマーの小定理が書いてあったが、不思議なことに次に出てくるウィルソンの定理にはちゃんと「ウィルソンの定理」と名前が書いてあるのに、フェルマーの小定理の方には何にも書いてない。まあ有名な定理だからいいということだろうか。で5時半ちょいに終わったので、ウィルソンの定理の初等整数論的な証明をちょろっと話したり、ウィルソンの定理から素因数を一つも見付けないでも素数でないということが分かるよね、とかフェルマーテストとか、冪乗の早い計算法（指数を2進展開してやるというあれ）のことをちょろっと喋ってきた。寝不足でハイである状況が続いていたので、気分良く話してきた。まあ発表がちゃんとしていたからというはあるが。分かっていない所は結構あったが、分かっていないのを分かっているのでいいです。

で6時ちょい前に職場を後にする。もうこんなに暗いのか。そりゃもう10月も後半だもんな。高速道路は混む時間だな、と思ったら案の定。「草津JCT－京都南 渋滞17km」ととんでもない表示だったが、大津インターが近付いた頃に70km/h出せるくらいに成って、また京都東が近付いたら混み始めたが、まあもう大した距離ではないので。三条通も混んでいたが、まあ想定の範囲内。で右折してマンションの敷地に行くと、小生の車を入れる立体駐車場で、入庫作業中の人がいた。親子連れで何やらもたもたしていた。いや、別に苛立ったりはしないが、小生の後にもう一人待っていたので、ちょっと申し訳ないなという気に成ったので。で6時45分くらいには部屋に入った。駐車するまでの待っている時にスマホで野球の情報を見たら、0－1でリードされている状況。うむ。でテレビを付けると、岡本に一発打たれたようだ。が、吉野は3回1失点なら上出来でしょう。その後オースティンが同点ホームランを打った。で勝ち越し点は思わぬ展開から。オースティンの打席でランナー3塁。すると、Giants の投手の赤星がワイルドピッチ。労せずしてホームイン。でこれが何と決勝点。今日も2点しか取れなかったが、まあいいです。昨日の結果を見ると、併殺打を5本も打って勝ったようだし、今日も豪打炸裂ではなかったが、戸郷、菅野のエース級から勝ち星を奪い、ローテーションの谷間で勝つとは、何とも儲けもの。もう1試合勝てば7年振りの日本シリーズだが、まだ油断してはいけない。往年の近鉄ファンとしては、あの3連勝の後4連敗食らったシーンはまだ脳裏に焼き付いている。それに、前に Giants は CS ファイナルステージで Dragons に3連敗を食らった後3連勝仕返して日本シリーズ進出ということもあったそうだし。まあだけど、明日決まって欲しいな。明日は 10.19。近鉄ファンとしてはこの日は忘れられない日だ。もう近鉄 Buffaloes は無いし、後継球団であるオリックス Buffaloes は今年は惨敗だった。もう 10.19 の新しい思い出は、Baystars が CS 進出決定、しかない。明日も応援しよう。

で気付いた。10.26 は Baystars ファンには忘れられない日だが、今年の日本シリーズは 10.26 から。CS があるから、10.26 が日本シリーズの最終日ということは無いだろう。去年の日本シリーズは11月5日に終わったようだ。さ、どうなるでしょうね。

野球が終わった後、報告集の直しをちょっとしていた。ちゃんと読んでみると気に成ることが続々出てくる。25日が締め切りだが、25日の晩に名古屋に乗り込むし、今日と同じで昼から講義だゼミだと時間が無いので、木曜日には送ってしまわないと。月曜日の講義の準備を大抵木曜日にやってるから、そっちのことも考えないといけない。後1週間、色々やることあるな。若い先生に質問されている件があるが、そっちも片付けないと。やっぱり野球は明日決まって欲しい。まあ結果はどうあれ、明日は呑むけど。ちょっとふなごやに持っていくものがあるので。来週は名古屋だから行けないので、明日届けないと。

菅野からオースティンが決勝ホームランを打ち2連勝

やはり無茶は堪える。今日は12時近くまで寝てしまった。急いで出掛けるも、もう外で売ってる弁当は売り切れだった。仕方ないので生協で冷めた唐揚げ弁当を買う。まあ慌てず食べるくらいの時間はあったのでよかった。

1時から初等整数論のゼミ。今日は先週出来なかった平方剰余の相互法則の別証明から。ガウスの第五証明をシュミット、ルソーが改良、簡易化した証明だそうだが、何だかよく分からんうちに証明されてしまった。平方剰余はやっぱり難しいな。西来路さん達の書かれた本を紹介するのを忘れていた。その後ユークリッド整域が単項イデアル整域であることの証明。代数学Iでやった、でいいんだがな。ただ前から気に成ってるのが、(R,N) がユークリッド整域であるのの定義に∀x∈R [N(x)＝0 ⇔ x＝0] を課すかどうか。講義でやってる時は無くても大丈夫だと思うんだが、今日の証明を聞いていると必要だという気がしてくる。時間が出来たらゆっくり考えよう。少なくとも来年度の講義の前にはどうにかしないと。で今日は一コマで終了に成ってしまった。まあ線形代数の予習がしたかったので、早く終わる分にはいいです。

で線形代数のことを考え始める。来週は基底の定義をしないといけないが、まだ基底の個数が一定（つまり次元が well-defined であること）はもうちょっと先に成りそうなので、そんなに手間は掛からなそうだ。4時半前に昨日書いた通り学生が訪ねてきた。色々考えているようで、まあ整数論は大変だよと覚悟をさせた。色々勉強しないといけないが、楽しくやるには今のうちにタップリ勉強しておいた方がいい。楕円関数なんかも知っておくと面白いよ、と勧めておいた。1時間弱いたかな。ちょっと体論の質問もついでにしてきた。講義より先を行っているようで頼もしい。真面目そうな感じだし、大丈夫でしょう。チャラチャラしないで地道に勉強するのは大事です。

その後線形代数の続き。まあこれくらいで次回はいいでしょう、という感じに成った。でちょっと座標（基底の一次結合で書いた時の係数を縦に並べたベクトルをそう呼んでいる）を書くのに TeX で使ったことない書体をテキストで使っているので、TeX の本をひっくり返す。何か新しいパッケージを読み込まないといけないが、それもどうにかなった。ということで7時半くらいに線形代数は終わりにした。福岡で喋った件の報告集書きの続きを始める。来週の金曜日が締め切りだ。そろそろ慌てないと。で昨日の晩思ったのだが、文献を二つ追加して、定理を一個追加しようと。木田さんの業績を横取りするのは申し訳ないからね。で木田さんの証明を写せば済むんだが、何処に行ってしまったか分からない（住処にあるとは思うが散らかってるから）ので、計算してみる。一回目と二回目で結果が違ったが、二回目と三回目は一緒だったので、多分合ってるでしょう、ということで TeX 化。8時半くらいに成ってた。野球の様子を見たら、1点先制したところまでは知っていたんだが、2－1でリードしている展開に変わっていた。追い付かれたが、オースティンにホームランが飛び出したようだ。よしよし。もうちょっとで試合が終わるので、結論を見守ることにした。今日は森原が登板していた。よかった。でちゃんと抑え切り、連勝。二日とも2得点だったが、まあ勝てればいいです。しかも戸郷、菅野相手に2勝したのはデカい。明日もやってやりましょう。明日は吉野か。まあ過剰な期待はやめよう。印刷して帰ろうと思った所で気付いた。明日の講義資料を印刷しないと。先週の二の舞はごめんだ。

ココ壱番屋に美味しそうなビーフカレーがあるようなので、食べに行く。うん、スパイシーで美味しかった。肉増しがオプションであったが、追加すればよかったな。肉がちょっと少なかった。次回はそうするか。いや、近江牛のビーフカレーもあるようだし、次回はそっちかな。まあただ、ココ壱番屋は高くなったな。あっと言う間に1000円超えてしまう。この前牡蠣フライカレー、1辛、両普通で1111円だった。まあ高くてもこういう値段だと嬉しい。王将で極王炒飯とニンニク激増し餃子も1111円だ。ゾロ目とかキリ番とか嬉しい。この前大学の同級生が facebook で「キリ番ゲット」と512番の札を写していたが、これをキリ番というあたりは流石だ。

帰宅して「報道ステーション」を見ていたが、トップニュースは西田敏行死去のニュース。何かついこの間まで元気にしていたが。ある程度歳行くと急に容体が変化することがあるからな。幸いにも「ドクターX」の完結編の映画の撮影が済んでいたようだ。蛭間院長の役は大層気に入っていたそうで、終わるのが残念、という内容のインタビューが流れていた。一仕事やり終えての大往生だ。ご冥福を祈る。その後スポーツコーナーで CS の内容をやっていたが、オースティンのホームランは同点に追い付かれて5分後に出たとか。Giants ファンを奈落の底へ突き落すのには最高の一打だったな。明日も是非。

佐野のホームランと筒香の技ありタイムリーヒット、ケイの6回1被安打の好投で1勝1敗に

福岡で話した件の報告集書きを昨晩から今朝まで掛けてやった。何となく眺めると気付かないミスが幾つも見付かった。3 の筈が 5 に成ってる所とか、明らかに文章のおかしい所とか、数え切れないくらい出てくる。やっぱりちゃんと紙に写しながら読まないと駄目だな。そろそろ院生は修論書きを始めてる人もいそうな気がするが、真剣にやらないと駄目ですよ。と言いつつ、小生の昔書いたものを眺めるとミスばかり。「以下」が「以上」に成ってる所とか、例を挙げておいて「存在しない」とか訳の分からないことを書いたり。物を書くというのは大変なことだ。世の中に出回ってる本には相当誤植があるが、何百頁もあるものから誤植を根絶するのはまあ不可能だな。で一区切りついて、ちょっと書き散らかした紙をどうにかしようと思って、TeX 化しようとしたが、何か上手くいかないことがあって、考え始めてしまう。有限個の元が互いに素であることを定義する時って、悉く0でない元に対して定義するのだろうか？それとも0でないものが一つでもあればいいのだろうか？講義ノートを見ると、Z の元に対しては0でないものが一個でもあればいいとして定義していたが、後で U.F.D. の元に対して定義する時は悉く0でないとしている。うむ、Z（でなくて P.I.D. でいいが）の時は生成されるイデアルが (1) であることと互いに素であることは同値なので、0でないものが一個でもあればいいことになるな。さて？自分の話したものに整合性を持たせるのも難しい。時間のある時に考えないとな。などとしているうちに朝。うむ。

4時半から会議なので、4時くらいまで寝た。まだ眠い。会議は何やら簡単に済みそうなことが揉めに揉めて、その件だけで40分くらい掛かった。眠かったので、全然頭に入ってこない。まあ後で W 先生が収拾を付けてメールしてくれるでしょう、ということで。でその後も幾つか議題があったが、そっちは程々に済んだ。

でもう一寝入り。気付くと6時を過ぎていたが、眠いぞ。スマホで野球の速報頁を開いて、寝たり起きたりしながら見ていた。短時間でも寝ると夢は見るもので、Baystars が一方的にリードされている展開だったり、過去の映像を今の映像と勘違いしたり、と、全部嫌な夢。で7時を過ぎてしまった。スマホを見ると1点先制している。お！ということで起きた。宮崎が映ってたから、宮崎がタイムリーヒットでも打ったか？と思ったら、佐野がホームランを打ったらしい。よしよし。Baystars の先発はケイだから、まだ安心出来ない。ここのところ5失点（自責点4）、6失点（自責点6）、3失点（自責点2）と安定した内容ではないので。通算成績も6勝9敗、防御率3.42。が、今日は違った。6回無失点で、打たれたヒットは1本だけ。が、リリーフの安定度を考えると全然安心出来ない。7回に代打筒香が苦手の高梨からタイムリーヒットを打ち、2点目。打った瞬間ガッツポーズ。低めの変化球を三遊間に巧みに流すという、筒香らしからぬ小技。が、まだ安心出来ない。2番手の康晃が2アウトを取るもランナー二人を残し坂本に交代。三塁へ強烈な当たりを打たれたが、運よく真っ正面でピンチ脱出。8回は堀岡。Giants 時代は結果を残せなかったが、今日は古巣相手に東京ドームで無失点に抑えてガッツポーズ。で9回は当然森原、の筈が今日はベンチに入っていないらしい。故障か？東が登録抹消されているし、この前は宮崎がおんぶされてベンチに下がるという嫌な感じのことが続いていた。幸い宮崎は今日出ていた。で代役は伊勢。三者凡退に抑えて、これで1勝1敗（Giants には1勝のアドバンテージ有り）。戸郷から2点しか取れなかったが、抑えればいいのです。明日は大貫と菅野。大貫はシーズン最後の登板がよかったから、明日も期待しましょう。

スマホで明日の予定をチェックしたら、何やら片仮名2文字が書いてある。ん？と思ったら、学生と会う約束だった。名前は書かないが、片仮名2文字みたいな漢字の苗字の学生。前「探偵！ナイトスクープ」に、電車の中から見える家の表札に「カス」と書いてある、というのがあったが、その人は「力久」という苗字だった。読みは「りきひさ」。石田靖が探偵だったと思うが、「カスはお前らの方じゃ」と二人の依頼者に突っ込んでいた。当該の学生も変な読み方されたり、変なあだ名が付いたことがあったんじゃないだろうか？えーと、学生とちょっと来年度の卒研について話すことに成ってるのだった。長時間話さないといけないだろうか？線形代数の準備する時間あるかな？野球を諦めて遅くまで職場でやるか。

講義のある日の保健センター行きは落ち着かない

昨晩も何だかんだで結構遅かったが、今朝は10時ちょいに目が覚めてしまった。寝不足だが、保健センターに一番で受付をしたかったので、もういいことにした。うな松の100円引き券があるので、名物一本鰻を食べるべく、10時半くらいに出掛けた。うな松に11時ちょいに着いた。いつもここの駐車場で結構凄い音を発生させてしまう。歩道の窪みが狭くて、底をこすってしまってるんだろうか？しょっちゅうやってる。この前定期点検を済ませてきたが、特に何とも言われなかったので、大丈夫なんだろう。で食べて、100円引いてもらった。いつもは JAF の会員証を見せて100円割引なんだが、大抵どこでも2種類のクーポンを同時に使えないので、今日は JAF の会員証は見せないでおいた。

12時前に職場に着いて、1時までちょっとボーっと。で12時57分くらいに保健センターに行って、1時まで待って手続き。一番乗りだった。よかった。診察は1時半からなので、ちょと個研室へ戻って多少作業。1時25分くらいにもう一度保健センターに行って、すぐ呼んでもらえて、講義に影響が出ない時間に全て済んだ。よかった。やっぱり火曜日は講義が無いようにしてもらいたいな。今年時間割を作る先生に頼んでおこう。

2時40分から院生向け「数理科学特論1」。今日はノルムとかトレースとか。t のトレース、ノルムは、x に tx を対応させる線形写像のトレース、行列式と定義した。これだと値が下の体に入っていることは自明なのでよい。で共役元の和と積に成ることを示そうと思ったが、何かおかしなことが書いてある。ちょっと直して話す自信が無いので、来週話すことにして、その続きを話す。で一箇所おかしな所があって突っ込まれた。そこは単なる書き間違いだったので、すぐ直して済ます。その後多項式の判別式についてちょっと。来週は終結式の定義からやる。今日は2次式の判別式が b²－4ac に成るとか、x⁴＋x³＋x²＋x＋1 の判別式の計算だけしてきた。

で個研室に戻ってから、講義資料の直し。変なのの原因は、文字が x だったり t だったり α だったりしたのをどうにかしようと数年前にいじっておかしくなったのだと分かった。突っ込まれた件も一箇所を t にして、別の箇所を t に直し忘れたのだと分かった。うむ、やっぱり酷いな。原始元を θ にすると、学生は何か特別な意図があってやってるかと思うかと思って避けているが、θ でもいいかもな。まあこの秋学期はいじらないでおこう。再来年やる前にもう一度どうにかする。まあ大学院生だから、文字が t だろうが x だろうが a だろうが α だろうがあまり気にしないだろうが、中学生、高校生だとちょっと考えないといけない気がする。大学生でもそうかな。小生のこっちに来た頃の講義は、多項式を f(x) で書いたのに多項式環から別の環への写像をまた f で書いたりと、今考えると酷いことこの上なかった。少しは気にして色々やったが、大学院生相手だとちょっと油断してしまう。また考えよう。で今日の分の直しをして、web に上げて、それからちょっと福岡で話したのの報告集の直し。来週が締め切りなので、そろそろ完成させたい。が、作文が上手くいかなかったり、ちゃんと読んでみると数学がおかしかったり。こっちも真剣にやらないといけないな。あ、来週名古屋に行く件でちょっと予約を取り直さないといけない件があった。電話するのを忘れていた。明日やろう。

で根を詰めたいところだったが、調剤薬局の受付が8時までなので、7時には職場を後にした。高速道路の手前の電光掲示板に「草津JCT－瀬田東JCT 事故車あり 注意」の表示。またおおごとに成るのか？と焦ったが、もう最混雑の時間は過ぎていて、路肩に1台停まっているだけだったので大丈夫だった。調剤薬局には7時半くらいに着き、35日分処方してもらってくる。何年か前に、一週間分の処方箋しか出せなくなると見たような気がしたが気のせいだろうか？気のせいだろうな。今日は35日分だったが、夏休みは診療のインターバルが長く成るので、60日分くらい一気にもらうこともあるし。

帰ってきてテレビを付けると、サッカーがやってた。眠かったので音声だけ流して横に成ったが、暫くしたら日本がオウンゴールで今大会初失点、と聞こえてきた。まあ毎回は勝てないよね、と思って暫く経ったら追い付いたという音声。結果はドローだったが、こういうところで負けないのが昔と違う所だな。

でその後メールを見たら、明日は会議があるようだ。むぅ。まあまた住処から Zoom で参加するのでいいです。で講義中に届いたと思しきメールを見たら、大事な件を忘れていたことが判明してしまった。今日何かあると先週言ってたな。こういうのは当日でなく、せめて前日までに教えて欲しいが。去年は学科会議のある無しは毎回前日に報告していたが、今年の学科長は最初の頃は教えてくれなかった。オンラインカレンダー共有してね、という趣旨だったが、小生そういうのが全く分からない。「せめて前の日には教えてください」とメールしたら、その後は教えてくれるように成ったのでよかった。明日はある、ということで、覚悟します。

あ、明日から東京ドームで Giants をボッコボコにする日々だったな。6時からのようだ。会議は4時半開始だから、最初から見られるかもしれないしそうならないかもしれないし。ファーストステージはロクに見なくて勝ったから、今回も見ないことにしようか？と思わないでもないが、やはり見たいな。見よう。

明日から「相棒」が始まるらしい。勿論野球を見ると決めたからには優先なので、「相棒」は録画しておく。前に第8シリーズまでまとめて買ったが、ようやく第6シリーズに入ったところ。先は長いな。まあある程度から先は見ているので、もう少しだ。名古屋は近過ぎるので、見る時間は無い。また実家に帰る時だな。ってそれはもしかするとという場合だが。当分帰らないで済めばいいが。

祝日講義日も1回生はほぼ出席している

結局「夫が寝たあとに」の後も暫く起きていた。色々やりたいことがあっていかん。最終的に目をつぶったのは4時近く。で当然中々起きられず、11時半過ぎにようやく起きた。シャワーを浴びて、12時ちょいに出発。

今日は祝日なので、京都東－草津田上間はいつもより140円安く440円。駐車スペースにも空きが結構あって、ウェストウィングの近くに停められた。が、いいことばかりでなく、表で売ってる弁当が目の前で丁度売り切れた。まあ生協に弁当の在庫が十分あったのでいいが。多分祝日講義日は幾つかある食堂の一部が休業なのだろうな。個研室には12時半ちょいに着いたので、割とゆっくり食べられた。

1時から「数学IV（線形代数）」。今日は有限個のベクトルで張られる部分空間とか、有限個の部分空間の和空間とか。でその後1次独立、1次従属など。春学期に連立方程式について詳細にやってあるが、その時の知識がガンガン役に立つ。嬉しい。連立方程式の解の自由度とか基本解とかそういうのをやるのに1次独立、1次従属についてはやっているので、まあまあ慣れているでしょう。が、1個のベクトルが1次独立なことと零ベクトルでないことの同値性の証明は面喰ったろう。数ベクトルの時は両辺の成分を比較すればよかったが、 a＝1a＝(k^-1k)a＝k^-1(ka) とかやられてもね、という感じだろう。慣れてください。祝日だけど出席者は多かった。春学期に祝日潰しが何回かあったろうから、1回生とはいえ慣れたものなのかな。秋学期は月曜の祝日が多いぞ。成人の日以外は全部講義日に成るので、覚悟せよ。

個研室に戻って、講義資料をちょいと直して、manaba＋R に上げて、来週の作戦練りをちょっと。当たり前みたいなのを何も考えずに済ますとえらい目に遭うので、ちゃんと説明しようと考え出すも、存外面倒くさい。うまくいかない内に4時10分くらいに成っていた。ゼミの前にちょっと用足しに、と思ったら、演習を担当している若い先生にちょっと捕まった。ちょっと先の所だが、何かうまく説明がいかない所があると言う。考えておく、と話して、勘弁してもらう。

4時20分からゼミ。今日もイデアルのノルムとかコホモロジーがどうしたとか。こちとら河田先生の本で有限群の Tate コホモロジーを勉強した身。自明だ、と言ってしまえればいいが、そういうわけには流石にいかない。で考え出すと存外面倒だ。それと、あるコホモロジー群が消えることの証明が出ていたが、Hilbert 90 を使えば一発なのだが、くどくど書いてある。証明はちゃんと理解しているようだから一通り話させて、その旨コメントしておく。結構高級な議論が平気で出来た。皆こうだと助かるが。で選手交代。最近とみに真面目に成ってきた学生で、色々理解が怪しかったりするところはあるが、分かることと分からないことの区別がちゃんと出来てきているので、まあいいです。本の書きようで一箇所気に食わない所があった。あるコホモロジー群が狭義イデアル類群の 2-Sylow 部分群と関係ある、という定理があって、その後コホモロジーの位数がどうとか書いてあるのに、この二つを関連付けた主張が書いてない。いけないよな、と思ってコメントしておいた。まあまあ順調で、予習が尽きたのが丁度7時半くらい。ちゃんと自分がどこで沈没したか分かっていたので、まあいいでしょう。来週は続きをやって、で段々大団円が近付いてきた。長かったが終わりが見えると嬉しい。頑張ってください。

個研室に戻って、今日の線形代数の講義の進捗を若い先生に教えて、卒研のことで相談があるという学生のメールに返事を書いて。どうやら卒研は二人以上は確保出来た。多過ぎるのも大変だが、0名だと講義を沢山やらないといけないので辛いからね。正直今年度はここ数年で一番沢山講義をやってるが、どの講義がどこまで進んだか、混乱することしばしば。今日も開始前に学生にノートを見せてもらった。まあこのブログに色々書いてるので、思い出すにはいい。で9時過ぎに職場を発つ。

吉野家で牛丼100円引きがやってるので、狼川の吉野家へ向かう。でビックリした。今牛丼って通常は498円（税込）なのね。小生が学生の頃は300円しなかったと思うが。いや、300円は超えてたかな。いつも新大久保の神戸らんぷ亭（牛丼一杯280円）に寄ってたから、そっちと混同してるかな。398円で美味しく食べてきた。

今日ゼミで喋っていた学生の一人は Fighters のファンだった。今日は Baystars は試合が無いのでいいが、Fighters は試合があった。ゼミ開始直前には2－2だったが、ゼミ中に一区切りついたところで見たら、Fighters が2点リードしていた。ゼミ終了後に見たら、5－2で Fighters が勝った。帰ってきて「報道ステーション」で結果を見たが、清宮が活躍したようだ。前半はもう清宮駄目だな、と思ってたんだが、後半は大当たりだった。クビか、よくて現役ドラフト要員だろうと思ってたが、これなら大丈夫だな。アメリカではドジャース vs. メッツで、大谷 vs. 千賀が。千賀はこんなにコントロール悪かったかいな？というくらい四球を連発していて、豪打ドジャースが送りバントを多用していた。シーズン10だったかと、超少ない攻撃的なチームだが、今日だけでバント二つ。でいずれも得点に結び付けた。やっぱり短期決戦は送りバントは大事だな。Baystars もシーズン終盤はバントを結構していた。Giants の試合でもやった方がいいだろうな。よし、横浜スタジアムで日本シリーズが出来るよう願おう。パ・リーグは是非 Fighters に。エスコンフィールドも横浜スタジアムも満員に成るぞ。頑張れ。

CSファーストシリーズ突破！

例によって結構遅くまで呑んできた。でいつもは帰ってきてすぐダウンするのだが、ちょっとやりたいことがあったのと、それが済んでからも数学の下らんことを考え始めてドツボにはまり、無駄に使うこと数時間。いかん、寝るぞ、と寝床に。

が、ちょっと気に成ることがあってスマホでメールを見る。何が気に成ったかというと、今日は津田塾大学で数学史のシンポジウムがあって、そこで足立先生が話すことに成っていた筈。で確かにそうだったが、Zoom で参加するには事前登録が必要で、もう随分前に申し込みの期限は過ぎていた。足立先生は長崎で話されたが、ご本人が twitter で長崎の時はちょっと未完成で、その後気に入る所まで話を詰められたと書いておられたので聞きたかったが。まあ仕方ない。26日に名古屋で小松ダブルヘッダーがあるが、こっちも懇親会の申し込み期限が過ぎていて、うーむ、と思ったが、主催者の一人に連絡をとったら、懇親会参加OKと言われて嬉しかった。このブログを読んでいる一部の方はご存知の通り、赤っ恥をかいたが。

CS第1戦は関西のNHK地上波で放送していたが、今日はNHK BSで放送する、ということでチャンネルをあわせておいて横に成った。が、全然起きられなくて、時々聞こえてくる音声を頼りにしていた。有利に進んでいる模様。ジャクソンは今日もいいようだ。で暫くしたらもう違う番組の音声が聞こえてきたので、スマホで見ると勝ったようだ。これでCSファーストシリーズを下剋上で突破。よしよし。明日は祝日だがうちは普通営業。試合があったら2時開始で、2時は講義中。その後一コマ空いて4時20分からゼミだから、試合の決するのはゼミ中になる予定だったが、今日決まってよかった。水曜日から東京ドームで Giants と決戦。今度もやってやりましょう。

「サンデースポーツ」を見ようと思って、漸く起きた。1点先制されたが、その後あっさり逆転。少し停滞気味の状況が続いたが、代打フォードのホームランで勢い付き、7回に一挙6点で勝負あり。シーズン途中に計算が立たない新外国人を獲得するのには少々懐疑的だったが、CSではジョーカー的な働きをしている。獲っておいて正解だったな。今後も更なる活躍を期待する。

パ・リーグは Fighters がサヨナラ勝ちで1勝1敗。9回裏の時点では Marines がリードしていたが、万波に同点ホームランが飛び出し、10回に淺間のサヨナラヒットで勝ちという展開に。明日はどうなるでしょう？

監督人事もここ数日で色々あった。Tigers は岡田監督が退任。最初から2年問という約束だったようだ。退任の話題が少し前に出ていたが、矢野の時のように大事な戦いの前にこういうデリケートな話題があると選手の士気が上がらないというか動揺するのか分からないが、いい結果は出ないな。後任は藤川球児。コーチ経験すらないが大丈夫だろうか？Buffaloes は岸田護、Lions は西口文也。藤川は44歳だが岸田は更に若く43歳。一気に若返ったな。西口は何歳だろう？多分これで12球団全ての監督が小生より年下に成った筈。歳をとったな。

上に書いた通り、明日は平常営業。高速道路が安く成るのくらいしか魅力は無い。早く行かないと弁当が売り切れているかも。「夫が寝たあとに」が終わったら寝よう。

CS第1戦は3位の Baystars と Marines が勝利。

今日の予定は4時にトヨタに行くだけ。半年に一度の定期点検のため。ということであまり早起きしなくてよいため、つい深夜に下らんことを考え始めてしまった。いや、超自明なんだが、と思ったらそうでもない。一般の環では無理（反例あり）で、代数体の整数環相手でも怪しいぞ、と。で結局「おはよう朝日土曜日です」が始まってしまった。阿呆や。結局よく分からなかった。後で TeX 化しようとして、メモだけ残して横に成る。

で起きたらもう CS が始まっていた。Baystars が1－0でリードしている状況。先発の東は好投していたが、何故か5回で交代。調べるとヒットを打った際に左足を痛めたとか。うむ、全力プレーは大事だが、投球に影響が出ると困るな。この後の出場はどうなるでしょうか？で4時近く成ったので、後ろ髪を引かれながらトヨタへ。

定期点検は1時間程掛かる、といつもの通りを言われていて、担当の人が今日は不在だそうなので、話し相手がいないということで文庫本を持っていく。大分進んだ。車が不調をきたしたときに置く三角のやつ、何て言うの？それを持ってるか聞かれたが、持ってない、と答えると、何やら車の上に磁石で貼り付けて、ランプを点滅させるという代わりに成る奴を4000円くらいで買わされた。まあいいです。野球の様子を見ると、まだ試合終了前。オースティンが2点タイムリー2ベースヒットを打ったようで、3－0に成っていた。

住処に戻って見ると、試合は終わっていた。3－1。抑えの森原が1点取られたようだ。まあいいです。勝つのが大事。明日勝って、月曜日は講義の後始末とゼミに集中したいので。

その後下らんこと考えて時間を無駄に使ってしまった。で NHK の7時からのニュースで CS の様子を流してくれるだろうと思って見たが、ドジャースがパドレスに勝ったというニュースと政治、ノーベル平和賞の話だけで、教えてくれなかった。深夜の「プロ野球ニュース」を録画しておいて後で見るか。でチャンネルを回したら「キングオブコント2024☆」がやっていた。途中から見ている。面白い。ロングコートダディが決勝に残った。さて結論は？最後まで見るか。ふなごやには終わり次第行こう。

大山のぶ代死す

早寝しようと思ったが、つい福岡で話した件の報告集が気に成って、直し始めてしまった。画面を見たり印刷した物を眺めるだけだと見付からないミスが、ペンを持って書きながら見ると、まあ後から後から雲霞の如く出てくる出てくる。全部目を通したら何時に寝られるか分からないから、二つの話題を話したが、一つ目が終わったら寝る、と決めて、3時前には寝床に入った。が、今度はスマホをいじり始めてしまい、4時近くに成ってしまった。やばい、ということでいい加減寝た。

で今朝は起きたら12時を回っていた。やはり8時間くらいは寝てしまうな。急いで出掛ける。で運転している最中に気付いた。今日の分の講義資料を印刷してないぞ。正門前の交差点の赤信号は長いので、鞄の中身をチェックする時間があったので、見てみたらその通りだった。さて、飯を食う時間が無いくらいのタイトな状況だったので、個研室へ行って印刷して、という時間は無い。フォレストハウスの各階に「プリントステーション」なる物があることを知っていたが、パソコンとコピー機のような物がある。これで pdf くらいなら印刷出来るのでは？と思ってやってみた。USB メモリーを差し込んだらちゃんと認識してくれて、viewer の印刷ボタンを押してみたら、何やらうまくいきそう。ただ印刷された物が出て来ない。学生証を置け、という場所があるのに気付いたので、教員証でも大丈夫だろう、とやってみたら出来た。よしよし。で講義室には5分程遅刻。

金曜日は「代数学II」の講義。今日は単純拡大の構造定理。代数的とか超越的とか定義して、最小多項式の定義、最小多項式であることには既約性を示せばよい、とか順にやって、最後に代数的な元を一個添加した時は拡大次数が最小多項式の次数と一致することを証明して、幾つか例をやったら時間に成った。もう5分あればキリのいい所まで行ったのだが、上に書いた通り5分遅刻していた。残念。で後で気付いた。Q(2^1/3) は {a＋b×2^1/3｜a,b∈Q} ではない、と強調しておかないといけないのだった。まあいいです。来週覚えてたら言う。

講義中は適宜飲み物で喉を潤すんだが、今日は飲み物を買う時間すら無かった。口の中がパサパサに渇いている。食事もしないといけないから、生協で冷えた唐揚げ弁当を買って、5分弱で流し込んだ。5分くらい遅れてゼミ室へ。

代数的整数論のゼミは2時40分開始なのだが、2時45分頃に行ったら今日喋る筈の学生が来てない、とのこと。うむ、もう少しゆっくり食べられたな。5階に常駐しているようなので、もう一人の学生が様子を見に行って、戻ってきた。寝ていたらしい。疲れているな。まあいいけど。で今日は素数 p に関するアイゼンシュタイン多項式の根 α を添加した体 K＝Q(α) では p が完全分岐するとか、(O_K：Z[α]) が p で割れないとかを示して、例を幾つか。判別式が49に成る例が出ていたので、判別式の絶対値は必ず1より大きいということをコメントしておく。でその後イデアル類群の定義をして有限性を示した。M2 の学生に読ませた本では代数的整数の定義が中々出て来なくて、その後イデアル類群までちょっと掛かる。昔石田信先生の「代数的整数論」を読んでもらった時もあるが、この本はイデアル類群が相当先に成らないと出て来ない。 どの本にも面白い所というか、著者のマニアックさ度合いが色々出るので、面白いんだがな。山本・藤崎・森田「数論への出発」に証明がもっと書いてあるといいのだが。まあ副読本として見てもらうにはいいかな。イデアルの2乗を計算するとかが沢山出てて、実際に手計算する時は滅茶苦茶役に立ってるからな。藤崎先生の本は計算例が多いので嬉しいな。結局何かやる時には計算出来ないとどうしようも無いのでね。5時50分まで時間は取ってあるが、5時25分くらいに終了した。

報告集を昨晩結構直したので、印刷して6時前に職場を発った。上に書いた通り講義前の時間がタイトだったので、大きい駐車場の奥の方に停めたら間に合わないということで、フォレストハウス脇の「講義車用駐車スペース」と書いた所に停めたので、近くてよかった。パイロンを戻しておかないといけなかったが、後ろの車も後退ランプが光っていて、左側に通行したくて待っている車がいたので、パイロン戻しは省略。まあいいでしょう。高速道路は案の定渋滞していた。高速道路を下りた後もそこそこ混んでたが、まあ先週の悲劇に比べたら大したことない。6時40分くらいには住処に辿り着いた。

その後報告集の直しの続き。紙に書き書き読んでみると、相変わらず妙なことが沢山書いてある。赤入れして直して、の繰り返し。25日が締め切りなので、そろそろどうにかしたいところ。20頁以内にしてくれと言われているが、現状16頁。まあ大丈夫でしょう。大筋は固まっているので、増えてももう1頁くらい。やるぞ！

「報道ステーション」は日本被団協がノーベル平和賞受賞の件を長いことやっていた。日本は唯一の被爆国だし、まあ当然かな。もうあんなことはあってはならない。その後大山のぶ代死去のニュース。90歳。やはり彼女と言えばドラえもんだな。実は「サザエさん」のカツオの声の初代だったらしい。知らなかった。最近ドラえもんを見ても違和感を感じないなと思ったら、もう今の声優に成って19年も経つらしい。最初は確かに何か違うな、と思っていたが。時代劇ファンにとっては、「江戸を斬る」のお咲の役も印象的だったな。金四郎のお婆さんのお付きということで、金四郎の役宅に一緒に上がり込んで、何かとやるという感じの変な役だった。用人の原田喜左衛門との寸劇が面白かった。まあ世間の人にはドラえもんの声だろうな。ご冥福を祈る。

弁当は冷めた唐揚げ弁当でなく、900円のハンバーグ丼

今朝は11時半過ぎまで寝てしまった。まあ睡眠をタップリとれたので、よかったかな。シャワーを浴びて、12時15分くらいに出発。駐車場は今日も激混みで、相当奥にでないと停められなかった。で昼飯を食べる時間が無いので、ウェストウィングの一階でパンを買って、コーヒーで流し込んで臨戦態勢。

今日は平方剰余の相互法則の別証明をやる筈だったが、予習する所を勘違いしてきたと、訳の分からないことを言ってた。仕方ないのでそこは来週に回して、虚二次体の章に入ることにした。今日は共役が何だとかトレースとノルムが何だとかやって、Q(√－d)（d は square-free な自然数）の整数環を d≡1,2 (mod 4) の時に決定する話など。途中黒板に軽微な書き損じをしていたが、それに聴衆の一人が何やら噛み付いていた。その程度のことは見逃しましょ。毎年そうだが、何やらマウントを取りたがる学生は必ずいる。そういう学生がいて便利なこともあるが、ちょっと雰囲気を悪くすることもあるし、まあ穏やかにいきましょうや。でその後 d＝1, 2 の時は Z[√－d] がノルムに関してユークリッド整域に成ること、d＞3 の時はそうは決して成らないことを証明して終わった。来週は E.D. ⇒ P.I.D. ⇒ U.F.D. を証明するようだ。毎年思うんだが、「代数学Iでやったからバッサリ略」とやってくれて構わないんだがな。まあ代数学I, IIとも出席している学生はほぼ皆無なので、やったのを知らないのかもしれない。苦労して web に講義ノートを上げたが、読んでいないということだろう。今年から web に上げるサービスはやめたので、去年よりは出席者が多いな。そういえば過去に体の拡大の原始元定理を「証明は講義と全く同じなのでスキップします」と言った学生が一人いたな。卒研では代数体の勉強をしたが、大学院では多重 ζ 関数とかやったようで、全然関係無かったと言ってたな。今調べたらちゃんとパーマな職に付いてる。ただあまり恵まれた環境では無いようだが。期限付きの職を渡り歩いて、ようやく今の職に就けたという感じだ。今の若者は大変だな。

ゼミ終了後は事務にちょっと書類を提出に行って、それから食事。生協で冷めた唐揚げ定食でも、と思ったが、キッチンカーで売っているメニューにちょっとそそられたので、そっちに。一番安いメニューでも600円くらいで、ステーキ丼は1100円。これでは学生は買うまい、と思って「まだあります？」と聞いたら、案の定ある。1100円はちょっと高いから、900円のハンバーグ丼にする。うん、美味しかった。でその後線形代数の講義の準備。昨晩ちょっとやって多少目鼻は付けておいたから、今日は少しだけ。まあ調子のよろしくないのもあるが、「ゴチバトル」を録画予約したか定かではないため、7時前に住処に着きたいというのもあった。6時過ぎだから高速道路は渋滞しているに違いない、と思ったら、存外空いてた。60km/h をたまに割る程度。でちゃんと6時45分くらいに住処に着いて、確かめたら予約してあった。何だ、じゃあもうちょっと職場にいてもよかったかな。まあいいです。

で Uber Eats に王将メニューを頼んでから、先週の「座王」を見て、届くのを待っている間にちょっと気に成った二次体のこと。Q(√－21) のイデアル類群を決定させる問題がゼミの本に出ているが、Minkowski bound が6未満なので、ノルムが5以下のイデアルを見れば十分。で前にこの問題を解いた時はノルムが5以下のイデアルの関係式を一生懸命探したが、考えて見れば素数が3つ分岐してるから、2-rank は2。でノルムが5以下で単項イデアルでないイデアルは4つしかないから、何も考えずにイデアル類群はクライン四元群 V₄ と同型、と出来る、とゼミ中に閃いた。真面目に聞かないで内職に励んでいたわけだ。が、これじゃ面白くない。やっぱりイデアルが同値であることを直接単項イデアル倍の差しかないことを試したいぞ、と。で前にやった時の解答を見たが、どうも SageMath で色々補助の計算をして解答を無理くり作った感があった。二次体の二つのイデアルが同じイデアル類に属するかって連分数で判定できるのだった、と昔のことを思い出して、高木貞治「初等整数論講義」を引っ張り出して眺めたが、あまりよく分からない。昔やった時は単項イデアルの生成元を求めるんだから簡単だったのかな？類数1の体しか扱ってなかったから、最初から単項イデアルであることは分かり切っていた。まあいいや、後日やろう、という所で飯が来た。

食べながら林修先生がやってる番組を見てたが、色々小生の育った昭和の頃と令和の今では常識が変わっているらしい。風邪にはビタミンC、というのは意味が無いらしい。他にも風邪を引いたら無理やり寝て汗だくに成って、治った、ということではないとか、色々やってた。ふーん、という感じ。面白かった。階段は昇るのより下る方が筋肉を付けるにはよい、というのは前から知ってた。「所さんの目がテン」で大昔やってたが、サンシャイン60を1階から最上階まで苦労してリレーで上がると、各選手フラフラで、下る方は余裕綽々だったが、次の日に地下で待ち合わせると、昇った人は楽々下っていたが、下った方の人は筋肉痛が酷く降りられなかった、というのを思い出した。まあ歩きで昇ると心肺は鍛えられていいだろうという気はする。秋学期の講義は月曜と木曜の講義を3階でやってる。歩いて昇ってるよ。個研室は6階なのでさすがにエレベーターを使うが、山科の部屋は2階で、車を停めてからエレベーターに行くより、通用口から入って歩いて昇った方が何分も節約できるし、2階だからね。ということでエレベーターは普段は使わない。重たい宅配便の荷物が不在中に届いた時はエントランスにある宅配ボックスから取り出してエレベーターを使うが。で思い出した。一昨日荷物が届いてたな。起きられなくて、まあいいや、と寝続けて、昨日は忘れていてまだ取り出してない。後で行ってこよう。

明日は1時から講義で、2時40分から3時間くらいのゼミ。講義の前に食べておかないと、本当に飲まず食わずに成ってしまう。今日も程々に寝ないと。土曜日はトヨタに車の半期に一度の定期点検。4時からにしてしまったが、土曜から CS が始まり、調べたら2時からのようだ。うむ、試合の結末は見られないか？で夜は呑むだろうから、日曜日は見られない可能性があるし、月曜日は祝日で試合があるが、うちには祝日は関係無い。全く見ないで終わるか？まあ土、日と Tigers を破ってくれれば、月曜日は講義とゼミに集中出来る。逆は嫌だけどね。Baystars の結果によって小生の講義やゼミでの機嫌が変わる、とこっちに来たばっかりの学生は思っていたようで、試験の答案に Baystars がどうしたとか書いている学生が結構いた。そんなことは無いですよ。そう言えば中学の時の国語の先生は前の晩 Giants が負けると露骨に機嫌が悪かったが、ああは成りたくないね。

卒研ガイダンスに行かずにちょっと失敗したなと思った

昨晩は流石にフラフラ。横に成ってスマホを見てたら眩暈が。眩暈って言うのかな？分からんけど、何やら地球が回り出した気がした。ちょっとちゃんと寝ないとまずいな、ということで、「相席食堂」も「ロンドンハーツ」も「アンタウォッチマン」も見ないで寝た。

で今日は卒研ガイダンスがあって、シャワーを浴びて出掛けても間に合うが、まだちょっと調子がよろしくないので、まあ Zoom で参加すればいいか、ということにした。が、始まってみると、皆さんちゃんと職場に行かれていたようだ。H先生が心配してメールをくれた。教務委員のN先生が司会をしていたが、心配されていたのだろう。来年はちゃんと行くことにしよう。で最後に話すことに成った。1時を過ぎると3回生は講義があるだろうから、手短に済ませないと、ということで、ちょろっと喋ったが、これじゃ来年度は少ないな。昨年度は講義に殆ど来てないのに、5名も希望者がいてぎょっとした。更に二次募集をしたが、「あまり学生の数が多いと緊張してしまうので、人数の少なそうな所を」と書いていた学生がいたが、何と最終的には10名に膨れ上がり、更にぎょっとした。その学生も当てが外れて困ったことだろう。来年度は少ないな。まあ一人はいそうだ。何故なら去年募集してきた10名のうち、一人は単位不足で卒業研究を履修出来なかったため、出直してくるでしょう、と思うので。一人もいないと講義を余分に二コマ持たないといけないので、辛いので。どうなるでしょうか？

で少しのんびりしようということで、「芸能人格付けチェック」を見た。3時間も時間が取れる時は中々無いので。いつものように浜ちゃんの料理を舌鼓を打つ芸能人が多くて面白かった。高級鰻とスーパーで売ってる鰻を間違えるのはまだしも、ド素人の作ったドジョウ料理を高級鰻と間違えるのはどうかと思うが。「ぐるぐる99」でも岡村、錦鯉の長谷川、ザ・マミィ酒井のど素人が1時間掛けて作った料理と、一流料理人が10分で作った料理で前者の方が旨いという人は結構いるからな。シチュー作るのに市販のルーを使えば誰でもそれなりの物は出来るな、と思いながら見ているが、ドジョウと鰻はどうかな。

ちょっと調子が戻ってきた。この前買った「手を動かしてまなぶ フーリエ解析・ラプラス変換」を読んで見た。頭から読まなくてもフーリエ級数の所から読めるかと思って読んだ。昔シンセサイザーの原理って色んな波を合成して作る、その背景にフーリエ級数というのがあって、と聞いた時は面白そうだな、勉強したいな、と思ったが、大学生の時は解析の講義は真面目に出席しなかったので、今後悔している。保型形式を勉強した時に、と言っても実は SL_2(Z) の場合しか殆ど知らないが、その場合でも周期1なので、フーリエ展開出来て、とか言われた時にぎょっとしたのを覚えている。それでもちゃんと勉強しないで今日に至り、今学生に読ませてる本にフーリエ級数が何だとか、パーセヴァルの等式が何だとか出てくるので、ちゃんとしておかないとと思って読んだ次第。証明はあまり気にせず、計算出来ればいいという感じの本なので、乗って読んだ。バーゼル問題をフーリエ級数を使って解けるのは知ってたが、初めて読んだ。面白かった。興が乗ってきて、何時間も掛けて読んでしまった。

7時から「EIGHT-JAM ゴールデンSP【昭和平成令和50年分！サビ名曲ベスト100】」という番組が始まった。これが超絶面白かった。録画しておけばよかったな。タイトルとは違って、2000年以前と以後に分けてランキングしていたが、2000年以前って小生が産まれた時も2000年以前なら、31に成ってこっちに来た時も2000年以前だぞ、ということを気付かされてビックリしたのが本当の所。プロが選ぶランキングなのでただの人気投票ではなく、選び方が渋い。あみんとかクリスタルキングとかランクインしてて、懐かしいね、と思ったら、宇多田ヒカルが2000年以前に2曲入っていた。宇多田ヒカルのデビューって1998年だからね。2000年以降は知らない曲ばかりだろうと思ったら案外知ってた。車を運転出来るように成ってから暫くはよくラジオを聴いてたし、テレビのCMで流れるサビだけを知ってるという歌も案外あった。2000年以前の1位が小田和正の「ラブストーリーは突然に」なのはちょっと意外。プロが選ぶとそうなるのかな。

ちょっと頑張り過ぎたか、またちょっと調子が悪く成ってきた。明日は1時からゼミを3時間弱やるだけだから、まあ大丈夫でしょう。金曜日は1時から講義があって、その後3時間くらいゼミをやるから、今日、明日で何とか戻しておかないと。明日は月曜日の講義の準備をしないといけないな。まあ程々にやるは。

野球の日本代表に佐野恵太が選ばれた。代表初選出らしい。順当なら祐大も選ばれる筈だったが、まあ骨折してしまったからね。打撃成績を見たら、ランキングに入ってない。そうか、規定打席に届かなかったか。今調べたら403打席。あと30くらいで打率5位には入っていたのに。勿体なかった。東が選出されなかったのはちょっと謎。防御率2.16（6位）、13勝（2位タイ）だが。13勝で並んでいる才木（Tigers）が選ばれてたのにな。まあ東は CS で頑張って日本シリーズも行く（断言！）から、休めた方がいいかな。

寝不足でハイに成って講義をしてヘトヘト

今日は月に二回の資源ゴミの日。で色々見付からないもの（例えば目薬）があって、ゴミを分別して大量に出せば見付かるだろう、と思ったが、全然見付からない。紙ゴミとかアルミ缶とか段ボールとか。で相当な時間に成って、奥深くから出てきた。よかった。火曜日は2時40分から講義があるので、そこから熟睡したら講義の時間に職場に着けないかもしれない、という恐怖から、深く寝ないことにしようということで、テレビを付けっ放しにして横に成った。で案の定しょっちゅう目が覚めた。で1時過ぎに最終的に起きて、1時半ちょいに住処を出発。これくらいの時間だとウェストウィングに近い所に停められるのでいい。食事は生協で冷えた唐揚げ弁当でも買って食べよう、と思ったのだが、職場に着いてみると何やらグラウンド（クインススタジアムという名前らしい）で何かしているようで、正門の所から警備の人や来客と思しき人が大量にいた。で生協に行ってみると、弁当はほぼ売り切れていた。グラウンドにいた人達が買ったということだろうか？仕方ないので、ざる蕎麦を買って食べた。

で2時40分から大学院生向けの講義。ちゃんと寝てないとハイに成って講義をしてしまうのでいけない。今日も結構突っ走った。運よく2度質問があったので、適度にブレーキを掛けてもらったが。質問してきたのは多分A堀先生のゼミの留学生だろう。体の拡大とか多分よく分かっていない学生だと思うが、ちゃんと理解しようとしているのはいいこと。説明不足な所は後で書き足しておいて、再来年度の講義に役立てることにする。

4時半から教授会。今日は色々大事な議題がありそうなので、ちゃんとしよう、ということで個研室で Zoom を起動して待つと、何やら副学部長が話し始めた。普通は司会は学部長がやるのだが、副学部長が学部長のコメントを読み上げた。どうしてもはずせない私用がある、と言っていたが、身内の不幸か何かだろうか？で色々あって、6時近くまで続いた。ちゃんと参加すると疲れるな。

その後、講義の資料を直して、次回の分を読んでたら面白く成ってきて、つい講義資料を読み込んでしまった。斜め読みはよくないので、ちゃんとペンを持って、紙に書き書き読んだ。すると、色々ミスプリがあったりまずい所があったりで、やっておいてよかったな、という感じだった。寝不足だから早目に帰ろうと思っていたが、結局8時半過ぎまで職場にいた。まだ直した方がよいと思われたので、後日更にやることにする。いや、福岡で話した件の直しをやるつもりだったのだが。まあそれは明日やろう。明日は卒研ガイダンスがある。水曜日は講義が無いので、職場に行かないのが普通だが、どうしよう？去年は行ったんだが、Zoom で参加している先生方が結構いらして、何だ、と思ったな。まあ起きる時間に依る。今日はちゃんと寝たいから、12時に起きて Zoom を起動することに成るかもね。

寝惚けて聞こえてきたテレビの音によると、東京は昨日と明日で最高気温が10度も違うそうだ。そういうのは堪えるだろうね。近畿も結構ここ数日で気温の上下が激しい。帰り道で車に表示される外気温を見たら18度だった。ほんの数日前まで熱帯夜だ猛暑日だと言っていたが。今年は年の三分の一が猛暑日で、半分が真夏日（夏日だったかな？）らしい。これで一気に寒く成って、大雪が降ってギャ！とか成りそうで嫌なんだがな。業務に支障が出ないでくれると嬉しいが。

で帰ってきて「報道ステーション」を見ているが、袴田巌さんの無罪が漸く確定したそうだ。冤罪で何十年も酷い目に遭ってたことを考えると、何とも気の毒でならない。もっと楽しい人生があったろうに。もう八十代後半だそうだ。お姉さんは91歳の今でも弟さんのために頑張っていた。よかったというわけにはいかないだろうが、生きている内に汚名が晴らせたのはせめてもの救いだったな。お姉さん曰く、後10年は生きて欲しい、と。大分弱っておられるようだし、楽しい余生が過ごせるかどうかは分からないが、まあよかったですね。いや、よくはないがな。

二軍が日本一に成ったのを書き忘れたので、今日書いておく

今朝も起きたら11時過ぎ。中々起きられない。まあそれでも、シャワーを浴びて、弁当を買って個研室でゆっくり食べるくらいの時間はあった。

1時から一回生向け「数学IV（線形代数）」。先週ベクトル空間の例を挙げたが、今日はベクトル空間の例を更に幾つか。テキストには無限次元ベクトル空間（まだ次元という言葉は出してないが）の例が出てないので、多項式環とか閉区間上定義された Cⁿ 級の空間とか出しておく。で部分空間の節に入って、連立方程式の解空間とか。で今書いてて気付いた。自明な部分空間のことを言うのを忘れていた。まずったな。まあいいや、来週やろう。で有限個のベクトルで張られる空間を定義して、さて部分空間であることを証明、と思ったが、ちょっと時間足りなさそうなので、R² の二個のベクトルで張られる空間の例を幾つかやって、二つでギリギリの場合と足りない場合を出したりして、ちょっと基底をやる時に分かるようにしようと。で数分早く終了。

ちょっとお偉いさんに用事があったので、講義後出向く。大事件かと思ったら、大したことではなかった。すぐ済む話。よかった。で外国人にメールを書いて、講義の後始末をちょっと。その時は自明な部分空間のことには気付いてなかった。色々講義資料を直してからアップロードして、もうあっと言う間に4時。4時20分からゼミなので、後片付けを少々して、飲み物を買って、ゼミへ向かう。

今日は Rabinovich の定理の証明の残りから。が、色々詰めてない所があって、突っ込みまくって、ちょっとだけの筈が遥かに1時間を超えていた。先週突っ込んだ時に使った定理をまた突っ込んだり。今日も色々言うが、ボーっとしているだけでメモしようとしない。それでまた同じミスをするのだから、いい加減言っておいた。メモとらんなくていいの？と。すると黒板をスマホで写し出した。写真を撮るのはいいが、うちに帰って見るだろうか？見ないなら何しても意味無いが。まあいいです。で選手交代。狭義イデアル類群の 2-part を調べる話だが、久々にコホモロジー群が出てきた。復習を軽くやってから、狭義イデアル類群の定義から。で有限次ガロア拡大の時に共役なイデアルを全部掛けると、イデアルのノルム（剰余環の元の個数と定義したやつ）が生成する単項イデアルに成る、という所で予習が破綻したそうだ。分かってるのと分かっていないのを区別出来るのが大事なので、分かっていないのは問題無い。で一緒に考え始めるも、何かうまくいかない。で大体見当が付いたところで7時半に成ってしまった。来週までに詰めておいてね、と言って退散。

その後個研室でちょっと福岡で話した話の直し。沢山時間があると思ってたが、気付けばもう締め切りまで二十日を切っていた。Kraus の定理を有理数体に特殊化した時の証明を理解して書こうかと思っていたが、やめることにした。もう本質的な部分は出来ているが、細部の日本語をちゃんと書けなくてトラブっている。理系に進む人間は作文は苦手としたもんだ。英語で何本も論文を書いたりしてるので、そういう言い訳は出来ないが。これからチマチマ直す。もう9時近かったので、印刷して帰ることにした。

大分涼しく成ってきた。土曜日は長袖で三条京阪に繰り出したし、今日も長袖で講義した。が、部屋は冷房が掛かっていて、講義後「外気温が30度を超えています」と放送があったが、本当か？涼しいぞ。講義終了後は雨は降っていなかったが、帰りは降ってた。ちょっと蒸しっとするかな。まあラーメンを食べようという気に成るくらいの陽気。関東は暑かったようだが、明日は一気に最高気温20度くらいに成る、と言ってた。関西はまだ25度を超えるようだが、25度なら大分涼しい。明日は大学院生向けの講義をやる。雨が降るようだし、蒸し暑くなければいいが。

昨日書こうと思って大事なことを忘れていた。Baystars の二軍が Hawks を破って日本一に成った。素晴らしい。関根が大活躍したり、オースティンが故障した時に一軍でちょっとだけ出たフォードが2ホームラン、育成の庄司が6回無失点（MVPに成った）。が、忘れちゃいけないのが、もう退団が決まっている大田、楠本、西浦がいい働きをしたらしい。最後まで頑張ってくれて嬉しいね。楠本はまだ29歳だし、雇ってくれるチームがあるだろう。大田と西浦はもうそこそこの歳だしな。どうなるか分かりませんが、ご苦労様でした。もう一回大田の「横浜サイコー！」を聞きたかったな。

セ・リーグは全日程が終了

一昨日書いた通り、昨日はワインの試飲会に誘われたので行ってきた。三条京阪の近くの何とか言うホテルの地下で行われた。ワインと一括りに出来ないくらい味が違って、大変面白かった。説明してくれた人は割と若い人だったが、知識が豊富で、説明も素晴らしかった。よく研究され、よく準備されている。人に何かを話す時はしっかり準備しないとね、と当たり前のことを再認識した。で試飲させる目的は何かというと、買わせること。書き忘れたが、一緒に行ったのはふなごやの店長とバイトの人。店に置くワインを選ぶのだから、店長は必死だった。でカードで払って、何だかんだと3時間くらい。ちょっとずつ呑んだが、結構な数のワインを呑んだので、真っ昼間からちょっと酔った。

流石に三条京阪は山科より遥かに賑わっている。中心地に出るのは本当に久し振りだったので、ちょっと新鮮だった。その後ステーキを食し、山科に戻ってちょっと買い物に付き合った後、喫茶店でコーヒー。ラクトに前は大丸が入っていたが、撤退して、その後無印良品が入った。考えてみたら、無印良品が入ってからラクトに入るのは初めてだな。前より賑わっていた。そりゃ大丸行くなら山科でなく四条烏丸だよね、という感じ。

5時前にふなごやに行って、早くも呑み始める。6時くらいに4人組が入ってきて、その後二人組が来て、暫くしたら何やら大忙しに成った。出前館から8品一気に注文が来たそうだ。パーティーでもやるのだろうと思しき注文だった。配達員が来てからもしばし待ってもらうくらい大変だったようだ。ご苦労様。一区切りついた後、例によって3人で楽しく。いつもより呑み始めが早いので、少々早目に終了。と言っても結構な時間だったが。

野球はどう成っているかスマホでチラチラ見ていた。Dragons は Baystars に負けると3年連続の最下位。勝っても夜 Swallows が勝てば最下位。さてどうなる？と思ったら、上茶谷がサヨナラ打を許してしまい、Dragons は首の皮一枚繋がった。ナイターでは Swallows が負けたので、結果は今日に持ち越し。さて、と思ったが、中々起きられず。途中スマホで経過を見ると、Baystars が2点勝ってる。漸く起き上がったら、もう7回だった。引き続き Baystars が2点リード。京田が2点タイムリーを打ったらしい。その後点は入らず、最後は中川颯がピンチを作るも、抑え切ってプロ初セーブ。でセ・リーグは全日程が終了で、 Dragons は最下位。残念でした。最後の打者は細川だったが、サヨナラホームランを打てば去年のホームラン24本に並んだのだが。まあ細川はよく頑張ったよね。立浪に引導を渡したのが、「戦う顔をしてない」とか訳の分からないことを言われて立浪から嫌われてトレードに出された京田だったのが面白いところ。京田のトレード相手だった砂田は今年限りで引退だそうだ。砂田は Baystars 時代はよく投げてくれたけど、Dragons に行ってから冴えなかったね。来年は井上2軍監督の昇格がほぼ決定しているらしい。もういい加減どうにかしないとね。

オースティンは昨日の1打席目にヒットを打ち、打率首位に立ったそうな。規定打席に到達したのが初めて。2021年はもう数打席で規定打席だったな。その年は 28 ホームランで打率 .303 だったが、今年は 25 ホームランで打率 .316。いい成績だ。Swallows の村上が 33 ホームランでタイトルを獲ったが、オースティンは村上より170打席くらい少ない。フルに出られればホームラン王を獲ってたな。来年は一年間フルに働いてください。5位、6位の Swallows、Dragons からタイトルを獲った選手が沢山いる。高橋宏斗は最優秀防御率だが、最下位チームから最優秀防御率の選手が出たのは初だと書いてあった。Dragons はもっと点を取らないと。逆に Baystars は打撃は凄いが、投手の成績が悪過ぎた。来年はどちらももっとバランスのいいチームにしないと。

パ・リーグは、Buffaloes の宮城が9回途中まで放れば規定投球回数に達するのだったらしい。7回1/3を自責点0か、8回1/3を自責点1ならよかったそう。6回1失点とよかったのだが、降雨コールドと運が無かった。初タイトルはお預け。涙が止まらなかったそうだ。中嶋監督の退任も発表されて、今年の Buffaloes は散々だった。来年は Buffloes vs. Baystars で BB 日本シリーズをしましょう。