ロペスが日米両方で1000安打

起きたら2時くらい。野球が始まっていた。でいきなり満塁ホームラン。あかんわ。3回に1点、4回に2点と、どうしようもない試合。が、見所。ロペスがホームラン。これでMBLで1000安打、NPBで1000安打と、イチロー、松井秀樹に次ぐ大記録。すごい。今日の見所はそれだけ。5－13と、どうしようもなかった。が、書いた通り、今日の主役はロペス。すごい。試合終了後にはセレモニー。バックスクリーンにロペスの偉業が映し出される。通訳の人（名前は分からない）によりロペスの人となりが紹介されて、その後長野（当時Ginats）としゃべ（Giants２軍監督）のインタビューが映し出されて、その後 Baystars の面々のインタビュー、ご家族のインタビュー、MLB時代の同僚からのインタビューと、感動的なシーンが映し出される。うん、すごい。そんなインタビューとかそういうのでは言い表せないくらいの大偉業。すごかった。こんな試合は勝ってあげたかったが、まあいいでしょう。チャモさん、来年もよろしくお願いします。

その後レポートの採点。√－2 が Z[√－2] の既約元（という難しい言葉は使わなかったが）であることを例示してあるので、1＋√－5 が Z[√－5] の既約元であることを証明せよ、というレポート課題を出した。で出来はというと、中々悲惨な出来。「6が素数」とか謎な解答が多かった。他にも √－5 が既約元であることを示している謎なレポートも結構あった。まあ1回生のレポートはそんなもんかな。講義の資料を見ずに、Z[√－5] の既約元をネット上で探して書いたレポートも一定数あった。まあいいんだけどね。何か間違っている。まあいいんだけどね。

その後呑みに出る。土曜の深夜はいくつか見たい番組があって、わざわざ録画してまで見てたんだが、今日は予約するのを忘れた。まあそこまでして見たいと言うとそうでもないので、これで決着が付いたので来週からは見ない。もっと研究をしないといけないという現実を突きつけられたので、これからはテレビは程々にする。いやしないかな。まあ心がけだけでもする。

負けておかしくない試合を引き分けた。でかい。

今日は12時20分から面接の予定だったが、学生からメールが来ないので、Zoom のURLを教えられなかったので、面接は中止。結局3人面接する予定だったのが1人だけになってしまった。まあいいんだけどね。2時から保険会社の人と会う約束があったので、職場へ向かう。2時丁度くらいにウェストウィングの下までいったんだが、そこで電話。保険会社の人から。2時約束で2時丁度に研究室にいないといけないんだろうか？営業の人はその辺は我慢してくれないと。まあいいんだけど。用事は10分ほどで終了。その後 USB メモリーを買って、領収書を今日届いた本の領収書と一緒に事務に送る。その後部屋でちょっと論文読み。5時半くらいまで。SageMathがスタンドアローンで動く環境だと、研究が捗る。次のノートパソコンを買う時は、UBASICに見切りを付けて64bitのマシーンを買うか。

その後高速道路経由で帰宅しようとしたら、「瀬田東JCT－京都南 渋滞8km」の表示。…。まあこれくらいの渋滞だったら高速に乗ったほうが早いんだ、と思ったら案の定で、草津JCTでちょっと混雑があったが、瀬田東JCTで解消。その後大津インターまでは渋滞無し。京都東インターが近くなってようやく渋滞。結局トータルの渋滞は2km程度。35分くらいで住処着。まあ上等。

6時5分くらいから野球を見始めた。今日は完全なる負けゲーム。4回の神里のホームラン以外はヒットが出ない。9回も2アウト。ランナーは今日2本目のヒットの神里で、バッターはロペス。ここで相手が信じられないミス。あれだけ直球を空振りしまくっていたのに、スライダーを放ってくれた。その球をロペスがホームラン！3安打で3点と、負けていた試合を追い付いた。延長10回表。先頭打者を四球で出す。ここは当然バント、というシーンで強攻策。でランナーのボーンヘッドで1アウト、三振で2アウト。おいしい、と思って見ていたら、あっと言う間に2アウト満塁のピンチ。三嶋の投げた球が植田に当たった、という判定で押し出しのはずが、ラミレス監督のリクエストでファールボールに。結局植田は三振。10回裏は3者凡退でゲームセットだったが、2度負けているところでどうにかしたのはでかかった。Tigers とは2ゲーム差のまま。

今日の横浜スタジアムは違う意味で注目されていた。観客を80%入れて、飛沫の飛び具合や人の流れを調べる、所謂「人体実験」。が、今日は集客がいまいちで、50%くらいしか入らなかったらしい。アプリで人の流れを調べた結果も、「混雑していない」とアプリがはじき出したものを専門家の目で見ると「十分混雑」らしい。明日は90%、明後日は100%の観客を入れるらしいが、客入るんだろうか？チケットを買うのに了承が必要とか面倒くさそう。35％オフらしいが、それでも予想を下回る出足。明日はどうなることやら。まあそれとは関係なく、すっきり勝って欲しい。

さて、などとやっているうちにセ・リーグの優勝チームが決まったようだ。あんなにもたもたして優勝とは、かっこう悪いの極み。Hawks の強さとは大違いだ。まだパ・リーグは2位が決まっていない。2位が決まっても日本シリーズ出場チームは決まらない。まあどうなるかわからないが、今年もパ・リーグのチームの日本一で決まりでしょう。G以外のチームが出たら素直にセ・リーグ代表を応援するんだが、Gの日本一だけはならねー。日本シリーズは呪いをこめながら観戦する。

さて、Hawks の周東だが、また盗塁を決めたらしい。これで連続試合盗塁の世界新記録とか。こんな選手を育成で取っている Hawks のスカウト網には舌を巻く。FA選手を取るのばかりが脳ではない。少し考えを改めたら G を応援してあげてもいいんだが、「優勝を義務付けられている」とか、「盟主」とか言っているうちは応援する気が起こらない。10年くらい優勝から遠ざかればいいんだ。そうすれば少しは他のチームの気持ちもわかるだろう。Hawks だって見ようによっては金満チームだが、今日のチームに成るために世界の王が卵をぶつけられたりと、苦労しているのだ。王さんの喜ぶ顔を見ると、Hawks が優勝してよかったと思う。Gにはそういう人がいないからね。おっと、大分話がそれた。周東凄い。

「数学展望」のオンライン講義は無事終了

1時から楕円曲線のゼミ、のはずが、例に寄って寝坊。起きたら1時3分。色々準備して、1時10分くらいに開始。申し訳ない。今日は体 k 上定義された楕円曲線 y²＝(x－α)(x－β)(x－γ) 上の点 (x,y) がある点の2倍に成っているための必要十分条件は x－α, x－β, x－γ が k の平方数であることなど。応用例として y²＝x³－nx が (0,0),(n,0),(－n,0) 以外の有理点を持てば n が合同数であることや、2が合同数でないことなどを証明。でここで予習が尽きたらしい。E(Q)/2E(Q) の有限性には次回から入る。3時前に終了。

4時20分から「数学展望」。早目に部屋を開いておくと宣言してあるので、4時10分くらいに Zoom を起動。続々と入場してくる。少し遅れてくる学生がいると思うので、講義は5分遅れで開始。黒板に書き書きしながらやって1時間ちょっとという内容だから、スライドを見せながら喋るだけではあっと言う間に終わるんではないだろうか？と思っていたら案の定。45分くらいで終わってしまった。話の途中から参加してくる学生がいたり、話が終わってから入ってくる学生もいた。平常点評価なのを知っているのだろう。課題が何かを聞いて、レポート書いてちゃちゃっと、と思っての途中参加と思われる。まあいいんだけどね。そういう舐めた態度はどこかで痛い目を見るから覚悟しておき。お前みたいに寝坊ばっかしてる奴に言われる筋合いではない？ごもっとも。終了後一人の学生が質問してきた。2回生だそうだ。「数学展望」は1回生配当の科目。登録しているのだろうか？今日の Zoom の URL を知っているところを見ると、登録していると思われる。「整数解でなく有理数解だとどうなるんですか？」とか、「岩澤理論てどんなものですか？」など。Fermat の最終定理に興味を持ったかな？難しいことは、向こうの能力もあるが、こっちの能力がないので説明できない。知っている範囲で説明した。でこの時点で5時30分くらい。そんな時間に現れた学生もいた。Zoom 会議を閉じてしばらくしたらメールが来た。学生が1人 Zoom 会議に参加してきた、とのこと。舐めるにも程があるね。まあいいんだけど。

終了後6時から野球。Giants のマジックナンバーは2。今日の結果次第では目の前で胴上げされる。何がなんでも勝たねば。1回裏にソトの内野ゴロの間に1点。2回表に1点取り返されたが、2回裏にすぐ戸柱のタイムリーで勝ち越し。 その後6回まで両チーム音無し。7回表に1アウト満塁のピンチ。ピッチャーは平良から砂田へ。丸を三振に討ち取って2アウト。ピッチャーは平田へ。中島を三振に切って取り、最大のピンチを切り抜けた。その裏に梶谷のタイムリー、オースティンのタイムリー、ソトのタイムリー2ベースで3点取って勝負有り。8回表に犠牲フライで1点を許すのみ。ヒーローインタビューは勝ち越しタイムリーの戸柱と、ピンチを切り抜けた砂田、平田の両投手。平田にはホールドが付いたが、砂田は何も無し。それでもヒーローに選ぶあたりは流石。いい勝ち方だった。2位 Dragons が負けたため、マジックナンバーは1になってしまったが、まあよかった。Tigers が2位に成ったので、優勝決定条件はもの凄く複雑に成ってしまった。明日の結果次第では、Giants は6連敗で優勝決定という、史上初の珍事をすることになる。それも面白いが、ここから Tigers なり Dragons なりが逆転優勝したらなお面白い。面白いことは多いほうがいいので、是非ここから逆転優勝を。Baystars？もう優勝の可能性は無いそうです ；＿；

