Tigers に連勝で貯金1の3位浮上

昨晩はその後頑張って、まあ大体これでいいんじゃないか、というところまでこぎつけた。電子辞書を引いて難しい文章を書こう、というのは土台無理で、結局中学生が書くような文章に落ち着いた。「定理に挙げてない形を許せば」とか、「定理に挙げた形に制限しなければ」なんていう難しい英作文は無理。「もし定理に挙げてない形ならば」を英語にした。で計算ミスが無いかどうかもう一度頭から計算（時々コンピューターに頼る）し、それからもう一度純粋に文章だけ読んで、とかやってたらもう相当な時間だった。寝るぞ。

で起きたらもう野球が始まってる時間。テレビを付けると 0－0 という状態で5回。昨日も8回までは投手戦の接戦だったから、今日もそうかという感じ。6回裏に先制されるも、先発の篠木は6回1失点と十分な内容。篠木で凌ぎ切った、というダジャレは通用しなかったが。大竹は6回でもまだ100球投げてないという、途轍もないいい投球をしていて、今日は駄目か、と思ったが、やはり打線に勢いがあった。8回に林、成瀬連続ヒットの後、代打宮崎が四球を選び1アウト満塁。蝦名がタイムリーヒットを打ち同点、度会が2点タイムリーヒットで2点勝ち越した。その後無事無失点で、Tigers 相手に連勝。ルイーズが来日初勝利。貯金を1とし3位浮上、負けた Giants が借金1で4位転落。よしよし。が、速報のページを見てびっくりした。なんと Dragons が最下位脱出とか。Swallows は勝って、首位 Swallows と2位 Tigers の差は2ゲーム。Swallows には負けまくってるのに Tigers には勝ち越して、ちょっと関西では肩身が狭い。まあいいです。明日も勝ちましょう。Aクラスを固めておきたい。

その後論文の直しと、referee に変更点を知らせる文章の作成。もう editor の先生に送ってもいいかという気がしないでもないが、やはり慎重にいった方がよかろうということで、もう少し寝かせておいて、明日にでももう一度真剣に読んで、月曜に職場に行ってから最新版を印刷して、それをもう一度丹念に見てからの方がいいか、ということにしようかと。いや、明日の気分次第ではいいことにしてしまうかもしれないが。まあ今晩はこれから呑むので、明日作業が出来るかどうかはこれからの酒量に依る。論文を書くのは体力も精神力も消耗するな。講義だ演習問題だゼミだというのと疲れ方の種類が違う。前に開口のマスターに「論文書くのが仕事だからね」と言われたことがあるが、仰る通り。やりますよ。考えるべきことは幾つか持ってる。学生が修論で一つでも解いてくれると嬉しいが。もう大分手札は使ってるので、新しいことを思い付いてくれると嬉しいが。

さて、呑みに行きますかね。一週間に一回顔を出すのも仕事だ。野球の話にはこっちから触れないようにしよう。楽しく呑めるといいですがね。

8回打者8人で8得点の猛攻（その後3人連続アウト）で圧勝

今朝は11時前に目が覚めた。睡眠は充分。シャワーを浴びて出発。12時ちょい過ぎに職場着。弁当を買って食して、臨戦態勢。

1時10分から「代数学I」。この前 R/I という集合を定義したところで終わったので、今日は演算の定義から。ちょっと両側イデアルであることの重要さを伝え損ねたような気がするが、まあいいです。で剰余環のラフな捉え方を言って、結論が分かってればどんな環と同型か分かるよね、とちまちま示して、それから準同型定理を証明して、で使い方を沢山の例と共に挙げておいた。分かってくれたでしょうかね？まあ無理だろうな。「1回聞いただけで分かるわけないから。分からないからといって自信を失うことはないです。何度でも復習してください」と言っておいたが、まあしないだろうな。で Z のイデアルが全て単項イデアルであるという主張を書いたら終了1分くらい前だったので、来週やる、と言って終了。

