有理点探しは14日と2/3以上掛けて終わった

11時台に目が覚めた。講義は2時55分からだから、もっと寝てもいいのだが。でパソコンの方に目をやる。寝る部屋とリビングの間にはドアがあるのだが、散らかり過ぎてて閉められない。枕の位置と最後に立ち上がった時に椅子がどういう位置に成ったかでパソコンの画面が寝床から見える時がある。すると、寝る前に見たのと違って見える。有理点が見付かったか？と飛び起きる。見付かっていた。嬉しい。約353時間（14と2/3日）。前も書いたが、整数点が無いことを示すのに有理点を求めてる。何とも空しい時間。まあいいです、記録しましょう、と始めると異常事態が。マウスが反応しない。電池切れ？と思って電池を変えるも駄目。こういう時は大抵デバイスを削除してもう一度インストールすればいい。が、削除は出来たが再インストール出来ない。え？え？見るとネット接続も切れてる。無線環境が壊れたか？マウスが駄目でもタッチパッドがあるではないか、と言われるだろうが、キーを打つ時に無駄に反応してしまうので、無効にしてある。有効にしないといけないが、どうやるか皆目思い出せない。しばしすったもんだの末、どうにかタッチパッドが使えるようになった。で急いでコピペして、それから整数点が無いことを確認して。無事に済んでよかった。さて、壊れてるのはマウス？パソコン？こういう時は案外リブート一発で直ることがある。もう有理点探しは済んでるので、再起動をする。で立ち上がってから Wifi を立ち上げ直したり Bluetooth の設定をし直したり。で無事復活した。今はちゃんとこれが打ててるので、大丈夫。やはりこき使いすぎたかな。今晩はゆっくり休んでもらおう。

「徹子の部屋」の途中で住処を出発。時間があるので、南草津の関西みらい銀行で振り込みをして、それからはま寿司へ。はま寿司はいつも京滋バイパスから左折で入るが、今日は銀行に行った関係で国道一号から右折で入った。ちょっと感じが違った。で大体2000円くらい食べて、2時半過ぎくらいに職場に着いた。個研室に寄るほどの時間は無いので、日向でドーピングしながら作戦練り。2時45分過ぎに講義室へ向かう。電気が消えてるところを見ると、前のコマは講義が無いのかな。来週から少し早目に行って、読書でもしながら時間を潰そう。

今日の講義は院生向けの代数的整数論の初歩。代数的数の全体が体をなすこと、代数的整数の全体が環をなすことを証明して、代数的数の全体が代数的数全体のなす環の正体であることを示して、それから整数環の節へ。二次体の整数環を決定。結構難しいよね。それから整基底（整数底）という言葉を定義して、整基底の存在を来週示すと言って、でそのために共役元を定義して云々、というところで時間に成った。来週はノルム、トレース、d_K(t₁,…,t_n) などを定義して、整基底の存在を示す予定。時間があったら多項式の判別式についての補足を軽く。

その後教授会。今日は秋学期初回ということで、新人教員の紹介と、事務の人が異動するので挨拶とか。その後形式的な議事が続いて、5時半くらいには終了した。それから講義資料を直して web に上げる作業だが、直すだけ直して上げるのを忘れていた。後でやる。それからちょっと判別式のことを勉強しないとと思って始める。偉そうに講義はしているのだが、判別式が終結式で求められることをちゃんと勉強したことは無い。いや、終結式の勉強をしたことも無い。佐武一郎先生の本くらいしか終結式の書いた本は知らなかったが、三宅敏恒「線形代数概論」という数年前に出た本に書いてあるのを知っていたので、見てみる。しかし Res(f(X),g(X))＝0 ⇔ f(X), g(X) が共通根を持つ、ということの証明を読もうという勇気が湧かない。学生が恐れおののくのはもっと短い証明で、こんなのは読まないでパスする人が殆どだろうと思うが。数年前の卒研で1頁にも満たない証明を「くそ長い」と言ってる学生がいた。π の超越性の証明を「物凄く長い」と言ってる学生もいた。高校の教科書に出ている公式や定理の証明は殆ど数行で済んでしまうものばかりだからね。三角関数の加法定理の証明でも長い方か。で、まあ、結局、読まなかったんだけど。現実逃避に前にやった終結式の計算をもう一度追いかけてみた。3次式の判別式を求めるくらいで大分勉強した気に成った。2次の項の無いののは何度かやってるが、2次の項もあってモニックじゃない3次式の判別式の計算をやってみよう、とハードディスクにある秘蔵の問題集を見たら、何と前にやったことがあるようだ。忘れていた。でやってみたが、案外大したことなかった。終結式は成分に0が多い行列式を計算すればいいので、まあ3次より次数が大きかったら手でやる気はしないが、3次くらいなら出来る。来週か再来週か、学生には大したことないから、とやるように勧めておこう。

