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

尾形崇斗が 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 移籍した桑原が開幕から好調だったのに肉離れで離脱した。が、もう復帰していたようで、今日の試合では手痛い一打を食らってしまった。やはり桑原が抜けたのは大きいな。明日、明後日は程々にしてくだされ。

3ランホームラン一発の3点のみで何とか勝利（交流戦初勝利）

どうも遅くまで起きていてしまうな。でそのせいで起きたらもう2時くらい。2時55分に「数理科学セミナー」を開始出来る状態にしないといけない。取るものもとりあえず出掛けよう、と思ったら、有理点が見付かってる。急いで USB メモリーにコピーして、2時10分に成る前に部屋を出る。が、ついてない。立体駐車場が何やら作業中。人がいなかったが、「車出したいんですけど」とちょっと大声で言ったら下から出てきた。二人組でやっているようで、もう一人の人にパレットが動く旨伝えていた。でパレットが動いてる最中にもう一人の人が隙間からひょこっと顔を出した。結構狭い隙間だと思ったら、人の一人くらい通れるんだな。小生はデブだから無理か。で出発してインターチェンジで渋滞情報を見ると、草津田上－信楽間で渋滞がある模様。うー、急いでるのに。実際どれくらい混んでるか分からないので、瀬田西で降りた。で生協で弁当を買って食す時間も無く、カレーパンを一個買って齧ってる最中にチャイムが鳴った。

今日の「数理科学セミナー」はフェルマーの小定理の話。が、色々いけない。主張の前に数値実験をして様子を見て、という所をやろうとしない。言うと「すぐやります」と全然関係無い話を始めて、フェルマーの小定理の証明もテキストと違ったことをやってる。言ってもやめようとしない。日本語が苦手な留学生のようだが。途中間違えている所もあって破綻しかかってるだが、やり続けている。で一通り終わって気が済んだか、と思ったので、最初の数値実験の所を飛ばしてはいけない、来週やりなさい、という旨を言って、それからテキストに書いてある証明を紹介するようにも言っておいた。皆が色々なことの別証明をしたりするので、そうしなくちゃいけないのかと思ってるかもしれないが、テキストの輪講なんだから、書いてあることにはある程度沿ってもらって、それで余裕があったら別証明をやればいいので、最初からテキストの証明を無視するのは好かん。日本人じゃないんでニュアンスが伝わるかどうか分からないし、小生元々言ったことがきつく聞こえる方なので多少は遠慮したが、十分きつかったかもしれない。まあいいです。来週はちゃんとやってください。10分くらい前に終了。

その後はゼミがあるので、学内のファミリーマートでサンドイッチを買って齧っておいた。8時過ぎまで空腹に耐えられそうにないのでね。今日のゼミは算術級数定理の証明。色々準備してあるので証明だけだが、まあそれでも大変なことには違いない。何度か証明を読んだことがあるが、時々分からないので質問する。χ が単位指標じゃない時に L(1,χ) が0でないことにデデキント ζ  関数を使った類数公式を使ったが、これの証明は大変。解析接続もしないといけないが、2年前に読んだ本では解析接続せず、留数を (s－1)ζ_K(s) を s→1＋0 した時の極限値が求まるので、という形でやっていたが、それでも大変は大変。結構何週間も掛けたような記憶がある。L(1,χ) が0でないことはもっと純粋に解析的に示せるが、その証明は正直理解したことがない。やはり代数体をいじってるんで類数公式に頼るのが一番だな。その後 Dirichlet 密度をちょっとやって8時くらい。素数全てからなる集合が密度1、という当たり前みたいなことでもやるとちょっと大変だが、mZ 中の素数の密度が φ(m) というのがやってあるので、一瞬では？と思ったが何やら始めた。要するに m＝1 の時に証明しているんだが。公差1の等差数列とか公比1の等差数列とかあまり考えないよな。いや、対比なら公差0の等差数列か。こういう極端な例も考えると大事なのだ。単位元だけからなる群とかね。あ、思い出したことが一つ。永尾汎先生の代数の本は気に食わないことがある。環の定義に0と1が異なることを要請していて、これはまあよくあるのでいいが、環 R のイデアルに R を含めてない。R/R の元は一個だけなので環ではない、ということなのだと思うが。いやいや、イデアル類群考える時に困るでしょ、分数イデアルの群はどうするの？という気がして、それから嫌に成ってこの本は開いてない。どこに閉まったかも忘れていたが、この前ひょこっと出てきた。開いてないけどね。

その後ちょっと伝票を経理に送る作業。この前学科の事務室に行ったら、その手続きをする用紙が無くなっていたので、事務の人に言っておいたらファイルを送ってくれた。印刷して送る手続きをして終了。その後ちょっと数学。何か色々気に成ることがある。腹が減ってるので、ちょっとでやめた。野球の様子を見ると、3－1とリードした状況で9回表。康晃がランナーを二人出してしまったが、数分後に見たら終わってた。併殺打、ピッチャーゴロで打ち取って点を取られなかった。良かった。今日は3点取ったが、代打京田の3ランホームランのみの得点と、相変わらず。まあ勝ったのでいいです。3タテ食らわなかったし、東が Buffaloes 戦初勝利でシーズン5勝目。いいでしょう。今日の交流戦はセの勝ちが Baystars と Dragons のみ。Dragons がセ唯一の3連勝、Baystars と Giants が1勝2敗、Swallow が2敗1分、Carp、Tigers が3連敗。今年もパ・リーグが強いな。昨日 Swallows が引き分けたお陰で、セ・リーグの順位は分かりやすくなった。Tigers と Swallows が勝ち負け引き分け全て等しい。勝率の差でどっちが上とか分かりづらい。分かりやすくなった。

今日は栄養が足りてないから、ガストでハンバーグを食べることにした。JAF メートに付いてた割引券を使いたいのもあって。一回目はどうやるか分からず、店の人に聞いても彼女も首を捻っていた。見たことが無い割引券だと言ってた。二回目は順序を間違えて使えず、今日こそは使ってやる、ということで。でハンバーガーを頼んだが、失敗。ご飯とセットなのかと思ったら、セットが欲しかったらそう頼まないといけなかった。急いでご飯だけ頼む。すぐ来た。うん、まあ、期待したほどの味ではなかったが、まあいいです。肉は年をとっても食べないといけないそうだし、食べ続けるよ。割引券がちゃんと使えて嬉しかった。

今日は結構な雨に成るようなことを言ってたが、車を停めた時も「数理科学セミナー」が終わった時も帰りもガストで食べ終わっても降ってなかった。が、車が濡れてたので降ったのだろう。などと思って走っていると、時々降る。こういう中途半端なのは嫌だ。湿度は高いし、非常にやな感じ。明日は雨は降らないようだが、暑いようなことを言ってた。明日の講義は歩いて書いて喋っての「代数学I」だから、暑いと嫌だ。まあ我慢するけど。明日も新名神の工事は続いてるから、ちょっと早目に住処を出られるようにしたい。それには早寝だが、つい夜更かししてしまうからいけない。程々にしよう。USB メモリーを取り出して作業すると遅くなってしまうから、鞄に入れたままにしておこうか？それでもやれることはあるんでね。そうしよう。いや、有理点探しさせたいから、やっぱり USB メモリー（作業メモが入ってる）は出すか。あまり難しいことを考えなければいいんだな。そうしよう、うん。

明日遅く帰ってきてもいいように先週の「座王」を見ておこう、と思ったら、「アメトーーク！」が終わってからでは遅くなる。今週は「ゲーム大好き芸人」というくくりのようで、あまり面白くなさそうだ。「座王」見るか。先週「ソフトテニス芸人」というのをやってたが、もうあれから1週間経ってしまったか。1週間早過ぎる。小生ソフトテニス（軟式テニスと言いたい世代）の経験は少しだけある。小生が大学生の頃は卒業するために体育の実技と講義で一定の単位取る必要があった。1年目は抽選に漏れて、水泳という超キツイのをやらざるを得なかった。が、一浪して太ったのが大分元に戻って嬉しかったが。ラッシュの電車に揺られて消耗していたのも体重が減った理由の一つだが。で2年の時は軟式テニスをやった。水泳は文学部のキャンパスまで15分ほど歩いて行かないといけなくて大変だったが、軟式テニスは理工のキャンパスで出来るので良かった。幸い友人が軟式テニスのラケットを持ってたので、1年間貸してもらった。面白かったのでよかった。最後サーブを規定数打って、規定数インに成ったら単位を出す、と言われいたが、小生といつも一緒に組んでくれた人（4年生だった）も小生もサーブが超下手で、確か3点マッチをやって、小生が3本サーブミスして向こうのゲーム、向こうが3本サーブミスして向こうのゲーム、小生とコンビを組んでた人が3本サーブミスして向こうのゲーム、と、助手に就いていた人が「駄目だ、もっと練習しなきゃ」と怒られた。で試験の日はコートの隅で二人でサーブ練習をしまくって、小生は無事一発合格したが、相方は結構ミスしていて、大丈夫かいな、と心配して見ていたが、球拾いをしていた奴が阿呆で、ミスした球をどんどん籠に戻すからエンドレスに成ってしまい、先生激怒。一からやり直しに成って、相方は緊張が解れたか無事合格。よかった。昭和の昔の思い出だ。数学科なのに物理実験と化学実験が必修で、これらは最高に嫌だったが、体育は楽しかった。えーと、「アメトーーク！」の軟式テニス芸人の回、結構面白かったんで、見てみてください。まだ Tver でやってるかな。

