レイノルズ、康晃で3点のリードを守れず、無念の引き分け。成瀬、林はよくやった

結局プロレスは見た。セレッソ大阪の応援番組と韓国ドラマの時間は、NHK BS でやってる「英雄たちの選択」を録画してあったのを見た。竹中半兵衛を取り上げた回で、大河ドラマに半兵衛出てるし、今読んでる文庫本がまさに竹中半兵衛を主役としたものだから興味深い。その本は笹沢佐保が時代小説を書いてる珍しい本。まだ稲葉山城の乗っ取りの前だから、序盤も序盤。面白かった。でその後ちょっと計算を仕掛けて寝た。

で起きたら2時ちょい前で、野球が始まる時間。東だからやってくれる、と見始めるも、2回に祐大が送りバントを処理して3塁で刺せそうと思って慌てたか悪送球。1回に好守を見せた度会がクッションボールの処理を誤り、走者を3塁に進めてしまい、矢野にタイムリーヒットで返されてしまい2失点。まあ仕方ない。Carp の先発は床田。今シーズンは良くないので、逆転出来るさ、と見ていたら案の定。4回にルーキー成瀬脩人が満塁の走者一掃のタイムリー2ベースヒットを打ち逆転。プロ初打点だそうだ。よくやった。6回には肉体改造中の林がどでかい2ランホームランを打ち3点差。もういけるっしょ、という感じ。7回は中川虎大がぴしゃり。が、その後がいけない。8回レイノルズが簡単に2アウトを取ったが、そこから3連打で2失点。9回は康晃が持丸にプロ初ホームランを許してしまい同点に。むぅ。10回はルイーズが抑え、11回は坂本が2アウト満塁のピンチを作るも無失点。12回は吉野が三者連続奪三振。が、攻撃陣に当たりが出ず、無念の引き分け。まあ  Carp 戦の負けなしは続いている。Giants が勝ってしまったので0.5ゲーム差開いたが、まあいいです。明日勝てば9連戦を5勝3敗1分で終わる。勝ちましょう。

昨日マウスの様子がおかしいと書いたが、そうしたら何か普通に使えるようになってきた。が、時々おかしいことがあるので、やはり新しいのを買うことにした。寝癖ボーボーなので、シャワーを浴びて直してから買いに出る。Joshin だと車で行かないといけないが、DCM なら歩いて数分。で適当な Bluetooth 接続のマウスが二つあったが、単4電池で使える奴がよかろうと、安いほうのを買ってきた。ELECOM の商品だから、変なものではなかろう。前野は Digio とかいうあまり知らないメーカーの物で、電池を変えるのに上をはずさないといけないのがおかしくなってきた原因の一つだろうからな。箱を見ると凄く小さいのではという気がしたが、帰ってきて箱を開けてみると前のよりちょっと大きい。これくらいのサイズだと使いやすいかな。ちょっとマインスイーパーをやって慣らしてから、コンピューターに無茶苦茶計算させる。500までやってたやつを1000までに拡張したくてやる。SageMath で答えが返ってこない場合は Magma Calculator にやらせて、それが駄目なら PARI/GP の ellheegner というコマンドでやって、で全部出来た。いや、半分だけだな。もう半分やらないと。論文の直しはどうした？という感じだが。論文書きは凄く消耗するので、つい現実逃避してしまう。さっきブログを見た（これも現実逃避の一環）ら、レフリーから返事が来て2か月も経ってる。有隣社に注文した本が届くのを待ったり、津山で話させてもらうのの作戦を立てたりとかしてて、随分時間が経ってしまった。やらないと。今日は眠いし、明日は床屋に行きたいから、早目に寝たい。ということで、明日以降少し気合を入れてやらないと。Baystars が勝ってくれるとやる気が湧く。勝てよ、と思って調べたら、Baystars が深沢、Carp が栗林。…。期待薄だな。まあこの前も若手で期待出来ないところを連勝したからな。頑張ってくだされ。

1回表に満塁ホームランを打たれた竹田祐が勝ち投手に成る不思議

今日の野球は謎の3時開始なので、少しくらい夜更かしをしても大丈夫、と思って作業を始めてしまったが、これがいけない。Magma や SageMath などで種数1の曲線を楕円曲線の定義方程式として一般的な Weierstrass 方程式に直す方法を見付けてしまった。が、どちらも謎。Magma の方は有理点を一点与えるが、非特異な点でないといけないようにマニュアルに書いてあるが、思いっ切り特異点を与えても答が出てくる。が、座標変換の式も与えてくれるがそれで写すと (0：0：0) に成ってしまい、やはり駄目か？SageMath の方も謎な座標変換の式を返してくるが、意味が分からない。方程式は Magma も SageMath も同じだったが。でうだうだとやっているうちにどんどん時間が過ぎていき、結局相当な時間まで起きていてしまった。何してるんだか。論文の直しはどうした？