9時過ぎに個研室を後にした。今日はアジフライを食べようということで、松屋と松のやが一緒に成った店に向かう。2尾乗ってるが、大きくて分厚かった。1尾でもいいな。ご飯を小盛にしておいてよかった。学食のしょぼいアジフライとは比較に成らない。勿論学食より大分高いけど。

この10月からビールは値下げ、発泡酒と第三のビールは値上げに成った。でさっきいつもの酒の販売機で買ったら、キリンラガーが230円だったのが220円に成ってた。おぉ。あの販売機は新、旧どちらも1000円札を受け付けてくれない。それをどうにかして欲しいが。100円玉がもう一枚欲しかったので、チェリオの自販機で飲み物を一本購入して酒の販売機の前に戻ると、もう売ってはいけない時間に成っていた。まあいいです。後でファミリーマートにでも行って買い足してくる。明日は学科会議があるとのメールが来ていたので、少な目に、と思うんだが、呑み始めるとつい量が増えてしまう。まあ4時50分からなので、結構遅く（早く）まで起きていても大丈夫だが。ちょっと会議で言っておかないといけないことがあるので、ちゃんと起きるよ。4時半に目覚ましを仕掛けておくと安全だな。

あ、学生にメールを書いて、教務委員関係のことをちょっとやって、作文をしないと。面倒だから呑み呑みやるか。「相席食堂」が終わったらファミリーマートに行く。食料の調達もしないと。面倒くさ。

2時55分からのゼミだけが用事だとつい不摂生してしまう

またしても生産性の低いことを深夜にやってて、あっと言う間に5時。朝のね。腹減ったしどうしようか、と思ったが、「おはよう朝日です」で出演者一同 Tigers のユニフォームを着て大騒ぎしていたので、つい見てしまった。今日の用事は2時55分からのゼミだけなので、いいか、と思いつつ、寝な、とも思いつつ、7時過ぎまで起きてた。マンションの管理人さんに用事があるし、あまり寝ないようにと思って、テレビを消さないでいた。午前中に管理人さんに会いに行こうと思っていたが、寝たり起きたりを繰り返し、気付けば昼近く。食べ物のストックが何も無いので、Uber Eats にすき家メニューで、寝不足だしいつものニンニクタップリので精を付けよう、と思ったが、管理人さんと至近距離で話すから考え直して鰻丼にした。で1時30分過ぎに話に行って、でトラブっていたことはどうやら解決したっぽい。ということで職場へ向けて出発。

今日のゼミは二次体（と言っても Q(√(－1)) と Q(√(－2)) だけだが）で素数がどう分解するかがルジャンドル記号を見れば分かるという話と、それの応用として x²＋y²、x²＋2y² の形で表せる素数の決定など。P.I.D. は U.F.D. で、その時は素元と既約元が同じ物などを準備してあったので、スムーズに進む。途中までは内職していたが、途中から真面目に聞いた。が、特に突っ込むことはしなかった。一人だし。類数が1より大きいのをやる時は、テキストに出ているいつもの二通りに既約元分解出来る例以外に三通りに分解出来たり、分解の仕方では square-free みたいな顔をしているが別の分解だと3乗数だったりする例とか教えてあげよう。5時くらいに終了。

その後部屋でちょっと雑用をし、数学をちょっとだけ考えてから、7時くらいに帰宅。寝不足だから、ゼミ前もゼミ後も帰宅直前もドーピングしておいた。前も書いたが、幸い運転中に眠くなったことはない。まあ高速道路を12km程度運転するだけだし、適度に混んでいる状況だから、運転中は気は張ってるよ。7時40分くらいに帰宅。