ノートパソコンにマイクが無い？

今朝は10時前に目が覚めてしまった。昨晩は「テレビ千鳥」が終わってもちょっと起きていたので、若干寝不足だがいいかと起きた。打ち合わせまでちょっと時間があり過ぎるな、と思って閃いた。はま寿司で食事といこう。シャワーを浴びてから椥辻店の営業時間を調べると、11時開店。あまり早く着いても入れてくれないかも、と思って10時40分に部屋を出た。が、予想外に早く着いてしまい、10時50分にも成ってない。が、幸い駐車場に停めることは可能で、店にも入れてくれた。発券機で順番を確保して、で11時ちょうどに成ると「〇〇〇番、〇〇〇番、〇〇〇番の方」と呼び出された。3人待ってたが、何故3桁なのかは謎だが（200番台だった気がする）。で期間限定のものなどを中心に食べたらあっと言う間に2000円を超えてしまった。まあいいか。美味しかったからいいです。

山科に「めんめん」という憩いの場所があって、名前の示す通り饂飩屋だが、山科で遅くまで呑んだ人や呑み屋で働いている人などがいつも集結して満員だったが、少し前に惜しまれつつ閉店した。でこの前ふなごやで聞いたら、もう更地に成ってしまってるとのこと。ではま寿司の帰りに確認してきたが、確かに跡形も無くなっている。うーん、寂しい。カレー饂飩滅茶苦茶美味かったし、メニューに載ってないのに焼き魚など頼めば出てくるものが幾つもあって、最高に楽しかったが。更に呑むことも出来たし。跡地には何が出来るんでしょうか？めんめん復活してくれないかな。

でちょっと遠回りして帰ってきたが、まだ12時ちょっと。眠いな。我慢して起きてたが。で打ち合わせだが、Zoom を起動したが何かおかしい。カメラはあって顔は写って向こうの声も聞こえるんだが、マイクがどうしたとかメッセージが出てる。マイク無いの？そんなことある？まあ仕方ない。こっちの言い分はチャット機能を使って伝えるか、ということだが、もう一人の教務委員の先生が完全に仕切ってくれたので、特に言うことも無く終了。マイクが無いと不便だから、USB 接続の物で安いのがアマゾンにあったので、買っておいた。どっかいじれば使えるように成るのかとも思うが、考えるのも面倒臭いし、2000円弱だからいいや。今年はもう研究費を大分使ってしまってるし、こういうのは私費でいいです。

その後ちょっと寝た。で今日も5時45分から野球だから、と思って起きて、今日は TBS チャンネル2でなく NHK の BS で見よう、と起きてチャンネルを合わせると、始まらない。中止か？と思って速報の頁を見ても特にそういう情報は無い。変だな、と思って見ると5時45分でなく4時45分だった。何だそうだったか。1時間「ニュースおかえり」を見て時間潰しをして、5時40分過ぎに今度こそということでテレビのリモコンの BS ボタンを押した。

今日も Buffaloes と横浜スタジアムで。1回裏に1番蝦名がヒットで出塁し、ヒュンメルがタイムを掛けたが受け入れてもらえず、急いで体制を立て直して打ったら何とタイムリー2ベースヒット。あっさり先制もその後が良くない。度会のショートゴロの時にヒュンメルが3塁へ走りタッチアウト。行いが良くないと罰が当たるもので、2回表にあっさり逆転される。4回表にも1点、5回表は2死無走者からヒット、ヒット、四球、ヒットで2点取られてしまう。むぅ。5回裏に度会のヒットで1点取り返すも、度会がまずい走塁で挟まれてタッチアウト。解説の井口資仁氏曰く大変勿体ない攻撃だ、と。仰る通り。9回裏に一発出れば同点という場面を作ったが、結局無得点でゲームセット。ここ5試合1点、0点、1点、1点、2点と打線は大分重症。それでも一つ勝ってるのが奇跡。1－0で勝ったからね。トレードで来た井上朋也をスタメン5番で起用したが、全く打てそうになかった。好調勝又は左が先発ということで9回に代打で出るまで出番は無く、佐野もスタメン落ちで9回に代打で出場、なのに同じ左打の石上が先発で出ているのは謎。まあ監督、首脳陣の決めたことだ、文句は言いますまい。明日勝って3タテは回避しないと。東ならやってくれる、と言いたいが、先週は8回3失点完投だが味方が1点しかとってくれず負け投手に成ってしまった。点を取ってください。頼む。

ちょっと作文の依頼が来ていた。今日依頼が来て今日中というのはちと辛い。野球を見る以外に用事が無かったからいいけど、講義の後夕刻乃至夜までゼミの後にこれ、と成ると大変なので、 もう少し余裕が欲しい。会ったら言っておこう。子供の頃作文を真面目にやってなかった報いがこういう所で来る。英国数理社も体育も技術家庭も音楽も美術も大事だが、結局一番大事な能力は作文ではないか？という気がする。読書感想文を AI にやらせる子供が多いそうだが、そういうことをやってると大人に成って苦労するよ。この前大学受験のために必要な英検を予備校講師に替え玉受験してもらったのがばれて、大学合格も何もかも取り消しに成ったというとんでもない事件があったが、苦労してやらないといけないものを安直な手や金の力で逃げようとするとロクな大人に成れない。楽したいのは分かるが、苦労はしましょう。ということで、今年からレポートの評価をちょっと厳しくしようかという気に成ってる。いや、ずるを出来ないようにするだけ。そうしよう。

あ、ボブ・ホーナーが死んだそうだ。日本デビュー直後の豪打は忘れられない。「地球の裏に別の野球があった」だか何かそんなことを言ってた。68歳だそうだ。もと年上かと思ったが10歳しか違わなかったか。ご冥福を祈る。

交流戦の開幕戦は惨敗

昨晩は呑み呑み「歴史探偵」を録画してあったのを見たが、面白かった。謙信亡き後の上杉の家督争いの話は新田次郎「武田勝頼」で初めて知って、その後大河ドラマ「天地人」等で何度か見たが、そこで武田と上杉が同盟を結んでしまうというのを知った時はビックリした。まあ結局それが武田滅亡に繋がったんだけど。武田が滅亡した年に本能寺の変が起こっているが、上杉は本能寺の変の直後に織田軍が撤退して何とか命脈が繋がったのが面白い所。上杉景虎のことを書いた小説を2冊持ってるが、読んでみようかな。「上杉景虎」と聞いて謙信のことでは？と思うのは大きな間違い。謙信が景虎を名乗ってる頃の姓は長尾。上杉を名乗る時に将軍義政の一文字を貰い政虎、将軍が義輝に変わった時に一文字を貰い輝虎と名乗っているので、上杉景虎を名乗ったことは無いのだ。えーと、文庫本はどっちも分厚いので、読むならもうちょっと先だな。今読んでる文庫本も結構厚い。まだ半分も読んでない。読んでない本が沢山あるので、ちょっとずつ片付けないと。でそんなこんなしているうちに眠くてダウンした。酒がもう一缶残ってたと思うが。

で起きたらもう野球の時間。交流戦開始。今日は試合後の何かやるらしく、5時45分プレーボール。ちょっと遅れてテレビを付けたら、もう2点取られてる。…。平良が良くないようだ。更に2点取られて、早くも4点差。すぐ1点取り返したが、相変わらず打線が湿っている。平良はその後立ち直って無失点だったが、やはり打線が点を取らないと中継ぎ陣が耐えられない。ルイーズ、坂本が失点し一方的な差に成ってしまった。やはり Buffaloes は好調だ。今年の交流戦も苦戦しそうだ。兎に角打線が立ち直らないと。優勝どころかAクラスも難しいぞ。

幸い Giants が大敗してくれた。やはり皆ショックを受けているだろう。監督は退任で、代わりに橋上が指揮をとるそうだ。OBどころか生え抜きしか監督にしなかったチームが、現役時代球団にいたことが無い人が指揮をとるのは初とか。いいんじゃないんでしょうか。もう「伝統」がどうしたとか、「結果が求められるチーム」がへちまとか、「優勝を義務付けられてる」とか言わず、セ・リーグの一チームとして出直すのが大事でしょう。その為には是非もう一度最下位に沈んで欲しい。それでファンが付いてくるなら本物だし、同じ読売系だったヴェルディのようにファンも読売グループも離れてしまうならそこまでのチームだったということだ。

今「報道ステーション」のスポーツコーナーが終わったが、今日の交流戦はパ・リーグが5勝。セ・リーグで勝ったのは最下位に大きく沈んでいる Dragons だけ。こういうのがあるから交流戦は助かる。明日は独り勝ちしましょう。

