8回表終了時点で7点リードされるも、裏に7点取って、9回でサヨナラ勝ち

昨晩はその後「エラー」の2話と3話を見てしまった。で今朝は12時過ぎに漸く起きた。シャワーを浴びて、はま寿司で食事をしてから職場に行くことにして出発。はま寿司には幟が2種類立ってて、大切り銀鮭と鰹。が、鰹がメニューに見当たらないぞ。本日売り切れ、なのか完全に売り切れたか知らないが、食べたかった。でまた例によって2000円強。職場に着いたのは2時20分くらいで、個研室でゆっくりボーっとするほどの時間は無いので、飲み物を買って食堂の隅で飲みながら多少作業。適当な時間に講義室に向かう。

木曜日は「数理科学セミナー」。この前フェルマーの小定理をやったが、節の導入部分を完全に飛ばしていたので、そこをちゃんとやるように言っておいたのでそこから。その後フェルマーの小定理の証明もテキストに書いてあるものを説明させた。まあいいんじゃないでしょうか。1時間くらい掛ったが。その後選手交代で、オイラーの定理の途中まで。YouTube で見てても今日の学生を見てても思うんだが、合同式の (mod m) ってそんなに書くの面倒か？毎回書いても大した手間ではないと思うんだが。小生毎回書いてるよ。人によっては「議論」と書くのも面倒臭いらしく、学生にノートを見せてもらったら、「ギロン」と書いてた。ギロチンに見える。不精はやめましょう。そんなことしてると漢字書けなくなるよ。で途中だがチャイムが鳴ったので、切りのいいところでやめてもらった。

その後ちょっとボーっとしてからゼミ。今日は完全分解する素イデアルの密度とか有限次ガロア拡大が完全分解する素イデアルの全体で特徴付けられるとか。これガロアじゃなくてもいいんじゃなかったか？と思っていたが、調べていかなかった。演習問題に非ガロアな場合はどうか聞かれていたが。調べておく、と言っておく。で解析的な話題は一旦終わりで、これから modulus がどうしたとか Strahl がどうしたとか代数的な話が始まるが、十分予習が出来てないのでご勘弁を、ということで2時間くらいで終了。去り際に円の m 分体で完全分解する素数の密度が 1/φ(m) なのとか2次体で（完全）分解する素イデアルの密度が 1/2 なのとか自然だよね、と言っておく。自然と思えるのはどちらの場合でも分解法則を既に勉強したから。こういうのを聞いて面白いと思えるためには、つまらんかもしれないが基礎訓練をしておかないといけないよね。何故かうちの学科と機械科の合併科目に成ってる「AI・機械学習」というそそられるタイトルのものがあるが、機械科の学生は線形代数をちゃんと勉強してなくて沈没するらしい。この前 YouTube を見てたら、大学1年生が行列習って「は？」、和を習って「は？」、積を習って「え？え？」みたいな動画があった。「こんなの役に立たんだろ」と学生は思っていたが、コメント欄で皆さんお書きになっていたとおり目茶目茶役に立つし超重要だからね。そうは思えないだろうけど。「線形」の大事さが分かるのは大分経ってからだろう。線形代数の講義を行列の計算から始めるのは良し悪しで、何か計算してるけど意味分からん、と成るし、先にベクトル空間からやるのは1回目から学生が沈没しかねないから、ちょっとやる勇気が湧かない。去年だったか基底の変換を念頭に置いて展開した線形代数の本が出たようだが、買ってみようか？うまくいけば暫く線形代数の講義は担当しないで済みそうなのだが、まあ賢くなっておきましょうかね。

で7時前に解放されて、個研室で野球の様子を見ると0－4。…。東が1回表に先頭打者ホームランの後も猛攻を食らって4点取られたようだ。がっくし。もうええわ、ということで、明日の講義で何をやるかをちょっと思い出しておいて、演習問題を考えて、部屋掃除のために紙を幾つかスキャンしたり。会議室に行ったらコピー機が無くなっていてビックリした。生協は最早コピーカードを売り出したり、そのためのコピー機をリースしたりというのはやめたいらしい。この前学科長が言ってたが、学生は学生証で年間3000枚くらいコピー出来るらしい。多分十分過ぎるだろう。今時の学生はコピーしない。何でも写真撮るからね。まあ7階まで1フロア上がれば学科事務室にコピー機があるから。で何枚かスキャンしたらエラーが出るようになった。定かではないのだが、スキャンしたと思しきファイル名のものが沢山あるとスキャン出来なくなるようで、個研室に戻って結合させて不要に成った pdf ファイルを幾つか消してもう一度事務室でスキャンしたら出来るようになった。やはり予想が正しかった。スキャンして結合させたらどんどん消せ、ということだな。それと事務に有隣社の伝票をスキャンして送ったら pdf はすぐ消せ、ともいうことだ。でもう9時を回っていたので、帰ることにした。その前にチラッと野球の様子を見ると、4－7。7点差に成った後に4点取ったようだ。まあ期待しないでおきまひょ、ということで職場を出て、すき家でカルビ丼にホクホクのニンニクを乗せたやつを食べて帰途につく。