テレビを付けると当然6チャンネルに成ってるわけだが、何を放送してるかと思ったらサッカーのキリンカップの決勝戦をやってた。それよりも昨日の大河ドラマを見たかったので、そっちにした。史実を無視してるとか、殿様が一商人とタッグを組んであんなことはせんさ、とか、あんな単純にはいかんよ、などの否定的な意見はあるが、まあ単純で面白くていいんじゃないでしょうか？というのが小生の感想。同様の意見を言ってる肯定派もいるんでね。ドラマですから。実在の人物を使ったフィクションなのでね。史実、とは言うが、それは後の資料とかから後の人が考えたことなのでね。画像、音声が残ってるわけじゃないし、いいのでは、と思う。

見終わった後もまだサッカーはやってた。1－1で後半戦に突入、というところだったが、見なくてもいいか、などと思ってたら日本が勝ち越した。まあ見なくてもいいや、というのは変わらないので、寝床でスマホをいじりながらウダウダしながらテレビの音声だけ聞いていた。もう1点取って、優勝したようだ。そのままちょっと寝落ちしたり起きたりを繰り返して、気付けば11時半を過ぎてたので起き上がってこれを書いてる。書き掛けでも投稿すれば10月5日と日付が登録されるので、一旦そうしてから現在続きを書いてる。今「爆踊！亜バンギャルディ 昭和歌謡の宴」をやってるが、早見優、高音が出なくなったな。もっと歌は上手かった筈だが。まあ仕方ないか、1か月くらい前に60に成ったんだし。やけに詳しいなって？一応ファンですから。早見優のCDは結構持ってる。人気が下火に成ってきた頃に、アイドル歌謡をやめて、得意の英語を活かしてユーロビートに乗せて歌ってるのが格好良くてCD買い始めた。そうして歌ったドイツ人歌手（名前失念）の歌のカバー曲「ハートは戻らない」は久々のベスト10ヒットだったらしい。この前知った。この後は堀ちえみが出てくるが、舌癌をやって舌を結構切った筈だから、歌えるんだろうか？今喋ってる映像が流れているが、やはり喋るのが大変そう。歌えるんでしょうか？と思ったら歌い始めた。案外ちゃんと歌えてる。舌の使い方が違うのかな？

明日は講義がある。と言っても今日と同じく2時55分からなので、タップリ寝られる。ちゃんと寝よう。プロレスが終わったら3時半に成ってしまうが、見ようか？「くりぃむナンタラ」が1時45分くらいにおわるが、そこからプロレスが終わるまで長いぞ。最近プロレス面白くないから、早いとこ寝るか。

二日酔いチームに12安打2得点と辛くも勝って、Tigers とのゲーム差が10未満であることが確定

ふなごやに着くと、店長が Uber Eats だか出前館だかから注文のあった料理を脇に置き、スマホに見入っていた。野球の状況を見ていると言ってた。この状況で料理を注文しては申し訳ないということで、野球の決着が付くまでお互いのスマホに注目して、時々雑談。9回裏2アウトに成ったところで二人で「あと一球！」を連呼した。で無事 Tigers が優勝を決めた。よかった。Giants の優勝だけは嫌だったし、昨日の勝ちで Baystars のシーズン勝率5割以上が確定し、更に今日の Tigers 戦で目の前で胴上げされることも無くなった。嬉しい。その後料理を作ってもらって食べて、祝杯。店長はスマホで色々調べていたが、関西のテレビ局の特番で一番早いのはサンテレビの10時13分開始、とかファンが「胴上げ投手は浜地」と言ってたり、広島駅に「今晩の阪神の選手の新幹線での移動はありません」と掲示が出ているのか、色々教えてくれた。バイトの人はアジア大会のバレーボールの結果を見てから来たそうで、「優勝おめでとう！」と言ったらバレーボールは優勝出来なかったので、複雑な表情をしていた。その後呑み呑み話題があっち行ったりこっち行ったりしたが、何か理由を付けては Tigers の優勝の話に収束していった。まあよかったです。おめでとう。岡田はんですら出来なかった連覇だ。藤川球児監督は球団史に名を残せてよかったね。

で例によって記憶が無いまま帰ってきた。優勝特番の録画は出来なかったが、CS のフジテレビチャンネル2でやってる「プロ野球ニュース」を録画して寝た。で夕刻に起きて、見た。普通優勝が決まると、オープニングの前に優勝決定のシーンが流れるんだが、それは試合に勝って優勝を決めた時。昨日の決まり方では普通に番組を始めざるを得なかったようだ。で番組も割と淡々と進んで、優勝が決まったことも地味に話しただけ。まあ優勝会見とビールかけをちょっと流していたが。フジテレビ系のチャンネルなので、関テレの「はちえもん」を被っている女性レポーターが映っていた。

