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週間は潰せる。後はテキストには出てないが、三角化してそれを使ってケーリー・ハミルトンの定理を証明したりとか、何とでもなる。大分気が大きく成ってきた。

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

芦田愛菜が二十歳に成ったそうだ

昨日呑み屋に着いたら、珍しく客がいて、で店に入った瞬間大声で呼ばれた。何だと思ったら、いつもバイトで入ってる女の人が、娘さんとその友人を連れて来店していた。親、兄弟と酒を呑むという経験が小生には無いので、羨ましかった。で一緒に呑んだが、娘さん達が日本酒って美味しいと思ったことない、みたいなことを言う。店長に聞いたら純米大吟醸の酒があるというので、頼む。呑んだ瞬間の驚いた表情たるや。きっとワンカップ大関とか鬼殺しとかしか呑んだことがないんだろう。タレントが二十歳に成った瞬間に鬼殺しを呑む、という企画をテレビでやっていたが、口に含んだ瞬間に「苦っ！」と言って呑むのをやめていたが、不幸な出会いだったな。で連中は日が変わっても呑み続け居ていて（いや、小生もそうなのだが）、どうするんだろうと思ったら店長宅に6人で泊まると言ってた。そんなに広い所に住んでるのか。羨ましい。

で帰ってきて寝て、目が覚めて野球がやってるかと思ってテレビを付けたら全然関係無い番組がやってる。中止か、と思ってチラッと時計を見たらビックリ。まだ11時だった。何だそうか、じゃあ「ぐるナイ」でも見るか、と見始めると2時間スペシャルだが、「ゴチバトル」の前に別の企画があって、そっちを見ているうちに眠く成ってきたので、その企画だけ終わったらもう一度横に成った。ABCで野球中継があるようなので、6チャンネルに合わせて付けっ放しで横に成る。意識が戻ると「相棒」をやっているようで、やっぱり中止だったようだ。後で見たら、阪神園芸さんがどう頑張っても無理なくらい水浸しだった。日曜日は先々週と先週は石田裕太郎が勝ち投手に成っていて、魔の日曜日を克服出来たが、今日は石田は抹消中だったし、相手は絶好調の才木が先発予定だったので、まあよかった。でその後延々「相棒」がやってた。

昨日「博士ちゃん」をちょっとだけ見たが、芦田愛菜にサンドウィッチマンが「二十歳の誕生日おめでとう」と言っていて、え！とビックリ。調べると今日が誕生日のようだ。昨日検索した時は19歳と表示されていたページが、さっき見たらちゃんと20歳に成ってた。酒に目茶目茶強かったり、煙草好きだったりしたらどうしよう？全然イメージじゃないが。どうでもいいことだが、ゼミにも数年おきに女子学生が来るが、男が「こいつをこいつにぶち込んで」みたいなことを言うのに対し、その子は「この子をこの子に」みたいなことを言ってて、うー、女性だな、と思って見ていたが、今年の女子学生は「こいつ」と時々言ってる。人に依るな。

何か目茶目茶雨が降ってるようだ。極端だな。でさっきスマホを見たら、7分後に降り出す、と出てて、そのタイミングで飲み物（呑み物ではない）を買ってきた。明後日は夕刻から長時間の会議が Zoom で行われる。会議の前にちょっと腹ごしらえをして、飲み物を買い込んでおかないと辛いな。月曜日は呑んでしまうことが多いが、明日はやめて、ちゃんと寝よう。1時に銀行の人が来ると言ってた。忙しいな。

東は8回2失点で6勝0敗。驚異の22試合連続クオリティースタート

ちょっと1日2日でやらないといけないものが無い状態に成ったので、時間が出来た。ということで夜更かしして「ミラクル9」の3時間スペシャルを見た。面白かった。でまだ大して遅くないぞ、という気がして（いやいや、十分遅いんだが）、ちょっと手近にある数学の本を眺めてみると、面白い本があった。「入試問題研究 大学数学への道 受験だけの数学で終わらせないために」というタイトルの本。雑誌に連載したものをまとめた本のようだが、入試の裏にある大学数学を色々解説してる本。複素平面が一旦復活して、またやめて行列が復活した時期の本で、行列と一次変換の所を見たが、面白い。為に成る。他にも三角関数の所謂「チェビシェフ多項式」のことを取り上げていて、これは好きなので結構面白かった。でまた訳の分からない時間まで起きていてしまった。

で目が覚めたら2時を過ぎていた。野球が始まってる。テレビを付けると、2回裏に大山がホームランを打って生還するシーンだった。東が打たれた。うむ。が、3回表に相手の三塁手（今日は佐藤輝明でなく渡邉諒だった）のトンネルからチャンスを作り、肉離れから復帰後打ちまくっているオースティンが3ランホームランですぐ逆転。よしよし。が、4回裏にそのオースティンのエラーから大山がヒットで1点失う。が、そこは流石東で、まだノーアウトだったがその後無失点。6回に佐野、7回にオースティンにタイムリーが出て3点差。東は流石で、8回2失点。昨シーズンからクオリティースタートが22試合続いているとか。9回は森原が抑えて、東は驚異の6勝0敗。いいですね。ヒーローインタビューは東だったが、甲子園初登板で緊張していたか、いつもの「祐大のお陰」を言い忘れていた。まあいいです。明日の先発は才木とケイだが、才木は絶好調なので、雨で中止に成ってくれた方が嬉しい。天気予報を見ると結構な降りに成ると言ってた。阪神園芸が頑張っても大雨には勝てないだろう。

オースティンが交流戦から復帰して打ちまくっているのは書いた通り。日本に来て大分経つが、ポテンシャルは高いが毎年怪我をしていて、フルシーズン働けたことが無い。今更活躍しても、来年の契約は無いでしょう、という厳しい声もあるが、これくらい働いてくれればもう一年契約をしてもらってもいいだろう。まあ今後の頑張り次第だな。

さて、土曜日は呑む日。これから行く。火曜日に銀行の人から粗品を少々貰ったが、台所回りの物が多く、料理をしない小生には無用の長物。ということでふなごやの大将にあげる。前にも幾つかもらっていたので、そいつらも一緒に持って行こう。兎に角部屋の散らかり方が末期症状。「汚部屋」というやつ。京都市はゴミ袋を買わないといけないので、袋が勿体ないということで、結構たまってからでないとゴミに出さないのも原因の一つ。しかも普通ゴミは月曜と木曜だけなので、ゴミ袋がでんと部屋に鎮座ましましている。昨日計算しいしい、計算用紙を引っ張り出してくると奥からいらないものがどんどん出てきたので、明後日はちゃんとゴミ出ししよう。えーと、まあいいや。兎に角呑んできます。

近畿地方漸く梅雨入り

今朝は目が覚めたらもう8時過ぎ。着替えて荷物を持って、急いで出掛ける。もちろん「急いで」は言葉の綾で、例によって追い越し車線に一度も出なかったが。今日も「大津まで渋滞1km 5分」の表示。ですぐ渋滞は収まって、スムーズに草津田上まで着いて、と思ったら、料金所をくぐった後結構混んでて、山手幹線に出るまでちょっと掛かって、山手幹線も渋滞してて、信号2つくらい待った。ゼミには間に合ったが。

今日のゼミは、分数イデアルの全体が素イデアルの全体を基底とする自由アーベル群を成すことから。P^-a（a＞0）は未定義の筈、と調べたらそうで、P^-1 の a 乗と定義して、問題はそこから。イデアル I と J の和を (I,J) と書いて、これが I,J の「最大公約イデアル」と呼んで相応しいかとか、I∩J が「最小公倍イデアル」と呼んで相応しいかどうかがイマイチよく理解出来てない模様。と言うかもっと前に I｜J と J⊂I が同値、というのがイマイチピンと来てない模様。何かここ数日胃腸の調子が悪くて、予習の時間が十分でなかった、というようなことを言っていたので、まあ仕方ないか、と。で手を尽くして説明したが、分かってもらえただろうか？中国の剰余定理（中国人の？孫子の？）の証明の時に、「ほら最小公倍数」と言ったら、発表してない方の学生が「ああ！」と言ってたので、こちらはよく分かっていたようだ。発表した方の学生は後で復習しておいてもらえるといいが。

11時45分くらいに終了したので時間がある。まず弁当を買って食べることに。朝住処を出る時は結構な雨だったが、ほんの3時間弱でカンカン照りに成ってた。鰻弁当が売ってたので買った。500円。個研室で見たら、670円と書かれたシールが貼ってあったが。まあいいか。500円の割には旨かった。で昨日書いた通り、「代数学I」のレポートをどうにかしないといけないので、考える。随分前から腹案は作ってあったんだが、問題を見てまあいいか、ということにした。後は問題に不備は無いか、難し過ぎないか、ということを気にして紙とペンを相手に考えてみる。で12時55分に成ってしまったので、講義室へ向かう。

1時のチャイムを聞いてすぐ「単位認定レポートは今日中に manaba＋R に上げる」と書いて、不退転の決意をする。で今日はまず、整域上の多項式は高々次数個しか根が無いことから。これよくあるのが、n 重根を n 個と数えない、というもの。小生のやったのは、F(X)＝(X－t₁)…(X－t_k)G(X), G(X)：根を持たない、と unique に分解出来ることを示したので、重複も込めて高々次数個、という定理。この方がいいです。で恒等時に0であることと0多項式であることが同値でないことを例示したり、整域上でないと2次多項式なのに4つ根がある例を示したり。で Wilson の定理を挙げて、自然数が素数でないことを示す ⇔ 素因数を見付けるのではない、とかどんどん脱線。所謂「フェルマーテスト」についてもちょっとだけ話しておいた。その後 Q 上の多項式の Q 上の既約性の話。Z 上の原始多項式の Z 上での既約性に問題を還元出来ることを示して、X⁴＋1 が Q 上既約であることを示して、ほら Z 上に帰着出来ると楽でしょ、とやったあたりで時間。来週は Eisenstein の既約性判定からやる。

で戻ってきて、レポートの続き。ちゃんと解答出来ることが分かったので、問題のページを pdf に直して、解答のページが切り離されていることを確認して、manaba＋R に上げた。やれやれ、一仕事済んだわい。「数学III（線形代数）」の試験問題もそろそろ締め切りなので、これからやるか来週やるか、と思ったが、帰ることにした。4時半なら高速道路は混まない。

京都東の料金所を出た後、Joshin で電気カミソリの替え刃を買おうかどうしようか、五条通に向かおうか？と思ったが、やめておいた。高速道路の本線合流より、渋滞した一般道への合流の方がはるかに気を使うので。で真っ直ぐ住処に戻って、大体5時。野球まで1時間あるので、先週の「座王」を見た。また新しいスター誕生か？先々週の座王が連続出場していたが、一発で負けていた。連覇は難しいね。

でちょっと秘蔵の環論・体論問題集を見てたら、ちょっと気に成ることがあったので、考え始める。野球が始まってしまったが、数学が気に成る。整域と仮定しているが、可換環で十分では？と真剣に考えてみると、二つの命題の内一つは可換環で大丈夫、二つ目は必要性は可換環で大丈夫だが、十分性は整域でないとダメ、と分かった。簡約律使ってるらからね。でもう一つ気に成っていたのが、体の部分体に関するちょっとしたこと。彌永・有馬・浅枝「詳解代数入門」を調べたら出てた。小生の考え過ぎというか、全然見当違いのことを考えていたかと分かった。でそれも TeX 化して、で部分環であることの簡単な判定法に関してもちょっと。大抵の本には「自明」と書いてあったり「読者の自習に任せる」とか無責任なことが書いてあるので、考えてみる。でまた一箇所詰まった。これも変なことを考えていて、割とすぐ回復できた。TeX 化しておく。環論・体論秘蔵の問題集は、こっちに来てすぐ作り始めて、代数的整数論を使えば自明なことを環論の問題に直したりとかしている問題が多く、まあやってて面白かったのでいいけど。今見たら268頁あるようだが、それから数年遅れで作り始めた線形代数の問題集はもう300頁を優に超えてる。線形代数の場合は行列や行列式が行を食うんで仕方ない。基本変形もちゃんとどういう変形をしたかまで詳しく書いてあるし、パラメーターの入った行列の基本変形をするだけで3頁くらいすぐ使ってしまうので已む無し。