で適当に寝て、3時の野球開始に間に合うように起きた。が、すぐ奈落の底に叩き込まれる。竹田祐が乱調で、1回表に無死満塁のピンチを作り、4番の坂倉に初球を打たれ満塁ホームラン。最悪。が、今日の Baystars 打線も昨日の好調さが続いていて、2回表に佐野2塁打、祐大ヒットでノーアウト1、3塁。勝又の内野ゴロで1点、蝦名ヒット、林2点タイムリー2ベースで1点差。竹田にプロ初安打が出た後、三森のセカンドゴロで同点。俄然楽しくなってきた。竹田は立ち直って、満塁ホームランを打たれた後9者連続で凡退に打ち取る。すると3回裏に勝又のタイムリーで勝ち越し、蝦名のタイムリーヒットでもう1点。いいぞいいぞ。4回は三森がヒットで出ると、2盗、3盗を立て続けに成功させ、度会のヒットで1点追加。2死後勝又がタイムリー2ベースヒット、蝦名2ランホームランで一挙5得点。1回表に4点取られたチームが、2回裏4点、3回裏2点、4回裏5点の猛攻で、まるで別の試合のような展開に。横浜スタジアムでの試合を見たことない方はご存知ではないだろうが、4回が終わると「ハマスタバトル」と言ってファン代表と Baystrars のチアグループ「diana」との短距離リレー競争が行われるが、それが始まると言われた時に「あ、まだ4回が終わったところか」と気付いてビックリした。それだけ攻撃の時間が長かったということだ。その後 Baystars は点を取れず、Carp にはマルセリーノ、宮城の四球から始まる失点と、ちょっと反省しないといけない所があったが、まあ最後は康晃が抑えて勝ったのでよし。これで15勝15敗の5割に。夜 Giants が負けたので、3位と0.5ゲーム差に成った。よしよし。竹田はまさか勝ち投手に成れるとは思ってなかったろう。6回5失点だからね。今日の勝ちでプロ通算5勝だが、何とセ・リーグ全球団から勝ちを上げているとか。こんなのは珍しいのでは？チームは Carp には去年から9連勝が続いている。Swallows に負けた分を Carp 戦で全部取り返してる。もう少し万遍なくやってくだされ。

ABC でニュースを見ようとチャンネルを変えたら、もう7時を過ぎていて、「帰れマンデー」が始まってた。一日短いな。マウスの左ボタンの接触が何かちょっと変なので、買いに行こうかと思っていたが、もう遅い。明日にしよう。今晩は騙し騙し使う。最悪タッチパッドでやればいいので、マウスは無しでも大丈夫。まあ今日は寝不足なので、あまり無茶しないで寝るけど。明日は床屋は休みなので、明後日行く。野球が終わってからだと閉店に成ってる可能性があるので、午前中に起きたら行こう。野球が始まってる時間に成ってしまっても、仕方ないから行く。3月の卒業式の後に床屋に行ってるようだから、そろそろ行ってもよかろう。

日が変わって火曜日に成った瞬間に「月よるビッグバン」という30分番組の枠が始まって、今週から何やら不倫で身を持ち崩した俳優の番組がやるらしい。つまらなそうだ。ウルフ・アロンが出るそうだから見るかな。それと、何だか音楽グループのドキュメンタリー番組みたいなのの30分番組があったが、つまらん、と思っていて、終わってくれてホッとした、と思ったら何やら韓国ドラマの50分番組に成ってしまい、ますますつまらん。今日は隔週のセレッソ大阪応援番組をやる日だから、プロレスが始まるのが3時過ぎ。起きていられるでしょうか？コロナ禍の時にプロレスを見る習慣が付いたが、当時出ていた選手の集合と今出ている選手の集合はほぼ disjoint。知らん選手ばっかりに成って、最近は昔ほど真剣に見てない。今晩見るかどうかは眠いかどうかによるな。

Swallows 相手の開幕からの連敗は7で止まった（22安打12得点ですっきり）

昨日は結局 Baystars は負けた。試合中だが呑みに行き、料理を待ちながらスマホを見ていたが、誰が勝ち投手に成るのだろう？と思って調べ始めたが、こういうことをすると大体ロクでもないことが起きる。同点にされ、延長戦に突入後サヨナラ負け。Swallows に勝てないなぁ…。でもう新しい客を受け入れない時間の筈なのに、お一方来られて、割と短時間で帰っていかれたが、その後もう一人来た。阪大を出てアメリカの大学で研究員（ポスドクだと言ってた）をしているが、何かの制度で今は東大にいる若い人が、連休だから地元の山科に戻っていて、店の前を通ったら電気が付いているし我々も呑んでるようだし、と入ってきたそうだ。アメリカでの生活が色々聞けて楽しかった。大分酔っていたからか、大学の教員に成りたいと言っていたかどうか覚えてない。何やら大学勤めの大変さを語った気がするので、多分そうなのだろう。幸多からんことを願う。

