サヨナラ勝ちで4位浮上

昨日は呑まなかった。で今朝は昼に出掛けるか、ギリギリに出掛けるか、などと昨日書いたが、起きたのは3時くらい。呑まなかったのだが3時くらいまで起きていたので。結局今日も12時間くらい寝てしまった。先週土曜日に会ったうちの一人はこの前50に成ったと言っていたが、長時間寝られなくて困っていると言っていた。歳を取るとそうなるのが普通なようだが、小生は相変わらずグーグー寝られる。疲れが抜けないのが歳の証拠なのか、長い時間寝られるのが若い証拠なのか、いまいち謎。

で職場に4時くらいに着いて、パンをコーヒーで流し込んで打ち合わせに。ちょっと想像と違ったが、面倒臭いことに成ってきたのは事実。うまくいくとは思えないが。何を言ってるのかわからない？まあわからないように書いてるんでね。取り敢えず学科の皆さんの意見を聞かないと。資料をいただくのに1週間くらい掛かると言っていた。待ちましょう。5時45分頃に解放された。

その後個研室でお勉強。ジョルダン標準形の存在証明だが、冪零の場合は大体どれも同じ証明が書いてある。難しい。分かったような気が全然しない。まあそれだけ難しいということだな。その後本を見ていると、一般固有空間を定義通り求める例が出ていた。A－λE（λ は A の固有値）の冪乗が割合分かりやすい形をしているんで、(A－λE)^m（m は λ の重複度）を掃き出すという方針でなくても求まる。こういう例は知っているといいので、いい勉強に成った。TeX にまとめておく。

例によって野球も気にしていた。1回裏に5安打を打って4点取った。その時点では楽勝か、と思ったんだが、さにあらず。2回裏に満塁のチャンスをつぶしたのだが、そこからは点を取る気配が無い。で5回表に2点、6回表、7回表、8回表に1点ずつ取られ、ついに逆転を許してしまった。8回裏はいい打順だったが無得点。で9回裏。相手は抑えの切り札岩崎（いわざき）を出してきた。万事休すか、と思ったら、1番桑原がヒット、今日2番に入った大田が同点のタイムリー2ベース！いいぞ、と思って見ていたら、佐野はレフトフライ、牧が申告敬遠、柴田三振で2アウト。こりゃ延長戦か？と思ったら、途中から守備に付いていた嶺井がサヨナラヒット！おっ！と思ったら、Tigers がリクエスト。しばし待たされたが、判定は変わらず。サヨナラ勝ち！Tigers に3タテで、4位浮上。いいですね。明日から首位 Swallows が相手。存在感を示しましょう。

Tigers の近本が今日もヒットを打って、26試合連続ヒット。そろそろ高橋慶彦の33試合連続安打の記録は塗り替えられていいでしょう。Tigers が勝つのは癪だが、得点に関係無いシーンならいくら打ってもいいので、40試合、50試合と、不滅の大記録を叩き出してください。

Carp は Swallows に負けたそうだ。Baystars と Tigers 相手だと無類の強さを誇る Carp だが、Swallows にはとんと弱い。こんなチームに上に行かれるわけにはいかない。追い抜いてしまえ。頑張れ Baystars。

住処には右折で路地に入るのだが、ウィンカーを出して一旦停車したら、窯を掘られそうになった。後ろの車が猛スピードで迫ってきて、うゎ！と思ったら、急ブレーキを掛ける音がして、何事も無かったかのように抜いていった。小生が安全運転でスピードを過剰に出さずに運転していたのにイライラするのは分かるが、もう少し車間距離を取って走っていればそんなことに成らないで済んだろうに。後ろの車の運転手は大いに反省して欲しい。

単打3本で満塁の後、犠牲フライで2点

昨晩はつい「相席食堂」を見てしまった。12時半前には放送は終わったんだが、その後寝床でうだうだと。で今朝は8時15分くらいに目が覚めたが、眠いのでもう1時間弱寝てしまった。急いでシャワーを浴びて出勤。例によって朝飯は抜き。

今日は「代数学I」から。今日は商体の話。整域が体に含まれていれば商体が存在することを示した後、整域を含む体が存在しなくても商体が存在することを証明。同値関係を定義して、それで割るという証明。商集合のことを分かってないと辛いね。その後分数を制限した商環を定義。局所化を定義して、局所化が局所環に成る、という事実を紹介したら時間。来週はその証明から。

昼は例によって弁当を買って掻っ込む。講義資料の直しを少々。

1時から卒研。今日は Z/(m) の単数群と1次合同式、オイラーの定理やフェルマーの小定理など。で4章は飛ばすと宣言した通りで、5章へ。5章はヤコビ和を用いた有限体上の方程式の解の個数の評価が主。難しいぞ。一人2ページ見当というペースは守れるんでしょうか？知らんぞ。あと3週間で夏休み。どこまで進むでしょうか？

4時10分ちょいに解放された。チャイムが聞こえなかった。その後ダラダラと来週の講義の作戦練り。局所化が局所環であることの証明が理解できない。自分の書いたもので、去年はそれを見ながら講義した。うむ。で分かったことは、嘘は書いていない。ただ、二言三言説明が足りない。で書き足すことにした。くどい。が、くどいくらいでないと現場で立ち往生してしまう。せっかく来てくれている3人の学生にがっかりさせてはならない。ということでどうにかした。その後局所化に対する理解をもう少し深めようと、演習問題の解答作り。然るべき剰余環が素体と同型に成ることの証明を幾つも考えた。が、あとで冷静に成って見ると、どの証明も本質的に同じ。結局 (a,b)＝1 ⇒ ax＋by＝1 となる x,y∈Z が存在すること、素数が生成する単項イデアルが素イデアルであることを使っている。要するに素体へ向けて写像を作るか、素体から写像を作るか、はたまたその逆写像を explicit に書いたかくらいの差。まあいいです。勉強に成った。9時くらいまで職場にいた。

もちろん6時から野球をやっていて、気にしながらやっていたのだが。1回表にいきなり1点取られる。どうも石田は冴えない。1回裏に佐野の2ランで逆転するも、2回の表にすぐ追い付かれる。うーむ。でしばし数学に集中して、ちらっと野球の速報を見たら、4回裏ノーアウト満塁のチャンス。で経過を見ると、単打3本。うー、効率悪い。去年だか一昨年だかにも単打3本で満塁のチャンスを作るも無得点、ということがあったが、その悪夢の再来か、と思ったら、今日は違った。ソトと嶺井が連続の犠牲フライ（どちらも初球打ち）。2点勝ち越した。まあいいでしょう。その後何度もチャンスを作られるも、石田、クリスキー、エスコバー、伊勢、康晃が抑え切り、4－2で勝利。これで4位 Tigers と0.5ゲーム差。いいですね。Carp も Giants も負けてくれたし、上と差が詰まってくる。明日もいきましょう。

帰ってきてニュースを見ると、異常気象の情報。今日も暑かったようだ。が、梅雨の無い北海道が大雨。明日も暑いらしく、京都は37度の予報。うぇー。普通木曜日は用事が無いので、出掛けないで済むんだが、明日は4時20分から打ち合わせがある。2時40分からだと思っていたのだが、4時20分だった。どっちが涼しいかは微妙。昼過ぎに住処を出て、回転寿司へ、と思わないでもないが、暑そうだな。明日はやっぱり住処で昼飯を食べて、3時過ぎに出発かな。まあその時の気分と状況次第ということで。

さて、明日の予定が2時40分でなく4時20分から。ということは少々呑んでも大丈夫、と思わないではないが、昨日も4時までに職場に行けばいい所を3時まで寝ていた体たらく。しかも呑まないで。今日呑むと危険かな。まあもう少し考えよう。腹でも痛くなってくれば呑まないが。

近畿地方は梅雨明け

昨日は「激レアさんを連れてきた。」も「アンタウオッチマン」もあった。で3時前にプロレスが始まって録画されていることを確認して寝た。で今朝は11時くらいに一旦目が覚めたが、起きられない。立ち上がったんだが、すぐダウン。その後何度となく目が覚めるんだが、「うーん、あと30秒。29、28、…、０、－1、－2、…、やっぱ寝よう」を繰り返し、最終的に起きたのは3時くらい。12時間も寝てしまった。やはり月曜日は疲れているようだ。保健センター自体は5時までやってるんだが、ドクターによる診察は4時まで。飛び起きて出発する。まあ幸い走行車線をゆっくり走っても間に合う時間。3時45分くらいに受付。よかった。

で処方箋をもらって個研室へ。線形代数の勉強を、と思ったんだが、まだ疲れていて、どうも勉強する気に成れない。仕方ないので MathSciNet で論文のレビューを見て、沢山論文をダウンロードして、時間をつぶす。野球が始まってからはYahoo！の速報を見て時間をつぶす。

ドラッグストアは11時までやっているが、処方箋の受付は8時まで。ということで7時前に職場を後にする。今日は何もしなかったな。でドラッグストアの駐車場で一騒ぎ。処方箋が見付からない。困った。カバンを漁ると「処方箋の受付は4日間」という注意書きを書いた紙が沢山出てくる。処方箋をもらう度にもらっているので、たまっていく。うぉー、そんな紙はいい。処方箋！と焦りまくる。仕方ないのでカバンの中身を全部出そう、と途中まで中身を出したら、ようやく出てきた。よかった。紛失したらもう1回診察しもらわないといけないところ。危ない所だった。で薬を処方してもらってる間スマホで野球の状況をチェック。1回に2点取られていたが、同点に追い付いていた。見てるそばからソトにホームランが飛び出して勝ち越し。よしよし。なか卯で鰻を食べて帰宅。

住処に着いてテレビを付ける。6－2に成っていた。大和にタイムリー、ソトに2点タイムリー2ベースが出たようだ。大貫は1回に2点取られた後は良かったようで、7回2失点。で試合はそのまま終了。Tigers 相手に快勝で、vs. Tigers は6勝5敗と1つ勝ち越し。4位 Tigers と5位 Baystars の差は1.5に。明日、明後日も勝って、4位浮上と行きましょう。

途中2軍の情報が入ってきたが、オースティンがヒットとホームラン。おぉ、これはいい。DH だったそうだが。守備はどうなのかな？右肘のクリーニング手術明けだから、投げる方が心配。1塁守る？じゃあソトは？ソトにライト？じゃあ蛯名は？うーん、悩みは尽きないね。当面は代打でいいかも。さあ、逆襲は見えたぞ！

明日も3人の学生相手に講義して、その後7人の学生相手にゼミ。「AI・機械学習」という数理科学科、機械工学科合併の講義があるが、担当している同僚によると「出席者は大分減りましたよ。70人くらい」とのこと。登録は278人とか。70人もいれば大分張り合いがあっていだろう。小生の講義は2人、3人、3人。4回生のゼミは二つあるが、一方が7人、一方が4人。低回生の専門科目より4回生のゼミの方が出席人数が多い、というのは異常事態。コロナが収まるまでこの状態は続くだろう。秋学期の講義はいったい何人出席してくるんだろう？当然春学期の内容を踏まえて講義を行うので、3人以下だろうな。卒研に何人来るだろう？去年の「代数学II」はやっぱり出席者が数名で、今年の卒研には7名いるから、講義の出席者数では分からない。まあ楽しみにしておこう。

近畿地方も梅雨明けとか。今年は雨が少なかったな。琵琶湖は大丈夫だろうか？小生がこっちに来た年だったか次の年だったかが大渇水の年で、普段は琵琶湖の底に沈んでいる秀吉の掘った井戸が地表に出てきた。そんなことは無いことを願おう。

もう昨日の話だが秋山翔吾が Carp に入団とか。でメジャーリーグの頃の映像を見ると、赤い帽子に C のマーク。ほぼ Carp だな。秋山は活躍するでしょうか？Giants に入らなかったから応援してもいいが、Carp には Baystars の下に行って欲しいので、活躍は程々にお願いします。

222≡1 (mod 15) に感激する

昨日は気持ち悪かったので、日が変わる前に寝た。で今朝は8時55分くらいに起きた。朝飯を食べて、シャワーを浴びて、let's go、までは良かったんだが、運転してすぐ腹が痛くなった。職場まで持ちそうにない、ということでファミリーマートに寄る。予想外のタイムロス。しかもそのファミリーマートの駐車場は広々としていて、どこにでも止められる、と思っていたが、一部がコインパーキングに変わっていた。そのため駐車にも時間を取られ、どんどん危険に成ってくる。何とかセーフ。で職場に10時半くらいに着いた。講義には間に合った。

