一旦9時半過ぎに目が覚めて、お、昼飯をはま寿司で食える、と思ったが、次に目が覚めたのは11時半くらい。駄目だ、弁当を買って食べるしかない、といういつものパターン。シャワー浴びて出発。職場に着いたのは丁度2コマ目が終わったくらいで、弁当売り場は列が出来てた。沢山余ってる方は結構長目の列が出来てたので、あまり残ってないが列の短い方の列で買った。前はどこも500円で売ってたが、今はどこも600円。色々大変なのだろう。釣銭が500円玉でないのは助かるが。新500円玉を使えない自動販売機は今でも結構多い。

食してから1時からの会議に向けて出発。と言っても、パソコンを持って隣の建物の2階に向かっただけだが。今日の会議は2階建てで、最初の30分だけ出席する人とフルに参加する人が混在している。が、最初の30分の会議がちょっと伸びた。難しい話題があって、それに対するお互いの立場での意見が衝突していた。議長が打ち切って、で後半戦に突入。かたやこちらは形式的な議論と「読んでおいてください」的な報告事項が多かったので、そんなに掛からなかったが、物理の先生が貴重な意見を言って、少々掛かった。大事な議論を時間の関係で打ち切って、形式的な話に時間を割く必要あるの？という趣旨。仰る通り。まあその先生は今の委員はしょっちゅうやってて、初めての方や久し振りの方に一から説明するのに時間を使いたい、という議長の仰せもごもっとも。2時40分くらいに終了した。

学科会議は4時50分からなので、大分時間がある。そろそろ「代数学I」の単位認定レポートを作ってアップロードしないといけない。いや、問題がまだ固まっていない。ということで問題を考える作業。いつも3問出題してて、3問思い付いてはいるんだが、2問は全然違うと言えば違うのだが設定が同じだし、聞いてる内容も同じ（違う方法で示せという設定には成ってるが）なので、どうにかしたい。まあ来年もやるんで、メモしておいて来年使えばいいのだが。ということでウダウダやってて、あっと言う間に会議の時間。

今日の学科会議は完全オンライン。1時からの会議が終了後住処に帰る時間はあったが、まあいいかということで個研室から参加。イヤホンはすぐ見付かった。探すのが手間に成らないよう机の一番上の引き出し（開きっ放し）に入れておいたのだった。こちらも2階建てで、前半は学科メンバー全員参加で、後半戦は教授、准教授陣のみ参加。前半も後半も難しい話があった。勿論書けるわけがない話ばかりだが。で案の定長時間掛かって、終わったのは7時くらい。

レポート問題を考えるのは煮詰まってきたので、ちょっと部屋掃除。奥から奥から紙が出てくるので、またばらしてスキャンして。ダウンロード出来るものは pdf ファイルをダウンロードして捨ててなど。まだまだ片付かないが、気長にやる。まあ65歳の春に一生懸命やるんだろうが。今の所に引っ越してくる前も実家を取り壊す前の荷物整理もギリギリまでやってたからな。最後の講義は1月の15日に成る前に終わるから、それから2ヶ月あるので、その時に成ったら一生懸命やります。本棚の整理とかパソコンの廃棄とか、やることは目白押しだ。今はレポートの提出がオンラインに成ってるから、これから先レポートの山が出来ることは無い。試験の答案はすぐ事務に返すし。ということでまあ何とかなるでしょ。7年先のことを今から考えても仕方ない。ちまちまやります。

職場の自動販売機にジハンピ対応の物が幾つかあったのでアプリをスマホにインストールしたが、あっと言う間に無くなってしまった。住処の近くでジハンピが使えるのを2台見付けたので、時々使ってるが。

平良は4失点したイニング以外は抑えたのだが…

今日は資源ゴミの日だったのを思い出して、呑み呑み作業をした。前に色々定期購入していたサプリの類があったが、飲むのを忘れて段々面倒に成り、全部やめたのだが、箱を開けないままになってるのが結構あるので、それをばらして、で中身は木曜日の一般ゴミで出す。段ボールを回収してもらわないといけないので、結構長時間作業をした。で知らん間に寝てた。