で帰ってきて、昨日届いたパソコンのセットアップの様子を見ると、TeX Live のインストールは終わってた。動作確認すると、大丈夫そう。よかった。それから Smatra pdf をインストールすべく Google 先生に調べてもらったが、何やら似たような名前の pdf 関連のソフトを間違えてインストールしてしまった。急いで正しいものをインストールした。でもうかなり眠いので、SageMath のインストールは一寝入りした後やることにする。

で昼過ぎに起きて、間違えてインストールした pdf 関連のソフトをアンインストールしたが、アンインストールしようとすると色々聞いてくるし、終わったら何やら固まり、鬱陶しい。電源を落とそうにも Windows のロゴマークのキーを押してもメニューが出ない。幸い電源の落とし方は分かったので、オフにして再起動したら異常は無かった。よかった。でそれから SageMath のインストール。一時バイナリファイルをダウンロードしてクリックするだけで出来た時期があったが、最近のバージョンをインストールするには Windows 用 Linux サブシステムとやらをインストールして云々と、難しくなった。もう3回目か4回目なので、大分慣れてきたが。幾つか作業ののち conda とかいう命令を実行する必要があるが、そんなコマンド知らないという。前はそれからじたばたして、anaconda とかいうのをインストールする、という謎の情報が出ていたのでインストールしてしまったが、それは必要無かった。単にターミナルを再起動させればよい、と分かって、今日はその経験を活かしスムーズに出来た。で SageMath を無事使えるようになった。PARI/GP は昨日インストールしたし、もうこれで研究モードに突入出来る。嬉しい。Zoom のインストールを忘れたのを後で気付いたが、今週は火曜日、水曜日と大学はお休みなので、学科長会議とそれを受けての学科会議は勿論無い。ということで慌てる必要は無かったが、簡単にインストールする方法を思い出したので、やってしまった。あ、Maple は？と思ったが、どうやるか分からない。学科で買ってるので、どこかのページを見ればいい筈だが、そこが無くなっている。今度「雑用係」を自認している先生に聞くことにして、一通り終了。持ち歩き用のパソコンを落として選手交代、と行きたいが、計算中なので、電源を落とさず部屋の隅に移して、で定位置に新しいパソコンを据えて終了。新しいパソコンを買うと結局使えるようになるには二日くらい掛かってしまうな。連休中でよかった。

でもう6時になっていた。今日こそ Swallows に勝たないと。1回裏に1死1、2塁のピンチを作り、2死1、3塁に成るも何とか石田裕太郎が抑えた。3回表に石田裕太郎が内野安打で出塁、三森がストレートの四球で無死1、2塁。が、度会が併殺打。リクエストするも判定は覆らずで2死3塁。勝ってない相手にはこんな形に成ってしまうか。あーあ、無得点だな、と思ったら今日は違った。佐野、宮崎が連続タイムリーで2点先制。その後石田裕太郎はヒットを打たれるが無失点でいって、すると5回表に宮崎が弾丸ライナーのソロホームランで3点目と援護。するとその後打線爆発。7回表に度会、佐野、宮崎の3連打で2点追加。8回表はビシエドの2ランホームランと神里のタイムリーヒットで3点追加。9回表は三森のタイムリーヒットと度会の3ランホームランで4得点。今までの鬱憤を一気に晴らす22安打12得点。9回裏に久々1軍登板の石田健大がホームランとエラー絡みで2失点したのは余分だったが、まあいいです。一昨日の16失点と昨日のサヨナラ負けを忘れるくらいの勝利だった。宮崎は9年振りの1試合5安打だそうだが、神宮での試合だったのでヒーローインタビューは石田裕太郎だけだった。横浜スタジアムだったら間違いなく宮崎もお立ち台だったろう。明日から横浜スタジアムで眼下の敵 Carp と3連戦。是非3タテを。今シーズンまた Carp に負けてない。まあいつかは負けるだろうが、とりあえずは3タテで貯金2としたい。頑張っておくれ。

新しいパソコンは漢字を学習してないので打つのが大変。自分の名前を打つだけでも一苦労。大学の先輩で田中太郎さんという方がいらしたが、そんな苦労はしたこと無いだろうな。他にも太郎という名の知り合いがいるが、彼等もよくある苗字なので、楽だろう。小生は加川だからね。無駄に打って学習させているわけだが。名前も書こう。貴章。もう大丈夫だな。住所もちょっと難しいが、流石に書かない。ネットショッピングを何度かやれば大丈夫だろう。ということでこれから早速やる。随分前に届いたものを4月末に漸く箱から出したんだが、AC アダプターが無い。説明書を読むと別売りだそうだ。AC アダプター別売りって何やねん。まあ急ぎで使うものじゃないからいいけどさ。