で講義室に行ってみると、二人しかいない。うーん、末期症状だな。一人は多分いつもいる学生（殆ど学生の方を見ないので、顔を知らない。いつもの場所に座っているのでそう判断）、一人は今日初めて来た学生とちゃうやろか？新品同様のテキストを持っていた。板書を写しているのはいつも（と思しき）の彼のみ。で熱心に写しているのに申し訳ないんだが、記号が思い、沢山ベクトルを書く必要がある、暑い、などの事情で、パソコンの画面を大型ディスプレイに映しながら喋る、という形態に切り替えさせてもらった。来週から出席者が0に成るかも、という恐れを抱くが、やむを得ない。で冪零変換のジョルダン標準形の存在と一意性を証明したら丁度時間に成った。来週は一般の場合。誰も来なくても構わない。時間通りに行く。

例によって弁当を掻っ込んで、昼の講義の資料の印刷。で1時前に講義室へ向かう。暑い。今日の滋賀は34度の予報だった。講義室に着いたら、こちらも2人。…。先週は3人いたが。まあいいか、と思い始めようと思ったら、冷房の電源がオフのまま。これはかなわん、ということで最強にさせてもらった。うちの冷房は湿度を下げてくれないので、蒸し暑いまま。まあ仕方ない。こちらは1時間半、たっぷり板書。途中1人入ってきて、聴衆は3人に成った。今日はルジャンドル記号の定義から始めて、平方剰余の相互法則の証明を完了させてきた。来週は y²＝x³－20 の整数解の決定や、x²＋5y² の形をした素数の決定など。イデアル類群の有難味が少しは分かるか、という内容。でそれだけではどう考えても1時間半は埋まらないので、実二次体の単数の話をする予定。連分数をやる時間的猶予は無さそうなので、部屋割り論法で1より大きい単数の存在を示すことにする。

で部屋に戻ってきて、メールを見た。今日もゼミが無しに成った。昨日の晩から吐き気、とか。暑いから調子も崩すだろう。お大事に。来週はこちらの用事でゼミを無しにしてもらうので、その旨メール。

その後ダラダラと疲れを抜いてから、講義資料を web に上げ、忘れたことに今気付いた。pdf を作るところまではやったんだが。仕方ない。明日やろう。でその後水曜日の講義の作戦練りなど。残る講義は4回だが、例によって1回から1回半くらい余る。まあ例によってフェルマーの小定理を用いた非素数判定や、フェルマー数の素因数を見付ける話などやればよいだろう、ということにする。で資料を見ながら、2¹⁴≡4 (mod 15) だから15は素数じゃない、とか見ていたんだが、冪乗の計算は2進展開すれば速く計算することが出来る、という例を100を2進展開してやっていたんだが、試しに上の 2¹⁴ でやってみた。すると、14＝2＋2²＋2³ で、何と 2²²≡1 (mod 15) ということが判明した。おぉ、ということは 2¹⁴＝16384 を計算しないで、暗算で 2¹⁴≡4 (mod 15) が示せるぞ！これは凄い、と感激。さっそく TeX に起こす。たまには手計算もしてみるもんだ。Pari/GP で Mod(2,15)^14 として Mod(4,15) と返ってくるのとは感動が違う。手計算とコンピューター頼りはバランスよくやらないと。などなどで9時過ぎまで職場にいた。暑い中歩くの嫌だしね。

で暑くないかと思ったら、暑い。車のエンジンが掛かっている時外気温が表示されるが、28度。うーん。ココ壱でカレー、と考えないではなかったが、ココ壱のカレーは熱々。量も300gと多い。食べ終わったら汗だくだな。ということですき家に寄る。結局カレーを頼んだんだが、ココ壱より量が少ないので、いいか、と。さらに、そんなに熱々じゃなかった。ということで一瞬でペロリ。うまかった。

で高速道路を通って住処へ戻ってくる。駐車場の鍵を開けようと外に出たら、暑い。再び車に戻ったら、外気温29度、の表示。うーん、熱帯夜かな。まあ冷房を掛けて寝るので、構わないが。この前「羽鳥慎一モーニングショー」でやっていた話によると、眠りを深くするには冬物の布団を使った方がいい、とのこと。こちらは1年中同じ布団を使っているので関係無いが。まあ頭寒足熱にした方がいい、と言っていたので、冷房は掛けた方がいいかと。明日はいい加減保健センターに行かないといけないから、今日も早寝しよう。呑む？うーん、どうしようね。

テレビを見て気に成っていたのが、最近京浜急行がCMに使われることが増えた、ということ。前はどのCMも京王だったのだが。ユニクロの桑田佳祐がこけるCMと、メガネの三城のCMでは京急の車両が写っていた。三城の方は「三崎口方面」という看板も映っている。京急混んでるのが嫌だったけど、好きだったな。今度実家帰った時は、新横浜から地下鉄じゃなく、東神奈川まで横浜線で行って、そこから京急で帰ろうかな。今年は親父がどうしてるか気に成るから、夏休みも帰ろうか？

昨日はへべれけに成るまで呑んだため、ブログを更新せず

昨日は呑みに行くのをやめようか、と思っていたんだが、店長から LINE で呼び出され、出掛けた。で行ってよかった。久方振りに会う人々と会えた。さながら同窓会のよう。一人は癌で、もう余命が尽きているはずなのだが、元気に酒を呑んでいた。煙草も吸っていた。でへべれけに成るまで呑んだ。楽しかった。帰ってきて即ダウン。久々に徹夜しない土曜から日曜にかけてに成った。

で野球の途中まで寝ていた。丁度 Carp に逆転されたところだった。京山は今日も上々の出来で、6回2失点。が、今日も勝ち投手に成れず。8回にもう1点取られ2点差。ダメか？という感じだったが、粘った。8回に大和の代打タイムリー、9回に佐野のタイムリーで追い付く。が、12回に平田が決勝点を取られ、the end。3位 Carp 相手に3連敗。うーん、上位進出が遠のく。Tigers が Dragons 相手に勝ったので最下位転落は避けられたが、いつの間にか Tigers と 2.5ゲーム差。先月は勝率5割だったが、今月は負け越しが決まってしまったそうだ。今年も厳しいかな。

Carp は Tigers に負けていないが、Baystarsには１つしか負けていないそうだ。両チームが Carp 相手に五分で戦っていれば、ペナントレースの様相はもっと変わっていただろう。Carp に落ちてきてもらうためにも、Baystars と Tigers はもっと頑張らないといけない。

Swallows vs. Giants が凄い。初戦は16－6で Swallows、2戦目が5－19で Giants、今日は 11－10で Swallows と壮絶な打ち合い。で Swallows と Giants は11ゲーム差で、Giants は自力優勝消滅とか。Swallows 凄過ぎる。7月にはマジックナンバーが点灯してしまうのではないだろうか？そんなこと過去にあっただろうか？何にしても凄過ぎ。

今日は滅茶苦茶暑かったようだ。都心では6月としては初の2日続けての猛暑日らしい。明日の滋賀は最高気温34度らしい。講義が2コマあるが、嫌だな。来週はずーっと34度～35度くらいいくらしい。水曜日の講義もやりたくないな。まあ仕方ない。やるしかないのだ。今日はまだ気持ち悪いから、もうすぐ寝る。明日は余裕を持って起きて、朝飯を食べたいところ。無理かな。

Swallows が菅野を攻略して16得点

夜中の2時くらいに目が覚めてしまったが、もういいか、ということで起きることにした。生活リズム滅茶苦茶。「羽鳥慎一モーニングショー」で睡眠の大事さを説いていたが、耳が痛かった。痴呆症に成るのは確定か？で線形代数の講義の準備をしていたら、住処を離れるのが嫌に成ってしまった。今日は「はま寿司」で大トロのつもりだったのだが、結局 Uber Eats にマクドナルドのハンバーグを頼んで食べた。

1時からゼミ。今日は「代数的数」と「代数的整数」という言葉を定義出来た。ようやく、という感じ。代数的整数の全体が環をなすことを証明。その後代数的数の全体が体に成ることを証明するのだが、そこで時間。L/K が体の拡大の時、L の元で K 上代数的なものの全体が体に成る、ということは代数学IIでやったが、ちょっとその時の証明とは違う。Z 上整とか、Q が Z の商体に成っているのを存分に使う証明で、これはこれで面白いかと。4時10分終了。

その後部屋で線形代数の準備。いや、直接準備と関わるわけではないが、ジョルダン標準形の存在定理をいくつも読んだ方が頭の整理が出来るかと思い、とある本を読んだ次第。奥付に「相対空間」とか書いてある本だから、あまり信用していない。ということで計算を一つ一つ丹念に追い掛ける。1か所嘘か？と思しき所があったが、ちゃんと読んでみたら合っていた。行列の分割を巧みに使って証明している。行列の分割って実際の計算には役に立たないが、理論的には凄い強力だ、というのが色々な定理の証明を読むと感じる。大きさに関する数学的帰納法、というのが出来るところが面白い所。大きさを決めると、上三角行列な正則行列の全体が群に成る、というのなんか分割を使わないとどうやるか見当も付かなかったが、分かった時はすっきりした。立命に来た年に線形代数の演習を担当したが、今から考えるとあの頃は何もわかってなかったな、と実感する昨今である。6時ちょいに職場を後にした。

今日の高速道路も渋滞情報が出ていたが、「瀬田東JCT－大津 渋滞2km」とマイルド。あまり混まずに、高速道路にいた時間は20分程度。その後三条通に出ると酷い渋滞。15kmを20分で走ってきた後、2kmが10分掛かった。

で6時45分くらいに住処着。今日は今永だから、と期待してテレビを付けると、0－4でリードされている。…。丁度菊池涼介にホームランを打たれたところだった。今永はノーヒットノーランをやった後よくない。その後もう1本ホームランを打たれ、5回5失点。変わった入江が1イニング目は良かったんだが、2イニング目に失点。三上も1イニングは抑えたが、2イニング目に坂倉にホームランを打たれた。で0－7と一方的な敗戦。まあ仕方ないです。明日濱口に頑張ってもらいましょう。

試合終了後に他球場の経過を言っていたが、Swallows が2位 Giants 相手に15点取っている、という情報。Tigers vs. Dragons は Dragons が追い付いたという情報。うむ、NHK のニュースを見ようと思ったんだが、まだ野球が見たいぞ、ということで今 Swallows vs. Giants にチャンネルを変えた。すると Swallows がもう1点取った。16－4という状況。うーん、凄い。一昨年、一昨々年は最下位だったチームが、去年日本一に成り、生まれ変わった感じ。強い。もうこうなったら Swallows には信じられないくらいのゲーム差を付けて優勝してもらおう。今日このまま行けば1位と2位が11ゲーム差。まあペナントレースは面白くなくなるが、こちとら Giants が惨めに成れば成るほど飯が旨いんでね。Swallows 独走は大歓迎です。Giants は意気消沈でBクラスに落ちてもらえればいよいよ文句無し。Baystars はAクラスを目指しましょう。

眠くなってきた。今日は野球が終わったら寝よう。というところで岡本（和）がホームランを打った。余計なことを。明日が心配に成るじゃないか。明日は抑えろよ。

Baystars 最下位脱出

また徹夜してしまった。が、さすがに眠くて、適当な時間に仮眠を取る。保険会社の人は2時に来た。で色々手続きをして、また寝た。そのまま野球の途中まで。

で野球を見始めると、5－0と一方的にリードしている状態。森にプロ初ホームランが出て、7－0。東がナイスピッチングをしている模様。が、2点取られて、そこで交代。変わったクリスキーが2ランホームランを打たれて7－4。7回にも1点取られて7－5。むぅ。が、そこからリリーフ陣が粘って、点を取られることなく勝利。これでカード勝ち越し。今日は Dragons が負けたので、最下位脱出。今まだ Carp vs. Tigers は行われていて、結果次第では Baystars は一気に4位浮上の可能性も。Carp との差が縮まって欲しい気もするが、4位浮上も大事。ということで引き続き Carp vs. Tigers を観戦。只今延長10回裏で3－3という状況。Tigers は Carp に勝てないんでしょうか？

などと書いてしばし。菊池がレフト戦へ長打コース。1塁ランナーが一気にホームインでサヨナラ、という感じだったのだが、ランナーが三本間で転倒。Carp サヨナラ勝ちならず。試合は11回へ。どうなるでしょう。結果は後程。

などと書いてしばし。4時間52分の死闘の末、試合は3－3で引き分け。Baystars としては4位に浮上出来て、Carp とのゲーム差も詰まるという、ある意味ありがたい展開に成った。明日からは vs. Carp。Aクラス浮上のチャンス。3タテしちゃいましょう。

覚えたことはどんどん使おう！

今日も8時半には起きられなかった。日の変わる前には寝たんだが。例によって朝飯を食べる時間が無かった。講義には間に合った。

今日は「代数学I」。まず Eisenstein の既約性判定定理から。その後見た目では適用できそうもないが、変数変換をすれば Eisenstein の定理を満たす素数が見付かる例を幾つか。その後 Z[X] が U.F.D. であるが P.I.D. でないことを証明。結構大変で、時間いっぱい使ってしまった。来週は商体とか分母を制限した分数環など。局所環も出てくる。整数論臭い話題が出来ればいいが、まあ無理だろう。