で野球はどうかというと、序盤からチャンスを作り続けるも、相変わらず一本出ず、9回表終了時点で0－0。先発のジャクソンがランナーを残したところで坂本に交代したが、よく抑えた。中川虎大も無失点。で9回裏はウィックが投げていたが、2アウトながら1、2塁のピンチ。小幡にライト前に運ばれ、2塁ランナーは足のスペシャリスト植田海。クロスプレーに成りそう、と思ったが、流石植田。生還されてしまった。連勝は7でストップで、またしても5割に逆戻り。が、負けたのに4位から3位に浮上。何故かと言うと3位の Giants が負けて5割に成ったが、勝ちが Baystars 32、Giants 31と成り、リーグの規約で勝率が同じ場合は勝ち星の多い方が上位となるため。首位 Carp も負けてくれたし、傷は浅い。去年は交流戦明けの Tigers 3連戦で3タテし首位に立ったが、いいのはそこまでだった。今年は場所が甲子園なのは去年と違うが同じ Tigers 3連戦。3連勝しない方がいいかも、と思っていたので、まあいいです。明日、明後日勝って、貯金2にしましょう。

今日凄かったのは Fighters vs. Eagles。Fighters が1点負けてる状態で水野がタイムリー2ベースで同点にし、清宮が勝ち越しタイムリー2ベース、レイエスが満塁ホームラン、ということで Fighters が5点リードに成ったんだが、8回表にフランコ満塁ホームラン、阿部ソロホームランで同点に。で9回表に辰己で Eagles が1点勝ち越したが、9回裏に交流戦MVP男の水谷瞬が同点タイムリー2ベース。凄過ぎる。その後延長12回までやり引き分け。こんな試合見てみたいね。昨日だったかアメリカでもドジャースが大負けしてるところからひっくり返したそうだし、野球はそういうのが面白い所。サッカーには真似できまい。明日も好試合を沢山見せてください。まあ理想は Baystars が勝って、Carp と Giants が負けることだけど。

近畿は漸く入梅だそうな。沖縄の梅雨が明けるのが近畿地方の梅雨入り前だったのは今回が2回目らしい。雨は嫌だけど、降らないと干上がってしまい大変だから、程々に降ってくれないと。横浜も一回結構な渇水があった。小生の実家に風呂が出来た後だから、爺さんが入院した後だな。もう死んでたかな？いつも豪勢に風呂のお湯を取り換えていたが、一日おきにして、親父もクリーニング屋の仕事で気を使って水を使っていた。水道代が3分の2くらいに成ったと言ってた。その後渇水は収まったが。関東は大体利根川水系の水を使っているが、神奈川は芦ノ湖水系の水を使っているので、関東が水不足でも無関心だったが、あの時はそうもいかなかった。小生がこっちに来た年だったか次の年だったかに琵琶湖の水位が目茶目茶下がって、秀吉が長浜の領主だった時に掘った井戸（太閤井戸という名だった）が、普段は琵琶湖の底に沈んでいるのに出てきた、なんていうことがあった。あの年は確かに暑かった。冬は寒いし、 何て所に来てしまったんだろう、と思ったが。今の暑さは多分あの頃を上回ってるな。えーと、あ、雨の話。水不足に成らないように、水害も起きないように、程々にお願いします。

昨日は談話会、学科公式の呑み会、その後W先生と久し振りにらくざへ

水曜日は「数学III（線形代数）」の日。固有値、固有ベクトルを定義して、行列の成分が実数でも固有値が虚数に成ることを例示して、所謂「代数学の基本定理」を紹介。で異なる固有値に対応する固有ベクトルは1次独立であることを示したら時間に成ってしまった。「対角化」という用語の定義が出来なかった。ここ2週間くらい進みがえらくゆっくりに成っている。何故でしょう？

その後ウダウダと個研室で過ごして、4時半から談話会。K氏の話はよく分からなかった。M口先生の話は前に「科学技術表現」の時間に聞いたことがあるので、まあ分かった。最後はY氏の話。彼は小生がこっちに来た年の線形代数の演習でTAをやってくれていて、当時はM1。もういい歳だな。整数論の話なので、まあ分かった。頓珍漢な質問をしてしまったが、まあいいでしょう。2次形式に対する理解は昔に比べると格段に高く成っていたので、面白かった。

7時終了で、7時半から南草津駅のすぐ近くの店で学科公式の呑み会。3月にT教授の送別会を出来なかったのが幹事のW先生は心残りだったようだが、T教授はいらしていた。で多少考えて、若い先生の多いテーブルに座った。楽しく話して、10時くらいまで。やっぱりこういうのが出来るようになったのはいいことだ。

で電車組と南草津に居残る組と分かれて、居残った組はどうしたのか知らんが、電車組はF本先生が途中で降りて、隣の部屋の助教のT先生と新任のS先生とW先生と小生は山科で降りた。M口先生は京都駅まで行くと言ってたな。でT先生とS先生は地下鉄東西線に乗られるようで、そこでさようなら。で残ったのは小生とW先生。「らくざ行きましょ！」と誘われた。久しく行ってないので、ワクワクして向かう。途中「也」の前を素通りするのがちょっと怖かったが、大丈夫だった。豪ちゃん久々。細い人だと思っていたが、何だかガッチリした体に変わってた。シャツが着られなくなって、1サイズ大きいのに買い替えたと言ってた。その後プロレスの話に成り、小生が結構詳しいのでW先生がビックリしていた。中、高のころは結構見ていたし、コロナの時期に再び見始めたので、途中は随分抜けているが、まあそこそこ知ってる。その後麻雀の話だったり、何とか言うパズルの話だったり。無茶苦茶呑んだかどうかよく覚えてないが、2時過ぎまでいたと思う。楽しかった。

で帰ってきて、寝ようかと思ったが、中々眠く成らない。今日のゼミに遅刻したらいけないのが気に成って。で明るく成るまでは起きていたような気がする。数時間寝て、12時の10分くらい前に住処を出る。今日は電車、バスで行かないといけないが、一番混んでる時間かも知れない。ちょっとまずったな。12時5分の新快速近江塩津行に間に合った。結構混んでた。で南草津駅では学生と思しき人々の渦で、こりゃバスが一番混むかもしれない、という感じ。が、混むのは50円安いシャトルバスで、普通バスはそんなに混んでなかった。パナソニック西口、笹の口、BKCグリーンフィールドを経由する大回りのバスで、ちょっと時間が掛かった。近江鉄道バスは「笹の口」だが、帝産バスは「笹ノ口」だと知って、何故？と思った。かがやき通りに「向山ニュータウン」というバス停があるが、近江鉄道バスは「むこうやまにゅーたうん」、帝産バスは「むかいやまにゅーたうん」だったが、卒業式の数日後にバスに乗ったら近江鉄道バスも「むかいやまにゅーたうん」に成っていて、これまた何故？という感じ。12時45分くらいに職場に着いて、まだ弁当は売ってるだろうとプリズムハウス脇の売り場へ向かうが、1店を除いてもう売る人がいなくて、その残っているだろう1店も「完売御礼」のボードが出ていた。むぅ。生協で買うと食べる時間が無さそうなので、ウェストウィングの1階でパンを買って、コーヒーで流し込んだ。

で1時からゼミ。今日から有限体上の多項式の解の個数を勘定する話。今日はまず xⁿ＝a をやって、第一補充法則（という言葉はまだ出てないが）をやって、それから x²＋y²＝1 の話。標数が2でない任意の体でやったので、ゴチャゴチャと計算するだけだった。で実数体だと (－1,0) を通る直線を考えてパラメーター表示したものに成ることを話しておいたが、今日喋った学生はそれについて知ってるようだった。一人目の学生は原始根に関するアルティン予想のこととか離散対数がどうしたとか、テキストに出てない話を一生懸命していたし、まあ他の学生は色々知ることが出来て良かったでしょう。早目に終了。

その後生協で弁当を買って、本格的な食事。で何かしようかと思ったんだが、寝不足だし、高速道路が混む前に帰ろうということで、4時前には職場を後にした。で5時前に帰宅して、Uber Eatsに夕食を頼んで食べた後、さっきまで寝てた。やはり寝不足は堪える。明日は9時までに職場に行くので、起きたばっかだがもう寝る。明日は講義もあるし、ちゃんと寝ておかないと。「代数学I」の単位認定レポートは明日中に上げることにして、学生にそう言っておけば流石のズボラな小生もやるだろう。というこでおやすみなさい。

眠い一日

昨晩は呑まなかったが、結局明るく成るまで起きていてしまった。齋藤正彦大先生の線型代数の本は面白いなー。基底変換も線形写像の表現行列も結局数ベクトル空間の線形写像が行列で与えられる線形写像しかない、ということと、可換図式で定義しているので、全然計算しないで済んでしまう。慣れてしまうとこっちの方がいい。学生の時に読んだが、当時は何やってるのかさっぱり分からなかったが。それとやはり行列の分割は抽象的に何かやる時は強力だね。

で1時に電話が鳴って起こされた。電話会議は10分くらいで終了。2時に銀行に行くこと成っているが、眠くて仕方ない。寝床へ入って2時半近くに銀行から電話。遅れて申し訳ないです。まあこっちがお客様なので。で諸々手続きをして、なか卯でざる蕎麦を食べて帰宅。

明日の「ミラクル9」は久々の3時間ものだが、ハードディスクの空き容量が全然無いので、少し前にやった「ミラクル9」の2時間ものを見て、で「ミラクル9」でかつ丼の話が出たので、松のやにかつ丼を頼むか、と思ったんだが、前に南草津の店舗で頼めなかった「有頭海老」があったので、予定を変更してそっちにする。デカいのが2尾で結構満足。その後もう1時間録画したものを見ないと明日の録画が出来なくなってしまうので、見ようかと思ったが、やっぱり眠い。でちょっと寝床に入ったら、あっと言う間に1時間半以上寝てしまった。さっき起きて、前々回の「ゴチバトル」を見た。で消して、さっき録画予約した。大丈夫だった。木曜日の「ゴチバトル」を録画する分の空きも作らないといけない。あ、「歴史探偵」で大友宗麟のことをやると言ってたな。うむ。明日は4時半から談話会で、その後学科公式の呑み会がある。参加すると言ったので、明日は久々に電車で帰ってくる。明後日は1時までに電車＋バスで行かないと。ちょっと早目に起きて余裕を持って行かないとバスが混むので、明日は早寝して備えないと。

セ・パ交流戦は今日の Tigers vs. FIighters が無事終わって、全日程終了。Tigers には正直負けて欲しかったが、Fighters の投手の暴投による Tigers のサヨナラ勝ち。残念。まあでもセ・リーグは首位 Carp（32勝25敗4分）、2位 Tigers（32勝30敗4分）、3位 Giants（31勝30敗5分）、4位 Baystars（32勝31敗1分）と大混戦。Swallows と Dragons が借金6で並んでいてちょっと遅れた感がある。まだまだ上位4チームは混戦だね。明日、明後日は野球が無いので、遅くなっても大丈夫。楽しく呑んでくるとしよう。

色々用事は済んだが、今日は呑まない

昨日のプロ野球ニュースを見たかったが、生放送はもう終わっている時間だったので、録画しよう、と思ったらハードディスクの容量が足りない。仕方ないので、録画したものをちょっと見て容量を確保して、とやったのがいけなかった。今朝は中々起きられなかった。ゼミはちょっと遅刻。リンクの売店でカレーパンを買おうと思ったが、いつものは売ってなかった。が、別のカレーパンがあったので買って食べた。いつのカレーパンより旨いぞ。

でちょっと遅れてゼミ開始。今日は導手が素数のアーベル体の類数を書く話だが、全然進まなかった。前の所の復習が前半のかなりの部分を占めているので油断したか、聞いてみると答えられないことの嵐。で不思議なのが、他の学生でもそうだが、分からないと黒板の一点をジーっと見てフリーズする。「定義調べないで分かるの？」と聞くと漸く本を開く。で本を開くとまた一ページを凝視してフリーズ。前後のページを見たり、索引を見たりと、やることは一杯あるはずだが。で読むだけで分かろうとする。「紙とペンを使ったら？」と。大学に入ってからもう5年以上数学をしてる筈だがな。よく分かってない、と本人は言っていたが、全くの間違いでは？と突っ込みたくなった。いや、ここに書いたら同じという説はあるが。3分くらい前に強制終了した。来週もこの調子だったらどうしてくれよう、という感じだが、どうしようも出来ない。今は何でもパワハラに成ってしまうからね。気を付けないと。

