リンクスクエアの売店で弁当を売っているのを発見して、食事を済ませてから講義が出来た

どうも夜更かししてしまう。「ロンドンハーツ」は見ないつもりだったが、TeX 打ちが終わってないので、流していた。するとビックリ。ロンドンブーツ1号2号が解散するそうだ。で色々と話していて、ザキ山とフジモンがいると悪ふざけを始める。淳は「田村淳」でいけば問題無いが、亮はどうするのか？と。田村亮と言えば田村正和の弟で俳優をやっている人とどう区別するのか？と。亮は本名だそうだが、田村正和の弟の方は芸名らしい。調べてみると「幸照」というそうだ。悪ふざけとは亮に「幸照」と名乗ったらどうだと薦めたザキ山とフジモンが亮のことを「幸照さん」と呼び続けること。悪ふざけが過ぎるな。で「キョコロヒー」が始まる前には寝床に入ったが、今度は YouTube を見始めてしまう。何やら数学科の理想と現実みたいな動画があって、小鳥みたいなのが数学科の授業に出てて、微積分の講義の1回目でデデキントの切断が始まって呆然、線形代数は前期を乗り切ったが、後期に成ってベクトル空間が何のかんので呆然、という内容だった。面白い。何でも現実は違うもので、畏友K君（故人）が情報理工学部の演習の時間に学生が言っているのを聞いたそうだが、情報理工学部ってプログラミングをバリバリとやって、コンピューターグラフィックスみたいなのが画面を踊っているのと思っていたそうだが、実際は数学だなんだと嫌気がさしているらしい。物理は実験が好きで始めたのに、大学ではやれベクトル解析が何だとか微分方程式がどうしたとかそんなのが延々続く。嫌なら辞めれば？と言う程簡単ではないよね。予備校だ何だと大枚はたいて、入試の検定料だ入学金だ授業料だと大金払って、はい辞めます、とはね。まあ我慢してやってれば面白いことも出てくるから。いつも思うんだが、バットを振るまでには体づくりをしなくちゃいけなくて、試合に出るには守備練習もするし、やっと試合に出られるとなっても内野の頭を越すのがやっとでは面白くない。大谷のようなどでかいホームランを打ちたかったら、基礎練習はしっかりしないとね。

で起きたら12時くらい。ぎゃ！シャワーをチャチャっと浴びて出勤。12時50分過ぎに職場に着いて、もういつもの通りカレーパン1個買って齧ろう、と思ったら、いいことを発見した。リンクスクエアの売店で弁当が売ってる。隣が食堂なので、机を一箇所占拠して食べるくらいの時間はあったので、食べて、少しノンビリしてから講義室へ。

今日は「数学III（線形代数）」。あと3回で相似、固有値・固有ベクトル、対角化、ケーリー・ハミルトンの定理をやればよく、時間があり過ぎる。が、水増しの手段は幾らでもあるので、今日は異なる固有値に対応する固有ベクトルが1次独立であることと、異なる固有値 λ₁,…,λ_r をとって、(λ_i－A)E の基本解を i＝1,…,r まで全部取って並べると1次独立、ということまで示した。数値例が多いと嬉しいので、沢山挙げておく。それで時間を使ったわけだが。来週は対角化可能かどうかの判定法とか話して、またしても例をドバーっと挙げる予定。正方行列の冪乗（累乗？）に応用出来るとか挙げればまあいい感じでしょう。ケーリー・ハミルトンもまた話すことがあるので、大丈夫。そもそも定理の証明が結構時間食うだろうしね。シンプルな見た目と証明のごつさの違いを味わってもらった方がいいだろう。暑いのには「暑熱順化」と言う言葉があるくらいで、徐々に慣れないと大変。数学も難しいものに順化していきましょう。ジョルダン標準形の存在証明はもっと大変だしね。去年の卒研で1ページにも満たない証明を「くそ長い」と言っている学生がいたが、大したことないよ。

個研室に戻って、汗が引くのを待ってから今週の講義資料を直して、その後来週の作戦練りを少々。4時50分から短時間で済むが大事な会議があるので、談話会室へ向かう。まあいいんじゃないでしょうか。フランス人の名前は読めないな。次回は再来週やるそうだ。まあ水曜日は職場に行ってるのでいいけど。

それからまたちょっと線形代数の続き。対角化可能かどうかの判定だったら固有ベクトルは求めなくてよく、λ_iE－A の階数の総和を取るだけでOKなのだが、いや、そういう細かいことは知らなくてもいいでしょ、固有ベクトル求めてほら足りないよね、でいいので、そう教えようと。勿論 rank の総和の方もやるけどね。

はま寿司で九州フェアをやってるので、いつもより少し早目に職場を出て、8時頃に京滋バイパスと国道1号が合流する辺りの店へ。まだそれくらいの時間だと結構混んでて、待たされた。8時半を過ぎて漸く順番。大切り藁焼き鰹たたきは売り切れ。「本日完売」と書いた物と「完売御礼」と書いた物があったが、鰹は前者だったので、また近い内に昼に行くことにして、長崎・佐賀の生鯖、鹿児島の活〆カンパチ、鹿児島産そでいか等々。いつもの通り2000円程度食べて、ご馳走様。

9時半を過ぎるともう国道1号は混まない。10時を過ぎると工事が始まるが、まだ大丈夫だった。10時前に住処に着いた。今日は「ミラクル9」が3時間で、もうちょっと早く着くと放送が終わってなかったから、丁度よかった。3時間の結果だけ見るというのは何とも馬鹿臭いからね。近い内見る。で「報道ステーション」ではのっけから吐き気のするようなニュース。大越キャスターの声音が尋常じゃなかった。教師は聖職者と言われてるが、今日捕まった奴らは「生殖者」だ。いや、それも満足に出来ないからああいうことをやったんだろうが。気色割る。その後今日の大雨のニュースなど。近畿は大したこと無かったようだが、お隣の岐阜は凄かったようだ。明日は近畿もかなり降るようなことを言ってた。気を付けないと。一時にドバーっと降ると言ってた。木曜日は変な時間から用事だが、雨の降ってない時間に出掛けないとな。後で調べておこう。

夕刻からちょっと長目の会議（住処からオンラインで参加）

資源ゴミの整理は何とも面倒で、火曜日は早起きしなくていいこともあり、つい呑みながらやってしまう。ポストに届いてるマンション売れ売れ系の郵便物や、地元の広報誌に挟まってるどうでもいい宣伝チラシなどをまとめて、呑んで出たアルミ缶などを分別したり。段ボールを処理するのは面倒なので、やめた。また2週間後にやろう。で飽きたので、昨日書いた逆イデアルのことなど。答が分かってると目標があっていい。で何とか証明出来た。講義だったりゼミだったり修論だったりで色々イデアルを計算した経験が役立った。単項イデアルでないイデアルの逆イデアルを求めたのなんて初めてだ。抽象論勉強するのも面白いが、色々いじってみないとやはり面白くない。代数や整数論は抽象的かもしれないが、いじれるようになると面白い。幾何の先生が「幾何は絵を描けばいいですけど、代数の人ってどうやって考えてるですか？」と聞かれたことがあるが、正直小生そんなに難しい代数はやらないので、返答に窮した。皆さんどうやってるんですか？と聞きたいのはこっち。群論とか可換環論とか圏論とか何を考えてるんだろう？この前ちょっと位数の大きい群を考えたが、Q のガロア拡大のガロア群だったから、中間体を考えればよかったので、まあ整数論ですよ。

で変な時間に寝て、グダグダと寝たり起きたり。夕刻からの会議に間に合えばいいので、変な時間まで寝た。で4時50分から会議。職場に行かなくていいのは有難い。色々宿題を出された。まあ大急ぎでやらないといけないものはないので、ちょっと経ってからやればいいが。それに、困ったら経験者に相談すればよいので、まだ気は楽。去年やってた仕事は学会内に相談出来るのは一人だけで、メールを書いて質問という気楽なことが出来なかったので大変だった。今年は去年やってた人に堂々とメールを書ける。困ったら聞きます。

会議は6時10分過ぎに終わった。今日は Baystars は試合が無いので、慌ててチャンネルを変えなくてよくて、会議中もそんなに時間を気にしていなかった。長かったが。今日は交流戦の初日に中止に成った Marines vs. Giants だけあるのだったな。どうなったろう？もうすぐ「報道ステーション」のスポーツコーナーだから、そこで見よう。ネットで情報を仕入れるのはやめておく。Giants が負けてますように。

「天久鷹央の推理カルテ」なるドラマがやっているのを知っていたが、いつもの火曜日は野球を見ているので、一回も見たこと無かった。今日は最終回だそうだ。見てみたが、結構面白かった。最初は橋本環奈演じる主人公が偉そうで嫌な感じだったが、段々人間臭くなってきて、患者に寄り添ってる感じがよかった。最初から見たら面白かったかもな。しかし「特捜9」も「いつかヒーロー」も録画するだけして一話も見てないから、録っておかなくてよかったな。日曜10時15分からのドラマは7月6日から新番組のようだが、見ようかな？面白そうだが。野球が盛り上がってくる時期だからな。ハードディスクがかつかつだから、何か見て余裕を作らないと。「歴史探偵」とか幾つか結構高画質で録ってある番組を Blu-ray に焼けばいいんだな。が、焼くと見なくなってしまうので、見てから焼くか。今日は眠いから早目に寝るので、明日以降。幸い今日の「ロンドンハーツ」は面白くなさそうだから、「相席食堂」が終わったら寝よう。

などとしていていたら交流戦の結果をやってくれた。Giants 負けたぞ。よしよし。残念ながら交流戦最下位は Giants じゃなく Swallows だった。これでセ・リーグの順位は首位 Tigers、3.5ゲーム差で Baystars と Carp が2位タイ（貯金は僅か1）、4位が Giants（借金1）、5位 Dragons（借金5）、悲惨なのが最下位 Swallows で、借金は何と24。Tigers が38勝、Dragons でも31勝してるのに、Swallows は僅か19勝。酷いな。オスナ、サンタナはそこそこ頑張ってるようだが、村上も塩見もいないからね。規定投球回投げてる投手がいない。と言っても、セ・リーグで規定投球回投げてるのは13人しかいないが。高津は休養させられちゃうかな。日本一に成ったのはほんの数年前だが。金曜日からリーグ戦再開だが、Swallows は Tigers と。叩いてもらわないと困る。頑張れ。いや、Baystars は落ち目の Giants をやっつけないと。明日、明後日は平和だ。色々やろう。

a∈I ⇒ 1/a∈I－1 は嘘なのか

寝坊した。二日続けて寝不足だったのに、結構遅くまで起きていた。で寝床に入っても中々寝付けなかった。夜中に成ると元気に成る。で起きたらもうゼミには間に合わない。飲み食いの時間を惜しめばちょっとの遅刻だが、空腹でゼミは大変なので、ちょっと許してもらうことにして、生協で弁当を買って、で遅れて開始。今日は相対判別式の話。F⊂K'⊂K の時に相対判別式がどうなっているかという定理の所で、相対判別式が (1) （まだデデキントの判別定理をやってないので、（狭義）不分岐拡大とは言えない）の時に root discrimant が不変であって、ミンコフスキーなり Odlyzko なりの判別式の（もしくは root discrimiant の）下界を表す式に矛盾する、とやって色々非存在の定理を示した話などをしておいた。他にも F⊂K の時に d(F)｜d(K) とか。いや、もっといいことは言えるが、まあそれくらいで。で2時間強やった。いや、遅れていかなければもうちょっとやれたが。申し訳なかった。

その後部屋でちょっと計算。逆イデアルのことがゼミ中にちょっと分かってないことが判明したので、考えてみる。気に成ったことその1は前に示して TeX 化してあった。「30年前のことなら覚えちゃいるが、昨日のことは忘れたな」だかなんかダウンタウンブギウギバンドの歌をもじった老人呆けの人を馬鹿にするネタがあったが、最近それを実感するね。で他に TeX 化してあるものを見たが、a∈I ⇒ a^－1∈I^－1 と書いてあるのがどうも嘘くさい。SageMath は普通にイデアルを使ってるつもりでも Fractional ideal と表示されるから、分数イデアルも問題無く使えるだろうということで、K＝Q(√－5) にして、I をいつもの (2,1＋√－5) として、I^－1 に（SageMath では 1/I と打てばよい）に 1/2 が入っているか確かめたら、False と返ってきた。意外だがそうなのだな。(a)^－1＝(a^－1) だからね。知っているようで知らないことってあるね。小生何でもコンピューターにやらせて、それを納得いくようにしたいという勉強の仕方をしてきた。そうこうしているうちに楕円曲線とか色々いじれるようになったので、どんどん実験しないと。そういうこと無しに出来るほど天才ならよかったが、もう今更無理。出来る範囲で残りの研究人生楽しまないと。

今日は降水確率100%だったが、出掛ける時は少し青空が見えていたし、帰りも地面が大して濡れてない。ほんまに100%か？と思ったが、車は濡れてた。降ったのかな、やはり。で住処に着いて30分くらいボーっとして、ちょっと表に出ると結構降ってた。金曜日まで毎日雨、というのは本当らしい。が、用事が済むと止んでた。何なんだか。まあ降ったから高すり確率が高いのは嘘じゃなかったんだな。

帰ってきてテレビを付けたら、厳島神社でロケをしている映像が流れてた。厳島神社行ったな。広島大学で学会があった時に。路面電車で港まで行って、そこからフェリーで渡る。でそこで偶然にもM林さんに会って、一緒に宮島を散策した。途中休憩に入った店に小関先生（M林さんの当時の同僚の大先生）がいてビックリしたな。帰りは潮が引いていたので、鳥居の真下を歩いた。小早川隆景が陶軍に味方に来た九州の大名だと嘘を言って、鳥居の真下を船で通ったという逸話を思い出して、ちょっと英雄に成った気分を味わえて楽しかった。また行きたいな。

明日は月2回の資源ゴミの日だった。ゴミ出ししている時は雨が止んでて欲しいが。今回は曜日の巡りがいいので、次の資源ゴミは2週間後だが、3週間空くこともある。そうすると段ボールが大量に出ている。まあ今晩は少ないだろうな。ゴミ捨て場は各自の部屋で開けられるので、閉めておけば晩のうちに出せるのは有難い。前住んでた所は京都市がゴミを収集していなかったので、365日24時間いつでも出せた。しかも京都市の有料のゴミ袋を買わないでよかったし。まあ今の住処の方が冬は床暖房だ風呂暖房だとあるのでよっぽどいいが。さ、やるか。

酷い試合だったが、昨日とは違う意味で盛り上がったろう

最近はすっかりワインづいてる。あんなもん渋いだけじゃんか、と前は思っていたが、段々分かってきた。酒じゃないが、コーヒーも苦いだけだという印象だったが、今ではブラックで飲んでも甘いと思うことがあるからね。まあピーマンは未だに苦くて食えないが。でろくに寝てないのに、元気に呑み続けてきた。楽しかった。卒業アルバムを見ても店長はすぐに顔が分かるくらい変わっていなかった。何で店に卒業アルバムがあるのか、と思ったら、時々同級生がお客さんで来るらしく、その時に色々盛り上がるのに使えるのだとか。成程。高校の卒業アルバムは実家を取り壊す前に見付けることが出来なかった。勿体ないことをしたな。中学の時のはあったが、中学の同窓会は多分無いだろうから、いいんだけど。親父殿が死んだら部屋にある諸々は処分するだろうから、大事な物はキープしておかないと。

で帰ってきて少し経ったらダウンした。例によってテレビを付けっ放しだった。で2時過ぎに野球の音声が聞こえてきた。Tigers vs. Hawks だが。いつもの通り中々起きられない。音声がゴルフに変わったので、Baystars vs.  Marines を見るために起きた。でチャンネルを合わせると、Marines の得点が10。え？と思ったら何と Baystars の得点は9。何て試合をしてるんだ。バウアーは1回に3ランホームランなどで5失点。2回も失点し、途中で降板と最悪だった。1回表終了で0－5と最悪の展開だったが、すぐ裏に3点取り返したがその後も点を取られ、3－10までになったようだが、そこから筒香のホームランなどで1点差にしたらしい。が、そんな凄い試合も見始めたら別の試合のようになり、Baystars は颯、伊勢、ウィックが好投。ウィックは8回、9回と投げたが、8回は三者連続三球三振と凄いものを見せてくれた。9回も三者凡退に打ち取った。Baystars の攻撃は8回は1番から、9回は4番からだったが、あっさり打ち取られてゲームセット。6回から無安打だったらしい。まあ仕方ない。よく追い上げました。昨日とは違う意味で現地は盛り上がったろう。交流戦は4つの負け越しとよくなかった。でここ2週間の成績は3勝9敗。が、Tigers とのゲーム差は3.5と開いていない。交流戦のセ・リーグのトップは Carp で9勝9敗。Carp が今日負けてたらセ・リーグは全チーム負け越しと酷い結果に成る所だったが、まあよかった。交流戦優勝は Hawks。開幕5連敗スタートも交流戦の勝ち越しは7で、パ・リーグ3位に浮上した。やはり力のあるチームは違うな。

今日は東京で選挙があったようで、7時からのNHKのニュースは短縮バージョン。大河ドラマが7時15分からで、その後また選挙の番組。「サンデースポーツ」も10時半までの短縮バージョンで、その後また選挙の番組。海外ドラマの放送が今日は無いと先週テロップが出てたな。まあ大事なことだからね。自民党は大惨敗するでしょうか？

大貫101球完封勝利で、2度目のマダックスを逃す（完封勝利は2度目）

結局またほぼ寝てない。一日おきに無茶苦茶寝ては寝ないを交互にやってる。いけないな。何をしていたかと言うと、また下らん計算をしたりとか。昨日の「座王」も見た。竹上アナが大暴れ。99勝してから10連敗くらいで、先に100敗してしまった武将様ことミサイルマン岩部が竹上アナの代わりにアシスタントをやらされて、1勝出来ない岩部を嘲笑うかのごとく勝ちを重ねた。結末は書かないよ。見なかった人は是非 TVer で見てくだされ。「座王」を一度も見たことない人も是非。

11時過ぎに近所で用事があったが、ちょっとだけ寝て、気付くと佐々木蔵之介の声が聞こえてきた。いかん、11時や。急いで出掛ける。暑さはそうでもないか？と思ったのは一瞬だけであっと言う間に暑くなってきた。用事を済ませたら大抵なか卯で親子丼なのだが、なか卯まで戻るのが嫌で、松屋で済ませてきた。南草津の松屋と松のやの併設してる店によく行くが、大抵松のやメニューなので、松屋メニューは久々。いや、鰻だから別に松屋である必要はないんだが。そこから住処まで10分弱だが、嫌に成ってきた。部屋に入って急いで冷房を付けて、2時に野球が始まるのでちょっと仮眠。

のつもりが、目が覚めたのは3時近く。いかん。テレビを付けると、2回裏に3点取っていた。何と牧、筒香、戸柱の3者連続ソロホームランとか。うー、見たかった。現地は大興奮だったろうな。その後再び牧がソロホームランを打ち4－0。このまま終わっても面白かったが、度会にタイムリー2ベースヒットが飛び出して5－0。先発は大貫だが、今日は物凄くいい。8回終了時点で92球無失点。完封は前に一度やってると言ってたが、覚えてるぞ。その時はマダックス（100球未満での完封勝利）だった。今日もいけるぞ、と思って、2アウト。99球目の投球がピッチャー返しの当たりで、グローブを出すも捕球出来ず。内野安打。残念。それでも次の打者を2球で打ち取り、101球で完封勝利。前の完封勝利の日付を言っていたので、ブログをチェック。するとその時は、あと2勝すればハマスタで CS が出来る、と言う状況でのマダックスだったようだ。残念ながら最後の試合で東が Giants 相手に0－1で負けて、ハマスタ開催ならずだったようだ。先週は牧秀悟ならぬ負け週5だったが、今週は2勝出来た。よかった。明日勝って週5割にしましょう。明日勝てば交流戦8勝10敗。バウアーがやってくれると信じる。今日は残念ながらセ・リーグが中日以外勝ち。まあいいです。

さて、暑い中歩いたので、大分気持ち悪い。もう冷房の効いた部屋で十分落ち着いたが、シャワーくらい浴びて呑みに行く。最近 Baystars も Tigers も調子が悪かったが、今日は勝ったので楽しく呑めるでしょう。寝不足だが、案外呑んでて眠く成らない。今日も大丈夫だろう。ということで行く。

今年の交流戦は負け越し決定

流石に寝不足の翌日はよく寝られる。2度ほど目は覚めたが、結局何だかんだと11時過ぎまで寝てた。ですぐ出掛ければいいのだが、暑さが恐くて動けない。現実逃避に TeX ファイルをいじってたりしたら12時近くに成ってしまったので、観念して出掛ける。

弁当は2店舗のだけ売れ残っていた。いつもの唐揚げ弁当が大量に残ってたが、何故こんなに人気が無いかな？やはりご飯、唐揚げ、沢庵ちょっと、とおかずのバラエティーが乏しいからだろうか？早く行くとメンチカツ（関西ではミンチカツと言うのか？）と唐揚げの弁当があるが、今日は唐揚げだけ乗ったやつしか無かった。やはりおかずの種類が多い方がいいということだろうか？

今日は「代数学I」。Q 上の多項式の既約性について話してきた。まず2次と3次は根の有無で分かる、そして根の見付け方は知ってるよね？と言いつつ証明したが。で Q 上の話は完全に Z 上の話で済むことをチマチマと示して、X⁴＋1 が Q 上既約なことを示してから、アイゼンシュタインの定理。適用出来そうにない多項式でもちょっと変数変換するとうまくいく場合があるのを見せておいた。特に素数次の円分多項式とか。で Z[X] が U.F.D. であることを示そうと始めるが、U.F.D. であることをちょっと言い換えないということでやっていたが、時間に成ってしまった。まあいいでしょう。

しかし暑いな。個研室に戻って暫く何もする気が湧かなかった。喉を潤しながら大貧民をしばし。そんなこんなで大分マシに成ってきたので、講義の後始末を少々。レポート問題を上げた筈だが、学生が上がってないと言っていたので見る。すると、一回やり直したので、公開にしものがまた非公開になっていたためらしい。急いで公開になおして、それから誰も解かない演習問題を上げたり。FTP に使ってるソフトが色々不便だと思っていたら、やはりそれくらいのことは出来るよねという感じで、やり方が分かったことがあってよかった。それからちょっと線形代数。来週やる所で tr(AB)＝tr(BA) を使う必要があるが、大抵の本ではこれは A,B が同じサイズの正方行列と仮定している。が実は A が m×n 行列で B が n×m 行列だったら m≠n でも正しい。前に TeX 化したと思ったがしてなかった。で書き始めたら何かゴチャゴチャしてうまくいかない。三宅敏恒「線形代数の演習」という本に書いてあったのを思い出して引っ張り出してくる。すると Σ を使わずに解答してある。気に食わないね、ということでやってみると、今度はうまくいった。TeX 化しておいて、とかやってるうちに4時半近く。4時40分からゼミなので、一旦終わりにして、飲み物を買いに行って、ゼミスタート。

今日は判別式の計算を沢山。2次体はよく知ってる。純3次体は整数基をもう決定したので、計算だけ。その後色々計算。判別式の仮因子があるのは何の本を見てもデデキントの例が出ている。随分前に一つ新しい例を見付けたが、メモ紙を失くしてしまったので、もう一度考えないと思ってそのままにしてある。まあそのうちやります。それと児島君（一部で有名）がデデキントのを含むものを見付けたとこちらも随分前に聞いたが、その時にちゃんと聞いておけばよかったな。彼は多分もう数学をしてないだろうから、聞こうにも聞けない。勿体なかった。でその後仮因子は無いけど 1,θ,…,θ^n－1 の形の整基底（power basis と言うのかな？）を持たない例もあるということが出ていた。面白かった。昨日同様ゼミ室はかなり暑かったが、面白かったのでまあ我慢出来た。その上早目に終わってくれたのでよかった。

その後個研室で線形代数の続きをしたり代数の続きをしたり。もうレポートの出題とか色々面倒なことは済んでるし、講義は残り数回だし、ということで気楽に成ってきた。これで Baystars が勝ってくれると言うこと無しなんだが、今日はケイが珍しく序盤に崩れた。クォリティースタートじゃなかったのは今シーズン2回目のようだ。今日の負けで今年の交流戦は負け越し決定。残念。帰ってきて「報道ステーション」を見てたら、Tigers がお付き合いしてくれたという情報が。助かった。今日はセ・リーグは5敗。Hawks が交流戦優勝マジック1らしい。優勝の可能性があるのは他に Fighters とMarines。まあ今年はパ・リーグにやりたい放題やられたな。仕方ない。せめて明日、明後日は勝ってくだされ。

Hawks のモイネロが今日も奪三振ショーで、交流戦の奪三振数が今までで最多に成ったらしい。日本では中継ぎでスタートしたが、最初から先発やらしてたらどんな活躍を見せたろうか。ちょっと勿体なかったね。

今晩の「座王」は楽しみ。いつも笑ってるだけで何もしてない竹上萌奈アナが何と回答者として参戦とか。笑ってるだけ、と書いたが、女子アナをいじるネタが出た時には千原ジュニアにフリップとペンを渡されて、書いたものが結構毒舌で思いっ切り女子アナをディスってる（今時の言葉を使ってみた）。これが結構面白い。スタジオでも爆笑が起こる。この前何とお笑いライブのようなことをやったらしいし。面白いだろうな。いつもより放送時間が5分長いらしい。Blu-ray に残しておくためにケーブルテレビのチューナーに録画してあるが、この方法だと最後5秒くらい切れてしまうので、テレビに繋いだハードディスクにも録画してある。両方見よう。見られない地方の方は Tver で是非。「座王」面白いよ。

暑い話はもうやめようと思ったが、少しだけ。今日の京都市は35.8度までいったらしく、6月に3日連続猛暑日は異例なこと。一番暑かったのは豊岡で、37度を超えたとか。明日は出掛けないようにしようと思ったが、昼前に近所で用事があるのを思い出した。嫌だな。まあ仕方ない。今晩は呑まずにちゃんと寝よう。

ゼミ室の冷房の効きが悪く、廊下の方が涼しい

今週は月曜から火曜に掛けて呑まなかったので、昨日から今日に掛けて呑んでしまった。木曜日は4時40分までに職場に行けばいいという、何やら妙なスケジュールなので。で起きたらもう2時近く。それでも暑さのせいなのか何なのか眠りが浅く、眠かったカフェインを注入して、4時近くに職場へ向かう。

閉店間近の生協でボールペンの替え芯を買って、一旦個研室でゆったりしてからゼミ室へ。冷房の電源はオンに成ってるようだが、暑いぞ。多分旧式の空調施設が使われているのだろう。全然涼しくない。まあ我慢する。今日から合同式。前から気に成ってるが、a≡b (mod m) ⇒ aⁿ≡bⁿ (mod m) が全ての n∈N に対して成り立つ、というのの定着度は案外高くない。a≡b (mod m)、c≡d (mod m) ⇒ ac≡bd (mod m) はやってるんだが。今日も a² を 7 で割った余りが何のとやってる時に、a＝7k, 7k±1, 7k±2, 7k±3 と置いて、とか始める。これ、この春に大学院を修了した学生も修論でやってた。「整数論やってて合同式を使うことを思い付かないとはお寒い限り」と添削した時に書いてしまったが、まあ言われても仕方ないよね、と思っていた。そう言えば随分前に教員採用試験の問題を持って質問に来た学生もこれが分かってなかった。だから次の年から講義で explicit にその旨書くことにした。f(X)∈Z[X], a≡b (mod m) ⇒ f(a)≡f(b) (mod m) は常識にしたいが。その後 SL₂(Z) の元であれこれやる所で、「ケーリー・ハミルトンの定理より」と書いてある所があって、毎年ここで引っ掛かっている。今日の学生はしれっと通り過ぎようとしたので、突っ込んだらケーリー・ハミルトンの定理を使わないで解決していた。まあそりゃケーリー・ハミルトンの定理の2次行列の場合ってただの計算で示せるからね。一応念のため教えておいた。で1時間半も掛からず終了。折角行ったのだが、ゼミ室が暑いのでいいです。廊下に出た方が涼しかった。

ゼミ中に出ていた計算問題やら演習問題やらをメモっておいたので、個研室でちょっと考えたり TeX 化したり。いつものように野球をチラチラ気にしながら。寝不足だからなのか、超絶易しい問題が分からず、苦労した。やはりちゃんと寝ないと駄目だな。明日は講義の後、今日に比べると大分難しい内容のゼミをやるので、早目に寝よう。「アメトーーク！」があまり面白そうもないしな。早寝するか。

今日の京都は36度まで行ったらしい。夕刻に住処を出る前のニュースでやっていて、ウゲ、と思ったが、明日は37度らしい。大津は35度だと言ってたから、まあ草津もそれくらいか。講義室の冷房はゼミ室のよりは効きがいいと思ったが、どうだろうか。暑過ぎると効かないかな。とにかく飲み物を持っていって、飲み飲み講義をしないとぶっ倒れてしまうかもしれない。幸いというのも変だが、受講生は多くないので、聴衆の熱気で暑いということはない。明日終われば講義期間は残り3週。もう少し耐えればいいので、頑張る。

野球だが、久し振りに Baystars が負けて Tigers が勝つという展開に成ってしまい、3.5ゲーム差に成ってしまった。まあまだオールスター前だし、大丈夫でしょう。Tigers が直近3勝7敗なのにゲーム差はあまり開いてないのは救い。まあただ、交流戦は残り全部勝っても9勝9敗。今年はよくなかったな。明日から今シーズン低調な Marines。交流戦はここまで5割とよくはない。何とかしましょう。

