尾形崇斗が Baystars 初登板（プロ入り初先発）を勝利で飾る

昨晩のふなごやはまあまあ忙しそうだった。一組はコースの客だったそうだが、コース後にちまちまと呑み物だったり軽めの食事メニューを頼んで結構遅くまでいた。でいつもの通り最後は3人で。先週プレミアムモルツの景品だった缶に当てると細かい泡が発生してビールが美味しくなるものをあげたが、美味しくビールが呑めて嬉しいと言ってもらえた。よかった。小生はすっかり面倒臭がりに成り、ビールをグラスに注ぐことはなくなった。グラスを洗うのが面倒だという下らん理由で。でちょっといいシャンパンを呑んできた。何故かと言うと一昨日が店長の誕生日だったから。いい色をしていて、味も良かった。で久し振りに金を払ったシーンが記憶にあったが、結構な額だった。昨日は随分金を使った。まあいいけど。楽しかったので。

やはり帰ってきてすぐにダウンしたが、そんなに寝ないで起きてしまった。食べ物の買い置きが無いので、例によって Uber Eats に適当に頼んで、でまだ野球まで時間があったので、ちょっと寝床に戻ってうだうだと You Tube を見たり。野球の情報を見たら、日曜日なのに先発が石田裕太郎じゃない。何故？尾形崇斗（しゅうと）が祐大との交換トレードでやってきてから初登板。今までの90登板は全てリリーフで、プロ入り初先発。まあ大きな期待は出来ないかな、と見ていたが、どうしてどうして。150km台後半の直球をビシビシ決めて、四球、死球でランナーを複数出したイニングはあったが、被安打2で5回無失点。湿り気味だった打線は今日は点を重ね、3回に1点、4回に2点、5回に1点、7回に2点で6得点。11安打。今日みたいな試合はいいね。結局6－0で6連勝中だった Lions を止めた。で順位表を見ると、いつの間にか Hawks が交流戦の首位に立っていた。5勝1敗。Lions も1敗だが一つ引き分けがあり4勝1敗1分。Baystars は2勝4敗で9位。まだまだ。火曜日からはセ・リーグの本拠地で3連戦を2つやるそうだから、横浜スタジアムで勝ちまくらないと。まだ交流戦勝ちの無い Eagles と火曜日から3連戦だから、大チャンス、と思ったら、台風が来ていて、火、水は試合出来ないかも。交流戦はスケジュールがタイトだから、どっかで穴埋めをするんだが、それまでに借金を減らしておかないと。

しかし Eagles と Carp は弱いな。交流戦6連敗。Carp はセ・リーグ5位だが、Dragons は交流戦好調で、0.5ゲーム差に成ってる。Eagles に至っては一時首位に立った筈だが、今日の結果で5位と5.5ゲーム差で6位に沈んだ。どうなるでしょうね。交流戦は同一リーグの全チームが勝ってしまうことがあるから、自分で頑張っても中々順位は上がらない。逆に自分のところだけ負けということもある。頑張らないと。

昨日いつもびわ湖浜大津行ばかり来ると書いたが、烏丸線の電車もレアものだった。急行近鉄奈良行。前は結構走ってた筈だが、今は土曜日は朝に数本と夕方の5時台、6時台に30分間隔で2本ずつと減った。珍しいのに2本続けて出会ってしまうとは、何かの運を使ってしまったということでなければいいけど。

先週の月曜日のゼミで多項式環の ABC 定理の証明で一箇所不明な点があったので、考えておこう、と思ったが何もしてない。いけないな。これからやるか。明日は2時55分までに職場に行けばいいので、多少遅くまで起きていても大丈夫だし。あれ高校生が証明したというが本当かな？まあ多項式の微分（実は一箇所有理式の微分を使わないと無理な筈だが）くらいで出来るからね。abc 予想の解決が途轍もなく大変なことなのはご存知の方は多いだろう。まあああいう論文を理解しようとは思わない。読んでもそこから何か考えられるとは思えないし、やりたいことは幾らでもある。理解するだけで何年（どころではないかも）掛かるか分からないし、定年までの時間はそう長くない。ということでやれることをやります。

東西線で帰ってこようとすると、何故か毎回びわ湖浜大津行に当たる不思議（1時間に3本しか走ってないのに）

ポストを見たら書留が届いていて、不在だったので再配達の手続きをせよ、とのことを書いた紙が入っていた。今日の2時から4時を受け取り時間にした。それくらいの時間だと早起きしなくていいし、そうしておいたが、案の定夜更かし（朝早し？）してしまった。呼び鈴で起こされた。急いで飛び起きて、受け取って。で時計を見るともう野球が始まってる時間。テレビを付けるとリードされてる。…。更に追加点を取られ、まだ眠いぞということ、音声を聞きながら横に成った。するともう一度寝てしまい、Baystars が完封負けをした音声で不愉快ながら起きた。

用事が無ければ起きる必要無いんだが、5時半に市内某所に用事があるので、出掛ける。用事は短時間で済んで、いつもの通り隣の喫茶店でホットドッグとアイスコーヒー。夜中に間食してから何も食べてないので、猛烈に腹が減っていた。ソーセージはちゃんとパンの溝に入れておくれ。パンとソーセージを別に食べる羽目に成った。で烏丸線から乗り換えて東西線のホームへ。不思議と毎回びわ湖浜大津行の電車が来る。1時間に3本しか走ってないんだが。まあ京阪電車に乗れば、東西線で苦戦している京都市と京津線で苦戦している京阪の両方に貢献出来るのでいいけど。200円ケチりたければ六地蔵行を待つが、まあいいです。

腹減ったな。流石にホットドッグ一個齧っただけでは辛い。ふなごやに早目に行って晩飯とするか。シャワーだけ浴びてから行くか。今日は店長は Tigers が勝った以外にも機嫌がよい理由がある。何でしょう？正解は明日。

代数体の整数環で素イデアル分解の一意性が成り立つ証明は慣れたもの

今朝は起きたら11時を過ぎてた。シャワーを浴びてちょっとしてから出勤。職場に着いたら12時40分を過ぎてて、もう外では弁当を売ってなかった。仕方ないので生協で弁当を買って食した。ちょっと今来たこの道を戻らないといけなく、買った後個研室へ行ってもゆっくり出来ないので、売店の脇の机で食そうかと思ったが、流石に昼休みだけあって混んでる。天気がいいから表でいいか、と思ったがちょっと暑い。まあ真夏と比べれば全然マシなので、いいか、と表で食べて、まだちょっと時間があったので、生協の本屋を冷やかした。また面白そうな本が出ていた。買わなかったけど。

1時10分から「代数学I」。相変わらず部屋はスカスカ。今日はユークリッド整域が P.I.D. であることを示して、体上の多項式環がユークリッド整域であることを示して、飯高茂先生命名の「合コンの定理」を体上の多項式環で示して、で素元だ既約元だと定義したら大体時間。来週は P.I.D. だと 0 でない元 x に対し「x が素元 ⇔ x が既約元 ⇔ (x) が素イデアル ⇔ (x) が極大イデアル」など諸々示してから U.F.D. に進む予定。今日で8回目が終了。大分訳が分からなくなってきたろう。

休憩を挟んでゼミ。今日は代数体で素イデアル分解の一意性が成り立つことがメイン。割と順調に進んで、で分数イデアルの素イデアル分解とか、イデアルの和が最大公約数の類似、共通部分が最小公倍数の類似であることや、Chinese remainder theorem をやって、イデアルのノルムとかオイラー関数とかの性質を示してる最中に力尽きたらしい。まあ難しい所だ、ゆっくりやりましょう。毎回 TeX で打ってきたと思しき紙を見ながら話してるようだが、それくらい真剣にやってるようでいいことです。

でよく分かってる所だったので、多少内職しいしいやっていた。いや、激しく内職したわけではなく、テキストの演習問題をメモって、簡単に出来そうなものは解いたり方針を考えたりしていた程度。一問ちょっと誘導を付ければ「代数学I」の単位認定レポートに使えそうな気がしたので、考えてみる。結構手頃な問題になった。代数的整数論を使えば瞬殺な問題だが、まあやってる学生はいないだろうから、いいかと。帰ってから TeX 化しようということで、程々に切り上げてきた。野球を見たら大差でリードされてた。しくしく。

すき家で適当に食べてきた、失策。なぜすき家に行ったかと言えば、JAF Mate に付いてたクーポン券を使うつもりだったから。が、すっかり忘れてしまった。車を走らせてる途中に気付いた。まあいいです。もう一つ一瞬焦ったことがあった。財布とカード（クレジットカードと nanaco を入れてある）を尻ポケットに入れているが、運転してると尻が痛くなってくるので、途中で大抵出して助手席に置くんだが、カード入れがポケットに入ってない。すき家で V ポイントカード（未だに T の字が印刷されてるやつ）を使って、忘れてきたか、と焦るが、車に乗った時に鞄に入れたようで、見付かった。焦った。無かったらどこかですき家に電話しないといけなかった。前にスマホを高田馬場のキリンシティに忘れてきて焦ったことがあったが、その時は大分酔ってたから。幸いレシートを持って帰ってきていて、住処の固定電話から電話したらあったので、着払いで届けてもらった。あ、前に川崎に行った時に財布を紛失したことがあったが、クレジットカードは別にしていたので、新幹線の切符は買えて、帰ってきて留守番電話を見ると川崎のタクシー会社からのメッセージが入っていた。クリーニング屋のスタンプカードに固定電話の電話番号を書いてあったので電話してくれたらしい。そうだ、もう一回あったぞ。職場の留守電に山科署から電話が来ていて、何かと思ったら落し物が届いているとのこと。酔っぱらって自販機で飲み物を買った時に財布の中から零れ落ちたらしい。この時も幸いに電話番号を書いたものがあった。何かと思ったら、関西みらい銀行から日本数学会に会費を振り込んだ時の振込カードに職場の電話番号が書いてあったからのようだ。昔から持ち物には名前と連絡先を書いておけと言われたな。まあ気を付ければいいだけの話なのだが。

今「探偵！ナイトスクープ」がやってるが、倉庫から巨大な桶を取り出すという依頼。それを見てる最中に上に「書いて桶」と変換されてあまりの偶然に笑ってしまった。パソコンの予想外の変換には笑わされる。「投与コイン」は最高傑作だ。小生のホームページや色々なところで使ってるハンドルネーム（handle だけで名前の意味があるが、和製英語の「ハンドルネーム」を使った方が分かり易いだろう）のもとに成った「い加川しい」もパソコンがそう変換してくれて、気に入って使っている。「い加川しい」と「烏賊が鷲」は中々結び付かなったようで、Twitter のユーザー名は最近は「烏賊が鷲（加川）」にしてるが。早稲田の楫元先生は「Ka-dimentional space」という名前のホームページを開設されてるが、これは「Ka-jigen」ということなのだろう。色々ダジャレが聞いてる人がいて面白い。「い加川しい」は小生の手柄ではなくパソコンの手柄だが。

忘れていた。今日から交流戦は Lions 戦だが、FA 移籍した桑原が開幕から好調だったのに肉離れで離脱した。が、もう復帰していたようで、今日の試合では手痛い一打を食らってしまった。やはり桑原が抜けたのは大きいな。明日、明後日は程々にしてくだされ。

3ランホームラン一発の3点のみで何とか勝利（交流戦初勝利）

どうも遅くまで起きていてしまうな。でそのせいで起きたらもう2時くらい。2時55分に「数理科学セミナー」を開始出来る状態にしないといけない。取るものもとりあえず出掛けよう、と思ったら、有理点が見付かってる。急いで USB メモリーにコピーして、2時10分に成る前に部屋を出る。が、ついてない。立体駐車場が何やら作業中。人がいなかったが、「車出したいんですけど」とちょっと大声で言ったら下から出てきた。二人組でやっているようで、もう一人の人にパレットが動く旨伝えていた。でパレットが動いてる最中にもう一人の人が隙間からひょこっと顔を出した。結構狭い隙間だと思ったら、人の一人くらい通れるんだな。小生はデブだから無理か。で出発してインターチェンジで渋滞情報を見ると、草津田上－信楽間で渋滞がある模様。うー、急いでるのに。実際どれくらい混んでるか分からないので、瀬田西で降りた。で生協で弁当を買って食す時間も無く、カレーパンを一個買って齧ってる最中にチャイムが鳴った。