10時半過ぎに帰ってきた。個研室を出るちょっと前に雨が降っている音が聞こえて、すき家からの途次も時々雨がちらほら降って、で「報道ステーション」で細川栞さんの言ってるのを聞いていたら、近畿は梅雨入りしたそうだ。早いな。明日の予報には傘マークがあった。数日前の予報では金曜日は大丈夫で土曜が雨と言っていたが。今スマホを見たら、明日の降水確率は80%だが、1時間ごとの予報の所に傘マークが無いのが不思議。傘を持ち歩いた方がいいということだな。その後スポーツコーナー。もう随分前から日本の野球より MLB の結果を詳しくやるようになっている。打者大谷は一時絶不調だったが、昨日の時点で出塁率がリーグ1位になって、今日打率が .300 を越えたそうだ。スイッチが入ると凄いな。今日は投げても無失点で、防御率 0.75 とか。規定投球回数に1足りないそうだが。

で漸く日本の野球。Baystars の試合を中々やってくれない。で始まったので見ると、5－7という状況から伝えてくれた。職場を出た後にもう1点取っていた。で今日から牧が復帰しているそうで、その牧が同点のタイムリーヒット！マジか。で9回裏。画面に映ってるのは神里。期待出来ないか、と何があったかよくわからないが、三森が2塁から一気にホームを狙って、アウトの判定もタッチを掻い潜っての神スライディング。サヨナラ勝ち！8回表終了時点で7点リードされていたのを8回裏に7点取って一気に追い付いて、9回にサヨナラ勝ちという、嘘みたいな展開。昨日、一昨日の負け方を見て、Facebook 上では「やる気が見えない」とかもっと酷いコメントが相次いでいたが、皆必死にやっているのだ。結果に結び付くか付かないかは時の運もあるし、暖かく見守りましょ、ということでこれで3カード終了で全カード1勝2敗。明日から最後の3カードで逆、もしくはそれ以上を目指しましょう。

週に3日しか職場に行かないから、あっという間に1週間経ってしまう気がする。1日おきに行くともう少し長く感じるのかもしれないが、今は月曜行って、火、水、行かなくて、木、金は行くという変なスケジュールで、しかも月、木は2時55分までに行けばいいという変なスケジュール。秋学期は火曜日に講義があるが、これも2時55分から。その後に教授会があることがあるので、火曜日はゼミを入れられない。火曜日は講義だけのために行くか、それとも終わった後個研室で有意義に時間を使うか、それによってまた変わってくるけど、その時に成ったら考えましょ。秋学期のことを言うと鬼が笑う、てことはないと思うけど。うまく時間を使わないといけないね。

「エラー」の1話目を漸く見た

結構な時間まで起きていた。風が強いのが部屋の中でも分かる。缶・瓶・ペットボトルゴミの日だが、表に出ない方がよかろうということで1週間我慢することにした。起きる頃には台風は去った後の筈。

ということで昼過ぎまで寝ていたが、案の定天候は回復していた。停電は無かったようで、有理点探しは引き続きやってくれていた。さて食事をどうしようか？カップ麺の類は結構買ってあるが、やはりちゃんとしたものを食べたい、ということで Uber Eats で王将の頁を見ると、この前無かったニンニク劇増し餃子がある。ということで炒飯と一緒に頼む。王将がミスするのか配達の人がミスするのか知らんが、時々餃子のタレが入ってないことがある。運良くこの前二つ入っていたのでよかったが。でその後この前最終回だったドラマ「エラー」の1話目を漸く見た。日曜日10時15分からのドラマ枠は ABC でしょっちゅうダイジェストをやってるので、見なくてもどんな話か大体分かっているが、やはりちゃんと見ないといけないな。もう1話見ようかと思ったが、何か眠いな、ということで寝床に入ってしまった。今日は学科会議は無いのでよかった。来週はやると案内が来ていたが、対面だろうか？オンラインだろうか？オンラインでやって欲しいが。この前書いた通り住処のパソコンにはマイクが無いようだが、アマゾンで買ったのが届いている筈。後でポストを見に行こう。