で生協に弁当を買いに行って、食べてから明日締め切りの作業をやる。そこそこ時間を掛けて、めどを付けてから事務に出向く。担当者の姿が見えず、帰ってしまわれたか？と思ったら、席が変わったということらしい。死角にいた。この前事務の人が何人か異動に成ったからね。お世話に成りかつご面倒お掛けした人がいなくなってしまって残念だ。で用事を済ませて、別の人にこの前買った理工学部ポロシャツの値段を聞く。お釣りが無いようにしてくれ、とのことだったので。メールで聞こうかと思ったが、仕事を増やしては申し訳ないので、遠慮していた。面と向かってなら言える。で聞いたので、明日銀行に行った時に卸しておこう。

その後水曜日の講義の準備。いよいよヤバく成ってきた。が、どうにでも成るとどこかでは思っているので、大丈夫だろう。9時近くまで色々やって、終わらせて帰ろう、と思ったが、秘蔵の線形代数問題集の問題の解答が変だと気付き、考え始めてしまう。何だかゴチャゴチャやってるが、多分本から何も考えずに引き写したんだろう。紙とボールペンを片手にもう1時間くらいやってしまった。10時くらい。いかん帰るぞ、と表に出たら雨が降ってて、もう一度6階に戻って傘を取って。どんどん時間が過ぎていくな。

すき家でいつものカルビ焼肉にニンニクが乗った奴を頼んで食べて、国道1号を通って帰ってきた。雨だからか工事してなかった。で空いてるのだが、45km/h くらいで安全運転してる車がいた。夜は混まないから運転練習だろうか？まあ運転中はゼミ中と違ってイライラしないことにしているので、のんびり走って付き合ってきた。今日は仕事を大体済ませてきたし、「過ぎるTV」には間に合うので、帰ってもやることないし。で11時過ぎに帰り着いて、「報道ステーション」を見たら、最終盤。サッカーの岡崎慎司が出ていた。引退したのだな。知らなかった。小生より若い人がどんどん引退していくと、やはり歳を感じる。キングカズこと三浦知良が未だに頑張ってる。小生より1歳上。いつまでも頑張って欲しいが、そろそろだろうな。

最近月曜の晩は呑むことが多くなってしまっているが、明日は1時からちょっとオンラインでしないといけないことがあって、2時に銀行に行くことに成ってる。呑まない方がいいな。水曜日に学科公式の呑み会があるし。来週の火曜日はきっつい会議があるが、まあそこが山だな。定期試験の問題とか単位認定レポートとか、そろそろやらないとまずいが、まあゆっくりやろう。今週は今日は月曜だから勿論だが、火、水、木と野球が無い。あ、明日は Tigres vs. Fighters の交流戦の残り一試合があるが、まあ見ないな。甲子園でだが、明日の近畿地方は雨なのでは？と思ってスマホの天気予報を見たら、午後には止むようだ。阪神園芸が全力でグラウンド整備するので大丈夫だろう。予告先発見たが、Tigers は村上だが、Fighters が細野。いやいや、誰？ドラフト1位ルーキーらしい。キャッチャーをドラフト2位ルーキーの進藤にするとか。新庄監督は相変わらず色々やる。Tigers は本気だろうに。最近下降気味だから、明日負けるようなことがあれば一大事だろう。岡田監督怒るか？見物ではある。見ないけど。

石田裕太郎がマダックスで、チームは7連勝。交流戦は11勝7敗でセ・リーグトップ

昨晩はいつもより早目にお開きに成った。ルーマニア（だったかな？）のワインを呑んだが、ちょっと変わった味だった。店長曰くこのワインは初めて呑んだそうだが、面白いと言ってた。店長もバイトの女の人もバレーボールが好きだそうで、小生が大林素子と同い年と知って驚いていた。一番真剣に見た頃だったそうだ。男女ともバレーボールはオリンピック出場が決まったので、上機嫌だった。楽しく終了。

帰ってきてまたテレビを付けっ放しで寝たようで、Hawks vs. Tigers の音声が聞こえた頃に意識が戻った。前川（まえがわ）が初回に満塁ホームランを打って、アナウンサー大興奮。その後暫くしてから起きて、Lions vs. Baystars を観戦。思ったより回が進んでいて、何故だと思ったら1時開始だったようだ。3－0とリードしている。石田裕太郎がまたしても好投している模様。9回に度会の7試合連続打点、オースティンのタイムリー2ベースで加点。7回の満塁のチャンスを併殺打で潰していたので、この2点は大きい。で石田は9回もマウンドへ。山野辺を三振に切って取り、長谷川セカンドライナー、元山セカンドゴロで完封勝利。球数95。所謂「マダックス」をやってのけた。凄い。こんなピッチャーをドラフト5位で取れたのは奇跡だ。度会、井上、石上、素晴らしい選手が沢山入ってきてくれた。これで7連勝で貯金が2ヶ月振りに出来た。交流戦は11勝7敗と、優勝した去年と同じ成績。セ・リーグでは一番成績がよかった。Tigers が勝って Giants が引き分けたので、勝ったのに順位が下がるという不思議なことが起きたが、まあ2、3、4位は超絶団子状態。Carp が負けたので首位とも3ゲーム差。まだまだ。

交流戦優勝は Eagles。13勝5敗。トップで並んでいた Hawks が結局 Tigers に負けて12勝6敗と成ったので。Eagles は負けが込んでいて、松井稼頭央に続いて今江も休養か？とまで囁かれていたが、これで5割に戻してリーグ4位。残りのシーズンも見もの。

やらないといけないことがあるんだが、結局ほぼ何もしなかった。これから少しやるが。でそろそろやろうかというところで卒業生 Skebetty 君から電話。何だと思ったら、京都の実家を整理してたら数学の本が出てきた、というので。写真を送ってくれたが、いい本が結構ある。院生の部屋に寄付しよう。ここ数年大学院生の数が物凄く増えて、大学当局から空いている部屋を幾つか貰ったが、そういう部屋には殆ど本が無い。小生の部屋でダブっている本を前に幾つかあげたが、さらにあげよう。数理ファイナンス研究室という部屋は随分前から学生がいて、多くの良書があるが、小生のゼミの学生の部屋は何も無かったようだから。明日草津方面に出向く、と言っていたが、多分来れば長話に成るだろう。明後日締め切りのものと水曜日の講義の準備で明日は余裕が無いだろうから、送ってくれと言っておいた。またゆっくり呑む機会があるといいが。

さ、仕事だ。

6連勝で借金完済。東完封勝ちで一ヶ月振りの勝利投手に

色々しないといけないことがあり、昨晩は考え始めたが、ついまた呑み始めてしまった。色々名案は浮かんだが、どうだろうか？という感じ。Excel ファイルをちょっといじる必要があるのだが、案が定まらないとどうしようもないので、引き続き考えたり。でつまらん計算を始めたが、何かおかしくてうんうん唸りながらやる。コンピューターに計算させてみると、あっているようだが、手計算が合わず。1/a＋1/b が計算出来ないという末期症状。何とか出来た頃にはもう「おはよう朝日土曜日です」が始まっていた。阿呆や。またやってしまった。

ちょっと横に成って続きをやるつもりが、夕方4時近くまで寝てしまった。野球が気に成るので起きた。3－0と3点勝ってる状態。Lions 弱いな。今日は東と高橋光成の開幕投手対決だが、東はここまで負け無し、高橋は勝ち無しという対照的な内容。Baystars が1点更に取り、4－0。で東は9回もマウンドに上がり、完封勝利。勝が付くのは5月17日以来。よかった。いつもの通りヒーローインタビューでは祐大の名前を出していたが、今日はホームランを打ったようだ。素晴らしい。これで6連勝で5割復帰。いいぞいいぞ。今日の Tigers と Giants の結果次第では一気にAクラス。さて。

と思ったが、もう一度寝てしまった。さっき起きて野球の様子をネット観戦しながらこれを書いてるが、たった今 Giants が勝ってしまったところ。Tigers は8回で6－2と負けてる状態。このまま Tigers が負けると、首位 Carp は32勝24敗、Giants が31勝30敗で2位に上がり、Tigers は30勝30敗、Baystars が31勝31敗で3位タイ、ということに成る。いや、勝率が並んだ時は勝ちが多い方が上に成るんだったかな。まあ何にしてもAクラスだ。気分は良いです。明日も勝ちましょう。石田裕太郎連勝で、交流戦4つの勝ち越しなら上出来でしょう。

さて、まだ晩飯を食べてない。Uber Eats かセブンイレブンに買い出しに行くか、と言いたいところだが、やっぱり土曜日は呑みに行くということにしよう。ということで行ってきます。

暑くて今シーズン初の半袖シャツで出勤

今朝はアラームが何度も鳴ってる筈なのに、一回も目が覚めなかった。気付けば8時過ぎ。まずい、と急いで出掛ける。シャワーを浴びる時間も何もあったもんじゃなかった。で例によって「大津まで渋滞1km 5分」の表示。で8時55分過ぎには個研室に辿り着いていて、遅刻しないで済んだ。

で9時から代数的整数論のゼミ。I 君が教育実習を済ませて、今日から復活。が、2週間分のギャップは辛いようで、今日は一言も発しなかった。今日はネーター環の話から。昇鎖が止まること、イデアルからなる集合の極大条件、全てのイデアルが有限生成、これが同値であることを示して、でどこまで素イデアル分解の一意性に迫れるか頑張ったのち、環上整であることを定義して、加群の性質に言い換えることなど。今日発表した学生は1回生の時に線形代数を落とし、2回生、3回生の時は別の科目の裏番組に成っていたので取らず、今年登録している。そこでちゃんとやったお陰か、何かぐちゃぐちゃと書いてある証明を余因子行列を使って一言で言い換えてた。いいですね。その後デデキント整域を定義（体でなくネーターで整域で整閉で (0) 以外の素イデアルが全部極大イデアル、が定義）して、素イデアル分解の一意性が示せたところで丁度12時10分くらい。難しいですね。代数体の整数環がデデキント整域であることを示すにはもうちょっと掛かる。(0) 以外の素イデアルが極大イデアルであることを示すのに、(0) 以外のイデアルで割った剰余環が有限環であることを示したりしないといけないし。まあここを乗り換えると色々面白いので、頑張りましょう。

朝はそんなに暑くなかったが、昼飯を買いに出た時は結構暑かった。ゼミ室の冷房は古いタイプなのか、あまり涼しくなかったが、個研室の冷房は何年か前に交換してくれたので、まあまあ涼しい。講義室もそんなに暑くなかった。冷房はまあまあ効いていて、3回生ともなると受講生も少ないので。

話は前後するが、1時から「代数学I」。先週 P.I.D. の0でも単元でもない元は有限個の既約元の積に分解出来ることを示したところで時間に成ったので、今日は分解の一意性の証明から。何か午前と同じようなことをやってるな。その後ユークリッドの互除法の話。高校では有理整数の場合しかやってないと思うが、体上の多項式でも出来るし、もっと一般にユークリッド整域でも出来る、ということを示して、体上の多項式は体を上げても g.c.d. が変わらないことと、どの体で考えても互いに素であることは変わらない、という若干非自明なことを示した。でまだちょっと時間があったので、一般の可換環で因数定理が成り立つことを示して、ちょっと時間が中途半端。整域上の多項式の根の個数が次数以下であることを示したかったが、主張を書いた時点でもう3分くらいしか残ってないので、来週もう一回主張を書く、と宣言して、で終わらすのは惜しいので、Z/8Z 上に2次だけど根が4つあるものがある、と与太話をして終了。

個研室でちょっと作業をして、4時半くらいに職場を後にした。今朝慌ててて、フロントガラスからの日光を防いで車内が暑く成らないようにする銀色のあれ（分かるよね？）を置き忘れたので、目茶目茶暑く、ハンドルも結構暑く成ってて、しばし暑気を逃してから出発。これくらいだと高速道路はあまり混んでないのでいい。