今日の「数理科学セミナー」はフェルマーの小定理の話。が、色々いけない。主張の前に数値実験をして様子を見て、という所をやろうとしない。言うと「すぐやります」と全然関係無い話を始めて、フェルマーの小定理の証明もテキストと違ったことをやってる。言ってもやめようとしない。日本語が苦手な留学生のようだが。途中間違えている所もあって破綻しかかってるだが、やり続けている。で一通り終わって気が済んだか、と思ったので、最初の数値実験の所を飛ばしてはいけない、来週やりなさい、という旨を言って、それからテキストに書いてある証明を紹介するようにも言っておいた。皆が色々なことの別証明をしたりするので、そうしなくちゃいけないのかと思ってるかもしれないが、テキストの輪講なんだから、書いてあることにはある程度沿ってもらって、それで余裕があったら別証明をやればいいので、最初からテキストの証明を無視するのは好かん。日本人じゃないんでニュアンスが伝わるかどうか分からないし、小生元々言ったことがきつく聞こえる方なので多少は遠慮したが、十分きつかったかもしれない。まあいいです。来週はちゃんとやってください。10分くらい前に終了。

その後はゼミがあるので、学内のファミリーマートでサンドイッチを買って齧っておいた。8時過ぎまで空腹に耐えられそうにないのでね。今日のゼミは算術級数定理の証明。色々準備してあるので証明だけだが、まあそれでも大変なことには違いない。何度か証明を読んだことがあるが、時々分からないので質問する。χ が単位指標じゃない時に L(1,χ) が0でないことにデデキント ζ  関数を使った類数公式を使ったが、これの証明は大変。解析接続もしないといけないが、2年前に読んだ本では解析接続せず、留数を (s－1)ζ_K(s) を s→1＋0 した時の極限値が求まるので、という形でやっていたが、それでも大変は大変。結構何週間も掛けたような記憶がある。L(1,χ) が0でないことはもっと純粋に解析的に示せるが、その証明は正直理解したことがない。やはり代数体をいじってるんで類数公式に頼るのが一番だな。その後 Dirichlet 密度をちょっとやって8時くらい。素数全てからなる集合が密度1、という当たり前みたいなことでもやるとちょっと大変だが、mZ 中の素数の密度が φ(m) というのがやってあるので、一瞬では？と思ったが何やら始めた。要するに m＝1 の時に証明しているんだが。公差1の等差数列とか公比1の等差数列とかあまり考えないよな。いや、対比なら公差0の等差数列か。こういう極端な例も考えると大事なのだ。単位元だけからなる群とかね。あ、思い出したことが一つ。永尾汎先生の代数の本は気に食わないことがある。環の定義に0と1が異なることを要請していて、これはまあよくあるのでいいが、環 R のイデアルに R を含めてない。R/R の元は一個だけなので環ではない、ということなのだと思うが。いやいや、イデアル類群考える時に困るでしょ、分数イデアルの群はどうするの？という気がして、それから嫌に成ってこの本は開いてない。どこに閉まったかも忘れていたが、この前ひょこっと出てきた。開いてないけどね。

その後ちょっと伝票を経理に送る作業。この前学科の事務室に行ったら、その手続きをする用紙が無くなっていたので、事務の人に言っておいたらファイルを送ってくれた。印刷して送る手続きをして終了。その後ちょっと数学。何か色々気に成ることがある。腹が減ってるので、ちょっとでやめた。野球の様子を見ると、3－1とリードした状況で9回表。康晃がランナーを二人出してしまったが、数分後に見たら終わってた。併殺打、ピッチャーゴロで打ち取って点を取られなかった。良かった。今日は3点取ったが、代打京田の3ランホームランのみの得点と、相変わらず。まあ勝ったのでいいです。3タテ食らわなかったし、東が Buffaloes 戦初勝利でシーズン5勝目。いいでしょう。今日の交流戦はセの勝ちが Baystars と Dragons のみ。Dragons がセ唯一の3連勝、Baystars と Giants が1勝2敗、Swallow が2敗1分、Carp、Tigers が3連敗。今年もパ・リーグが強いな。昨日 Swallows が引き分けたお陰で、セ・リーグの順位は分かりやすくなった。Tigers と Swallows が勝ち負け引き分け全て等しい。勝率の差でどっちが上とか分かりづらい。分かりやすくなった。

今日は栄養が足りてないから、ガストでハンバーグを食べることにした。JAF メートに付いてた割引券を使いたいのもあって。一回目はどうやるか分からず、店の人に聞いても彼女も首を捻っていた。見たことが無い割引券だと言ってた。二回目は順序を間違えて使えず、今日こそは使ってやる、ということで。でハンバーガーを頼んだが、失敗。ご飯とセットなのかと思ったら、セットが欲しかったらそう頼まないといけなかった。急いでご飯だけ頼む。すぐ来た。うん、まあ、期待したほどの味ではなかったが、まあいいです。肉は年をとっても食べないといけないそうだし、食べ続けるよ。割引券がちゃんと使えて嬉しかった。

今日は結構な雨に成るようなことを言ってたが、車を停めた時も「数理科学セミナー」が終わった時も帰りもガストで食べ終わっても降ってなかった。が、車が濡れてたので降ったのだろう。などと思って走っていると、時々降る。こういう中途半端なのは嫌だ。湿度は高いし、非常にやな感じ。明日は雨は降らないようだが、暑いようなことを言ってた。明日の講義は歩いて書いて喋っての「代数学I」だから、暑いと嫌だ。まあ我慢するけど。明日も新名神の工事は続いてるから、ちょっと早目に住処を出られるようにしたい。それには早寝だが、つい夜更かししてしまうからいけない。程々にしよう。USB メモリーを取り出して作業すると遅くなってしまうから、鞄に入れたままにしておこうか？それでもやれることはあるんでね。そうしよう。いや、有理点探しさせたいから、やっぱり USB メモリー（作業メモが入ってる）は出すか。あまり難しいことを考えなければいいんだな。そうしよう、うん。

明日遅く帰ってきてもいいように先週の「座王」を見ておこう、と思ったら、「アメトーーク！」が終わってからでは遅くなる。今週は「ゲーム大好き芸人」というくくりのようで、あまり面白くなさそうだ。「座王」見るか。先週「ソフトテニス芸人」というのをやってたが、もうあれから1週間経ってしまったか。1週間早過ぎる。小生ソフトテニス（軟式テニスと言いたい世代）の経験は少しだけある。小生が大学生の頃は卒業するために体育の実技と講義で一定の単位取る必要があった。1年目は抽選に漏れて、水泳という超キツイのをやらざるを得なかった。が、一浪して太ったのが大分元に戻って嬉しかったが。ラッシュの電車に揺られて消耗していたのも体重が減った理由の一つだが。で2年の時は軟式テニスをやった。水泳は文学部のキャンパスまで15分ほど歩いて行かないといけなくて大変だったが、軟式テニスは理工のキャンパスで出来るので良かった。幸い友人が軟式テニスのラケットを持ってたので、1年間貸してもらった。面白かったのでよかった。最後サーブを規定数打って、規定数インに成ったら単位を出す、と言われいたが、小生といつも一緒に組んでくれた人（4年生だった）も小生もサーブが超下手で、確か3点マッチをやって、小生が3本サーブミスして向こうのゲーム、向こうが3本サーブミスして向こうのゲーム、小生とコンビを組んでた人が3本サーブミスして向こうのゲーム、と、助手に就いていた人が「駄目だ、もっと練習しなきゃ」と怒られた。で試験の日はコートの隅で二人でサーブ練習をしまくって、小生は無事一発合格したが、相方は結構ミスしていて、大丈夫かいな、と心配して見ていたが、球拾いをしていた奴が阿呆で、ミスした球をどんどん籠に戻すからエンドレスに成ってしまい、先生激怒。一からやり直しに成って、相方は緊張が解れたか無事合格。よかった。昭和の昔の思い出だ。数学科なのに物理実験と化学実験が必修で、これらは最高に嫌だったが、体育は楽しかった。えーと、「アメトーーク！」の軟式テニス芸人の回、結構面白かったんで、見てみてください。まだ Tver でやってるかな。

ノートパソコンにマイクが無い？

今朝は10時前に目が覚めてしまった。昨晩は「テレビ千鳥」が終わってもちょっと起きていたので、若干寝不足だがいいかと起きた。打ち合わせまでちょっと時間があり過ぎるな、と思って閃いた。はま寿司で食事といこう。シャワーを浴びてから椥辻店の営業時間を調べると、11時開店。あまり早く着いても入れてくれないかも、と思って10時40分に部屋を出た。が、予想外に早く着いてしまい、10時50分にも成ってない。が、幸い駐車場に停めることは可能で、店にも入れてくれた。発券機で順番を確保して、で11時ちょうどに成ると「〇〇〇番、〇〇〇番、〇〇〇番の方」と呼び出された。3人待ってたが、何故3桁なのかは謎だが（200番台だった気がする）。で期間限定のものなどを中心に食べたらあっと言う間に2000円を超えてしまった。まあいいか。美味しかったからいいです。

山科に「めんめん」という憩いの場所があって、名前の示す通り饂飩屋だが、山科で遅くまで呑んだ人や呑み屋で働いている人などがいつも集結して満員だったが、少し前に惜しまれつつ閉店した。でこの前ふなごやで聞いたら、もう更地に成ってしまってるとのこと。ではま寿司の帰りに確認してきたが、確かに跡形も無くなっている。うーん、寂しい。カレー饂飩滅茶苦茶美味かったし、メニューに載ってないのに焼き魚など頼めば出てくるものが幾つもあって、最高に楽しかったが。更に呑むことも出来たし。跡地には何が出来るんでしょうか？めんめん復活してくれないかな。

でちょっと遠回りして帰ってきたが、まだ12時ちょっと。眠いな。我慢して起きてたが。で打ち合わせだが、Zoom を起動したが何かおかしい。カメラはあって顔は写って向こうの声も聞こえるんだが、マイクがどうしたとかメッセージが出てる。マイク無いの？そんなことある？まあ仕方ない。こっちの言い分はチャット機能を使って伝えるか、ということだが、もう一人の教務委員の先生が完全に仕切ってくれたので、特に言うことも無く終了。マイクが無いと不便だから、USB 接続の物で安いのがアマゾンにあったので、買っておいた。どっかいじれば使えるように成るのかとも思うが、考えるのも面倒臭いし、2000円弱だからいいや。今年はもう研究費を大分使ってしまってるし、こういうのは私費でいいです。

その後ちょっと寝た。で今日も5時45分から野球だから、と思って起きて、今日は TBS チャンネル2でなく NHK の BS で見よう、と起きてチャンネルを合わせると、始まらない。中止か？と思って速報の頁を見ても特にそういう情報は無い。変だな、と思って見ると5時45分でなく4時45分だった。何だそうだったか。1時間「ニュースおかえり」を見て時間潰しをして、5時40分過ぎに今度こそということでテレビのリモコンの BS ボタンを押した。

今日も Buffaloes と横浜スタジアムで。1回裏に1番蝦名がヒットで出塁し、ヒュンメルがタイムを掛けたが受け入れてもらえず、急いで体制を立て直して打ったら何とタイムリー2ベースヒット。あっさり先制もその後が良くない。度会のショートゴロの時にヒュンメルが3塁へ走りタッチアウト。行いが良くないと罰が当たるもので、2回表にあっさり逆転される。4回表にも1点、5回表は2死無走者からヒット、ヒット、四球、ヒットで2点取られてしまう。むぅ。5回裏に度会のヒットで1点取り返すも、度会がまずい走塁で挟まれてタッチアウト。解説の井口資仁氏曰く大変勿体ない攻撃だ、と。仰る通り。9回裏に一発出れば同点という場面を作ったが、結局無得点でゲームセット。ここ5試合1点、0点、1点、1点、2点と打線は大分重症。それでも一つ勝ってるのが奇跡。1－0で勝ったからね。トレードで来た井上朋也をスタメン5番で起用したが、全く打てそうになかった。好調勝又は左が先発ということで9回に代打で出るまで出番は無く、佐野もスタメン落ちで9回に代打で出場、なのに同じ左打の石上が先発で出ているのは謎。まあ監督、首脳陣の決めたことだ、文句は言いますまい。明日勝って3タテは回避しないと。東ならやってくれる、と言いたいが、先週は8回3失点完投だが味方が1点しかとってくれず負け投手に成ってしまった。点を取ってください。頼む。