佐藤輝明が驚異の打率 .400 に到達

今日は宅配便が2時から4時のどこかで来ることに成っていたので、昨晩は程々の時間に寝た。いや、普通の人の感覚では全然程々じゃないんだが。さあ何時に寝たでしょう？で1時過ぎに起きて、で食事を手配して食べて、などとしているうちに荷物が届いた。すぐにでも床屋へ行こうという気に成っていたが、ちょっと色々やってしまい、今日の床屋は無し。まあいいです。

テレビを付けてたが、Tigers vs. Giants の試合が始まった。作業をしながら流していたが、Tigers 強いぞ。佐藤が4安打で、驚異の110打数44安打の打率4割に。今日もホームランを打ったし、手が付けられない。あれだけ打ちまくられたらもう大谷のように申告敬遠を乱発するしかないだろう。が、佐藤の後に5番に入ってる大山も好調のようだから、申告敬遠は安易に出来ないか？どう対処すればいいでしょうか？

などとしているうちに6時近く。Swallows vs. Baystars だけは何故かナイター。今まさにやってるところ。Swallows の先発小川からヒットすら出ない状態が続いていたが、Baystars の先発入江もピンチは何度か作るも点を与えない。先に点を取ったのは Baystars。併殺打と思ったらショートが握り損ねて1アウトしか取れず、そこを Baystars が付けいった。入江のプロ初安打となるライトオーバーの2点タイムリー2ベースヒットで先制。入江は作新学院時代は今井達也の控えで、今井が投げてる時は野手をやってて、高校時代に甲子園でホームランを打ったこともあるとか。いい展開か？と思ったら、すぐ裏に4点取られた。ワイルドピッチで1点目を取られ、その後釣る瓶打ち。入江は結局勝ち投手に成れなかった。早く今シーズン初勝利を是非。入江も勝ってないが、Baystars はまだ今シーズン Swaloows に勝ってない。嫌に成ってきて、シャワーを浴びるか買い物に行こうか、と思っていたら、何とヒュンメルがバックスクリーンへ逆転の3ランホームランを叩きこんだ。よしよし。その後1イニング経過。最後まで見てるとまたふなごやの終わりの時間に成ってしまうので、途中で行くが、それまでにリードを広げてくれるといいが。

昨日大敗したことは書いたが、Baystars ファンが沸く場面があったそうだ。登板する投手陣が失点を繰り返す中、最後にマウンドに立ったのは三塁を守っていた柴田。MLB では大量リードされている時に投手の消耗を避けるために野手を登板させることはよくあるが、日本ではあまりない。Giants が増田を、Swallows が北村をマウンドに立たせたことがあったのは覚えてるが、珍しいだろう。柴田は打者一人を6球で無失点。昨日投げた投手陣は全員失点したが、柴田だけ無失点というのは何とも皮肉。今日、明日はそんな展開にならないよう願うよ。今日は買ってくれ、頼む。現在7回裏 Swallows の攻撃中で、マウンドには今シーズンここまで無失点の中川虎大。頑張れ

「代数学I」の出席者が大分減ってきた

今朝は10時半前に目が覚めた。まあ十分寝たかな、という感じ。シャワーを浴びて11時半に成る前に出発。もうちょっと早く起きてたらうな松でクーポンを使って200円引きで鰻、と出来たが、まあいいです。12時くらいに職場に着いて、チキンカツの弁当を買って食べて、2、3返事をしないといけなそうなメールが来ていたので返事を書いたり、それに関係する某手続きをしたり。昔は印鑑を押して事務に出すのだったが、何でもオンライン化されてしまっている。上手く出来たか不安だ。であっという間に1時を過ぎてた。

1時10分から「代数学I」。出席者が減ってきたな、と思って数えたら17人しかいなかった。マイク使わなくてもいい気がしたが、結構後ろの方に張り付いてる学生がいるので使った。今日はイデアルの定義から。あの定義を見ると、何だこれ？と思うだろうな、とは思うが、我慢強くやるのが大事、と言っておいて、剰余環を定義したり。今日は a－b がイデアルに入る時に a～b であると定めて、それが同値関係に成っているとか、～ の同値類が剰余類であるとかやって、R/I を定義して幾つか例をやってたら終了5分くらい前。演算の定義が well-defined で、とかやると時間オーバーに成るのは必至なので、来週やることにしてざっと話しておいた。まあ今日の説明では分からないだろう。来週きっちりやって、Z/mZ とか R[X]/(X²＋1) とかいじるとちょっと見えてくるだろう。しつこいが我慢強くやるのが肝要と言っておいた。