昼過ぎに意識が戻ったが、その後もウダウダと寝たり起きたり。呼び鈴が鳴ったので起きた。この前ガスの点検の人が来た旨を書かれた紙がポストに入っていたが、今日再訪すると書いてあった。冷静に成ると、マンションのエントランスに人が来た時の呼び鈴でなく、玄関の呼び鈴だったな。管理人に言えば入れてもらえるのだろう。台所の火をもう何年も使ってないと言ったので、一瞬で済んだ。でその後はのんびりしようということで、録画してあった「歴史探偵」とか幾つか見た。で気付けばもう5時を過ぎてた。まあこれくらい無に過ごす一日があってもいいです。

で野球が始まったが、今日はつまらんかった。平良が序盤からピンチを作りながら凌いでいたが、3回に先制打を打たれた後、打率1割台のリーキー大塚瑠晏（るあん、と読ませるらしい）に3ランホームランを打たれたが、失点は3回だけ。宮崎のソロホームランで1点返したが、結局それだけで、伊藤大海に完投勝ちを許してしまった。むぅ。例の奇跡の大逆転、次の人1試合4ホームラン（1イニング3ホームラン）の後3連敗。ロクでもない。大逆転の日の「プロ野球ニュース」（CS のフジテレビONEで絶賛放送中）の分は録画してあったので見て、スッキリしてからダビングしておいた。またシーズンが終わったら見返してみよう。一昨年 Baystars が日本シリーズを制した時の分も録画してあるので、オフシーズンは現実逃避しよう。いや、ここから逆転のリーグ優勝は無いではない。そうなると嬉しいけど。何か最近 Swallows のキハダが抑えに失敗することが増えて、セ・リーグはロクでもないことに成りそうになってきた。まずいぞ。

昨日書いた通り明日は1時から会議で、夕刻の学科会議は完全オンラインでやると案内が来ていた。職場に行くのにオンラインは勿体ない。折角住処から参加出来るよう USB 接続のマイクを購入したんだが。その際に使うパソコンはちょっとスピーカーから聞こえる音が小さいので、明日職場行ったら個研室に埋もれているイヤホンを探さないと。まあ見付からなければ生協で買えばいいんだが。売ってるよね？無かったら大学の近所のセブンイレブンに行ってみよう。確か売ってたと思うが。今時はコードの付いた奴は売ってないかもな。Bluetooth 接続のコードレスのだとすぐ失くしそうで嫌だな。イヤホン片方の落し物って結構あるらしいから。ま、見付ければいいのです。頑張るぞ。

保険の外交員が部下（娘さんだそうだ）を連れてきた。成績向上に貢献してあげた

大河ドラマは見なかったが、そこそこ遅くまで起きていた。何故かと言うと、y²＝x³－4 の有理整数解をガウスの整数環で考えることにより簡単に出来る、というのを見付けて読んで、で y²＝x³＋4 は y²－4＝(y－2)(y＋2) という分解を使えば出来るん違うの？と思ってしまったので。で途中まではすんなり言ったが、最後に Thue 方程式 X³－2Y³＝±2 の決定をしないといけなくなることが分かってガッカリ。こっちの方がよっぽど難しい。で思い出したのだが、前に y²＝x³＋1 の整数解を決定しようとしたら X³－2Y³＝1 の解の決定が必要に成ったのだった。が、この形の方程式は XY≠0 なる解が高々一組、という有難い定理があるので、X＝1, Y＝1 という解を見付ければ終わり、なのだが。y²＝x³＋1 は x³＋1 が有理数体上の因数分解できるので、階数が0であることが Silverman－Tate の本に出ている方法で示せるのでいいけど、y²＝X³＋4 だとそうはいかない。これの Mordell－Weil 群は <(0,2)>＝C₃ なので、別に整数解だけを決めなくてもいいし、「コンピューターが無いと数学が出来ない輩」という言葉を甘んじて受け入れてるから、気にしないのが正解だが。ということで結構遅くなってしまった。