であっと言う間に6時。横浜の天気はもう回復していたようで、定時に野球開始。今日も Eagles 戦。今日はどっちも中々点が入らない。4回表に Eagles が走者1塁の場面でセンターの頭を越えるヒットを打ったが、蝦名、三森、戸柱と完璧な中継プレーを見せて、点を防いだ。解説の今江氏は Baystars に流れが来るようなことを言っていたが、今日の Baystars 打線は全然ダメ。3回まで1四球のランナーのみ。4回裏に佐野、宮崎のヒットでノーアウト1、2塁のチャンスを作るが、筒香、度会、三森が凡退で無得点。でなんじゃかんじゃと9回表。まだ0－0。先頭の村林が内野安打で出塁。村林の名前は一輝だが、「いつき」と読ませるそうだ。知らんかった。1死後センターの頭上を越える当たりを打たれ、今度は刺せなかった。先制されてしまった。ランナーが3塁にいるので、警戒してはずそうとしたら、何と康晃が暴投して2点目を取られてしまった。むぅ。9回裏は2アウトをあっさり取られ、筒香が内野安打で出塁も、ここのところ当たりの止まってる度会が凡退してゲームセット。3安打2四球無得点と、見せ場は全く無かった。交流戦は3カード目だが、これで全部2連敗スタート。先週の2カードは2連敗後1勝して3連敗は何とか逃れてるので、明日は東で勝ちましょう。期待。

Eagles に伊藤光が FA 移籍したのは昨日書いたが、太田光をファンを応援してるのを聞くと「ひかる！ひかる！」と言ってる。伊藤光はどう応援するんだろう？と聞いてたら伊藤光が代打で出てきて、声援はやはり「ひかる！ひかる！」だった。二人とも捕手だから同時に出ることは無いし、そもそも打席に同時に立つことはあり得ないから大丈夫なのだろう。そう言えば、伊藤裕季也も Baystars から Eagles に移籍してるな。裕季也の応援はどんなのだろう？今一軍にいないようだから聞けないな。裕季也はエスコンフィールド第1号ホームランを打ってるが、Baystars 時代も含めて2023年の87試合出場で46安打が最高と大したことない。頑張ってもらわないと。

今日は6月3日だ。爺様の誕生日だったのを思い出した。が、ニュースを見ていつもその後に雲仙普賢岳の大火砕流のあった日、というニュースを聞いて、ああ、そう言えばそうだな、と思い出す。でどうでもいいが長嶋茂雄の命日だそうだ。戸郷が気合を入れて先発したのに、11球目を打者の頭にぶつけて危険球退場、という途中経過を見て笑っていたが、結果を見たら Giants 勝ってた。丸が満塁ホームランを打って逆転したとか。ロクでもない。Giants との差が大分開いてしまった。明日は Baystars が勝って Giants が負ける（断言）。この前「（断言）」と書いたらその通りに成ったので、験担ぎに書いておく。木曜日はゼミを8時過ぎまでやるので、終わった時に気分よくなれればいいが。ゼミもちゃんとしてて Baystars が勝ってれば最高。最悪の目が出ませんように。

横浜港開港記念日の試合を飾れず、Eagles に交流戦初勝利を許してしまう

昨晩買い出しに行った時くらいに雨が降り出した。で呑み呑み大河ドラマを見たり土曜日にやっていた「ミラクル9」を見たり。大河ドラマの主人公の小一郎を演じてるのは仲野太賀だが、配役を見てたら中野英雄の名が。親子共演か。どんな役かいな？と思って見ていると親父さん登場。小一郎が初めて総大将を任された竹田城攻めだが、その城主の太田垣輝延を演じていた。中野英雄は昔は気の弱い役をやっていた（「チョロ」なんていう渾名を付けられた役とか）が、すっかり嫌な親父の感じに成っていた。羽柴軍が城を取り囲んで城内の水が切れた頃に、隙を作って水汲みに出た部下達に紛れ込んで小一郎が城内に入ったが、太田垣の家来を思わないあまりの身勝手さに腹が立ってぶん殴る、というところが前回の見所だな。中野英雄は1回きりの登場のようだ。奥田瑛二も1回きりだったし、流石はNHKだな。で後でスマホを見てたら、盛り上がりどころは他にあって、回のタイトルが「風雲！竹田城」。あの有名番組と一文字違いなので、城主はビートたけしか？谷隼人か？と盛り上がっていた。「ちょっと年齢層高すぎんか？」という意見もあった。「風雲！たけし城」がやっていたのは小生が大学生の頃だからもう40年くらい前だ。若い人は分からないだろう。引っ越してくる前はスカパー！を見られるようにしていたが、後に「スカパー！2」っていう110度CS（若い人は知らないだろう）でのサービスが始まって、TBSチャンネルというのがあって、そのチャンネルが本家スカパー！で始まった時の最初の番組が「風雲！たけし城」だった。楽しく見たのを覚えている。今はTBSチャンネル1とTBSチャンネル2の2チャンネルに成って、2の方で Baystars の試合を全試合生放送してくれるので有難い。TBS が Baystars の親会社だった頃は最悪だったが、罪滅ぼしに放送してくれてるのだろうか？