で住処には5時ちょっとに着いた。諸々あって、ちょっと見ないといけないものがあったので、30分ばかり時間を無駄にしてしまった。でその件についてメールを書いたりなどしているうちに野球の時間。今日から Lions と3連戦で、それで交流戦は終了に成る。今日はここまで未勝利の濱口。本当は「濵口」なのだが、「濵」が機種依存文字で見えないかもしれないので、「濱口」と書かせてもらう。3回に復帰後好調の度会のタイムリー内野安打で先制。が4回に陽川の内野ゴロの間に同点にされる。むぅ。が、その後笑った。6回筒香の内野ゴロを二塁手がエラーで勝ち越し。佐野のピッチャーゴロを悪送球してくれてもう1点。Lions はこういうことをやってるから勝てないんだな。で8回に筒香のタイムリースリーベースと佐野のタイムリーヒットでダメ押しの2点。二人とも野手のエラーの後に打ち直すのは流石。で勝って5連勝。交流戦は9勝7敗。昨日の Eagles の勝利で Baystars の交流戦2連覇は無くなっていたが、まあいいです。これで借金は1。Giants が勝ってしまったので3位浮上はお預けだが、まあいいでしょう。明日も勝つべし。

で先週の「座王」を見てなかったことに気付いて見た。面白かった。その後「報道ステーション」を見たが、天気予報のコーナーで明日から蒸し暑く成るんだと言ってた。確かに今日は直射日光はきつかったが、そんなに汗はかかなかったな。そろそろ梅雨だろうか？嫌なこったね。今日は今シーズン初の半袖シャツで行ったが、来週からはTシャツで行こうか？「理工学部ポロシャツ」というのの販売をしていて、昨日届いたとメールが来ていた。Tシャツよりそっちを着て行った方がいいかな。学生の時に結構お歳の先生がアロハシャツで講義をしてて、何だこいつ？と思ったことがあったが、今は思われてる方かも。まあ Baystars のレプリカユニフォームで講義するのだけはやめよう。

4連敗後4連勝で、負けを取り戻してホクホク

今日は10時前に目が覚めてしまった。ちょっと寝不足だが、うな松で名物一本鰻を食べたいので、起きてしまった。10時半くらいに住処を出れば開店直後に着ける。一本鰻は6食限定なので、遅れるわけにはいかない。はま寿司で九州フェアをやってるようだが、はま寿司は夜でも行ける、ということで。で食べて大満足。PayPay で払って JAF の会員証を見せて100円引き。旨かった。

12時前に個研室に着いて、昨晩寝る前にやっていた例探しの続き。いや、楕円曲線の例探しは一昨日やって、昨晩やっていたのは線形代数の例。変な数値に成らないようにしないと、と思って手でガリガリ計算するも、何かうまくいかない。そんなことをしてるうちに1時に成ってしまった。

今日の卒研ゼミは、まずメルセンヌ数やフェルマー数の素因数探し。合同式を使って形を絞ってから探す、ということで面白い。が、ちょっと線形代数のことを考えてたら置いていかれしまった。板書を見ても本を見ても良く分からないので聞いてみたら、p とか q とかグチャグチャに成ってて、しかも L の小文字を筆記体で書かない（\ell にしない）で活字を真似て書いてたようだが、ノートの字が汚かったのか l と 2 がごっちゃに成ってて、混乱していたようだ。小生も似たような経験はある。単射を ι（\iota）で書いてて、スカラーを c で書いてたから、板書の段階で混乱していて、次の年からスカラーは k にした。いや、\iota じゃなく i かなんかでいいんじゃないの？と声もあると思うが、i は添え字だったり素数単位だったり色々使いたいので不便。まあいいけど。選手交代して F_p 上の話。まず原始根の定義から。合同式が不慣れなのかそれとも F_p の話と合同式が結び付いていないのか、3⁶ が mod 7 で1と合同なのを示すのに 729 と計算してから7で割る始末。3³ が －1 と合同だから、とか、先週話した通り 6 乗して 1 なので、4乗とか5乗とかで 1 に成るわけない、と教えておく。で原始根の存在を示して、選手交代する？と聞いたら、残り35分で出来そうもない、というので来週にした。段々難しくなってくるが、どうだろうか？

ちょっと時間が出来たので、例探しの続き。手でやると埒が明かないので、SageMath で for ループを回して探すことにした。is_integer なんていう有難い命令があるから、沢山見付かった。程々の大きさの数値例があったので、TeX に起こしておいた。その後も線形代数をウダウダやりながら、時計を見るとあっと言う間に6時15分過ぎに成っていた。野球を見ると、1点先制してる。2回に筒香がホームランを打ったようだ。これは吉兆。筒香が一発放った試合は全勝。3回、4回と1点ずつ加点し、3回に失点するも今日の大貫はいいようだ。日曜日の登板はツキに恵まれなかったが、今日はよさそう。で線形代数をやりやり時々野球を気にしていたが、勝てそうだ。明日は早いので、いつもより1時間くらい前に職場を後にした。

すき家でいつものカルビ焼肉にニンニクが乗ったやつを食べて、駐車場でスマホを見たら試合は終わってた。勝った。4連勝。いいですね。4連敗した時はどうなることかと思ったが、取り返せた。これで借金2。Giants が6連敗して借金1。明日にもAクラス復帰だ。明日からは Lions と3連戦。最後派手に勝って終わらせましょう。

7連勝と好調だった Buffaloes は不調の Tigers に負けたようだ。こんだけかってまだ借金が3あるとは。王者 Buffaloes はどんだけ負けてたんだか。

今日は暑かったらしい。例によって「らしい」というのは殆ど表に出なかったから。が、ゼミ室は暑かった。今年は BKC 30周年で、ウェストウィングはその30年前に立った建物。多分冷房を更新してないと思う。個研室は何年か前に取り換えてくれて、会議をやってる談話会室も新しい部屋なので、多分新しい冷房が入ってると思うが、ゼミ室はね。前は鹿児島の大学にいたH先生だが、暑くて大変と思ったろう。明日はこんなもんじゃないらしく、京都35度、大津34度。多分草津も33度か34度だろう。勘弁して欲しいね。梅雨に入ると気温は少し落ち着くだろうが、今度はベタベタして気持ち悪くなる。毎年のことだが閉口する。夏休みは九大に行く以外は極力外出を控えよう。あ、そのことでメールを書かないといけなかったな。後でやろう。

帰ってきて NHK のニュースを途中から見たが、エンディングでドクターイエローがどうしたとか言ってたが、「報道ステーション」でドクターイエロー引退、とニュースがやっていた。見たことないな。1回くらい見たい。品川の車両基地に山梨から見に来た人がいるというのが放送されているところ。一度走ってるのを見たことあると言ってる。羨ましい。JR東海の所有車が来年1月、JR西日本所有のものは2027年を目途に引退らしい。今後は同種のものは無くなるらしく、客が乗っている車両で同時に検査点検が出来るとか。食堂車は随分前に無くなったが、30年以上前に一回だけ使ったことがある。車内販売はお世話に成っていたが、数年前に終了。色々名物が無くなるね。寂しい限りだ。

6回から4イニングで12点取って憂さ晴らし

やはり中々起きられなかった。12時少し前に起きて、シャワーをざっと浴びて。でその時に左足の親指の爪に異常があることが分かった。心配だが、まあそんなに気に成らないので、いいか、と。一回医者に見せた方がいいかも。右足の爪が三本変な感じなので。まあ今日は仕方ないので、そのまま出勤。

1時から「数学III（線形代数）」。今日は外積のことを一生懸命やった。で3次の場合は行列式が平行六面体の符号付き体積に成っていることや、行列式の正負で右手系か左手系かどうか分かるとか。で思ったより時間を使ってしまい、二つの正方行列が相似であるということを定義して、行列式なりトレースなりが違えば相似でないことなどを示したり。で「A は B に相似」だったら「B は A に相似」だから「A と B は相似」と言ってよい、とか話してたら、いつもの通り「A, B, C が相異なるのを A≠B≠C と書いちゃいけないよ」などとどんどん時間を食い、あまり時間が残っていなかった。固有値、固有ベクトルの定義は来週に回すことにして、\begin{pmatrix} 1 ＆ 1 \\ 0 ＆ 1 \end{pmatrix} と E₂ が相似でないことを示せ、という問題をやらしてお茶を濁した。これどっちも行列式が1でトレースが2だから、上の判定法は使えないが、さて。「ちょっとしたことに気付けば一言で証明出来るよ」と煽っておいた。

生協で唐揚げ弁当でも買って食べよう、と思ったら、唐揚げを売ってるキッチンカーが通り道にいたので、温かい方がいいのでそちらで購入。今日の所は PayPay が使えるので、新500円玉をもらう心配は無いので安心。で個研室で食べて、ダラダラと時間を無駄に使った。あっと言う間に4時半近く。

今日は会議だが、1時間で終わらせると学科長が言っていた。終了後何か就職関係のことで話してもらうことに成ってるのだった。で何か蒟蒻問答を繰り広げていたが、何だかよく分からない。また数週間後続きをやると言ってた。来週は別件で4時半から催しがあるのだ。

で就職関係のことは6時から。どこかの会社の取締役で、うちの経営学部卒業の人に話していただくことに。人が集まらなかったら申し訳ないから、賑やかしに部屋に留まっていたが、学生がわんさと集まって、談話会室は満員。皆真剣に聞いていたようだ。数学を勉強した者の強みを強調されていた。終了後はM1とM2で就職の決まっていない学生と個別相談をするらしく、片付けをしながら聞いてたら、国家公務員の上級試験を落ちた、という学生がまず話していた。まあこちらは忙しいので、そこで失礼させてもらった。1階の販売機で飲み物を買おうとエレベーターに乗ったら、うちの学科のOBで今は特別招聘教授だったかなんかをやってる人と学生が話していた。「為に成った」と学生が言ってた。まあよかったです。就職委員の先生が熱心だといいですね。学科長も去年の不真面目な学科長（小生のことね）と違って最低一ヶ月に一回は学科会議をやると言ってるし。

時々野球の様子を気にしていたが、1回に2点取られてしまっていた。四球、ヒット、暴投、悪送球と、お粗末な点の取られ方をしたようだ。Baystars がチャンスに成るとスマホが鳴るが、3回はチャンスを潰し、4回は犠牲フライでの1点と、相変わらずのチャンスでの弱さ。ですぐ1点取られるし。5回も1死1、2塁を潰す。今日は駄目だな、と思って線形代数に励む。6回は度会のヒットで1点取って1点差。で手計算だったり SageMath で計算だったり Maple で計算させたりして、チラチラと野球を見ると、筒香が逆転の2点タイムリーツーベース！そこからは憑き物が取れたかのように祐大タイムリー、佐野タイムリーツーベース、京田タイムリー2ベースで1イニング一挙6得点。8回には相手がミスをしてくれて1点もらって、9回は梶原セカンドゴロの間に1点、今シーズンここまでヒットの無かった柴田がタイムリーヒット、オースティン2ランホームランで13－3に。圧勝。いいですね。4連敗の後3連勝。交流戦残り全部勝ちましょう。Eagles が11勝3敗、Baystars が7勝7敗で残り4試合。まあ二年連続交流戦優勝は無理だろうが、食らい付きましょう。

で気分良く計算して、TeX にまとめておいて、9時15分くらいまで職場にいた。ちょっと支払わなくてはいけないものがあるのと、コピーを取らないといけない件があったのでセブンイレブンに寄る。コピーは職場ですればいい？いやいや、私用ですから。コピーカードが余ってて、そう遠くない未来にコピーカードは使えなくなるから、使った方がいいのかもしれないが、気が引けるので。で暑いからちゃんぽん亭で汁無しちゃんぽんを食べることにした。が、あまり美味しくなかった。冷やし中華と韓国冷麺があったからそっちにすればよかったかな。

今日は暑かったようだ。「ようだ」と言うのは、講義室は冷房が効いていたし、個研室にいる時も談話会室にいる時も冷房のお陰で昼の暑さからは逃げられた。京都は33度だったとか訳の分からないことを言ってた。6月上旬やぞ。明日も暑いそうだが、明日の用事は1時からのゼミだけ。来週までにやらないといけないことがあるが、今日は線形代数ばっかりやってて全然やらなかったから、明日も程々遅くまでやる。だから帰りは暑くない。よかった。そろそろ「代数学I」のレポート問題をどうにかしないといけないが、去年の log を見たらもう一週間くらい後でも大丈夫そうだ。取り敢えずまず今日の数学IIIの様子を演習担当の若い先生方に伝えて、書類にちょっと書いたりさっきコピーしたものを貼って投函して、まあそんなに遅く成らないうちに寝る。ゼミに遅刻するわけにいかないし、ゼミ中に居眠りというわけにもいかない。ゼミ後は仕事に励まないといけないから、体調を整えておくべし。