試合始まった直後に、Hawks の周東が12試合連続盗塁の日本新記録を達成したとの情報。凄い。何しろ世界の福本豊を越えたわけだから。凄すぎます。

途中ルーキーの森が代打で出たが、見事にヒット。梶谷のタイムリーで生還したわけだが、解説の新井貴弘氏によれば、ちゃんと走りながら内野への返球をちらっと一瞥をくれたりとか、ホームへのスライディングとか、とても素晴らしいそうだ。なるほど。森敬斗只者ではないな。来年はもっと出場機会が増えるだろうし、楽しみだ。

さて、野球のやっている最中にメールを見た。明日の面接の学生からメールがないかと覗いた次第。その時助教のＩ先生からメール。何だと思ったら、小生のレポート問題が非公開になっている、との指摘。うむ、危ない。レポートの問題自体は講義の中で見せておいたが、提出する先が無くなってしまうところだった。そうすると多分問い合わせメールが次から次とに成ってしまう。Ｉ先生に感謝のメールを書いておいた。やれやれ。オンライン講義は難しいな。今日もちゃんと出来ているか不安で仕方なかったんだが、71人参加で、見えているし聞こえていると学生からも返信があったし。明日学生と面談をすれば、とりあえず Zoom ミーティングを主催する必要は無くなる。来年度はちゃんと対面講義が出来ればいいが。

明日から年賀状を発売するそうだ。もうそんなシーズンか。変な1年だった。来年はいくらかでも普通に成っていればいいが。

素イデアル分解の一意性の証明をようやく出来た

1時から「数論序説」のゼミ。ちょっと準備に手間取り、ゼミの開始は1時5分。今日は断じて寝坊ではない。今日のメインは素イデアル分解の一意性。分数イデアルを導入しないでやるので、予備知識は少ない。そうは言ってもイデアル類群とか類数とか、よくわからないだろう。本に書いてある通りをそのままなぞっているだけ、という感じ。よくわからないのが「よって」と発言した後本に目を移して、「従って」と書いてあると「従ってか」と言い直す。うーん、一言一句テキスト通りにやってくれなくていいんだがな。よくわかっていないからテキスト通りに話すということか。対面でやってたら色々突っ込むところだが、オンラインだと突っ込みづらい。まあいいか、ということで流した。来週は剰余環の話。イデアルのノルムとかやるようだ。と言っても、素イデアル分解の一意性を示す過程で剰余環が有限環であることは証明済み。あまり難しいことは無いだろう。2時40分くらいに終了。

ゼミの終盤から眠くなってきた。ということで野球が始まるまで寝よう、ということにして横に成る。途中一旦用足しに起きたが、よく寝られた。目が覚めたら6時を10分くらい過ぎていた。1回裏が始まる辺り。1回裏はワイルドピッチと宮崎のタイムリー2ベースとソトの2点タイムリー2ベースで4点先制。いいぞこれは、と思って見ていると、あっと言う間に同点にされた。うむ、マジック減らされちゃうのか？と思ったら4回裏に伊藤光の2点タイムリー3ベースと、Gianstsのレフト増田（大）のエラーで4点取った。これで8－4。今度こそＯＫか？と思ったらまた2点取られる。しかし8回裏に大城のパスボールとオースティンのタイムリー、そしてまた増田のエラーと、2点取る。今度こそ大丈夫で、三嶋が3者凡退に抑えてゲームセット。これでまた Giants のマジックを減らさなかった。最後に意地を見せている。明日も勝とう。今日 Dragons が負けてしまったので、マジックナンバーは2。明日の結果次第で目の前での胴上げを許してしまうが、そうは行くか。明日も勝つんじゃ！そして Tigers vs. Dragons は西（勇）と大野（雄）の両エースの投げ合い。大野を応援しよう。何度も書いているが、沢村賞は絶対大野。それを確定させるためにも、明日は大野が勝つ！そしてハマスタでの胴上げを絶対に阻止する。さあ明日大勝負だ。

イレギュラーな予定を忘れないように気をつけないといけない。気をつけるために有益なのは何度も書くこと。ということで書く。明日は4時20分から「数学展望」、明後日は12時20分から学生と面談。そして2時に生命保険会社の人と会う。これだけしつこく書いておけば忘れないだろう。いや、最近たるんでるから、まだわからんぞ。もう1回予定表を見ておくか。

Hawks 優勝（もちろん裏番組の Baystars vs. Gianstsを見ていたが）

10時半くらいに起きた。面接するはずの学生からメールを待っていたんだが、12時20分を過ぎても来る様子が無い。ということで面接は中止で、もう一寝入り。

起きてしばしニュースを見た。カス総理（インターネットでは今の総理をそう読んでいるようだ）の所信表明演説に対する突込みどころなど。それといわゆる「大阪都構想」というやつ。東京23区を手本にして、と言っているが、そうか？という感じ。まあ大阪のことだしいいや、というわけにはいかないのかな？よくわからん。

6時から野球。今日から vs. Giants 3連戦。Giants はマジック4なので、去年のように目の前で胴上げされてしまう可能性がある。それだけは絶対に避けなきゃならん。で3回に乙坂のダブルプレーの間に1点先取。が、Giantsの戸郷を何となく捕らえきれていない感じ。しかし、5回にロペスが満塁ホームラン！一気に5－0。が、その直後Giantsに2点取られて、結構接戦モード。8回表にはノーアウト1、2塁のピンチ。一発打たれれば同点。が、そこは代わった石田がランナーを返さない。その直後の8回裏にオースティンのソロホームラン、大和のタイムリー3ベース、梶谷のタイムリーで一気に4点。9－2で残すは9回だけ。もう勝ったでしょう。最後は伊勢が締めて、快勝だった。

今日はドラフト1位ルーキーの森が初出場。8回裏に代打で出て、レフトフェンス直撃の2ベースヒット。素晴らしい。梶谷が5打数4安打で、402打数132安打で佐野と全く同じになった（打席数451も同じ。四死球46まで同じ！）。佐野は肩の脱臼で抹消されて、今シーズンの復帰はもう難しいだろう。ということで佐野の成績はこれで fix された。どうせなら梶谷に首位打者を取ってもらいたいが、佐野も開幕から頑張っていただけにタイトルを取ってもらいたい。最多安打はもうない（Dragons の大島が134安打打っている）ので、佐野は取れるとしても首位打者だけ。うーん、悩ましいね。まあどっちが取ってもいいや。大島にだけは取られるなよ。今日勝ち投手に成った大貫が目出度く10勝目。パットンが100ホールド。どちらも素晴らしい。残り10試合、頑張ってもらおう。2位を目指せ！

などとやっているうちに、Hawks 優勝のニュース。うーん。今年の Hawks は出足躓いたり、Marines と Eagles の首位争いの際どい状況から見事に大勝ちしての独走での優勝。すごいね。まだパ・リーグは CS がある。Marines は存在感を見せるしかない。日本シリーズは Marines vs. セのチームで。セのチーム、って書かなくてももう決まったようなものなのでいいだろうが、まだ Dragons、Tigers に優勝の可能性がある以上こう書くしかない。今日は Dragons 負けたようだが、明日は頑張ってくれ。こちらも頑張るので、頑張って Giants の優勝を1日でも遅らせよう。

などと書いているそばから気付いた。今日は教授会があるというメールが来ていたが、開始時間は寝ている真っ最中で、すっかり失念していた。まあ今更言っても仕方ない。反省しよう。木曜日は「数学展望」の講義の日だ。忘れないようにしないと。楕円曲線のゼミを1時からやって、4時20分から「数学展望」だから大丈夫だろう。と言いつつ忘れないとは限らない。これからしばらく予定がある日が多いので、毎日スマホのカレンダーを見るとしよう。

「ベイストンコモンの会」で Baystars ファン達と盛り上がった

昨日はダウンして、ほぼ何もしない1日だった。Baystars が勝ったのも見てない。体たらくにも程がある。まあ休日だし、いいでしょう。で早目にダウン。