昼は例によって弁当を買って貪り食う。1時からゼミだが、疲れている。

でゼミ。今日で全員揃うのかと思ったら、一人いなかった。今日は Z[X] の元が Z 上で既約だったら Q 上でも既約、という事実を証明して、ようやく多項式の話が終わり。合同式の章に入る。a≡b (mod m)、c≡d (mod m) ⇒ a±c≡b±d (mod m), ac≡bd (mod m) は証明しても、a≡b (mod m) ⇒ ca≡cb (mod m), aⁿ≡bⁿ (mod m) が分からない模様。まあこのパターンは昔から必ずいて、慣れたもんで懇切丁寧に説明。分かってくれたろうか？もう一つ去年と同じなのが、ケーリー・ハミルトンの定理を知らない。いや、どうも一般のサイズでは知っているようなのだが、昔は入試でお馴染みだった A²－(a＋d)A＋(ad－bc)E＝O という形を知らない。高校で行列やってないからね。他にも a＋mZ＝b＋mZ ⇔ a≡b (mod m) をやっているのに、あくまでも定義に戻ろうとしたり。まあ悪くは無いんだが、覚えたことをどんどん使う、という習慣を付けないと数学は進まない。ということで証明を始めようとするのを何遍も止めた。来週は Z/mZ の単元の群とか一次合同式とかやる予定。フェルマーの小定理とオイラーの定理は出来るでしょうか？

4時10分くらいに解放された。今日は会議が無いので色々やる時間があるが、例によって捗らない。明日は保険会社の人が住処に訪ねてくることになっているが、会議が無いんだったら今日職場に来てもらうんだった。今晩心置きなく呑めない。我慢しようか、それともちょっとくらい呑もうか？

6時から野球が始まっているが、今日も職場にいた。Giants がミスを連発してくれるも、中々点が入らない。ソロホームランをポコポコと打つが、さすがの東京ドームでの Giants戦だけあって、相手もポコポコとソロホームランを打つ。最後は伊勢大明神が一発食らい、負けた。伊勢は今シーズン初黒星。今日は下位3チームが勝てば3位から6位までゲーム差無し、という面白い展開に成るはずだったのだが、Giants も Swallows も空気が読めない。Carp？うん、まあ空気は読んでないが、目先の順位が問題だろうから、頑張るのはやむを得ない。しかし Tigers は Carp に勝てないな。

9時過ぎに野球が終わったので、そこで職場を後にする。今日もすき家にしよう、ということでかがやき通りを駅方面へ。PayPay の残高を見ると特鰻丼を食べるほどの額は無いので、カレーにしようか、と思ってメニューを見ると「ニンニクの芽牛丼」というのが目に入った。疲れた時はニンニクだ！ということで頼む。が、肉が少ない。そもそもが牛丼。牛肉を少なくしてどうする？という感じ。まあいいけど。

上に書いた通り明日はちょっと早く起きないといけない。で気付いたが、来週は火曜日に保健センターに行って、木曜日にちょっと打ち合わせがある。ということで珍しく月～金毎日職場に行かないといけない。来週はいよいよ呑めないな。今晩くらい呑むか。土曜日も呑むぞ。そしたら少し我慢だ。

などと書いてしばし。結局呑んだわけだが、呑みながら CS の「プロ野球ニュース」を見ていた。Tigers が Carp に負けたのは知っていたんだが、リードした延長10回裏に坂倉のホームランで追い付かれて、11回裏に宇草のサヨナラホームランで負けたとは思わなかった。アルカンタラが2本ホームランを打たれたようだが、もう変えるピッチャーがいなかったようで、2イニング放ったのは止むを得ない。完全にカモと苦手の図式が成り立ってしまった。Tigers は Carp に勝てるんでしょうか？シーズン最後まで勝ち無し、というのは面白くて見たい。まあ最後は Baystars が上に行けばいいんで、Carp も Tigers も下がって欲しいけど。

神里が神ってきた

♪通りには6月の雨 心もぬかるみの中

今日は早目に出て、回転寿司へ行って、保健センターへ行って、教授会まで色々、の目論見は全て崩れた。やはり月曜日は疲れているのか、相当遅くまで寝てしまった。保健センターには間に合う、ということで急いで出る。保健センターに着いて聞くと、伊東先生の診察は今日は無い、とのこと。うーん、何のために急いで住処を出たんだろうか。また来週に成ってしまった。まあ幸い薬はある。いいや。

4時半から教授会だが、その前にちょっと線形代数を勉強しよう、と思ったが捗らず。まだ眠い。教授会もあまり真面目に聞けなかった。5時くらいに終了。

その後6時から別の会議だったのだが、教授会が早く終わったので、15分早めて開催、というメールを見ずに6時に大会議室へのこのこと出向く。途中W先生に会った。着いてみると我々二人を待っているような口振りだった。今日は議長が一人で話すだけという、何とも退屈な会議。これなら対面でやる必要は無い気がするのだが。春学期はこれで一区切りで、秋学期に再開する、と言っていた。また火曜日に呼び出されるのか。面倒臭い。7時前に終了。

今日は朝からロクに食べてないし、王将でガッツリ食おう、ということにして、王将東インター店へ向かう。昔名前に騙されて、京都東インターの近くまで歩いたが、店はとんと見付からず。これなら「山科東野店」にして欲しい、と思ったが、まあ車で行く人には「東インター店」の方がいいのだろう。が、右折入場を避けるため、一旦三条通を「外環三条」まで行って、そこから「山科区東野」交差点まで行き左折、と相当大回りをして行く。まずニンニク激増し餃子があるかどうか確認。あるというので頼む。更にキムチ炒飯と、麻婆豆腐ジャストサイズ（i.e. 半人前）。途中野球の経過を見ると、1点勝っている。ソトが実に2か月振りのホームランを打った。が、Giants にもホームランが出て追い付かれる。その後ピンチに成るも、田中健二朗が抑えた。で王将を出る。雨は強くなっていた。

住処に着いてテレビを付ける。まだ1－1だった。エスコバーが放っていたが、抑えた。で8回表。1アウトから蛯名が四球を選ぶ。その後盗塁。2アウトから敬遠気味の四球で宮崎が歩き、桑原が四球と、満塁のチャンス。打順は途中代走で出場の神里。あまり期待しないで見ていたら、何と勝ち越しの2点タイムリーヒット。その後伊勢、康晃と抑え切って、連勝。神里が神ってきた。外野のポジション争いは熾烈。佐野は不動としても、桑原、関根、蛯名、神里、楠本、大田が争う。オースティンが戻ってきても守る所無い。筒香が日本に復帰したがっている、という情報もあるが、いよいよ行く場所無い。筒香は3塁を守ったことがあるが、宮崎が好調。1塁はソト乃至佐野。うー、層が厚い。が、層が厚いだけでは勝てない。野球は点取りスポーツ。点をもっと取らないと。

さて、他のチームの情報が気に成る。Tigers はまたしても Carp に勝てずで、4位転落。5位 Dragons は首位 Swallows 相手だが、サヨナラ勝ち。最下位脱出成らずか。残念。まあ3位まで1ゲーム差だ。まだまだ食らい付きましょう。

パ・リーグも興味深かった。Marines 小島（おじま）が6回までノーヒットノーラン、という情報。お！と思って見ると、何と Marines も無安打。Loins 松本航が8回途中までノーヒットノーラン。お！と思ったが、小島はヒット3本集められて1失点。松本もヒットを打たれて、途中交代と、残念な結果だった。まあいいです。そう何度も何度もノーヒットノーランが出ては有難味が薄れる。小島も松本もまた狙ってもらいましょう。

もう眠いな。やはり1日無理をすると、回復まで2、3日掛かってしまう。明日は8時半に起きられるでしょうか？気合を入れないと。そのためには早寝だ。「報道ステーション」が終わったら寝よう。「相席食堂」はいいや。こうして見るテレビ番組を一つずつ減らしていかないと身が持たない。録画するのもやめよう。

もうすぐ選挙だ。各党が「消費税減税」とか「消費税廃止」とか言ってるが、どうせ出来ないんだろう。まあだからと言って投票しないのはよくない。投票には行く。起きられればね、ってこら。徹夜して行けばいい。最近日曜日は徹夜が多い。徹夜してでも行くぞ！

今日は呑まない

昨日はちゃんと日の変わる前に寝た。で今朝は8時半のアラームで意識が戻ったが、もうちょっと寝よう、と思ったら9時まで寝てしまった。まあ朝飯を食べてシャワーを浴びる時間がありそうなので、その通りにする。で9時50分頃出掛けようと思ったのだが、お腹が痛くなってきた。うー、洗ったばっかりなのにー。で5分強悶絶。住処を離れたのは10時くらい。

まあトラブルが無ければ間に合う時間で、10時半に駐車場に着いた。講義室までは5分も掛からない。余裕で間に合った。今日は「線形代数学」から。まず簡単な場合に一般固有空間を計算してから、複素ベクトル空間が一般固有空間の直和に分かれることを証明。結構大変。で固有値が2つある場合に一般固有空間を計算する例が出ているが、それは上の事実の証明にあるとある射影を使って直和分解出来る、という事実に依っている。折角重複度を定義したんだから、一般固有空間の (T－λI)^m の m が重複度に取れることをやっておけばいいのに、というわけでその事実を証明してから、その方針で一般固有空間を計算。ここは来週に成るという心積もりだったのだが、今日終わってしまった。で3分くらい余っていたが、ジョルダン標準形に関する部分は印刷していない。ということで早目に終了。一生懸命板書を写している学生がいたので、彼が終わるまで待つ。今日は暑くて、消耗した。

昼飯は例によって弁当を買う。牛カルビとハラミの弁当。疲れている時は肉だ！というわけで個研室で貪り食う。午後の講義の資料をちょっと眺めて、印刷。

午後は院生向け「数理科学特論1」。今日は2次体での素数の分解。平方剰余はまだやっていないので、事実を紹介して証明しただけ。その後イデアル類群。定義して有限群であることを示す。その後有限性を示すのに使った bound をいわゆる Minkowski bound に改良出来ることを紹介。証明は難しくて出来ない。ただ何故円周率が出てくるかということを軽く紹介しておく。でイデアル類群を幾つか計算して、類数1の虚二次体は9個に限ること（覚えてますか > 整数論の専門家の皆さん）、実二次体となると様子が全く違うということを紹介。でその辺で時間になるかと思ったら、まだ大分時間がある。仕方ないので原始根の定義を紹介して、存在は「代数学IIでやった」とばっさり。その後平方剰余に成ることと指数が偶数に成ることが同値であることを証明して時間。次回はルジャンドル記号の定義あたりから。

で2時40分からゼミのはずだったのだが、今日も無しにしてくれ、というメールが来ていた。時間が出来たので色々やろう、と思ったのだが、マインスイーパーで時間を食ってしまった。途中 W 先生が訪ねてきたり、生命保険の営業の人が訪ねてきたり。で5時半くらいからようやく動き出した。講義資料を直して web に上げて、それから明後日の講義の下準備。Z[X] が U.F.D. であることを証明しよう、という腹だが、あまりきちんと理解しているとは言い難い（どうにかこなしてきた、という程度）ので、きっちり読む。一箇所怪しい所があった。そこを付け足して、印刷して完了。疲れは取れていたので、その後冪零変換のジョルダン標準形の存在定理をきっちり理解しよう、と思い励む。この証明は「何かの基底に一次独立な系を付け足しても一次独立」という証明ばかりなので、はなはだ退屈。それに二重添え字だけでなく上付きまで出てきて、こんなの黒板に書いても誰も写さないだろう、ということで色々作戦を練る。途中まで書いて、後は教材提示機能を使って、大型テレビに映すのがいいかと。証明をどこまで付けるかはその時のノリ、ということで。「manaba+R に上げるから自習して」と言っては講義に来てる意味が無いのは分かっているのだが。これで出席者が0に成ったらどうしよう？9時半過ぎまで職場にいた。

もう遅いし、吉野家で牛丼だな、と思ったのだが、考えてみたら昼は牛肉。偏り過ぎだな、ということですき家に変更。すき家で牛丼じゃ同じ？そう、だから麻婆丼にした。安いしね。帰り道も一般道でと、節約。一般道だと原付や自転車が走っているので怖い。前の車はゆっくり走っているし。まあ慣れない道でスピードを出すのが大変なのはよく知っている。小生も迷惑を掛けているので、イライラはしないことにする。10時40分くらいに帰宅。

月曜日は呑むのが習慣に成っているが、明日は会議が2本。更に先週行かなかった保健センターに行かないといけないので、今日は呑まないことにした。今すぐ寝れば2日続けて日の変わる前となるが、まあそんなことはしないだろう。今日の「過ぎるTV」は面白そうだから、見よう。終われば12時を回ってしまう。ん？まだ11時20分か。今日は世界水泳がやると言ってたから、いつもより番組の始まるのが早いのかな？（通常は11時17分から放送開始だが、今日はもう十分こってり過ぎる内容だ。）世界水泳は多分見ないな。プロレスはやるのか？