今日は保険会社の人と1時に会う約束をしていたが、起きたらもう12時半過ぎ。絶対間に合わないので、急いでメッセージを送って、2時からに変更してもらった。でシャワーを浴びてから職場に急いで向かって、2時丁度くらいに個研室に着いた。すぐ保険の外交さんは来た。が、何か様子がおかしい。もう一人いる？と思ったらそうで、最初「部下」と言って名前を言っていたが、苗字が同じ。ん？と思ったら、娘さんだそうだ。親子で同じ会社で同じ部署で同じ立命館担当なのだろうか？主目的は契約内容の確認だと言っていたが、何やらまた一つ契約させられてしまった。書類にお嬢さんの名前が書いてあったので、契約してあげれば成績がアップして嬉しかろう、ということで「契約させられてしまった」とは書いたが、別段嫌ではない。支払いがちょっと増えるくらいなので。でなんだかんだと45分近く掛かってしまった。

賢明な読者はお分かりの通り、食事がまだ。生協に買いに行く時間はちょっと無さそうだが、来るときにウェストウィングの脇に唐揚げ弁当を売ってくれるキッチンカーが停まっているのを確認したので向かう。生協の冷めた唐揚げより揚げ立てだから美味しい。が、ゆっくり食べてる暇は無い。ちゃちゃっと食べて、急いでゼミ室へ向かう。

今日のゼミはまずガウスの補題（原始多項式を掛け合わせてもまた原始多項式というあれ。同じだが、積の容量（内容）が容量の積に成る）を証明して、Z 係数の多項式は Z 上で因数分解出来なかったら Q 上でも因数分解出来ない、という定理の証明をした。学生は教育実習に行くと言ってたから教員志望なのかと思って、念のためそういう定理だから、と言っておく。で合同式の章に入って、簡単な所だからかガンガン進む。まあ「代数学I」のかなり重複してるし、去年「数理科学セミナー」を取ってたら（取ってるかどうか確認しなかったが）凄くお馴染みの所だろう。まあここまでは簡単。次の章では有限体（素体だが）上の曲線、曲面の有理点の勘定をヤコビ和を使ってやるので、急に難しくなるだろう。「数理科学セミナー」の今年の感じでは、多分1年やっても平方剰余はやってないだろうから、初めてのことになるだろうか？大分難しいから、気を引き締めてかからないと。今日みたいにロクに聞きもしないで内職してるようではいかんね。そろそろ真面目に聞くか。で5時近くまでやっていた。

3週間連続で月曜の6時から Zoom でミーティングをやってる。難しい議題があるから仕方ない。当該学部と我々の価値観が違い過ぎてどうしようもない。どこまで強気に出るかを皆さん知恵を出し合っていた。いやそもそも我々に大阪で講義をやってくれというのが土台おかしいわけで、確率・統計を新規でやって欲しいなど無茶苦茶。皆さん異口同音に言う通り、新規でそういうののプロを雇ってもらわないと。で何だ彼だと7時過ぎまで続いた。

それから素イデアルの密度に関することと関連してるヒルベルト理論のことをちょっと勉強して、藤崎先生の本に書いてあるのは基礎体が Q に成っているが、そうでなくても大丈夫、ということを確認してから学生にメールを書いて、それから紙の山を少し低くすべく幾つかスキャンしてから捨てたり。で気付けば9時なので、もう帰ることにした。

昨日甲子園での野球が中止になって、今日代替の試合がある筈だがどうなってるだろう？と見たら、何と今日も中止。交流戦はスケジュールがタイトで、明日からまた6連戦だから、来週の月曜にやるしかないのかな。もしまたぞろ中止に成ったらどうするのだろう？ペナントレースの再開まで数日マージンをとってあるから、そこでやるのだろうけど。ただ、今日は甲子園、明日は東北、明後日は福岡、とか訳の分からないスケジュールに成ってしまう可能性はあるな。ご苦労様です。Baystars は明日からの3連戦はドーム（エスコンフィールド）なので、天候が大荒れとかそういうことでも無い限り中止にはならない。その後は千葉だから、こちらは天候の影響をもろに受ける。天気が悪くならないといいけど、今は梅雨だしな。さっき「報道ステーション」で見てたら、何だか今週は荒れるようなことを言ってたが。6月の日本は大変なのです。