6時から Baystars の今シーズン最終戦があった。上に書いた通り Tigers と横浜スタジアムで。今日勝つか引き分けで Tigers との最終のゲーム差が10未満に成るのが確定するので、t大事な試合。二日酔いのチーム相手に負けることはなかろう、と思って見ていると、1回裏に早速1得点。が、フラフラの伊藤将司から点を取れない。二番手以降の投手からも何度もチャンスを作るが、肝心の所で点が取れない。4回に横浜スタジアムでの打率のいい大山にタイムリーヒットを打たれ追い付かれる。平良は6回を被安打2、1失点だが勝ち投手に成れず、キャリアハイの6勝は今年もお預け。でそのまま延長戦に。11回裏1アウトから牧がバットを折られるも、ライトのライン付近にポトリ。筒香が四球を選び1、2塁。エンカーナシオンもどん詰まりの当たりだったが、これがライトの前に落ちて、牧が生還してサヨナラ勝ち。よかった。これで貯金2、Tigers とのゲーム差も10未満が確定した。よかった。二日酔いチームから12安打で2点とは何ともな結果だが、まあいいです。これで3年連続71勝。Tigers は77勝、Giants は76勝。もうちょっと勝てば優勝に手が届くな。7月以降の戦い方を最初から出来ればな。まあ来年のことより CS のことを考えてください。貯金2、ファームが優勝と、2年前とよく似てる。日本シリーズ勝てるな。安心理論という奴だ。ちょっと前に「Tigers が優勝で Giants が2位、ということは無かったから、Tigers の優勝は0%」と書いてる人がいた。Giants ファンの安心理論だな。ま、土曜日まで Baystars は試合が無いので、5日間ゆっくり過ごしましょ。

いいことばかりだといいが、そうでもないこともある。2週間前の深夜3時過ぎに始めた有理点探しがまだ終わってない。Cohen の本に解説があるというのでちょっと見たが、難しそうでちゃんと見てない。結構複雑な計算をしているようだ。まあ気長に待ちます。Windows update に邪魔されないといいけど。

Tigers は自力で優勝出来なかったが、只今マジック対象チームの Giants が3点負けてる状態

木曜から金曜に掛けての晩は少々寝不足だったので、昨日は「ザキ山小屋 別館」が終わった後寝床に入ったが、寝たり起きたりでちゃんと寝られない。腹が減ったので、もう6時くらいには起きてしまった。映画を昼過ぎに見に行くつもりでいたが、寝不足だし映画の最中に眠くなったら嫌だな、というところで閃いた。今日は2時から Carp vs. Tigers があって、Tigers が勝てば優勝決定。よし、優勝決定のシーンを見よう、映画はまた今度、ということにした。で一昨日の「ゴチバトル」を見たり、ハードディスクレコーダーだ見ていると便利なのが、見ながらダビング出来る。VHS 時代では考えられない。ということで裏でダビングをして、ハードディスクに少々の余裕が出来た。すき家メニューを出前でとって食べて、と臨戦態勢。

2時前にチャンネルを J SPORTS 1 に合わせて観戦開始。才木はやってくれる、と信じたが、先制されてしまう。が、すぐ坂本のソロホームランと佐藤輝明の3ランホームランで引っくり返したが、すぐ裏に末包に3ランホームランを打たれて追い付かれてしまう。むぅ。才木は球数が多くてよくなかったな。早目に引っ込んでしまった。その後両チームのリリーフ陣が抑えていたが、8回裏にドリスが1点取られ、なお走者を2人残して降板。代わった石井も走者を返してしまい、8回裏終了時点で Carp が2点リード。9回表に Tigers が2アウト2、3塁のチャンスを作ったが、近本が凡退でゲームセット。今日目の前で胴上げされると3年連続だったとか。本拠地最終戦だし、Carp も必死だったな。Giants 4連戦で3勝1敗とか、この前は Baystars に勝ったりとか、最後に来て Carp が意地を見せてる。4位が掛かってるからね。最下位に落ちてから妙に強くなったな。来年も新井監督は続投のようだが、まあ来年に繋がるシーズン終盤にするのは大事でしょう。ということで Tigers は残念でした。