日曜日初勝利

昨日呑みに行った所でいい情報を仕入れた。「新福菜館」が山科にオープン。それはいい。正直今まで行ったことは無いのだが、何度も行きたいと思っていた。カップラーメンで発売されたことがあり、その時に美味しかった覚えがある。大津京にあるらしいのだが、拉麺を食べに15分に1本しか無い電車に乗るのも何だな、と思っていた。今度行こう。他にも吉岡里帆が橘大学（山科にある大学）の出身だということも教わった。山科には有名人が多い。で久々に日が変わるまで呑んできた。楽しかった。

帰ってきてプロ野球ニュースを録画しておいたものを見た。山本由伸のノーヒットノーランがトップニュース。佐々木朗希、東浜、今永の時は全アウトを見せてくれるという粋なことをしてくれたので、今回も、と期待したら無かった。何だ、つまらん。まあいいけど。で色々しながら起きていたら、「サンデーライブ」が始まってしまった。また徹夜か。もっと眠くてふらふらに成るくらい呑まないと、毎週徹夜が繰り返されるな。

その後テレビを付けたまま横に成る。野球中継が始まった。ぼーっと聞いていたが、3点差を追い付いて、宮崎のホームランで勝ち越し。が、エスコバーが打たれて同点に成った。でここで起きた。日曜日は勝てていないし、今日もか、と思って見ていたら、宮崎、桑原が連打。神里が勝ち越しのタイムリー3ベースを打った。嶺井の内野ゴロで神里が凄い走塁を見せて3点差。これは勝っただろう、という感じ。8回は伊勢、9回は康晃が締めて、ついに日曜初勝利。やった！牧が調子を落としてるのが気に成るが、まあいいです。桑原が打つようになってきた。今日は同点のタイムリーヒットを含む3安打。そろそろ1番に戻してもいいかも。森もいいし蛯名もいい。牧が調子を取り戻してくれれば、いよいよ上昇気流に乗る。オースティンも近々戻ってくるという情報もあるし、これからが楽しみ。

京山は今日も勝ち投手に成れず。勝ち投手は同点に追い付かれて、その後勝ち越したということでエスコバー。エスコバーは18勝目で、球団の外国人としてはモスコーソを抜き単独1位。ウィーランドなんかもっと勝ってそうだが、そうでもなかったようだ。エスコバーには引き続き頑張ってもらおう。オトコハダマッテナゲルダケ。

野球が終わってから8時まで仮眠。8時から大河ドラマ。範頼が謀反の疑いで幽閉され、最後は殺されてしまう。迂闊な行動を取ったのを頼朝が咎めたということで。大姫が死に、頼朝も近いうちに死ぬだろうから、そうしたらまた話が面白くなってくる。鎌倉時代は北条氏の時代。源氏は添え物という感じであると思う。楽しみ。

石川で大きな地震があったようだ。石川には知り合いが何人かいて、親戚もいる。会ったことは無いが。鳥居が根こそぎ倒されている映像を見ると、地震は相当大きかったようだ。その後東北から北関東にかけて地震があったようだ。大地震が来る、と随分前から脅されているが、怖いな。死ぬまで地震は来ないで欲しい。もう54歳だ。マンションのローンを払い終わるまでは生きていたいが、それにはまだ16年もある。その間に地震が来ないことを願おう。

山本由伸（Buffaloes）ノーヒットノーラン！

昨日は12時前に寝た。で土曜日は特に予定が無いのに、アラームが11時に仕掛けてある。それで一旦目が覚めたが、12時まで寝続けた。NTT の人が訪ねてくるので、少々作業場を作るため片付け。12時40分くらいに NTT の人が来た。どうも向こうのミスのようで、こちらはちゃんとやっていた。これで無事光インターネット開通。今まではソフトバンクの Air （工事がいらない、と的場浩司が引っこ抜かれていくCMでお馴染み）でやってたんだが、重くなってきたので、ソフトバンクが言ってきた通りに光インターネットにした次第。確かに速い。ブログを上げたりするのに少々ストレスを感じていたが、これで快適に出来る。いいことです、うん。

2時から野球。いきなり大田のホームランで先制。が、昨日と似た展開で、1回裏に即ひっくり返される。その後大山にホームランを打たれるあたりも昨日と似ている。が、決定的な違いは反撃出来なかったこと。3安打に抑え込まれ、4－1 で負けた。むぅ。Dragons が Giants と同点の状態だったので、珍しく Giants に勝って欲しかったが、Dragons がサヨナラ勝ち。これで5位に1ゲームの差を付けられての堂々の最下位。明日は日曜日だし、勝てないのだろうか？まあまだ差は僅か。引き離されないよう頑張りましょう。

Tigers が3位浮上。Carp を抜いたわけだが、今年は Tigers は Carp に一度も勝っていないそうだ。それで逆転するなんていうことがあるんだろうか？という感じだが、事実は小説より奇なりで、Tigers は3位に成っている。あれだけ負けたのに、凄いね。こうなったら G の上に行ってしまえ。

で野球が終わって、速報のページを見たら、「山本由伸（Buffaloes）6回までノーヒットノーラン」の情報。お！ということで Lions vs. Buffaloes のページを見たら、9回2アウトの場面。安打の欄は「0」に成っている。これはやってしまうか、と思い見ていたら、さくっと打ち取りノーヒットノーラン達成！また Lions か。Lions は東浜（Hawks）にもやられている。何とも情けない気分だろうな。まあこちらは Buffaloes ファンなので、よかった。ちょっと気分がよくなった。ということでこれから呑んできます。プロ野球ニュースは録画しておこう。

Skebetty 君から連絡あり

今日は某カスタマーセンターに電話を掛けるべく、10時くらいに臨戦態勢。が、送られてきたマニュアルにも箱にも電話番号が書いていない。むぅ。で色々オンラインヘルプを見るも、同じ所をたらい回し。むぅ。そこで思い付いた。この前電話を寄越した所に掛け直せばいいだけだと。そんなこんなで30分くらい無駄に使ってしまった。で掛けて状況を話したら、「NTT から電話があるのでお待ちください」とのこと。むぅ。で仕方ないので待つ。Uber Eats で早目に出前をしてくれるところに注文して、電話を待つ。が、12時10分まで待っても来ない。1時からゼミだから、あまり悠長にもしていられない。12時15分くらいに住処を離れる。で間の悪いことに、草津田上にもう少しというところで電話が鳴った。運転中なので、スルーするしかない。で赤信号に引っ掛かったところで留守電のメッセージを聞く。再度掛けてくる、と言っていたが、ゼミ中に電話が鳴ってはかなわん、というわけで、個研室に着いてすぐ電話する。明日 NTT の人が訪ねてくるそうだ。少し部屋掃除をしないといけないな。面倒臭い。

1時からゼミ。まず体上の多項式環が U.F.D. であることの証明を完成させ、その後原始根の存在や平方剰余の定義など。オイラーの規準の証明を完成させて時間。今日は整数論ぽくてよかった。原始根の存在は、オイラー関数を m の約数に渡る和を取ると m になる、というのを使っていて、整数論だなー、という感じだった。メビウスの反転公式を知らなくてもいいというところが面白い所。発表もよく準備されていて、くどいくらいに説明していた。小生が見てくどいと思うんだから、よっぽどのことだ。まあ自分の納得のいくところまで考えてくる、という習慣は大事だ。維持して下さい。

今日はカバンを持たずに職場に行った。ということで、4時半くらいに職場を離れた。先週はかなりの渋滞だったが、今日は大丈夫だろう、と思ったら、途中やっぱり渋滞した。まあ先週に比べたら大したことなかったが。三条通が渋滞するのは織り込み済み。右折で住処に戻るのは大変そうだから、1キロくらい先のセブンイレブンに右折で入り（ここは信号の近くなので右折は容易）、買い物をして、左折で三条通に出て、左折で住処に帰れた。この方法が easiest やね。

6時から野球。今日から通常のリーグ戦。ゲーム差無しの Tigers 相手に大事な3連戦。1回に死球、エラー、犠牲フライと、ノーヒットで先制する。こちらは前回ノーヒットノーランの今永。今日も抑えてくれる、と信じたが、そうはいかなかった。1回にいきなり4点取られた。その後大山にホームランを打たれ、4点差。相手は防御率が1点いかない青柳。きびしいかな、というところで神里に3ランホームラン！1点差！よし！という感じだが、またすぐ大山にホームランを打たれて2点差。その後再び1点差とするも、また2点差とされる。最終的には2点差だったので、途中リリーフが踏ん張って1点差のままでいってたら面白かったが。いや、今永が4点も取られなかったら。まあたらればは言っても始まらない。明日、明後日勝ってもらいましょう。今日は最下位だった Dragons が勝ったので、Baystars と Tigers の負けた方が最下位転落、ということになってしまい、おわかりの通り Baystars が最下位に転落。まあそうは言ってもゲーム差は無し。Tigers ともわずかに1差。3位 Carp が負けたので、3位から最下位までが2ゲーム差という大混戦。粘りましょう。明日、明後日勝って、食らい付くのが大事。日曜日は勝っていないが、今度は勝つでしょう。

野球を見てる途中に「チーン」という音。Messnger に見覚えのない名前の人からメッセージ。ん？と思ったら、卒業生。苗字は同じだが、名前が違った。学生の時も親父さんのメールアドレスからメールを送ってきていたので、今度もそんなところだろうか？野球を見ながらメッセージのやり取り。元気そうでよかった。向こうは生まれが京都で今は東京住まい、こちらは生まれが横浜で今は京都住まいと、中々会える機会は無さそうだが、いつか呑もう、と約束する。楽しかった。野球が勝ってればもっとよかったんだが。

今日は寝不足だ。もう寝よう。「座王」の録画予約はしてある。明日は早目に起きて片付けをしないと。じゃ！

懐中電灯を購入

水曜の晩は大抵呑むんだが、昨日は腹の調子が悪く、呑まなかった。が、遅くまで起きるのは変わらず、わけのわからない時間まで起きていて、わけのわからない時間まで寝ていた。

で起きて、諸事情で懐中電灯が必要になり、近所の「ケーヨーデイツー」まで買いに行く。懐中電灯って結構高いのね。まあ高級なものは必要でないので、手頃なものを一本買ってくる。ついでに箸を一揃え。その後モゾモゾと作業。うまくいかない。何をしているのかって？さあ。

その後もう一度寝てしまい、さっきまで寝ていた。わけのわからない1日だ。このパターンは徹夜するパターンだが、やめておこう。「やすとものいたって真剣です」が終わったら寝よう。

この番組は、最初は前にやっていた番組「やすともの恋愛島」を取り込んだ形で、ゲストのトークと「恋愛島」を両方やるようだったのだが、コロナのせいで「恋愛島」は出来なくなり、トークオンリーに成ってしまった。が、この方がよく、お笑い芸人が真剣な顔してトークするのが面白い。野生爆弾のクッキーなんか普段はおちゃらけてるが、真剣な話をしているのが面白かった。人間万事塞翁が馬やね。

何か面倒臭そうなメールが送られてきていた。今年も忙しくなりそうだな。一度真剣に学科で打ち合わせしないといけない。うぉー、魚ー。

講義もゼミも同じようなことをやっている

昨晩は「相席食堂」が終わったら寝た。何時だって？まあ12時半くらいです。で今朝は8時半の目覚ましで意識が戻り、5～6分くらい寝床でうだうだした。ちょっと時間があったので、朝飯を調達しにコンビニに行く。シャワーも浴びて、10時前には住処を離れた。

講義室にも10時35分くらいに着いて、今日は順調、と思ったら落とし穴が。個研室に印刷した資料を置き忘れたようで、カバンに入っていない。どうしよう、という所でラッキーなことが。今日は会議の時に使おうとパソコンを持ってきていた。資料が入っている USB メモリーがあるので、dvi ファイルをパソコンの画面に映して、それを黒板に書き写しながら喋った。学生にはパソコンの画面は見せないのかって？見せない。見せてもいいんだが、二人だけでも板書を写しているので、見せない方がいいかと。（今日の出席者は四人で、二人は板書を写していて、一人は話を聞いていて、残りの一人は部屋がすいているから混ざっているだけの講義に関係ない学生と思われる。）で今日は多項式の根の話から。因数定理を任意の可換環上で示し、整域の場合は根が高々次数個（整域でない場合は根が次数より多く存在する例も挙げた）、無限整域の場合は「多項式として0 ⇔ 恒等的に0」など。ついでに Wilson の定理も紹介。でその後 Q 係数の多項式の Q 上の既約性かどうかを問う問題は、Z 係数の多項式の Z 上の既約性を問う問題に完全に帰着できることを証明し、X⁴＋1 が Q 上既約であることを、Z 上既約であることを示して証明。そこで時間。「Z 上でなく Q 上可約であるとして矛盾を導くのは面倒だからやってみ」と言っておいて終わり。一度やったことがあるが、面倒臭かった。その時のメモはもう失くしてしまった。TeX 化しておけばよかった。もう一度やれって？嫌だ。

