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 の後に . を」というだけのことだった。ホッとした。これでアクセプトと成ればいいが。今年は資格審査の年（同業者は何をするかお分かりでしょう）だが、幸いここ数年で論文を書いたり喋らしてもらったりしたので、今回は大丈夫だろう。今のがむしろ少し先回しに成ってくれた方が、最後の資格審査を合格出来るので嬉しいが。いや、余計なことを考えるのはやめよう。そうするとロクでもないことに成るというのが今までのジンクス。掲載されるのを願い続けよう。

ルーキー島田舜也がイマキュレートイニング（1イニングを三者連続三球三振で斬ってとる）をやり、プロ初勝利

昨日書いた計算が合わない理由が分かった。ab＝c^2, (a,b)＝1 ⇒ a,b は平方数、とやっていたが、a,b>0 なのか？ということ。a,b<0 に成りえるので、±a,±b は平方数（複号同順）、が正しかったのだ。数値例を確かめて負の値が出たので分かった。酷い間違いだ。時々「何故こんな下らんミスを著者がして、レフリーが見逃したのか！」と論文を読んでて腹立つことが書いている者としては思い込んでしまい、レフリーは忙しくて真面目に読んでない、筋が合ってればいい、という程度しか読んでない、ということなのだろうか？今結果待ちをしている論文のレフリーは凄くしっかり読んでくれていて、建設的なご意見を幾つもくれた。そう読んでくれないと嫌だよね？でそこは直したが、もう一つ下らん間違いを見付けてしまった。a³(a³－4) が平方数で、a,a³－4 が互いに素 ⇒ ±a, ±(a³－4) は平方数（複号同順）はあってるが、a³(a³－4)＝3x² で 3｜a, a,a³－4 が互いに素 ⇒ a＝3y²、a³－4＝z², ∃x,y とやってた。ちゃんとしないと。などと気付いてからウダウダやって、休憩しよう、と思ってケーブルテレビのチューナーを見たら、ハードディスクかつかつ状態が続いているので、時間が掛かるが「ミラクル9」の2時間ものを見ることにした。面白かった。「崎陽」とはどこの都市の昔の名前でしょう？という問題があって、「崎」が付くから埼玉では？と思ったが、よく考えると一文字目は埼だな。じゃあどこ？と思ったら長崎だそうだ。横浜で有名な物の一つに「崎陽軒」の「シウマイ」があるが、崎陽軒の社長は長崎の出身で、それでそういう社名に成ったそうだ。知らんかった。「シュウマイ」でなく「シウマイ」なのは社長が訛っていたからそうなったが、中国人に依れば「シウマイ」の方が中国語に近いそうだ。ならそっちの方がいいだろう。

などとして結構な時間まで起きていた。月曜の晩と火曜の晩はどうしても不摂生をしてしまうな。まあ両方酒を呑むことはしないが。でまた相撲の途中まで寝ていた。若隆景の取り組みから見た。今日も勝って初日から4連勝。足立先生の奥様は若隆景の大ファンだから、今場所は機嫌がいいだろうな。

であっと言う間に6時で、野球観戦開始。1回裏から猛攻で、いきなり3連打でまず1点。筒香がいるとやはり打線が厚い。その後勝又2点タイムリー、林サードゴロ、松尾タイムリー内野安打で一挙5点。松尾の内野安打は2塁への牽制球が悪送球に成り3塁にランナーが進んでいたので点に成った。昨日は併殺を完成させられずにそれが失点に繋がっていた。解説者曰くそこが Dragons が下位に沈んでる理由の一つだと。で今日の先発はルーキーの島田舜也。大きなプレゼントを貰った。1回表から三者三振で、5回表は何と三者連続三球三振の「イマキュレートイニング」というのをセ・リーグのルーキーでは初めてやった。6回は1アウト満塁のピンチを作るも、二者連続三振で無失点。結局6回9奪三振でプロ初勝利。素晴らしい。打線は2回以降点を取れなかったが、まあいいです。

祐大は早速スタメンで出たようだ。3打数無安打でチームも負け。まあ投手は2失点だけだったので、いいリードをしたのでは？と思うが。活躍してくだされ。

祐大のトレードは正直納得いかないが、汐恩が活躍して勝ったからよし

昨晩はやはり呑んだ。でちょっと解放されたので、「歴史探偵」と「英雄たちの選択」を録画してあったのを見て、それからちょっと計算を始めてしまった。が、これが合わないこと。呑んでるからか、と思ってやめて程々に寝た。が、起きてから計算しても合わない。おかしいな。一から見直しても合わない。何でだろう？まあ急ぐことではないし、また暇を見付けてやる。

教授会があるのを思い出して Zoom を起動。このパソコンで Zoom を起動するのは初めてだが、上手くいくか？と恐々やると、上手くいった。今日は教授会の前に短時間何かあるのだったが、忘れていた。副学部長が話しておられた。で教授会だが、学部長が出張で学外から繋ごうとなされたが上手くいってないらしく、暫く副学部長が話し続けておられたが、学部長の回線が復活して、その後は滞りなく終了。割と短時間で済んだ。

で相撲を途中から見て、終わり近くに野球の情報を仕入れようと、Yahoo！の速報の頁を見たら、衝撃的なことが出ていた。祐大が Hawks へトレード。え？え？え？暫く事情が飲み込めなかった。ショックがでか過ぎる。昨日までの35試合中28試合に出場していた紛れもない正捕手。一昨年はベストナインとゴールデングラブを獲ってる。東と組んでベストバッテリー賞も獲得している。え？え？え？困惑は暫く続いた。

で気持ちの整理の付かないまま試合開始。今日の先発はよりによって東。当然松尾とバッテリーを組むことになっている。でその松尾が2回に先制タイムリーを打って、5回に蝦名が追加点と成るタイムリーヒット、7回に成瀬が3点目と成るタイムリーヒットで優勢に試合を進める。東は6回無失点の好投。楽勝かと思いきや、9回に康晃が大変な場面を作ってしまう。2アウト満塁。一発出たら逆転されてしまう。で阿部に押し出し死球を与えてしまい2点差。が、何とか抑えて、無事勝利。ヒーローインタビューで東が祐大のことを何か話すかと思いきや、何も言わなかった。「祐大のお陰で勝てました」とヒーローインタビューで毎回言っていて、「祐大のおかげ」という応援タオルまで売り出された。「僕が汐恩を育てる番です」と言っていた。汐恩には独り立ちしてもらわないと。打撃が売りでスタメン4番の試合もあったが、漸く打率が .200 に届いたくらいでは物足りない。もっと張り切ってもらわないと。最後の康晃「劇場」を大魔神佐々木が松尾が走者を出すと変化球を投げさせたがるのがいけないと言っていた。まだまだ修行が必要だな。まだプロ入り4年目の21歳だ。経験を積んで大きく成ってもらわないと。

祐大がいなくなったっショックはファンの方々にも大きいようで、Facebook の応援板を見たら相当荒れていた。それはそうだろう。正捕手がシーズン中にだからね。Hawks は今日負けて Lions に抜かれて3位に落ちたそうだ。打てる捕手が欲しいということで白羽の矢が立ったのだろう。Hawks が勝つのはちょっと気に食わない面もあるが、上茶谷が勝ち投手に成ると嬉しいように、祐大が活躍して勝ったというニュースが出たら嬉しかろう。頑張ってくだされ。

今日の野球では不思議なことが起きた。Giants が勝ったのに順位が下がった。一昨日の結果で Giants と Baystars が勝率 .500 で、勝ち星の多い Giants が3位になったが、今日両方勝って Baystars が18勝17敗、勝率 .5142、Giants が19勝18敗で、勝率 .5135。勝率の上な方が順位で上に成る、同率の場合は勝ちの多い方が上に成る、というルールでこう成る。貯金がある場合は引き分けが多いと有利。Baystars は引き分け1だが Giants は引き分けが無い。まあそんなことは言わずに、Baystars にはガンガン貯金を稼いでもらい、Giants にはどんどん負けてもらおう。そのためには祐大がいなくなるのは…。しつこいけどそれだけショックということだ。汐恩には頑張ってもらわないと。これから汐恩の名前を打つ機会が増えるようにと、単語登録しておいた。毎回「しお」で「汐」を出して、「おん」で「恩」を出すのは鬱陶しい。ということで松尾汐恩、覚えてください。

親父殿の95回目の誕生日に論文が完成したので、これから祝杯をあげようか？

早起きして鰻、などやはり出来るわけはなかった。ケーブルテレビのチューナーのハードディスクがカツカツで、昨日の相撲のダイジェストを追っかけ再生で見て寝床へ。この時点で既に4時過ぎ。その後寝床でまたうだうだと下らん事をして、で今日は起きたら1時半くらい。うな松は2時閉店だからもう無理。ということで鰻はまた今度。20日までだそうだから、行っておかないと。

で職場に着いて弁当を食して、生協の本屋を冷やかしたが、数セミが売ってないのは何故じゃ？と思ったら今日は11日で、毎月12日発売だからそりゃ売ってないか。

で2時55分からゼミ。今日はピタゴラス数のパラメーター表示が sin と cos を t＝tan(θ/2) で表すのを使っても出来る、という説明から。が、テキストには tan(θ/2) のことは出ていなくて、(－1,0) を通る直線と単位円のもう一つの交点は…、という説明。tan(θ/2) のことを言ったら、高校でやった覚えがあると言ってた。まあ覚えてないよね。小生も大学に入った時は覚えてなかったが、ピタゴラス数のパラメーター表示に使ったので覚えた。で最近コロナ禍で暇だった時に You Tube を見ていたら積分の計算にバンバン使ってるのを見て、定着した。導き方も分かってるし、忘れてもすぐ思い出せる。dx を t と dt でどう書くかは毎回計算してるけど。章末問題はやらないつもりだったが、始めてしまった。「偶素数」とか「M-素数」とか甚だ人工的に素因数分解の一意性を崩した世界のことを考えても意味が無いので、もう章末問題はやらなくていい、と言っておく。凄く難しいのもあるし。で終了後教育実習はいつなのか聞いたら、何と8月31日からだと言う。期間が完全にうちの夏休みに含まれている。講義期間中に3週間も欠席するのは大変だろうから、夏休みにやるんでよかったかもね。まあこっちは3週間休みがあると踏んでいたので、ちょっと当てが外れたが、まあいいです。

その後部屋で論文をプリントアウトして、直し作業を少々。途中までやってから7時ちょい前に職場を出た。今日は野球は無いが、さっき書いた通りハードディスクがカツカツなので、「八重の桜」を Blu-ray のディスクに直録りしてきたが、9時からやる「英雄たちの選択」も Blu-ray のディスクに録らないといけない。Blu-ray のディスクに録画予約出来るのは1番組だけなので、忘れずに帰って再設定しないと、と覚えていたので、帰ってきた次第。どちらも録れた。

でその後論文の点検の続き。もういいかな、という感じに成ったので、オリジナルと今回の変更点を列挙した紙を完成させ、で editor の先生に本体とそれの pdf ファイルを送って終了。まあよかった。前の論文の時はもう一回直しの指示があったから、もう一回あるかも。レフリーが下らん論文を丹念に読んでくれて、素晴らしい提案を幾つもしてくれたので大分良くなった筈だが、レフリーの言い分を取り違えて違うことをしている可能性は十分にあるので、返事を待つ。

あ、明日は資源ゴミの日だ。ちょっと買い物をして段ボールが少々溜まっているのと、論文のためだの何だので沢山計算したので、紙ゴミがちょっとある。酒の缶も少々。何でこんなにあるかな？と思ったら、先々週の資源ゴミの日は津山に行くんだったので、月曜の晩はちょっと早寝したのだった。そうだったか。論文の片が付いたし、ちょっと今晩は一生懸命分別するか。

あ、今日は5月11日。親父殿の95回目の誕生日。去年も書いたような気がするが、親父殿の誕生日と母の日が近いので、何かするなら二人同時にやらないといけないので、子供の頃から一度として特別なことをしたことはない。もう母親は死んだし、親父殿は施設に入ってるし、「生まれたところを遠く離れて」生きてるので、特に何も出来ない。まあ心の中で祝うことくらいはしよう。論文が一応形に成ったから、これから両方兼ねて祝杯といくかな。

「生まれたところを遠く離れて」を「 」で挟んだのは、浜田省吾のデビューアルバムのタイトルだから。今年ソロデビュー50周年だそうで、リマスターした CD が発売されたので買った。まだ聴いてないが明日から聴こうか？

返り十両の炎鵬が初日白星で大歓声

昨晩のふなごやは忙しそうだった。店長がこっちの顔を見るなり野球の話をしてきた。バイトの人も。11時近くにお客さんは全員帰られた。その後いつもの通りワインを少々。2014年（干支一回り前、前の午年）のワインはちょっと変わった味がして美味しかった。店長が絶対美味いから、と思って購入したそうだが、大当たり。他にも色々呑んで楽しかった。

で今日は3時過ぎまで起きられなった。野球が中止になるという夢を見たが、意識が戻って思い出したのは、ここ数日いい天気が続くとの予報。ということで急いでテレビを付ける。0－1という状況だった。才木が2ストライクからセーフティースクイズを決めたとか。結局1イニング1失点を3イニング続けて、打つ方は今日はさっぱりで、無得点で負けた。Tigers には5安打しか打たれていないが、それで3失点とは。石田裕太郎はいい内容だったようなので、来週も頑張ってもらおう。ということで一日で5割に逆戻りで4位転落。まあいいです。

野球が終わって暫く6チャンネルを見続けて、ニュースが始まって暫くして気付いた。相撲が始まってる。横綱大の里と大関安青錦が休場とか。安青錦はカド番だから、早くも陥落か、と思って調べてみると、途中出場して頑張って勝ち越しを目指すようなニュースがあった。途中出場で勝ち越した事例は無いそうだ。今場所はしっかり休んで、実力が出せる状況に戻して来場所十番勝って大関復帰というのがよさそうだが。再大関の霧島は勝ったが、もう一人の大関琴櫻ともう一人の横綱豊昇龍は負けた。豊昇龍は土俵を一人下りられず、花道を下がる時は付け人に肩を借りていて、その後車椅子で国技館内の診療所に向かったと言ってたが、心配だ。今日一番のニュースは返り十両の炎鵬が勝ったこと。十両も土俵入りがあるんやね。知らんかった。大きな声援が飛んでて、勝った時の歓声は更に凄かった。勝ち越せよ。

でその後寝床でうだうだと時間を無駄に使い、今日は今まで論文の直し関係の作業を一切してない。まあいいです。明日は2時55分に職場に行けばいいので、これからちょっと遅くまでやるかもしれない。が、うな松が3周年記念で全品500円引きという気前のいいことをやってくれるようなので、早目に行って一本鰻、という選択肢も捨てがたいなので、早寝早起きで、職場に早目に行って論文の完成を、ということにしようか？まあこれからの気分次第だな。

Tigers に連勝で貯金1の3位浮上

昨晩はその後頑張って、まあ大体これでいいんじゃないか、というところまでこぎつけた。電子辞書を引いて難しい文章を書こう、というのは土台無理で、結局中学生が書くような文章に落ち着いた。「定理に挙げてない形を許せば」とか、「定理に挙げた形に制限しなければ」なんていう難しい英作文は無理。「もし定理に挙げてない形ならば」を英語にした。で計算ミスが無いかどうかもう一度頭から計算（時々コンピューターに頼る）し、それからもう一度純粋に文章だけ読んで、とかやってたらもう相当な時間だった。寝るぞ。

で起きたらもう野球が始まってる時間。テレビを付けると 0－0 という状態で5回。昨日も8回までは投手戦の接戦だったから、今日もそうかという感じ。6回裏に先制されるも、先発の篠木は6回1失点と十分な内容。篠木で凌ぎ切った、というダジャレは通用しなかったが。大竹は6回でもまだ100球投げてないという、途轍もないいい投球をしていて、今日は駄目か、と思ったが、やはり打線に勢いがあった。8回に林、成瀬連続ヒットの後、代打宮崎が四球を選び1アウト満塁。蝦名がタイムリーヒットを打ち同点、度会が2点タイムリーヒットで2点勝ち越した。その後無事無失点で、Tigers 相手に連勝。ルイーズが来日初勝利。貯金を1とし3位浮上、負けた Giants が借金1で4位転落。よしよし。が、速報のページを見てびっくりした。なんと Dragons が最下位脱出とか。Swallows は勝って、首位 Swallows と2位 Tigers の差は2ゲーム。Swallows には負けまくってるのに Tigers には勝ち越して、ちょっと関西では肩身が狭い。まあいいです。明日も勝ちましょう。Aクラスを固めておきたい。

その後論文の直しと、referee に変更点を知らせる文章の作成。もう editor の先生に送ってもいいかという気がしないでもないが、やはり慎重にいった方がよかろうということで、もう少し寝かせておいて、明日にでももう一度真剣に読んで、月曜に職場に行ってから最新版を印刷して、それをもう一度丹念に見てからの方がいいか、ということにしようかと。いや、明日の気分次第ではいいことにしてしまうかもしれないが。まあ今晩はこれから呑むので、明日作業が出来るかどうかはこれからの酒量に依る。論文を書くのは体力も精神力も消耗するな。講義だ演習問題だゼミだというのと疲れ方の種類が違う。前に開口のマスターに「論文書くのが仕事だからね」と言われたことがあるが、仰る通り。やりますよ。考えるべきことは幾つか持ってる。学生が修論で一つでも解いてくれると嬉しいが。もう大分手札は使ってるので、新しいことを思い付いてくれると嬉しいが。

さて、呑みに行きますかね。一週間に一回顔を出すのも仕事だ。野球の話にはこっちから触れないようにしよう。楽しく呑めるといいですがね。

8回打者8人で8得点の猛攻（その後3人連続アウト）で圧勝

今朝は11時前に目が覚めた。睡眠は充分。シャワーを浴びて出発。12時ちょい過ぎに職場着。弁当を買って食して、臨戦態勢。

1時10分から「代数学I」。この前 R/I という集合を定義したところで終わったので、今日は演算の定義から。ちょっと両側イデアルであることの重要さを伝え損ねたような気がするが、まあいいです。で剰余環のラフな捉え方を言って、結論が分かってればどんな環と同型か分かるよね、とちまちま示して、それから準同型定理を証明して、で使い方を沢山の例と共に挙げておいた。分かってくれたでしょうかね？まあ無理だろうな。「1回聞いただけで分かるわけないから。分からないからといって自信を失うことはないです。何度でも復習してください」と言っておいたが、まあしないだろうな。で Z のイデアルが全て単項イデアルであるという主張を書いたら終了1分くらい前だったので、来週やる、と言って終了。

昨日書いた通り学生が体調不良で今日のゼミは無し。ということで色々やる。論文でレフリーが言ってきてて分からないのは、square-free でない場合を二つばかり挙げてるが、その場合はどうなるの？と聞かれていること。Square-free でなくても例示してある場合は同じ結論が成り立ってしまうが、もっと例はないのか？と前に探したが、もう1個見付かった。がもっと欲しいぞ、とループを仕掛けて講義に向かったが、終わってなかった。100まで探してね、と仕掛けて、講義に向かうまでに前に見付けた例は全て出ていて、その内の最大のものは94。100なんてすぐだろう、と思って講義から戻ってきて見ると終わってなかった。Square-free かどうかの判定って、結局平方因子を見付ける、結局素因数分解する、しかないのだろうか？扱っている数は指数関数的に大きく成るから、94と100では大違いなのかもね。で閃いた。特殊な場合を論文でやってるが、一般的な場合なら沢山反例は見付かるだろう、と思ったら、案の定沢山出てきた。が、うまくいってしまう場合も結構あって、どういう時にそうなるのかが皆目見当が付かない。まあいいです。ということで論文に書き足すが、いかんせん英語がボキャ貧（by 小渕恵三）なので、うまく書けない。電子辞書を引こう、と思ったのだが、「数理科学セミナー」で使うので、袋に詰めて車に置いてきたことに気付いた。紙の辞書は数年前に住処に引き取って、辞書が全く無い。だから適当に書いておいて、住処に戻ったら電子辞書を引くことにして、適当に終了。

途中野球の様子を見たら2点先制していて、暫くしたら森下にソロホームランを打たれて1点差に成っていた。8時くらいに職場を出たので、決着の付く場面は見られそう。高速道路から出て最初の赤信号でちらっとスマホを見たが、1点リードしているという前と同じ展開のまま。逆転されてたら外環三条を左折して外食のつもりだったが、リードしてるなら住処でカップ麺で済まそう、ということにしたので、外環三条を直進して住処へ向かう。着いてテレビを付けると、ちょっと危ないシーンだったが抑えた。次の回は中川虎大がピッチャー返しの打球にいい反応を見せて、得点を与えず。すると9回表は凄いことになった。内野安打、ヒット、送りバントをフィルダースチョイスしてくれて無死満塁。その後ヒット、四球、ヒット、ヒット、3ランホームランと、1アウトも取られず8人で8得点。乗ると質が悪いのは Baystars の昔からの芸風。その後3人アウトになったのはご愛敬。これくらい点差が開くと、あまり実績の無い投手でも大丈夫、といことで岩田が締めて無事勝利。これで5割。Giants が負けたので5割で3位タイか、と思ったら、セ・リーグは勝率が同じときは勝ち数の多い方が上に成るので、17勝17敗の Giants が3位、16勝16敗の Baystars が4位。まあいいです。明日3位になりましょう。Tigers は負けて Swallows が勝ったので、首位交代。明日勝つとふなごやで愚痴られそうだが、こっちも必死なので。勝ちましょう。

結局今日は重たい本は持っていかなかったので、野球が終わった後見たら、何か一生懸命連分数展開して云々とやってたのは必要ないことが分かってしまってガッカリ。論文にどう書いたらいいか、かえって分からなくなってしまった。とある論文を挙げておいて、重たい本も reference に残しておこうか、と思ってそのとある論文を眺めると、結局 R-D type に関する一番古い文献を挙げるだけでいいのか？と成ってしまった。その論文はドイツ語なので、正確に読める自信が無いし、editor を待たせてはいけない。Editor の先生はこの3月に定年退官された方だが、小生の論文に関して referee との仲介に立つのは続けないといけないそうだ。Accept されたら無事解放に成るそうなので、お待たせしては申し訳ない。何とか来週中に終わらせたいが。

3回生と M2 のセミナー力の違いは明白

起きたのは12時過ぎだった。ちょっとボーっとしてからドーピングして、12時半に出発。暫くしてスマホのアラームが鳴ったが、高速道路を運転中だったので止められなかった。15分で止まるようで、走っているうちに鳴らなくなった。木曜日の昼食は大抵はま寿司。今日も2000円くらい食べてしまった。大トロが無かったのが安く済んだ理由の一つ。まあズワイガニ（290円皿）とか高いものを幾つか食べることは食べたが。

職場に着いたのは2時前だったので、ウェストウィングに近い所は空いてないか、と思って行ってみると、うまいこと1台分空いてた。そこが埋まってたらまた身障者用スペースに停めてしまったかもしれない。いけないのは分かってるんだが。他にも数か所あるじゃないの、というのがこちらの身勝手な言い分。前にガラガラの京阪電車で京阪山科まで戻ろうと優先席に座って、すぐ後に乗ってきた人も座ったが、これ見よがしに「身障者スペースだぞ」と言っている人がいたが、いやいや、一人も使ってないし。混んでてそこに座りたい人がいたらどきますがな。京阪京津線はガラガラにすいてるのです。いいではないか、そこまで形式ばらなくても、と思うが、皆さんはいかがでしょうか？

部屋でちょっとごそごそやって、2時50分くらいに「数理科学セミナー」のためフォレストハウスに向かう。ソフィー・ジェルマンによるフェルマーの最終定理における結果を学生がしゃべり始めたが、また一か所おかしな所が出てきた。場合分けの一つ目は合ってるが、二つ目はおかしかった。また一週間考えてくると言ってたが、来週はとどめを刺してやろう。メモ書きを探すかもう一度証明を読むか。一回読んだから、前よりは楽に読めるはず。ということで選手交代で、素因数分解の一意性の節に入った。「(a,b)＝1 ⇒ ax＋by＝1 なる x,y∈Z が存在」をやってから、偶数だけの世界で変な「素数」を定義すると一意性が成り立たないことを例示して、で「p｜ab ⇒ p｜a または p｜b」を証明。彼も何やら別証明を始めたが、そこはかとなくおかしい。留学生だから日本語が通じないか、と思って話しても堂々巡り。話が変わってるという向こうの言い分を理解するのに大分掛かった。原因は何かと言うと、話が変わってるのをはっきり言ってなかった（と思われる）し、板書はずーっと同じ調子で続いていて、q と r が二度出てくるから同じ記号だと思い話が続いているもんだとばかり思っていた。板書のお行儀が悪い。「証明始めたんなら『証明』って書いて」と二度言った。95分間ずっと集中しているわけではないのだから、話の始まり、終わり、区切りは分かるように板書してもらわないと。残り時間2分を切ってるのにまた新しい話を始めようとするから強制終了。最近の人は時計を見ながらやらないようだが、いけないよ。腕時計をしろとは言わない。スマホの時計でもいいけど、時間配分は気にしいしいやらないと。後に用事が無ければ延長戦には付き合えるが、生憎用事があるんでね。

少々休憩の後ゼミ。今日は分岐指数がディリクレ指標の群を見れば分かるということを証明した後、二次体が全て円分体に含まれる、という演習問題の解答をやってくれた。細部までちゃんと詰めてあって、良かった。藤崎先生の代数的整数論の本でクロネッカー・ウェーバーの定理の証明を勉強してあるので、別にスキップしてもよかったのだが、ちゃんとやってきたようなので。大分勉強になった。いつもの倍くらい予習時間が必要だったと言ってたが、苦労してやってもいつもより短時間だったのはちょっとがっかりだったようだ。まあいいです。ご苦労様でした。

その後部屋でちょっとごそごそと。動き出しが遅いので、時間があまり無い。明日の講義のことをちょっとやって、演習問題のことを考えて、でちょっと連分数のことをちょっとやってたらあっという間に9時を過ぎていた。USB メモリーを抜いて、電源を落とそうか、というところで閃いた。TeX Live のバージョンアップをしよう、と。2023 年のバージョンを未だに使っていたが、ちょっと 2023 の 2022 からの変更点で気に食わない所があった。持ち運び用のノートパソコンと住処の新規のパソコンに 2026 を入れたが、気に食わない所が直っていたので、職場のも入れ替えようと。講義前とかゼミ前とかだと手が空いた時はまだインストール中の恐れがあって、中々やる気に成らなかった。一晩は掛からずに終わるので、唯一二日続けて職場に行く木曜の晩に仕掛けて、金曜日に着いた頃にはバージョンアップしたものが使えるという状態に成ってるとありがたい、というわけでインストールを仕掛けてきたわけだが。もう少し遅くなると飯屋が深夜料金を取るように成ってしまうので、9時20分くらいに職場を出た。

この前届いた JAF Mate にガストの割引券が付いていたので行って、馬鹿の一つ覚えでから好しの唐揚げ定食を食べてきた。で支払う段に成ったら何故か割引券が使えない。店の人が来たのでやってもらうも、うまくいかない。店の人曰く見たことが無い券だそうなので、よく分からないという。また今度試します、と言って店を後にする。5%引きかどうかは大きいぞ。

