日本サッカーも Baystars も追加点を取れないのが響いて敗戦

予定通りサッカー観戦した。地上波では8チャンネルでやるが、この前 NHK を見てたら本田圭佑が目茶目茶盛り上げていたので、NHK でもやるのだろう、と思って番組表を見たら、何と総合ではウィンブルドンテニスをやる。BS は？と思って見たら、やってくれる。本田圭佑の解説が面白いそうなので、8チャンネルではなくそっちを見ることにした。確かに面白い。選手の名前を「さん」付けで呼ぶのが彼の流儀なのだろうか？で前半に先制した時はもう凄かった。日本のコンパクトな守備にブラジルが嫌がっている、との仰せだった。が、後半に成るとブラジルが猛攻。凌ぐのが精一杯で、あっちこっちからボールが日本ゴール前に迫ってくる。すると耐え切れず失点し、延長戦突入かというアディショナルタイムに決勝点を奪われてしまった。むぅ、残念。まあ延長に成っても30分耐え切れなかったろうな。残念だがまだブラジルとの差は大きい、という感じだ。小生素人なのでよく分からんが。疲れた。

大分呑んでたので、何時に寝たかよく分からんが、テレビも電気も冷房も付けっ放しだった。いけないな。今日の京都は32度だか33度まで行ったそうだから、冷房無しだったらすぐ起きてたかもな。教授会には間に合った。会議資料は凄いページ数だが、まあいつものこと。見てる人はどれくらいいるでしょうか？自分の学科の分くらいは目を通した方がいいのだとは思うが。教務委員としては見ておかないといけないのだが。教務委員は2年任期だから来年度もやるので、勉強しておかないと。5時40分くらいには終了した。

今日の野球は新潟で。最近6時15分プレーボールという謎なことをやっていたが、やはり6時開始の方が分かり易くてよい。2回裏に宮下の内野安打で先制後、牧にも2点タイムリーが飛び出し幸先よく先制。牧は長野の生まれで、ご両親が新潟まで車を飛ばして観戦に来ていたそうで、いい所を見せられてよかったですな。しかしその後点が取れず、2点返されて9回。康晃が先頭打者を三球三振で打ち取ったので、あっさり勝てるか、と思ったら、次打者がヒット。その後は康晃の独り相撲で、死球、四球、四球で同点にされてしまう。伊勢に代わったが、2点タイムリーヒットを2本打たれて、ビッグイニングにされてしまった。伊勢は可哀そうだったな。投げる準備はしてたろうが、心の方の準備が出来てなかったかも。9回裏は Carp の守備のミス（記録は3塁打）の後内野ゴロで1点返したが、そんな点の取り方をしても大量点にはならずゲームセット。新潟では暫く勝ってないらしい。サッカーも野球もそうだったが、先制点を取って守りに入るのではなく、追加点を取っておかないといけなかったね。まあ仕方ない。明日は試合が無く、木曜日は横浜スタジアム。8カードだか連続負け越しらしいので、木曜日は何とか勝って変な記録は止めないと。何でも Dragons の自力優勝が消滅したとか。6月やぞ。Baystars も危ないな。借金が膨れ続けてる。明後日は勝たないと。

有理点探しだが、サッカーの開始直後に一つ見付かった。今時のサッカーは試合中に給水タイムがあるようで、その間に記録して、パソコンを再起動してから次の点探しを始めた。まだまだ沢山見付けないといけないので、コンピューターに頑張ってもらってる。只今10時間くらい経過。勿論手を拱いている訳ではなく、待ってる間に色々やってはいるが。でさっき昔書いた論文に一箇所ミスがあることに気付いてしまった。例に挙げたものの符号が逆に成ってる。まあ正しい方にも整数解が無かったので問題無かったが。ミスのない物を書くのは大変だ。本や論文にミスがあるとつい文句を言いたくなるが、まあ寛容にしましょう。読む側にはいい修行の機会が与えられたということです。そう思わないとね。

今「報道ステーション」を見てるが、サッカーは色々荒れてるようだ。ドイツとオランダが予選リーグ初戦敗退らしい。が、一番荒れてるのは韓国。比較的楽な組だと言われてた予選リーグを勝ち上がれず敗退。空港での映像が流れていたが、ホン・ミョンボ監督に怒声、罵声が飛んでた。韓国は何でも激しい。サッカー協会に国が特別監査をすると訳の分からないことを言ってた。韓国は野球もサッカーも弱くなったね。日本では同じようなことには成らないかと思ったが、城がガム嚙んでて目茶目茶言われたし、野球では弱い当時のダイエーホークスの王監督に生卵が投げつけられてたり、「王 頼むからやめてくれ」という横断幕が出たりしてたな。Giants が最下位に成った年はどんな感じだったろうか？まだ子供だったので当時の記憶は無いので、もう一度最下位に成ってください。まあ今年は無理そうだが。

夜の10時過ぎの草津市内は27度もあった

やはり日曜の夜というか月曜の朝というかは変な時間まで起きている。今日も案の定だった。色々下らんことをやってるが、ちょっとその過程で Acta Arith. の頁を見てビックリした。昔は著者名の後に都市というか街というかの名前が書いてあった。小生だと Takaaki KAGAWA (Kusatsu) とか。が、fg 君の論文に (Matsue) と書いてなくてビックリした。調べたら2025年の論文から無くなっていた。何でやめたのだろう？昔は巻数をローマ数字で書いてて、小生2度載せてもらってるが、最初のが LXXXIII 号、2度目のが XCVI 号だった。読めないよね？というわけで100号からはアラビア数字にしてくれて助かった。調べるにも人の論文を引用するにも困るし、かと言って文献表に LXXXIII と書くのも何だし。どっちも単に面倒に成ったのかな？

で目が覚めたらもう1時半を過ぎてた。起きてパソコンを見ると、有理点が見付かっていた。10時間くらい掛かったようだ。もう一つ仕掛けて職場へ向けて出発。フォレストハウスの脇に停める所が一箇所あったので、そこに停めて、生協で弁当を買って食べて。で2時55分からゼミ。今日も有理点の勘定をする話。途中で指標だヤコビ和だと定義し、それを使って色々と。フェルマーの2平方和定理（と言うのか？）が副産物で証明出来たりして楽しい。今日は2回突っ込んだ。χ（TeX で \chi として出てくる奴）を「えっくす」と読んだので、「かい」と読むのだというのと、一箇所毎年気に成る所があって突っ込むと案の定だった。連立方程式を解くのに帰着出来るが、2次正方行列を使えばすぐなのを一生懸命上を何倍かして下から引いて、とやったそうだから、行列を使うとよい、と言っておく。彼らは高校で行列をやってなくて、大学で行列を習って、その後ちょっと線形代数（特に連立方程式の話など）と離れる時期があるだろうから、忘れるのも仕方ない。小生の頃は高校で行列を習っていたというと、彼の母親もそう言ってたそうだ。歳を聞くと54歳だそうだから、まあ行列やってる世代だな。小生より歳の若いのは最早気に成らない。A 堀先生が言ってたが、小生が来たばっかりの頃の学生の娘さんがうちの学科にいるそうだ。その学生は小生より10歳くらい若いので、さっき話題にした母親よりもっと若いことになる。もう定年退職が近付いてるのだ。歳のことは気にしない。月曜日はあと2回だ。平方剰余の章に入れるな。相互法則の証明は秋学期回しだろうが。有限素体上の曲線や曲面の有理点の勘定を使って証明する。最初聞いた時はひどく難しく感じたが、最近ちょっと慣れてきた。ガウス和をガチャガチャやって知らん間に証明出来てるという奴が予備知識が少なくていいので、講義ではそれを採用してるが、まあどれが本質的かはよく分からない。ガウスの証明を全部読んだわけではないし、後の証明（石井秀則先生に依るものもある）も殆ど読んでないので。金曜日のゼミでフロベニウス置換を使って円分体での素数の分解法則をやって、それの系として平方剰余の相互法則を示す、というのを暫くしたらやるようだから、楽しみにしておこう。5時ちょい前に終了。大体これくらいの時間に終わるな。6時15分までは部屋を抑えてあるが、まあ毎週やってくるから大変よね。

その後部屋でちょっと考え事。Mordell 方程式の整数解を求める話は結構長いことやってるが、最近に成って昔よりうまくいく方法が分かった。で幾つか TeX に起こしてとか memo.tex を直したりとかやってて、あっと言う間に6時。

普通は6時だから別にどうということは無いんだが、ここ最近1回生の講義を担当している先生方と意見交換している。評価を統一する、というのはどういうことなのか？という話がメイン。学科を二つのクラスに分けて、で成績の分布がクラスで異ならないようにする、という何だか酷く難しいことをリクエストされているが、そもそも片方のクラス（Aクラスとしよう）は出来がよくてもう片方（Bクラスとしよう）が悪い場合はどうするの？というので横槍が入ってる。A クラスと B クラスで同じ問題を用いて試験をして、で A クラスの方が B クラスより例えば平均点で10点くらい低いとしたら、A クラスのトップは B クラスだとそんなに上じゃない場合、A クラスのトップは A+ でええの？というのが我々の趣旨だが、「評価が偏らないようにしてくれ」と言われる。偏らないよう調整したら B クラスの学生から文句が出るのでは？ということで上層部と我々の話が平行線で、この前の会議の時に電気と物理の先生が謎なことを言っていて、いよいよ訳が分からなくなってきている。今年は小生でない方の K 先生が取り仕切ってくれてるが、来年度は正真正銘 K 川先生こと小生がやらないといけないので、ちゃんと論点を理解しておかないと。水曜日に OIC にある学部のお偉いさんとオンラインで会議するが、まあ収拾付かなくなるだろうな。覚悟しておかないと。忘れちゃいけないのがその後の講義。うっかり帰ったり教室行くのを忘れないようにしないと。まあここに書いてるのは忘れないよう自分に念押しする意味もあるのだが。7時20分過ぎに終了。

その後さっきの続き。前に一生懸命奇数だ偶数だと場合分けしたのがしなくて済むようになった。で Acta Arith. の LXXXIII 号に載った論文に書いてあるのを考えてみようか、と思って棚から別刷を探すが見付からない。まあ pdf ファイルがあるからそっちを開けばいいのだが。が、何やらまたしても大昔の紙が沢山出てきて、ばらしたりとかしてたら随分遅くなってしまった。キリが無いので水曜日に続きを。水曜日は会議が無いといいが。

あ、因みに LXXXIII は 83、XCVI は96です。

ガストでから好しの唐揚げを食べて帰宅。暑いな、と思って車の温度計を見ると、夜10時過ぎてるのに27度もある。住処に帰り着いた頃には24度に成ってたので、熱帯夜ではないだろうが、そろそろ覚悟しないといけないシーズンに成ってきた。東京が滅茶苦茶暑い年があったが、その日の東京は日の昇るちょっと前に29.8度だかまで下がって、最低気温30度は免れたが、最低気温30度の日にも何か名称を付ける日が来るかもな。思い返せばその日の東京の暑さくらいなのには今はしょっちゅう成るな。

今晩サッカーを見る人多いだろうな。さっきの打ち合わせの時も「サッカー見ますか？」という質問が出ていた。明日仕事のある人は大変だな。小生は火曜日は幸い用事が無いので、今晩は夜更かし出来る。4時50分からの会議に間に合うよう起きればいいので、呑みながら見られる。「くりぃむナンタラ」を見終えたらチャンネルを変えれば前半の最初から見られる。まあ期待はしないで見ましょ。

勝率が4割を切ってしまった…

昨日の晩も楽しかった。何でも3人くらいが適正人数だな。サッカーのブラジル戦の日程を皆うろ覚えだったが、今時は便利ですぐ調べられる。店長はサッカー部出身だから、ワールドカップに熱中しているらしい。で火曜深夜2時、と分かったが、この「火曜深夜」が30日（火）深夜2時なのか、30日深夜26時（つまり7月1日（水）深夜2時）なのかでしばし混乱していた。お二人とも水曜日は仕事がお休みなので、7月1日（水）深夜2時だと嬉しかったらしいが、仕事があっても30日の深夜に見ると言ってた。小生も火曜日は用事が無いから見ると思う。プロレスはいいや。

そう言えば日韓ワールドカップの時に、教授会の会場のテレビで、教授会の最中にも関わらず日本の試合を流していた。平場の我々がそっちを気にしていたのはまあ当然としても、雛壇にいるお偉いさん（後に学部長に成る人）がモニターをしょっちゅう覗いていたな。

で帰ってきてすぐダウンしたが、パソコンをちらっと見たら有理点はまだ見付かってなかった。途中用足しに起きたが、見付かっていたように見えた。しかし眠さに耐え切れずダウンした。数時間後に起きたら見付かってなかった。気のせいだったか。カップ麺の買い置きはあるが、まあ Uber Eats に麻婆丼を頼むか、ということにしていつもと違う店にしたが、地図を見るといつもの所。調べたら同じ店が3通りの名前を名乗っているようだ。来たのを見たらいつもと同じ器に同じ物が入っていて、餃子の箱もタレも同じ物だった。そうだったか。まあいいけど。

で野球が始まった。雨で3連戦の2試合が中止になって、今日勝てば勝ち越し？なのだろうか。今日の先発は石田裕太郎。石田の時は援護点があまりなく、しかも Giants の先発は Baystars 戦の今シーズンの成績が3勝0敗防御率0.46で、横浜スタジアムで6連勝の井上。これは苦戦か、と思ったら案の定で、石田は2点取られただけだが、例によって援護無し。8回に大勢から1点取ったが、そこまで。井上からは点を取れず、石田は Giants 戦のプロ入り後の初勝利はならなかった。今日は昼に Tigers が勝って Carp が負けて（Carp vs. Tigers だったから一方を書けば他方は自明だが）だったので、Giants を破ってれば Tigers が首位浮上、Baystars が4位復帰（昨日 Carp が勝ったので Baystars が5位に落ちていた）だったが。今日の負けで勝率が4割切ったそうだ。5割前後で推移していた筈だが4割か…。明後日は Carp と新潟でやって、1日空いて横浜で Carp と。連勝して4位に復帰しましょう。勝率も4割台にしないと。

不愉快に成ってパソコンを見たら、有理点が見付かっていた。28時間掛かった。まあ短い方だ。この前は1個に2週間掛かったからね。リブートしようかと思ったが、他にも色々途中の物があったのでしないで次の有理点探しを始めた。見付かった有理点の canonical height は430を超える物だったが、今度のは BSD 予想の下では221くらいだから、明日起きた時には見付かってると思う。何にしても効率が悪過ぎるな。もう少し何か考えないと。まあ他にも色々やってるので、全部一段落着いたらね。

床屋のテレビで MBS での野球中継を放送していたので、帰ってきて続きを見て、そのままチャンネルを変えず「ジョブチューンズ★」を見た

ABCの深夜番組は何やらよく分からない番組（何とかいうグループ達のライブに密着とかそんな興味無い番組）だったので、NHK で台風情報がやっておろうとチャンネルを合わせる。山梨を震源とする結構大きな地震もあったし、それら情報を毎時0分と30分からやっていた。関西に特化した情報も時々入るが、どうも聞いてる範囲では京都は大したことないのでは？という気がした。しかし昨日は京都でも相当雨が降ったようだし、滋賀では米原が大雨。琵琶湖線は米原から河瀬（だったか？）辺りまでを始発から運転見合わせ、と言ってた。まあよく分からないが、大丈夫そう。で情報を流したまま昨日考えたことの続きをやっていた。やはり単数を考えてないのは大間違いだった。それと冷静に考えると、あれとこれが互いに素であることを言ってない。で秘蔵の代数的整数論問題集を引っくり返すと、ある部分をコピペしたのか、同じ間違いが多発してる。全部直してたら結構時間を食って、昨日考えたことにちゃんと決着付けたらもう相当な時間だった。いかん、寝るぞ、と寝床へ。

