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

どうも夜更かししてしまう。「ロンドンハーツ」は見ないつもりだったが、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度という日があるそうだし、気を付けないと。梅雨入りはまだだが、思い出してみると梅雨に結構寒い日はあったな。でも湿度が高いから汗はかく。風邪には用心しないとね。