で知らん間にダウンしていて、教授会の前に起きた。今日は時間が掛かりそうだぞ、と覚悟していたが、思った程ではなかった。沢山説明されて、投票する案件もあったし。予想外の結果に成ると学部長は焦るだろう。物理の真面目な先生が質問していたが、それの影響があったかと思われる。まあ気持ちは分かるが。

で6時にTBSチャンネル2に合わせて野球観戦開始。今日は平良が先発。抜群の立ち上がりも3回に崩れて2失点。Baystars 攻撃陣が1回、2回と先頭打者が出塁もいずれも併殺打ということをしていたから、失望感が大きかったか。それでも5回2失点8奪三振は上出来の部類でしょう。で5回裏にいいことが。松尾が空振り三振もキャッチャーが捕球出来ず振り逃げ。平良の代打に出たヒュンメルが四球を選び、蝦名が逆転3ランホームラン。今日は横浜港開港記念日だそうだ。これは是非勝たないと。が、4回裏に1死満塁から点が取れなかったり、6回裏の石上（いしかみ）の外野フライで1塁ランナーの三森が2塁を回ってしまっていて併殺打と、拙が目立つ。そうするとロクでもないことが起きる。8回表に鈴木大地の内野安打の間に2塁ランナーが長躯ホームインで同点にされ、マッカースカーとかいう外国人に勝ち越し打を打たれてしまう。解説の平石氏によれば、中川虎大がフォークボールばっかり投げてて、直球が投げづらい展開に成り、読まれたのだろうと。松尾はまだまだ修行が必要ということだな。9回表に Eagles に FA 移籍した伊藤光が古巣 Baystars 戦で慣れ親しんだ横浜スタジアムでバックスクリーンに飛び込むどでかいホームラン、更に Eagles にもいる平良選手が2ランホームランを打ち絶望的な展開に。横浜開港記念日に Eagles に交流戦初勝利をプレゼントしてしまった。ロクでもない。試合後に開港記念日を記念して花火を打ち上げることに成っていたが、試合が長かったため中止に成ってしまった。今日は横浜市民は無料で観戦出来たそうだが、楽しかったのは蝦名のホームランの所だけだったね。花火も見られないし。明日に気持ちを切り替えて、と言いたいところだが、台風が来ている。石田裕太郎が日曜日じゃない日に投げる予定だったが、残念だ。

台風と言えば、近畿は夜中に最接近と言ってた。台風が通り過ぎれば天気が良くなるそうなので、今日中止だった甲子園での試合は出来るだろう。阪神園芸というグラウンド整備のプロがいるから、100％出来るな。Baystars 戦が中止だったら Tigers 戦でも見るか。明日は地上波で放送がある。6時15分放送開始だけど。それより深夜に停電が無いことを願うよ。勿論色々大変なことに成るのも理由の一つだが、もう一つの理由は先週の木曜日に仕掛けた有理点探しがバッテリー切れで完了しないままに打ち切りに成ってしまう。停電しませんように。

今調べたら、伊藤光のホームランは史上49人目の「12球団制覇弾」らしい。通算31号で12球団制覇は、大引が Swallows 時代に12球団制覇弾を達成した時の32号より少ない数での達成らしい。ふーん。伊藤光には随分働いてもらった。頑張ってくれるのは嬉しい。ただ Baystars 戦ではこれ以上はご勘弁を。

ABC 定理の証明はもう大丈夫

ABC 定理の証明は完全に理解出来た。「対称性より」という所もちゃんと確認した。TeX 化するとまた訳の分からない時間に成ってしまうので、やめておいたが。それでも寝たのは相当遅い。