Giants vs. Baystars が6時からで、まだ30分くらいあったので、シャワーを浴びておくことにした。もうちょっと早く Tigers が負けてたら銀行に行きたかったが、ちょっと時間が無い。ということで今度は Baystars を応援。Tigers への援護射撃もあるし、シーズン5割以上が掛かってるから Baystars も必死よ。Giants の先発は Baystars を特にしている井上温大。ずっと連敗してたし、今年やっと一つ勝ったが、その試合も1－0と、相川監督も言ってたが全然打ち崩せていない。今日も苦戦。4回に1点取られたところで不愉快だから銀行にお金を卸しに行く。早く帰りたくないので、関西みらい銀行ではなく足を延ばして京都銀行まで行った。いつもの通り一部両替にして1000円札10枚を手にしたが、一枚が旧1000円札だった。ウェストウィング1階の自販機は全部新札対応に成ったし、いつも酒を買ってる自販機は旧札っすら受け付けないという謎な機械なので、もう旧1000円札を集めなくてもいいか、という感じだが、まあいいです。で帰り着いて見ると、まだ0－1だった。島田が引き続き投げていたが、2塁走者は井上温大。ロクでもないことに成らないといいが、と思って見ていたら、何とか抑えてくれた。島田は5回1失点ならまず合格でしょう。中畑氏曰く CS でも十分戦力になりそう、とのこと。が、6回から登板の尾形が丸にソロホームランを打たれて2点差。むぅ。が、今日は中畑氏が預言者で、井上温大がベンチでコーチと握手している映像が映って、それは交代を意味するのだが、中畑氏が「今日の温大は変えちゃダメ」と言ってたら Baystars にチャンスが巡ってきて、中川が走者を2人出しノーアウト2、3塁。筒香を抑えたところで中川から堀田に交代したが、「中川を代えない方がいい」と中畑氏。エンカーナシオンは凡退したが、宮崎がストレートのフォアボールを選んで満塁。そこから代打佐野の2点タイムリーヒットで同点、古市タイムリーヒットで勝ち越し、船迫（読めます？）に交代した後成瀬がタイムリーヒットで2点差。よしよし。7回に中川虎大がピンチを作るも無失点に抑えた。で8回に1アウトから牧が四球で出た後、筒香の2ベースヒットで牧が1塁から長躯ホームイン。3点差。さああと2イニング抑えれば Tigers の優勝だ。今日は優勝が決まったら ABC で優勝特番だと言ってたし、他局でもやるだろう。が、今は番組表から選んで録画予約するように成ってるから、番組表が差し替えられる前だと「はだかんぼうたち」とかいうアニメを録画することになってしまい、優勝特番に番組が変わると、「はだかんぼうたち」を録画出来ませんでした、というメッセージを残して何も録画されてない状態に成ってしまう。特番は諦めるか。何しろそろそろ呑みに行かないと店を閉められてしまう。Tigers の優勝を祝して呑むつもりなので、行かないと。今8回裏で Baystars が3点リード。さあどうなるでしょう。「詳細はコメント欄で」などとつまらん YouTube の動画みたいなことは言わないが、明日書くか、帰ってきてから書くか。いずれにせよそろそろ出発します。

「代数学II」は今日から

金曜日は1時10分から講義なので、職場で弁当を買って食べられるくらいの余裕を持って起きないと、思ったが、今日はもっと早く目が覚めてしまった。昨晩も遅かったんだが。うな松に寄れるくらいの余裕があったので、いつもの一本鰻にしようと向かう。11時を結構過ぎていたが、入った時から食べ終わる時まで他の客がいない状態だった。美味かった。財布の中を見ると、1万円札が一枚も無く、新1000円札も一枚も無い。が、貯めに貯めた旧千円札（この前也で見せたら哲也が「何枚あんの？」と呆れて数え始めていたが、52枚もあった）で払ってきた。明日銀行で金を卸すが、また「一部両替」の釦を押してしまうだろうから、新千円札が10枚補充されるな。

12時前に職場に職場に着いて、しばしぼーっとする。「代数学II」は初回だから、あまり難しいことはしないし。気楽に構える。