で終了後すぐゼミ。今日は Q(ζ_m) が φ(m) 次の代数体で、ガロア群が (Z/mZ)^× と同型なことから始めて、代数的整数が4週目にしてようやく定義出来て、で代数体の整数環の定義の後、整数基の存在証明。自由加群についてあまり知らないと言ってたが、藤崎先生の本でキッチリ勉強してきてたのでよし。階数 n（<∞）の自由アーベル群の部分群が階数 n 以下の自由アーベル群に成ることの証明は案外難しい。ベクトル空間の場合は部分空間の次元が親玉の空間の次元を超えないことは簡単に示せるが。割り算が出来ないとは窮屈なものだ。今までは毎回延長していたが、今日は定時に終わらせてくれた。よかった。

その後部屋で色々。先週代数の演習問題を一気に幾つか上げたが、一つしか見えない。「数理科学セミナー」の資料も全部上げておいたつもりだったが、TA をやってる院生が、学生から最初の方しか見えない、と言われたらしく、見ると今日の代数の問題集と同じ現象。良く分からないが、まとめて上げても一つしか見えない仕様のようで、仕方ないから全部別々のトピックを作って上げておいたが、今度は大丈夫だろう。でその後特に急ぎでやることは無かったので、2月中に終わらせるつもりでまだ終わってない TeX 内を少々。丹念に読むと沢山打ち間違いがある。今日も終わらなかった。まあいいです。で何だかんだと9時半くらいまでいた。

昼は青空が見えたが、スマホの予報だと夜は雨と成っていたが、さて、と思って表に出ると、弱くだが降っている。傘を開いていてたが、傘無しで歩いている人が殆ど。雨が降ってることには違いないと思って傘を使っていたが、風が強くなってきて傘無しでないとまずくなってきた。まあ僅かな降りなので、数分間我慢して歩いた。ですき家でキーマカレーを食べて、で走ってる最中に一つやり忘れたことがあったのを思い出して、今晩中に済まそう、ということにして、もうちょっと走ったらガソリンが少なく成ってることに気付いた。瀬田のガソリンスタンドは通過して、膳所駅前のガソリンスタンドに寄る。表に出ると風が強い。雨は強くないが、結構な風量で、顔に雨粒が当たって結構不快だった。

今日は連休前の金曜日の晩だからだろうか、交通量が思いのほか多かった。慣れてないのかゆっくり走ってる車もいて、ちょっと嫌な感じだった。まあイライラはしないようにしているのでいいけど。今日は行く時に高速道路の出口近くで後ろにくっついてくる車がいて、気色悪かった。出口速度30km/hの看板が見えないか？まあ30km/hよりは少し出していた（だから厳密には速度超過）が、それにイライラするようではちょっとな。で料金所のゲートを小生は正面のを通ったが、その車はわざわざ左のゲートに移っていった。バーが開いたのは小生とほぼ同時。で小生の前に来ようとするから、流石の小生もちょっとイラっとして、合流させてやらなかった。どうせ前の信号は赤だし、慌てる必要は無いのにね。で交差点を小生の後ろに付いて右折したが、小生は右折で職場に入るので右レーンを走ったが、そやつは左レーンに入って小生を抜いていった。が、正門前の信号はこのタイミングでは必ず赤に成るのだ。信号の特性を知らないのだろう。結構スピードを出していたが、交差点で案の定追い付いた。そこまでして急ぐ必要が何故あるのか、皆目見当が付かない。落ち着いて運転しましょう。YouTube で追い抜かしていった車が少し先で事故を起こしているのを嘲笑している動画があったが、そう成るのがオチよ。気持ちは大きく安全に運転しましょう。

野球だが、Swallows 相手だと何故か勝てない。ゼミが終わってすぐパソコンで速報のページを見たら、1回に4点取られたようだ。佐野のホームラン（佐野は20打席以上ヒットが出ていなかったが、今日のホームランの前にヒットを打っていただろうか？）で1点取ったが、帰る直前に見ると16点も取られてた。帰ってきて「報道ステーション」を見ると、ホームランを何発も打たれいて、丸山和郁にサイクルヒットをやられたらしい。まあいいです。明日、明後日勝ってください。最悪どちらかでも。3タテを何度も食らうのはよくない。苦手意識は早目に払拭しないと。

天気予報を見たら、明日も風が強くて荒れる、みたいなことを言っていたが、近畿はそうでもないようだ。明日は2時から4時のどこかで荷物が届いて、野球は土曜日なのにナイターだから、適当な時間に床屋へ行こうと思っていたので、天気がいい方が嬉しい。いい天気に成りますように。