Fighters の北山が7回途中まで走者を一人も出さない投球をしていて、7回2アウトからの走者は四球だったので、9回1死までノーヒットノーラン。お！と思ってニュースを見ていたが、大城にホームランを打たれてしまったようだ。残念。まあ1安打1失点はお見事だ。今年の Fighters は強いぞ。パ・リーグ首位で、交流戦でも2位タイ。いよいよ新庄野球が身を結ぶか？

1週間振りの勝利もセ・リーグが5勝してゲーム差は大して変わらず

今朝（いつもの通り朝ではない）も遅く起きて、急いで出掛けた。職場に着いたのはもう12時45分を過ぎていたが、弁当は幾つか残っていた。唐揚げ弁当の店は大量に残っていて、いつものお兄ちゃんが寂しそうにしていたが、申し訳ないが中華弁当にした。で個研室で急いで食べて、1時5分くらいに個研室を出て講義室へ。駐車場から個研室へ行くのも、個研室から講義室へ向かうのも、暑くて嫌になる。まあ仕方ない。

今日の線形代数の講義は内積や外積を使って平行四辺形や平行六面体の面積、体積を求められるとかそういう話。テキストには書いてないが、行列で写すと図形の面積、体積が行列式の絶対値倍されるとかちゃんと話した。残り3回で対角化が何だとかケーリー・ハミルトンの定理が何だとか話すが、ちょっと余りそうだ。どうしよう？まあボチボチ作戦を練りますわ。余計な話ならいくらでも出来る。今日の分も準備段階では1回掛からず終わってしまうと思ったが、何とか成ったし、まあ大丈夫でしょう。講義後留学生が質問に来た。外積の覚え方を言う時に「行列式のような式」とか「形式的に行列式の定義式を用いて計算」の意味が分からなかったようだ。まあ「形式的に」とか言う言葉は慣れてれば何てことないが、初めてだとね。彼はよく質問に来るんだが、物凄く小さい文字で隙間なく書いてる。色も使い分けているが、あんな速い講義でどうやってるんだろうか？学生はよく大学ノートなりルーズリーフなりの真ん中に線を引いて、左半分にごちゃーっと書いて一番下まで行ったら右半分にごちゃーっと書くというのをやるが、あれはお勧めできない。時々狂ったように横長な式を書くこともあるし、解析系の講義だと式を書くだけで普通に一行使っちゃうからね。まあいいけど。

で個研室に戻って、急いで冷房の電源を入れて、しばしボーっとする。暑くてやってられない。個研室の固定電話を見ると着信のランプが点滅している。よくあるセールスの電話かと思ったら、学内の某事務から。ちょっと聞きたいことがあるとのこと。少し経ったら掛かってきた。何やら小生が入力間違いをしていたようで、正しい方を教えて終了。で大分涼しくなってきて疲れもとれたので、来週の線形代数の作戦練り。「相似」という言葉についてあまり文量を使わずに解説してあるので、色々話そうということで、徒手空拳でどれくらい出来るかちょっと見せた方がよかろうということで準備。それと用意しておいた固有値・固有ベクトルの例だが、固有値が全部正で、それはいらぬ誤解を招くだろうということで、固有値が正、負両方同時に出てくる行列を探したりとか、0が固有値に成る行列（正則でないことと同値なので、例を作るのは簡単）などを見繕って、計算ミスが無いかどうか点検したり。まあこれでよかろう、と。それから対角化可能について少し。こちらも出来ないことを徒手空拳で示せる例を用意したり。まあジョルダン標準形が対角行列に成らない2次行列の例くらいすぐに出来る。\begin{pmatrix} 1 & 1 \\ 0 & 1 \end{pmatrix} とか。で対角化可能かどうかを固有空間の次元を持ち出さないで判定する方法を言わないといけないので、ちょっと考えたり。計算は難しくないが、事実をクリティカルに判定出来る例というのは中々難しい。前に時間がある時に色々計算したのが役に立った。で何だかんだと9時過ぎまで。

6時を過ぎてるのを気付かず線形代数をやっていた。途中見ると1－0とリードしていた。で暫くして見ると1－2。ひっくり返されてる…。今日は勝たないとまずかろう。でまた暫くして見たら3－2と逆転してる。おっ！帰ろうと思って見たら、4－2。祐大が犠牲フライを打った。最後は入江が抑えて1週間振りの勝利。今日はセ・リーグが5勝なので、またゲーム差は大して変わらず。Tigers は連敗7でストップ。Carp は Hawks 相手に逆転勝ち。5回表終了時に4点負けていたが、5回から7回の3イニングで8点取ったようだ。日曜日は6回に1イニングで6点取って7－0とリードした試合を6回に1点、8回に4点、9回に2点、10回に1点と、信じられない負けをしたのを払拭出来たろうか。さあ明日はどうなるでしょう？

明日も暑いようだ。4時40分からのゼミだけが用事なので、ギリギリに着くようにしようかな。暑さは程々に成っているだろうし、ウェストウィングの近くに停められるから、暑い中を長距離歩かなくて済む。飲み食いするものが無いので、後で買ってこよう。まあ昼よりマシだが、まだ十分暑いけど。風呂入って洗濯機回してとしようかな。

今日はセは5敗1分で、6球団全部交流戦の勝利は5割未満に

今日は1時からオンラインで面談の予定で、そのため昨晩のうちに髭を剃って早く寝て、シャワーを浴びて臨む、のつもりだったが、またつまらんことに時間を使ってしまい、寝たのは結構遅かった。でアラームは何回も鳴るように仕掛けておいたが、起きられず、最終的に目が覚めて時計を見たら1時。ぎゃ！幸い電波をキャッチしてくれない電波時計は1分ばかり進んでいて、ギリギリ1時前に Zoom を起動出来た。で色々手続き上の相談事など。20分ばかり話して、後日出来上がったら見せてもらうよう約束して終了。

はま寿司の CM によると、今大トロ100円フェアをやってるので、向かう。山科のはま寿司は店舗が2階で、1階部分が駐車場に成ってる。店の真下は日陰に成るので人気が高い。この時期に食事を済ませて出てくると、日向に停めてたら車に乗った時たまらんからね。で小生の前に1台停めて、もう日陰には停められないか、と思ったら1台分空いてた。よかった。でまず大トロ。炙りノドグロもあったので、それも頼む。大粒ホタテとかも100円で提供してくれて、満足。でガンガン食べて、もうちょっと食べよう、というところで閃いた。大トロとノドグロをもう一度頼もう、と言うことにして食べて、いつもより安く1700円台。満足した。で日陰に停めてあったのですぐ乗れて、右折で店を出られるか？という感じで車列が切れていたが、道路ギリギリまで来たら右から車が何台か来てしまい、仕方ないのでいつもの通り左折。区役所前の交差点を右折して新十条通を経由して、清水焼団地、国道1号と走り、BookOff の交差点を左折して、五条別の交差点に出て右折。この方法だと左折でマンションの敷地に入れていい。

でちょっと眠いので横に成って、4時50分から教授会。数分前に Zoom を起動して備える。今日の教授会は短く、10分ちょっとで終わってしまった。形式的な報告がほぼ全て。前はこれだけのために職場に行っていたが、オンラインでやってくれると行かなくて済んでありがたい。前はコアステーション2階の大会議室でやっていたが、駐車場からウェストウィング経由でと成ると中々遠い。暑い中外出しないで済んでよかった。今日の京都市は猛暑日一歩手前の34.8度までいったとか。明日は京都市も大津市も35度越えらしい。講義やりたくないな。

6時から野球。今日はバウアーだしやってくれる、と信じるが、Lions の今井が凄過ぎた。Baystars のヒットは牧の2本のみ。今井は17奪三振と、松坂大輔を越えるチーム記録とか。バウアーは4回無死2、3塁のピンチは犠牲フライの1失点のみに凌いでいたが、9回に2失点。むぅ。まあ今日もセ・リーグが悲惨でよかった。最下位の Swallows が引き分けたのが最良の結果で、5敗1分。Tigers は7連敗。それでもまだ貯金が7ある。どんだけ勝ってたんだか。Baystars もまだ貯金は2ある。2位だし。3位 Carp が5割で、他3チームは借金持ち。前に交流戦明けの少し後に、セ・リーグは全チーム借金持ち（5割にすら届いていない）に成ったことがあった。さっき Facebook で仕入れた情報によると、中畑が Baystars の監督やってる時に交流戦前は首位だったが、交流戦で大負けして借金持ちに成り、最後は最下位に終わった年のことらしい。今年もありうるな。優勝チームが勝率5割未満とかだったらどうしよう？日本シリーズ出場チームの最低勝率は去年の Bastars の .507 らしい。CS が無かったらこんな成績では日本シリーズに出場出来ないからね。あ、といことは日本一（と小生は言わないで「日本シリーズ制覇」と言ってるが）のチームの最低勝率だな。今の貯金が2だ。去年の最後と同じだな。しかしよく負けるなと思ったら、先週の成績を「牧秀悟ならぬ負け週5」と言ってる人がいた。そりゃよく負けてるわけだ。Tigers は7連敗ということは8日くらい勝ってないのかな。長く感じるだろうに。Marines の18連敗が日本記録だが、18連敗ってことは丸々3週間くらい勝ってなかったのだろうな。17連敗で止まるかというところでジョニー黒木打たれて、泣いてたのを思い出す。明日は Baystars だけ勝ってくれ。ジャクソンだ。やってくれる。

今見たら、交流戦の順位でセ・リーグの1番上は Carp と Dragons の6勝7敗。悲惨だ。明日はどうなるでしょう？明日は学科会議が無いから、講義後すぐ帰ってこられるが、暑い車に乗るの嫌だから日が落ちるまでは職場にいよう。7時でも車の中は十分暑いだろうから、結局8時過ぎに成ってしまい、ちょっと数学に興が乗ってくると9時過ぎに成ってしまう。で結局野球を見ないというパターンに成る。まあ見られても見られなくてもいいです。勝ってください。

あ、大谷が1イニングだけだが投手をやったそうだ。7月に復帰予定と言っていたが、早まったようだ。1イニングしか投げられないならまだ先延ばしした方がよかないか、とは思うが、Live BP で投げて休養してまた Live BP で投げてよりはよいという判断らしいが。やはりやるなら完全復活した姿がいい。来年の WBC また世界一を狙えるくらいの圧倒的な姿を見たいので、無理はしないでくだされ。

早くも猛暑到来で、初の半袖出勤

昨晩もなんやかやと結構遅くまで起きてた。で今朝12時くらいまで起きられなかった。「今朝」ではないか。まあまあ。で急いで出掛ける。今日は急に暑く成ったので、今シーズン初の半袖。暑過ぎて外で食事しようと思う人が少ないのか、弁当はたっぷり残ってた。２週間くらい前は丁度いい陽気で天気が良かったこともあり、弁当は売り切れごめんだったが。唐揚げとメンチカツの弁当を買って、個研室で食して。

1時10分からゼミ。今日も共役差積の話。先週は相対代数体の共役差積を定義したが、今日は元の共役差積を定義。それで拡大の共役差積が元の共役差積全ての最大公約イデアルに成っていることを証明。結構大変だった。途中の補題を使ったら、Q の円分拡大の共役差積が簡単に計算出来るということが分かった。大体二次体とかガロア拡大しか扱わないので、研究で共役差積そのものをいじったことは正直無かったので、大分勉強に成った。来週は相対判別式。Root discriminat の話でもしてやろうか？藤崎先生の本は余計なことが書いてない本なので、ゼミで使うにはむしろ楽だ。色々細かいことも書いてあるし。円分体くらいまでは読んでもらおうかな。その後類体論の勉強が出来ると嬉しいが。4時ちょいに終了。

それから締め切りが近いものをちょっと片付けるべく、頑張る。まあ大体固まってるし、これでどうだ、と思ったり、もう少し基本的なものに変えようか？と思ったり。まあ大丈夫かな、と6時過ぎに事務に提出した。事務に提出した、と書くと持っていったようだが、今はオンラインで提出出来る。流石にメール添付という恐ろしいことはやらせてくれない。ちゃんと所定の秘密の場所へ提出、というもの。昔は事務から台紙が送られてきて、プリントアウトして鋏で切って糊で貼って、と色々面倒だったがな。この前ちょっと個研室を漁ってたら、昔の物が出てきた。二つ同時に提出しているが、使わなかった方は返してくれる。探せばもっと出てくるだろうな。8年くらいで部屋を引き払わないといけなくなるので、適宜片付けて、置いてくる本と引き取る本の峻別をしたりしないと。

まあ大体済んだし、いいや、と7時くらいに個研室を後にした。もう日は暮れているが、暑いぞ。車のドアを開けた時はむわっときた。冷房はオートに設定してあるが、物凄い風量だった。外気温はまだ31度あった。こんなのが2週間くらい続くようなことを言ってる。嫌だ嫌だ。明日は幸い職場に行く必要が無いのでいいが、明後日は講義だ。1時10分からだから、気温がガンガン上がってくる頃に職場に向かい、一番暑い頃が講義中。勿論講義室は冷房があるが、1994年の BKC 開設の時に出来た建物群は冷房の性能が poor で困る。外よりはマシとはいえ、暑いのだ。うちは教室に時計が無いが、定期試験の時は小さい電波時計が試験グッズに入ってる。でそれに湿度も表示されるんだが、数年前に見たら室温は26度くらいだったが湿度が75%を越えていて、ギョっとしたのを覚えている。熱中症警戒アラートが出るか否かの判定条件である暑さ指数というやつは、やはり湿度が高いのが数値の高くなる原因だと言ってた。暫くこんなのが続くのは勘弁して欲しい。

でちょっと銀行に行って金を卸して、セブンイレブンで Suica やら PayPay やらチャージして、なか卯で食事をして、ちょっと遠回りしてチェリオの自動販売機で100円ドリンクを買って、とかやってたら暑くて嫌に成った。「報道ステーション」によると、東京は夜10時で27度を超えてるとか。平年のこの時期のその時間は20度くらいだと言ってた。京都は今晩熱帯夜に成るらしい。冷房は必須だな。

またしてもセ・リーグ全敗で、いつの間にかパが上位独占

昨晩は男二人で呑むことに成った。いつもの女性が来ないため。でそうすると歯止めが利かなくなるというか、品の無い話が多かった。小生は理工学部出身で、今勤めているのも理工学部。学科に女性スタッフがいたことはあまり無いので、男だけだと気楽だ。でいつもよりはちょっと早目に終了に成った。酒の量も少なく、散財もいつもより少なかった。お金の準備はしていったがな。楽しかった。

で今日はいつもより二日酔いの程度が軽かった。お陰で試合開始から見られた。あ、今日はデーゲーム。石田裕太郎はこの前と似たパターンで、3回までノーヒットに抑えていたが、初ヒットを打たれた後すぐに先制2ランホームランを打たれた。見ない方がいいことがあるというジンクスを信じて、寝床に行くといいことが。牧が満塁から同点タイムリーヒット。8回には松尾がタイムリーヒットで逆転。が、やはりついてない。秋広に同点タイムリーヒットを打たれ、栗原に犠牲フライを勝ち越される。ここまでシーズンの失点が1だったウィックが2失点で負け投手。まあやはり宮城が満塁にしてしまい、伊勢が出て、ウィックがイニングまたぎと、ちょっと無理だったな。幸い今日はセ・リーグは全部負けた。助かった。

昨日ふなごやで呑みながら Buffaloes vs. Giants の様子を見ていたが、サヨナラ押し出し四球で負けて嬉しかった。今日は戸郷が打ち込まれたようで、Buffaloes とは去年も3連敗、今年も3連敗。Tigers にいたっては Eagles に7連敗らしい。2カード連続3タテを食らったようだが、佐藤輝明がホームラン性の当たりを確信歩きしてシングルヒットにしか成らないというシーンがあったようで、解説の岡田はんは溜息をついたらしい。チームがたるんでる証拠だな。でいつの間にか交流戦の順位は上位6チームがパ、下位6チームがセと綺麗に色分けされてしまった。出だしはセ・リーグの方がよかったが。火曜日からの6試合で交流戦は終わり。ずっとセの本拠地でやるようなので、盛り返してくれる。あ、Baystars だけ盛り返してください。去年の交流戦は7連勝で締めたようだし、今年も6連勝で終わりましょう。そうすれば11勝7敗に成る。一昨年交流戦で優勝した時と同じ数字。期待しましょう。

大貫は好投報われず4敗目

昨日の最後に書いたことをどうにかしようと頑張った。商の微分を避けるために示したいのに、ある等式の証明に商の微分を使ってしまうというジレンマに陥る。どないしよ？という感じで、結局出来た所まで TeX 化して、適当に寝た。もう十分変な時間だった。

野球はナイターだし、タップリ寝られる、と思ったら、1時過ぎに何やら呼び鈴が。書留だか何かが届いたようだ。受け取ってもう一度寝た。

で起きたら5時過ぎ。相変わらず訳が分からない生活をしている。深夜にカップヌードル（今時は「カプヌ」と言うらしい）のカレー味を食べただけだったので、買っておいたカップ焼きそばを食べて、野球観戦開始。初回に1アウト満塁のチャンスを作り打者は宮崎。が併殺打。1塁はセーフの判定だったが、スロービデオを見るとアウトだな、と思ったら案の定。宮崎は足が速くなくて打球は速いから併殺打が多いのは仕方ない。その後チャンスを潰しまくってる間に秋広にソロホームランを打たれ、今宮が空振りした時に腰だか脇腹だかを痛めて打席途中で交代。で出てきた川瀬にタイムリーヒットを打たれてしまう。むぅ。川瀬は「晃」という名前だが、「ひかる」と読ませるそうだ。難しい。中村晃は「あきら」だしな。この前の Fighters 戦では見てると点を取られ見てないと点を取りサヨナラ勝ち、ということがあったので、風呂に入ることにして、一旦野球は中断。風呂から出て見ると、逆のことが起きて、Hawks が4点リードに変わっていた。むぅ。折角 Tigers がサヨナラ負けしたのに。Carp も負けたのに。Giants は延長戦に突入したようだ。負けてくれよ。

昨晩は数学を考えただけでなく、使わなくなったパソコンを処分に出そうと思い、それを出すために結構部屋の中を引っ掻き回した。すると、随分前に祇園のバーで山科の夜の街で知り合ったやつが働いている所に行った時に貰ったライターが出てきた。煙草を吸う知り合いがいるので、呑みに行く時に持っていこう、ということにした。火は点いたし。考えてみればガスコンロを何年も使ってないし、部屋で火を起こしたのは凄く久し振りだ。親父殿は怖いから火を使わなかったし、小生もそうしようと思っている。森毅という著名な数学者がいたが、森先生は確かお湯を足にこぼして大火傷をし、それで入院して歩けなくなり、歩けなくなると陥るパターンの痴呆症に成り、寂しい最期だったようだ。火とかお湯とか気を付けないと。お湯は湯沸かしポットを使って作っているが、ポットの周りが滅茶苦茶散らかってるから、カップ麺なりお茶なりコーヒーなりにお湯を入れた後、所定の位置に持っていくまでいつもビクビクしている。部屋を片さないといけないのは分かってるんだが。

などと書いてるうちに Baystars が負けた。ナイターだと呑みに行くのが遅くなると思っていたが、9時前に終わってしまった。昨日もそうだったな。大貫は6回を被安打2で2失点（自責点1）とよかったのだが。これで1勝4敗。投手の勝ち星、負け星は必ずしも内容を反映したものに成ってないからね。大貫は悪くないんだが。まあ仕方ない。呑みに行きますわ。今日は Tigers も負けてるから、自棄酒気味かな。

君も Fq の罠に嵌まったか

昨晩は眠かったから程々に寝る、というつもりでいたんだが、前にやってたドラマの再放送が遅くに始まって、見てしまい、で寝ようと思ったのだが、前に証明出来たと思っていたことに致命的な間違いが見付かってしまい焦る。寝ないと、と思ったんだが、つい。でちゃんと深く寝入ってしまうと大変だから、仮眠に毛の生えた程度の睡眠でいいや、とテレビを付けっ放しにして寝た。が、ケーブルテレビのチューナーの電源は一定時間経つとオフに成ってしまう。結構寝てしまった。目が覚めたら12時半過ぎ。ぎゃ！もう何か考える余裕が無く、とにかく出掛けた。いつもより車もスピードを出して走らせた。勿論何事も程度の問題で、危険ではないくらいに抑えたが。ついてるのは車が地下に引っ込まずに地上にいたので、すぐ出発出来て、駐車場も割といい所に停められて、講義室には2分くらい遅れた程度で済んだ。まあいいです。

今日はまず U.F.D. だと最大公約元が既約元分解を見れば分かるという、子供の頃習ったようなことを示して、それからユークリッド整域では互除法で g.c.d. が求められるとか、体上の多項式は体を上げても g.c.d. が変わらない（勿論単元倍の差はあるので、「変わらない」はちょっと不適切とは思うが、面倒なので）など。それから整域上だと多項式の根の個数は高々次数以下とか、無限整域だと多項式が0なことと多項式関数として0なのが同値とか。で Wilson の定理を示したあたりで時間に成った。Wilson の定理を使うと、素因数を一個も見付けないのに非素数判定が出来るとか話そうと思ったが、時間切れ。もう一つ忘れていたのが、整域上だと多項式の根が次数以下、という主張でよく間違えてる人がいるのが、n 重解を n 個の根とカウントしないで個数が次数以下、とやっているもの。ちゃんと (X－a₁)(X－a₂)…(X－a_k)G(X), a₁,…,a_k∈R, G(X)∈R[X] は R の中に根を持たない、という形に unique に書けることを示さないと。大分終わりが近付いてきた。講義は残り4回。まあいい感じでしょう。

お分かりの通り飯を食ってないので、生協に買いに行く。途中のキッチンカーで買おうかと思ったが、「売り切れごめん」の紙がべたべた貼ってあって、唐揚げは売ってるが米が無いというよくあるパターンか、と思ったので、生協で買う。で3時くらいに電話があることに成っているが、個研室へ戻ったら留守録のランプが点灯している。メッセージを聞くともう一回掛けると言ってたので、食事をしながら待つ。食べ終わってちょっとしたら電話。要件を話してから生協の本屋へ買い物。何かまた沢山買ってしまった。本を読みのは大変なので、たまる一方。まあいいです。でその後ゴソゴソとつまらんことをやってるうちにゼミの時間が近付いてきた。

今日は楕円曲線の番。等分点の体をちょっとやってから、合同数と関連する楕円曲線の有限位数の点の群の話。でその過程で怪しいことが始まった。q が素数の冪で q≡3 (mod 4) の時、F_q では －1 は平方元でないということの証明だが、mod q が何だとかやりだして、それを mod p にして、第一補充法則がなんだとか。例の罠に嵌まったか、と思って聞くと、案の定 F_q と Z/qZ を混同している。この間違いをしたのは学生時代の後輩も含めて何人目かな。数年前に代数のレポートで何かと F₂₅ が同型なことを云々という問題を出したが、学年で一、二を争う成績の学生が何やらメールで聞いてきて、やはりその間違いをしていた。F₂₅ は Z/25Z のことではない、と返信したら、最終的に出してきたレポートは正しかった。さすがだな、と思ったのを覚えている。で今日の学生の間違いのお陰で、q が奇素数の冪の時に －1 が F_q の平方元 ⇔ q≡1 (mod 4) が成り立つことが分かった。いや、第一補充法則の証明と全く同じことをやればいいんだが。何歳に成っても知らないことはあるもんだ。有限体の元を全て掛け合わせると －1 に成るっていうのも原始根を使った Wilson の定理の証明と全く同様に出来る、ということを知ったのも最近。数学を専門にする学科にいるとこうやって勉強出来るのはいいですな。で今日も色々為に成って、7時15分くらいに終了。

その後個研室で今日の講義の後始末を少々。今日の分が済んで、来週 web に上げる演習問題を眺めて、ちょっと1問加えたりとか。昨日思い付いたんでね。でチラチラと野球を見ていたが、8時45分くらいにはもう終わっていた。4－1で負け。ケイが4点も取られるとは珍しい。モイネロは先週18奪三振で今日は13奪三振。むぅ。まあ幸い Tigers も Giants も負けてくれたのでいいです。Carp が勝ってしまったので3位との差は縮まってしまった。まあしゃあない。明日、明後日勝ちましょう。

すき家でハンバーグカレーを、と思って行ったら、もう無かった。じゃあナポリタン牛丼にフライドガーリックが乗ったやつ、と思ったらそっちも無かった。なんでい。何しよ？と思って見たら、まだカルビ丼にフライドガーリックが乗ったやつはまだあったので、それにした。豚生姜焼き丼は今度食べる。

昨日の晩間違いに気付いた件は筋道は思い付いたが、ちゃんと書いてみようと思うと色々難しい。明日は幸い予定は無いし、野球はナイターだから、考える時間はある。やってみよう。

Z 上既約なら Q 上既約なのは、証明を読んで理解してもなお不思議

水曜日の晩はどうもいかん。昨晩も下らんことを考え始めたら隘路にはまってしまった。平方剰余を使うので Z/pZ から零元を抜いていたが、抜かなくてもいいだろ、と気付くのにちょっと時間を使ってしまった。あほくさ。

で起きたら昼を大きく回っていた。木曜日は4時40分からのゼミだけしか用事が無いので、余裕で間に合うが。ただ、はま寿司で大トロ100円（税別）を食べるつもりだったが、難しい時間だったので、昨日買ったカップラーメンがあったので、それで済ませて、3時半過ぎに出勤。

少し個研室でぼーっとしてからゼミ室へ。今日は体上の既約多項式の分類。R や C だと易しい。Q だと大分難しいぞ、ということで、アイゼンシュタインの定理とか。Z 係数の多項式が Z 上で既約だったら Q 上でも既約、というのは証明を読めば別に何も難しいことは無く、それはそうかと思うんだが、環を膨らませても既約性が変わらないのは不思議。講義で例に出してる X⁴＋1 が Q 上既約なのを示す例だが、可約だとすると Z 上で可約だから、というもの。2次×2次に分解した時に両方の因子の主係数を1に出来て、定数項も ±1 に出来るというのは本当に有難い。最初に示したのは誰なんだろう？原始多項式を掛け合わせても原始多項式のまま、というのにガウスの補題という名前が付いてるが。アイゼンシュタインの定理の証明も Q 上可約だと Z 上可約だから、と始めるので、もうアイゼンシュタインの頃は知られてたことなんだろうな、とは思うが。今度調べてみよう。と言っても、キーワードを入れて Google 先生に調べてもらう程度のことをするだけだが。いつもより苦戦したようで、7時過ぎに終了。

その後線形代数の講義の準備をちょっと。もういいかな、という気がしてので、ちょっとだけで済ませた。その後野球の情報をチラチラと確認しながら、また下らんことを考えたり。極限の基本的なことって難しいな。高校の教科書に書いてあるのは割と「こんな感じだよね」という風合いだから、ちゃんとやるとどこまでが大丈夫でどこまでが駄目なのかが分かってないと堂々巡りで大変。一回微積分の本をちゃんと読みたいが、解析系の人が任せてくれそうにないので、仕方ない。去年来た代数幾何専門の人が去年は解析の演習をやっていたが、それはどんな人が来るか確定してない時点で仮に当てはめたのをそのままにした感じで、今年はその人は線形代数の演習をやっている。教務委員の人が「分野違い」と言ってたが、別に2回生の解析の演習くらい誰でも出来ると思うんだが。うちにはいないが、解析数論の人はガロア理論の講義より複素関数論の講義をやりたいのが本音らしい。整数論は代数、というのは必ずしも正しくない。あまり代数、解析、幾何、という分類に拘らない方がいいとは思うがね。位相空間も別に幾何じゃないし。

今日の野球はセ・リーグが5敗1引分。Baystars は Buffaloes 相手に3連戦負け越し。まあ被害は小さかった。明日から Hawks と福岡で3連戦。向こうは日本シリーズで痛い目にあってるから、本気で来るだろう。いやいつでも本気か。Giants 相手に1勝1敗1分と、まあ調子がいいとはいえないだろうから、勝ち越しましょう。日本シリーズの再来を是非。

大阪出身の祐大と桑原が京セラドームで暴れて勝利

今日も中々起きられず。「キョコロヒー」を見ないで寝たんだが、寝床でスマホをいじってつまらんことをしてしまった。いけないな。で起きたらもう11時45分過ぎ。いかん、とシャワーを浴びて出勤。まあ講義は1コマだけだから、飯抜きでも、と思ったが、12時50分くらいなのに幾つも売れ残っていた。やはり雨だからか。100円引いてくれたので、邪魔くさい新500円玉1枚でお釣りが貰えた。10分くらいで食べないといけないので、急いで掻っ込んで、1時5分くらいに個研室を出て講義室へ。

時間通りに「数学III（線形代数）」の講義開始。今日は余因子展開から。で余因子行列を定義。多くの本に「添え字の順序に注意」と書いてあるが、木田さんの本には素っ気なく「(i,j) 成分が (j,i) 余因子である行列」と書いてあるだけだった。去年は一人納得いかないらしく文句言ってきたな。文句言われても困るんだが。あ、三宅敏恒先生の本では確か (i,j) 余因子を (－1)^i+j|A_ji| としてあるんだったか？とすると今の4回生と話す時は気を付けないと。で逆行列を余因子行列を使って書く公式とクラメルの公式というあまり役に立たない奴を続けざまに紹介。いや、前者は今年 M1 のゼミの時に必要に成ったし、分離拡大の元が下の体に落ちるのは共役元が全て同じ事が同値、ということの証明にクラメルの公式を使ったものがあるので、役に立たないとは一概に言えないが。今日の所は数値例を多くしないと分からないだろうから、鶴亀算の解の公式とかも紹介しておいた。色々例を出したおかげで、平行四辺形の面積が行列式で書けるとか外積とかは来週やればよくなった。やれやれ。