で1時10分のちょい前に講義室に向かって、で入ってみると案の定学生が少ない。想定内だが。時間少し前に黒板に卒研ガイダンスが近々ある旨書いたら、案の定黒板を写真で写す学生がいた。で時間に成ったら即開始。何をやるかちょっと話して、それから単位のことや何やら話して、間髪を入れずに開始。まずベクトル空間についてザーッと復習。いや、任意の体上のベクトル空間は知らないだろう。それと体の拡大があったら上の体が下の体上のベクトル空間とみなせることをちゃんと話しておかないと。赴任して最初の数回はその辺をちゃんとしなくて、よろしくないな、と思って、数回目からちゃんとその辺も話すことにした。つまらなかろうな。講義中に何度も後方の出入り口を開け閉めする音が聞こえたが、初回で嫌に成って逃げ出した学生がいるのかもな。で最後10分くらいで体の拡大の次数とか基底とか話して、拡大次数は1以上、というところで時間に成った。来週は拡大次数が1ってどういうこと？という辺りから始める。[L：K]＝[L：M][M:K] とか色々基礎的なことをその後にやる予定。

その後ちょっと休憩してゼミ。今日はミンコフスキーの一連の理論について。体積の計算が出来てると仮定して、判別式の下からの評価とか与えられた数を判別式に持つ代数体が有限個しかないとか。ちょっと面白かったのが、不等式を示す所で、「≧ じゃなくて ＞ だと思うんですけど」と言い出したこと。≧ は「でかい、もしくは等しい」だから、問題無い、と言っておく。夏休みに twitter を見てたら、≧ を示した後は等号が成立するのを確認すべきか否かで結構揉めてた。「greater than or equal to」だから確認する必要は無いのだが、最小値を求める問題と混同している人々は等号が成立するかどうか確かめないといけないと主張して譲らなかった。その後嫌に成って見てないが、決着はついたのでしょうか？ああいう場所での議論は顔が見えないしどんどん感情的に成ってくるので、最後はただの罵り合いに成る。人格を否定する発言もバンバン飛び出す。冷静にならないとね。

その後部屋でちょっとごちゃごちゃと。演習問題を moodle＋R に上げたり、来週のことをちょっと考えたり。宿題が二つあるのを忘れていた。急ぎでないので、後でやるか明日やるか。明日は映画を見に行こうという気に成ってるので、あまり遅く（早く？）までは起きていたくない。程々にしよう。一つは別に日曜日以降でもいいようなので。

ゼミが終わったのは6時ちょい前だったが、その後野球のことを思い出して見る。今日のセ・リーグは Swallows vs. Giants だけ。Giants が1点先制していたが、帰り際に見たら Swallows が2点リードに状況が変わっていた。よしよし。すき家でビーフカレーを食べて帰ってきて「報道ステーション」を見たら、5－1 で Giants 負けた！よしよし。これで Tigers のマジックナンバーは1。明日 Tigers はデーゲーム、Giants はナイター。昼勝って自力で胴上げを決めると分かり易くていいですな。Giants の相手は Baystars なので、昼 Tigers が負けても Baystars が勝つ（断言！）ので Tigers の胴上げは決まるのだが。明日は楽しく呑めるぞ。

Tigers vs. Giants の最終戦は5時間を超える激闘の末引き分け（マジックナンバーは2に減った）

昨日書いた通り今日は夕刻の6時半からの用事が全ての用事。まあそんなに遅くなく起きるさ、というつもりだったが、やはり不摂生が祟り、中々起きられなかった。何も食べないわけにもいくまい、ということで小さめのカップ麺をすすって、のつもりだったが、大蒜の風味の強いやつのようなので、大きい方にした。これだとそんなでもなかろう、ということで。で食べ終わってからシャワーを浴びて、5時半前に出発。凄い時間に出掛けたもんだ。

で職場に6時前に着いた。これくらいの時間だと事務の人も含め結構帰宅してるから、ウェストウィングの滅茶苦茶近くに停められる。で個研室でちょっと二次体の整数環を決定するのの証明を読んで時間潰し。山崎隆雄さんの本には Q(√(－d)) で d が square-free な自然数かつ d≡1,2 (mod 4) の場合は詳しく出てるが、d≡3 (mod 4) の場合は証明が出ていないので、学生がやり始めた時に突っ込みポイントが分かってないといけないので、考えておこう、ということで。何度も読んでるから、結構簡単に理解出来た。もうすぐ大学院の講義でもやるしね。丁度いい時間潰しだった。