明日は特に用事は無いが、昼来たリマインドメールによると明後日は1時から、対面オンリーの会議があるそうだ。リマインド、ってからには前に一度案内が来てる筈だが、そんなのあったかいな？学科会議もやるそうだ。さっき話し合った結果を受けて、K 先生（≠小生）のリクエストにより行われる。ここ数年の学科会議は対面とオンラインのハイブリッドだったが、今年の学科長はハイブリッドでやらず、対面オンリーもしくはオンラインオンリーでやると言ってたが、どうなるでしょうか？まあどっちでもいいけど。職場に行くのでね。1時からの会議は資料を紙で配ることはしないので、パソコンなりタブレットなり持参せよとの案内だが、持ち運び用のパソコンを持って帰ってくるのを忘れた。会議室に向かって直行が出来ない。少し早目に起きろということだな。1時～3時、という案内だったので、昼飯を食べておかないと大変だ。明日はちょっと早目に寝よう。今晩はまた夜更かし（朝早し？）するつもりだが。大河ドラマを見て、それから他に幾つか見るか、数学をするかのいずれか。数学も気に成ってることが幾つかあるんで。上に書いた不定方程式のこともあるし、Skolem の p-adic method をいい加減勉強するか、と思っているが、どうするでしょう？取り敢えず Mordell の不定方程式の本（紙のものが無いので、仕方なく電子書籍を買った）は開いてある。どうするでしょう？正解は明日。

4失点中2失点が押し出し四球、1点がセーフティースクイズで、負けた気がしない

ふなごやに入ると何か変。どうしてかと思ったら BGM が流れていなかった。何曲でも流し放題の所と契約してるそうで、タブレットを繋いで流しているが、タブレットがいかれたらしい。幸い Uber Eats や出前館の注文を捌くためのもう一台のタブレットがあるので、昨晩はそっちで凌ぐと言ってた。で一組いた客が帰った後は例によって三人で楽しく呑んできた。超寝不足だが寝落ちしなかった。お二人はいつもはどっちかが寝落ちしてしまうことが多いが、昨日は小生も含め誰も寝落ちしなかった。楽しかった。途中から記憶が無いが、払ってる場面は記憶があった。いつもよりちょっと安かった。セブンイレブンで PayPay にチャージした場面も記憶があるが、5000円チャージして1万円投入して、中々お釣りが出てこなくて、ん？と思ったのを覚えている。で出てきた釣りが全て旧1000円札で嬉しい、と思った記憶もある。

で帰ってきてすぐダウンした。流石に超寝不足。が、あまり長時間寝ないで起きてしまった。適当に食事して、まだ野球まで時間があったので、もう一度寝床に戻って、YouTube を見たりして時間潰し。で2時を過ぎていたが、何か起きる気がしない。でうだうだとやっていて、時々スマホで野球のチェック。尾形は今日もいいようで、点を与えない。で3回裏にチャンスを作って、牧が先制の2点タイムリー2ベースヒット。よしよし、ということで起きた。が、起きない方がよかった。4回表に尾形が死球で初めて走者を出し、そこからヒット、四球で満塁にし、押し出し四球で1失点。まあそれで凌いで、5回1失点だからよしとしましょう。問題は7回表に登板したルイーズ。四球、送りバント、外野フライの後、三者連続四球で押し出し。独り相撲で同点にされてしまった。まあその後は宮城が1球で抑えたからいいと思わないと。その後どちらもチャンスを作れず、好守も出たりで11回終了。12回表を抑えて12回裏にサヨナラ勝ちを、と願ったが、12回表に康晃が2失点してしまい、12回裏は走者を二人出すも、蝦名が三球三振で the end。4失点中2点が押し出し四球、1点がセーフティースクイズと、何か負けた気がしないが、仕方ない。筒香も石上も佐野も蝦名もいい守備を見せたし、レイノルズは2回を無失点。収穫はあった。が、木曜日のサヨナラの立役者三森が代走で出たが牽制で刺されたり、宮崎が変な空振りをして三振に成った後何かアピールしていて、キャッチャーミットにバットが当たって打撃妨害を主張するも判定は変わらず、長時間抗議した相川監督が退場宣告されたりと、色々嫌な場面もあった。1か月振りのカード勝ち越しはならなかった。まあ3回裏に点を取って以降点が入らなかったのが問題だ。10安打は打って得点圏に何度か走者は進むも、点が入らなかった攻撃陣に問題がある。残り6試合どうにかしましょう。交流戦はここまで4勝8敗。残り6連勝して貯金2で終わればいいのだ。火曜日から Fighters と、金曜日から Marines とで、いずれも敵地でだが。