明日は「代数学I」を1時10分からやって、次の二コマみっちりゼミ、の予定だったが、学生が調子が悪くて明日は休ませて欲しいという旨のメールが来ていた。この前も週の半分熱だったと言ってたが、やはりここのところ日中と朝夕の気温差が大きいから、それで調子を崩すのだろう。仕方ない。ということで明日は2時45分以降用事が無いが、どうしようか？重たい本を持って行って、論文の直しのために本の解読に努めようか？それとも速攻で帰ってきて、住処でやろうか？まあいいや、その時の気分次第で決めよう。早く帰ってきたら6時から野球を見られるが、作業は捗らないだろう。Tigers 相手に Baystars がそう易々と勝てるわけはない。いや、今シーズンはここまで Tigers 戦は勝ち越してる。応援しながら作業しようか？いや、やはり見ない方が捗るしな。まあしつこいが気分次第だな。

0－10の大敗で Carp 戦初黒星（床屋で目撃）

床屋に行きたいから早目に寝る、は案の定出来ず、中途半端に成ってる計算を全部コンピューターにやらせてから寝た。一個につき5分やそこらは掛かるので、結構時間を使った。寝たのは4時過ぎだったと思う。眠かったのでよく覚えてないが。

で起きたらもう野球が始まっていた。テレビを付けると5点リードされてる。…。暫く見てたら更に3点取られた。…。床屋がやってるかどうか、予約で一杯でないかどうか確認するために電話を掛けて、すぐにでも切ってもらえるとのことなので向かう。今日の野球は NHK 総合で放送があって、床屋でそれを見ていた。切ってもらってる時は鏡に向かっているので、テレビは見えないが、音は聞こえてくる。更に2失点。結局 0－10 と一方的な負け試合。Carp 相手の負けは今シーズン初。まあ仕方ない。昨日の引き分けより今日の負けの方が諦めがつく。9連勝を4勝4敗1分で乗り切ったので、いいでしょう。明日一日休んで、明後日から Tigers と甲子園で3連戦。勝ち越しましょう。そうすれば5割復帰だ。ここまで Tigers 戦は3勝2敗と勝ち越してる。食らいついていくには勝ち越さないと。期待する。

帰途でちょっと買い物をして、戻ってきて、さて何をしよう、と思っていたのだが、眠い。ちょっとだけ寝た。スマホで浅井長政のことを書いたものを読んでいたが、何度も寝落ちした。頑張って最後まで読んだ後、寝たわけだが。まだ眠いが、あまり寝ると夜寝られなくなる。程々にして起きた。でその後論文の直しのためにちょっと本を読んだ。考える case が3つあるのだが2つは分かった。3つ目はこれからやる。少しだけ前進した。明日は2時55分から「数理科学セミナー」で、その次と次のコマは大学院生とゼミ。早起きする必要は無いので、少し頑張ろうかと。ゼミ中に眠くなるといけないので、無茶はしないが。

ポストに「KYOTO市民しんぶん」が入っていたが、眺めたら「名誉市民にご逝去」という欄があって、そこに廣中平祐先生のことが出ていた。先生のご逝去は知っていたが、うっかりこのブログに書き忘れたので書く。先生と話す機会を逸したことがある。もう25年以上前だが、大学に着いて学科の事務室に行くと、事務の人が「廣中さんという方からお電話がありました」とのこと。小生整数論が専門で、整数論で「ひろなか」と言えば広中由美子先生だろう、と思って事務の方に聞くと「おじさんでした」とのこと。え？じゃあ廣中平祐先生では…。うーむ、電話越しでも話す機会を逸したのは勿体なかった。Proc. Japan Acad. に論文を提出した件だったようだ。論文が出た後にみると「Communicated by Heisuke HIRONAKA」と書いてあった。本当に残念だった。

廣中先生と言えばフィールズ賞だが、フィールズ賞学者と話したことはある。Alan Baker。Baker が1998年に日本に来ていた時に、津田塾で話すというので出向いて行って、超越数の本にサインを貰った。津田塾の学生さんは Baker が書いて片山孝次先生が翻訳された初等整数論の本にサインを貰っていたが、小生がサインを頼むと、初等整数論の本の原書かと思っていたのが超越数の本なので、ちょっとビックリされていた。ついでに Acta. Arith に載った  Q(√37) 上の楕円曲線の論文も渡しておいた。その後早稲田でも話してもらう機会があって、足立先生に命じられて Baker を東大の宿泊施設まで迎えに行った。お喋りが好きなようで、タクシーの中でずーっと話しかけられて、いささか閉口した。論文の英語が完璧だというようなことを言っていたが、足立先生にみっちり添削していただいて、Acta Arith. を出してる出版社は英語に変なところがあると直してくれる（別の論文だが「～ are remain open」をちゃんと「～ are still open」に直してくれていた）のもあったのだろう。小生の英語力はしょぼいよ。論文に Baker と W\"ustholz による新しめ（当時は）の結果を使っていたのも Baker がご満悦に成った理由で、阪大の学会で講演されている時に小生の名前が出てびっくりした。その時点ではまだ次の年にうちに雇ってもらえるのが決まる前だったので、あー、冥土の土産が出来た、これでいつ数学から放り出されても悔いはない、くらいに思っていたが。あ、1999年に成ってから、Baker から2月に中国でやる研究集会に小生を招待する旨メールがあったが、引っ越しだ、4月からの講義の準備だで、とても引き受けられない、と足立先生に相談したら、仕方ないから断りなさいという趣旨のことを言われた。貴重な機会を逸して残念だった。

えーと、Baker の話の方が長くなった。今の隣の部屋の先生が代数幾何の人で、twitter に廣中先生の講義録を読んでると書いてて、それを見てつい買ってしまったが、読むんだろうか？という気がする。数学をやってると一つことに突出しないといけないから、あれこれ出来なくなる。足立先生はそれで数学史を始めたということを書いておられた。人生は短いから出来ることは限られてる。この後何が出来るでしょうかね。

と書きながら「報道ステーション」を見ていたが、Tigers の高橋遥人がまたしても完封勝利したことを知った。3連続完封で今シーズン4完封勝利。防御率は驚異の0.21。栗林の0.96は十分凄いんだが、高橋には敵わない。どこまで続くでしょうか？Dragons の高橋宏斗（高橋遥人に投げ負けた）が数年前に防御率0点台（村山実以来）を出すかと期待されたシーズンがあったが、最終的には1.38だった。高橋遥人と栗林は大記録目指して頑張って欲しい。Baystars 戦では投げないでな。勝ちたいし記録を作って欲しいし。

レイノルズ、康晃で3点のリードを守れず、無念の引き分け。成瀬、林はよくやった

結局プロレスは見た。セレッソ大阪の応援番組と韓国ドラマの時間は、NHK BS でやってる「英雄たちの選択」を録画してあったのを見た。竹中半兵衛を取り上げた回で、大河ドラマに半兵衛出てるし、今読んでる文庫本がまさに竹中半兵衛を主役としたものだから興味深い。その本は笹沢佐保が時代小説を書いてる珍しい本。まだ稲葉山城の乗っ取りの前だから、序盤も序盤。面白かった。でその後ちょっと計算を仕掛けて寝た。

で起きたら2時ちょい前で、野球が始まる時間。東だからやってくれる、と見始めるも、2回に祐大が送りバントを処理して3塁で刺せそうと思って慌てたか悪送球。1回に好守を見せた度会がクッションボールの処理を誤り、走者を3塁に進めてしまい、矢野にタイムリーヒットで返されてしまい2失点。まあ仕方ない。Carp の先発は床田。今シーズンは良くないので、逆転出来るさ、と見ていたら案の定。4回にルーキー成瀬脩人が満塁の走者一掃のタイムリー2ベースヒットを打ち逆転。プロ初打点だそうだ。よくやった。6回には肉体改造中の林がどでかい2ランホームランを打ち3点差。もういけるっしょ、という感じ。7回は中川虎大がぴしゃり。が、その後がいけない。8回レイノルズが簡単に2アウトを取ったが、そこから3連打で2失点。9回は康晃が持丸にプロ初ホームランを許してしまい同点に。むぅ。10回はルイーズが抑え、11回は坂本が2アウト満塁のピンチを作るも無失点。12回は吉野が三者連続奪三振。が、攻撃陣に当たりが出ず、無念の引き分け。まあ  Carp 戦の負けなしは続いている。Giants が勝ってしまったので0.5ゲーム差開いたが、まあいいです。明日勝てば9連戦を5勝3敗1分で終わる。勝ちましょう。

昨日マウスの様子がおかしいと書いたが、そうしたら何か普通に使えるようになってきた。が、時々おかしいことがあるので、やはり新しいのを買うことにした。寝癖ボーボーなので、シャワーを浴びて直してから買いに出る。Joshin だと車で行かないといけないが、DCM なら歩いて数分。で適当な Bluetooth 接続のマウスが二つあったが、単4電池で使える奴がよかろうと、安い方を買ってきた。ELECOM の商品だから、変なものではなかろう。前のは Digio とかいうあまり知らないメーカーの物で、電池を変えるのに上をはずさないといけないのがおかしくなってきた原因の一つだろうからな。箱を見ると凄く小さいのではという気がしたが、帰ってきて箱を開けてみると前のよりちょっと大きい。これくらいのサイズだと使いやすいかな。ちょっとマインスイーパーをやって慣らしてから、コンピューターに無茶苦茶計算させる。500までやってたやつを1000までに拡張したくてやる。SageMath で答えが返ってこない場合は Magma Calculator にやらせて、それが駄目なら PARI/GP の ellheegner というコマンドでやって、で全部出来た。いや、半分だけだな。もう半分やらないと。論文の直しはどうした？という感じだが。論文書きは凄く消耗するので、つい現実逃避してしまう。さっきブログを見た（これも現実逃避の一環）ら、レフリーから返事が来て2か月も経ってる。有隣社に注文した本が届くのを待ったり、津山で話させてもらうのの作戦を立てたりとかしてて、随分時間が経ってしまった。やらないと。今日は眠いし、明日は床屋に行きたいから、早目に寝たい。ということで、明日以降少し気合を入れてやらないと。Baystars が勝ってくれるとやる気が湧く。勝てよ、と思って調べたら、Baystars が深沢、Carp が栗林。…。期待薄だな。まあこの前も若手で期待出来ないところを連勝したからな。頑張ってくだされ。

1回表に満塁ホームランを打たれた竹田祐が勝ち投手に成る不思議

今日の野球は謎の3時開始なので、少しくらい夜更かしをしても大丈夫、と思って作業を始めてしまったが、これがいけない。Magma や SageMath などで種数1の曲線を楕円曲線の定義方程式として一般的な Weierstrass 方程式に直す方法を見付けてしまった。が、どちらも謎。Magma の方は有理点を一点与えるが、非特異な点でないといけないようにマニュアルに書いてあるが、思いっ切り特異点を与えても答が出てくる。が、座標変換の式も与えてくれるがそれで写すと (0：0：0) に成ってしまい、やはり駄目か？SageMath の方も謎な座標変換の式を返してくるが、意味が分からない。方程式は Magma も SageMath も同じだったが。でうだうだとやっているうちにどんどん時間が過ぎていき、結局相当な時間まで起きていてしまった。何してるんだか。論文の直しはどうした？

で適当に寝て、3時の野球開始に間に合うように起きた。が、すぐ奈落の底に叩き込まれる。竹田祐が乱調で、1回表に無死満塁のピンチを作り、4番の坂倉に初球を打たれ満塁ホームラン。最悪。が、今日の Baystars 打線も昨日の好調さが続いていて、2回表に佐野2塁打、祐大ヒットでノーアウト1、3塁。勝又の内野ゴロで1点、蝦名ヒット、林2点タイムリー2ベースで1点差。竹田にプロ初安打が出た後、三森のセカンドゴロで同点。俄然楽しくなってきた。竹田は立ち直って、満塁ホームランを打たれた後9者連続で凡退に打ち取る。すると3回裏に勝又のタイムリーで勝ち越し、蝦名のタイムリーヒットでもう1点。いいぞいいぞ。4回は三森がヒットで出ると、2盗、3盗を立て続けに成功させ、度会のヒットで1点追加。2死後勝又がタイムリー2ベースヒット、蝦名2ランホームランで一挙5得点。1回表に4点取られたチームが、2回裏4点、3回裏2点、4回裏5点の猛攻で、まるで別の試合のような展開に。横浜スタジアムでの試合を見たことない方はご存知ではないだろうが、4回が終わると「ハマスタバトル」と言ってファン代表と Baystrars のチアグループ「diana」との短距離リレー競争が行われるが、それが始まると言われた時に「あ、まだ4回が終わったところか」と気付いてビックリした。それだけ攻撃の時間が長かったということだ。その後 Baystars は点を取れず、Carp にはマルセリーノ、宮城の四球から始まる失点と、ちょっと反省しないといけない所があったが、まあ最後は康晃が抑えて勝ったのでよし。これで15勝15敗の5割に。夜 Giants が負けたので、3位と0.5ゲーム差に成った。よしよし。竹田はまさか勝ち投手に成れるとは思ってなかったろう。6回5失点だからね。今日の勝ちでプロ通算5勝だが、何とセ・リーグ全球団から勝ちを上げているとか。こんなのは珍しいのでは？チームは Carp には去年から9連勝が続いている。Swallows に負けた分を Carp 戦で全部取り返してる。もう少し万遍なくやってくだされ。

ABC でニュースを見ようとチャンネルを変えたら、もう7時を過ぎていて、「帰れマンデー」が始まってた。一日短いな。マウスの左ボタンの接触が何かちょっと変なので、買いに行こうかと思っていたが、もう遅い。明日にしよう。今晩は騙し騙し使う。最悪タッチパッドでやればいいので、マウスは無しでも大丈夫。まあ今日は寝不足なので、あまり無茶しないで寝るけど。明日は床屋は休みなので、明後日行く。野球が終わってからだと閉店に成ってる可能性があるので、午前中に起きたら行こう。野球が始まってる時間に成ってしまっても、仕方ないから行く。3月の卒業式の後に床屋に行ってるようだから、そろそろ行ってもよかろう。

日が変わって火曜日に成った瞬間に「月よるビッグバン」という30分番組の枠が始まって、今週から何やら不倫で身を持ち崩した俳優の番組がやるらしい。つまらなそうだ。ウルフ・アロンが出るそうだから見るかな。それと、何だか音楽グループのドキュメンタリー番組みたいなのの30分番組があったが、つまらん、と思っていて、終わってくれてホッとした、と思ったら何やら韓国ドラマの50分番組に成ってしまい、ますますつまらん。今日は隔週のセレッソ大阪応援番組をやる日だから、プロレスが始まるのが3時過ぎ。起きていられるでしょうか？コロナ禍の時にプロレスを見る習慣が付いたが、当時出ていた選手の集合と今出ている選手の集合はほぼ disjoint。知らん選手ばっかりに成って、最近は昔ほど真剣に見てない。今晩見るかどうかは眠いかどうかによるな。

Swallows 相手の開幕からの連敗は7で止まった（22安打12得点ですっきり）

昨日は結局 Baystars は負けた。試合中だが呑みに行き、料理を待ちながらスマホを見ていたが、誰が勝ち投手に成るのだろう？と思って調べ始めたが、こういうことをすると大体ロクでもないことが起きる。同点にされ、延長戦に突入後サヨナラ負け。Swallows に勝てないなぁ…。でもう新しい客を受け入れない時間の筈なのに、お一方来られて、割と短時間で帰っていかれたが、その後もう一人来た。阪大を出てアメリカの大学で研究員（ポスドクだと言ってた）をしているが、何かの制度で今は東大にいる若い人が、連休だから地元の山科に戻っていて、店の前を通ったら電気が付いているし我々も呑んでるようだし、と入ってきたそうだ。アメリカでの生活が色々聞けて楽しかった。大分酔っていたからか、大学の教員に成りたいと言っていたかどうか覚えてない。何やら大学勤めの大変さを語った気がするので、多分そうなのだろう。幸多からんことを願う。

で帰ってきて、昨日届いたパソコンのセットアップの様子を見ると、TeX Live のインストールは終わってた。動作確認すると、大丈夫そう。よかった。それから Smatra pdf をインストールすべく Google 先生に調べてもらったが、何やら似たような名前の pdf 関連のソフトを間違えてインストールしてしまった。急いで正しいものをインストールした。でもうかなり眠いので、SageMath のインストールは一寝入りした後やることにする。

で昼過ぎに起きて、間違えてインストールした pdf 関連のソフトをアンインストールしたが、アンインストールしようとすると色々聞いてくるし、終わったら何やら固まり、鬱陶しい。電源を落とそうにも Windows のロゴマークのキーを押してもメニューが出ない。幸い電源の落とし方は分かったので、オフにして再起動したら異常は無かった。よかった。でそれから SageMath のインストール。一時バイナリファイルをダウンロードしてクリックするだけで出来た時期があったが、最近のバージョンをインストールするには Windows 用 Linux サブシステムとやらをインストールして云々と、難しくなった。もう3回目か4回目なので、大分慣れてきたが。幾つか作業ののち conda とかいう命令を実行する必要があるが、そんなコマンド知らないという。前はそれからじたばたして、anaconda とかいうのをインストールする、という謎の情報が出ていたのでインストールしてしまったが、それは必要無かった。単にターミナルを再起動させればよい、と分かって、今日はその経験を活かしスムーズに出来た。で SageMath を無事使えるようになった。PARI/GP は昨日インストールしたし、もうこれで研究モードに突入出来る。嬉しい。Zoom のインストールを忘れたのを後で気付いたが、今週は火曜日、水曜日と大学はお休みなので、学科長会議とそれを受けての学科会議は勿論無い。ということで慌てる必要は無かったが、簡単にインストールする方法を思い出したので、やってしまった。あ、Maple は？と思ったが、どうやるか分からない。学科で買ってるので、どこかのページを見ればいい筈だが、そこが無くなっている。今度「雑用係」を自認している先生に聞くことにして、一通り終了。持ち歩き用のパソコンを落として選手交代、と行きたいが、計算中なので、電源を落とさず部屋の隅に移して、で定位置に新しいパソコンを据えて終了。新しいパソコンを買うと結局使えるようになるには二日くらい掛かってしまうな。連休中でよかった。

でもう6時になっていた。今日こそ Swallows に勝たないと。1回裏に1死1、2塁のピンチを作り、2死1、3塁に成るも何とか石田裕太郎が抑えた。3回表に石田裕太郎が内野安打で出塁、三森がストレートの四球で無死1、2塁。が、度会が併殺打。リクエストするも判定は覆らずで2死3塁。勝ってない相手にはこんな形に成ってしまうか。あーあ、無得点だな、と思ったら今日は違った。佐野、宮崎が連続タイムリーで2点先制。その後石田裕太郎はヒットを打たれるが無失点でいって、すると5回表に宮崎が弾丸ライナーのソロホームランで3点目と援護。するとその後打線爆発。7回表に度会、佐野、宮崎の3連打で2点追加。8回表はビシエドの2ランホームランと神里のタイムリーヒットで3点追加。9回表は三森のタイムリーヒットと度会の3ランホームランで4得点。今までの鬱憤を一気に晴らす22安打12得点。9回裏に久々1軍登板の石田健大がホームランとエラー絡みで2失点したのは余分だったが、まあいいです。一昨日の16失点と昨日のサヨナラ負けを忘れるくらいの勝利だった。宮崎は9年振りの1試合5安打だそうだが、神宮での試合だったのでヒーローインタビューは石田裕太郎だけだった。横浜スタジアムだったら間違いなく宮崎もお立ち台だったろう。明日から横浜スタジアムで眼下の敵 Carp と3連戦。是非3タテを。今シーズンまた Carp に負けてない。まあいつかは負けるだろうが、とりあえずは3タテで貯金2としたい。頑張っておくれ。

新しいパソコンは漢字を学習してないので打つのが大変。自分の名前を打つだけでも一苦労。大学の先輩で田中太郎さんという方がいらしたが、そんな苦労はしたこと無いだろうな。他にも太郎という名の知り合いがいるが、彼等もよくある苗字なので、楽だろう。小生は加川だからね。無駄に打って学習させているわけだが。名前も書こう。貴章。もう大丈夫だな。住所もちょっと難しいが、流石に書かない。ネットショッピングを何度かやれば大丈夫だろう。ということでこれから早速やる。随分前に届いたものを4月末に漸く箱から出したんだが、AC アダプターが無い。説明書を読むと別売りだそうだ。AC アダプター別売りって何やねん。まあ急ぎで使うものじゃないからいいけどさ。

佐藤輝明が驚異の打率 .400 に到達

今日は宅配便が2時から4時のどこかで来ることに成っていたので、昨晩は程々の時間に寝た。いや、普通の人の感覚では全然程々じゃないんだが。さあ何時に寝たでしょう？で1時過ぎに起きて、で食事を手配して食べて、などとしているうちに荷物が届いた。すぐにでも床屋へ行こうという気に成っていたが、ちょっと色々やってしまい、今日の床屋は無し。まあいいです。

テレビを付けてたが、Tigers vs. Giants の試合が始まった。作業をしながら流していたが、Tigers 強いぞ。佐藤が4安打で、驚異の110打数44安打の打率4割に。今日もホームランを打ったし、手が付けられない。あれだけ打ちまくられたらもう大谷のように申告敬遠を乱発するしかないだろう。が、佐藤の後に5番に入ってる大山も好調のようだから、申告敬遠は安易に出来ないか？どう対処すればいいでしょうか？

などとしているうちに6時近く。Swallows vs. Baystars だけは何故かナイター。今まさにやってるところ。Swallows の先発小川からヒットすら出ない状態が続いていたが、Baystars の先発入江もピンチは何度か作るも点を与えない。先に点を取ったのは Baystars。併殺打と思ったらショートが握り損ねて1アウトしか取れず、そこを Baystars が付けいった。入江のプロ初安打となるライトオーバーの2点タイムリー2ベースヒットで先制。入江は作新学院時代は今井達也の控えで、今井が投げてる時は野手をやってて、高校時代に甲子園でホームランを打ったこともあるとか。いい展開か？と思ったら、すぐ裏に4点取られた。ワイルドピッチで1点目を取られ、その後釣る瓶打ち。入江は結局勝ち投手に成れなかった。早く今シーズン初勝利を是非。入江も勝ってないが、Baystars はまだ今シーズン Swaloows に勝ってない。嫌に成ってきて、シャワーを浴びるか買い物に行こうか、と思っていたら、何とヒュンメルがバックスクリーンへ逆転の3ランホームランを叩きこんだ。よしよし。その後1イニング経過。最後まで見てるとまたふなごやの終わりの時間に成ってしまうので、途中で行くが、それまでにリードを広げてくれるといいが。

昨日大敗したことは書いたが、Baystars ファンが沸く場面があったそうだ。登板する投手陣が失点を繰り返す中、最後にマウンドに立ったのは三塁を守っていた柴田。MLB では大量リードされている時に投手の消耗を避けるために野手を登板させることはよくあるが、日本ではあまりない。Giants が増田を、Swallows が北村をマウンドに立たせたことがあったのは覚えてるが、珍しいだろう。柴田は打者一人を6球で無失点。昨日投げた投手陣は全員失点したが、柴田だけ無失点というのは何とも皮肉。今日、明日はそんな展開にならないよう願うよ。今日は買ってくれ、頼む。現在7回裏 Swallows の攻撃中で、マウンドには今シーズンここまで無失点の中川虎大。頑張れ

「代数学I」の出席者が大分減ってきた

今朝は10時半前に目が覚めた。まあ十分寝たかな、という感じ。シャワーを浴びて11時半に成る前に出発。もうちょっと早く起きてたらうな松でクーポンを使って200円引きで鰻、と出来たが、まあいいです。12時くらいに職場に着いて、チキンカツの弁当を買って食べて、2、3返事をしないといけなそうなメールが来ていたので返事を書いたり、それに関係する某手続きをしたり。昔は印鑑を押して事務に出すのだったが、何でもオンライン化されてしまっている。上手く出来たか不安だ。であっという間に1時を過ぎてた。

1時10分から「代数学I」。出席者が減ってきたな、と思って数えたら17人しかいなかった。マイク使わなくてもいい気がしたが、結構後ろの方に張り付いてる学生がいるので使った。今日はイデアルの定義から。あの定義を見ると、何だこれ？と思うだろうな、とは思うが、我慢強くやるのが大事、と言っておいて、剰余環を定義したり。今日は a－b がイデアルに入る時に a～b であると定めて、それが同値関係に成っているとか、～ の同値類が剰余類であるとかやって、R/I を定義して幾つか例をやってたら終了5分くらい前。演算の定義が well-defined で、とかやると時間オーバーに成るのは必至なので、来週やることにしてざっと話しておいた。まあ今日の説明では分からないだろう。来週きっちりやって、Z/mZ とか R[X]/(X²＋1) とかいじるとちょっと見えてくるだろう。しつこいが我慢強くやるのが肝要と言っておいた。

で終了後すぐゼミ。今日は Q(ζ_m) が φ(m) 次の代数体で、ガロア群が (Z/mZ)^× と同型なことから始めて、代数的整数が4週目にしてようやく定義出来て、で代数体の整数環の定義の後、整数基の存在証明。自由加群についてあまり知らないと言ってたが、藤崎先生の本でキッチリ勉強してきてたのでよし。階数 n（<∞）の自由アーベル群の部分群が階数 n 以下の自由アーベル群に成ることの証明は案外難しい。ベクトル空間の場合は部分空間の次元が親玉の空間の次元を超えないことは簡単に示せるが。割り算が出来ないとは窮屈なものだ。今までは毎回延長していたが、今日は定時に終わらせてくれた。よかった。

その後部屋で色々。先週代数の演習問題を一気に幾つか上げたが、一つしか見えない。「数理科学セミナー」の資料も全部上げておいたつもりだったが、TA をやってる院生が、学生から最初の方しか見えない、と言われたらしく、見ると今日の代数の問題集と同じ現象。良く分からないが、まとめて上げても一つしか見えない仕様のようで、仕方ないから全部別々のトピックを作って上げておいたが、今度は大丈夫だろう。でその後特に急ぎでやることは無かったので、2月中に終わらせるつもりでまだ終わってない TeX 内を少々。丹念に読むと沢山打ち間違いがある。今日も終わらなかった。まあいいです。で何だかんだと9時半くらいまでいた。

昼は青空が見えたが、スマホの予報だと夜は雨と成っていたが、さて、と思って表に出ると、弱くだが降っている。傘を開いていてたが、傘無しで歩いている人が殆ど。雨が降ってることには違いないと思って傘を使っていたが、風が強くなってきて傘無しでないとまずくなってきた。まあ僅かな降りなので、数分間我慢して歩いた。ですき家でキーマカレーを食べて、で走ってる最中に一つやり忘れたことがあったのを思い出して、今晩中に済まそう、ということにして、もうちょっと走ったらガソリンが少なく成ってることに気付いた。瀬田のガソリンスタンドは通過して、膳所駅前のガソリンスタンドに寄る。表に出ると風が強い。雨は強くないが、結構な風量で、顔に雨粒が当たって結構不快だった。

