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

今朝は起きたら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球も放ったのは初とか。まあそういうことだ。切り替えましょう。