ちょっと作文の依頼が来ていた。今日依頼が来て今日中というのはちと辛い。野球を見る以外に用事が無かったからいいけど、講義の後夕刻乃至夜までゼミの後にこれ、と成ると大変なので、 もう少し余裕が欲しい。会ったら言っておこう。子供の頃作文を真面目にやってなかった報いがこういう所で来る。英国数理社も体育も技術家庭も音楽も美術も大事だが、結局一番大事な能力は作文ではないか？という気がする。読書感想文を AI にやらせる子供が多いそうだが、そういうことをやってると大人に成って苦労するよ。この前大学受験のために必要な英検を予備校講師に替え玉受験してもらったのがばれて、大学合格も何もかも取り消しに成ったというとんでもない事件があったが、苦労してやらないといけないものを安直な手や金の力で逃げようとするとロクな大人に成れない。楽したいのは分かるが、苦労はしましょう。ということで、今年からレポートの評価をちょっと厳しくしようかという気に成ってる。いや、ずるを出来ないようにするだけ。そうしよう。

あ、ボブ・ホーナーが死んだそうだ。日本デビュー直後の豪打は忘れられない。「地球の裏に別の野球があった」だか何かそんなことを言ってた。68歳だそうだ。もと年上かと思ったが10歳しか違わなかったか。ご冥福を祈る。

交流戦の開幕戦は惨敗

昨晩は呑み呑み「歴史探偵」を録画してあったのを見たが、面白かった。謙信亡き後の上杉の家督争いの話は新田次郎「武田勝頼」で初めて知って、その後大河ドラマ「天地人」等で何度か見たが、そこで武田と上杉が同盟を結んでしまうというのを知った時はビックリした。まあ結局それが武田滅亡に繋がったんだけど。武田が滅亡した年に本能寺の変が起こっているが、上杉は本能寺の変の直後に織田軍が撤退して何とか命脈が繋がったのが面白い所。上杉景虎のことを書いた小説を2冊持ってるが、読んでみようかな。「上杉景虎」と聞いて謙信のことでは？と思うのは大きな間違い。謙信が景虎を名乗ってる頃の姓は長尾。上杉を名乗る時に将軍義政の一文字を貰い政虎、将軍が義輝に変わった時に一文字を貰い輝虎と名乗っているので、上杉景虎を名乗ったことは無いのだ。えーと、文庫本はどっちも分厚いので、読むならもうちょっと先だな。今読んでる文庫本も結構厚い。まだ半分も読んでない。読んでない本が沢山あるので、ちょっとずつ片付けないと。でそんなこんなしているうちに眠くてダウンした。酒がもう一缶残ってたと思うが。

で起きたらもう野球の時間。交流戦開始。今日は試合後の何かやるらしく、5時45分プレーボール。ちょっと遅れてテレビを付けたら、もう2点取られてる。…。平良が良くないようだ。更に2点取られて、早くも4点差。すぐ1点取り返したが、相変わらず打線が湿っている。平良はその後立ち直って無失点だったが、やはり打線が点を取らないと中継ぎ陣が耐えられない。ルイーズ、坂本が失点し一方的な差に成ってしまった。やはり Buffaloes は好調だ。今年の交流戦も苦戦しそうだ。兎に角打線が立ち直らないと。優勝どころかAクラスも難しいぞ。

幸い Giants が大敗してくれた。やはり皆ショックを受けているだろう。監督は退任で、代わりに橋上が指揮をとるそうだ。OBどころか生え抜きしか監督にしなかったチームが、現役時代球団にいたことが無い人が指揮をとるのは初とか。いいんじゃないんでしょうか。もう「伝統」がどうしたとか、「結果が求められるチーム」がへちまとか、「優勝を義務付けられてる」とか言わず、セ・リーグの一チームとして出直すのが大事でしょう。その為には是非もう一度最下位に沈んで欲しい。それでファンが付いてくるなら本物だし、同じ読売系だったヴェルディのようにファンも読売グループも離れてしまうならそこまでのチームだったということだ。

今「報道ステーション」のスポーツコーナーが終わったが、今日の交流戦はパ・リーグが5勝。セ・リーグで勝ったのは最下位に大きく沈んでいる Dragons だけ。こういうのがあるから交流戦は助かる。明日は独り勝ちしましょう。

明日は1時からオンラインで打ち合わせがあるので、今日はそれなりに寝ておかないと。OIC（大阪茨木キャンパス）にある学部との話し合いだが、大阪まで出向かなくてよくて、向こうもこっちに来なくてもいい。いや、それどころか住処から打ち合わせが出来る。いい時代に成った。コロナ以降の話だから、「いい時代」は少々不届きな発言だな。まあそう思ってる人は多いだろうけど。ただ呑み屋は宴会が減ったり遅くの客が来なくなったりして痛手だろう。電車の終電が早くなったのも遅くまで呑まなくなった理由の一つだな。湖西線の前の終電は12時12分だったそうだが、今は11時51分が終電。堅田に住んでる知り合いが不便に成ったと嘆いていた。京都の地下鉄は深夜に烏丸線と東西線の連絡のための電車が遅くに一本あったが無くなっていたし、京都の話ではないが京浜急行には「深夜特急」というのがあって、終電の20分後くらいに各駅停車と連絡の無い特急電車を走らせていたが、無くなっていた。そうすると京浜東北線、根岸線で磯子か桜木町まで行ってタクシーで帰れたが、調べたら京浜東北線の終電も早くなってた。しかも鎌田までしか行かない電車ばかりで、横浜の人は東京で遅くまで呑めなくなったね。まあ最早関係無いが。えーと、明日はちゃんと起きないという話だった。水曜日はアラームを設定してないが、仕掛けておかないと。顔出ししておいた方がいいだろうから、髭を剃ってシャワーを浴びて寝癖を直した方がいいだろう。いや、髭は寝る前に剃っておけばいい。オンラインだから細かくは見えないだろうからね。「テレビ千鳥」が終わったら寝よう。

多項式環の ABC 定理の証明は去年ちゃんと理解した筈だったが…

今朝は本当に訳の分からない時間まで起きていた。数学をやったのは少しだけで、後はほぼ非生産的なこと。ロクでもない。大河ドラマだけ見たら寝ればよかったのだが、つい。大河ドラマだが、武田信玄の死は持ちをのどに詰まらせるというロクでもない死因で、高嶋政伸ほどの役者にやらせておいて、登場後10分で終了と、実に無駄遣い。山県昌景は長篠の戦で激しく散る、という展開だったが、長篠の戦はナレーションで織田軍が鉄砲で圧勝した、という事実が伝えられただけ。山県昌景も割といい役者がやってたが。昨日は松永久秀の爆死がメイン。竹中直人にやらせただけあって、結構贅沢に時間を使ってた。竹中直人は流石というところを見せてくれた。でその後何をしたかは内緒。

で寝る前にもう一つ余分にアラームを仕掛けたが、正解だった。その最後のアラームで起きた。2時を過ぎていたので、急いで飛んでいく。「瀬田西－信楽 工事渋滞7km」という嫌な情報が出ていた。新名神が工事中だそうだ。草津JCTで捕まったら大変なので、瀬田西で高速道路とさようならした。で2時30分くらいに職場に着いて、生協で唐揚げ弁当を買って食して臨戦態勢。

今日のゼミは多項式環の ABC 定理だが、一箇所引っ掛かった。おかしいな、去年は完璧に理解した筈だが。学生と小生の二人きりというのがいけない。三人寄れば文殊の知恵という言葉が示す通り、二人パニックっても一人が冷静ならどうにかなる。二人で隘路にはまり込むと抜けられない。そこは一旦飛ばして、終わりまで流れを追って、後幾つか例をやった。適用例を見て毎年思うんだが、deg(rad(ABC))≦deg(ABC) という結構雑なことやるが、これで色々示せちゃうのが凄い。元祖 abc 予想は来週。ちゃんと勉強しておこう。5時30分近くに終了した。手間取って解決しない所で時間を食ったため、いつもより少し終了が遅かった。

6時から教務員の仕事。某学部のカリキュラム改訂に関する件で関わりのある先生方と Zoom で意見交換。前に「加藤先生」という名前の出たメールが小生に届いていたが、またか、と思ったのだが、本当に加藤先生という方がいるようだ。確かにそのメールのヘッダーには小生の苗字がちゃんと書いてあって、本文に加藤先生の名が出ていたから、その時点で認識しておいた方がよかったな。まあ今日分かったのでいいです。「BKC  に戻ってきたらいいん違いますの？」という意見があったが、それが一番全て丸く収まる気がするが。今日の話を受けて明後日当該学部のお偉いさんと打ち合わせ。荒れるぞ。

思ったより早く終わったが、少し考えたいことがあったのでちょっと。前に論文に書いたことの別証明が得られる？と思っていたが、何かおかしい。適当なところで諦めて帰ってきた。

早目に帰ってきた理由は、Blu-ray のディスクを取り替えないといけないから。日曜日に大河ドラマがやってるが、月曜日に大河ドラマアンコールで「八重の桜」がやっていて、さらに「英雄たちの選択」もあって、全部見たいぞ、となるとハードディスクがいつもかつかつ。「歴史探偵」の再放送が月曜の遅くにあるから、一旦消して、で「八重の桜」を録画するディスクを入れてあるが、「歴史探偵」の始まる前にディスクを交換しないと。ということであまり遅くならないようにした次第。でどうやら全部録れる。よかった。歴史ものを見る、歴史ものの小説を読む、野球を見る、くらいしか娯楽が無いのでね。あ、相撲も見るよ。相撲は昨日終わったので、ちょっと時間が出来てよかった。

で「報道ステーション」を見てる最中に驚きのニュース速報が入った。阿部慎之助が逮捕された、とのこと。何でも娘さんに暴力を振るったとかで。酔っぱらってたとの情報もあるとか。7連勝だか何かして Tigers に肉薄か、と思ったらその Tigers に3タテを食らって4連敗と、苛々が凄かったのかも。勿論それが暴力を正当化することにはならない。さあ紳士のチームはどうでるでしょう？明日からの交流戦で球界は盛り上がる筈なのにケチが付いたな。

でその後「過ぎるTV」を見てるが、京都三大都市、ということで京都、宇治、亀岡のことをやってるが、三大都市でも人口は京都が132万人、宇治が38万人、亀岡が8万人と、差が凄い。宇治は観光客が多くていいだろうが。黄檗にある萬福寺は行ったこと無いな。人が少ないのを自虐的に twitter に書いてるそうだが、今度行ってみよう。渋滞にはまると嫌だから、京都駅まで行って奈良線に乗り換えるか、六地蔵駅まで地下鉄で行って奈良線か京阪宇治線に乗り換えるかだな。暑くならないうちに行こう、と言いたいところだが、もう既に暑くなってきた。まあまだたかが知れてる。今日も30度を超えたようだが、梅雨時や真夏のようにベタベタしないからいいけど。行きたい所は幾つかある。仁和寺、石清水八幡宮、比叡山。全部電車で行くよ。仁和寺は嵐電で、石清水八幡宮は京阪とケーブルカーで、比叡山も京阪とケーブルカーで。比叡山の帰りは反対側のケーブルカーと叡山電車で出町柳、京阪で三条に出て、三条京阪から地下鉄でと、楽しそうだ。暑くなくて天気がよければね。ということで残された時間は僅かだ。酒呑むのを控えて行こうかな。今晩は呑んでしまいそうだが。あ、明日は資源ゴミの日だ。今からやらないと。

若隆景が25場所振り2回目の優勝。Baystars は交流戦前の試合を1－0で勝利。

昨日の晩は涼しかったからか、ふなごやの店長が表にいた。びっくりした。聞くと早い時間に客は皆帰ったそうだ。Tigers が勝ったのは知ってたが、こちらはテレビでずっと見ていたので、詳細を話してあげた。圧勝だったからね。で料理をいただいてから二人で呑んでた。いつもはバイトの人がいるんだが、今日は私用で来ないそうで、そのためいつもよりワインを呑み始めるのが早かった。寝不足だったので丁度いい。ジョージア州のワインははずれがないそうで、ラベルに “Ancient 8000” と書いてあったのを頼んだが、確かに美味しかった。でお開きはいつもより少し早かった。例によって途中から記憶があまり無いが、起きてレシートを見て思い出したことが。新500円玉がお釣りに含まれていたが、「セブンイレブンで使うからいいですよ」という趣旨のことを話した。セブンイレブンで水を買ったレシートが机に置いてあった。nanaco で買わなかったのはそういうことだ。