明日は1時からオンラインで打ち合わせがあるので、今日はそれなりに寝ておかないと。OIC（大阪茨木キャンパス）にある学部との話し合いだが、大阪まで出向かなくてよくて、向こうもこっちに来なくてもいい。いや、それどころか住処から打ち合わせが出来る。いい時代に成った。コロナ以降の話だから、「いい時代」は少々不届きな発言だな。まあそう思ってる人は多いだろうけど。ただ呑み屋は宴会が減ったり遅くの客が来なくなったりして痛手だろう。電車の終電が早くなったのも遅くまで呑まなくなった理由の一つだな。湖西線の前の終電は12時12分だったそうだが、今は11時51分が終電。堅田に住んでる知り合いが不便に成ったと嘆いていた。京都の地下鉄は深夜に烏丸線と東西線の連絡のための電車が遅くに一本あったが無くなっていたし、京都の話ではないが京浜急行には「深夜特急」というのがあって、終電の20分後くらいに各駅停車と連絡の無い特急電車を走らせていたが、無くなっていた。そうすると京浜東北線、根岸線で磯子か桜木町まで行ってタクシーで帰れたが、調べたら京浜東北線の終電も早くなってた。しかも鎌田までしか行かない電車ばかりで、横浜の人は東京で遅くまで呑めなくなったね。まあ最早関係無いが。えーと、明日はちゃんと起きないという話だった。水曜日はアラームを設定してないが、仕掛けておかないと。顔出ししておいた方がいいだろうから、髭を剃ってシャワーを浴びて寝癖を直した方がいいだろう。いや、髭は寝る前に剃っておけばいい。オンラインだから細かくは見えないだろうからね。「テレビ千鳥」が終わったら寝よう。

多項式環の ABC 定理の証明は去年ちゃんと理解した筈だったが…

今朝は本当に訳の分からない時間まで起きていた。数学をやったのは少しだけで、後はほぼ非生産的なこと。ロクでもない。大河ドラマだけ見たら寝ればよかったのだが、つい。大河ドラマだが、武田信玄の死は持ちをのどに詰まらせるというロクでもない死因で、高嶋政伸ほどの役者にやらせておいて、登場後10分で終了と、実に無駄遣い。山県昌景は長篠の戦で激しく散る、という展開だったが、長篠の戦はナレーションで織田軍が鉄砲で圧勝した、という事実が伝えられただけ。山県昌景も割といい役者がやってたが。昨日は松永久秀の爆死がメイン。竹中直人にやらせただけあって、結構贅沢に時間を使ってた。竹中直人は流石というところを見せてくれた。でその後何をしたかは内緒。

で寝る前にもう一つ余分にアラームを仕掛けたが、正解だった。その最後のアラームで起きた。2時を過ぎていたので、急いで飛んでいく。「瀬田西－信楽 工事渋滞7km」という嫌な情報が出ていた。新名神が工事中だそうだ。草津JCTで捕まったら大変なので、瀬田西で高速道路とさようならした。で2時30分くらいに職場に着いて、生協で唐揚げ弁当を買って食して臨戦態勢。

今日のゼミは多項式環の ABC 定理だが、一箇所引っ掛かった。おかしいな、去年は完璧に理解した筈だが。学生と小生の二人きりというのがいけない。三人寄れば文殊の知恵という言葉が示す通り、二人パニックっても一人が冷静ならどうにかなる。二人で隘路にはまり込むと抜けられない。そこは一旦飛ばして、終わりまで流れを追って、後幾つか例をやった。適用例を見て毎年思うんだが、deg(rad(ABC))≦deg(ABC) という結構雑なことやるが、これで色々示せちゃうのが凄い。元祖 abc 予想は来週。ちゃんと勉強しておこう。5時30分近くに終了した。手間取って解決しない所で時間を食ったため、いつもより少し終了が遅かった。

6時から教務員の仕事。某学部のカリキュラム改訂に関する件で関わりのある先生方と Zoom で意見交換。前に「加藤先生」という名前の出たメールが小生に届いていたが、またか、と思ったのだが、本当に加藤先生という方がいるようだ。確かにそのメールのヘッダーには小生の苗字がちゃんと書いてあって、本文に加藤先生の名が出ていたから、その時点で認識しておいた方がよかったな。まあ今日分かったのでいいです。「BKC  に戻ってきたらいいん違いますの？」という意見があったが、それが一番全て丸く収まる気がするが。今日の話を受けて明後日当該学部のお偉いさんと打ち合わせ。荒れるぞ。

思ったより早く終わったが、少し考えたいことがあったのでちょっと。前に論文に書いたことの別証明が得られる？と思っていたが、何かおかしい。適当なところで諦めて帰ってきた。

早目に帰ってきた理由は、Blu-ray のディスクを取り替えないといけないから。日曜日に大河ドラマがやってるが、月曜日に大河ドラマアンコールで「八重の桜」がやっていて、さらに「英雄たちの選択」もあって、全部見たいぞ、となるとハードディスクがいつもかつかつ。「歴史探偵」の再放送が月曜の遅くにあるから、一旦消して、で「八重の桜」を録画するディスクを入れてあるが、「歴史探偵」の始まる前にディスクを交換しないと。ということであまり遅くならないようにした次第。でどうやら全部録れる。よかった。歴史ものを見る、歴史ものの小説を読む、野球を見る、くらいしか娯楽が無いのでね。あ、相撲も見るよ。相撲は昨日終わったので、ちょっと時間が出来てよかった。

で「報道ステーション」を見てる最中に驚きのニュース速報が入った。阿部慎之助が逮捕された、とのこと。何でも娘さんに暴力を振るったとかで。酔っぱらってたとの情報もあるとか。7連勝だか何かして Tigers に肉薄か、と思ったらその Tigers に3タテを食らって4連敗と、苛々が凄かったのかも。勿論それが暴力を正当化することにはならない。さあ紳士のチームはどうでるでしょう？明日からの交流戦で球界は盛り上がる筈なのにケチが付いたな。

でその後「過ぎるTV」を見てるが、京都三大都市、ということで京都、宇治、亀岡のことをやってるが、三大都市でも人口は京都が132万人、宇治が38万人、亀岡が8万人と、差が凄い。宇治は観光客が多くていいだろうが。黄檗にある萬福寺は行ったこと無いな。人が少ないのを自虐的に twitter に書いてるそうだが、今度行ってみよう。渋滞にはまると嫌だから、京都駅まで行って奈良線に乗り換えるか、六地蔵駅まで地下鉄で行って奈良線か京阪宇治線に乗り換えるかだな。暑くならないうちに行こう、と言いたいところだが、もう既に暑くなってきた。まあまだたかが知れてる。今日も30度を超えたようだが、梅雨時や真夏のようにベタベタしないからいいけど。行きたい所は幾つかある。仁和寺、石清水八幡宮、比叡山。全部電車で行くよ。仁和寺は嵐電で、石清水八幡宮は京阪とケーブルカーで、比叡山も京阪とケーブルカーで。比叡山の帰りは反対側のケーブルカーと叡山電車で出町柳、京阪で三条に出て、三条京阪から地下鉄でと、楽しそうだ。暑くなくて天気がよければね。ということで残された時間は僅かだ。酒呑むのを控えて行こうかな。今晩は呑んでしまいそうだが。あ、明日は資源ゴミの日だ。今からやらないと。

若隆景が25場所振り2回目の優勝。Baystars は交流戦前の試合を1－0で勝利。

昨日の晩は涼しかったからか、ふなごやの店長が表にいた。びっくりした。聞くと早い時間に客は皆帰ったそうだ。Tigers が勝ったのは知ってたが、こちらはテレビでずっと見ていたので、詳細を話してあげた。圧勝だったからね。で料理をいただいてから二人で呑んでた。いつもはバイトの人がいるんだが、今日は私用で来ないそうで、そのためいつもよりワインを呑み始めるのが早かった。寝不足だったので丁度いい。ジョージア州のワインははずれがないそうで、ラベルに “Ancient 8000” と書いてあったのを頼んだが、確かに美味しかった。でお開きはいつもより少し早かった。例によって途中から記憶があまり無いが、起きてレシートを見て思い出したことが。新500円玉がお釣りに含まれていたが、「セブンイレブンで使うからいいですよ」という趣旨のことを話した。セブンイレブンで水を買ったレシートが机に置いてあった。nanaco で買わなかったのはそういうことだ。

でやはり超寝不足だったからか、中々起きられなかった。起きたら4時過ぎ。野球はどうなってる？と起きてテレビを付けると、9回表。1－0 でリードしている状況。康晃が投球練習をしていた。先頭打者をヒットで出塁させるが、次の打者を併殺打に打ち取り、結局11球で抑え切り勝ち。これで通算244セーブ。藤川球児を抜いたそうだ。名球会まであと6。今年はいいぞ。先週の日曜日は石田裕太郎が1失点だが点を取れず負け、今日は逆に Baystars が1点で石田裕太郎が無失点。ここのところ点があまり取れない。少しどうにかしないと。石田裕太郎は9試合中7試合がクォリティースタートで防御率2.14だが3勝5敗。援護が無さすぎるね。どうにかしないとパ・リーグ相手に壊滅的に負けかねない。頑張れ。

で驚いたのが、今日の試合を最後にビシエドが日本を去るそうだ。家族をアメリカに置いて一人で日本に来ていたそうだが、やはり家族が大事なようだ。ポケモン何とかデーとかいうやつらしく試合終了後に何かやると場内放送が流れていたが、それを遅らせてビシエドの引退セレモニーをやってた。中々気の利いた演出だ。よかった。