で6時半前に4階まで下りて詰め所に行って、半から仕事。制御が専門の人の話を聞いた。あまりよく分からないが、熱心そうでいい人。一通り済んだ後ちょっと会議があったが、成程そこに目を付けますか、ということが幾つかあったが、まあ無事終了。ちょっと作文をしないといけないので、資料を貰ってきた。これからやるか、はたまた明日やるか、気乗りの具合次第。

個研室を出る前に野球の様子をちょっと見たが、1回裏に Tigers が無死満塁の大チャンスを作るも、4階で見た時は点が入ってなかった。佐藤が三振、大山が併殺打という展開だったようだ。用事が済んでから見ると1－1に成ってた。Tigers は大分拙い攻撃をしているようで、2回裏は無死1、3塁を活かせず無得点、3回裏は1死2、3塁で外野フライも森下が本塁でアウト。そうこうしてる内にロクでもないことが起きて、4回表に Giants が1点先制。がその後の満塁のピンチは抑えた。Tigers は4回裏も2死2、3塁のチャンス（村上の二塁打でチャンスが広がった）も近本が打ち取られ無得点。が、6回裏にここまで2併殺だった大山がホームランを打ち同点に。が、7回裏も1死1、2塁から佐藤、大山が打ち取られ無得点。するとまたロクでもないことが起きて、8回表に Giants に勝ち越されてしまう。むぅ。決着を見ずに9時半くらいに職場を後にした。

夜は大分涼しくなってきた。久し振りにちゃんぽん亭に寄ることにした。出入口をきちんと閉めない客が多いのが嫌なのだが、店も対策したのか、「冷房中」とでかでかと書いた紙が貼ってあって、更に「手動で閉めてください」と書かれた紙も貼ってあった。が、やはりまだ阿呆はいて、小生の少し後に入ってきた大学生風の客がドアを閉めないので、露骨に不機嫌な顔をして閉めた。すると「あ、すみません」と言ってたから、まあいいでしょう。彼は次からは大丈夫な筈。その後数組帰っていったが、皆きちんと閉めてた。冬場に開けっ放しにする輩が出ないように、もう少し教育をしてもらわないと。

10時半くらいに帰宅した。野球の結果が気に成るが、スマホも見ずパソコンも見ずに、「報道ステーション」のスポーツコーナーを待った。CM 前に延長戦に成ったようなことが画面に出てて、ライデル・マルティネスと大山が映っていた。CM が明けて結果を見ると、9回裏2アウト2、3塁という場面から大山が同点打を打ったようだ。大山は併殺打も打ってるがホームランも同点のタイムリーヒットも打ってる。3割打てば上出来、得点圏打率は3割2分くらいあるとチャンスに強いと言われる競技。今日の大山は充分合格だ。「結果」と書いたが、試合はまだ続いてるとのことで、「結果」ではなかった。で暫くしてパソコンで速報を見ると、引き分けたようだ。岩崎が派手にガッツポーズをしたりとか、まだ本調子ではない石井が三者凡退で抑えたりと、Tigers にとっては収穫だったな。ゲーム差は2のままだが、マジックナンバーは一つ減って2。明日2日は Tigers は試合が無く、Giants は Swallows と。明後日3日は Tigers は Carp と、Giants は Baystars と。ということで一番早い優勝決定日は10月3日。明日広島に移動中に優勝が決まるとか成らなくてよかったな。明後日は Baystars は何が何でも援護射撃しないと。いや、Baystars のシーズン5割以上が掛かってるし、首位との10ゲーム差以内も掛かってる。援護射撃でなくても勝たないと。

明日は1時10分から「代数学II」。出席者は少なかろうな。それでも一生懸命やるよ。出席者は1人でも、真面目に聞いてくれれば当然やる。いや、真面目に聞いてなくてもきちんと形式は保つよ。仕事だからね。誰も部屋にいなかったら30分待って帰るけど。その後ゼミがあるので、住処には帰れないけどね。今年度はゼミが3つあるが、一人、一人、二人と少数精鋭。春学期は全部一番狭いゼミ室でやってたけど、秋学期は一つだけちょっと大きい部屋でやることに成ってしまった。前も書いたがゼミ室足りないよ。もっと部屋をくれるよう、学科として訴え続けないといけないね。

高橋遥人が16勝目（Tigers では井川慶以来）でマジックナンバーは3に減った