それでもしばし YouTube を見たりしてたが、寝落ちした。で5時間くらい寝たろうか、腹が減ってるしもうええわ、と起きた。昨日書き忘れたが、職場に行く前に仕掛けた有理点探しは帰ってきたら終わっていて、深夜にも2つ有理点が見付かり、寝る前に仕掛けたやつも終わっていた。短いので2時間ちょい、長くても6時間くらいと、まだ我慢出来る。で腹ごしらえして表を見ると、もう台風は行った後のように静かだった。シャワーを浴びてすっきりしてから、床屋がやってるかどうか、予約で一杯だったりしないかと確認の電話を入れた。大丈夫らしい。3時半過ぎに住処を出て床屋へ向かう。床屋に着くと、Carp vs. Tigers がテレビで流れていた。広島はもう天気が回復していたか。亀山と能見が解説していたが、聞いたら4チャンネルらしい。最近4チャンネルにチャンネルを合わせた覚えが無い。「A-Studio＋」は毎週録画してるが、リアルタイムでは全然見てない。そうだったか。で切ってもらって、床屋を出る時は2－2という状況だったが、買い物をして帰ってテレビを付けたら Carp が1点リードの展開に成っていて、9回表。1死から走者が一人出て、さあどうなる、と思ったら三振ゲッツーであっさりゲームセット。まだ確認してないが、多分ゲームの無い Giants が単独トップに立ってしまったか。不愉快。明日の Tigers は高橋遥人らしいから勝つでしょう。関東は明日も天気が悪いようなことを言ってたから、Baystars vs. Giants は3試合とも中止かもな。Baystars の結果を気にしないでいいと気が楽だ。明日も中止でいいすよ。

でチャンネルが MBS に成ってるから、7時からの「ジョブチューン★」を久し振りに見ている。相変わらず商品のジャッジをやってて、今日の餌食はセブンイレブン。最初に「金のハンバーグ」をジャッジしてもらった時は満票で合格だったのに、何とこの前は全員不合格を出したらしい。今からそのハンバーグのジャッジをやるが、さあどうなる？卵サンドが格段に上手くなったとか、ガパオライスが美味しいと言ってたから、近い内に食べてみよう。卵サンドは呑んだ帰りに買ってきてもいいな。上首尾なら大きな宣伝に成るだろうが、料理人の遠慮ないダメ出しがあると逆効果だ。企業さんも大変だな。印象的だったのは3年目の社員の説明が完璧過ぎて、料理人が「内に欲しい」と言ってた。何でも勉強してちゃんと準備しないといけないよね。前にゼミの学生に「君の説明だったら僕商品買わんぞ」と言ってしまったことがあったが、まあそういうことだ。「こんな感じでよかろう」と思っていくと大抵袋叩きに成るのがゼミの怖い所。ちゃんとしましょう。

などと書いてしばし。金のハンバーグは全員から合格を貰えた。よかったね。ただこの前は10品中9品合格（金のハンバーグだけ不合格）だたが、今回は麺類が2品不合格。またリベンジですな。

どうどもいいことを二つ。台風が二つ来ていたので、ニュースで「ダブル台風」と言ってた。でどこかで聞いたフレーズ、と思ったら、仮面ライダーV3の主題歌では？と思って調べてみたらその通りだった。便利な時代だね。「赤い赤い 赤い仮面のV3 ダブルタイフーン命のベルト」が出だしった。結構子供の頃の記憶って確かだな。ただ2番が「青い青い 青い車のV3」だったことと3番が「白い白い 白いマフラーV3」だったのは忘れていた。けったいな歌詞やな、と思ったら、石ノ森章太郎先生が自ら作詞したようだ。意気込んでいたのだな。もう一つどうでもいい話。ゴチバトルの今年からのメンバーに佐野勇斗が加わったが、見覚えがあるがどこで見たか思い出せない。珍奇なキャラクターで滑り倒してるが、さっきふと思い出した。「マイダイアリー」という大学生5人を中心としたドラマで数学科の繊細な学生を演じていたのが彼では？と調べたらそうだった。うーん、落差激しい。あんなキャラだったか。びっくりだな。正直 M!LK は知らなかったし、「イイじゃん」という歌も佐野勇斗を知ったあと知った。印象的なフレーズがある曲だね。役者は実物との落差が激しいとちょっとがっかりするが、その典型例だな。まあどうでもいいけど。

ということでこれから呑みに行く。天気が回復したから客は結構いるかもな。Facebook を見たら昨日は結構客が来たようなことを書いてた。一区切りついたところだといいが。さっきセブンイレブンのトマトの味のパスタが不合格になってから、今日はアラビアータを食べて予習しておいてからセブンイレブンで買って美味しくないことを悟るか。ということで行きます。

POD版は初版第1刷をスキャンして作ってるのか？

研究ノートを探さないと、と思って始めたが、一向に埒が明かない。どうしてこんなに散らかったかな。夏休みに少し集中して掃除をするか、という気に成って終了。もう結構な時間だった。

で起きたらもう11時を大きく回っていた。有理点が見付かっていたので、記録する作業。3時間半くらいで見付かったようだ。で出掛ける前にもう一つ仕掛ける。帰ってきた頃には見付かってるといいけど。

で職場には12時半に成る前に着いたが、もう外で弁当は売ってなかった。今日は雨だからと、弁当屋はあまり作ってこなかった？知らんけど。リンクスクェアの売店に戻る気に成らなかったので、ファミリーマート（学内にある）で弁当を買った。ちょっと高かったな。温めようかと思ったが、ずぼらして食べ始める。やはり温めるべきだった。外でいつも売ってる弁当は作ってそこそこの時間だろうから、米粒が食べにくいということは無いが、ファミリーマートでは軽く冷蔵してあるので、ご飯を食べにくかった。まあいいです。

1時10分から「代数学I」。今日はまず U.F.D. である条件が「素元の積に分解出来て、既約元は全て素元」と同値であることを示したが、途中何回も引っ掛かった。昨日一生懸命研究してたので、講義ノートを見直さなかったのはいけない。その後は Z[X] が U.F.D. であることの証明だが、これも1か所引っ掛かった。いけないな。まあ学生は写す時間が出来てよかったろう。小生の講義が速いのは有名。で (2,X) が単項イデアルでないことも示して、これで P.I.D. でない U.F.D. の例が挙がったのでよし。でもう結構な時間に成ってた。学生は耳にタコだろうが、「この程度の証明で長いとかくそ長いと言ってはいけません」と言っておく。数年前の卒研で1ページ弱でくそ長いとか言ってたからね。一つの定理の証明は難しいのです。もうああまり時間が無かったので、整域の商体を定義して、体に含まれた環（整域に成る）だと商体を作るのは容易、と言っておいて、器が無くても商体が存在する旨言って、主張を書いて、でもう時間が無いので、こんな感じでやる、と言っておいて終了。疲れた。やはりちゃんと予習はしておかないと。

ちょっと休憩してゼミ。デデキントの判別定理の弱形の証明を完了させて、でフロベニウス置換がどうしたとかいう節に入る。学生がよく本の誤植のことを言っているが、小生の持っている方にはその誤植が無い。学生の持ってるのは POD 版だが、そっちの方が新しい筈。ああそうか、初版第1刷をスキャンして原版を作ったのか。だから誤植が思いっ切り復活してるんだな。今日の所は、K が Q の有限次ガロア拡大の時、一つ素数を固定した時にその上にある全ての素イデアルの集合にガロア群が推移的に作用する、で引っ掛かった。章と式番号が出てるが、当該の章には出てないし、別の章のその番号が振られている所を見ても分からない、という。幸いこの定理の証明は何度もゼミで聞かされてて、大学院向けの講義でも何回も喋ってるからすぐ分かった。Chinese remainder theorem の合同式で書いたバージョンを使う、という同業者はお馴染みの奴。まあそこを見ても分からなかったのは無理もない。納得してくれたようでよかった。その後分解群、惰性群、分解体、惰性体を定義して、フロベニウス置換を定義。どれも素イデアルを変えると共役なものに成るので、アーベル群だと易しいよ、と言っておく。で苦労したためかちょっと早目に終了。来週は S₃ 拡大では素イデアルが惰性することはないとか、分岐群とかやるようだ。難しいな。幸いフロベニウス置換を使って円分体での素数の分解法則とか平方剰余の相互法則の証明をやるようだから、使い方が分かっていいでしょう。石田信先生の本はイデアル類群が中々出てこないのが難点だ。藤崎先生の本は2章から始めるのがいいが、例が多過ぎて細かい、というのが難点。「数論序説」は代数体が中々出てこないのが難点。どれも帯に短し襷に長しだが、自分で本を書く気はないので、学生の様子を見てローテーションでやります。大学院に進学しない4回生には当分山崎隆雄さんの初等整数論の本でやるけど。

ちょっと気に成ったことがあったので、部屋でしばし考え事。何か単数が全然出てこないのが気持ち悪いが、合ってるんだろうか？自信が持てない。まあもうちょっと考えることにして、気分転換に紙をスキャンする作業。奥から奥から色々出てくるが、捨てるのもどうかと思うものが多いので、スキャンしてしまえば捨てても後ろめたくはない。ということで作業。一つは足立先生の論文で、早稲田の紀要か何かに載ったものらしく、MathSciNet に出てない。でスキャンが済んで、合体作業。見てみると足立先生の論文に「advices」という単語が出ているのが目についた。advice は不可算名詞なのだが。足立先生でも若い時はこういうミスをするか。よくやる間違いを挙げると、softwares も間違い。software も不可算なのでね。I'm looking forward to see you も間違い。I'm looking forward to seeing you ね。あ、もう一つ足立先生が間違えてること。torsion を「とーじょん」と発音されていて、ご著書にも「トージョン部分」と書いてたが、発音記号を見ればお分かりの通り「とーしょん」。何度かご注進申し上げた気がしたが、直される様子は無いので、まあこれ以上云々する気はないが、まあこういう所でこっそり書いたら同じか。で9時半くらいまで職場にいた。

今日も雨が強いので、高速道路経由で帰って、晩飯はカップ焼きそばにした。「報道ステーション」に依れば、サッカーの日本代表は引き分けで、決勝トーナメント進出だそうだ。よかった。が、次戦はブラジルが相手らしい。vs. ブラジルはこの前1勝したが、親善試合だったし、今回に比べると飛車角落ちみたいなメンバーだったそうだから、まあ厳しいかな。で見てるとセルジオ越後のインタビューが始まった。おぉ懐かしい。大分お年を召されたな。もう80歳らしい。でインタビューの続きを CM 明けに、と思ったら関東地方で結構大きい地震があったようだ。スタジオの映像も揺れていた。セルジオ越後が日本を応援するとか、生きてる間にベスト8に成って欲しいとか話してて、その続きが気に成るところだが、まあそれどころではないわな。関東は雨もかなり降りのようで、地盤が緩んでるだろうから、大きな被害になりかねない。大事に成りませんように。

雨は関東だけでなく、今日の野球は1軍が5試合の予定が1試合だけ、2軍は6試合の予定が1試合だけ。明日の関東の雨も相当なもののようだから、明日も横浜と神宮の試合は中止だな。ZOZOマリンもかな。神戸でも試合があるようだが、関西の天気も良くないようだし。まあ梅雨だ、仕方ない。明日は床屋に行こうと思っていたが、天気次第だな。来週と再来週は水曜日に職場に行かないといけない用事が2件ずつあるので、明日床屋へ行って、来週は映画を見て、とかしないと予定が潰せない。多少の雨なら我慢して床屋行こう。

経験したことが無いような雨降りの中を帰ってくるのは怖かった

色々やってて寝るのがどんどん遅くなる。木曜日は2時55分までに職場に行けばいいので、まあいいか、と毎週やってる。で5時を過ぎてしまって、「おはよう朝日です」が始まったが、昨日の甲子園での中止に成った試合で古川昌希アナの始球式が出来なかった話をしていた。これは6時まで起きて、古川アナの声を聞かねば、ということで6時過ぎまで起きてた。何してんだかという感じだが、まあいいです。

で起きたら1時半を過ぎていた。パソコンを見ると有理点が見付かっていた。この前までパラメーターが3万くらいのものをやっていたが、別のことを始めたので最近はパラメーターが数千程度。昨日の晩からやってるのは大体2時間ちょいで終わってる。ということで新しいのを仕掛けて出掛ける。

生協で弁当を買って食して、で2時50分くらいに講義室へ向けて出発。今日はまず双子素数がどうしたというお話（当然本当のお話）をちょっとやってから選手交代。でメルセンヌ素数が何だとかいう話。a が奇数の時に a^m－1 が偶数なのを示すのに a＝2k＋1 と置いて、とか始めたが、もたもたしてたので途中で突っ込んだ。a≡1 (mod 2) だよね、a^m≡1 (mod 2) だよね、と言ったら分かってくれてよかった。初等整数論やってるのに合同式を使えない学生は案外多い。数年前の学生が修論で似たようなことをやってたから、合同式を使うよう直させた。で結局 a^m－1 が素数であるためには a＝2 で m が素数でなければいけないこと、そしてそれが十分条件ではないことなどをやって、で大きな素数のリストが出ていたが、ここで持ちネタ。「今知られてる最高の素数って幾つだか知ってる？」と聞くと知らない。何か色々枝葉を調べてくるのが好きな学生がいるが、こういう一番そそる話題を調べてこない学生が多い。2008年とか2009年とかの結果が出てたら当然調べるよね、と思うんだが。で今日は難しい話があまり多くなかったので、3人目に突入。完全数の話。メルセンヌ素数から偶数の完全数がすぐ作れる話をして、で逆に偶数の完全数からメルセンヌ素数が自然に出てくる話をしてる最中にチャイム。95分は短い。残り2回。まああまり面白いことは出来ないよな。卒研でも今までみっちりやってまだ平方剰余に達してないから、1学年下の連中にそこまでやってというのは無理筋だ。秋学期は別の先生が対応する。別の本をやるかもしれないので、まあ初等整数論の入口をちょっと齧っただけに成ったが、まあいいです。もう少し深く、かつ違った切り口で初等整数論をやりたい人は小生の卒研を選んでくだされ。

ちょっと休憩してからゼミ。今日は ray class group の位数を求める話。整因子には無限素点が全部入っているという前提でやってるが、証明を見れば別に一部でも大丈夫だな。途中近似定理を非アルキメデスの場合とアルキメデスの場合両方使ったりしたので、大分苦労したようだ。例が一つ出てたが、基本単数のノルムが1の場合。演習問題にノルムが－1の場合が出てたが、そこまで予習出来なかったらしい。まあ難しい所だ。ゆっくりやりましょ。分かった気に成っていい加減なまま済ましておくのはよくないのでね。で早目に終了した。

ちょっと昨日の晩考えてたのの続きを考えよう、と昔書いた論文を引っくり返したが、何かよく分からない。「simlar proof works」みたいなことが書いてあるが、そうか？という感じ。ノートに書いて残したり TeX 化して電子的に残すときはギャップが残らないように書いてる（同じ議論が続く場合でも全部書いてる）が、論文だとくどいし読者を馬鹿にしてるように見えるからこういう書き方をしてしまうが、やはり後で見ると分からないように書いてるのは親切じゃないね。人間そんなに頭良くない。学生にもいつもそう言ってるが、実践してる人はそういないと思う。若い時でも数年前のを見直しても分からないことがあるのに、40代前半に書いたものを60近くに成って見直すのはキツイ。ちゃんと考えて徹底的にやろう、などとしている内にどんどん時間が過ぎていった。時計の上に紙が乗ってまたその上に紙が乗ってみたいなことに成ってたので、時間を気にしてなかったが、パソコンの時計が見えた時に9時半過ぎだったのはビックリした。キリのいい所までやって帰ろう、とかしてたら10時を過ぎてしまった。いかん。

で表に出ると、結構雨が降ってる。♪通りには6月の雨 心もぬかるみの中、というほど穏やかなものではなかったが、まあまだそれほどでも、と思って高速道路を走ってると、どんどん雨がきつくなってくる。前方の視界がそんなにクリアーじゃなく、車線もガードレールもよく見えない。前方車のライトが頼り。こんなに凄い雨降りは初めてかも。交通量が多くないので、安全に安全にということでそんなにスピードを出さずに走った。大津インターが近付いてきた頃には少し雨脚が弱まった。で住処に着いた時は結構弱かった。が、建物に入るとまた凄い勢いで降り出した。危なかった。明日はどうなのだろう？

