3位転落かと思って見ると、Tigers が大逆転負けを食らって、Baystars の2位は変わらず

昨日のふなごやも暇そうだった。7月からランチメニューを強化するらしく、バイトの人と二人でああでもないこうでもないしていたが、何か険悪な雰囲気に成ってきて、ちょっと怖かったが、二人とも大人だから、まあ歩み寄って、どうにか完成した模様。さっき Facebook に案内が出ていた。近い内に食べに行ってあげよう。でその後結構盛り上がった。プロとは如何にあるべきか、みたいなことで、料理のプロの意見を色々聞くことが出来て、為に成った。Twitter では受験教育のプロの視点が上がっていて、こちらもちゃんとしないといけないな、と気持ちを新たにした。で例によってしこたま呑んできた。

で今日も野球は途中から。見始めた時は0－0だった。ダイジェストを見ると、1アウト満塁のチャンスを潰していたようだ。でこういう時は得てしてロクなことが無く、ここまで安定していた徳山が3失点。坂本も打たれた。で0－3で完封負け。まあいいです。3連戦勝ち越した。Dragons は10試合連続2得点以下だったそうだが、やっと3得点。相変わらずお優しい Baystars。で Tigers が4点リードしていたから、2位は一日限りか、とさっき見たら、何と Tigers 負けていた。8回に一気に5点取られたようだ。よかった。Carp も負けてくれた。相手が Giants なのは気に食わないが、昨日と変わらず首位と3ゲーム差の2位。明後日から横浜スタジアムで5位タイ（最下位タイ）の Swallows と3連戦。また勝ち越しましょう。

Baystars の試合が終わって暫くしたら、MLB のドジャース vs. ジャイアンツが始まった。序盤から激しい点の取り合い。大谷にホームランが出たりしてドジャース優勢かと思ったが、ジャイアンツが粘る。で5回以降は点が入らず延長戦に。10回に1点ずつ取り合い11回に。MLB のルールで延長戦は無死2塁から始まるが、11回の先頭打者大谷は何と申告敬遠。ガッカリ。しかしその後ドジャース打線が爆発して7得点。大谷の前のバッターでチェンジに成ってしまったのは残念だったが、ドジャースが14－7で勝利。ジャイアンツが負ける、というのは日本でもアメリカでも気分がいい。

Marines の岡大海が8試合連続2塁打の新記録。今までは金子誠と近藤健介（どちらも Fighters）の7試合連続だったそうな。岡も元々は Fighters にいた。いい選手が育つチームだな。「おかひろみ」という読みだが、打席に立つ時に流れる音楽は「エースをねらえ」のテーマ音楽。子供の頃から名前のことで結構いじられたろう。小生が初めて車を買った時のトヨタの営業の人は加藤剛という人で、読みも「かとうごう」と、有名な俳優と同姓同名。嫌だったと言ってたが、仕事に就いてからは覚えてもらっていいと言ってた。伊集院光の産まれた時の名前は田中健。そうとういじめられたようなことを言ってた。名前は考えて付けないとね。一昨年付属校関係のことでちょっとやった時に、有名な俳優と同姓同名の人がいた（書かないけど）。多分母親がファンで、結婚してその苗字に成ったから付けたのだろう。格別二枚目でもなかったが、学生生活はどうだったろうか？

明日から7月。ちょっと前セメスターが始まったと思ったら、もう講義は残り3回。野球の予定を見たら、土日もナイターが増えていた。暑いからね。新しいドラマも始まるようで、「科捜研の女」をまたやるらしい。録画予約を忘れないようにしないと。また録画だけして見ないパターンが続くだろう。野球を見ないといけないし、他にも色々やることがあるし。浜田省吾のライブ Blu-ray も観てない物が多い。1月に見に行ったライブの映像が発売されるという案内が来ていた。買うがいつ見るだろう？まあ定年退職したらゆっくりと片っ端から見よう。

3連勝で単独2位に浮上

昨晩は呑みながら書き散らかしたものを TeX 化したりしたが、一問明らかに変なものを見付けてしまった。で何の本から引っ張ってきたんだっけか？と思って本を探すが、見付からない。何度も書いてるが、小生の部屋の散らかりようは末期症状なので。で肝心のものは見付からなかったが、探していた別の本は出てきた。でもう結構な時間に成っていて、寝ないと、ということで軽く食べてダウン。