2回に4点先制して勝つも、3回以降はノーヒットと、明日がちょっと心配

どうしても月曜から火曜に掛けては無茶をしてしまうな。呑み呑み楕円曲線のことをちょこちょことやった。ちょっと変な例があったのを思い出して、どうにかしようと思ったのだが、昔の研究ノートが見付からないくらい部屋の散らかり方は末期症状。で Cremona の昔の論文にあったな、と思い出して、ダウンロードしてある論文をみたらあった。download.pdf とか変なファイル名だったので、少し探すのに掛かった。でパラメーターが幾つだか知りたいが、SageMath だと代数体上定義された多項式をその体の上で因数分解してくれるので、すぐ見付かった。昔 KASH を使ってる頃同様のことが出来るのを知って感動したが、いい時代に成った。

でその後ふと気付いた。今日は資源ゴミの日。段ボールが数箱と、ポストに入っていたマンション売れ売れ系の紙を再利用に回して、アルミ缶も出して、とか色々。この前届いた定期購入してたサプリの解約をしようと、それも開けて、web ページから解約出来ないかとやるもうまくいきそうにないので、電話することにして、最低限の物だけ残して紙ゴミと一緒に捨てる。などとやっても部屋の散らかりは末期症状のまま。明日は缶・瓶・ペットボトルゴミの日なので、これから少し片付ける。サプリの解約は9時に成らないと出来ないので、起きていた。大抵理由を根掘り葉掘り聞かれて、病気をして医者から処方されている薬以外は服用するなと言われている、と嘘八百を答えていたが、今日の人は何も聞いてこなかった。これで定期購入していたサプリメントの類は無くなった。残るは緑茶と野菜ジュース。まあこれはいいでしょう。

1時に銀行の人が訪ねてくるので、ちょっと寝た。正確に1時丁度に来た。色々話してきたが、眠かったり腹の調子が悪かったりで、殆ど右から左だった。来週はこっちから銀行に出向かないといけないことになった。まあいいです。来週は呑まないことにしよう。来週の水曜日は学科公式の呑み会があるので、まあ火曜日は呑まないつもりでいたんでいいです。

その後もう一度ダウン。MBS にチャンネルを合わせたまま寝たが、ホンジャマカ恵の声も、石井亮次アナの声も聞いた記憶が無い。意識が戻った頃には Buffaloes vs. Tigers の関西ダービーが放送されていた。起きて Marines vs. Baystars を見よう、ということにして起きる。何ともう4点リードしていた。2回裏にルーキー井上のタイムリーヒット、一軍に戻ってきたゴールデンルーキー度会の2点タイムリースリーベースヒット、梶原のタイムリーツーベースヒットと繋がり、4点取ったようだ。が、起きた後は全然ヒットが出ず、四死球1つずつ以外は完璧に抑えられてしまった。それでも先発のジャクソン（若尊、と書かれた応援タオルがあるようだ）が2安打無失点と好投。課題の死球は僅か2つで、3勝目をマークした。素晴らしい。今日は日テレニュース24、BSトゥエルビ、TVK（テレビ神奈川）と、3チャンネルで放送してくれるという、関東在住のファンにとっては超贅沢な1日だったようだ。勝ててよかったね。

横浜スタジアムではイニングの間に色々ファンサービスをやっていて、Tigers の岡田監督が、長い、とご立腹だった。ZOZO マリンスタジアムでも色々やってて、Marines ファン vs. Baystars ファンの綱引きやってた。双方譲らず引き分けだった。横浜スタジアムでは4回が終わった後、ファン vs. diana（Baystars のオフィシャルパフォーマンスチーム）のリレー対決をやってるが、マリンスタジアムだと正体不明の俊足スプリンター DASHMAN との競争をやっているらしい。で今日は diana vs. DASHMAN。diana は3人でのバトンリレーで、4秒のハンディキャップ付き。バトンリレーはいつもやってるから慣れたもんで、DASHMAN に大分詰められたが、見事勝利。野球も勝ったし、今日は二軍も Baystars vs. Marines で、Baystars が勝ったと、圧勝の一日だった。気分よろしい。で「報道ステーション」を見たら、Giants が Eagles に逆転サヨナラ負けを食らったと分かり、なお気分がよろしい。明日も楽しい試合展開に成ればいいが、明日は学科会議をやるそうで、最初からは見られないかな。それと来週の火曜日までに提出しないといけないものがあり、まだ完成してないので、少し根を詰めないと。昨日の晩から今日に掛けてやればよかった。楕円曲線の方はまだ時間に余裕があるのでね。まあいいです。

今「相席食堂」をやってるが、オープニングで大悟が「誕生日おめでとう、〇〇さん」といつも言っているが、今日はムーディー勝山の誕生日らしい。でノブが突っ込んでた。今日は沢口靖子とかももクロのあーりんとかいるのに、何故？と。どうでもいいが、小生の母親は靖子だった。「だった」というのは死んでるから。確か末っ子で、親が名前を考えるのが面倒だったらしく、靖国神社の何かの日だったからそう付けた、とよく言ってた。ブラック兄さん（一部で有名）は靖だが、彼が初めて早稲田を訪ねてきた時に数学科の事務の人から電話があり、伝言を頼まれてメモしたが、その時「たつにあおでやすし」と言われて、何のことか分からなかった。「立」と「青」を縦に並べてしまったので。横に並べると気付くまで数分掛かった。「靖国神社のやす」と言ってくれれば分かったのに。言葉で伝えるのは難しいね。

“覚えてる軍団” の本領発揮

11時半前に目が覚めた。すぐアラームが鳴って、すぐ電話が掛かってきた。0120 で始まる番号はロクなものではないので無視。シャワーを浴びて12時くらいに出発。

弁当を買って、PayPay で払おうと思ったら現金のみだと言われた。QR コードを出してあるが、何なのだろうか？また新500円玉でお釣りだった。ムカつく。

1時からゼミ。今日は Dirichlet L 関数を有限話で表す話。まあいつもに比べればちゃんとやっている部類だったが、「そこどうして？」と突っ込むと答えられない所が例によって散見。写像が全射であることを示せなかったりと、相変わらず基本勉強が足りない。全射であることの定義はスラスラ書けても、具体的に与えられた写像が全射であることを示せないんじゃ意味無い。こういうことで時間を使うのはそろそろやめにして欲しい。2人目が準備がイマイチらしく、来週やるということで3時半くらいには解放された。

時間が出来たので、一生懸命線形代数。「オリエンテーション」なんてもの説明出来るんだろうか？と戸惑いながら進めて、普通の3次元の座標軸が右手系をなしてることを本当に右手でやろうとすると、手首をぐねってしまいそうだが、どう説明しよう？その後も例を沢山考えたりして、固有値、固有ベクトルの定義は今週出来そうだ。対角化は来週かな？それでもまだ回数が残っている。いかがいたしましょう？9時くらいに個研室を後にする。

駐車場へ向かう途中、プリズムハウス前の自販機にしゃれで新500円玉を入れたら、何と受け入れてくれた。ウェストウィングの1階の自販機では使えないが、そうか、ここなら使えるのか。弁当を買って新500円玉を貰ってしまったら、ここでお茶を買えばいいのか、と分かって嬉しかった。

線形代数ばっかりやっているわけにはいかず、今年の夏はちょっと楕円曲線の話を久々にしないといけないので、思い出している。すると案外覚えてるもんで、y²＝x³－(c₄/48)x－(c₆/864) なんて方程式をスラスラと書いている自分がいて凄い。昔麻呂さん（一部で有名）に質問をすると、「それは /usr/local/lib/tex/ …」とか空で答えてくれて、「嫌だな、この “覚えてる軍団” は」とか言ったが、小生も立派な “覚えてる軍団” だな。昔は b₈ の定義式とか覚えてたりしたが、もう流石に無理だ。類数1の虚二次体を全部書こうと思うことは時々（ゼミや講義などで）あるが、－19 を忘れたり －67 を忘れたりする。－67 は －163 があるので、混同してしまう。今も記憶が曖昧なので、SageMath でちょっとループを回して、－m＝1,2,3,7,11,19,43,67,163 であることを確かめたが、今日は合ってた。修士論文やら博士論文やら書いている時は、自分が世界で一番詳しいくらいのモードには成らないと。数年前に Baker の論文を学生が勉強してくれたが、彼は一生忘れないだろう。

明日は銀行の人が住処に来ることになってる。玄関先で立ち話で済ますが、肌着を着て応対は申し訳ないので、そうじゃないTシャツを着ておこう、ということにした。で青いシャツがあるけど何だ？と思ったら、柄が殆ど禿げていた。去年 Baystars にトレバー・バウアーがいたが、活躍し出したので、バウアー produce のシャツを買ったのだった。が、彼はあまり日本にいるつもりが無かったようで、今年はメジャー復帰をはかるも、契約してもらえず今は確かメキシコのリーグで投げてるのだった。シャツもいい加減なものだったのだろう。洗濯を数回しただけで原型をとどめないほど酷くなった。で今着ているのは、Amazon で岩澤先生の “Local Class Field Theory” の古本を買った時に緩衝材として入っていたTシャツ。当時は Amazon で買った時に領収書をどうしたらいいか知らず、23000円もする本を自腹で払った。知った時はもう年度を跨いでいたので、諦めたのだった。もう1ヶ月早かったら。この本は岩波から出ている「局所類体論」の単なる英訳ではないそうだ。相互律の証明に形式群をフルに使っているそうで、東大だったか京大だったかの俊英が薦めていた。その時に買っておけば10000円ちょっとで買えたろう。まあいいけど。定年退職したらゆっくり読みます。

「過ぎるTV」がやってるが、大阪市に旭区という場所があるそうだ。横浜市にもある。鶴見区も大阪にも横浜にもある。中央区、というのはあっちこっちにあるが、横浜には無く、横浜は中区。港区というのは東京にあるが、横浜には無く、代わりに港南区と港北区がある。港南区も港北区も海に面していない。名前の通り港の南側と北側にある。港北区には新横浜駅があるので、立ち寄った人は多かろう。横浜駅は西区、横浜スタジアム、中華街は中区、八景島シーパラダイスは金沢区。横浜市立大学も関東学院大学も金沢区にあるな。明治学院大学の横浜キャンパスは戸塚区。港南区には何があるだろう？美空ひばり記念館かな。「出没アド街ック天国」で上大岡の特集をやった時の Blu-ray を見直して、少し自慢出来る所を探しておこうか。

ルーキー石田裕太郎、プロ初登板初先発を勝利で飾り、チームの連敗は4でストップ

ふなごやには珍しく客がいた。バイトの女の人は客としていることが多いのだが、働いていた。店長も彼女もどちらも半袖。暑くなってきたということだな。ビールが美味しい季節に成ってきて、ガンガン呑んだ。先週の様子を聞いてみると、4人でワイン4瓶空けたと言われた。そりゃ起きられないな。昨晩はビールだけだが相当呑んだようだ。最後の方呂律が回ってなかったのが微かに記憶にある。

で何時に帰ってきたか分からないが、テレビを付けたまま寝たようだ。栗山英樹氏の声が聞こえたが、確かそういう番組をやるのだったな。ハードディスクの容量が足りなくて録画予約をしてなかったな。まあいいです。でまた暫く経つと Tigers vs. Lions の音声が聞こえてきた。Tigers の先発は才木のようだが、相変わらず援護点が無い模様。この前 Baystars 相手に完封した時は0－1だった。「もっと点取ってください」とヒーローインタビューで答えていた。7回に漸く3点入った。後で見たら、才木は8回1死までノーヒットノーランを続けていたようだ。7勝目で両リーグ単独トップとか。