Baystars はまた負けたようだ。序盤に3点取られたが1－3で負けたのを見ると、投手陣はまあ粘ったのだろう。満塁でお約束の宮崎の併殺打があったようだが、まあ仕方ない。宮崎は打球が速くて足が遅い。併殺打は出るよね。ただ宮崎の三振が増えてるのが気掛かり。三振が少ない打者だったが。まあいいです。明日は勝ってください。

明日は朝サッカーの日本の試合があるようだが、まあ起きないな。結果は後で見る。

2週間掛かって有理点が一個見付かったし、Baystars が勝ったので嬉しい

目が覚めたのは12時過ぎだったが、1時半近くまで中々起きられず、1時を暫く過ぎて漸く起きた。でパソコンを見ると有理点が見付かっている。流石 canonical height が460を超えてる点だけあってごつい。で整数点が無いことも分かった。整数点が無いことを示すのに2週間近く掛けて Modell－Weil 群を求めて、というのはいかにも大袈裟過ぎる。どうにかしたいとは思うが、考えてることが正しそうかどうかの確認なので、工夫するのはもう少し経ってからでいい。ということで久々にパソコンの電源を落として、職場へ向けて出発。

と言っても、昨日書いた通りはま寿司で食事がしたいので、一旦大学前の交差点を大学と反対の方に曲がった。今回の期間限定メニューは割と安めで、しかも一皿に二貫乗ってるので、腹いっぱい食べても2000円いかなかった。嬉しい。

で職場に3時くらいに着いて、少しボーっとしてから保健センターへ。3時15分くらいに行ったが、受付は3時半までなので、そんなに余裕は無かった。まあこの前は3時29分に着いたので、それよりはまし。まあまあの血圧だった。次は8月末。暑い中行くのは嫌だが仕方ない。

その後部屋でちょっと考え事をしていたが、何か同じ計算を何回もやって、それを全部 TeX 化しているが、勿体ない。共通に出来る部分は共通にして、場合分けする所は場合分けして、とやった方が分かり易いだろう、と考え始める。するとやってみるもんで、ちょっと面白いことが示せた。毎回同じことをやってると色々見えてくる。会議の時間に成ってしまったので、話を聞き聞き計算していたが、大丈夫そうだ。いや、会議に真面目に参加してないわけではない。凄く難しい話をしていて、特殊事情かと思っていた事象がそうではない、という話。こういう時に学科長が引き受けるという前例を作るのはやめた方がよい、というのはごもっとも。本人は友達かと思っていても、見下したような態度を取られてた方は全然友人と思ってなくて、何なら門前払いをお願いしたい、ということがあって、…。やめておこう、変なことを書きそうだ。まあ兎に角、人には誠実に接しておかないと、どこで足元を掬われるか分からない。日本テレビの女子アナの話だが、偉い人にはへいこらしていて、若手の AD とかスタッフにぞんざいに接していて、フリーに成って年月が経つとそのぞんざいに接した人達がお偉いさんに成って、干された、という話があった。局アナ時代は看板番組の総合司会を任されてたのに、最近全く見掛けない。いや、ネット情報だからどこまで本当か知らないが。気を付けましょう。その後また難しい話があった。一国一城の城主に成るのは大変なのです。小生の人生はツキだけで来ているのを改めて認識させられてしまう。まあやってますよ。6時45分くらいに終了。

ちょっと計算の最終確認をして、7時くらいに職場を後にした。来た時間が割と遅かったので、車をフォレストハウスの脇に停めよう、と思ったのだが、いっぱいで、仕方ないのでバックして通りに戻ってから、ウェストウィングの一番近くの身障者用スペースに停めてしまったが、こういうことをやると警告書がワイパーに挟まってることがある。今日もだろう、と思ったら大丈夫だった。雨の日は自転車に乗って見回ってる人が走り回らないのだろう。助かった。まあ身障者用のスペースは一箇所じゃないのでいいのでは？と思ってるがどうだろう。

7時過ぎだと高速道路は渋滞しないのが普通だが、今日は渋滞してた。それでも草津JCT－大津 5km だから大したことないけど。ドラッグストアに着いたのは7時45分くらい。8時までに受付すればいいので大丈夫だったが。で薬を待ってる間に衣類用洗剤やら飲食物（呑み物も1缶だけ買ったが、間違って無糖を買ってしまった）を購入。でお菓子の棚を見ると、「石油原料節約パッケージ」という例の2色刷りのかっぱえびせんが売ってたので買った。ホルムズ海峡のことが片付かなかったり、片付いても石油類の値段が落ち着かなければ当分このままだろう。物珍しいと思ってるのはいまだけかもな。でなか卯で食事。親子丼と鰻のあいがけに成った奴にはやはり牛丼の肉は乗ってなかった。この前の調理の人が間違えたんだな。

8時半くらいに帰宅。野球の経過をそれまで見ていなかったが、テレビを付けて見ると5－3でリードしてる状況。中川虎大が投げてたが、サノーにソロホームランを打たれて1点取られたところだったようだ。そこは何とか抑えた。見ると5－0から3点取られたようだ。む。9回表にヒュンメルにソロホームランが出て6－3にしたが、9回裏に康晃がサノーに一発（今日2本目）食らって、更に走者を出したが、内野ゴロと三振で抑え切って勝利。4連敗でストップ。昨日までの10試合の結果が1勝9敗とか寝惚けたことを言ってたが、まあよかった。東が勝ち投手で6勝目。牧がホームランを打ったようだが、ヒーローインタビューで曰く「去年までなら入ってないんで」なので、やはりホームランテラスを付けて球場を狭くしたのは Dragons に悪い方向に働いてるな。まあよかった。

その後計算したものを確認したが、大丈夫そうだ。今から TeX 化する。同じようなことをごちゃごちゃーっとやってる（これは数年前の院生の口癖）のを一本化するから、少しよくなるだろう。論文に出来るかもな。まあもう少しやるけど。今計算してる奴は場合によっては没かもしれないが、まあいいです。今年は定期試験をやらないから問題作りも無く束を相手に採点することは無い（レポートをやる科目はオンライン提出）ので、少し時間があるのでやります。

入江が相変わらずの体たらく。Carp が負けたので5位転落は免れた。

昨晩は呑み呑み考えていたことの続き。やはり前に論文で書いたのの別証明がやはり出来た。まあ本質的なことは変わってないんだが。ただ呑むとやはりおかしなことをするもので、途中4、つまり2²で割るところを間違えて4²で割ってしまった。何か4と2乗が頭にあったのだと思う。やり直してみると前にやったのと同じのが出てきて、やはりそうだよな、という感じだった。

でそこで気付いた。今日は資源ゴミの日やないかい。呑んでたアルミ缶と書き散らかした紙とたまっている段ボールをゴミ捨て場に持っていく。数往復した。住んでるのは2階だから、往復は全て階段で。3階だとエレベーターを使いたくなるが、2階ならね。ということで多少歳とっても足腰はそんなに弱らないだろうと思う。あ、3階の講義は階段で昇り降りしてるよ。

で知らん間に寝てた。テレビの音声が聞こえてきたが、起き上がる気がしないので、そのまま夕刻まで寝てた。電気はリモコンで消せるので消したが。でもう野球の時間に成ってた。もう2回裏だったが、入江は今日も良くない。見る前の1回裏に満塁のピンチを作ったが、何とか無失点で抑えたようで、2回裏も満塁のピンチを抑えた。球数が多い。するとやはりかという感じで、3回裏に細川にソロホームランを打たれた。それでも監督は期待してるのか続投させて、解説の英智氏曰く立ち直ってきたかと思ったら、5回裏にサノー（佐野じゃないよ）に2ランホームランを打たれる。6回表に勝又に2号ホームランが飛び出し1点返すも、6回裏に福永にタイムリーヒットを打たれ、1死後四球で走者を出したところで交代。やむなし。代わったマルセリーノが高橋周平に投手強襲の内野安打を打たれもう1失点。マルセリーノのグラブに当たって打球の方向が変わり、2塁ベース方面に走っていたショートの逆を突く形に成ってしまったが、英智氏曰く内野の守備なりなんなりを確認しておけばグラブは出さなかっただろうと。まあ余計な失点だったな。7回表に代打筒香がタイムリー2ベースで1点返したが、そこまで。若手の松尾と宮下が3安打ずつ打ったのが今日の光明。幸い Carp が負けてくれので、5位転落は防いだ。が、Carp が負けたというのは Giants が勝ったという不愉快なことは起こってるわけだが。Tigers が負けてまた首位で2チーム並んだ。明日は Baystars と Carp が勝つのが理想。今日は岐阜の長良川球場だったが、明日、明後日はバンテリンドームで。台風云々言ってるが、ドームなら。いや、前に台風のせいでバンテリンドーム（当時はナゴヤドームと言った）での試合が中止に成ったことがあったな。チームも観客も安全に移動出来ないということだった。東京ドームでも台風中止があったが、あそこはエアドームで天井がふわふわだからな。吊るしてあるスピーカーとカメラが落ちかねない。まあブライアントの打球が直撃しても落ちなかったから、ちゃんと固定はしてあるんだろうけど。

先週保健センターに行くのをすっかり忘れてたので、明日は行かないと。伊東先生の時は月一だったので忘れないが、伊東先生から小林先生に代わって2月に1回に成ったからつい忘れてしまう。4月に行った時は診察終了のギリギリに滑り込んだから、明日はちょっと早目に行かないと。はま寿司で九州フェアだかなんかがやってて、この前鰹を食べ損ねたから、はま寿司に寄るくらいの余裕を持って出ればいいだろう。会議もあると案内が来てた。職場に行く日にオンラインの会議は勿体ない。ドラッグストアに寄れるくらいの時間で終わりますように。

吉井監督が漸く Eagles で初勝利

またなんだかんだと遅くまで起きてた。で今朝は起きたらもう1時くらいだった。まあ2時55分開始のゼミには余裕で間に合うが。起きるか起きないかのところで電話がブルブルしてる。見ると管理人さんから電話。今日の理事会は中止だと言ってた。理由はよく聞き取れなかったが。で1時半過ぎに住処を出て、生協で弁当を買って食してからウェストウィングに向かう。

今日のゼミは原始根の続きをちょっとやってから、有限体（素体だが）上の曲線、曲面の有理点を数える話。今日は初歩的なことだけだが、ヤコビ和が出てくると難しくなるだろう。今日も例年通りのことが起きた。点を数えるのに易しい場合でまずやって、それとの間に全単射を作って、という話だが、(x,y)\mapsto(ax－by,bx＋ay) と言う形で与えられていて、逆対応が書いてあって、で合成を両方やってほら逆写像だ、というのを毎年皆正直に（悪い言葉だが馬鹿正直に、と言った方がよい）やるが、これを行列で書いてしまえば逆対応はただ単に逆行列で与えられてるだけ。ということで皆毎年 AA^－1＝A^－1A＝E₂ を計算しているだけ。言われて、あーっ！となる学生は一定数いる。2次正方行列の逆行列の式を忘れている学生も一定数いるが。ということで5時くらいに終了。

上に書いた通り帰らなくてよくなったので、ちょっと考え事。ゼミ中にメモ用紙に使ってた紙を見たら、何やら奇数だ偶数だと場合分けしている所を見て、あ、奇数に成ることないじゃん、と横浜弁で気付いた。トレースが奇数の単数を持つ二次体は Q(√m)、m≡5 (mod 8) の形でなければいけない。もう空気のように分かっているつもりでいたが、情けない。敗北感。ということで USB メモリーを取り出して、.tex ファイルを直して、とかやったら memo.tex という長いファイル（メモの域を超えてる）が2ページも短くなった。でついでだから前から気に成っていたこと（随分前に出ている論文で示されていること）を考えてみたらすぐ出来た。何かこういうのをやってると前進してない気がするが、まあ昔の証明方法では示せないことが幾つも示せたのでいいです。論文にするとしたらもっと整理しないといけないな。同じことが繰り返されてるだけだ。どれか一個をちゃんと示して、他は「同様に示せる」とでも書いておけばいいだろう。普段はそういうことはやらずにきっちり全部書いて、ギャップを埋めたものを TeX 化するんだが、論文を読むのは頭のいい人ばかりだろうからギャップがあってもいいだろうし、何より英語が書けないので、適当に誤魔化すしかないんだが。この前まで格闘していた論文の referee は英語も直してくれて、こちらの言いたいことの素晴らしい文章を考えてくれた。どういう人が referee に成るかは大事だな。で何だかんだと9時過ぎまで職場にいた。理事会があったら6時には出ないといけなかったから、捗ってよかった。

久し振りに松屋と松のやの一緒に成った所でトンカツを食べよう、ということで、いつもと同じロースカツに海老フライが1尾付いてる奴をご飯少な目で頼む。で出来上がって席に運んだら異変に気付いた。トンカツにキャベツが大量に付いているのに、なおサラダの小皿が乗ってる。これは違うぞ、と返しに行く。店員さんが間違えたようだ。無料でサラダなら食べてしまえばいいものを、と思われるかもしれないが、ご飯を小盛にするくらいの胃袋の余裕しかないのに加えてサラダはちょっと食えない。返しておいて正解。で食べ終わってお茶を入れに行くと、数年前にうちの学科の人事の手伝いをしてくれた建築の先生がもう一方と話をしておられるのが目に入った。すぐには向こうは気付かなかったようだが、気付いてくれた。若い先生だが今は執行部の一員。遅くまで仕事だったんだろうか？ご苦労様です。小生も遅くまでいたが、動き出しが遅いし、気に成ったことを計算したり考えたりするのは仕事の内ではないので、別段大変ではない。その先生の役職は1年任期だったな。若い先生がやらされることが多い。小生が来る前には石井先生がその仕事をやっていたそうだし、前の学部長は小生が来た年はその仕事をやっておられた。小生が来た後もうちの学科からお二方歴任されている。大変な仕事のようだ。小生は幸いやらずに済んでるし、もうさせられることもないだろう。

帰りの国道一号はすいていたが、途中焦ったのは、瀬田川大橋を渡り切った辺りで前の車がウィンカーの左の方を点滅させ始めた。いや、こんな所曲がれないぞ、と思ったら、今度はハザードランプを点滅させ始め、停車した。焦った。幸い対向車線は車がいなかったから、右ウィンカーを光らせて追い抜いて、すぐ左ウィンカーを出した。教習所でそうやれと教わったからね。後ろの車に異変を知らせるにはちゃんとウィンカーを光らせないと。大学から国道一号に向かってる最中に変な所で路線バスが右ウィンカーを出したことがあったが、それも追い抜きたくてやったことで、流石はバスの運転手、と感心したのを覚えている。まあちょっと焦ったが、こういう初心に戻らせてくれることがたまにはあるといいです。

10時半くらいに帰宅。暫くしたら「報道ステーション」はスポーツコーナーに成ったが、当然だがサッカーのワールドカップの話が中心。日本の野球は今日は1試合だけあって、Eagles vs. Lions。同点で12回裏2アウトというシーンから始まったが、これは Eagles が勝ったということか、それとも引き分けで勝てなかったというオチか、と思って見てたら、黒川がサヨナラヒットを打った、という結末だった。吉井監督初勝利。まあよかった。5位 Marines が貯金2、最下位 Eagles は借金18と、10ゲームも離れてる。最下位脱出は多分絶望的だろうが、近鉄時代から応援してる吉井監督には頑張って欲しい。Eagles のオーナーは堪え性が無くて、1年もしくはそれ未満で監督が交代させれている場合が多い。吉井は頑張って Eagles 初の長期政権を是非。

高橋遥人に開幕9連勝を許し、気付けば5位 Carp とゲーム差無しに

昨晩はふなごやの手前で二人組とすれ違ったが、店長によると小生と入れ違いで帰っていかれたタイミングだったようだ。でしばし雑談をしていると、6人組が入ってきた。店長の高校の同級生らしく、滅茶苦茶盛り上がってた。一人はよく来る人で、小生の正体も知ってる。で巻き込まれて、大分話した。終電に間に合うよう皆帰っていかれた。でいつもは来るバイトの人が来なかった。今日は娘さんが孫を連れてきてるらしい。ということで店長とさしでワイン。男二人だと違う盛り上がり方をする。男は皆プライドを持って生きている。そういう内容。深い話が出来たろうか？大分酔ってたから途中から覚えてないが。支払いをしたのも覚えてない。が、セブンイレブンに寄った時のことは覚えてる。いつも深夜なのに女の人が一人でレジに立ってるが、いいんですか？ということを聞いた。あまりよくないようなことを言ってた。起きてみると水が空に成っていたが、飲み干したんだろうか？それは覚えてない。