寝て暫くすると、来客を告げる呼び鈴が。郵便局の人。この前不在時に ETC カードが届いたようだが、気付かずいて、再配達の案内を見たら保管期限が過ぎていて、ガーン、と成った。カード会社のホームページを見たら、そういう場合は再度配達してくれるようなので、それか？と思って。で見ると案の定。よかった。他にももう一つクレジットカードが届いた。T ポイントカードは V ポイントカードに変わった筈だが、今回も T ポイントカードだった。Tsutaya の会員証を兼ねてるからだろうか？山科から Tsutaya は撤退してしまったし、実家の近くに Tsutaya はあるが、まあ借りることは無いので、解約してもいいようなもんだが、旧 T ポイントはよく行く店（すき家、吉野家、エネオス、ファミリーマート）で使うので、まあいいかと。

でもう一度寝て、目が覚めたらもう結構な時間。野球はどう成った？とスマホを見たら、5－1 で勝ったようだ。牧が2ホームラン、桑原がソロホームランで、得点は全部ホームラン。らしくていいやね。東は今日もクオリティースタートだったようで、7回1失点。7勝0敗と、ハーラーダービートップの才木に1勝差に迫った。いいですね。で Tigers が負けたため、単独2位に浮上。よしよし。借金がかさんだ時は、今年は駄目だな、と思ったが、交流戦での7連勝が効いたな。98年もオールスターの頃は5割前後をウロチョロしていたので、まだ望みはある。期待しよう。

さて、昨晩も呑んだが、土曜日は顔を出さないと申し訳ない。ということで、これから行きます。プロ野球ニュースを録画予約しないと。では。

爪のことで皮膚科に行く

寝過ぎると眠く成らないといういつものパターンで、昨晩は結構遅くまで起きていてしまった。寝る前にスマホをいじるのは良くないのだが、つい Twitter とか YouTube とか見てしまう。宮崎のサヨナラホームランの動画を上げてる人が何人もいて、何回も見た。DAZN かなんかの動画が多かったが、中には横浜スタジアムで現地観戦の人が撮影した動画もあった。球場中見回して野球を見るのが小生は好きだが、バッターのアップを撮ってる人は何が面白いんだろうか？まあサヨナラホームランの瞬間を動画に収めてくれて、観客の興奮の音声も凄い迫力で伝わってくるので、撮っておいてくれて嬉しいけど。

で起きたら8時過ぎ。シャワーを浴びる時間も寝癖を直す時間も無く、急いで出勤。結構雨が降ってた。例によって「大津まで渋滞1km 5分」。まあ程々に済んだが、今日も草津田上出口から大学までの500mが渋滞していて、ちょっと掛かった。でゼミには2分くらい遅刻。

前回 Dedekind 整域の分数イデアルの全体が素イデアルの全体を基底とする自由アーベル群であることを示したので、今日は素イデアルの肩に乗っている整数（加法付値だな）について色々。非アルキメデス的付値の ultra metric inequality というやつの加法版の、等号成立の場合が何か上手く示せなくてしばし難渋した。他にも証明が色々下手で、考え込んでしまうシーンが幾度か。もうちょっと証明を読むということを真剣にやった方がいいな、という感じ。楽しそうな本を読んで夢を膨らませるのはモチベーションを落とさないためにいいかもしれんが、現実は現実で受け止めないと。定理を証明して論文を書くというのは厳しいことなのです。皆それをやってきたのだ。頑張ってもらおう。11時45分くらいに終了。

土曜日に何か用事が入っていたが、それは無くなったと学科長から連絡が来ていた。ただ月曜までに決めないといけないことがあるらしく、土曜日に Zoom で会議しましょか？と学科の皆さんに聞いてきたが、土曜日はちょっと、という声があり、今日の12時15分から会議とか訳の分からないことを言ってきた。12時10分までゼミで、13時から講義、というスケジュールなので、昼飯の時間が無いぞ！と思っていたが、ゼミが早めに終わったので、弁当を買って会議前に食べることが出来た。会議は12時40分くらいには終わった。途中電話が鳴ったが、まあどうせセールスかマンション売れ売れ系だろう、と思ったが、留守電に入っているメッセージを聞いたら、定期試験関係の事。昔は解答用紙を1枚配って、2枚目を要求されたら渡して、1枚目と2枚目をホチキスで閉じる、というシステムだったが、コロナで定期試験をやらないうちに色々変えたらしく、2枚必要なようなら最初から2枚配る、と成ったらしい。で1枚目を両面印刷で、2枚目を片面印刷で、とこれまた訳の分からないことを言ってくるので、「2枚とも両面印刷というのは可能でしょうか？」と聞いたら可能だと言う。ならそうしてください、ということで。線形代数は沢山書かないといけないから、2枚両面が必要に成る人がいるだろうし。