で Baystars はどう成っとる？見ようと思うが、スマホが行方不明。普通は寝る前に充電するのだが、やはり酔っていたのかな。5－3でリードしていた。が、山川にホームランが出れば逆転、と言っていた。ピッチャーは京山に交代する場面だった。さあどうなる？アナウンサーが「満塁ホームランで始まった試合です」と言っていたが、点数から見ると Baystars に満塁ホームランが出た、ということだな。で京山はきっちり抑えた。この前石田健大が1回に肩の違和感を訴えて降板した試合では3イニングを無失点と言ってた。投げ方を忘れた、というような報道があったが、入来コーチと頑張って投げられるように成ったようだ。期待の大きい逸材。やってくれないと困る。でその裏すぐ筒香に3ランホームランが飛び出した。日本での1000安打目。筒香がホームランを打った試合は全部勝ってると言ってた。その後8回にウィックが1失点、9回に森原が1失点しただけに、筒香の一発はデカかった。で勝ち投手はルーキーの石田裕太郎。満塁ホームランを打った牧と、中央大学出身の二人がヒーローインタビュー。聞いてみると、石田は磯子区森出身らしい。小生の実家のある港南区上大岡と区境を接する町。通っていた学校は屏風ヶ浦にあると言ってた。京浜急行で上大岡の一つ南の駅。親父さんは大の Baystars ファンらしいが、今日はお母さんと妹さんが観戦に来ていて、お父さんは何故か来ていなかったそうだ。プロ入り初登板初勝利の快挙を見せられなかったのは残念だろう。可愛らしい顔をしていて、投げっぷりと喋り方は素晴らしい。人気が出るだろう。今後更に成長してくれることを期待。でスマホを見たら、応援板は盛り上がっていた。考えてみたら、日曜日は大貫が投げることが殆どで、ずっと勝ってなかったから、月曜日は何か気乗りしない日が多かったが、「明日は久々に仕事が捗る」と書いていた人が多かった。気持ちは痛いほど分かる。小生の月曜の仕事は1時からのゼミだけだが、ちゃんとやってくれて、機嫌よく水曜日の講義の準備が出来るといいが。他にも色々とやることがある。気分良くやりたい。

今「サンデーステーション」を見ているが、9時50分からは NHK の「サンデースポーツ」にチャンネルを変えて見ることが多い。さっき書いた通り日曜日に Baystars が勝ったのは久し振り。楽しく見られる。牧と筒香に一発が出ただけでなく、二人とも守備でいい所を見せたりと、楽しそうだ。CS でやる「プロ野球ニュース」も録画しておこうか？「プロ野球ニュース」は11時から生放送だが、1時からと翌日の朝、昼、夕方に再放送がある。リアルタイムで見ることも出来る。11時からは NHK で海外ドラマがやる。「サンデースポーツ」を見て惰性で見ることが多い。先週までは癌患者の女性6人が登山をするとかよく分からないドラマをやっていたが、今日から新ドラマ。面白いだろうか？取り敢えず見てみよう。

久々床屋（多分2ヶ月以上振り）

昼前にちょっと用事で出掛けた。用事が済んで、いつもの通りなか卯で親子丼を、と思ったが、レバニラ親子丼、といかいうのがあったので頼んでみた。考えてみればレバーは苦手だったな。まあ臭みが無くて美味しくてよかった。

で1時前に帰宅して、野球までちょっと時間があるので録画してあったドラマを、と思ったが、途中まで見て眠くて耐えられずダウン。そのまま寝ること数時間。いかん、野球が始まっとるぞ。どう成ってる？と思ってテレビを付けると0－1でリードされている状態。嶺井が代打で出て来て、2ランホームランを打たれてしまった。昨日は中川虎大に打球をぶつけてるし、古巣に恨みでもあるか？そのまま不貞腐れて、もう一度寝ようかと思ったが、音だけは出しておいた。すると、8回にオースティンが3ランホームランを打ち追い付いた。おっ！と思ったがその後追加点が取れず、9回は森原が出てきた。が、今日は乱調で、2点取られてしまう。うーん。結局負けて4連敗。借金は6に。むぅ。

まあ5時半前に野球が終わったので良かった。昨日書いた通り床屋へ向かう。多分2ヶ月くらい振りだが、随分伸びてた。スッキリしてよかった。新福菜館でラーメンでも食べよう、と思ったが、スマホを持ってないので、ラーメンを待ってる間暇だな。ということでやめて、しまむらでジャージ（死語）と靴下を買うことして、床屋を出て右折でなく、まっすぐ進む。冬物のジャージだと暑いし、よく見ると穴が開いてるので、新しいのが欲しかった。靴下も穴の開いたものが幾つかあったので、補充しようと思ってた。しまむらだと安く済んでよい。

で6時半過ぎに帰ってきて、ドラマの続き。こういうオチですか。結構社会派な内容だったのだな。まあハッピーエンドでよかった。

さて、また恒例自棄酒に行ってきます。昨日呑んでないので、今日はそこそこ呑んでもいいだろう。いや、やることは一杯あるのだがな。まあ少しは息抜きしないと。今週はまあまあ忙しかった。6月と成ると定期試験のこととか単位認定レポートのこととか色々やらないといけない。後で締め切りを確認しておこう。まあ取り敢えず呑んできますわ。今晩確認するのも明日確認するのも同じ。月曜締め切りだったら明日頑張ろう。ということで、行ってきます。

大瀬良大地（Carp）ノーヒットノーラン

昨晩は中々寝付けなかった。日が変わる前に寝床には入ったんだが、寝入れたのは多分2時半過ぎ。正確なことは勿論分からないが。で今朝は8時前には起きたので、寝不足。まあゼミに遅れないのでいいけど。昨日のゼミは何やら風邪でフラフラで休み、とメールが来ていたので、今日はどうでしょうか？と思ったらメールは特に来てなかったので、やるのでしょう。で8時15分くらいに出発。例によって「大津まで渋滞1km 5分」。

ちゃんと9時前に個研室に着いて、ゼミは時間通り開始。今日はまず Z[√－5] で 6 が二通りに、21が3通りに既約元分解出来ることを示した後、分数イデアルの話に。藤崎先生の本のいいところは、すぐ整数環が出て来て、分数イデアルも早い内に出てくる。小野先生の本では代数的整数という言葉は早目に出てくるんだが、整数環が中々出て来ない。イデアル類群も分数イデアルを使わないで定義するが、結局必要に成り慌てて出してくる感じで、色々気持ち悪かった。で分数イデアル I, J に対し、J：I という分数イデアルを定義し、O_K：I を I^-1 と書く、という話をして、単項分数イデアル (a) に対しては (a)^-1＝(a^-1) が成り立って気持ちいい、という辺りで予習が尽きたらしい。まあ風邪でダウンしてたんじゃ仕方ない。来週はネーター環をやって、徐々にデデキント整域に突っ込んでいく。面白いぞ。J：I って代数の演習書によく出てくる (J：I) のことかな？違うのかな？T 教授は (J：I) は役に立つと仰っていたが、H 先生はよく知らないようだった。同じ代数幾何でも色々違うのだろう。小生も整数論については僅かなことしか知らない。代数幾何も整数論も歴史があって広大で、一つことを掘り進むだけでも一苦労だから、他の人のやっていることはほぼ知らない。まあそういうもんでしょう。ということで11時くらいには終了した。

11時くらいから外で弁当が売り出され始めるので、向かって買う。作ったばっかりなのか、少し温かった。得した気分。食べながら色々考え事をしたり。

1時から「代数学I」。先週素元と既約元を定義した辺りで時間に成ったので、まず定義を復習してから、素数が Z の素元でも既約元でもあるとか、午前中の例と同じだが、2 は Z[√－5] の既約元だが素元でないとか。で P.I.D. の0でない元については、素元であること、既約元であること、生成する単項イデアルが素イデアルであること、極大イデアルであることが全て同値であることなど示して、体上の多項式環の既約元がどうとか話して、次はP.I.D.。P.I.D. が U.F.D. であることを示したいが、零元でも単元でもない元が有限個の既約元の積で書けることを示した辺りで時間に成ってしまった。出席者が少ないので、少し有益なことを話そう、などと思って脱線をしょっちゅうしていたので、思ったより進まなかった。去年の同じ時期はA4の紙でもう1枚半くらい進んでいたが。まあいいです。

で個研室に戻ってきて、少し講義の補足資料を仕上げて web に上げる作業。多項式の定義は何か環の元と文字との積とか、積を定義する前に掛けたり和を定義する前に足したりと、色々気持ち悪いので、詳しく書こうと思って前からちょっとずつ書いてたが、色々用事があってやりかけに成っていて、いい加減気持ち悪いので上げてしまった。「容易」とか「i に関する数学的帰納法で示せる」とか適当にしたが、まあいいでしょう。また時間があったらこういう辺りは詰めます。で最後に実数体二つの直積を使って複素数体を定義せよ、という問題を載せておいた。高校の教科書の複素数の定義は、2乗して －1 になる新しい数 i を考えて、(a＋bi)(c+di)＝(ab－bd)＋(ad＋bd)i と定義して、とか同様な気持ち悪さがあるので。そもそも複素数を複素数で割るって何？ということも疑問に思うとどんどん気持ち悪く成るでしょう。ということでこれを機会にちょっと考えて欲しい、ということで。

で高速道路が混む前に帰ろうと思って、その前にちょっと用足しと言うことで4時半くらいに部屋を出たら、何やら肥満体が歩いてる。で振り向いた顔を見たら、随分前の卒業生ではないか。向こうもこっちに気付いたので、しばし雑談。卒業してから相当太ったそうだが、まだ大台にはいってない、と言ってた。「大台」って90kgのことらしい。小生も大台ギリギリまで行ったが、今は80kg以下。そう言ったら、一回り小さくなったと言われた。そうかもね。まあ2ヶ月くらい前の血液検査では素晴らしいらしいから、大丈夫でしょう。

ということで混む前に高速道路で京都東で下りて、5時ちょいには住処に着いた。6時からの野球は見られる。今日から Hawks 相手で、先発は去年まで Hawks にいた森唯斗。解説の飯田哲也氏が1回の投球を見て、コントロール良く慎重に投げてる、と褒めていたが、2回に甲斐に3ランホームランを打たれてしまった。飯田氏は甲斐が上手く打ったので、仕方ない、と言ってた。が、森は立ち直れず、3回に2点取られ、ノックアウト。残念。上茶谷が抑えて、次の回の先頭打者が上茶谷だったが、走塁中に足を捻ってしまい、交代。むう。仕方なく早目に出した宮城、佐々木が失点を重ね、攻撃はオースティンのソロホームランによる1点だけで、1－10と完敗。Hawks のモイネロは防御率1点台も2勝2敗と援護に恵まれてなかったが、今日は楽に投げさせてしまい、8回1失点。プロ入り初安打のオマケ付き。途中で嫌に成ってスマホいじりを始めたが、「金払って相手のチームの打撃練習を見させれらる身に成れ！」みたいに怒っている人がいたが、気持ちは分からないではない。でもまあ、そんなことを書き込んでも虚しくなるだけなので、やめた方がいいと思うが。こっちはそんなことをせず、Twitter を見ていたら、うちの基礎数学担当専任講師（だっけか？未だに正式名称を知らない）が線形代数の講義の顛末を上げていたので、しばし tweet の応酬。頑張っていらっしゃるね。

途中 Carp の大瀬良がノーヒットノーラン継続中、という情報が入ってきて、もう暫くしたら、ノーヒットノーラン達成のニュースが何回も入ってきた。今年は戸郷がやっているので二人目。「報道ステーション」情報によると二週間前の金曜日だったそうだ。確かに今日戸郷投げてたな。一昨年は佐々木朗希の完全試合から始まり、東浜、今永、山本由伸、ポンセと沢山ノーヒットノーランが出た。去年は山本由伸だけだったかな。まあ色々記録が出ると面白いです。Carp では前田健太以来12年振りで、マツダスタジアムでは初と言ってた。で Carp が Giants と入れ替わってセ・リーグ首位に返り咲き。Tigers も勝って、再び貯金1。Baystars はというと、今シーズン最多借金の5。うむ。去年の交流戦は4勝4敗の出だしからよく勝って、最後は交流戦優勝だったが、今4勝6敗。うむ、もう負けられんぞ。

最近金、土と連荘で呑むという悪い習慣が付いてしまっているが、明日は床屋へ行きたいので、今晩は呑まずに済まそう。野球2時からだな。終わってから行こうか？それとも試合見ないで行こうか？明日の先発は東だ。勝てると信じたい。Buffaloes の東が今日勝ち投手に成ったし。Baystars の東はずっと金曜日に先発だったが、何故今日は森唯斗だったのだろうか？