今日は連休前の金曜日の晩だからだろうか、交通量が思いのほか多かった。慣れてないのかゆっくり走ってる車もいて、ちょっと嫌な感じだった。まあイライラはしないようにしているのでいいけど。今日は行く時に高速道路の出口近くで後ろにくっついてくる車がいて、気色悪かった。出口速度30km/hの看板が見えないか？まあ30km/hよりは少し出していた（だから厳密には速度超過）が、それにイライラするようではちょっとな。で料金所のゲートを小生は正面のを通ったが、その車はわざわざ左のゲートに移っていった。バーが開いたのは小生とほぼ同時。で小生の前に来ようとするから、流石の小生もちょっとイラっとして、合流させてやらなかった。どうせ前の信号は赤だし、慌てる必要は無いのにね。で交差点を小生の後ろに付いて右折したが、小生は右折で職場に入るので右レーンを走ったが、そやつは左レーンに入って小生を抜いていった。が、正門前の信号はこのタイミングでは必ず赤に成るのだ。信号の特性を知らないのだろう。結構スピードを出していたが、交差点で案の定追い付いた。そこまでして急ぐ必要が何故あるのか、皆目見当が付かない。落ち着いて運転しましょう。YouTube で追い抜かしていった車が少し先で事故を起こしているのを嘲笑している動画があったが、そう成るのがオチよ。気持ちは大きく安全に運転しましょう。

野球だが、Swallows 相手だと何故か勝てない。ゼミが終わってすぐパソコンで速報のページを見たら、1回に4点取られたようだ。佐野のホームラン（佐野は20打席以上ヒットが出ていなかったが、今日のホームランの前にヒットを打っていただろうか？）で1点取ったが、帰る直前に見ると16点も取られてた。帰ってきて「報道ステーション」を見ると、ホームランを何発も打たれいて、丸山和郁にサイクルヒットをやられたらしい。まあいいです。明日、明後日勝ってください。最悪どちらかでも。3タテを何度も食らうのはよくない。苦手意識は早目に払拭しないと。

天気予報を見たら、明日も風が強くて荒れる、みたいなことを言っていたが、近畿はそうでもないようだ。明日は2時から4時のどこかで荷物が届いて、野球は土曜日なのにナイターだから、適当な時間に床屋へ行こうと思っていたので、天気がいい方が嬉しい。いい天気に成りますように。

今「探偵！ナイトスクープ」で逆上がりを出来ない人が出来るように成りたいという依頼がやってるが、小生も子供の頃は中々出来るように成らなかった。親父殿がクリーニング屋閉店後に店で特訓してくれたが。クリーニング屋の店でどうやって逆上がりするんだって？秘密の方法で出来たんですよ。今の身長では無理だけど、当時は小さかったからね。出来る人に聞いても分からない、と言っていたが、その通りだろう。凄い数学者の書いた本は読んでも分からないよね？いや、易しい本を書いた人が凄くない、ではないよ。否定命題は正しく作りましょう。で小生は馬鹿だから、ぎちぎちにやらないと分からない。昔はよく学生が「加川先生のノートは後で読んだら凄く分かった」という趣旨のことを言ってくれたが、歳をとっても姿勢は変えないようにしている。板書を写すの嫌だろうけど、頑張って写して、後で勉強してください。幸い明日から5連休だ。数学してください。しないか。帰省したり家族で旅行行ったり呑み会したりバイトしたりと、学生の連休は忙しいのだ。小生は論文を完成させるのと、新しいパソコンのセットアップだけで終わってしまいそうだ。論文完成させるよ。有意義な連休にしないと。

銀行の駐車場が満杯のせいで路地に入り込んでしまい、久し振りにちょっとぶつけてしまった

水曜の深夜に下らんアニメがやっているのだが、何か面白くてつい見てしまう。昨日はそれだけ見て寝た。1時半くらい。しばし寝床でうだうだとやっていたが、2時くらいには寝入ったと思う。で12時半のアラームで起きた。10時間も寝ればもういいかと思うが、ちょっと眠い。まあ運転中に眠くなることはなかろうということで、1時過ぎに出発。

昼飯ははま寿司にしようと向かう。中トロがあったが、2枚重ねのやつがこの前あったので、スキップして2枚乗ったやつが案の定あったので頼む。が、その後で大トロがあるのを見付けてしまった。何だ、中トロ頼むんじゃなかった。まあ大トロも食べたけど。で何やかやといつもより多く食べてしまった。まあいいです。その後銀行に寄って、連休中の軍資金を卸しておこうと向かうが、駐車場が満車。狭い路地に路駐している車が一台いたが、銀行の駐車場が一杯だからだろうか？そこに更に停める勇気は無いので、ちょっと走って体制を立て直そう、と思ったら、結構狭い路地で、カーナビの画面を見ると結構行き止まりの所が多い。ちょっと広そうな所があったので、そこを使って向きを変えよう、と思ってやるが、ゴツン、という音がした。久し振りにぶつけてしまったか？前の車は一度もぶつけず乗り換えたし、今の車も無傷のままだったが。車検の時にトヨタの人が「傷ありませんね」と感心していたが。で何とか銀行まで戻ったが、相変わらず駐車場は満車のまま。どうすべ？と思って考えていると、一台出そうな車がいたので、待って停める。お金を卸した後車の傷を見たが、大したことなかった。これくらいの傷ならいいです。

で職場に着いたのは2時半過ぎ。「数理科学セミナー」は2時55分からだから、個研室に戻るのは半端だし、教室が前の時間使ってるかどうか確認してないので、栄養ドリンクを買って食堂の隅で時間潰し。

で2時50分過ぎに教室へ向かう。55分開始。今日はユークリッドの互除法の残りから。割り算の回数が小さい数の桁数の7倍で済む、という証明をしたので、5倍で済むよ、とコメントしたら、何とその証明を調べてきてた。書いてないことはしなくてもいい、という方針でいかないと、これから先大変だよ。後ろの方を見たら素数定理の主張が出ていたが、証明してこないよね、流石に、と思うが。ゼミのテキストにカタラン予想（ミハイレスクの定理）の主張が出てて、学生が「調べたけど分かりませんでした」と言ってた。当然。学部生だと難しい数学とはいかなものか知らないだろうから仕方ない。で最初の学生は留学生だったが、二人目は日本人。当然だが日本語で流暢に説明して、こっちのコメントもすぐ理解してくれるので楽だ。で残り10分くらいに成ったので、やめようと思ったら、ソフィー・ジェルマンによるフェルマー予想に関する定理の証明をする、と先週言ってた学生がいたので、やらせるも、10分で終わるの？と思ったら当然終わらず。中途半端に成るくらいなら最初からやらなきゃいいものを。次のコマはゼミなので、延長は出来ないから、来週一からやって、ということにして終了。帰ろうとしたら一人学生が話し掛けてきた。頼まれていたことがあったのを忘れていた。「後でやっておく」と言っておいた。

でゼミだが、二人中一人が調子が悪くて欠席。でもう一人の学生が色々準備不足で困った。「Prove or disprove the following statements」という文章を見ないで、成り立たないかも、ということを証明しようとしたり、ガロア理論の理解が危うかったり、自明じゃないことを何もコメントせずスルーしようとしたり。3時間以上やって殆ど進まなかった。まあ一人いないのでいいでしょう。疲れた。

「数理科学セミナー」の間はちょっと眠かったが、その後のゼミ中はそうでもなかった。っよく知っていることをよく知っている通りにやられると眠くなるのはむべなるかな。ということで学生から頼まれていたことを済ませてから、明日の講義でやることをちょっと眺めた。イデアルで割る話が出てくるから難しくなるだろう。が、初等整数論も剰余環を使った方が分かりやすいし、体の拡大は1変数多項式環の剰余環無しでは出来ないので、ちゃんとやっておかないと。で何だかんだと9時半までやっていた。野球の様子を見ると、作業前に見た時は2点リードしていたが、4点リードに変わっていた。ですき家で回復の為カルビ丼に大蒜が乗った奴を頼んで食べて、でスマホをちらっと見たら野球は終わっていた。篠木が初勝利だそうだ。あまり期待していなかったがよかった。プロ初勝利で、今日はご両親が観戦に来ていたそうだ。やるね。

で住処に着いて「報道ステーション」のスポーツニュースを見ていたが、Tigers はまたしても Swallows に勝った。でびっくりしたのが、佐藤輝明がいつの間にかホームランダービーのトップに並んだそうだ。暫くホームランが出なくて、「おはよう朝日です」で大丈夫かと言っていたが、福留曰く「全然問題無いです」。でその通りになってきた。現在打率・打点・ホームラン全てでトップで、所謂「三冠王」。凄いな。まあ Swallows を叩いておいてくれたのはありがたい。Baystars は明日から Swallows と3連戦。開幕カードで3タテ食らってから一度も勝てておらず、5連敗中。一つは勝たないと。いや、そんな遠慮せず、3タテしましょう。今日の勝ちで5割に成った。4月は勝ち越したそうだ。勢い付くといいが。Swallows の次の対戦相手は Carp。対照的に Carp には今シーズン勝ちっ放し。明日から6連勝と行きましょう。そうすれば一気に上位だ。期待する。しかし土曜も日曜もナイターなのは何故なんだろう？神宮でやる時は不思議とナイターが多い。大学野球か何かの関係だろうか？知らんけど。

無事帰り着いて、有理点が見付かっていて万々歳、野球も勝ったし、の筈が…

昨晩は懇親会後すぐ宿でダウンして、一旦起きて日が変わる前にブログを更新して、その後もう少し寝たが、寝坊して列車（電車ではなかった）に乗り遅れてはいけない、と思い、寝不足だが起きていることにした。実は一昨日の晩も寝不足だったのだが。待ち合わせに遅れてはいけないから、ということで。こういう無茶はしない方がよいのは分かっているのだが。先場所翠富士が全休したが、心不全、というインパクトの強い説明があった。何でも呑み過ぎだ食べ過ぎだというのが原因だったそうで、今場所は十両から出直すため出場するらしい。えーと、無理はいけないよ、という話。

でまずやったのは、足立先生の「フェルマーの大定理」を持参していたので、それのソフィー・ジェルマンのフェルマー予想に関する定理の証明を読んだ。先週「数理科学セミナー」で学生が証明しようとしてすぐ破綻して、明日またやるようなことを言っていたので、読んでおこうということで。が、これは自力では出来ないだろう、というのが実感。平方剰余に関する知識やら色々必要で、まだ合同式もやってない段階ではとても無理だろう。出来そうになかったらとどめを刺してやろう。で朝食の時間に成ったので、食べに行って、寝ないように気を付けるためにパソコンに向かって色々。9時58分の岡山行の快速に乗るので、まあ色々不測の事態もあろうかということで、用心して9時半くらいにチェックアウトした。ホテルは津山駅のすぐ近くなので、楽に間に合ったが。駅のアナウンスが丁寧で、2両編成の一番前の乗車口付近で待ってるのは一人しかいないので、 分散するために前の方に行ってくれという趣旨。お陰で座席を確保した。4人掛けのボックスシートに暫く一人で掛けていたが、途中斜め向かいに一人座り、もう少し行ったら左隣に一人座ってきた。荷物を椅子に置くという顰蹙ものな行動はしないようにしているので、どうぞどうぞ。岡山駅に近付いてきたら大分人家が増えてきた。途中岡山理科大学を発見。うちで1年だけ働いて岡山理科大に移籍した人が二人いる。で岡山駅の一つ手前の法界院駅でどっと乗ってきた。祝日だから大学生ではなかろうが。5分遅れで岡山駅に着いて、「岡山カレー」というのを食べて時間調整。11時40分ののぞみに乗れた。切符をとってあったのでよかった。1時過ぎに帰宅。

走らせっ放しにしてあったパソコンを見ると、有理点が見付かっていた。素晴らしい。Canonical height が330を超えてるごつい点。見付かってよかった。鞄から USB メモリーを取り出して、結果を記録。でパソコンを漸くリブート出来るので、再起動する。が、ネット環境は復活しない。その後何か色々変な感じなのでもう一度リブートしたら、何か「Windows を設定しています」と不穏な文が出て、買ったばっかりのパソコンのような状態に成ってしまった。え？え？ここ最近拾ってきた論文やらプレプリントやら全部おじゃん？と思って SSD の中身を覗くと、幸い残っていた。外付けの HDD を繋いであるので、急いで全部コピーして、でもうあかんな、ということでそのパソコンには撤退してもらうことにした。で鞄から旅行のお供のパソコンを取り出して、でそのパソコンを暫く使うことにせざるを得なくなった。去年の春（昨年度、ではなく、2025年の春、つまり一昨年度）の春に職場のパソコンが怪し気な攻撃を食らった時に職場にこのパソコンがあって助けてもらった。何かの時の為にパソコンを一台余分に持っておくといいな。

そんなことをしてる間に野球が始まっていた。昨日東で負けて、6連勝の後3連敗。牧が抜けて佐野が20打席くらいヒットが出てなくて、今日は宮崎が休養で欠場。4番は誰？と思ったら、何と松尾汐恩。先発投手はプロ初登板の島田舜也と、今日もあまり期待出来ないかも、という状況。相手の Dragons は4連勝中だし。で早速1回裏に先制されるも、すぐ2回表に同点に。4回裏に再び1点勝ち越されるも、5回表にすぐ同点に。今日は上位打線は Dragons の櫻井に抑え込まれ、途中1番から5番まで5者連続奪三振などを食らうが、7番京田からの4連打で2点取り勝ち越し。今日は打線は下位打線が活発で、守備では京田や打では結果の出ない佐野がファインプレーを連発して、チームを救った。9回裏に康晃が無死1、3塁のピンチを作るも、外野フライで3塁ランナーが突っ込まず（解説の鈴木孝政氏は打球が飛んだ瞬間「よし！」と口走っていた）、代走に出た1塁走者の尾田が盗塁死（余裕でアウト）、村松1塁ゴロでゲームセット。4番に入った松尾は打で結果を残せずも、島田を5回2失点とキッチリリードし、最後に盗塁をさせなかったので、合格。上位打線が結果が出ずも、下位がよく打った。一人でやる競技ではないので、皆でキッチリやればいいのです。ということで4月は勝ち越しだそうだ。明日勝てば5割。スッキリと5月に入りましょう。

で早速また有理点探しをさせている。あまりこき使うとこいつまでダウンしかねないな。そんなことにならないことを願おう。で津山高専の人からメールが来ていて、有益な情報をいただけたので、お礼のメールを書いて。昨晩酒の席で話題になったのだが、数論の専門家以外だと谷山－志村予想が完全解決していることを知らないようで、そうだと言っておいたので、その論文の出ている雑誌を知らせておいた。100ページ近い論文だし、まあかなりの専門家でないと読まないだろう、とは思う。小生？読まないよ。それを読むほど余裕は無い。論文の revise をしないといけないし、やることは幾らでもある。が、流石に眠くて、さっきまでちょっとダウンしていた。論文の直しは土曜から水曜までの連休中にやろう、ということにした。直すために重たい本を持って職場に行くのはちょっと嫌だ。明日は天気が良くないようなことを言っていたし、「数理科学セミナー」で使う本も持って行かないといけない。寝坊してもいいように、一旦持って帰ってきて、住処から持っていくシフトしにしている。そうやると大抵早起きに成り、持ってきた意味が無くなるのだが、まあいいです。明日は結構遅くまで寝てしまいそうだ。何しろ昨日、今日で結構寝不足だからね。教材を持って帰ってきてあれば、2時過ぎに住処を出ても大丈夫なので、今晩はタップリ寝る。深夜テレビを何時まで見ているかが問題だが。

さっきニュースで言っていたが、Tigers が Swallows に勝って、一日で首位返り咲き。というところまではネットニュースで見てたが、びっくりしたのが高橋遥人が完封勝ち。ここまで4試合投げて、3試合完封勝利。もう1試合は6回1失点とか。月間MVPは決まりだな。高橋は毎年故障をしていて、シーズン終盤に1軍登録されて、そこから Tigers の優勝を決定付けるような登板をする、というタイプの投手だったが。今年は1年持つのでしょうか？そうすると脅威だな。今年こそいい加減 Baystars に優勝して欲しい。開幕4連敗スタートも明日勝てば5割。5割前後で頑張っていって、ここ数年の芸風で秋の声が聞こえると強くなるので、ということになればと思っているが。それまでに Tigers に去年のような独走を許してはいけない。が、明日の先発は今シーズン初登板の篠木。去年は3試合登板で防御率10.13だから、過剰な期待は出来ない。明日は8時くらいまでゼミをやる予定なので、見られないかな。雨の予報だが、バンテリンドームだから関係無いか。篠木は今日の島田くらい投げてくれればよい。遅れず付いていきましょう。

津山高専という所に呼んでもらって話してきた（概ね好評）

何か昨日まで色々ボカシて書いたけど、今日は岡山の津山高専という所に呼ばれてて、全額向こう持ちで出張出来るので嬉々として来た次第。岡山までは京都から新幹線で1時間ちょいだが、岡山から在来線で快速電車だと1時間くらい。都会の感覚だと快速電車があるとちゃんと各駅停車が合間の駅を埋めてくれてると思うんだが、快速電車が止まらない所は2時間やそこら電車が無い、というのはビックリだった。南草津は都会よ。

呼ばれた、では分からないですね。数学の話をしてくれと言われて来てる。高専という所のことよく知らなかったが、整数論の人はいないということで、問題は初等的に理解出来て、それなりに深い話をしないと、ということで適当な題材を選んだが。そもそも難しいことはこっちが理解してないので。問題は高校生でも理解出来て、それなりの整数論（ヤコビ記号くらい）で分かるという持ち球があるので、話してきた。幾つか質問が出て、まあ面白がってくれたようでよかった。どこかで今日の beamer のファイルは使う可能性があるので、メンテナンスをしておこう。幾つか初等的なミスがあったので。

終了後は津山駅の近くで懇親会をしてくださった。小生も含めて4人で呑んでいたが、30代前半の先生方が面白い人でよかった。こういう時は数学の話でない生々しい学園運営の話が聞けて面白い。小生は数学を専門とする学科で学生を相手にしてるが、恵まれてるな、というのが実感。就職したばっかりの頃は結構荒れ狂って、同僚になだめられたりしていたが、津山高専というのも恵まれた所、というのを小生を呼んでくれた先生が言っていた。理学を教えられる高専は津山高専だけらしい。若い先生方は大変かもしれないが、頑張って欲しい。楽しかった。

うっかり明日の指定席券も買ってしまったので、宿のチェックアウトは10時だが、9時58分津山駅発の電車に乗らないと買った券の新幹線に乗れなくなってしまう。折角岡山に来たのに、全く観光出来ずに帰ることに成ってしまう。何とも残念だが仕方ない。まあ今回は火曜、水曜と講義が無い日をピンポイントで指定していただいて来てるので、仕方ない。木曜日は2時55分までに職場に行けばいいので、大丈夫。去年長崎から帰ってきた翌日10時集合なのに起きられなくて色々ご迷惑を掛けたが、まあ2時55分ならね。上に書いたように結構情報交換が出来て有意義だった。観光しないくらいはどうということはない。人と話すと栄養を貰えるな。人嫌いの小生だから、たまに、でないとパンクするが。

学生が原始ピタゴラス数のパラメーター表示に案外苦労していた

昨日の晩は焦った。何度も書いてるように普段使ってるパソコンがおかしいので、別のパソコンを使ってるが、外付けのハードディスクをそっちに繋いだら、何と集めたものが一部無くなってる。え？え？暫くああでもないこーでもないとして、気付いた。外付けのハードディスクがクラッシュしては困るので、定期的に買い換えてるが、いつものパソコンに繋ぎ変えて後、古い方を結構近くに放置してあって、そっちを間違えて繋ぎ変えただけだった。新しい方を見たらちゃんと雁首が揃ってる。よかった。が、その後もちょっと。USB ハブを買ったので繋いで、外付けのハードディスクやら USB メモリーやらを使っているが、重い。暫くやって業を煮やした。USB ハブをやめて直付けしたらまあ何とか我慢できる程度にはなった。それでも重いのはウィルス対策ソフトが頑張ってるんだろうか？知らんけど。で結構な時間までうだうだと色々やって、気付けばこのページの更新を忘れていた。年始には毎日頑張って書こうと思うんだが、今月だけで既に二日さぼってる。まあ日記ではないので。

ということで結構遅くまで起きてたが、今日の用事は2時55分からのゼミだけなので、タップリ寝られたが。生協で弁当を買って、掻っ込んでからゼミに臨む。素因数分解の一意性が済んだので、こうなると色々出来て楽。例えば ab が平方数で (a,b)＝1 だったら |a|, |b| が平方数とか示せる。これを使って方程式の整数解を求めるのが今日の主題。原始ピタゴラス数の決定なんかもした。x²＋y²＝z² のパラメーター表示がパラメーター表示に成ってるか（変な文章だが、分かるっしょ？）の確認で案外手間取っていて、何故かと思ったら、x と y が互いに素なのを頑張って示してる。x² と z² が互いに素なのを示すのが楽だと教えてあげる。A＋B＝C なる A, B, C に対しては (A,B,C)＝1 ⇔ (A,B)＝1 ⇔ (A,C)＝1 ⇔ (B,C)＝1 ってのはちょっと慣れてないと難しいかもね。後で ABC 定理だの abc 予想だのが出てくるが、そこでもう一回やれるので慣れるでしょう。しかし書いてる間ずっと黙ってるのはそろそろ注意しないといけないな。ちゃんと寝て行ったから特に眠くなることはなかったが、寝不足だとね。それとノートにびっしり文字が書いてあったが、ほぼ全部写してるんだろうか？自分の言葉に直して予習するのが大事なのだが。本に「かくして」と書いてあるところをそのまま「かくして」って黒板に書くからね。「かくして」なんて日常的に使わないでしょ？この2点をいつ言うかだな。まあ近いうちに。幸い来週の月曜日はうちとしては珍しく休みにしてくれる。嬉しい。

明日ちょっとお出掛けするので、早目に帰ってくるつもりだったが、結局9時近くまで職場にいた。memo.tex という名前のファイルをずっといじっていたが、最初は確かに「memo」だだったが、いつの間にか20ページを超えてる。まあ論文に出来るまではメモのままなので、いいけど。ちょっと面白い現象を見付けたが、これではまだちょっと。もう少しどうにかする。しかし論文に成ってるものにも間違いって相当あるね。レフリーはちゃんと見てるのだろうか？小生でも間違いなのが分かる程度の数学しか使ってないが。何とか間違いは潰せたが、何か見覚えがあると思ったら、別の論文でほぼ同じことを証明していて、そっちと少々違うが大筋は同じだった。引っかかってる部分は、(x＋y√m)/2 の形の元を3乗してたからで、別の論文の方では α³ という形で扱っていて、2が惰性してる二次体だから、フェルマーの小定理（の代数体への拡張版）を使えばごちゃごちゃ計算せずとも α³≡1 (mod 2) は分かるので、そっちの方がすっきりしている。初等的にやるのばかりがいいわけではないぞね。

久し振りに天下一品の拉麺でも、と思ったが、職場を出たのが少々遅かったので、膳所までにラストオーダーの9時半までは着けないかも、という気がしたので、麺屋聖にすることにした。天下一品は住処のすぐ近くにあったが、先月一杯で閉めてしまった。こっちに住み始めてすぐよく通った。結構繁盛していたが、店主がお亡くなりになったとかで一旦閉めて、経営者を変えて同じ場所で再スタートしたが、客は相当減っていた感じ。コロナで10月1日の「天一の日」が出来なくなったのも大きいかな。

さ、旅支度をしてから寝るぞ。途中乗り換えるが、電車が1時間に1本くらいしかない所に行くので、寝坊するわけにはいかない。ちゃんと寝てちゃんと起きないと。あ、明日は資源ごみの日だ。アルミ缶と段ボールだけ出してきてチャチャっと済まそう。

4月16日以来（今の言葉だと4月16日ぶり）の負け試合

昨日書いた論文のおかしな所だが、結局おかしいのではないか、との結論に成った。が、論文に書いてあるように x, y が奇数であることが従う必要はなく、偶数でも問題無く進むのだろう、と言うことで、何とか成った。もう少し考えれば x, y が奇数であることが従うのではという気がしないでもないが、今日は午前中に用事があったので、程々にして寝た。

用事は簡単に終了。松屋でカルビ焼肉定食、のつもりだったが、チキンカレーに変えた。美味しそうだったので。で帰ってきて野球までの時間にちょっと録画してあったものを見ようと見始めたが、眠いぞ。ということで1時間くらい寝ようということで横に成った。

目が覚めたらもう野球が始まってる時間だった。2回裏だが既に Giants に1点入ってる。今日は27歳のルーキー片山が先発。その後も点を重ねられ、3回途中7失点。これではもう勝てないのは確定的だが、いや、野球は何点離れていてもひっくり返ることはある、と信じ応援。すると3回裏に満塁のチャンスを作る。が、そこから押し出し四球2つの2点だけ。その後はどちらも点を取れずにそのまま終了。まあ仕方ない。昨日牧が怪我をして登録抹消されたようで、筒香、牧がおらず宮崎も休養のため出場してない。その上序盤に7失点では。まあ全部勝てるわけではないのでね。Carp に3連勝、Tigers に2連勝、昨日は Giants に勝ちと出来過ぎの1週間だった。明日勝って3カード連続勝ち越しといきましょう。

その後 DCM としまむらに買い物。何故かスマホを持って行ったが、いいことがあった。ジハンピアプリに対応した自販機があった。職場に何台かあってアプリを入れたんだが、何故か全部無くなってしまって、何のためにインストールしたんだか、と思っていたが、今朝も1台見付けて、近所に2台ある。まあよかった。

パソコンのネット環境だが、相変わらずおかしい。リブートしたいが、まだ計算が続いている。前に書いた通り別のパソコンがあるのでそっちで書いてる。このパソコンのキーボードちょっと打ちづらい。いつも使ってるパソコンの方がタッチがよくていいのだが。直らないようだったら買い換えよう。実験実習費で買うことになろうが、一昨年までは事務の人に泣きついて書類の書き方を教わっていたが、ちょっとやりづらくなった。何故かと言うと、前は学科の事務の人が時間一杯7階の事務室で働いていたが、何故か今は午前中は学科の事務室で、午後は隣の建物の理工学部事務室で働くという、謎なことに成ったので。幸い教わって書類を書いてスキャンした残骸を捨てずにとっておいたので、それを見ながらやればどうにかなるので、自力で出来るようになった。経理担当の人とも何度もメールのやり取りをして、気にせずメールで質問が出来るのでよくなった。またやろうか。リブート出来る状態に早く成って欲しい。つまりは有理点が見付かるということなので、研究が一歩前進する。ということで是非。

先週は寝過ごしてあわや呑めないという事態になるところだったが、今日は大丈夫。ちょっと早目に行ってあげよう。また珍客が来て楽しく呑めると面白いが、他の客がいなくても楽しいのは楽しいのだ。軍資金を卸した方がいいようなので、銀行に行ってから行こう。本当は買い物に行った時に隣のマツヤスーパーの京都銀行の ATM で卸してくるつもりだったが忘れていた。来週はちょっと物入りなので、少し多目に卸しておくか。ということで行ってきます。

論文に書いてあることが信用ならず、嘘くさい

昨日書いたことは解決した。2次体の性質を使わず、単に Z の世界で mod するくらいで片付いた。嬉しい、と思って寝た。今朝は起きたら11時ちょいくらい。シャワーを浴びて出勤。12時15分過ぎに到着。まだ講義が終わってない時間なので、学内の人出はそこそこ。弁当を簡単に買えて、個研室で食して準備。

