レポート問題大体完成

今朝は起きたら11時を結構過ぎていた。急いでシャワーを浴びて出発。職場には12時10分ちょいには着いて、弁当を余裕で買えた。今日のはまあまあ美味しかった。で「代数学I」のレポート問題をちょっと考えるか、と思ったのだが、つい大貧民をやってしまった。終了時点で講義までの時間はあまり無かったので、講義やってゼミが済んでから考えることにして、しばしボーっとしていた。

1時10分から「代数学I」。今日はユークリッドの互除法（一般のユークリッド整域でやった）、ax＋by＝(a,b) の解を求める方法、そして多項式の g.c.d. はどの体の上で考えても変わらない（原始元定理の証明で効力を発揮する）などをやってから、多項式の根の話（整域上だと重複度込みで数えても次数を越えない）とかやって、でついでにウィルソンの定理。素因数を一個も求めなくても素数でないことが分かる、という話をしたかったが、時間切れ。まあ別の機会に話すとして、今日は終了。来週は多項式の既約性の話（原始多項式の積がまた原始多項式とか、Z 上既約だったら Q 上まで行っても既約とか、アイゼンシュタインの判定法とか）をやる。残り4回。大分難しくなってきたね。ただ抽象的な一般論より今週と来週の話の方がむしろ易しい気がするがいかがだろうか？

ちょっと休憩してからゼミ。今日はクンマーの定理（最小多項式の分解で素数の分解が分かるというあれ）の応用例で二次体での素数の分解を分類して、クロネッカー記号がどうしたとかいう話。どうしてああいう定理に成るかが不思議だったようだが、まあ多くの天才が寄ってたかって考えたのだろうから、我々のような凡人や大学院生のような若輩者に分かるわけがないのだ。それと判別式の仮因子があるデデキントの例で2（2が仮因子に成ってる）の分解を決定する問題があったが、分からなかったようだ。藤崎先生の本に出ていると誰かから聞いたようだが、同値類がどうしたとか言ってるのに同値関係を定義してくれないので、調べてもらったが、あれはよく分からない。具体例をいじって理解を深めておいて、と言っておいた。明日教員採用試験があると言ってたな。ということで今日は1時間半掛からずに終わった。まあここまで順調なので、一回くらいは短くてもいいです。

で時間が出来たので、レポートの問題を、と思ったが、時計を見たらまだ生協がやってる時間。前は4時半閉店だったが、講義が4時10分終了で問題は無かった。が、去年から講義が5分伸びたので、4時半講義終了で4時半閉店はけしからん、というわけで去年の秋学期から5時まで試験的に延長営業する、と成っていた。4時45分で営業していたから、正式に5時までになったのだろうか？知らんけど。で買い物をして戻ってきてからレポートの問題作り。こっちに来た時から集めている秘蔵の問題集や普段 web に上げてる（誰も解かないだろうけど）を見て、手頃な問題を見付けた。ちょっと群論を使うか？と思ったが使わなくても出来るので、大丈夫だろう。まあ難しいとは思うが、難しいのを承知で出してるんで。試験をやらないしレポートだし、ということで舐めている学生は一定数いるだろうが、舐めないでくださいね、という趣旨のメッセージを込めてるつもり。最近一部でクラス間、担当者間の評価の差が議論の的に成ってるが、うちの学科だけで一クラスだけのクラスだから、多少無茶苦茶でも問題無い。いや、そんなことをやってると卒研を希望してくれる学生がどんどん減るだろうから、程々にしておかないといけないが。で解答を作り作り問題にミスは無いだろう、という感じに成ったが、住処で頭を冷やしてちゃんと点検してから web に上げることにして、一旦プリントアウトして終了。もう9時を過ぎてた。

最近同じ店でばかり夕飯を食べてるな、と思ったので、最近行ってなかったちゃんぽん亭に行くことにした。あそこはドアを開けっ放しにする輩が多くて嫌だったが、今日行ったらでかでかと「冷房中につき手動で閉めてください」と書かれた紙が貼ってあった。ちゃんと閉まってたが、中には一人しか客はいなかった。その人がちゃんと閉めたのか、店の人が閉めたのか知らんが、まあいいこと。冬場に開け放って帰る奴がいるとムカッとくる。これからはそんなことは無くなるかな。気分が悪くならないとやはり美味しく食べられる。嬉しい。