先週の「座王」を見てなかったので、さっき見た。面白かった。前から気に成ってたんだが、竹上萌奈アナは年中ノールスリーブだったが、最近袖のある服で出るようになってきた。苦情でもあったのだろうか？先週分はやはり暑くなってきたからか、久々にノースリーブだった。「報道ステーション」の女性出演者も袖の無い服を着ていたし、夏ですな。

XY-pic という TeX のパッケージを教わり、可換図式を描いてみた

今日は珍しく10時半のアラームで起きた。シャワーを浴びて出勤。ちょっと時間に余裕があったので、はま寿司に行くことにした。たまには魚介類を食べないと。で12時半前に職場に着いた。ウェストウィングの1階で飲み物を買おう、と思っていると、見覚えのある顔が卒業生 A さんだった。色々過敏症のある人で、この暑いのに長袖手袋。昔からそうだった。で気付いたら、向こうもほぼ同時に気付いてくれた。こっちはマスクをしていたが、分かるのだな。亭主が少し留守にしているそうで、羽を伸ばしてるようだ。A 堀先生に会いに来たのかな。しばし立ち話。

1時から初等整数論のゼミ。一人風邪で欠席する旨メールが来ていて、他にも一人教育実習でいないが、何やらもっと少なかった。フルだと9人いる筈だが、4人くらいしかいない。教育実習や就職活動の為かな。今日は二人喋ったが、どちらも短い節で、1時間くらいで済んでしまった。まあテキストにスッキリ書かれているのも理由かと。H 先生は拍子抜けしていたようだ。まあ平方剰余をやるために有限体上の曲線の有理点の数を数えたりとかしてきたら難しくなるので、まあ今のうちはいいでしょう。

4時半からちょっと打ち合わせがあって、色々詰めておきたかったので時間が出来たのは有難い。でああでもないこうでもないと、個研室で色々やって、4時半に成った。パソコンを持ち込んで話してみて、色々修正点を指摘された。部屋に籠ってやってると独りよがりに成りがちなので、たまには話してみないと。で TeX についても新しいことを色々教わった。XY-pic とかいうやつ。可換図式を書くには、四角いのを書くには CD 環境で、斜め線が入った時は picture 環境で、とやっていたが、こんないいものがあるのか、と思った。体の拡大と部分群の対応図ももしかしたらこれで描けるかも。圏論の人の論文を見たら凄く複雑な可換図式が書いてあったが、こういうのを使うと造作も無いのだな。でそれを教えてくれた人は Tikz を知らなかったようなので教えてあげた。ベクトルを2本与えて、それを二辺とする平行四辺形を書いて塗りつぶしてなど造作も無いことだ、と教えたらビックリしていた。まあ TeX については100人いたら100人別のことを知っているので、これも時々情報交換するといいね。それと今時なら Google 先生に頼めば幾らでも有益なページを教えてくれるので有難い。

金曜日は朝が早いので、少し早目に帰ろうということで8時くらいに職場を後にした。速攻で帰ってカップ麺、でもよかったが、トンカツを食べよう、ということで松のやに行った。小生の前の人が券売機でモタモタしていたが、背中を見ると「Tsukinowa Driving School」の文字が。おお、と声を掛けようかと思ったがやめておいた。こういうのも車の運転同様イライラしてもしょうがない、という気分にさせられた。途中久し振りにクラクションを軽く鳴らしたが、やっぱりやめておくべきだったな。こういうのも時々気持ちを新たにしないと。

野球は時々気にしていたが、昨日と同じで1回に先制するも、何度もチャンスを潰して追加点が取れず、その間に追い付かれ勝ち越されダメを押され、と連敗。カード頭をいい感じでとるんだが、続かないね。まあいいです。ボチボチ行きましょう。借金を大きくしなければ、97年、98年のように夏場で大勝ち、という希望が湧くので。で順位表を見たらビックリ。Tigers の勝利が5割丁度。貯金7を12日間で吐き出したそうだ。Giants がいつの間にか首位だが、Carp が0.5差で2位。Giants だけは優勝させちゃならねぇ。

諸々やって、気付けばPM9時半過ぎ

昨晩は報道ステーションの途中で寝た。で流石に徹夜明けは辛く、今朝は12時過ぎまで寝てしまった。で寝癖を直す暇も無く、12時半近くに住処を出た。

フォレストハウスの少し前で1時のチャイムが聞こえた。2分くらい遅れて講義開始。水曜日は「数学III（線形代数）」今日はまずヴァンデルモンドの行列式の計算と、ちょっと応用として多項式 f(x)＝a_nxⁿ＋…＋a₁x+a₀ が n＋1 個の異なる t₀,…,t_n に対し f(t_i)＝0（i＝0,1,…,n）を満たせば恒等的に0であることを示した。これ高校生はどうやって理解してるか知りたくて高校の教科書を見たが、何の説明も付いてない。でチャート式を持って帰ってきて見たわけだが、n＝3 の時に証明しているだけ。因数定理を使って因子をどんどん括り出して、最後は定数だけ残って、n＋1 個目を使ってその定数が0、という証明を何故か n＝3 に限定してた。まあいいけど。ちょっと好奇心を刺激するくらいのことを言っておくと面白がってくれる学生はいるので。その後余因子と余因子行列を定義して、行列式だったり逆行列だったりが余因子行列を使って求まるとかクラメルの公式とか。で2次の行列式の幾何的な意味を話してたら時間に成ってしまった。一生懸命外積の事を勉強していったが、来週に回す。もうちょっと勉強しておこう、ということでおしまい。終了後この前質問に来た学生がまた来た。どうしても余因子行列の縦横が逆に成ってることが納得いってなくて、食い下がってきた。まあそうしないとうまくいかないからね、というくらいで引き下がっていった。

お気付きの通り朝飯も昼飯も食べていないので、生協で買おうかと思ったら、キッチンカーで旨そうな物が売ってたので購入。個研室で食べて、しばしボーっとした。その後ちょっと明日ある件で話し合いをするので、その準備。色々問題点があるので、真剣にやる。集中してやってたら6時を過ぎてた。野球の様子を見ると、1点先制してた。蝦名が先頭打者ホームランを打った。よしよし。で引き続き集中して作業。あっという間に2時間くらい経ってた。見るとまだ1－0。相変わらずチャンスを潰しまくってるようだ。で暫く頑張って、見たら逆転されてた。2ランホームランを打たれたようだ。むう。で引き続き作業を続ける。分かり切ってると思ってることでも紙に書きながら見ると、些細なミスが結構あり、大変。で頑張ってやっていて、時計を見たら9時半を過ぎてた。野球はと見ると、1－2で負け。ソロホームランで先制してチャンスを潰しまくって逆転されて、といういつものパターン。今日は牧がスタメンじゃなかったり筒香がベンチにも入ってなかったりで、仕方ないか。明日勝ってください。でもうちょっとやって、10時過ぎに職場を後にした。

もう遅いし、高速道路を通って直帰して、住処でカップ麺、のつもりだったが、車の燃料が尽き掛けていたのだった。山科のいつものガソリンスタンドはもう閉まってる時間だし、瀬田のエネオスのセルフで入れよう、ということにして向かう。入ろうと思ったらちょっと焦った。小生の車の給油口は左なのだが、小生を妨害するように2台停まってる。大丈夫か？と思って停めようと頑張るが、左前の車に当たりそうで警告音が鳴る。左はどうにか成りそうだが、右側にポールがあって、擦りそう。エイやと行ったら大丈夫だった。で給油して、腹が減っていたのですき家に寄った。で国道1号を走っていると、膳所にもエネオスのセルフのスタンドがあることが分かった。今日みたいなことがあったらそっちに行くことにしよう。

今「これ余談なんですけど…」をやってるが、1983年産まれのタレントが集まってる。同年代の人間が集まると盛り上がるよね。カラオケは同世代で行くと目茶目茶盛り上がる。ふなごやの大将とバイトの女の人とは8歳違うが、まあそこそこ盛り上がる。学生と話しても面白くない。フェルマーの大定理が産まれた時にはもう証明されてた、とか、産まれたのが2000年台だったり。40に成ったと未だに思えない、というようなことを話してるが、いやいや、気付けば50だし、小生もあと数年で60だし。1歳上の人の48歳の誕生日にメッセージを送ったら、次年男に成るのが還暦かと思うとゾッとします、という返事が返ってきた。今年で58ですよ。あっと言う間ですな。

先週はゼミに遅刻したし、今日は講義に遅刻したから、明日こそはちゃんとしよう。水曜日の深夜は見たい番組が多いが、冷静に成るとどれも下らない。寝てもいいけどね。まあ程々にしますわ。

高校の数学の教科書から「整式」という単語がほぼ無くなっている！

昨晩はその後 USB メモリーを取り出して、パソコンに突っ込んで、色々作業、の予定だったが、鞄に USB メモリーを入れた筆箱が入ってない。筆箱をパソコンの脇に置いていたが、落とした記憶がある。でそれを回収した記憶が無い。そう言えば USB メモリーをパソコンから抜いた記憶が無い。阿呆や。またやってしまった。まあいいです。ちょっと気に成ったことがあったのでチャート式を一冊持って帰ってきたので、呑み呑み勉強しよう、ということにした。チャート式って面白いな。赤チャートを読んでたんだが、為に成ることが色々出ている。赤チャートはレベルが高いと聞いていたので、受験生の頃は緑チャートを買った。予備校のテキストの予習復習が大変で、殆ど開かなかったけど。でしっかり朝まで起きていた。保健センターに行かないといけないので、ちゃんとしようと思っていたのだが。まあ数時間でも寝ようということにして、テレビを付けたまま仮眠、の筈が眠く成らない。こういう時は YouTube で鉄道ネタでも見てれば大抵眠くなるが、眠く成らない。もうええわ、という所で関西みらい銀行から電話があったりで、もう寝る気が失せた。

で保健センターは1時半から診療開始なので、1時少しに職場へ向けて出発。寝不足というか寝てないわけだが、その割には本当に全く眠く成らない。保健センターには1時45分くらいに着いたが、中々呼ばれない。で呼ばれて行ってみると、何やら色々根掘り葉掘り聞かれる。三食食べてるかとか、何時に寝てる、とか、酒はどれくらい呑んでる、とか。何でもちゃんと面談して結果を残さないといけないという規則が出来たそうで、面倒そうだった。で待合室で待たされる時間も長く、何やら印刷した物を処方箋と一緒にくれた。まあ形式的なものだろうから、個研室へ行って、プリンターに突っ込んで再利用することにした。で筆箱はしっかり落ちていて、USB メモリーは刺さったままだった。パソコンの電源を入れると長居してしまうので、チャート式をもう一冊と高校の教科書を一冊鞄に入れて、筆箱を忘れてないか確認して、3時くらいに職場を後にする。

寝てないのは変わらずなので、無難に運転出来るようドーピングして出発。ドラッグストアで薬を受け取って、ついでに買い物をして住処へ戻ってきた。4時過ぎ。

そこから寝られればいいのだが、4時半から教授会がある。職場に長居しなかった理由の一つは、教授会に職場から参加すると帰宅ラッシュに寝不足で運転という危険極まりないことに成るので、道路の空いてるうちに帰ってきたかったので。で今日の教授会は1時間程。難しい件が沢山あったが、学部長から手短に済ませてくださいと言われていたからか、思った程時間は掛からなかった。まあよかった。

野球は6時からなのでちょっと時間がある。高校の教科書を眺めると、何か違和感を感じた。何だろう、と思ったら、高校の教科書でしか使わていないと思われる「整式」という用語は悉く「多項式」に変わっていた。おぉ、これはいいですよ。他にも命題の否定や補集合を表す時に上に線を引く（TeX で言う \overline）をやめてくれたら言うこと無いんだが。部分集合を表す記号も下に＝が無くなった（\subseteqq から \subset に変わった）のもいい。この辺のこととか自然数に0を入れるか入れないかとか、流儀が分かれているし、多分未来永劫統一されることはないだろうが。