昨日書いた通り学生が体調不良で今日のゼミは無し。ということで色々やる。論文でレフリーが言ってきてて分からないのは、square-free でない場合を二つばかり挙げてるが、その場合はどうなるの？と聞かれていること。Square-free でなくても例示してある場合は同じ結論が成り立ってしまうが、もっと例はないのか？と前に探したが、もう1個見付かった。がもっと欲しいぞ、とループを仕掛けて講義に向かったが、終わってなかった。100まで探してね、と仕掛けて、講義に向かうまでに前に見付けた例は全て出ていて、その内の最大のものは94。100なんてすぐだろう、と思って講義から戻ってきて見ると終わってなかった。Square-free かどうかの判定って、結局平方因子を見付ける、結局素因数分解する、しかないのだろうか？扱っている数は指数関数的に大きく成るから、94と100では大違いなのかもね。で閃いた。特殊な場合を論文でやってるが、一般的な場合なら沢山反例は見付かるだろう、と思ったら、案の定沢山出てきた。が、うまくいってしまう場合も結構あって、どういう時にそうなるのかが皆目見当が付かない。まあいいです。ということで論文に書き足すが、いかんせん英語がボキャ貧（by 小渕恵三）なので、うまく書けない。電子辞書を引こう、と思ったのだが、「数理科学セミナー」で使うので、袋に詰めて車に置いてきたことに気付いた。紙の辞書は数年前に住処に引き取って、辞書が全く無い。だから適当に書いておいて、住処に戻ったら電子辞書を引くことにして、適当に終了。

途中野球の様子を見たら2点先制していて、暫くしたら森下にソロホームランを打たれて1点差に成っていた。8時くらいに職場を出たので、決着の付く場面は見られそう。高速道路から出て最初の赤信号でちらっとスマホを見たが、1点リードしているという前と同じ展開のまま。逆転されてたら外環三条を左折して外食のつもりだったが、リードしてるなら住処でカップ麺で済まそう、ということにしたので、外環三条を直進して住処へ向かう。着いてテレビを付けると、ちょっと危ないシーンだったが抑えた。次の回は中川虎大がピッチャー返しの打球にいい反応を見せて、得点を与えず。すると9回表は凄いことになった。内野安打、ヒット、送りバントをフィルダースチョイスしてくれて無死満塁。その後ヒット、四球、ヒット、ヒット、3ランホームランと、1アウトも取られず8人で8得点。乗ると質が悪いのは Baystars の昔からの芸風。その後3人アウトになったのはご愛敬。これくらい点差が開くと、あまり実績の無い投手でも大丈夫、といことで岩田が締めて無事勝利。これで5割。Giants が負けたので5割で3位タイか、と思ったら、セ・リーグは勝率が同じときは勝ち数の多い方が上に成るので、17勝17敗の Giants が3位、16勝16敗の Baystars が4位。まあいいです。明日3位になりましょう。Tigers は負けて Swallows が勝ったので、首位交代。明日勝つとふなごやで愚痴られそうだが、こっちも必死なので。勝ちましょう。

結局今日は重たい本は持っていかなかったので、野球が終わった後見たら、何か一生懸命連分数展開して云々とやってたのは必要ないことが分かってしまってガッカリ。論文にどう書いたらいいか、かえって分からなくなってしまった。とある論文を挙げておいて、重たい本も reference に残しておこうか、と思ってそのとある論文を眺めると、結局 R-D type に関する一番古い文献を挙げるだけでいいのか？と成ってしまった。その論文はドイツ語なので、正確に読める自信が無いし、editor を待たせてはいけない。Editor の先生はこの3月に定年退官された方だが、小生の論文に関して referee との仲介に立つのは続けないといけないそうだ。Accept されたら無事解放に成るそうなので、お待たせしては申し訳ない。何とか来週中に終わらせたいが。

3回生と M2 のセミナー力の違いは明白