今「探偵！ナイトスクープ」で逆上がりを出来ない人が出来るように成りたいという依頼がやってるが、小生も子供の頃は中々出来るように成らなかった。親父殿がクリーニング屋閉店後に店で特訓してくれたが。クリーニング屋の店でどうやって逆上がりするんだって？秘密の方法で出来たんですよ。今の身長では無理だけど、当時は小さかったからね。出来る人に聞いても分からない、と言っていたが、その通りだろう。凄い数学者の書いた本は読んでも分からないよね？いや、易しい本を書いた人が凄くない、ではないよ。否定命題は正しく作りましょう。で小生は馬鹿だから、ぎちぎちにやらないと分からない。昔はよく学生が「加川先生のノートは後で読んだら凄く分かった」という趣旨のことを言ってくれたが、歳をとっても姿勢は変えないようにしている。板書を写すの嫌だろうけど、頑張って写して、後で勉強してください。幸い明日から5連休だ。数学してください。しないか。帰省したり家族で旅行行ったり呑み会したりバイトしたりと、学生の連休は忙しいのだ。小生は論文を完成させるのと、新しいパソコンのセットアップだけで終わってしまいそうだ。論文完成させるよ。有意義な連休にしないと。

銀行の駐車場が満杯のせいで路地に入り込んでしまい、久し振りにちょっとぶつけてしまった

水曜の深夜に下らんアニメがやっているのだが、何か面白くてつい見てしまう。昨日はそれだけ見て寝た。1時半くらい。しばし寝床でうだうだとやっていたが、2時くらいには寝入ったと思う。で12時半のアラームで起きた。10時間も寝ればもういいかと思うが、ちょっと眠い。まあ運転中に眠くなることはなかろうということで、1時過ぎに出発。

昼飯ははま寿司にしようと向かう。中トロがあったが、2枚重ねのやつがこの前あったので、スキップして2枚乗ったやつが案の定あったので頼む。が、その後で大トロがあるのを見付けてしまった。何だ、中トロ頼むんじゃなかった。まあ大トロも食べたけど。で何やかやといつもより多く食べてしまった。まあいいです。その後銀行に寄って、連休中の軍資金を卸しておこうと向かうが、駐車場が満車。狭い路地に路駐している車が一台いたが、銀行の駐車場が一杯だからだろうか？そこに更に停める勇気は無いので、ちょっと走って体制を立て直そう、と思ったら、結構狭い路地で、カーナビの画面を見ると結構行き止まりの所が多い。ちょっと広そうな所があったので、そこを使って向きを変えよう、と思ってやるが、ゴツン、という音がした。久し振りにぶつけてしまったか？前の車は一度もぶつけず乗り換えたし、今の車も無傷のままだったが。車検の時にトヨタの人が「傷ありませんね」と感心していたが。で何とか銀行まで戻ったが、相変わらず駐車場は満車のまま。どうすべ？と思って考えていると、一台出そうな車がいたので、待って停める。お金を卸した後車の傷を見たが、大したことなかった。これくらいの傷ならいいです。

で職場に着いたのは2時半過ぎ。「数理科学セミナー」は2時55分からだから、個研室に戻るのは半端だし、教室が前の時間使ってるかどうか確認してないので、栄養ドリンクを買って食堂の隅で時間潰し。

で2時50分過ぎに教室へ向かう。55分開始。今日はユークリッドの互除法の残りから。割り算の回数が小さい数の桁数の7倍で済む、という証明をしたので、5倍で済むよ、とコメントしたら、何とその証明を調べてきてた。書いてないことはしなくてもいい、という方針でいかないと、これから先大変だよ。後ろの方を見たら素数定理の主張が出ていたが、証明してこないよね、流石に、と思うが。ゼミのテキストにカタラン予想（ミハイレスクの定理）の主張が出てて、学生が「調べたけど分かりませんでした」と言ってた。当然。学部生だと難しい数学とはいかなものか知らないだろうから仕方ない。で最初の学生は留学生だったが、二人目は日本人。当然だが日本語で流暢に説明して、こっちのコメントもすぐ理解してくれるので楽だ。で残り10分くらいに成ったので、やめようと思ったら、ソフィー・ジェルマンによるフェルマー予想に関する定理の証明をする、と先週言ってた学生がいたので、やらせるも、10分で終わるの？と思ったら当然終わらず。中途半端に成るくらいなら最初からやらなきゃいいものを。次のコマはゼミなので、延長は出来ないから、来週一からやって、ということにして終了。帰ろうとしたら一人学生が話し掛けてきた。頼まれていたことがあったのを忘れていた。「後でやっておく」と言っておいた。

でゼミだが、二人中一人が調子が悪くて欠席。でもう一人の学生が色々準備不足で困った。「Prove or disprove the following statements」という文章を見ないで、成り立たないかも、ということを証明しようとしたり、ガロア理論の理解が危うかったり、自明じゃないことを何もコメントせずスルーしようとしたり。3時間以上やって殆ど進まなかった。まあ一人いないのでいいでしょう。疲れた。