で起きたらもう1時を大きく回っていた。シャワーを浴びて出発。生協でいつもの唐揚げ弁当を買って食してからウェストウィングへ向かう。

今日は先週引っ掛かった ABC 定理の証明だが、すんなり終わった。学生も小生も何かいらざる勘違いをしていただけ。この前書いた通り「三人寄れば文殊の知恵」だが、月曜のゼミはマンツーマンでやってる。二人だと二人が隘路にはまると誰も手を貸してくれない。一人冷静な人がいるだけで大分違うがな。木曜のゼミは学生は二人いるが、一人が何らかの事情で休むと混乱することが多い。最低で三人はいないとやはり駄目だな。で「刺身のつま」である abc 予想の節が始まったが、時間をあまり掛けたくないのが本音。こちらの気持ちが伝わったか、結構あっさり済ましていた。abc 予想の同値な言い換えも紹介しただけ。それでいいです。拘る学生がいたら拘るけど、拘らないならそれでいいです。で既約多項式（モニックな既約多項式を「素式」と言っている）の分類の節に突入。R や C だと簡単だが、それは代数学の基本定理を仮定すれば。テキストに主張は書いてあるが、証明は載ってない。学生が「証明読んでくるのを忘れましたので、来週やります」と言ったが、やらなくていいと言っておいた。関数論の講義でリュービルの定理を使って示されてると思うし、藤村先生（懐かしい）が幾何の講義をしていたころはホモトピーの知識を用いて証明していたようだから、今も幾何の講義でやってるかもしれない。「代数学II」でも以前はやっていたが、ここ数年やる時間が無くて出来ていない。何故だろう？で Q 上の素式の分類は難しい、と書いてあって、ガウスの補題とかアイゼンシュタインの既約性判定法など。これは「代数学I」の講義でやってあるが、テキストに証明が書いてるからやってもらう。講義と全く同じ証明が出ている。ということであまり集中して聞かなかった。まあ大丈夫でしょう。5時くらいに終了。

6時からオンラインで会議があるので、それまでちょっと時間潰しに ABC 定理の証明の TeX 化。5時50分過ぎに保険会社の人から電話。この前電話があった時はゼミ中だったので無視したが、今日は出てあげるか、ということで。ちょっと健康診断で引っ掛かった所があったのを話してあって、その件で電話をくれたりメッセージをくれたりしていたが、忙しかったり面倒臭かったりで何もしないでおいたが、大分心配してくれていたようで申し訳なかった。で6時からの会議は白熱した。そもそも OIC に行くことに無理があったのだ。OIC 唯一の理系学部のために BKC の教員は大分無理をしている。更に無理を言ってきているので、皆さん大分ご立腹だ。時間割を作る我々も大分無理しないといけない。前に教務委員をやった時は1年目が時間割だ何だと大変だったが、今はそれらの仕事は2年目の人がやるようだ。今年叩き台を作っておいていただけるので、来年度はそんなに大変ではない、と信じたいが。7時ちょいに終了。

その後 TeX 化の続き。大体出来た。微分で一箇所片付いてない所があるが。「AB'＝BA' ⇒ A＝cB となる c∈K^× が存在」は微分を有理式に拡張しておけば示せるが、多項式の微分だけで出来るんかいな？と前から気に成ってる。また考えておこう。でなんだかんだと9時半近くまで職場にいた。

ガストでから好しの唐揚げにしようか、と思ったが、昼飯は唐揚げだったな。冷めてたのを食べたから、揚げ立ての熱々のやつを、と思ったが、ここ数日で結構金を使ってしまったので、すき家でカレーにした。50円引き券もあるし。美味しかった。夜10時を過ぎると道路はすいてるが、アタオカな運転手がいて怖いこともある。今日も少し前の信号が黄色に成ったので停止線で停まったら、後ろの車が対向車線にはみ出して右折していきよった。関西の人は気が短いな。曲がった方の道路に気の短い運転手がいたら、それこそ大事故やぞ。安全運転を心掛けましょう。