今日は保健センターに行く日。前は月一回だったが、伊東先生が退職されて小林先生に診てもらうように成ったら二か月に1回でよくなった。まあ先週採血はしたが。で血圧を測って、体重を測って、少し待ってから診察。血液検査は何事も無く無事。異常があったら1か月毎に成る可能性もあるが、まあ何事も無かったので、次は8月6日。

その後個研室で線形代数のネタ作り。右向きとか左向きとか絵を描いた方が分かるだろうということで Tikz でちょっとお絵描き。本を見ると相当複雑な絵も描けるようだが、小生の描くくらいの絵は web でまとめてくれている例題を参考にすればすぐ出来る。1時間も掛からず絵が2枚描けた。その後右手系をどう説明しようか色々やったが、手首を捻りそう（関西では「ぐねる」というらしい）が、ちょっといい説明を見付けた。これだと手首は無事だ。まあ xyz 空間の普通の3本の基本ベクトルが右手系を成してるのが分かれば大丈夫だろう、と思うがいかがだろうか？来週は固有値、固有ベクトルはやれないかな。行列が相似であることくらいは出来るだろうか。

などとしているうちに気付いたらもう6時を過ぎてた。まだちょっと線形代数を続けていたが、途中チラッと見たら1点先制していた。1安打で1点だからホームランか？と思ったら、7番指名打者の松尾がストレートの四球を選び、実家が京セラドームに目茶目茶近い祐大がタイムリー2ベースヒットで先制したようだ。よしよし。学系事務室に Amazon から届いた荷物を引き取ってから7時くらいに個研室を出た。調剤薬局が8時までなので。

もう7時だと高速道路は渋滞してない。大津インターの手前で「京都東まで 渋滞2km 5分」の表示も全然渋滞しておらず、ガソリンスタンドに寄る余裕があった。で7時40分くらいに処方箋を出して、買い物をして待つ。駐車場に戻ってスマホを見ると、まだ1－0のまま。帰ってカップ麺を食べながら野球を見るか、なか卯で親子丼と鰻の乗ったやつにするかちょっと考えたが、なか卯にした。カップ麺ばかりだと栄養不足だ、ということで。

で住処に8時半くらいに着いた。テレビを付けるとチャンスで桑原。前進守備の外野手の頭を越える当たりで待望の追加点。Buffaloes の中継プレーにミスがあったので桑原がホームに突っ込むも、流石に無理だった。まあいいです。9回は変わった岩嵜（Dragons からこの前移籍してきた）から宮崎のタイムリー2ベースヒットで2点追加。よしよし。点差があるので9回裏はウィック。森にヒットを打たれ、紅林が四球でピンチ。が、杉本が外野フライ、廣岡の2塁への当たりを牧が好捕して併殺打で試合終了。ヒーローインタビューは祐大。今日はお母様とお姉様が観戦にいらしていたらしい。いいところを見せられたね。去年も京セラドームで活躍したんじゃなかったかな？やはり地元だと張り切るだろうな。桑原も大阪出身なのを忘れていた。福知山成美高校出身だから忘れてた。宮崎は佐賀だが。

Tigers は負けた。ずっと1－0で Tigers がリードしていたが、結果は2－3×。9回表にサトテルが独走の18号ホームランを打って2点差にしたようだが、湯浅が負け投手に成ってた。見ると湯浅が満塁の走者を残して岩崎に交代したが、源田、炭谷とベテランが同点打、サヨナラ打を打ったようだ。湯浅はずっと無失点だったが。黄色靭帯骨化症という難病から復帰していて、同じ病気だった三嶋（Baystars）、福（Dragons）ともども応援しているが、残念だ。まあ Tigers が負けてくれるとゲーム差が縮まるので助かる。あ、Hawks と Tigers が負けて Carp と Dragons が勝ったから、5勝3敗で5チーム並びか。凄い。よーし、明日も勝って、カード勝ち越しと交流戦単独首位を狙いましょう。

牧が5月の月間MVPだそうだ。24試合、打率 .343、34安打、19得点、7本塁打はリーグトップで、打点19はリーグ2位。文句無しだね。5月はチームの調子もよかった。6月もガンガン打ってください。

今日はセ・リーグ5敗で、順位に変動無し

月曜日の晩は不摂生してしまう。特に今日は会議が無いので。で例によって違法販売機でレモンハイを買い込んできて、呑み呑みちょっと下らん考え事。変な問題を考えたんだが、最後に定数係数の線形微分方程式を解かないといけなくて、入試には使えない。が、九大で似たような問題が出ていて、それだとうまくいっているので、真似してどうにか成らないか？と。でグダグダやって、結局無理だったというのがオチ。何してんだか。でもっと不摂生したいぞ、と更に買い出しに行くが、さっき買った時に自動販売機がお釣りとして吐き出してきた500円玉は新500円玉だったので、おぉ、使えるようになったのか、と入れると受け付けずに吐き出してきた。邪魔だから釣りとしては消費するが、自販機を新しくするのは金がかかって嫌ということか。未だに新1000円札も使えないし、どうにかして欲しい。まあお代わりの量が少ないのはいいことだったのかもしれない。

で例によってテレビを付けっ放しで寝入ってしまい、また変な時間に起きた。で適当に腹ごしらえして、再び寝床へ。何とも言えずだらしのない生活をしている。いけないなとは思うんだが。月、火と職場で、水曜休みで、また木、金と職場、でいずれも程々の時間に行けばいい、というのが理想だが、火曜日は行かなくてよくて、木曜日は4時40分から用事と、訳の分からないスケジュールに成ってるのがだらしのないことをやってしまう原因。

などとダラダラしているうちに野球の時間。今日から Buffaloes と京セラドームで3連戦。Tigers に3連敗してたから、目の色を変えてくるだろう。九里は序盤から全開で突っ込んできた。かたや東も好投で、中々点が入らない。ゲームが動いたのは5回裏。杉本が超特大のソロホームラン。6回は紅林のフェンスに当たりそうな打球を筒香がキャッチしたかに見えたが、捕れずに2点目。むぅ。今日も見ないと点が入るかも、と途中で寝床へ。が、今日は駄目で、結局0－2で敗戦。東はよかったが、援護無しでは仕方ない。相手より1点でも多くとらないと当たり前だが勝てないのでね。明日、明後日勝って、3カード連続の勝ち越しを目指しましょう。その後も暫く寝床でウダウダ。途中で野球の経過を見たが、Tigers がリードしている。む。Giants も。むむ。が、暫くして速報が。Tigers が逆転負けを食らったと。お！見ると Giants も引っ繰り返されてた。よしよし。今日はセ・リーグは5敗。勝ったのは Dragons だけなので、ゲーム差には特に影響が無かった。交流戦の順位は Hawks と Tigers が5勝2敗で首位タイ、Baystars、Carp、Dragons が4勝3敗で3位タイ。まあいいでしょう。

今日は A 堀先生の誕生日で、Facebook に何人かメッセージを寄せていた。が、ご本人が返信をしていないところを見ると、最近は Facebook はやってないということだろうか？いや、忙しいのかな。で必ず思い出すのが、今日は松たか子の誕生日。丁度10違うとのことだったので、もう48歳なのか。年女だな。大河ドラマ「花の乱」で日野富子の少女時代を演じたのがテレビデビューだそうで、31年も前のこと。同業者が大河ドラマを見て彼女のことを気に入っていたが、三田佳子に交代したらもう見ないようなことを言ってた。分かりやすくてよい。でさっき「相席食堂」が始まったが、大悟が「誕生おめでとうございます、〇〇さん」というのが恒例。で今日は松たか子だった。今時は有名人の誕生日はすぐ検索出来てよい。自分と同じ日の有名人を見付けると嬉しくなるよね。しかも歳まで一緒だと。昭和43年1月8日生まれは雨上がり決死隊の蛍原、元プロレスラーのブル中野、プロゴルファーとしてより夏目雅子の弟ということで有名な小達敏昭、Carp で1年だけ活躍した投手の足立亘がいる。年は違うがロクでもないのだと犬公方・徳川綱吉、元首相の小泉純一郎、北朝鮮最高指導者の金正恩。ロクでもない。プレスリーも1月8日で、小泉純一郎が総理として大人気だった頃にプレスリーの曲を集めた CD をプロデュースしたのが話題に成ってたな。偉人だと物理学者のスティーブン・ホーキング。数学者でいないかな？後で探してみよう。あ、松たか子のお兄さんの10代目松本幸四郎も1月8日だ。たまたま話題にしただけだが、凄い偶然だな。面白い。

何か九州が大雨だと思ったら、滋賀に大雨注意報だか警報だかが出てる。天気のことはよくわからんな。明日は夕刻には雨が上がるようなことを言ってたが、1時10分からの講義に向かう時はまだ降ってるんだろうか？やだな。蒸し蒸しするだろうし。講義の最終回の時はまだ梅雨明けしてないかな？1か月ちょっと我慢だ。などと言っているうちに亀岡に大雨警報が発表された。京都市は大丈夫かいな？

近畿地方も梅雨入り、明日は大雨の予報

やはり土曜日の無茶が月曜まで響く。起きられない。12時のアラームで漸く起きた。寝癖ボーボーだったので、シャワーを浴びて直す。時間に余裕があまりないので、短時間で。で職場に着いたのは12時50分近く。今年度から午後の開始が10分遅く成ったので、急いで弁当を掻っ込むくらいの時間はある。で生協へ行こうかと思ったら、今日は外で（と言っても雨に濡れない所）で売ってる弁当が大量に売れ残っていた。雨だから皆屋内の学食で食べようということなのか。生協のよりは旨い唐揚げ弁当600円也を買って個研室で大急ぎで食べる。

で1時10分からゼミ。今日は相補集合がどうしたとかいう話をした後、難所の共役差積へ。定義を見てると何が大事なのかさっぱり分からない。何故あやつが分岐する素イデアルの情報を握っているのか。で最初のうちは真面目に考えていたが、途中から嫌に成った。定義は elementwise にやってるのに、証明はイデアルをそのものを集合のままトレースで写したりとかやってるので、考えたくなくなった。群論でもそうだが、何か複体とかあの手の奴をいじるのはどうも得意に成れない。剰余群のことをいじってるときに、aN・bN＝a・(Nb)・b＝a・(bN)・N＝(ab)・NN＝(ab)N とかやるのもどうもな。まあ勉強が足りないと言えばその通りなのだが。で共役差積の連鎖律などをやって、4時15分を過ぎたくらいに成り、時間までに次の命題が終わりそうにないということでちょっと早目に終了。まあ今日は上出来の部類かな。

その後個研室でちょっと線形代数。「A は B に相似」という言葉が出て暫くすると「A と B は相似」というのはいかがなものか？という気がしたので、補足説明を加えたりとか、細かいことが気に成るお年頃。留学生が結構いるので、こういうのは気に成るのでは？という気がするが、そうでもないかな。日本語で伝えるのは限界があるが、日本人には分かって欲しいとこと。「a＝b」は「a は b に等しい」だが「a と b は等しい」と言えるのは対称律があるから。「a<b」を「a と b は大きい」とは言えないよね、と言おうと思っている。「a,b,c が異なる」を「a≠b≠c」と書いてはいけない、という話も忘れずにしないと。≠ は推移律を満たさないからね。こういうのをグチャグチャ話すから数学を嫌に成るのかもしれないが、仕方ない。そういう学問なんでね。

近畿も梅雨入りしたそうだ。明日から明後日に掛けて凄い降りに成るような情報があったので、帰宅後食材を買い出しに行った。住処を出る時は雨はほぼ降っていなかったので傘を持たずに出てしまったが、帰りはそこそこの降りに成ってた。昔から降りそうな時に傘を持ってないと降り出し、室内に入ると止む、というパターンが多い。予備校の帰りに大雨に成って、地下鉄の関内駅まで猛ダッシュで行ったが、数分後に来たやつによれば止んでるとのことだった。駅に着いてから次の電車が来る前に止んだのだから、本当につかん。大学に行ってる時も、上大岡駅を出た時は凄い降りで、実家まで数分ダッシュしたが、5分も経たずにやんだことがあったし。こういうジンクスがあるのだから、傘は持っていかないといけなかったね。

明日は雨、ということは野球は？と思ったら、Baystars は京セラドームで Buffaloes 戦だから出来るな。交通機関が止まってしまったらもしかしたらということはあるが。台風でバンテリンドームの試合が中止に成ったことがあったし、新幹線が止まってしまい、対戦相手が移動してこられず中止ということもあった。Baystars はもう大阪に入ったかな？

明日は資源ゴミの日なのを思い出した。面倒だ。雨が降ってると集積所に持ってのが嫌になる。いや、マンションの敷地の中にあるし全然大した距離じゃないんだが。一回表に出ないといけないからね。早いとこやっておこう。

見ないと点が入り、見てると点を取られるので、見てなかったらサヨナラ勝ち

昨晩は相変わらず沢山呑んで沢山話してきた。サボテンを育てているそうだが、花が咲いているのを初めて見た。財津和夫の歌で「サボテンの花」というのがあるが、「♪君が育てたサボテンは小さな花をつくった」という歌詞から判断するに、可憐で小さな花が咲いたのかと写真を見たら、想像より遥かに大きな花だった。こういう趣味があるといいですな。酔っぱらっててあまり覚えてないが、印象に残ってるのは琵琶湖で鴨を見た時に店長が「美味しそう」と言って軽蔑された話とか。楽しかった。

で例によってテレビを付けっ放しで寝たようだ。時々意識が戻ったが、何の番組がやってるかは全く聞こえてこなかったな。で2時を過ぎたら Tigers vs. Buffaloes の関西ダービーの音声が聞こえてきた。起きて Baystars vs. Fighters を見な、ということで適当に起きた。筒香にホームランが飛び出して1点先制していた。先発の石田裕太郎は5回1死まで走者を一人も出さないという素晴らしいピッチングだったが、その後レイエス、万波と2者連続ホームランを打たれ逆転され、更に山縣、上川畑に連続ツーベースヒットを打たれ、更に1失点。むぅ。6回にもレイエスにタイムリーヒットを打たれた。もう。まだ眠いし、見るのやめようかな、と寝床にもう一度行く。するといいことがあって、佐野、牧が2者連続ホームランで1点差に。牧は16試合連続ヒットの後、22打席ヒットが無かったそうだ。.305 で首位打者だったが、今日終わって .285。急降下だな。で考えてみれば今日は Baystars の得点は見てないと入り、Fighters の得点は見ていると入る。これは見ないと勝つぞ、ということで音声だけ流して、見ないことにした。すると、9回に牧が2打席連続安打、代走の三森が盗塁して、筒香が四球。絶対いいことあるから、と思っていたら、ジンクス通り、宮崎が同点打を打った。よしよし。松尾が満塁策ということで歩かされ、戸柱の2塁へのライナーで松尾が飛び出してしまい、サヨナラ成らず。残念。で見るとロクなことにならないだろうから、引き続き寝床に留まり、勝利を願う。10回裏、京田が2塁打、1塁が空いているということで桑原敬遠四球、度会三振、佐野が詰まったヒットで満塁。打席は先程代走で出た三森。さあ、と思っていると、出た、サヨナラタイムリーヒット！3点差をひっくり返して、カード勝ち越し。で他球場の結果を見ると、何とセ・リーグが全勝。危なかった。三森は「大貴」という名前だが、「だいき」だと思っていたが、「まさき」と読むのだそうだ。今日のお立ち台は京田と三森。この二人は青森山田高校の先輩後輩だそうだ。二人共東北の訛りが無いな、と思ったら、京田は石川県出身、三森は埼玉県だそうだ。どうりで。

その後晩飯を食べたりなどダラダラと。あっと言う間に「有働Times」の時間。案の定、長嶋の件で長時間使い、「サンデースポーツ」が始まるからと NHK にチャンネルを変えると、「NHK スペシャル」がいつもより10分長く、まだ「サンデースポーツ」は始まってなかった。何の話題かと思ったら、長嶋のことで1時間番組にしたようだ。10時から「サンデースポーツ」が始まったが、長嶋の葬式のシーンが流れて、で予定されていただろう内容が終わった後、長嶋、王、星野仙一が10年前に対談した映像を流す。むぅ、もう長嶋のニュースは飽きたぞ。まあ仕方ない。来週はもうやらないだろうから、我慢する。

九州が梅雨入りしたそうだが、何と沖縄は梅雨明け。本当に日本は訳の分からない国だ。関西は今週は雨勝ちだそうだから、ボチボチ梅雨入りかな。職場に行く日は雨が降らないと有り難いのだが、仕方ない。こっちも我慢しよう。

山崎福也にやりたい放題にやられそうになるが、一回見せ場は作った

「ミラクル9」と「ゴチバトル」の2時間スペシャルが水、木と二日続けて放送されて、どっちも録画してあったので見よう、ということにして、深夜にテレビの前に長時間張り付いていた。どっちも面白かった。時間があるといいな。その後ちょっと「重複組み合わせ」が気に成ったので、調べた。確率・統計の本は高校生向けのまで含めてほぼ持ってないが、今はスマホで検索しちゃえばいいので便利。が、レポートをこういう態度で書かれては困るが。まあ目的は多項式の既約性なので、いいことにする。

で起きたらもう野球が始まっていた。あ、デーゲームね。2回だったが、既に0－3とリードされている展開。む。この前はよかった大貫だが、今日は駄目だったようだ。4回途中で降板。5失点。先発が5回持たなかったのは久し振りだろう。7回には6番に入った投手の山崎福也に2点タイムリーヒットを打たれる始末。山崎は6年連続ヒットと言ってた。パ・リーグの投手としては杉内（だったか？）と並ぶタイ記録らしい。それでも8回裏に度会が3ラン、その後2死1、3塁で打者は代打宮崎。が、宮崎は3ボールノーストライクから見逃し三振。まあ見せ場は作りました。負けたがいいです。明日勝ってカード勝ち越しにしましょう。今日は Carp と Giants が勝ってしまったが、昨日の時点で3ゲーム差が付いてるので心配無かったのは有難い。Tigers は今試合してるが、リードしている。む。まあ仕方ない。勝率十割ではいかないので。

さて、呑みに行きますか。店長は機嫌よろしかろう。いつもの通りたっぷり呑むことに成るだろうな。週に一度は羽目を大いにはずさないと。確率論グループは毎週木曜日に学内で大いに騒いでいて、一昨日もやっていたが、廊下で会った W 先生によると、A 堀先生の誕生日パーティーをしていると言ってた。そうか、6月だな。非確率論の人も参加してるんだな。W 先生がそうだし。車で行ってたし、金曜日も用事があるし、遠慮させてもらったが。また別の機会に呑み倒しましょう。今晩は一人でやってきます。

去年紛糾した純三次体の整数基決定の証明はすんなり済んでしまった

今朝、いや、今朝とは言えないか、起きたら12時近く。まあ寝癖は大したことないし、昼飯優先だな、ということで急いで出掛ける。幸い駐車場の割といい所に停められてよかった。弁当売り場に着いたのは12時半くらいだが、幾つか残ってた。今日も陽気がいいから屋外で食べてるんだろうか？

1時10分から「代数学I」。今日は素元がどうしたとか既約元がどうしたとかやって、P.I.D. は U.F.D. であることを証明。これ前から気に成ってるが、極大イデアルの存在定理を使って証明している。ゼミのテキストを見ると、そうやらない証明が出ていて、いつも「ん？」と思うんだが、気付けば今年も去年までと同じ証明をやってしまった。後で見ておこう、ということにしたが、そこを避けても実は選択公理がいるそうだ。足立先生の「類体論へ至る道」に書いてある。読んだ時は「そうだったか」と思うんだが、まだちゃんと理解してない。学生にも選択公理がいるんだよと言って、足立先生の本を紹介しておくのを忘れずにやった。

で個研室へ戻ってしばしウダウダと。その後、純三次体の整数基の決定の証明を読む。去年紛糾して、学生が2名とも後日解決してメールで送ってくれたのを読む。成程、上手いことやってるわ、と感心して、紙に書き書き勉強したので、ゼミに臨む際にはちゃんとその紙を持っていった。

で4時40分からゼミ。するとビックリしたことに、そこがあっさり過ぎてしまった。え？と思ったが、見てると大丈夫そう。mod 3 でやってたものを mod 9 にしたり mod 27 にしたりして混乱していたのか？去年は学生も往生していたし、書いたものは大変そう。だが、何故こんなに簡単にいく？不思議だったが、9の倍数であると仮定されているもの、3と素な整数の2乗から1を引いたもの（フェルマー小定理を頼るまでもなく、3の倍数であることは容易に分かる）に3を掛ける、うん、成程、27の倍数だ。メモっておいて後で確認しようということで。でそれから判別式の話。佐武先生の線型代数の本を見るよう脚注に書いてあって、で読んできたようだ。ちゃんと X³＋aX²＋bX＋c の判別式を終結式で計算するのに行列式を計算したと言ってた。素晴らしい。小生 a＝0 の時しか計算したことないが。n 次多項式の判別式って 2n－1 次の正方行列の行列式を計算しないといけないので大変、ではないと以前 Y 村さんが文書化したものを送ってくださったがまだ読んでないな。ちゃんと読もう。でちゃんと出来る学生だな、と思っていたら、ヴァンデルモンドの行列式を知らなかったりする。もう一人の学生もそういうのがあったと覚えている程度らしかった。まあいいです。彼らの学年が使ったテキストにちゃんと出ているので、読んでおいてね、と言っておいた。それと純三次体をいじってると a³＋b³＋c³－3abc の因数分解がよく出てくる。これの因数分解は有名で、高校の教科書にも出ている。代数の講義で3次方程式の解の公式を導くのにも使う。小生の論文で x³－y³＋3xy＋1＝729 の有理整数解 x, y を決定する、という所があって、左辺が因数分解出来ることに気付かず、寺井さんにどうしましょう？メールを書いたら晩に電話をいただいた。ぬかったな、と思った。z が1だからさ。8とかだったら気付いたかもしれないが。でその論文には他にも間抜けな所があって、上の式を因数分解した時の一つの因子が a²＋b²＋c²－ab－bc－ca だが、これが0以上なのを知ったのは去年のこと。現実逃避にチャート式を眺めていたら見付けたのだ。それのお陰で証明が簡単に成って、福岡で喋ったのの報告集ではちゃんと簡易化された方の証明を載せておいた。で今日も純三次体をいじってて出てきたが、この因子が9の倍数であること示したかったらしい。仮定が a≡b≡c (mod 3) ということで、9k＋(なんちゃら) と置いて頑張ってやったらしいが、a－b, b－c, c－a の平方和（の二分の一）に成っているのを教えてあげたらビックリしていた。知らない人多いんだろうか？去年の秋、小松啓一先生の話を聞きに名古屋へ行ったが、ヒルベルトの何番目の問題だか忘れたがその話をなさるときの枕にこれが出てきて、「高校生に教えると感動する」と言ってたが、そうかもね。小生が知ったのは去年だから。で今までで一番長いゼミで、7時45分くらいに終了した。よく知ってる話だし、ここ二日はちゃんと寝ていたので、割とちゃんと聞けた。アドバイスもしたし、有意義な時間だった。

その後部屋で代数の講義の後始末を少々。ちょっと直さないといけない所があったり、上に書いた所をどうしようかと思案したり、演習問題を web に上げようかと思ったが来週やる所が必要に成るのでやめておいたり。そろそろ単位認定レポートをどうにかしないと。定期試験のことは着々と決まっていて、事務から何度かメールが来ていた。試験の問題も考えないと。

ゼミの休憩中に野球の様子をチラッと見たら、1－0という状況。初回に1番バッターの桑原が3塁打、2番度会がセカンドへのタイムリー内野安打。素晴らしい。でゼミが終わって個研室でパソコンを見たら、2－1という状況に成ってた。バウアーも伊藤大海も好投しているようだ。でちょっと経って見たら、もう試合が終わってた。そのまま2－1で勝利。バウアーが完投勝ち。負け投手に成った伊藤も8回完投だそうだ。こういう試合は見てて痺れるだろうな。見たかった。

で夕食を済ませて帰ってきて、「報道ステーション」のスポーツコーナーを見たら、Hawks のモイネロがとんでもないピッチングを見せた、との情報。8回まで18奪三振。7者連続三振があったりで、5回までで13奪三振。これは日本記録が出るぞ、と見ていたが、8回で引っ込んでしまったようだ。野田浩司と佐々木朗希の19奪三振の記録は残った。9回も行かせればよかったのに。で結果は何と Hawks の負け。リリーフがだらしなかった。今日はセ・リーグが5勝。負けたのは Giants のみ。素晴らしい。Tigers は延長戦の末1－0で勝ったようだ。Hawks が負けたので、Baystars、Tigers、Hawks が3勝1敗で首位。かたや勝ち無しは Giants だけで、堂々の12位。最下位というより12位と言う方が響くだろう。何度も書いてるが、今年は是非 Giants に最下位に成ってもらおう。

「クロネッカーの青春の彩り」という歌がある

今日は1時からオンラインで面談があったので、いつもの水曜の晩よりは早く寝た。それでも十分遅いが。寝ようとしたら、テレビで「クロネッカーの青春の…」と聞こえて、え？と思って見ると、カラフルスクリームとかいう女性アイドル歌手の昨日発売の歌のタイトルが「クロネッカーの青春の彩り」というタイトル。いや、まさか、と思ってグループの1人が喋り出すのを聞いてたら、「クロネッカーはドイツの数学者で…」と。心得のある人が作詞したんだろうか？と思って作詞者の上田ゆう子氏の名前で検索したが、経歴が分からなかった。歌詞を見ると、「無限」とか「formula」とか「確率論」とか「Prove it」とか出てくる。何なのだろう？ということをやってたのも寝るのが遅くなった原因の一つ。

でいつもの木曜日は起きなくていい12時くらいには起きようと思って、アラームを仕掛けておいて正解。ちゃんと起きられた。シャワーを浴びて寝癖を直して、上だけ寝巻じゃないのに着替えて、で面談開始の時間だが、学生が来ない。事務の人が電話を掛けて呼び出してくれた。ちょっと説教されていた。大人に成ると5分とかの遅刻でも許してくれないことがあるからね。でまあそれ以外は問題無く終了。

昨晩鞄に USB メモリーを入れた筆箱が無いことに気付いた。1週間で二回も忘れるか、と思って見たら、文庫本も無い。文庫本はガストに忘れてきたのだろうか？と思って車を出そうとしていると、地下から上がってくる車のフロントガラス越しに文庫本が見えた。ドアを開けるとその脇に筆箱が。車の中に落としてきたか。鞄は上が閉まってないからな。車の中でよかった。気を付けないと。

で1時半くらいに住処を出て、昼食ははま寿司にしようと正門前の交差点を左折。セブンイレブンに寄って PayPay をチャージ。いつもの通り2000円くらい食べてきた。で職場に着いたのは2時半くらい。ウェストウィングの近くに停められるだろうということで向かうも、空いてるのは身障者用スペースだけ。大抵よくないのを承知で図々しく停めてしまうんだが、自転車で学院を見回ってる人が丁度こっちの方に来たので、やはりまずかろうとバックで入れたのにすぐ出た。で仕方ないから第1駐車場（一番大きい）に入れるか、と諦めて一方通行の学内を走っていると、何とウェストウィングに目茶目茶近い所が空いてるではないか。よかった。帰りは楽だぞ。

個研室でちょっと時間潰し。色々考えたり TeX 打ちしたり。線形代数の問題は肥大化し過ぎていて、ダブっている問題が結構ある。そこをスリム化したり、解答の付いてないものを考えたり。で何だかんだで4時半過ぎに成った。

4時40分からゼミ。今日は abc 予想がどうしたとかそういう所。いや、望月新一氏の論文をどうこうしようという難しいことではなく、abc 予想がどんなものだとか、同値な言い換えとか、強いバージョンを仮定するとフェルマー予想もビール予想もカタラン予想も解けてしまう、という話など。先週の多項式の ABC 定理の話と今日の abc 予想の話は箸休めで、来週はアイゼンシュタインの定理等の標準的な代数の話をやるようで、まあよかった。学生が心配していたのは、今年から14週間化され、9月の再開まで時間が物凄く空いてしまう、ということ。いや、仕方ないって。今まで3年間そうやってきたでしょ、と。夏休みやってもいいけど、どうする？と聞こうと思ってやめておいた。帰省したいよね？こっちも院試だなんだと色々あるので、夏休みはあまり用事を入れたくないので、やらないです。で8時まで時間はとってあるが、6時半に成る前に終了した。

で線形代数の続きをちょっとやって、それから藤崎先生の代数的整数論の本をちょっと開く。金曜日のゼミはコブリッツの保型形式の本と藤崎先生の本を隔週でやるモードに成ってる。で明日やる所は純3次体の整数基の話。先々週ちょっと中途半端な所で終わったが、そこまでは理解したので、続きをやろうと。去年紛糾したはずだから、思い出しておかないと、と始めて、途中までスムーズに行って、案の定引っ掛かった。mod 3 だったを急に mod 9 にしたり mod 27 にしたりするから訳が分からない。去年学生二人が独立に解決してくれてメールで送ってくれたので、それを探す。が、iPad にアップルペンシルで書いたものと、手書きのノートを撮影した jpg ファイルだから、どちらも読む気が湧かない。まあいいや、明日講義の後1コマ丸々空くから、そこで考えよう、として、取り敢えず USB メモリーに保存しておいた。その後線形代数をやったり。