で1時から「代数学I」。今日はまず Eisenstein の判定法を証明して、それの応用で n を一つ決めると、n 次の Q 上既約な多項式が無数に成ることを証明して、それから素数次の円分多項式の既約性など。その後 Z[X] が U.F.D. であることを証明したら時間に成った。これ案外難しくて、途中で Q[X] が U.F.D. であることが必要に成ったり。線形代数に一生懸命に成っていて、事前に講義資料を読んでおかなかったので、途中何か所か分からなかったことがあって、しばし立往生した。人間そんなに頭はよくない。1年前に分かっていたことも分からなくなることはしばしば。時間のある時に直して、もっとくどくしておこう、と誓って終了。来週は Z[X] が P.I.D. でないことを示すことから。要するに (2,X) が単項イデアルでないことを示すことから。その後商体をやったり。

でいつもは個研室で一作業してから帰るんだが、今日はちょっと思う所があって、講義後そのまま駐車場へ向かった。思う所は二つ。一つは Joshin に寄ること。山科の Joshin に行くには、四宮の交差点を過ぎて三条と五条が分かれる辺りで U ターンして五条通りに出ないといけないが、ここちょっと見通しが悪くて怖いのだ。一度ちょっと強引だったのか、思いっ切りクラクションを鳴らされて、その車が小生の前に出て、急ブレーキ、ちょっと走って急ブレーキ、という、今で言う「煽り運転」みたいなことをやられて、怖かった。その時左車線を走っていたが、右が開いていたので車線変更してすぐやり過ごせた。バックミラーで見たら、暫く同じことを繰り返していたようだが、小生に腹を立ててやったのかと思ったが、誰が相手でもよかったのかもね。えーと、Joshin に行く話。高速道路で京都東で降りて、交通量の多い五条通へ合流、というのもちょっと怖いので、下道で帰ることにした。国道一号は混むから、昼間は混まない裏道で。で3時15分くらいに Joshin に着いて、電気カミソリの替え刃を購入。レジが何やらセルフに成っていて、困った。店員がああしてこうしてと教えてくれたが、だったらセルフにしなくていいのでは？という気がしたが。替え刃は結構高いので、クレジットカードで購入。

もう一つの思う所は、皮膚科へ行くこと。前にも書いた通り足の爪にちょっと問題があって。お袋が爪水虫というやつになり、抗生物質を飲んでたことがあったのを思い出して、Google 先生に「爪水虫」で検索してみて、何かそれっぽいな、と。そういう時は皮膚科へ行きなさい、とも教えてくれた。財布を見たら、随分前に一度行った皮膚科の診察券があったので、そこへ。今時は口コミ情報みたいのがゴロゴロしていて、見ると「長時間待たされるが診察は短時間」みたいなことが書いてあったが、新しい所に行くと色々書かされて面倒なので、そこでいいことにした。上に書いた通り今朝シャワーを浴びなかったので、足が臭いと申し訳ないし、講義で大分汗をかいたので、さっぱりしたいのもあって、シャワーを浴びた。4時半から診療開始なのでちょっと遅れていくと、受付してくれて、「5時半に来てください」と言われた。待たされる、と書いてあったが、そこを改善してこう成ったのだろうか？知らんけど。時間があるので、京都銀行へ金を卸しに行って、セブンイレブンでナナコにチャージして買い物をして、関西みらい銀行に行って記帳をして、それから駅前をちょっとブラブラ。喫茶店にでも寄って時間を潰そうかと思ったら、潰れて呑み屋に変わっていた。むう。前はラクトに入ってる山科書店で時間を潰せたが、山科書店は無くなってしまった。仕方ないので駅の近くをちょっとブラブラした。初めて歩いた所もあり、知らないことが案外多かった。で5時25分くらいに医者に再び行って、待合室で読書を。20分くらい待たされた。で診療してもらったが、爪水虫でなく、歩き方が悪いか靴が合ってないのため、つま先が靴に当たって出血して固まってを繰り返しての結果らしい。それと左足の親指の爪が根っこの近くで横にひびが入って、今にも剝がれそうに成っていて怖かったのを同時に聞いたが、それもやはり歩き方の問題らしく、もう下から新しいのが出て来てるらしく、遅かれ早かれ古い爪は取れるが問題は無い、とのこと。ホッとした。でもう行かなくていいらしい。塗り薬を処方してくれたので、隣の薬局へ処方箋を出して受け取った。ここは前に来た時に行ったらしく、問診票の記入はせずに済んだ。6時10分くらいには全て終了。