で6時から野球。今日から Buffaloes と横浜スタジアムで3連戦。スマホを見てたら「先頭打者を四球で出すと、心配でテレビを見ていられない豆腐なハート」とか面白いことを書いてる人がいるが、気持ちはよく分かる。Buffaloes に先制された途端にテレビの前から離れてしまう小生である。まあいよいよ不愉快な展開に成ったら不貞寝だな、と思って音だけ聞いていたが、4回まで四球の走者を出すも、ノーヒットに抑えられ、これはいよいよか、と思ったら、5回2アウトから9番のケイが四球を選び、蝦名がようやく初ヒットとなるポテンヒット、そしてオースティンがヒットを打ち同点。よしよし。7回は代打梶原のヒットからチャンスを作り、オースティンのサードゴロの間に勝ち越し。いいですね。8回は康晃。が、ここまで好守備を連発していた（らしい、見てないからね）森敬斗がエラーでノーアウトのランナーを出してしまう。太田がヒットで無死1、2塁の大ピンチ。が、頓宮三振、紅林センターフライで2アウト。左の西川の所で左の坂本をぶつけ、空振り三振に打ち取る。絶体絶命のピンチだっただけにでかい。8回に梶原の内野ゴロの間に3点目。最後は森原がピシャリと抑えて、無事勝利。よかった。ヒーローインタビューは来日初勝利のウィック、ピンチを抑えてプロ2ホールド目を上げた坂本、そして同点打と決勝打のオースティン。横浜スタジアムで勝つとヒーローインタビューに沢山選手が出てくるので楽しい。明日も勝ちましょう。が、明日はちょっと遅くまで職場にいるだろうから見られそうもないが。

天安門事件から35年だそうだ。酷い国だ。未だに色々統制しているそうじゃないか。政治家が国民の顔色を窺ってビクビクしてる国の方が平和かな。あ、ビクビクしてないな。あんな図々しく訳の分からないことをやれてるわけだし。医者に面倒なことやらせたり、医者に限らずインボイスが何だとか面倒なものを押し付けておいて、自分たちはお手盛りで済ます。どっちがいいですかね。

今日は一日鼻の調子が悪い。理由はハッキリしている。呑んで腹の具合が良くないから。前にテレビでやってたが、アレルギー性鼻炎は粘膜の暴走が原因らしく、体中の粘膜は連動していると。だから胃腸の具合が良くない時は鼻の具合が悪いことが多い。耳鼻科の薬が余ってるから、呑んで寝よう。もうそろそろ寝ようかな。「相席食堂」は女モノマネ芸人の回の続編だが、今週はどうだろうか？先週は「重い重いと書いて JUJU です」というつかみをやった芸人がいたが、期待外れだった。今週はどうでしょう。やっぱり録画しておくか。「ロンドンハーツ」と「アンタウォッチマン」はいいや。取り敢えず明日は10時過ぎまで寝れば回復してるだろう。明日の用事は講義1コマと、その後個研室で色々作戦練りをするくらい。

ガウス和の決定証明が終わってよかった

今朝は9時ちょいに目が覚めたが、まだ寝よう、としているところで宅配便の人が来た。もう定期購入はやめよう、と思っているものだったので、明日にも取り消しの手続きをしよう。で起きたので、南草津で鰻か、はたまたはま寿司か、と思ったのだが、やっぱり眠かったので、１時間くらい寝て、目が覚めたら11時40分くらい。いかん、と起きて、シャワーを浴びて、12時15分くらいに出発。職場に着いたのは12時40分過ぎだが、まだ外で弁当は沢山売ってた。

1時からゼミ。今日はガウス和の符号、というかそのものズバリを決定してしまう話。線形代数的な議論が細々と続き、ヴァンデルモンドの行列式が出てきたり。でうまくいったのかとおもったら、ちょっとまずいことをしていた。－1 に平方根をかぶせて、それを i にしてしまう。いやいや、幾らなんでも、と止めて、ちゃんとやらせる。まあちゃんと出来た。今日はあまり突っ込まなくて済んだ。難しい話があんまり無かったからね。ガウスがこれのために4年掛けたそうだが、整理されたものを見ると難しくない。取っ掛かりを作ったというのが大事なのだな。有限体上のフーリエ変換みたいなのをどうして使おうと思ったか、その辺は謎。藤崎先生の「体とガロア理論」に違う証明が出ていて、前に広島だったから出張で帰ってくる時に新幹線の中で理解しようと試みたが、終わる前に京都駅に着いてしまい、それっきりに成ってる。時間のある時に読むことにしよう。一人欠席だったので、3時ちょいには終了。

その後部屋で線形代数をウダウダと。ちょっと昨日の晩眺めていた線形代数の本に面白い問題があったので、それの周辺をちょっと。成分が実数だとそういう行列は無いが、複素数が成分だとどうだ？と。いや、オリジナルは3次行列だったんだけど、3次行列は計算するの結構大変なので、2次に矮小化した問題を作って解いた。何かの時に使おうと思って、メモっておく。その後水曜日の線形代数の講義の準備。やっぱりまだ外積がよく分かってない。「スカラー三重積」という言葉を仕入れたので、紹介しよう。行列式の一般論を教えた後に外積をやると大分楽。a×b は a, b どちらとも直交する、というのは、成分を展開してガーっと消していく、というのは面白くない。二つ同じ列があったら行列式が0になる、ということを強調した証明をしようとぐちゃぐちゃとやった。今週は固有ベクトルをやらないで済みそうだ。色々ネタはあるので、精一杯水増ししよう。で9時近いし帰ろうかと思ったが、この前1回生に a³＋b³＋c³－3abc を因数分解する話をしたが、高校の教科書にはどう書いてあるんだろう？と気に成り調べた。うん、これは分かってないと出来ないな、というのが実感。まあもう結論まで覚えてしまったので、いいです。小生の論文に2頁のものがあるが、この因数分解はそれの証明の key lemma だった。いや、気付いたのは小生ではなく寺井さんだが。コンピューターにガチャガチャやらせて答えを出していたんだが、寺井さんのお陰で格好良く成り、意気揚々と投稿し、早稲田でも喋らせてもらった。で肝心の補題の式を見た瞬間に足立先生が「因数分解出来るな」と仰られた時は、う、流石、と思わされた。まあ好評だった。でもう9時半を過ぎていたので、いい加減帰ることにした。

すき家でいつものカルビ焼肉にフライドガーリックが乗った奴を食べてきた。この前どこかで食事をしようと思ったら PayPay の残高が足りず、キャンセルして現金で払ったが、残額は大丈夫だろうか？とちょっと不安に成った。昼の弁当も PayPay 払いだったし、と思って残高を見ると1000円ちょっと。食べたものは700円台だったので大丈夫だった。よかった。

明日の用事は4時半からの教授会だけ、と思ったが違った。先週大雨が降ると言っていたので、保健センターに行くのを取りやめたのだった。明日行かないと。3時半くらいには保健センターに行きたい。で帰りに気付いたのだが、いつもなそれくらいの時間だとウェストウィングの近くに停められるんだが、何やら作業のためコンテナ置き場にするので、停めないでくれ、と案内が出ていたのだった。今日駐車場が目茶目茶混んでいたのはそのせいだったか。面倒だが仕方ない。遠くの駐車場から歩くか。

峰不二子の声をやっていた女優さんが亡くなったそうだ。名前を度忘れしたが、こんな時今のご時世は便利だ。「峰不二子」で検索したらすぐ分かった。増山江威子さん。89歳か。まあ大往生ですな。正直山田康雄氏が死んだ時にもうルパン三世は終わりだろうと思ったが、栗田貫一が後をやってくれて嬉しかった。次元大介の声をやってた人も銭形のとっつあんの人も死んだし、もうルパン三世の続編は無いな。で今調べたら何やら実写版があるようだ。玉山鉄二が次元をやったらしい。昔と違ってレンタルビデオ屋というのが激減してきて、山科駅前の Tsutaya も随分前に撤収してしまった。外環を南に下がったところに Geo があるが、歩いて行きたい距離では無いし、録画したまま見てない物が多過ぎて、借りてまで見る余裕は無い。まあ見ないな。

ニュースでやってたが、雲仙普賢岳の大火砕流から今日で33年とか。そうそう、6月3日だったな。爺さんの誕生日だったので覚えている。自然に逆らうと痛い目に会う。地震も忘れてた頃に来るし。リニアモーターカーの為にトンネルを掘ったら井戸水が枯れた所があり、工事を一時取り止めるとか。本当にあんなものいるのか？東京－名古屋が1時間切るのそんなに大事か？北陸新幹線も京都の地下水が心配されている。サンダーバードの金沢行を復活させたらいいだけ違うの？自然は怖いよ。まあ電気やテレビ、パソコンなんかを付けっ放しにして寝たり、部屋に2台ある冷房を両方運転モードにしたりと、小生も大分自然に優しくないことをしてるが。車も誰も乗せずに一人でガソリンがんがん回したりしてるしね。ハイブリッド車だけど。えーと、話がそれた。富士山が爆発したら、大阪と東京は完全に分断されるな。まあ日本が終わるかな。その前に核戦争で地球が終わるかもしれないが。自然とは上手に付き合わないと。

原啓介氏は15年前と何も変わらず

昨日は「琵琶湖すうぶつゼミ」というのに参加するためにアパホテル京都駅前に向かう。1時開始だが、目が覚めたのは12時半くらい。ギャ！髭も剃らずに出掛ける。場所は大体見当を付けていたので、大丈夫だろう、と思ったが、そうはいかなかった。塩小路通沿いにあるように見えたが、全然それっぽい建物が見えない。スマホの地図を見ると、結構近くまで来ているようなのだが。セブンイレブンが見えたので、中に入って場所を聞く。もっと南だったようで、言われた通りに行ったら、アパホテルらしい黒い建物が見付かり、中に入って、フロントの人に聞いて、目的地に到着。10分程遅刻。

「琵琶湖すうぶつゼミ」とはまあ要するに数理科学科と物理科学科合同のOB会。うちは昔数理と物理は数学物理学科という一つの学科だったので。BKCで行われた時は何度か参加したが、そうでないのに参加したのは初めて。何故参加したかと言うと、昔うちにいた原啓介氏が話をするというので。15年振りに会ったが、何も変わっていなくてビックリした。55歳というのに禿げるわけでもなく白髪だらけに成るわけでもなく中年太りしているわけでもなく。うちを出た後激動の生活をしていて、もう何年も前から隠居生活を送っていたらしい。面白い話だった。終了後女子学生が二人原さんの著書にサインしてもらっていた。その後酒を呑みながら歓談。原さんに言わせると、小生も変わっていないらしいが、昔からこんなに禿げていたということだな。自覚は無かったが。うちの卒業生でうちで基礎専門科目専任講師（だったかな？）をやっている人が何人か参加していたが、原さんは顔を見た瞬間に「あ、北沢君だ」などと言っていて、記憶力も衰え無しといったところだ。凄く楽しい時間を過ごせて、行ってよかった。

会の終了は4時だったので、まだ呑もうという話に成ったが、原さんは4時40分の新幹線の切符を取っていて、東京に帰るそうなので、そこでお別れ。残念。A堀先生とW先生、助教のS先生と学生10名強で、ヨドバシカメラの近所のバーみたいな所で屋外呑み。アパホテルには塩小路通を通らずにこう行けばよかったか、と分かった。で数時間呑んだ。スマホでちらちらと野球を気にしたり、座った所から店の中で Marines vs. Tigers がやっているのが見えたのでそっちを気にしたり。まあそれはともかく、同僚や学生と色々話が出来て面白かった。で山科に河岸を変えて、更に呑もう、という話になり、A堀先生とタクシーでふなごやへ。暫くしたら助教のS先生とW先生が合流して、更に盛り上がった。A堀先生はふなごやの料理がめちゃめちゃ旨いと喜んでいた。もう途中から何も覚えてないが、まあ楽しかった、のでしょう。

で全然起きられず、夕刻まで寝ていた。野球がやってる筈、ということで CS の GAORA にチャンネルを合わせるも、何やら通販の番組ばかり。もう終わったのか、ということでスマホを見たら、一方的に負けていた。大貫はここまで毎試合3失点以下だったが、今日は大量失点。まあ交流戦は3勝3敗なので、まずまずでしょう。Marines は引き分けを挟んで11連勝だったが、今日は Tigers に1－0と負けた。才木は去年の交流戦防御率0.00だったと思うが、パ・リーグ相手に強いな。Swallows の石川雅規がプロ入り1年目からの23年連続勝利投手に。史上初。凄い。まだまだやれそうだ。目指せ200勝。