でサッカーで日本が先制されている、苦戦している、という夢を見たが、目が覚めると1時を過ぎていたので、急いで起きて NHK BS にチャンネルを合わせる。前半の途中だが、1－0という状況。見始めて暫くするともう1点取って、更に後半にも2点取って、圧勝。チュニジアは2戦続けての大敗で、もう予選リーグでの敗退が決まったらしい。日本は次の試合に勝つか引き分けるかで決勝トーナメントへの進出が決まるとか。初戦の引き分けは大きかったね。

でウダウダと無駄に時間を使ってたら、あっと言う間に野球の時間。今日は尾形がセ・リーグ相手の初登板。3回に2四球でピンチを作り、大山、高寺にれんぞくタイムリーを打たれ2失点。それ以外は良かっただけに勿体なかった。Tigers は高橋遥人で、全然打てる気がしない。ゲーム中に防御率が0.99まで下がったが、7回に Tigers がまずい守備なのでチャンスをくれて、宮下の内野ゴロの間に1点取ったが、それだけ。結局高橋にシーズン5完投目を許し敗戦。高橋は開幕から9連勝で、1985年（昭和60年）の中田良弘の12連勝以来の記録。ただ、この時の中田のことはよく覚えてるが、大体5回4失点とかいう程度で引っ込んでいたが、この年の阪神は異常な強さを見せていた年だったので、引っ込むと味方が逆転してくれて勝ちが転がり込むという内容。規定投球回数に足りて防御率ランキングに名を見せるも、1日か2日で規定投球回を割ってまたランキングから消える、という感じだった。最終的には規定投球回数に足りなかった筈。確か中田はプロ入りから18連勝だかという凄い結果を残してるが、それも当時の Tigers 打線のお陰だった。高橋は凄いよ。今日の1失点で防御率は1.06、5完投でうち4つが完封という凄さ。どうせなら防御率0点台を叩き出して欲しい。まあそしたら Tigers は優勝してしまうだろうが。

今日の昼に Giants が Dragons に大逆転負けを食らって、Tigers が単独首位に成った。Giants が首位じゃなくなったのは喜ばしいことだが、Baystars が5位 Carp とのゲーム差無しに成ってしまった。むぅ。明後日から Dragons との3連戦だが、Dragons とのゲーム差は3。もしかすると最下位転落もあり得る。勝たないと。

有理点探しは1週間以上経過するが、結果はまだ出てない。Analytic rank が1だからあるのは確実。凄い定理のお陰でこういうことが分かるのは嬉しい。で一生懸命点探しをしている時に ш の位数が25という凄いのを見付けた、と思ったが、和田秀男先生のお弟子さんが書いた論文を見てたら、ш の位数が 40² というとんでもないのが出てた。ш の位数が幾らでも大きく成る、という結果はある（30年近く前に香川大で開かれた研究集会で青木昇先生が話しておられたのを覚えてる）が、人工的な作り方じゃなくても例が見付かってしまうのは面白いと思うがいかがだろうか？ш の位数が25のやつは 2-part は trivial なので、原理的には階数は 2-descent で求まる。実際生成元の height はそんなに大きくなかったので、短時間で求まった。今探してるのは BSD 予想の下では生成元の height が460くらいというとんでもない奴なので、暫く見付からないな。まあコンピューターを走らせてるだけなんで、何の苦労も無いが。Windows update のせいでリブートされてなかったらもう求まってるかもな、という気はするが。ということでまだ暫く待ちます。

雨の中を外出するのは久し振り（横浜スタジアムの野球は中止）

結局昨晩は冷蔵庫に一缶鎮座していた酒を呑んでしまったが、まあ500ccの氷結レモン（アルコール度数5%）なので大したことない、と思ったが、やはり寝不足だったからか、ダウンしてしまった。で今朝は10時くらいまで寝ていたが、途中変な時間に目覚まし時計（スマホのアラームではない）が鳴って起こされたりと、眠りは浅い。11時くらいに出掛けないといけないので、起きたが。外は雨。こんだけちゃんと降る中を外出したのは久し振りだ。途中ジハンピアプリの使える自販機でお茶を買ったが、その間にザーザー降りに成ってた。ちょっと歩いたら弱まったが。今日の用事は随分時間が掛かった。帰ってきたら1時近く。勿論我慢出来なくて食事してきたけど。なか卯で親子丼と鰻のあいがけ丼を注文したが、何故か牛丼の肉と玉ねぎまで乗ってた。メニューにはそんなものは無かったので、調理する人が血迷ったのか？まあ同じ値段で三つの味を楽しめたのでいいです。

帰ってきてから「ポツンと一軒家」の再放送がやっているので見たり、録画しておいた「英雄たちの選択」を見て荒木村重について理解を深めたりとか。でちょっと数学をしようか、と思ってパソコンの画面を見ながら考えたが、何かおかしい。6n＋2 って書いてる所は 6n＋1 の間違い。それのせいで何か所もおかしくなってる。本当に 6n＋1 でいいのか？ともう一度考えたり、色々書き足して TeX 化したりとかで、随分時間を食った。ついでに気に成っていたことを考えたいが、何か面倒。ということでひたすらマインスイーパー猿に成っていた。飽きたな。

野球はやるのか？と思って見たら、横浜スタジアムの試合は中止に成ってた。ということで、池上彰氏の番組を見てるが面白いな。国家について知らないことが多い。日本は小さい国だと皆思ってるが、メルカトル図法で描かれた地図を見てるせいで、グリーンランドって案外小さい、と分かってビックリした。面白いな。知らないことがいっぱいある。最後まで見たいが、呑みに行く前にシャワーを浴びて髭を剃って身だしなみを整えていかないと。午前中の用事は多少みっともなくても構わないと思っていたので別に気にしなかったが、まあ呑みに行くのに格好をつける必要は無いが、念のためね。8時半くらいには見るのをやめよう。あ、この前保険の外交員から貰った饂飩を持っていくのだった。忘れないようにしないと。まあここに書いて思い出したから大丈夫だな。よし。

昨日も書いたが、明日は昼に日本のサッカーの試合がある。店長はサッカー好きだから今日は早目に帰らされるかもしれないな。まあそうでもいいけど。野球はナイターだから、小生のように野球を見られればよい人は昼は起きられなくてもいいでしょう。ということで今晩も楽しく阿呆のように呑む予定。もう少しテレビを見てからシャワーを浴びて髭を剃って行きます。

リーグ戦再開の初戦は Tigers に惨敗したが、Giants が首位から滑り落ちたのでいいです。

早く寝ないといけないのに、乗法合同とか Strahl とか予想以上に分かってないことが分かって、考え始めてしまった。ああでもないこうでもないとやって、大体思っていた通りに成ってることが分かるまで結構掛かった。その過程で数冊見たが、何かどれも色々おかしい。いや、おかしくなくても分からないように書いてる？と言いたくなるくらいの書きっぷりの物もあった。結構ちゃんと整理したので、もう大丈夫だ。今の学生が聞いてくることもあるだろうが、堪えられるようにはした。来年度以降も類体論を勉強させることはあろうが、その時にはちゃんと思い出せるように TeX 化して、とかやってたらもう結構な時間だった。寝ないと。

で起きたのは10時半過ぎ。少々寝不足だが、まあいいか、と。うな松のクーポンがあるので、職場に行く前に寄って、名物一本鰻を200円引きで食べてきた。満足。うな松の唯一の欠点は駐車場が狭いこと。今日は11時半を過ぎていて、結構停まってた。が、頑張って後ろ向きで駐車したので、出る時はスムーズにいってよかった。

寝不足で腹も膨れたからか、職場に着いて暫く何もする気がわかず、ボーっとしていた。ちょっと大貧民はやったが。1時を過ぎていたので、講義室に向かう。

「代数学I」の出席者が少ないのは毎度のことだが、今日は何かいつもより少ない気がした。気にせず少し話して、レギュラーメンバーの内の数名がいることを確認した（全員いたかもしれないが）ので、レポートを出題した旨言っておいた。伝わったでしょうか？今のところ学生からの問い合わせメールが無いので、大丈夫なのかな。今日は Q 上の多項式の既約性が主題。原始多項式だとか内容（容量）だとかについて細々とやって、で Z 上の多項式が Z 上で既約だったら Q まで行っても既約とか示して、Eisenstein の既約性判定とその適用例（素数次の円分多項式の既約性とか）など。で時計を見るともうほぼ終わりの時間。Z[X] が U.F.D. であることを示すと言っておいて、主張だけ書いておいたら時間に成った。

講義が終わってウェストウィングに向かうと、毎週 S 先生に会う。2時55分からのコマに講義があるということだな。今日は隣の部屋の F 家先生ともすれ違った。先週見掛けたが、やはり講義あるのだろうな。小生は2時55分からゼミ。先週は2が判別式の仮因子である3次体（デデキントの例）で2が完全分解することの証明が中途半端な所で終わっていたが、まず無事に完了した。藤崎先生の本に書いてある例を読んできて、それをなぞっていた。うん、まあ出来たのでいいでしょう。SageMath や PARI/GP だとどんなイデアルでも素イデアル分解してくれるから、アルゴリズムは確立しているのだろう。一度勉強したいが、中々時間がとれない。Cohen の本を見ればいいのだと思うので、時間が出来たら（もしくは定年退職したら）見ておく。その後デデキントの判別定理の弱いバージョンの節に入る。弱いバージョン、というのは、共役差積をやってないので、p が分岐する（即ち p  の上の素イデアルのどれかが分岐する）のと p が判別式を割り切ることが同値なことを証明する。多元環を使ってウダウダやるが、前に代数体の判別式をやった時の議論とよく似てるので、まああまり真面目に聞いてなくても大丈夫、ということで適当に聞いて適当に茶々を入れておいた。で定理の証明の前で力尽きたそうだ。まあ教員採用試験を受けたのだから疲れたろう。あまり上首尾とはいかなかったようだが、M1 だしな。M2 の時も受けられるんだと思うがどうなんだろう？いかんせん受けたことが無いから知らない。ま、少しホッとしてください。ということで5時45分くらいには終了した。

ゼミ中にメモ用紙に使っていた裏紙を見たら、何やら奇素数と仮定して証明してる命題があったが、別に奇素数じゃくていいのでは？と気に成って個研室に戻ってから少しチマチマやったが、どうなんだろう？と思って pdf ファイルを開いてみたら、何ともう一般の素数で大丈夫だと示していた。何だ、無駄な時間を使った。見ると内職中に考えたのよりうまいことをやってた。まあ無駄なことをやるのも大事なんで。でついでだから色々見直してみた。ちょっと自明なミスがあったり、何だかぐちゃぐちゃやってるがもっとスマートにいくぞ、という所があったりで、結構時間を使った。あっと言う間に9時を過ぎてた。まあずっとやってたわけではなく、部屋を多少ひっくり返したりはしたが。で間抜けなことが一つ発覚した。原啓介さんの著書「測度の考え方」を買ってきてうちで見たら既に買ってあって、一冊は職場に置いておいたのだが、何ともう一冊出てきた。うーん。学生のいる部屋に寄付だな。他にも講義で使ったテキストの版の古いのとか色々出てきた。資料室（という名の物置部屋）に数冊移動させて、で帰宅。

すき家でビビンバ牛丼を食べてきた。JAF Mate に付いてた50円引き券を使ったので、昼に200円、夜50円得をした。すき家は高いとは言ってもココ壱番屋や天下一品に比べるとましだ。吉野家の割引券もあるので、次は吉野家にしよう。

ゼミが終わって暫くして野球の様子を見たら、1回表に5点取られてる。…。石田裕太郎は今まで内容はよかったのだが、今日は崩れたか。まあそういうこともあります。暫くして見たら3点取り返してたが、また暫くして見たら大量リードされてた。まあ今日は Giants が首位から陥落したのでいいです。明日明後日は連勝で、Giants が負けてくれればいいので、期待しましょう。

今日の野球の話題は Fighters が Hawks に9戦目で今シーズン初勝利したこと。それと Eagles の吉井監督の船出。相手はよりによって去年まで監督をしてた Marines。先制したようだが、結果は Eagles の負け。これで Marines は貯金1だが、何とパ・リーグ5位。交流戦でセ・リーグのチームから Eagles 以外のパ・リーグのチームが勝ち星を荒稼ぎした結果。もう交流戦は忘れましょ。セ・リーグ相手だと Giants は弱い筈。Baystars は交流戦前はずっと5割をちょい割るくらいで推移していた。どうにかなるでしょう。明日、明後日は何故か試合開始が6時15分のようだ。何があるのだろう？デーゲームじゃないのは暑さ対策かな。日曜日の日本のサッカーの試合は昼1時キックオフらしいので、サッカーと野球を両方見られる。まあ明日の呑み方次第だけど。最近金曜の晩も呑んでしまうことが多いが、明日は昼前に近所で用事があるので、やめておこう。いや、火曜日に呑んだ時に一缶呑まないでダウンしてしまったのであるが、どうしよう？まあいいや、今後の成り行き次第ということで。

天下一品の拉麺は高くなって量が減った気がする

昨晩はその後岡崎体育の曲を聴くのに一苦労。歌詞が出ているページから聴けるのかとクリックしたら、Amazon Music Unlimited とかいうのと契約する羽目に成った。まあ4か月無料なのでいいです。無料期間にたまに聴くか、と思わないでもないが、小生は CD を買って聴くという時代遅れなことをやってるので、まあ聴かないな。住処にいる時は大抵テレビが付いてるし、職場では無音で勉強なる雑用なりしてるから。でその曲は「季節の報せ」というタイトルで、いい感じの曲。テンポが良くて、言葉も聞き取りやすい。いや聞き取れなかったのでは？と言われるだろうが、歌詞を見ながら聴いたんでね。「微睡む」とか「象る」とか難しい言葉を使ってるから、歌詞を見ながらでないと分からないな。うん、まあ、何でもカタカナ語にしたり漢字を使わなくなったり（「子ども」とか「り災」とかやめた方がいいと思う）に比べたら、まあいいかな、と。

で寝たが、起きたら1時を過ぎてた。まあシャワーを浴びて行っても弁当を買って食べるくらいの余裕はある。で生協にもウェストウィングにも割と近い所に停めて、弁当を買って食堂の脇のスペースで食して、ちょっと時間潰しをして講義室へ。

今日の「数理科学セミナー」はお話が多かった。最初は mod 4 で3と合同な素数の無限性とかあったが、mod 4 で1と合同な素数は第1補充法則をやるまで証明出来ないだろうし、残りの回数でそこまで行くとは思えないので、まあ無理か。で算術級数定理の主張が出ていたが示せるわけもなく、紹介してくれただけ。で次の章は素数定理の主張が出ているが、勿論証明できない。ただ学生はそれじゃ面白くなかったか、Li(s) を使った同値な言い換えとか色々調べてきてた。ただ後で考えると、π(x) と x/log x の比が1に収束する、という主張の前に「発散のスピード」ということについて書いてあったが、学生は何もそれについては言わなかった。「発散のスピード」というのは目茶目茶大事なのだが、解析の勉強をちゃんとしてないか？まあいいけど。

ちょっと休憩を挟んでゼミ。二人の学生が相手だが、一人が体調不良で休むことがよくある。二人だと隘路に嵌って、どっちも冷静さを欠いてグダグダになる、ということが多いが、三人いるとどうにかなる。今日はどうでしょう？と思ったら、案の定トラブった。二次体の狭義類数の話で小生が立ち往生するのは何とも情けない。実二次体で論文を沢山書いてるんだが。降参して個研室に本を取りに行って数冊見繕ってきたが、高木貞治「初等整数論講義」がどこにあるか分からない。まあいいか、と河田先生の本と小野先生の本とを持っていく。で後者はコホモロジーがどうしたとかよく分からないので前者を見たが、そうかこういう方針だったか、と当たり前のようなことが書いてあるのにびっくりし、それを参考にして、そこそこ時間を使ったがどうにかなった。√d が総正でないのを学生が使っていたのは変なんじゃ？と思ったが、それでよかった。うん、もう大丈夫。でもう8時近かったので、学生の側から終了を宣言してくれた。やはり三人いた方がいいな。月曜日のゼミはデフォルトで学生1名なのだが、この前も下らんことで学生も小生もてんぱった。もう一人いて冷静でいてくれたらどうにかなったろうという気がする。来週は三人でやれますように。