あ、勝ち投手は伊藤優輔でプロ初勝利らしい。Baystars はお優しい。根尾にプロ初勝利を献上したり、Eagles に交流戦初勝利をさせてあげたり。伊藤は Giants にドラフト4位で入ったそうだが、その後故障したりで苦労したそうだ。2024年は Giants で8試合、防御率 1.04、去年は Hawks に移籍して5試合で防御率 0.00、今年は11試合登板で防御率 0.73 と、投げれば結果は残してる。今後は頑張ってください。

他の試合の経過を気にしいしい見ていたが、Giants が1点リードしていて、む、と思ったが、中継中に入った情報だと追い付かれていた。ライデル・マルティネスが安田にホームランを打たれたとか。よしよし。で最終的には引き分けで終わっていた。試合後にスマホで仕入れた情報だと、坂本勇人の頭脳的なプレーで併殺に成る筈の所を、1塁を守っている何とかいう外国人がそれを無にするプレーをして走者を残し、その後1点取られたそうだ。こういうことをやってるようでは低迷は続くだろう。まあよそ様の心配をしている暇は無いわけで、Baystars もこのままでは浮上出来ない。頑張れ。

普通の月曜日は2時55分までに職場に行けばいいのだが、明日は保険会社の人と1時に会う約束をしてしまったので、早目に行かないと。二日続けて寝不足だから、今日はちゃんと寝る。大河ドラマは明日見よう。今回はうまくいってたかに見えた播磨攻めが一転窮地に、とい話らしい。竹中半兵衛が倒れるシーンが予告で流れていた。確か半兵衛は播磨攻めの時に陣中で没するんだった。黒田官兵衛が荒木村重に幽閉されて、信長が官兵衛が村重に味方したと思い込み、人質に成っている官兵衛の嫡男（後の黒田長政）を殺せと命じたのを半兵衛が匿った、という逸話があるので、半兵衛が死ぬのはまだちょっと先だろうが。今読んでる文庫本の主人公は竹中半兵衛だが、まだ信長の浅井・朝倉攻めの前。当分掛かるな。まあゆっくり読みます。

スタメンではなかった牧が9回に代打で出てホームラン（負けたが）

結局「エラー」の残り4話を見てしまい、その時点で結構な時間。考えないといけないことがあったが、それの関連で別のことを考えて、ちょっとヒルベルト理論の別のことをちょっと勉強した。学生に読んでもらった所だが、忘れてた。こんなこと成り立つんやね。代数体は標数0だから、ガロア閉包の存在がすぐ示せて、そこにヒルベルト理論を適用すると、ガロアでない拡大でも示せてしまう。面白かった。

で寝床ででウダウダと YouTube を見ていたりしたが、眠くならないな。あっと言う間に12時半を回って、腹が減ったのでカップ麺でも、と思ったらポットが空。つかん。でお湯を沸かして食べ終わって、もう1時半くらい。寝床でウダウダしてたらあっという間に2時。野球の時間だが、寝床で引き続きウダウダ。1回裏に3四球で1点くれたが、その後点が取れなかったのが響いて、あっという間に逆転された。その後全然点が取れない。牧は脚の故障で抹消されていたので、無理はさせられないからか、今日はスタメンから外れていた。やはり牧がいないと点がとれないか、などと思っていたら9回裏に代打で出てきて、何とホームランを打った。やはり牧がいないと。明日はスタメンだろうと解説者が言っていたから、かく願いたい。

でその後ちょっとだけ寝たが、超寝不足であることには違いない。が、やはり土曜日は顔を出しておかないとよくないので、今から呑みに行く。寝落ちするだろうか？案外大丈夫だったりするが。ま、どっちでもいいでしょう。ということで行ってきます。

4ホームラン（1イニング3ホームラン）で8得点と、牧が戻ってくると違う

昨晩も「エラー」を1話見てしまい、寝たのが結構遅かった。で今朝は11時半過ぎまで寝ていた。急いで出掛ける。職場に着いたのは12時半ちょいで、幸い弁当は売ってた。食して後個研室でしばしボーっとして、1時過ぎに講義室へ向けて出発。