で帰ってきて野球。もう山科は雨が止んでたが、野球はやるだろうか？と思って見たら、バンテリンドームなので心配は無かった。高橋宏斗に抑えられていたが、3回に度会がチーム初ヒットを打ち、佐野のタイムリー2ベースで先制。その後は Dragons が草野球をしてくれたり、立浪と合わずに Dragons を追い出された京田がホームランを含む3安打と大活躍で、5－1 で勝利。今日は Tigers は雨のため試合が無く、Giants が Carp に勝ったので、首位 Carp と2位 Tigers が3ゲーム差、2位 Tigers と3位 Baystars がゲーム差無し、4位 Giants とは0.5ゲーム差と、相変わらずの混戦。Giants と Dragons が3.5ゲーム差、Dragons と Swllows が1ゲーム差。まだまだ全然分からないね。パ・リーグは首位 Hawks と2位 Marines が10.5ゲーム差、5位 Bufffaloes と6位 Lions が9.5ゲーム差と、首位と最下位はもう決まりという感じ。どうなるでしょうか？

野球が終わった後先週の「座王」。M-1 では無冠に終わった某お笑い芸人がコンビ解散後初登場で初座王と、少しは溜飲が下がったのではないですかね。面白かった。その後ちょっと線形代数の本を読んだが、変な所があって、P と B が逆に成ってるのを気付くのにちょっと掛かった。初めて開いた本のたまたま見たページに誤植があるといういつものパターン。学生にはいつも言ってるのだが、本を読む時は全て疑ってかからないと。テキストにそう書いてあるからそう説明しました、は駄目。式変形一つにも責任を持ってやらないと。後輩が「同様」と書いてある所をちゃんとやってこなくて、足立先生に言われてやったら、全然同様じゃなくて、足立先生が怒っていたのが思い出される。えーと、何故線形代数の新しい本を読んだかと言うと、ケーリー・ハミルトンの定理を行列の上三角化を用いた証明を勉強したかったので。でまだ途中だが、何とも書き方が気に食わなくて、投げ出しているところ。紙に書き出して、自分の気に入るように直して、TeX 化して講義しないと分かるように成らない。だから線形代数の本は世の中に数多あるのだろう。何冊も読んだが（一部分だけのものが大半だが）、どれも気に入る所と気に食わない所があって、じゃあ書くかと言われたら書かないな。同僚が一時線形代数の本の執筆を出版社に勧められて書いていたが、その時に演習を担当していた先生にくそみそに言われて、出版をやめたことがあった。小生の場合もそうなるのがオチ。小生の代数の講義についていけない、という声を学生から吸い上げて、代数の本を書いたらどうですか？と勧めてくれた同僚がいたが、手間に成るだけで何の得にも成らないから、断り続けた。もう本は書かないな。本を書くのは賢者に任せて、愚者は一生懸命テキストを選んで講義します。

もう7月に成るな。春学期の講義は残り3回。まあ何とか成った。秋学期はちょっと講義が増えるので、肉体的にキツイ。朝9時に来る日が無くなるといいが。

線形代数に励んでいたら3点リードしたが、また励んでるうちに追い付かれ、帰宅して速報を見たら勝ってた

昨日は「これ余談なんですけど…」の始まる前に寝るつもりだったが、ついまたつまらないことを始めてしまった。彦摩呂が出てたが、見るたびに大きくなってる。調べたら小生より1歳上。昔、幕末塾という怪しげなアイドルグループで活動していたが、あの頃は大分細かった。グルメレポーターをやってるせいだろうか？で寝ないとまずいので、途中で切り上げて、ちゃんと12時前に眠りに落ちた。

で今朝は目が覚めたら11時半を過ぎていた。滅茶苦茶寝たな。ゼミは下手をすると3時間続くので、その間食わないのは辛いから、シャワーを浴びてすっきりするより、食事の時間があることを優先して、シャワーを浴びずに出勤。プリズムハウス脇で中華弁当を買って個研室へ。で食べようと思ったら、箸が無い。うむ。韓国に行った時もカップ麺を2個買ったが箸を要求するのを忘れて、違うサイズのボールペン2本で食べたが、今日は入試の時に貰った文房具セットに赤と黒のラッションペンが一本ずつあったので、それを使って食べた。ただ、中華弁当はご飯が白飯でなく炒飯なので、ちょっと難渋した。