で部屋で作業をしようと思って鞄から筆箱を出そうと思ったら無い。「数理科学セミナー」が終わった後、テキストとメモ用紙を入れた袋を車に置いてきたが、筆箱をそっちに入れてしまったらしい。USB メモリーが無いと作業出来ない。紙をスキャンするにはコピー機に USB メモリーを刺す必要があるし、困った。仕方ないのでさっきの狭義類数のことをきっちりとギャップが無い形で紙に書き出しておいた。ちゃんと復元出来たし、来年度以降同じことが何度か出てきても大丈夫だ。まあこういうことを繰り返して段々定着していくんで、行きつ戻りつするのは悪いことではない。58歳に成ってこの体たらくはちょっと人には見せられないが。って書いてるがな。

することが無いので、少し早目に職場を出た。天下一品の山科店が3月いっぱいで無くなったので、天下一品に行こう、ということで一路膳所を目指す。が、ここから幾つかついてないことが。天下一品では注文がタブレットでやるようになっていたが、タブレットが不調で席を移らないといけなくて、で前より丼が小さくなった気がしたが値段は1190円と高くなってる。まあいいけど。でガソリンが底を突きそうなのでガソリンスタンドへ入ると、いつも給油している所に車がいたので、隣の隣（左に給油口があるので、隣では駄目）に入れようと思ったら、対面から車が入ってきて、もぅ。最初の所が空いていたので、バックで戻ろうとすると、ガソリンスタンドに入ってくる車があって、しばし判断に困る。でまあ何とか入れたけど、出る時にいつもは国道1号と直交している道路に出るのだが、今日は国道1号に出よう、としたら、信号のタイミング等で少々立ち往生してたら、左を見ると歩道の上で自転車の乗り手が「邪魔やないかい」というような目で見ていた。何か色々嫌だった。いや、事故は起こさず無事に帰り着いたからいいけどさ。

ウェストウィングの1階の自販機の内の最も新しいやつで Coke ON アプリが使えるように成ってた。新500円玉は使えるが、札を入れる口がそもそも無いという困った販売機だったが、これで使い勝手が少しはよくなった。3台並んでるが、1台は新1000円札は使えるものの新500円玉が使えないという中途半端な機械、もう一台は新500円玉も新1000円札も使えないという困ったちゃん。新1000円札の使える機械はしょっちゅう釣銭の100円玉が切れてるが、両替目的で使ってる人がいるということなのだろう。あ、新1000円札の使える機械は Pay Pay 払いに対応してるが、いや、新1000円札の使えない販売機こそ Pay Pay 対応にしてもらわないと。Coke ON が使える機械が出来てよかった。明日の講義の前はその販売機でアクエリアスを買う。明日の講義は1時10分からだから、今日はそこそこの時間に寝ておかないと。今日目が覚めた時間まで寝ていたのでは休講に成ってしまう。気を付けよう。

今たまたま「数論序説」が目に入ったので改めて見たら、ちゃんと類数と狭義類数のことがちゃんと出ていた。コホモロジーなんて使ってないし、何なら二次体以外にも適用できる証明のようだ。読んでみよう。TeX 化する時はそっちだけでなく二次体限定の証明も載せておく。下手な証明も上手い証明もそれなりに得るところはある。エレガントな証明だけがいいわけではない。ことの本質は下手な証明の方が捉えてる場合はあるのでね。伊原康孝先生が書いておられるように、後の世代が洗練させた証明より原典の方がいい場合もあるのでね。小生のような鈍才というか愚才というかは徒手空拳で下手にやりましょう。

交流戦最下位は Eagles が弱過ぎて何とかならずに済んだ（その Eagles にも負け越してるが）

今日は映画に行くも何も眠くて仕方なかった。寝たり起きたりを何度も繰り返して、夕刻からやっと調子が出てきた。不摂生してるからだろう。スマホを見たら今日は保健センターに行く日だったようだ。まあ予約を取ってるわけではないからいいけど。来週行く。薬を真面目に飲んでないので結構余ってる。血圧はそこそこ落ち着いてるから、一日二日服用しなくてもいいでしょう。もっと命にかかわるような重病ならともかく、血圧が少々高いくらいだから。いや、舐めちゃいけないよね。今晩はちゃんと飲みます。ん？朝食後服用と書いてあるが…。朝食はほぼ食べないので。

ABC で3時40分から「news おかえり」という番組をやってて、そのテーマソングの歌詞が聞き取れない。で便利な世の中で、「news おかえり テーマソング 歌詞」くらいで検索したらすぐ歌詞が載ってるサイトがあった。出だしの「♪なにげない日常こそ」は分かるんだが、その後が聞き取れない。見ると「絶景なり かくありけり」と出ていた。なにげない日常が絶景か、面白いな。その後の「紙石鹸の香りに目を閉じ」は「香り」から想像力を膨らませて「紙石鹸」？と思ったがその通り。その後がまた分からない。「さあ行かん」と聞こえたんだが、見たら「揺蕩う」。読めない、と思ったが、「さあ行かん」と子供の頃の国語の勉強の成果か、「たゆたう」？と思って電子辞書を調べたらその通りだった。面白い歌詞だ。で流れてるのは曲の頭からじゃないようだ。聞けるようだから後で聞いてみよう。歌ってる岡崎体育は知ってた。前は時々「ミラクル9」に出てたし、三井住友銀行の「オリーブ」のCMにも出てるし、「どうする家康」の時に長篠城から家康に救援を求めて使者に出た鳥居強右衛門を演じて熱演だった。1話だけの登場だったが、印象的だった。知らない人は鳥居強右衛門で検索してください。面白い人物だよ。

でいつもは「news おかえり」を7時までやるんだが、今日は6時16分から Tigers 戦の中継。何故か水曜日だけ放送がある。9時からのドラマが先週で終わったので、「報道ステーション」の前まで放送がある。試合終了まで中継があるかな、という感じ。Eagles が負ければ Eagles が交流戦最下位、Tigers が負けた場合は、7点差以上の大敗なら Tigers が最下位、さもなくば Baystars が最下位、という状況。Eagles が負けた方がいいな、と思って見ていたが、その通りに成った。前田健太が大山に2ランホームランを打たれて Tigers が先制。前田はその2失点で5回まで投げたが、その後の Eagles の弱いこと。6回無死満塁から大山犠牲フライ、高寺セーフティースクイズで2点、7回は中野、森下のヒットで2点、8回に Eagles が及川（およかわ）から3点取るも、8回に熊谷がスクイズと Eagles の守備が乱れて2点、更に福島が2点タイムリーで10－3。イニングが始まった時はセーブシチュエーションだったから岩崎（いわざき）が準備していたが、もう必要は無くなったので、最後は石黒とかいう知らない投手が出てきて抑えてゲームセット。結局 Baystars が5勝13敗で11位、Eagles が4勝14敗で12位と成った。セ・リーグは39勝しか出来ず、過去最少の勝ち数らしい。で試合は割と早目に終わったので、解説の岡田はんにアナウンサーがたっぷり聞いてたが、昨日の優勝のかかる Lions 戦で1点差なのに何の策もせず、弱い Eagles 相手で点差があるのにスクイズ2回とか、球児監督の采配に疑問を言っていた。まあさもありなん、という感じだな。それと負けてる展開で登板させた工藤（昨日は1イニング3者連続3球三振のイマキュレートイニングをやった）、及川を今日はリードしてる場面で投げさせたりと、それも疑問らしい。別に連投させるのは悪いことではないと言ってた。昔は久保田がシーズン90試合登板したことを取り上げていた。信頼してるから投げさせてるわけだからと言ってた。言いたいことは分かる。チーム愛があればこそだな。明日一日空いて、横浜スタジアムで Baystars vs. Tigers からリーグ戦再開。もう交流戦は忘れましょう。

先週の木曜日は2時55分から「数理科学セミナー」なのに2時過ぎに起きたらしい。明日はそういう慌ただしいことが無いようにしよう。今日眠かったから、早目に寝ておくか。と言ってもどうせ2時や2時半までは起きてるだろうが。ま、ちゃんとしましょ。

単位認定レポートのアップロードはうまくいったと思うがどうだろう？

呑み呑みテレビを見たり録画したものを見たりして、ボーっと不摂生。プロレスは関西は月曜深夜だが、関東では土曜にやってるらしく、日曜日の全国ネット前の放送が昨日やっていたのだろうか、日曜日の放送を見るよう煽る内容が放送されていた。結果が気に成るので、調べてしまった。ウルフアロン勝ったらしい。よかった。「夫が寝たあとに」を関西ではたまにやってて、ハードディスクに余裕を作らないとと思って1時間ものを一つ見たが、ゲストは滝川クリステルで、大臣との結婚秘話や、義父の小泉純一郎の話が面白かった。総理大臣やってる頃って50代だったのね。髪の毛白いからもっと歳だと思ってたが。今の小生とあまり変わらない。ビックリした。でもう「おはよう朝日です」の時間に成ってしまい、新人アナウンサーがテレビ初登場、と言ってたが、起きていられなかった。ABC は結構無茶をする局で、入社して間もないアナウンサーを「おはよう朝日です」に起用することがよくあるが、今年もやるんだろうか？

起きたのは1時くらい。冷凍のパスタをすすってから、レポート問題を web に上げる作業。moodle＋R のことは何も分からないが、やはり小生のような IT 弱者だったり人に聞けなかったりする人の為に「教務支援」というページが作られてて、そこを見ながら悪戦苦闘したらどうも出来たような感じだがどうだろうか？告知文も載せておいて、そこに「見えないなど問題がありましたら *** までメールください」と、勿論メールアドレスを明記して書いておいた。今のところ何も言ってきてないが、どうだろうか？金曜日の講義の時に口頭で言うので、その後見た学生が何か言ってくる可能性はある。去年だったか一昨年だったかに公開に切り替えるのを忘れて、見えないぞと文句を言われた。manaba＋R だと公開する方法は知っているのですぐやったが、moodle＋R だとどうだろうか？上手くいってますように。

それから流しておいた「警視庁・捜査一課長」と「相棒」をボーっと見て、ニュースを見てとかしてたらあっという間に7時。レポートを上げた以外は何も仕事らしいことをしてない。まあいいです。7時からの「プラチナファミリー」が高嶋ちさ子の家族の話らしく、面白いので見ようと思っていて、ちゃんと見た。面白かった。母親も父親もあの人の親だな、という感じ。お母様はもう亡くなっているそうだが、お父様はご健在。ビートルズの日本でのライブを成功させるために色々無茶苦茶やったという話が面白かった。Tigers vs. Lions を見ようかどうしようかと思っていたが、「プラチナファミリー」を見てよかった。

Tigers vs. Lions だが、0－1 で Lions が勝った。で Lions が交流戦初優勝。勝率 .824（14勝3敗1分）は過去最高の勝率とか。今日の1点は桑原のタイムリーヒットによるらしい。Marines とやった時はソトに目茶目茶打たれたし、出ていった選手が活躍してる。祐大は今怪我してるが、Hawks が上向いてきたのは祐大のお陰な部分が大きいだろう。逆に交流戦で Baystars が負けまくったのは祐大がいなくなって経験不足の松尾に任せないといけなかったからというのが大きい。明日 Eagles が勝つと Baystars が交流戦最下位とか。勝ち負けは同じに成るが、対戦で負け越してるのが効いて最下位に成ってしまうらしい。Tigers 応援しないと。Tigers は今日負けて、Giants とのゲーム差が1に成ってしまった。明日勝って0.5差にしておきたいだろう。ということで明日は Tigers を応援する。リーグ戦再開後の最初の相手は Tigers だが、そこでは Baystars が3タテして、Giants が3タテされる、というのが一番良い。Giants にだけは優勝させちゃならねー。

昨晩沢山ダビングして、幾つか見て消したので、今週分の録画は全部出来るようになった。「歴史探偵」や「英雄たちの選択」で秀吉に関係した人物が取り上げられることが多く、竹中半兵衛だったり荒木村重だったり。先週の「英雄たちの選択」で荒木村重を取り上げていたのを知らず録画し損ねたが、明日再放送があるので助かった。まあ NHK オンデマンドと契約してるんで、見ることは出来るが。荒木村重という人物は昔から興味がある。信長に叛旗を翻した挙句、一族郎党を残して城から逃亡し、皆殺しにされても逃げ延びたというのがどう描かれるでしょうか？トータス松本がやってるが、いい味出してる。でちょっと調べたら、遠藤周作が荒木村重を主人公にした小説があるようなので、さっき Amazon で買った。「反逆」というタイトルの2巻もの。新しい本がどんどんたまっていく。少し Book Off に売りに行くか。明日の「歴史探偵」は竹中半兵衛と黒田官兵衛の話のようだ。こちらも興味深いので見る。菅田将暉演じる竹中半兵衛は一昨日の放送で最後だが、病気で弱っていく感じを出すために減量したらしい。何キロ瘦せたかは公表されてなかったが。頬はこけて腕はカリッカリに細かった。相当無茶をしたのだろう。菅田将暉ちょっと見直した。プロだな。

明日は映画を見に、と書いたが、会議がある可能性があるのを忘れていた。が、明日は会議は無いそうだ。どうすっかな？まあ二条駅の近くの映画館だから、思い立ってすぐ行けるが。勿論上映開始時間を調べておかないと痛い目に会うがな。そうそう、この前 YouTube を見てたら、滋賀県から無くなったものを取り上げた動画があったが、浜大津アーカスの映画館ってもう無いのね。浜田省吾の浜松の渚園でのライブ（1988年にやったもので、見に行った）を映像化したものを見に行ったが、あそこがもう無いと思うと悲しい。イオンモール草津にも映画館はあるようだが、近江大橋の向こうまで映画を見るためだけに車で行くのは地球に優しくない。いやいや、テレビを付けっ放しで電気も冷房も消さずに寝る方がよっぽど地球にはよくないけど。パソコンの電源は落とせない。有理点が見付かってないからね。この前 Windows update を勝手にやられてからはリブートされてない。見付けて記録するまで持ちますように。

元の位数が群の位数の約数なことは知ってますかね？

昨晩はその後松本清張原作の「点と線」の映画化したものをダビングしながら大河ドラマを見て、で「点と線」をハードディスクから消して、で今日やる「張り込み」を Blu-ray ディスクに直録りするようにしたら、取り敢えず水曜日までの録画予約は全部大丈夫に成った。ということでもう4時近くに成っていた。NHK にチャンネルを変えたらサッカーの番組がやっていたが、「キックオフまで45分」という字が出ていたので、見ないで寝ることにした。

起きたら12時半過ぎ。はま寿司で昼ご飯を食べる時間があるので、シャワーを浴びて出発。もう大切り銀鮭も鰹も無かったが、まだ大トロがあったのでいいです。で最後は大抵鰻なのだが、今日は大トロをもう一度食べることにした。でそれのせいで2000円をちょっと超えた。まあ今日は安くて2貫乗ってる皿を多めに注文したので、値段の割には沢山食べた気がした。満足。

で職場に着いたのは2時を過ぎたくらい。個研室で少々無駄に時間を使って、2時55分からゼミ。今日はまずメルセンヌ数とフェルマー数の素因数を少々効率よく見付ける話（F_n＝2²ⁿ＋1 の素因数は mod 2^n＋1 で1と合同とかいう程度）をして、で章が変わって原始根の話などをしていたら力尽きたらしい。原始根であることを確かめるのに2乗、3乗、4乗 … と真面目にやっていたが、元の位数が群の位数（今は (Z/pZ)^× でやってるので p－1 の約数）ということを知らないのかな、と思って本を見たらその旨のことが書いてあった。例で出たのはせいぜい p＝11 の時くらいだから大したことないが、101 とかだと賢くやらないと大変だよと言っておく。昔ゼミ中に内職で 2 が mod 101 の原始根であること、5 が mod 101 の原始根でないことを手計算で試したことがあったが、ちゃんとその時は賢くやったよ。大学入試でよく整数問題が出ている所があるが、実験する時に p－1 の約数限定で済むと思うと楽だし、精神衛生上もいいと思うので、それくらい教えておいていいかも、という気がしないではない。答案にはそんなことは知らんけど偶然見付けた、とのフリをして書いておけばいいので。で5時くらいには終了した。