勿論野球をチラチラときにしていた。ゼミが終わって見ると、既に3－0とリードしている状態。よしよし。Baystars のピッチャーは防御率1位のケイ。大丈夫でしょう、と時々見ると、ずっと3－0。早くも9回。宮崎が2塁打、1塁が空いてるので筒香敬遠四球、度会の時暴投があり、1塁が空いたのでまたしても敬遠。で祐大のショートへの内野安打で何と2塁走者の柴田まで生還と2点追加。どんなプレーだったのだろう？石上が四球を選んで無死満塁のチャンスは続くも、三振、三振、外野フライで追加点は成らず。まあチャンスの度に点が入るということがあっては、チーム防御率が3点台で済むわけはない。野球とはそんなもんです。でちゃんと勝ってカード勝ち越し。まあ上出来。番長が監督として300勝目。あ、そう言えば、少し前に監督に成って5割、というのを話題にしたが、その後どうなったのだろう？次の日から少し負けが込んだが、取り返して勝ち越しモードに入っているだろうか？後で気が向いたら調べよう。

今日の野球ニュースは Swallows が3点以上取ったこと（4点）。2点以下が15試合続くという、プロ野球ワースト記録を作っていた。Baystars も一時2点以下が続いたが、応援していて辛かった。チーム関係者はもっと辛かろうが。こういうのは Swallows でなく Giants がやると嬉しいが。今年の Giants はアップダウンが激しいね。今日も負けて、今シーズン2度目の4連敗とか。この前書いたが、最下位に成りましょう。

ちょっと色々書いてて思い出したが、Giants が強くないと面白くない、野球が盛り上がらない、と時代錯誤なことを今でも言う人がいるが、そういう思いは捨てましょう。セ、パ、6球団ずつあるんだ。6年に1回優勝出来ればよしとしないと。Giants は去年優勝したから、後5年は萎んでください。喜ぶ人は想像以上に多いぞ。

まあついでにもうちょっと。名古屋の人は皆 Dragons ファン、星野仙一のファン、かというとそんなことはないのだ。後輩の名古屋出身の人（今は夫婦で名古屋に住んでる）は星野仙一が嫌いで、それで Dragons が嫌いに成って、親御さんが関西オリジンだったからだと思うが Tigers を応援していた。星野が Tigers の監督に成った時は超嫌だったとか。関西でもアンチ Tigers いるしね。アンチ Giants は全国にいるのだ。もう自分達だけ特別だと思うのはやめてくだされ。連中が自分達こそ偉いと思い続けるなら、小生は世界の中心では叫べないが、京都の片隅でこうやって書き続けるから。

今日はセ・リーグ全敗

今日も中々起きられなかった。12時にアラームが鳴るようにしたのは正解だったな。寝癖が酷かったら昼飯抜きでシャワーを浴びようかと思ったが、大したことなかったので、昼飯を優先することにしてすぐ出発。で弁当を売ってる辺りに辿り着いたのは12時40分くらいだったが、もう完売だった。仕方ないのでまたしても生協でいつもの唐揚げ弁当。生協のより外で売ってる弁当の方が具が多くて旨いのだが。まあ仕方ない。もうちょっと早く起きろということだな。

で食べ終わってから講義室へ向かう。水曜日は「数学III（線形代数）」。今日は |AB|＝|A||B| とか、A が正則 ⇔ |A|≠0 とか、|^tA|＝|A| とか。で列基本変形もやってよくなったので、例を幾つか。行基本変形と列基本変形をうまいこと組み合わせて計算するといいよね、ということが分かってくれればいいが、まあそれは演習の時間にやってもらうことにする。でその後行列式がどんな形をしてるか、という話。置換がどうしたとか偶置換だ奇置換だというのはやれないが、順列の符号なら割と簡単に説明出来る。中途半端に時間が残っているので、2次の場合と3次の場合を詳細にやった。3次の順列は6個なので、全部やってもたかが知れてる。小さい順に並べ替えるのに何回入れ替えが必要かを6個全部ちゃんとやって見せた。で大体時間。終了後二人ほど質問に来た。一人は本を持ってきたが、もう一人はちゃんとノートを持ってきた。そこに説明した並べ替えのことが書いてあったので、まあやった甲斐はあったかな。

その後保健センターへ採血してもらいに行く。昼を無理にでも食べたのは、採血後だと遅くなるから。でいつもの通り中々採血ポイントが見付からず。一度針を刺されたが、案の定血が出てこない。助っ人を呼んできて、2人であれこれして、漸くどうにか成った。平身低頭詫びておられたが、まあいつものことだし、贅肉が付きまくってて申し訳ない、と言いたい気分だった。で結果を聞きに来週もう一度行く。後で気付いたが、保健センターにはマスクをしていこうと思っていたので、職場に一箱置いてあるが、すっかり忘れてた。来週はちゃんとしていこう。

講義後に質問されたのの一つが、Σ が沢山並んでるのの意味がよく分からないということ。多重線形性を使ってばらしただけだから分かりそうなもんだが、まあ仕方ない。何か説明を書いた方がいいな、と思ってちょっと練る。簡単な例を挙げて、まあどっちを先にやっても大丈夫、という例を一つと、順番は変えられない（二つ目の Σ の変数の動く範囲が一つ目の Σ の変数毎に依存してしまう例）などを適当に出して、で無限級数の場合は色々大変だよ、という趣旨のことを書いたが、今考えるとちょっとピント外れなことを書いたな、と気付いた。後で直そう。それから来週のことをちょっと。来週は余因子展開とか余因子行列とかクラメルの公式とかやる。ここいらは毎回苦労しているので、ちゃんと見ておかないと、と思って気合を入れて見たが、思った程難しくなかった。それだけ小生が賢くなったということだろうか？その後行列式と面積が関係あるとか、外積がどうしたとかやらないといけないので、ちゃんと見ておく。この辺は更に苦手。幾何も物理もあまりちゃんとやってないから、有難味をいまいち知らないのが本当のところ。まあ大丈夫でしょう。「右ねじを回した時の進行方向」というのを分かってくれるだろうか？留学生が結構いるしね。でさっき気付いた。数セミにどなたかが書いておられた「凄く簡単な例で考えてみる」ということで、x 軸方向の単位ベクトルと y 軸方向の単位ベクトルの外積を求めれば納得いくだろうと。名案だ。

で結構時間の経つのが早く、野球が始まっていたり回が進んでいたり。ジャクソンが初回から2失点。2回にも失点して、早くも3点のビハインド。まあそれでも7回3失点。課題の四球も0。悪くはない。またしても先発が5回以上もった。で帰ろうかと思って見たら、3点差のままだが、9回表で1アウト満塁の大チャンス。が、蝦名が三振、桑原が押し出し四球で完封勝ちは逃れるも、オースティンが三振でゲームセット。残念。連勝は5でストップ。去年の交流戦は終盤に追い上げたと覚えていたが、今日の負けで交流戦の連勝は8でストップで、DH 制の試合（日本シリーズを含む）の連勝も10でストップらしい。まあ後の二つはどうでもいい。牧の連続試合安打が16で止まってしまったのが残念。いい加減高橋慶彦の33試合を塗り替える選手が出て欲しいが。今日はセ・リーグが全チーム負けた。ゲーム差が変わらなかったのは救い。セ・リーグが弱いのはちょっと癪ではあるが、まあいいです。理想はセは Baystars だけ勝つことだが。明日勝ってカード勝ち越しといきましょう。

昼は冷めた唐揚げだったので、晩飯はガストでから好しの唐揚げにしよう、と向かう。ちょっと待ったが、読者が進んでよかった。で来た時に気付いた。ご飯を小盛にするのを忘れてた。まあ食えないことはないが、ちょっとキツイ。満腹。

昨日散々悪口を書いたが、その後ちょっとネットで「長嶋 嫌い」と検索してみた。すると、好きか嫌いか投票している所を見付けた。小生がどうしたかは勿論言うまでもない。で結果を見ると、好きが35%くらい、嫌いが65%くらい。「長嶋さんを嫌いな人がそんなにいるわけがない」と書いてる人がいたが、いやいや現実はこうなのです。他にも小生のような駄文を書いてる方で、いかに長嶋、Giants が嫌いかと縷々書いてる方がおられた。そうなんですよ。後輩某氏（北海道にいる人）が「強い巨人に勝つからいいんでしょ」みたいなことを随分前に言っていたが、いやいや、弱い読売 Giants を滅多打ちにするのが楽しいのです。Giants が負けると飯が旨いし、よく寝られる。酒も旨い。贔屓の選手が Giants に移籍した時はどうしようと思う。阿波野の時は、阿波野は20勝で最多勝、Giants はシーズン20勝、と願ったし、石井浩郎の時は、石井は2ランホームラン50発でホームラン、打点の二冠王、Giants の総ホームランは50本で総得点は100点、シーズン全敗、を願ったがな。あ、そうそう、もう一つ。この前の東京オリンピックの時に長嶋、王、松井秀喜が聖火ランナーとして登場したが、王さんが「日本中みんな喜んでるんじゃないかな」と言っていた。王さんもまだ Giants 最高、という気持ちが抜けてないんだな、と思った覚えがある。長嶋本人が望んでやったんならいいが、そうでないなら話題作りに病人を使うのは何とも不愉快と思ったもんだ。もういい加減「巨人・大鵬・卵焼き」はやめましょ。時代を変えようと、テレビ局が M-1 チャンピオンに持たせる短期の看板番組のタイトルが「阪神・たこ焼き・令和ロマン」だった。が、令和ロマンがああなってはな。まあ大鵬の孫の王鵬もそれほどの活躍は見せていないしね。「報道ステーション」のスポーツコーナーは MLB がトップニュース、「サンデースポーツ」は9時50分開始の番組だが、日本の野球の話題が始まるのは10時20分くらい。もう「巨人」で視聴率がとれる時代ではないのをいい加減思い知るべきだ。

野球が人気無くなったり中継が無くなるのはいいのかって？人気が無くなるのはちょと嫌だが、中継が無くなるのは構わない。皆さんの言う中継って、地上波での Giants 戦でしょ？見ないって。皆スカパーなり J：COM に加入したり、DAZN とかで Giants 戦以外のものを見てますから。閑古鳥が鳴いていた横浜スタジアムもパ・リーグの試合も今や大入り。もう Giants に頼るのはやめましょ。

雨で開始が1時間遅れた交流戦開幕戦は無事勝利

やはり月曜から火曜に掛けては呑んでしまうな。昨晩の救いは雨が降っていて、お代わりを買いに行くのが面倒だったので、最初に買った分を空けただけで済んだが。さてどれくらいの量でしょう？で読みながら木曜日のゼミについてちょっと理論武装したり。何でも分かった所まで TeX 化しておくのは大事で、呑み呑み読み読みで、完全に理解出来たと思う。同じ本を何度も使ってるといいな。簡単過ぎると飽きるが、難しいことも書いてあるし、かと言って難しすぎるでもなし、いい本が出たな。で著者の山崎隆雄さんのお書きになられたものを幾つかダウンロードしてあるが、そこに「f(x)g'(x)＝f'(x)g(x) ⇔ ∃c s.t. f(x)＝cg(x)」の証明が出ていた。商の微分を使うものではなかったので、読もうかと思ったが無理だった。酔ってるのと眠いのとで。多少食べてから適当に横に成った。

で例によってテレビが付いてたので、あまり良く寝られないのはいつもの通り。ちょっと凄いニュースが聞こえてきたのも原因だが。これについては後述。で昼飯を食べた後下らん YouTube を見て、寝落ちしたりを繰り返して、4時50分からの教授会に間に合うように起きた。資料を見ると、何か物凄い沢山ある案件があって、時間掛かるんじゃ？と思ったが、皆さんに短時間で済ますよう通達されていたようで、そんなに時間は掛からなかった。ホッとした。

6時から野球。今日から交流戦で、Eagles 相手に仙台で。が、雨で開始が遅れていて、7時開始の情報。む。でまた寝床で下らん YouTube 動画を見て時間潰し。寝不足だと数学しようという気が起きない。ちゃんとしないとな。昨日の晩仕入れた情報だと、Baystars の先発投手は5月の全試合で5イニング以上投げたらしい。リリーフに無理が生じてないということで、先発もリリーフも防御率がよい。打線が活発に成ってきたし、こりゃ楽しみだ。で今日も初回に先制。その後追い付かれたり突き放したり。森敬斗が相変わらずの不安定な守備で、東の足を引っ張っていた。が、5回に筒香、度会と二者連続で押し出し四球を選び2点リード。6回に佐野が3試合連続ホームランとなる2ランホームランを打ち4点差。その後東が1点取られたが、ウィック、入江と抑えて無事勝利。東は7回3失点（自責点2）。解説の野口寿浩氏は逆球が多く、本調子ではないと言っていた。雨で手が滑るのか、足元がしっくりこないのか、雨で寒いのか。まあそれでも流石に大崩れはしなかった。6勝目で、村上（Tigers）の7勝に迫ってきた。よしよし。

さて、触れないわけにはいかない。長嶋茂雄氏が死んだというニュースが今朝入ってきた。人が死んだのにこういう言い方は失礼なのは重々承知だが言わせてもらう。ナベツネ、長嶋と「巨人軍至上主義」の急先鋒が二人ともいなくなり、球界は風通しがよくなるだろう。もう「巨人、大鵬、卵焼き」の時代ではないのです。山崎福也が Buffaloes から FA 宣言した時に大金を積んだ Giants より Fighters を選んだのも一つの象徴。「巨人は勝たなくてはいけない」とか、「優勝を義務付けられている」みたいなことはいい加減言わないでください。そんなことは誰も思ってないです。

Giants は今日勝って勝利をプレゼント、といきたかったかもしれないが、残念ながら今日の Marines vs. Giants は雨で中止。交流戦はスケジュールがタイトだから中々中止にしない。Eagles vs. Baystars も1時間遅らせて、まだ雨が降っている中強行した。それでも中止と言うことは相当降ったということだな。Giants は明日も明後日も負けてください。長嶋への供養の一つとして小生が考えたのは、最下位に成ること。「栄光の巨人軍」の唯一の最下位は長嶋が監督の時。黒歴史を一人に背負わすのはよくない。阿部が分かち合えばよい。5年でも10年でも連続Bクラスに成ればいいんだ。長嶋第2次政権が決まった時に街中でインタビューしていたら、「長嶋さんが監督に成るんじゃ、巨人ファンに戻ろうかな」と恥ずかしげも無く言っている人がいたが、弱いと応援しないんかい？長嶋が監督じゃないと応援しないんかい？そういうのが堂々とファンを名乗るのが一番頭にくる。王は縁もゆかりも無い福岡の弱いチームの監督に成り、「ファン」から生卵を投げ付けられ、「王 頼むから辞めてくれ」と横断幕まで出されるくらいの辛酸をなめたんだ。長嶋にはそれをやる勇気は無く、スターのまま死におった。Giants の選手は王さんの気持ちを味わいましょ。2、3年優勝しないだけで「本当に辛かった」とは言えなくなるよ。田尾は Tigers に5年いて4年最下位だったそうだし、Baystars は97敗したシーズンがある。10年で8回最下位だったかな？こういうことを経験すると人間に深みが出るよ。お前のようにひねくれるだけ？そうかもね。

もう一言。どこぞのネットニュースに「巨人を嫌いな人はいるが、長嶋さんを嫌いな人はいない」と書いてあったが、いやいや、いますよ、ここにね。小生の両親くらいの世代は大体長嶋のファンで、お袋もご多分に漏れずだったが、あれも欲しいこれも欲しいという態度に大分嫌気がさしていたようで、吉井理人が FA 権行使してメジャーリーグ移籍の意思を表明した時、「吉井君は是非とも欲しい。お金は幾らでも」と言う趣旨のことを言ってた（これほど下品な言い方ではなかったとは思うが）時に、お袋は本当に嫌に成ったようだ。子供がおもちゃ欲しがるのと同じじゃないか、と。その時に Baystars ファンに寝返らせた。暫く後に Baystars がリーグ優勝、日本シリーズ優勝して、その日は1998年10月26日、お袋の60歳の誕生日だった。お袋は目茶目茶喜んでた。

さっきちょっと調べたら、長嶋の娘の三奈さんは今日誕生日だそうだ。とんだ誕生日に成ったね。まあ来年からは長嶋の命日だというニュースは当然無いだろう。雲仙普賢岳の大火砕流が1991年にあったことの方が大ニュースだ。小生の爺さんの誕生日とかいうのもこの際どうでもいい。雲仙の被害者に黙祷しましょ。

白鵬の宮城野親方はやはり角界を去るのか

今朝も何度か目が覚めるも中々起きられず、最終的に起きたのは11時半くらい。シャワーを浴びて、急いで出発。で弁当売り場に辿り着いた時はまだ12時40分に成ってなかったが、殆どの店舗で売り切れていて、一店舗、2つ残っている所は2人待っていて、目の前で品切れ。無念。生協に行ったら幸い沢山あった。まあいいか、といつもの唐揚げ弁当。

1時10分からゼミ。最近細かい所を詰めてこないことが結構目立つ。今日も突っ込んでみたら勘違いしている所があったり、前にやった定理をどう使うのかが分かってない所があったり。そこは3人で頭を捻ったが、結局分からなかった。来週までに考えておいて、と言っておいたが、こっちも考えておかないとな。でそろそろ共役差積とか相対判別式とかデデキントの判別定理（ちゃんと共役差積で書いたバージョン）が出てくる。難しいぞ。もう少し気合を入れて掛かってもらわないと。

その後部屋でちょっと線形代数。水曜日に講義を2時45分までやって、で今の学科長はあまり学科会議をやらない人だから、その後時間がたっぷりあって、そこで大体準備は終わってしまう。それでももう一回見直さないと、色々忘れてるし、改めて気付くこともある。今日も幾つか書き足した。先週の水曜日の時点で既に準備完了と思い印刷してあったが、まあいいかと改めて印刷。裏紙は大量にあるので、使わないと。この前も大昔に保険に契約する前に貰った資料が出てきた。綴じてあった紙製のファイルは資源ゴミに回して、紙はプリンターへ。マンション関係で住処に色々送られてくる紙も多いので、それもホチキスを外して職場のプリンターに突っ込んでる。どんどん使わないと。論文を書けばいいんだがな。時間が出来たらやります。

程々にして帰ってきた。いつもよりちょっと早かったが、こんな所にこんな店があったか、と改めて気付くことが多かった。普段は山科に戻ってきたときは大抵の店が閉めてるからね。四宮から小生の住処の間で開いてるのはローソンとファミリーマート、ドラッグユタカと呑み屋が数件。で住処に着いて、晩飯を珍しくなか卯まで食べに行って、するとこの前書いたような運命的なことがある。押目さん（多分こういう字だと思うが）に久々に会った。向こうがこっちを見たが、気付いていない。で珍しくこっちから声を掛けた。すると、「おぉ、分からんかった。痩せた？病気？」と聞かれた。最近は一時に比べ酒の量が大分減ってるし、健康的に過ごしてるんですよ、と言っておいた。一番あった時から一昨年の時点で13kg減ってる。それからちょっと増えたが、ピーク時に比べたらぐっと体重は軽い。伊東先生にはもうちょっと痩せろと言われていたが。小林先生（この4月から診てもらってる保健センターの先生）にはまだ特に何も言われていないが。そうだ忘れてた。今週中に採血しておいて、来週の診断で結果を診てもらうんだった。木曜日に面談もあったな。思い出しておいてよかった。

「Qさま!!」を途中から見た。月曜日は7時から9時48分までの番組が一体化されて放送されてるので、「Qさま!!」だけ録画というのが難しい。今日は昭和のスゴイ人物が何だとかまたその手の奴だったようで、1位は吉田茂。成程な。田中角栄も入っていた。王貞治が上位に入るのは流石だ。街中でインタビューしていたが、王さんはソフトバンク Hawks の監督という印象しかないと言ってたが、ゲームソフトで Giants のユニフォームを着てる超高能力キャラとして使えるとか。成程。で名取裕子が優勝。番組初登場から15年以上経つらしい。当時で既に50過ぎだったようだが、今に比べると大分若い。小生より10歳上だからね。もうあんな感じに成るだろう。おめでとう。

その後「報道ステーション」。元横綱白鵬の宮城野親方の話題が2番目のニュース。日本式は色々辛かったのだろうな。弟子の不祥事で部屋を閉鎖され、伊勢ヶ濱部屋所属に成っていたが、旭富士の伊勢ヶ濱親方が7月で定年に成り、モンゴルの後輩の照ノ富士が伊勢ヶ濱襲名、その下に付くというのが耐えられない、という説もあったが、どうなのだろう？大横綱がこの程度のことで辞めるのは何とも残念。貴乃花もそうだが、組織に従順でないと難しいかな。人間関係は難しい。小生もあまり得意な方ではないが、新たに人間関係を構築する煩わしさを考えればまあ、ということもある。後8年弱。何とかやっていきますわ。

「報道ステーション」では韓国の大統領選挙の話題もやっていたが、ビックリしたのが下村彩里アナが韓国にいたこと。彼女は何か事件があったら北海道だろうが沖縄だろうが毎日違う所から取材している印象だが、ついに韓国か。本人が望んでやってるならいいが、そうでないならこき使い過ぎでは？と思ってしまう。日テレの永井美奈子アナは報道がしたいのにバラエティー番組ばかりで、アイドル歌手のような扱いで CD まで出したのが本当に嫌だったらしい。それでフリーに成ったのだろう。下村アナは報道一筋だから遣り甲斐があっていいのかな。知らんけど。頑張ってくだされ。

4連勝で貯金5、単独2位浮上

ふなごやは混んでるか、と思ったが二人組がいただけ。で割とすぐ帰っていかれた。で50歳に成ったということで沢山呑ませてあげる。バイトの人が暫くしたら一般客として来られたので、いつもの通り3人で楽しく。店長は色々解放されたりとかあったので、幸せそうな顔をしていた。楽しかった。

で昨日書いた通りほぼ寝ていない状態だったので、呑んでる最中は寝落ちしなかったが、帰ってきてすぐダウンした。で時々目が覚めたが、野球が始まっている時間に成っても起きられず、4時45分くらいに漸く起きた。急いでテレビを付けると、ヒーローインタビューでバウアーが話しているところ。お！1回先頭打者にホームランを打たれたりしたようだが、8回2失点。チームの3点を全て佐野が叩き出す活躍をしたようだ。素晴らしい。佐野も勿論だが、8回裏のチャンスを演出した梶原もお立ち台上がっていた。番長曰く今日監督賞をあげる選手を一人選ぶんだったら梶原かな、と。佐野が当たってきて、梶原も打ち出し、牧にずっとヒットが出ていて、プロ入り後5年連続2桁本塁打を昨日記録し、打率がトップ。ケイが防御率1位、ジャクソンが3位、東が6位で、先発投手陣の防御率はリーグトップとか。0.5ゲーム上の Giants が大勢の自滅で負けて、単独2位浮上。明後日からここ数年貯金を作っている交流戦。首位 Tigers との差は 2.5。Tigers は交流戦を苦手としている。「横浜奪首」を果たすためには交流戦勝ち越しは必須。頑張れ。

気付けば6月。昨日の夜は何か薄ら寒かった。今週は最低気温13度という日があるそうだし、気を付けないと。梅雨入りはまだだが、思い出してみると梅雨に結構寒い日はあったな。でも湿度が高いから汗はかく。風邪には用心しないとね。

深夜に「キョコロヒー」のイベントの配信動画を見た後、職場に忘れてきた USB メモリーを取りに行くため徹夜

昨日ブログを書き終えて、でちょっと時間があるから、メモ書きした物を TeX 化、と思って鞄から USB メモリーの入った筆箱を取り出そうとしたが、無い。またか。確かに USB メモリーを抜いた記憶も、筆箱を鞄に入れた記憶も無い。阿呆やな。まあ「キョコロヒー」の配信動画に集中出来てよいので、いいことにする。

で12時半前に動画の配信チケットを購入して、見始める。面白い。ゆるーい番組だが、野外イベントだと盛り上がるな。日比谷野音でやったそうだが、今年の10月から建て直しに入るそうで、ゴールデンウィークの最中は激しい争奪戦だったそうだが、スタッフが洒落で申し込んだら、当たってしまった、というのがやるきっかけだったそうだ。来週の木曜日まで見られるそうなので、興味のある方は是非。特典映像3つも含めて全部見ると、3時間以上かかる。暇な時にやるに限る。でその後「ゴチバトル」を見たり。バッテリーズが出ていたが、エース面白いな。あの阿呆キャラを活かした漫才が受けたのだから、路線を変えずに飾らずやり続ければいいだろう、と思った。で朝の5時過ぎまでダラダラと過ごした。

さて、USB メモリーはどうしようかな？すぐ寝て、野球を見て、それから取りに行く、寝ないで取りに行って、帰ってきて野球まで寝る、どっちにしよう？としばし思案して、寝ないで行くことにした。が、正門は閉まっている。何時に開くんだったかな？と思って大学のホームページを見るもよく分からない。で近江鉄道バスのホームページを見たら、平日は7時台に南草津駅から大学に向かうバスがあるので、7時には開くのでは？ということで、6時半まで時間潰し。TeX 化してない紙に書いてある式がちょっと面白ろそうなので、それについてちょっと考える。滅多に更新しない TeX ファイルはハードディスクに入ってるんで、それをいじりながら考えたり計算したり。で何か変な関係式が見付かった。ちょっとひねって1問完成。ストックが増えるのはいいことです。

で6時半くらいに住処を出る。まだ混んでないだろうと思ったが、名古屋方面の名神はそこそこの交通量。寝てないから、いつも以上に慎重にということで、右を見たり左を見たりバックミラーを見たりしながら慎重に運転。で草津田上インター降りたのは6時54分くらい。まだ正門開いてないかな？ということで、正門の前を左折して、セブンイレブンで明日までの綾鷹割引券を使うべく向かう。それだけ買うということが出来ない小心者なので、ボールペンの替え芯をついでに買っておく。考え事をする時はボールペンを走らすのが一番いいので、買っておくにこしたことはない。ジェットストリームの0.5mmが一番いい。去年は学系事務室に結構ストックがあって、しょっちゅう貰いに行ってたが、小生が0.5mmばっかり使うからなのか事務の人がざっくり適当に買ってくるからなのか、0.7mmばっかりなってしまい、変え芯は生協かセブンイレブンか DCM で買っている。まあ大した値段ではないので、私費でいいけど。で買い物を済ませて向かうと、正門が開いていた。何やら正門脇の車を停めてはいけない場所に2台停まっている。守衛さんと近所の老人と思しき人が何やら話し込んでいたが、車の持ち主に説教しているのだろうか？それともご近所さんが迷惑していて、そのご注進だろうか？知らんけど。でウェストウィングの近くに停めて、部屋に行くと案の定筆箱があった。筆箱の中に USB メモリーが無かったので、抜いてないということか、と見ると刺さったままだった。確かに抜いた記憶も筆箱に移した記憶も筆箱を鞄に入れた記憶も無い。阿呆や。で何もせずにそのまま帰るのは馬鹿臭いので、1月に買ったデスクトップパソコンのキーボードを交換することにした。要らないのに有線のキーボードと有線のマウスが付いていた。有線のマウスは使う気がしないのでいいが、キーボードは小生の名前の母音が A ばかりだからなのか、A のキーの字が消えていて気持ち悪かったので。で差し替えて、ちょっと実験に大貧民を1ゲーム。ちゃんと使えた。ただ色々感じが違うので、慣れるにはちょっと掛かるかもな。まあ職場でデスクトップ、家でノート、出張に行くときや学内の個研室以外での会議の場合はもう一台のノートと使い分けているが、それなりにすぐ対応出来るので、まあ大丈夫でしょう、と。で7時半くらいに職場を発つことにする。

8時ちょいに京都東を降りると、西大津バイパス方面が凄い渋滞している。四宮の交差点が近付くと、物凄い数の人が歩いていた。何かあるのだろうか？まあ三条通は渋滞してなかったので関係無いけど。

で寝床で YouTube でも見れば眠く成るだろうと思ったが、中々眠く成らず、ちょっと寝て時計を見ると11時半過ぎ。昼飯だな、と Uber Eats に適当に頼んで、2時からの野球までちょっと時間があるのでまた YouTube。またちょっとだけ寝られた。2時を過ぎていたのでスマホを見ると、雨で試合開始が遅れているようだ。なのでもうちょっとして起きた。