ということで相撲を見始めるのがちょっと遅くなった。NHK にチャンネルを変えると、むすびまえの一番が仕切りの最中。熱海富士が結び前か。そりゃそうで、霧島以外の横綱、大関は全員休場だからね。で熱海富士は勝って9番。琴勝峰も9番で、新関脇が揃って9番なのは素晴らしい。来場所も期待出来る。で結びは霧島 vs. 宇良。宇良は曲者だから難しいか、と思ったが、霧島の圧勝。結局霧島と若隆景が3敗で残って、優勝決定戦に。さあどうなる？と思って見たら、何と若隆景が圧勝。数秒で決着がついてしまった。若隆景は2回目の優勝だが、前回優勝したのは25場所も前だそうだ。優勝間隔の第3位らしい。膝の大怪我で幕下まで落ちたが、よく戻ってきた。今度こそ大関に成りましょう。3度目の挑戦。今度こそ。霧島は優勝に準ずるということで、来場所レベルの高い優勝なら横綱に、という相撲協会の声が紹介されていた。来場所もまた楽しみ。

まだ眠い。寝床でウダウダとしながら YouTube を見てたが寝落ち。目が覚めてもう一度見始めたがやはり寝落ち。結局「サンデースポーツ」が始まるまで寝ていた。千秋楽は必ず優勝力士が出演するので見ることにしている。若隆景がスタジオに来ていて、元力士の親父さんのおめでとうコメントが紹介されていた。いいですね。三兄弟全員力士なのは有名で、毛利元就の息子の隆元、元春、隆景に因んだ四股名を名乗っている。若元春も幕内力士だが、長男の若隆元は関取経験が無く、何と弟の若隆景の付き人をやってるそうだ。若隆元は張り切って関取に成り、3兄弟同時関取を実現させて欲しいが。前例有るのかな？期待するぞ。

明日は2時55分からのゼミだけが用事の筈だったが、6時からちょっとオンラインでの会議に参加しないといけなくなった。教務委員は色々大変。まあ2年任期で2年目の方の先生が仕切ってくれるのでいいけど。来年度に似たようなことがあると小生が仕切らないといけない。面倒なことが起きませんように。

先発投手が1回表に60球も投げたらそりゃぶち壊しよ

今日は昼前にちょっと近所で用事があったので、寝ておかないと、と思ったのだが、つい「ゴチバトル」の2時間ものを見たりとか色々非生産的なことに時間を使ってしまい、結局殆ど寝なかった。いけないな。用事は割とすぐ済んで、なか卯で親子丼と鰻のあいがけのものを食べて帰ってきた。1時前。野球は2時からなので、多少寝てもいいが、あまり寝られないな、と思って寝床で YouTube を見てたら寝落ちして、ちょっとだけ寝た。

で2時を過ぎていて、スマホでチラッと野球の情報を見たら、早くも1点取られてる。…。もうちょっと寝床でウダウダして、もう一度スマホを見たら3点取られてる。…。起きてテレビを付けると5点取られてる。…。もう1点とられて漸くチェンジ。先発投手が1回表にいきなり60球投げて6失点。見る気が失せる。まあ水曜日の Tigers のようなこともあるから、という気がしないでもないが、今日の Baystars 打線はからっきしで、3安打しか打てなかった。投手陣は踏ん張った。2番手の若松は2本の被安打と4の与四球も無失点。宮城、坂本、吉野も無失点で、お気付きの通り0－6での負けという、先発がどうにかしていればという展開だった。入江は大いに反省しないと。下手をしたら今後先発の機会は無いぞ。松尾汐恩もこんなことは初めてだろうから、パニックったか？1回2アウトまではあっさりいったのだが。途中桑原のFA移籍による人的保証で Lions から来た古市がマスクを被った。まあいい機会があってよかったと言えばよかったが。明日は勝たないと。借金4で交流戦と借金2で交流戦では大分違う。明日は石田裕太郎か。いい内容でも勝てないからね。先週は1失点だが打線が点を取ってくれず負け投手だった。湿り気味な打線だが、裕太郎の為に明日は大いに打ちまくっておくれ。

1回表が40分くらい掛かったのに、その後どちらも点を取れなかったからか、5時ちょっとには終わってしまった。相撲を見よう、とNHKにチャンネルを合わせる。今日は優勝に関わる力士陣の直接対決が多かった。3敗の義ノ富士と4敗の藤凌駕は藤凌駕が制し、義ノ富士は一歩後退。3敗同士の若隆景 vs. 琴栄峰は若隆景が格の違いを見せて圧勝。結びは2敗霧島と4敗の伯乃富士。霧島が土俵際まで追い詰めるも伯乃富士が驚異的な粘りを見せ、勝った。霧島は3敗で、若隆景と並んでしまった。千秋楽にこの二人の直接対決があると面白いが、もう既にやってしまったので、明日は誰と？2横綱3大関だが、4人休場しているので、霧島の相手が分からない。明日の割はまだ発表されていないので、予想では伯乃富士か？とのNHKのアナウンサーの仰せだったが、今調べたら霧島の相手は何と宇良。東前頭11枚目が千秋楽結びの一番を任せられた。今日勝って10勝4敗だから、まあ優勝に関わりがあると言えばある。明日霧島と若隆景が揃って負けたら宇良も圏内に入ってくる。若隆景の相手はやはり4敗の藤凌駕。4敗の義ノ富士と琴栄峰が直接対決。伯乃富士は7勝7敗の藤青雲と。藤青雲は勝ち越しが掛かってるから必死だろう。どうなる？

で相撲が終わってそのままNHKを流しておいて、ニュースが終わったら野球が始まった。Giants vs. Tigers。1回表がほぼ終わってるところから中継開始。Giants の1番打者がショートフライを打ち上げた、と思ったら、ショート、サード、レフトがお見合いというかそういう感じで二塁打に成ってしまった。で1アウト3塁に成ったが、前進守備の内野ゴロで三塁走者がホームに突っ込みアウト。そのまま Giants は点が取れなかった。勝ってるチームと勝てないチームの差が出たか？Giants の外国人投手が三振を取りまくっていて、どうだろう？と思ったら、さすがは Tigers。ルーキー立石が2点タイムリーヒットで先制。立石はついこの間一軍デビューだったが、4試合連続安打。昨日は猛打賞とプロ初打点で、今日は2安打2打点。こういう選手をドラフト1位で指名出来るのが凄い。見る目があるというのと籤運が強いの。Tigers の先発村上は1回の先頭打者を不運な形で出塁させるもその後21打者連続で打ち取るという快刀乱麻を断つ投球。結局被安打3、無四球の完封勝ち。110球だったのがちょっと残念。マダックスいけるか、という感じだったが。Swallows の勝ち越しが11、Tigers は10。明日は Baystars が勝って、Giants が負ける（断言）から、首位交代だな。

さて呑みに行きます。超寝不足だが、まあ付き合いなんで。寝不足でも案外寝落ちしない。この前は久し振りにちょっと寝てしまったが、まあ大丈夫でしょう。もう野球が終わったが、客がいなかったらスマホで随時チェックしてご機嫌だろう。Baystars が Swallows に負けたので奪首出来なかったのは残念だろうが。まあ気持ちよく呑めますわな。ということで、洗濯機を回して出発。

あ、そうそう、1イニングで一人の投手が投げた球数の最多は確か64だと言ってたと思う。Tigers の吉野だそうだ。先発投手が1回表に60球も放ったのは初とか。まあそういうことだ。切り替えましょう。

講義14週のうち7週終了

今朝は10時半前に一旦意識が戻ったが、結局もう一度寝入ってしまい、何度もしつこく鳴らすように設定してあるアラームの何回目かで目が覚めた。11時くらい。起きてパソコンを見ると有理点が求まっていたので、然るべき後始末をしてからしばしボーっとして、11時半くらいに出発。12時くらいに職場に着いて、弁当を買って食して、またしてもしばしボーっとする。

1時10分から「代数学I」。先週より出席者が減った気がするが、こんなもんだったかいな？「数理科学セミナー」にいるでかいが気が弱そうな留学生の姿が見えないが。1時10分にチャイムが鳴ったので、気にせず始める。今日は素イデアルがどうしたとか極大イデアルがどうしたとか。剰余環を使った特徴付けをやったが、分かったでしょうか？分からないだろうな。剰余環が難しいし。極大イデアルの存在をツォルンの補題を使って示したが、いよいよ訳が分からんだろう。で P.I.D. を定義して、ユークリッド整域を定義して、Z と Z[i] がユークリッド整域であることを示して、というあたりで大体時間。ユークリッド整域は P.I.D. と板書して、「証明は来週」と言った後に気付いた。Z の時と同様、と書いて済ますつもりだったのだ。じゃあそう書いてから終わりにすればよかった。まあいいです。見ると上に書いた留学生はいた。バスが遅れたとかその程度のことだろう。真面目そうな学生だ。日本語は苦手らしいが、頑張ってくだされ。