その後レポート問題の点検の続き。問題自体には不備は無さそうだ。この前も書いたが、同時に解答例も作っている。で気付いた。別解の一部に説明不足があるな。まあ別解だから気にしなくてもいいけど。問題自体は不備は無いし、別解じゃない方法で解けるので。でもう飽きてきたから、いつもより少し早目に帰ることにした。

7時半過ぎに帰宅。6チャンネルを見たら、宮島をタカアンドトシ、アンガールズ、国仲涼子が歩いてる番組がやってた。宮島行ったな。広島大学で学会があった時だった。広島駅から路面電車でゆっくり行って、でフェリー乗り場で偶然にも村林さんに会って、二人で山の上まで行ったり潮が引いた後で鳥居の下を歩いたりとかで、凄く楽しかった。また行きたくなった。今は広島大に知り合いがいない（最盛期は3人も知り合いがいた）ので、行くなら観光オンリーで行かないといけないが。今年岡山に行ったが、切符を買ってあったのと乗り継ぎの時間に余裕が無かったので観光を一切してこなかったが、倉敷の美観地区を回ってきてもよかったかという気がする。まあ岡山なら新幹線で1時間で、倉敷は在来線でちょっとみたいだからその気に成ればすぐにでも行けるが。新幹線の新倉敷で降りるのは多分賢くないのだろうと思うが、どうなのだろうか？いやそんな遠くよりも、京都でも滋賀でも行きたい所は沢山ある。中学校の国語で習った仁和寺（「仁和寺にある法師」の書き出しでお馴染み）とか、石清水八幡宮とか、比叡山とか。比叡山は石山から登って、歩き回った後に八瀬方面のケーブルカーで下りてくる、というのが楽しくてよさそう、と思ってるんだがな。観光じゃないが見たい映画もある。火曜、水曜は職場に行かなくていいので映画なら行けるんだが、つい呑んでしまうからよくない。今週は金曜まで Baystars は試合が無いから、水曜日は映画行くか。明日？酒を買ってきてしまったので、これから少々呑む予定で、呑むと次の日は腹の具合が悪くなるから、明日の映画は無し。

えーと、その後「Qさま！！」が始まったが、伊集院光は動物に詳しい。あと一歩で優勝だったが、ピンポイントで三浦奈保子の知識が出て勝ってしまった。伊集院光は同い年なので昔から応援してる。20代の頃の深夜放送が面白かったのを覚えてる。何者だろうと思っていたが、落語家上がりだと知ったのは随分後のこと。これからも博識ぶりを見せておくれ。

サッカー盛り上がったようだ。先制されて追い付き、勝ち越されて追い付きで、2－2のドローらしい。強豪相手の勝ち点1は充分価値があると解説者が言ってた。スポーツバーみたいな所で結構な時間までテレビを見てた人が、店で背広に着替えて出勤する様子が流れていたが、大丈夫でしょうかね。まあ気が張ってるから今日は大丈夫かな。今晩ちゃんと寝れば明日以降も大丈夫でしょう。次の試合は昼1時からだと言ってたから、平和に見られていいですな。確か日曜日だと言ってたが、来週の日曜日の Baystars の試合はナイターのようだ。ということは両方見られるか？いや、気力が続かないかな。まあその時の気分次第だが、一応両方見るつもりにはしておこう。

全カード負け越しで、交流戦は5勝13敗で終了

昨晩も楽しかった。結構呑んだのが記憶にあり、今日は二日酔いっぽい。酒って呑んでる時は楽しいが、次の日は色々大変。後悔するくらいなら呑むな、と酒を呑めない人は言うが、呑める人は呑む気持ち分かってくれるよね？

で野球の始まる前に起きたが、途中まで見ていたが、寝床に再度入ってしまった。相手に点がどんどん入る音声が聞こえてきて、結局負けた。交流戦は全カード負け越しで5勝13敗と、何とも惨めな結果に成ってしまった。Tigers が2試合、Eagles が1試合残してるが、2チームの結果次第では最下位タイに成ってしまう。むぅ。交流戦嫌いのセ・リーグのチームのファンは多いだろうな。セで勝ち越したのは Giants だけ。交流戦前は Giants とのゲーム差が気に成ったが、下の Carp、Dragons とのゲーム差が気に成るように成った。本当にまずい。金曜からリーグ戦再開だが、相手は Tigers。厳しいな。Tigers に勝つのは容易ではないのと、いつの間にか G に首位を奪われていたのを取り返しに必死だろうし。まあ数日野球のことは忘れましょ。

晩御飯を食べに一旦起きたが、またすぐ横に成ってしまった。テレビを消し忘れた。有働由美子の声が聞こえていて、暫くしたらプロレスの音声が聞こえてきた。ウルフアロンがベルトを取り返せるか、と思っていたが、寝入ってしまい、気付けば辻陽太が何やら大々的に喋っている音声が聞こえてきた。ウルフどうなったんだろう？Google 先生に頼れば教えてくれるだろうが、まあいいや、明日の晩もプロレスはあるようだから、その時分かるだろうしいいや。

ケーブルテレビのチューナーのハードディスクが相変わらずカツカツ。明日二つばかり録画することに成ってるが、全然容量が無い。取り敢えず今日の分の大河ドラマを見て、で幾つかダビングして、とやらないと。寝るのが遅くなるな。まあプロレスを見ないで寝たので、起きていられるだろう。明日は2時55分までに職場に行けばいいから、多少の夜更かしは大丈夫だ。あ、大河ドラマは消して、土曜日の再放送を録画してもいいか。でも竹中半兵衛の登場は今晩で最後だから見たいな。録画し忘れる可能性も否定出来ない。まあいいや、これから考えよう。

勝又のプロ初ホームランなどで16得点して圧勝（篠木は勝ち投手だが5回5失点はいただけない）

少々呑みながらドラマの最終回を追っかけ再生。ひどい筋書きを考えるもんだ。まあ思ったより悪い結末ではなかった。「探偵！ナイトスクープ」を見たままチャンネルを変えないでテレビを流してると、自然とあの時間帯のドラマを見ることに成ってしまい、1回目が面白そうだとつい見ちゃう。ずっとそう。NHK の日曜夜11時からの海外ドラマは「サンデースポーツ」の後なので見てしまう。面白いドラマに当たることはあるので、まあいいけど。でその後レポート問題に間違いが無いかどうか紙とペンを相手にチェック。よさそうだ。もう一回印刷してからにしようか、ということにするが、小生の住処にはプリンターが無い。コンビニで1枚10円で印刷出来るが、何かそれは癪。ということで月曜日に職場で印刷して、火曜日は用事が無いので月曜深夜に最終チェックをしてから上げよう。moodle＋R の使い方がまだよく分かってないので、うまく上げられるでしょうか？というところだが、金曜日の講義の時にレポートをアップロードした旨言えばいいので、数日余裕がある。ということで一旦終わりにして、呑みの続きをしながら録画したものを見ていたが、途中で眠さに耐えられなくなりダウン。テレビも電気も付けっ放し。地球にやさしくないし、この石油危機の時期にこんなことをしてはいけない。分かってはいるがな。

珍しくチャンネルが4チャンネルに成ってて、いつもと違うアナウンサーの声や、忘れかけていたトミーズ雅の声が聞こえてきたので、若干寝不足気味だがいいや、と起きた。少々ボーっとテレビを見てから、11時を過ぎたあたりで Uber Eats 経由ですき家にいつものニンニクが乗った牛丼を頼んで食べて、で少々書き散らかした紙に書いたものを TeX 化してとかやってたら、あっと言う間に2時近く。

野球だが、先週の木曜日に漫画のような大逆転勝ち、金曜日に4ホームランで Hawks に圧勝、の後6連敗していた。Hawks には初戦はとったが2連敗、Fighters に3連敗、昨日は Marines にサヨナラ負け。借金は膨れに膨れて10。そろそろまずいぞ、と思って見始めるが、Marines は昨日の勝ちで最大9あった借金を完済したそうだ。まあセ・リーグ相手にそれだけ勝ったということなのだろう。Baystars はどうやって借金を返しましょう？という感じだが、まあ一つずつ地道に返すしかないので、めげずに応援。先週の連勝の頃は蝦名に当たりが戻ってきて、復帰した牧も大当たり、という感じだったが、1週間ほぼ見てなかったが、蝦名と牧の当たりがぱったりやんでたそうだ。それでは勝てない。が、今日は Baystars 打線が大当たりで、1回表に不調だった1番蝦名が出塁して、牧が凡退したが3番佐野がタイムリー2ベースヒットで早くも先制。筒香も当たってなかったがヒットでランナーを3塁に進めて、勝又のセカンドゴロでもう1点。今日はよさそう、という感じだが、よさそう、どころではなかった。2回表は二人ランナーを置いたところで蝦名がタイムリーヒット、牧が3ランホームラン、佐野、筒香が四球で出塁し、ついに出た、勝又のプロ初ホームランで3点追加。で再び走者が一人出て、京田のレフトへの当たりをレフト、ショート、サードがお見合いしてもう1点追加。2回裏終了時点で10－0。笑える。3回は蝦名、牧、佐野が凡退したが、4回に更に追加点。満塁のチャンスを作って、足を痛めたと思われる京田の後に守備についた石上（いしかみ）が犠牲フライで11点目。ルーキー小田が四球を選んで、蝦名が満塁ホームラン。蝦名は当たってなかったのでは？15－0。篠木はこんな試合は楽に勝ち投手に成らないといけないのでは？という感じだが、4回裏に3失点、5回裏に2失点と、ちょっと油断したかという感じの失点。まあリードはまだ10点あるが、問題ありだな。7回裏に Marines の宮崎がプロ初ホームランを打って15－6、9回表にセ・リーグの打率ランク2位の度会が今日の初ヒットを打ち1点追加で16－6。でそのまま終了。連敗が止まってよかった。もっと万遍なく得点するのがいいが、まあいいです。明日勝てば交流戦初のカード勝ち越し。明日で交流戦が終わるので、気分よく終えましょう。

昨日の晩は書いた通り少々呑んだが、今晩も呑む。週に1回顔を出しておかないと。軍資金を卸してから行くので、いつもより少々早目に部屋を出る。いや、セブンイレブンで卸せば早目じゃなくていいんだが、手数料をがっぽり取られるので、馬鹿馬鹿しい。数分歩いて関西みらい銀行に行けばいいだけのこと。カードで払うのは手数料を店に払っていただくのが気が引けるということで、いつもニコニコ現金払いにしている。少々歩くのは運動にもなる。超運動不足なので、ちょっと歩いた方がいい。ということでぼちぼち出発。あ、この前保険の契約をした時に饂飩を貰ったな。今日ふなごやに持っていこうと思っていたが、職場に置いたままだ。まあいいや、来週渡そう。忘れないようにしないと。

レポート問題大体完成

今朝は起きたら11時を結構過ぎていた。急いでシャワーを浴びて出発。職場には12時10分ちょいには着いて、弁当を余裕で買えた。今日のはまあまあ美味しかった。で「代数学I」のレポート問題をちょっと考えるか、と思ったのだが、つい大貧民をやってしまった。終了時点で講義までの時間はあまり無かったので、講義やってゼミが済んでから考えることにして、しばしボーっとしていた。

1時10分から「代数学I」。今日はユークリッドの互除法（一般のユークリッド整域でやった）、ax＋by＝(a,b) の解を求める方法、そして多項式の g.c.d. はどの体の上で考えても変わらない（原始元定理の証明で効力を発揮する）などをやってから、多項式の根の話（整域上だと重複度込みで数えても次数を越えない）とかやって、でついでにウィルソンの定理。素因数を一個も求めなくても素数でないことが分かる、という話をしたかったが、時間切れ。まあ別の機会に話すとして、今日は終了。来週は多項式の既約性の話（原始多項式の積がまた原始多項式とか、Z 上既約だったら Q 上まで行っても既約とか、アイゼンシュタインの判定法とか）をやる。残り4回。大分難しくなってきたね。ただ抽象的な一般論より今週と来週の話の方がむしろ易しい気がするがいかがだろうか？

ちょっと休憩してからゼミ。今日はクンマーの定理（最小多項式の分解で素数の分解が分かるというあれ）の応用例で二次体での素数の分解を分類して、クロネッカー記号がどうしたとかいう話。どうしてああいう定理に成るかが不思議だったようだが、まあ多くの天才が寄ってたかって考えたのだろうから、我々のような凡人や大学院生のような若輩者に分かるわけがないのだ。それと判別式の仮因子があるデデキントの例で2（2が仮因子に成ってる）の分解を決定する問題があったが、分からなかったようだ。藤崎先生の本に出ていると誰かから聞いたようだが、同値類がどうしたとか言ってるのに同値関係を定義してくれないので、調べてもらったが、あれはよく分からない。具体例をいじって理解を深めておいて、と言っておいた。明日教員採用試験があると言ってたな。ということで今日は1時間半掛からずに終わった。まあここまで順調なので、一回くらいは短くてもいいです。

で時間が出来たので、レポートの問題を、と思ったが、時計を見たらまだ生協がやってる時間。前は4時半閉店だったが、講義が4時10分終了で問題は無かった。が、去年から講義が5分伸びたので、4時半講義終了で4時半閉店はけしからん、というわけで去年の秋学期から5時まで試験的に延長営業する、と成っていた。4時45分で営業していたから、正式に5時までになったのだろうか？知らんけど。で買い物をして戻ってきてからレポートの問題作り。こっちに来た時から集めている秘蔵の問題集や普段 web に上げてる（誰も解かないだろうけど）を見て、手頃な問題を見付けた。ちょっと群論を使うか？と思ったが使わなくても出来るので、大丈夫だろう。まあ難しいとは思うが、難しいのを承知で出してるんで。試験をやらないしレポートだし、ということで舐めている学生は一定数いるだろうが、舐めないでくださいね、という趣旨のメッセージを込めてるつもり。最近一部でクラス間、担当者間の評価の差が議論の的に成ってるが、うちの学科だけで一クラスだけの講義だから、多少無茶苦茶でも問題無い。いや、そんなことをやってると卒研を希望してくれる学生がどんどん減るだろうから、程々にしておかないといけないが。で解答を作り作り問題にミスは無いだろう、という感じに成ったが、住処で頭を冷やしてちゃんと点検してから web に上げることにして、一旦プリントアウトして終了。もう9時を過ぎてた。

最近同じ店でばかり夕飯を食べてるな、と思ったので、最近行ってなかったちゃんぽん亭に行くことにした。あそこはドアを開けっ放しにする輩が多くて嫌だったが、今日行ったらでかでかと「冷房中につき手動で閉めてください」と書かれた紙が貼ってあった。ちゃんと閉まってたが、中には一人しか客はいなかった。その人がちゃんと閉めたのか、店の人が閉めたのか知らんが、まあいいこと。冬場に開け放って帰る奴がいるとムカッとくる。これからはそんなことは無くなるかな。気分が悪くならないとやはり美味しく食べられる。嬉しい。

ドラマの最終回が多い時期に成ってきた。今「探偵！ナイトスクープ」を見てるが、その後は「ザキ山小屋」という短い番組があって、その後のドラマが今晩最終回。酷い筋書きのドラマだったが、つい続きが気に成って毎回見てしまった。桜井日奈子が大分嫌な顔に成ってきたね。「岡山の奇跡」とか呼ばれてたそうだが。どんな結末に成るでしょうか？楽しみなような怖いような。見るぞ。

2時55分から講義なのに起きたら2時過ぎ（間に合ったよ）

ちゃんと寝る、と書いたが、結構な時間まで起きていた。色々気に成るので。最近つくづく思うのだが、素数で割れるか割れないか、とか、整数が立方数である、とかをどうにかしたい時は各素数 p に対応する p 進加法付値を考えるとうまくいく。で前から気に成っていたことをきっちり示せそうなので、考えてしまった次第。上手くいったのでいいが。p 進加法付値は本当に有難い。