昼は例によって弁当を買い込んで掻っ込む。今日から1時からの卒研が再開。が、教育実習に行かない学生一人と、教育実習から帰ってきた学生一人、院進学希望者三人という状況なので、発表者は二人だけ。ということで3時前に終了。Q 上の多項式が Q 上既約であることを、有理数である代数的整数が有理整数に限ることを使って証明したり、Eisenstein の定理を使って証明したり。何だか午前中の講義と同じことをやってるな。（午前中の講義では来週 Eisenstein の定理をやる。）金曜日のゼミも代数学Iと同じようなことをやってる。早く整数論をやりたい！

4時半から会議だが、それまで色々。午前中の講義資料を直して web に上げたり、演習問題を考えたりなど。会議はまた難しい話。まあ今日はちょっとくらい分かったので、多少声を上げてきた。学科長は用事があるらしく、6時くらいには会議は終了した。その後1階で飲み物を買っていたら、学科長が何人かと連れ立って帰るところだった。忙しそうですね。

それからしばらく講義の準備をしたり、初等整数論の問題を考えたり。でうだうだと9時過ぎまでいた。で10時前に帰ってきて、カップラーメンをすする。「報道ステーション」にチャンネルを合わせようかと思ったら、NHK で何やら北条政子の話題をやっているので、見ているところ。面白いね。シェイクスピアの「シーザー」におけるアントニーの演説と北条政子の演説が似ている、というのは中々興味深い。大河ドラマの今後が楽しみ。

Dragons の根尾が投手転向とか。まあ高校の時は投手だったので、無理ではないと思うが、どうでしょうかね？二刀流でも出来たら面白いだろうが、チームが最下位だからね。まあだから余裕があるのかな。面白ければ何でもいいので、頑張ってください。

寝てばっかの1日

昨晩は呑んでしまった。寝不足だったため、途中でダウン。で今朝は宅配便に起こされた。10時半くらいだったが、まだ眠いな、ということでもう一度ダウン。今日は保健センターの日だ。起きないといけないが、起きられない。で起きたらもう3時半を回っていた。職場には30分以上掛かる。今日は無理。来週行く。来週の火曜日は対面で会議があるため、行かないといけない。丁度いい。薬は1週間分くらい余分にある。結果オーライ。

で Uber Eats に食事を頼み、食べる。食べ終わった後もう一度横に成り、さっきまで寝ていた。何してんだか。今日は一日中寝てた。明日の講義の準備は出来ているのでよかった。明日は10時40分から講義で、その後久々の卒研ゼミ。よく寝ておかないといけない。寝てばっかだが、いいのだ。今日くらいは徹夜は避けたい。また寝るか。

線形代数の勉強のため、10時まで職場にいた

昨日は結局8時前に横に成り、8時半前には眠りについた。が、今朝は4時前に目が覚めてしまい、寝不足気味。大河ドラマを見て、「おはよう朝日です」を見てたら眠くなってきた。今日はハードスケジュールなので、寝ておかないと持たない、と判断して、少々の時間でも寝ることにした。が、9時半近くまで寝てしまった。ぎゃ！というわけでシャワーだけ浴びる。まあ10時前に住処を出たし、間に合うさ、と思ったら、「京都東－大津 渋滞1km5分」の表示。これ落とし穴があって、京都東と大津の間は大して混んでない。問題は四宮の交差点から本線合流までが混んでいるのだ。今日も案の定。で合流してしまえば大して渋滞していない。ということで職場に10時半くらいに着いた。ドーピングしてたらチャイムが鳴った。2分遅刻。まあいいでしょう。

今日は最小多項式の簡単な性質と計算例から。その後補空間のことが簡単に書いてあるんだが、補空間の存在定理が書いていない。いや、まあそれと同値だが、有限次元空間の場合は有限個の1次独立なベクトルがあったら、それを延長してベクトル空間の基底に出来る、という事実に一切触れていないという、何ともな状況。でそのために色々ぐちゃぐちゃやったら、一般固有空間が部分空間に成っていることを示す時間すら無くなった。まあ和で閉じていることは言ったから、スカラー倍で閉じていることは演習でいいでしょう。

で昼は例によって弁当を買って貪り食う。数セミが発売に成っているはずだから、生協に寄ろう、ということで早目に個研室を出る。で買おうと思ったらレジが埋まっていて、ちょと待たされる。午後の講義も2分遅刻。まあいいでしょう。今日はガロア拡大の場合は分岐指数と相対次数がどの素イデアルでも等しいことを言って、それから Kummer の定理。予想以上に時間を食った。で計算例を幾つか。X³－X＋1 の根を添加した代数体で23を分解して見せて、ガロアじゃないから分岐指数が違う、という例を見せて、円分体の例。で7分体で幾つかやったところで時間が近づいてきた。次の例をやる時間は無さそうなので、相対次数が (Z/7Z)^× での位数と一致することを触れて、「類体論」というものがあることを紹介しておく。日本人で数学やっていて、高木貞治の名前も知らず、「類体論」という理論の名前すら聞いたことが無いという人はどれくらいいるのだろうか？今日出席していた4人は聞けて良かったでしょう。

で今日はゼミがあった。オンラインで。どうもオンラインゼミは真面目に聞けなくていけない。来週は対面で出来るそうだから、真面目にやろう。30分ほどで終了してしまった。

その後は講義資料を web に上げるのに少々手直し。幾つか嘘が書いてあったり意味不明な所があったので、直してから上げる。その後線形代数の勉強。一箇所わからない所があって。今までは事実を紹介してすましていたんだが、どうにも気が引けたので、頑張ってみよう、ということで。で佐武先生の「線型代数学」を開く。この前見たら「証明から明らかなように」と書いてあったので、その証明を読んでみた。でその証明だが、ここ数年講義で紹介しているのと同じ証明が書いてあった。むむっ。これは小生の完全な理解不足か、と証明を何度か読み返し、ようやくわかった。確かに証明から明らかだった。まあいい。証明は難しくないので、今年は堂々と紹介しよう。で例題の別解を与えることにも成功。TeX にまとめる。まあそこをやるのは再来週だろうが、早目にすましておくに越したことはない。ということで10時くらいまで職場にいた。

で駐車場に行って気付いた。ガソリンが大分減っていたな。今日は高速道路で帰るつもりだったが、山科の知っているガソリンスタンドはもう閉まっている時間。瀬田にセルフのガソリンスタンドがあるので、そこに寄ることにする。その前にココ壱で腹ごしらえ。どうも肉食が多いので、今日は魚介類にしよう、ということで「たっぷりあさりカレー」にした。うまかった。支払いは nanaco で。ココ壱で nanaco が使えるとは知らなかった。これからも使おう。ガソリンスタンドによって満タンにする。リッター165円は高いな。まあいいけど。

明日は月1保健センターの日。早く寝よう、と思ったら、明日は月2回の資源ごみの日でもある。ちょっと段ボールがたまっているので、出さないといけない。アルミ缶も結構ある。違法販売機でちょくちょく酒を買うようになってから、アルミ缶の消費量が増えた。出さないと。最近「過ぎるTV」はあまり真剣に見なくなったが、「激レアさんを連れてきた。」と「アンタウォッチマン」は見ているので、12時半前に済まさないと、1時半過ぎまでテレビの前を動けなくなってしまう。早くやろう。そろそろブログもこの辺で。

魔の日曜日はやはり勝てずも、交流戦は何とか5割で終了

昨晩はブログを書いた後1時間半ほどダウン。それで眼が冴えてきて、例によって起きていた。今日やるのは「おはよう朝日土曜日」ではなく、「サンデーライブ」だった。東京キー局が作っている番組なので、Tigers が最下位脱出してもそんなに騒いでいなかった。騒いでいたのはヒロド歩美アナくらい。浅尾美和も出ているが、彼女は Dragons ファンなので、がっかりしていた。で「サンデーライブ」が終わる頃に眠くなってきたので、ダウンする。

が、1時間半後くらいに宅配便が来て起こされた。昨日の「プロ野球ニュース」の再放送が12時からやるので、起きていることにした。で1時に「プロ野球ニュース」が終わり、2時から Marines vs. Baystars が始まるので、チャンネルを合わせて横に成る。そのまま再び寝入る。千葉は雨のため、試合開始が30分遅れた。Marines が打者二人で2点と、実に効率の良い先制の仕方。起きているのか寝ているのかわからない状況で音声を聞いていたが、その後は中々どちらも点を取れない。6回表に佐野の2ランホームランで追い付くも、裏にすぐ2点取られる。8回裏にも1点取られて、敗色濃厚。が、9回表に粘った。宮崎がヒット、ソトがフェンス直撃の2塁打で2、3塁。戸柱の内野ゴロの間に1点、桑原の時にワイルドピッチでもう1点。1点差。が、桑原が凡退してゲームセット。またしても日曜日勝てず。交流戦は5割で終了。まあいいでしょう。ただ、ついに Tigers に上に行かれてしまった。救いは最下位じゃないこと。Dragons が今日も負けてくれたので、Baystars は5位。金曜日からリーグ戦が再開するが、相手は Tigers らしい。もうこうなったら直接対決で叩くしかない。取り敢えず4日間野球が無いので、その間に数学に集中しよう。

交流戦は55勝53敗でセ・リーグの勝ち越し。過去2度勝ち越しているが、その時は優勝は Hawks と Buffaloes だったようで、勝ち越し＋優勝はセ・リーグ初らしい。うーん、セ・リーグが強いのは嬉しいんだが、こちらの浮上という意味では、Baystars が大きく勝ち越して、他のチームが負け越してくれるのがよかったんだが。結果としては Swallows が8の勝ち越し、Tigers が6の勝ち越しで、Swallows が Giants と7ゲーム差、Tigers が4位浮上と、望ましくない展開に。まあいいです。頑張ってもらいましょう。

野球が終わったのは6時近かったので、晩飯の時間。外出するのが面倒なので、例によって Uber Eats だが、何にしよう？と思い Uber Eats のアプリを開く。「王将」が割合上に来ていた。で見ると、ニンニク激増し餃子がまだあるようだ。これは、ということで極王炒飯とニンニク激増し餃子を頼む。久々に食えた。美味しかった。餃子の割引券が3枚あるが、さすがに Uber Eats では使えない。また今度店舗に行こう。

大河ドラマまでまだ30分くらいあるが、眠い。もう寝ようか？やはり徹夜かそれに近いことをやると堪える。毎週のパターンでは、土曜日呑んできて徹夜、日曜日の晩は爆睡して、月曜日の晩に飲酒、火曜日は爆睡、なのだが、明後日は月1の保健センターの日なので、明日は呑まないか、早目に呑むかのどちらか。まあ呑むかな。少ない学生相手に熱の入った講義をやると、存外気持ちが荒れる。呑まずにおれようか？という感じに成ってしまう。さらに明日は久々にゼミをやるので、明日はハードだ。今日はもう寝るか。

Tigers 最下位脱出

佐々木朗希を打ち崩すのを見たんねん！と昨日の晩は張り切っていたが、案の定試合開始時間に起きられなかった。牧が佐々木からホームランを打ったようだが、見ていいない。残念。その後ワイルドピッチで追い付かれる。今日の京山はよかったのだが。その後お互いチャンスをつぶしあって延長戦へ。クリスキーが満塁のピンチをよくしのいだ。で延長11回。柴田がヒット。嶺井がバントで送って、代打・大和。こういうシーンで大和がよく打つ、という印象があるが、案の定タイムリー2ベース。見事に勝ち越した。康晃が抑えて勝利。これで交流戦は最悪でも5割となった。いいですね。明日勝って貯金2で終わりましょう。

で6時から Buffaloes vs. Tigers。こう書くとさも見たようだが、あまり見ていない。まだ疲れが抜け切っておらず、試合開始前に横に成り、寝てしまった。テレビは付けっ放し。山本由伸が好投を続けていて、2－0でリード。8回表2死1塁というシーンから見始めたが、佐藤輝明がタイムリー3ベース、伏見のパスボールで追い付かれた。そこで呑みに出た。今日は珍しくほかに客がいて、店長は忙しそうだったので、スマホで野球の様子を見ながら呑む。Tigers も Buffaloes もチャンスを作るのだが、無得点で11回表。ランナー1塁の場面で、キャッチャーが2塁へ悪送球。そのままランナーがホームインして、Tigers が勝ち越し！呑み屋は Tigers のファンばかりだったので、Buffaloes ファンから Tigers ファンに化けて、「よっしゃー！」とか言ってきた。最後は岩崎が抑えて、Tigers はついに最下位脱出。ん？Baystars とは1ゲーム差で、今日は Baystars は勝った。ということは Dragons が最下位か？と思ったらそのようで、一時貯金3あった Dragons が借金7で最下位。Tigers も借金7だが、勝率の関係でのようだ。Tigers は .067 という勝率からよく盛り返した。関西は明日はわいているだろう。「おはよう朝日土曜日」を見るまで起きていられるだろうか？まあ無理だな。無茶をやるのはやめよう。まあよかった。今年の最下位は Dragons ということでいきましょう。