1時からゼミ。先週から有限体上の曲線、曲面の有理点の数え上げ問題の章に入っている。で今日も続きだが、早速いかん。パラメーターが入ってるが、a＝1 の時をまず済ませて、それを使って一般の a で、の筈が、a＞1 とか書き始めた。a は有限素体の元。そんな場合分けは出来ないので突っ込む。その後二つの写像が互いに逆写像であることを示すが、毎年そうなのだが本に書いてある通り fg と gf が恒等写像に成ることを示す。f と g が行列で与えられてることを見抜けば、単なる逆行列の計算なのだが。で突っ込んだら、2次行列の逆行列の式を忘れてしまっていた。まあよくあること。でその後数学的帰納法で2つ下に落とせるという所があったが、よく分かっていないと言ってた。で皆でワイワイ意見を出し合って、どうやら納得してくれた模様。今年は全員真面目に取り組んでいてよい。大体聞かないで内職に励んでる学生が一人や二人はいるんだが。で4時くらいに終了した。今日は面白かった。

その後ちょっとメールを書いて、それからケーリー・ハミルトンの定理を補完して TeX 化する作業。分かったつもりでいたが、分かっていない所があった。やはり何回もやり直さないといけないね。で書き上げて、その後 n＝2 の場合を学生に自習してもらおうということで書き出す。2次だと成分が全部書けるからいい。n＝3 でも証明の途中に 3²＝9 次の行列が出てくるが、成分を全部書き出したら81個。とても無理。まあ行列の分割を上手に使えばそんな必要は無いのだが。これで来週の講義は自信を持ってやれそうだ。が、あまり早く終わるといけない。まあ n 次行列 A が冪零行列であることと Aⁿ が零行列であることが同値とか、それを使って解く変な問題を幾つか見付けたので、それをやって凌ごう。

とやりながら野球をチラチラ。先発は平良。おっ！復活か。5回までソロホームランによる1失点と、無事に先発の役割を果たした。その後 4－1 と3点リードの展開に成り、よしよし、と思って暫く線形代数をやってて、一区切りついてさて、と見たら、何と同点にされてる。大城のホームランで先制され、桑原のホームランで追い付き、佐野の2ランホームランで勝ち越し、オースティンのタイムリー2ベースで3点差と、長打の応酬だったようだ。その後桑原がファンブルしてる間に1点取られ、岡本（和）2ランホームラン。うーむ、流石は横浜スタジアムだな、という感じ。遅く成りそうなので、決着が付く前に職場を出た。

この前すき家に10時過ぎに行ったら、何かいつもより高いぞ、と思って見ると、22時から5時までは深夜税7%をいただきます、と書いてあった。51円取られるのは馬鹿馬鹿しいのが今日ちょっと早目に職場を出た理由。今日は深夜税を取られずに済んだ。食事が提供されるのを待つ間は、スマホを見ないで読書することにしているので、野球の結果は見ず。で雨が降り出す中国道一号を走って帰宅。で冷房を付けてテレビを付けてパソコンの電源を入れて、野球の結果を見たら、勝った模様。宮崎にサヨナラホームランが出たようだ。流石は横浜スタジアム。借金生活に陥らず、貯金を1に戻して Giants と入れ替わりで3位浮上。よしよし。今日は気分良く寝られそうだ。

Buffaloes のルーキー古田島（こたじま）成龍は初登板から22試合連続無失点だったが、今日初失点で、タイ記録で止まってしまった。残念。素晴らしい記録はどんどん出来て欲しい。これだけ素晴らしい投手がいるのに、Buffaloes は昨日の負けで自力優勝が無くなったとか。まあ優勝が無くなったわけではないが、5連覇は難しいだろう。まあ今のレギュレーションでは3位に入れば日本シリーズ優勝が有り得る。めげずに頑張って欲しい。

やることは大体済んだのでほっとしている

呑むと眠くなってきてダウン、というのが通常の人だろうが、小生は寝なくなる。昨晩も中々寝ようとせず、訳の分からない時間まで起きていた。で超寝不足だが、はま寿司で寿司を食べて職場に行こうということにして、10時半前に起きて、11時前に住処を出て、南草津のはま寿司へ。九州フェアをやってて、佐賀県沖や長崎県沖の魚が幾つかあった。美味しい。鹿児島産の黒毛和牛の握りというのもあったんだが、寿司屋には魚を求めて行くので、そっちは食べなかった。

で12時半くらいに個研室に着いた。ちょっと提出しないといけないものがあるが、コロナの間に色々変わってよく分からなかったので、事務から送られてきたメールに添付されたファイルを見たが、30分ではよく分からなかった。1時から講義なので、中断してフォレストハウスへ向かう。