で起きたら2時過ぎ。2時55分の講義開始には何とか間に合う。急いで出掛けて、2時50分過ぎに講義室に着いた。危ない。飲み物を買う時間くらいはあったので、買っておいたが、飯は後。今日の「数理科学セミナー」はオイラー関数の乗法性を示す話。そのために Chinese remainder theorem を一番地味な方法で証明した。結構難しかったのか、85分間一人の学生が話していた。でもう10分しか残りが無いので、打ち切りにしてきた。6人しか登録してないので、欠席すると一発で分かる、ということか、一人インフルエンザで一回欠席した学生（事前連絡有）ともう一人の学生が一回欠席してるだけ。小人数でやると大変よね。しょっちゅう順番が回ってくるし。月曜日のゼミは1対1でやってる。毎週予習は大変だろうな。

ちょっと時間があったので、車に荷物を放り込んだ後、生協でざる蕎麦を買って食した。少しのんびりしてからゼミ。

今日は付値の近似定理と、無限素点の定義とか無限素点が分岐するとか。未定義用語があったり、他にも色々な理由で理解するのに苦しんだらしく、結構早く終わった。それでも2時間近くはやったので、まあいいでしょう。ちょっと例を言っておこうと思って話したが、嘘を教えてしまった。まあ来週訂正しておけばいいでしょう。そろそろイデールがどうしたとかそういう話に成るが、この辺は苦手。一回勉強したが、研究には一度も使ったことが無い。類体論はイデアルを用いた定式化の方が使いやすいと思う。定式化するにはイデール類群を用いるのが一番綺麗だが。（イデール群だとちょっと嫌な感じに成る。）少々心しておかないといけない頃だ。頑張ろう。今年は学内の用事があまり無いので色々出来る。有意義に使おう。

で「代数学I」の単位認定レポートをいい加減出題しないといけないな、と思って、この前考えてたのの続きを少々。一問はこれでいいや、という感じに成った。もう一問はちょっと変な設問があるが、まあインターネットで検索してちゃちゃっと済むとか AI に聞けば答えてくれる、というタイプの頻出問題でないのを混ぜたので、理解力の差が出ていいでしょう。大抵3問出してるが、もう1問をどうにかしたい。まあ最悪2問でもいいけど。昔学生が、定期試験の問題は前半、中盤、後半から1題ずつの計3題出してる先生が多いみたいなことを言ってたので、なるほど、とそれから後はずっとそうしてる。頭数回で理解が追い付かなかった学生や、後ろ数回だけ試験情報を仕入れようと来る学生はいるだろし。まあ小生試験に関するアナウンスは何もしないし、最後数回だけで理解出来るような易しいことはやってないので、後者は試験場で沈没するだろうけど。でなんじゃかんじゃと9時半くらいまで職場にいた。

チラチラと野球のことを気にしていたが、今日も負けで、交流戦初のカード3連敗。東でも駄目だった。救いは今日はセ・リーグが全敗。残り3試合で4勝11敗と、大幅負け越しが決定してしまった。何でパ・リーグこんなに強いかな。Eagles 以外は。Buffaloes の岸田監督が、3タテしたのにゲーム差が縮まらないのは…、というようなことを言ってたそうだ。まあそうだな。セ・リーグは Giants が独り勝ちしてしまっている。どうにかしないと。

明日のゼミは早く終わることを宣言されてたな。じゃあその時間を使ってレポート問題を完成させてしまおうか。完成させても web に上げる方法が分からない。去年までは manaba+R とかいうのを使わされてたが、今年から moodle+R というのに変えられてしまい、まだ使い方がよく分かってない。前に pdf ファイルをまとめて上げておいたら、学生が一番最初のしか見えないと文句を言ってた。一発で上手くいくとは思えない。問題が完成した後も一勝負だな。頑張ろう。問題に不備が無いよう、同時に解答例を考えておいて、レポートの締め切り日の後にアップロードしている。誰も見ないんだろうけど。「解答例」と書いたが、「模範解答」とは書きたくない。「模範」という言葉には「こう答えないと〇にしない」という恐怖のメッセージが込められてるように見えて仕方ない。どこかの大学の話が書いてあったが、高校の先生が入試の「模範解答」を欲しがるそうだが、そんなものを手にするとその解答を金科玉条にして他の解答を考えなくなりそうで嫌だ、というのが大学側の意見。思い出したが、予備校に通ってる時の近くの席の奴が、数学の先生が黒板に書き始めたのと自分が考えてきたのが同じ時は突っ伏してて、そうじゃない時は自分の解答を全力で消しゴムで消して写してたな。数学は良く言われる通り答は一つだが、途中の筋道が何通りもあるのが面白い所だと思うが、そいつは解答を覚えることに血道をあげるタイプだな。下手な解答にもいい所はあるんだが。ということで「模範解答」という言葉を使うのはやめましょう。

Coke ON アプリで飲み物を買えて嬉しかったが、住処のパソコンが勝手に再起動されたことともう一つ超絶不機嫌になる原因が

一旦9時半過ぎに目が覚めて、お、昼飯をはま寿司で食える、と思ったが、次に目が覚めたのは11時半くらい。駄目だ、弁当を買って食べるしかない、といういつものパターン。シャワー浴びて出発。職場に着いたのは丁度2コマ目が終わったくらいで、弁当売り場は列が出来てた。沢山余ってる方は結構長目の列が出来てたので、あまり残ってないが列の短い方の列で買った。前はどこも500円で売ってたが、今はどこも600円。色々大変なのだろう。釣銭が500円玉でないのは助かるが。新500円玉を使えない自動販売機は今でも結構多い。

食してから1時からの会議に向けて出発。と言っても、パソコンを持って隣の建物の2階に向かっただけだが。今日の会議は2階建てで、最初の30分だけ出席する人とフルに参加する人が混在している。が、最初の30分の会議がちょっと伸びた。難しい話題があって、それに対するお互いの立場での意見が衝突していた。議長が打ち切って、で後半戦に突入。かたやこちらは形式的な議論と「読んでおいてください」的な報告事項が多かったので、そんなに掛からなかったが、物理の先生が貴重な意見を言って、少々掛かった。大事な議論を時間の関係で打ち切って、形式的な話に時間を割く必要あるの？という趣旨。仰る通り。まあその先生は今の委員はしょっちゅうやってて、初めての方や久し振りの方に一から説明するのに時間を使いたい、という議長の仰せもごもっとも。2時40分くらいに終了した。

学科会議は4時50分からなので、大分時間がある。そろそろ「代数学I」の単位認定レポートを作ってアップロードしないといけない。いや、問題がまだ固まっていない。ということで問題を考える作業。いつも3問出題してて、3問思い付いてはいるんだが、2問は全然違うと言えば違うのだが設定が同じだし、聞いてる内容も同じ（違う方法で示せという設定には成ってるが）なので、どうにかしたい。まあ来年もやるんで、メモしておいて来年使えばいいのだが。ということでウダウダやってて、あっと言う間に会議の時間。

今日の学科会議は完全オンライン。1時からの会議が終了後住処に帰る時間はあったが、まあいいかということで個研室から参加。イヤホンはすぐ見付かった。探すのが手間に成らないよう机の一番上の引き出し（開きっ放し）に入れておいたのだった。こちらも2階建てで、前半は学科メンバー全員参加で、後半戦は教授、准教授陣のみ参加。前半も後半も難しい話があった。勿論書けるわけがない話ばかりだが。で案の定長時間掛かって、終わったのは7時くらい。

レポート問題を考えるのは煮詰まってきたので、ちょっと部屋掃除。奥から奥から紙が出てくるので、またばらしてスキャンして。ダウンロード出来るものは pdf ファイルをダウンロードして捨ててなど。まだまだ片付かないが、気長にやる。まあ65歳の春に一生懸命やるんだろうが。今の所に引っ越してくる前も実家を取り壊す前の荷物整理もギリギリまでやってたからな。最後の講義は1月の15日に成る前に終わるから、それから2ヶ月あるので、その時に成ったら一生懸命やります。本棚の整理とかパソコンの廃棄とか、やることは目白押しだ。今はレポートの提出がオンラインに成ってるから、これから先レポートの山が出来ることは無い。試験の答案はすぐ事務に返すし。ということでまあ何とかなるでしょ。7年先のことを今から考えても仕方ない。ちまちまやります。

職場の自動販売機にジハンピ対応の物が幾つかあったのでアプリをスマホにインストールしたが、あっと言う間に無くなってしまった。住処の近くでジハンピが使えるのを2台見付けたので、時々使ってるが。ジハンピが使えなくなった所には Coke ON の自販機が置かれたので、Coke On アプリをインストールしたが、どうも上手くいかない。QR コードをスキャンして PayPay で支払うということも出来たんで、そっちを使っていたが、今日漸く Coke On アプリで飲み物が買えた。嬉しい。機械に馬鹿にされ続けたが、制した気がしていい。まあ機械（コンピューター）が無いと数学が出来ない輩なんだが。

ちょっと機械に勝った気がして嬉しかったが、機械に馬鹿にされた。会議中に Windows update の告知があって、更新すべく再起動して、個研室のパソコンも帰り際に電源を落とした Windows update が始まって、で嫌な予感。住処のパソコンが勝手に再起動されているのでは？と思って帰ってきたら、案の定だった。先週の木曜日から有理点を探し続けてまだ結果が出てなかった。明日か明後日には見付かるだろうと思っていたのに。しくしく。今日は他にも気に食わないことがあったので、今若干不機嫌。が、「これ余談なんですけど…」が面白かったのでいいです。武田も北澤もヴェルディの頃は嫌いだったが、当時の話（ワールドカップにカズと北澤が行けなかった話とか）が面白い。もうヴェルディは当時とは違うし、二人とも大分お歳（武田は小生と同い年、北澤は1学年下）なので、思い出話に深みがあっていい。中田英寿に説教喰らった話とか目茶目茶面白かった。別に工夫しなくても駄弁ってるのを流すだけで面白い番組は出来るのだ。まあゲストに依るけど。深夜に30分番組でやってる時から注目していた番組で、人気が出たのは嬉しい。ちょっと機嫌直った。明日は「数理科学セミナー」と M2 の学生とゼミなので、ちょっと間違えると凄く不機嫌に成ってしまいそうだが、大丈夫であることを願おう。今日はちゃんと寝ておく。それくらいはしておかないと。

平良は4失点したイニング以外は抑えたのだが…

今日は資源ゴミの日だったのを思い出して、呑み呑み作業をした。前に色々定期購入していたサプリの類があったが、飲むのを忘れて段々面倒に成り、全部やめたのだが、箱を開けないままになってるのが結構あるので、それをばらして、で中身は木曜日の一般ゴミで出す。段ボールを回収してもらわないといけないので、結構長時間作業をした。で知らん間に寝てた。

昼過ぎに意識が戻ったが、その後もウダウダと寝たり起きたり。呼び鈴が鳴ったので起きた。この前ガスの点検の人が来た旨を書かれた紙がポストに入っていたが、今日再訪すると書いてあった。冷静に成ると、マンションのエントランスに人が来た時の呼び鈴でなく、玄関の呼び鈴だったな。管理人に言えば入れてもらえるのだろう。台所の火をもう何年も使ってないと言ったので、一瞬で済んだ。でその後はのんびりしようということで、録画してあった「歴史探偵」とか幾つか見た。で気付けばもう5時を過ぎてた。まあこれくらい無に過ごす一日があってもいいです。

で野球が始まったが、今日はつまらんかった。平良が序盤からピンチを作りながら凌いでいたが、3回に先制打を打たれた後、打率1割台のリーキー大塚瑠晏（るあん、と読ませるらしい）に3ランホームランを打たれたが、失点は3回だけ。宮崎のソロホームランで1点返したが、結局それだけで、伊藤大海に完投勝ちを許してしまった。むぅ。例の奇跡の大逆転、次の人1試合4ホームラン（1イニング3ホームラン）の後3連敗。ロクでもない。大逆転の日の「プロ野球ニュース」（CS のフジテレビONEで絶賛放送中）の分は録画してあったので見て、スッキリしてからダビングしておいた。またシーズンが終わったら見返してみよう。一昨年 Baystars が日本シリーズを制した時の分も録画してあるので、オフシーズンは現実逃避しよう。いや、ここから逆転のリーグ優勝は無いではない。そうなると嬉しいけど。何か最近 Swallows のキハダが抑えに失敗することが増えて、セ・リーグはロクでもないことに成りそうになってきた。まずいぞ。

昨日書いた通り明日は1時から会議で、夕刻の学科会議は完全オンラインでやると案内が来ていた。職場に行くのにオンラインは勿体ない。折角住処から参加出来るよう USB 接続のマイクを購入したんだが。その際に使うパソコンはちょっとスピーカーから聞こえる音が小さいので、明日職場行ったら個研室に埋もれているイヤホンを探さないと。まあ見付からなければ生協で買えばいいんだが。売ってるよね？無かったら大学の近所のセブンイレブンに行ってみよう。確か売ってたと思うが。今時はコードの付いた奴は売ってないかもな。Bluetooth 接続のコードレスのだとすぐ失くしそうで嫌だな。イヤホン片方の落し物って結構あるらしいから。ま、見付ければいいのです。頑張るぞ。

保険の外交員が部下（娘さんだそうだ）を連れてきた。成績向上に貢献してあげた

大河ドラマは見なかったが、そこそこ遅くまで起きていた。何故かと言うと、y²＝x³－4 の有理整数解をガウスの整数環で考えることにより簡単に出来る、というのを見付けて読んで、で y²＝x³＋4 は y²－4＝(y－2)(y＋2) という分解を使えば出来るん違うの？と思ってしまったので。で途中まではすんなり言ったが、最後に Thue 方程式 X³－2Y³＝±2 の決定をしないといけなくなることが分かってガッカリ。こっちの方がよっぽど難しい。で思い出したのだが、前に y²＝x³＋1 の整数解を決定しようとしたら X³－2Y³＝1 の解の決定が必要に成ったのだった。が、この形の方程式は Y≠0 なる解が高々一組、という有難い定理があるので、X＝－1, Y＝－1 という解を見付ければ終わり、なのだが。y²＝x³＋1 は x³＋1 が有理数体上で因数分解出来るので、階数が0であることが Silverman－Tate の本に出ている方法で示せるのでいいけど、y²＝X³＋4 だとそうはいかない。これの Mordell－Weil 群は <(0,2)>＝C₃ なので、別に整数解だけを決めなくてもいいし、「コンピューターが無いと数学が出来ない輩」という言葉を甘んじて受け入れてるから、気にしないのが正解だが。ということで結構遅くなってしまった。

今日は保険会社の人と1時に会う約束をしていたが、起きたらもう12時半過ぎ。絶対間に合わないので、急いでメッセージを送って、2時からに変更してもらった。でシャワーを浴びてから職場に急いで向かって、2時丁度くらいに個研室に着いた。すぐ保険の外交さんは来た。が、何か様子がおかしい。もう一人いる？と思ったらそうで、最初「部下」と言って名前を言っていたが、苗字が同じ。ん？と思ったら、娘さんだそうだ。親子で同じ会社で同じ部署で同じ立命館担当なのだろうか？主目的は契約内容の確認だと言っていたが、何やらまた一つ契約させられてしまった。書類にお嬢さんの名前が書いてあったので、契約してあげれば成績がアップして嬉しかろう、ということで「契約させられてしまった」とは書いたが、別段嫌ではない。支払いがちょっと増えるくらいなので。でなんだかんだと45分近く掛かってしまった。

賢明な読者はお分かりの通り、食事がまだ。生協に買いに行く時間はちょっと無さそうだが、来るときにウェストウィングの脇に唐揚げ弁当を売ってくれるキッチンカーが停まっているのを確認したので向かう。生協の冷めた唐揚げより揚げ立てだから美味しい。が、ゆっくり食べてる暇は無い。ちゃちゃっと食べて、急いでゼミ室へ向かう。