台風が近寄ってるらしいが、まだ雨は降ってないし風は吹いてない。明日は職場に行く用事が無いので、住処でおとなしくしているつもり。夕刻の教授会も Zoom で開催されるから、職場に行かなくていいのは助かる。学部執行部の面々や事務の人は出勤だろうか？ご苦労様です。住処にいて Uber Eats で食事、というパターンが明日は出来ないかもな。天気によるが、配達パートナーが外出したくないような天気だったらね。帰りにドラッグストアでちょっと食事を買い込んできたが、もう少し買い出ししておきたいので、これからセブンイレブンやらローソンやらに買い出しに行く。インスタントの食べ物や飲み物や呑み物。一軒で沢山買うと恥ずかしいから店舗を分けるという作戦。賢明な読者はお気付きだと思うが、いつもはセブンイレブンかファミリーマート、なのにローソンに成ってるのは何故でしょう？答は単純で、飽きてるから。ローソンの方がカップ麺の種類が豊富なのでね。セブンイレブンとファミリーマートは歩いていくが、ローソンはちょっと遠い。セブンイレブンもいつもの店舗でなくローソンと住処の間にある店舗に行く。木、金はまあまあの天気のようなので、心置きなく仕事をして外食して帰ってくるので、二日分ね。「過ぎるTV」が終わったら行こう。ナフサ不足が言われているご時世だけに袋は持参でね。と言っても、さっきドラッグストアでは袋を貰った（正確には買った）が、それを持っていくだけのこと。気休めよ。

あ、そうだ、この前若隆元、若元春、若隆景の3兄弟のことを書いたが、若隆元は引退するそうだ。3兄弟同時関取はならなかったな。残念。元就の息子は、隆元は元就の存命中に死んでるし、吉川元春は秀吉の九州攻めに従軍中に死んでて、一番活躍したのは三男の小早川隆景。大波3兄弟（若隆元たちのことね）も三男が一番活躍してる。小早川隆景は天下をとれなかった。若隆景は大関、横綱と駆け上がって、天下を取ろう。もう若くないんだ。今度のチャンスを逃しちゃならねえぞ。今場所は霧島以外の横綱、大関は初日から休場だったり怪我して休場だったり負け越して休場だったりと冴えなかったので、強い大関は大歓迎だ。霧島も優勝を逃したが、来場所の結果次第では横綱だ。どっちも頑張れ。

尾形崇斗が Baystars 初登板（プロ入り初先発）を勝利で飾る

昨晩のふなごやはまあまあ忙しそうだった。一組はコースの客だったそうだが、コース後にちまちまと呑み物だったり軽めの食事メニューを頼んで結構遅くまでいた。でいつもの通り最後は3人で。先週プレミアムモルツの景品だった缶に当てると細かい泡が発生してビールが美味しくなるものをあげたが、美味しくビールが呑めて嬉しいと言ってもらえた。よかった。小生はすっかり面倒臭がりに成り、ビールをグラスに注ぐことはなくなった。グラスを洗うのが面倒だという下らん理由で。でちょっといいシャンパンを呑んできた。何故かと言うと一昨日が店長の誕生日だったから。いい色をしていて、味も良かった。で久し振りに金を払ったシーンが記憶にあったが、結構な額だった。昨日は随分金を使った。まあいいけど。楽しかったので。

やはり帰ってきてすぐにダウンしたが、そんなに寝ないで起きてしまった。食べ物の買い置きが無いので、例によって Uber Eats に適当に頼んで、でまだ野球まで時間があったので、ちょっと寝床に戻ってうだうだと You Tube を見たり。野球の情報を見たら、日曜日なのに先発が石田裕太郎じゃない。何故？尾形崇斗（しゅうと）が祐大との交換トレードでやってきてから初登板。今までの90登板は全てリリーフで、プロ入り初先発。まあ大きな期待は出来ないかな、と見ていたが、どうしてどうして。150km台後半の直球をビシビシ決めて、四球、死球でランナーを複数出したイニングはあったが、被安打2で5回無失点。湿り気味だった打線は今日は点を重ね、3回に1点、4回に2点、5回に1点、7回に2点で6得点。11安打。今日みたいな試合はいいね。結局6－0で6連勝中だった Lions を止めた。で順位表を見ると、いつの間にか Hawks が交流戦の首位に立っていた。5勝1敗。Lions も1敗だが一つ引き分けがあり4勝1敗1分。Baystars は2勝4敗で9位。まだまだ。火曜日からはセ・リーグの本拠地で3連戦を2つやるそうだから、横浜スタジアムで勝ちまくらないと。まだ交流戦勝ちの無い Eagles と火曜日から3連戦だから、大チャンス、と思ったら、台風が来ていて、火、水は試合出来ないかも。交流戦はスケジュールがタイトだから、どっかで穴埋めをするんだが、それまでに借金を減らしておかないと。