でやはり超寝不足だったからか、中々起きられなかった。起きたら4時過ぎ。野球はどうなってる？と起きてテレビを付けると、9回表。1－0 でリードしている状況。康晃が投球練習をしていた。先頭打者をヒットで出塁させるが、次の打者を併殺打に打ち取り、結局11球で抑え切り勝ち。これで通算244セーブ。藤川球児を抜いたそうだ。名球会まであと6。今年はいいぞ。先週の日曜日は石田裕太郎が1失点だが点を取れず負け、今日は逆に Baystars が1点で石田裕太郎が無失点。ここのところ点があまり取れない。少しどうにかしないと。石田裕太郎は9試合中7試合がクォリティースタートで防御率2.14だが3勝5敗。援護が無さすぎるね。どうにかしないとパ・リーグ相手に壊滅的に負けかねない。頑張れ。

で驚いたのが、今日の試合を最後にビシエドが日本を去るそうだ。家族をアメリカに置いて一人で日本に来ていたそうだが、やはり家族が大事なようだ。ポケモン何とかデーとかいうやつらしく試合終了後に何かやると場内放送が流れていたが、それを遅らせてビシエドの引退セレモニーをやってた。中々気の利いた演出だ。よかった。

ということで相撲を見始めるのがちょっと遅くなった。NHK にチャンネルを変えると、むすびまえの一番が仕切りの最中。熱海富士が結び前か。そりゃそうで、霧島以外の横綱、大関は全員休場だからね。で熱海富士は勝って9番。琴勝峰も9番で、新関脇が揃って9番なのは素晴らしい。来場所も期待出来る。で結びは霧島 vs. 宇良。宇良は曲者だから難しいか、と思ったが、霧島の圧勝。結局霧島と若隆景が3敗で残って、優勝決定戦に。さあどうなる？と思って見たら、何と若隆景が圧勝。数秒で決着がついてしまった。若隆景は2回目の優勝だが、前回優勝したのは25場所も前だそうだ。優勝間隔の第3位らしい。膝の大怪我で幕下まで落ちたが、よく戻ってきた。今度こそ大関に成りましょう。3度目の挑戦。今度こそ。霧島は優勝に準ずるということで、来場所レベルの高い優勝なら横綱に、という相撲協会の声が紹介されていた。来場所もまた楽しみ。

まだ眠い。寝床でウダウダとしながら YouTube を見てたが寝落ち。目が覚めてもう一度見始めたがやはり寝落ち。結局「サンデースポーツ」が始まるまで寝ていた。千秋楽は必ず優勝力士が出演するので見ることにしている。若隆景がスタジオに来ていて、元力士の親父さんのおめでとうコメントが紹介されていた。いいですね。三兄弟全員力士なのは有名で、毛利元就の息子の隆元、元春、隆景に因んだ四股名を名乗っている。若元春も幕内力士だが、長男の若隆元は関取経験が無く、何と弟の若隆景の付き人をやってるそうだ。若隆元は張り切って関取に成り、3兄弟同時関取を実現させて欲しいが。前例有るのかな？期待するぞ。

明日は2時55分からのゼミだけが用事の筈だったが、6時からちょっとオンラインでの会議に参加しないといけなくなった。教務委員は色々大変。まあ2年任期で2年目の方の先生が仕切ってくれるのでいいけど。来年度に似たようなことがあると小生が仕切らないといけない。面倒なことが起きませんように。

先発投手が1回表に60球も投げたらそりゃぶち壊しよ

今日は昼前にちょっと近所で用事があったので、寝ておかないと、と思ったのだが、つい「ゴチバトル」の2時間ものを見たりとか色々非生産的なことに時間を使ってしまい、結局殆ど寝なかった。いけないな。用事は割とすぐ済んで、なか卯で親子丼と鰻のあいがけのものを食べて帰ってきた。1時前。野球は2時からなので、多少寝てもいいが、あまり寝られないな、と思って寝床で YouTube を見てたら寝落ちして、ちょっとだけ寝た。

で2時を過ぎていて、スマホでチラッと野球の情報を見たら、早くも1点取られてる。…。もうちょっと寝床でウダウダして、もう一度スマホを見たら3点取られてる。…。起きてテレビを付けると5点取られてる。…。もう1点とられて漸くチェンジ。先発投手が1回表にいきなり60球投げて6失点。見る気が失せる。まあ水曜日の Tigers のようなこともあるから、という気がしないでもないが、今日の Baystars 打線はからっきしで、3安打しか打てなかった。投手陣は踏ん張った。2番手の若松は2本の被安打と4の与四球も無失点。宮城、坂本、吉野も無失点で、お気付きの通り0－6での負けという、先発がどうにかしていればという展開だった。入江は大いに反省しないと。下手をしたら今後先発の機会は無いぞ。松尾汐恩もこんなことは初めてだろうから、パニックったか？1回2アウトまではあっさりいったのだが。途中桑原のFA移籍による人的保証で Lions から来た古市がマスクを被った。まあいい機会があってよかったと言えばよかったが。明日は勝たないと。借金4で交流戦と借金2で交流戦では大分違う。明日は石田裕太郎か。いい内容でも勝てないからね。先週は1失点だが打線が点を取ってくれず負け投手だった。湿り気味な打線だが、裕太郎の為に明日は大いに打ちまくっておくれ。

1回表が40分くらい掛かったのに、その後どちらも点を取れなかったからか、5時ちょっとには終わってしまった。相撲を見よう、とNHKにチャンネルを合わせる。今日は優勝に関わる力士陣の直接対決が多かった。3敗の義ノ富士と4敗の藤凌駕は藤凌駕が制し、義ノ富士は一歩後退。3敗同士の若隆景 vs. 琴栄峰は若隆景が格の違いを見せて圧勝。結びは2敗霧島と4敗の伯乃富士。霧島が土俵際まで追い詰めるも伯乃富士が驚異的な粘りを見せ、勝った。霧島は3敗で、若隆景と並んでしまった。千秋楽にこの二人の直接対決があると面白いが、もう既にやってしまったので、明日は誰と？2横綱3大関だが、4人休場しているので、霧島の相手が分からない。明日の割はまだ発表されていないので、予想では伯乃富士か？とのNHKのアナウンサーの仰せだったが、今調べたら霧島の相手は何と宇良。東前頭11枚目が千秋楽結びの一番を任せられた。今日勝って10勝4敗だから、まあ優勝に関わりがあると言えばある。明日霧島と若隆景が揃って負けたら宇良も圏内に入ってくる。若隆景の相手はやはり4敗の藤凌駕。4敗の義ノ富士と琴栄峰が直接対決。伯乃富士は7勝7敗の藤青雲と。藤青雲は勝ち越しが掛かってるから必死だろう。どうなる？

で相撲が終わってそのままNHKを流しておいて、ニュースが終わったら野球が始まった。Giants vs. Tigers。1回表がほぼ終わってるところから中継開始。Giants の1番打者がショートフライを打ち上げた、と思ったら、ショート、サード、レフトがお見合いというかそういう感じで二塁打に成ってしまった。で1アウト3塁に成ったが、前進守備の内野ゴロで三塁走者がホームに突っ込みアウト。そのまま Giants は点が取れなかった。勝ってるチームと勝てないチームの差が出たか？Giants の外国人投手が三振を取りまくっていて、どうだろう？と思ったら、さすがは Tigers。ルーキー立石が2点タイムリーヒットで先制。立石はついこの間一軍デビューだったが、4試合連続安打。昨日は猛打賞とプロ初打点で、今日は2安打2打点。こういう選手をドラフト1位で指名出来るのが凄い。見る目があるというのと籤運が強いの。Tigers の先発村上は1回の先頭打者を不運な形で出塁させるもその後21打者連続で打ち取るという快刀乱麻を断つ投球。結局被安打3、無四球の完封勝ち。110球だったのがちょっと残念。マダックスいけるか、という感じだったが。Swallows の勝ち越しが11、Tigers は10。明日は Baystars が勝って、Giants が負ける（断言）から、首位交代だな。

さて呑みに行きます。超寝不足だが、まあ付き合いなんで。寝不足でも案外寝落ちしない。この前は久し振りにちょっと寝てしまったが、まあ大丈夫でしょう。もう野球が終わったが、客がいなかったらスマホで随時チェックしてご機嫌だろう。Baystars が Swallows に負けたので奪首出来なかったのは残念だろうが。まあ気持ちよく呑めますわな。ということで、洗濯機を回して出発。

あ、そうそう、1イニングで一人の投手が投げた球数の最多は確か64だと言ってたと思う。Tigers の吉野だそうだ。先発投手が1回表に60球も放ったのは初とか。まあそういうことだ。切り替えましょう。

講義14週のうち7週終了

今朝は10時半前に一旦意識が戻ったが、結局もう一度寝入ってしまい、何度もしつこく鳴らすように設定してあるアラームの何回目かで目が覚めた。11時くらい。起きてパソコンを見ると有理点が求まっていたので、然るべき後始末をしてからしばしボーっとして、11時半くらいに出発。12時くらいに職場に着いて、弁当を買って食して、またしてもしばしボーっとする。

1時10分から「代数学I」。先週より出席者が減った気がするが、こんなもんだったかいな？「数理科学セミナー」にいるでかいが気が弱そうな留学生の姿が見えないが。1時10分にチャイムが鳴ったので、気にせず始める。今日は素イデアルがどうしたとか極大イデアルがどうしたとか。剰余環を使った特徴付けをやったが、分かったでしょうか？分からないだろうな。剰余環が難しいし。極大イデアルの存在をツォルンの補題を使って示したが、いよいよ訳が分からんだろう。で P.I.D. を定義して、ユークリッド整域を定義して、Z と Z[i] がユークリッド整域であることを示して、というあたりで大体時間。ユークリッド整域は P.I.D. と板書して、「証明は来週」と言った後に気付いた。Z の時と同様、と書いて済ますつもりだったのだ。じゃあそう書いてから終わりにすればよかった。まあいいです。見ると上に書いた留学生はいた。バスが遅れたとかその程度のことだろう。真面目そうな学生だ。日本語は苦手らしいが、頑張ってくだされ。

休憩を挟んでゼミ。今日は n が素数冪の場合の n 分体の判別式と整数基の話から。結構大変だが、一般の n に対する円分体の Q 上の拡大次数が φ(n) であることはもう示してあったので、まだ楽だった。でその後イデアルの定義とかイデアルの和とか色々イデアルの細かいことをやって、分数イデアルを定義してから代数体の整数環がデデキント整域であることを示した辺りで力尽きたようだ。テキストに書いてある文章を一つ見逃して、それを使えば簡単に示せることの証明に苦労して時間を無駄にしたと言ってた。まあそういうことはあります。来週は素イデアル分解の一意性などをやる予定。石田信先生の代数的整数論の本を使っているが、この本のよくない所は二つあって、代数的数に一章使ってしまうので代数的整数の定義が中々出てこないこと、それとイデアル類群が相当先までいかないと出てこないこと。どの本も帯に短したすきに長しで、「数論序説」は代数的整数を平方剰余の相互法則を示すのに使うため早目に出てくるが、代数体という言葉が相当やらないと出てこない。分かってる人が拾い読みをするには適しているが、ゼミのテキストにはちょっとという気がした。連分数とかコホモロジーとか最初の方に出てるのに、使うのは本の大団円が近付いてきてからだし。正多角形の作図可能性も余計。藤崎先生の代数的整数論の本は細かいことが色々書いてあるのが嬉しいが、細か過ぎることも多いので、初心者にはきつい。ガロア理論の本もそう。小生が学生の頃はガロア理論の本は3冊もので、1巻の途中の体の拡大の所から読み始めて2巻のガロア理論の基本定理まで読んで終わり、ということにすればまあいいのだが。読み通そうとすると大変だし、実体とか付値論とかガロア理論とは関係無いことも出ているので、真面目にやり過ぎる学生は大変。まあ本のタイトルが「体とガロア理論」であって、「ガロア理論」ではないので。

今日で講義14週のうちは7週が終わった。もう半分か。始まったばかりだと思っていたが早いものだ。津山で喋る件や論文の直しなど結構慌ただしかった。まあ今年度は来てから1度も欠かさずやってる講義と、初等整数論の本を使ったセミナー形式の科目だけで、講義の準備に使う時間が短かったのでよかった。残りの7週間はどうなるでしょう？