1時10分から「代数学I」。整域の簡約律から始めて、体を定義して部分体がどうしたこうしたとやって、それから準同型写像を定義。核がどうしたとかやって、単射であることと核が自明であることが同値であることを示したら大体時間。来週は剰余環をやることになるので、その枕として正規部分群で群を割る話を軽く振り返ってたらチャイムが鳴った。まあ大体予定通り。

その後すぐゼミ。今日は代数的数の判別式の話。まだ整数環を定義してないので、代数体の判別式の定義はまだ先。その後アイゼンシュタインの既約性判定をやって、2項式と3項式（最高次の項と1次の項と定数項のみの式）の判別式を計算して、3次体がガロア体であること、純3次体であることの特徴付けを判別式でやって、という感じの話。一か所不思議な所があって、各自然数 n 毎に n 次体が無限に存在することを示すんだが、n が偶数の時は簡単。p を素数としてp^1/n を添加した純 n 次体を考えればよい。n が奇数の時は結構大変だったが、純 n 次体を考えればいいのでは？という気がするが、そこに書いてある証明だとうまくいかない。判別式に違う素数が含まれていれば同型じゃない、というのはデデキントの判別定理とか色々知ってるからなのだろうか？まあ書いてあることは完全に理解出来たが。ちょっと延長した。この学生はいつも時間を気にせず喋るが、まあ金曜なので慌てる必要は無い。

その後部屋で昨晩考えたことを TeX 化すべ、と思って始めるが、途中もう一か所詰めないといけない所が詰められていないことに気付いてしまった。で考えるが、何かおかしい。論文に書いてあるような一言で済むことでないと思うんだが。この人の論文はどうも信用ならん。うだうだとあーでもないこーでもないといじったが、全く埒が明かない。間違ってるのでは？という気がする。この人は何故か二つ名がある人で、そのもう一つの名前で書いた方にとんでもないのがある。x³＋117y²＝5 が整数解を持たないことを純3次体のことをぐちゃぐちゃやって証明しているが、Math. Review の reviwer が「mod 9 すればすぐ分かる」と冷たく突き放していた。こんな人の書く論文だからな。もうちょっと付き合うが、来週の出張の件もあるし程々にしておこう。ということで10時半くらいまで職場にいた。

職場を出る前にちらっと野球の情報を見たが、Baystars はまたしても勝った。相手は Giants。1点先制されたが追い付いて、延長戦に持ち込んでサヨナラ勝ち。素晴らしい。6連勝。貯金生活だ。ずっと貯金のある状態でシーズン終えられるといいが。

ガストとすき家は夜間料金の掛かる時間に成ってしまったし、「探偵！ナイトスクープ」を見たいし、ということで晩飯は買っておいたカップ焼きそばで済ますことにした。で住処に着いてすぐにお湯を入れるべくポットのボタンを押したら、お湯が出ない。何と空焚きをしていたようだ。勿体ない。腹が減ってる時に限ってこうなる。まあいいけど。さっきの続きを考えながら待って、食事が済んだらもう一度考えよう、と思ったら、明日は午前中に用事があるのだった。程々に寝ておかないと。先週は徹夜して起き続けていたが、野球のデーゲーム終了後に寝入ってしまい、あわや呑み屋に入れてもらえないという事態だったからな。今日はそれなりに寝ておかないと。

「探偵！ナイトスクープ」が終わったら寝てもいいか、と思っていたが、何だかその後新しいドラマが始まったようだ。何か不吉なスタートっぽい。また見ちゃうかも。見る物が多いと時間をとられるし、程々にしておかないとね。ただでさえ野球で3時間～4時間くらいとられちゃうから。ま、程々にね。

浅越ゴエの快進撃に仰天。録画しておくべきだった

昨晩はやはり中々寝なかった。が、それなりには寝た。で起きたら10時半くらい過ぎ。2時55分の講義までに職場に行けばいいので、昨日の「ミラクル9」の2時間スペシャルを見て、12時半過ぎに出発。はま寿司で食事。高い物を頼み過ぎたか、値段の割には皿の枚数が少なかった。

でまだ時間があったので個研室で作業をしていたが、エクスプローラーが開いている時にうっかり Del キーに触ってしまい、何か迷わず y を押してしまって、USB メモリーからファイルを一つ消してしまった。USB メモリーのファイルはゴミ箱行にならずに完全削除されてしまう。む、と思ったが、昨晩住処で作業して pdf ファイルを作ってあったので、それを見ながら復元作業。dvi ファイルを tex で生成するという時代遅れのことをやっている小生だが、そのおかげでほぼ完全に復元出来た。まあ無駄な時間だったのは間違いない。

2時55分から「数理科学セミナー」まずピタゴラス数を円のパラメーター表示を使ってやる話。t＝tan(θ/2) とおくと sin θ と cos θ が t で表される、という有名な話をし忘れた。留学生がふうふう言いながら日本語で苦心しているのをみたら、気の毒に成ってきて、早く解放してあげたい、という気持ちがどこかにあったのだろう。次の人の所はほぼお話。p がソフィー・ジェルマン素数の時にフェルマー予想の first case が成り立つ、というのを証明するようなことを言って始めたが、2分くらいで変な所があるのを気付いて突っ込んだら、1週間考え直してくると言ってた。そんなに簡単なことだったかいな？足立先生の「フェルマーの大定理」（今はちくま学芸文庫で手に入る）に出ていたので見てみよう、ということにした。6人しか登録してないのに3人目もやるらしく、ユークリッドの互除法の話をしていた。本に書いてある割り算の回数の見積もりが小生の知っているのよりちょっと悪いようなので、コメントしておいた。もうチャイムが鳴った後だったので詳しく話せなかったが、フィボナッチ数列を使って回数の見積もりは出来る。商と余りがずーっと1で続いているのが最悪の状態で、この場合がまさにフィボナッチ数列、という話をしたかったが。また別の機会にやります。

少々の休憩を挟んでゼミ。今日はディリクレ指標の群の部分群とアーベル体の部分体の間の1対1対応。他にも conductor-discriminant formula を使って p 分体の判別式を計算したり、p  冪分体の判別式を計算したり。後者は任意の円分体の判別式を藤崎先生の本を読んだ時に計算したのを二人とも忘れていて、共役差積がどうしたとかそんなところまで遡り始めた。いやいや、公式が出てるでしょ、と探させたら漸く見付けた模様。で訳の分からない計算だったが、結果が分かってるとうまくいく。オイラー関数の値を求めてしまわないで残しておく方が上手くいったのは意外だった。で色々苦戦して、予定の30分くらい前に終了。勉強になった。復習しないと。色々やることがあって中々出来ないでいるが。

その後部屋で昨晩住処で書き散らかしたものを TeX 化する作業。が、結構間違いがあった。a≡b＋1 (mod 2) としていたのに、いつの間にか  a と b の偶奇が等しいとしている愚かさ。どうやるんだろうか？と思ったが、もう9時を大きく回っていたので、やめることにして帰る。

今日（もう昨日に成ってるが）は最低気温が12度、最高気温が14度とか訳の分からないことを言ってた。うすら寒いのでちゃんぽん亭に寄って温かいものを食べようと向かう。あの店は入口のドアをちゃんと閉めない客が多くて腹立たしい。小生が食券を買っている時に一人出ていったが、ドアを閉めようともしない。食べてる最中に Uber Eats の配達の人が来たが、開けっ放しにしていて、うすら寒いので「閉めて！」と叫んで閉めてもらった。いい加減自動で閉まるように工夫したほうがいいのでは？

職場で考えてたことは m が square-free だったら二次体 Q(√m) の性質からすぐ従うのに気付いた。が、square-free でないケースでも出来るっしょ、と思ったが、まだうまくいってない。気付けばもう明日は金曜日だ。先週の「座王」を見ないと、ということでまずそちらから。いやー、凄かった。まだ見てない人がいるかもしれないが、書いちゃう。浅越ゴエが9人全員を倒して、丁度100勝に到達。座王に成るのも10回目とキリがいい。えげつなかった。最後に武将様ことミサイルマン岩部との99勝対決だったが、岩部の情けなさが目立っただけだった。あー白木が1回で7勝したのが今までの記録だったそうだが、9勝は凄い。スペシャルででもない限り塗り替えられない不滅の記録だ。いいものを見た。

昨日書いたが、いつも使っているノートパソコンのネットワーク周りの様子がおかしい。一旦リブートすれば直る程度のことなのかもしれないが、一生懸命有理点探しをしているのを止めるわけにはいかない。もう一台のノートパソコンが上手く動ているのでいいです。このパソコンには助けられていて、2年前の学生の修論の締め切り間際に職場のデスクトップパソコンがウィルスにやられたが、その時にこれ（目の前にあるので「これ」と言ってる）に助けられた。もうちょっと色々頑張ってもらわないと。来週の出張のお供に連れて行く。暫く住処に置いておこう。

あ、今日（昨日だが）は野球は中止。2カード連続の3タテとはいかなかったが、2カード連続で勝ち越した。明日から横浜スタジアムで Giants 戦。3タテしましょう。最悪でも勝ち越しを。

二日続けて乱打戦を制し5連勝で5割復帰（佐野1000試合出場、レイノルズ二日で2勝）

昨晩も寝たのは遅かった。一昨日書いた立方数であるリュカ数列の項を決定する証明を Steiner の論文を読み読み考えたが、何か色々おかしい。下らん誤植だったり、a＋b√5 と c＋d√5 が等しいとして出てくる帰結が a＝d だったり。その辺は大体逃げ切れたが、最後に「S が偶数で T が奇数」としてる所が明らかにおかしい。数値例を調べたら S が奇数で T が偶数に成ることがある。む。でちょっと考えたら S と T の偶奇が逆、と仮定すれば大丈夫であることが分かって、無事解決。という所までメモっておいて寝た。

で起きたのは結構遅い。保健センターで診察してもらえるのは3時半までだが、シャワーをざっと浴びて出掛けるが、ギリギリ間に合うかどうか。珍しく追い越し車線を結構な時間走った。一番大きな駐車場に停めたのでは間に合わない。生協の近くでも。ウェスウィング近くの身障者用のスペースに停めれば何とかなるかも、と思って行くと、なんとそこに車が停まってる。仕方ないので保健センターの医師用の駐車スペースが空いてたので停めさせてもらう。で保健センターに駆け込んだ時は3時29分くらい。まだ時間前だよね、と図々しくねじ込む。と書いたが、勿論小心者なので、平身低頭して受け付けてもらう。先生にも詫びておいた。もう白衣から背広に着替えた後で、パソコンの電源を入れ直したそうだ。マスクをしてなかったが、小林先生はこんな顔をしてるのか。思ったより老けてた。で無事終了した。助かった。用事のある前の日はちゃんと寝ないといけないね。来週の火曜日はちょっと出張だが、遅れないようにしないと。前の晩はちゃんと寝ること。当時は余裕を持って行動すること、という当たり前のことをちゃんとやらないと。

車を生協の近くの駐車スペースに移して、弁当を買って食して、で個研室で作業。昨日の晩やったことを一般化しようと試みたが、結構一般化出来ることが分かった。5 でやってるから p≡5 (mod 8) なる素数にしようかというつもりだったが、p≡1 (mod 4) で大丈夫だった。素数であることも途中までは使ってないからそこまで補題にしておいていいかも、などグダグダと。来たのが遅いからあっと言う間に時間が過ぎていって、5時45分の野球開始の時間。1回裏の途中だが既に2点取ってる。その後もう2点取って、1回裏打者一巡の猛攻。昨日の好調さがまだ残ってる。が、竹田がよくない。すぐ2回表に大山にソロホームランを打たれ、3回裏は四球、牧の捕球ミス、四球で無死満塁。打順は森下、佐藤輝明、大山のクリーンアップに回ってきて、絶体絶命。が、森下、佐藤を打ち取った。よしよし、と思ったらパソコンの画面がド派手に。ホームランが出るとこうなる。大山に満塁ホームランを打たれてしまい逆転された。最悪。そこで一旦 Google chrome を閉じた。出来た所まで印刷して、7時くらいに職場を後にする。

7時を過ぎると高速道路はすいてる。すいすいと京都東まで来て、7時半過ぎにドラッグユタカに入店し、処方箋を渡して、処方されるのを待ってる間に買い物。その後読書しながら待った。8時前には住処に帰ってきた。

テレビを付けると、1点リードしている。お！逆転されたすぐ裏に今日1000試合出場の佐野に同点ホームランが飛び出したようだ。6回裏は宮崎に犠牲フライが出て勝ち越し。が、昨日同様今日も点がよく入る試合で、7回表に追い付かれた。7回裏は満塁のチャンスを作るも㍘。5回裏も満塁で得点出来なかったようだ。大丈夫か？8回表に Tigers に満塁のチャンスを作られてしまうも、福島がショートゴロで本塁で封殺し2アウト、前川（まえがわ）のショート後方へのフライを京田がスーパーキャッチして無失点。よしよし。ピンチの後にチャンスありとは言ったもので、2死1、2塁のチャンス。勝又のライト前への当たりをあらかじめ前に守っていた森下が捕って本塁へ返球するも、少し逸れて、キャッチャーのタッチを蝦名がかいくぐり生還し勝ち越し。9回裏は今日は康晃。まだ安心出来ない。2アウト2塁から先程悔しい思いをした森下がレフト前にヒットを打つも、2塁走者は生還できず。佐藤がセカンドゴロを打ちゲームセット。これで5割復帰。勝俣は5打数2安打で5割を切ったが、まあ打撃成績が5割なんてのは普通続かないんでね。5打数2安打で打率が下がるのは普通ではないこと。コツコツとヒット、打点を稼いでください。そうすればチームの上昇は間違い無し。

などと書いている最中にパソコンのネット環境がおかしくなってきた。Wifi がいかれたか？と思ってしばし待っても回復しない。でいつも出張やら学内の会議で使っているノートパソコンを来週の出張の為に持って帰ってきていたので、そちらでやると、何の問題も無くネットに繋がった。無駄な時間を使ったな。投稿の時間が変な時間に成ってるのはそのせいです。

上に書いたように寝不足だし、もう寝ようか？明日は2時55分までに職場に行けばいいので早起きの必要は無いが、色々やることはあるので。寝坊してもいいように講義に使う物は一式持ってきてる。ギリギリに行っても大丈夫だが、大体万全の準備は役に立たない。明日もそのジンクスがいきて早起き出来たらいいな。そしたら昼飯ははま寿司だ。もうちょっとしたら寝よう。

14安打16点の猛攻（勝又が3安打4打点）で勝利（被安打も14だけど9点に抑えた）

昨晩は案の定結構呑んでしまった。途中から記憶が無い。いけないな。アルコール度数のそんなに高くないものを呑んだのだが。ダウンロードしたファイルが幾つかあったり、書き散らかしたメモがあって、途中まで TeX 化してあったり。ケーブルテレビのチューナーに録画してあるものを幾つか見たような気がする。「歴史探偵」はあまり面白くなかったという気がするが、ハードディスクの容量を空けるためにダビングしたのは覚えている。それと、「八重の桜」もダビングしようとしたが、録画されてない。ガーン、録画予約忘れたか、と一瞬思ったが、予約した覚えがあるが。チューナーは録画出来なかった時はその旨表示してくれるように成ってて、見ると放送が急遽中止に成った模様。東北で大きな地震があったが、そのニュースをやったのだろうか？

何時に寝たかも覚えてないが、宅配便で浜田省吾のデビューアルバム「生まれたところを遠く離れて」の50周年を記念してリマスターしたものを予約しておいたのが届いたので起きた。時計を見ると11時半くらい。まだ眠いのでもう一度ダウン。11時半で寝足りないということは相当遅くまで起きていたのだろう。

で次に目が覚めたのは5時過ぎ。まだ眠いような気がしたが、今日は野球が5時45分プレーボールなので、起きた。今日から横浜スタジアムで Tigers、Giants と6連戦。大事だぞ。先発は深沢。この前はまずまずだったが、今日はよろしくない。1回の1失点はまあダブルプレーの間だから仕方ないとしても、2回、3回とタイムリーヒットを打たれ1失点ずつ。Tigers 強いしな。先発は防御率 1.80 でここまで2勝と好調な才木。が、3回に牧がバースデーアーチを放ち1点差に。深沢は5回もマウンドに上がったが、走者二人を残し降板で、またしても勝ち星ならず。橋本が2番手だが、この前は深沢、橋本と繋いで橋本に勝ちが付いたので期待するが、三者連続四球で、当然二つが押し出しのため2点取られた。またしても一方的に負けるのか、と思ったが、今日は違った。すぐ5回裏に佐野タイムリー内野安打、祐大が同点となる2点タイムリー2ベース、勝又がタイムリーヒットで逆転。またしても橋本に勝ちが付くのか？と思ったら、7回にレイノルズが同点にされる。まあ渋い当たりの内野ゴロの間だから仕方ない。が、今日はまだ荒れる。祐大が押し出し四球を選び同点。勝又が2点タイムリーヒット、牧がタイムリー内野安打でもう1点。4点差付いたしもう大丈夫だろう、と思ったがまだ荒れる。伊勢が満塁のピンチを作ってしまい、森下にタイムリーヒット、佐藤輝明に2点タイムリー22ベースを打たれ1点差。が何とかそれで抑えた。今日の Baystars は大丈夫だった。8回裏に勝又2点タイムリーヒット、代打京田がタイムリーヒット、林の内野ゴロが悪送球を誘い13点目、三森が2点タイムリーヒットを打ち15点、佐野のセカンドゴロの間に16点目。7点差付いたし流石に大丈夫だろう、と思うが、まだ心配。流石に康晃は出てこず、坂本。三者凡退に抑えた。よかった。これで4連勝。開幕4連敗は取り返せた。明日勝てば5割。勝ちましょう。

しかし勝又は凄い。今日は4打数3安打1死球4打点。打率は驚異の5割。得点圏打率も5割。明日5割を狙うには験のいい数字。明日も暴れてもらおう。Tigers が勝つと藤川は監督として100勝目で、原の記録を3試合抜く最速記録だったが、原とタイ記録に成るよう明日、明後日も負けてもらって、次の試合で達成で我慢して下され。

明日は保健センターに行く日。天気は良い。暑くなるらしいが。朝は10度を割るようなことを言ってたが、日中は25度まで上がるようなことを言ってた。ドラッグユタカで薬を処方してもらってるが、8時まで（店自体は24時間営業）なので、そんなに遅くなく職場を出ないといけない。まあ上着無しで行って帰ってこられるのでいいけど。野球を途中からなら見ることが出来る。明日も応援するぞ。

計算は冷静さを欠いてる時は幾らやってもあわない。冷静に成れば一瞬

昨晩は寝たのが例によって遅かった。下らんことをして時間を無駄に使った挙句、続けて下らん計算を始めたら今度は合わないこと合わないこと。得意中の得意の2次無理数の冪乗の計算なのだが。寝ないといけないので、途中で放り出して寝た。そこに至るまでの計算が間違っていないことはコンピューターで確かめてあるので、残ってるのはその冪乗の計算だけなので、職場に行ったらやることにして、観念した。

で起きたら1時半くらいと、いつもの月曜日。ゼミは2時55分からなので全然問題無いが。過剰に急がず慌てずということで走行車線を走り、職場に着いたのは2時半くらい。弁当を生協で買って食して、ゼミ開始。

今日は最大公約数と最小公倍数をイデアルを使って定義して、子供の頃に習った定義と一致する（正確にはより強いことが示されてるが）ことを示してから、素因数分解の一意性とユークリッドの互除法など。全て Z が P.I.D. であること（特に既約元が素元であること）が効いていて面白い。2時間ちょっとやって終了。1人でやって毎週2時間分準備してくるのは大変だろうな。部屋はもう1時間くらい余分に押さえてあるが、まあ無理してやることはないのでね。

少し早目に終わるので近隣の部屋で入り口を開放してゼミをやっている人（何人かいる）の様子が分かるが、月曜日は特任教授の T 先生が学生一人を相手にしてゼミをやってる。誰とやっているのだろう？ここ数年代数幾何をやりたいと言う学生が増えている。助教の H 先生にやってもらえばいいと思うが、面識が無いのだろう。T 先生は2回生には群論、3回生には複素関数論を教えてるから、馴染みなのだろうな。

その後部屋で昨晩やっていた計算をやったが、すぐ出来た。冷静でない状態で何度繰り返しても駄目なのだ。冷静に成ればなんてこたあない。阿呆だった。それからリュカ数列が立方数であるのはどんな時かであることの証明を読んだが、簡単だった。いや細部で詰めてない所があるが、一般化出来そうな気がする。腹が減ってきたし、適当に切り上げてきた。

帰ってきたら「Qさま！！」が佳境に入った頃合い。カズレーザーは何でも知ってるな。最後の問題の正解は「大江健三郎」だったが、ヒントがちょっと出たら「ああ、そういうことか」と答えて、で「言われてみれば大江先生の顔でしたね」と特に興奮するでもなく答えていた。あそこまでいくと正直怖いぞ。

火曜日は職場に行く必要が無いのでつい夜更かししてしまう。明日に至っては開催予定だった教授会をやらないそうなので、いよいよ寝るのが遅くなる。月曜日の深夜は前は何か若手ミュージシャンだか何かのドキュメンタリーがやってて超絶つまらなかったし、それが終わったと思ったら韓国ドラマを1時間やる時間に成って、これまたつまらん。「くりぃむナンタラ」が終わってからプロレスが始まるまでが長い。今晩はその時間を使って郵便物を出しに薬大前のポストに向かって、それが済んだらコンビニで買い物だ。30分も掛からないから、短時間で見られるものを見て、それからプロレス。さて何時まで起きていようか？

などと書いてしばし。ABCでは月曜の深夜0時（要するに火曜日に成った瞬間）に「爆踊！アバンギャルディ 昭和歌謡の宴」という番組がやってるが、これが面白い。今日が3回目で、ゲストが渡辺真知子。デビュー曲の「迷い道」の話をしていたが、親近感湧いた。横須賀の生まれだそうで、京浜急行を利用していたとか。で「迷い道」の歌詞の「一つ曲がり角 一つ間違えて 迷い道クネクネ」というのは金沢文庫駅の車庫への引き上げ戦だったり違うホームへ移るための渡り線だったりを電車が走るのを見て思い付いた歌詞、という話。京浜急行が歌詞の由来だったとは。若い人は知らないだろうけど、声にパワーがあっていい歌手だよ。2曲目の「かもめが翔んだ日」の話も面白かった。月曜のこの時間は「月よるビッグバン」という枠で、割としょっちゅう番組を変える。コントの番組だったりただ雑談するだけの番組だったりマニアックなクイズ番組だったり M-1 王者のたくろうの初看板番組だったり。下らんものは本当に下らんかったが、今のは面白い。暫く続けてくれないかな。などと思って見ていたら、渡辺真知子編は来週もやるようだ。来週の月曜の晩はあまり夜更かしできないので、録画しておくか。 

昨日の猛攻とは打って変わって、犠牲フライと併殺打の間の2点だけ。3タテしたので文句は無いが

昨日の晩は焦った。一昨日の晩から昨日に掛けて、超絶下らないことをしていてほぼ寝てなかったためか、野球が5時半くらいに終わった後寝床でスマホをいじっていたら寝落ちした。で目が覚めたら、ふなごやの閉まる数分前。「閉まる」というのは、客がいなかったら閉店準備に入る、という意味で、新しい客を受け入れないことも意味する。焦って飛んで行って、店の前に着くともう看板は片付けらていて、電気も消えていた。恐る恐る「今晩は」と言ったら、入っていいとのことで、よかった。小生はいつも大金を落としていくので、いいと思ってくださったのだろう。が、昨晩はもっと不届きな客がいた。ちょっと用足しをしていると、何やら店から聞こえる声が賑やか。店長とバイトの人が話している声としてはデカ過ぎる、二人の声と違うのが聞こえる、と思って出ると、男女の二人組が座って呑んでいるではないか。別の店で呑んでて、かしを変えて呑むつもりで行った店が閉まってて、ふなごやのことを思い出して来たとか。前に来た事がある人らしく、店長が姓を呼んでた。もう相当酔っ払ってたようで、同じことを何回も言うし、言われたことを何度も忘れて聞き返すし。楽しかったのでいいけど。出身地の話に成り、男の人は千葉の木更津出身だと言っていてビックリ。「僕は対岸の横浜の出身ですよ」と言ったらビックリしていた。その後仕事の話に成り、言いたくないが正直に言うと、何とその人はパナソニックで働いてる人で、南草津駅からバスに乗って通っていると言ってた。「会ってるかもな」という話に成った。小生は今はバスで通うことは殆ど無いので、まあ会ってはいないだろうが。「あのベンツのバス2台繋げたの乗りたいわー」とも言ってた。「あのバスはパナソニック東口は通過しますよ」と教えておいた。でもう大分遅くなってから帰っていかれたが、バイトの人を拉致していった。女の人はしれっと逆方向に向かわれたが。小生は寝不足だったので何度か寝落ちしたし、客が大体はけたということで、お開きに成った。いつもより呑んだ量は少なく、払ったお金は少なかった。楽しい晩だった。

で流石に寝不足だったので、帰ってきてすぐダウンした。呑んだ量が少ないのとちゃんと寝たので、1時半開始の野球は最初から見られた。

昨日の Baystars は凄かった。2回に林の犠牲フライで先制したが、その後6回までは無得点。東が我慢して抑えているとチャンスが。7回に三森、勝又が連続ヒット、代打で出たヒュンメルが死球で無死満塁。そこから林、牧、度会、京田とタイムリー、タイムリー、タイムリー、2点タイムリーで5点取って、佐野凡打の後祐大にもタイムリーヒットが出て、1イニングに5安打で6得点。マシンガン打線復活か、という感じ。いや、繋がって一気に点を取ると気持ちはいいが、少しずつ点を取ってくれた方が投手としては楽だろうが。ということで大勝でカード勝ち越し決定。今日勝って今シーズン初の3連勝を是非。自明だが3タテも初めて。さあどうなる、と見始める。が、今日は一転地味。3回にヒュンメルの犠牲フライで先制、6回に宮崎のお約束の併殺打の間に追加点で、今日はタイムリーヒット無しで2得点。石田裕太郎、伊勢、レイノルズ、康晃と無失点リレーで3連勝。まあこんな勝ち方もあります。借金は2まで減った。火曜日からは横浜スタジアムで Tigers、Giants と6連戦。最低でも勝ち越しましょう。そうすれば5割だ。

しかし勝又が凄い。昨日も今日も2安打で、16打数7安打、打率は .438。しかも昨日も今日も頭を越えそうな当たりを走って走っての好守を連発。8年目で大飛躍だ。もっともっと目立っておくれ。

パ・リーグは大混戦。首位 Hawks が3位 Buffaloes に負けて、首位に上がるチャンスだった Eagles が負けたため、Hawks と Buffaloes が12勝8敗で同率首位、Eagles は11勝8敗で0.5ゲーム差。面白いぞ。その下も借金2、4、5とまだまだ。混戦の方が面白い。もっともっと混乱して遅れ。セ・リーグは Dragons が4勝15敗で最下位を独走。5位の Carp と3ゲーム差。優勝予想している解説者がいたり、Aクラスを予想した解説者が結構多かったそうだが。浅尾美和は悲しかろう。「有働Times」の途中で「サンデースポーツ」を見るために NHK に切り替えたが、どんな表情をしていただろうか？「おはよう朝日です」に出るのは何曜日だったかな？朝から暗い顔で出ないで済むよう、Dragons には頑張ってもらわないと。