水曜日は「数学III（線形代数）」。今日は対角化という言葉を定義してから、対角化出来たり出来なかったりするということを例示して、対角化可能であるための必要十分条件の一つを証明して、沢山計算例を見せた。固有多項式が重根を持たないから対角化可能、とか、固有多項式が重根を持ってるけど対角化可能、重根を持っていて対角化不可能な例などを幾つか挙げる。テキストには2次の場合と3次の場合しか出てないので、4次の場合をやって見せた。固有多項式が (X－1)²(X－2)² となる例を見付けたので、それを使ってゴチャゴチャと。で案の定というか作戦練りが上手かったというのか、ケーリー・ハミルトンの証明が出来ないくらいの時間の残り方に成った。で主張を書いて、2次の場合を見せて、「演習の時間にやったよね？」としてから、所謂「次数下げ」をする例を幾つか。で思い出したんだが、アイゼンシュタイン整数環が積に関して閉じていることを示せない学生が過去に数例いて、彼らはどちらも学年1、2を争う学生だったのを思い出したので、そんな話もしておく。で2時29分くらいだったので、終了。6月1日の時点で月半ばには春学期にやる予定だった所を全部終えてしまうぞ、と焦ったが、まあ何とか7月に突っ込むことは出来た。残り3週間だが、昨日書いた通り何とでもする。

で個研室に戻って、さっきの続き。見てみると、思った程面倒ではないことが分かった。で30分くらいゴチャゴチャやって、提出完了。何でもオンラインで出来るように成ったのはいいことなのか悪いことなのか。これで春学期中にやることは、大体済ませた。後は水曜日の講義と、8月に福岡で話す話にちょっと集中出来るな。その後講義の補足資料を直して manaba＋R に上げて、でちょっとゴソゴソやってから、4時半前に職場を後にした。寝不足で渋滞した高速道路は怖いし、下道だともっと怖いので、これくらいの時間だと丁度いいので。

で何事もなく住処に帰ってきて、「ゴチバトル」を見よう、と見ている途中にチラッとメールを見たら、4時32分に学科会議の案内が届いていた。嘘！いやいや、4時半からの会議で何でこんな時間に。一昨年の学科長は前日に開催するか否かのメールを学科のメーリングリストに流してくれたし、去年はそれを真似して毎回やってたんだが、何故今年の学科長はやってくれない？5時15分くらいに慌てて参加。途中からだったので何をしているかよく分からなかった。昨日の会議の様に長いことはなく、6時30分前には終了した。で学科長に前日にメールを流してもらえるようメールを書いておいた。まだ特に返信は無いが、やってくださるでしょう。

で「ゴチバトル」の残り。見た回は「ご当地自慢」というお題で話をしていたが、ゲストの女優・古川琴音が横浜市出身。横浜出身だと横浜市歌を誰でも歌える、ということで、同じく横浜出身の進行役・羽鳥慎一氏と横浜出身の子供数名で歌い出した。で残念なのが中略、後略をされていしまった。が一ついいことを知った。横浜市歌を作詞したのは森鷗外だそうだ。知らなかった。横浜市歌を Baystars ファンも良く知ってる。四球を選ぶと横浜市歌を歌うので。でトップ二人でビリも二人と、中々波乱の内容だった。その後この前買った酒井健「計算で惑わされない 図形分野を通して学ぶ 線形代数入門」という日本評論社から数年前に出た本を眺めてみた。中々面白い。証明がガッチリ付いている訳ではないので、講義のテキストにはしづらいが、副読本としてはいいかも。でこの本を検索した時に偶然、上野喜三雄「線型代数の基礎」という内田老鶴圃から15年くらい前に出た本を見付けたので、こっちも買っておいた。上野先生にはお世話に成った。複素関数論と多様体を楽しいと思ったのは、上野先生に習ったというのが大きい。何年前だか忘れたが、慶応で行われていた解析数論メインの集会に帰省ついでに行ったのだが、その時に上野先生がいらして、「加川さんは今どちらにいらっしゃるの？」と聞かれて、お、覚えていただいた、と嬉しかったのを覚えてる。「どちらにいらっしゃるの」はちょっと丁寧過ぎるとも思ったが。勉強させていただきます。

