今日はタップリ寝て、11時半過ぎに起きた。シャワーを浴びても弁当を買って食べるくらいの時間はある。が、12時40分くらいに着いてからだともう外では弁当は売ってないことが多い。今日もそう。生協で冷めた唐揚げ弁当を買って食す。
1時から初等整数論のゼミ。今日は先週の積み残しの P.I.D. ⇒ U.F.D. の証明。一意性の証明で両辺の一つ目の素元が同伴であることに成って、約すと単元が一個残る。それの処理をどうするのか聞いてきた。素元×単元がまた素元、というのを説明してあげた。素元の定義はそれが生成する単項イデアルの性質として書かれているので、同伴な元が生成する単項イデアルは等しい、と言えばOK。で何とか済んだ。その後 y2＝x3－2 の有理整数点を決定する話だが、ツッコミどころ満載で、結構掛かった。でその後の演習問題に y2＝x3－8 と y2＝x3－9 の有理整数点を決定する問題が出ているが、時計を見ると4時。4時10分まででは無理だよねということで、ちょっと早目に終了。
その後2、3メールを書いて、線形代数の準備に取り掛かる。基底の存在は先週ちょっと見ておいたので、割と短時間で理解出来た。有限次元の場合の次元の確定も、連立方程式の理論をバッチリやってあるので、そんなに難しくなかった。「有限次元」という言葉を定義してあるので、「無限次元」も出した方がよかろうということでメモっておいて、で連立方程式の解空間の次元を求めるくらいで時間一杯に成るだろうということで、その辺にしておく。行空間と列空間というのがまだよく分かっていないので、来週やる。
途中野球の情報を仕入れる。今日は6時開始だったようで、6時半ごろ見たらもう始まってた。試合開始が6時だったり6時半だったりするのはテレビ局の都合だろうか？1回に1塁2塁、2回に満塁のチャンスを潰すなど、見慣れた状況。3回も1アウト1塁2塁で宮崎が凡退した時は、また駄目かな、と思って少し目を切って数学をしてたら、1点取っていた。今日は筒香を7番に入れていたが、巡り合わせバッチリで、タイムリーヒット。先制した。で4回。チラッと見たタイミングで牧に3ランホームランが飛び出す。Yahoo の速報のページは、ホームランが出ると画面が派手に成る。もう興奮。中四日で先発のジャクソンは、ピンチをちょっと作った程度で、好投を見せた。7回被安打3。四球2、死球1ならジャクソンとしてはいい方。試合の終わるところくらい見たいぞ、ということで、8時半くらいに職場を後にして、ちゃんぽん亭で味噌味のを食べて、一路山科へ。もう8時半を過ぎてると国道1号は混まないので今日も高速道路を使わず帰ってきた。で駐車場で小生の停めるパレットが出てくるのを待ってる間にチラッとスマホを見たら、9回に1点取っていた。よしよし。で部屋に入ってテレビを付けると、7－0に。中川颯が投げてた。もう勝つでしょう、という感じで、すぐに終了。連敗の後3連勝。2敗した晩の Baystars 応援板はぼやく人が沢山いて、「Hawks 強い。一つ勝てれば御の字」みたいな弱気なことを言っている人がいたが、どうしてどうして。Hawks が3つも負けたのっていつ以来だろう？26イニング無得点。打も投も Hawks の方が完全に上で、刃が立たないだろう意見が多かったが。いや、もう一つ勝たないと意味が無い。あと一つ、何としても取らないと。
今日知ったのだが、昨日のケイのプレーボールから4者連続奪三振というのは日本シリーズ初だそうだ。3者連続は過去に何例かあったようだが。杉下茂とか工藤公康とか凄い名前が並んでいるが、それを超えたのは凄い。今日のジャクソンは3者連続だったそうだ。Baystars の投手陣凄いぞ。守備もいいし。昨日は牧が横っ飛びでセンターに抜けそうな当たりを押さえたし、桑原は今日も大ビンキャッチをやったようだ。いいですね。明日1日空いて、で土曜日は雨だと言っていたがどうなのだろうか？今日まで3日間ドームだったが、残り2試合は横浜スタジアムだから、結構な雨が降ったら出来ない。まあそれならそれでいいけど。順延に成って月曜日に決まると途中から観戦に成ってしまうのでちょっとな。まあ26年前のように月曜日に決まるというのも悪くは無いが。あの時は肝心の胴上げのシーンを見てない。上大岡駅に着いた時は9回1アウトで、駅のビジョンに人だかりが出来ていたが、実家は駅から数分だし、試合開始には間に合うだろうと思ったが、金村が併殺打を打って、実家に着く前に試合が終わってしまった。で玄関を上がればすぐテレビがあるが、肩から掛けていたノートパソコンの鞄が落ちて、焦った。でテレビを付けたらもう胴上げが終わっているという状態だった。パレードは祝日に行われたが、科研費の申請調書なんぞというものを書くために職場に行っていて、行っていない。今年は万難を排してでも見に行くぞという気に成ってる。土日のどっちかにやってくれるといいが。浮かれますな。まだ4勝したわけではない。引き続き応援しましょう。
ワールドシリーズは決着が付いたようだ。ヤンキースが1回に3点、2回、3回と1点ずつ取って5点リード。が、ここからひっくり返るのが野球の面白い所。ジャッジは初ホームランで浮かれたか、何でもないフライを落球。その後ショートが悪送球したり、1塁ゴロの時にベースカバーがいなかったりで、5回ドジャースが同点に追い付く、といったとんでもない展開。ヤンキースが再びリードも、ドジャースが犠牲フライ2本で勝ち越し。でそのままドジャースの勝利。大谷も山本もよかったね。まあこっちによってよかったのは、日本シリーズと同日決着に成らなかったこと。Baystars が26年振りに優勝しても、スポーツ新聞の一面は大谷一色だろうからね。舞台は整った。Baystars の日本シリーズ制覇を是非。
日本シリーズが9時半過ぎまでやっていたので、9時からのドラマが9時50分から開始で、こんな時間なのにまだ「報道ステーション」がやってる。「やすとものいたって真剣です」は12時から。「アメトーーク！」は1時20分から。野球に興味の無い人には何とも申し訳ない。野球好きでも嫌いなチームが優勝した時は「特番なんぞやるな！」と言いたくなる。まだ覚えてるぞ。Giants が優勝した時、日テレがとんでもない特番をやり、10時半放送の「進め電波少年」が1時過ぎ開始というとんでもないことがあった。あの時は腹立たしかった。去年の Tigers の特番も長時間だったが、深夜に奥ゆかしくやっていた。Baystars が優勝したら、テレビ神奈川は大騒ぎなんだろうな。神奈川に住んでる人が羨ましい。CS のプロ野球ニュース」を録画するしかないな。記念グッズをどうやって買おう？いや、だからもう1勝しないと意味が無いんだって。浮かれ過ぎないようにしないと。