エンゼルスついにトンネルを抜けた

昨日の晩は講義の準備を始めてしまい、今朝の用事に寝坊したら嫌だから結局いつものごとく徹夜してしまった。まあシャワーも浴びたし、朝飯も昼飯も食べたし、いいでしょう。

1時からゼミ。今日はまずオイラー関数の明示公式の証明を終わらせ、その後体上の多項式環の話。この前も書いたが、こういう話が本筋に入るまでに長過ぎて、整数論らしい話はゼロ。来週は原始根の存在定理と冪剰余の定義が出来るでしょう。そうすると代数的数と代数的整数を定義して、平方剰余の相互法則を証明してと、面白くなってくる。が、その後また拡大体の一般論が出てきて、ここでまた時間を食うだろう。昔同じ本でゼミをした時は、「原始元の存在定理は代数学IIでやった証明と全く同じなので、割愛します」と言ってくれた勇気のある学生がいたが、今年はどうでしょうかね。代数学IIの出席者は片手で足りたくらいだから、体の拡大とガロア理論で悪戦苦闘するだろう。まあイライラはしないことにする。4時10分頃終了。

6時くらいまで部屋で講義の準備。が、捗らなかった。まあいいや、ということで早目に切り上げた。が、名神が渋滞。「草津JCT－大津 渋滞10km」の表示。…。まあそうは言っても下道よりは早く着くだろうから、渋滞に飲まれる。今日の渋滞は故障車渋滞で、瀬田東JCTと大津の間で車線が1車線ふさがれていたのが原因。そこを抜けたら80km/hで走れた。が、京都東を出た時は6時45分くらいで、「外環三条」到着は6時50分頃。でここで閃いた。王将へ行こう、と。この時間ならニンニク激増し餃子はあるはず、と期待して7時前に王将に入る。で注文すると「ニンニク激増しとニンニク抜き餃子は売り切れました」との返事。うーん、やっぱり昼に行かないといけないんだろうか？まあ普通の餃子と極王炒飯を美味しく召し上がったので、いいです。スタンプを二つもらって、15個たまった。餃子100円引き券を3枚くれた。また懲りずに通おう。

7時30分過ぎに住処に戻ってきた。今日から Marines 戦だが、どのチャンネルでやってるだろう？としばらく探す。すると「日テレニュース24」というチャンネルでやっていた。佐々木朗希の完全試合はこのチャンネルで見たな、と思い出す。試合は1－1という状況。スマホで経過を見ると、犠牲フライで先制されたが、蛯名のソロホームランで追い付いたようだ。が、すぐに1点取られた。その後2アウト満塁のチャンスを作りバッターは牧。得点圏打率 .420。5月は月間MVPをとった。昨日も決勝打を打っている。否が応でも期待は高まる。が、初球を打って3塁ゴロ。まあ牧で点がとれないんでは仕方ない。9回は2アウトから不調でスタメンを外れたソトが代打で2ベースヒット。ワイルドピッチで2アウト3塁。これは、と盛り上がるが、途中出場の戸柱がライトフライで試合終了。1－2で負けた。まあ大貫はよく投げました。打つ方は明日頑張ってもらいましょう。明日の Marines の先発は佐々木朗希。明日も苦戦かな？いや、最初から弱気でどうする。打ち崩しちゃれ。そうすれば交流戦の勝率5割以上が確定する。やってやりましょう。

でメジャーリーグの結果も気に成る。エンゼルスが勝ったかどうか。で見ると勝っていた。大谷が勝ち投手。ホームランも打っている。よかった。ここから巻き返しましょう。

今日は早く寝る。寝ないと佐々木朗希を打ち崩すところを見られなくなってしまう。取り敢えずコンビニにちょっと買い物に行って、「座王」を録画するだけのハードディスクの余裕を作ったら寝よう。

桑原ようやく今シーズン1号

今朝は澤田アナが「ピュアじゅん」が負けたのをどう反応するか見たくて、8時まで起きていた。勝った時は無邪気に喜ぶが、負けた時はあまり触れないようだ。しかしがっかりはしていた。

でわけのわからない時間に寝たので、わけのわからない時間に起きた。こういう生活をしていると疲れが抜けないようで、野球の最中にも寝てしまい、勝った瞬間を見ていない。今日は桑原の遅ればせながらの1号ホームランで追い付き、8回に牧、宮崎の連続タイムリーで勝ち越し、再び交流戦の貯金は1。残り1カード。相手は Marines。3タテして貯金4、最低でも勝ち越して貯金2にしましょう。

今日は Buffaloes vs. Swallows も見ものだった。Buffaloes の増井が勝ち投手に成れば、12球団から勝ち、セーブ、ホールドの史上初の記録に成るところだった。が 1－2 で Swallows が勝ってしまった。それでも勝ち投手は石川で、通算180勝目。どちらにしても凄い結果だ。増井はあと1年は現役をやり続け、来年 Swallows 相手に勝たないと。

大谷翔平のいる Angels は今日も負けて14連敗。それでもまだ借金2（3だったかな？）の2位。明日は大谷のリアル二刀流だそうだから、連敗を止めてもらおう。

明日は1時からゼミだが、その前に区内某所でちょっと野暮用がある。ということでちょっと早目に起きないといけない。今日は早目に寝よう。幸い眠い。寝られるだろう。

昼は久々に「ボストンコモン」へ

昨日は日が変わる前に寝た。で今朝は9時起き。まあ朝飯を食べても大丈夫か、ということで、昨日の晩のプロ野球ニュースを見ながらもそもそと。Fighters vs. Baystars が当然一番初め。もうちょっと長い時間やって欲しかったが、まあパ・リーグ6位とセ・リーグ5位じゃしょうがないか。まあよかった。

でシャワーを浴びて、10時前に住処を発つ。水曜日は「代数学I」。先々週は3名、先週は4名、今日は3名と、めげそうになるところだが、ちゃんとやる。今日は U.F.D. の話とユークリッドの互除法の話。P.I.D. は U.F.D. の「嘘証明」とか。「嘘じゃない証明は足立恒雄『類体論へ至る道』を見ること」と言っておく。g.c.d. を既約元分解で求める方法も言っておく。「小学校の算数やね」とも言っておく。ユークリッドの互除法は、Z の場合はかなり速い、とか、多項式の g.c.d. は体を上げても変わらない、とか。これは「有限次分離拡大は単純拡大」という秋学期にやる定理の証明に1回だけ必要になる。大事な事実である。非自明な例として、X²－2, X²－3∈Q[X] は互いに素。何故なら X－2＝(X－√2)(X＋√2), X²－3＝(X－√3)(X＋√3) と分解出来て、a≠b ⇒ X＋a, X＋b は互いに素（問：示せ）だから、とやってきた。こういうのは字面で見るだけじゃ感動が無くて、教員が声を張りながら説明しているのを見て感激するものだと思うが、違うか？違うから学生は来ないんだろうな。まあいいけど。

今日も卒研ゼミが無いので、昼食は学外でステーキ。栗東に「綣（へそ）」という所があるが、そこのステーキハウス「ボストンコモン」に久々に行こうかと。若大将が Baystars ファンで、昨日の今永のノーヒットノーランの話で盛り上がろう、と思ったのだが、店は混んでいて、車を止めるところが無かった。店の前に車を止めておいてくれ、と言われて店内へ。合間合間に若大将と Baystars の話。月一で Baystars ファンが集まるという企画があるのだが、2回ほど行った後コロナ禍が襲ってきて行かなくなってしまったが、久々に来てください、と誘われた。今度は行こうか。ステーキ旨かった。

1時45分くらいに職場に戻って、まず今日の講義資料の直し。一つ二つ気に成るところがあったので。その後演習問題の作成。2²ⁿ＋1 と 2^2m＋1 は m≠n なら互いに素、など有名な問題を上げておく。その後 Kummer の定理の証明をどうするかをうだうだと。K＝Q(t) （t∈O_K（整数環ね））とした時、 (O_K：Z[t]) を割らない素数なら t の最小多項式の分解でわかる、というのが藤崎先生の「代数的整数論入門（上）」に書かれているが、存外難しい。小野孝「数論序説」だと K＝Q(t), O_K＝Z[t] となっていたらOKと成っている。足立先生の「類体論へ至る道」にも出ていたはずだ、と思って見ると、「O_K＝Z[t] となる t∈O_K が存在する」という仮定でいいようだ。で証明を読んでみる。やはり易しくはない。が、キーポイントに成っている補題が面白い。「K を体、f(X),g(X),h(X)∈K[X] をモニックとする。自然な写像 K[X]/(h(X)) → K[X]/(f(X))×K[X]/(g(X)) が well-defined な同型写像なら、(f(X),g(X))＝1,h(X)=f(X)g(X)である」。逆の主張は Chinese remainder theorem 。逆が成り立っているというのが面白い所。証明はそんなに難しくない。これが Kummer の定理の証明に効いている。足立先生がよく「何の本を見ても同じだったら書く意味が無い」ということを仰っていたが、こういう所にもそれが表れている。足立先生の師匠（名前は出さないが、関係者の間では自明）は「どの本とも同じことを書くんだ」と仰られていたらしく、それが嫌で演習書の著者から外してもらったことがあったらしい。その気持ち、わからないではない。小生も教えを守って、講義には何らかのオリジナリティを入れるよう心掛けている。まあ出席者が4、5人じゃ仕方ない、という節もあるが、自分の勉強のため。気合を入れてやる。

6時から野球。Yahoo！の速報のページと、TeX ファイルを行ったり来たりしながら。3回に上茶谷が引っ込んだようだ。何かあったろうか？その後緊急登板の入江が失点して、3－0と劣勢。その後も失点を重ねる。打線は塁上を賑わすも、11安打3得点と効率悪し。チャンスで桑原がゲッツーを打ったところで職場を後にする。8時半くらい。

今日も王将へ。着いたのが9時ではもうニンニク激増し餃子は無いだろうが、念のため注文してみる。案の定売り切れ。今日も普通の餃子を食べてきた。もう昼に行かないと無いのでは？という気がする。Uber Eats に頼むか？まあしつこく行きましょう。

10時前に帰ってきてNHKのニュースを見ると、スポーツの時間。今日は Swallows のみがセ・リーグの勝利チーム。首位のチームだけ勝ってどうする？という感じ。Giants は1安打、27打者で完封負けとか。首位 Swallows と2位 Giants は5ゲーム差、3位 Carp は勝率5割、4位 Dragons は借金4、5位 Baystars が借金6、そしてあれだけ出遅れた Tigers が Baystars と1ゲーム差。Swallows にあっさり連覇を許してしまうのか？頑張れ4チーム。Giants はどんどん落ちてください。

持続化給付金詐欺の親玉が捕まった、というニュースがやっていた。悪いことをやれば捕まるのです。覚えておきましょう。お前は悪いことしてないかって？うーん、道路交通法を100％守ってるとは言えないな。それ以外は特に悪いことはしていないはずだが。

「ピュアじゅん」が負けたようだ。0－1。内野ゴロの間の1失点とか。澤田アナが悲しむね。

今永昇太ノーヒットノーラン

今日書こうと思っていたメールの幾つかを、昨日の晩呑みながら書いた。まあ去年のメールを検索して、同じ文面で出すだけなので、何の工夫もいらないし、済んでしまうだろう、ということで。用事は済んで、別のメールを書いている途中に眠くなり、書きかけでダウン。テレビは付けっ放し。で今朝占いのコーナーに目が覚めたが、占いが終わったらまたダウン。テレビは消した。で3時間ほど経ってから、宅配便が届き起こされた。その後またダウン。そのまま夕方まで寝続けた。

6時から野球。が、また途中で眠くなり寝た。今日は歴史的な一日に成るので、見ておけばよかった。今永がノーヒットノーランを続行中、ということを聞いて起きた。が、Baystars も0点。むぅ。で9回表。宮崎が2点タイムリーで先制。そのまま9回裏は今永が抑え切って、ノーヒットノーラン！札幌ドーム初とか。Baystars としては初。Whales 時代まで遡ること50年以上振りとか。うーん、見ておけばよかった。ランナーは何人許したかというと、2回の清宮の四球の一人だけ。完全試合出来たかも。まあ贅沢は言うまい。ようやった今永。これで交流戦は貯金1!（＝1）。残りもどんどん行きましょう。