今日は Baystars vs. Giants だけ試合が無い。昨日新潟で明日は横浜ということで移動日なのだろう。新潟から横浜なんてすぐだと思うんだが。まあ今日は落ち着いて「ゴチバトル」を見られたのでよかったけど。で寝不足なので、もう寝ようと思う。でちょっと気に成って今野球の速報を見たが、Tigers は Dragons 相手に1－1の状況で12回表。Tigers が勝つと差が広がっちゃうし、負けると Giants が単独2位に成っちゃうし、痛し痒しだな、と思っていたが、Tigers が引き分けだと成程嬉しい。さあどうなる？

等と書いてしばし。12回表に Dragons が1アウト満塁のチャンスを作ったが、ダブルプレーで無得点。12回裏は Tigers は抑えのマルティネスに三者凡退に仕留められ、引き分け。まあよかった。明日は Baystars が勝って、Carp と Tigers が揃って負けてくれるよう呪おう。

野球開始前に始まった会議が野球が終了してもまだ終わらない

プロレスが終わったら寝よう、と思っていたが、つい下らんことを考えてしまい、寝るのが遅くなった。深夜の通販番組で佐藤弘道氏が元気そうにしてる映像が流れていたが、氏は何かの病気で下半身麻痺に成っているというニュースがあったが。番組は撮り直したらいかがか？中尾彬も死んでるのに福ちゃんのCMに元気に出ている。思う所はあるのかもしれないが、そろそろやめましょうよ。

で寝床に入ってすぐ寝る、のつもりが、つい Facebook とか Twitter とか見てしまう。18÷0 の答えを0にしないで×にしたという小学校3年生の教員の話で暫く盛り上がっているが、昨日もそれについて随分意見が出ていた。勿論0なわけはない。掛け算の順序の問題よりも大問題。小学校教員は数学が苦手だった人は多いだろうが、算数を教えるのは無理がある。泳げなくて小学校教員に成るのを諦めた人がいるとも言う。小学校もそろそろ科目毎に教員を変えた方がよくないか？その後 YouTube を見てたら、「0で割れないのはどうして？」という、凄くタイムリーな動画を見付けたので見てしまった。最後は体論まで持ち出していた。0で割れたら0＝1に成ってしまい、体の公理に反する、と言う説明。コメントを見てたら、0で割れたら1＝2が証明されてしまうと親から教わった、という人がいた。教育的だね。などとして5時過ぎまで起きていてしまった。

1時に銀行の人が来た。まあ8時間弱は寝ているので大丈夫だろう、と思ったが、眠くて、銀行の人の話していることが殆ど頭に入ってこない。無理なのでもう一度寝た。起きたら4時過ぎ。

4時半から、長時間掛かると宣言されている会議がある。何も食べてないが、あまり腹が減ってない。昨日買っておいた歌舞伎揚をボリボリと齧って何とかしているうちに4時半に成った。Zoom での会議だが、延々続く。うちは物理科学科に真面目な人が多く、教授会でもしょっちゅう発言してる（しかも何人も）し、去年の何かの時に「今回の事態はちゃんと説明できないといけないので、文書を作りましょう」と昨年度いっぱいで定年退職に成る人が発言してるのを聞いた。真面目だ。色々難癖、いや違うな、「建設的な意見」が正しい表現だだろう、を出していて、それに対して色々対論も出たりして、全部終わった時にはもう新潟での Baystras vs. Giants は終わっていた。5時間弱かな。疲れた。途中サボってカップラーメンを食べておいてよかった。まあ小生の分は大体問題無しに成った。よかった。後は微修正をすればいい。そろそろ8月に福岡でする話を真面目に考えないと。多少は考えているが。数学IIIもやらないといけないし、試験問題も考えないと。今週が山だな。それで思い出したが、「ガキの使いやあらへんで」に「今夜が山田」しか言わない外国人が出ていたが、あの人は出てるんだろうか？外国人タレントを勢揃いさせてる番組にその御仁が出ていて、名札を付けてるので見たら「やまだ・トゥナイト」と書いてあった。そんな芸名ではないだろうに。

野球だが、新潟ではあまりいい成績が残せていない。先発の濱口が四球絡みで1失点したが、まあ四球で自滅といういつもに比べれば遥かにマシな内容だったようだ。宮崎のヒットで追い付いたところまではよかったが、中川虎大が相手の投手にタイムリーヒットを打たれて、まさかのこれが決勝点。その後長野に1500安打目を許しもう1失点。9回裏にオースティンのタイムリーヒットで1点取っただけに、虎が投手に打たれたタイムリーヒットが余計だった。何故か明日は試合無しで、明後日は横浜で Giants と。今日の負けで勝率5割なので、明後日は勝たないと。