起きたのは12時過ぎだった。ちょっとボーっとしてからドーピングして、12時半に出発。暫くしてスマホのアラームが鳴ったが、高速道路を運転中だったので止められなかった。15分で止まるようで、走っているうちに鳴らなくなった。木曜日の昼食は大抵はま寿司。今日も2000円くらい食べてしまった。大トロが無かったのが安く済んだ理由の一つ。まあズワイガニ（290円皿）とか高いものを幾つか食べることは食べたが。

職場に着いたのは2時前だったので、ウェストウィングに近い所は空いてないか、と思って行ってみると、うまいこと1台分空いてた。そこが埋まってたらまた身障者用スペースに停めてしまったかもしれない。いけないのは分かってるんだが。他にも数か所あるじゃないの、というのがこちらの身勝手な言い分。前にガラガラの京阪電車で京阪山科まで戻ろうと優先席に座って、すぐ後に乗ってきた人も座ったが、これ見よがしに「身障者スペースだぞ」と言っている人がいたが、いやいや、一人も使ってないし。混んでてそこに座りたい人がいたらどきますがな。京阪京津線はガラガラにすいてるのです。いいではないか、そこまで形式ばらなくても、と思うが、皆さんはいかがでしょうか？

部屋でちょっとごそごそやって、2時50分くらいに「数理科学セミナー」のためフォレストハウスに向かう。ソフィー・ジェルマンによるフェルマーの最終定理における結果を学生がしゃべり始めたが、また一か所おかしな所が出てきた。場合分けの一つ目は合ってるが、二つ目はおかしかった。また一週間考えてくると言ってたが、来週はとどめを刺してやろう。メモ書きを探すかもう一度証明を読むか。一回読んだから、前よりは楽に読めるはず。ということで選手交代で、素因数分解の一意性の節に入った。「(a,b)＝1 ⇒ ax＋by＝1 なる x,y∈Z が存在」をやってから、偶数だけの世界で変な「素数」を定義すると一意性が成り立たないことを例示して、で「p｜ab ⇒ p｜a または p｜b」を証明。彼も何やら別証明を始めたが、そこはかとなくおかしい。留学生だから日本語が通じないか、と思って話しても堂々巡り。話が変わってるという向こうの言い分を理解するのに大分掛かった。原因は何かと言うと、話が変わってるのをはっきり言ってなかった（と思われる）し、板書はずーっと同じ調子で続いていて、q と r が二度出てくるから同じ記号だと思い話が続いているもんだとばかり思っていた。板書のお行儀が悪い。「証明始めたんなら『証明』って書いて」と二度言った。95分間ずっと集中しているわけではないのだから、話の始まり、終わり、区切りは分かるように板書してもらわないと。残り時間2分を切ってるのにまた新しい話を始めようとするから強制終了。最近の人は時計を見ながらやらないようだが、いけないよ。腕時計をしろとは言わない。スマホの時計でもいいけど、時間配分は気にしいしいやらないと。後に用事が無ければ延長戦には付き合えるが、生憎用事があるんでね。

少々休憩の後ゼミ。今日は分岐指数がディリクレ指標の群を見れば分かるということを証明した後、二次体が全て円分体に含まれる、という演習問題の解答をやってくれた。細部までちゃんと詰めてあって、良かった。藤崎先生の代数的整数論の本でクロネッカー・ウェーバーの定理の証明を勉強してあるので、別にスキップしてもよかったのだが、ちゃんとやってきたようなので。大分勉強になった。いつもの倍くらい予習時間が必要だったと言ってたが、苦労してやってもいつもより短時間だったのはちょっとがっかりだったようだ。まあいいです。ご苦労様でした。