今朝は10時半くらいに起きた。お陰でゼミを定時から始められた。月曜日は円分体のゼミ。今日は p 進類数公式の応用として、p | h⁺(Q(ζ_p)) ⇒ p | h^-(Q(ζ_p)) や、実二次体の基本単数に関する Ankeny-Artin-Chowla の定理や、3 | h(Q(√3m) ⇒ 3 | h(Q(√-m)) など。今日はわけのわからない計算があまり無かったので、気楽に聞けた。3時45分くらいに終了。

いつもは大体そこから何も無く、テレビを見て過ごすんだが、今日は「ベイストンコモンの会」という、Baystars ファンが栗東市綣の「ボストンコモン」に集まる日。1回試しに参加しようと思い、行った次第。楽しかった。今日は21年前日本一に成った日だし、ドラフト会議当日でもあるので、盛り上がった。で1人の人が横浜出身。どこだと思ったら磯子区。こちらは上大岡だ、と言ったら、向こうは岡村だそうだ。詳しくない人は分からないと思うが、まあ隣町という感じ。「ゆずの出身地ですね」と突っ込んだら「同級生だ」とのこと。そうなのか。で21年前優勝した時は、ハマスタのパブリックビューイングで騒いでいた、と言ったら、その人もいたらしく、いた場所を聞くとすぐ近く。うーん、世の中狭いね。こういう日は呑むに限るんだが、残念ながらこちとら車だ。飲酒運転は絶対あかん、ということで、コーラ数杯。今度行くときは電車で行こうかな。会は8時45分頃終了。こういう席なら呑み過ぎの心配は無さそうだし。何しろ亀岡、三重、尼崎と、小生に比べると遠い人ばかり。どうしてそんな所で Baystars のファンに成ったかは謎。今度会った時に聞いてみよう。ということで行く気満々に成ってきた。まあまた来月考えよう。

カーナビは行きは名神経由の案内だったが、帰りは近江大橋、浜大津経由の道を案内してくれた。謎。多分時間と通行料と勘案した結果を出してきたんだろう、ということで従う。720円得したことになる。まあよかった。住処着10時近く。もう報道ステーションの時間だった。ドラフト会議についてのニュースをもっとやるかと思ったら、そんなに沢山取り上げてくれなかった。まあそりゃそうだ。で驚いたのが、田沢が指名されなかったこと。「田沢ルール」というルールを撤廃した、ということで当然下位で指名されるだろうと思ったのだが、育成ですら指名されていない。うーん、うーん。まあしゃあないわい。MLBで世界一に成ったことを勲章に、今後の人生生きてください。NPBは縁が無かったということで。

明日も学生と面談があるのだが、面接に出席する、というメールが来ない。これが来ないと Zoom の URL を教えることが出来ないので、自動的に面接は中止ということになる。まあいいや。明日は11時くらいには起きよう。

「一番絞り」の糖質0を呑んだ

結局昨日は、その後ビールを2缶呑んだ。「一番絞り」の糖質0を呑んでみたくて。でコンビニで普通の「一番絞り」と糖質0の奴を一缶ずつ買って呑み比べ。うん、やっぱり普通の方が美味いな。ただ糖質0の方もさすがはビール。発泡酒や第3のビールと違って、呑んだ感じがした。糖質0のため苦味がちょっと勝ち過ぎていたのが難と言えば難。まあこれからも普通の方を呑むでしょう。で酔っ払うと寝たくなくなるのが小生の悪い所。Mapleの入門書が住処にあることを発見してしまい、それを見ながら遊んだ。色々便利な機能がある。面白かったので、明るくなるまで戯れていた。

で2時から野球なのだが、起きたらもう始まっていた。1－1という状況から見始める。ロペスに日米通算2000本目のヒットは既に出ていた。見損ねたのは残念。その後逆転を許し、1－2で負け。うーん、連勝出来ないね。負け投手は平田。多分プロ入り初黒星。今年は初勝利もあった。いい場面で投げさせてもらっている証拠。黒星も勲章でしょう。

今日のマジックナンバーは、セ、パとも一つずつ減った模様。セ・リーグが5で、パ・リーグが3。というわけで、明日の胴上げは無くなった。菅野が負け投手に成ったようだ。何やら下半身に違和感とか。うむ、このまま故障で投げなくなるといいな。大野雄大の防御率1位と沢村賞が現実になる。さらに日本シリーズでの Giants の敗退と、いいことずくめ。菅野が重症であるよう呪いを掛けよう。

さて、普通は2日連続では呑まないんだが、呑み屋に顔を出すのも義務の一つということで、これから呑みに行く。今日は多分激呑みでしょう。健康診断が近付いているので、そろそろ控え目にしよう。まあ今日はいいでしょう。じゃ、行ってきます。

岩隈の引退会見を見て思ったこと

今日もやや寝坊。11時半に住処から徒歩10分弱の所に用事があったんだが、目が覚めたら11時16分。10時半に起きるつもりでいたんだが。数分遅れで到着。まあ大過は無かったのでよかった。予定は1時間程で終了。

住処に戻ってからしばしテレビを見ながら食事。その後科研費の申請書の直し。今日提出を目指していて、昨日の晩と今日頑張った結果、目出度く今日の4時半頃に提出。事務に直した旨メールを書く。特に返事は無いが、まあいいんでしょう。文句があるなら月曜日に言ってくるだろう。まあ来年もはずれそうだけど、いいや。

6時から野球。先発が京山と聞いた瞬間、今日も厳しいぞ、と思ったんだが、京山に謝らないといけない。6回無失点と、最高の出来。打つ方は梶谷のタイムリーと神里の犠牲フライの2点のみと、相変わらず湿りがち。それだけに京山のナイスピッチングはでかかった。連敗は3でストップ。借金は2で、3位 Tigers まで1差。もう流石に優勝は望めないし、2位 Dragons が好調（今日勝って貯金8）だから2位も辛そう。ということで Tigers に追い付け追い越せというのが最低目標かな。Tigers は苦手にしているが、そんなこと言っていられない。頑張ってください、Baystars 諸氏。

その後何故か 1/(x⁴＋1) の原始関数を知りたくなり、Maple で計算。結構とんでもない。まあ log と arctan で書けるので、大したこと無いと言えば無いが、部分分数に分解するのは難しそう。ということで、原始関数を再度微分したりして、何とか 1/(x⁴＋1) の、積分を計算するのに相応しい形の部分分数展開を求めた。メモっておく。何かの時に使えそうだ。とかやっているうちにこんな時間。明日は2時からの野球以外はこれと言った用事は無い。だからもう少し起きていようかと思っている。まあ気分次第ですわ、その辺は。

岩隈（Giants）の引退会見をやっていた。岩隈は近鉄 Buffaloes のエースとして素晴らしい働きをし、近鉄 Buffaloes が無くなった後は東北楽天Golden Eaglesに移籍、そこでも目覚しい働きをし、21勝上げたシーズンもあった。その年 Eagles は優勝しなかったが MVP。まあ当然でしょう。その後メジャーリーグに活躍の場を移し、日米通算170勝という、立派な記録を残した。ただこれでも名球会に入れないというのはおかしい。名球会入りの規準を150勝くらいに落としたらどないでしょうか。何しろ Swallows の石川（180勝以上している）や斉藤雅樹（毎年のように20勝していた）、桑田（170勝以上している）などが名球会にいないというのは合点がいかない。もう先発完投は夢のような時代だから、規準を落としてもいいと思うが。これ全然関係ないんだけど、うちの職場は年に2回しか外国出張を許しておらず、1ヶ月前には出張申請書を出さなくてはいけない、とか成っていたんだが、これは数年前に取っ払われた。船で目的地まで何日も掛ったり、沈没したりとかそんな時代でも無いし、これは当然の措置。名誉教授に成るには20年教授をしなくちゃいけないという規則も、15年でいいということになった。名球会の方も、もう金やんもお亡くなりになったことだし、大英断を望むね。

大野雄大（Dragons）、脅威の45イニング無失点

今日も寝坊。2分だけだが。で急いでゼミの支度をするが、学生が部屋に入ってくる様子が無い。メールを見たら、「喉が痛いので今日のゼミは無しにしてください」というメールが来ていた。何だそうか、ということでもう一度寝る。その後一度起きるも、まだ眠い。野球まで時間があるので、もう一度寝た。

で6時前に起きて、6時から野球。1回裏にいきなりノーアウト満塁のピンチ。でビシエドが犠牲フライ。0－1。その後はダブルプレーに打ち取り、1失点のみ。が、これが重かった。Dragons の先発は36イニング連続無失点の大野雄大。一度2アウト2、3塁のチャンスを作った以外は、全く打つ様子が無い。そのまま0－1でゲームセット。大野は10勝目で、45イニング連続無失点。10完投6完封。凄過ぎる。まあGのマジックが1しか減らなかったし、大野が防御率1位のタイトルと沢村賞に近付いたし、いいや。それにしても Dragons は凄い。借金7あったそうだが、今日で貯金7。今月は13勝4敗（だったかな？）と、途轍もない。首位Gと9.5差。うーん、もうちょっと爆発が早かったら面白かったな。それに理想を言えば、Dragons でなく Baystars にこの成績を残して欲しかった。今年のシーズンは総じて面白くなかった。まだ終わってないけどね。まあシーズンが始まるかどうか危ぶまれたわけだし、ここまで続いたのも奇跡かもしれない。贅沢は言っちゃいけないね。

野球終了後は科研費の申請書の直し。何年も同じことを書いているので、そんなに沢山直さないが、確かにおかしいところがあるし、直した。あと一箇所 typo が。「過程」と書くべきところが「仮定」に成っていた。恥ずかしい。気付いてよかった。直しは明日中に済ませ、という指示があったので、これから少しだけ頑張る。明日は午前中に用事があるので、今日は早寝する。フリーセルをやらないよう注意しないと。

ようやく代数体の整数環が定義出来た

1時からゼミだったはずだが、目が覚めたら1時を過ぎていた。うーん、たるんどる。ここのところ多いな。気を付けよう、とつい最近書いた気がするが。反省0やね。いかんですよ。で15分くらい遅れてゼミスタート。ようやく代数体の整数環が定義出来た。整数底、判別式、正規底などを定義。2次体の整数底や素数分体の整数底を求めて、アーベル体の整数環が正規底を持てば、その部分体の整数環も正規底を持つことなどを証明。ページ数としては多くないんだが、演習問題回しになっている部分が多く、2時間強1人で喋りっぱなしだった。ご苦労様。こちらは例に寄って眠くなってきて、必死に耐えていた。来週は素イデアル分解の一意性をやれる予定。そのためにイデアル類群も類数も定義することになっている。ようやく花形役者の登場だ。来週は眠くなりませんように。

ゼミ終了後30分ほど寝た。会議が長丁場になりそうなので、それに耐えるため。4時半から会議。案の定長丁場で、2時間半近く続いた。色々決めないといけないことがあり、一つ一つ丁寧にやるとそれくらいの時間掛ってしまう。止む無き仕儀。寝ておいたお陰で、会議中は眠くならなかった。

会議終了後野球。1回に1点ずつ取り合い、3回表に1点リード。が、昨日と同じで、そこから追加点が取れない。見てろ、逆転されるから、と思ったら案の定。ビシエドが来日100号。3ランホームランで一気に逆転された。ナゴヤドームだと弱い。今シーズン残りの Dragons 戦は全部ナゴヤドームでとか。うーん、2位が遠くなる。今日はタイトル争いで変化が。佐野は欠場なので打率は下がらないが、安打数は増えない。で2位の大島が5打数2安打で打率をちょっとだけ上げ、安打数は佐野に並んだ。うむ。佐野、休んでる場合じゃないぞ。ビシエドは3ランホームランで一気に打点王へ。いいですね。岡本（Giants）にはタイトルを取って欲しくないので、ホームラン王は大山（Tigers）、打点王はビシエドでいいでしょう。ただ、両者とも Baystars 戦では大人しくお願いします。特にビシエド、明日は音無しでお願いします。

成績を上げたいのは野球だけじゃない。フリーセルの成績も上げたい。最近負けが込んでいて、成績が下がっている。元に戻すため何時間もフリーセル、というパターンが続いている。フリーセルのせいで眠いのか？と聞かれたら、半分はその通り。もちろん講義の支度を遅くまでしているのもあるんだが、それもフリーセルをやってる時間にやればいいので、まあ眠いのはフリーセルのせいです。はい。明日も1時からゼミだが、明日は寝坊しないように気を付けよう。Mordellの定理の証明が始まるはずなので、集中して聞かないと。たまには突っ込みも入れよう。最近学生に喋らせるだけに成っている。いかんよね。明日は突っ込もう。

そうそう突っ込むといえば、「共役」をしばしば「きょうえき」と読み間違いをする学生が多い。何故だろう？「きょうえき」で出てくる漢字と言えば「共益」くらいだが。今日の学生も数回読み間違えた。で突っ込もうと思うと訂正して「きょうやく」と言うので、突っ込まなかったんだが。「きょうえき」の謎を誰か教えて下さい。

Zoomで学生と面談

昨日書いた通り、12時20分から学生と Zoom を通しての面談。寝坊せず10時半に起きられた。で学生は12時15分くらいに現れた。よかった。設定は無事うまくいったようだ。ちょっと早いがかまわないので、面談スタート。取得単位が少ない学生にアドバイスをしたり説教をしたりするのが趣旨なのだが、今年は事情が特別なので難しい。やはり「本の何ページから何ページまで読んで、演習問題を解きなさい」とか、資料を web に置いておいて、「ダウンロードして自習してください」という講義はさっぱり理解できない、ということだった。担当の先生のメールアドレスを知らないし、どうしようもないらしい。うーむ。まあ一通り不満を聞いて、適切かどうか分からないが助言しておいた。あと「学修相談会」の存在を教えておいた。秋学期は「学修相談会」もオンラインで行うらしく、理工学部と情報理工学部の1回生限定らしい。今日の彼は数理科学科の1回生なので、何の問題も無い。有効利用してくれるといいが。線形代数と微分積分でつまずくと後どうしようもなくなるからね。来週は3回生2人と面談する予定なのだが、その2人はどうしたらいいんだろうか？正直考えてしまう。まあ考えてもしゃあない。話を聞いてみないと。

1時前に面談は済んだ。で何して遊ぼう高砂や、というわけで、考えた結果、ドライブに出よう、ということになった。滋賀県の土山にある「田村神社」に行こうと。何故そうなったかというと、土山は住処から適当な距離にあり、今まで何度も行っている。で「田村神社」は道の駅の真向かいなのだが、1度も行ったことがない。ということで行った。うん、まあいい神社でした。木がうっそうと繁り、立派な建物も有り。で折角行ったんだし、交通安全のお守りくらい買っておこう、と思ったんだが、窓口には誰もいない。「御用の方はこのボタンを押してください」とのことだったのだが、奥から人が出てくる様子は無い。「まあいいや」ということですごすごと引き上げてくる。国道1号を渡って道の駅に戻って、さあ帰るぞ、と行きたい所だが、国道に掛っている歩道橋が工事中。300mほど遠回りしないと国道は渡れない。ということで300m行って一番近い信号を渡って、でセブンイレブンで飲み物を買ってから道の駅へ。しばし休憩した後住処を目指す。行きは下道だったので、帰りは高速で。初めて来た時はまだ新名神が開通してなかったので、行きも帰りも下道だったが、今は短時間で行き来できるようになった。ありがたい。ただ高速道路の工事と言えば、東京の調布で陥没事故が起きたそうだ。地下40ｍなら地主の了解無く工事が出来るとか。何か変な話だ。まあ高速道路は開通させなきゃいけないと思うので、万全の対策をした上で工事を続行してください。

6時から野球。今日から2位 Dragons と3連戦。1回表にオースティンのソロホームランで先制するが、その後はランナーの出ないこと。こういう試合は逆転されるんだ、見てろ、と思ったら案の定。先発の大貫は5回までナイスピッチングだったのだが、6回に急に打たれ出して、3失点。7回、8回とリリーフが失点を重ね、案の定のスミ1ゲーム。Dragons は6回終了時にリードしていると34連勝だとか。うむ。明日は勝てよ。まだまだ2位の目は十分にある。明日、明後日勝って、貯金1にしましょう。まあその分 Giants のマジックナンバーが減ってしまうのは止む無し。最低限の希望は、貯金を持ってＡクラス。もう高望みはしません。せめてそれだけ。あ、忘れちゃいけない。佐野の首位打者と最多安打。これもせめて。今日は佐野は2打席で引っ込んでしまったが、大事じゃないといいが。Dragons の大島が打率と安打数で猛追しているので、休むわけにはいかない。佐野には頑張ってもらおう。

明日は1時からゼミ。寝坊しないようにしないと。4時半から会議なので、ゼミ後寝る、というわけにはいかないので、今日は早目に寝よう。

Zoomで色々実験

1時から円分体のゼミ。今日は p 進単数規準の話。Leopoldt 予想など。今回も眠さに耐えながら聞いた。ちゃんと寝たはずなんだが。2時間弱で終了。その後即ダウン。2時間ほど寝た。まだ眠かったが、さっきよりはマシになったので、起きた。その後メールを一通書いたのち、Zoom の実験。明日学生との面談を Zoom でやるんだが、うまく行くかどうか自信が皆目無いので、色々と。普段使っているパソコンにはカメラが付いていないので、カメラ付きのパソコンを使ってみようと思ったんだが、ネットワークが不安定だし遅いので、カメラ無しの方のパソコンでやろう、という気になっている。明日何時に起きるかによるな。約束は12時20分だが、「もう少し早くてもいいぞね」とメールに書いておく。来週は Zoom で講義しないとあかんし、明日実験して自信を深めよう。やっぱり講義も面談も対面でやりたいな。今年度いっぱいでコロナが収まりますように。

7時から「Qさま！！」。賢くなろうということで、クイズ番組は見ることにしている。タメになった。賢くなったかどうかは知らないが。3時間もテレビの前にいてしまった。今日はゼミ以外は何もしていない。明日は面談後どうしようかね。まあ6時からは野球なんだけど。

今「量子暗号通信」のことがニュースでやっていた。一番先を行っている国は中国だそうだが、特許数なので世界一なのは東芝とか。来年にも日本や欧米で事業化されるらしい。東芝は知っている人が多いので、頑張って欲しいと思う。コンピューターの収益が下がっているということを前にニュースで見て、心配していたのだが、元気そうで何より。頑張れ、東芝。

7回に6点、8回に4点で痛快な大逆転勝利

昨日は呑んで帰ってきて、即ダウン。呑んでる最中から眠かったので。で野球の始まるちょい前に起きた。が、試合開始後の1球目をホームランにされるという、非常に不愉快な展開。まだ少々気持ち悪かったので、もう一度横に成る。例に寄ってテレビは付けっ放しで。でこういう時は大抵眠れるんだが、今日は眠くならない。意識がはっきりしている中、Giatnts がどんどん点を取っていく。先発の畠が2安打無失点と、解説者が「これは完封もありますね」と言っていたので、いよいよ不愉快。が、2点取って畠をマウンドから引き摺り下ろす。眠くないので、ここで起きた。で起きてよかった。梶谷の大逆転満塁ホームラン。6－5。まだ1点差だしわからんぞと思ったが、平田が抑えて8回表無失点で終了。で8回裏に戸柱の2点タイムリー3塁打と、梶谷がもう一発。2ランホームラン。これで10－5。あれだけ不愉快だと思っていたのに、結果は痛快な逆転勝ち。一昨日の試合が今シーズン一番だと思ったが、今日のはそれを上回った。ラミレス監督に言わせれば、「一昨日とタイ」だそうだが。まあいずれにせよ、Giants をけちょんけちょんに打ちのめして、溜飲は下がった。残り試合、意地を見せましょう。2位の Dragons が好調で貯金4。Baystars は5割。十分2位は可能。またいい試合を見せてください。今日の一言：オトコハダマッテナゲルダケ（by エスコバー）

野球が済んでから少し前の「相棒」の正月スペシャルを見た。前に見たことがあるので大体覚えていたが、それでも面白い。「相棒」はいくら見ても飽きない。今のシリーズも欠かさず全部見よう。

WBC日本代表の面目躍如

宅配便に起こされた。もう野球が始まっている時間だったので、急いでテレビを付ける。が、やってない。中止か。ということでもう一度横に成る。最終的に起きたのは6時過ぎ。うーん、何もしてない一日だな。今日はこれから呑みに行くので、一日完全に無駄になった。まあいいや。

7時から「炎の体育会TV」を見た。WBCメンバーの投手と野球経験者の芸能人が対決するというので、前から楽しみにしていた。流石はWBCメンバー、という感じだった。面白かった。

ということで呑んできます。じゃ！

代数的閉包の存在証明を講義資料に載せようかどうしようか

今日は10時半起き。保険会社の人と会う約束があったので。11時半という約束だが、その時間はまだ高速道路の上。10分程度前後するかもと言ってたから、大丈夫だろうと。電話が鳴ったような気がしたが、流石に高速道路運転中に電話に出るわけにはいかない。職場着11時40分くらい。その後来る様子がない。また次のアポの約束電話が掛かってくるかと思ったのだが、電話は鳴らない。まあいいや。来週電話があるだろうから、その時にアポの約束すれば。

待っている間は講義の準備。代数的閉包の存在と一意性を証明するか、はたまた例年通りスキップするか。折角オンライン講義になったので、資料に載せるだけ載せて、読まなくてもよい、と注釈を書こうかと思ったんだが、やっぱり訳のわからない証明だから、載せなくてもいいか、と思ったり。もうちょっと考える時間があるので、決定は先送りにした。悩もう。

6時ちょいに帰宅。野球を途中から観戦。0−0だった。その後井納、今村の両投手が踏ん張る。ノーアウト3塁のチャンスをどちらも作るが、点を取れず。その後 Baystars はノーアウト満塁のチャンスを作るも無得点。さらに、これは行ったろうというオースティンの当たりがフェンス前で失速したりと、中々点が入らない。そんなことをしてると点を取られるんだ、と思ったら案の定。8回表にしてようやく試合が動く。何とか1点で抑えたが、今までの Giants 戦のパターンだとこのまま0−1で負けるぞ、と思った。が、8回裏、いきなり4番佐野が初球ホームランで同点。（5試合連続ホームラン！）その後大和がタイムリー2ベース。2−1。9回表は抑えの三嶋。今日も抑えてくれるでしょう、と思ったら、先頭打者にいきなり3ベースヒット。このまま逆転されて今日もしおしおのパーかと思ったら、そこから三嶋がすごかった。3者連続三振。顔を見ても全く動揺している様子がなく、涼しい顔をしていたが、抑える自信があったのだろうか。すごかった。監督曰く今年のベストゲームだそうだ。確かに8回裏の攻撃はすごかったし、やっぱり三嶋がピンチを自作して、抑え切ったから嬉しかったのもあろう。いい勝ち方だった。明日、明後日も Giants をギャフンと言わせましょう。

今日久々にガソリンスタンドに行った。まだ60kくらいは走れるようだが、心配なので行った。40リットルのタンクだが、今日は30リットル入れた。まだまだ走れたな。まあいいや。しかし新車が来て3ヶ月くらい経ったが、まだ1100kちょっとしか走ってない。（今日は残念ながら1111を見損ねた。）やっぱり職場に行く用事が無いと距離が伸びないね。まあ姫路城あたりまで足を伸ばせばいいんだが、月、水、木が1時からゼミ。土、日は野球がデーゲームなので、中々時間が取れない。火曜日と金曜日は6時から野球で、起きるのが大抵午後。いつ姫路城に行けるんでしょうか。わからん。いつかは行くけどね。野球が終わってからかな。

Fermat の無限降下法

木曜日は1時から楕円曲線のゼミ。ここ数日たるんで寝坊していたが、今日は10時半には起きられた。若干寝不足気味だが、いいことにする。ゼミ中は集中していた。まずは Fermat の大定理の指数3の場合と対応している楕円曲線の有理点が位数3の巡回群になっていること。次は y²＋y＝x³－x 上の有理点 (0,0) が位数無限なことなど。次は Weierstrass 方程式で定義される3次曲線が特異点を持っても1個だけとか。でいよいよ Mordell の定理の章に入る。まずやったのは Fermat の大定理の指数4の場合の無限降下法を用いた証明。で対応する楕円曲線 y²＝x³－4x 上の点では降下のステップが点の1/2を求めていることを見た。Mordell の定理の descent はまさに Fermat の descent に成っていることは前から知っていたが、ここまで explicit に書いたものは見たことがない。新鮮だった。で height に入る前に終了。3時15分くらい。今日はM1のK君が欠席だったので、あまり進まないのはよかった。来週は E(Q)/2E(Q) の有限性の証明に掛れる模様。面白くなってきたぞ。

昨日から「相棒」が始まっている。ゼミが終わってから野球が始まるまでの時間を使って、昨日放送分を見た。普通より30分長いのだが、それでも解決せず、2週間もの。うーん、今日の内容を来週まで覚えてるかな？まあ覚えてなかったら見直せばいいんだが。芦名星の登場シーンがあった。放送の最後に追悼メッセージが。やっぱり死んでしまったんだな、と再認識。死んだらあかんよ。「相棒」が終わるのは水谷豊が死ぬ時だろうか？もう右京さんは定年だと思うんだが。まあ面白いからいいんだけど。

6時から野球。佐野の4試合連続ホームランで先制するも、久々先発の平良がその裏一気に3点取られて逆転される。その後も村上のホームラン（14打席ぶりのヒットとか）で突き放される。その後梶谷のホームランと梶谷のタイムリー2ベースで2点取ったが、3－4で負け。うーん、3連勝できないなー。また2連勝でストップ。5割復帰も成らず。Dragons vs. Tigers は Dragons の勝ち。1点負けている状態で高橋のサヨナラ3ランホームラン。うーん、強いな。これで貯金3。2位をがっちりキープ。3位 Tigers とは1.5ゲーム差。4位 Baystars は Tigers と1ゲーム差。とりあえずAクラスに成りましょう。明日からハマスタで vs. Giants 3連戦。幸い Giants のマジックナンバーは8なので、3連敗しても目の前で胴上げされることは無い。まあでもそれは顰蹙だし、気分が悪いので、3連勝しましょう。先発は井納だ。いい方の井納だったらいいが。

国葬？冗談じゃない。誰が元総理を惜しんでやるものか。何やら国立大学やら何やらに葬儀の際の弔意表明をやるように支持らしきことをしたそうだが、とんでもない。いつまでそんなことしてるんだ！いい加減にしろ！ 

大野雄大（Dragons）が今シーズン5度目の完封勝利！

水曜日は「数論序説」ゼミ。1時開始だが、目が覚めたのは1時3分。いかんぞ、と急いで支度。1時10分頃から始められた。最近たるんでるな。気を付けないと。今日はまずは素数 p に対する p 分体の部分体について。拡大次数 n (n｜(p－1)) の部分体 k_n が unique に定まることや、k_n の原始元が ζ のトレースであることなどを証明。次は有限体の話。有限体の有限次拡大が巡回拡大であること、生成元がフロベニウス置換であることなど。これは完全に代数学IIの講義でやった話なので、ばっさり略、とやって欲しかったが、例に寄って懇切丁寧に証明してくれた。まあいいや。眠気に耐えながら3時くらいに終了。その後再び寝床で1時間ほど寝る。

しばしテレビを見ていて、ふと気が付いた。フジテレビチャンネル2でプロ野球ニュースの再放送をやっているはず。菅野が負け投手になったのでも見てやるか、と思ったら、もう菅野の負け試合は終わっていた。残念。まあ Baystars が快勝したのを再び見たので、気分はよかった。

6時から野球。1回表に宮崎のタイムリーヒットでいきなり1点先制。3回表に宮崎、倉本、ロペスと3者連続タイムリーヒット。5回表に佐野のソロホームランと、5－0。今日は楽勝かな、と思ったら、5回裏にソロホームランを浴びる。が、先発坂本の失点はこれだけ。5回1失点と中々の内容だった。6回表もソト、オースティン、宮崎のタイムリーヒットで9－1。今度こそ楽勝でしょう、と思ったら、8回裏に一気に5点取られて9－6ときわどくなってきた。が9回裏は三嶋が抑えて9－6で勝利。これで借金1。明日も勝って5割にしましょう。因みに Swallows は今日の負けで優勝の可能性が無くなったそうだ。そうか、やっと無くなったのか。ということはまだ Baystars に優勝の可能性は残っているのだな。諦めることはない。ここから大逆転だ！

今日は一つ記録が途切れてしまった。9試合連続2ホームラン以上というセ・リーグタイ記録に昨日並んでいて、今日は新記録が掛っていた。が、ホームランは佐野の1本だけだった。残念。まあいいでしょう。

試合中に速報のページを見たら、Dragonsが2位浮上、の情報。大野雄大が今期5度目の完封勝利で、防御率1位に躍り出たらしい。凄い。今シーズンの沢村賞は大野で決まりだな。何しろ先発完投型のピッチャーに送られる賞だから。これで菅野が取るようだったら許さん。田中（当時Eagles）が24勝した年は、完投の数で金子（当時Buffaloes）に劣っているのに田中が沢村賞を取ったが、文句は出なかったんだろうか？今年は絶対に大野！それは譲れん。あと一つ勝って10勝に乗せれば文句無いだろう。

学術会議の件だが、いつの間にかあり方を問う議論にすりかえられている。「役に立ったことが無い」という暴論が出ているようだが、役に立たない研究に金を出さないというのはけしからん。整数論なんて何の役にも立たないと思われていたが、RSA暗号や楕円曲線暗号など、昨今は華々しい応用がある。今役に立たないからと言って、未来永劫役に立たないとは限らんのじゃ。役に立たないから補助しない、では数学者は科研費に当たらなくなってしまう。まあ小生は当たらなくてもいいけど、他の数学者には当ててあげて下さい。ということで、まずは任命しなかった理由を明らかにするほうが先じゃ。

♬♪♫菅野が負けた

起きたのは昼前だった。で1時ちょい前に職場へ向かう。が、飯を食べていないので、職場の前を通過して、回転寿司へ向かう。最近食事はUber Eatsかカップ麺ばかりで、Uber Eatsで頼む料理は豚肉（トンカツ料理を色々）か牛肉（牛丼やハンバーグ）なので、少し栄養のバランスが偏っている。よーし、ここは魚だ！というわけで回転寿司を選んだ次第。で「はま寿司」で寿司をつまんでいたら、何やらスマホにメッセージが届いた模様。何じゃ？と思ってみてみると卒業生Dp君から。昨日ブログに「松江の姐さん」と書いたが、Dp君は彼女の名前を島根大学で見付けて、数セミの年、号まで割り出していた。素晴らしい。何と素晴らしいんだ。今時の若者（Dp君が若者かどうか知らないが）はそれくらいのことが出来るんだな。じゃあどんどん伏字にして、皆を退屈しないようにしてあげよう。

満腹になったところで職場へ。まず本屋へ寄って予算を使う。今年は全然出張していないので、予算が相当残ってる。本でも買わないと、使い道が無くなる。で事務に伝票を提出しに行く。ついでに一つ提出しなくちゃいけないものがあるので、それも事務の人に渡す。で最後はポストのチェック。明日届くと言っていた学内便が今日届いていた。お、これでしばらく行く用事が無くなったぞ、ということで安心して職場を後にする。4時くらいに個研室を出た。

で「草津田上」から新名神に乗ったら、反対側（つまり草津JCTから信楽方面）が大渋滞している。新名神は集中工事をしているらしく、そのせいかと。幸い小生が草津JCTを通った時はすいていた。こんなんじゃ次行くときは「瀬田西」で降りないといけなそうだ。ってしばらく行かないでいいんでしょ。

で住処に着いたのは4時35分くらい。教授会は4時半からなので、ちょっと遅刻。急いでパソコンを立ち上げて、Zoomを起動。何やら説明をしていたが、あまり関係無さそうだ、と思って集中しないでいたら、何やら重要そうな話ではないか。うーん、ちゃんと聞いておくべきだったか。まあしゃあない。で教授会は5時から。大抵の話は「もうこういう風に成りましたけど、これでいいですか？」という内容。まあそうしたもんだろ、と思って流す。最後のはちょっと面白かったので、ちゃんと聞いておく。5時45分頃終了。で電話が鳴った。何だろうと思ったら、保険屋さんが今週のどこかで会えないか？と言ってきた。うーん、金曜日しか職場に行ける日が無い。ということで金曜日の11時半に会う約束をしてしまった。うー、行かないで済むはずだったのに、行かないといけないのか。まあしゃあない。瀬田西で降りることを忘れないようにしよう。

6時から野球。今日から vs. Swallows 3連戦。1回裏にいきなり1点先制された。が、ピッチャーは大貫。負ける気がしない。そしたら案の定、ピッチャー大貫の犠牲フライで2回表に同点に追い付いた。その後5回終わった時点で1－1と投手戦。が、様子はすぐ変わる。6回表に佐野が２ランホームラン。７回表にはロペス犠牲フライ、宮崎３ランホームラン、大和ソロホームランで一気に5得点。これで8－1ともう勝負あった。その後出てくるピッチャーは危なげなかった。ということで気持ちのいい試合だった。明日、明後日も勝ちましょう。

で今ブログを書くために野球速報のページを見ていたのだが、何と菅野が負けたではないか！目出度い。Carp よくやった。九里がナイスピッチングをしたようだ。最終スコアは4－3で、Giants の3点のうちの2点は9回裏にソロホームラン2発で返したもの。危なかったのね。まあそこでひっくり返しても菅野に勝ちは付かないわけだが、また次勝った時「14連勝」というデタラメ言い出すから、今日は Carp が勝ってよかった。今日は2位 Tigers と3位 Dragons の直接対決。Dragons が勝ってしまった。Giants のマジックナンバーが減ってしまった。しかし Dragons は凄い。これで貯金1。Tigers の貯金は2。さあ2位争いは面白いぞ。Baystras？借金2で4位。まだまだ食らい付いていきましょう。

何やら「研究者情報データベース」を更新せよ、というメイルが散々来ていた。無視すると全部のデータ公表しちゃうぞ、と脅されたので、仕方なくちまちまと直した。直してよかった。最新の論文が載ってなかったり、立命に来た時点で既に教授に成っていたりと、無茶苦茶だった。学位も勝手に「理学博士」とされていた。（正確には博士（理学）早稲田大学。）担当講義は事務で載せてくれるそうなので、何を担当していたか思い出すには丁度いい。任せておこう。ということでデータベースは大分直ったが、まだ嘘があるかも知れないので、後日もう一度見直そう。

p 進 L 関数の計算に付いていけなくなり眠くなる

昨日書いたように、うちの職場は今日も平日。ということで1時からゼミ、のはずが、起きたら1時3分。ぎゃ！というわけで急いで準備。何とか1時10分にはゼミを始められた。申し訳ない。今日は L_p(1, χ) の計算。これが相当大変。何とか付いていこうと思ったのだが、無理だった。でこうなると眠さに耐えるのに必死。何とか終了まで乗り切った。3時半頃終了。そのままダウン。7時過ぎまで寝続ける。

今日寝坊したり眠かったりしたのは、昨晩遅くまで4次方程式と格闘していたから。数セミに何年か前に載った松江の姐さんの記事を参考にして TeX に起こしたものが講義資料の一部に載っていたのだが、いかにせんわからない。フェラリの方法しか知らないので、その方法で求めてみると、一応求まる。が、それが松江の姐さんの記事と同じとは思えない。何とか理解しようと奮闘したのだが、結局無理だった。でフェラリの方法で解説することに決め、がっさり書き直し。MAPLE で確かめた数値例を載せて、ということをしていたら4時を過ぎてしまったのだ。そこから寝床に入ってすぐ寝ればいいものを、スマホいじりを始めてしまったのだからたちが悪い。結局寝たのは5時くらい。こんなことをしていてはいけないのは分かっているんだが…。明日は久々に職場に行く用事があるので、今日はちょっとくらいは早く寝よう。

昨日メールが来ていたが、明日は久々の教授会。前期は全部メール審議だったのだが、明日は Zoom で開催するらしい。そうするとちょっと待てよ、4時半から教授会で、教授会は住処のパソコンで参加したいから、職場から帰ってくるのは4時半前にしないといけない。職場にあまり長い時間いられないな。行って帰ってくるだけになりそうだ。まあいいや、ドライブということで。いや別に職場のパソコンから教授会に参加してもいいんだが、そうすると野球に間に合わなくなる。野球と教授会とどっちが大事だ？と問われると答に窮する。教授会は半分形式的な会なので、1人くらい欠けても、という気持ちがないではないが、国会議員が居眠りをしているのに怒る側としては、やはり真面目に参加しなくてはいけないとも思う。まあ起きた時間次第だな。最悪明日職場に行く用事を明後日にすればいいだけ。明日行く、と一部の人に宣言したのを「やっぱり14日（水）にします」とし直して水曜日に行けばいいだけ。というわけで、あまり深く考えないことにしよう。

大分整数論研究集会2日目

研究集会2日目。今日は10時開始だったが、9時半くらいに目が覚めた。アラームは9時45分に仕掛けておいたので、鳴る前に起きた。今日は不定方程式の話しが多かった。割合初等的な方法で解決できてしまう場合もあれば、刀を振り回して掛っていく場合もあり、大変勉強に成った。今日は途中で寝たりとか眠くなったりとか一切無く、楽しんで勉強できた。いつか大分で喋れるよう励もう、と思った1日であった。

と言いつつ、野球は音を消して流していた。今日はソロホームラン3発で3点。4点取られて負けただけに、ランナーありの場面でホームランが無かったのが痛かった。Tigers の決勝点は大山の2ランホームランだった。余計に悔やまれる。Dragons vs. Giants は Dragons が勝ったので、Giants のマジックナンバーは減らないのは良かったが、また Baystars は4位転落。借金3。まだまだ粘りましょう。最後は貯金を持って終わりましょう。

さて、明日は祝日。のんびりしたいところだが、うちでは祝日は関係ない。明日は「代数学II」と、M1の学生のゼミがある。今日も早寝しよう。

大分整数論研究集会1日目

今日、明日と研究集会。本当は「大分長崎整数論研究集会」という名前で長崎大学で行われるはずだったが、コロナのため「大分整数論研究集会」と名前を変え、Zoom での開催となった。9時半が一つ目の講演のはずだったが、起きたらもう9時45分くらい。途中から聞き出したが、眠くて仕方ない。で起きて30分弱でもう一度ダウン。昼休みの前にもう一度起きて、話を途中から聞いた。で昼ごはん。が、また眠くなってきた。もう一度ダウン。最後から二つ目の話の最中に目が覚めて、最後の話は真面目に聞いた。で終了後オンライン懇親会なのだが、昨日書いた通りあまり面白く無さそうなので、パス。

集会終了時間が丁度野球が終わった辺りだったので、ヒーローインタビューと試合のダイジェストだけ見た。今日はオースティンのホームランとソトの2ホームランなどで快勝。勝ち投手はルーキーの伊勢。プロ入り初勝利。濱口が先発だったのだが、勝ち投手の権利が無いところで引っ込んだようだ。伊勢は負けている状態でリリーフに出たようだが、見方が逆転してくれて、めでたく勝利投手に。本人はホールドを沢山稼ぎたいようなので、これからは是非そういう場面で放ってください。今日の相手は Tigers。2位に行くには Tigers に勝たないといけないが、勝つと Giants のマジックが減ってしまう。しかも Giants の相手は目下のＡクラス争いの相手 Dragons。Dragons にも負けて欲しいが、またマジックが減ってしまう。うーん。今日は Tigers が負けて Giants が勝ったので、マジックナンバーは12。うーん、大分減ったな。でも今日目出度くＡクラスに復帰。明日も Tigers に勝てば2位まで1ゲーム。セ・リーグの灯を消してしまうかもしれないが、勝つしかないのだ。

野球終了後もう一度横になる。うーん、よく寝れらる。1時間ほど寝て起きた。まだ眠い。明日は10時開始だし、もう寝るか。明日は今日の話より聞きたい話が多そうなので、明日は真面目に参加しよう。しかし出張すると真面目に起きて真面目に聞けるんだが、自宅で参加となると、いつでも横になれるし、いくらでも内職ができてしまう。オンライン研究集会も考えものだな。早く普通に戻りますように。

ステーキハウス「ボストンコモン」で Baystars 談義

昨日は早目に寝て、今朝は10時半起き。まずやったのは健康診断の予約。職場は予約でいっぱい。今年は密を避けるため、いつもに比べると職場で健康診断を受けられる人数を減らしているため、早目にいっぱいになってしまったようだ。で大学の近所の病院に電話して、11月6日に受けることになった。朝9時半からと、とんでもない時間になってしまったが、やむ無し。しかも血液検査の値を正確にするため、10時間くらい食事を開けてきてくれと言われたので、中々辛い健康診断になりそうだ。来年度は職場で健康診断してもらえますように。

ということで11時半くらい。シャワーを浴びてスッキリしてから、栗東市綣にあるステーキハウス「ボストンコモン」に電話。事前に電話してくれると幸い、というようなことが書いてあったので、電話した。で名神経由で行く。今日はちょっと急ぎ気味だったので、追越車線に出て運転。下品だ。まあしゃあない。で「ボストンコモン」に入った。思ったより小さい店だった。頑固そうな人が店をやってるんじゃないかと思ったら、案外気さくな人そうでよかった。で Baystars ファンだと告げると、マスターの息子が来た。相当なファンのようで、Baystars 関連の書籍やグッズなどが置いてあった。よくファンが集まるそうで、招待された。行けるようだったら行ってみる。Facebook と LINE のアドレスを交換してきた。早速数件書き込みがあったようで、また Facebook を見る時間が増えてしまう。困った困った。あ、肉はもちろん美味しかったです。

で今日の Tigers vs. Baystars は雨のため中止。どこかの月曜日で穴埋めすることになるので、またきつい連戦に成ってしまう。明日は中止にならないで欲しいな。

本当なら明日から長崎大学で行われる研究集会に参加するはずだったのだが、長崎大学が流石に会場を貸してくれないようで、Zoom 開催に成ってしまった。出張先のホテルでは早く寝て早く起きられるんだが、自宅だと色々やれることがある関係で、遅くまで起きていて、早起き出来なく成ってしまう。懇親会はオンラインで行うそうだ。面白くなさそうなので、参加しないつもり。オンライン呑み会ってやったことないけど、面白いんだろうか？そうは思えないんだが。まあ何にしても有意義な二日間にしたい。もうそろそろ寝ようかな。

寝不足で楽しい展開の野球を見逃す

 木曜日は1時から楕円曲線のゼミ。昨晩も割りと遅くまで起きていたのだが、今朝は9時前に目が覚めてしまった。昨日のように寝坊するわけにはいかないので、再度寝床に向かうことは控えた。で時間があるので、先日放送していた「芸能人格付けチェック」を見た。３時間弱なので丁度いい。面白かった。

で1時からゼミなのだが、始まる様子がない。すわまた「休ませてください」という趣旨のメールが来ているのか？と思って見たが、来ている様子が無い。そうこうしているうちに2分遅れくらいで4回生がログインしてきて、ゼミは始められた。今日は楕円曲線の加法が結合法則を満たすことの証明。うーん、相変わらず大変だ。丁度眠気が襲ってきて、議論についていけなくなっていることもあり、必死に耐えた。そうこしているうちにM1の学生が1時間遅れでログインしてきた。皆寝坊付いているね。気を付けよう。来週には Mordell の定理に入れそうな感じである。ようやく面白くなってくる。来週は体調を整えて、ばっちり聞いてやろう。遅刻も無しでね。

ゼミが終わったら即寝床に突っ込んだ。眠かったので。で目が覚めたのは7時過ぎ。もう野球が始まってる。ということで起きてテレビを付けたが、1－6で負けているという状況。まだ眠かったし、不愉快だからもう一度横に成る。テレビは付けたまま。さらに点を取られて1－9となった。いよいよ不愉快。が、信じて見ておけばよかった、という展開に。6回に戸柱のソロホームランで2－9。8回にオースティン2ラン、ロペス2ラン、中井のタイムリーで一気に5点返して7－9。リアルタイムで見ていたらさぞかし楽しかったろう。まあ結果的には7－9で負けたんだが、一方的にやられる展開ではなかったのでよかった。明日からにつながる。明日から vs. Tigers 3連戦。Giants のマジック減らしに協力したくは無いが、こちらもAクラスが掛っている。Tigers とはいつの間にか3ゲーム差。Dragons にも抜かれているし、3連勝するしかない。頑張ってもらおう。

ということで野球が終わるまで晩飯を食べていなかったので、Uber Eats に頼んで晩飯。9時半を過ぎているので、頼める店は限られる。ということで、吉野家にした。「肉だく牛丼」にした。やっぱり牛丼は吉野家が一番美味いな。満足。

野球を見ずにたっぷり寝たが、まだ眠い。今日はちょっと早寝するか。明日天気がよかったら「綣」にあるステーキハウスにいい加減食べに行きたい。ただ明日は台風のせいで天気が悪いようなこと言っているから、また来週になってしまうかもしれないが、まあいいや。

平田真吾、130試合目の登板で待望のプロ初勝利

水曜日は1時から「数論序説」のゼミ。が、久々に大分寝坊してしまった。学生を待たせてグーグー寝ていた。申し訳ない。ということで遅れてスタート。今日はノルムとかトレースとか判別式。あとガウス和とヤコビ和。どちらも代数の講義では教えていない内容なので、今日はきっちりやってもよい。というわけでゆっくり進む。4時くらいに終了。来週こそ整数環が定義できるか？それとも再来週か？微妙な所。石田先生の「代数的整数論」は中々代数的整数を定義してくれないので、前期中に「代数的整数」という言葉を聞かずに終わってしまう可能性がある。その点「数論序説」は代数的整数の定義が早目に出て来るので良い、と思っていたんだが、代数体の整数環を中々定義してくれない。それとこの前気付いたんだが、K(α)はきちんと定義しているが、K(α₁,…,α_n)を定義してくれていない。うむ。どの本にも色々不満な点がある。来年度は違う本にしよう。

4時半から会議。トラブルメーカーというのはいるもので、とある非常勤の先生周りでトラブルが続いている。その件についての報告やら何やらで、重たい会議だった。6時半くらいまで掛った。来年度もオンライン講義になるようなら、今年よりは工夫してやらないといけない雰囲気。対面講義に戻っていますように。

で野球は途中から。今日の Baystars の先発は平田。ブルペンデーだな、と覚悟。ところが、平田が5回まで投げた。2失点、7奪三振と、中々の好投。で6回表。1－2で負けていたのだが、相手のエラーで同点。その後ロペスが2ラン、ソトがソロと2者連続ホームランで逆転。これで平田に勝利投手の権利が発生した。うむ、これはいい。何としても今日勝たないと。6回裏にリリーフ陣が1点取られたが、9回に1点取り返して3点差で9回裏。ピッチャーは押さえの三嶋。手に汗握りながら見る。が、危なげは全く無く、見事6－3で勝利。で勝ち投手は平田。プロ130試合目の登板で見事プロ入り初勝利！素晴らしい。今日はブルペンデーだろうから、平田に勝ちが付くことはあるまいと思っていたんだが。ヒーローインタビューはもちろん平田。嬉しそうだった。今後また先発することは無いかもしれないが、中継ぎで引き続き素晴らしいピッチングを見せてもらいましょう。よかったよかった。

梶谷が月間MVPを取ったそうだ。文句無しでしょう。本当は今日のトップニュースはこれになるはずだったのだが、平田の初勝利の方がネタとしては大きいので、こちらをトップニュースにした次第。梶谷は故障を治して、また打ちまくってください。

Marines をコロナ禍が襲う

昨晩も遅くまで起きていた。それでも銀行に間に合う時間には起きたので、京都銀行へ行って、自動車税の払い過ぎを返してもらってきた。車を買い替えると必ずこの手間がある。23000円戻ってきたから、そこそこの臨時収入な感じ。まあ新車の分の自動車税を払っているので、収入でもなんでもないんだが。まあ気分の問題。で何か買ったかというと、何も買ってない。財布に23000円入れてそのまま帰ってきた。

帰宅後、日曜日にやっていた「ドクターＹ」を見て時間潰し。6時から野球。今日から vs. Giants の3連戦。相手は菅野。よーし、何が何でも黒星付けたんねん。ということでファンは一様に盛り上がっている。今日勝てば開幕投手の連勝新記録13だそうだが、そんな記録は誰も認めてない。一度5失点して引っ込んで勝ちが付かなかった試合があるし、Baystars が一度菅野の勝ち星を消したことがある。「黒星無しの13勝」というなら認めるが、「13連勝」は認めん。ということで前のめりの状態でスタート。1回裏にいきなり先制されるも、3回表に神里の犠牲フライで同点。が3回裏に3ランを打たれる。が、直後の4回表にロペスの2ランで1点差。これはいい感じだろう、と思ったが、菅野マジックか、5回裏に2ランを打たれ3点差。8回表にオースティンのソロホームランが出るが、そこまで。菅野に黒星を付けるのは失敗に終わる。残念。まあ「13連勝」は許さないが、「平成生まれ初の100勝」は凄い。素直に脱帽。

Marines にコロナ感染者が大量発生。今日はプロ初出場の選手をスタメン1番に起用と、苦しい。Tigers もそうだが、何故2位のチームをコロナ禍が襲うかね。Marines は今が堪えどころ。この前も書いたが、もう Hawks はよかでしょう。今年は Marines に優勝して欲しい。で東京湾岸ダービー、移動が少なく楽でよい、ということに成って欲しい。と思ったら、今年の日本シリーズの予定日は既に都市対抗野球で押さえられていて、東京ドームでは日本シリーズは行えないそうだ。これはいい。ホームアドバンテージが無いぞ。こうなったらいよいよ Marines 応援だな。明日から Maries vs. Buffaloes の試合を見ようか？いやいや、やはり Giants vs. Baystars を見て、Baystars を応援しよう。 

ゼミは p 進 L 関数の構成など

月曜日は1時から円分体のゼミ。今日も11時くらいに起きて、ゼミは定時開始。今日は p 進 L 関数の構成など。Kummer の合同式や von-Staudt－Clausen の定理や、素数 p が irregular であることと Bernoulli 数 B_n（n=2,4,…,p－3）のどれかが p で割れることと同値であることなどが出て来て、色々賑やかだった。3時半過ぎに終了。

ゼミ終了後眠気が襲ってきた。で2時間ほど仮眠。その後ニュースを見るなど。7時過ぎに「天下一品」にラーメンを食べに行く。10月1日に食べ損なっているので、今日は何が何でも行きたかった。待ち侘びた味。店員がラーメンと共にくじを持ってきた。で引いたら「こってり小皿」というものが当たった。まあもらえるものは何でももらっておくことにしているので、ありがたく頂戴してきた。実は一緒にもらった50円割引券の方が嬉しいんだが。また近いうちに行こう。

帰ってきてからは「帰れま10」を流してコンピューターに向かっていた。国勢調査のインターネット入力など。あまり有意義な時間ではなかったが、まあいいでしょう。明日は特に用事の無い日なので、銀行に行ったり健康診断の予約など、たまっていることをしようと思っている。そんな日もないと。小生の生活パターンでは、とても月曜から金曜まで定時に出勤して定時に退社など出来るわけない。そのために今の仕事を、というのも頑張った理由の一つではある。どこかの大学では教員がタイムカードで時間を管理されているようなことを言っていたが、そんな大学でなくてよかった。あと13年、頑張って置いてもらえるようにしよう。そのためには研究もしないとね。明日は研究もするか。

Tigers の大山のホームラン数がついに Giants の岡本に並んだ。いいぞいいぞ。そう簡単に優勝からタイトルまで全部渡してたまるか。頑張れ大山。

オースティン3発で、1日でAクラス復帰

呑んで帰ってきて、そこから例に寄って朝になるまで起きていた。ということで、目が覚めたのは相当遅く、野球が終わっていた。（注：デーゲームです。）スマホで野球の結果をチェック。今日はオースティンが3発ホームランを放って、快勝。オースティンは昨日最後の打者だったから、悔しさがあったでしょう。それを払拭する3発。見事だ。1日でAクラスに復帰。もう4位には成らないよう、頑張ってもらいましょう。詳細は今CSで「プロ野球ニュース」を見ているが、そこで見るということで。パ・リーグの試合が先にやっているので、Baystars の試合まではもう少々掛りそう。早くやらないかな。ワクワク。

Zoom でオンライン面接をやれ、とのことで、メールが来ていた。「数学展望」の講義も Zoom でやることになっているので、その前に予行演習が出来る。よかった。これからメールを読んで、Zoom の使い方を勉強する。前に google で「Zoom 使い方」で検索して出てきたページに書いてあることは、どこでも「易しい」とのことだったので、易しいのでしょう。それをこれから実感する。このご時勢、Zoom にお世話になる回数は増えることが予想されるので、しっかり勉強しておこう。

「半沢直樹」の最終回を見て、気分すっきり

 今日は昼から野暮用で、目覚ましを10時半に仕掛けていたが、9時前に起きてしまった。出掛けるまでしばらく時間があったので、録画したまま見ていなかった番組を見て時間潰し。11時半前に目的地に向けて出発。野暮用は1時間ほどで終了。松屋で食事をして帰宅。ということで計2時間くらい。

2時から野球。先発の濱口がピリッとせず、1回表にいきなり3点取られる。1回裏に1点取り返すも、2回表に6失点。2番手砂田が木下（拓）に3ランを打たれたが、2人は濱口が残したランナーなので、濱口は自責点8。ということで2回表終了時点で1－9。一気に見る気を失った。でテレビを消す、ことはしない。科研費の申請書書きでもしながら行方を眺める。6回に柴田が2号ソロホームラン。7回にソトが2ランホームランと、徐々に追い上げて行く。8回にオースティンのタイムリーヒットと相手のエラーで2点。お！9回に柴田のタイムリーヒットで2点差。ランナーが2人いて、バッターはオースティン。ここで漫画みたいな逆転サヨナラが起きるか！と思って力を入れて見るも、オースティン三振でゲームセット。うーん、残念。諦めないで応援しておくべきだったな、と後悔。今日で4連敗でBクラス転落だが、砂田以降の投手が抑えて試合を壊さなかったのが救い。先発がしっかりしていればと、悔やまれる展開だった。明日に繋がる終わり方だったので、明日は勝ってくれるでしょう。2位も最下位も同じ、という暴論はあるが、そんなことはない。一つでも上を目指しましょう。

野球終了後「半沢直樹」の総集編と最終回を見た。面白かった。野球で負けたのを忘れるくらい痛快だった。毎週見てればよかったかというと、そんなこともないだろう。ストレスの溜まりそうな展開が毎週続いていたようだから、最終回だけ見たのも正解かと。まだ第1シーズンを見ていないし、第2シーズンも総集編を何回か見た（注：日曜日の夕方にやっていた）だけで、本編は最終回以外は見ていない。時間を作ってじっくり見たいところだが、野球はまだ続くし、もうすぐ「相棒」と「科捜研の女」が始まってしまう。仕事もせなあかんし、忙しい。酒を呑む時間がもったいない。まあ今日は呑むんだけど。ということでぼちぼち出掛けます。

米大統領、新型コロナウィルスに感染

今日は早く起きるつもりだったが、思うところあって昨晩は相当遅くまで起きていたので、今日は遅く起きた。綣にはまた来週行く。

今日の野球は残念な結果。5－5の同点から石田が3ランホームランを打たれて負け。うーむ、これで Dragons と0.5差。まずいね。明日勝たないと4位転落。まずいぞ。で Tigers vs. Giants は Tigers の勝利。マジックナンバーは減らず。まずは重畳。Tigers が勝つと2位との差が開いてしまうのだが、Giants に勝ってくれるのはOKと、若干複雑な心理状態。まあ素直に Giants が負けたのを喜びましょう。Giants から Marines に移籍して生き返った感のある澤村だが、今日は決勝ホームランを打たれて負け投手に成った。研究されただろうから致し方ない。パ・リーグは Marines に優勝して欲しい。もう Hawks はいい加減いいでしょう。ということで澤村にはまだまだ頑張って欲しい。

学術会議の件だが、総理がとんでもないことをしてくれた。安倍もそうだが、菅も総理大臣が何でも出来ると思っているようだ。そんなことはないぞ。気に食わない決定をしたり発言をしたりしたら即首の挿げ替えとはとんでもないの極み。母校の校歌にも歌われているとおり、「学の独立」。これを守るためにも、自民党はいい加減痛い目を見てもらいたい。とにかく次の選挙では自民党に投票するのはやめましょう。選挙に行ってなかった人は、是非今度は投票に行って、自民党以外の党に入れよう。

アメリカの大統領が新型コロナウィルスに感染したようだ。今までウィルスを馬鹿にするような発言が目立っていたが、少しは改めてくれるだろうか？

今日は天下一品の日だが…

木曜日は楕円曲線のゼミ。今日は j-invarinat が等しければ代数的閉包上で同型になるとかから。その後加法の定義。結合法則の証明が難しく、今週は勘弁してくれ、とのこと。で、加法の明示公式とか x(2P) の公式とかを証明して終了。やや早く、3時前。まあ今日はこちらの調子が悪かったので、いいです。

ゼミ終了後ちょっと仮眠。眠かったので。で6時に起きて野球を見始めるも、まだ何か調子が良くない。で2点取られたこともあって、見るのをやめて横に成る。テレビは付けたまま。今日は先発が中継ぎの武藤で、ブルペンデー。2回の途中から継投に入る。リリーフ陣は調子が良く、その後1点も取られない。が、打つほうが音無しで、独立リーグからNPBに復活した歳内から全く点を取れず。今日も優しい Baystars。歳内にプロ3勝目を献上して、またも借金1。明日からは3位の座を掛けて Dragons と。4位転落だけはならねー。最低限3連戦勝ち越しを。

で野球が終わってから起きた。今日は10月1日。天下一品の日、ということで天下一品へ行く。が、何か様子が変。看板の明かりが消えている。不安なまま前へ行ってみると、「ラーメン無料券の配布は行っておりません」と。コロナのせいだろうか？まあ店には客がいるようだし、食べられるのだろうと思って中へ入ると、「すみません、ラストオーダーの時間を過ぎてますので」と追い返される。うーん、今日は天下一品のラーメンが食べたかったんだが。仕方ないので近くの和食さとへ行って、馬鹿の一つ覚えのロースカツを食べてきた。天下一品は近いうちに行こう。何やら色々キャンペーンはやっているようだし。何よりこってりを食べたい。あのどろっとした奴を食べないと。是非。