しかし Eagles と Carp は弱いな。交流戦6連敗。Carp はセ・リーグ5位だが、Dragons は交流戦好調で、0.5ゲーム差に成ってる。Eagles に至っては一時首位に立った筈だが、今日の結果で5位と5.5ゲーム差で6位に沈んだ。どうなるでしょうね。交流戦は同一リーグの全チームが勝ってしまうことがあるから、自分で頑張っても中々順位は上がらない。逆に自分のところだけ負けということもある。頑張らないと。

昨日いつもびわ湖浜大津行ばかり来ると書いたが、烏丸線の電車もレアものだった。急行近鉄奈良行。前は結構走ってた筈だが、今は土曜日は朝に数本と夕方の5時台、6時台に30分間隔で2本ずつと減った。珍しいのに2本続けて出会ってしまうとは、何かの運を使ってしまったということでなければいいけど。

先週の月曜日のゼミで多項式環の ABC 定理の証明で一箇所不明な点があったので、考えておこう、と思ったが何もしてない。いけないな。これからやるか。明日は2時55分までに職場に行けばいいので、多少遅くまで起きていても大丈夫だし。あれ高校生が証明したというが本当かな？まあ多項式の微分（実は一箇所有理式の微分を使わないと無理な筈だが）くらいで出来るからね。abc 予想の解決が途轍もなく大変なことなのはご存知の方は多いだろう。まあああいう論文を理解しようとは思わない。読んでもそこから何か考えられるとは思えないし、やりたいことは幾らでもある。理解するだけで何年（どころではないかも）掛かるか分からないし、定年までの時間はそう長くない。ということでやれることをやります。

東西線で帰ってこようとすると、何故か毎回びわ湖浜大津行に当たる不思議（1時間に3本しか走ってないのに）

ポストを見たら書留が届いていて、不在だったので再配達の手続きをせよ、とのことを書いた紙が入っていた。今日の2時から4時を受け取り時間にした。それくらいの時間だと早起きしなくていいし、そうしておいたが、案の定夜更かし（朝早し？）してしまった。呼び鈴で起こされた。急いで飛び起きて、受け取って。で時計を見るともう野球が始まってる時間。テレビを付けるとリードされてる。…。更に追加点を取られ、まだ眠いぞということ、音声を聞きながら横に成った。するともう一度寝てしまい、Baystars が完封負けをした音声で不愉快ながら起きた。

用事が無ければ起きる必要無いんだが、5時半に市内某所に用事があるので、出掛ける。用事は短時間で済んで、いつもの通り隣の喫茶店でホットドッグとアイスコーヒー。夜中に間食してから何も食べてないので、猛烈に腹が減っていた。ソーセージはちゃんとパンの溝に入れておくれ。パンとソーセージを別に食べる羽目に成った。で烏丸線から乗り換えて東西線のホームへ。不思議と毎回びわ湖浜大津行の電車が来る。1時間に3本しか走ってないんだが。まあ京阪電車に乗れば、東西線で苦戦している京都市と京津線で苦戦している京阪の両方に貢献出来るのでいいけど。200円ケチりたければ六地蔵行を待つが、まあいいです。

腹減ったな。流石にホットドッグ一個齧っただけでは辛い。ふなごやに早目に行って晩飯とするか。シャワーだけ浴びてから行くか。今日は店長は Tigers が勝った以外にも機嫌がよい理由がある。何でしょう？正解は明日。

代数体の整数環で素イデアル分解の一意性が成り立つ証明は慣れたもの

今朝は起きたら11時を過ぎてた。シャワーを浴びてちょっとしてから出勤。職場に着いたら12時40分を過ぎてて、もう外では弁当を売ってなかった。仕方ないので生協で弁当を買って食した。ちょっと今来たこの道を戻らないといけなく、買った後個研室へ行ってもゆっくり出来ないので、売店の脇の机で食そうかと思ったが、流石に昼休みだけあって混んでる。天気がいいから表でいいか、と思ったがちょっと暑い。まあ真夏と比べれば全然マシなので、いいか、と表で食べて、まだちょっと時間があったので、生協の本屋を冷やかした。また面白そうな本が出ていた。買わなかったけど。

1時10分から「代数学I」。相変わらず部屋はスカスカ。今日はユークリッド整域が P.I.D. であることを示して、体上の多項式環がユークリッド整域であることを示して、飯高茂先生命名の「合コンの定理」を体上の多項式環で示して、で素元だ既約元だと定義したら大体時間。来週は P.I.D. だと 0 でない元 x に対し「x が素元 ⇔ x が既約元 ⇔ (x) が素イデアル ⇔ (x) が極大イデアル」など諸々示してから U.F.D. に進む予定。今日で8回目が終了。大分訳が分からなくなってきたろう。