今週は色々用事がある。水曜日は講義もゼミも無いが、先週は会議（完全対面制）、今週は保健センター行のため、2週続けて行かないといけない。木曜日は「数理科学セミナー」のため本を持って移動しないといけないが、雨だと言ってた。嫌だな。仕事のある日は雨が降らないと嬉しいのだが、まあそう都合よくはいかない。来週は出張があるが、その時だけは降らないで欲しいが。祈りましょう。

今日は整域を定義出来た

今朝は11時くらいまで寝てしまった。大分調子は戻ってきたが、まだちょっとおかしい。で風呂キャンで職場へ向かう。弁当を買って食して、しばし個研室でボーっと過ごす。

1時10分から「代数学I」。今日は 0x＝0, ∀x とか、(－a)(－b)＝ab などの初等的な性質を示して、それから部分環であることの定義と、部分環であることを示す簡単な判定条件などを与えて、零因子を定義してから整域を定義して、整域上の多項式環はまた整域であることなどを示したら時間に成った。体の定義が出来なかったが、まあそれは来週やるということで。準同型写像なども定義出来そう。そうすると kernel が出てきたりイデアルが出てきたり剰余環が出てきて急に難しくなるが。前の方に座っている学生が途中結構長い時間寝ていたが、早くも脱落したかと心配に成った。暫くしたらまた板書を写し始めたので、単に眠気に耐えられなかっただけかな。眠気を完全にコントロール出来たらノーベル賞だと思うが。講義中眠く成って困るのは自分だけだが、運転中に眠く成ると悲劇的な結末が待っているので、気を付けないと。

講義が終わるとすぐゼミ。他大学から進学してきたM1の学生が相手だが、まだ学生証でゼミ室が開けられないらしい。もう一人同じ大学から来た学生がいるが、彼も開けられなくて困っていると言ってたそうだ。後で事務にお願いしておくと言って、ゼミ開始。今日は共役元とか共役体とか。学部時代にアルティンのガロア理論の本を読んだそうだから、まあ心配あるまい、と思ったら、何か色々想定と違っていて困っていたようだ。アルティンの本は分かりづらかったので、途中で読むのをやめて放り出したが、先の方を見ておくか。心配に成ってきた。でトレースとかノルムとか定義したら大体時間に成った。3時間強休みなしで。講義後は疲れていて集中出来ないことが多いが、まだ今くらいの所なら大丈夫。ノルムとトレースを表現行列の行列式とトレースで言い換えるのが難しかったようだ。さもあらん。この定義のいい所は、トレースとノルムが下の体に落ちてることが自明なこと。共役元全ての和と積で定義すると、演算を保つのは自明だが、下の体に落ちてるのを示すのはちょっと工夫がいる。まあちゃんと理解して進んでるようで、大丈夫だろう。

風邪引きが多いようだ。小生もそうだが、一昨日の会議では二人マスクをしていて、1人は結構大儀そうにしていて、今日の学生も週の半分くらい風邪で潰れたと言ってた。日中は暑いが、朝夕はまだ涼しい。一枚上に薄手のを着て行ってるが、帰りが遅くなると不可欠だな。気を付けないと。

ゼミ終了後は事務にカードキーの件でメールを書いて、代数学Iの演習問題を web に上げて。web の方は学外から見えないように設定された学科サーバーのページがあって、そこに問題を置いていたが、少し前にブラック兄さん（一部で有名）から見えてる旨連絡をもらったので、今年から moodle＋R という登録者以外は見られないようになっているのを使って提供するようにした。が、moodle＋R の使い方がまだよく分かってないので、ちゃんと置けたかどうか心配でならない。本当にこれでいいのだろうか？まあいいけど。別に成績の足しにするつもりは無いしね。去年までは学外から見える秘密の URL を教えてあげるからと書いておいたのに、誰一人として聞いてこなかったから、加川の代数の講義など理解するつもりは無いのだろう。口は悪くて厳しそうなことを言ってるが、単位には甘いというのは有名なのかもしれない。いいけどね。で学内便で有隣社と生協の伝票を送る手続きをすべく7階の事務室に行って、書類を2枚書いて、のつもりが2枚目の書類が別の書類。おっと、と思って探したが、無い。「原本」と書かれたクリアフォルダーを見たが、無い。もしかして小生の手に取った府クリアフォルダーに原本を入れ間違えたか？仕方ないので書いたところを一旦修正液（随分久し振りに使った）で消して、コピーを取って書き直し。間抜けだ。有隣社に9万円強（2冊で！）払ってるから、ちゃんと手続しないと。昨晩寝る前にちょっと解読に努めたが、少し分かった。高い本だし、ちゃんと理解しないと論文の revised version が送れない。頑張って読まないと。

調子が戻ってきたし、油っこいものを食べよう、ということで松屋と松のやが一緒に成った店に向かう。が、何やら不穏な雰囲気。駐車場に物凄い数の自転車が停まってる。これは相当待たされるか？と思ったが、そこは流石はファストフード（最近「ファーストフード」と間違った言い方をしなくなったな）だけあって、10分くらい待っただけだった。確かに客は沢山いて五月蝿かった。金曜の晩だからな。学生が大量にいたということだろう。でそのまま国道一号を通って一路山科を目指すが、峠の少し前で片側交互通行の所があった。年度が始まったばっかりだし、予算浪費のための工事ではあるまい、と思ったら、警察車両らしきのが停まってて「事故」の表示。幹線道路とはいえ、片側一車線。事故は迷惑だ。気を付けないと。運転してる限り事故を起こさないとは言えないし、気を付けてても貰い事故というのもあるからな。小生も事故を起こしたことはあるので、偉そうには言えない。集中力を切らさず運転するのみだ。追突はしないように車間距離はそこそことるようにしている。教習所で高速道路教習が終わった後、「あんたら二人は車間距離が狭い！」と怒られた。別の人には前の車のリアタイヤが見えるくらいの車間距離はとらんといかん、と言われて、それから心掛けてる。高速道路は本当は相当の車間距離をとらないかんが、守ってる人はまずいないな。小生もそうだが。事故ってからでは遅いので、気を付けないと、と気持ちを新たにした。

野球の結果を見たが、Baystars は勝ったようだ。牧が勝ち越し打を打ったらしい。下位打線でチャンスを作って、一番牧が返すという、相川監督の作戦通りに成った。よしよし。まだまだ上を目指さないと。首位 Swallows が4連勝でストップして、逆に2位 Tigers は連敗ストップ。まだまだ混戦に持ち込まないと。

「数理科学セミナー」は実質今日が初回

少々調子が悪い方が早く寝床に入るので、かえって健康的かも、という気がする。今日もタップリ寝て、今朝は10時近くまで寝ていた。木曜日は2時55分からの用事という変な日で、だから2時に人が訪ねてくるよう調整したが、早起きしたのでは意味が無かったが、まあいいです。はま寿司でたらふく食べて、個研室で色々やれた。時間通りに人が訪ねてきて、寿司の後に風邪薬を飲んでおいたので、大分復活してきた。

2時55分からは「数理科学セミナー」という時間。3回生の選抜メンバーに輪講をしてもらう。先週はガイダンスだけで、実質今日が初回。まあ初回なら多少下手なのは仕方ない。しかも今日本来やる筈の学生がインフルエンザで、急遽代打をしてくれと言われたらしい。まあただそれでもこっちのメーターはつい上がってしまい、少し雰囲気悪かったかな。二人目は留学生で、日本語も英語も苦手なのか、秘密兵器（何って？内緒）を持ってきていた。うん、まあちゃんとやっている。時間が来てしまったので次回に持ち越しになった。

その後すぐまたゼミなのは結構キツイ。二コマぶち抜きでゼミだからね。今日はディリクレ指標の話。(Z/mZ)^× の指標だと見ると気楽なのだが、導手を持ち出すと面倒臭い。積を定義するのに法を揃えて、で積を取った後原始的な指標に直すので大分紛糾した。三人寄れば文殊の知恵というわけで、結構どうにかなるが。指標に対応するアーベル体の定義をして、一つ例をやって力尽きたようだ。まあ多少群論に難があるようだが、ガロア理論が出来てしまうのは不思議。で7時45分くらいに終了した。疲れた。

が、何だか調子がよくなってきた。大学時代の友人が言ってたが、風邪だったり二日酔いだったりする時にゼミをやると調子が良くなる、と。その通りだ。まあ二日酔いでゼミをやらないようにはしているが、風邪は仕方ない。晩飯も風邪薬を飲んでおいたので、明日の講義は大丈夫だろう。

最近「ゴチバトル」が無いな、と思って10chのホームページを見たら、土曜日の午前中に何故かやる。今日は野球で「グルグル99」の放送が無かったが、日本テレビのホームページも見たら、放送していた。今日の野球の放送は関西だけだったか。急いで録画予約しておいたが、ハードディスクが残量不足。「豊臣兄弟」と月曜日にBSでアンコール放送している「八重の桜」を割といい画質で録画しているので、Blu-ray にダビングすれば余裕は出来る。後でやろう。「一部の地域を除いて」というのに関西は結構引っ掛かる。原因は大体 Tigers 戦の中継。そうそう、前に酷いことがあった。スカパー！のTBSチャンネルで Baystars vs. Giants のトップナイターを7時前までやって、9時近くから「リレーナイター」の中継があると、当然 MBS で Baystars vs. Giants の放送があるかと思えば、何と Tigers の試合の放送があり、Baystars の肝心の部分が見られない。当時は今みたいにネット文化が盛んでなかったし、スマホも無かったから、本当にリレーナイターが始まるまで経過が分からなかった。でリレーナイターが始まったら大量リードされてるみたいなことがあると、気分は最悪だった。最近は TBS チャンネル2で試合開始から終了まで放送されるのでよくなった。まあ勝ってないと気分が悪いのは同様だが。

帰ってきてパソコンを見たら、リブートされてた。昨日職場を出る時にパソコンの電源を落としたら、Windows update が始まった。嫌な予感がしていたが、住処のパソコンは昨日の時点では大丈夫だったが、何やら更新プログラムがあるから再起動せよ、の指示が出ていた。今朝住処を出る時は計算続行中だったが。むぅ。腹が立つがもう一度計算を始めた。また2日、3日結果が出るまで掛かるだろう。でテレビを付けると、南丹市の事件の件。死んだ児童が「ゆき」という名前で、殺したとされる父親の名前が「ゆうき」紛らわしい。どうやら実の子ではなく養子らしい。人が死んだ件なのでよかったとは言えないが、血の繋がった実の子供を殺したのではないのはちょっと救われた。いや、人が死んでるんだから「救われた」はよくないが。元刑事という人が解説していたが、色々おかしなことがあって、警察は随分前から目を付けていたらしいとのこと。全くの素人の小生でも何か肉親に怪しい所があると感じてた。プロの目は逃れられないな。

さて、今日もいつもより早目に寝るか。上に書いた通り明日は講義だし。近隣の部屋を覗くと、パソコンを繋いでスクリーンに映す準備をしている様子だが、座って資料を見せながら喋るだけなのだろうか？楽でいいな。こっちは95分間、ひたすら喋って書いてだからね。普段は何でもないが調子が悪いと本当にキツイ。明日には全快していますように。

風邪気味。薄ら寒いぞ

昨晩はちょっと早目に寝た。調子が悪かったので。で案外眠れて、喉の辛いのはおさまったが、風邪っぽい。節々がだるかったり、頭がちょっと重かったり。喉が変だったのが軽度の風邪が原因という程度ならいいが。今日は会議を対面でやる、しかも窓の無い狭い会議室で、というのが嫌だったが、自分でメールを出した件があったので、ちょっと風邪気味程度では休めない。シャワーを浴びない方がいいかという気がしたが、寝癖があまりに酷いので、風呂暖房を付けてシャワー。今日は雨で少し気温が低いようなことを言っていた。薄手のジャンパー（死語）を羽織って出発。

会議の1時間くらい前に職場に着いた。ちょっとグダグダと作業をして、4時45分くらいに会議室へ向かう。が、何やら皆さん既に集まっている。去年の学科会議や教授会が4時50分開始だから今日もそうだと思ったら、学科長は4時40分開始と案内メールを出していたようだ。次回から4時50分開始にするとの仰せだった。今日は自己紹介と細々とした議論を少々やってから教授・准教授だけ居残りで難しい話。皆さん色々考えていらっしゃる。代数は人手不足できついのだ、ということを言っておいたので、今日はよし。現状を分かってくださっている方がいらっしゃって助かった。7時過ぎに終了。

そのまますぐ帰ってもよかったが、調子の悪い時は下道より高速道路の方がいいので、渋滞が済むまで待って、9時過ぎに職場を出た。帰ってきてカップ麺で食事。後で風邪薬を飲んでおこう。木、金とどうにかしないといけないので。明日の講義、いや、講義ではないのだが、セミナー形式の時間なので、まあ多少風邪が残ってても大丈夫だが、金曜日は正真正銘の講義。95分間立って喋って書いて。治しておかないと辛い。今日も早く寝る。幸いというのも変だが、USB メモリーを職場のパソコンから抜き忘れて、筆箱も忘れてきた。まあ USB メモリーが無くても出来る作業はあるが、無理しないでおこう。住処には筆記用具はあるので、ちょっと帰り道に考えたことを試してみよう。

さて、帰ってきて「報道ステーション」を途中から見ているが、南丹市の件は何かロクでもないことに成ってしまった。以前からちょっとずつ入ってくる情報から判断するに、親族が怪しいのでは？と小生思っていたが、その通りに成ってしまったようだ。いや、まだ逮捕状は請求された段階で、まだ出てないそうだから、疑わしきは罰せず、ということでこれ以上色々書くのはやめておく。やるせない事件に成ってしまったな。

佐野の1000本安打を勝利で飾れず

何か昨日から苦しい。食道の辺りというか喉の辺りというか、何か変。親父殿が心筋梗塞やってるが、その時は胃が痛いというようなことを言っていたそうだ。全然関係無い所に兆候が出る可能性がある。医者行った方がいいかも。明日は夕刻から会議で、木、金は講義がある。月曜も。土曜日に行くか。それまで何でもなくなるといいが。

まあだけどしないといけないことがあって、銀行に振込2件しに行った。ついでに金を卸すつもりだったが、うっかり忘れていた。ATMコーナーは8時からなので、早目に行って、で振込の確認を電話でしようと、9時過ぎに電話をしたら、出来ているらしい。よかった。もう一件の方は、ブツを発送した旨メールが来ていた。よかった。

調子が悪いせいか、寝られるがすぐ目が覚めてしまう。で気付けばもう野球が始まっていた。1点取られてるが、宮崎が珍しく1塁へ悪送球をしたようだ。その後は牧の好守があって1点で凌いだらしい。今日の試合は松山でやってて、土、天然芝のグラウンド。雨が降っててぬかるんでるから滑ったのでは？と解説の斉藤明夫氏の仰せ。4回まで小川に抑えられていたが、宮崎がやり返してタイムリーヒットを打ち同点。その後度会、宮下も続き、3連打で3点。よしよし、と思ったら、すぐ裏に3連打で追い付かれ、更に2点タイムリーヒットを打たれ勝ち越される。むう。で雨が強くなって、5回裏終了で試合が成立していたのもあるか、30分弱待ってコールドゲーム。残念。竹田祐は逆転してもらって勝ちを意識し過ぎたか。まあ仕方ない。3連戦勝ち越せば、と思ったら明日は最初から試合が無いことになっているようだ。移動日で、明後日神宮でやるらしい。開幕3タテ食らったのでやり返しましょう、というようなことをこの前書いたが、最初から出来なかったのか。まあ仕方ない。

負けたがいいこともあった。佐野が2安打で、通算1000本安打に到達。素晴らしい。ドラフト9位までこんな選手がよく残ってたもんだ。4年目からずっとシーズン100安打を打っている。10シーズン目での到達は立派。足が特段速いわけではない（むしろ遅い）からね。首位打者と最多安打のタイトルを獲ってる。まだまだやってくれるでしょう。和田一浩は30まで大して打ってなかったが、その後打ちまくって2000本安打を達成している。佐野なら出来る。頑張れ。

初等整数論のゼミ後早目に職場を出て、マンションの理事会に参加

月曜日のゼミは2時55分からと遅く、それまで用事が無い。ということでちょっと夜更かしして生産性の無いことに時間を費やしてしまった。起きたら1時過ぎ。むぅ。冷凍のパスタを電子レンジで解凍して食して、1時45分くらいに住処を出る。職場に着いたのは2時半ちょい前くらい。これくらいの時間だとウェストウィングに割と近い所に車を停められることが多く、今日もそうだった。ラッキー。

でゼミだが、月曜日のゼミは初等整数論のゼミ。今日は約数がどうしたとかいう話だが、早い内に Z のイデアルが全て単項イデアルであることを証明するのでよい。整除性もイデアルの包含関係に置き換えて、で (a)∩(b), (a,b) がイデアルであることを示した所で力尽きたらしい。まだ不慣れなためか、埋めてないで残ってる所があったり、説明の下手な所があったりで、少し突っ込んだ。まあ今日の所はまだ易しいので、いいけど。来週は最小公倍数や最大公約数の特徴をイデアルを使って示した後、ユークリッドの互除法など。まあまだ暫く大丈夫でしょう。簡単過ぎて舐めてかかると痛い目を見るが、その心配は無さそうだ。

ゼミは時間割上二コマの科目で、部屋は6時15分まで押さえてあるが、1人だけだから無理に長くやらなくていいから、と言っておいたので、大体一コマ分やって終了した。昨日書いた通りマンションの会合（理事会という名前らしい）が7時からあるので、混む前に帰ろうということで、5時半前に職場を後にした。高速道路は多少渋滞していたが、大したことはなかった。瀬田東 JCT を過ぎてからの渋滞ならまあ我慢出来る。もう30分遅いと、草津JCT－京都南間渋滞ということがよくある。京都南は小生の利用する京都東の次のインターチェンジ。要するに丸々渋滞ということだ。三条通も渋滞するし、結構大変。まあ何度も書いてる通り車の運転中はイライラしないで穏やかな気持ちでいるようにしているので、大丈夫だが。

で6時前に住処に着いて、録画してあったの物を一つ見て時間潰し。6時55分に部屋を出て、マンションのエントランスに向かう。

で7時から理事会開始。形式的な議事で短時間で終わるんでないの？と舐めてたら大変だった。再来年マンションの大規模修繕をやるらしい。小生が45歳の2月に入居が始まったマンションだから、再来年で15年ということだな。色々やることがあるらしく、結構長時間の説明だった。住所から「町」の字が落ちている所が二箇所あったので、指摘しておいた。でそれが済んだ後、ちょっとルール違反をしているヤバい住民のことで結構長時間議論。どこにも困ったちゃんはいるもんで、何度も注意して、内容証明郵便まで送ったのに、なお無視を決め込んでるらしい。管理人さんが何度か話をしているらしいが、暖簾に腕押しらしい。法的手段に訴えるか？みたいな話に成ったが、まあ次回までにどうにかする旨決まって、結論は次回以降。来月また理事会があって、今度は火曜日に成った。火曜日は講義もゼミも無く、教授会があれば住処から参加出来る。教授会は7時過ぎまでやることはまず無い（小生が来た頃は9時過ぎまでやることがあったが）ので、今日よりは慌ただしくなく参加出来てよい。野球を見られなくなってしまうのはちょっと嫌だが。

有隣社に頼んだ本が届いていた。明日は用事が無いし、呑み呑み読もうか、と思ったのだが、ゼミ中ちょっと苦しくなった。理事会の最中にもちょっと症状が出て、これは呑むなということだな、ということで酒を買いに行くのをやめておいた。が、自動販売機が酒を売ってくれない時間に成ったら楽に成ってきた。喉元過ぎれば熱さを忘れるじゃないが、コンビニに買いに行こうかなどと不届きなことを考えてる。まあもうちょっと考えよう。食料を買い込んでおきたいのもあるのでコンビニには向かうが、酒を買うかどうかはその時の状況次第。「くりぃむナンタラ」が終わった後に何やら1時間韓国のドラマをやる時間が始まったが、見るつもりが全く無いので、その最中に買ってきて、昨日の大河ドラマを見て、とかやろう。呑みながら見るかどうかは上に書いた通り未定。取り敢えず数学の勉強だな。

7回2アウトからホームラン、二塁打、二塁打、ホームランで大逆転（宮下はプロ初ホームラン、勝又はプロ初打点）

本当に広島に住んでるの？というくらいよくふなごやに現れる奴が昨晩もいた。店の前に着くと笑い声が聞こえてきて、また団体客か？と思ったら、奴も含めて3人の客が一組。店長が一緒に成って話し込んでいて、笑い声が溢れてきたようだ。銭湯に行く、という理由で10時前に帰っていった。呑んでからの風呂は気を付けないとね。その後例によってビールだワインだと楽しく呑んできた。例によって最後の方の記憶が無い。

石油がどうなるか色々不透明なので、少しくらいは節約しようと思っているが、やはりテレビと電気を消さずに寝たようだ。で9時半くらいに目が覚めてしまった。買い込んでおいたものを食べながら、昨日放送していた「ミラクル9」を録画してあったので見た。面白かった。でウダウダと色々やってるうちに野球の時間が近付いてきた。

今日も横浜スタジアムで Carp と。今シーズン初の連勝、初のカード勝ち越しが掛かる。石田裕太郎は1回はよかったが、2回はヒットで出したランナーをワイルドピッチで二塁に進めてしまい、更にセカンドゴロで三塁に走者が行き、犠牲フライで先制を許す。4回にヒュンメルが素人かい！、というような落球をし、そこからタイムリーヒット3本を打たれ4点差に。しかも最後のタイムリーは投手床田に打たれた。床田は去年 Baystars 戦は4割越えの打率を残していたらしい。石田は過去2試合は終盤まで好投するも、そこから崩れる、という展開だったが、今日はエラー絡みとはいえ、5回4失点。今年は10勝する、そうしないと優勝出来ない、と意気込んでいたがな。ヒュンメルは男を落としたが、すぐにソロホームランで取り返した。この前幻のホームランを打っているが、今日はセンターへの堂々たる当たり。ここのところヒットが続いてるようだ。祐大にもタイムリーヒットが出て2点差。2番手平良、3番手中川（虎）が好投していると、チャンスが巡ってきた。7回2アウトからルーキー宮下朝陽（あさひ）が昨日のプロ初ヒットに続いて今日は初ホームラン。1点差。蝦名が二塁打で出塁後、投手から打者に転向後育成契約から這い上がってきた勝又温史が8年目でプロ初打点をあげ同点に。レフトのライン上に落ちる渋い当たりだった。その後代打で出た度会が2ランホームランで勝ち越し。繋がる時は繋がるな。その後レイノルズがソロホームランを打たれ1点差とされたが、無事勝利。良かった。Carp と0.5ゲーム差に成った。よしよし。ヒーローインタビューは7回に打点を上げた3人。度会はルーキーの時のヒーローインタビューで調子に乗り過ぎて、心無い自称ファンから色々言われていたが、今日は大人しいヒーローインタビューだった。火曜日から Swallows が相手だそうだ。開幕カードは3タテを食らったが、やり返さないと。やり返せば一気に5割だ。まだまだ。

Fighters が Hawks 相手に開幕から5連敗とか。去年優勝を掻っ攫われたが、まだアレルギーは続いているのだろうか？が、ちょっと嬉しいニュース。Hawks の勝ち投手は上茶谷。3番手で登板して、3イニング無失点だったそうだ。現役ドラフトで去年から Hawks に移籍したが、Baystars にいた頃はよかったシーズンもあった。ドラフト1位だしね。Hawks が勝つのは気に食わないが、かつての仲間が活躍すると嬉しい。濱口は黄色靭帯骨化症に成ってしまい、Hawks では何も出来ずに引退してしまったが、こちらもドラフト1位だった。もっとやって欲しかったけどね。上茶谷は引き続き頑張って遅れ。まだ29歳だ。期待する。

書き散らかした紙を TeX 化している時に、おかしなことを書いてあるのに気付いた。－1 の冪乗が出てくるが、指数の偶奇が逆に成ってた。数学的帰納法の一つ上げる所は間違ってないんだが、一番最初が間違ってる。これでは数学的帰納法をやっても示せない。数値を代入して計算するのは大事だな。それと、一歩目が間違ってても番号を一つ上げる時に成功することはあるのはちょっとビックリだった。気を付けないとね。

明日から4回生相手にマンツーマンのゼミが始まる。どうだろうか？人間関係を悪くしないように気を付けないと。時々つい余計なことを言ってしまうことがある。複数の学生が相手なら、連中が呑み呑み愚痴るネタを作ったので良いと言えば良いが、1人だからね。気を付けよう。でゼミ後用事が無いと嬉しいが、明日はマンションの会議があって、7時には住処に戻ってこないといけない。6時に職場を出れば間に合うが、その時間は一番渋滞する時間。ゼミが何時に終わるか分からないが、1人だから早目に終わるかな。そしたら急いで帰ってこよう。

漸く今シーズン4勝目

またしても変な時間まで起きていた。フィボナッチ数列とリュカ数列の性質で示せていないことが幾つかあるので、どうにかしたくて、手を変え品を変えやってみた。で5つ残っていたののち4つ出来た。が、二つはよく見たら論文に出ていた。全く同じ証明をしたのはちょっと嬉しい。地力があるということだ。あと一つはどうやるのだろう？簡単に出来るようなことが書いてあるが。もういいことにして寝ることにした。さて何時でしょう？

で起きたらもう野球が始まっていた。3点リードしている。よしよし。が、見始めた途端に東が2ランホームランを打たれた。何やら牧がチョンボをして走者を残してしまった後の失点とか。相変わらずエラーの多い芸風なのは変わらずだな。牧に限らずエラーが多い。どうにかしないと。が、次の回はレイノルズが三者三振に斬ってとり、9回は康晃が抑えた。この前康晃は一発を打たれていて、今日の最後の当たりも大きい当たりでヒヤッとしたが、幸いフェンス前で失速してくれたよかった。昨日 Dragons が負けて Baystars は中止だったので、いつの間にか単独最下位は脱出していた。これで4勝8敗。まだ借金4。頑張ってもらおう。

一昨日の晩探していた有理点がまた一つ見付かって、数日電源を入れっ放しだったパソコンをようやく落とせた。で昨日職場に行く前にまた新たな有理点探しを始めたが、PARI/GP のスタックを幾つにしたか忘れてしまい、何度かエラーが出て、漸くエラーが出なくなったので職場に出発したが、昨日帰ってきてパソコンを見たら、エラーが出て止まっている。もう。ブログを見たら、前は 1024MB にしたら OK だったと出ていたが、今度は 2048MB でもエラーが出る。で昨晩思い切って 8192MB にしたら大丈夫に成った。現在計算中。昨日の22時45分にスタートさせたから、まだ当分終わらないな。まあこれから呑みに行くので、引き続きやらせておく。これからシャワーを浴びて、すっきりしてから出掛ける。今週は久し振りに働いたから、酒が旨かろう。ということで、じゃ！

「代数学I」と M1 相手のゼミは今日開始