ドラマの最終回が多い時期に成ってきた。今「探偵！ナイトスクープ」を見てるが、その後は「ザキ山小屋」という短い番組があって、その後のドラマが今晩最終回。酷い筋書きのドラマだったが、つい続きが気に成って毎回見てしまった。桜井日奈子が大分嫌な顔に成ってきたね。「岡山の奇跡」とか呼ばれてたそうだが。どんな結末に成るでしょうか？楽しみなような怖いような。見るぞ。

2時55分から講義なのに起きたら2時過ぎ（間に合ったよ）

ちゃんと寝る、と書いたが、結構な時間まで起きていた。色々気に成るので。最近つくづく思うのだが、素数で割れるか割れないか、とか、整数が立方数である、とかをどうにかしたい時は各素数 p に対応する p 進加法付値を考えるとうまくいく。で前から気に成っていたことをきっちり示せそうなので、考えてしまった次第。上手くいったのでいいが。p 進加法付値は本当に有難い。

で起きたら2時過ぎ。2時55分の講義開始には何とか間に合う。急いで出掛けて、2時50分過ぎに講義室に着いた。危ない。飲み物を買う時間くらいはあったので、買っておいたが、飯は後。今日の「数理科学セミナー」はオイラー関数の乗法性を示す話。そのために Chinese remainder theorem を一番地味な方法で証明した。結構難しかったのか、85分間一人の学生が話していた。でもう10分しか残りが無いので、打ち切りにしてきた。6人しか登録してないので、欠席すると一発で分かる、ということか、一人インフルエンザで一回欠席した学生（事前連絡有）ともう一人の学生が一回欠席してるだけ。小人数でやると大変よね。しょっちゅう順番が回ってくるし。月曜日のゼミは1対1でやってる。毎週予習は大変だろうな。

ちょっと時間があったので、車に荷物を放り込んだ後、生協でざる蕎麦を買って食した。少しのんびりしてからゼミ。

今日は付値の近似定理と、無限素点の定義とか無限素点が分岐するとか。未定義用語があったり、他にも色々な理由で理解するのに苦しんだらしく、結構早く終わった。それでも2時間近くはやったので、まあいいでしょう。ちょっと例を言っておこうと思って話したが、嘘を教えてしまった。まあ来週訂正しておけばいいでしょう。そろそろイデールがどうしたとかそういう話に成るが、この辺は苦手。一回勉強したが、研究には一度も使ったことが無い。類体論はイデアルを用いた定式化の方が使いやすいと思う。定式化するにはイデール類群を用いるのが一番綺麗だが。（イデール群だとちょっと嫌な感じに成る。）少々心しておかないといけない頃だ。頑張ろう。今年は学内の用事があまり無いので色々出来る。有意義に使おう。

で「代数学I」の単位認定レポートをいい加減出題しないといけないな、と思って、この前考えてたのの続きを少々。一問はこれでいいや、という感じに成った。もう一問はちょっと変な設問があるが、まあインターネットで検索してちゃちゃっと済むとか AI に聞けば答えてくれる、とうタイプの頻出問題でないのを混ぜたので、理解力の差が出ていいでしょう。大抵3問出してるが、もう1問をどうにかしたい。まあ最悪2問でもいいけど。昔学生が、定期試験の問題は前半、中盤、後半から1題ずつの計3題出してる先生が多いみたいなことを言ってたので、なるほど、とそれから後はずっとそうしてる。頭数回で理解が追い付かなかった学生や、後ろ数回だけ試験情報を仕入れようと来る学生はいるだろし。まあ小生試験に関するアナウンスは何もしないし、最後数回だけで理解出来るような易しいことはやってないので、後者は試験場で沈没するだろうけど。でなんじゃかんじゃと9時半くらいまで職場にいた。