結局昨晩は山崎さんにメールしなかった。考えてたことがうまくいかなかったので。それ以外にももう一件伝えたいことがあったのをさっき思い出した。後でメールする。酒だけはちゃんと呑んで、で結構な時間まで起きてた。

何か Windows Update をしたがってそうな不吉なメッセージがパソコンから出てたが、パソコンがリブートされた、と成って焦ったのは夢の中だった。先週の日曜日（9月20日ね）からやってる有理点探しが無駄な時間に成らなくてよかった。まだ続いてる。早く終わって欲しい。

7時から水曜なのに「Qさま！！」がある。が、録画しておいて後で見ることにして、Tigers vs. Swallows がある（セ・リーグ唯一の試合）ので、そっちを見ることにした。スマホでちらっと見たら1－0だったが、見たら2－0に成ってた。その後 Tigers が着々と点を重ね、5－0で勝利。7回に高橋遥人が自らタイムリーヒットを打ち3点差にして、8回は佐藤輝明が2ランホームランを打ち5点差とするなど、いい試合運びだった。高橋遥人は8回無失点で16勝目。Tigers の投手で16勝したのは井川慶以来だとか言ってた。佐藤は長打80本と言ってたが、もうちょっとで初の40ホームラン40二塁打の快記録を達成する。そうなると面白いね。マジックナンバーは3に成り、明日 Giants と最後の直接対決。Tigers が勝てばいよいよマジックナンバー1に成る。そうなったら決まりだろうな。昨日の Giants の結果いかんでは明日の直接対決で甲子園で胴上げに成るところだったが、それがならないのはちょっと残念。土曜日に Giants vs. Baystars があるが、そこは全力で勝たないと。シーズンの勝率5割が掛かってるし、Tigers に援護射撃をしないと。

ニュースを見てたら、東京は35日連続で降水が記録されたとか。9月は毎日雨だったということだ。それと西武渋谷店が閉店のニュース。同じ西武グループの西友山科店の閉店は勿論ニュースに成らない。小生にとってはそっちの方が大きなニュースだが。山科で住処を探している時にちょっと足を延ばして西友を見付けて、1階の入り口前で CD のワゴンセールをやってたので石川よしひろの CD を買って、駅の方まで歩いて戻って、ラクトの一階の酒屋で日本酒の量り売りをやってたのを買って、で三条京阪のホテルへ戻ろう、と途中で肩から鞄がずり落ちて酒瓶ピンチ。が、CD が守ってくれた。酒瓶は無事で、CD のケースが割れた。助かったので、ホテルで酒を呑み始めてしまい、四合瓶を呑み干してしまった。次の日二日酔いモードで実家へ帰ったのを思い出す。その後車の免許を取ってから職場の帰りによく寄るようになった。クレジットカードで買うと毎日5%引きと太っ腹なことをやってくれていたので。が、そのサービスが無くなり、クレジットカードも年会費の高い物に変わってしまい解約して、とんと行かなくなってしまった。それでも安かったからもっと行ってあげればよかったな。食堂も終わりが近付いて慌てて行ったが、もっと通ってもっと海老クリームコロッケを食べたかった。もう閉店時間を過ぎてる。閉店の瞬間を見に行けばよかったかな。西武渋谷店のシャッターが下りるのを沢山の人が見ている映像があったが、西友山科店はどうだっただろうか？西友のすぐ南に大きな団地があるが、そこの人達は明日から不便だろうな。ふなごやにその近くに住んでる人が来てたが、車の免許を持ってないそうで、マツヤスーパーにはちと遠いので不便と言ってた。地元の大売り店が無くなると悲しいよね。小生の実家の近くのダイエーが閉まった時のことを思い出す。幸い小生の実家は山科より遥かに便利な所で、ダイエーに行くよりも近くに店がいくらでもあった。まあ山科は便利な方よ。車乗ってて滋賀の田舎で「〇〇まで15km」とか書いてあるのを見た時は、ああ成程、と思ったが。ま、寂しくはなるわ。

明日は夕刻から他の学科の仕事の手伝いがあって、それが終わるのは8時くらいらしい。Tigers が Giants を叩きのめすのを見られないな。経過にやきもきしながら働く必要がある。途中でスマホを見たりとか不埒なことは出来ない。解放された時に Tigers が大量リードしてますように。