今日のゼミはまずガウスの補題（原始多項式を掛け合わせてもまた原始多項式というあれ。同じだが、積の容量（内容）が容量の積に成る）を証明して、Z 係数の多項式は Z 上で因数分解出来なかったら Q 上でも因数分解出来ない、という定理の証明をした。学生は教育実習に行くと言ってたから教員志望なのかと思って、念のためそういう定理だから、と言っておく。で合同式の章に入って、簡単な所だからかガンガン進む。まあ「代数学I」のかなり重複してるし、去年「数理科学セミナー」を取ってたら（取ってるかどうか確認しなかったが）凄くお馴染みの所だろう。まあここまでは簡単。次の章では有限体（素体だが）上の曲線、曲面の有理点の勘定をヤコビ和を使ってやるので、急に難しくなるだろう。「数理科学セミナー」の今年の感じでは、多分1年やっても平方剰余はやってないだろうから、初めてのことになるだろうか？大分難しいから、気を引き締めてかからないと。今日みたいにロクに聞きもしないで内職してるようではいかんね。そろそろ真面目に聞くか。で5時近くまでやっていた。

3週間連続で月曜の6時から Zoom でミーティングをやってる。難しい議題があるから仕方ない。当該学部と我々の価値観が違い過ぎてどうしようもない。どこまで強気に出るかを皆さん知恵を出し合っていた。いやそもそも我々に大阪で講義をやってくれというのが土台おかしいわけで、確率・統計を新規でやって欲しいなど無茶苦茶。皆さん異口同音に言う通り、新規でそういうののプロを雇ってもらわないと。で何だ彼だと7時過ぎまで続いた。

それから素イデアルの密度に関することと関連してるヒルベルト理論のことをちょっと勉強して、藤崎先生の本に書いてあるのは基礎体が Q に成っているが、そうでなくても大丈夫、ということを確認してから学生にメールを書いて、それから紙の山を少し低くすべく幾つかスキャンしてから捨てたり。で気付けば9時なので、もう帰ることにした。

昨日甲子園での野球が中止になって、今日代替の試合がある筈だがどうなってるだろう？と見たら、何と今日も中止。交流戦はスケジュールがタイトで、明日からまた6連戦だから、来週の月曜にやるしかないのかな。もしまたぞろ中止に成ったらどうするのだろう？ペナントレースの再開まで数日マージンをとってあるから、そこでやるのだろうけど。ただ、今日は甲子園、明日は東北、明後日は福岡、とか訳の分からないスケジュールに成ってしまう可能性はあるな。ご苦労様です。Baystars は明日からの3連戦はドーム（エスコンフィールド）なので、天候が大荒れとかそういうことでも無い限り中止にはならない。その後は千葉だから、こちらは天候の影響をもろに受ける。天気が悪くならないといいけど、今は梅雨だしな。さっき「報道ステーション」で見てたら、何だか今週は荒れるようなことを言ってたが。6月の日本は大変なのです。

明日は特に用事は無いが、昼来たリマインドメールによると明後日は1時から、対面オンリーの会議があるそうだ。リマインド、ってからには前に一度案内が来てる筈だが、そんなのあったかいな？学科会議もやるそうだ。さっき話し合った結果を受けて、K 先生（≠小生）のリクエストにより行われる。ここ数年の学科会議は対面とオンラインのハイブリッドだったが、今年の学科長はハイブリッドでやらず、対面オンリーもしくはオンラインオンリーでやると言ってたが、どうなるでしょうか？まあどっちでもいいけど。職場に行くのでね。1時からの会議は資料を紙で配ることはしないので、パソコンなりタブレットなり持参せよとの案内だが、持ち運び用のパソコンを持って帰ってくるのを忘れた。会議室に向かって直行が出来ない。少し早目に起きろということだな。1時～3時、という案内だったので、昼飯を食べておかないと大変だ。明日はちょっと早目に寝よう。今晩はまた夜更かし（朝早し？）するつもりだが。大河ドラマを見て、それから他に幾つか見るか、数学をするかのいずれか。数学も気に成ってることが幾つかあるんで。上に書いた不定方程式のこともあるし、Skolem の p-adic method をいい加減勉強するか、と思っているが、どうするでしょう？取り敢えず Mordell の不定方程式の本（紙のものが無いので、仕方なく電子書籍を買った）は開いてある。どうするでしょう？正解は明日。

4失点中2失点が押し出し四球、1点がセーフティースクイズで、負けた気がしない

ふなごやに入ると何か変。どうしてかと思ったら BGM が流れていなかった。何曲でも流し放題の所と契約してるそうで、タブレットを繋いで流しているが、タブレットがいかれたらしい。幸い Uber Eats や出前館の注文を捌くためのもう一台のタブレットがあるので、昨晩はそっちで凌ぐと言ってた。で一組いた客が帰った後は例によって三人で楽しく呑んできた。超寝不足だが寝落ちしなかった。お二人はいつもはどっちかが寝落ちしてしまうことが多いが、昨日は小生も含め誰も寝落ちしなかった。楽しかった。途中から記憶が無いが、払ってる場面は記憶があった。いつもよりちょっと安かった。セブンイレブンで PayPay にチャージした場面も記憶があるが、5000円チャージして1万円投入して、中々お釣りが出てこなくて、ん？と思ったのを覚えている。で出てきた釣りが全て旧1000円札で嬉しい、と思った記憶もある。

で帰ってきてすぐダウンした。流石に超寝不足。が、あまり長時間寝ないで起きてしまった。適当に食事して、まだ野球まで時間があったので、もう一度寝床に戻って、YouTube を見たりして時間潰し。で2時を過ぎていたが、何か起きる気がしない。でうだうだとやっていて、時々スマホで野球のチェック。尾形は今日もいいようで、点を与えない。で3回裏にチャンスを作って、牧が先制の2点タイムリー2ベースヒット。よしよし、ということで起きた。が、起きない方がよかった。4回表に尾形が死球で初めて走者を出し、そこからヒット、四球で満塁にし、押し出し四球で1失点。まあそれで凌いで、5回1失点だからよしとしましょう。問題は7回表に登板したルイーズ。四球、送りバント、外野フライの後、三者連続四球で押し出し。独り相撲で同点にされてしまった。まあその後は宮城が1球で抑えたからいいと思わないと。その後どちらもチャンスを作れず、好守も出たりで11回終了。12回表を抑えて12回裏にサヨナラ勝ちを、と願ったが、12回表に康晃が2失点してしまい、12回裏は走者を二人出すも、蝦名が三球三振で the end。4失点中2点が押し出し四球、1点がセーフティースクイズと、何か負けた気がしないが、仕方ない。筒香も石上も佐野も蝦名もいい守備を見せたし、レイノルズは2回を無失点。収穫はあった。が、木曜日のサヨナラの立役者三森が代走で出たが牽制で刺されたり、宮崎が変な空振りをして三振に成った後何かアピールしていて、キャッチャーミットにバットが当たって打撃妨害を主張するも判定は変わらず、長時間抗議した相川監督が退場宣告されたりと、色々嫌な場面もあった。1か月振りのカード勝ち越しはならなかった。まあ3回裏に点を取って以降点が入らなかったのが問題だ。10安打は打って得点圏に何度か走者は進むも、点が入らなかった攻撃陣に問題がある。残り6試合どうにかしましょう。交流戦はここまで4勝8敗。残り6連勝して貯金2で終わればいいのだ。火曜日から Fighters と、金曜日から Marines とで、いずれも敵地でだが。

あ、勝ち投手は伊藤優輔でプロ初勝利らしい。Baystars はお優しい。根尾にプロ初勝利を献上したり、Eagles に交流戦初勝利をさせてあげたり。伊藤は Giants にドラフト4位で入ったそうだが、その後故障したりで苦労したそうだ。2024年は Giants で8試合、防御率 1.04、去年は Hawks に移籍して5試合で防御率 0.00、今年は11試合登板で防御率 0.73 と、投げれば結果は残してる。今後は頑張ってください。

他の試合の経過を気にしいしい見ていたが、Giants が1点リードしていて、む、と思ったが、中継中に入った情報だと追い付かれていた。ライデル・マルティネスが安田にホームランを打たれたとか。よしよし。で最終的には引き分けで終わっていた。試合後にスマホで仕入れた情報だと、坂本勇人の頭脳的なプレーで併殺に成る筈の所を、1塁を守っている何とかいう外国人がそれを無にするプレーをして走者を残し、その後1点取られたそうだ。こういうことをやってるようでは低迷は続くだろう。まあよそ様の心配をしている暇は無いわけで、Baystars もこのままでは浮上出来ない。頑張れ。

普通の月曜日は2時55分までに職場に行けばいいのだが、明日は保険会社の人と1時に会う約束をしてしまったので、早目に行かないと。二日続けて寝不足だから、今日はちゃんと寝る。大河ドラマは明日見よう。今回はうまくいってたかに見えた播磨攻めが一転窮地に、とい話らしい。竹中半兵衛が倒れるシーンが予告で流れていた。確か半兵衛は播磨攻めの時に陣中で没するんだった。黒田官兵衛が荒木村重に幽閉されて、信長が官兵衛が村重に味方したと思い込み、人質に成っている官兵衛の嫡男（後の黒田長政）を殺せと命じたのを半兵衛が匿った、という逸話があるので、半兵衛が死ぬのはまだちょっと先だろうが。今読んでる文庫本の主人公は竹中半兵衛だが、まだ信長の浅井・朝倉攻めの前。当分掛かるな。まあゆっくり読みます。

スタメンではなかった牧が9回に代打で出てホームラン（負けたが）

結局「エラー」の残り4話を見てしまい、その時点で結構な時間。考えないといけないことがあったが、それの関連で別のことを考えて、ちょっとヒルベルト理論の別のことをちょっと勉強した。学生に読んでもらった所だが、忘れてた。こんなこと成り立つんやね。代数体は標数0だから、ガロア閉包の存在がすぐ示せて、そこにヒルベルト理論を適用すると、ガロアでない拡大でも示せてしまう。面白かった。

で寝床ででウダウダと YouTube を見ていたりしたが、眠くならないな。あっと言う間に12時半を回って、腹が減ったのでカップ麺でも、と思ったらポットが空。つかん。でお湯を沸かして食べ終わって、もう1時半くらい。寝床でウダウダしてたらあっという間に2時。野球の時間だが、寝床で引き続きウダウダ。1回裏に3四球で1点くれたが、その後点が取れなかったのが響いて、あっという間に逆転された。その後全然点が取れない。牧は脚の故障で抹消されていたので、無理はさせられないからか、今日はスタメンから外れていた。やはり牧がいないと点がとれないか、などと思っていたら9回裏に代打で出てきて、何とホームランを打った。やはり牧がいないと。明日はスタメンだろうと解説者が言っていたから、かく願いたい。

でその後ちょっとだけ寝たが、超寝不足であることには違いない。が、やはり土曜日は顔を出しておかないとよくないので、今から呑みに行く。寝落ちするだろうか？案外大丈夫だったりするが。ま、どっちでもいいでしょう。ということで行ってきます。

4ホームラン（1イニング3ホームラン）で8得点と、牧が戻ってくると違う

昨晩も「エラー」を1話見てしまい、寝たのが結構遅かった。で今朝は11時半過ぎまで寝ていた。急いで出掛ける。職場に着いたのは12時半ちょいで、幸い弁当は売ってた。食して後個研室でしばしボーっとして、1時過ぎに講義室へ向けて出発。

金曜日は「代数学I」。既約元だが素元でないものの例を挙げてから、P.I.D.では x≠0 に対し x が素元 ⇔ x が既約元 ⇔ (x) が素イデアル ⇔ (x) が極大イデアル、などを示して、それから P.I.D. は  U.F.D. の「嘘」証明、をやって、Z と K[X]（K は体）が U.F.D. であることを示したら大体時間。次回は既約元分解しておけば g.c.d. は容易に求まる（小学校か中学校で習っている）話をして、ユークリッドの互除法とか整域上の多項式は根の個数が次数以下とかやる予定。今日で9週目が終了。残り4回。本当に時間の経つのが早い。

少し休憩してゼミ。今日は分岐指数とか相対次数とかやって、多項式の分解が最小多項式の分解で分かるというあれをやって。前半はイデアルを延長する話とかやってて退屈だった。途中から真面目に聞いた。やっぱり難しいな。ちゃんと読めてるようなのでいいでしょう。来週はちょっと早目に終わらすと言ってた。教員採用試験が土曜日にあるそうで、それのためだと。教員採用試験って受けたことないが、大変なんだろうな。今日は大体フルに6時過ぎまでゼミをしてたが、疲れる。短時間で済むと嬉しい。

一箇所講義中にノートに変な所というか説明が不足してる所を見付けた。毎年やってるのに何故かミスが残っている。いや、既約元と同伴なら既約元、を示すのだが、小生この手のやつを「自明」とか「演習」とせずにきっちり証明している。が、0でないことと単元でないことの証明が抜けていた。いや、自明だからいいんだが。で直して、演習問題を web に上げるかどうか確認する作業だが、今週の内容だけでは問題が薄い。来週上げずに二回に分けて今週も来週も少しずつ、としてもよいが、まあ来週一括にしよう、ということで。で実際に問題を解きながらチェックしたが、色々忘れてる。秘蔵の代数学の問題集を見ると、証明がいかにも小生の書いたものという風に書いてあるのですぐ分かる。こうやるんだったか。で見てる最中に幾つか問題を思い付いたので、また TeX 化したりとかそんなのをずーっとやってた。で結局いつもの通り9時過ぎまでいた。

途中野球をチラチラと見た。リードしてる。1点先制されたが、すぐ裏に3点取り返して、どうやって取ったのかと見たら昨日復帰した牧が3ランホームラン。牧がいるとやはり違う。勢い付くと止められないのが Baystars 打線で、5回に度会2ラン、ヒュンメル2ラン、松尾ソロで一気に5得点。いいですね。帰る前に見たら終わってて、無事連勝。7連勝だかしてた Hawks を止めた。祐大が出てないな、と思ったら、有鈎骨の疲労骨折とか。古巣とやるのを楽しみにしてたろうに。移籍後は .349、2ホームラン、9打点と活躍していたが。セ・リーグのチームをよく知っているということで、登録抹消するがチームには帯同するらしい。が、やはり出てるのとでは重みが違う。祐大が出てたら今日のようにはいかなかったろう。明日、明後日も勝って、3タテで4連勝といきましょう。

野球の情報を見てびっくりしたのが、Dragons が5連敗していたらしい。交流戦は初戦から4連勝したところまでは意識していたが、そうだったか。今日復帰の岡林がいきなり初球の自打球で悶絶していたそうだが、幸いそのまま出て、で、連敗が止まって5勝5敗に成ったようだ。今年はどこも連勝、連敗するな。Giants は一旦7連勝だかしたが、次の日からすぐ5連敗して、監督はイライラが募っていたかあんなことに成って。で Giants は今日勝って4連勝だと言ってた。差が広がってしまうな。明日は負けろよ。

昨日のゼミでちょっと学生に嘘を言ってしまった。うろ覚えは良くない。藤崎先生の代数的整数論の本を見たら S₃ 拡大の場合の例が出てた。加藤和也、黒川信重、斎藤毅「数論1」に出ている説明は難しくて分からなかった。藤崎先生の本だと基礎体を Q にしてたが、別に Q である必要は無い筈。ガロア群の情報だけが問題だからね。ヒルベルト理論恐るべし。後でもう一度考えて、明日にでもメールしておこう。今日は「エラー」の続きを見るか、早目に寝るかどちらか。早目に寝る、と言って寝たためしはないが。朝型、というのは朝早く起きるひとのことを言うが、朝早くまで起きてるのは朝型ではないんだろう。夜型、というのと朝まで起きてるのは違うと思うが。深夜に成れば成るほど元気が出てくる。勿論無理の出来る年齢ではないので、次の日は一日ほぼ何もしないので、ちゃんと寝て二日に分けて色々やるのがいいのは分かってるけど、夜更かしは子供の頃から大好きなんでね。ま、この後どれくらい眠くなるかによるわ。ということ答え合わせは明日。

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兄弟（若隆元たちのことね）も三男が一番活躍してる。小早川隆景は天下をとれなかった。若隆景は大関、横綱と駆け上がって、天下を取ろう。もう若くないんだ。今度のチャンスを逃しちゃならねえぞ。今場所は霧島以外の横綱、大関は初日から休場だったり怪我して休場だったり負け越して休場だったりと冴えなかったので、強い大関は大歓迎だ。霧島も優勝を逃したが、来場所の結果次第では横綱だ。どっちも頑張れ。