休憩を挟んでゼミ。今日は n が素数冪の場合の n 分体の判別式と整数基の話から。結構大変だが、一般の n に対する円分体の Q 上の拡大次数が φ(n) であることはもう示してあったので、まだ楽だった。でその後イデアルの定義とかイデアルの和とか色々イデアルの細かいことをやって、分数イデアルを定義してから代数体の整数環がデデキント整域であることを示した辺りで力尽きたようだ。テキストに書いてある文章を一つ見逃して、それを使えば簡単に示せることの証明に苦労して時間を無駄にしたと言ってた。まあそういうことはあります。来週は素イデアル分解の一意性などをやる予定。石田信先生の代数的整数論の本を使っているが、この本のよくない所は二つあって、代数的数に一章使ってしまうので代数的整数の定義が中々出てこないこと、それとイデアル類群が相当先までいかないと出てこないこと。どの本も帯に短したすきに長しで、「数論序説」は代数的整数を平方剰余の相互法則を示すのに使うため早目に出てくるが、代数体という言葉が相当やらないと出てこない。分かってる人が拾い読みをするには適しているが、ゼミのテキストにはちょっとという気がした。連分数とかコホモロジーとか最初の方に出てるのに、使うのは本の大団円が近付いてきてからだし。正多角形の作図可能性も余計。藤崎先生の代数的整数論の本は細かいことが色々書いてあるのが嬉しいが、細か過ぎることも多いので、初心者にはきつい。ガロア理論の本もそう。小生が学生の頃はガロア理論の本は3冊もので、1巻の途中の体の拡大の所から読み始めて2巻のガロア理論の基本定理まで読んで終わり、ということにすればまあいいのだが。読み通そうとすると大変だし、実体とか付値論とかガロア理論とは関係無いことも出ているので、真面目にやり過ぎる学生は大変。まあ本のタイトルが「体とガロア理論」であって、「ガロア理論」ではないので。

今日で講義14週のうちは7週が終わった。もう半分か。始まったばかりだと思っていたが早いものだ。津山で喋る件や論文の直しなど結構慌ただしかった。まあ今年度は来てから1度も欠かさずやってる講義と、初等整数論の本を使ったセミナー形式の科目だけで、講義の準備に使う時間が短かったのでよかった。残りの7週間はどうなるでしょう？