金曜日は「代数学I」。既約元だが素元でないものの例を挙げてから、P.I.D.では x≠0 に対し x が素元 ⇔ x が既約元 ⇔ (x) が素イデアル ⇔ (x) が極大イデアル、などを示して、それから P.I.D. は  U.F.D. の「嘘」証明、をやって、Z と K[X]（K は体）が U.F.D. であることを示したら大体時間。次回は既約元分解しておけば g.c.d. は容易に求まる（小学校か中学校で習っている）話をして、ユークリッドの互除法とか整域上の多項式は根の個数が次数以下とかやる予定。今日で9週目が終了。残り4回。本当に時間の経つのが早い。

少し休憩してゼミ。今日は分岐指数とか相対次数とかやって、多項式の分解が最小多項式の分解で分かるというあれをやって。前半はイデアルを延長する話とかやってて退屈だった。途中から真面目に聞いた。やっぱり難しいな。ちゃんと読めてるようなのでいいでしょう。来週はちょっと早目に終わらすと言ってた。教員採用試験が土曜日にあるそうで、それのためだと。教員採用試験って受けたことないが、大変なんだろうな。今日は大体フルに6時過ぎまでゼミをしてたが、疲れる。短時間で済むと嬉しい。

一箇所講義中にノートに変な所というか説明が不足してる所を見付けた。毎年やってるのに何故かミスが残っている。いや、既約元と同伴なら既約元、を示すのだが、小生この手のやつを「自明」とか「演習」とせずにきっちり証明している。が、0でないことと単元でないことの証明が抜けていた。いや、自明だからいいんだが。で直して、演習問題を web に上げるかどうか確認する作業だが、今週の内容だけでは問題が薄い。来週上げずに二回に分けて今週も来週も少しずつ、としてもよいが、まあ来週一括にしよう、ということで。で実際に問題を解きながらチェックしたが、色々忘れてる。秘蔵の代数学の問題集を見ると、証明がいかにも小生の書いたものという風に書いてあるのですぐ分かる。こうやるんだったか。で見てる最中に幾つか問題を思い付いたので、また TeX 化したりとかそんなのをずーっとやってた。で結局いつもの通り9時過ぎまでいた。

途中野球をチラチラと見た。リードしてる。1点先制されたが、すぐ裏に3点取り返して、どうやって取ったのかと見たら昨日復帰した牧が3ランホームラン。牧がいるとやはり違う。勢い付くと止められないのが Baystars 打線で、5回に度会2ラン、ヒュンメル2ラン、松尾ソロで一気に5得点。いいですね。帰る前に見たら終わってて、無事連勝。7連勝だかしてた Hawks を止めた。祐大が出てないな、と思ったら、有鈎骨の疲労骨折とか。古巣とやるのを楽しみにしてたろうに。移籍後は .349、2ホームラン、9打点と活躍していたが。セ・リーグのチームをよく知っているということで、登録抹消するがチームには帯同するらしい。が、やはり出てるのとでは重みが違う。祐大が出てたら今日のようにはいかなかったろう。明日、明後日も勝って、3タテで4連勝といきましょう。

野球の情報を見てびっくりしたのが、Dragons が5連敗していたらしい。交流戦は初戦から4連勝したところまでは意識していたが、そうだったか。今日復帰の岡林がいきなり初球の自打球で悶絶していたそうだが、幸いそのまま出て、で、連敗が止まって5勝5敗に成ったようだ。今年はどこも連勝、連敗するな。Giants は一旦7連勝だかしたが、次の日からすぐ5連敗して、監督はイライラが募っていたかあんなことに成って。で Giants は今日勝って4連勝だと言ってた。差が広がってしまうな。明日は負けろよ。