テレビを付けると、試合開始は2時40分頃とのこと。天気はそんなに悪くなさそうだ。出来そうだな。カフェインを注入して、観戦開始。今日はオースティンが2番、牧が4番と変則体制。桑原、オースティンが凡退の後、佐野2塁打、牧タイムリーヒット、宮崎ヒット、松尾タイムリーツーベースと続いて2点先制。その後満塁とするもそれ以上の点は無し。もうちょっと取って欲しかったが、まあいいです。石田裕太郎はよさそうだったが、四球がちょっと多いのが気掛かり。松尾が2塁で盗塁を二つ刺すという素晴らしいプレーを見せてくれた。が、3回に併殺打の間に1点取られる。解説の野村弘樹（本名・野村弘）氏曰く、先にホームに送球してれば失点は無かったのでは？と。これが後で石田の首を絞めることに。4回に赤羽にタイムリーヒットを打たれ同点に。1点目が無ければ。それと1回の攻撃でもっと点を取っておけば。Baystars 攻撃陣は塁を賑わすが、無得点が続く。石田は6回のピンチの場面で坂本と交代。まあ6回途中2失点なら合格と言えなくも無いが、ちょっと四球が多かった。坂本は7回も抑えて、8回はウィック。ここのところの安定ぶりを野村氏が褒めていて、あっさり2アウトとったが、3人目にストレートの四球。その後ボールが続いて、やばい状態。去年はこんな状態の時に番長自らマウンドに向かい、怒った表情で「Change！」と言っていたが、その後の登板からよくなって、シーズン終盤からポストシーズンに掛けて安定、今年もここのところよかったが、また逆戻りか？と思ったが、何とか抑えた。まあよかった。お日様がさしてきて、空には虹が。するといいことがあって、8回に佐野、牧と連続ホームラン。宮崎四球、松尾ファールフライの後、度会がタイムリー2ベースヒット。野村氏が度会を褒めてた。9回は伊勢。入江でもいいが、昨日投げてるし。昨日は本来投げなくていいような場面だったが、宮城が満塁のピンチを作ってしまい、セーブシチュエーションに成ったということで登板した。1点取られたが抑えたので、今日は休んだ方がいいでしょう。明日どういう展開になるか分からないし。で伊勢が抑えてゲームセット。Giants と、並んでいた Carp が負けたので、単独3位に浮上、2位と0.5ゲーム差。よしよし。

その後 USB メモリーをパソコンに刺して、今朝気付いた件がどうなってるか見てみたら、小生賢かったというのか前にやったことを忘れている老人呆けなのか、もっといいことが示されていた。で何か苦労して計算した物を「もっとも…だから自明だが」というメモ書きも付いてた。まあ気付くのは大変で、分かってから見ると自明なことだった、というのはあること。同じことを3回「独立に」証明したことがある。1回は違う証明だったのでいいけど。まあ何でもやったことはメモしておくのが大事、ということだ。

さて、寝不足だが、今日は呑みに行かないと。先週行ってないのが一つの理由だが、今日は店長が年を一つ重ねたお祝いに。特別な誕生日だ。祝ってあげないと。何人か同じことを考えて行ってるかもしれないな。まあ腹が減ってきたし、早目に行こう。

牧が久々の4番で2打点と活躍

今朝は10時くらいに一旦目が覚めて、お、鰻を食いに行けるか？と思ったが、やはり起きられっず、結局起きたのは11時半くらい。シャワーを浴びて、いつもの通り弁当を買うというパターンに。が、何か巡り合わせというのはあって、エレベーターの前に辿り着くと、A堀先生と KO の K 君（古い友人）が話していたのに巡り合う。エレベーターで6階まで上がる間にちょっと雑談。元気そうで何より。前も同じようにギリギリのタイミングで職場に着いた時に卒業生と会ったということが何度かあった。まあ偶然なんだけど、何か運命的なものを感じる。

1時10分から3回生向けの代数の講義。今日は P.I.D. がどうしたとかそういう話。ユークリッド整域（E.D.）は P.I.D. であるというのを証明したが、「Z の時と同じ」と不親切に済ませ、ガウスの整数環が P.I.D. であること（容易）を示して、可換環上の多項式の割り算は割る方の主係数（最高次の係数）が単元だと出来る（商と余りの係数が定義されている環に収まるということ）を示して、体上の多項式環は E.D.、よって P.I.D. とか。P.I.D. だと最大公約元があるとか色々 Z と同じだよね（証明も同じ）とかやって、素元と既約元を定義してゴチャゴチャやろうとしたら時間に成った。去年より半頁くらい先に行けた。もう折り返しを過ぎてるが、あとは P.I.D. ⇒ U.F.D. とか、ユークリッド整域上だと互除法が出来るとか、Q 上の多項式の既約性とか、まあ大丈夫だな、という感じ。Z[X] が U.F.D. だが P.I.D. でない、も出来るな。分数を制限した商環（局所化がやりたい）はここ数年の感じではちょっと無理そうだが。まあいいです。商体はやれるし。

個研室で昨日の群論のことをちょっと。反例は昨日の晩寝る前に思い付いた。いや、細かいことは恥ずかしいので書かないが、先入観というのは怖いもので、xy（x, y は数だったり何らかの代数系の元だったり、群の部分群だったり）と書いてあると、x と y は異なるものだと思い込んでしまう。今回は x と y を等しくすればいいだけのことだった。でちょっと思い出したのだが、線形代数の演習を担当した時に、行列を A₁, A₂, A₃, A₄ と適当に与えて、A_iA_j の計算出来るものは計算せよ、という問題を出す時に A₄ を正方行列にしておいたが、A₄A₄ を忘れてる学生の何と多かったことか。答案を回収した後説明したんだか次の週に説明したんだか忘れたが、A₄A₄ のことを言うと、「あっ！」と言った学生多数。別の年は呆然として虚空を眺める学生がいた。まあその程度のことで大きく減点はしないから、と言っておいた。正直ちゃんとやってるけど軽微なミスをしたというのは大したことない。何か間違ってるけど答えだけ合ってる、というのが一番良くない。若い頃は答案を隅から隅まで見ていたが、行列式の計算で行を入れ替えてるのに符号を変えず、たまたま入れ替える回数が偶数回だったから答えが合ってる、というのは×にした。1回は符号を変えたけど2回目は変え忘れたというのは、まあ分かってるんでしょうということでそっちの方が前者より点数は高い。これは同意してくれる同業者が多いと信じたいが。

でもう一個群論で分かってないことがあって考えてみるが、幾らやっても堂々巡りで結論に辿り着けない。気付いたらもう4時半近くに成っていた。

4時40分からゼミ。7階に行くと何やら賑やかな部屋があった。でゼミをやる部屋に入ると、賑やかなのはその部屋。学生は2人の筈だが、4人いた。え、今日木曜だっけか？と一瞬混乱した。一人が埼玉出身らしく、親御さんが遊びに来ていて、お土産に東京ばな奈を持ってきて、それを昨日持ってくるのを忘れたので、わざわざ来たらしい。それはそれは。「ぽんちゃめキャラメルバナナ味」という新発売の物らしい。美味しかった。

で今日はコブリッツの本。楕円曲線の加法を定義する話だが、explicit に書いてないが、最初方は \wp の加法公式を証明していたのだと思われる。で楕円曲線上の点の加法の公式を与えられた2点の座標を使って書いて、これを定義にすれば別に C 上じゃなくてもいいよね、という話が書いてあった。結合法則を徒手空拳で示そうとしたらしいが、無理だったようだ。それはそうです。途轍もなく難しいのです。で休憩後等分点の体の話を始めたが、ちょっと手間取ったらしく、そんなに進まなかった。等分点の体は面白くて、ちょっと3等分点の場合は詳しく調べたよ、という話をしたかったが、まだそれほど進んでないので、次回でいいかと。いや、代数体の勉強もあまり進んでないので、分岐が何だとか類数が何だとか言っても分からないだろうな。まあ適当に話すことにしよう。で8時まで部屋は押さえてあるが、7時15分くらいには終わりに成った。

考えてみたらまだ代数の演習問題を web に上げてなかったな、とちょっと作業。1問未定義記号を使った問題があったのでそれだけ削除して、で reference がおかしい所があったので直して、それからちょっと答えが正しく出るかとか確認して、終了。それから野球を気にしいしい環論のことをちょっと考えたり。ゼミの休憩中にチラッと見た時は0－0だったが、4－0に成ってた。今日はオースティンがお休みで、牧が久々の4番。で先制のソロホームランと2点目のタイムリーツーベースと、4番らしい働き。更に宮崎に2点タイムリーツーベースが出て、4－0。宮崎は不調で登録抹消されてた期間があるが、調整してくれば流石の所を見せてくれる。打率は .280 を超えてる。流石。で戸柱にソロホームランと4回を終わって5－0。よしよし。暫く代数をやってたら1点取られてたが、8回に佐野のタイムリーで追加点。もっと取れそうな感じだったが、1点止まりだった。悪いことが起きなければいいが。でまたしばらく置いてから見たら、9回表、2アウト満塁というピンチ。宮城がヒットと四球などでピンチを作った。まあ四球と言っても8球粘られた末のことのようで、特にコントロールを乱したわけでは無いようだから、いいでしょう。入江に交代して、内山にヒットを打たれて1点取られたが、岩田（知らん選手）をショートゴロに打ち取ってゲームセット。3連敗はしたがその後2連勝。Carp が Tigers に負けたので、3位タイに浮上。よしよし。

9時ちょっとに職場を後にした。昨日はココ壱番屋に寄る関係で正門前の信号を右折して、若草の交差点で異変に気付いた。何やら暗い。スターと言うスーパーがあるが、そこの電気が付いてない。え、潰れた？とビックリした。グリーンヒルの皆さんが使うだろうし、潰れるわけがない、と思って今日も若草の交差点まで行ったので見ると、「6月20日開店」と書いてある。別のスーパーが入るの？それとも改装？と思って調べたら、昨日は18時閉店で、今日から6月19日まで改装のため閉店、と書いてあった。ビックリした。このご時世に人口が増えている草津市だ、スーパーが潰れるわけない。住んでるわけではないが、ホッとした。

今「探偵！ナイトスクープ」を見てるが、その後に「ザキ山小屋 別館」という短い番組があって、その後はドラマがやる。面白い時は見るが、今のはあんまり面白くない。女弁護士かなんかが主人公のドラマだが、暗い。「かじんさん」と言ってるのが聞こえたが、主人公の苗字が「華陣」らしい。日韓共同制作らしいが、視聴率はどうなのかな？知らんけど。ということで見ないで、「キョコロヒー」のイベントの配信を見よう、ということにした。見よう見ようと思っていたが、中々3時間まとめて時間はとれない。明日は早起きしなくていいので、「ザキ山小屋 別館」が終わったら見よう。確かあと数日くらいしか配信してない筈なので。「座王」の配信の時もギリギリだった。いつもの金曜日は録画してあった先週分の「座王」を見てから録画するんだが、先々週と先週はチャンピオン大会が2回に分けて放送されて、続けて見たので、今晩は見ないでいい。「キョコロヒー」を見よう。

36イニングも点を取ってなかったそうだが、連敗は3で済んでよかった（3日で3失点だが1勝2敗）

昨晩はブログ更新後眠くて一旦ダウンしたが、2時間もしないで起きてしまった。むぅ。でその後少しゴソゴソとやって、4時半くらいには寝た。相変わらず生活リズムがぐちゃぐちゃである。で起きたのは1時半くらい。2時から学生とオンラインで面談の約束なので。が、5分過ぎても10分過ぎても来る様子が無い。2時半に成ったので Zoom を終わらせて、仲介をしてくれた事務の人にその旨メールを書いて、カップ麺を食べて腹ごしらえしてメールを見ると、忘れていたらしい。向こうの希望で面談をしようと思ったのに何なんだか、と思ったが、3時からやって欲しいと言ってきているようなので、まあいいか、と。で再び Zoom を起動すると、今度はちゃんと3時前に現れた。説教してもいいが、やめておいた。色々精神に不調をきたしたりしていたことがあったようなので、やらないでおいてよかった。で話を聞いたりアドバイスをしたりと、20分くらいは話したがな。一応やった甲斐はあった。

その後メールを見ると、またしても面談の日程調整のメールが。オフィシャルな面談なので今日とは違うが、今月いっぱいでオフィシャルな面談をしなくちゃいけない件の手続きは終わりだそうなので、来週の面談で一旦打ち止めだろうか。もう6月に成るしな。

4時40分からゼミなので、3時半過ぎに住処を出る。4時過ぎに職場に着いて、ウェストウィングに割合近い所に車を停めて、その後個研室で30分ばかりボーっと過ごす。でゼミ開始。今日は多項式環 R[t] での ABC 定理。まず証明だが、何ステップにか分かれていたうちの第1ステップで示すべきことを間違えていたらしく、しばし立ち往生。その後も数回引っ掛かっていた。見ていると、何でも頭で考えようとする学生なので、取り敢えず何でも書かせることにした。足立先生が「書いてみてごらん」と色々な学生に言っていたのを思い出した。書いてみればすぐ分かることはある。で何とか終了。高校生でも理解出来るくらいの証明。で休憩を挟んで応用例を幾つか。ビール予想とかカタラン予想の関数体類似など。Z の方では凄く難しい。カタラン予想は解決してるが、証明はわけ分かんないし、ビール予想は何も分かってないようだし。ビールを呑んで銘柄を当てる方が易しいかもな。で演習問題が2題ばかり出ていたが、一箇所 ＝ で結んだところがあったのだが、それは怪しい、と突っ込む。X⁵＋Y⁵（X, Y は不定元ではなく、X(t), Y(t) という t が不定元の多項式の不定元を略したもの）の次数を max{deg(X⁵),deg(Y⁵)} としたが、X, Y の次数が等しくて、主係数の符号が逆だと ＝ じゃないよね、と言ったらしばし呆然。が、その後の証明を見てるとそれは使わなかったので、大丈夫だった。今日はよく分かった。8時まで時間はとってあるが、7時ちょっとには終了した。

その後野球の様子を見ながらちょっとゴソゴソ。1－1という状況。牧にソロホームランが飛び出し追い付いていた。後で聞くと Baystars の得点は36イニングぶりとか。丸4試合だな。で群論の下らんことを考えて、秘蔵の群論問題集（群論の講義はあまりやったことがないので、非常に poor）を見たり。「多分成り立たない」とメモ書きがあったが、本当だろうか？その上に証明しようと努力した後が残っているが、確かに破綻している。反例は見付かるだろうか？と探したが、ちょっと出てこない。群論は苦手だ。などとしてから野球を見ると、7回裏2死満塁でフルカウント。まあ点は入らないでしょうな、と思って見てると、代打宮崎が押し出し四球を選んで勝ち越した。その後石上に2点タイムリーヒット。度会のホームへの生還が微妙だったようでリクエストがあったが、判定は覆らず。9回に祐大に犠牲フライが出て、5点目。よしよし。最後は入江が抑えて、連敗は3でストップ。よかった。明日から Swallows と横浜スタジアムで。取り返しましょう。

9時前に試合が終わったので、いつもよりちょっと早目に職場を出た。木曜日は行くのが遅いから一日短い。雨が降ると言ってたが、地面が濡れてる様子も無く、降らなかったのかな、と思って車に辿り着くとフロントガラスが濡れてた。降ったのかな？走り出して暫く経つとちょっと降り出した。大したことは無かったが。久し振りにココ壱番屋で食事をして、工事の始まる前に大津を通り過ぎて、10時前に外環三条の交差点を通過したが、洗剤の残りが僅かだったのを思い出し、ドラッグユタカに寄ってきた。この4月から24時間営業に成ったので、無理に寄る必要は無かったが、帰ってから再度行くと面倒なので。ついでに幾つか買い物をしてきた。

今「いたって真剣です」を見てるが、昭和100年がどうしたとかいう話をしている。小生が生まれたのが昭和43年だが、その頃と今で大分違う。今は平成でも既に37年だからね。1994年（昭和69年と言ってた）と今でも色々違って面白い。やすともが言ってたが、昔は風呂のお湯を張るにも気を使ってて、それどころか適温のお湯を出すのも一苦労だった。今は風呂はお湯が適量に成ると止まってくれるし、シャワーから設定通りの温度でお湯が出てくる。当時に比べ色々楽に成ってるはずだが、何でこんなに忙しいん？と。そうだよな、昔は洗濯は全部手動、ご飯を炊くのはお釜に米と水を入れて、火の加減をずっと気にしいしいやらないといけなかったのが、どちらも全自動に成ったし。料理を温めるのは電子レンジでいいし、食器も自動的に洗ってくれるしね。何故それなのに人間はこんなに忙しくなったか？ちょっと反省した方がいいかもな。

まだ5月も終わってないのに、大学の事務からここ数日来たメールは7月に関すること。学科長をやって初めて知ったのが、次年度の計画を4月中から始めないといけないということだった。我々の実態を知らない人は、週に3、4日の出勤で済んで羨ましいとか、長期休暇があってえーのー、ということだろうが、我々も結構忙しいのです。次年度の時間割作り担当に成ると、もう7月から動き始める。さっき twitter に書いてあったやり取りだが、「思ったほど研究に没頭出来ない」というのは本当のところ。まあ今年はここ数年で一番忙しくないのでいいけど。来年度はどうなるでしょう？鬼が笑うな。この辺にしておこう。

Window update が出来なかった件は無事解決

「キョコロヒー」を録画予約したら寝る、のつもりでテレビの入力をケーブルテレビのチューナーに切り替えたが、何やら「これ余談なんですけど…」がやってる。スカイAというチャンネルだが、ABC（朝日放送であって、アメリカのチャンネルではない）の系列なので、「探偵！ナイトスクープ」とか時々やってる。見たことない回だったので、つい見てしまった。鬼越トマホークがゲストで出ていたが、二人共だったか片方だけだったか忘れたが Baystars のファンで、始球式の時にマウンドでいつもの喧嘩ネタを始めて、康晃が止めに入った、という話をしていたが、映像を流してくれない。「権利の関係で」と成っていた。他の映像も同じ理由で流せなかったりと、ABC では大丈夫だが、スカイAは系列なのに駄目らしい。ABC とスカイAは別会社なのか、それとも放送する回数を制限されてるのか。面白かった。今と色々番組の形態で違うことがあった。同じ番組を何年もやってると色々変わるんだな。「過ぎるTV」も相当変わってる。「行列のできる法律相談所」なんか最後の方は法律関係無く成ってたからな。その後真弓明信氏がゲストの番組が始まって、うっかりそれも見てしまった。いかん、寝るぞ。

で起きたら11時半過ぎだった。シャワーを浴びて、12時10分を過ぎたくらいに出発。12時45分くらいに着いて、弁当は売ってるか？と見たら結構残ってた。水餃子の弁当を買って、さて個研室で食べようか、いや、慌ただしいな、と思ったので、陽気もいいし外で食べた。誰かに目撃されてなければいいが。

12時10分から線形代数の講義。先週定義だけやったので、復習して、それから2次と3次の場合は簡単に求まると話した後、n 次の場合は n! 個の項の和に成ることを言って、で4次でサラスの方法をやるという間違ったことはやってはいけない、何故なら項の数が全然足りないから、と話して、それから多重線形性、交代性を示して、で「P が正則の時 |PA|＝|P||A|」を示してる最中に時間に成った。来週はこれを完成させて、A が正則 ⇔ |A|≠0、|AB|＝|A||B| を示して、とかやる予定。まだ演習担当の先生方にメールを出してないな。行列式の基礎付けをやってる辺りだと問題が選びづらいかも。それに変な所で終わってるからな。後で書こう。

個研室に戻って一息付いてから、ちょっと電話。パソコンを買ってから数か月経ってるが、Windows update が毎回こけてるので、その件で。でメーカーのホームページにその種のことが出ていると教えてもらったので、見てみる。どうにかする方法が書いてあるが、コマンドプロンプトを管理者として実行して、然るべきディレクトリー（今時はフォルダーと言うのだろうが、cd コマンドを実行しろと書いてあるので、ディレクトリーと言った方がすっきりする）に移動して、そこで del ＊.＊ を実行しろ、との仰せ。随分物騒なことをさせるな。これやって痛い目に会った人は沢山いる筈。MS-DOS オリジンの場合は、いいのか？と聞いてくるのでまだいいが、UNIX オリジンだと rm ＊とやると有無を言わさずがっさりと消去されてしまう。早稲田の数学科計算機室は rm －i を rm に alias してあるから聞き返してくるが、それがデフォルトだと思うと大変。過保護だなと思ったことはある。えーと、でやって、再起動すると update 出来る、と書いてあったのでやってみる。すると始まった。おぉ。が、随分たまってたから、結構時間が掛かった。今日はスマホを住処に置き忘れてきたので、メールチェックが出来ない。パソコンがいじれないので TeX 打ちも出来ない。仕方ないので色々気に成ってた計算をしたり、線形代数の来週分の所を読んだり、事務室に行ってポストを見たりと。6時くらいに漸く終了した。今日中に届いてないと困る学内便が届いていなかったので、事務にメールを書いて催促したが返事が来ない。もう帰ってしまわれたか？パスワード付きのメールにするか onedrive に置くかしてくれとメールを送ったが、明日の早い内に返事があればいいが。

で落ち着いて線形代数の続き。ちょっと色々例を足したり説明を足したり、行列式の計算に列基本変形を使ってもよくなるので、有難味を感じられるような例を選んだり。時々チラチラと野球を見たが、チャンスを潰しまくって全然点が入らない。で暫くしたら1点取られてた。む。9時くらいに職場を離れたが、終盤近くでまだ0－1。む。で飯を待ってる間にスマホでチェック、と出来ないのだった。スマホを忘れたからね。晩飯を食べて、10時半くらいに住処に着いて、「報道ステーション」のスポーツコーナーで見たら0－１で負けていた。2試合連続0－1負け。昨日の負けが久々の連敗だったが、今日で3連敗。ここで止めないとまずい。明日はジャクソンだ。勝てよ。

今日 Giants の外国人が日本プロ野球通算11万号のホームランを打ったそうだが、場外ホームランで、ボールを捕ったのはチケットが取れずに場外で雰囲気を味わおうと思っていた人だとか。しかも今日の試合は滅多に試合のない石川県。キャッチをした人は運が良過ぎる。変なことが起きなければいいが。最近変な事故が多い。気を付けようがないからね。そんなことに巻き込まれず、その人に幸あれ。

バウアー好投も援護無く勝ち投手に成れず（押し出し四球で負け）

結局「キョコロヒー」の配信はまだ見てない。紙ゴミを出そうと色々計算してたらどんどん時間が過ぎていって、流石に3時間見るほどの時間は無かった。呑みながらやってたが、酔ってるからなのか冷静さを欠いてるからなのか、とある等式が示せない。いや、前に違う証明をしていたが、微分するとかそういう超越的な方法を使わなくても、定義から示せるでしょう、ということで。何とか示せたが、よく分かってない。まあ TeX 化はしておきましょ、と。後で見るとまた分からなくなる可能性は大だが、ま、痕跡は残しておかないと。他にも下らんことで分かってないことが沢山あって、どんどん時間は過ぎていった。阿呆や。

でテレビを付けたままダウンしたが、音が気に成らないくらい寝られた。で「newsおかえり」の音声が聞こえてきたくらいに意識が戻った。6時から野球なので、その前には起きようと思ったが、無理だった。最終的に起きたのは夕刻6時半過ぎ。なんて生活をしてるんだか。チャンネルをスカイAに合わせる。今日は Tigers と倉敷で。見始めた時は2回裏で、無死2塁とバウアーがピンチの状態。バウアーはここのところ体調が悪かったらしい。2試合で計10点取られたからね。それでも負け投手に成らなかったが。抗生物質を飲んで、体調が戻ったらしい。で流石なところを見せて、三者連続三振で切り抜けた。で今日は両チーム中々点が入らない。Baystars も無死1、2塁とかチャンスは作るんだが。バウアーはヒット、四球と打席でも頑張っている。才木は7回1死1、2塁というピンチを作って降板も、岡山出身の佐野、そしてオースティンが連続三振。むぅ。が、その裏の先頭打者大山のレフトへの長打性の当たりを佐野が2塁へ好返球してアウト。岡山で見せ場は作ったね。で Baystars 攻撃陣は8回から延長11回までずっと三者凡退。Tigers のリリーフ陣は流石。で11回裏に康晃が先頭の代打糸原にヒット、近本にツーベースを打たれ、無死2、3塁。で中野を申告敬遠で無死満塁。この状況で行けと言われた颯は可哀想だ。押し出し四球で負けてしまったが、颯のせいではないです。康晃が悪いとも思わない。勝負は時の運なので。バウアーは8回無失点12奪三振だが、勝ち星は付かなかった。残念。明日、明後日は甲子園で。明日の先発はケイだ。やってくれる。

延長11回裏までやったのに、0－1という結末だから、試合は案外早く終わった。10時前。「報道ステーション」を見ることにする。すると爆発がどうしたとか物騒なニュース。東京の江戸川区のマンション工事現場で大爆発があったとか。地中に埋まっている何とか言うガスのボンベを傷付けたためとか。何でそんなものが埋まっていたのか謎。凄い爆発だったようで、現場近くのマンションでは窓ガラスが割れるだけでなく、エアコンが外れてたりと。結構離れた所でも天井に穴が開いたりしているらしい。直そうにも責任の所在をどうするかが問題らしく、当分直せないとか。自腹でやるしかないだろうな。そろそろ梅雨だし。それに東京はここ数日涼しいらしいので、夜は寒いかもな。梅雨が過ぎると猛暑だ。直しておかないと。ご愁傷様です。

線形代数の講義は明日から本格的に行列式に突入する。難しいだろうな。置換の符号という難物を使わないのでいいけど。あれは苦労して勉強しても後々あまり役に立たない。まあ数理科学科だからやっておいてもいいのだろうが、他学科だとあれを理解するのは本当に無駄な労力だ。で行列式の定義が分からない、計算出来ない、と真面目な学生は陥るだろうし、そうでもない学生は計算方法を覚えて計算するだろうが、それも味気ない。まあ仕方ないな。著者のホームページに置換を用いた定義が出ているので、リンクを張っておこう。今日はちゃんと寝て、昼飯を食べて講義に臨まないと大変だ。また「キョコロヒー」は録画しておいて寝よう。

逆行列の (i,j) 成分は？

何か寝ようとすると何か思い付いてしまい寝るのが遅くなってしまう。結局昨晩も結構遅くまで起きてた。で9時半くらいに一回意識が戻って、昼飯を鰻にして職場に向かおうか、と思ったが、起きたらフラフラしたのでもう一度ダウン。その後10時半、11時、11時半とどのアラームでも起きられず、最終的に起きたのは12時のアラーム。今日は3時間以上のゼミが1時過ぎからあるので、空腹では耐えられないので、シャワーを浴びるのはやめて、出掛けることにした。寝癖は手を水で濡らして髪を擦り付けていいことにした。

職場に着いたのは12時半過ぎ。講義が12時20分までだから、まだ弁当はたっぷりあった。適当に買って、食べながらメールチェック。すると「本日のゼミについて」という題のメールが。まさかやらないのか？と思ったら、1人が体調不良で、大学には来てるが、早退させてもらうかも、とのこと。ゼミはもう一人が喋るのでやるらしい。よかった。風邪を押してまで無理来ることはないのだが。で二人ともマスクをしてたが、小生はしてないという、この前までの逆パターン。個研室にマスクはあるので、しに戻ろうかと思ったが、まあいいかと。今日は相対代数体 K/F の整数環がどうなるかという話の準備で、格子がどうしたとかそういう話。格子を考える時は大抵 F とのテンソル積を考えてどうしたこうしたとやると思うが、最初から体の中で考えてるから O_F 加群を F ベクトル空間に係数拡大するには単に掛けるだけなので単純。正直未だにテンソル積はよく分かっていない。やはり自分の研究で使わないと分かるように成らない。で3時間弱休憩無くやった。今日は割と真面目に聞いた。線形代数が色々出てきて面白い。行列式の置換を用いた定義って判別式が mod 4 で 0 か 1 のいずれかと合同というのに使うが、今日も出てきた。更に A の逆行列の (i,j) 成分が (j,i) 余因子/|A|、というのが使われていた。こんなことに使うのか、とちょっとビックリした。面白かった。分数イデアルが二つ等しいのが示せなくて困っていたが、学生の頃に本に書いたメモ書きを見ると、両辺の素イデアル P（ドイツ文字が書けないので、普通のアルファベットで）を全ての P に対して比較、と書いてあった。＋ は最大公約数、∩ は最小公倍数、という風に見るのが大事なのだ。二つの集合 A, B が等しいのを示すのは A⊂B と B⊂A を示すのが基本だが、片方は簡単に示せて、その後有限集合だったら元の個数が等しい、ベクトル空間の部分空間だったら次元が等しい、イデアルだったら生成元を見る、体の拡大だったら添加した元を見る、と技がどんどん身に付いてくるわけで、今日は一つ新しい技を身に付けられたでしょう。色々勉強に成った。調子の悪い方の学生が途中で帰っていった。お大事に。

もう水曜日の講義の準備は済んでるので、部屋で下らんことを考えていたのの続き。多項式の微分って形式的に定義出来て、で (F(X)＋G(X))'＝F'(X)＋G'(X) とか (cF(X))'＝cF'(X) とか自明で、(F(X)G(X))'＝F'(X)G(X)＋F(X)G'(X) もちょっと計算すれば示せる。が、木曜日のゼミで使ってる本に F'(X)G(X)＝F(X)G'(X) ⇔ ∃c∈R s.t. F(X)＝cG(X) というのが商の微分を使うと示せる、と書いてあるが、やろうと思ったら有理式の微分をきちんと定義して、(F(X)/G(X))'＝0 （F(X),G(X) は多項式）と F(X)/G(X) が定数であることが同値、を示さないといけない。R でやってるから平均値の定理とかあの手の奴を使えばいいが、任意の標数0の体でやろうと思ったら、ガリガリ計算するだけで示さないと、と思って少し前に考えて、出来た、と思って鞄に紙を入れてそれっきりに成っていた。でこの前ちょっと鞄を整理した時に出てきたので、ちゃんと TeX 化しておいた。ad－bc＝0 の類の式を見るとすぐ線形代数が思い付くのはいいことなのだろう。係数体が何かをちゃんと認識しておかないといけないが。今回は R(X)（有理関数体）が係数体。そこをちゃんとクリアーして、何とか完成。でもうちょっと下らんことを考えていたが、やはり係数が環（即ちベクトル空間でなく環上の加群）だと色々うまくいかない。体であることは偉大だな。でもういいか、と7時10分くらいに職場を後にした。もう渋滞してないだろうし。