寝てばっかりなので、今日はちょっと夜更かししようか。いや、やはり寝坊して講義に遅刻してぎゃ！と成らないよう、今日も早寝しよう。プロ野球ニュース（11時～12時）を見たいところだが、録画しておいて、明日見るか。佐々木朗希の完全試合の日の分は録画してあるが、その分を Bru-lay に焼いて、今日の分も Bru-lay に直撮りするかな。ハードディスクの空き容量が大分減ってきている。色々忙しくて、録画するだけして見てないものが沢山ある。夏休みは少しは暇に成るだろうから、その間にまとめて見よう。

「大学への数学」は売り切れていた

昨日の晩は珍しく日が変わる前に寝た。で今朝は9時起きと、割合まともな生活をした。いや、9時起きのどこがまともだ、という意見もありましょうが、まあまあ。でシャワーを浴びて、飯抜きで出発。

10時25分くらいに職場に着いた。生協の本屋に寄って、「大学への数学」を買おう、と思ったらもう置いてなかった。うちの入試で面白い問題が出ていたのを、受験界で有名な人が書いてくれている、というので。卒業生から小生に質問があり、ボスとの仲を取り持ったので、ボスがその記事を喜んでいた、と伝えた。で小生も記事を読まなくては、と思ったんだが。取り寄せを生協のカウンターに依頼。9日くらいに入荷するそうだ。

講義室へ向かって、10時38分着。10時40分から講義。出席者は減って、今日は5人。まあ雨だったからかな。気にせず講義。今日は部分空間の直和の話から。直和であるのは「和で唯一通りに表せる」と定義して、それで共通部分が {0} だけと同値ということを証明。直和だと和空間の次元が次元の和に成っていることなどを証明。その後最小多項式の存在を示して時間。来週は最小多項式が固有多項式を割り切っていること、固有値は全て最小多項式の根に成っていることを証明して、最小多項式を求める例など。で来週には広義固有空間に入らないといけなくなりそうだ。少し真剣に勉強しないと。

昼飯は例によって弁当だが、鰻飯を売っていたので買う。雨のためか100円割り引いてくれた。400円で鰻を食えるとは。まあ大した量ではないんだが。

午後は「数理科学特論1」。今日はイデアルのノルムが完全乗法的であることなどを証明。そのために一般の環での Chinese remainder theorem が必要になるが、「証明は代数学Iでやった」と捨て台詞を残して証明省略。まあ群や環の直積が分かってないと定理の意味すら理解できないだろうから、それくらいは復習してあげた。その後素イデアルの相対次数を定義して、素数の素イデアル分解について。分岐指数を定義して、分岐指数×相対次数の和を取ると拡大次数に成ることなどを証明。で有限次ガロア拡大では分岐指数と相対次数が素イデアルに依らないことを証明している最中に時間になってしまった。来週は Kummer の定理（最小多項式の分解から素数の分解がわかるというあれですわ）をやらないといけない。どれくらい証明しようか。出席者4名で1名は内職バリバリモードだから、きっちり証明してもしょうがないし、かと言って何もやらないわけにもいくまい。こちらも1週間真剣に勉強しないと。

で2時40分からゼミの予定だったのだが、就職活動中の学生が「会社の説明会は2時までだと思ったら、2時からの間違いだった」、という何とも間抜けなメールを送ってきて、ゼミは無しに成った。まあいいや、ということで講義資料の直しと、web へのアップロード作業をダラダラとやる。

6時から教務委員関係の会議。こんな時間でないと会議が出来ないのは大変だ。教務委員は2人体制で、任期2年でやっている。で小生は2年目だから、あまり忙しくない、と思っていたのだが、相方が身内の不幸で帰省するとのことで、一人で参加。色々と宿題が出て、まあ小生が裁かなくてはならないだろう、ということで、忙しくなった。サクサク済ませて、勉強したいところ。まあ明日以降やります。

会議は7時40分くらいに終了。予定より10分超過。まあいいです。いつもより早いし、今日は金曜でも土曜でも日曜でもないから、王将でニンニク激増し餃子が食えるでしょう、と期待して高速道路を飛ばす。2度ほど追い越し車線に出た。下品だ。で楽しみにして王将に到着するも、もうニンニク激増し餃子は品切れ。うー、食べたかったよう。何時に行けばいいんだろうか？こうなったら食えるまで王将通いだ。明後日も行く。でいつものキムチ焼き飯と、泣く泣く頼んだ普通の餃子、それと今日は贅沢して、麻婆豆腐をジャストサイズで。昼100円安く上がってるんで、贅沢をした次第。まあ旨かった。

9時くらいに帰ってきた。いつもの月曜日はこれくらいまで職場にいるんだが。で昨日見なかった大河ドラマを見る。ついに頼朝が征夷大将軍に成った。こうなると知っているつもりでいたんだが、来週やる予定の「曽我兄弟事件」は知らないな。まあいいや、勉強させてもらおう。

「対称群」を打とうとして「大将軍」と出てしまう、というのはお約束。だから群論の講義を担当する人のパソコンの辞書には間違いなく「対称群」が登録されているだろう。「大将軍」という地名は結構多く、京都にも滋賀にもある。「だいしょうぐん」だと思っていたが、バスに乗ったら「たいしょうぐん」と読んでいて、ああそうなのか、と思ったことがある。数学に限らず専門用語をワープロ打ち（死語）するのは、辞書に登録するのが一番の早道。が、「基礎数理第1研究室」とか打とうと思うと「奇素数理」とか成ってしまうのは仕方ない。ちゃんと「基礎」と「数理」を分けて打てばよいだけのこと。「奇素数」が出ない方が数十倍不便。ということで登録。ブログに野球や相撲の話題を書くことが多いので、そっちの用語も大量に登録されている。「上茶谷」とか「若隆景」とか「伊勢ケ濱」とか。登録しておかないと難しいのは「の」か「ノ」かが分からなくなること。「隠岐の海」、「隆の勝」、「佐田の海」、「豊ノ島」、「照ノ富士」なんかを登録したようだ。この辺は正確を期したい。まあもっとくだらないミスは山ほどあるんだが、固有名詞のミスは避けたい。

いわゆる「あおり運転」が「危険運転致死傷罪」を招いた、という判決は至極ごもっとも。被告は控訴する方針らしいが、遺族のおっしゃるよう謝ったらどうですか？

日曜日は勝ち無しの8連敗

どうも土曜は寝ないな。今日も7時過ぎまで起きていた。で2時から野球なので、そこから少々寝た。

まだ日曜日は勝ってない Baystars。今日は勝てよ、と見ていた。7回にソトのタイムリー、関根の3ベースで逆転した時はもう勝ったでしょう、と確信したんだが、苦手というのはそんなものか、9回表に康晃が浅村に2ランホームランを打たれて逆転される。今日は奇数回に点を取っている、という状況なので、これはサヨナラしかない、と思い、引き続き見る。2アウトランナー一人の場面で帰ってきた大田。サヨナラホームランじゃ！と気合を入れるも、三振でゲームセット。残念。これで日曜日8連敗。お客様も知っているのか、今日の観衆は2万7千人くらい。もっと応援しよう！

学生に類体論を勉強させよう、と目論んでいるが、何がいいだろうか？というのが正直な所。足立恒雄・三宅克哉「類体論講義」（日本評論社）は難しい。高木貞治「代数的整数論」（岩波書店）はどうもな。局所類体論をやらない、というのはどうかという気がするし。で書棚に彌永健一「高木貞治 類体論への旅」（現代数学社）という本があった。眺めてみると、これはテキストには使えないな。彌永健一先生お得意の対話物。学生があまりに出来過ぎる。例えば「置換群 S_n のメンバーって n＝1,2,3 のときは、単位元以外のものは皆巡回置換でしょ。もっと大きな n に関してはどうなのかしら？」とか。こんな疑問を持つ学生はそういまい。そのくせ log を知らなかったりするあたり、いかにも不自然。まあ知ったことばかり書いてあったので、あっという間に130ページくらい読んでしまった。後ろの方は大分難しくなるようで、どう不自然に展開されるか見もの。

そろそろ寝ないと。明日は出席者7名の「線形代数学」と出席者4名の「数理科学特論1」。その後のセミナーは、オンラインにしてくれ、と学生から要望があった。まあいいでしょう。出席者が少ないと言って、寝坊してぎゃ！というわけにはいかない。寝るぞ！

牧5打点で打点王に

昨日は（もう今日に成っていたが）「プロ野球ニュース」を終わって即ダウン。今朝は9時半くらいに起きて、昨日の晩の「座王」を見たんだが、また眠くなってきた。徹夜明けで9時間程度の睡眠では不十分。ということでもう一度横に成ると、そのまま野球の途中まで寝続けた。

で今日の野球はよかった。佐野がタイムリーヒット2本、牧が何と5打点。牧は46打点で、村上、岡本（和）を抑えて打点王。凄い。4番がこれだけ打てば勝てるというもので、6－1で勝った。土日の連敗は12でストップ。久々のカード勝ち越し決定。4カード連続でカード初戦を取っていたんだが、その後連敗と冴えない展開が続いていただけに、Eagles 相手に連勝はデカイ。明日も勝って3タテと行きましょう。明日は石田と則本の投げ合いに期待。

その後1試合だけナイターの Giants vs. Marines を流しながら色々。接戦だったが、Marines が先制するも Giants がひっくり返して、Giants の勝利。大勢が20セーブだと。気に食わないね。まあ Swallows も勝ったので、ゲーム差は3のままなのでよし。3位 Carp は今日のセ・リーグ唯一の黒星で、貯金はわずか1に。Giants と3.5ゲーム差。Carp は案の定落ちてきた。Dragons も調子に乗れないし、Baystars は一気に上位に上がるチャンス。明日勝てよ。

その後呑みに行こうかと思ったんだが、今日はやめておく。まあ家呑みはするかもしれないが。職場に USB メモリーを取りに行こう、と思い立ち、車を走らせる。案の定忘れていた。それだけでは馬鹿馬鹿しいので、注文して届いてた本3冊と、線形代数の本1冊、それと計算用紙を持って帰ってきた。往復で1時間ほど。車が運転できるというのはありがたい。電車、バスだと、土曜日のこの時間はもう終バスが出た後で、職場に行けないだろう。運転免許を取っておいてよかった。

今日も11時から「プロ野球ニュース」を見よう、ということにした。Baystars の爽快な勝ち方を見ておきたい。先発の京山の出来はどうだったんだろうか？見始めた時はもう引っ込んでいたが、初回の1失点だけのようだし、今日はよかったのかな？京山あたりが頑張ってくれると上位が狙える。「プロ野球ニュース」が終わったら、呑みながら少し院生向けの講義の予習でもするか。

ブラック兄さんの話は難しい

48時間周期で暮らしている。昨日の晩は野球の途中に起きて、今日は徹夜。職場に行くのが1日おきだとどうもそうなってしまう。今日は爆睡の番。明日は徹夜かな。

11時くらいに住処を出て、草津の「はま寿司」を目指す。たまには魚介類を食べないと。で大体計算通りで、1500円ちょい。

1時からゼミ。Chinese remaider theorem とかオイラー関数の乗法性とか。著者が大らかな人で、零元は何でも0、乗法単位元は何でも1で書いている。0＋mZ とか 0 mod m とか [0]_mと書く、と書いている以上それを貫いて欲しい。特に複数の法を同時に扱う時とか。一々書いたり入力したり区別したり、面倒臭いのはわかるんだが、頭の整理のついてない人には混乱の元。0 mod m もあまり進められない。コンピューターの言語によっては整数 a を整数 b で割った余りを a mod b と書く。0＋mZ も (a＋mZ)＋(b＋mZ)＝(a＋b)＋mZ とか成ってしまうので、やはり [0]_m がいいんだろうか。まあ何でもいいが、初心者には優しくない。もう少しいい本はないんだろうか？あと φ(p^e) （p は素数、e は自然数）を求めれば切りのいい所だったんだが、時間になってしまった。先週は少し延長したんだが、今日は4時半から用事があったので終わりにした。

4時半からの用事とは「早稲田整数論セミナー」。小松先生も橋本先生も早稲田を定年で去ってしまい、世話人が変わった。今度の世話人の好みか、保型形式というか解析的な整数論が続いたので、とんとご無沙汰だった。今日はブラック兄さん（という名称はどれくらい浸透しているんだろうか？）のイデアル類群の話。兄さんの話は群論の難しい話を使うので、いつも途中で挫折する。今日もそう。まあ途中で用足しに行きたくなったせいもある。まあそれは言い訳で。数年前に定年退官になった某先生曰く、「昔は類数を計算できるなんて思ってなかった」だそうで、イデアル類群の研究に群論は欠かせなかったのだろう。イデアル類群をガロア群として翻訳したのはヒルベルトだろうか？ガロア拡大のガロア群なら色々いじりようがある。今日の話なんか位数 p³（p は素数）の群の性質をフル活用で、具体例はというと一般リーマン予想を仮定した一つだけ。p 群は冪零群だからアーベル群に大分近い。p 拡大でない拡大のイデアル類群は難しいのかな。まあ小生は二次体のイデアル類群もろくにわからんが。質疑応答の時間や雑談などで6時10分くらいにお開き。