昨日の晩ふと気付いたが、10年以上前に書いた論文で Q(√3p）(p≠3 は4を法として3である素数）上の不定方程式に関するある結果を示したが、この前やったことは Q(√3) を含む結果。ということは3が分岐して類数が奇数である実二次体は全部扱えた、と思ったら Q(√6) が抜けてた。で随分前に作った表を見たら、何と Q(√6) 上には解がある。そうだったか。多分すぐ出来るだろうが、寝ないといけないのでやめておいた。でゼミ後考えたが、出来た。ただ今まで奇数の場合しか相手にしてなかったので、6 はちょっと違った。そうだったか。面白かった。Q(√2p) の場合にどうにか出来ないかと思ったが難しそうだ。数表を眺めてると解がある場合はあまり多くないようだが。急ぎでやらないといけないことは特に無いので、また適当に時間を作って考えよう。

今日はちょっとボーっとしてる。晩飯を松屋と松のやが一緒に成った店で食べたが、自分の番号が呼ばれたのを少し気付かなかったり、赤信号に気付かずに突っ込んでしまったり。前者は店に迷惑が掛かるが、まあ大した時間ではなかったのでいいでしょう。後者は多分赤信号に変わったばかりのタイミングだったが、何にしても危険極まりない。少し先で工事をしてるという看板に意識がいってしまっていた。こういうのが年を取ると増えてくるのだろう。老人に成ったら（もう十分老人なのかもしれないが）気を付けないと。

などと書いてしばし。ちょっとびっくりしたことが。スピードスケートの高木美帆氏に国民栄誉賞授与を検討、というニュースを「報道ステーション」で言ってて、いいことだ、是非にもそうしてくだされ、と思って調べたら、何と今日は高木美帆の誕生日だそうだ。「報道ステーション」では言ってなかったが。凄い誕生日プレゼントに成ったね。オリンピックで10個もメダルを獲ったんだ。文句無いだろう。嬉しいね。色々不安にさせられるニュースが多い。いいニュースもないとね。

度会の通算安打数が親父さんの15年分を超えた

10時ちょいに一旦目が覚めて、お、これはうな松で割引券を使える、昨日の500円オフを食べ損ねただけに是非にも、と思った瞬間にまた落ちて、次に目が覚めたら1時ちょい前。あかんわ、今日も生協の弁当だ、と成ってしまった。「徹子の部屋」を見終わってからシャワーを浴びて、2時くらいに出発。こんな時間に出勤出来るのは贅沢なことと言えば贅沢なことだが、こんな時間に職場に行かないといけないのは不幸なのかもしれない、などと思ってから出発。パソコンの画面に「小雨」と文字が出てたが、入り口に近付くとザーザーと聞こえてきた。大雨じゃないか。

幸いフォレストハウス脇に停められたので、生協へ向かって弁当を買って食して、2時50分くらいに講義室へ向けて出発。今日は「数理科学セミナー」。先週から合同式を始めたが、今日は一人で終わってしまった。1次合同式を解く話だったり、n 次の合同式の（互いに合同でない）解の個数は法が素数だったら高々 n 個とかそういう話。学生は地の文を読まない習慣があり、2次合同式なのに解が4つある例を「この合同式の解は … の4つだけです」と流そうとする。何のためにそんな例が出てるか考えないと。色々本を読んでるだろうが、前書きとか章の頭に書いてある導入的な文章は是非読まないといけないが、そういうことの大事さがまだ分かってないのだろう。それと直訳する。よく日本語訳された本に「線形方程式」という言葉を見掛けるが、こんな用語使うか？「1次方程式」と訳せばいいのに。今日は「non-linear congruence」を「非線形合同式」と訳していた。一番いい訳語は「1次でない合同式」だと思うが、いかが？で色々話してたら、先週書いたことが当たっていた。今日喋っていた学生に Z の剰余環のこと、零因子の無い可換環のこと（零環でない、は意図的に言わなかった）を何ていう？と聞いても答えられず。何故かと言うと「代数学I」を登録してないとのこと。衣笠での教養系の科目の時間とぶつかってるので出られないという。まあ教養系の科目は幾つか単位を取らないと卒業出来ず、「代数学I」は必修でも何でもないので、取らなくても卒業出来る、ということなのだろうか？知らんけど。シラバスに挙げてある本を自習してるようなことは言ってたが、今日の話の感じでは講義より大分遅れてるな。秋学期は「代数学I」の知識を既知として「代数学II」をやるのでよろしく、という趣旨のことを言って帰ってきた。

休憩を挟んでゼミ。今日はディリクレ級数とディリクレ L 関数の話。アーベル総和法とか色々などのディリクレ級数に関する準備をして、ディリクレ L 関数の初等的な話。単位指標でなければ定義域に s＝1 を含められたので、それを使えば算術級数定理が証明出来るが、今日は結構手間取ったので、算術級数定理は来週。その後は密度のことをやるようだ。完全分解する素数の密度が 1/[L：Q]  とかやるのだろう。完全分解する素イデアルの全体が拡大を特徴付ける、なんていうのはまだ先かな。面白くなってきた。7時50分過ぎに終了。

その後部屋でここ数日考えたものを TeX 化して印刷。色々分かってきたが、もう少しどうにかしたい所があるにはある。まあ全部全て分かるわけはなく、且つ分かってしまったら面白くないので、もうちょっと考える。昔考えて論文にしたことの別証明が出来そうなので、考えてみる。途中チラチラと野球の様子を見ていたが、先制したのにひっくり返されて、負けていた。Carp 相手では無類の強さを誇っていたが、そろそろメッキが剝がれてきたか。決勝点が内野のエラーという、相変わらずの守乱ぶり。上がるにはこういうところをどうにかしていかないと。犯人捜しをするつもりは無いので名前は書かないが、期待して使ってもらってるんだ。成長しないと。まあ今日のは授業料ということでね。幸い Giants が負けてくれた。離されなかったのは救い。いいニュースもある。度会がヒットを打って、親父さんの博文氏が Swallows で15年現役続けて稼いだヒット数173を上回る174本目らしい。.310 は堂々のセ・リーグ2位。もっと打ちまくっておくれ。明日は謎なことに Baystars vs. Swallows だけ試合が無い。ゆっくり職場で勉強してこよう。明日は講義とゼミで、終了は一番遅くても6時15分。その後部屋で3時間くらいグダグダやろう。

雨は大学を出た時はまだ降ってたが、晩飯を食べたらほぼ止んでた。が、車を走らせてる内にまた降ったり、止んだりを繰り返して、住処に着いた時は傘が不要だった。明日は近畿は降らないという予報なので、もう大丈夫かな。明日は傘を持たないで行けそうで嬉しい。講義は1時10分からで、その時間だと一番大きいが遠い駐車場に停めないといけないので、雨降りは嫌だ。蒸し暑くなければいいが。前は6月半ばまで冷房が使えないと杓子定規なことをやられてたが、ここ数年の暑さで考え直してくれたか先週から冷房が使えるようになってる。何度も書いてるが、座ってスライド見せて講義という楽なものではないので、暑いのは堪える。8月いっぱいと9月の大半講義が無いのは日本の気候を考えると素晴らしい制度だ。夏休みは用事が無い限り日の高い内は外出しないことにしている。夜外出すると言っても近所のコンビニエンスストアに買い物に行くか呑み屋に行くくらいだが。食事は Uber Eats で。持ってきてくれる人は暑い中大変だろうが、まあお金に成るので頑張ってください。ふなごやの大将の知り合いが Uber Eats だけで月35万稼いだことがあると言ってた。協力しますよ。

Tigers の打線に物の怪が付いてきたよう（Baystars は4連敗でストップ）

結局相当遅くまで起きていた。論文から解放されたので、テレビを見たり計算したり。計算してて気付いた。昨日 mod 4 で 3 と合同でいいじゃないか、と書いた件だが、なぜ mod 4 で 3 と合同なのかは実は第一補充法則だ、と。だったら m が mod 4 で 3 でなく、m が mod 4 で 3 とう合同な素因数を少なくとも一つ持つ、でいい。冷静にやってると色々見えてきていい。Wiles が言っていたことだと思うが、最初は部屋は真っ暗で何も見えないが、少しずつ目が慣れてきて、電気のスイッチの場所が分かって、でスイッチを入れるとよく見える、というのはこうゆうことか？と。いや、7年屋根裏部屋で研究を続けた人と小生ごときを一緒に論じるのは無礼だな。短時間で問題を解いて点数稼ぐのとは違う面白味がそこにある。我慢強く数学をしましょう ＞ 学生諸子。

で起きたらもう相撲が始まってる時間。眠いが霧島 vs. 若隆景を見たくて必死に起きていた。やはり大関に返り咲いた霧島と、何度かの大関昇進のチャンスを逃した若隆景の差が出た一番だったな。昨日の時点で2敗が6人でトップだったようだが、今日の結果で2敗が3人という状態になったようだ。さあ誰が優勝するでしょう？

結びの一番の前に眠気がもう一度限界に来た。琴櫻が負け越した音声が聞こえてきた。今場所は調子がいいという事前情報があり、琴櫻のお爺さんの方の琴櫻の弟子だった琴風さんが残念がっていた。うーん。で野球を最初から見るのは無理だった。起きたら7回で1点リードしていたが、すぐ同点にされた。が、そこを1点で抑えたのでよかった。今日2安打の松尾がチャンスの場面で打席に立って、そこで初球スクイズ。代走に出ていた三森の好走塁も効いた。4連敗でストップしてよかった。借金1に戻した。明日は東だ。やってくれる。

今日の Tigers は凄かったようで、7回表終了時点で7点リードされていたが、7回に4得点、8回に3得点で追い付き、9回裏にここのところ不調だった森下がサヨナラホームラン。98年に Baystars が優勝した時に打線を権藤監督が「物の怪がついたようだ」と言っていたが、今日の Tigers はそれを連想させる。こういう年は勢いが付いてフィニッシュ、ということがあるかもしれないが、Swallows の優勝も面白い。今日は Swallows は最初から予定が入ってなかったようで、Tigers は Swallows に0.5ゲーム差に成ったようだ。どうなるでしょう？Swallows は土曜日から Baystars と2連戦。金曜日に試合が無いのが謎だ。

しかし Dragons 弱いな。去年までは投手陣が売りだった筈だが、今日は投壊。一瞬最下位を脱出したが、見るといつの間にか Carp と3ゲームも差が付いてる。ホームランテラスだか言うのをバンテリンドームに設置してホームランを出易くする、というが裏目に出ているのでは？という気がする。パ・リーグもいつの間にか Eagles が最下位に成ってる。4月には一旦首位に立った筈だが。快調なスタートを切った Hawks が借金2で4位、出遅れたと思った Lions が一度は首位に立ったり（今日 Buffaloes が首位を奪い返した）、長丁場だからどうなるかはまだまだ分からない。それにもう来週から交流戦だ。去年はそこで Hawks が盛り返して、出遅れを一気に取り返して日本シリーズまで制覇した。分からんぞまだまだ。

不規則正しい生活を繰り返しているので眠い一日

またしても訳の分からない時間まで起きていた。ちょっとある事実を一般化できるのでは？と思い付いたので。mod 4 で1と合同を仮定していたが、これは方程式が偶数解を持たないことを合同式を使って示すのに使っていて、いや、偶数解が無いことを合同式なぞ使わないでも示せるぞ、と閃いた。でやったらその通り。でそれを使って示していた事実も一般化出来て、嬉しい。もう一つ気付いた。mod 8 で 3 か 7 と合同、としている箇所があったが、これ mod 4 で 3 と合同、でいいじゃん。ちょっとすっきりしてやはり嬉しい。でもう「おはよう朝日です」が終わりそうな時間。うまくいったと喜んでたら、占いで最下位に成ってしまった。まあいいです。でその辺でダウンした。

起きたらもう相撲の時間。が、やはり眠い。中々起きられず、途中から見たが、結びの一番で霧島が負けたのを見てもう一度ダウンして30分くらい寝た。

7時からマンションの理事会なので行かないと、ということで起きて、少々シャキッとさせてから出発。出発と言っても2階の部屋から1階のエントランスに行くだけだからすぐ。今日は困ったちゃんが出席するかもという話だったが、予定が合わずに来ないとのこと。予定があっても来ない気がするが。でその人の件でまたしても30分くらい使ってしまった。皆さんもいい加減どうにかしたいと思っているようで、何としても次回に決着を付けましょう、そのために管理会社の人よろしく、ということに成った。その後マンションの修繕についての話。建築について詳しいご老体がいて、その方がアンケートに専門用語を使うのはやめた方がよい、という適切なアドバイスをしていた。で幾つか意見が出て、結局8時半近くまで掛かった。途中やはり何度か眠くなったが、居眠りするわけにはいかないので、耐えた。

部屋に戻ってきて野球を見ると、またしてもリードされてる。9回に1点取るのがやっとで、ここ数試合貧打なのが目立つ。Giants が勝ってしまったが、幸い Tigers も勝って、Giants の2位浮上はならなくてよかった。明日は結構強い雨があっちこっちで降るようなことを言ってたから、明日は数試合中止だな。Baystars の面々は大分疲れてるから、休息した方がいいかも。ということで広島は雨降らないだろうか、と思ってみたら、やりそうな天気だ。まあいです。やるからには勝ってください。

上に書いた通り明日は雨で、ここ数日ほどの暑さには成らないと言ってた。ただ雨ということで当然蒸すらしい。嫌なこったな。木曜日も雨だそうだ。強い雨でなくて風が無ければ我慢する。金曜日は曇りの予報だが、木曜日の帰りに雨が止んでると嬉しいけど。

今眠いが、これから段々目が冴えてくるんだろう。生活リズムがそうなってるからね。昨日も書いたが、明後日も早起きの必要は無い。が、少数の学生と TA だけのセミナー形式科目で居眠りというわけにはいかない。ちゃんと寝よう、と今は思ってるんだがな。「不規則正しい生活」という名台詞を言われた方がいるが、まあそうなるな、多分。金曜日の講義は1時10分からだから、木曜の晩は多少早目に寝てるけど、普通の人の感覚では十分遅い時間だと思うが、さて何時でしょう？

「相異なる」を読めますか？

昨晩は案の定遅くまで（早くまで？）起きていて、そのため今日起きたのは1時半を過ぎていた。それでもまだ眠いが、出勤しないわけにはいかないので、2時くらいに出発。2時半くらいに職場に着いて、フォレストハウスの近くに停めて、生協で弁当を買って食す。

2時55分からゼミ。今日は多項式環の初歩的な話。車の運転中は集中してるから眠くないが、よく知った数学の話を続けられると眠くなる。しかも黙って書いてるだけ、それが済んだら読んで、みたいなことをされると益々眠くなる。結局ほぼ真面目に聞いてなかった。まあ大丈夫だろう。今日唯一突っ込んだのは「相異なる」の読み。これ「そういなる」と読む学生がしょっちゅういるが、「あいことなる」が正解。パソコンで打ってるともしかしたら単語登録してしまっていて、小生が間違っているかも、と不安になるが、電子辞書でも確認したし、スマホで「あいことなる」と打ったらちゃんと「相異なる」と出てきて、しかもこの語を説明しているページが幾つも見付かったから、「あいことなる」が正解、ということで自信を持った。来週はちょっと難しい話をやるので、集中して聞こう。彼にはもう少し聴衆が眠くならない工夫をして欲しいが、まあそれは追々言うことにしよう。

2コマ分部屋が押さえてあって、最長で3時間20分ゼミが出来るが、大体2時間程度で終わるので助かる。今日はちょっとコンピューターを走らせて例を作って、それをコピペして TeX に整形して、とかやった。その後領収書を事務に送る作業。前は紙に書いて学科の事務に渡せばよかったが、この前書いた通り学科の事務室は午後は人がいないので、書いたものをスキャンして事務にメールで送る必要がある。この前何故かスキャンできなくてエラーメッセージが印刷されて出てきたが、今日は大丈夫だった。少し待てば7万円くらい帰ってくる。何か嬉しいが、立て替えた分が帰ってくるだけだから±0なのだがね。でグダグダとやって、7時過ぎに職場を後にした。

7時を過ぎるともう高速道路は混んでない。高速道路を走ってる最中に目茶目茶細い月（三日月よりも遥かに細い）を見る余裕があった。三条通もかなりすいてて、楽に帰ってこられた。今日は「Qさま！！」でお城のことをやるのを忘れていて、途中から見た。松村邦洋を見たの久し振りだ。松村は歴史マニアで、大河ドラマは欠かさず見てる人だから結構活躍するのでは？と思ったがそうでもなかった。三浦奈保子が2年4か月振りだかの優勝を目指して踏ん張っていたが、カズレーザーが「石臼」と答えてガッツポーズで、やはりカズレーザーか？と思ったがカズレーザーもそこで失速。宇治原が優勝した。三浦奈保子またしても勝てず。面白かった。

大河ドラマと言えば、吉岡里帆が誰にもとけこまず怖い顔をしている役だったが、昨日の回で小一郎が頑張ったお陰でやっと笑顔が出た。あのほわーんとした笑顔が彼女の魅力だ。これからはにこやかな役として出てくれるだろう。それとさっき知ったのだが、藤堂高虎をやってる佳久創という俳優は Dragons で活躍した郭源治の息子だそうだ。知らんかった。今調べたら「鎌倉殿の13人」の時に弁慶をやっていたらしい。そうだったか。今度総集編を見てみよう。藤堂高虎は秀長の股肱の臣だから、これから超重要人物として出続けるだろう。注目だな。

今日は33度だか34度だかまで行ったらしいが、駐車した場所がウェストウィングとそんなに離れてない所だったので、暑さを感じる前に臨戦態勢に入れたし、ゼミ中も眠くなるくらいだから大してゼミ室は暑くなかったのだろう。7時過ぎだと車の中もそんなに暑くなかったし。明後日以降は天気が崩れて、暑さは収まると言ってたが、木曜日は雨だと聞いてうんざり。本と紙を持って屋外を移動しないといけないので、雨は降らないで欲しいのだが。まあ仕方ない。我慢しよう。それより今日のように居眠りしてはまずい。今日のゼミはマンツーマンで、学生は殆ど黒板の方を向いてるので、いびきをかかなければ大丈夫だが、木曜日の「数理科学セミナー」では部屋の一番前に陣取って監督してるので、学生にしめしがつかないからな。昨日書いた通り明日はマンションの会合があるので呑まないが、明日も呑むのはやめた方がいいな。ちゃんとしないと。

何と Lions がパ・リーグの首位に立った

昨晩は結局薄いジャンパー（死語）を着て行ったが、銀行に行って自動車税を払ってとかやったらやはり結構暑く感じた。ふなごやは客がいなかったから節約しているのか、冷房が入ってなくてやはり暑かった。暫くしたら小生と店長も含めて店内は5人に成ったので、やはり冷房は必要だった。で色々お土産を持って行ったので感謝された。ワインは美味しくてよかった。例によって途中から記憶が無かったので、いくら払ったか分からないが、結構いいワインだったそうなので、結構払ったかも。自動車税も払ったし、一晩で結構飛んだな。まあいいです。

で帰ってきてすぐダウンしたようだ。石油のことがどうなるか不透明だから、テレビの付けっ放しはしないようにしているが、やってしまった。Tigers 戦の音声が聞こえてきた。才木が抜群に良かったようだが、Tigers も点を取れず、1点先制されてそのまま負けたようだ。Swllows は勝ったようだ。いつ落ちてくるかと思ったが落ちてこない。でやばいことに Baystars も 0－1 で負けてしまい、Giants との差が大きく成ってしまった。まずいな。借金持ちに逆戻りしてしまった。火曜日から盛り返さないと。

で相撲を途中から見たが、若隆景が勝って1敗キープ。全勝の霧島は豪ノ山に負けてしまった。解説の琴風さんに依れば豪ノ山の激しい相撲に熱くなり過ぎたそうだ。で思う壺にはまり呼び込んでしまったそうだ。翔猿も1敗キープで、トップは3人。面白くなってきた。玉鷲は初日から8連敗。気を付けないと十両に落ちてしまうぞ。頑張れ。

「サンデースポーツ」で野球の情報を仕入れたが、パ・リーグが凄いことに成ってる。昨日呑み呑みスマホで確認したら、Hawks が借金1の4位に成っていて、Lions が Buffaloes に接近していたが、今日は Hawks が勝って5割で3位浮上、Buffaloes は4連敗で、一昨日まで7連勝で Lions が急浮上していて、何と今日勝って首位浮上。Lions は3年連続5位以下だったが。今年はセもパも大波乱だ。Swallows は落ちてこないし、凄いことに成るかも。交流戦が大事だな。

今日は昨日より暑かったそうだが、明日はもっと暑いらしい。京都市は32度、大津市は31度とか言ってたから、まあ草津市も30度越えだな。半袖で行った方がいいかもしれない。明日の用事はゼミだけだから、座ってるだけでいいので暑くても我慢は出来るな。駐車場からウェストウィングまで我慢すればいい。ギリギリに行ってウェストウィングの近くに停められるようにするかな。ということで今晩も夜更かしかも。

5月半ばなのに京都市の最高気温は30度

さてホッとしたところでケーブルテレビのチューナーがカツカツな問題をそろそろ解決しようということで、録画してあったものを幾つか見た。「ゴチバトル」の後、ゴールデンウィークに NHK で放送された手品の番組を二つ。前にも書いたが、手品っていうのは騙されて口をあんぐり、というのが面白いので、タネを見破ろうなどと思ってはいけない。最近の手品は、名取裕子やかまいたちの濱家のように玄人はだしのアマチュアマジシャンにも全く謎が分からないらしい。いや、それどころかミスターマリックすらもただただ驚くしかないようなものばかりらしいからな。スマホを使ったネタをやってたが、ただただびっくり。それとその番組は凄いネタを見た後、それを超えるようなものをやってくれと「無茶ぶり」して、マジシャンが無茶ぶりを遥かに超えるものをやるからただただ凄い。酒の肴にはもってこいだった。あ、書いてないけど呑みました。

で結構な時間に寝て、変な時間に起きた。また Baystars は負けたが、29イニング連続無得点を漸く脱して、3点取った。明日は期待出来る。今日は中川虎大が今シーズン初失点で負け投手に成ったが、鈍い内野ゴロの間の生還だから、深刻に成る必要は無い。明日勝って3タテされるのだけは避けましょう。

寝る前にスマホで YouTube を見ていたが、その間にメールが来た旨通知があった。ジャーナルのエディターから。昨日の晩のメールを受け取った旨と、そのメールに書いた話に関してちょっと。どこの大学も色々怪しいことをやったり、生き残りに必死に成ってるようだ。 エディター氏は3月いっぱいで定年退職されたが、彼のいた大学もうち同様歴史とネームバリューはある（ネームバリューはうちより遥かに凄い）から、まあ余程のことが無い限り潰れることはなかろうが。さあ後は最終の返事待ちだ。今日は祝杯をあげないと。二日続けて呑むことは滅多にない（と書いてるが実は先週もやってる）が、呑みますよ。その前に銀行に行って金を卸さないと。自動車税の納税通知書が来ていた。6月1日までに払えばいいそうだが、こういう喉に小骨が引っ掛かったようなことは早いところ取っておかないと。事務にレシートを回す件だったりもそういった類のことなので、月曜日にゼミが終わったら済ませてしまおう。で月曜の晩もまた呑み、といきたいが、来週の火曜日はマンションの会合があるのだった。まあ夜7時からなので別に呑んでも構わないが、話し合いの途中に腹の具合が悪くなって中座、というのは避けないといけないので、呑まないでおこう。ちょっと難しい件があって、当事者が出席してくる可能性があるので、長期戦に成るかも。覚悟しておこう。とりあえず今晩は呑みます。色々渡すものがあるので準備して、銀行行って、ということでそろそろ行く。

しかしどんな服装で行こうか？今日の京都市の最高気温は30度行ったそうで、今冷房を稼働している。行く前に電源を落とすのを忘れないようにしないと。最低気温はそこそこ下がるようだから、上着を着ていった方がいいかな。どうしたもんじゃろ。明日の京都市は31度まで上がるそうだ。職場も一昨日から冷房が使えるようになった。昔は杓子定規に6月半ばまで冷房が使えなかったが、ここ数年5月から既に暑いからね。薄いジャンパー（死語）を着ていくか。学生の一人が気温のアップダウンの激しさで風邪をひいたり治ったりを繰り返していると言ってた。気を付けないと。学生は風邪をひいたら別に大して気にせず休めるが、我々はそうはいかない。複数の講義と複数のゼミに影響が出る。まあどれも大した人数出席してないが、講義だと土曜日に補講しないといけなくて、お互い嫌だからね。ちゃんとしていこう。ということで、じゃ！

論文はどうやら一区切り

今朝は11時過ぎまで寝ていた。中々起きられない。まあ講義は1時10分からなので余裕だが。12時くらいに出発。チキンカツの弁当を買って食して、メールを見たらもう論文関係のが来ていた。レフリーはOKしてくれたらしく、昨日の晩の修正点も大丈夫だったので、.tex ファイルを送れ、とのこと。ちょっと % を沢山除かないいけないので、仕事が済んでからやることにした。% 除きをする段階に入ると完了が近付いた感じがして嬉しいね。

で1時10分から「代数学I」。案の定出席者は少ない。今日は Z のイデアルが単項イデアルであることを示して、それを使って (a,b)＝1 ⇒ ax＋by＝1 なる x,y∈Z があることを示して、で「合コンの定理」とかやって、それから合同式。合同式は Z の剰余環を使うといいよと言っておいて、で残りが5分を切ったので馬鹿の一つ覚えで 3¹²¹ を 100 で割ったあまりとか 3⁶¹ を 100 で割った余りとかそういう話をしてたらチャイムが鳴った。来週は素イデアルだ極大イデアルだとやって、それから P.I.D. とかやれるかな。

ちょっと休憩を挟んでから M1 のゼミ。今日は整数基とか判別式とかの話。整数基の存在はもう言ってあるので、後は基底に依らずに判別式が定まることをやって、それから判別式の仮因子の例（いつものデデキントの）や二次体の整数基と判別式を決定して、判別式≡0, 1 (mod 4) であることを証明したり。行列式の定義をこんな所で使うとか思わないよね。藤崎先生の本で別の所でこの式を使ったが、どこだったかな？リュービル数が超越数であることを証明するのに平均値の定理を使うが、それをやった時に学生が笑いながらやっていたのを思い出す。p 進体を大学院の講義で隔年でやってるが、ε－δ 論法を暫くやるのも学生にとっては驚きだろう。うんざりしているだろうからね。基礎的な勉強は馬鹿にせずにやらんといかんのです。

6時くらいに解放されて、論文関係の作業をして、editor の先生に送って、まあ一応終了かな。まだ載ることが決定したことわけではないので、ちょっとドキドキしながら待たないといけないが。信じて待つ。それから「代数学I」の演習問題練り。誰もやらないからやってもしょうがない作業だが、まあ自分の勉強のためということで。今日最大公約数はやったが、最小公倍数はやってない。1問最小公倍数のことを使わないと出来ないであろう問題があったので、それを除いて、YouTube で仕入れた大きな整数の素因数を見付ける問題を2問入れておいた。でグダグダとやってるうちに9時を過ぎていた。野球の経過、結果を全く知らないが、どうなったでしょうか？後で見ることにして、晩飯を食べるべく職場を後にする。

久々にココ壱でカレーを食べた。軽く1500円を超えてしまった。ご飯を減らしたのでちょっと安くなってるのにこの値段。1辛にしてるが、もう辛さを増すのはやめようか？自動車税を払わないといけないから、そうするとあっと言う間に30000円強飛んでいく。諸々値上がりしてるし、大変だ。自腹で払ったものの領収書を早く経理に回さないと。今日も忘れていた。月曜日にやろう。

上で YouTube という単語を書いて思い出したのだが、YouTube の動画は自動読み上げソフトなるものを使って作ってる人が多いようだ。しかし YouTube を「ようつべ」とかいうのはどうにかした方がいいと思うんだが。手動で直せないんだろうか？Tigers の話題をしてる動画で「かなもと」って言われると見る気が無くなる。この前流れてきた宣伝では「ぎふけんかんし」と言ってたが、「岐阜県関市」のことらしい。「かんし」じゃなくて「せきし」よ。それでどんな立派な広告をしても説得力ゼロよ。「確立論」のレポートって一定数あると担当者が言ってた。そういうのは表紙見た瞬間に不合格でいいんじゃないだろうか？小生の担当科目でも「順同型」とか時々いるし、線形代数だと「個有値」とか色々ある。前に事務の人が作った書類に「線形台数」というのが複数残ってた。急いで指摘した。忙しいのだろうが、そういう見た目で分かることはどうにかしたいよね。ちゃんとしましょう。

Baystars は結局負けてた。明日、明後日勝って vs. Giants の成績を良くしないと。Giants のホームゲームのようなので日テレ系のチャンネルで見ないといけないので気が進まない。楽しく見られるような展開にしてください。Carp の栗林がまたしても1安打完封をやったそうだが、どんな展開だったのだろう？後で調べよう。あ、忘れてたこと。セ・リーグの月間 MVP の投手部門は目出度く高橋遥人が選ばれた。勝ち星だと高橋の上をいく投手は複数いたが、やはり3完封というが評価されたのだろう。昔だと勝ち星が多くて Giants の投手だとそっちが選ばれがちだったが、少しはマシに成ったということだな。もういい Giants 頼みの時代は終わったのです。Giants の関係者もファンもいい加減気付きましょう。一回5年くらい続けて B クラスに成ってごらん。ファンがどれくらい離れるか。今年も下位に沈めるため、明日、明後日は何としても勝たないと。不愉快だが G＋ を見て Baystars を応援するか。

月曜日に送った論文の revised バージョンに関し早くも返事ありで焦る（reject ではなかった）

今朝は10時前に一瞬意識が戻って、時計を見て、よし、昼飯はうな松だ、と思った瞬間に寝入った。で次に目が覚めたら11時半を過ぎていた。むぅ。いや、うな松の営業時間は2時まで。12時台は混んでるかもしれないが、1時台なら、ということでシャワーを浴びてから少々時間潰しをして、12時半ちょい前に住処を出る。すぐアラームが鳴った。高速道路に乗る前にアラームを止めたが、暫く走ってると12時45分のアラームが鳴った。今度は暫く止められないが仕方ない。高速道路を降りて、最初の赤信号で止めた。でうな松の3周年記念の割引だが、5月20日まで、と思ったら、5月20日だけだった。まあ500円引きをそんな何日もやらないわな。常識で判断すれば明らかだった。まあいいです。一本鰻があったので頼む。いつもの通り JAF の会員証を見せて100円引き。更に100円引き券を貰った。もう一度行かないと。

で職場に1時半くらいに着いて、生協で数セミを購入。今月号は何やら整数論が特集されてるので、後でじっくり読むことにする。個研室で時間潰しをして、2時50分くらいに講義室へ向けて出発。

木曜日は「数理科学セミナー」。「数学セミナー」というタイトルにしなかったのは数理科学科だからか？それとも本家の「数学セミナー」に遠慮したのか？それを決める時に会議でどんな話が出たか全く覚えてない。まあどちらも略せば「数セミ」だが。今日は素因数分解の一意性の証明を完了させた後合同式の章に突入。ac≡bc (mod m) でも a≡b (mod m) は成り立たないが、(c,m)＝1 なら大丈夫、の説明がおかしい。「m｜xy ⇒ m｜x または m｜y」はついやってしまいがちになる。今年に成ってこの間違いをした学生を今回以前に既に見てるし、前も書いたがちゃんとした journal に載った論文でこれを平気でやってた。著者は勘違いか何かしたか、出来た出来たと興奮して気付かなかったか知らんが、レフリーがちゃんとしてなかったのは問題ありだ。で「m｜xy, (x,m)＝1 ⇒ m｜y」（飯高茂先生言うところの「合コンの定理」）は本に出ているだろうと思ったら出てない。が、「p が素数の時、p｜xy ⇒ p｜x または p｜y」は出ていて、そこの証明を修正すれば「合コンの定理」の証明はすぐ出来るよ、と言ったが、案外手間取っていた。いや、その前に a≡b (mod m), c≡d (mod m) ⇒ ac≡bd (mod m) の証明が出来なかったな。剰余環の積の定義が well-defined であることの証明と同じだ、と言ったが、ピンときてないようだ。合同式と剰余環が結び付いてないかな。明日の「代数学I」でやる、と言っておいたが、彼は来てるのでしょうか？先々週は出席者が17人しかいなかった。いや、「数理科学セミナー」に来てるんだから「代数学I」も来るでしょ、というのが通用しないのが今時の学生で、「代数学II」に二人しか出席者がいないのに卒研に二桁募集があったことがある。加川の講義に出席しないで加川のゼミを選ぶ、中々の面の皮の厚さ、と思った覚えがある。来年度はどうなるでしょうか。

その後少々休憩を挟んでみっちりゼミ。今日はディリクレ指標の群を使って不分岐アーベル拡大を作る話。藤崎先生の代数的整数論の本でヒルベルトの理論をみっちりやってあるので、あまり苦戦している様子は無い。いいですね。で沢山不分岐アーベル拡大を作ったが、まだ無限素点の分岐についてはやってないのと、ヒルベルト類体も知らないので、不分岐アーベル拡大がある面白味は分からないだろうな。などと思いつつ最後に genus field のことをちょっと言っておいたけど。K が二次体の時、K/Q で分岐する素数の個数が多いと K の類数はでかくなる、ということがやがて分かる。でみっちり8時過ぎまでやった。

その後部屋でゼミ中に出た例をちょっと検証。Q(√(－21)) のヒルベルト類体が求まって、その後 Q(ζ₂₀) の部分体を全部求める作業をしたが、PARI/GP の出力が何かおかしい。Q(√5) が出てこないんだが。もう遅かったので程々にして切り上げてきたが、√((3＋√5)/2) が二重根号無しで済む、とすぐ分かったのは実二次体の単数を沢山いじった経験がなせる業。美空ひばりの息子の方の加藤和也氏が「オタクでなんぼだよね」と言っていたのを思い出す。

晩飯を食べてから車に乗ってスマホで野球の結果をチェック。0－0で引き分けだった。昨日の1回裏に得点をあげた後20イニング無得点ということだな。それで1勝1分ならまあいいか。明日は点を取って勝ってください。明日からは Giants だ。ただいまゲーム差無し。最低限勝ち越さないと。直接対決は負け越してる。勝たないと。

で帰ってきてメールを見たらビックリ。論文の関わるメールが来ていた。月曜日に送って今日、はいくらなんでも早過ぎはせんか？焦った。何故ならこの論文をとあるジャーナルに土曜日に出したら月曜日にリジェクトの返事が来たことがあり、またか、と思ってしまったのだ。が、今回はそうではなかった。非常に細かい指摘（the を足さないといけない所が一か所あったのと、92--97. とすべきが 99-97 と成っていて、「- を -- に、99 を 92 に、97 の後に . を」というだけのことだった。ホッとした。これでアクセプトと成ればいいが。今年は資格審査の年（同業者は何をするかお分かりでしょう）だが、幸いここ数年で論文を書いたり喋らしてもらったりしたので、今回は大丈夫だろう。今のがむしろ少し先回しに成ってくれた方が、最後の資格審査を合格出来るので嬉しいが。いや、余計なことを考えるのはやめよう。そうするとロクでもないことに成るというのが今までのジンクス。掲載されるのを願い続けよう。

ルーキー島田舜也がイマキュレートイニング（1イニングを三者連続三球三振で斬ってとる）をやり、プロ初勝利

昨日書いた計算が合わない理由が分かった。ab＝c^2, (a,b)＝1 ⇒ a,b は平方数、とやっていたが、a,b>0 なのか？ということ。a,b<0 に成りえるので、±a,±b は平方数（複号同順）、が正しかったのだ。数値例を確かめて負の値が出たので分かった。酷い間違いだ。時々「何故こんな下らんミスを著者がして、レフリーが見逃したのか！」と論文を読んでて腹立つことが書いている者としては思い込んでしまい、レフリーは忙しくて真面目に読んでない、筋が合ってればいい、という程度しか読んでない、ということなのだろうか？今結果待ちをしている論文のレフリーは凄くしっかり読んでくれていて、建設的なご意見を幾つもくれた。そう読んでくれないと嫌だよね？でそこは直したが、もう一つ下らん間違いを見付けてしまった。a³(a³－4) が平方数で、a,a³－4 が互いに素 ⇒ ±a, ±(a³－4) は平方数（複号同順）はあってるが、a³(a³－4)＝3x² で 3｜a, a,a³－4 が互いに素 ⇒ a＝3y²、a³－4＝z², ∃x,y とやってた。ちゃんとしないと。などと気付いてからウダウダやって、休憩しよう、と思ってケーブルテレビのチューナーを見たら、ハードディスクかつかつ状態が続いているので、時間が掛かるが「ミラクル9」の2時間ものを見ることにした。面白かった。「崎陽」とはどこの都市の昔の名前でしょう？という問題があって、「崎」が付くから埼玉では？と思ったが、よく考えると一文字目は埼だな。じゃあどこ？と思ったら長崎だそうだ。横浜で有名な物の一つに「崎陽軒」の「シウマイ」があるが、崎陽軒の社長は長崎の出身で、それでそういう社名に成ったそうだ。知らんかった。「シュウマイ」でなく「シウマイ」なのは社長が訛っていたからそうなったが、中国人に依れば「シウマイ」の方が中国語に近いそうだ。ならそっちの方がいいだろう。

などとして結構な時間まで起きていた。月曜の晩と火曜の晩はどうしても不摂生をしてしまうな。まあ両方酒を呑むことはしないが。でまた相撲の途中まで寝ていた。若隆景の取り組みから見た。今日も勝って初日から4連勝。足立先生の奥様は若隆景の大ファンだから、今場所は機嫌がいいだろうな。

であっと言う間に6時で、野球観戦開始。1回裏から猛攻で、いきなり3連打でまず1点。筒香がいるとやはり打線が厚い。その後勝又2点タイムリー、林サードゴロ、松尾タイムリー内野安打で一挙5点。松尾の内野安打は2塁への牽制球が悪送球に成り3塁にランナーが進んでいたので点に成った。昨日は併殺を完成させられずにそれが失点に繋がっていた。解説者曰くそこが Dragons が下位に沈んでる理由の一つだと。で今日の先発はルーキーの島田舜也。大きなプレゼントを貰った。1回表から三者三振で、5回表は何と三者連続三球三振の「イマキュレートイニング」というのをセ・リーグのルーキーでは初めてやった。6回は1アウト満塁のピンチを作るも、二者連続三振で無失点。結局6回9奪三振でプロ初勝利。素晴らしい。打線は2回以降点を取れなかったが、まあいいです。

祐大は早速スタメンで出たようだ。3打数無安打でチームも負け。まあ投手は2失点だけだったので、いいリードをしたのでは？と思うが。活躍してくだされ。

祐大のトレードは正直納得いかないが、汐恩が活躍して勝ったからよし

昨晩はやはり呑んだ。でちょっと解放されたので、「歴史探偵」と「英雄たちの選択」を録画してあったのを見て、それからちょっと計算を始めてしまった。が、これが合わないこと。呑んでるからか、と思ってやめて程々に寝た。が、起きてから計算しても合わない。おかしいな。一から見直しても合わない。何でだろう？まあ急ぐことではないし、また暇を見付けてやる。

教授会があるのを思い出して Zoom を起動。このパソコンで Zoom を起動するのは初めてだが、上手くいくか？と恐々やると、上手くいった。今日は教授会の前に短時間何かあるのだったが、忘れていた。副学部長が話しておられた。で教授会だが、学部長が出張で学外から繋ごうとなされたが上手くいってないらしく、暫く副学部長が話し続けておられたが、学部長の回線が復活して、その後は滞りなく終了。割と短時間で済んだ。

で相撲を途中から見て、終わり近くに野球の情報を仕入れようと、Yahoo！の速報の頁を見たら、衝撃的なことが出ていた。祐大が Hawks へトレード。え？え？え？暫く事情が飲み込めなかった。ショックがでか過ぎる。昨日までの35試合中28試合に出場していた紛れもない正捕手。一昨年はベストナインとゴールデングラブを獲ってる。東と組んでベストバッテリー賞も獲得している。え？え？え？困惑は暫く続いた。

で気持ちの整理の付かないまま試合開始。今日の先発はよりによって東。当然松尾とバッテリーを組むことになっている。でその松尾が2回に先制タイムリーを打って、5回に蝦名が追加点と成るタイムリーヒット、7回に成瀬が3点目と成るタイムリーヒットで優勢に試合を進める。東は6回無失点の好投。楽勝かと思いきや、9回に康晃が大変な場面を作ってしまう。2アウト満塁。一発出たら逆転されてしまう。で阿部に押し出し死球を与えてしまい2点差。が、何とか抑えて、無事勝利。ヒーローインタビューで東が祐大のことを何か話すかと思いきや、何も言わなかった。「祐大のお陰で勝てました」とヒーローインタビューで毎回言っていて、「祐大のおかげ」という応援タオルまで売り出された。「僕が汐恩を育てる番です」と言っていた。汐恩には独り立ちしてもらわないと。打撃が売りでスタメン4番の試合もあったが、漸く打率が .200 に届いたくらいでは物足りない。もっと張り切ってもらわないと。最後の康晃「劇場」を大魔神佐々木が松尾が走者を出すと変化球を投げさせたがるのがいけないと言っていた。まだまだ修行が必要だな。まだプロ入り4年目の21歳だ。経験を積んで大きく成ってもらわないと。

祐大がいなくなったっショックはファンの方々にも大きいようで、Facebook の応援板を見たら相当荒れていた。それはそうだろう。正捕手がシーズン中にだからね。Hawks は今日負けて Lions に抜かれて3位に落ちたそうだ。打てる捕手が欲しいということで白羽の矢が立ったのだろう。Hawks が勝つのはちょっと気に食わない面もあるが、上茶谷が勝ち投手に成ると嬉しいように、祐大が活躍して勝ったというニュースが出たら嬉しかろう。頑張ってくだされ。

今日の野球では不思議なことが起きた。Giants が勝ったのに順位が下がった。一昨日の結果で Giants と Baystars が勝率 .500 で、勝ち星の多い Giants が3位になったが、今日両方勝って Baystars が18勝17敗、勝率 .5142、Giants が19勝18敗で、勝率 .5135。勝率の上な方が順位で上に成る、同率の場合は勝ちの多い方が上に成る、というルールでこう成る。貯金がある場合は引き分けが多いと有利。Baystars は引き分け1だが Giants は引き分けが無い。まあそんなことは言わずに、Baystars にはガンガン貯金を稼いでもらい、Giants にはどんどん負けてもらおう。そのためには祐大がいなくなるのは…。しつこいけどそれだけショックということだ。汐恩には頑張ってもらわないと。これから汐恩の名前を打つ機会が増えるようにと、単語登録しておいた。毎回「しお」で「汐」を出して、「おん」で「恩」を出すのは鬱陶しい。ということで松尾汐恩、覚えてください。

親父殿の95回目の誕生日に論文が完成したので、これから祝杯をあげようか？

早起きして鰻、などやはり出来るわけはなかった。ケーブルテレビのチューナーのハードディスクがカツカツで、昨日の相撲のダイジェストを追っかけ再生で見て寝床へ。この時点で既に4時過ぎ。その後寝床でまたうだうだと下らん事をして、で今日は起きたら1時半くらい。うな松は2時閉店だからもう無理。ということで鰻はまた今度。20日までだそうだから、行っておかないと。

で職場に着いて弁当を食して、生協の本屋を冷やかしたが、数セミが売ってないのは何故じゃ？と思ったら今日は11日で、毎月12日発売だからそりゃ売ってないか。

で2時55分からゼミ。今日はピタゴラス数のパラメーター表示が sin と cos を t＝tan(θ/2) で表すのを使っても出来る、という説明から。が、テキストには tan(θ/2) のことは出ていなくて、(－1,0) を通る直線と単位円のもう一つの交点は…、という説明。tan(θ/2) のことを言ったら、高校でやった覚えがあると言ってた。まあ覚えてないよね。小生も大学に入った時は覚えてなかったが、ピタゴラス数のパラメーター表示に使ったので覚えた。で最近コロナ禍で暇だった時に You Tube を見ていたら積分の計算にバンバン使ってるのを見て、定着した。導き方も分かってるし、忘れてもすぐ思い出せる。dx を t と dt でどう書くかは毎回計算してるけど。章末問題はやらないつもりだったが、始めてしまった。「偶素数」とか「M-素数」とか甚だ人工的に素因数分解の一意性を崩した世界のことを考えても意味が無いので、もう章末問題はやらなくていい、と言っておく。凄く難しいのもあるし。で終了後教育実習はいつなのか聞いたら、何と8月31日からだと言う。期間が完全にうちの夏休みに含まれている。講義期間中に3週間も欠席するのは大変だろうから、夏休みにやるんでよかったかもね。まあこっちは3週間休みがあると踏んでいたので、ちょっと当てが外れたが、まあいいです。

その後部屋で論文をプリントアウトして、直し作業を少々。途中までやってから7時ちょい前に職場を出た。今日は野球は無いが、さっき書いた通りハードディスクがカツカツなので、「八重の桜」を Blu-ray のディスクに直録りしてきたが、9時からやる「英雄たちの選択」も Blu-ray のディスクに録らないといけない。Blu-ray のディスクに録画予約出来るのは1番組だけなので、忘れずに帰って再設定しないと、と覚えていたので、帰ってきた次第。どちらも録れた。

でその後論文の点検の続き。もういいかな、という感じに成ったので、オリジナルと今回の変更点を列挙した紙を完成させ、で editor の先生に本体とそれの pdf ファイルを送って終了。まあよかった。前の論文の時はもう一回直しの指示があったから、もう一回あるかも。レフリーが下らん論文を丹念に読んでくれて、素晴らしい提案を幾つもしてくれたので大分良くなった筈だが、レフリーの言い分を取り違えて違うことをしている可能性は十分にあるので、返事を待つ。

あ、明日は資源ゴミの日だ。ちょっと買い物をして段ボールが少々溜まっているのと、論文のためだの何だので沢山計算したので、紙ゴミがちょっとある。酒の缶も少々。何でこんなにあるかな？と思ったら、先々週の資源ゴミの日は津山に行くんだったので、月曜の晩はちょっと早寝したのだった。そうだったか。論文の片が付いたし、ちょっと今晩は一生懸命分別するか。

あ、今日は5月11日。親父殿の95回目の誕生日。去年も書いたような気がするが、親父殿の誕生日と母の日が近いので、何かするなら二人同時にやらないといけないので、子供の頃から一度として特別なことをしたことはない。もう母親は死んだし、親父殿は施設に入ってるし、「生まれたところを遠く離れて」生きてるので、特に何も出来ない。まあ心の中で祝うことくらいはしよう。論文が一応形に成ったから、これから両方兼ねて祝杯といくかな。

「生まれたところを遠く離れて」を「 」で挟んだのは、浜田省吾のデビューアルバムのタイトルだから。今年ソロデビュー50周年だそうで、リマスターした CD が発売されたので買った。まだ聴いてないが明日から聴こうか？

返り十両の炎鵬が初日白星で大歓声

昨晩のふなごやは忙しそうだった。店長がこっちの顔を見るなり野球の話をしてきた。バイトの人も。11時近くにお客さんは全員帰られた。その後いつもの通りワインを少々。2014年（干支一回り前、前の午年）のワインはちょっと変わった味がして美味しかった。店長が絶対美味いから、と思って購入したそうだが、大当たり。他にも色々呑んで楽しかった。

で今日は3時過ぎまで起きられなった。野球が中止になるという夢を見たが、意識が戻って思い出したのは、ここ数日いい天気が続くとの予報。ということで急いでテレビを付ける。0－1という状況だった。才木が2ストライクからセーフティースクイズを決めたとか。結局1イニング1失点を3イニング続けて、打つ方は今日はさっぱりで、無得点で負けた。Tigers には5安打しか打たれていないが、それで3失点とは。石田裕太郎はいい内容だったようなので、来週も頑張ってもらおう。ということで一日で5割に逆戻りで4位転落。まあいいです。

野球が終わって暫く6チャンネルを見続けて、ニュースが始まって暫くして気付いた。相撲が始まってる。横綱大の里と大関安青錦が休場とか。安青錦はカド番だから、早くも陥落か、と思って調べてみると、途中出場して頑張って勝ち越しを目指すようなニュースがあった。途中出場で勝ち越した事例は無いそうだ。今場所はしっかり休んで、実力が出せる状況に戻して来場所十番勝って大関復帰というのがよさそうだが。再大関の霧島は勝ったが、もう一人の大関琴櫻ともう一人の横綱豊昇龍は負けた。豊昇龍は土俵を一人下りられず、花道を下がる時は付け人に肩を借りていて、その後車椅子で国技館内の診療所に向かったと言ってたが、心配だ。今日一番のニュースは返り十両の炎鵬が勝ったこと。十両も土俵入りがあるんやね。知らんかった。大きな声援が飛んでて、勝った時の歓声は更に凄かった。勝ち越せよ。

でその後寝床でうだうだと時間を無駄に使い、今日は今まで論文の直し関係の作業を一切してない。まあいいです。明日は2時55分に職場に行けばいいので、これからちょっと遅くまでやるかもしれない。が、うな松が3周年記念で全品500円引きという気前のいいことをやってくれるようなので、早目に行って一本鰻、という選択肢も捨てがたいなので、早寝早起きで、職場に早目に行って論文の完成を、ということにしようか？まあこれからの気分次第だな。

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

佐藤輝明が驚異の打率 .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連休だ。数学してください。しないか。帰省したり家族で旅行行ったり呑み会したりバイトしたりと、学生の連休は忙しいのだ。小生は論文を完成させるのと、新しいパソコンのセットアップだけで終わってしまいそうだ。論文完成させるよ。有意義な連休にしないと。