昨日のゼミでちょっと学生に嘘を言ってしまった。うろ覚えは良くない。藤崎先生の代数的整数論の本を見たら S₃ 拡大の場合の例が出てた。加藤和也、黒川信重、斎藤毅「数論1」に出ている説明は難しくて分からなかった。藤崎先生の本だと基礎体を Q にしてたが、別に Q である必要は無い筈。ガロア群の情報だけが問題だからね。ヒルベルト理論恐るべし。後でもう一度考えて、明日にでもメールしておこう。今日は「エラー」の続きを見るか、早目に寝るかどちらか。早目に寝る、と言って寝たためしはないが。朝型、というのは朝早く起きるひとのことを言うが、朝早くまで起きてるのは朝型ではないんだろう。夜型、というのと朝まで起きてるのは違うと思うが。深夜に成れば成るほど元気が出てくる。勿論無理の出来る年齢ではないので、次の日は一日ほぼ何もしないので、ちゃんと寝て二日に分けて色々やるのがいいのは分かってるけど、夜更かしは子供の頃から大好きなんでね。ま、この後どれくらい眠くなるかによるわ。ということ答え合わせは明日。

8回表終了時点で7点リードされるも、裏に7点取って、9回でサヨナラ勝ち

昨晩はその後「エラー」の2話と3話を見てしまった。で今朝は12時過ぎに漸く起きた。シャワーを浴びて、はま寿司で食事をしてから職場に行くことにして出発。はま寿司には幟が2種類立ってて、大切り銀鮭と鰹。が、鰹がメニューに見当たらないぞ。本日売り切れ、なのか完全に売り切れたか知らないが、食べたかった。でまた例によって2000円強。職場に着いたのは2時20分くらいで、個研室でゆっくりボーっとするほどの時間は無いので、飲み物を買って食堂の隅で飲みながら多少作業。適当な時間に講義室に向かう。

木曜日は「数理科学セミナー」。この前フェルマーの小定理をやったが、節の導入部分を完全に飛ばしていたので、そこをちゃんとやるように言っておいたのでそこから。その後フェルマーの小定理の証明もテキストに書いてあるものを説明させた。まあいいんじゃないでしょうか。1時間くらい掛ったが。その後選手交代で、オイラーの定理の途中まで。YouTube で見てても今日の学生を見てても思うんだが、合同式の (mod m) ってそんなに書くの面倒か？毎回書いても大した手間ではないと思うんだが。小生毎回書いてるよ。人によっては「議論」と書くのも面倒臭いらしく、学生にノートを見せてもらったら、「ギロン」と書いてた。ギロチンに見える。不精はやめましょう。そんなことしてると漢字書けなくなるよ。で途中だがチャイムが鳴ったので、切りのいいところでやめてもらった。

その後ちょっとボーっとしてからゼミ。今日は完全分解する素イデアルの密度とか有限次ガロア拡大が完全分解する素イデアルの全体で特徴付けられるとか。これガロアじゃなくてもいいんじゃなかったか？と思っていたが、調べていかなかった。演習問題に非ガロアな場合はどうか聞かれていたが。調べておく、と言っておく。で解析的な話題は一旦終わりで、これから modulus がどうしたとか Strahl がどうしたとか代数的な話が始まるが、十分予習が出来てないのでご勘弁を、ということで2時間くらいで終了。去り際に円の m 分体で完全分解する素数の密度が 1/φ(m) なのとか2次体で（完全）分解する素イデアルの密度が 1/2 なのとか自然だよね、と言っておく。自然と思えるのはどちらの場合でも分解法則を既に勉強したから。こういうのを聞いて面白いと思えるためには、つまらんかもしれないが基礎訓練をしておかないといけないよね。何故かうちの学科と機械科の合併科目に成ってる「AI・機械学習」というそそられるタイトルのものがあるが、機械科の学生は線形代数をちゃんと勉強してなくて沈没するらしい。この前 YouTube を見てたら、大学1年生が行列習って「は？」、和を習って「は？」、積を習って「え？え？」みたいな動画があった。「こんなの役に立たんだろ」と学生は思っていたが、コメント欄で皆さんお書きになっていたとおり目茶目茶役に立つし超重要だからね。そうは思えないだろうけど。「線形」の大事さが分かるのは大分経ってからだろう。線形代数の講義を行列の計算から始めるのは良し悪しで、何か計算してるけど意味分からん、と成るし、先にベクトル空間からやるのは1回目から学生が沈没しかねないから、ちょっとやる勇気が湧かない。去年だったか基底の変換を念頭に置いて展開した線形代数の本が出たようだが、買ってみようか？うまくいけば暫く線形代数の講義は担当しないで済みそうなのだが、まあ賢くなっておきましょうかね。