その後月曜日の講義資料を印刷して、即帰ろう、と思ったんだが、「線形代数学」の資料を見てたらいじりたくなってきた。体上の1変数多項式環のイデアルを定義して、最小多項式の存在を言ったり、(f₁,…,f_n)＝1 ⇒ f₁g₁＋…＋f_ng_n＝1 となる多項式 g₁,…,g_n が存在することを示すのはいいんだが、その後ベクトル空間の直和、線形写像の直和、行列の直和と、しばらくイデアルから離れる。その後広義固有空間が出てくるまでイデアルは出てこない。これは大手術だな、ということで講義ノートの改訂を進めた。まあそれでも1時間半くらいだが、大分いじった。こういう時 TeX はいい。定理や式には全部ラベルを振ってあり、それを \ref や \eqref で参照するだけだから、カット＆ペーストだけで済む。Word で色々書いている人はどうしてるんだろう？知らないだけで Word にも番号を自動で振る方法があるんだろうか？

ブラック兄さんの話の直後に野球を見たら、もう2点入っている。宮崎が2ランホームラン。その後もうしばらしくて見たらもう3点入っている。牧が3ランホームラン。凄い。3安打で5点。はまると質が悪いのが Baystars 打線。今日はがっちりはまったようだ。いい気分で職場を後にする。

晩飯は王将で。この前ニンニク激増し餃子を食べ損ねたので、今日こそ食べよう、というこことでいつもより少し早目に職場を出た。で王将に着いてみると大分混んでる。今日が金曜日だということを忘れていた。20分くらい待たされた。でニンニク激増し餃子は今日も売り切れ。がっかり。今日は餃子が先に来て、4個食べた所で炒飯が来た。餃子は食べ頃の温度に成っていたが、炒飯を食べ食べ大事に食べた。

王将で待っている間に野球の情報を仕入れる。7－0に成っていた。今日の他の興味は佐々木朗希。が、今日はよくなかったようだ。岡本（和）にホームランを打たれたらしい。Tigers は一方的に Fighters に負けていたと思ったら、接戦に成ってきた。で住処に9時くらいに戻って見ると、何と Tigers が逆転している。3回終わった時点では1－7と Fighters が一方的にリードしていたんだが。Tigers 打線調子上げてきたか？で今見たら試合が終わったところ。9－7で Tigers の勝利。うーん、凄い。Fighters が16安打、Tigers が13安打と、壮絶な打ち合いだったようだ。今日は Swallows の小川がホームランを打って1－0で勝利した試合とか、色々あったようだ。CS の「プロ野球ニュース」を久々に見ようか。

さてそれまでちょっと TeX いじりを、と思ったら、USB メモリーを職場に忘れてきたようだ。いつも筆箱に入れて持ち歩いてるんだが、バッグに筆箱が入っていない。そういうばパソコンから抜いた記憶が無い。寝不足だと何かポカをやる。まあいいや。明日はデーゲームで、それまでには起きないと思われるし、野球が終わったら多分週に一度の外呑みだから、職場に行く時間が無い。日曜日は多分爆睡。まあ「線形代数学」の準備は出来ているし、院生向けの講義はいつもの通り予習30分で済まそう。

持続化給付金関係の詐欺で逮捕される事件が相次いでいる。昨日に至っては国税局の局員が捕まっている。ロクでもない。人を騙して金を儲けるなんてことが出来ると本当に思っていたんだろうか？もう徹底的に洗って欲しいですね。「桜を見る会」も詐欺？まあそうかな。こっちも徹底的にやってください。

6＋8Z は Z/8Z の既約元！

昨日の晩はその後大河ドラマを見た。どうしてこう人が死ぬドラマを作るかな。今度は八重の番。うーん、切ない。

でその後 Z/8Z の既約元を書き出そうと思い、Z/8Z の掛け算の表を作った。で表を見て既約元を探すと、2＋8Z は案の定既約元だったが、何と 6＋8Z も既約元であることがわかった。合ってる思うが。a＋8Z を面倒なので a と書く。6＝1×6＝2×3＝2×7＝3×2＝5×6＝6×5＝7×2 というのが表から読み取れ、因子の一方は単元。Z/8Z の単元は1、3、5、7。ということで6は既約元！意外だ。Z/6Z でもやってみよう、と思い立ち、Z/6Z の表（講義で毎年使うので、作ってある）を見ながらチマチマ。すると、今度は Z/6Z には既約元は無い！というこれまた意外な結論。0でない非単元は 2、3、4（面倒なので a＋6Z を a と書く） だが、2＝2×4、4＝2×2、3＝3×3 と分解される。 うーん、意外。こういうのはやってみると面白いね。で彌永、有馬、浅枝「詳解代数入門」あたりを見ればこういう例はでているのでは？と思って久し振りに引っ張り出してきたが、出ていなかった。あの本は「整域でない場合は a｜b、b｜a で a と b が同伴でない例がある」とかこういう細かいのが出てるんで、Z/6Z や Z/8Z の既約元くらい出てると思ったんだが。こういう例は興味無いのかな？まあ小生も昨日までは興味は無かったが。まあ1回はやってみてよかった。

上に書いた a｜b、b｜a でも a と b が同伴でない例だが、整域でない可換環と言えば m が合成数の時の Z/mZ くらいしか知らない。こういうところで探そうと思っても見つからない。何故なら Z/mZ では「a｜b、b｜a ⇒ a, b は同伴」が成り立つそうだ。これも彌永、有馬、浅枝に出ている。例は Q 上の2変数多項式環の剰余環で得られる。まあこういう例は講義で出しても仕方ないので出さないが。例がある、ということを知っているだけでいいでしょう。

ということで明るくなるまでそんなことをしていた。その後下埜正太と妹尾和夫の顔を見て、「おはよう朝日です」の時間になってしまった。昨日の Tigers の先発は西純矢で、西のことを澤田有也佳アナが「ピュアじゅん」とか勝手にあだ名を付けて応援している姿が微笑ましいのだが、それを見たくて。澤田アナが登場するのは6時以降。ということで6時過ぎまで起きていた。西は二十歳だが、澤田アナは西がベテランになっても「ピュアじゅん」とかって応援し続けるんだろうか？興味深い。その前に澤田アナが若返りのため番組を降板することになるだろうな。番組が続かないかも。

で野球は途中から。濱口がナイスピッチングしているようで、1－1の同点。が、その後勝ち越され、もう1点取られた。濱口はプロ入り後交流戦で負けていなかったそうだが、今日で初黒星。残念。Buffaloes の平野佳寿がNPB通算200セーブ。凄い。今日は花を持たせちゃったな。まあいいです。明日明日。明日から Eagles。また厳しいね。 

昼は久々に宿場蕎麦へ

昨日はちょっと遅く寝た。で6時半頃目が覚めて、まあいいや、起きるか、と思って起きたんだが、やっぱり眠かった。でそのまま8時半のアラームも9時のアラームもスルーして、目が覚めたら9時半くらい。ぎゃ！シャワーを浴びる時間が無い。熱い緑茶を一杯飲んで、シャキッとさせてから出勤。

今日は「代数学I」。先週の出席者は3人だったが、今日は4人。大学院の講義と出席人数が同じ3回生の専門科目ってどうなのよ？という感じだが、まあ気にせず進める。今日は体上の多項式環でユークリッド式割り算が出来ること、それを用いて体上の多項式環が P.I.D. であることを証明。そして素元と既約元を定義して、P.I.D.の場合は「p が素元 ⇔ p が既約元 ⇔ (p) が素イデアル ⇔ (p) が極大イデアル」であることを証明。 さらに多項式が既約であることを定義。K が体である場合は「K 上既約 ⇔ K[X] の既約元」などを証明して、K が体でない場合は K 上既約だが既約元でないものがある、ということを軽く注意しておく。素数は Z[X] の既約元だから、素数×モニックな1次式は既約元ではないですぜ。2X＋1∈(Z/8Z)[X] なんかは単元だったりする。既約元は0でも単元でもないです。この注意を忘れてる本が結構多い。素元と言って既約元の定義を書いている本も存外多い。松坂和夫「代数系入門」なんかもそうで、まあこの本は P.I.D. しか扱わないので問題無いんだが。（素イデアルの定義が演習問題に出ているだけ、という本だったりする。）ということで来週は U.F.D. から始められることになった。よかった。

この前書いた通り今日は卒研ゼミは休み。ということで久々に学外で昼食を摂ろう、ということにして、車で学外へ。回転寿司、ステーキないしハンバーグ、というのが最初の心積もりだったのだが、久々においしい蕎麦が食べたくなり、草津と栗東の市境付近にある「宿場蕎麦」を目指す。暑かったので冷たい蕎麦にした。こしがあって、蕎麦の香りもする。美味。ステーキないしハンバーグは来週行く。

1時20分頃に個研室着。そこから講義の資料を直したり演習問題を作ったり。既約元の定義は「x＝ab ⇒ a,b のいずれかが単元」。「x の約元は単元であるか x と同伴であるか」は同値なような気がするが、実は同値ではない。普段整域しか考えてないから、この二つは同値でよかったんだが、20年くらい前に学生に「整域じゃないと同値に成らないと思うんですが」、と質問され、真剣に考えると確かにそうだ。じゃあ整域じゃない場合に同値でない例はあるのか？というと知らない。小生代数の専門家でなく、整数論の専門家、としばしば言っているように、こういう細かい例を考えるほど抽象化は好きではない。まあ後で Z/8Z の既約元をリストアップしてみるか（多分 2＋8Z だけだと思うが）。その二つの定義の両方を証明でごちゃごちゃにしているので、整理したり、などでダラダラと9時過ぎまで。

もちろん野球の情報は気にしていた。昨日は Buffaloes に快勝したので、今日のロメロも是非、と思ったら、初回から満塁のピンチを作り、暴投で1失点。まあよく1失点で済んだ、と思ったらその後ラオウ杉本に2ランホームランを打たれ、普段打席に立たないパ・リーグのピッチャーにセーフティースクイズを決められ、4失点。今日もロメロはダメだった。5回裏に桑原の2ベースで1点取るも、なお2、3塁の場面で代打宮本（彼には悪いが、もっとましな代打はおらんのか？）は三振、1番に帰って佐野だが、佐野も三振と、ピンチをつぶす。ここが全てだった。その後もう1点取られ、1－5と負け。またしても交流戦の勝率は5割に。まあいいです。明日勝ちましょう。

9時過ぎに職場を後にする。晩飯はどうしよう？すき家で牛丼か、はたまた王将で炒飯とニンニク激増し餃子か。正門の所まで悩んで、結局王将にすることにした。で正門前を左折して、高速道路経由で。でキムチ炒飯か極王炒飯か悩んで、極王炒飯にする。ニンニク激増し餃子を頼んだら、残念ながら今日の分は終わりらしい。残念。ということで普通の餃子にする。が、この前と一緒で、餃子が中々出てこない。見ると、２、3人前をどんと頼んでる人が複数いたようで、時間が掛かっていたようだ。炒飯はわずかに残っていた。王将値上げする、と言っていたと思うが、もう値上げしてるのかな？餃子が税込み264円。小生が大学生の頃は200円だったが。炒飯、餃子で400円だった気がする。東京の王将は定食には餃子が1人前ついている。例えば唐揚げ定食だったらご飯、味噌汁、唐揚げ、餃子。だから餃子定食はご飯、味噌汁、餃子、餃子。食べ応えがあった。

帰ってきて野球の情報を引き続き。今日のセ・リーグの勝利は Tigers だけだと。Tigers が甲子園で5点以上取ったのは今日が初めてらしい。5－0と一方的なリードだったが、Lions におかわり君、栗山の連続代打タイムリーなどで1イニング4点取られた。点を取っても負けるのか、と思ったら今日は何とかなったようだ。で自力Vが1日で復活とか。自力Vというのもよくわからないデータで、気にしているときりがない。要はマジックナンバーが出たら他チームは自力Vが無くなったということだが、優勝が無くなったということではない。マジックナンバーが消えるということは自力Vが復活した、ということだし。くよくよするデータではないです。前を向いていきましょう。明日は負けてな。Baystars も最下位は嫌なんで。

で気が付いた。金曜日は「早稲田整数論セミナー」にオンラインで参加する。月曜日は夕方6時から会議と、色々イレギュラーな用事が入る。もう6月だし、そろそろレポート試験のことも考えないといけない。忙しいな。まだ日曜日の大河ドラマを見てないんだが。まあいいか、一杯ひっかけながら見よう。Z/8Z の既約元はその後でいいや。