「数理科学セミナー」の間はちょっと眠かったが、その後のゼミ中はそうでもなかった。っよく知っていることをよく知っている通りにやられると眠くなるのはむべなるかな。ということで学生から頼まれていたことを済ませてから、明日の講義でやることをちょっと眺めた。イデアルで割る話が出てくるから難しくなるだろう。が、初等整数論も剰余環を使った方が分かりやすいし、体の拡大は1変数多項式環の剰余環無しでは出来ないので、ちゃんとやっておかないと。で何だかんだと9時半までやっていた。野球の様子を見ると、作業前に見た時は2点リードしていたが、4点リードに変わっていた。ですき家で回復の為カルビ丼に大蒜が乗った奴を頼んで食べて、でスマホをちらっと見たら野球は終わっていた。篠木が初勝利だそうだ。あまり期待していなかったがよかった。プロ初勝利で、今日はご両親が観戦に来ていたそうだ。やるね。

で住処に着いて「報道ステーション」のスポーツニュースを見ていたが、Tigers はまたしても Swallows に勝った。でびっくりしたのが、佐藤輝明がいつの間にかホームランダービーのトップに並んだそうだ。暫くホームランが出なくて、「おはよう朝日です」で大丈夫かと言っていたが、福留曰く「全然問題無いです」。でその通りになってきた。現在打率・打点・ホームラン全てでトップで、所謂「三冠王」。凄いな。まあ Swallows を叩いておいてくれたのはありがたい。Baystars は明日から Swallows と3連戦。開幕カードで3タテ食らってから一度も勝てておらず、5連敗中。一つは勝たないと。いや、そんな遠慮せず、3タテしましょう。今日の勝ちで5割に成った。4月は勝ち越したそうだ。勢い付くといいが。Swallows の次の対戦相手は Carp。対照的に Carp には今シーズン勝ちっ放し。明日から6連勝と行きましょう。そうすれば一気に上位だ。期待する。しかし土曜も日曜もナイターなのは何故なんだろう？神宮でやる時は不思議とナイターが多い。大学野球か何かの関係だろうか？知らんけど。

無事帰り着いて、有理点が見付かっていて万々歳、野球も勝ったし、の筈が…

昨晩は懇親会後すぐ宿でダウンして、一旦起きて日が変わる前にブログを更新して、その後もう少し寝たが、寝坊して列車（電車ではなかった）に乗り遅れてはいけない、と思い、寝不足だが起きていることにした。実は一昨日の晩も寝不足だったのだが。待ち合わせに遅れてはいけないから、ということで。こういう無茶はしない方がよいのは分かっているのだが。先場所翠富士が全休したが、心不全、というインパクトの強い説明があった。何でも呑み過ぎだ食べ過ぎだというのが原因だったそうで、今場所は十両から出直すため出場するらしい。えーと、無理はいけないよ、という話。

でまずやったのは、足立先生の「フェルマーの大定理」を持参していたので、それのソフィー・ジェルマンのフェルマー予想に関する定理の証明を読んだ。先週「数理科学セミナー」で学生が証明しようとしてすぐ破綻して、明日またやるようなことを言っていたので、読んでおこうということで。が、これは自力では出来ないだろう、というのが実感。平方剰余に関する知識やら色々必要で、まだ合同式もやってない段階ではとても無理だろう。出来そうになかったらとどめを刺してやろう。で朝食の時間に成ったので、食べに行って、寝ないように気を付けるためにパソコンに向かって色々。9時58分の岡山行の快速に乗るので、まあ色々不測の事態もあろうかということで、用心して9時半くらいにチェックアウトした。ホテルは津山駅のすぐ近くなので、楽に間に合ったが。駅のアナウンスが丁寧で、2両編成の一番前の乗車口付近で待ってるのは一人しかいないので、 分散するために前の方に行ってくれという趣旨。お陰で座席を確保した。4人掛けのボックスシートに暫く一人で掛けていたが、途中斜め向かいに一人座り、もう少し行ったら左隣に一人座ってきた。荷物を椅子に置くという顰蹙ものな行動はしないようにしているので、どうぞどうぞ。岡山駅に近付いてきたら大分人家が増えてきた。途中岡山理科大学を発見。うちで1年だけ働いて岡山理科大に移籍した人が二人いる。で岡山駅の一つ手前の法界院駅でどっと乗ってきた。祝日だから大学生ではなかろうが。5分遅れで岡山駅に着いて、「岡山カレー」というのを食べて時間調整。11時40分ののぞみに乗れた。切符をとってあったのでよかった。1時過ぎに帰宅。