その後部屋でちょっとごそごそと。動き出しが遅いので、時間があまり無い。明日の講義のことをちょっとやって、演習問題のことを考えて、でちょっと連分数のことをちょっとやってたらあっという間に9時を過ぎていた。USB メモリーを抜いて、電源を落とそうか、というところで閃いた。TeX Live のバージョンアップをしよう、と。2023 年のバージョンを未だに使っていたが、ちょっと 2023 の 2022 からの変更点で気に食わない所があった。持ち運び用のノートパソコンと住処の新規のパソコンに 2026 を入れたが、気に食わない所が直っていたので、職場のも入れ替えようと。講義前とかゼミ前とかだと手が空いた時はまだインストール中の恐れがあって、中々やる気に成らなかった。一晩は掛からずに終わるので、唯一二日続けて職場に行く木曜の晩に仕掛けて、金曜日に着いた頃にはバージョンアップしたものが使えるという状態に成ってるとありがたい、というわけでインストールを仕掛けてきたわけだが。もう少し遅くなると飯屋が深夜料金を取るように成ってしまうので、9時20分くらいに職場を出た。

この前届いた JAF Mate にガストの割引券が付いていたので行って、馬鹿の一つ覚えでから好しの唐揚げ定食を食べてきた。で支払う段に成ったら何故か割引券が使えない。店の人が来たのでやってもらうも、うまくいかない。店の人曰く見たことが無い券だそうなので、よく分からないという。また今度試します、と言って店を後にする。5%引きかどうかは大きいぞ。

明日は「代数学I」を1時10分からやって、次の二コマみっちりゼミ、の予定だったが、学生が調子が悪くて明日は休ませて欲しいという旨のメールが来ていた。この前も週の半分熱だったと言ってたが、やはりここのところ日中と朝夕の気温差が大きいから、それで調子を崩すのだろう。仕方ない。ということで明日は2時45分以降用事が無いが、どうしようか？重たい本を持って行って、論文の直しのために本の解読に努めようか？それとも速攻で帰ってきて、住処でやろうか？まあいいや、その時の気分次第で決めよう。早く帰ってきたら6時から野球を見られるが、作業は捗らないだろう。Tigers 相手に Baystars がそう易々と勝てるわけはない。いや、今シーズンはここまで Tigers 戦は勝ち越してる。応援しながら作業しようか？いや、やはり見ない方が捗るしな。まあしつこいが気分次第だな。

0－10の大敗で Carp 戦初黒星（床屋で目撃）

床屋に行きたいから早目に寝る、は案の定出来ず、中途半端に成ってる計算を全部コンピューターにやらせてから寝た。一個につき5分やそこらは掛かるので、結構時間を使った。寝たのは4時過ぎだったと思う。眠かったのでよく覚えてないが。

で起きたらもう野球が始まっていた。テレビを付けると5点リードされてる。…。暫く見てたら更に3点取られた。…。床屋がやってるかどうか、予約で一杯でないかどうか確認するために電話を掛けて、すぐにでも切ってもらえるとのことなので向かう。今日の野球は NHK 総合で放送があって、床屋でそれを見ていた。切ってもらってる時は鏡に向かっているので、テレビは見えないが、音は聞こえてくる。更に2失点。結局 0－10 と一方的な負け試合。Carp 相手の負けは今シーズン初。まあ仕方ない。昨日の引き分けより今日の負けの方が諦めがつく。9連勝を4勝4敗1分で乗り切ったので、いいでしょう。明日一日休んで、明後日から Tigers と甲子園で3連戦。勝ち越しましょう。そうすれば5割復帰だ。ここまで Tigers 戦は3勝2敗と勝ち越してる。食らいついていくには勝ち越さないと。期待する。

帰途でちょっと買い物をして、戻ってきて、さて何をしよう、と思っていたのだが、眠い。ちょっとだけ寝た。スマホで浅井長政のことを書いたものを読んでいたが、何度も寝落ちした。頑張って最後まで読んだ後、寝たわけだが。まだ眠いが、あまり寝ると夜寝られなくなる。程々にして起きた。でその後論文の直しのためにちょっと本を読んだ。考える case が3つあるのだが2つは分かった。3つ目はこれからやる。少しだけ前進した。明日は2時55分から「数理科学セミナー」で、その次と次のコマは大学院生とゼミ。早起きする必要は無いので、少し頑張ろうかと。ゼミ中に眠くなるといけないので、無茶はしないが。