昨晩は呑まなかったので、今ちょっと呑んでる。明日は1時から「数学III（線形代数）」の講義があるので、程々にするが。「アンタウォッチマン」が終わったら寝よう。

ケーリー・ハミルトンの定理の証明を生まれて初めて理解したかも

ちょっと寝坊してしまった。あまりにも寝癖ボーボーなので、シャワーを浴びて、急いで出掛ける。が、駐車場で車を出してる人がいて、待たされたりと、ツイてない。で急いでいたので、結構長い距離追い越し車線を走ってしまった。それでも遅れたが。リンクの売店でカレーパンを買って、ウェストウィングの1階でコーヒーを買って、ゼミに参戦。

今日はデデキント ζ 関数をリーマン ζ 関数とディリクレ L 関数の積で表す話の続き。先週は色々問題があったが、今日もまだまだ。結構根深く、本の序盤の結果で理解していないものが多い。毎週毎週どんどん本は進んでいくので、理解不足だった所は復習してどうにかしていないといけない筈だが、やってないんだろうか？学部時代の講義なら、まあちゃんと理解してないことが多くても大丈夫だろう。試験でそんなに出来なくてもお優しい先生なら単位はくれるだろうし、レポート科目なら優秀な同級生がいればOKなので。が、ゼミではそうはいかない。今に成って剰余環の一般的な元はどういう形してるか説明させられるとは思ってなかった。今日は K 君がよく口を出していたが、彼もそういうことが多かった。勉強したのだろう。感心感心。で大体証明した所で丁度時間に成った。来週で素数導手の二次体の類数公式が完成するのだろうか。だとしたら色々面白く成るが。基本単数を連分数で求める辺りとか面白いからね。

でメールを見たら、何やら永年勤続なんちゃらという奴を受け取りに来い、と来ていたので、コアステーションの1階に受け取りに行く。25年勤務だと貰えるらしい。何かの宿泊優待券だったが、行きそうもない所ばかり。勤続20周年の時に貰った旅券は、コロナのせいで何度か期限が延長されるも、結局使わなかった。別府でも行こうかと思っていたのだが。まあ仕方ない。

その後個研室で線形代数。ケーリー・ハミルトンの定理の証明って今までちゃんと分かったことはあったかいな？という気がする。教科書に使ってる本の証明も何だかよく分からない、というのが第一印象。で一昨日か昨日にでも真剣に読んで、と思ったんだが、色々下らんことに時間を使ったり呑んでしまったり。で今日は真剣にやった。昔なら投げ出していたろうが、数学力がアップしたということだろう。苦心したが理解出来た。数学力って一朝一夕では上がらないので、ゼミのテキストも我慢強く一から読み直さないと。一回目は分からなくても二回目、三回目と徐々に分かってきて、で暫く放っておいて見直すと、何だ、こんな簡単なことだったか、と思うのがよくある。でメモ書きは出来たが、TeX 化するのが面倒。で現実逃避にもう一回対角化の可能性の証明とか読んだが、多分これをやって、クリティカルな例を幾つか出して黒板で計算して、とかやったらケーリー・ハミルトンの定理の証明はしないで済みそうだ。でここで閃いた。2次や3次の正方行列でケーリー・ハミルトンの定理で遊んだら時間に成りそうだな、と。ということで数値例を幾つか作って、で何とか6月は終わらせられそうだ。今月の頭の時点で、あと2週間くらいで春学期にやろうと思った所が終わってしまいそう、と焦ったが、まあそこは経験のなせる業で。何しろ勤続25年だからね。線形代数の問題集は TeX で優に300ページを超えてる。怪し気な例なら幾らでもあるさ、ということで。でこの前 Twitter を見てたら、うちの工系の学科に線形代数を教える人が書いてたが、秋学期に向けて写像のことを講義したら、さっぱり分からないという反応が多くて困った、というようなことを書いてた。そう、1週間くらいは写像で潰せるな。それと前に閃いたのだが、数式処理ソフトで線形代数やら微積分やら出来ることを教えることにすれば1週間は潰せる。後はテキストには出てないが、三角化してそれを使ってケーリー・ハミルトンの定理を証明したりとか、何とでもなる。大分気が大きく成ってきた。

さて、気が大きく成ってきたし、呑む、といきたいところだがそうはいかない。明日は昼過ぎに銀行の人が来るし、夕刻からちょっときつい打ち合わせがある。寝ておかないと。あ、明日は資源ゴミの日だ。分別もしないと。面倒くさいな。まあ今晩は呑まないで、プロレスが終わったら寝よう。