走らせっ放しにしてあったパソコンを見ると、有理点が見付かっていた。素晴らしい。Canonical height が330を超えてるごつい点。見付かってよかった。鞄から USB メモリーを取り出して、結果を記録。でパソコンを漸くリブート出来るので、再起動する。が、ネット環境は復活しない。その後何か色々変な感じなのでもう一度リブートしたら、何か「Windows を設定しています」と不穏な文が出て、買ったばっかりのパソコンのような状態に成ってしまった。え？え？ここ最近拾ってきた論文やらプレプリントやら全部おじゃん？と思って SSD の中身を覗くと、幸い残っていた。外付けの HDD を繋いであるので、急いで全部コピーして、でもうあかんな、ということでそのパソコンには撤退してもらうことにした。で鞄から旅行のお供のパソコンを取り出して、でそのパソコンを暫く使うことにせざるを得なくなった。去年の春（昨年度、ではなく、2025年の春、つまり一昨年度）の春に職場のパソコンが怪し気な攻撃を食らった時に職場にこのパソコンがあって助けてもらった。何かの時の為にパソコンを一台余分に持っておくといいな。

そんなことをしてる間に野球が始まっていた。昨日東で負けて、6連勝の後3連敗。牧が抜けて佐野が20打席くらいヒットが出てなくて、今日は宮崎が休養で欠場。4番は誰？と思ったら、何と松尾汐恩。先発投手はプロ初登板の島田舜也と、今日もあまり期待出来ないかも、という状況。相手の Dragons は4連勝中だし。で早速1回裏に先制されるも、すぐ2回表に同点に。4回裏に再び1点勝ち越されるも、5回表にすぐ同点に。今日は上位打線は Dragons の櫻井に抑え込まれ、途中1番から5番まで5者連続奪三振などを食らうが、7番京田からの4連打で2点取り勝ち越し。今日は打線は下位打線が活発で、守備では京田や打では結果の出ない佐野がファインプレーを連発して、チームを救った。9回裏に康晃が無死1、3塁のピンチを作るも、外野フライで3塁ランナーが突っ込まず（解説の鈴木孝政氏は打球が飛んだ瞬間「よし！」と口走っていた）、代走に出た1塁走者の尾田が盗塁死（余裕でアウト）、村松1塁ゴロでゲームセット。4番に入った松尾は打で結果を残せずも、島田を5回2失点とキッチリリードし、最後に盗塁をさせなかったので、合格。上位打線が結果が出ずも、下位がよく打った。一人でやる競技ではないので、皆でキッチリやればいいのです。ということで4月は勝ち越しだそうだ。明日勝てば5割。スッキリと5月に入りましょう。

で早速また有理点探しをさせている。あまりこき使うとこいつまでダウンしかねないな。そんなことにならないことを願おう。で津山高専の人からメールが来ていて、有益な情報をいただけたので、お礼のメールを書いて。昨晩酒の席で話題になったのだが、数論の専門家以外だと谷山－志村予想が完全解決していることを知らないようで、そうだと言っておいたので、その論文の出ている雑誌を知らせておいた。100ページ近い論文だし、まあかなりの専門家でないと読まないだろう、とは思う。小生？読まないよ。それを読むほど余裕は無い。論文の revise をしないといけないし、やることは幾らでもある。が、流石に眠くて、さっきまでちょっとダウンしていた。論文の直しは土曜から水曜までの連休中にやろう、ということにした。直すために重たい本を持って職場に行くのはちょっと嫌だ。明日は天気が良くないようなことを言っていたし、「数理科学セミナー」で使う本も持って行かないといけない。寝坊してもいいように、一旦持って帰ってきて、住処から持っていくシフトしにしている。そうやると大抵早起きに成り、持ってきた意味が無くなるのだが、まあいいです。明日は結構遅くまで寝てしまいそうだ。何しろ昨日、今日で結構寝不足だからね。教材を持って帰ってきてあれば、2時過ぎに住処を出ても大丈夫なので、今晩はタップリ寝る。深夜テレビを何時まで見ているかが問題だが。

さっきニュースで言っていたが、Tigers が Swallows に勝って、一日で首位返り咲き。というところまではネットニュースで見てたが、びっくりしたのが高橋遥人が完封勝ち。ここまで4試合投げて、3試合完封勝利。もう1試合は6回1失点とか。月間MVPは決まりだな。高橋は毎年故障をしていて、シーズン終盤に1軍登録されて、そこから Tigers の優勝を決定付けるような登板をする、というタイプの投手だったが。今年は1年持つのでしょうか？そうすると脅威だな。今年こそいい加減 Baystars に優勝して欲しい。開幕4連敗スタートも明日勝てば5割。5割前後で頑張っていって、ここ数年の芸風で秋の声が聞こえると強くなるので、ということになればと思っているが。それまでに Tigers に去年のような独走を許してはいけない。が、明日の先発は今シーズン初登板の篠木。去年は3試合登板で防御率10.13だから、過剰な期待は出来ない。明日は8時くらいまでゼミをやる予定なので、見られないかな。雨の予報だが、バンテリンドームだから関係無いか。篠木は今日の島田くらい投げてくれればよい。遅れず付いていきましょう。