チラチラと野球のことを気にしていたが、今日も負けで、交流戦初のカード3連敗。東でも駄目だった。救いは今日はセ・リーグが全敗。残り3試合で4勝11敗と、大幅負け越しが決定してしまった。何でパ・リーグこんなに強いかな。Eagles 以外は。Buffaloes の岸田監督が、3タテしたのにゲーム差が縮まらないのは…、というようなことを言ってたそうだ。まあそうだな。セ・リーグは Giants が独り勝ちしてしまっている。どうにかしないと。

明日のゼミは早く終わることを宣言されてたな。じゃあその時間を使ってレポート問題を完成させてしまおうか。完成させても web に上げる方法が分からない。去年までは manaba+R とかいうのを使わされてたが、今年から moodle+R というのに変えられてしまい、まだ使い方がよく分かってない。前に pdf ファイルをまとめて上げておいたら、学生が一番最初のしか見えないと文句を言ってた。一発で上手くいくとは思えない。問題が完成した後も一勝負だな。頑張ろう。問題に不備が無いよう、同時に解答例を考えておいて、レポートの締め切り日の後にアップロードしている。誰も見ないんだろうけど。「解答例」と書いたが、「模範解答」とは書きたくない。「模範」という言葉には「こう答えないと〇にしない」という恐怖のメッセージが込められてるように見えて仕方ない。どこかの大学の話が書いてあったが、高校の先生が入試の「模範解答」を欲しがるそうだが、そんなものを手にするとその解答を金科玉条にして他の解答を考えなくなりそうで嫌だ、というのが大学側の意見。思い出したが、予備校に通ってる時の近くの席の奴が、数学の先生が黒板に書き始めたのと自分が考えてきたのが同じ時は突っ伏してて、そうじゃない時は自分の解答を全力で消しゴムで消して写してたな。数学は良く言われる通り答は一つだが、途中の筋道が何通りもあるのが面白い所だと思うが、そいつは解答を覚えることに血道をあげるタイプだな。下手な解答にもいい所はあるんだが。ということで「模範解答」という言葉を使うのはやめましょう。

Coke ON アプリで飲み物を買えて嬉しかったが、住処のパソコンが勝手に再起動されたことともう一つ超絶不機嫌になる原因が

一旦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台見付けたので、時々使ってるが。ジハンピが使えなくなった所には Coke ON の自販機が置かれたので、Coke On アプリをインストールしたが、どうも上手くいかない。QR コードをスキャンして PayPay で支払うということも出来たんで、そっちを使っていたが、今日漸く Coke On アプリで飲み物が買えた。嬉しい。機械に馬鹿にされ続けたが、制した気がしていい。まあ機械（コンピューター）が無いと数学が出来ない輩なんだが。

ちょっと機械に勝った気がして嬉しかったが、機械に馬鹿にされた。会議中に Windows update の告知があって、更新すべく再起動して、個研室のパソコンも帰り際に電源を落とした Windows update が始まって、で嫌な予感。住処のパソコンが勝手に再起動されているのでは？と思って帰ってきたら、案の定だった。先週の木曜日から有理点を探し続けてまだ結果が出てなかった。明日か明後日には見付かるだろうと思っていたのに。しくしく。今日は他にも気に食わないことがあったので、今若干不機嫌。が、「これ余談なんですけど…」が面白かったのでいいです。武田も北澤もヴェルディの頃は嫌いだったが、当時の話（ワールドカップにカズと北澤が行けなかった話とか）が面白い。もうヴェルディは当時とは違うし、二人とも大分お歳（武田は小生と同い年、北澤は1学年下）なので、思い出話に深みがあっていい。中田英寿に説教喰らった話とか目茶目茶面白かった。別に工夫しなくても駄弁ってるのを流すだけで面白い番組は出来るのだ。まあゲストに依るけど。深夜に30分番組でやってる時から注目していた番組で、人気が出たのは嬉しい。ちょっと機嫌直った。明日は「数理科学セミナー」と M2 の学生とゼミなので、ちょっと間違えると凄く不機嫌に成ってしまいそうだが、大丈夫であることを願おう。今日はちゃんと寝ておく。それくらいはしておかないと。

平良は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回裏に代打で出てきて、何とホームランを打った。やはり牧がいないと。明日はスタメンだろうと解説者が言っていたから、かく願いたい。

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