書いたように一昨日から昨日に掛けては変な夢を見たりで眠りが浅かったので、昨晩は割と早目に寝床に入って、すぐ寝付けた。で今朝は10時半に成る前に目が覚めた。この時間ならうな松に寄れるな、ということですぐ出掛けて、11時ちょい過ぎにうな松に入れた。まだ客は来ていなかったようで、一番乗りだった。いつもの通り一本鰻を頼んで食す。スマホに定期的に届くクーポンはこの前期限が切れてたな、と思ったが、JAF の会員証を出せば100円引いてくれるので、そうすると「鰻おにぎりプレゼントクーポン」というのが届いてる筈、と言われて見たらその通りで、小振りのタレで味の付いた握り飯に鰻が乗ってるのをくれた。仕事が終わってから腹ごしらえに食べよう、ということにした。嬉しい。

が、職場に着いたら悲劇的なことが。一番大きい駐車場がほぼ満車。いやもっと丹念に探せば停める所はあるのだろうが、嫌になってきて、もうええわ、と幾つかある身障者用のスペースに停めよう、と悪いのを承知でした。まあ雨が降ってるし、普通の駐車場よりもウェストウィングに近いしな。警告書を挟まれるけどええわ、ということにする。

で講義まで個研室で作業をしようか、と思ったが、やはり講義のことが気に成ってしまう。軽く眺めただけだが、それで大分違う。自信を持って講義室へ向かう。

金曜日は1時10分から「代数学I」。結構大きい部屋だが、半分くらいかもっと少ないかくらいしかいない。まあ後ろに方に張り付いてる連中へのサービスだ、ということでマイクを使った。今日はまず3次方程式の解の公式を作って見せて、な、役に立たないだろ、ということにしてから、出席を取らないとか単位はどうするかとか学生が一番興味ありそうなことを伝えて、早速本題へ。環を定義してから例をドバーっと挙げる。まだ部分環を定義してないし、部分環であることの簡単な判定条件も与えてないから、例はたかが知れてるが。来週はそういうのを定義するので、例は一気に倍くらいに増えるでしょう。整域と体を定義出来るだろうか？

で次のコマはゼミ。新M1が相手だが、他大学から来たからなのか、それとも内部進学したM1もそうなのか知らんが、部屋を学生証で開けようとしたら reject されたらしい。で小生の教員証で開けてあげて、ゼミ開始。今日は代数的数の定義から。で代数体を定義して、原始元定理とか証明して、など。前の大学ではアルティンのガロア理論の本でゼミをしていたそうで、体の拡大だのヘチマだのというのは心配無いようだ。ただ、アルティンの本には代数的閉包という用語が出ていない、と言ってて、そう言えばそうだな、ということで定義を教えてあげる。要するに示したい命題が同値な言い換えなのだが。去年の夏鹿児島で村林さんに会った時に、あの本は合成体をどこで考えてるか分からんのだよ、との仰せだったが、確かに全ての体を含む親玉が無いと合併は出来ないわな。藤崎先生の本やそれに影響を受けた小生の講義ではまず L/K を体の拡大として、で α∈L を取ってきて、K と α を含む L の部分体で最小なものを K(α) とする、としている。これ L に依存しないと言わないといけないと違うの？という気が最近してきているが、まあ例を出す時は大体 K が有理数体で α は複素数としているので問題は起こらないだろうが。ゼミの話ね。まあちゃんと予習はしてきているようだし、詰まった所も少々言ってあげれば分かったようなので、大丈夫そうだ。長谷川武博さんのご指導の賜だ。6時半前に終了。

で作業をする筈が、つい来週の「代数学I」のことが気に成ってしまう。演習問題を時々 moodle＋R に上げると約束したが、去年使ってたものを見ると、まだ今日の講義の進度ではやれない問題が幾つもあったので、やめておく。で来週の講義の分をちょっと眺めたら、来週の終了後なら問題その1は上げられそうだ。でそれから出張先に別刷りを数部持っていこうと本棚を漁り始めると、何やらちょっと中身の入っている封筒が出てきた。何だと思ったら、色々な所で喋った原稿。手書きの物で、まあこの話もその話もあの話もすることは無かろうということで計算用紙に回すことにした。寺井さんとの共同研究をどこかで話したお時のものは証明の臍に成る部分だけ取っておいたが。紙の量が凄いので、どんどん計算するなり考えごとをするなりしないと。紙は増えていくが、髪は増えない。こっちはもう気にしないことにしてるんでいいけど。で何だかんだと9時半過ぎまで職場にいた。

すき家でホロホロチキンカレーを食べよう、と思って向かうと、何ともう終わっていた。この前まで CM をやっていたが。仕方ないのでカルビ丼にホクホクの大蒜が置いてあるのを食べた。

10時40分くらいに帰り着いて、先週の「座王」を見てないことに気付いたので急いで見て、で消して、今晩の分を録画予約しておいた。でこれからちょっと作業をしようかと思っている。ちょっと昨日の頑張りでいい感じには成りつつあるので、一時やってたほどの大手術はしないで済む。もう少しどうにかするけど。院生が何やらメールで言ってきてるので、そっちの返信を先にするか。来週は細々と面倒なことが多いので、済ませておかないと。

今日は雨だったが、横浜も雨だったか野球は中止だった。他の試合の結果をまだ見てない。先週の「座王」を見るために「報道ステーション」を見なかった。今時はすぐにネットで結果が見られてよい。これから見る。ロクでもない結果に成っていませんように。

「数理科学セミナー（代数）」はガイダンスだけ

木曜日は2時55分から「数理科学セミナー（代数）」。3回生相手に初等整数論のゼミをする時間。今日は初回なので、ガイダンスをして、時間話す人を決めてもらって、とかやるだけで、短時間で終了。強調したのは「英文和訳ではない！」ということ。勘違いしている学生が時々いるからね。「ギャップを埋めてくる」というのも言っておいた。来週から大丈夫でしょうか？留学生も結構いるから、ちと心配ではある。配布資料を web に上げてあるが、去年まで使っていた授業用の manaba＋R というのが使えなくなって、moodle＋R というのを使えと言われてるが、上手くいった自信が全く無い。学生が特に何事も言ってなかったので、大丈夫なのだろう。

で実は起きたのが2時近くで、シャワーを浴びて出掛けると、昼飯の時間が僅か。まあ遅いから、生協か講義棟の近くに停められるだろう、と思って、生協で弁当を買うのに便利なように生協の近くに停めようとするが、埋まっている。む。バックで暫く走って、講義棟の脇に行くが、そこも一杯。身障者用のスペースまで埋まっている。む。もう時間が無いぞ。仕方ないからUターンして、埋まっていない身障者スペースに停めよう、と思ったら、うまい具合に出ていきそうな車が一台。こっちは向こうの、向こうはこっちの様子を窺っているが、そこに停めたいのだ、という意思を表すべくハザードランプを点灯させたら、意を汲んでくれたように出発してくれた。よかった。講義には2分くらい遅刻だったが、まあ上に書いたようにガイダンスのみなのでいいです。

でガイダンス終了後生協の売店で弁当を、と思ったが、もう3時半を回っている。晩飯までそんなに時間が無いので、軽く済まそうということでざる蕎麦にした。個研室へ戻ってしばし作業。

次のコマはゼミ。今日から違う本をやることに成っている。年度が改まったところで色々新鮮でよい。今日は有限アーベル群の指標の話だが、2回双対を取ると元の群と自然に（標準的に）同型、という事実の証明でやや紛糾した。今日は睡眠はばっちりだが、上に書いた通り食事がいい加減なので、頭が動いてなかった。まあ大体分かったのでよかった。次回はディリクレ指標の話らしい。Conductor－discriminant formula とか出てくるが、証明は他の本に譲っていた。やるかやらないかは読む方に任せるということで。で2時間くらいやって終了。

昨日書いたように今日は野球が無いので、作業に励む。明日は「代数学I」の講義があるが、最初の方は別に何も準備しなくても出来るので、明日の資料を印刷するだけ。で作業が案外捗る。たまには論文書きでも講義の準備でもないことをすると気分が変わっていい。ゼミもやったから、セメスターが始まったな、という感じ。講義だゼミだと時間がとられるのはちょっと嫌ではあるが、その分集中出来ていいのかもな。で何だかんだと9時半近くまでやってた。

今日はガストでハンバーグを食べることにして向かう。ガストは10時を過ぎると深夜料金を加算されるので9時半くらいに出たわけだが。ハンバーグは予想より小さくて、ちょっと残念だった。まあ1000円ちょっとだからね。

今日は夜から雨、と言っていたが、職場を出る頃は降ってなかった。地面は濡れてたから、降るのは降ったのだろう。ガストを出て暫くしたら降り出した。で住処に着いて「報道ステーション」を見たら、広島での試合は中止で、甲子園での試合は降雨コールドゲームに成ったようだ。試合は成立して、Tigers の高卒4年目の茨木（いばらぎ）がプロ初勝利。これで今年最初の1位、2位対決は Tigers の2勝。首位は8勝3敗で最下位タイは3勝8敗。まだまだ混戦に持ち込まないと。Baystars は明日から Carp と横浜スタジアムで。3タテといきたいが、最悪勝ち越しましょう。今年はまだ連勝が無い。連勝しましょう。いや、明日勝ち、明後日負けし明後日勝ちだと勝ち越しだが連勝ではない。明日、明後日勝ち、明々後日負け、とどっちがいいだろう？明日負け、その後連勝だと、昨日と明日で連敗だからちょっと嫌だな。まあ最後は貯金が幾つあったかだから、どこでやっても同じなのだがね。理想は残り全勝だが、それはあり得ない。借金を無くすのを目標にしましょう。2勝1敗ペースだとあと15試合やらないと無理なのか。やはり大型連勝が欲しいな。ま、こっちは応援するしかないんでね。頑張って下され。

ヒュンメルのホームランの筈の当たりがファールと判定されたのがケチのつき始めで、根尾に初勝利をプレゼントしてしまった

昨晩はちょっと早目に寝床に入って、何か変な夢を見たりで眠りは浅かったが、9時くらいには起きた。でパソコンの前に座って作業。が、途中何やらメールがちょこちょこと断続的に来る。応答したりと、ちょっと鬱陶しかった。で食事休憩以外はずーっとパソコンの前に張り付いて作業。論文を読み読み紙に書き散らかしたものを TeX 化。分かっていたつもりで分かってなかったことが結構あった。もう完璧に理解出来たと言えるくらいまでにした。でそれを話の原稿に掻い摘んで書くべく、引き続きパソコンに張り付いて考え事。数学屋の前で話すが、整数論のプロはいないようなので、どこまで予備知識を仮定してよいかとか結構悩ましいし、詳細に話しても仕方ないけどあまりに端折り過ぎるのもどうかな、という感じで、延々やり続けた。気付けば野球の時間。我ながらかなりの集中力だ。

野球が始まっても作業は続く。テレビを流しておいて、要所要所を見たり。1回表に2点取られるという嫌なスタート。が2回裏にヒュンメルの2ランホームランで同点、と思ったら、何とファールの判定。いやいや、それはないでしょ。リクエストしても覆らず。ヒュンメル激怒。これがケチのつき始め。3回裏に筒香の2ランホームランで同点にしたが、6回表、8回表と1点ずつ失点し2点ビハインド。が、8回裏にヒュンメルが2点タイムリーヒットで追い付く。ヒュンメル大興奮。が、9回裏の一打サヨナラの場面ではヒュンメルは凡退し延長戦に。11回表に1死満塁のピンチを作ってしまい、ボスラーの一塁前への内野安打で勝ち越され、さらにファーストの守備に付いていた三森の本塁への送球が悪送球に成りもう1失点。11回裏に1死1、2塁のチャンスを作るも、三森、祐大と凡退でゲームセット。寄りにも寄って根尾昴にプロ初勝利をプレゼントしてしまった。何とも気前の良いことを。ヒュンメルのホームランがファールと判定された時点でこの珍事に落ち着くのが運命付けられていたかのようだ。まあいいです。佐伯貴弘氏の解説が気持ちよく、どちらのチームのいいプレーには惜しまず賛辞を送っていたし、放送終了前に「根尾投手おめでとう！」と言ってた。まあ今日はいいことにしましょう。さあ明日こそ、と思ったら、何故か明日は無いそうだ。木曜日は遅くまでゼミなので、試合が無いのはむしろ有難い。ゼミが終わったら作業の続きをしよう。遅くなると雨に成ると言ってたが仕方ない。明後日は昼くらいに風だ雷だと荒れるらしい。講義は1時10分からで、講義終了後ゼミ。土曜日は天気がいいそうだから、早目に天気が持ち直すと嬉しいが。

野球で面白い話題があった。Marines が前身の毎日オリオンズ時代からの通算成績が4934勝4935敗408分で球団史上初の借金とか。最高で323あった貯金を吐き出してしまったらしい。12球団で借金を1度も作ったことがない球団が一つだけあるそうだが、どこでしょう。まあ Giants だよな、と思ったら違って、何と Tigers だそうだ。0勝1敗という状態も含めるんだろうか？Baystars は2012年までに4522敗している。村瀬秀信「4522敗の記録 ホエールズ＆ベイスターズ涙の球団史」という本がある。まだ読んでないが読もう。番長は選手としては滅茶苦茶負け越してるが、監督としては一つ貯金がある。よかったね。

深沢鳳介、プロ初登板は4回1失点と上出来（勝ち投手はプロ初勝利の橋本達弥）

難しいメールを書くのに大分時間を使った。途中録画してあった「歴史探偵」を見たり、近々話しに行かないといけないのでその準備をしたりして現実逃避。で目茶目茶長いメールを書いてしまった。普段人と喋らない分、何かあるとドバーっと放出してしまう。まあこんなものを書いてるのでお分かりだと思うが、人の顔を見ないと能弁に成る方なので。

この石油不足が言われてる時代にテレビを消さないで横に成ってしまった。途中意識が戻った時にリビングの電気を消すくらいはした。起きなくてもリモコンで出来るんでね。

4時50分から教授会だが、起きたら4時58分くらいだった。いかん、と思って急いで起きる。まあ初回は新任教員の自己紹介なので、いいと言えばいい。が、うちに二人来た新人の内の一人は知らない人なので、顔を見ておきたかった。まあいいです。

教授会は5時半過ぎに終了。野球は6時からなので、最初から見ることが出来た。今日の先発投手は当初デュプランティエの予定だったが、何故かプロ初登板の深沢鳳介（おうすけ）が先発。デュプランティエは去年の後半故障で投げられなかったが、早くも故障か？と思ったらインフルエンザだそうだ。よかったというのは変だが、まあよかった。初回にいきなり点を取られたが、併殺打で凌いで1失点で済んだ。打線は金丸を打ちあぐねていたが、深沢のプロ初打席初安打でちょっと勢いが付いたか、4回に猛攻を見せた。無死満塁のチャンスを作り、蝦名が今シーズン初打点となる2点タイムリー2ベースヒットを打ち逆転。その後2アウトに成りちょっと嫌な感じだったが、牧が2点タイムリーヒット打ち追加点。牧はここまで2打点だったが、1番に置くのは勿体ないと解説の谷繁氏が言ってた。まあ塁に走者が溜まれば、そこは流石。で深沢は4回でお役御免。急遽の先発を4回1失点なら合格。しかもプロ初登板だからね。その後橋本、坂本、伊勢、レイノルズが無失点に抑えて、8回に石上が今シーズン12打席目での初安打を打ち1点追加。セーブシチュエーションでないが、ここまで出番の少なかった康晃が登板。登板が少ないのも当然で、まだチームは2勝しかしてないからね。が、康晃は1塁に投げるのは苦手で、ピッチャーゴロを1塁へ悪送球。その後2ランホームランを打たれた。嫌な予感だったが、後は何とか抑えて、漸く今シーズン3勝目で、横浜スタジアム初勝利。良かった。Dragons との2勝7敗対決を制したので、単独5位。まあよかった。勢いに乗って3タテといきましょう。勝ち投手は2番手の橋本達弥で、プロ初勝利。深沢も橋本も故障で育成契約だったのが這い上がってきた。今後の活躍に期待。深沢は次回初勝利を是非。

今日は首位 vs. 2位、3位 vs. 4位、5位タイ同志の対決で、2位 Tigrers が勝って1位と2位の差は0.5ゲーム、4位だった Carp が勝って Carp 3位、Giants 4位に、という展開。明日以降も目が離せない。首位を快走していた Swallows だが今日は酷かった。4失策の上、失策後にホームランを打たれたりと散々。先発の小川は5失点だが自責点0とか。こういうことをやってると落ちてくるぞ。Tigers は先発の才木が1試合16奪三振のセ・リーグタイ記録を達成。江夏以来とか。9回も投げてれば新記録を達成したかもしれないが、才木も監督も記録のことを知らなかったらしい。なら仕方ない。次もやれるでしょう。「おはよう朝日です」でサトテルのホームランが無いことを取り上げていたが、漸くホームランを打った。Tigers 今年も強いか。

その後は月末にちょっと出張があるので、その件でメールを書いたりホテルを押さえたり出張届を書いたり。話す内容を詰めないといけないが、どうしますかね、という感じ。Cohn の論文の概略をちょっとくらいは話した方がいいな。今だったらコンピューターに楕円曲線の整数点を計算させてどうだ、というくらいの定理だが、それでは誰も分かった気に成らないだろうしな。昨日その関係で一本論文を読んだが、もう一本読んで感を掴んでおくか。幸い明日も職場に行かなくていいので、時間はある。やるか。今日は呑まずにやろう。呑んだ次の日は腹の具合がよくないんで、二日以上続けての呑みは極力やらないようにしている。勿論出張した時などは交流のため数日続けることはあるが。前も書いたが幸い違法販売機が無くなったので、買いに行くならコンビニで対面で買わないといけない。変な時間に、しかも沢山買うと恥ずかしいので、やめておこう。

明日の朝は寒いそうだ。今朝の夜明け前に管理人さんに提出するものがあったので、ポストに入れに表に出たが、生暖かった。「おはよう朝日です」によると朝5時過ぎに18度あったそうだが、明日の最低気温は一桁らしい。何にしても色々極端で困る。明日、明後日は天気がいいそうだが、金曜日は雨らしい。講義のある日は雨が降らないでくれると嬉しいが仕方ない。程々の降りなら我慢します。冬場は雨が殆ど降らなかったが、その敵討ちとばかりに雨が降ってる。まあダムが干上がらないように雨が降るのはいいこと。程々ならね。また大雨になるんじゃないかと怖いが。

講義開始だが、行った時間の関係で人混みには会わず

何だかんだと夜更かししてしまい、今日は12時過ぎまで寝ていた。2時55分まで職場に行けばいいので余裕だが。シャワーを浴びてから出発。草津田上インターを降りてから大学の前で左折して、南田山で右折、のつもりがうっかり野路中央の交差点の手前の右折レーンに入ってしまった。まあそれでも問題無く目的地に行けるのでいいけど。松屋と松のやが一緒に成った店に行って、ちょっと豪華めな豚カツに海老フライが一本乗った奴を頼む。もう1時半を過ぎていたから大分すいてた。それでも揚げ物だけあって待たされたが。

で職場に着いたのはもう2時半近く。まだ講義の真っ最中なので、講義開始日なのにキャンパス内はそんなに人がいない。2時45分過ぎに行くと凄いことに成っていただろう。で学生にゼミのテキストを渡して、簡単に説明して今日の用事は終了。それで帰っても良かったが、流石に馬鹿臭いのでもう少しいることにして、お勉強。フィボナッチ数列の平方元を決定した J. H. E. Cohn の論文が数本あるが、一番昔の奴を読んでみた。何か最後の定理の証明が変な感じだった。これを受けて証明を改良したのだろうと思しき論文もあるが、それはまた今度。「加法定理」、「倍角公式」、3回に1回偶数に成る、というのを巧みに使って、ヤコビ記号の計算などを織り交ぜるという、いかにも初等整数論という内容。一番難しいのはヤコビ記号の計算（のうちの第一、第二補充法則に当たるもの）なので、易しい。後に一般化した時は難しい不定方程式の結果を引用していた。Cohn や McDaniel－Ribenboim の結果はパラメーターが奇数なので、偶数だとうまくいかない。上に書いた3回に1回偶数に成るというのを使えないので。じゃあどうしよう、というわけで寺井さんと共著論文が書けたわけだが。パラメーターが偶数に成る最初の例が何と37。小生と言えば37である。44もいいけど37もいいよ。33とか29とか好きな数は色々ある。こういう好きな数を持っているのが整数論やだと思うが。橋本先生は好きな素数を持てと言っていたかな。

帰り道にドラッグユタカに寄ってきた。ビオレのボディーソープは何か洗った気がしない。やっぱり洗面器に垢がドバーっと浮いてくれないと。ということで実家で使っていたのと同じのを買ってきた。ついでに飲食物を少々と呑み物一缶。

ちょっと難しいメールを書かないといけないので、酒を買ってきた次第だが。さっき自動販売機で買える内に数本買い足してきた。これを書き終えて、すぐ終わりそうなメールを書いてから呑み呑み難しいメールの文案を練る。今晩中に出そう。人生相談は難しいのだ。人の相談に乗れる程偉くないのでね。まあ考えますわ。幸い面白くなさそうな番組が少し続くので。「過ぎるTV」では何やら阪神 Tigers のことをやってるので見ちゃうかも。その間に面倒じゃない方をやれ、ということだな。

首位と5.5ゲーム差か…

昨晩も楽しく呑んできた。前に高校の同級生の3人組がよく来ていたが、そのうちの1人はアメリカの大学院に進学して、この4月からは半年間東大に籍を置いて研究するらしく、上手くいけばどこかの大学に就職出来るかも、みたいな話だった。大学生だったが、もう30を越えてるらしい。ビックリだな。他にも色々楽しく話をした。この前同様、1週間前に封を開けたワインを呑んだが、やはり美味しく成っていた。酒は面白いね。で例によって記憶が半分以上無い状態で帰ってきた。セブンイレブンの割引券の期限が迫っていて、水をそれを使って安く買ってきた。

12時半にアラームが鳴ったが、何だと思ったら先週は1時から面談があったので、そのためだな。解除しておかないと。で何度か寝たり起きたりを繰り返し、起きたら4時くらい。夢で野球のことを見て、嫌な予感がしてテレビを付けると、2点負けてる。むぅ。最終回に去年は開幕から30試合以上無失点だったライデル・マルティネスから1点取ったが、そこまで。佐野のホームランで先制したが、伊勢が代打で出た大城に3ランホームランを打たれて逆転されたとか。ホームランは怖いな。Swallows は7回表終了時点で0－5で負けていたのを7回裏に一気に7点取ってひっくり返したとか。まだ始まったばかりとは言え、首位 Swllows と最下位の Baystars、Dragons は5.5ゲーム差。幾ら始まったばかりとは言え、ちと厳しくなってきた。まあそうは言っても何があるか分からない。しつこいが一昨年の Carp は9月1日現在首位だったのが月間20敗という体たらくをやって、CS にすら出られなかった。メーク何とかいうのもあったし。変わらず応援しよう。

明日から講義日。暫くは学内は混雑する。ユニオンスクェアの工事は終わったのだろうか？食堂がオープンすれば去年のリンクスクェアとナデシコ食堂以外に選択肢が出来るので学生にはいいだろう。まあ小生は学外で食べてくるか弁当を買うかだが。月曜日はゼミだけで、開始が2時55分と遅いので、早起きしないで済む。まあやることは色々あるので、そんなに遅くなく行くつもりだが。有隣社に頼んだ本が届いているといいな。そうしたらそれを読んで、論文の直しをするのが最優先。Editor はこの間大学を定年退職された方だが、referee との仲介はその方がやってくださるそうだ。ご迷惑を掛けないためにも早く完成させないと。木曜日に使う本も有隣社に注文したが、それも届いてない。こっちはメディアセンター（という名の図書館）にあるので、明日届いてなかったら借りておこう。

今日は京都府知事選の日だった。すっかり忘れていた。昨日呑んでる最中にその話に成ったが、出馬している3人の顔触れを見ると、まあ現職の人があっさりトップ当選だろうな、という話に成り、そのまま記憶から消え去っていた。で案の定そうだったようだ。久し振りに選挙をさぼってしまったな。まあいいです。京都は財政面で色々厳しい状態。どうにかしてくれるといいけど。

兄貴の60回目の誕生日

またしても訳の分からない時間まで起きていた。深夜のテレビ番組が面白くなさそうなので、先週やった「芸能人格付けチェック」を見てしまおうということにして、3時間半くらい見続けた。相変わらず面白い。正しくない方を選んだ人が偉そうに蘊蓄を傾けるのを見てると笑えてくる。弦楽八重奏曲をプロが演奏したものと、子供が演奏し、しかも八体の楽器中三体が弦を一本ずつ抜いてるというのに間違える。小生はすぐ分かったぞ。西友で買った安くてしょぼいスピーカーしか付いてないテレビでも。堤幸彦監督の映像とたくろうの映像の見極めとかも正しく出来た。芸能人は金持ちなのだろうが、大したことないね。中田翔が「食べる物には億の金を掛けた」と言ってたが、最高級の鮪の味が分からなかったり。チームを組んでた番長は放送日の翌日に野球の解説をやると言ってたが、説得力はあったでしょうか？まあ面白くてよかった。でそこで寝ればよかったが、ちょっと数学を考え始めてしまい、書き散らかした紙を TeX 化したりで、寝るのが遅くなった。

起きたらもう野球が始まってる時間。1点リードしていた。その後もう1点取ったと思ったら、すぐその裏に2ランホームランを打たれて同点にされ、Giants が猛攻を仕掛けてきたのを耐え切れずに失点を重ね、負けた。見てなかったが1回表の攻撃は打者一巡で3点取ったとか。そんな試合は勝たないと。打者一巡で3点、ということは満塁のランナーを残塁で終わった、ということだな。もう1点でも取っておけば展開は変わったろうに。相変わらず攻撃が下手ということだな。仕方ない。明日勝ってカード勝ち越しといきましょう。カード勝ち越しを重ねて行けば借金はすぐにでも返済出来る。明日明日。

でヒーローインタビューを見るのはけたくそ悪いので、隣のチャンネルに切り替えたら、Carp vs. Tigers がまだやってる。雨で開始が1時間遅れて、途中更に1時間中断があったらしい。Carp が押してる感じで、更にソロホームラン2本でもう Carp の勝ちだろうと思ったら、9回に追い付いて、延長戦で勝ち越して勝利。今年も Tigers は強そうだ。呑み屋の大将はウハウハだろう。Baystars も Tigers も勝って楽しく野球の話、といきたかったが。まあいいです。

今日は4月4日。何の日かというと兄貴の誕生日。ついに60歳。電話でも掛けたろうかと思わないでもないが、忙しい中のんびり過ごしてるだろうから、邪魔するのも悪いな。メールアドレスを聞いておけばメールの一通でも書けたが。まあいいです。還暦おめでとう。

4月4日はもう一つあって、小生が車の運転免許を手にした日。昔は免許証に本籍地が書いてあって、44番地の奴が4月4日に取得したとなると面白かろう、と狙って4月4日に取りに行った。教習所を卒業したのが3月の半ばくらいだったので丁度良かったが。が、いつの間にか本籍は書かれなくなったので意味無しだが、まあいいです。44は好きな番号。京急の上大岡駅のステーションナンバーも44だし。泉岳寺を1番にしないで品川を1番にしてくれたのは奇跡に近い。45だと面白くなかったからね。

さて、ボチボチ呑みに行きますかね。月曜日から講義のある日々が暫く続くので、英気を養っておくということで。別に理由が無くても土曜日は呑むんだが。ということで、じゃ！