休憩を挟んでゼミ。今日は代数体で素イデアル分解の一意性が成り立つことがメイン。割と順調に進んで、で分数イデアルの素イデアル分解とか、イデアルの和が最大公約数の類似、共通部分が最小公倍数の類似であることや、Chinese remainder theorem をやって、イデアルのノルムとかオイラー関数とかの性質を示してる最中に力尽きたらしい。まあ難しい所だ、ゆっくりやりましょう。毎回 TeX で打ってきたと思しき紙を見ながら話してるようだが、それくらい真剣にやってるようでいいことです。

でよく分かってる所だったので、多少内職しいしいやっていた。いや、激しく内職したわけではなく、テキストの演習問題をメモって、簡単に出来そうなものは解いたり方針を考えたりしていた程度。一問ちょっと誘導を付ければ「代数学I」の単位認定レポートに使えそうな気がしたので、考えてみる。結構手頃な問題になった。代数的整数論を使えば瞬殺な問題だが、まあやってる学生はいないだろうから、いいかと。帰ってから TeX 化しようということで、程々に切り上げてきた。野球を見たら大差でリードされてた。しくしく。

すき家で適当に食べてきた、失策。なぜすき家に行ったかと言えば、JAF Mate に付いてたクーポン券を使うつもりだったから。が、すっかり忘れてしまった。車を走らせてる途中に気付いた。まあいいです。もう一つ一瞬焦ったことがあった。財布とカード（クレジットカードと nanaco を入れてある）を尻ポケットに入れているが、運転してると尻が痛くなってくるので、途中で大抵出して助手席に置くんだが、カード入れがポケットに入ってない。すき家で V ポイントカード（未だに T の字が印刷されてるやつ）を使って、忘れてきたか、と焦るが、車に乗った時に鞄に入れたようで、見付かった。焦った。無かったらどこかですき家に電話しないといけなかった。前にスマホを高田馬場のキリンシティに忘れてきて焦ったことがあったが、その時は大分酔ってたから。幸いレシートを持って帰ってきていて、住処の固定電話から電話したらあったので、着払いで届けてもらった。あ、前に川崎に行った時に財布を紛失したことがあったが、クレジットカードは別にしていたので、新幹線の切符は買えて、帰ってきて留守番電話を見ると川崎のタクシー会社からのメッセージが入っていた。クリーニング屋のスタンプカードに固定電話の電話番号を書いてあったので電話してくれたらしい。そうだ、もう一回あったぞ。職場の留守電に山科署から電話が来ていて、何かと思ったら落し物が届いているとのこと。酔っぱらって自販機で飲み物を買った時に財布の中から零れ落ちたらしい。この時も幸いに電話番号を書いたものがあった。何かと思ったら、関西みらい銀行から日本数学会に会費を振り込んだ時の振込カードに職場の電話番号が書いてあったからのようだ。昔から持ち物には名前と連絡先を書いておけと言われたな。まあ気を付ければいいだけの話なのだが。

今「探偵！ナイトスクープ」がやってるが、倉庫から巨大な桶を取り出すという依頼。それを見てる最中に上に「書いて桶」と変換されてあまりの偶然に笑ってしまった。パソコンの予想外の変換には笑わされる。「投与コイン」は最高傑作だ。小生のホームページや色々なところで使ってるハンドルネーム（handle だけで名前の意味があるが、和製英語の「ハンドルネーム」を使った方が分かり易いだろう）のもとに成った「い加川しい」もパソコンがそう変換してくれて、気に入って使っている。「い加川しい」と「烏賊が鷲」は中々結び付かなったようで、Twitter のユーザー名は最近は「烏賊が鷲（加川）」にしてるが。早稲田の楫元先生は「Ka-dimentional space」という名前のホームページを開設されてるが、これは「Ka-jigen」ということなのだろう。色々ダジャレが聞いてる人がいて面白い。「い加川しい」は小生の手柄ではなくパソコンの手柄だが。

忘れていた。今日から交流戦は Lions 戦だが、FA 移籍した桑原が開幕から好調だったのに肉離れで離脱した。が、もう復帰していたようで、今日の試合では手痛い一打を食らってしまった。やはり桑原が抜けたのは大きいな。明日、明後日は程々にしてくだされ。