で7時前に解放されて、個研室で野球の様子を見ると0－4。…。東が1回表に先頭打者ホームランの後も猛攻を食らって4点取られたようだ。がっくし。もうええわ、ということで、明日の講義で何をやるかをちょっと思い出しておいて、演習問題を考えて、部屋掃除のために紙を幾つかスキャンしたり。会議室に行ったらコピー機が無くなっていてビックリした。生協は最早コピーカードを売り出したり、そのためのコピー機をリースしたりというのはやめたいらしい。この前学科長が言ってたが、学生は学生証で年間3000枚くらいコピー出来るらしい。多分十分過ぎるだろう。今時の学生はコピーしない。何でも写真撮るからね。まあ7階まで1フロア上がれば学科事務室にコピー機があるから。で何枚かスキャンしたらエラーが出るようになった。定かではないのだが、スキャンしたと思しきファイル名のものが沢山あるとスキャン出来なくなるようで、個研室に戻って結合させて不要に成った pdf ファイルを幾つか消してもう一度事務室でスキャンしたら出来るようになった。やはり予想が正しかった。スキャンして結合させたらどんどん消せ、ということだな。それと事務に有隣社の伝票をスキャンして送ったら pdf はすぐ消せ、ともいうことだ。でもう9時を回っていたので、帰ることにした。その前にチラッと野球の様子を見ると、4－7。7点差に成った後に4点取ったようだ。まあ期待しないでおきまひょ、ということで職場を出て、すき家でカルビ丼にホクホクのニンニクを乗せたやつを食べて帰途につく。

10時半過ぎに帰ってきた。個研室を出るちょっと前に雨が降っている音が聞こえて、すき家からの途次も時々雨がちらほら降って、で「報道ステーション」で細川栞さんの言ってるのを聞いていたら、近畿は梅雨入りしたそうだ。早いな。明日の予報には傘マークがあった。数日前の予報では金曜日は大丈夫で土曜が雨と言っていたが。今スマホを見たら、明日の降水確率は80%だが、1時間ごとの予報の所に傘マークが無いのが不思議。傘を持ち歩いた方がいいということだな。その後スポーツコーナー。もう随分前から日本の野球より MLB の結果を詳しくやるようになっている。打者大谷は一時絶不調だったが、昨日の時点で出塁率がリーグ1位になって、今日打率が .300 を越えたそうだ。スイッチが入ると凄いな。今日は投げても無失点で、防御率 0.75 とか。規定投球回数に1足りないそうだが。

で漸く日本の野球。Baystars の試合を中々やってくれない。で始まったので見ると、5－7という状況から伝えてくれた。職場を出た後にもう1点取っていた。で今日から牧が復帰しているそうで、その牧が同点のタイムリーヒット！マジか。で9回裏。画面に映ってるのは神里。期待出来ないか、と何があったか一瞬分からなかったが、ワイルドピッチで三森が2塁から一気にホームを狙って、アウトの判定もタッチを掻い潜っての神スライディング。サヨナラ勝ち！8回表終了時点で7点リードされていたのを8回裏に7点取って一気に追い付いて、9回にサヨナラ勝ちという、嘘みたいな展開。昨日、一昨日の負け方を見て、Facebook 上では「やる気が見えない」とかもっと酷いコメントが相次いでいたが、皆必死にやっているのだ。結果に結び付くか付かないかは時の運もあるし、暖かく見守りましょ、ということでこれで3カード終了で全カード1勝2敗。明日から最後の3カードで逆、もしくはそれ以上を目指しましょう。

週に3日しか職場に行かないから、あっという間に1週間経ってしまう気がする。1日おきに行くともう少し長く感じるのかもしれないが、今は月曜行って、火、水、行かなくて、木、金は行くという変なスケジュールで、しかも月、木は2時55分までに行けばいいという変なスケジュール。秋学期は火曜日に講義があるが、これも2時55分から。その後に教授会があることがあるので、火曜日はゼミを入れられない。火曜日は講義だけのために行くか、それとも終わった後個研室で有意義に時間を使うか、それによってまた変わってくるけど、その時に成ったら考えましょ。秋学期のことを言うと鬼が笑う、てことはないと思うけど。うまく時間を使わないといけないね。