新年度のスケジュールが漸く固まった

特に目覚ましを仕掛けることなく寝たので、中々起きられなかったが、1時過ぎに固定電話（全然使ってないのに未だに契約している）が鳴って、随分前から留守番電話をセットしてないので、結構長いこと鳴り続けた。起きろ、ということだな、と起きて、シャワーを浴びた。パソコンを見ると、またしても有理点を1個見付けてくれた。嬉しい。寝癖を直してから職場へ。食事は草津のはま寿司で。

学内の人の出はそんなではなかった。もうガイダンスが終わって帰ったのか、それともまさにガイダンスが続いていて缶詰にされてる状態なのか？

個研室に着いてパソコンの様子を見ると、この前走らせっ放しにしておいたものはパソコンの勝手なリブートで跡形も無くなっていた。まあいいです。でメールを見ると、荷物が届いている、とのことなので7階の事務室に行ってみると、Amazon に注文したのが二つ届いていて、有隣社に頼んだ物はまだ来てない。論文が直せない。来週のセミナー形式の科目に持っていく本が来ない。まあ仕方ない。外国から取り寄せるんだから、少々掛かるよね。後者はメディアセンター（という名前の図書館）にあるので、借りて行けばいいや、ということで鷹揚に構えておくことにする。昨日書いたように学生二人に連絡をとりたいが、メールアドレスが分からない。前は学生、教員のメールアドレスを調べる頁（流石に学生はアクセス出来ないと思うが）があったが、昨日見たらあった筈の場所を見ても無いので、事務に聞いたが、二人の内一人は連絡する必要が無くなり、もう一人は別の方法で調べられた。まあよかった。その後返信があり、ゼミの予定は全て決まって、新年度は滞りなく始められる。また変なスケジュールに成ってしまったが仕方ない。

それから色々 TeX 打ち。一つは前からやってるやつで、右から左に写してるだけなのに、何かちょっとずつ間違ってる。あまり長時間掛けないことにしているので、一回やって今日は終わり。それから別のこと。ちょっと話に行かないといけないので、それの準備も兼ねて理論武装。初等的な話でも難しい物は難しい。もうちょっとどうにかしよう。で出来た所まで TeX 化。TeX 打ちばっかりしてる。まあ趣味みたいなもんなので。

野球が始まってる時間をとうに過ぎてた。見ると1点リードしてる。よしよし。暫くしてまた見ると3点差に。よしよし。相手は Giants。叩かないと。で TeX 化の合間にチラチラ見るが、1点取られてなおピンチ、という場面だったが凌いだ。でもうちょっとやりながら見ると、9回裏。ピッチャーは康晃。2塁にランナーがいる。去年までの康晃だと「あかん」と思ってしまうんだが、今年は良さそう。でちょっと他の作業をしてから見ると終わっていた。今シーズン2勝目。よしよし。今日の東は無四球だったらしい。流石。明日勝てば Giants に並ぶ。まあまだ順位を云々してもしょうがない時期だが、上にいるに越したことはないので。

9時半前に職場を出て、ガストでから好しの唐揚げを食べて帰宅。「報道ステーション」が終わって、今「探偵！ナイトスクープ」がやってるが、観客から思わず悲鳴が。それはそうで、で流石にそこまではやらないで、でどうなる？人は残酷だぞ、と思ったが、最悪の結果には成らなかった。ホッとした。見せ方とはいえ、怖かった。何でも切り取り方次第だな。ネットニュースの類は悪意に満ちた切り方をしたものを上げている可能性があるので、気を付けないとね。

実はもっと怖かったことが今日はあった。帰りに国道1号と国道161号が合流する所があるのだが、国道1号の京都方面も滋賀方面も車が来てないと思ったか、こっちが青信号で161号側が赤信号なのに、交差点に進入してくる車が。向こうが気付いて停まったからよかったが、あのまま突っ込んでこられたら大事故だぞ。小生の後ろに何台かついてて、対向側も数台こっちに向かってきた。あの車は対向車線にはみ出して進路妨害をしている状況だが、その後どうしたんだろう？気を遣って道を譲ってもらったとしか思えないが、迷惑極まりない行動だ。自転車から罰金をとるのもいいが、ああいう車は厳重に取り締まってくれないと。この前富山で赤信号を猛スピードで突っ込んだ阿呆がいたが、教習所習った時に「こういう時は巻き込まれた方の人が死ぬことが多いんです」という通り、富山の事故では突っ込まれた方に乗っていた車の人が死んでる。今日のはゆっくり交差点に進入していたが、車列が途切れたからいいとでも思ったんだろうか？勘違いしないでくれ。赤信号は「止まれ」ですから。関西の人が勘違いしているのは「黄色は注意して進め」ではないです。規則を守って楽しく運転。気分を新たにする33年目の春であった。

探してた有理点漸く見付かる（整数点が無いことを示せた）

結局また訳の分からない時間まで起きていて訳の分からない時間に寝て、夕刻に起きて職場には行かず仕舞い。明日こそ行っておこう。

起きて何をしていたかというと、楕円曲線と格闘していた。y²＝x³＋k の形の曲線の整数点が欲しい（要するに Mordell 方程式を解きたい、もしくは解が無いことを示したい）。またしてもパソコンが勝手にリブートされたのでやり直し。この曲線から y²＝x³－27k へ Q 上定義された3次の isogeny があるので、Magma のそれを使うっぽいコマンドを試して、やはり駄目で、とか。で Zimmer 達の書いた Mordell 方程式の論文を見たり、Bremmner と Cassels による height のデカい有理点を持つ楕円曲線のことを書いた論文を見たり。閃いたのが、Magma に ConjecturalRegulator という命令があって、名前の通りのことをやってくれる。で実験してみたら、予想通りだと regulator が 400 だ 500だいうのは当たり前で、940 を超えるのもあった。これは Mordell－Weil 群を求めて整数点を求めるのは実際的でないな、と思ったが、まだやってないことがあった。PARI/GP に Heegner point を求める命令がある。でやってみたが、スタックがオーバーフローするので、値を変えて再実験。PARI/GP のスタックの容量を変えるなんて初めてやった。1024M にしたらエラーが出なくなったので、寝ることにする。

で起きたら4時過ぎ。もうこういう生活はそろそろやめよう。月曜から講義期間だし。しばしグダグダやって、カップ麺で腹ごしらえをして、野球の時間。

今日は昨日の真逆で、1回にいきなり3点取られた。竹田祐は去年の後半から1軍で投げるように成り、毎回いい内容のピッチングをしていたが。その後もキャッチャーの松尾が悪送球したりで4失点。その後3点取り返しただけに、最後の悪送球が余計だった。まあヒット3本で満塁、その後内野ゴロで1点取って、その後併殺打、と攻撃下手な芸風は変わらない。2カード割って1勝5敗か。嫌な感じ。明日からは東京ドームで Giants と3連戦。勝ち越しましょう。3タテが理想だが。

が、いいことがあった。パソコンの画面を見ると、何かデカい数値が出てる。え？有理点見付かったの？と思って見たら、ごつい有理点が出ていた。調べると canonical height は260超。うー、凄い。嬉しい。これのために随分時間を食った。Conjectural regulator と canonical height が一致しているから、この点が生成元に間違いあるまい。念のため saturation をするコマンドで実験するも、saturation する様子は無い。大丈夫だろう。いや、まだ心配。が、Mordell－Weil 群が無限巡回群なので、出来る筈。大昔にやった記憶がある。思い出してからやろう。取り敢えず conjecural regulator の小さい順にやってみる。整数点が無いのを示すのにちょっと大掛かり過ぎるのがちょっと気に食わないと言えば気に食わない。他の考えられる手段を試すのもやってみる。あと問題は Magma を買うかどうかだな。

4回生一人から連絡が無いのと、新M1の学生と連絡をしたい。ということで彼等のメールアドレスが知りたいが、メールアドレス検索のページが前にあったと思った所に無い。おかしいな。まあ色々あるので、事務にまとめて聞くか、とメールを出しておいた。上にも書いたが、来週の月曜からもう講義期間に突入するので、スケジュールを確定させたいが。明日事務からの返事がどうなるかだな。兎に角、今晩はそれなりの時間には寝て、それなりの時間には起きて職場に行く。

1回表に1アウト目をとられる前に3得点をあげ、相川監督初勝利

色々やってどんどん寝るのが遅くなり、もう新入生歓迎企画は出なくていいや、と開き直ってウダウダと。でテレビを見ててビックリした。サッカーの日本代表がイングランド代表に勝った、との情報。凄いな。日本代表強く成ったぞ。ワールドカップ優勝、という壮大な目標は冷静に考えれば達成出来るとは思えないが、まあいい線いくのでは？という感じ。野球が残念な結果だけに、サッカーで騒げると嬉しいが。

でまた変な時間に寝て、起きたら夕刻。二日続けての寝不足はやはり堪える。今日は冷たい雨に成ると正木さんが言っていたので、外出しないで済むようにしておいたので、問題無し。大阪は昨日25度を超えた所が数地点あるそうだが、今日の最高気温は14度とか言ってた。京都、滋賀も同様寒いということで、職場に行く気は失せていた。明日は天気がいいようで、今日よりは多少暖かいそうだから、職場行こうか？学生がうじゃうじゃいるのは当然だが、年度初めの平日だから仕方ない。

であっと言う間に6時。CS のスカイAにチャンネルを合わせて、野球観戦開始。牧四球、度会ヒット、筒香先制のタイムリーヒット、宮崎四球、佐野2点タイムリーヒットと、アウトを取られる前に3点取った。開幕から繋がりを欠く打線だっただけに大きい。3回には宮崎のソロホームランで4点目。来日初先発のコックスには大きなプレゼント。落ち着いたピッチングを見せ、6回を被安打5、森下のソロホームランのみの1失点でまとめた。その後は伊勢、レイノルズ、康晃と無失点で、ついに今シーズン初勝利。よかった。Dragons は今日も負けて未勝利のまま。ということで単独5位。借金は僅かに3だからね。今日は神宮での Swallows vs. Carp が雨で中止のため、首位に半ゲーム迫った。明日も勝ちましょう。3日、4日、5日は東京ドームで Giants と。3タテして一気に浮上といきましょう。

コックスだが、オースティン・コックスと言う。オースティンは去年までいた選手だ。スティーブ・コックスという選手も前にいた。タイロン・ウッズとの抱き合わせで来たが、ウッズはホームラン王を獲るほどの活躍で、Dragons 移籍後も猛打を奮ったが、コックスは15試合出場10安打1本塁打7打点、と何ともしょぼい成績だったようだ。上に書いた通りレイノルズという投手も投げたが、古い大洋 Whales ファンにはレイノルズと聞くとあの強肩好打の外野手を思い出すでしょう。プロ野球記録の11打席連続安打をやってのけたのは覚えている方もいるのでは？名前で騒いだと言えば、佐々木千隼を現役ドラフトで獲得した時、「Baystars に佐々木が戻ってくる」と盛り上がったがな。千隼はそこそこやってくれている。今年はまだ出てないが、一軍にいないかな？上がってきて好投を見せておくれ。

Fighters の細野晴希がノーヒットノーランでチーム初勝利をド派手に飾る

何か天気予報が悪いので、今日は職場行かなくてもいいや、ということにしてしまい、コンビニで食べ物だけでなく飲み物、呑み物を購入してしまった。で呑み呑み録画してあるものを見たりと、ノンビリした。秀吉が京都をどう再興したか、みたいなのを NHK スペシャルでやってたのを録画しておいたが、これが実に面白かった。ここ数年で調査が進んで、色々なことが分かったらしい。今はほじくり返さなくても地底のことが分かるので、調査するの面白いだろうな。番組ナビゲーターが佐々木蔵之介で、ナレーションが吉岡里帆。二人共京都出身で、佐々木蔵之介は「麒麟がくる」で秀吉を演じていて、吉岡里帆は今の大河ドラマで秀長夫人を演じている（一昨日初出場）。よい人選だと思う。

で結局夕刻まで寝てしまい、職場には行かなかった。明日以降は学生がうじゃうじゃいるので、今日行っておけばよかったが、上述の如く天気が悪かろうということでね。少し野球まで時間があったので、ちょっと数学。昨日書いた Antoniadis の証明だが、冷静に考えれば素数であることを使ってないぞ、と気が付いた。基本単数のノルムが －1 なのが証明中に書かれていたが、mod 2 で考えてるのでノルムが 1 でも －1 でも関係無い。でやってみたら確かにそうだ。Antoniadis は何故素数だと仮定したのかと言うと、彼は類数2の虚二次体との関連で調べていて、判別式の形からそう仮定したようだ。うん、一つ格好良くなった。ただ、Q(√m) の類数が3で割れないのと、基本単数のトレースが奇数であることは仮定しないといけないが。類数が3の時には確かに定理で言ってないことが起きる。基本単数のトレースが偶数の場合は、そこそこの所まで実験したが成り立ちそう、という雰囲気。3次の Thue 方程式を解く必要が出てくるが、それは Magma caluculator か PARI/GP で出来る。基本単数の形が m 毎にどう変わるか分からないから、一般的に示すのは難しそうだが。

などとしている内に6時に成った。今日から Tigers と京セラドームで3連戦。ドームだから雨の心配は無い。Tigers から移籍してきたデュプランティエが先発。やってくれると信じたいが、1回裏に早速1点先制されてしまう。む。5回裏には中野の内野ゴロの間にもう1失点。まあ5回2失点ならまずまずでしょう。次回に期待。すぐ筒香の1号ソロホームランで1点取り返したが、日曜日と同じで筒香の打点の直後に失点してしまう。坂本が2失点。その後チャンスを作るも、タイムリーヒットもホームランも出ず1－4で負けて、開幕4連敗。まあ Drgons がお付き合いしてくれているので、単独最下位ではないが。明日は勝てよ。

などとしている内にニュースが。Fighters の細野晴希がノーヒットノーラン。2023年ドラフト1位で入団の3年目。2024年は2試合登板、2025年はプロ初勝利を含めて6登板で3勝1敗と、大した実績は無い。今日は北山が WBC 明けなので先発を延期して、有原の先発の筈を新庄監督が閃いたか細野に変更したそうだ。それでこうなるから分からない。同じ Fighters だが田中幸雄という選手が同時に二人いたが、投手の方の田中幸雄がノーヒットノーランをやってる。その時は「これで完封勝ちなら監督賞だな」と全然欲をかかなくて成功した。で彼のキャリアでの完封は1試合だけ。面白いね。日曜日は栗林が惜しかったが、また是非やっておくれ。

明日から新年度。新入生歓迎企画とやらが9時半からあるそうだが、義務ではないそうだし、今年度は1回生の講義担当しないから行かなくてもいいや。気が向いたら午後から行こう。有隣社に注文した本が届いてるかもしれないしな。届いてないと論文の書き直しが出来ない。まあそれでもやることはあるのだが。午後から雨だと言っていたし、ここ数日の20度越えから一転15度にいかないそうだから、気は進まないが。行きますかね。

Antoniadis のドイツ語の論文の嘘（だと思う）に騙されて訳の分からない時間まで起きていた

昨日は結構寝不足だったのに、また無茶をしてしまった。呑んだのではなく、数学を考えていたため。数日前に書いた Antoniadis の論文の定理の証明を一つ読んでみようと。1ページ程度だし、眺めた範囲では難しいことは使ってなさそうだし。が、早速躓く。mod 8 で考えよ、というところがうまくいかない。が、これは割とすぐ解決した。奇数であることを示したく、偶数であると仮定して、とやるが、これを直接 mod 8 しても見えてこないが、偶数であるとしたので素直に X＝2Z, Y＝2W とおいて偶数因子を全て落としてから mod 8 すれば出来た。が、更に問題が。単数×整数³ の形になるまではよくある代数的整数論の演習問題で、問題はここから。単数は当然 1, 基本単数, 基本単数² のいずれかとしてよいが、これが 1 以外の時は不適、という理由がおかしい。トレースが偶数であることが従うが、この後に書いてあることが著者の勘違い。問題にしている体は Q(√p), p：素数、≡5 (mod 8) なのだが、これの基本単数のトレースが奇数、としている。ドイツ語の論文なので正確に読めているか分からないが、ここは間違っている。この形の体の基本単数のトレースが偶数に成ることはあるのだ。Q(√37) とか。そのことのお陰で寺井さんとの共著論文が書けて、学位に繋がったわけだから、この辺の事情は30年近く前から知ってる。だからこれは著者の間違い、と気持ちにけりを付けた頃にはもう「おはよう朝日です」が終わっていた。相変わらず無茶苦茶な生活をしている。コンピューターに計算させてみると、トレースが偶数の場合も主張が成り立ちそうだから、考えてみようかと思ったが、どうやっていいか分からん。もう今からでは無理、ということで寝た。

で起きたらもう夜。まだ眠い。Uber Eats に吉野家の牛丼と油そばのセットを頼んで食べて、「Qさま！！」を見てからもう一度ダウン。1時間ちょっと寝たろうか。まだ眠い。が、生活リズムが狂っている人間はこれくらいの時間から元気に成ってくる。今晩も変な時間まで起きていそうだ。取り敢えずこれから昨晩（今日の朝、というのが正確）書き散らかしたのをメモっておいて、トレースが偶数の場合をもうちょっと実験しよう。明日は年度末で、明後日からは学生がうじゃうじゃと大学にいるので、色々済ますために行っておきたかったが、何か明日は台風並みに暴風雨がどうとか言ってるので、やめておいた方がいいかな、という気がしている。Uber Eats の配達員が動けないかもしれないから、後で買い出しに行く。その時に酒を買うかどうかは考えどころ。明後日も雨だそうだから、数日行かないことにするかも。まあ成り行き次第で。

初スタメンの度会、筒香が結果を出すも、逆転負けで開幕3連敗

昨日も楽しく呑んできた。検査をするのは言った記憶があるが、もう皆酔っていたようで覚えていなかった。ということで検査の話が中心に成るか、と思ったが、もっと楽しい話の方がいいので、その話は短時間で終了した。芸能人が赤ワインと白ワインを間違えた話をしながらワインを呑むのは楽しかった。開放感というのはいいものです。

が、実は今日は1時から面談の約束を入れてしまった。講義が始まる前に終わらせた方がよかろうと、適当に日程を決めて学科の皆さんに送ってしまったが、曜日を確認しておかなかったのは失敗。皆さんやったのだろうか？色々アドバイスしたり説教したりするのに寝坊は洒落に成らんから、徹夜するか？とも思ったが、流石にしこたま呑んでしまったので無理だった。が、11時半くらいには起きられた。良かった。で12時55分くらいに Zoom を起動すると、学生はすぐ現れた。講義期間中にやると昼休みの50分間のどこかでやって、やる前か終わらせた後にチャチャっと食事をして、講義なりゼミなりをしないといけないので慌ただしいが、今日は後は予定が無いので、いつもより長時間やって、向こうの言い分も聞いて、こっちからも色々アドバイスして、で30分くらい話した。別にちゃらちゃらしたいい加減風な感じでも無く、性格的な問題は、打たれ弱いようだが大丈夫だろう、という感じだった。事務と話して色々情報を仕入れていたし、まあ大丈夫でしょう。

その後昨日帰りに買っておいたすみれの味噌ラーメンを食べて、寝床でゴロゴロしている内に野球が始まった。今日は度会と筒香をスタメンに入れ、打順を組み替えて喝を入れた感じ。すると早速度会が先制ソロホームランを打ち、効果あり。先発投手の石田裕太郎は内容はいいようだし、今日は勝てるか？などと思っている内に寝入ってしまったが、意識が戻って暫くしたら、7回に筒香がタイムリーヒットを打ち漸く2点目。その前に2死満塁で蝦名が三振、というシーンがあったのが聞こえた記憶がボヤーっとあったので、まあよかった。今日は勝てる、と思ったら悲劇が。無死満塁のピンチを作り、サンタナに走者一掃のタイムリー二塁打を打たれてしまい交代。筒香の後三塁に入っていた林が野選とマウンド付近へのフライを捕り損ねたりと、守備で目立たないといけない林がやってはいけないことをやってしまい、一気に5失点。9回にビシエドが犠牲フライを打ち1点取ったもののそこまで。開幕3連敗スタート。番長の1年目の2021年は開幕8試合を6敗2分（当時はコロナなので延長戦が無かったから2分があるわけ）で、4月4日に漸く初勝利だったようだ。その年は最下位だったが、次の年からは Baystars はずっと貯金をして、番長は監督として一つ勝ち越して終わったから、相川もめげずに頑張って欲しい。因みに1960年の大洋ホエールズは開幕6連敗から日本一に成ったし、去年の日本一の Hawks は5月の時点では最下位だった。まだまだ可能性はあります。首位までの差は僅か3ゲーム。凹む時期ではないです。気張りましょう。

今日はプロ初完封が二人。いずれもリリーフ経験豊富な栗林（Carp）と平良（Lions）。栗林は凄くて、95球完封の所謂マダックス。が、スポーツニュースを見てびっくりした。被安打1だそうだ。7回まで21人で、8回に細川がヒットを打っただけ。今調べたら、しかも無四球だったそうだ。勿体ないね。負け投手の高橋宏斗も完投で、失点1だが自責点0。痺れる試合だったろうな。見たかった。野球は一気にまとめて点が入る（今日の Swallows は8回に一挙5得点、Tigers は8回に3得点、9回に4得点）のが面白いところではあるが、痺れる投手戦というのもまた面白い。そういうのも沢山見せてもらいたい。

有理点探しのためコンピューターを走らせ続けているが、まだ見付からない。このまま見付からないで終わるんだろうか？あるのかって？うん、それは大丈夫。Analytic rank が1なので、難しい定理により rank が1であることは確定。Torsion point は無限遠点だけなので、どうにか成りそうなもんだと思うが。もうちょっとやらせておくか、整数点が無いのを示したいので、そっちをどうにかして示すか。ま、もうちょっと放っておきましょう。「コンピューターが無いと研究が出来ない輩」だからね。

相川監督はまだ勝ち星に恵まれず

今日は11時くらいに区内某所に出向かないといけないので、10時半にアラームが鳴るように仕掛けておいた。で目は覚めたが起き上がれず、10時45分に再びアラームが鳴るようにしてあったので、それで起きた。用事にはちょっと遅刻。まあいいです。でちょっと待ってから後はあっさり終了。でいつもは大抵なか卯で親子丼（450円）なのだが、久し振りに松屋にした。南草津の松屋と松のやが一緒に成った店に行く時は松の屋のものばかり頼むので、松屋は本当に久し振り。やはり券売機が進化していて、目的の物を買うのにちょっと時間が掛かった。待ってた人がいたようで申し訳なかった。爺にはああいう難しい販売機の操作は大変なのです。カルビ焼肉定食（890円）を食べて帰ってきた。

100円自販機で栄養ドリンクを買おうと思ったら、何やらエラーの表示が出ていて買えなかった。ドーピングしなかったせいか帰ってきてからも眠い。この前の「歴史探偵」を途中まで見たら限界が訪れた。

暫くしたら野球が始まった音声が聞こえてきた。今日は入江が先発。一昨年は手術明けで全休、去年は開幕から抑えをやっていて、まずまずだったが、シーズンの終盤に掛けて打ち込まれる場面が目立ち、CS では投げさせてもらえなかった。先発として再起の筈が、2回に8番に入っている投手の山野にタイムリー内野安打を打たれて先制され、3回にまとめて3失点と冴えず。攻撃は先制されたすぐ裏に林のタイムリーヒットで追い付き、3回もすぐにビシエドのタイムリーで1点取ったが、そこまで。6回は良かった吉野が7回に失点し、そこまで。まあ仕方ない。明日勝って3タテだけは免れましょう。明日の先発は石田裕太郎。やってくれると信じる。早く相川監督に初勝利のプレゼントを。3人の新監督の内で勝ち星を手にしてないのは相川監督だけだ（新監督同士の Swallows とやってて、Baystars が連敗だから必然的に池山は2勝貰ってる）。頑張れ。

その後少しゴソゴソとやって、気付いたらもう「芸能人格付けチェック」の時間。最後まで見るとふなごやが閉まってしまうから、途中まで見て、シャワーを浴びてきた。赤ワインと白ワインを間違えるのは毎度不思議に思うんだが、今回も二組間違えた。濃いサングラスを掛けて、真っ黒なワイングラスで呑むから、視覚的情報は全く無いのを差し引いても間違えるか？と思うんだが。今晩もワインを呑むだろうから、その時の話の種にしよう。

ちょこっとだけ数学はやってる。以前ダウンロードした N. Tzanakis の論文、B.M.M. de Weger の論文などに J. Antoniadis の類数2の虚二次体に関する論文が引用されてて、ダウンロードしてそれらを眺めると、小生の考えていたのの幾つかの case が既に解決済みであることが分かった。幾つか、であって、完全解決ではないのが助かる。「No problem is problem」と言う訳で、問題は残ってないと。残ってるから飯の種があるわけである。といこうことでもっと勉強しないと。まあ呑むことは呑むんで、やるのは明日以降。ということで行ってきます。

開幕戦は牧の先頭打者初球ホームランとド派手な先制劇だったのだが…

何だかんだと結構呑んでしまった。開放感とはありがたいものだ。幾つか録画してあったものを見たが、「夫が寝たあとに」は為になる。いや、お前子育て関係無いやろ、という意見はその通りなのだが、女の人の大変さを知ることが出来たので為になる、と言っている。大腸カメラ検査なんて大したことないね。男は弱いぞ。その後「おはよう朝日です」が終わるまで起きていた。岩本計介アナの出演最終日なので。明日生で特番があるので、明日までお会い出来るが。11年間お疲れ様でした。

で起きたらもう夕刻。相変わらず生活が滅茶苦茶である。今日プロ野球が開幕。Baystars は6時半から試合。6時から開幕セレモニーがあるようだ。で1回表は東が無得点に抑えて、1回裏は1番に入った牧が初球ホームランと、ド派手な先制劇。が、今日は東が何かおかしい。四死球の少ない東（去年は四球26、死球5）だが、今日だけで4四球。で2ランホームランとソロホームランで3失点。まあホームラン以外は抑えていたので、らしいと言えばらしいのだが。攻撃陣はその後は宮崎の内野ゴロの間の1点だけで、2－3で負け。まあいいです。143勝は出来ないので。去年の Tigers はあれだけ独走していても勝率は6割台前半。明日、明後日と勝てばいいのです。残念なのは去年ずっと連続試合出塁を続けていた蝦名が出塁出来なかったこと。最終回に打席が回ってきたから、チャンスでは、と思ったが、1点取らないと負けるのでバントだった。仕方ないね。今年は高橋慶彦の33試合連続安打を塗り替えましょう。

去年はどうだったかな、とブログを見返してみたら、去年の開幕戦は東で快勝したようだ。で3連戦は勝ち越した。シーズンは長いのを実感したのは、去年は Giants が開幕3連勝だったとか。で記憶が確かならば、Tigers は数試合借金生活をしていた。だからどうなるかはまだまだ不透明。実家は読売新聞と報知新聞などというロクでもない新聞を購読していたが、Giants が開幕3連勝した時の優勝率がどうしたとか、今年は優勝間違い無しみたいな記事がよく出ていた。上に書いたように開幕3連勝しても優勝出来ないことはあるのですよ。去年は最後の試合負けてたら Giants は借金持ちで CS に出なくちゃいけないことに成っていたのだからね。去年は交流戦でセ・リーグが Carp 以外の全チームが負け越した。Carp は辛うじて5割。それでも Carp は5位で Tigers が独走優勝。シーズンは長いよ。