昨日の晩ふと気付いたが、10年以上前に書いた論文で Q(√3p）(p≠3 は4を法として3である素数）上の不定方程式に関するある結果を示したが、この前やったことは Q(√3) を含む結果。ということは3が分岐して類数が奇数である実二次体は全部扱えた、と思ったら Q(√6) が抜けてた。で随分前に作った表を見たら、何と Q(√6) 上には解がある。そうだったか。多分すぐ出来るだろうが、寝ないといけないのでやめておいた。でゼミ後考えたが、出来た。ただ今まで奇数の場合しか相手にしてなかったので、6 はちょっと違った。そうだったか。面白かった。Q(√2p) の場合にどうにか出来ないかと思ったが難しそうだ。数表を眺めてると解がある場合はあまり多くないようだが。急ぎでやらないといけないことは特に無いので、また適当に時間を作って考えよう。

今日はちょっとボーっとしてる。晩飯を松屋と松のやが一緒に成った店で食べたが、自分の番号が呼ばれたのを少し気付かなかったり、赤信号に気付かずに突っ込んでしまったり。前者は店に迷惑が掛かるが、まあ大した時間ではなかったのでいいでしょう。後者は多分赤信号に変わったばかりのタイミングだったが、何にしても危険極まりない。少し先で工事をしてるという看板に意識がいってしまっていた。こういうのが年を取ると増えてくるのだろう。老人に成ったら（もう十分老人なのかもしれないが）気を付けないと。

などと書いてしばし。ちょっとびっくりしたことが。スピードスケートの高木美帆氏に国民栄誉賞授与を検討、というニュースを「報道ステーション」で言ってて、いいことだ、是非にもそうしてくだされ、と思って調べたら、何と今日は高木美帆の誕生日だそうだ。「報道ステーション」では言ってなかったが。凄い誕生日プレゼントに成ったね。オリンピックで10個もメダルを獲ったんだ。文句無いだろう。嬉しいね。色々不安にさせられるニュースが多い。いいニュースもないとね。

度会の通算安打数が親父さんの15年分を超えた

10時ちょいに一旦目が覚めて、お、これはうな松で割引券を使える、昨日の500円オフを食べ損ねただけに是非にも、と思った瞬間にまた落ちて、次に目が覚めたら1時ちょい前。あかんわ、今日も生協の弁当だ、と成ってしまった。「徹子の部屋」を見終わってからシャワーを浴びて、2時くらいに出発。こんな時間に出勤出来るのは贅沢なことと言えば贅沢なことだが、こんな時間に職場に行かないといけないのは不幸なのかもしれない、などと思ってから出発。パソコンの画面に「小雨」と文字が出てたが、入り口に近付くとザーザーと聞こえてきた。大雨じゃないか。

幸いフォレストハウス脇に停められたので、生協へ向かって弁当を買って食して、2時50分くらいに講義室へ向けて出発。今日は「数理科学セミナー」。先週から合同式を始めたが、今日は一人で終わってしまった。1次合同式を解く話だったり、n 次の合同式の（互いに合同でない）解の個数は法が素数だったら高々 n 個とかそういう話。学生は地の文を読まない習慣があり、2次合同式なのに解が4つある例を「この合同式の解は … の4つだけです」と流そうとする。何のためにそんな例が出てるか考えないと。色々本を読んでるだろうが、前書きとか章の頭に書いてある導入的な文章は是非読まないといけないが、そういうことの大事さがまだ分かってないのだろう。それと直訳する。よく日本語訳された本に「線形方程式」という言葉を見掛けるが、こんな用語使うか？「1次方程式」と訳せばいいのに。今日は「non-linear congruence」を「非線形合同式」と訳していた。一番いい訳語は「1次でない合同式」だと思うが、いかが？で色々話してたら、先週書いたことが当たっていた。今日喋っていた学生に Z の剰余環のこと、零因子の無い可換環のこと（零環でない、は意図的に言わなかった）を何ていう？と聞いても答えられず。何故かと言うと「代数学I」を登録してないとのこと。衣笠での教養系の科目の時間とぶつかってるので出られないという。まあ教養系の科目は幾つか単位を取らないと卒業出来ず、「代数学I」は必修でも何でもないので、取らなくても卒業出来る、ということなのだろうか？知らんけど。シラバスに挙げてある本を自習してるようなことは言ってたが、今日の話の感じでは講義より大分遅れてるな。秋学期は「代数学I」の知識を既知として「代数学II」をやるのでよろしく、という趣旨のことを言って帰ってきた。

休憩を挟んでゼミ。今日はディリクレ級数とディリクレ L 関数の話。アーベル総和法とか色々などのディリクレ級数に関する準備をして、ディリクレ L 関数の初等的な話。単位指標でなければ定義域に s＝1 を含められたので、それを使えば算術級数定理が証明出来るが、今日は結構手間取ったので、算術級数定理は来週。その後は密度のことをやるようだ。完全分解する素数の密度が 1/[L：Q]  とかやるのだろう。完全分解する素イデアルの全体が拡大を特徴付ける、なんていうのはまだ先かな。面白くなってきた。7時50分過ぎに終了。

その後部屋でここ数日考えたものを TeX 化して印刷。色々分かってきたが、もう少しどうにかしたい所があるにはある。まあ全部全て分かるわけはなく、且つ分かってしまったら面白くないので、もうちょっと考える。昔考えて論文にしたことの別証明が出来そうなので、考えてみる。途中チラチラと野球の様子を見ていたが、先制したのにひっくり返されて、負けていた。Carp 相手では無類の強さを誇っていたが、そろそろメッキが剝がれてきたか。決勝点が内野のエラーという、相変わらずの守乱ぶり。上がるにはこういうところをどうにかしていかないと。犯人捜しをするつもりは無いので名前は書かないが、期待して使ってもらってるんだ。成長しないと。まあ今日のは授業料ということでね。幸い Giants が負けてくれた。離されなかったのは救い。いいニュースもある。度会がヒットを打って、親父さんの博文氏が Swallows で15年現役続けて稼いだヒット数173を上回る174本目らしい。.310 は堂々のセ・リーグ2位。もっと打ちまくっておくれ。明日は謎なことに Baystars vs. Swallows だけ試合が無い。ゆっくり職場で勉強してこよう。明日は講義とゼミで、終了は一番遅くても6時15分。その後部屋で3時間くらいグダグダやろう。

雨は大学を出た時はまだ降ってたが、晩飯を食べたらほぼ止んでた。が、車を走らせてる内にまた降ったり、止んだりを繰り返して、住処に着いた時は傘が不要だった。明日は近畿は降らないという予報なので、もう大丈夫かな。明日は傘を持たないで行けそうで嬉しい。講義は1時10分からで、その時間だと一番大きいが遠い駐車場に停めないといけないので、雨降りは嫌だ。蒸し暑くなければいいが。前は6月半ばまで冷房が使えないと杓子定規なことをやられてたが、ここ数年の暑さで考え直してくれたか先週から冷房が使えるようになってる。何度も書いてるが、座ってスライド見せて講義という楽なものではないので、暑いのは堪える。8月いっぱいと9月の大半講義が無いのは日本の気候を考えると素晴らしい制度だ。夏休みは用事が無い限り日の高い内は外出しないことにしている。夜外出すると言っても近所のコンビニエンスストアに買い物に行くか呑み屋に行くくらいだが。食事は Uber Eats で。持ってきてくれる人は暑い中大変だろうが、まあお金に成るので頑張ってください。ふなごやの大将の知り合いが Uber Eats だけで月35万稼いだことがあると言ってた。協力しますよ。

Tigers の打線に物の怪が付いてきたよう（Baystars は4連敗でストップ）

結局相当遅くまで起きていた。論文から解放されたので、テレビを見たり計算したり。計算してて気付いた。昨日 mod 4 で 3 と合同でいいじゃないか、と書いた件だが、なぜ mod 4 で 3 と合同なのかは実は第一補充法則だ、と。だったら m が mod 4 で 3 でなく、m が mod 4 で 3 とう合同な素因数を少なくとも一つ持つ、でいい。冷静にやってると色々見えてきていい。Wiles が言っていたことだと思うが、最初は部屋は真っ暗で何も見えないが、少しずつ目が慣れてきて、電気のスイッチの場所が分かって、でスイッチを入れるとよく見える、というのはこうゆうことか？と。いや、7年屋根裏部屋で研究を続けた人と小生ごときを一緒に論じるのは無礼だな。短時間で問題を解いて点数稼ぐのとは違う面白味がそこにある。我慢強く数学をしましょう ＞ 学生諸子。

で起きたらもう相撲が始まってる時間。眠いが霧島 vs. 若隆景を見たくて必死に起きていた。やはり大関に返り咲いた霧島と、何度かの大関昇進のチャンスを逃した若隆景の差が出た一番だったな。昨日の時点で2敗が6人でトップだったようだが、今日の結果で2敗が3人という状態になったようだ。さあ誰が優勝するでしょう？

結びの一番の前に眠気がもう一度限界に来た。琴櫻が負け越した音声が聞こえてきた。今場所は調子がいいという事前情報があり、琴櫻のお爺さんの方の琴櫻の弟子だった琴風さんが残念がっていた。うーん。で野球を最初から見るのは無理だった。起きたら7回で1点リードしていたが、すぐ同点にされた。が、そこを1点で抑えたのでよかった。今日2安打の松尾がチャンスの場面で打席に立って、そこで初球スクイズ。代走に出ていた三森の好走塁も効いた。4連敗でストップしてよかった。借金1に戻した。明日は東だ。やってくれる。

今日の Tigers は凄かったようで、7回表終了時点で7点リードされていたが、7回に4得点、8回に3得点で追い付き、9回裏にここのところ不調だった森下がサヨナラホームラン。98年に Baystars が優勝した時に打線を権藤監督が「物の怪がついたようだ」と言っていたが、今日の Tigers はそれを連想させる。こういう年は勢いが付いてフィニッシュ、ということがあるかもしれないが、Swallows の優勝も面白い。今日は Swallows は最初から予定が入ってなかったようで、Tigers は Swallows に0.5ゲーム差に成ったようだ。どうなるでしょう？Swallows は土曜日から Baystars と2連戦。金曜日に試合が無いのが謎だ。

しかし Dragons 弱いな。去年までは投手陣が売りだった筈だが、今日は投壊。一瞬最下位を脱出したが、見るといつの間にか Carp と3ゲームも差が付いてる。ホームランテラスだか言うのをバンテリンドームに設置してホームランを出易くする、というが裏目に出ているのでは？という気がする。パ・リーグもいつの間にか Eagles が最下位に成ってる。4月には一旦首位に立った筈だが。快調なスタートを切った Hawks が借金2で4位、出遅れたと思った Lions が一度は首位に立ったり（今日 Buffaloes が首位を奪い返した）、長丁場だからどうなるかはまだまだ分からない。それにもう来週から交流戦だ。去年はそこで Hawks が盛り返して、出遅れを一気に取り返して日本シリーズまで制覇した。分からんぞまだまだ。

不規則正しい生活を繰り返しているので眠い一日

またしても訳の分からない時間まで起きていた。ちょっとある事実を一般化できるのでは？と思い付いたので。mod 4 で1と合同を仮定していたが、これは方程式が偶数解を持たないことを合同式を使って示すのに使っていて、いや、偶数解が無いことを合同式なぞ使わないでも示せるぞ、と閃いた。でやったらその通り。でそれを使って示していた事実も一般化出来て、嬉しい。もう一つ気付いた。mod 8 で 3 か 7 と合同、としている箇所があったが、これ mod 4 で 3 と合同、でいいじゃん。ちょっとすっきりしてやはり嬉しい。でもう「おはよう朝日です」が終わりそうな時間。うまくいったと喜んでたら、占いで最下位に成ってしまった。まあいいです。でその辺でダウンした。

起きたらもう相撲の時間。が、やはり眠い。中々起きられず、途中から見たが、結びの一番で霧島が負けたのを見てもう一度ダウンして30分くらい寝た。

7時からマンションの理事会なので行かないと、ということで起きて、少々シャキッとさせてから出発。出発と言っても2階の部屋から1階のエントランスに行くだけだからすぐ。今日は困ったちゃんが出席するかもという話だったが、予定が合わずに来ないとのこと。予定があっても来ない気がするが。でその人の件でまたしても30分くらい使ってしまった。皆さんもいい加減どうにかしたいと思っているようで、何としても次回に決着を付けましょう、そのために管理会社の人よろしく、ということに成った。その後マンションの修繕についての話。建築について詳しいご老体がいて、その方がアンケートに専門用語を使うのはやめた方がよい、という適切なアドバイスをしていた。で幾つか意見が出て、結局8時半近くまで掛かった。途中やはり何度か眠くなったが、居眠りするわけにはいかないので、耐えた。

部屋に戻ってきて野球を見ると、またしてもリードされてる。9回に1点取るのがやっとで、ここ数試合貧打なのが目立つ。Giants が勝ってしまったが、幸い Tigers も勝って、Giants の2位浮上はならなくてよかった。明日は結構強い雨があっちこっちで降るようなことを言ってたから、明日は数試合中止だな。Baystars の面々は大分疲れてるから、休息した方がいいかも。ということで広島は雨降らないだろうか、と思ってみたら、やりそうな天気だ。まあいです。やるからには勝ってください。

上に書いた通り明日は雨で、ここ数日ほどの暑さには成らないと言ってた。ただ雨ということで当然蒸すらしい。嫌なこったな。木曜日も雨だそうだ。強い雨でなくて風が無ければ我慢する。金曜日は曇りの予報だが、木曜日の帰りに雨が止んでると嬉しいけど。

今眠いが、これから段々目が冴えてくるんだろう。生活リズムがそうなってるからね。昨日も書いたが、明後日も早起きの必要は無い。が、少数の学生と TA だけのセミナー形式科目で居眠りというわけにはいかない。ちゃんと寝よう、と今は思ってるんだがな。「不規則正しい生活」という名台詞を言われた方がいるが、まあそうなるな、多分。金曜日の講義は1時10分からだから、木曜の晩は多少早目に寝てるけど、普通の人の感覚では十分遅い時間だと思うが、さて何時でしょう？

「相異なる」を読めますか？

昨晩は案の定遅くまで（早くまで？）起きていて、そのため今日起きたのは1時半を過ぎていた。それでもまだ眠いが、出勤しないわけにはいかないので、2時くらいに出発。2時半くらいに職場に着いて、フォレストハウスの近くに停めて、生協で弁当を買って食す。

2時55分からゼミ。今日は多項式環の初歩的な話。車の運転中は集中してるから眠くないが、よく知った数学の話を続けられると眠くなる。しかも黙って書いてるだけ、それが済んだら読んで、みたいなことをされると益々眠くなる。結局ほぼ真面目に聞いてなかった。まあ大丈夫だろう。今日唯一突っ込んだのは「相異なる」の読み。これ「そういなる」と読む学生がしょっちゅういるが、「あいことなる」が正解。パソコンで打ってるともしかしたら単語登録してしまっていて、小生が間違っているかも、と不安になるが、電子辞書でも確認したし、スマホで「あいことなる」と打ったらちゃんと「相異なる」と出てきて、しかもこの語を説明しているページが幾つも見付かったから、「あいことなる」が正解、ということで自信を持った。来週はちょっと難しい話をやるので、集中して聞こう。彼にはもう少し聴衆が眠くならない工夫をして欲しいが、まあそれは追々言うことにしよう。

2コマ分部屋が押さえてあって、最長で3時間20分ゼミが出来るが、大体2時間程度で終わるので助かる。今日はちょっとコンピューターを走らせて例を作って、それをコピペして TeX に整形して、とかやった。その後領収書を事務に送る作業。前は紙に書いて学科の事務に渡せばよかったが、この前書いた通り学科の事務室は午後は人がいないので、書いたものをスキャンして事務にメールで送る必要がある。この前何故かスキャンできなくてエラーメッセージが印刷されて出てきたが、今日は大丈夫だった。少し待てば7万円くらい帰ってくる。何か嬉しいが、立て替えた分が帰ってくるだけだから±0なのだがね。でグダグダとやって、7時過ぎに職場を後にした。

7時を過ぎるともう高速道路は混んでない。高速道路を走ってる最中に目茶目茶細い月（三日月よりも遥かに細い）を見る余裕があった。三条通もかなりすいてて、楽に帰ってこられた。今日は「Qさま！！」でお城のことをやるのを忘れていて、途中から見た。松村邦洋を見たの久し振りだ。松村は歴史マニアで、大河ドラマは欠かさず見てる人だから結構活躍するのでは？と思ったがそうでもなかった。三浦奈保子が2年4か月振りだかの優勝を目指して踏ん張っていたが、カズレーザーが「石臼」と答えてガッツポーズで、やはりカズレーザーか？と思ったがカズレーザーもそこで失速。宇治原が優勝した。三浦奈保子またしても勝てず。面白かった。

大河ドラマと言えば、吉岡里帆が誰にもとけこまず怖い顔をしている役だったが、昨日の回で小一郎が頑張ったお陰でやっと笑顔が出た。あのほわーんとした笑顔が彼女の魅力だ。これからはにこやかな役として出てくれるだろう。それとさっき知ったのだが、藤堂高虎をやってる佳久創という俳優は Dragons で活躍した郭源治の息子だそうだ。知らんかった。今調べたら「鎌倉殿の13人」の時に弁慶をやっていたらしい。そうだったか。今度総集編を見てみよう。藤堂高虎は秀長の股肱の臣だから、これから超重要人物として出続けるだろう。注目だな。

今日は33度だか34度だかまで行ったらしいが、駐車した場所がウェストウィングとそんなに離れてない所だったので、暑さを感じる前に臨戦態勢に入れたし、ゼミ中も眠くなるくらいだから大してゼミ室は暑くなかったのだろう。7時過ぎだと車の中もそんなに暑くなかったし。明後日以降は天気が崩れて、暑さは収まると言ってたが、木曜日は雨だと聞いてうんざり。本と紙を持って屋外を移動しないといけないので、雨は降らないで欲しいのだが。まあ仕方ない。我慢しよう。それより今日のように居眠りしてはまずい。今日のゼミはマンツーマンで、学生は殆ど黒板の方を向いてるので、いびきをかかなければ大丈夫だが、木曜日の「数理科学セミナー」では部屋の一番前に陣取って監督してるので、学生にしめしがつかないからな。昨日書いた通り明日はマンションの会合があるので呑まないが、明日も呑むのはやめた方がいいな。ちゃんとしないと。

何と Lions がパ・リーグの首位に立った

昨晩は結局薄いジャンパー（死語）を着て行ったが、銀行に行って自動車税を払ってとかやったらやはり結構暑く感じた。ふなごやは客がいなかったから節約しているのか、冷房が入ってなくてやはり暑かった。暫くしたら小生と店長も含めて店内は5人に成ったので、やはり冷房は必要だった。で色々お土産を持って行ったので感謝された。ワインは美味しくてよかった。例によって途中から記憶が無かったので、いくら払ったか分からないが、結構いいワインだったそうなので、結構払ったかも。自動車税も払ったし、一晩で結構飛んだな。まあいいです。

で帰ってきてすぐダウンしたようだ。石油のことがどうなるか不透明だから、テレビの付けっ放しはしないようにしているが、やってしまった。Tigers 戦の音声が聞こえてきた。才木が抜群に良かったようだが、Tigers も点を取れず、1点先制されてそのまま負けたようだ。Swllows は勝ったようだ。いつ落ちてくるかと思ったが落ちてこない。でやばいことに Baystars も 0－1 で負けてしまい、Giants との差が大きく成ってしまった。まずいな。借金持ちに逆戻りしてしまった。火曜日から盛り返さないと。

で相撲を途中から見たが、若隆景が勝って1敗キープ。全勝の霧島は豪ノ山に負けてしまった。解説の琴風さんに依れば豪ノ山の激しい相撲に熱くなり過ぎたそうだ。で思う壺にはまり呼び込んでしまったそうだ。翔猿も1敗キープで、トップは3人。面白くなってきた。玉鷲は初日から8連敗。気を付けないと十両に落ちてしまうぞ。頑張れ。

「サンデースポーツ」で野球の情報を仕入れたが、パ・リーグが凄いことに成ってる。昨日呑み呑みスマホで確認したら、Hawks が借金1の4位に成っていて、Lions が Buffaloes に接近していたが、今日は Hawks が勝って5割で3位浮上、Buffaloes は4連敗で、一昨日まで7連勝で Lions が急浮上していて、何と今日勝って首位浮上。Lions は3年連続5位以下だったが。今年はセもパも大波乱だ。Swallows は落ちてこないし、凄いことに成るかも。交流戦が大事だな。

今日は昨日より暑かったそうだが、明日はもっと暑いらしい。京都市は32度、大津市は31度とか言ってたから、まあ草津市も30度越えだな。半袖で行った方がいいかもしれない。明日の用事はゼミだけだから、座ってるだけでいいので暑くても我慢は出来るな。駐車場からウェストウィングまで我慢すればいい。ギリギリに行ってウェストウィングの近くに停められるようにするかな。ということで今晩も夜更かしかも。

5月半ばなのに京都市の最高気温は30度

さてホッとしたところでケーブルテレビのチューナーがカツカツな問題をそろそろ解決しようということで、録画してあったものを幾つか見た。「ゴチバトル」の後、ゴールデンウィークに NHK で放送された手品の番組を二つ。前にも書いたが、手品っていうのは騙されて口をあんぐり、というのが面白いので、タネを見破ろうなどと思ってはいけない。最近の手品は、名取裕子やかまいたちの濱家のように玄人はだしのアマチュアマジシャンにも全く謎が分からないらしい。いや、それどころかミスターマリックすらもただただ驚くしかないようなものばかりらしいからな。スマホを使ったネタをやってたが、ただただびっくり。それとその番組は凄いネタを見た後、それを超えるようなものをやってくれと「無茶ぶり」して、マジシャンが無茶ぶりを遥かに超えるものをやるからただただ凄い。酒の肴にはもってこいだった。あ、書いてないけど呑みました。

で結構な時間に寝て、変な時間に起きた。また Baystars は負けたが、29イニング連続無得点を漸く脱して、3点取った。明日は期待出来る。今日は中川虎大が今シーズン初失点で負け投手に成ったが、鈍い内野ゴロの間の生還だから、深刻に成る必要は無い。明日勝って3タテされるのだけは避けましょう。

寝る前にスマホで YouTube を見ていたが、その間にメールが来た旨通知があった。ジャーナルのエディターから。昨日の晩のメールを受け取った旨と、そのメールに書いた話に関してちょっと。どこの大学も色々怪しいことをやったり、生き残りに必死に成ってるようだ。 エディター氏は3月いっぱいで定年退職されたが、彼のいた大学もうち同様歴史とネームバリューはある（ネームバリューはうちより遥かに凄い）から、まあ余程のことが無い限り潰れることはなかろうが。さあ後は最終の返事待ちだ。今日は祝杯をあげないと。二日続けて呑むことは滅多にない（と書いてるが実は先週もやってる）が、呑みますよ。その前に銀行に行って金を卸さないと。自動車税の納税通知書が来ていた。6月1日までに払えばいいそうだが、こういう喉に小骨が引っ掛かったようなことは早いところ取っておかないと。事務にレシートを回す件だったりもそういった類のことなので、月曜日にゼミが終わったら済ませてしまおう。で月曜の晩もまた呑み、といきたいが、来週の火曜日はマンションの会合があるのだった。まあ夜7時からなので別に呑んでも構わないが、話し合いの途中に腹の具合が悪くなって中座、というのは避けないといけないので、呑まないでおこう。ちょっと難しい件があって、当事者が出席してくる可能性があるので、長期戦に成るかも。覚悟しておこう。とりあえず今晩は呑みます。色々渡すものがあるので準備して、銀行行って、ということでそろそろ行く。

しかしどんな服装で行こうか？今日の京都市の最高気温は30度行ったそうで、今冷房を稼働している。行く前に電源を落とすのを忘れないようにしないと。最低気温はそこそこ下がるようだから、上着を着ていった方がいいかな。どうしたもんじゃろ。明日の京都市は31度まで上がるそうだ。職場も一昨日から冷房が使えるようになった。昔は杓子定規に6月半ばまで冷房が使えなかったが、ここ数年5月から既に暑いからね。薄いジャンパー（死語）を着ていくか。学生の一人が気温のアップダウンの激しさで風邪をひいたり治ったりを繰り返していると言ってた。気を付けないと。学生は風邪をひいたら別に大して気にせず休めるが、我々はそうはいかない。複数の講義と複数のゼミに影響が出る。まあどれも大した人数出席してないが、講義だと土曜日に補講しないといけなくて、お互い嫌だからね。ちゃんとしていこう。ということで、じゃ！

論文はどうやら一区切り

今朝は11時過ぎまで寝ていた。中々起きられない。まあ講義は1時10分からなので余裕だが。12時くらいに出発。チキンカツの弁当を買って食して、メールを見たらもう論文関係のが来ていた。レフリーはOKしてくれたらしく、昨日の晩の修正点も大丈夫だったので、.tex ファイルを送れ、とのこと。ちょっと % を沢山除かないいけないので、仕事が済んでからやることにした。% 除きをする段階に入ると完了が近付いた感じがして嬉しいね。

で1時10分から「代数学I」。案の定出席者は少ない。今日は Z のイデアルが単項イデアルであることを示して、それを使って (a,b)＝1 ⇒ ax＋by＝1 なる x,y∈Z があることを示して、で「合コンの定理」とかやって、それから合同式。合同式は Z の剰余環を使うといいよと言っておいて、で残りが5分を切ったので馬鹿の一つ覚えで 3¹²¹ を 100 で割ったあまりとか 3⁶¹ を 100 で割った余りとかそういう話をしてたらチャイムが鳴った。来週は素イデアルだ極大イデアルだとやって、それから P.I.D. とかやれるかな。

ちょっと休憩を挟んでから M1 のゼミ。今日は整数基とか判別式とかの話。整数基の存在はもう言ってあるので、後は基底に依らずに判別式が定まることをやって、それから判別式の仮因子の例（いつものデデキントの）や二次体の整数基と判別式を決定して、判別式≡0, 1 (mod 4) であることを証明したり。行列式の定義をこんな所で使うとか思わないよね。藤崎先生の本で別の所でこの式を使ったが、どこだったかな？リュービル数が超越数であることを証明するのに平均値の定理を使うが、それをやった時に学生が笑いながらやっていたのを思い出す。p 進体を大学院の講義で隔年でやってるが、ε－δ 論法を暫くやるのも学生にとっては驚きだろう。うんざりしているだろうからね。基礎的な勉強は馬鹿にせずにやらんといかんのです。

6時くらいに解放されて、論文関係の作業をして、editor の先生に送って、まあ一応終了かな。まだ載ることが決定したことわけではないので、ちょっとドキドキしながら待たないといけないが。信じて待つ。それから「代数学I」の演習問題練り。誰もやらないからやってもしょうがない作業だが、まあ自分の勉強のためということで。今日最大公約数はやったが、最小公倍数はやってない。1問最小公倍数のことを使わないと出来ないであろう問題があったので、それを除いて、YouTube で仕入れた大きな整数の素因数を見付ける問題を2問入れておいた。でグダグダとやってるうちに9時を過ぎていた。野球の経過、結果を全く知らないが、どうなったでしょうか？後で見ることにして、晩飯を食べるべく職場を後にする。

久々にココ壱でカレーを食べた。軽く1500円を超えてしまった。ご飯を減らしたのでちょっと安くなってるのにこの値段。1辛にしてるが、もう辛さを増すのはやめようか？自動車税を払わないといけないから、そうするとあっと言う間に30000円強飛んでいく。諸々値上がりしてるし、大変だ。自腹で払ったものの領収書を早く経理に回さないと。今日も忘れていた。月曜日にやろう。

上で YouTube という単語を書いて思い出したのだが、YouTube の動画は自動読み上げソフトなるものを使って作ってる人が多いようだ。しかし YouTube を「ようつべ」とかいうのはどうにかした方がいいと思うんだが。手動で直せないんだろうか？Tigers の話題をしてる動画で「かなもと」って言われると見る気が無くなる。この前流れてきた宣伝では「ぎふけんかんし」と言ってたが、「岐阜県関市」のことらしい。「かんし」じゃなくて「せきし」よ。それでどんな立派な広告をしても説得力ゼロよ。「確立論」のレポートって一定数あると担当者が言ってた。そういうのは表紙見た瞬間に不合格でいいんじゃないだろうか？小生の担当科目でも「順同型」とか時々いるし、線形代数だと「個有値」とか色々ある。前に事務の人が作った書類に「線形台数」というのが複数残ってた。急いで指摘した。忙しいのだろうが、そういう見た目で分かることはどうにかしたいよね。ちゃんとしましょう。

Baystars は結局負けてた。明日、明後日勝って vs. Giants の成績を良くしないと。Giants のホームゲームのようなので日テレ系のチャンネルで見ないといけないので気が進まない。楽しく見られるような展開にしてください。Carp の栗林がまたしても1安打完封をやったそうだが、どんな展開だったのだろう？後で調べよう。あ、忘れてたこと。セ・リーグの月間 MVP の投手部門は目出度く高橋遥人が選ばれた。勝ち星だと高橋の上をいく投手は複数いたが、やはり3完封というが評価されたのだろう。昔だと勝ち星が多くて Giants の投手だとそっちが選ばれがちだったが、少しはマシに成ったということだな。もういい Giants 頼みの時代は終わったのです。Giants の関係者もファンもいい加減気付きましょう。一回5年くらい続けて B クラスに成ってごらん。ファンがどれくらい離れるか。今年も下位に沈めるため、明日、明後日は何としても勝たないと。不愉快だが G＋ を見て Baystars を応援するか。

月曜日に送った論文の revised バージョンに関し早くも返事ありで焦る（reject ではなかった）

今朝は10時前に一瞬意識が戻って、時計を見て、よし、昼飯はうな松だ、と思った瞬間に寝入った。で次に目が覚めたら11時半を過ぎていた。むぅ。いや、うな松の営業時間は2時まで。12時台は混んでるかもしれないが、1時台なら、ということでシャワーを浴びてから少々時間潰しをして、12時半ちょい前に住処を出る。すぐアラームが鳴った。高速道路に乗る前にアラームを止めたが、暫く走ってると12時45分のアラームが鳴った。今度は暫く止められないが仕方ない。高速道路を降りて、最初の赤信号で止めた。でうな松の3周年記念の割引だが、5月20日まで、と思ったら、5月20日だけだった。まあ500円引きをそんな何日もやらないわな。常識で判断すれば明らかだった。まあいいです。一本鰻があったので頼む。いつもの通り JAF の会員証を見せて100円引き。更に100円引き券を貰った。もう一度行かないと。

で職場に1時半くらいに着いて、生協で数セミを購入。今月号は何やら整数論が特集されてるので、後でじっくり読むことにする。個研室で時間潰しをして、2時50分くらいに講義室へ向けて出発。

木曜日は「数理科学セミナー」。「数学セミナー」というタイトルにしなかったのは数理科学科だからか？それとも本家の「数学セミナー」に遠慮したのか？それを決める時に会議でどんな話が出たか全く覚えてない。まあどちらも略せば「数セミ」だが。今日は素因数分解の一意性の証明を完了させた後合同式の章に突入。ac≡bc (mod m) でも a≡b (mod m) は成り立たないが、(c,m)＝1 なら大丈夫、の説明がおかしい。「m｜xy ⇒ m｜x または m｜y」はついやってしまいがちになる。今年に成ってこの間違いをした学生を今回以前に既に見てるし、前も書いたがちゃんとした journal に載った論文でこれを平気でやってた。著者は勘違いか何かしたか、出来た出来たと興奮して気付かなかったか知らんが、レフリーがちゃんとしてなかったのは問題ありだ。で「m｜xy, (x,m)＝1 ⇒ m｜y」（飯高茂先生言うところの「合コンの定理」）は本に出ているだろうと思ったら出てない。が、「p が素数の時、p｜xy ⇒ p｜x または p｜y」は出ていて、そこの証明を修正すれば「合コンの定理」の証明はすぐ出来るよ、と言ったが、案外手間取っていた。いや、その前に a≡b (mod m), c≡d (mod m) ⇒ ac≡bd (mod m) の証明が出来なかったな。剰余環の積の定義が well-defined であることの証明と同じだ、と言ったが、ピンときてないようだ。合同式と剰余環が結び付いてないかな。明日の「代数学I」でやる、と言っておいたが、彼は来てるのでしょうか？先々週は出席者が17人しかいなかった。いや、「数理科学セミナー」に来てるんだから「代数学I」も来るでしょ、というのが通用しないのが今時の学生で、「代数学II」に二人しか出席者がいないのに卒研に二桁募集があったことがある。加川の講義に出席しないで加川のゼミを選ぶ、中々の面の皮の厚さ、と思った覚えがある。来年度はどうなるでしょうか。

その後少々休憩を挟んでみっちりゼミ。今日はディリクレ指標の群を使って不分岐アーベル拡大を作る話。藤崎先生の代数的整数論の本でヒルベルトの理論をみっちりやってあるので、あまり苦戦している様子は無い。いいですね。で沢山不分岐アーベル拡大を作ったが、まだ無限素点の分岐についてはやってないのと、ヒルベルト類体も知らないので、不分岐アーベル拡大がある面白味は分からないだろうな。などと思いつつ最後に genus field のことをちょっと言っておいたけど。K が二次体の時、K/Q で分岐する素数の個数が多いと K の類数はでかくなる、ということがやがて分かる。でみっちり8時過ぎまでやった。

その後部屋でゼミ中に出た例をちょっと検証。Q(√(－21)) のヒルベルト類体が求まって、その後 Q(ζ₂₀) の部分体を全部求める作業をしたが、PARI/GP の出力が何かおかしい。Q(√5) が出てこないんだが。もう遅かったので程々にして切り上げてきたが、√((3＋√5)/2) が二重根号無しで済む、とすぐ分かったのは実二次体の単数を沢山いじった経験がなせる業。美空ひばりの息子の方の加藤和也氏が「オタクでなんぼだよね」と言っていたのを思い出す。

晩飯を食べてから車に乗ってスマホで野球の結果をチェック。0－0で引き分けだった。昨日の1回裏に得点をあげた後20イニング無得点ということだな。それで1勝1分ならまあいいか。明日は点を取って勝ってください。明日からは Giants だ。ただいまゲーム差無し。最低限勝ち越さないと。直接対決は負け越してる。勝たないと。

で帰ってきてメールを見たらビックリ。論文の関わるメールが来ていた。月曜日に送って今日、はいくらなんでも早過ぎはせんか？焦った。何故ならこの論文をとあるジャーナルに土曜日に出したら月曜日にリジェクトの返事が来たことがあり、またか、と思ってしまったのだ。が、今回はそうではなかった。非常に細かい指摘（the を足さないといけない所が一か所あったのと、92--97. とすべきが 99-97 と成っていて、「- を -- に、99 を 92 に、97 の後に . を」というだけのことだった。ホッとした。これでアクセプトと成ればいいが。今年は資格審査の年（同業者は何をするかお分かりでしょう）だが、幸いここ数年で論文を書いたり喋らしてもらったりしたので、今回は大丈夫だろう。今のがむしろ少し先回しに成ってくれた方が、最後の資格審査を合格出来るので嬉しいが。いや、余計なことを考えるのはやめよう。そうするとロクでもないことに成るというのが今までのジンクス。掲載されるのを願い続けよう。