で渋滞はしておらず、8時前には住処に辿り着いた。まだ買い物をしてないので、買い置きが無いから Uber Eats だな、ということにする。4回もキャンセルされてる麻婆丼と餃子を凝りずに頼んだが、今日は大丈夫だった。満足。その後ニュースを見ながら、書き散らかした紙を整理するため TeX 化作業。明日は確か月2回の資源ゴミの日なので。段ボールとアルミ缶と段ボールを分別しないと。エントランスのポストを随分開けてないが、多分またマンション売れ売れ系の紙が大量に入ってるだろう。見てこないと。それと宅配便が二つ以上届いてるが、半月以上置きっ放しだ。いい加減取ってこないと。資源ゴミの日は教授会としたもんだが、明日は無いようだ。案内メールが届いてない。明日は起きなくていいのか。じゃあ呑むか、って感じだが。土曜日呑んでないしね。「キョコロヒー」の野外イベントが配信（有料で）されてるので見ようか？3時間くらい掛かるようだから、プロレスが終わったら寝て、明日野球の始まる前に見ようか？それとも後日にするか？まあもうちょっと考えよう。

大の里の全勝優勝は成らず

結局昨晩はブログを書いて、食事の買い出しにも行かず勿論食べもせずでダウン。4時半くらいに一回目が覚めてしまったが、次に目が覚めたら1時45分くらい。野球が1時半からだったのを思い出し、起きてテレビを付けた。が、まだ眠い。3回に3点取られたところで眠いのと嫌に成ったので、再度寝床へ。一回意識が戻った時は満塁のチャンスを潰して無得点だったシーン。む。次に聞こえてきたのは、床田が今シーズン3度目の完封勝利という声。東の失点は3回の3点だけだったので、勿体なかった。Baystars の無得点は久々じゃないかな？まあこんなこともあります。他球場の結果を見ると、Tigeres も Giants も勝ってしまい、勿論 Carp も勝ったので、最悪。4位転落。まあ1位と2位、2位と3位、3位と4位の差はいずれも0.5ゲームずつ。明後日からは Tigers と。今回のカードは1勝1敗だったので、カード負け越し無しがずっと続いている。Tigers にも勝ち越しましょう。ベストな展開は勿論3タテ。頑張れ。

で暫く寝床に居続けたが、時計を見ると5時15分くらい。相撲を見ないと。で起きてチャンネルを変えると、丁度結びの一番。大の里全勝成るか、豊昇龍が勝つか、と集中。大の里が攻め込んでいったら、横綱が上手ひねりで勝ち。残念。どこを見ても「横綱の意地」というフレーズが見受けられ、トレンディ入りしているらしい。まあそうだろうな。まあ大の里強かったですわ。入門僅か13場所だからね。日本人横綱の誕生は嬉しい。期待する。三賞は38歳0か月で10勝のベテラン佐田の海（敢闘賞）、21歳の安青錦が11勝で敢闘賞、関脇霧島と小結若隆景が11勝で技能賞。いいですね。関脇大栄翔は琴櫻に勝って10番で、三役が3人も二桁勝利。さあ誰か大関に成るでしょうか？

晩飯を食べよう、ということにしたが、上に書いた通り買い出しに行ってないので、Uber Eats に。見ると、4回キャンセルを食らわしてきた店が「ご注文お待ちしております」という趣旨のメッセージを出していたが、今日はやめる。吉野家の親子丼に唐揚げが乗ってる奴を頼んだが、親子丼はなか卯の方が旨いな。牛丼は吉野家の勝ちだけど。で食べながら昨日放送の「ミラクル9」を見ていたが、昔に比べ一人で行きやすくなった店、というアンケートの1位が牛丼屋。成程。大学生の時にアルバイト先で、昼飯を食べてこいと言われ、小生と女の子と二人で作業していたのだが、「吉野家でちゃちゃっと済ませよう」と提案したが、牛丼は嫌、と断られた。その次の時は向こうから「牛丼屋でしたら一人で行ってください」と先手を打たれた。で山科に住んで駅前の松屋に入ったら、若い女性が一人で食べているのを見てびっくりした覚えがある。入りやすくなった理由はサラダがあったりとか女性でも入りやすくなった、という理由だったが、いや、女性がおっさん化しているのでは？という気もする。真実は如何に？

まだ疲れが充分に抜けてない。明日は1時10分からのゼミだけだが、ちゃんと寝ておこう。頭が動かないとちゃんと指導出来ないからね。それに昨晩呑んでない割には腹の調子がよくない。で前に書いた通り連動しているので、鼻の調子もよくない。もう花粉症のシーズンではないと思うが、気温の上がり下がりが激しいし、暑い時に合わせて薄着で寝る習慣が付いてしまったから、寝冷えかちょっとした風邪か？とにかく今日はちゃんと寝る。

浅村栄斗、平成生まれの選手初の2000本安打達成

今週は不規則な生活を大分した（「不規則正しい」という名言を生み出した方がいる）ので、寝ないと、と思ったのだが、ついまたやってしまった。先々週の「座王」を先週見た時に、「来週はチャンピオン大会」と言っていて、しまった、テレビに繋いでるハードディスクに録画してしまった、と大後悔。それだと Blu-ray に落とせない。むぅ。で先週の分を見たら、2週間に分けて放送されていて、2回連続で見て、などと堪能してから、昨日の分の相撲のダイジェストをチェック。昨日うっかり書き忘れたが、大の里が13日目にして優勝を決めていた。横綱は決定だな。でうっかり一昨日の分も見てしまう。一つ疑問があったのだが、解決した。尊富士が負け越してるな、初めてか？と思ったら、入門以来出場した場所は全部勝ち越していたそうだ。残念。まあ壁はあります。一度くらいはそういうのは味わっておかないと。あ、また書き忘れそうになったことを一つ。序ノ口優勝の力士の四股名が「一意」。何と読むのか、と思って聞いたが、よく分からない。今の時代は便利で、「一意、序ノ口優勝」として google 先生に聞いたらすぐ分かった。「かずま」と読ませるそうだ。四股名は「一意虎風」だそうだが、本名が「川渕一意」というらしい。数学やったら人気者に成りそうな名前だな。「ユニーク」という渾名が付くだろうか？「風呂」とか言われるかもな。「湯に行く」ということで。これは小生のオリジナルなネタではなく、ヒロミのネタ。一意は木瀬部屋所属だが、関取が6人もいる。切磋琢磨して上を目指してください。

11時過ぎに近所に用事があるので、寝ようかと思ったが、ついまたつまらん計算を始めてしまう。ちょっと思い付いたことがあったが、うまくいかないな、ということで無駄な時間を使った。でほぼ寝てない状態で出掛ける。もう雨が降っていた。待っている間（何を？）にスマホを見たら、広島での野球は既に中止が発表されていた。パ・リーグの熊本での試合も。まあ仕方ない。今日は穏やかに過ごせる。いいことだ。で雨はまだ大したことないので、DCM に寄って買い物。この前買った小さい電波時計は電波をキャッチしてくれない。業を煮やして新しいのを買うことにした。大した値段じゃないし。で帰ってきて電池を入れ替えて、さて、と思ったが、今度のも駄目。説明書を読んで電波の強制キャッチを数回試みるもうまくいかない。夜間だとうまくいくかもしれないという趣旨のことが書いてあったし、日に数回試みてくれるそうだから、待ってみよう。前の前の時計は電波をちゃんとキャッチしていたし、腕時計も大丈夫だから、壁が厚いからとか、wifi が飛んでるからとかが原因ではないようだから、明日を楽しみにする。

で相撲は優勝も決まってるし、寝ようかと思ったが、眠く成らない。であっと言う間に5時。幕内の後半くらいは見るか、と起きて見た。大の里はまた勝って、これで14勝。全勝するかな？新大関を目指す小結の若隆景と再度の大関を目指す関脇の霧島が11勝目。2人とも優勝経験のある実力者。怪我など不運なことが続いた。頑張って欲しい。もう一人大関を目指す大栄翔は9勝5敗に。千秋楽は琴櫻が相手。琴櫻としても8勝7敗を続けるわけにはいかないだろう。どうなるでしょう？

いい加減ちょっとでも寝て、体調を整えて呑みにいかないと、と思ってテレビを付けっ放しで YouTube を見たりしていたが、池上彰氏の声が段々遠のいていていき、「サタデーステーション」の音声が全く聞こえず、気付いたらホラン千秋の声が聞こえた。寝たらしい。時計を見たらもうふなごやの閉店時間を過ぎていた。いや、常連が無理にねじ込めば呑ませてくれるとは思うが、今日は天気がよくないし暇だったろうから、やめておいた。店長は最近忙しいようだから、ゆっくり休んでください。来週は絶対行かないといけない理由があるので、行くけど。

まだ晩飯を食べてない。ふなごやで食べるつもりでいたのだが。相撲の最中にカップ飯を食べておいて、本格的にふなごやで、のつもりだったのだが。朝の時点ではカップラーメンが一つあったが、それは朝飯にしてしまったので、ストックが無い。仕方ない、買いに行くか、などと思っていたら、徳島で大雨の情報。京都は大丈夫だろうか？出掛ける気に成らない。超寝不足だから、空腹でも寝られそうだが。まあいいや、もうちょっと考えよう。

などと考えてしばし。Facebook に面白い情報が。セ・リーグで一番負け数が少ないのは何と Baystars。5連敗したが、現在22勝18敗3引分。借金6の状態からその後は連敗無く10勝ち越して、現在の貯金は4で単独2位。今日首位 Tigers が負けたので、0.5ゲーム差。残念ながら Giants が勝ってしまったので、3位 Giants とゲーム差なしに。明日は東だ。天気は曇りだから大丈夫でしょう。それと、番長が監督に成っての勝率が昨日の勝ちで丁度5割に成ったそうだ。1年目は借金19で最下位だったそうだから、そこから大きく勝ち越したのだな。現役時代も大きく負け越していたし、やはり5割は嬉しかろう。東尾が現役時代に200勝に成った時点では負け越していて、213勝目だかなんかで勝ち負けが並んだという話が出ていたのを思い出した。所謂「黒い霧」事件の西鉄で滅茶苦茶放ってたから、東尾は大変だったろう。確か25勝40敗というとんでもない成績のシーズンがあったと思うが。えーと番長の話。明日勝って、勝ち越しにしましょう。そして首位！

あ、また大事なことを忘れていた。浅村栄斗（Eagles）が2000本安打達成。1回にタイムリーヒットを打ち決めたらしい。平成生まれで2000本は初とか。大阪桐蔭出身選手でも初。立派。数日前に長く続いた連続試合出場が途切れたのは残念だが。まだ34歳。引き続きの活躍を期待。

無死満塁のピンチを1失点で凌いで辛勝。2位浮上！

一昨日から12時にもスマホのアラームを仕掛けるようにしたが、早速役に立った。11時半のアラームでも起きられなかったが、12時に仕掛けたおかげで起きられた。まあ昼飯はいいや、ということでシャワーを浴びてから出勤。職場に着いたのは1時ちょい前。リンクスクエアの売店で例によってカレーパンを一個買って流し込んでから講義室へ。

金曜日は「代数学I」。今日は a≡b (mod m) を定義してからフェルマーの小定理とオイラーの定理。3¹²¹ の下二桁はオイラーの定理ですぐに求められるが、3⁶¹ ではどうでしょう？という話を必ずする。(Z/100Z)^× の指数が20であることを Chinese remainder thorem を使えば示せるので、3²⁰≡1 (mod 100) だが、まだ Chinese remainder theorem はやってない。が、実は 3⁵＝243≡43 (mod 100) は簡単に示せて、43＝50－7 とやれば 3¹⁰ mod 100 は暗算で 49 と求まり、49＝50－1 とすれば 3²⁰≡1 (mod 100) も暗算、という話をしておく。それから素イデアルと極大イデアルの話。イデアルが素イデアルであるとか極大イデアルであるとかを定義通り示すのは面倒だという例を見せた後、剰余環を用いた特徴付けを示して、具体例を幾つか。それから極大イデアルの存在を Zorn の補題を用いて示したら時間に成った。毎回去年よりも5分長くあるのに去年と進度が変わらないのは不思議なんだがな。まあいいけど。

生協で冷めた唐揚げ弁当、のつもりが、揚げ立ての唐揚げを提供してくれるキッチンカーが目に入ったので、明太マヨ丼500円也を注文する。個研室で貪り食ってから講義の後始末。特に問題は無かったが、もう一言書いておいた方が分かり易いな、聞いている学生も話している小生も、と思う所が一箇所あったので、そこを直して、それから web に上げる演習問題を少し練ってなど。今日の講義で口走ったことが問題にあったが、まあそのままでいいでしょうということで特に気にせず置いておく。問題におかしな所が無いか軽くチェックして、上げて、で学科のサーバーには相変わらず超古いのが残っていたので、ftp ソフトを起動して差し替えて、など。1題ちょっと気に成ったものがあって、それ前に解答作ったんだっけかな？と秘蔵の代数学問題集と初等整数論問題集を調べたが、その前にちょっと気に成ったことがあったのでゴソゴソやってたら、4時半くらいに成ってた。時間の経つのは早い。

4時40分からゼミ。今日は代数的整数論の本。まず整数環の整数基の存在。トレースによる非退化双一次形式と、それに関する相補基底の存在を用いた証明。今まで見た中で一番短い証明だった。いや、去年同じ本でゼミやってるから見た筈なんだが、全然印象に残ってない。何故？まあいいけど。で存在定理あるあるで、証明を読んでも求め方が分からない。ということで、二次体と純三次体の整数基を求める話。二次体の方は割とすぐ出来た。m≡1 (mod 4) の時の二次体の整数って (a＋b√m)/2、a≡b (mod 2) と表しておいた場合と 1, ω（ω:＝(1＋√m)/2）の有理整係数の一次結合で書いたののと、一長一短。ノルムを計算したり冪乗を計算する時は前者の方が易しい。何しろ (√m)²＝m だから、√m の高い冪の計算は易しい。ω² を 1, ω の1次結合で書くのにもちょっと一苦労。まして ω³ なんて。ノルムも (a²－b²m)/4 だからね。a＋bω のノルムは a²＋ab＋b²(1－m)/4 と難しい。単数に限らず何か与えられたノルムを持つ元を探すにも前者の方が楽。で一休憩挟んで純三次体の話だが、途中で力尽きたらしく、準備をしたところで終了。7時前だった。まあいいです。去年一箇所紛糾した気がするんだが、メモを探しておかないと。

個研室で純三次体の話で一箇所気に成った所があったので、確認。ちょっと定数で割ってたからいいのか？と思ったが、考え過ぎだった。で最小多項式を求めたかったが、手計算でやるのは面倒。SageMath だと型が違うの何のとやってくれないが、Maple なら大丈夫だろうと思ってやってみた。流石 Maple、すぐ出来た。でそこはOKに成って、続きを考える。今日やった所はちゃんと理解出来た。で去年紛糾した部分は学生がメールで送ってくれたのを思い出した。今時の学生だけあって、手書きの物を pdf 化して送るなんていうことは何の困難も無く出来るようだ。ちょっと探すのは面倒なので、帰宅してからやろうということにした。でさっきの初等整数論の問題集の続き。一問上手く答えの出せない問題があって、ちょっと考えるがうまく求まらない。有限素体上の曲線の（affine な）有理点を勘定する問題なのだが、何かよく分からない。こんな時は SageMath だ！ということで起動させて数行の簡単なスクリプトを書いて実験すると、全然違った。予想以上に規則性がある。うむ、分からん。後で考えよう。

と書いてるが、途中野球は何度も気にしていた。ゼミ終了後4回表あたりから見始めたが、オースティンの内野安打で先制。その後1死満塁のチャンスを作る。打者三森。併殺打だけは無しよ、と思って見ていたら、併殺打を打ちよった。三森も最初はよかったが、ちょっと疲れてるかな。しかし5安打で1点とはいかにも効率が悪い。こんな日はやばいぞ、と数学をして暫くして見たら、もう1点入ってる。おっ！牧がタイムリー2ベースヒット打ったようだ。でまた暫くして見ると、Carp の攻撃中で、無死満塁。ジャクソンが伊勢に交代したところ。怖くて見てられない。整数論をしながら祈っていたが、大分経って見たが、1点取られてるだけ。おっ！伊勢が併殺打に抑えて、その間の1点だけだったようだ。よしよし。で9時くらいに成ったから帰ろう、とまた野球を見ると、勝った！嬉しい。10安打で僅か2点だが、やいやい言うまい。何しろ0.5ゲーム上の Carp との直接対決に勝ったということで2位浮上！だからん。まあまだ順位云々は早いが、やはり上の方にいると気分がいい。まあ去年のように9連敗することとか、しつこいが去年の9月の Carp のように月間20敗とかあるからね。じっくりいきましょう。

今日はさほど暑くなかった。今のうちだけだからということで、ちゃんぽん亭で温かい物を食べても大丈夫。で寄るが、店には文句は無い。味もいい。が、あまり行きたくない理由は、入り口に「虫が入るから閉めてください」と貼り紙がしてあるのに、開けっ放しにする馬鹿者が多くて、毎回腹が立つ。今ぐらいの陽気ならいいが、真冬にそれをやれる奴の気持ちが分からん。一枚扉を開けたところに券売機があって、そこから入ったのが食べる所なのだが、酷い奴は両方開けっ放しにしよる。連れが買うのを待ってる間は扉を開けて、レールの上に立ってたりする。どうにかして欲しい。自動的に閉まるようには出来ないんだろうか？実家に風呂が出来る前は銭湯通いだったが、脱衣所と浴室の間のドアはちゃんと閉めてくれ、といつも思っていた。流石に銭湯のドアは閉まるようには成っているが、そのほんの数秒の寒さが嫌でたまらなかった。そういうあたりに気を回せないと大物には成れないと思うが。いや、気にしないくらい図太くないと大物には成れないのかな。知らんけど。

明日はちょっと昼前に出掛ける必要があるが、関西は昼頃から雨だと言ってた。間が悪い。仕方ないから傘を持っていこう。広島は雨らしい。中止かな。セ・リーグの他の2試合はどちらもドームでだからやるな。明日 TIgers が負けると首位に0.5ゲーム差に成る。Dragons が勝っても別に痛くも痒くも無いので、Dragons に頑張ってもらおう。

さっきの曲線の点の個数を勘定する話だが、閃いた。x 座標を先に決めて y 座標を求めようとするから難しいんだ。y 座標を決めて x 座標を求めさせるようにすれば容易だ。3乗根を求める必要があるが、p≡2 (mod 3) という条件を付けてあるので、3乗根は unique。簡単だった。あほや。

石田裕太郎が被安打1、四球1の29人斬りで完封勝利

水曜夜から木曜に掛けてはどうも夜更かししていかんな。今朝も明るく成ってから寝た。何をしていたかと言うと、Tikz と戯れたり TeX の nicematrix パッケージで遊んだり。前者は去年描いた絵に一箇所気に食わない所があったので、そこをどうにか出来ないかと。「Tikz による LaTex グラフィックス」という本が朝倉書店から出ていて、ちょっと高いんだが、時々生協が特定の出版社の本をいつもの10％引きよりさらに勉強してくれて15％オフフェアをやってくれるんだが、その時買った。一緒に志賀浩二先生の30講シリーズをまとめて購入したり。で買ったけど全然開いてなかったんだが、見てみようと思って見たら、疑問は即座に解決。望みの絵が書けた。嬉しい。で後者は3次行列式の計算方法（サラスの方法というやつ）を書きたくて。大抵の本に出ている線をグニャグニャ曲げてる奴は上手く計算出来なくて嫌で、ダミーに左右に同じものを書いて線を引っ張るのもどこを線引くか分からなくて嫌だったが、前に線形代数の講義を担当した同僚が使っていた本（吉本武史、山崎丈明「線形代数学 －理論・技法・応用－」学術図書出版社）にいいのが出てた。求めたい行列式の右に第1列と第2列を書き足して、3本線を引くことが可能な所だけ引けばいいというもの。これだと間違えなくてよい。で去年の講義の時は黒板には書いたが、講義資料に書けなくて、ちょっと残念だったのだが、来週行列式を講義でやるので、頑張ってやってみようと思って張り切った次第。nicematrix を解説してる pdf ファイルを読み読みああでもないこうでもないと数時間。満足いくものが出来上がった。嬉しい。こういうのは時間がある時にやっておかないと。今年は今の所は割と余裕があるので、もっと色々やっておこう。

で結構変な時間まで起きてて、それから寝たが、起きたら3時半過ぎ。む。木曜日は4時40分からのゼミだけという変なスケジュールなので、大丈夫なんだが。ただ、ゆっくり食事をする時間が無いな、ということでウェストウィングの1階の自販機でパン1個とコーヒーを買って、食べてからゼミ。今日は体上の多項式環が P.I.D. なのをまず示して、それから互いに素が何だとか拡張ユークリッドの互除法とか。その後 U.F.D. であることを証明するなど、よく知った話が続いていた。まあ大体分かってるし、ちょっと気をそらしても突っ込むことくらいは出来るので、ちょっと内職で演習問題を解いたりしてた。前から気に成ってた問題が1題解けた。分かってしまえば当たり前なこと。純然たる Z の問題だが、やはり代数体で考えるとうまくいくことがある。今回のはガウスの数体程度だが。デデキント ζ 関数を使うともっといい結果が出るのは知ってるが。まあよかった。ゼミは数箇所茶々を入れれば済み程度だった。まあまだ易しいから。来週は ABC が何だとかそういう話だから、ちょっと引っ掛かるかもしれない。ちゃんと理論武装しておこう。2時間弱で終了。まあ二人の学生が毎週喋ってるので、これくらいの時間で済むのは仕方ない。段々難しく成ってくるので、時間が掛かるように成ってくるだろう。

数学の内職はしてても、流石に野球の経過を見るのは気が引けたので、ゼミ終了後個研室で見るまでは見なかった。で見ると2－0でリード。おっ！1回に2点取ってた。ちょっと代数の講義のことを考えたりとゴソゴソやりながら、時々野球。6回に三森がタイムリーヒットを打ち追加点。よしよし。暫くしてもう一回見ると、すぐ後に桑原がタイムリー内野安打を打って4－0。よしよし。でまた暫くして見るともう9回。先発の石田裕太郎が投げ続けてる。完封させるのか？と思って見てると、完封勝ちした。僅か107球。凄い。去年はどん底状態の Lions が相手とはいえマダックスをやってる石田だ。これくらの力はあろう。昨日点の取り合いになるだろうというようなことを書いたが、石田が見事に期待を裏切ってくれた。素晴らしい。試合終了時には8時10分にも成ってなかった。試合開始が5時半とはいえ、早かったな。

8時半くらいに職場を後にして、すき家でカレーを食べて、9時45分過ぎに帰宅。NHK のニュースのスポーツコーナーを見てびっくり。石田は1安打しか打たれていないらしい。見ると、四球1、安打1の二人しか出塁を許さず、29人で打ち取ったようだ。凄い。早く終わるわけだ。昨日は2桁安打打ってる Dragons 打線を沈黙させた。改めて凄い。ルーキーだった去年はいい出足だったが、失速して4勝止まり、日本シリーズ制覇の歓喜の輪に加われず悔しかったらしい。今年は去年の倍以上の勝ち星を稼いで、「横浜奪首」に大いに貢献しておくれ。で「報道ステーション」でもう一回石田の快投を見たかったが、眠くて起きていられなかった。やはり不摂生が続くとよくないな。明日は講義とゼミだから、今日はちゃんと寝ないと。大の里が勝ったのはさっきスマホをうっかり見たら出ていたので、知ってしまった。まあダイジェストは録画しておくが。他の取り組みも気に成るし。

明日からは0.5ゲーム上にいる Carp とマツダスタジアムで3連戦。勝ち越しは必須。頑張ってもらおう。広島は暑いだろうな。ジャクソンだ。大丈夫だろう。

講義室の冷房が使えて嬉しい（効きが悪いけど）

今朝は11時30くらいに漸く起きられた。10時半と11時のアラームは聞こえたような気がしたが、無意識で止めたのだろうか？シャワーを浴びて出掛けても弁当は売ってるだろうということでさっぱりしてから出勤。

12時40分に成るか成らないかくらいに職場に着いた。弁当は沢山売ってたが、何故か50円引きの投げ売り状態。沢山あったから、売れ残ると思って焦ってどこかが始めて、他の店も対抗して安売りを始めたのだろうか？知らんけど。暑いから売れないのかな？知らんけど。食べてからちょっとまったりして、講義に出発。

今日は線形代数。講義室に入って見ると、冷房の電源が入っている。おぉ。1回生は真面目に出席してる（出席チェックをしてないのに）て、フルに来ると120人くらいに成るようだから、今日みたいな陽気の日は暑くてたまらんだろうと思ったが、まあよかった。うちの冷房は効きが悪いので、暑いことは暑いが。で始める。今日はまず簡約化の一意性から。2、3回読んだので、大体分かってる。ということでスムーズに終了。学生は多分何やってるか全然分かってないだろうから、証明のキーに成っている事実「簡約化する前とした後での列ベクトルの1次関係式は同じ」という事実を身に沁みて欲しいということで、4次の列ベクトルを5個与えて、そこから1次独立なベクトルを目いっぱい選び、残りのベクトルを1次独立なベクトルの1次結合で表す、という例題をやってみた。数を沢山書くのが嫌なので、後で manaba＋R に上げておく、と言って結果だけ書いておいた。で逆行列の計算の節に突っ込む。正方行列が正則であるのと同値な条件を沢山挙げる。例えば rank が一杯になるとか、同次連立1次方程式が自明な解しか持たないとか、幾つかの基本行列の積に成るとか。この条件だけが目茶目茶分かりにくい。線形代数の演習を担当していた時に、講義が理論的な内容目白押しの時に、正則行列を幾つか与えて、それらを基本行列の積に分解せよ、という問題を出したことがあるが、全然出来てなかった。行基本変形することと基本行列を左から掛けるということが同じということが分かっていないのだろう。いや、理工の数理以外の学科がテキストにしている三宅敏恒「入門線形代数」は基本行列が全く出てこないが。で同じサイズの正方行列 A, B が AB＝E または BA＝E を満たせば A, B は正則で、それぞれが互いの逆行列に成っていることを証明。三宅先生の本ではこれは行列式を使って正則性を確認出来ることを示した後にやるが、木田さんの本では「正則 ⇔ 同次連立方程式が自明な解しか持たない」を使って証明している。本によって色々で面白い。で漸く逆行列の計算方法が教えられた。n 次正方行列の逆行列を求めるには 2n² 個の数を書かないといけないので、大変面倒。n＝3 くらいでやって、それより大きい場合は基本変形の仕方と結果だけ書いておいた。テキストに演習問題が沢山あるので、やってください、と言っておく。で中途半端に10分弱時間がある。まあいいか、と行列式の章に突っ込んで、定義（1列に関する余因子展開を使って帰納的に定義する方法）を書いて、2次と3次の場合を書いたら時間に成った。本論は来週から。

個研室へ戻ってから3時からの面談の準備。デスクトップのパソコンには web カメラが付いていないので、ノートパソコンを開いて、メールを見て Zoom のリンクをつついて、で声がよく聞こえないので散らかってる所からイヤホンを探して、で無事開始。やはり数理科学科はつまらんのだろうか？データサイエンスが思っていたのと違うというようなことを言っている学生が一定数いるらしい。どうなんですかね。その後事務の人と少し雑談。オフィシャルな面談があるのは今月いっぱいらしい。よかった。色々消耗するからね。が、別の事務の人から学生が非公式な面談の要求をしてきているようで、その件についてメールを少々。それから線形代数をしよう、で気合を入れようと、飲み物を買いに1階まで降りて、でエレベーターに乗っていた学生が降りて少し経ってから何やら話し掛けてきた。今年進学してきた、書類上小生の学生と言うことに成っている人だった。多分顔を見るのは3回目で数か月ぶり。完全に忘れていた。代数幾何をやりたということなので、隣の部屋の助教の先生に丸投げしているので、本当に全く会っていなかった。顔を思い出したので、次からは大丈夫だ。

で線形代数を始める。去年と同じ本でやっているが、改めて色々知ることが出来て面白い。何か循環論法に陥ってるんじゃ？と思った所があったが、大丈夫だった。この辺は繊細だ。で A が正則 ⇔ |A|≠0 を示した後に |AB|＝|A||B| を証明したりとか、三宅先生の本と違い過ぎて面白い。でさっき示したばかりの「正則 ⇔ 基本行列の積」が大活躍する。そうなのか。面白過ぎる。学生の頃はついていくのが精一杯だったし、講義を担当して日の浅い頃も局所的に理解するのに精一杯だったが、段々余裕が出てきた。足立先生が twitter に年を取るのは悪いことばかりでないと書いておられたが、そうだな。少し前の数セミにやはりレジェンドな方が若い頃に戻りたいとは思わないと書いておられたし。「年を取る」ではなく「年を重ねる」だそうだ。成程な、と思うね。でああでもないこうでもないと計算したり TeX 化したりして、9時に成ってしまった。