ポストに「KYOTO市民しんぶん」が入っていたが、眺めたら「名誉市民にご逝去」という欄があって、そこに廣中平祐先生のことが出ていた。先生のご逝去は知っていたが、うっかりこのブログに書き忘れたので書く。先生と話す機会を逸したことがある。もう25年以上前だが、大学に着いて学科の事務室に行くと、事務の人が「廣中さんという方からお電話がありました」とのこと。小生整数論が専門で、整数論で「ひろなか」と言えば広中由美子先生だろう、と思って事務の方に聞くと「おじさんでした」とのこと。え？じゃあ廣中平祐先生では…。うーむ、電話越しでも話す機会を逸したのは勿体なかった。Proc. Japan Acad. に論文を提出した件だったようだ。論文が出た後にみると「Communicated by Heisuke HIRONAKA」と書いてあった。本当に残念だった。

廣中先生と言えばフィールズ賞だが、フィールズ賞学者と話したことはある。Alan Baker。Baker が1998年に日本に来ていた時に、津田塾で話すというので出向いて行って、超越数の本にサインを貰った。津田塾の学生さんは Baker が書いて片山孝次先生が翻訳された初等整数論の本にサインを貰っていたが、小生がサインを頼むと、初等整数論の本の原書かと思っていたのが超越数の本なので、ちょっとビックリされていた。ついでに Acta. Arith に載った  Q(√37) 上の楕円曲線の論文も渡しておいた。その後早稲田でも話してもらう機会があって、足立先生に命じられて Baker を東大の宿泊施設まで迎えに行った。お喋りが好きなようで、タクシーの中でずーっと話しかけられて、いささか閉口した。論文の英語が完璧だというようなことを言っていたが、足立先生にみっちり添削していただいて、Acta Arith. を出してる出版社は英語に変なところがあると直してくれる（別の論文だが「～ are remain open」をちゃんと「～ are still open」に直してくれていた）のもあったのだろう。小生の英語力はしょぼいよ。論文に Baker と W\"ustholz による新しめ（当時は）の結果を使っていたのも Baker がご満悦に成った理由で、阪大の学会で講演されている時に小生の名前が出てびっくりした。その時点ではまだ次の年にうちに雇ってもらえるのが決まる前だったので、あー、冥土の土産が出来た、これでいつ数学から放り出されても悔いはない、くらいに思っていたが。あ、1999年に成ってから、Baker から2月に中国でやる研究集会に小生を招待する旨メールがあったが、引っ越しだ、4月からの講義の準備だで、とても引き受けられない、と足立先生に相談したら、仕方ないから断りなさいという趣旨のことを言われた。貴重な機会を逸して残念だった。

えーと、Baker の話の方が長くなった。今の隣の部屋の先生が代数幾何の人で、twitter に廣中先生の講義録を読んでると書いてて、それを見てつい買ってしまったが、読むんだろうか？という気がする。数学をやってると一つことに突出しないといけないから、あれこれ出来なくなる。足立先生はそれで数学史を始めたということを書いておられた。人生は短いから出来ることは限られてる。この後何が出来るでしょうかね。

と書きながら「報道ステーション」を見ていたが、Tigers の高橋遥人がまたしても完封勝利したことを知った。3連続完封で今シーズン4完封勝利。防御率は驚異の0.21。栗林の0.96は十分凄いんだが、高橋には敵わない。どこまで続くでしょうか？Dragons の高橋宏斗（高橋遥人に投げ負けた）が数年前に防御率0点台（村山実以来）を出すかと期待されたシーズンがあったが、最終的には1.38だった。高橋遥人と栗林は大記録目指して頑張って欲しい。Baystars 戦では投げないでな。勝ちたいし記録を作って欲しいし。

レイノルズ、康晃で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 アダプター別売りって何やねん。まあ急ぎで使うものじゃないからいいけどさ。