Giants の悪口に終始するのはやめておこう。Giants の開幕投手はルーキーの竹丸。6回1失点で勝ち投手に。まずはおめでとう。が、もっと素晴らしいのが Marines の開幕投手も同じくルーキーの毛利で、5回無失点で勝ち投手。素晴らしい。最大級の賛辞を贈らせてもらおう。結局 Giants だけを褒めないで終わるのはアンチたるものの矜持。明日は負けろよ Giants。Tigers には頑張ってもらおう。最後に優勝するのは Baystars だが。

あ、Lions に移籍した桑原はどうなったかな、と思って見たら、3回にライト前ヒットを打ったそうだ。1番に入って4打席で4打数1安打。まあいいスタートが切れましたな。頑張れ。

細々とした用事をするべく職場へ

案の定起きたら2時を過ぎていた。暫くボーっとして、頭が冴えてきたところで出発。昨日書いた通り、職場でやりたいことが幾つかあったので。

で3時前に職場に到着。生協で菓子パンを一個買って齧ってから、事務に定期試験の答案を保管してもらいに行って、で学科の事務室に届いていたゼミのテキストを受け取ってから伝票を提出して。その後 TeX 打ちを少々。右から左に写してるだけなのだが、数箇所元と違う所があって、何故ミスは無くならないかな、と思いつつ、一旦終わり。また後日やることにして、印刷した物はあるが TeX ファイルも pdf ファイルも無いものをスキャンして、などとやっているうちにあっと言う間に8時半。動き出しが遅いからね。

で晩飯をはま寿司で食べるべく向かう。9時近くだが、待っている人が数名いたが、皆テーブル席を希望している客で、カウンターで一人でとなると待たされずに済んだ。今日は大切りハラミが推しらしく、それを食べて、で他にも高い物やら安い物やら食べて、例によって2000円ちょっと。昨日無罪放免されたので、気兼ねなく食べられる。嬉しい。

帰りは下道で。瀬田川大橋の工事が終わっていて、怖い思いをしながら走らなくてよくて嬉しい。年度内に決着を付けなくちゃいかなったということか。で逢坂山の峠に差し掛かる所で変事が。いや大したことではないんだが、西大津バイパスが工事をすると予告が出てて、それのための重機を積んだ大きな車が坂道を登るのに難渋して、凄く遅い速度で走ってる。前のバイク2台と四輪車と後ろの四輪車数台が登坂車線に出て追い抜いて行った。大型車に登坂車線に入って欲しいところだが。小生は登坂車線を追い抜きに使うというダサいことはしたくないので、大型車の後ろに付いていったが、速度計を見ると27km/h。そりゃ短気な関西人は我慢できないわな。小生は車を運転する時は短気に成らない。ゼミの監督をする時は超短気に成ってキレまくるが。4月からのゼミはそうならないよう気を付けないと。どれも少数精鋭のゼミだ。人間関係を悪くしないよう気を付けよう。勿論学生も本気に成って予習してきてくれないと。そろそろ学生に空いてる時間を聞かないといけないな。

さて、無罪放免されたので、ちょっと呑もう、ということにした。ホルムズ海峡のあれでレジ袋の会社が大変だとニュースでやっていたので、袋を持って買いに出る。近所の酒屋の自販機で少々買って、もうちょっと先の酒屋の自販機でも買おうと思って向かうと、酒類の自販機が無くなっていた。ソフトドリンクの販売機はあったが。呑むな、ということだろうか、と思ったが、まあいいでしょう、ということで。違法販売に成る前の時間で買うと罪の意識が無い。呑み足したく成ったらコンビニに行かないといけない。対面で買うのに酒をたくさん買うのはちと気恥ずかしい。セブンイレブンとファミリーマートで分けて買わないと。これを書き終わったら呑み始める予定。

昨晩寝る前にスマホを見ていたら、炎鵬の話題が出ていた。相撲を知らない人向けに言うと、100kgに満たない小兵力士で、ずっと幕内で活躍していた。ある時突然見なくなったと思ったら、脊髄損傷という大怪我をして、命を守るには手術しないといけないが、手術をすると土俵に100%立てなくなる、というとんでもないことに成っていたそうだ。土俵にもう一度上がるんだ、ということで手術を選ばず、必死に回復に努めたらしい。幕内でずっとやれていたくらいだから、小兵でも力は相当あるんだろうが、退院した時は握力が10kgしかなかったとか。そこから文字通り血の滲む努力をして、でもうすぐ十両、というとこで骨折したりと、七難八苦が待っていたが、先場所は6勝、今場所は5勝で、来場所十両に復帰出来るそうだ。素晴らしい。また幕内に戻ってきておくれ。兄弟子の白鵬がいなくなって、伯桜鵬が伯乃富士と改名してしまい、「鵬」の字を使っているのは炎鵬くらいしかいない。頑張ってもらおう。

さて、明日NPBが開幕。今年こそ優勝して欲しい。日本シリーズは一昨年制覇したが、リーグ優勝は1998年を最後に成し遂げていない。1990年代だし前世紀だ。いい加減頼むぜ。Swallows 相手に横浜スタジアムで3連戦、その後京セラドームで Tigres と3連戦。勢いよくスタートしましょう。まあ開幕ダッシュを決めても最下位だった年は何遍もあったので、万遍なく勝ち続けるのがよい。去年はずっと2位につけていたが、大勝ちしたのは9月だけで、5割無いのに CS 出ていいんか？と随分言われた。今年から CS のレギュレーションが変わって、ゲーム差と貯金の有無が大きく響いてくる。大失敗しないように丹念に勝ちを拾っていって、8月以降ガーっと勝つのがいいでしょう。ということで明日からまた色々忙しくなるぞ。

健康診断で「要精密検査」と言われた件を検査してもらって、特に大したことはなくてホッとした

何か色々怖くて、寝ようという気に成れなかった。何があったかというと、12月の健康診断で便に潜血が見られた、とのことを1月末に保健センターで言われて、でずっと気に成っていた。成績付けだったり例の業務だったり色々やらないといけないことがあって、ずっと病院に行かずにいたが、この前保健センターからどうなったかと問い合わせが来て、先週漸く重い腰（物理的に体重が重いという意味ではない）をあげて、近所の病院に行って今日の予約をとった次第。昨日は病院で渡された検査日の前日食を食べて、7時以降は何も食べるな、と言われていて、寝ようと思ったんだが、上に書いたような次第。14時40分に来いと言われていて、その5時間前に錠剤を服用して、それから下剤のような液体の薬をちびちび飲んで、で固形物が出なくなるまで排泄を続けよ、とのご指示。まあ大変でしたわ。飲み物は水とお茶のみ、と言われていたので、セブンイレブンでたまたま水の500ccくらいのペットボトルの割引券が2個分あったのでそれで買って、帰り道にある100円自販機で600ccの水を買ってなどして、ウダウダと。落ち着いてきたのは1時近くに成ってから。もう大変。風呂に入ってから行った方がよかろう、ということで、ざっと体を洗って着替えてから14時半くらいに出発。

行ったのは予約検査の時間で、当然予約をとってるのは小生だけ、ということで、待合室には誰もいない。問診票を受付で渡して、「熱測りますね」と言われて、阿呆や、何のために体温計買ったんだ、測って書いてくるべきだった、となったが、まあいいです。でそれから2、3ご指示をされて、検査。いやー、想像してたより大変だった。ロクでもないことが起こってないといいが、とひたすら願っていたが、幸いポリープとか癌とかそういうものは無く、憩室とやらが幾つかあって、そこから何かの具合で出血したのだろう、とのこと。ホッとした。ポリープがあったら3割負担だと2、3万掛かると書いてあったが、検査だけなので5000円ちょっとで済んだ。いや、もっと高くてもいいぞ。命が繋がったわけだし。まあホッとしたわ。ここ2ヶ月くらい色々気に成って生きた心地がしなかったが。車を買い替えろだの新年度の用事がどうしたのか身が入らなかったが、明日からちゃんとやろう。

で昨日の晩から味の付いた物を全く口にしていなかったので、100円販売機でエナジードリンクを買って、帰ってきて飲み干してから買っておいたチキンラーメン丼を食べて。当然だが今日は消化のよい物を食べよ、アルコールは控えよ、とのことで、事前にあまり脂っこくないものを買っておいた。が、昨日床屋から帰ってきた時にマンションのエントランスにいた宅配の人が小生の部屋番号を呼び出していたので、「あ、それ私です」と受け取ったわさビーフをうっかり食べてしまった。まあ一袋50gだし、多少脂っこくて山葵の刺激が、とかあるがいいだろう、と食べてしまった。でちょっと横に成って、1時間くらい寝た。もっと死んだように眠れるかと思ったが。で起きたが、やはり腹が減る。冷凍のパスタも買っておいたが、いつもより脂分控え目なものを選んでおいたので、いいかと食べてしまう。でまたわさビーフを食べてしまった。一箱に6袋入ってるのでね。まあ何か色々落ち着いてきた。もう今日は阿呆に成りましょうということで、12月にやった「タイムショック」を見た。2時間50分ものだから、中々まとまった時間が取れないと見られないので、見た次第。クイズ番組は色々知ることが出来て面白い。チャップリンが使っていた杖は草津市で作ってもらったものらしい。草津市は色々面白いことがある。群馬の草津の方が有名だがな。足立先生ほどの博識な方が「君はもう草津温泉行ったか？」とか聞いてくる始末だから、滋賀県草津市はまだまだマイナー。もっと有名に成るといいね。お前は草津市どころか滋賀県にも住んでない？その通り。

出掛ける時はもう雨が降っていて、明日の朝に掛けて結構な降りに成ると言ってたが、昼にはもう上がっているらしい。明日は職場行くか。2つ3つやりたいことがあるし。今晩はタップリ寝るから、起きるのは2時とか3時とかかもしれないが、それでもいいです。晩飯ははま寿司にしようか？帰ってきたら呑むか？喉元過ぎれば熱さを忘れるではないが、もう不摂生する気満々に成ってる。程々にしましょう。

などと書いてしばし。忘れていたことが一つ。霧島が大関に復帰した。平幕に落ちてから大関に戻ったのは魁傑、照ノ富士と今回の霧島しかいないそうだ。今度こそ落ちるなよ。勿論上がるのはいいけど。

1月15日以来の床屋

結局昨晩も寝床で YouTube を見始めてしまい、寝たのは結構遅かった。が、午前中にアラームが鳴るようにしておいたので、11時半くらいには起きられた。それから諸事情あっての超軽い食事をして、シャワーを浴びて、で床屋が今日本当に営業しているのか、また予約でいっぱいで切ってくれないなんてことはないかを確認するため電話。3時くらいなら大丈夫だと言われたので、しばしボーっとして過ごす。通り道にあるマツヤスーパーに京都銀行の ATM があるので、軍資金を卸してから行こう、と思ったのだが、カードが見当たらない。おかしいな、ついこの間使ったばっかりだが。探してると3時を過ぎてしまうので、仕方ないのでそのまま出掛ける。自動販売機対策として千円札をしこたま持っているので、問題無く払えるからよい、ということにする。で3時丁度くらいに着いて、切ってもらう。1月15日に切ってもらって以来だから、随分鬱陶しく伸びていた。耳にもおでこにも毛が触らないというのは何とも幸せなことだ。でちゃんと払えて帰途につく。途中 DCM でトイレットペーパーを購入。「超ロング」と書いてある奴で、びっちり巻いてあるのだろう、滅茶苦茶重たい。数分だが、指が千切れるのではと思うくらい重い。で帰ってきて部屋をちょっと探したら、すぐ銀行のカードは見付かった。使い終わったら定位置に戻さないと駄目だな。今後は気を付けよう。

でお金を卸しに関西みらい銀行（京都銀行より近いので）でお金を卸して、セブンイレブンで飲み物（≠呑み物）を買って、で帰ってきて一昨日の大河ドラマを見て、であっと言う間に夕食の時間。一日短いな。晩飯も軽めに。今日はちゃんと寝ないと。

今日は全国的に温暖でいい天気だったようで、あっちこっちから桜の開花のニュースが。が、明日の関西は午後から雨だそうで、結構本格的な降りに成るとか。ちょっと外出する用事があるので、降らないで欲しかったが。まあ外出と言っても5分も歩かないので大したことないけど。自分の外出する日は降るなとはいかにも我が儘だが、まあ皆そう思うでしょう。東日本から名古屋辺りまではダムが干上がってるそうだから、降らないと。京滋地区もそんなに降ってないが、琵琶湖には日本海側の豪雪の融雪の流入があるので、心配無いらしくてよかった。梅雨時から夏にかけて少雨だと流石にまずいが。小生がこっちに来た年だか次の年だかに琵琶湖が相当水位が下がって、今は湖底に沈んでいる「太閤井戸」という秀吉が長浜の領主に成った頃の物が出てきたというニュースがあった。何にしても極端過ぎる。雨は定期的に適量ずつ降ってください。

コンピューターが無いと研究が出来ない輩なのは30年くらい前からずっと

結局昨晩はその後また寝床で YouTube をちょっと見てしまい、寝たのが遅く（早く？）、起きたのは2時ちょい前。む。まあ急ぐ旅ではないが、早目に行こうということですぐ出掛ける。2時20分の新快速野洲行がすぐにも来そうな時間に山科駅に着いたので、急いでホームに上がると、4分遅延だそうだ。何だ。新快速は12両編成だから、ホームの前の方に行く。この位置だと大抵すいてる。でその通り。南草津駅に着いて駅前ロータリーに立つと、色々変わっててよく分からない。どこに大学行のバスが来るのだろう？時刻表を見ても判然としないし、人も全然待ってないし、本当にバス来るの？と思ってきょろきょろ見回すと、何やら人が沢山いる所がある。そこに行ってみると「長寿福祉社会センター」行のバスがうちを経由するらしい。これはいけない、と急いで乗り込む。で何とか席を確保出来た。見ると、うちを通って、グリーンヒルにある松ヶ丘五丁目を通ってから長寿社会福祉センターに行くという、非常に大回りをするバスだ。まさかもう一回うちの前を通るのか？と思ったらそうではなかった。まあ大変だったが、3時過ぎには職場に着けた。でまず腹ごしらえということで、生協へ向かう。途中、ウェストウィングに割と近い所に一台分駐車スペースがあることを確認し、弁当を買って食してから車を移動して、個研室へ。

パソコンに計算をさせておいたのだが、リブートされていた。酔っ払ってる頭に微かに記憶にあるが、更新プログラムがどうしたとかメッセージが出ていたな。再起動はユーザーの意思でさせて欲しい。オチオチ計算もさせられない。住処のコンピューターも昨日帰ってきてみたら再起動させられていたし。まあ職場のコンピューターにやらせておいたのは既知の結果の再現をさせようということなので、実害は無かったが。で改めて計算を開始して、数学をやる気が起きないので、部屋の片付けを少々。ダウンロード出来ない論文や、出所不明の論文幾つかをスキャナーで取り込んで pdf 化してから計算用紙に回してなど。で懐かしい物を見付けた。1998年の整数論サマースクールの自己紹介集。見ると、今は小生のやっていることの数十倍、数百倍難しいことをやってる方が修士課程、博士課程の学生だったりしてビックリ。この人達に偉そうにレクチャーしていたのかと思うと、大いに恥ずかしい。小生ごときで役に立ったのでしょうか？で自分の書いた物を見ると、「コンピューターが無いと研究が出来ない輩」と指導教員に言われている、とか書いてあったが、そんなこと言われたかな？まあ確かにその通りなので、ぐうの音も出ないが。最初の論文は別にコンピューターを使わなかったが、その先はコンピューターの計算に激しく依存していたり、論文を読むにはコンピューターは必要無いが、書くために色々計算させたりしたからな。今も Magma 欲しいぞとか言ってるくらいだから、コンピューターに依存してる体質は変わってない。数表を作って、傾向が見えたから証明する、というのは誰でもやってると思うがな。

片付けに飽きたので TeX 打ち。TeX 打ちは趣味みたいなもんだ。2月中には終わらせるつもりの物だったが、論文の返事待ちだからやってたので、一旦返事が来たので棚上げにしてた。今は注文した本が来ないとどうしようもないので、論文書きが停滞している。年度が変わる前に片付けるのは無理そうだ。まあいいです。で7時過ぎには職場を出ようと思っていたが、昨日酒を呑んだせいで腹の具合が悪くなってきた。少し落ち着くのを待って、何だかんだと9時過ぎまで。昨日忘れていったジャンパーを着て、今日着てきたジャンパーを持って、職場を後にした。

JAF にすき家と吉野家の割引券が付いてて、で CM ですき家がまたほろほろチキンカレーを始めたとやっていたので、すき家にしようということで、瀬田のすき家へ向かう。かがやき通りの店舗だと遠回りをしないといけないので。で瀬田店に着いたが、結構沢山車が埋まってる。普段停めたことがない所に一生懸命停めたが、その最中に2、3台帰っていった。もう数分遅かったらいつもの所に楽に停められたのにな。まあいいけど。カレーは旨かった。

さて、明日、明後日はちょっとちゃんとしないといけない。理由は後日。最近プロレスをそんなに真面目に見なくなったから、今日も見なくてもいいや。「くりぃむナンタラ」が終わったら寝よう。わさビーフが明日着くとメールが来ていたが、来てもすぐは食べないな。理由はこれも後日。明日は床屋も行くよ。もう鬱陶しくて仕方ないので。新年度はスッキリして迎えたい。あ、明日教授会があるのだった。忘れないようにしないと。ということで床屋へ行く時間は自ずから決まる。まあちゃんと寝てちゃんと起きるつもりなので、大丈夫だけど。行く前に電話した方がいいな。一昨日は行ったけど予約一杯で無理だったから。そうしよう、うん。

今日（昨日だが）は卒業式

今日（もう昨日だが）は卒業式。早目に起きたらうな松かはま寿司へ、と思っていたが、もろに昼食時間帯にぶち当たってしまう時間に成ってしまったので、大学の近くのセブンイレブンでざる蕎麦でも買って、ということにした。で高速道路を降りてから正門の前を左折。が、セブンイレブンにの前にはガラの悪そうなのが数名いて、車も数台停まってた。うちの卒業式に出る学生が車で来て違法駐車をしているのだろうか？と思ったが、まあ何とか停められないことはないということで停めた。幸い出る頃には一番面倒な所に停めてあった車が出ていってた。で右折で出ればすぐ正門なのだが、坂を上ってくる車と下っていく車が絶妙なタイミングで来てしまい、右折出来ない。諦めて左折して、野路中央の交差点を右折して、でかがやき通りを通って、ですぐ着く、と思ったのだが、予想外の展開に。途中の飯屋や喫茶店のような所に入りたくて入れない車がうじゃうじゃ。卒業式の前に腹ごしらえしておこう、という腹なのだろうか？そんな店が数軒あって、かがやき通りは渋滞していた。結局セブンイレブンを出てから30分くらい掛かった。もう。で大学の駐車場は当然満車で、隣のグラウンドに停めないといけない、というのがいつものパターンなのだが、運良く数台分空きがあったようで、停められた。グラウンドに停めると、酒の席の前に移動させないと、次の日にグラウンドを使いたい学生に申し訳ないからね。まあよかった。

個研室でざる蕎麦を食べて、コンピューターに昨日書いた Bremner－Cassels の例 y²＝x³＋877x の Mordell－Weil 群の計算をスタートさせて、適当な時間に会場へ。

流石に卒業式の日だけあって、人がうじゃうじゃいる。途中花の前で写真を撮る所があったが、そこは長蛇の列。裏側は学位記のデカいのをバックに写真が撮れるように成っていたが、そっちは全然列が出来てなかった。学位記バックの方がいいと思うんだが。で式場に着く。男は大体皆同じような姿だが、女性は色々で面白い。留学生の1人は民族服のようなのを着ていた。1人はデニム生地の着物という変わったものを着ていた。後で F 家先生に話し掛けれていた。珍しい、ということでしょう。で式が始まって、学科長が挨拶の後、何か一言ずつ喋れ、とのことで、適当に喋った。大学時代の友人は長い付き合いが出来ていいよ、という趣旨のことを言っておいた。で一人ずつ名前を呼ばれて学科長から学位記を受け取るのだが、小生のゼミの学生のうちの1人の名前が呼ばれない。え？と思って後で名簿を見せてもらったが、名前が無い。うーん、卒業出来なかったか。就職活動で関東の実家に帰ったり、その度にお土産（葱味噌煎餅は絶品だった）をくれていたが。後で事務にでも問い合わせをするか、と思ったが、まだしてない。

終了後ウェストウィングに向かってる途中で、基礎教育担当専任講師だかそんな名前の職に就いてるうちの卒業生が寄ってきた。彼は形式上建築の所属らしいが、数学と色々違って面白かったとのこと。予想外に時間が掛かって、薄着で来て後悔していた。傘を持ってきてないらしく、すぐ帰りますと言って帰っていった。

4時から祝賀会、の筈だが、ちょっと式が延びたので、4時半開始、とのアナウンス。個研室で計算経過を見たが、まだ答えは出てない。Magma と PARI/GP の力の違いを見せ付けられた。で4時半に成る前に会場に行くと、もう呑んでる人がいる。今日は物理との合併での祝賀会（元々一つの学科だったので）で、物理はもう始めているということらしい。まあいいでしょう。もうすぐ会えなくなる学生と多少話して、4月から目出度くご栄転の決まった若い先生方とちょっと話した。1人は故郷の九州の大学に戻れるそうで、羨ましい。もう1人は小生の故郷の横浜の大学へ移籍。どの辺に住むのか、と聞いたら「〇〇〇〇」駅の辺りと言ってた。彼の行く大学はどの駅からも中途半端に遠いので、まあ沿線じゃなくてもいいか、とのこと。アップダウンの激しい所なので、ちょっと自転車では行きにくいと言ってた。で沿線にある小生の実家の近くの駅にはもう行ったか聞いたら、駅名を聞くのが初めてらしい。乗換案内のページを見せて教えておいた。横浜では楽しく過ごしてください。

と楽しく呑んでいたが、何だか調子が悪くなってきた。立って呑んでたからなのか、久々に日本酒を呑んだからなのか、よく分からないが、後者である可能性が高い。呑んでて息苦しくなるんだが、今までのことを思い返すと大抵日本酒を呑んだ日。また何か喋らそうと学科長が言い出したが、辛くなってきて、個研室へ引き上げた。座ると幾らか楽だったが、マインスイーパーをやるとマウスカーソウルがふらふらして、変な所を突いて爆発、というパターンが続き、これは無理だ、と、学生の溜まり部屋にあるソファーで横に成った。誰もいないようで少し寝られた。暫くすると数名戻ってきて、何やら4月からの部屋割の話をしだした。で見ると、本を入れているラックに TeX の本やら何やらあったので、小生の部屋にあるもういらない本を数冊移した。が、その時にまた尻もちをつき、まだ本調子ではないな、ということで部屋でゴソゴソと。

祝日だからとはいえ、終バスが9時半とは随分早く成ったな、という感想。で南草津駅にA堀先生と学生で計11人くらいで向かい、呑み屋に入ったが、今日は呑まないことにした。それでも1万円払ってきたけど。で終電の前の電車で山科へ。短い8両編成。次の電車は12両編成だが、まあすいてるだろうということで。それと、個研室にジャンパー（今はブルゾンって言うのか？）を忘れてきて、少々寒いので。幸いジャンパーのポケットには手袋しか入れてないので、財布もカード入れも定期入れも持ってるのでよかった。文庫本を読めるくらいには復活していた。湖西線の最終電車に接続と言ってたが、湖西線は12時前に終電が早まったと堅田に住んでる知り合いが言ってた。

12時前には住処に着いた。まだ少々苦しいので、横に成ってスマホをいじってたが、眠く成らなかった。京浜急行ネタの総集編みたいなやつで、1時間20分も掛かったが、まあいいです。その後数学ネタを見たりとかしてるうちに3時を過ぎていた。よく眠く成らなかったもんだ。いや、もう寝るよ。明日車を取りに行かないと。明後日でもいいが床屋で貰った定休日を塗り潰したカレンダーを見ると24日は塗り潰されてないので、明後日は床屋へ行きたい。幸い花粉症の具合は大したこと無い（今日も目薬と点鼻薬を持っていったが使わなかった）ので、今のうちに切っておきたい。水曜日は大事な用事（何って？さぁ）があるので無理。木曜日以降は水曜日の経過次第なのでね。何って？さぁ。

もう4時だな。寝よう。今から寝れば8時間寝ても12時くらいだ。まだ電車が混んでる時間ではないし、バスは卒業式後ということで目茶目茶すいてるだろう。ということで、数日酒は呑まないことにして、大人しくしよう。あ、わさビーフが届くかもしれないな。まあそうなっても数日は大人しくしますわ。

霧島3度目の優勝

昼過ぎに起きて、腹ごしらえをして、が、眠いぞ、ということでまた横に成ってしまった。3時半くらいに何とか起きて、床屋へ向かう。相撲は途中からだが見られそうだ。が、床屋に着くと店長が何やら詫びている。4時から6時くらいまで予約でいっぱい、とのこと。む。仕方ないのですごすごと引き上げてきた。途中 DCM でティッシュペーパー（再生紙100％利用）と体温計と、多分水曜日の朝に数回使うだけの計量カップを買って帰宅。

もう4時を過ぎていたので、相撲は途中から。今日の結果次第では優勝が決まる。明日は卒業式で相撲を見られないから、今日中に決まると嬉しいが。まず3敗の琴勝峰が新三役の熱海富士に負けて脱落。結び前に霧島は安青錦と。安青錦は負ければ初の負け越しだから必死。で安青錦が勝って、霧島が優勝するには豊昇龍が琴櫻に負けないと。が何と豊昇龍負けた。八角理事長曰く「情けない負け方」で。結局優勝の可能性のある3人が揃って負けて優勝が決まるという、何か変な決まり方だった。霧島は14場所振り3度目の優勝。先々場所が平幕だったとはいえ、これで3場所連続の二桁勝利。明日勝って13番にすると大関返り咲きは決定的。明日は琴櫻が相手。どうなるでしょうか？安青錦は結びで横綱と。明日勝てば8勝7敗、負ければ7勝8敗の天国と地獄。横綱も意地があるだろうし、どうなるのか。見たいが仕方ない。あ、義ノ富士が負け越して、入門以来初とか。何もかも順調にはいきませんな。義ノ富士の来場所以降の巻き返しに期待。

前に木村巌さんに PARI/GP のコンファレンスか何かで使われたスライドがあるページに沢山置いてあるのを教えてもらって、ダウンロードしていたが、 その内の一つを見て、楕円曲線の Mordell－Weil 群の生成元を求めている。もう3時間以上点を探し続けてる。生成元の height は相当でかいのだな。Zagier の面積157の直角三角形の3辺の件で有名な y²＝x³－157²x の生成元はその方法で割とすぐ見付かったがな。終わるまでやらせておこう。あ、Bremner－Cassels の例もあったな。今やってる計算が終わったらやらせてみるか。明日に成っても終わってなかったら明日職場でやろう。因みに Magma Calculator は後者の生成元は数秒で返してくれた。Magma 凄いな。高いだけのことはある。やはり欲しいな。購入を考慮した方がいいかも、という気に成ってる。年度が変わるまで逡巡しよう。