途中チラチラと野球を気にしていたが、バウアーは今日もよくない。2回にソロホームラン打たれて、暫くして見たら 0－4 という状況に変わっていた。むぅ。でまた暫くして見たら 3－4 に。お！でまた暫くして見たら 5－6。入江が投げてる。何と一旦は追い付いたようだ。入江が田中とかいうのに1号ホームランを打たれたようだ。バウアーがホームランを打たれたの板山は2号ホームランだしな。ちょっと不用意だったか。まあ打たれることはあります。今日も10安打で5点取ったが、今見たらエラーが3。昨日は Dragons がエラー3で自滅だったが、今日は Baystars が自滅かな。やはりエラーは怖い。まあいいです。明日勝ってください。明日は石田裕太郎か。Dragons もマラーとかいう聞いたことないピッチャーだ。石田の防御率は7.88、マラーの防御率は5.95。明日も点の取り合いかな。

天気予報通り雨が降っていた。帰ってきてエアコンを除湿にして掛けているが、蒸し暑い。さっき冷房モードに切り替えた。もうそんなシーズンだ。そろそろ寝苦しいシーズンが来るな。昨日は超寝不足だったのですぐ寝られたが、今晩はどうだろうか？明日は早起きしなくていいので、寝付けなくても大した問題ではないが。昨日のニュースでやってたが、遅くまで LINE やってて寝不足で死亡事故を起こしたトラック運転手がいたそうだが、小生も寝不足で運転することがある。まあ渋滞してる時間を避けて運転して、高速道路を走ってる距離は15分程度だから、大丈夫だとは思うが、こればっかりは何とも言えない。気を付けないと。酔っ払い運転だけはしないよ。最近酔って事故を起こしてる輩が多い。乗る前の日は呑まない。極力ね。

大の里はまた勝った。11連勝。相手は2敗の若隆景。安青錦はどうだったのだろう？後で調べておこう。あ、昨日の「報道ステーション」のスポーツコーナーで、今日のキーワードは『10』と言っていた。10年連続がどうしたとか、大の里の10連勝がどうしたとか。Baystars の10得点を取り上げんかい！とちょっと憤慨した。いいけどさ。

1回からの4イニング連続得点などで2試合連続の二桁得点で圧勝

結局昨晩も違法販売機で酒を買ってしまった。会ったことない御仁にメールを書くのは疲れる。外国人にメールを書くのは大変だが、書いている英語が失礼な表現を使っているのかどうなのか全く分からないので、ある意味楽。日本語は母国語だけになまじ分かるのが辛い。同僚で誤字脱字が多かったりちゃんと確認した？という間違いを平気で送ってくる人がいるが、「卒研性」とか「佐竹一郎」とかはやめたほうがいいよね、と思うので、メールは何度も読み返す。それでも「伊藤」君に「伊東君」と書いたり、「藤家」先生に「藤井先生」とか書いちゃうこともあるので。で結構時間を使って、何とか完成。その頃には例によって明るくなっていた。いや、夜明けが早く成ってるのだが。違法販売機は最近欲しい本数に達する前に売り切れに成ることが多いのだが、昨晩は買えたので、お代わりを買いに、と思わないでもなかったが、明るい中酒を買って顔を見られると恥ずかしいし、もうマスクもやめたので髭がボーボーなのも分かってしまうので、やめておいた。

で寝床で YouTube を見てたら寝落ちしたが、30分くらいで目が覚めてしまった。それからは眠く成らない。で下らん動画を結構見てしまった。数学動画ばっかり見てた時期があって、その頃はお奨めにそういったものが次から次と来ていたが、最近ちょっと鉄道動画を見たら、今度は鉄道動画が次から次へと。色々考えさせられてしまう動画があったり、その関係で時刻表を見たりすると、ああ、と思わされてしまう。いや、別に一生関係無い所に関することなのでどうでもいいのだが。で途中食事を摂ったりとかしながら殆ど寝ずに、気付けば夕刻。何してんだかな。

今日の野球は何故か5時半プレーボールなので、相撲は途中で切り上げてチャンネルを変える。大の里がどうなったか気に成るが、まあ野球を見ましょ、ということで。で見てよかった。1回表に先発のケイが2アウト1、3塁のピンチを凌ぐと、裏に2番牧が初球を特大のホームランを打ち先制。2回に得点圏打率4割強の祐大がタイムリーヒット、桑原が投手強襲の当たりを打ち、打球方向が変わるとショートが捕れずに2点タイムリーヒットで4－0。3回はオースティンがホームランに祐大が犠牲フライで6－0。4回は宮崎に1号となる3ランホームランが飛び出し9－0と一方的に。6回に宮崎の内野ゴロの間にもう1点取り10－0と2試合連続の二桁得点。ケイは7回2失点と、今まで投げた試合は全てクォリティースタート。去年は6勝9敗だったがシーズン後半から調子を上げてきたので、それが続いてる感じでもう4勝。不調で一旦二軍に落とされた宮崎が1ホームランを含む3安打4打点。らしくなってきた。まあ今日は「ゆうだい」違いの大野雄大が横浜スタジアムで10年勝ってないとか、「やまもと」違いの山本泰寛が攻守で精彩を欠いて、Dragons はチーム3失策と自滅と言えば自滅。拙攻もあった。Baystars は12安打で10点だが、Dragons は10安打で2点。ノムさん曰く「勝ちに不思議の勝ちあり 負けに不思議の負けなし」だからね。4位 Giants が負けたのでゲーム差は1.5。残念ながら2位 Carp は勝ってしまったので、2位浮上は成らずだが、それでも0.5ゲーム差。Baystars の貯金は3もある。去年はシーズン終了時に貯金2だったからね。追い風が吹いてるうちにどんどん上がっていきましょう。明日はバウアー。この前は6失点だったが、奇跡的な逆転勝ちで負けが付かなかった。明日はちゃんとしてください。

試合終了後は知らない女性歌手のライブが始まった。これのために30分早かったのか。勝ったお陰で盛り上がっていた。負けてたら Baystars ファンはとっとと帰ってしまうだろうから、勝ってよかったですな。

今日は暑かったようだ。ようだ、というのは朝方にセブンイレブンに買い物に出た以外は外出しなかったから。夜のうちにエアコンを除湿にして運転させておいたが、昼は元気に動いていた。明日も蒸し暑いのだろうか？この時期は講義室の冷房の電源が入らないので、中々暑い。しかも今年度から95分講義に成ったから、長く感じるかも。

今 NHK のニュースで相撲の結果をやっているが、大の里は一山本を問題にせず全勝を守った。伯桜鵬は大栄翔に完敗、安青錦は若隆景に肩透かしを食らい土俵際で逆転負け。これで星の差は二つに成った。明日は大の里と若隆景らしい。見たいが早目に帰ってこようか？あ、明日も野球が5時半からか。じゃあいいや。忘れちゃいけないのが学生との面談が講義後にある。髭を剃っておこう。

もう流石に眠い。寝よう。「相席食堂」も「ロンドンハーツ」もどうでもいいや。「キョコロヒー」と相撲のダイジェストは録画しておこう。

ここ数日 Z[√(－m)] のことばかり考えてる（今日は m＝14)

昨晩は結構下らんことをするのに3時過ぎまで起きていて、寝床に入ってからも暫く起きていた。随分前の数学セミナーに長岡亮介先生が書かれていた文章が面白かった。でちょっとしか寝てないのに5時台に目が覚めて、そこから寝たら今度は10時半のアラームも11時半のアラームも無視して寝続ける始末。12時ちょいに漸く本格的に起きた。1時10分から3時間強のゼミなので、食事をしないわけにはいかない。弁当が売っててかつ食べる時間確保、ということでシャワーは抜き（今時の言葉で言う「風呂キャン」というやつだな）にして出掛ける。で12時40分くらいには職場に着いたので、弁当は買えた。唐揚げとメンチカツが乗ったやつで、まあ食べ応えがあってよかった。

で1時10分からゼミ。今日はまず K＝Q(√(－14),√(－7)), F＝Q(√(－14)) とした時、整数環 O_K が自由 O_F 加群に成らないことの証明。昔読んだ時によく分からなくて放りだした記憶ががあるが、今日はよく分かった。最初に F のイデアル I＝(7,√(－14)) が単項イデアルでないことを示していたが、何故？と思ったが、矛盾を出す時にそれが効いていた。いや、今日もよく分からないので学生に尋ねたら、2人の学生のうちの1人が、「それだと I が単項イデアルでないことに反しません？」と言ってくれて、成程、伏線回収出来た、と嬉しかった。ただ、I が単項イデアルでないことの証明の本に載っている物がとっても下手。もうイデアルのノルムも efg＝[K：F] もやってるので、I＝(α) とすると N_F/Q(α)＝7 となるが、これが不可能なことは容易、でいいではないか、と思ったが。まあ代数の講義でやるにはこうやった方がいいのだろうが。ちょっと面倒臭くて避けていた方法でやっていたので、一応メモっておいて、後で TeX 化し、もう飽きているが Z[√(－5)] のイデアル (2,1＋√(－5)) が単項イデアルでないこともそれで示してみよう、と。でここまでで結構時間を使った。ちゃんと詰めてないと思われる所があったので、突っ込んでみると案の定というか怪しかった。その後も数か所準備不足があった。そりゃそうだよね、と思って流して大丈夫なのは相当経験を積んでからで、馬鹿にしないでちゃんとした方がいいよ。頭で考えてOKと思っても、書いてみると間違ってたってことはよくある。大学生の時に一緒にゼミをやっていた津田塾大の子が、不等式の証明をやりだして暫く経って「がーん」と言ってたが思い出される。これは本当に「がーん」と言う人がいるんだなと思ったこともあって忘れられない。それと、最初の大学院生のうちの1人もちゃんと考えてこない奴で、黒板の前で不等号が逆向きに成り焦っていたのも思い出される。ちゃんとやりましょう。4時30分まで部屋は押さえてあるが、次の命題の証明が時間までは終わらなそうということで、4時ちょいにお開きしてもらった。よかった。

水曜日の線形代数の講義の準備をしようかと思って見たら、もう予習は済んでた。先週の水曜日の講義後にやったな、と思い出した。会議が無かったので。で上に書いた Q(√(－14)) のイデアルのことが気に成ったので。そもそも本では I＝(7,√(－14)) と置いてたわけではなく、7O_F＝I² なる素イデアル I、という形で与えられていた。だから 7 と √(－14) が I に入ってることを示さないといけなくて、まあそれは簡単、かと思ったが、最初から「素イデアル」と言ってるから楽なんで、イデアルとだけ言われていたら素イデアルであることが示せるのか？とか例によってつまらんことを考えてしまった。I≠O_F はすぐ示せた。I≠I² はどうやって示すんだろう？(O_F：7O_F)＝49 は簡単に示せるので、I≠O_F, I≠I² が言えれば、群指数の性質から O_F/I が Z/7Z と同型となり万々歳、というつもりで考え始めたんだが。I/I² が加群として O_F/I と同型であることを示せればよいが、これは多分 I と I² の隙間に入ってる元（uniformizer というやつ）が必要だと思うが、それは I≠I² を示す必要があり、堂々巡り。I＝I² から I＝O_F が示せればよいがな。どうやるんだろう？としばしあーでもないこーでもないとやって、「数論序説」を見たら分かった。IJ₁＝IJ₂ の両辺の I を何乗かして単項イデアルにすればよい、という証明で、今の場合は最初から I² が単項イデアルであるように与えられてるから。出来た。ついでに I＝(7,√(－14)) が示せるかな、と思ったが、まあ腹も減ってきたし、渋滞する時間でもないし、いいことにして撤収。

相撲はどうなったと思ってNHKのニュースを見た。大の里は今日も勝った。9連勝。若隆景は阿炎に負けて2敗に後退、伯桜鵬と安青錦は1敗を守った。どうなるでしょう？明日はリアルタイムで見られるので見よう。

その後何やら暗号がどうしたとかエニグマ暗号が何だとかいう番組が始まって、チューリングだフォン・ノイマンとか、興味深そうな番組が始まった。が、結局 AI の話をしたい番組のようで、数学者の話は頭の方ちょっとやっただけだった。2¹²⁷－1 が素数かどうか判定するのに、25分で判定出来て凄い、っていう話があったが、これを打ってるパソコン程度でも1秒かからず素数だと判定してくれた。まあコンピューターの進歩は著しいよね。小生が中学生の頃だからもう40年経ってしまっているが、当時のパソコンはメモリーが64kBあれば多い方だった。ハードディスクなんてものは勿論無かったし。浪人中はパソコンはいじらないと決めていて、大学に入ってフロッピーディスクの存在を知った時はビックリした。こんな一瞬で保存、読み出しが出来るのかと。今では HDD が遅い、SSD にしろ、とかいうご時世だが。えーと、AI の話。ついに囲碁も AI が勝つ時代に成ってきたが、まあまだ数学は大丈夫。いや、形式的な計算とかは負けるかもしれないが、新しい定理の証明は出来ないよ。新しいことの証明には何か突飛な発想が必要に成ることがあるし。昔の人の発想を丁寧に追い続けた結果得られた定理というのもあるだろうが、それだけではないでしょう。それと、手を出す勇気と言うのも必要だろう。Wiles が semi-stable な場合にモジュラー性を証明したら、それから何年も経たないうちに谷山－志村予想は完全に解けてしまったが、あれは Wiles のお陰で谷山－志村予想に手を出しても大丈夫だ、と思ったからだろう。Wiles のニュースがあった次の日に小松啓一先生が「我々の手の届く所にあったんだな」と仰っていたのが昨日のことのように思い出される。もう30年以上前なのだが。小生が科研費の調書に毎年「予想」と書いて、未だに予想のままの物でも AI が解いたら脱帽するけどね。いや、帽子被る習慣は無いので、脱帽するとは何もしないという意味だが。

暑いな。明日の京都は31度まで上がるようなこと言ってた。もう冷房を動かしたい気分。どうしよう？また今日もちょっと面倒なメールを書かないといけない。暑いとやる気が湧かない。呑もうか？明後日朝10時から面談の予定だったが、先方の都合で15時からに成ったので、今晩はちょっと不摂生をしても大丈夫に成った。呑むかな。「過ぎるTV」はあんまり面白くないし、買いに行くかな。

今シーズン初の二桁得点を呑み過ぎで眠くてほぼ見てない

昨晩のふなごやは大賑わい。団体と思しき客が二組と、初めて会う薬大生の女の子が一人。でその一組に薬大を数年前に卒業して広島で薬剤師をやってる人が混じっているとバイトの人に聞かされてビックリした。Baystars が負けて機嫌が悪かろうということで声を掛けてこなかったそうだ。気にすること無いのに。で彼のいる団体は程々の時間に解散したが、もう一組の女性の三人組が日が変わっても延々呑み続けいてた。我々はバイトの人が大体手が空いたので呑み始めて、初めての薬大の子と、まあもう大仕事は無かろうと呑み始めた店長と四人で楽しく。女性三人組は結局相当遅くまで呑んでた。我々が呑んでるので「閉店です」と追い返すわけにはいかないだろうし、まあ金を落としてくれるからね、ということでしょう。その後も我々はちょと呑み続けた。眠かったが寝落ちせずに最後まで。で帰りにセブンイレブンで水を買って、もう一つ何か買ったような記憶があったが、何だったかな？

1時過ぎに一旦目が覚めて、テレビの音声が聞こえなかったが、ケーブルテレビのチューナーの電源が落ちていた。ABC で Tigers vs. Carp を放送している筈なので、チャンネルを変えて、もう一度横に成る。しばらく寝たり起きたりを繰り返しているうちに Tigers が勝ったようだ。もう5時を過ぎていたので、起きて相撲観戦。大の里滅茶苦茶強いな。中日勝ち越しは大の里だけ。「サンデースポーツ」で激やせした元貴景勝の湊川親方が「ここからの八日間が大変なのです」と言ってた。

Uber Eats に近所の店の麻婆丼と餃子を頼んだが、途中でキャンセルされてしまった。この店でキャンセルを食らったのは多分四回目だと思うが。何なんだか。仕方ないので王将にしたが、たまには違う物にしようということで、餃子弁当にした。食べてるうちに Swallows vs. Baystars が始まった。2回にスクイズを決められ先制を許す。その時の東の一塁への送球が悪送球で1アウトランナー2、3塁と嫌なランナーの残し方をしたが、幸いその後三振とショートゴロでピンチを逃れた。何か嫌な感じだし、眠いな、ということで寝床に入ると、大後悔。見ておけばよかったという展開に。5回に林が出塁するも牽制に誘い出されて1、2塁間に挟まれる。が、Swallows が下手な挟殺プレーをやってくれて、林は1塁に戻れた。で儲けたというわけだろうか盗塁して、祐大がタイムリーヒットで同点。東が送りバントの後、桑原のショートゴロでランナーを3塁で刺そうと焦ったか、お手玉をしてくれてオールセーフ。牧、度会の連続タイムリー、オースティン四球の後佐野がタイムリーヒット。先発の石川はここで交代。代わった星から宮崎もタイムリーで一挙7得点。石川は味方に足を引っ張られたし、自責点は少ないのでは？と調べたら6だそうだ。挟殺プレーの失敗はエラーとは記録されないのだな。が、東は何か冴えない。ヒット、四球、死球で無死満塁。が、やはり最下位に沈んでるチームはそんなものか、という感じで、併殺打の間に1点取られただけだった。東は7回2失点と結果としては文句無いが、東には凄い結果を期待してしまうので、ちょっと物足りなかった。何しろ一昨年は16勝3敗防御率1.98、去年は13勝4敗防御率2.16だからね。まあ今年も防御率は1.90、5勝1敗なのだが。7回に祐大がまたしてもタイムリーヒット、牧が2点タイムリーで10得点。二桁得点は今シーズン初めて。まあ Swallows が相手だからね。Giants が負けてくれて、1日で3位復帰で、Carp も負けたので2位と0.5ゲーム差。首位 Tigers とは2ゲーム差なので、まだまだいける。明後日から Dragons と3連戦。最低でも勝ち越しだな。Tigers は Giants と。Giants が負けると飯が旨いが、Tigers と差が開くのはよろしくない。Carp は Swallows とだが、Swallows には今度は頑張ってもらわないと。

さっき冷蔵庫を見たら、綾鷹のペットボトルが入ってた。確かセブンイレブンのレシートに割引券が付いてるのに気付いて買ったんだった。謎が解けた。

「サンデースポーツ」の後は海外ドラマをやることが多い。今やっているのはフランスのドラマで、自閉症の文書係と警部の妙な女性コンビのドラマ。面白いんだよな。今度 BS 4K で第1シリーズを放送するそうだが、今の機器で見られるんだろうか？面白そうだが。で今回は馬が殺されたところから発展していく妙な回。殺された馬が「フィボナッチ2世」という名前。ん？と思って見ているが、やはりあのフィボナッチの名前が出てきた。最近何かのゲームで「ワイルズ」という名前が出てきて、数学者界隈では結構盛り上がっていたようだが、この前 CM で見て、あ、これが噂の、と思った。もうフェルマー予想が解決して30年経つが、それ以来のフェルマー予想の盛り上がりか？と業界人は騒いだそうだ。さっき Facebook を見てたら、東京の「志村駅」という名前だった頃の「高島平駅」の写真を上げている人がいたが、そこに谷山－志村予想が何だとか書いてる人がいた。業界人でも小生のような暇な人がいるんだな。勿論志村けんと関連付けてる人が圧倒的に多かったが。面白いね。

宮城はプロ初勝利の次の日にプロ初黒星

次の日起きなくていい＝不摂生のチャンス、ということでまた変な時間まで起きていた。が、呑んではいない。いや、呑むつもりはあったんだが、何か急に鼻の調子がおかしくなってきて。これは薬を飲んで寝た方がよかろう、ということにした。でそのまま結構変な時間まで寝た。相撲は途中から見た。大の里強い。

不摂生のせいか鼻炎の薬のせいか、眠いぞ、ということでも一度横に成った。チャンネルは Swallows vs. Baystars の放送のあるフジテレビ1に合わせておいた。ちょっと寝たが、桑原が何やらいいプレーを見せたという声が聞こえてきたので起きた。頭上を抜けそうな当たりを押さえ、犠牲フライによる1失点で凌いだようだ。まあよかった。がスコアは0－2。いけないな。が、すぐ佐野が1号3ランホームランで逆転。5回には度会が2ランホームランを打ち5－2。いいですね、と思ったら、サンタナにソロホームランが飛び出し5－3。で展開は悪く、6回を抑えた颯は打撃がいいということで代打を送らず。期待に応えてヒットを打ったが、次の回にランナーを二人出し、代わった坂本が茂木に3ランホームランを打たれひっくり返される。む。がすぐ度会のヒットをライトがファンブルし無死2塁。オースティン、松尾と連続で犠牲フライが出て、あっさり同点。よしよし。でピッチャーは昨日プロ初白星の宮城。期待して見ていたが、四球、送りバント失敗、盗塁、タイムリーツーベースヒットで勝ち越されてしまう。む。9回は石山に抑えられ、あっさりゲームセット。残念。まあ毎試合勝てるわけではないので、いいです。昨日勝っておいたのはデカいな。宮城は今日はプロ初黒星。まあ防御率0.00の投手はいないんでね。まだまだ頑張ってください。

さて、思ったより野球が早く終わった。6－7だと10時くらいまで掛かることはあるが。ということで呑んできます。Tigers が首位に返り咲いたので、店長は機嫌よかろう。楽しく呑めそうだ。

ビックリするような大逆転勝利で、宮城滝太がプロ初勝利

今朝は10時ちょっとに目が覚めてしまった。もう少し寝たかったが、まあいいか。数物事務室に用事があるし。今年度から学系事務室は午後は無人に成ることに成ってしまい、よく知らない事務仕事を聞き聞きやるには午前中に行かないといけない。これくらいならシャワー浴びても11時20分に成る前には学系事務室に行ける、ということで、10時50分くらいに職場へ向けて出発。事務室に人がいるのはいいことだ。何故そんな風にしてしまったんだろうか？27000円くらいの額の領収書を処理して、無事用事は一つ終了。

まだ12時前だったので、弁当は沢山あって、バラエティーも豊富。今日もいつもと違うのを買って食べた。で1時10分からの講義にはまだ時間があるな。何しよ？そうだ、パソコンのディスプレー周りがひどく散らかっているので、片付けよう、と。が、始めて後悔した。まあどうでもいいものが出てくること出てくること。例えばマテマティカ（もう無い）と有隣社のカタログが大量に。封を開けてないまま後生大事に取っておいたのも阿呆なら、注文するかもしれないからと取っておいた葉書の量たるや。他にも試験の採点済み答案用紙を事務に渡した時に引き換えに貰った紙片とか。ディスプレーの周辺はちょっとすっきりしたが、例によって裏の白い紙は捨てようとしないので、かえって収拾が付かなくなった。まあいいです。

1時10分から「代数学I」。まず準同型定理の使用例の続きをやって、それから Z のイデアルについて色々。全て単項イデアルだとか、それを使って最大公約数の存在を示したり、与えられた整数の最大公約数がそれらの1次結合で書けるとか。それを使うと飯高茂先生言うところの「合コンの定理」が証明出来て、素数が素元とか。で Z のイデアルを完全に分類した辺りで時間に成った。来週は a≡b (mod m) の定義から。フェルマーの小定理とかオイラーの定理もやるよ。それから素イデアルとか極大イデアルとか。段々訳が分からなくなってくるだろうな。

で個研室に戻って片付けの続きをしたり、出てきた計算用紙の浪費をしようと、彌永・有馬・浅枝「詳解代数入門」を見て剰余環のことを勉強したり。秘蔵の代数の問題集の剰余環の所に「らしい」とか書いてある所があったので、そこをどうにかするために彌永・有馬・浅枝を読んだわけだが。講義で挙げてる例って Z[√(－5)]/(2,1＋√(－5)) が Z/2Z と同型とか Z[i]/(1＋i) が Z/2Z と同型とかそんなのばっかりだが、実は Z[√7]/(4＋√7) が Z/9Z と同型なのを示す方が難しかったりする。いや、代数的整数論を使えば当たり前なんだがな。講義で話したりレポートの課題に出したりするには整数論無しで示せないと色々まずいのでやっている。で飽きてまた片付けて、ホームページに上げてる演習問題の新しいの上げようかどうか考えたりなどしているうちに、あっと言う間に4時半。

