ロペスが日米両方で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日連続では呑まないんだが、呑み屋に顔を出すのも義務の一つということで、これから呑みに行く。今日は多分激呑みでしょう。健康診断が近付いているので、そろそろ控え目にしよう。まあ今日はいいでしょう。じゃ、行ってきます。