4時40分からゼミ。今日はペー関数の話。前から不思議なのだが、ペー関数が楕円関数であることを示すにはまず導関数が楕円関数なのを示して、でそのペー関数がその原始関数だから云々とやるのが何の本にも出てる。こうやらない証明は無いのかな？と思うが、無いんだろうな。p が mod 4 で 3 と合同な素数の時、0<a<p なる平方剰余は同じ範囲にある平方非剰余より多い、というのは虚二次体の類数公式を用いないで示すことは今のところ出来ていないらしいし、m が平方数でなくて mod 4 で 3 と合同な素因数を持てば x^2－my^2=－1 は整数解を持たない、つまり √m を連分数に展開した時に周期が偶数だ、というのを第1補充法則無しで示せないか、とちょっと思ったことがあるが、まあ出来ないだろうな。西来路さんの本を前に見てみたが、周期が偶数であることを示す時はペル方程式の言葉に翻訳してなかったが、最後はやはり第1補充法則だったし。数学は難しいね。一旦休憩をはさんで、(\wp(z),\wp'(z)) が例の関係式を満たすことを証明したり。60とか140とか出てくるとニンマリしてしまいますね。あまり真面目には聞いていなかったが。ちゃんとやってるようで何より。8時までゼミ室は押さえてあるが、7時ちょいには終了した。

休憩中に野球の様子をチラッと見たら、1－3と2点負けてる状況。牧がソロホームランを打って先制したが、頼みのバウアーが3ランホームランを打たれたようだ。む。で片付けの続きをやったり計算したりして、時々野球をチラチラと。1－4に成った後に3－4にして、6回に1アウト満塁のチャンスを作るも、牧が三振、度会が外野フライで無得点。むぅ。バウアーは2塁ベース上に長いこといたから疲れたか、直後に2点取られて、あ、もうあかんわ、と諦めて数学を少々。剰余環は難しいな、などとやって TeX 化したりしてるうちに9時に成ってしまったので、帰ることにした。野球はもう終わってるだろう、と思って次々ウィンドーを閉じて、Chrome を最後にしたが、野球の状況を見てびっくり。8－6。リードされてるのだろうと思って見たら、表のチームが2点リード。そう、Baystars が逆転していた。ビックリ。7回に佐野がタイムリーヒット、8回に戸柱が犠牲フライで1点差、8回にオースティンが2ランホームランを打ち逆転、松尾汐恩がホームラン（二者連続）でダメ押し。凄い。オースティンは待望の1号ホームラン、松尾は5打数4安打3打点の大暴れ。今シーズンはバウアーと毎回コンビを組んでて、バウアー登板試合の打率は優に5割を超えてるらしい。今日は6失点とちょっとそっちは問題ありかもしれないが、まあまだ二十歳だし。経験を積んで、祐大との二枚看板で活躍して欲しい。あ、戸柱もね。去年のポストシーズンは戸柱抜きでは駄目だったろうからな。Giants が勝ってしまったが、まあまだ0.5ゲーム上です。Tigers は Carp との直接対決に敗れて首位陥落。上が潰し合いをすると助かる。明日は Tigers に勝ってもらいましょう。 Carp の貯金が5、Tigers が4、Baystars が2、Giants は1。まだまだ混戦だね。大きく離されなければいいので、コンスタントに2勝1敗ペースで行きましょう。

駐車場に向かう途中に雨が落ちてきた。傘は無くても大丈夫な程度の降りで、晩飯を食べ終わってもまだ大したことはなく、住処に戻ってきても傘無しで駐車場のゲートが閉まるのを待ってた。明日は結構降るようなことを言ってた。野球は中止だろうか？

あ、今日の Baystars の勝ち投手は宮城滝太。プロ初勝利。おめでとう。沖縄出身で何故か滋賀学園出身。育成ドラフト1位で入って7年目。苦労したね。去年は育成で入った中川虎大が7年目で初勝利だった。石の上にも3年と言うが、7年は長いね。まあ7年続けられたのは何か光るものがあったのだろう。今後も活躍してください。

牧が唯一の得点を叩き出し、最後は好守で抑えて貯金1で3位浮上

大体一日おきに無茶をする。今日も超寝不足。昨晩呑みたかった理由の一つが、面倒なメールを数通書くこと。同僚に2通、学生に1通、外国人に1通。同僚宛のはよく事務的なルールを小生も把握してるとは言えないので、事務から来たメールとかシラバスとか見ながら書く必要があった。まあ大体間違っていないメールに成ったろう、ということで済み。この時点でもう結構な時間。学生にはあまり詳しく書く必要は無かろうということで、まあ割合簡単に。外国人宛のメールは面倒。英語の能力が乏しい（小渕元首相の言う「ボキャ貧」というやつ）ので。電子辞書を引っ張り出してきたが、電池が切れてるので交換して、さて。で色々文案を練ってと、辛い。幸い Chrome は文章のおかしな所やスペルミスを教えてくれる。そこそこ形に成った。で送って。でもう「おはよう朝日です」が始まって大分経ってた。

腹が減ったので、買ってあったカップ飯を食べて、さて、というところで閃いた。自動車税を払ってこよう。セブンイレブンで出来るので、払い込み用紙を持って向かう。幸い卸してきたばっかりなので、現ナマはある。10000円札数枚＋500円なので、10000円札と1000円札で払う。新しい1000円札は未だに使えない所があるので、使ってしまおうと。が、迂闊だった。新500円玉も使えない所が多い。セブンイレブンの向かいのチェリオの自動販売機に入れたら案の定はじかれた。まあいいです。

でゼミは4時40分だから、十分寝られる時間はあったが、色々やったので目が冴えて眠く成らない。YouTube で下らんものを見てると寝落ちすることがあるので見始めたが、眠く成らない。どんどん時間が過ぎていく。いつの間にか11時を回っていた。何してんだか。カップラーメンが1つあったので、食べて横に成って、でまた YouTube を見てたら、眠く成ってきて、少し寝られた。テレビを消しておくと寝すぎてギャ！ということに成り兼ねないので、テレビは付けておいた。「相棒」の音声が聞こえてきたので、起きた。4時ちょい前に住処を出る。

4時半前に職場に着いて、ウェストウィングにそれなりに近い所に停めて、4時40分からゼミ。まずは素数の無限性とかエラトステネスの篩とか。それからメルセンヌ数が何だとかフェルマー数が何だとか。新しい素数が去年の10月に見付かったので、メルセンヌ素数の話題ついでに話して、正多角形の定規とコンパスによる作図について知らないようなので教えてあげた。655537 より大きいフェルマー素数は未だに見付かってないので、フェルマー大噓つきだよね、とか。で選手交代して、多項式の次数が何だとかユークリッド式の割り算がどうしたとか。良く知った話だし、眠く成らないか心配だったが、本の後ろの方を見て面白そうな話題を見付けてメモっておいたりとかしてたら大丈夫だった。2時間くらいで終了した。まだまだ易しい。ABC の話あたりから大分難しくなるぞ。合同式も剰余環を使って説明するから、分かってないと辛いかもね。

6時台だと道路が混む。渋滞に巻き込まれて眠く成ってブレーキが緩んでギャ！とか成ると大変だから、8時過ぎまでは職場にいようということして、メモっておいたものを TeX 化したり計算したり。野球は時々チラチラ。8時近く成ったので、この辺にしよう、ということにしたが、ゼミ中にメモを取ったり計算したりする紙を用意しておこうと部屋を漁り始めると、どうでもいい紙が大量に出てきてギャ！と成った。他にもどうてもいいものが奥から奥から出てきて。片付け始めたらまたそっちに夢中に成って、どんどん時間が過ぎていく。野球は時々見たが、Baystars も Tigers も点が入る様子が無い。7回表に好投のジャクソンが満塁のピンチを作ってしまい、伊勢に交代。流石は伊勢大明神。抑えた。で8回裏2アウトからここのところいい働きを見せている九鬼が内野安打で出塁。桑原四球の後、牧がタイムリーヒット！1点入った！よしよし。9回は当然入江。2アウトは取ったが、その後去年までの同僚の楠本に四球、渡邉にも四球。まあどちらも9球粘られたので、コントロールが乱れているわけではないのでいいが、やはり怖い。バッターは近本。嫌な予感がしないでもなかったが、暫く経ったら「試合終了」の表示。勝った！貯金だ！貯金1で上をいっていた Giants が逆転されてた。よしよし。Giants は押し出し四球で先制したり無死満塁のチャンスを作ったりしていたが好機を逃し続け1得点。開幕からずっと好投を続けていて、この前無失点記録の途絶えた山崎伊織が満塁ホームランを打たれたらしい。8回にケラーが3四球で交代し、馬場がストレートの押し出し四球とか。乱れに乱れて4連敗で5割へ後退。これで Baystars が3位浮上。よしよし。まだ貯金1だし、色々言っても仕方ない時期だが、やはり好成績なのは嬉しい。明日からは Swallows と神宮で。明日はバウアー。やってくれると信じたい。謎なのは土、日もナイターなこと。何故だろう？ふなごやに行くのが遅くなってしまう。まあいいです。

今「報道ステーション」で野球の情報をやってるが、Fighters の宮西が880試合連続リリーフ登板の新記録らしい。凄いね。それと、Baystars vs. Tigers の最後の近本のセカンドゴロは牧が攻守を見せて防いだようだ。去年は貧打に喘いだ Carp が打撃好調でセ・リーグ1位の打率 .254、投手陣が課題だった Baystars が防御率 2.35 と2位タイ、失点 94はリーグ2位の少なさ。色々様子が変わってきていいですな。Baystars はよく見ているからなのかエラーが目立っているが、17失策で、Carp の18、Giants の24よりはよい。どんどん上がっていってもらいましょう。打率 .219 だけはどうにかしてな。

車を停めた後セブンイレブンに食事を調達に行ったが、その時閃いた。ナナコでなく現金で払おう。飲み物込みで527円だったので、500円玉が使えて、2枚あった5円玉を1枚使えてすっきりした。お金を使う時は色々気にしながらやらないと。

さて、もう寝るぞ。「やすとものいたって真剣です」はあまり真面目に見てないし、「アメトーーク！」は女子プロレス芸人らしく、女子プロレスは全然知らないので面白くなさそうだし。明日は1時10分から95分講義をやって、1コマ空いて、2コマゼミだから、ちゃんと寝ておかないと。11時過ぎに起きるつもりなら12時間くらい寝られる。12時に起きて飛んでいくなら13時間くらい寝られる。大丈夫でしょう。ということでおやすみなさい。

講義後職場で線形代数の準備に励む

やはり昨晩も眠く、「キョコロヒー」は始まったが起きていられずダウン。で今朝は11時少し過ぎに起きた。シャワーを浴びて行っても弁当がタップリ売ってるだろう時間なので、スッキリしてから出掛ける。中華弁当を買ってから少しまったりして、1時5分くらいに個研室を出て講義室へ向かう。

今日は1次独立がどうしたこうしたという話。数ベクトル限定でやっているので、まだ話は易しい。「一個のベクトルが1次独立 ⇔ 零ベクトルでない」というのは変に思えるだろうけど、定義は別に2個以上のベクトルに限定しているわけではないので。これ一般のベクトル空間でやると何やってっかチンプンカンプンだと思うが、数ベクトルだからまだ易しい。ついでに「2個の零ベクトルでないベクトルが1次従属 ⇔ 平行」とか、「1次従属 ⇔ どれか一つが他のベクトルの1次結合」とか、易しいので示しておく。それから同次連立1次方程式の1次独立な解がどうしたとか解の自由度がどうしたとか。で色々やってたら簡約化の一意性を示す時間が無くなってしまった。今日はあまり進まなかったが、まあ去年のように時間があり過ぎて困るという状況もよろしくないので、これくらいでよかろうと。来週簡約化の一意性をまず示して、その後漸く逆行列が計算出来るように成る。難しいだろうな。2×2の場合は公式を覚えた方が早いです、と言っておくのを忘れないようにしないと。

個研室へ戻ってから来週の準備をしようと。今年はここ数年で一番時間に余裕がある春学期。なので講義のことをゆっくり考えられる。色々計算したり他の本を漁ったり。でちょっと今まで気付いてなかったことを一つ知った気。当たり前のことなのだが、何でも新しい発見があるのは嬉しいこと。来週ちょっと話しておこう。基底の選び方に関することなので、春学期は関係無いが、頭の片隅にでも置いておいてもらえれば。で何やかやと9時過ぎまで職場にいた。

軍資金が不足しているのを一昨日の晩気付いたので、関西みらい銀行でお金を卸して、で右折で路地を出るのは苦手なので、左折して、野路町の交差点を右折してすき家で食事。割引券があったので。もう10時過ぎていたので道路は渋滞してなかったが、道路工事はしてた。

今日は Baystars vs. Tigers は最初から試合が無い。職場で仕事に励めた一つの理由。帰り際に野球速報のページを見たが、Giants はまた負けてた。嬉しい。Giants と Baystars のゲーム差は0.5。明日抜いてやりましょう。

「これ余談なんですけど…」を見てるが、面白いな。梅沢富美男はいいおじさんなのは分かるが、近くにはいて欲しくないかな。チャンス大城は酒癖が悪いそうだ。7年2箇月前にやめたと言ってる。小生も気を付けないとな。胃腸が弱いお陰で連日の馬鹿呑みが出来ないのはある意味救い。明日は4時40分までに職場に行けばいいという訳の分からないスケジュールなので、これから呑んでしまいそうだが、大丈夫かな？まあ呑んだとしても程々にしますわ。

チャンスを潰しまくって1点しか取れず、9回2アウトにホームランを打たれて引き分け

昨晩は相撲のダイジェストを2日分（50分程度）見て、4時くらいには寝た。面談は1時からなので余裕、と思ったが、起きたら12時過ぎ。まあ間に合うからいいけど。ちょっとシャワーを浴びて腹ごしらえをして、という程の時間は無かった。12時55分くらいに事務から聞いている Zoom のリンクをつついて、1時を過ぎても、学生が現れない。うむ。今日は二本立てで、一人目が来る前に二人目が現れた。まあビジョンがしっかりしている学生なので、短時間で終了した。一人目は来ないな。一旦終わりにしましょうと事務の人が言うので、切断して、腹ごしらえ。などとしてたら眠く成ってきた。学生が遅れて連絡してくる可能性があるので、寝るわけにはいかないな、と思ったら、事務の人からメールが来て、今日はもう学生の都合が付かないようなので、来週にします、とのこと。何だ、なら寝てもいいや、と寝入る。

目が覚めたら5時近く。いかん、教授会に遅刻だ、と急いでメールを見て Zoom のリンクをつつく。何やら物理の先生と学部長がやり合ってる感じ。物理の人は真面目だ。でもう一人物理の先生が噛み付いて、でそれに対して学部長が返答して。それが済んだら教授会は終了に成った。後で講義資料を開いてみたら、今日はあまりやることが無かったようだ。それでも色々問題があったらしく、物理の先生が噛み付いていたのだろう。うちの学科長も一言何か言ってた。まあよく分からなかったな。

明日の講義の準備は先週やったし、まあいいかと昨日もちゃんとやらなかったし、今日も全然してないが、まあ大丈夫だろう、ということで相撲を見て野球を見て。横綱は王鵬に負けた。王鵬金星。琴櫻も負けて、早くも2敗。大の里は攻め込まれたが、無事勝利。よかった。日曜日に書こうと思って忘れていたが、弓取り式を今場所からやってるのが幕内経験者の天海空（あくあ）。幕内経験者が弓取りをやるのは何例目だか忘れてたが、珍しいことらしい。幕下の筆頭だそうだから、また幕内に戻ってきてください。Baystars vs. Tigers は新潟で。新潟は南場オーナーの故郷らしいが、通算成績が良くない。今日は6回を終わって0－0という状況だったが、7回に祐大が二塁打、林が送りバントをして、代打松尾が犠牲フライで先制。よしよし。が、眠く成ってきたり腹の調子がいまいちだったりで、横に成って音声だけ聞くことにした。8回は伊勢が抑えて、9回は入江。2アウトを簡単に取るも、高寺にプロ初ホームランとなる同点ホームランを打たれてしまう。む。やはり1－0で何度も勝とうというのは虫がいいか。その後塁を賑わすも引き分け。まあ入江は悪くないです。1回に1アウト1、3塁からダブルプレー、3回は2死満塁も無得点、5回は無死1、2塁も無得点、9回は1死3塁（九鬼の3塁打）を活かせず、10回は1死1、2塁から併殺打と、これだけチャンスを潰してたら。まあ明日は休みなので、リフレッシュして横浜に帰ってください。Carp が Giants に勝ったのでゲーム差が広がった、と思ったら、Giants が3位に後退だそうだ。Carp には Giants に3連勝してもらって、Giants を直接叩きましょう。と言っても Giants との対戦は暫く無いようだ。まあここのところ割と勝ちが多いので、このまま地道に勝っていきましょう。

明日の講義の準備はいいやと書いたが、時間までに行けないとどうしようもないので、程々に寝る。先週は「ロンドンハーツ」の後に「テレビ千鳥」がやって、「阿呆ガリレオ」っぷりと大悟が見せてくれたが、今日は「テレビ千鳥」は無いようだ。「キョコロヒー」を録画しておいて寝よう。

.tex ファイルの1部が消えていて焦る

10時半のアラームは相変わらず解除してないので、それで目が覚めたが、もう一度寝た。次は11時に鳴るように仕掛けてある。寝惚けて上手く操作出来ていないためか、スヌーズのため何度もなる。時計（スマホ以外にもう一つ小さな時計が枕元に置いてある）を見ると、間もなく11時11分11秒。おぉ、見たら起きよう、ということにして、朝からラッキー。シャワーを浴びて、11時40分くらいに出発。職場に着いた時はまだ講義の終わる前らしく、学生はあまり歩いていなかった。弁当はたっぷりあったので、いつもとちょっと違う奴にした。

1時10分からゼミ。今日は分岐群の話。分岐群はあまり詳しくない。学生の頃だったと思うが、野村明人さん（故人）の論文を読んでいる時に、惰性群が巡回群に成る理由がわからなかったのだが、尾崎ししょぉが教えてくれた。一般に T/V が巡回群で、その場合は tame な分岐だったから V＝{1} ということだった。その後分岐群をちゃんといじった記憶が無い。分解群や惰性群は、Serre の結果を使って k(√－3) とか k(Δ^1/3) 上に不分岐アーベル拡大が出来てどうだ、みたいなことに使ったが。考えてみれば、判別式が mod 4 で0か1のいずれかと合同とか、判別式の符号が (－1)^r₂ とか、細々とした議論をしたな。判別式の下からの評価なんかも使った。そういうことをきちんとやっておいてよかったとつくづく思う。基礎勉強を馬鹿にするとちゃんとしたものは出来ない。ピカソは変な絵を描いてるようにしか見えないが、デッサンなどの基礎はしっかりやった人で、普通の絵も描けるそうなので。（普通の定義が難しいが、ピカソの有名な絵達は小生にはあまり普通とは思えない、）つまらんかもしれんが、線形代数と微積分はちゃんとやりましょう。休憩を挟まず丁度180分やった。分かり易くてよかった。素イデアルで丁度1回割れる整数の存在って重要だな、というのが今日の総括。

その後しばしボーっとしてから、明後日の講義の作戦練りでもしよう、ということで USB メモリーをパソコンに刺して、で講義資料を見る前に秘蔵の線形代数問題集を見て異変に気付く。AB＝O だが BA≠O なる正方行列 A, B の例を挙げよ、という問題の直後に全然関係無いことが書いてある。え？と思って見ると、結構なページ数まとめて無くなってる。え？いかん、気付かないうちに CTRL-W をしてしまったか。うー。幸いエディター xyzzy は本家 emacs と同様バクアップファイルを残してくれるので、ちょっと前のが手に入った。大分消えてしまっているのは事実だが、まあ妥協しましょう。が、ここでまた嫌なことに気付いてしまった。このまえ基本行列を pNiceMatirx 環境で書いたが、この時謎だったのが test.tex という実験用の小さいファイルではエラー無く通ったのに、本体にそこをコピーしたらエラーが出て、謎、うぉー、としばらくやって、よく理由が分からないのに出来上がったという謎なことがあった。基本行列のソースが test.tex にちゃんとあったので、コピーして tex を通したら、この前と同じ結果に成った。相変わらず謎。エラーメッセージを見ると、＆が多過ぎる、との仰せのようなのだが、いやいや、MaxMatixCols は20にしてあるって。で暫くインターネットをウロウロと徘徊し解決策を見付けようとしたが、nicematrix パッケージのことを書いてる日本人が一人しかいなくて困った。他の人はせいぜい mathtools パッケージの pmatrix* などのことを書いてる程度。が、そういったものも見てみるといいことがある。元々行列は array 環境と \left(, \right) を組み合わせて書いていたのだ。nicematrix にも pNiceArray という命令がある。これでやってみようと。p で始まっているのでお分かりかと思うが、( ) は書く必要が無い。行列の場合はコラムの数に制限があって、それを MaxMatrixCols でデフォルトの数値を変える必要があるが、array 関係の環境では無いようで、ちょっとトラブったが出来上がった。ということで保存して、でもうええわ、と帰ることにした。もう9時過ぎてたし。また一日無駄に使ったな。

月曜日の晩は呑んでしまうことが多いが、明日は1時から面談2件なので、呑まない方がいいだろう。9時から面談とかならそれまで起きてて、面談が終わったら教授会まで寝るなどと出来るが、1時まで起きてるのは流石にちょっと辛いな。教授会は4時50分からだから、終わった後仮眠のつもりで起きられないことも考えられる。今晩は程々にして寝よう。あ、今日も相撲を見てない。横綱と大の里が勝ったのは「報道ステーション」でやってた。他の結果を知らない。まあインターネットで調べればいいんだが、深夜のダイジェストを録画しておいて、明日見よう。

母の日かつ親父殿の誕生日（94歳）

呑み始めて暫くしたら、人が来た。バイトの人が一般客として来たといういつものパターンかと思ったら、違った。随分背の高い人が入ってきたな、と思ったら、おやお懐かしい、ゆかさん（漢字知らない）ではないか。何でも仕事で2か月間も東京に行っていたらしく、その時の面白い話（まあ愚痴の一種だが）を聞かせてくれた。バイトの人は途中で来て、店長も含めて4名で大盛り上がり。渋谷の109で仕事をしていたそうだが、バイトの女子大生の幼児っぷりたるやなかったらしく、「109幼稚園」と言ってた。今日も朝8時には起きないといけないらしく、日が変わって暫くしたら帰っていかれた。楽しかった。その後はいつもの通り3人で大盛り上がりの続き。ウィスキーのボトルのようなのに入ったワインを呑んだりとか。バーボン樽で熟成させたと書いてあったその後日本酒をワイングラスで。日本酒は酔うな。帰宅後すぐダウン。

またテレビを消さなかったようで、Tigers vs. Dragons の音声が聞こえてきた。起きて Baystars vs. Carp を見ないといけないが、中々起きられない。4時過ぎに漸く起きて、何を勘違いしたか Carp のホームゲームのような気がしていたので、J sports 1 にチャンネルを合わせると、全然関係無いものがやってる。あ、Baystars のホームか、ということで TBS チャンネル2 に合わせるとやってた。4－2 と2点リードしている。ウィックが投げてた。2イニング放ったが、2イニングとも先頭打者を四球で出すという危ない展開だったが、何とか抑えた。最後は入江が抑えて勝利。カード勝ち越しで再び勝率5割。勝ち投手は東で、これでプロ通算50勝。23敗というのが凄い。山本由伸が50勝した時の負けが23だったそうだから、ピッタリ同じ。メジャーリーガー並みの活躍ということだ。2018年に11勝5敗で新人王を獲ったが、その後4勝、1勝、1勝と低迷。が、2023年は16勝3敗、去年は13勝4敗と驚異の成績を残して V 字回復。ヒーローインタビューでの「祐大のお陰で勝てました」は横浜スタジアム名物に成った。今日は5回で降板したようだ。2イニング連続で満塁にされたり、8被安打で四球3、死球1とらしくない投球だったようだが、それでも2失点で済ませたのは流石。明日は1日無しで、火曜日は新潟、水曜日は無し、木曜日は横浜と変則日程。相手は Tigers。いい所を見せてやりましょう。0.5ゲーム上にいる Carp が Giants 相手なので、ちょっとどっちを応援しようか複雑だが、まあいいです。連勝しましょう。

Hawks の嶺井（元 Baystars）が2ランホームラン、2打席連続の3ランホームラン、更に2点タイムリーとチームの全得点を叩き出す大暴れ。嬉しいね。乙坂（元 Baystars）がマイナーリーグと契約したというニュースもあったし、頑張ってるね。Giants に行った選手以外は活躍してください。

野球が終わった後、昨日の「THE 世代感」を録画してあったのを見た。高田馬場の映像が流れるようなので見たかった。今は電車が走ってもガタンゴトンと鳴らないんだな。昔はレール一個ずつが短く（25メートルだったかな？）、繋ぎ目で音がしたが、今は数百メートルから数kmという長いレールが普通に成っているかららしい。ふーん。進行役のホラン千秋が髪の毛を染めたのは、やはり報道番組を辞めたかららしい。加藤浩次も朝の帯番組を降板したら髪の毛を伸ばしたらしいし、「帯番組あるある」だと言ってた。面白かった。

でケーブルテレビのチューナーをいじって、何か面白そうな番組は無いかと思って見ると、相撲がやってる。いかん、忘れてた。結びの一番しか見ることが出来なかったが、まあ深夜にダイジェスト番組があるんでいいです。

今日は親父殿の誕生日である。94歳。去年の夏の兄者の連絡では、入院した、数日しか持たないかも、と言われたが、まあビックリの回復ぶりだ。まあ入院が長かったので、最早歩くことは出来ず、施設に預けてしまったが。100歳まで生きて欲しいような気もするが、兄者に苦労を掛けるのは申し訳ない。複雑。それと今日は母の日である。親父殿の誕生日と母の日は当然だがずっと近くて、中途半端にどっちかだけ祝うということが出来なかったので、子供の頃から何もしなかったが。この時期はずっとこっちにいるので、ずっと何もしてないが。ゴールデンウィークも最初の頃は帰省してたが、帰りの新幹線の指定席が中々取れずに新横浜駅で数時間待ったことがあり、それで嫌に成って帰らなくなってしまった。最近はのぞみは全席指定だそうなので、いよいよ大変だ。まあ年末くらいは帰るがな。それまで親父殿は生きているだろうか？まあもう一回くらい顔を見たいかな。

久々の貯金生活を逃し、逆に借金1

なんか金曜日の晩は開放感に浸ってしまい、呑んでしまう。土曜日も呑むのに。呑みながら幾つか録画してあるものを見たり、数学をちょろっとやったり。m≡1 (mod 4) の時は Q(√m) の整数環が Z[√m] より真に大きいので、Z[√m] は変な環に成る。それが気に成って色々。木村巌さんが訳したシルヴァーマンの代数の本に少し出てたな、とは思うが、見ないで色々考えて、m＝－3 の時は大体分かった。m＝5 の時も簡単そうだが、それ以外の m だとどうかまだよく分からない。まあ下らんことに時間を使ったということですわ。3回生の代数のレポート問題にしてもいいかな、という気はする。google 先生に頼っても、AI に頼っても答えが出なさそうだしな。

などとしてからダウンして、起きたらもう野球がやってる時間。あ、デーゲームね。1点勝ってたが、故障明けの森原が本調子でないか、追い付かれひっくり返され。1回に打者2人、7球だかで1点取ったり、3回までに3点取った打線とは思えないその後の低調ぶりで、結局3－5で敗戦。久々の貯金を逃し、逆に借金1。幸いすぐ下の Dragons が負けてくれたので、いいけど。

その後もう一度ダウン。今さっきまで寝てた。腹も減ったし、そろそろ呑みに行くか。Swallows vs. Giants はナイターで、今見てる。大勢から2アウトランナー無しの状況から1点取った。只今 Swallows が1点ビハインド。9回裏に入る所。ライデル・マルティネスが打たれるのを見たいぞ。頑張れ Swallows。

などと書いてしばし。結局 Swallows は勝てなかった。どこのチームでもいいが、いい加減マルティネスから点を取りなさい。

走行距離 12345km に達する

昨晩は程々に寝ようとしていたが、パソコンで作業中にマウスがバグりだした。デスクトップで作業をしようとすると、左ボタンがクリックされたままかのような症状。こんな時はリブートだ！というわけでパソコンを再起動したが、直らず。デスクトップやマウスのプロパティーを見るが、おかしな所が無い。こんな時はリブートだ！ということでマウスをリブート。要するに乾電池を抜いて入れ直したということだが。でこれだけのことで直ってしまった。阿呆草。30分～40分無駄に使った。もう3時半を過ぎてた。寝ないと。

で寝床に入ったら割とすぐ寝られた。目が覚めると12時過ぎ。ぎゃ！シャワーを浴びる間もなく出発。12時45分くらいには着きそうだが、弁当を買って個研室で食べるくらいの時間はあるだろか？と思ったが、売り切れていた。仕方ないのウェストウィングの1階でパンを1個と缶コーヒーを買って、軽く腹ごしらえして、講義に出発。

今日は「代数学I」。先週差がイデアルに入ったら同値、という関係を定義したが、これが実際に同値関係であることを示して、で環 R をこの同値関係で割って、R/I:＝R/～。さて、と進むほど小生も人は悪くない。R/～:＝{C(a)｜a∈R}（C(a) が同値類と呼ばれる集合で、どんな定義かは先週話しておいた）も書いておく。同値関係で「割る」という言葉のせいでイメージが湧かないのか、それとも集合を元とする集合というのが気持ち悪いのか、R/I の定着率は低い。イメージは湧かなくてもいいのだ。定義通りやれれば。イメージは Z の剰余環（要するに合同式。来週やる）、体の拡大（その一例である R[X]/(X²＋1) と C＝R(i) が同型とか）、多項式の零点集合との対応とか、こういうのを知ってイメージが湧くのだと思う。そこに行くまでは我慢して、定義通りやってください。分からないからやらないのか、やらないのか分からないか知らんが、我慢強くやるのは大事。で準同型定理を説明して証明して、幾つか例をやったら時間に成った。来週はもう少し例をやって、それから Z の剰余環をやって、応用例として合同式のこと（フェルマーの小定理とか）をやる予定。

講義室に向かう途中に唐揚げを売ってるキッチンカーがフォレストハウスの近くにいることを確認したので、昼飯はそこにしようと決めていた。で講義が終わって早速購入。雨が降っていたが、窓口の前には庇が出ていて、出来上がったものは袋に入れてくれた。ということで大した困難は無くウェストウィングに着けた。で食べてから講義の後始末。演習問題を web に上げる作業をしたが、やはり大学のサーバーと学科のサーバーに上がっているものが異なっている。学科のサーバーを上げ直す時に古いものを移してしまったのでは？という気がするが、まあ ftp をするだけなので、いいです。でそれからちょっと来週の講義の作戦練りなどをしていたら、あっと言う間に4時半。

ゼミは4時40分から。今日は代数的整数論の本の方。ノルムとトレースをよく知らないので、勉強しておくと言っていた通り、本の前の方に書いてある内容を一通り説明してくれた。トレースとノルムの連鎖律も、分離拡大だとトレースから誘導される双一次形式が非退化であることなどもきっちり。トレースの連鎖律の証明はそんなに大変ではないが、ノルムの方は難しい。今まで何かよく分かっていなかったんだが、基底を取り換えたら表現行列がどう変わるか、とか、ブロック分けされた行列の行列式がどうなってるかとか、そういうことがここ数年の線形代数の講義のお陰で身に付いたか、よく分かった。彼がちゃんと分かって説明していたようで、そのお陰もあるかな。まあ上出来でしょう。勿論分離拡大だとトレースが共役元の和、ノルムが共役元の積であることも証明してくれた。それで終わるのかと思ったら、代数体の整数環の元のトレースとノルムが有理整数であることの証明が残っていたようで、それだけやって終了。7時半前には終わった。よかった。充実した時間だった。

それから来週の講義の作戦練り。可換環 ∀R の元 a₁,…,a_n の g.c.d. の定義は容易。存在しない場合もあるけど。R＝Z の場合は P.I.D. だから存在する。が、a₁＝…＝a_n＝0_R の場合はどうしよう、とずっとグダグダと考えていた。イデアル (a₁,…,a_n) が (0_R) に成るから、g.c.d. も 0_R でいいのでは？という気もするんだが、何か気持ち悪い。そんな状況で定義する意味は無いのだが、場合分けも気持ち悪い。ということ少し先を読んでみたり、例を考えたりしながら決着を付けた。0_R にしよう、と。でそれに伴い細かな手直しを少々。何とか成った。

途中野球の様子を見たが、1－3 とリードされている展開。む。暫くして見ると、佐野にタイムリーヒットが出た。よしよし。大体作業が済んでから見ると、1アウト2塁。打者はオースティン。期待しちゃうぞ、と思って見ていたら、タイムリーヒットが出た。おし。が、同点で終了して延長戦へ。宮城滝太（「だいた」と読ませる）の初勝利はまたもお預け。この前は勝っている状況で交代したが、追い付かれたんだかひっくり返されたんだかしたのだった。10回からマウンドには入江。いきなり2ベースヒットを打たれ、大ピンチ。が、ファールフライ、三振で2アウト。坂倉もファールフライでチェンジ。よしよし。よくやった入江。10回裏に今日ホームランを打っている松尾が2塁打で出塁。代打で出た柴田は絶対バントだろうと思ったらそうだったが、ファールフライ。むぅ。打者は林。まあ期待出来ないな、と思って数分、何と、サヨナラタイムリーを打った。期待しなくて申し訳なかった。帰ってきて「報道ステーション」を見たが、坂倉のファールフライは林がベンチに落ちそうな状況でキャッチの「熱盛」プレーだった。林琢真、24歳、覚えてあげましょう。

帰り道の途中に走行距離が 12345km に成った。ちゃんと見た。こんな距離に成るまで乗ったのは2回目かな。次は 14641 だ。何？って言う人は 11 の冪乗をもっと計算しましょう。二項係数ももっといじりましょう。昨日 (n,9)＝1 ⇒ a⁶≡1 (mod 9) を実感したくて (3k±1)⁶ を二項展開したが、SageMath に頼ってしまった。いや、(a＋b)⁶ ならパスカルの三角形を使って二項係数を求めてやるんだが、3k が面倒で。まあどうせ mod 9 なんだから、(3k)² より上は求めなくていいんだけど。1次の項は二項係数の 6 と 3k を合わせれば mod 9 で1、くらいのこと。まあ当たり前だけどこういうことは一回やらないとね。14641 の次は何を目標にしよう？20000 と 22222 だな。どっちも先は長い。長距離運転するかな。