大晦日

いつものような暮れ。実家で大したことをせず、テレビを見ながら食っちゃ寝を繰り返している。そうこうしている間に大晦日である。今年は変な年だった。論文が出ることが決定しなかったら、本当に何も無い1年だったことになったが、まあいいでしょう。来年コロナが収まっている保証が無いので、もしかすると今年と同じような年になってしまう可能性もあるが、そうなると大変だ。収まるように祈ろう。

ではよいお年をお迎えくださいませ。

指数法則は苦手

横浜にいるが、京都と滋賀のことは気になる。コロナの感染者が増えている模様。かく言う神奈川県も増加傾向。帰省してもしなくても変わらなかったな。母親が弱っているせいで、食事はパン、カップ麺、スーパーの弁当と、こちらも普段とあまり変わらない。まあ会話が出来ることが一番の違いかな。

今日は年賀状を買いに行くために外出した。年明けに投函しに行くのに外出する以外は、とんと外出する理由が見付からない。まあステイホームということで。

で皆が寝静まってから、少し論文読み。が、まだ一つ目の定理の証明を読んでいる最中。さっきまで計算がうまくいかずにうだうだとやっていた。いや、単なる2次式の平方完成なのだが、ちょっと2の冪が複雑で、写し間違えただけだった。指数法則は苦手だ。予備校の模試で指数法則でミスって、微分方程式の問題でえらく点を落としたのが思い出される。指数法則は苦手だ。フェルマー素数の素因数の形を制限する時なんかも慎重にやらないといけないので、講義の時は冷や汗をかきながらやっている。指数法則に強くなれないだろうか？

実家なう

実家にいる。このご時勢に帰省とは何事だ！とおっしゃる向きもあろうが、母親が調子が悪く、来年はもうこの世にいない可能性がある以上、1年ぶりに顔を見せる必要性があると考えた次第。新幹線は空いていた。途中停車の名古屋駅からは人が乗ってくる様子が無かった。横浜市営地下鉄も閑散としていた。まあ大丈夫でしょう。うん。久々に呑み屋の大将やレジ係などの売店スタッフ以外と会話をしたような気がする。やっぱり人が近くにいるというのはいいもんだ。例年は帰省してもほぼ外出しない。年賀状を買いに行くのと出しに行くくらい。が、今回は母親が弱っているせいで、食事は買い置きしたパンか出前ばかりだそうだ。外食する機会があるかもしれないな。マスクを多めに持ってきてよかった。

同僚がメーリングリストに投稿していた。難しい話につき、冬期休暇にも関わらずミーティングを開くそうだ。もちろんオンラインだが。実家では自由に使えるスペースが無いので、参加するとしてもどう参加するかは考えもの。参加しないわけにもいくまい。寝床のある部屋でパソコンを開いて参加することになるのだろうか。幸いポケットWifiは持ってきてある。今もそれ経由で接続している。寝床で参加だな、うん。

生協に注文したものが届くはずだったのだが…

昨日はテレビを見てるうちに日が変わってしまったから更新しなかっただけ。大した理由はないです。はい。

で昨日は年内最後のゼミ。フェルマーのメルセンヌに対する問題の解答を楕円曲線を使って与える話と、Mordell の定理の証明のために使う代数的整数論の話題に関して。年明けから Lutz−Nagell の定理に入る予定。それが終わると複素数体上の話になるから、複素関数論の出番だ。美しくていいね。

で今日は先日生協に頼んだ物が届く予定だったので、職場に取りに行く。が、届いたと連絡が無い。閉店近くに生協に行ったら、届いていない、とのこと。ということは年明けまで届かないということだ。1月は6日から業務で、6日、7日とも1時からゼミで、終了が4時近く。生協は4時半までなので、取りに行くのは難しい。ということで、8日に誕生日プレゼントとして受け取りに行くのかな、という感じ。1月8日は忙しいぞ！

明日実家に帰るので、電話したが、中々出てくれない。豪を煮やして兄者に電話した。で現状を聞くと、色々あるらしい。今回の帰省は楽しくなくなりそうだ。

帰省をしよう、と心に決める

無性にトイレに行きたくなり、9時くらいに目が覚めた。で用足しをして、さてもう一度寝ようかどうしようかと迷い、結局そのまま起きることにした。若干寝不足だが、まあいいでしょう。ということで「科捜研の女」を2話ほど見て、昼までの時間を潰した。

1時から「数論序説」のゼミ。今日はデデキント ζ 関数を用いた類数公式の証明を完成。でさらに進むのかと思ったら、1人学生が来ておらず、そのために算術級数定理の証明を予習できていないらしかった。仕方ないので、3時前だが終了。で眠いので、1時間ほど横に成る。

4時半からお茶会。会議ではない。もろもろオンラインで情報交換をする時間。いつもと違うソフトを使って。適宜抜けて構わないのだが、こういう時にさくっと逃げられないのが小生の弱いところ。6時半くらいに数名が退出の挨拶をされたのに便乗して、「じゃあすいません、僕もここいらで」と抜けた。まあ色々情報が聞けたんでよかったです。

7時10分過ぎから「ミラクル9」を見始める。追っかけ再生出来るよう、ちゃんと7時から録画してある。CMごとに早送りしたら、3時間番組の間に本放送に追い付いてしまった。いい時間の節約方法を見付けた。これからもこれで行こう。面白かったのは、「○○○っと」の○の部分に仮名一文字を入れて、広辞苑に出ている単語を完成させる問題。結構色々出て白熱する勝負だった。で勝負が決した後にどんな正解があるのか見てみると、「ダイエット」とか結構易しい単語が残っていた。「マスコット」と出た瞬間に「マスカット」とを思い付いたが、解答者から「マスカット」は中々出てこなかった。30を超える単語が出て来た。面白い。9時48分に終了。

その後「報道ステーション」でニュース漁り。相変わらずコロナ感染者が増えている。28日に「ベイストンコモンの会」があってお誘いを受けているんだが、ちょっとあの店に10人以上集まるかと思うと二の足を踏んでしまう。どう断ろうと考えていたんだが、そうだ、帰省を理由に断ろう、と思い付く。名案だ。ただそう書いた以上、帰省しないわけにはいかない。ということで土曜日に実家に帰省することにした。帰っても外出は元々しないんだし、いいや、ということで。新幹線はすいているだろうし、横浜市営地下鉄も土曜日の夜だから、そんなに混んではいないだろう、と見込んでいるが、甘いかな？まあがっちりマスクして行きます。

久々に図書館へ行って、論文をコピーした

今日は月1の保健センターに処方箋をもらいに行く日。でいくつか用事があるので、同時に済ませてしまおう、ということで3時前に職場へ向かう。

保健センターには3時半頃着いたが、生協の営業時間が4時までだったか4時半までだったか失念してしまった。で保健センターで待っている間にスマホで調べたら、4時半までだとわかった。ちょっと安心した。でいつも通り血圧を測ってもらって、処方箋をもらってくる。

で個研室へ生協のチラシを取りに行く。生協でカタログを見せて「これが欲しい」と言ったら、もう無い、との返事。えー、それは…、と思ったら、小生の持って行ったカタログが夏頃のもので、今のカタログを見て改めて調べたら「あります」との返事。よかった。その伝票を書いてもらっている間に、指し棒を見付けたので買った。多分韓国で研究発表を行った時に置き忘れてきたのだと思うが、無いと講義の時に黒板を指せないので不便だった。え、レーザーポインター買えって？いやー、レーザーポインターだと感じが出ないのよねぇ。やしきたかじんのように黒板をバンバンと叩きながらやらないと。4時15分くらいまで掛かった。

で個研室に伝票やらを置いて、久々に図書館へ。最近は図書館に行って雑誌を見るということがとんと無くなった。オンラインジャーナルが充実しているし、論文を探すのは MathSciNet で、となっているので、わざわざ図書館に足を運ぶ理由が無い。今日は何故行ったかというと、オンラインでは手に入らない論文が欲しかったので。が、そのジャーナルが配架されていると思しき場所に無い。端末で調べたら、地下の自動書庫とやらにまとめて移されてしまったらしく、それを見たいのでカウンターへ行って出してきてもらうよう頼む。久々にコピーカードを出して、コピー。が、久々なので、どれくらい押し付けるとページの切れ目がちゃんとコピー出来るかを忘れてしまっていて、何度かコピーを取り直す。ということで30分くらい掛かったろうか。

個研室へ戻って、伝票を整理。そこで気が付いた。ファイルを買うんだった。急いで生協へ。え、生協は4時半までじゃ無いのかって？コンピューターや書籍を行う店は4時半なのだが、ノートを売っているのは別の店で、そちらは8時までやっている。2冊買った。1200円以上。思ったより高かった。まあ研究費で払うので、多少高いのは構わないが。で事務へ行って、伝票を研究費を管理しているところに送る算段をして、今日は終了。やれやれ。

帰りはドラッグストアに寄って、処方してもらった薬をもらってきた。いつの間にか8時を回っていた。急いで帰宅して、「トリニクってなんの肉！？」を見る。昨日書いた通り「追っかけ再生」で。面白かった。相変わらず平成生まれはメチャメチャである。前に国の名前をヒントに出せれた時、「仏」がどこの国かわからなかった面子が多数いたが、今日は「独」をドイツとわからない輩が多かった。ベッケンバウアーって誰？という問題で、ヒントが「蹴」と「独」。何故「ドイツのサッカー選手」とならないかね？不思議でしょうがない。面白かった。

先日「4^x＋6^x＝9^x を満たす x を求めよ」という問題が YouTube で出ていたが、見た瞬間に「解無しやないかい」と思ってしまった。x が整数だと思ってしまうのは整数論屋の性である。それだったら左辺は偶数、右辺は奇数だからね。じゃあどうやって解くんだろう？と思って説明を見て合点がいった。成程、確かにそうだ、と思った。3^x＋4^y＝5^z を満たす x,y,z∈N を決定せよ、という問題は入試に出せないだろうか？うちの入試は証明問題は出せないので無理。どっかで出さないかな？答えば x＝y＝z＝2 のみ。これのもっと一般的な「a²＋b²＝c² を満たす自然数 a,b,c に対し、a^x＋b^y＝c^z を満たす x,y,z∈Nは x＝y＝z＝2 のみ」というのは未解決問題で、Jesmanovicz 予想という。もっと一般的な「寺井予想」というのもあるが、こちらは正確なステートメントを忘れてしまったので書けない。寺井さんは「寺井予想」に関する問題を何件も referee をしたようだが、予想は解決されるんですかね？今度聞いてみよう。来年出る論文で小生も予想を挙げておいたが、それが「加川予想」と呼ばれる日は来ないだろう。論文が出る頃には解決してしまっているかも、というでかいことが言えるよう、研究に励む。

林屋こん平師匠「誤嚥性肺炎」で亡くなる

昨日は日が変わる前に寝た。で今朝は9時くらいに起きた。ゼミは1時からだから余裕で間に合う。朝飯はインスタント物、昼は Uber Eats で。

で1時からゼミ。今日は前から懸案事項に成っていた、C_p での一致の定理の類似。聞いたこともないような本に証明が載っているのを見付けたらしく、それを紹介してくれた。どうやってそんな本を見つけたんだ？と聞いたら、図書館で探して見つけたそうだ。じゃあどうやってそのタイトルから C_p の位相のことが出ているのを見つけたんだ？と聞いたら、何だかよくわからない答をしてきた。まあいいや。で途中で前から小生が気になっていた事実が証明されていた。ホワイトボードは取っておいてあるんで、後で見てみる。

明日の「トリニクって何の肉？」は3時間スペシャル。ハードディスクを空けないといけないので、いくつか番組を見てハードディスクの容量に余裕を作った。そんなもの録画しないで生で見ろって？いや、途中でトイレに行きたくなったり、電話が掛ってきたりと、色々邪魔が入るのが予想されるので、録画しておいて5分遅れくらいで追いかけ再生するのが一番よいのだ。で終わったらすぐ消すということで。水曜日は「ミラクルナイン」の3時間スペシャルをやるので、こちらも同様に。

林屋こん平が亡くなったそうだ。死因は「誤嚥性肺炎」。小生の祖父もそうだったが、案外「誤嚥性肺炎」で亡くなる人は多い。少し前も同じ原因で死んだ芸能人がいたような気がする。年を取ると嚥下する能力が下がるそうで、ある程度の年になったら誤嚥には気をつけないと。まあまだ小生は50代だし大丈夫だろう。親が心配やね。2人とも80過ぎてるし、親父殿にいたっては来年90だ。気をつけてもらわないと。おっと話がそれた。こん平師匠の冥福を祈る。

M1グランプリを敗者復活戦、本番とも見た。優勝は…書かない

昨日は更新しなかったが、もう土曜恒例になっている感じ。特に何もせず、呑みに行った、それだけ。

で呑んで帰ってきたら大体寝ないんだが、昨日は眠すぎてダウンした。で朝早く目が覚めた。寝不足だがM1を見たいんで、起きていた。で敗者復活戦も本番も全部見た。面白かった。まだ結果を知らない人がいるかもしれないので、あえて書かないが。面白かった。抱腹絶倒。この書きようだと毎年見ていると思われるかもしれないが、実はちゃんと見るのは今年初めて。例年は大体呑み潰れていて、真面目に見たことがない。去年のが面白かったという噂を聞いて、今年は見た次第。去年のM1は実はDVDを買ったんだが、まだ見てない。DVDは新幹線に乗ってる時しか見ないし、今年は正月に横浜から戻ってくる時に新幹線に乗って以来乗っていない。出張がことごとく無くなったからね。で横浜に帰省するかどうかはまだ決めていないので、去年のM1はまた見ないかもしれない。いつか見よう。

もう眠くなってきた。明日のゼミは1時からだからまだ起きていようと思えば起きていられるが、そろそろ寝たほうがいいな。たまには日の変わる前に寝るか。

梶谷の人的補償は田中俊太

今日は10時頃起きるはずだったが、やはり無理だった。まあ起きられなくても大過ないんでいいんだが。で3時からイレギュラーな会議。彼は相当緊張していたね。「ありえない」というお怒りもわかるが、まあまあそこは。とりあえず無事に済んだようで何よりでした。5時過ぎに終了。

5時過ぎに区内某所で野暮用。本当は午前中のはずだった用事。何事もなく済んで、その後住処へ戻ってくる。その後「マツコ有吉かりそめ天国」の3時間ものを流しながらぽつぽつと作業。

今日はプロ野球のゴールデングラブ賞の表彰式があったようだ。Baystars から1人も出なかったのは残念。まあそういう芸風のチームではないのでいいでしょう。印象的だったのが大田（Fighters）。Giants から追い出された先で生き生きと活躍している。ついにゴールデングラブ賞まで受賞。Giants なんかい続けなくてよかったね。梶谷の人的補償として Baystars は田中俊太を獲得したようだが、田中も Giants にいなくてよかったというくらいの活躍を見せて欲しい。

で今ちょっと大田の名前を調べた（太田かもしれないと思ったので）ら、何と来年FA権を獲得するであろう大田を Giants が狙ってる、とかいうとんでもないニュースが出ていた。おい！それだけはいかん。大田も Fighters に行ったお陰で活躍できたことを忘れず、素直に残留して欲しい。これ以上 Giants の草刈場にしたらいかんぞ。今年梶谷が失敗してくれれば大田は馬鹿なことは考えまい。とにかく、大田は Fighters に残れ！

「加藤」を「加川」と間違えた

昨日は寝たのがちょっと遅かった。まあ今日は12時半に起きればいいし、問題ないでしょう、と思ったら問題があった。まず宅配便に起こされた。不愉快。まだ眠いのでもう一度寝る。が1時間もしないで電話に起こされた。何やら通販のようだが、人の名前をずーと「かわが」と言っている。こんな読み間違いをされたのは初めて。不愉快千万。で電話を切ったときに時間を見たら、まだ30分ほどは寝られそうなので、寝た。できっちり12時半に起きた。

1時からゼミ。今日は素数 p が合同数であったりなかったりする例をいくつか与え、合同数であるときに y²＝x³－p²x の無限位数の点を与える話。p＝53 の場合の Mordell－Weil 群の生成元が結構ごつい。こういうのは今なら SageMath や Magma で数値を打ち込んで Enter キーを押せば済んでしまうが、そこは若干古い本だけあって、色々工夫していた。勉強に成った。3時過ぎに終了。

今日はM1の学生が来ないな、と思ったら、どうやら設定を間違えて、彼に送るはずのメールを小生に送るというミスをしてしまったためだった。彼は加藤というのだが、大学の時バイト先で加川と加藤をバイト先の人がしょっちゅう言い間違えていたが、それに類するミスだった。結構言い間違えられると不愉快だったが、今日は自分でやってしまうという、考えられないミスだった。まあいいんだけど。

寝不足のためか、ゼミ中に頭が痛くなってきた。眠くはないのだが、念の為ということで4時間ほど寝た。頭の痛いのは治まった。明日は午前中に用事があるので、早目に寝る。

今日はプロ野球の表彰式があったようだ。件のセ・リーグ新人王だが、ちゃんと Carp の森下が取ったようだ。よかった。森下が10勝、戸郷が9勝ということで、戸郷は特別賞とやらをもらったようだ。森下がいなかったら文句無しの新人王だからね。野茂が新人王を取った年は、石井浩郎（近鉄）が20本を越えるホームランを打ち、野茂さえいなければ文句無しの新人王だったためやはり特別賞だった。こういうのは時の運だ。特別賞でももらえただけいいでしょう。

さて、表彰式のタイトルに「award」という単語が「あわーど」と読んで使われているが、これは間違い「あうぉーど」が正解。もう定着してしまったため、今更変えろといっても誰も聞いてはくれないが、受験生はきちんと辞書を引いて、発音を覚えて欲しい。引っ掛け問題として出てもおかしくはない。他にも「warning」など。これも「うぉーにんぐ」が正解。発音問題は点に成る。発音問題馬鹿にすることなかれ。そうそう、最近「バズる」という言葉がよく使われるが、これは「buzz」から来ている。これは皆「バズる」と読むが、「buzzer」を「バザー」という人はいない。これはもう日常語として定着している「ブザー」。もうここまで日本語に成ってしまったら仕方ない。「award」はまだそれほどでもないと思うので、プロ野球界が旗振りになって、きちっと「あうぉーど」と読ませるようにしてもらいたい。

野球選手の妻

昨日は眠くて日が変わる前にダウン。で目が覚めたのが10時半くらい。よく寝られる。健康な証拠だな。

1時から「数論序説」のゼミ。今日は概ゼータ関数とデデキントゼータ関数。部分ゼータ関数が ζ_i で、体 k のデデキントゼータ関数が ζ_k。何故体を大文字にしないかね。他にも錐の部分集合 C₁ が出てくるが、イデアル類に C_i と番号付けしている。こっちは脚注に注意してくれていたが、別の notation には出来なかったのだろうか？錐ってドイツ語で何というのだろう？錐に C を使うのは cone と英語で言うからだと思うのだが。K で始まる単語だと体と紛らわしい。まあ幸い代数体は k で書いているので、混乱は起きない。うーん、難しいね。そんなことを気にしいしい、ロクに学生の話を聞いていなかった。問題無く進んでいるようなので、いいでしょう。何度も書いているが、進学する学生はいないんだし。デデキントゼータ関数の節は長く、問題に回されている命題も多いという。なので、どこかで打ち止めにして、来週に回そう、と考えていたら、学生の方からストップを掛けてくれた。よかった。来週は単数規準を定義して、いよいよデデキントゼータ関数を使った類数公式。これくらいやると一通りやった感じはするね。アーベル体の類数公式までは行きそうにない。あと3回くらいしかないからね。まあいいでしょう。3時45分頃終了。

4時半から会議。来年度もコロナ禍が続くかもしれないので、来年度はどうしましょう？という重たい議題があった。結論は出なかったが、一応の方向性は決められた。来年度は教務委員ということもあり、真面目に聞いていた。再来年もコロナが続くようだと、まだまだ気が重いぞ。とにかく全て対面授業になる、という状況に来年度中に成ってもらわないと。6時40分過ぎに終了。

夕食は例に寄って Uber Eats。届いたものに貼ってある紙を見たら、「UVEREATSをご利用頂きありがとうございます」という思いっ切りのいい typo があった。まあいいんだけど。その後はテレビ。「野球選手の妻」という番組だったので、興味深く見た。やっぱり勝負師の奥さんは大変だ。そろそろ年末恒例の「戦力外通告」が放送される。あの番組を見ると、21やそこらで戦力外に成ったり、30ちょっとで子供が小さいのに戦力外通告を食らったりした選手を見ると、勝負師でなくてよかった、と思う。いや、我々の職業も勝負だな。大学に職を見つけるまでが勝負。期限付きの職だったら次を見つけるのに勝負、パーマな職に就けたらドクターの学生の指導を出来る権利を得るまでがまた勝負、さらにその権利を保ち続けるのも勝負。まあどんな状況になっても定年まで職にしがみつくことはできるんで、その辺は野球選手に比べれば楽だが。勝負をしましょう、うん。

番組が終わった後は、ちょっと明日の楕円曲線ゼミの対策として、久々にシルバーマン・テイト（足立恒雄、小松啓一、木田雅成、田谷久雄訳）「楕円曲線論入門」を開く。出ていて欲しそうな例がきっちり出ていた。素晴らしい。対策はばっちり。明日のゼミが楽しみだ。

夏色のナンシー

2日程更新しなかったが、まあいつもの通りですわ。月曜日に更新する積もりだったが、気付いたら12時を回っていた。ちょっと勉強が壁に当たって、その部分をどう乗り切るか検討していたら日が変わってしまった、とそういうことでした。はい。

月曜日は1時から円分体のゼミ。先週は無かったので、中1週間空いた。で今日目出度くアーベル体の円分 Z_p 拡大の μ 不変量が消えていることの証明が完了した。難しいな。来週からしばらくは正真正銘の円分体の話になるようなので、今日までは我慢。キリがいいというわけで、3時ぐらいに終了。別に小生から強制ストップのサインを送ったわけではなく、学生の方でストップしてくれた。よかった。

日清のシーフードヌードルのCMだが、早見優が「イカかな？イカじゃない？」と歌っている。長いバージョンのCMが珍しく流れて、聴いてみると「イカじゃないけどほぼイカね そんなシーフード」と歌っている。うーん、この歌の元歌が分かる人はどれくらいいるんだろうか？聞いたことがある人はある程度の年齢層に限られてると思うので、あまり宣伝効果のあるCMとは思えない。まあ早見優は好きなので、放送に乗ってくれるのはありがたい。一時ちょっと衰えたかと思ったんだが、今のCMを見ると若い頃とあまり変わっていない。もう50も半ばというのに。最近宮崎美子のカレンダーが話題だが、年を取っても若い頃のままというのはよい。小生ももう少し若くしよう。その前には体重を落とさないと。やる気あるかって？無いなぁ。

弱 Mordell－Weil の特別な場合の証明をきっちり理解した

今日は特に用事が無いので、時間を気にせず色々出来る日。で昨日の続きの弱 Mordell－Weil の定理の特別な場合の証明を理解した。ということで rank の上階を得ることが次の節の目的なのだが、息抜きにフリーセルをうっかりやってしまった。また勝率を落としてしまい、元に戻すのに必死。結構な時間無駄に使ってしまった。ということで今日は数学はやめて、明日続きをやることにした。もう眠いし、寝てもいいと思ってるんだが。前にも書いたが、体調が万全でない状態では数学は出来ない。ということでばっちり寝て明日に備えようかと思っているが、さて本当に寝るのでしょうか？ここから MathSciNet 漁りやオンラインジャーナル漁りをやらないように気をつけないと。

梶谷の G への移籍が決まってしまったようだ。井納も G への移籍の方向らしい。むぅ。まあいい、こうなったら梶谷をばっちり抑える策や井納を打ち砕く策を考えよう。しかし32歳の梶谷と34歳の井納をFAで取るとは。G も酔狂だな。梶谷は4年契約らしい。8億とか書いてあったな。梶谷が金につられたわけではないと信じたいが。しかし梶谷はそれほどの選手だろうか？今年こそ3割2分を越える打率と19ホームランと結果を残したが、去年までは怪我勝ちで、フルシーズン働いたのは今年が初めて。また故障して出番無くなったら G はどうするだろうか？まあ4年契約だから得意の飼い殺しだろうな。陽岱鋼の二の舞か。可愛そうに。なんか梶谷が働かないことを前提に書いているようだが、そんなつもりである。梶谷は G では活躍できない！そう希望、いや、断言する。何故なら小生が呪いを掛けるからである。梶谷は打ってもいいが、G が勝たないよう徹底的に呪いを掛ける。3割2分、20本でもいいが、ホームランは全部ソロホームランで負け試合で打って、ヒットはランナーを返さない当たりばかり。そう呪う。

いなくなる選手のことばかり書いても空しいだけなので、少し前向きになろう。監督は番長である。キャプテンは佐野が続投、オースティン、ソトが残留。先発ピッチャーさえちゃんとしていれば今年の様なことは無いはず。来年も引き続き TBS チャンネル 2 で全試合放送してくれるそうだから、楽しみにしていよう。

弱Mordell－Weilの定理の証明を読もうと思ったが、その前段階で躓いた

木曜日は1時から楕円曲線のゼミ。ちゃんと12時半くらいに起きた。カップラーメンを胃袋に流し込んで、ゼミへ臨戦態勢。今日の目的は階数の上界を与えること。そのために “good” 、 “fairly bad”、“very bad” という謎な terminology を定義した。で E_n：y²＝x³－n²x とした時、n＝1 の場合は階数の上界が0なので、1が合同数でないことが示された。n＝2だと上界が1になるので、すぐには階数0は従わず、もう少し細かい議論が必要になって、それを証明したところで終了。2が合同数でないことも示せた。めでたい。来週は素数 p に対し、E_p(Q) の階数 r は、p≡1 (mod 8) なら r≦2、p≡3 (mod 8) なら r＝0、p≡5,7 (mod 8) なら r≦1 ということを示すようだ。square-free な自然数 n に対し、「n≡5,6,7 (mod 8) なら合同数である」という予想を忘れずに伝えないと。p≡5,7 (mod 8) なら r＝1 となることも従うわけだな。うん、楽しみ。3時半頃終了。

と書くといかにも話にきちんと付いていけて、ばっちり理解できたように見えるかもしれないが、そんなことはなく、途中で落ちこぼれていた。ということで、わからないところを早いとこ補っておこうと思って、ゼミ終了後急いで復習。思ったより時間が掛り、まだ追い付いていない。E(Q)/2E(Q) が有限であることの、2等分点が Q 有理点である場合の証明をきっちり読まないといけないのだが、その手前で躓いていて、予想以上に時間を食ったのが原因。もう今日はやめて、明日続きをやろうと思っている。論文の続きはとりあえず先延ばし。

さて、先日事務に過去5年の研究業績を申告する必要があって書類を書いたのだが、2016年に出た論文をリストからもらしてしまった。何故忘れたかというと、その論文は MathSciNet に載っていないため。もうちょっと journal を選んで出す必要があった。それが無いために一つよくないことが起こったため、事務に今から書類の出しなおしは駄目か？と聞いたら案の定駄目だった。とんだドジだ。まあ来年もう1回出せるそうなので、そのときにちゃんと書けばいいや、ということで深く考えないことにした。来年はもう一本論文が出るし、立派な書類になって、いいことがあるでしょう。何？何を言いたいのかわからん？それはいつもの通りわからんように書いてるからでしょう。分かった人は分かったでいいですけど。

論文に解なしと書いてあった方程式に解を見つける

水曜日は1時から「数論序説」のゼミ。一旦10時過ぎに起き上がったんだが、まだ頭がフラフラするので、もう一度横になって、12時半に起きた。体調はばっちり。今日は Minkowski の定理。前の節でやった格子とか平行体の体積の計算とかが役に立つ。Minkowski の定数が2未満ならば類数1とか。で類数1の虚二次体は決定されているが、その9つが実際に類数1であることを示す問題が出ている。全部同じようなもんだから途中でやめさせればよかったが、折角やってきたんで全部話させる。その後は幾つかの実二次体が類数1であることや、類数が2以上の虚二次体の無限族を作る問題もあった。で後で気付いたんだが、類数1の実二次体の無限性はまだ分かっていないとか、類数2以上の実二次体は虚二次体の場合の符号を変えても出来ない（もっと素因子の個数を増やさないといけない）とか言い忘れた。まあいいや、進学する学生はいないんだし。3時半前に終了。

4時半から会議。今日は超短時間で済むのではと期待していたが、45分くらいは掛った。まあ短時間の部類。学生に博士号を与える件で、ちょっと手続きに不備があった。まあ大丈夫そうでよかった。

で6時過ぎから論文読みを始める。今日は Introduction だけ読もう、と決めていて、読んだ。で例が出ていて、その方程式は解が無いと Grinstead という数学者が示している、と成っていて、本当にそうかと思って計算したら真っ赤な嘘。解があるじゃないか。それを納得するのに随分時間を食った。細かい計算ミスが大量にあったから、それを Maple で確かめようとして挫折して、もう一度手計算をやり直すなど。いやいや、嘘がわかってよかった。何かの時にこの例を使おう。でノートに整理して11時くらいまで。やれやれ疲れた。これだから論文読みはたまらん。

明日は1時からゼミだから、今日の夜更かしは程々にする。これ以上論文を読むと寝られなくなりそうなので、今日はここまで。本体部分は明日以降。明日と断言しないのが弱いところ。体調によるね。体調悪いと数学の勉強なんて出来ない。やはり酒を呑まずにばっちり深い眠りを取らないと。ということで今日も当然酒抜きで。

昨日の書きようを見ると、Tokyo J. Math. なんかちょろいぜ、と書いたように見えてしまう。いやいやそんな積もりは毛頭ない。ただ小生の修士論文を掲載してくださった「懐の深い journal」と思っている。言い方を変えただけ？うん、まあそうかな。もちろんいい加減にやっているなどとは毛頭思っていない。今回も referee は本質的に論文を変える助言を下さったし、editor の方も論文の間違いを指摘してくれた。で昨日のメールには「ピリオドが無い文章がある」という指摘があった。凄く細かいところまで丁寧に見てくださる journal である。数学会で表彰された journal でもある。皆さんも是非投稿を。

論文が Tokyo J. Math. に掲載決定！

今日は宅配便に2度起こされた。不愉快千万。ゆっくり眠らせなさい。眠いがもう起きることにした。その後しばしテレビでコロナの情報を仕入れ、3時過ぎに区役所へ向かう。マイナンバーカードには電子証明書というのが付いているらしく、それの期限が来月までということで更新に行ってきたのだ。期限は5年だそうだから、もうマイナンバーカードを作って5年になるのか。皆やれマイナポイントだと騒いで今年作ったようだが、小生は流行の最先端を行ってたわけだ。いや実はまだマイナポイントを手に入れていない。明日にでもやる。買いたいものがあるわけではないのだが、まあいいでしょう。

で役所から帰ってきて、日曜日にやっていた大河ドラマを見る。いよいよ来週、武田信玄が信長打倒に出張ってくるらしい。将軍義昭が信長に反旗を翻す。面白くなってきた。

で眠いからもう寝ようか、と思って立ち上がって、パソコンの電源を切る前にメール読むか、と思ったらいいことが。論文が受理された、とのメール。うむよかった。2つの journal から reject を食らい、最後は Tokyo J. Math. を頼りに出して、そこでまた reject となったらもう学内の紀要にでも出すしかないと思っていたのだが。まあよかった。tex ファイルと pdf ファイルを送れ、とのお達し。さらに author name を完璧にするため、given name と surname を教えろ、とのこと。Given name は Takaaki、surname は KAGAWA と。後は載るのを楽しみに待つだけ。来年度に成りそうだがまあいい。これで今夜はぐっすり眠れそうだ。さー、今度は reject されないような論文を書くぞ！

今日は何もしなかった

更新を二日サボった。土曜日は特に大したこともせず、9時過ぎに呑みに出たくらい。昨日は昼の11時半から Baystars のファン感謝デーの様子をテレビで放送することに成っていて、見たくて呑んだ後寝ずに起きていて、ファン感謝デーを見たのがやったことの全て。上茶谷が梶谷の形態模写をやっていたが、そっくりだった。でその梶谷に来年のことを聞くという、アナウンサーが大胆なことをした。で梶谷は何と答えたかというと、「僕今微妙な状態なんでね。迷っているところです」と。うむ、残ってくれる可能性は十分にある。残ってください。で夜の10時過ぎにもう寝てしまった。眠かったのでね。

で今日は10時半に起きた。たっぷり寝たし、徹夜の疲れは取れていた。でその後テレビでコロナの最新情報を仕入れていた。え、月曜はゼミだろうって？いえいえ、先週無しにするかもと学生が言っていて、一昨日ゼミは休みにしてくださいというメールが来ていたので、今日はゼミが無かったのだ。で昼飯はUberEatsなんだが、いつもより時間があるので、回転寿司屋で特上を頼んだ。まあ回転寿司の特上なんだから、値段は大したことは無い。で折角ゼミが無くなったんだから、その時間を使って役所に行く用事を済ませるつもりだったのだが、腹が痛くなってきて、しばし悶絶。食い過ぎか？役所は明日行くことにした。明日は元々用事が無いので。

で夕刻に就職センターからメールが届いていて気が付いた。今日は会議があるのだったが、ゼミがあるので欠席、と言っておいたのだった。うむ、ゼミが無かったら出席できたぞ。まあいいや。どうせ形式的な話があるだけだから。会議の資料は送ってくれるというし、問題無い。

でその後ニュースを見てから「かえれマンデー見っけ隊」と「Ｑさま！」の3時間スペシャルを流しながらフリーセル、っておい！何してんねん。大分勝率を上げたのだが、そこから派手に連敗して、勝率が下がってしまった。それを戻すのに必死。フリーセルはあかんて。もう今日はやめよう。明日やるかもしれないが。ということで1時間30分ほど我慢、ておい！

今日は野球のトライアウトがあったようだ。新庄が出た、というのが一番のニュース。4打数1安打と結果を残したが、Swallows と古巣 Fighters は「獲得は考えにくい」と難色を示している。Tigeres も無いでしょう。何しろ福留をリリースしたくらいだからね。若返りをはかっているのでしょう。48歳ではちょっとね。Baystars も無いだろうね。外野手はたくさんいる。ライトはオースティン、レフトは佐野、センターは残ってくれたら梶谷、梶谷が残ってくれない時は神里。他にも桑原、乙坂、細川など。ソトはファーストに固定する積もりだろうが、いざという時はライトもセカンドも出来る。他の球団もまあ無いでしょう。6日間でオファーが来なかったら野球はすっぱりやめる、ということ。1年間頑張ってトライアウトを受けられるくらいに仕上げたんだ。駄目でも悔いはないでしょう。うん。

下半身のみならず、腕の付け根が筋肉痛

今日は特に何もしていない。住処からは一歩も出ていない。表の空気を吸いにベランダに出るくらいはしたが。ちょと役所に行く用事があったんだが、急ぎではないので、来週行く。まあこんな日もいいでしょう。

昨日たっぷり歩いたので、今日は下半身筋肉痛。太腿がパンパンに張っている。それだけでなく、腕の付け根が痛い。やはり運転中に上半身に相当力が入っていたと見られる。自動制御にすると上半身に力がより入るのは間違いないようだ。やっぱり機械を信用していないらしい。トヨタの人によれば、ハンドルから手を離しても理論上は構わないそうなのだが、長いことハンドルから手を離すと警告されるらしい。昨日もちょっと力を抜いていい加減にハンドルを持っていたら、警告のメッセージが出た。ということで力が入ったのである。上半身の力を抜くのは運転の基本だ。もう一度基本に立ち返って運転しよう。

コロナはますます大変なことになっているようだ。本当に年末帰省するかどうか考えないとまずいかもしれないな。別にこっちとしては親と兄者の顔を見ないでもいいのだが、向こうはこっちの顔を見たいだろう。まる1年帰省してないからね。もう少し考えよう。

ゼミが無しになったので姫路城に行った

木曜は一時から楕円曲線のゼミ、のはずが、今日は学生の体調不良により休み。ちゃんと12時半に起きて食事もしたんだが。まあしゃあないね。

ということで急遽時間が出来てしまった。さて何をしよう。で少々考えて、姫路城行きに決定。寒くてたまらんというほどの寒さでもないうちに行っておこう、ということで。カーナビに姫路城を案内させて、一路姫路を目指す。高速道路に120km以上乗る。こんな長距離は久々なので、緊張した。こういう時は前車を追尾するモードにしておくと楽。小生の運転は割合速度の上下動が激しい。周りの車に迷惑を掛けるので、使える時は使っておくことにしている。

で3時40分くらいに姫路城の前に到着。近付くと放送が。4時を過ぎると入城出来ないと言う。ちょっと急いで入場券を買うところに急ぐ。その途中ポカリスエットを飲もうとしたら、マスクの紐が取れてしまった。仕方ない、ご勘弁願おう、と思ったら、入り口でマスクを買え、との指示。60円。まあしゃあないか。で入場券を買って中へ。1000円。さすがに昔の城だけあって、登りが結構きつかった。いざ天守閣の中に入る。やはり国宝。見事。3500円近い高速道路の通行料を払って来た甲斐があるというもの。急な階段を6階までふうふう言いながら登った。急な階段は帰りの方が辛い。落ちるんじゃないかと思いながら必死で下った。天守閣の外に出た時点で4時半を過ぎていて、西ノ丸の建物にはもう入れなかった。残念。まあしゃあないね。その後敷地にある神社を見たりと、結構歩き回った。が、いつもの通り道に迷った。うろうろしないで素直に駐車場に向かうべきだった。城から大分離れてしまい、自分がどこにいるか全く分からない状態。公園を突っ切ってみよう、ということで公園の中に入り、地図を見たり地元の人らしい人に道を聞いたりして、ようやく見覚えのあるところに出られた。やれやれ。

で5時45分くらいに駐車場を後にする。自宅を目的地にセットして、いざスタート。行き同様高速道路で。今回も文明の利器を大々的に利用。アクセルとブレーキを気にしなくていいのは何とも楽なもの。が、何故かいつもより肩が凝る。色々気を配らないといけない時は肩の凝りなど気にならないということかもしれないが、もう凝って凝ってしゃあない。あと15km程だが、桂川で一休憩することにした。腕を回して首を回して凝りを解消した後、コーヒーを一杯飲んで一路京都東を目指す。もう大した距離じゃないので、文明の利器を使うのはやめて、自力で行くことにした。神様はそれを見ていたんだろうか、走行車線を60kmくらいで走る羽目になった。2台前を走っているトラックが55km～65km前後で走っている。追い越し車線に出たいところだったのだが、追い越し車線は追い抜かしたい車が列を作っていて割り込めない。仕方ないので、京都東まで我慢。7時半過ぎに京都東着。住処までは2km無いので、帰ってきたようなものだが、家に帰るまでが旅行だから、気を抜かずに最後まで頑張った。疲れた。ようやく1800kmを超えた。次はどこへ行こう。不要不急の外出は控えよとの仰せのようだから、しばらく自粛するか。

部屋に入ってスマホのヘルスケアのページを開く。今日は結構歩いたようで、9293歩。1万歩って大変なのね。因みに階段は19階上ったようだ。明日は筋肉痛だな。

さて、世間はコロナの話題と GoTo トラベルの話題が主のようだが、Baystars ファンにとってはソト残留が一番のニュース。一昨日の晩第一報が入ったんだが、何か信用できないので、あえて触れなかった。が、昨日ソト本人のメッセージが発表された。よかった。最悪のケースとしてソト、梶谷、井納が揃って G へ移籍、というのがあったんだが、それは避けられた。梶谷も残ってくれるといいんだが。井納？うーん、微妙だな。出来の良し悪しがあまりにもはっきりしているので、井納の先発の日は計算が出来ない。そういう意味ではいなくてもいいかな、という気はするんだが、シーズン通してローテーションを守ってくれるから偉い、という気もする。残ってくれたほうがいいかな。そうすると G にとっては最悪のシナリオに成る。もう G は憧れてもらえるチームではないのだ。去年の福田秀平（Hawks → Marines）、鈴木大地（Marines → Eagles）を見ても明らかだ。やはりここは G にお灸を据えるべく、3人とも残留と願いたい。

ややこしそうな会議は以外にも短時間で終了

水曜日は1時から「数論序説」のゼミ。今日はちゃんと12時半に起きた。で今日の1番バッターが休み。うむ、またか。と思ったんだが、2人目から章が変わって解析的方法に成るので、1番バッターのやるはずだったところを何も知らなくても話は出来る。傷は浅かった。で今日やったのは「疎」とか「格子」とか。開球とか閉集合とかコンパクトとか出てくるので、学生は一番苦手なところかと思われる。まあ Rⁿ の距離位相だから大したことないか。その手の議論が一通り済んだところで、最後は体積の計算。重積分の計算がたくさん出てくる。この手の議論は「代数」の研究室を選んだ学生は大いに苦手にしているはず。ディリクレ積分とか Γ 関数とか出て来る。格子を Γ にしてたな。Lattice というくらいだから L にしておけばよかろうに。ドイツ語で Gitter だから G でもいいな。それぞれ体に見える、群に見えるということで Γ にしたか。まあいいんだけどね。来週は Minkowski の定理。凸集合とか出てくる。今見たら「有限交叉性」なんていう言葉が出ていたが、コンパクトを習っていても有限交叉性は習っていない可能性があるな。まあそこは自習してきてくれないと。来週も重たそうなゼミだ。3時前に終了。後で今日サボった学生にメールを書いておくことにする。

4時半から会議。今日はややこしい議題があったので、相当遅くなるぞと覚悟を決めていたんだが、そうでもなかった。大体皆さんの思う方向が似ていたためか。6時前には終了していた。よかった。今日の成り行き次第で来週継続審議となる可能性があったのだが、今日で済んでよかった。まあこの件に対してはもう1回集まる必要があるんで、完全に終わりではないが。

野球が無いと外に食事に出られる。この前ココ壱のカレーラーメンが気になっていたので、行ってみた。が、カレーラーメンは無く、カレーうどんに成っていた。まあいいや、ということでカレーうどんを食べてきた。ココ壱の味をベースにしているが、和風な感じも入っていて、美味しかった。ただ餡が掛っているのと同じ原理で、大変熱い。フーフーしながら食べた。Uber Eats で頼むより安く済んでよかった。明日は何食べよう？

会議中に宅配便が届いたが、さすがに席をはずすわけにはいかないので、スルーした。こういう時は宅配ボックスに入れてくれるので問題は無いんだが、今日は宅配ボックスに荷物が届いた時に点灯するランプが点いていない。ということでポストを見たら、宅配ボックスに入れようと思ったが、タッチパネルが反応せず、入れられなかった、というメモが入っていた。しゃあない。再配達の手続きをしないと。明日もゼミだから、明後日にしよう。これから手続きをする。それが済んだら寝よう。おっと、学生にメールを書くんだったな。

伊東先生のコロナウィルスに関する話を聞く

火曜日は教授会が無ければ何の duty も無い日なのだが、今日は教授会。で定時の4時半から、とはいかず、保健センターの伊東先生がコロナウィルスについてお話をしてくださることになっていた。で伊東先生の話を45分ほど聞く。よく知っている話が多かったが、知らないこともあった。聞いてよかった、という感じ。ありがとうございました。教授会はそこからすぐ開始。形式的な議題が多く、30分ほどで終了。来年度は執行部に1人、大学協議会（という名の会議がある）の内容を報告する人に1人、数理科学科から出ることになっている。要するに形式的な議題のため、二人取られるということ。そのため学科メンバーの委員は大概兼職。忙しくなるね。

教授会終了後は明日の会議のための調べ物。MathSciNet を見たり、科研費のデータベースを調べたり。後者は何のために調べたかというと、名前が読めない人の読みを調べるため。MathSciNet はローマ字で人名を入れて引かないといけないので、読みが分からないとどうしようもないので。成程、この字ならこう読んでもおかしくないな、という人が数名。日本語は難しいね。同種の会議の仕切りをやることになったら、資料の名前には読み仮名を付けよう。

明日は1時からゼミ。寝坊が多いので、早目に寝よう。と言っていつも遅くまで起きていて寝坊するんだが。今日は代数の演習を考えるのはやめよう。考えるとキリが無くなり、遅くまで起きていてしまうので。

Uber Eats の配達員が Takaaki という名前だった

月曜日は1時から円分体のゼミの日。今日はちゃんと12時半に起きた。で1時から開始。今日はアーベル体の円分 Z_p 拡大の μ 不変量が0であるという定理の証明。が、想像以上に大変で、今日だけで終わらなかった。で来週はもしかするとゼミが無くなる可能性があるので、続きは再来週かも。まあいいんだけど。3時半頃終了。

その後読書。ここ最近の大河ドラマを見ると、色々記憶違いがあることがわかり、明智光秀について書いた小説の一部を読み直した。やはり記憶違いだった。確かに二条城は2ヶ月で竣工していたし、比叡山焼き討ちの時に明智光秀はまだ幕府と信長の両方の家臣というような状態であった。ただ、二条城築城中のシーンとして有名なものが大河ドラマでは省かれていた。工事中に見物の女性にちょっかいを出して、信長に首をはねられるという場面。残忍だから省略したのだろうか？昔の大河ドラマ「黄金の日日」ではこのシーンが描かれていて、信長を演じていた高橋幸治が無表情で刀を抜くシーンは不気味にすら感じたものだ。染谷将太演じる信長は実に表情豊かで、そのシーンを演じても不気味さは無かったかもしれないな。7時過ぎまで本を読んでいた。

お腹が空いてきたので夕食。今日も Uber Eats で。今日の配達員の名前は、何と Takaaki。食事を運んでいるバイク乃至自転車の運転手の名前がスマホに出るのだ。今どの辺を走っているかも表示される。Takaaki 氏は一旦小生の住んでいるマンションの目の前を通り過ぎて、引き返していた。「たかあき」という名前の人には方向音痴が多いのだろうか？まあ数分のロス程度だから問題無し。受け取る時に「Takaaki さんとおっしゃる？僕も貴章だ」と名乗っておいた。

その後32分体の最大実部分体と戯れる。2cos(π/16) は \sqrt{2＋\sqrt{2+\sqrt2}}} という形をしているので、扱いやすそうなので試してみたんだが、そうでもない。やっぱり32分体の部分体と思わないと難しい。まあそう思っても何の問題も無いのでいいんだが。16分体の最大実部分体はそう思わなくても扱える。根号がせいぜい二重だからね。まあ勉強に成った。もう少し戯れよう。

石橋凌が武田信玄を演じる

昨日は呑んできて、帰ってきてから寝ないという悪い習慣。呑み終わったのは1時過ぎで、寝たのは多分8時過ぎ。起きたのは7時過ぎ。うーん、何してるんだか。明日は1時からゼミだし、ゼミ中眠くならないようにするため、早目に寝るので、起きている時間はほんの数時間。もう毎週のことだし慣れた。

大河ドラマを見続けている。どれくらいの人が見てるのか知らんが、小生に取ってはルーチンワーク。戦国時代物は見てしまうな。今日はいよいよ武田信玄が登場。石橋凌が演じている。前に中井貴一主演の大河ドラマ「武田信玄」では石橋凌は織田信長を演じていた。それが今度は武田信玄。面白いね。石橋凌は結構好きなので、武田信玄を存分に演じ切ってくれることに期待する。来週はいよいよ将軍義昭が信長に対して切れるようだ。こうなってくるといよいよ見物。来週以降も引き続き見続けるとしよう。

ところで義昭を演じているのは滝藤賢一。義昭の兄義輝を演じていたのが向井理。どう考えても無理がある。義輝が暗殺されたのは30歳の時だそうで、その時点で義昭は当然30歳未満だが、滝藤賢一は44歳。無理があるね。年がいった人を若い人が演じるのは、化粧次第で色々誤魔化せるだろうが、年のいった人が若い人を演じるのは難しい。化粧で誤魔化すにも限界がある。その辺は考えなかったのだろうか？まあいいんだけど。堺正章が演じる望月東庵という医者も相当無理がある。織田信秀（信長父）と親しくしていた頃から既に年がいった役だったと思うが、信長の代になって数十年経っているのに、全然老けない。このまま行くと、本能寺の変まで生きてしまうんではないだろうか？そうすると一体全体何歳に成るんだ？まあいいんだけど。細かいことが気になるのが僕の悪い癖でね。正確に言うと、枝葉が気になって本筋が気にならない、だろうが。まあ数学をやるには適した性格と言えなくも無いが。枝葉が気にならないと論文なんて書けない。どんどん枝葉を気にするようになろう。

床屋に行った

今日は床屋へ行った以外は特別なことをしていない。前に床屋に行ったのは9月12日のようだ。2ヶ月半くらい振りということだな。スッキリした。

対面授業している夢を見た。やりたいということだろうな。ただいきなり対面講義やったら、体がボロボロになりそうだ。体力が相当落ちてるだろうから、90分間立っていられるだろうか？それと肩がもたないな。毎学期ごとに初回に腕が上がらなくなってきて、翌日は肩の痛みに襲われる。まる1年以上講義をやっていないことになるから、相当辛いのを覚悟しないといけない。まあそれでも、家でくさくさしながらやっているのに比べたらはるかにマシ。早くコロナにはご退散願いたい。

これから呑みに出る。潰れそうな店に協力してあげるのはボランティアの一つ。まあ単に呑みたいだけだという説はあるが。

梶谷、井納がFA宣言をしてしまった

結局昨晩は寝ず、23時間くらい起き続けている。その間やったことは、「代数学II」のレポート課題を考えたり、それと類似の高校生向けの演習問題を考えたり。その過程で Maple が大いに役に立った。覚えると色々便利だ。もっと覚えよう。でいい加減眠くなってきたので、もう寝る。明日こそ床屋に行きたい。

作業中にテレビを付けっ放しにしていたんだが、大半の話題がコロナに関すること。陽性者数が凄いことに成っているようである。さっきちょっとコンビニに行ってきたんだが、マスクをするのを忘れてしまった。何となく周りの目が白いような気がした。まだストックはあるし、これからはちょっとの外出にもマスクをするようにする。しかしこの調子で感染者が増え続けると、実家に帰るのも考え物。神奈川の感染者も増えている。今年は1人寂しく山科で年越しだろうか。春も夏も帰省しなかったから、暮れから正月に掛けてくらい家族に顔を見せ たいところだが。もう少し考えることにしよう。

梶谷がFA宣言をしてしまった。G が興味を持っているとか。うむ、どこを守らせる積もりだ？センターには丸がいるではないか。得意の余剰人員を抱えて、高給取りを干す気か？梶谷、甘言に乗せられてはいかん。陽岱鋼の二の舞に成るのがオチだぞ。大人しく Baystars に残留しなさい。我々は君を必要としているのだ。井納もFA宣言をしてしまった。まあここ数年の出来を考えると、高額を出してくれる球団はあまりないだろう。大人しく Baystars に残留しなさい。

ゼミ終了後7時間も寝てしまった

木曜日は1時から楕円曲線のゼミ。が、目が覚めたら1時半近く。いかんぞ、ということで急いで準備。が、学生が来る様子が無い。体調でも悪いか？と思ったが、ゼミを休む趣旨のメールは来ていない。でしばし待っていたら2時過ぎに現れた。で大分遅れて開始。今日は canonical height から pairing を作る話から。そして regulator を定義して、階数の漸近公式を与える話。Minkowski の定理などが必要になってくるので、それも証明。で肝心の漸近公式の証明はどうやるのかと思ったら、フーリエ解析の結果を一つ認めるという、大変がっかりな内容だった。4時近くに終了。

ゼミの途中から眠くなってきたので、終了後横に成る。で今さっきまで寝ていた。7時間以上寝ていたことになる。うーん、一日無駄に使ったな。何でこんなに寝られるんやろ？またしばらくしたら寝ることになるだろうから、本当に無駄遣いな一日だった。明日は一日用事が無いので、有意義に使いたい。いい加減床屋に行きたいので、行こう。あとは論文読みでもするかな。

テレビの番組表を見たら、今日日本シリーズがあれば TBS 系で放送する予定だったようだ。放送時間は10時まで取ってあった。学習したチャンネルもあったようだ。が、放送できないのは空しいだろうね。

Hawks 4年連続で日本シリーズ優勝

水曜日は「数論序説」のゼミ。1時からなのだが、その時間はすやすやと寝込んでいて、起きたら1時を随分過ぎていた。申し訳ない。今日は先週サボった学生が来ていて、まず詫びていた。まあいいでしょう。反省の弁を述べていたが、反省だけなら加川でも出来る、というわけなので、本当に大丈夫かどうかはわからない。信じましょう。今日は分解群、惰性群、フロベニウス置換、アルティン記号の定義など。分岐指数と群の単位元が紛らわしいので、1_G と書くことにする、と成っていたが、分解群から剰余体の拡大のガロア群への自然な写像が全射であることを証明する過程で、f(X) とか g(X) とか出て来る。相変わらず大らかだ。3時半頃終了。どうやら解析的な話題に踏み入ることが出来そうだ。ディリクレの単数定理の証明も出来るかも。よかった。

4時半から会議。色々話題が多くて、相変わらず長い。コロナが無かったら議論すらされない問題がいくつもあり、それのために時間が掛った。実験実習費が残っている、という話題もコロナじゃなければ問題にもならない。いずこの学科でも同じで、来年度への繰越が出来ないか？という意見が出ているそうだ。出来るようにしてくれないと困る。1円残らず使わなくてはいけない、という日本独自の風習もこの際やめたらどうだ？7時過ぎに終了。

6時半から野球。まだ会議中だったので、音声を消して画面だけ付けていた。Giants が先制したようだが、ちょっと会議に集中して改めて画面を見ると、柳田がホームランを打った後のパフォーマンスをしている。あっと言う間に逆転されたようだ。2回の途中から音声を出しても大丈夫になったので、そこから集中して見る。2回裏に甲斐の2ランホームランで4－1。うむ、またか。が、その後は Giants のピッチャー陣が凄い投球を見せた。甲斐のホームランの後から8回途中までノーヒット。Giants はそこを付け入らないといけないのに、Hawks のリリーフ陣の前に音無し。多少のランナーは出ていたが。9回表も若干の見せ場は作ったが、抑えの森の前に抑え込まれて、4連敗で Hawks の日本一。うむ、あまり見る所の無いシリーズだった。Hawks の強さが際立っていた。4連覇は V9 の Giants 以来で、パ・リーグでは史上初。すごい。MVP は栗原。初戦のホームランでチームが勢い付き、5割の打率を残して、当然の選出。お見事だったね。さあ、来年はどうなる？と早くも思ってしまう。Hawks を破るチームはパ・リーグだけでなくセ・リーグにもあるかな？見所はそれくらいかな。まあ Baystars ファンとしては三浦大輔監督の下優勝して、日本シリーズを勝ち抜こう、というのが一番の話題だが。久し振りのセ・リーグチームの日本一ということで。

来年度は忙しくなりそうである。教務委員を仰せつかり、身が引き締まる思い。対面授業さえ復活すれば、教務委員の忙しさの理由は大分減る。コロナ禍よ、収まってくれ、頼む。

野球中継延長のため「トリニクって何の肉？」は休止

今日はインフルエンザの予防接種を受けに職場へ。2時～3時に来い、とのことなので、1時半ぐらいに職場に着いて、2時半くらいに保健センターに行った。注射をしてもらうついでに、健康診断の結果を持っていて見てもらった。まあ上々だそうだ。よかった。

その後個研室に戻って、しばし論文のダウンロード。こういう話題なら役に立つんじゃないだろうか？ということで連立 Pell 方程式の論文を中心に。USB メモリーにダウンロードしたので、これからパソコンのハードディスクにコピーする。ダウンロードしただけで読んでない論文が大量にあるが、雑誌のコピーを取るのと違って、楽だからついやってしまう。まあコピーを取って読んでない論文も大量にあるんだが。講義の準備もいいが、研究もしないと。

で5時半近くに職場を後にする。インターの前で「大津－京都南 渋滞7km」の表示。まあ小生は京都東で降りるので、渋滞は3kmぐらいのはず。ということで例に寄って穏やかな気持ちで走る。ちゃんと6時10分くらいに住処に着いたので、問題無し。

野球中継は6時15分から。試合開始は6時半。今日から3試合は福岡で。Hawks がムーア、Giants がサンチェスと、両外国人ピッチャーの先発。両投手ともナイスピッチングだったのだが、3回裏に Hawks が中村晃の2ランホームランで先制。その後両投手が引き続きナイスピッチング。ムーアにいたってはヒットを打たれない。2－0のまま7回裏へ。サンチェスがランナーを残して降板。代わった高梨から中村晃が、さらに代わった大竹からグラシアルが、それぞれタイムリーヒットで4－0。でムーアはヒットを打たれていなかったのだが、そこは勝負ということで、8回はモイネロ、9回は森。Giants は相変わらずノーヒット。このままノーヒットノーランか？と思ったら、2アウトから丸がセンター前へタイムリーヒット。日本シリーズ史上2度目のノーヒットノーランは成らず。（過去の1回は、あの山井が8回裏までパーフェクトで、9回は岩瀬がパーフェクトに抑えたというあれですわ。）が Hawks が強さを見せての完封勝ち。これは明日で決まるな、という感じ。Giants が Hawks のピッチャーを打てるようには見えないし、ピッチャーが Hawks 打線を抑えるようにも思えない。Hawks は守備もいい。ピンチの場面でのサード松田の好プレーや、最終回の周東のファールフライを取るシーンなど、ここぞでファインプレーが出る。本当に強いわ。脱帽です。

今日は9時から「トリニクって何の肉？」がやるはずだったのだが、野球中継延長でどんどん繰り下げ。最終的には休止になってしまった。まあ丁度1番組間引くと「報道ステーション」が定時に始められるという判断でしょう。日テレは、日本シリーズの放送延長に合わせて、後の番組を繰り下げたようだが、「嵐にしやがれ」を録画できていなくてガーン、という人が多数出たとか。中途半端に繰り下げるなら休止の方がいいかもしれないな。それにしても、6時半試合開始の野球が9時に終わるわけはないのに、何故9時からの番組をやることにするんだろうか？最初から10時くらいまで放送時間を取っておいて、9時からの番組は最初からやらないことにしていた方が混乱が無くていい気がするんだが。何年も同じことを繰り返して学習しないテレビ局。愚かだ。

安倍事務所が「桜を見る会」に金銭を補填していたとか。これは安倍逮捕しかないな。韓国は政権が変わると大統領が逮捕されるが、日本もそれに倣って前首相逮捕と行こう。まあ別に次の政権に変わった時に「カス」総理が逮捕されなくてもいいが。

再び「ベイストンコモンの会」に出席

今日は平日月曜日。というわけで1時から通常通りゼミ。が、30分寝坊。またやってしまった。1時半過ぎに開始。で今日は学生が3時から都合があるらしく、短時間で終了することになってしまった。まあ今日は円分体の場合の岩澤類数公式の証明と、重要な定理があったので、濃かった。その後に Z_p 拡大の定義や円分 Z_p 拡大の話が書いてあるんだが、学生の英語力不足で読めていないようだ。まあいい。進めばわかるということで。

で今日は1ヶ月ぶりの「ベイストンコモンの会」。6時開始だが、住処を離れたのが5時半と遅く、栗東市綣に着いたのが6時17分くらい。うむ、また遅刻してしまった。まあいいでしょう。今日の Baystars ファンの話題はと言えば、当然三浦大輔新監督の話。それとラミレスはどうだったか、という話。今日の出席者に一人新聞記者がいて、単純に好き嫌いの問題以上の分析をしてくれた。ということでラミレスはあかんかった、と。勉強に成ります。新監督とは話をしたことがあるそうで、その辺の話もしてくれた。さらに筒香の話や村田修一の話など。すごく面白かった。今日も行ってよかった。また行こう。会は8時45分頃終了。

行きは名神経由で案内してくれるが、帰りはこの前と同じで近江大橋経由の道。でそのまま浜大津まで行くかと思えば、何故か大津駅前を経由する道を教えてくれる。この前は無視して浜大津まで行ったんだが、今日はカーナビに従って「島の関西」で左折。が、結局よくわからなかったので、浜大津に回った。大津駅前は車で行ったことが無いので、あまりよく知らない。後で地図を見て、そして今度明るい時に大津駅前を通って勉強しよう。まあタクシー運転手じゃないんで知らない道があっても問題無いのでいいんだが。

で帰宅してスマホを覗いたら、大野雄大（Dragons）が沢村賞をとったそうだ。よかった。満場一致なのかと思ったら、案の定菅野にも票が入った模様。村田兆治氏が菅野を押したそうだ。北別府氏はダブル受賞でも、という意見だったそうだが、結果的に大野に決まってよかった。今の時代に10完投6完封は凄い。11勝しているし、普通に行けば文句無しだとおもうんだが、菅野の「いんちき13連勝」に目を奪われる人が多いのもわからないではない。まあ考えは人それぞれだ。小生が選考委員だったら文句なしで大野を推す。

さて、明日はインフルエンザの予防接種を受けに職場に行く。2時から3時の間に行かないといけないので、今日はそれなりの時間に寝よう。プロレスの番組が終わるのが3時くらいだから、それから寝ることになると思う。まあそれなら12時には起きられるでしょう。2週間で3回も職場に行くことになる。こんなのは久しく無かったし、しばらく無いだろう。来週は引き続きテレワークです、はい。

貴景勝2度目の優勝

今日は宅配便に起こされた。で食事をしながらテレビを見たりと、無駄に過ごしていたら、段々眠くなってきた。相撲まで1時間を切っていたが、眠気には勝てず寝床へ。目が覚めた時は幕内の相撲の半ばくらい。「これより三役」には間に合った。で今日の興味は何と言っても結びの貴景勝 vs. 照ノ富士。貴景勝が2度引いて、照ノ富士を呼び込んでしまったか、回しを取られ、豪快なあびせ倒し。これで優勝決定戦をやることに。12分空いて、再び貴景勝 vs. 照ノ富士。さっきの反省からか、今度は勢いよく突っ込んで、貴景勝の一方的な相撲。大関に成ってから初優勝。今場所は貴景勝強かった。これで来場所は綱取か。期待しちゃうね。三役に返り咲いた高安が勝ち越し。お見事。千代の国が10番勝って敢闘賞を獲得。優勝争いした志摩ノ海も敢闘賞。優勝こそ逃したが、照ノ富士が技能賞。照ノ富士は近いうちに大関に復帰しそうだ。こちらも期待しよう。

6時から野球の日本シリーズ。今日も Hawks の一方的な勝ち。初回から3点取って、有利に試合を進める。2回は甲斐のホームラン、3回にグラシアルの2ランホームラン、5回はデスパイネの犠牲フライ、7回はデスパイネの満塁ホームラン、9回は甲斐の投ゴロをピッチャーがホームへ悪送球で2点。かたや Giants は5回裏にウィーラーの2ランホームランで2点取るのがやっと。13－2で Hawks の圧勝。Hawks の強さばかりが目立つ試合だった。一つ先の塁を貪欲に奪い取り、1点でも多く取る姿勢。本当に強い。これは今年も4戦で終わっちゃうかもしれない。そうすると、日本シリーズ12連勝。うーん。まあ Giants が惨めな思いをするのは大いに結構なので、そうなってもらおう。

明日は祝日だが、例に寄ってうちには関係無い。明日も平日月曜日。ということで今日は夜更かしは程々にする。

日本シリーズようやく開幕

今日は7時半に起きる積もりでアラームを仕掛けたが、それはスルーしてしまった。でもしもの時を考えて8時にもう一度鳴らすようにしていて、それで起きた。で8時半過ぎに住処を離れる。でインターに近付いたら渋滞情報。「京都東－大津 渋滞1km」。まあ大したことはあるまい、と思ったら、四ノ宮の交差点から料金所まで1km渋滞していた。それは想定外。料金所まで10分くらい掛ったろうか？危ないぞ、と思ってちょっと焦ったが、追い越し車線には出ず、80km程度で運転。何とか間に合って、集合時間の1分前に到着した。よかった。実際はもう少し遅くてもよかったようだ。今度朝に出勤する必要がある時は、渋滞に巻き込まれてもいいように、もう少し早目に出ることにしよう。

で今日やったのは、特別入試（指定校推薦とかAO入試とか）の面接委員。高校での生活やうちの学科を希望してきた理由などを話させて、最後に数学の学力を見る、という内容。問題は別の先生が解答付きで用意してくれたので、何もこちらとしては準備する必要が無かった。で学生に解かせる問題は結構基礎的な内容。が、予想以上に出来が悪かった。三角関数のグラフが書けなかったり、(e^x＋e^-x)² が計算できなかったり。出来る学生もいたが、ちょっとパンチのある解答だったのが、(1＋i)/√2 の9乗の計算を、分母、分子に分けて、(1＋i)⁹ を二項展開するもの。ちゃんと出来ちゃったから凄い。「ド・モアブルの定理って知ってる？」と聞いたら知らなかった。だからっていきなり9乗するのはどうかと思うが。まあもう1人の面接委員の先生が「いや、二項展開出来るだけで大したもんだ」と。まあそうかな。もう大概の学校は数学IIIの教科書を終えてしまっているそうなので、相当急ぎ足でやったんだろう。定着しないままどんどん進まれた、っていうところかな。まあとにかく大過なく終了。3時半には開放してくれた。やれやれ。

個研室に寄らず、一路住処を目指す。相撲に間に合いそうなので。で間に合った。今日は中入り後を全て見られた。楽しみにしていたのは照ノ富士 vs. 志摩ノ海の2敗対決。負けたほうが賜杯から遠ざかる。結果は照ノ富士の一方的な勝利。で結びは貴景勝 vs. 御嶽海。割と過去の対戦は拮抗していたんだが、今日の結果を見ると、大関 vs. 関脇とは思えない一方的な取り組み。御嶽海はこんなに弱かったかな？ということで1敗貴景勝と2敗照ノ富士の直接対決が明日の結びの一番。これは見ないと。だから今日は酒抜き。明日起きられないといやだからね。楽しみにしていよう。

で6時に日本シリーズにチャンネルをあわせる。Giants のホームなのだが、場所は京セラドーム。ホームアドバンテージが無いようなものなので、序盤から苦戦。頼みの菅野は2回に栗原に2ランホームランを食らって、早くもビハインド。その後も栗原に2点タイムリー2ベース。菅野は6回4失点。誤算だったでしょう。Hawks の千賀はというと、多少四球を出すものの打たれない。7回3安打無失点。最後は四球で出た1番周東が盗塁し、2番中村晃のタイムリーで1点と、何とも羨ましい点の取り方。Baystars は1イニングに3安打出ても無得点ということが数回あった。高木豊によれば、「Giants には何とも不愉快な攻撃のされ方」だそうで、総合すれば Hawks の圧勝。明日も楽しみ。

GoToに制限を加えるとか。当然でしょう。感染者が増える一方だからね。今日のうちは万全な体制。フェイスシールドが配られ、面接会場にはアルコール消毒液が。1人終わるたびに机とアクリル板、椅子の背もたれを拭いた。幸い何事も無かったと、事務の人がメールをくれた。よかった。これからも注意しながら生きていこう。インフルエンザの注射を来週の火曜日に受けることにした。コロナもワクチンが出たら、早いとこ打とう。小生は高血圧なので、基礎疾患がある部類に入るはず。高齢者に次いで重要度が高いはず。早くその日がくればいいが。

貴景勝 vs. 志摩ノ海の1敗直接対決は貴景勝の勝ち

昨日は結局呑んできた。店の大将から line が来てたんで、もうこれは選択の余地はない、ということで。このご時世に6人で呑み会とは。コロナに感染したらどうしよう、という不安は無きにしもあらだが。12時まで呑んでいた。こちらも「会食は小一時間に」という話もある中、けしからん限りだね。まあ今のところ症状は出てないしいいでしょう、というわけにもいかないだろう。反省。今後は断ります。

さて、今日は昼前に用事があったので、10時半くらいに起きた。呑んだ次の日は起きられない日が多いんだが、今日は大丈夫だった。で明日はというと、もっと早い。BKC 某所に9時15分集合。土曜日だが仕事があるのだ。明日から日本シリーズが始まるので見たいところ。事前に聞いたは話では2時半くらいには解放してくれるそうなので、まあよかった。相撲も優勝に関わる取り組みは見られるだろう。今日貴景勝 vs. 志摩ノ海の1敗直接対決があったのだが、貴景勝が問題にせず押し出した。照ノ富士は竜電を相手にせず押し出し。明日は照ノ富士 vs. 志摩ノ海の2敗対決。これで千秋楽まで優勝は決まらず、しかも千秋楽は優勝を賭けた大一番になることが期待される。楽しみ。明日貴景勝が負けると面白くなるんだが、大関を応援しているものがこんな不届な発言をしちゃいかんね。まあいずれにせよ、明日、明後日も見よう。

上に書いた通り明日が早いので、もう寝ます。7時半起きを予定している。8時に念の為2度目のアラームを仕掛けておくことにする。ではお休みなさない。

京都の最高気温は26度超

木曜日は1時から楕円曲線のゼミ。ちゃんと12時半に起きて、1時開始。よかった。今日は  canonical height を導入して、Mordell の定理を証明。途中の height の評価の計算が面倒くさそうだが、「これは書いても仕方ないんで」と言ってがっさり略してくれた。よかった。一つまだ証明していない定理があるが、それはまた後程。この後は rank の漸近公式や、rank の計算を具体的に行うようだ。1と2が合同数でないことや、p が素数で p ≡3 (mod 8) なら合同数でないこと、合同数に対し、具体的に直角三角形を作ってみるなども行うらしい。面白いね。p＝157 の場合の三角形はごついので、見せてあげよう。3時半頃終了。

ゼミ後眠くなってきた。ゼミ中は眠くなかったのだが。で中入りまで寝ようか、と思ったら、6時まで寝てしまった。ということで相撲を全く見てない。まあダイジェストをやってくれるので、見ればいいでしょう。ダイジェストを見損ねても、NHK が中入り後の取り組みを1番ずつネットで見せてくれるというサービスをやっているので、そちらでも可。いずれにせよ見られるので問題無し。

今日の京都は26度を超えたらしい。11月やぞ。明日は23度といくらかマシになるが、暑いことには違いない。これで急に寒くなったら風邪でも引きかねない。注意しよう。

今日はボージョレヌーボーの解禁日の筈。前も書いたが、それにあわせて呑み屋に珍客がきているはず。呑みに行こうかと思っていたが、ちょっと腹が痛いので、検討中。とりあえずシャワーを浴びて髭を剃ろう。決定はそれからでも遅くない。いずれにせよ今日の blog はここまで。じゃ！

発表者がゼミをさぼった

今日は「数論序説」のゼミ。1時からなのだが、目が覚めたら1時5分。やばっ！ということで急いで支度。1時10分過ぎに開始。今日は分解群と惰性群を定義して、フロベニウス置換、アルティン記号を定義する、という予定だったのだが、発表者が来ていないそうだ。むぅ。彼のやるところを飛ばして出来る？と来ている学生に聞いたら、出来る、という。うむ、アルティン記号定義しないでアルティン写像が出来るのか、大したもんだ。でちゃんと出来て、アーベル拡大に対しアルティン写像を定義して、円分体の場合に像と核を決定、その応用として平方剰余の相互法則の別証明など。こういう高級な話を触れてくれるという面では非常にいい本なのだが、何でも大らかに過ぎるのが欠点。今日も素イデアルの －n 乗を全く定義しないまま話が進められた。いや、よく見ると定義しているんだが、証明の隅っこに申し訳無さそうに出ているだけ。こんなんでいいんだろうか？という感じ。やはり頭の良過ぎる人の書いた本をテキストにするのはいけない。いや、別に他のゼミのテキストの著者が頭が悪いというわけではないが…。そう読めるな。時を戻そう（(c)松陰寺）、そして言い換えよう。大らかに過ぎる性格の人の書いた本をゼミのテキストにするのはいけない。来年度はもう少し慎重に書かれた本を使おう。4時前に終了。

4時から相撲。幕尻の志摩ノ海が好調である。1敗で貴景勝と並んでトップ。過去幕尻優勝というのは3例しかなく、そのうち2回が今年出ている。徳勝龍と照ノ富士。（因みにその前のもう1回は貴闘力。）今年3回目の幕尻優勝という大珍事が起こると面白い。が、やはり大関が勝たないといけいない、というところもあり、難しいところ。まあ先のことはわからないので、楽しんで見ることにする。

相撲後しばしパソコンの前で作業。ちょっと思いついた演習問題があるので、それの点検。そこから色々派生させて、数問出来た。cos の特殊値問題はいくらでも出来る。ガロア理論の、どう手を出していいかわからない問題も後に cos が控えていることを見抜けば容易、という問題。院試が微分積分、線形代数、集合と位相の3問出題という形式に成ってしまったから、体の拡大の問題は易しめなのを定期試験に使う以外は没問題なのだが…。まあ楽しかったからいいです。Weber の問題に一歩近付いたし、いいです。適当なタイミングで夕食。その後ニュース。

森下（Carp）が月間MVP。月間4勝で防御率が脅威の0.24。凄い。これで新人王取れなかったら怒る。戸郷が優勝した Giants にいるからって、これをひっくり返したらひどい。新人王は森下じゃ。セ・リーグの打者はオースティン。月間11ホームラン。最後にようやく本領を発揮してくれた。残留が決まっているそうなので、来年は期待する。今年の最後に見せたような爆発を開幕直後から見せておくれ。そうすれば優勝も夢ではない。監督就任即優勝となればすごい。応援しよう。

番長新監督に

昨日の晩思いついた方法はうまくいった。何をしたかったのかというと、楕円曲線 y²＝x³－31 が整数点を持たないことを証明したかった。で有理点が無限遠点以外に無いことを言えば上等なので、コンピューターでどん、では納得がいかない。整数点が無いこともコンピュータでどん、でいつもは済ませるんだが、それも却下。まず Thue 方程式 u³＋3u²v－21uv²－15v³＝16 が整数点を持たないことに帰着させて、これも KASH や PARI/GP を使えば瞬殺。が、解が無いことを示すのにブラックボックスに任せるのは納得がいかず、考えた、というわけ。で最初考えたのは、この式を mod 8 で見ると左辺が u³＋3u²v＋3uv²＋v³＝(u＋v)³ となり余りに綺麗なので、この方法で解が無いことを証明しようと。美しさに魅入られたのが最初の失敗。で色々失敗。昨日書いた思いついた方法というのは、四の五の言わずに小さい整数を法として解が無いことを言えばいいという、超初等的な方法。でまずコンピューターで実験。というところが弱いところだが、まあそういう風に数学をやってきたので、止むを得ない。で m を入力して x,y を 0 から m－1 まで回して解があったら表示させる、という2重 for ループを書いて、m＝9 としたらうまいこと解が無かった。でここで納得してもいいんだが、それでもやはり芸が無い。ここは手計算で納得出来る方法を模索。まず元の式から u≡1 (mod 3) がわかるので、u＝1,4,7 だけで十分。で u＝1＋9k, 4＋9k, 7＋9k としてみたら、u³＋3u²v－21uv² －v³ mod 9 は k によらないばかりか 1, 4, 7 にも依らない。ほうっ、ということで実際に手計算してみるとその通りだった。ということで v を変数とする多項式の mod 3 での値を見るだけで十分に成った。こうなると流石に手計算の方が早い。で目出度く解無し、ということを納得いく形で証明できた、というのが昨日の晩の顛末。早く寝る積もりだったが、何だかんだで3時半過ぎまでやっていた。まあすっきりしたのでよし。新しいことを発見できたわけではないが、こういう無駄な計算の積み重ねが「数覚」を鍛えるのだ。

で寝て、起きたら2時を回っていた。ぎゃ！ということでシャワーを浴びて、職場に処方箋をもらいに行く。3時半過ぎくらいに職場着。保健センターは4時までなので、何の問題も無い。血圧も低く、こちらも何の問題も無し。その後「数学セミナー」を買って個研室へ。晩に計算したものを TeX にまとめる。一応もう一度計算してみよう、ということで職場では SageMath が動かせるので、起動、K.<w>＝NumberField(x^3－ｘ+8) として、(u+v＊w)^3 としたら、u は何だ、俺は知らないぞ、というわけで、u＝var(’u’); v＝var(’v’) とした。でもう一度やったらエラーが出る。エラーメッセージをみると、v＊w を計算しようとして出たエラー。変数と代数体の元を掛けるには一工夫いるようだ。で面倒くさくなって PARI/GP に計算させる。こちらは w＝quadgen(－31) として (u＋v＊w)^3 とするとさくっとやってくれる。で晩の計算が間違っていないことを確認して、任務完了。これで y²＝x³－31 に整数解が無いことを納得行く形で証明できた。やれやれ。

ということで職場を7時くらいに後にした。そこで気付いた。今日は教授会だった。うーん、2回連続さぼってしまった。まあいいや、と気を取り直して食事に向かう。久々にココ壱にしよう。最近揚げ物が続いているから、今日は納豆カレーだ、と決めて小野へ向かう。が、ココ壱が無い。がーん、潰れたか。しかしもう完全に舌が納豆カレーに成っているので、石田のココ壱まで足を延ばした。カレーラーメンの幟が出ていてそそられたのだが、今日は納豆カレーだ！ということで意地で食べた。カレーラーメンはまた今度。美味しかった。で帰り道に確認したら、小野のココ壱はあった。ココ壱とラーメン屋の間に空き地があったのだが、そこに建物を建てている。その現場でココ壱がすっぽり隠れていただけで、潰れたわけでは無かった。よかった。カレーラーメンを食べに近いうちに行こう。

土曜日に仕事が入って、集合は9時だか9時15分だか。とんでもない。健康診断の9時半でさえ早朝と思っていたのに。今日辺りから少しずつ早寝にシフトするとしよう。と計画しても出来ないのはわかりきっているんだが、まあ気持ちだけでもね。

番長が新監督に！来年はやってもらいましょう。

昨日計算したものは真っ赤な嘘！

月曜日は1時から円分体のゼミ。今日は岩澤による p 進 L 関数の構成。とても大変な計算だった。途中でついていくのを諦めた。この構成は色々な応用を持つようなので、来週に期待しよう。4時前に終了。

4時から相撲。NHK にチャンネルをあわせるも、ニュースがやっていて、相撲が中々始まらない。何でもオリンピック協会のバッハ会長が来日して、菅総理と面談を行った、とのこと。何が何でも実施する方向のようだ。それはそれでよし。コロナのことを考えると実施は難しく思えるが、準備していた選手のことを考えるとやって欲しい。金満オリンピックと言われても、選手は純粋に準備しているのだ。やりましょう。

で4時7分くらいから相撲の中継が始まった。中入り後最初の一番はニュースの最中に終わったそうだ。その一番は後で放送してくれたんで、今日も中入り後の取り組みは全部見た。1敗の宝富士と志摩ノ海は危なげなく勝利。1敗の照ノ富士は高安との元大関戦に破れ連敗で、2敗に後退。2敗の千代の国は連敗ストップで2敗キープ。同じく2敗の御嶽海はいい所なく妙義龍に寄り切られて3敗に後退。で全勝の貴景勝は、何と翔猿に負けた。はたかれてバッタリ。うーん、これで勝ちっ放しがいなくなった。まあ仕方ない。切り換えて明日勝ちましょう。明日は教授会なので見られないかも知れない。まあまた深夜のダイジェスト版を見ますわ。リアルタイムで見てしまうと水曜日のゼミが辛くなるので、録画して見る。

で6時から昨日計算したものを TeX にまとめる作業。その途中で気付いた。間違っている。(u＋v)³ が8で割り切れる、だから u＋v＝8w と置いて、と謎なことをしている。u＋v＝2w としか置けないはず。そうか、だからあっさり矛盾が出たんだな、ということで計算し直し。矛盾が出ない。うーん。手取り足取り色々やったんだが、うまくいかない。ということで一旦諦めて夕食。今日も Uber Eats で。スマホに配達員の顔が出るのだが、今日の人は多分3回目。勝手知ったるもので、五条通の吉野家から小生宅まで迷わず来た。今日は牛すき鍋にしたんだが、目の前で火が付いてグツグツとやってくれないと感じが出ない。今度吉野家に行って食べよう。食べ終わって色々試すがうまくいかない。今もう一つ方法を思いついたので、実験してみる。明日は保健センターに行くために昼頃には起きないといけないので、これでうまくいかなかったらもうやめる。

「報道ステーション」に Fighters の中田翔が出ていた。今年は120試合で31本の自己記録を成し遂げたそうだから、143試合あったら36～37本は打っていたことになる。じゃあ来年は40本だ。因みに打点王だが、105安打で108打点という、恐るべき勝負強さ。打率 .239 は褒められた数字ではないので、来年はホームラン、打点を減らさずに確実性を上げましょう。難しいかな。

Hawks 強し

今日は1時からちょいと用事。と言っても出掛けなくてよいので、住処に腰を据えて、作業の進展を見守りつつパ・リーグのCSを観戦。五月蝿い（謎）ので途中状況が分からないながらも横目で見ていた。Marines が1回表にいきなり3点取っていい出だし、と思ったら、中村晃の2ランホームランであっと言う間に1点差。さらに中村晃が2打席連続2ランホームラン、松田宣浩の2者連続ホームランであっという間に2点リードを許す。7回に1点取って取られてで4－6。8回も9回もチャンスを作るも、後一本どうしても出なくて、4－6でゲームセット。あっさり Hawks が日本シリーズへ出場決定。うー、つまらなかった。2試合で終わるとは。Marines は9イニングのうち6イニング先頭打者が出塁したそうだから、拙攻と言えば拙攻。Hawks のピッチャーがしぶといと言えばその通りだし。まあ結局 Hawks の強さだけが目立つ試合だった。まあいい。Marines を応援していたのだが、日本シリーズ出場は叶わなかった。こうなったら今度は Hawks を応援。Giants だけは日本一にしちゃならねー。去年のようにけちょんけちょんにやっつけてくれ。前にも書いたが、Giants 以外のチームが出た場合は素直にセ・リーグ代表として応援するのだが、Giants の時だけはそうはいかない。セ・リーグ弱いの大いに結構。頑張れ Hawks。

野球中継が終わったのが4時50分くらい。NHK BS から NHK 総合へチャンネルを変える。丁度千代の国の取り組みくらい。千代の国には頑張ってほしいんだが、昨日、今日と連敗。優勝戦線からは脱落か。今日は照ノ富士が負けて貴景勝が勝ったので、貴景勝が中日にして単独トップ。勝ちっ放し。よしよし。大関が存在感を見せている。2横綱が両方休場で、大関3人のうち2人が途中休場となった今、貴景勝に期待をかけるしかない。頑張ってもらおう。大関が強いの大いに結構。ぶっちぎりで優勝してくれ。そして来場所は綱取り。おっと来年のことを言ってしまった。笑われないようこの辺にしよう。

ラミレス監督、お疲れ様でした

今日からパ・リーグのクライマックスシリーズが始まっているが、こちらにとってはもっと大事な、Baystars の今シーズン最終戦がある。順位は確定しているし、勝率5割未満も確定しているのに、何を真剣に見る必要があるだ、と言われるかもしれないが、大事なことが一つだけある。それは Giants に完全優勝（5チーム全部から勝ち越し）を許さないこと。今日勝てば vs. Giants 12勝12敗で5分に持ち込める。これは力を入れて見ないと。というわけで2時から野球観戦。0−3とリードされて嫌な感じ。が、7回裏に2点とって1点差。が、8回表に1点取られ、またしても2点差。が、また8回裏に神里のタイムリーで1点取って1点差で9回裏。あっさり2アウトまで行って、今日もあかんか、という感じ。今まで首位に迫っても負け、Aクラスをかける試合も負け、シーズン5割をかける試合も負けと、いいところがなかったし、またかいな、と思って諦め半分で見ていた。すると2アウト満塁と、チャンスを作る。バッターは神里。これは、と思って身を乗り出して見始めると、何とサヨナラの2点タイムリー！うん、やっぱり信じて見ておかないといけないな。シーズン中のいつもの試合だったらとっくに相撲観戦にシフトしていたんだが、今日は本拠地最終戦ということもあり、セレモニーがあるから見続けていた。いいセレモニーだった。恒例の今シーズン振り返りビデオと、退任するラミレス監督に関するビデオ、さらに選手会長の佐野とラミレス監督のスピーチ。前にも書いたが、マイクの前で、自分の声で話してくれるようになったのがすごくいい。前は選手、コーチが横1列に並んで、ウグイス嬢のスピーチ後に帽子を取って一礼して、ベンチに帰るだけ、と何ともファンを馬鹿にしたセレモニーだったが、親会社が DeNA に変わった時南場オーナーと中畑監督が「試合終了後のインタビューは、たとえ負け試合の後でもやる」と約束して、それからシーズン終了後のセレモニーも生声で話してくれるようになった。いいことだ、うん。次の監督も変わらずやってくれるでしょう。中畑のおかげでチームが明るくなり、ラミレスのお陰で上位が狙えるようになってきた。次の監督には優勝してもらって、何度も優勝を狙えるくらいのチームにしてもらいたい。

今日梶谷は首位打者の僅かな可能性にかけて故障を押して出場したが、2打席ノーヒットで引っ込んだ。3打数3安打以上が条件だったそうだから、当然かな。これで佐野が首位打者。筒香の代わり以上の働きをしてくれたと言っていいと思う。来年もよろしくです。

野球の放送が終わったのが5時50分くらい。まだ結びの一番が見られるかな、と思ってチャンネルをNHKに合わせる。ちょうど貴景勝 vs. 隠岐の海の前。で貴景勝が一方的な相撲で7連勝。照ノ富士も勝ったらしい。千代の国は負けたらしく、7連勝で貴景勝、照ノ富士が引っ張るという状況になった。明日は見るぞ。

パ・リーグのクライマックスシリーズは Hawks の先勝。Marines が先制したんだが、さすがは Hawks、しぶとかったね。今回は3戦勝った方が日本シリーズ進出で、Hawks は1勝のアドバンテージがあるので、今日で早くも日本シリーズに王手。こっちも明日は見るぞ。

いつも土曜日は呑みに出るんだが、明日はちょっと用事があるので、今日はやめ。来週はボジョレーヌーボー解禁の日に合わせて来る珍客がいるようなので、木曜日に呑みに行く。土曜日も行くかどうかは微妙。まあ程々にしましょう。

何故か複素関数論の勉強をした

木曜日は1時から楕円曲線のゼミ。ちゃんと12時くらいに起きた。昨日買っておいたおにぎり二個を口に放り込んで、昨日買っておいたペットボトルのお茶で流し込む。ゼミは定時に開始。先週は楕円曲線 E の位数2の点が全て Q 有理点である場合に E(Q)/2E(Q) が有限であることを証明したが、今日は一般の場合。すっきり済むか、と思ったら、次のような定理を仮定した上でだった。

定理：k を有限次代数体とする。この時 k の整数環の拡大環 R で次のようなものが存在する。

(1) R は P.I.D.

(2) R の単元の群は有限生成。

整数環は「極大整環」というくらいだし、整数環はP.I.D.とは限らないから、この定理は気持ち悪い。がまあいいでしょう。後に代数的整数論を仮定した上でこの証明を与えるようだ。その後 height を導入。Height のいくつかの基本的な不等式を証明。そこから canonical height を導入、のはずだったが、インターネットに馬鹿にされ始め、今日はやむなく終了。Canonical height は次回。インターネットに馬鹿にされない方法は無いもんだろうか？でふと思い出した。A堀先生が学科の予算で sim カードを買えるように手配してくれていたのだった。ということでA堀先生に問い合わせるよう伝えておいた。で3時半くらいに終了。

今日は相撲を十両の最後の1番から見た。幕内土俵入りを見ていると、正代の姿が無いことに気付く。そうか、やっぱり休場か。入門以来始めての休場とか。うーん、残念。横綱、大関で出場しているのは貴景勝だけになってしまった。もうこうなったら全勝優勝するくらいしか横綱、大関の体面を保つ手段は無いでしょう。今日も勝って5連勝。小結・照ノ富士も5連勝。この2人が引っ張って行く形に成るかな。

相撲終了後7時までNHKをキープし、全国ニュースが10分間、大阪の放送局から20分、京都の放送局から30分とニュースの梯子。京都の新型コロナウィルス感染者が2222人に成ったとか。ぞろ目やん、と思ってしまった。ぞろ目は好きなんでね。そんなこと思ってる場合じゃ無いな。全国的に感染者数が増加傾向らしい。気をつけよう。

今日は野球が無いので、Uber Eats でもカップ麺でもない夕食がいい、ということで車で五条通の王将へ向かう。ホリエモンみたいにマスクしないで入店拒否されたらたまらんので、マスクをして出掛ける。幸いまだマスクのストックはあるので、贅沢に使いましょう。たまにはキムチ炒飯でないものを食べよう、ということで、キムチラーメン。あんまり変わらんじゃんか、というかもしれんが、大きな差。何しろ王将でラーメンを食べるのは恐らく初めて。もちろん餃子も食べた。美味かった。満足。

帰宅してしばし録画して見なかったものを見た。その後何故か複素関数論の本が手近にあったので勉強。コーシーの積分定理とかコーシーの積分公式とか、大昔に勉強したことはもちろんあるが、色々忘れてるんで。多分積分定理の証明はちゃんと書いていないと思うが、まあちゃんとしたことは講義を担当した時にでも勉強すればいいので、雰囲気を味わう。最後にリュービルの定理と代数学の基本定理の証明。面白かった。複素関数論は楽しいな。あんなに予定調和的に全て成り立つことが不思議。微積分の虜に成った人はあまりいないと思うが、複素関数論の虜という人は多いでしょう。

明日は起きる必要が無い。今日は遅くまで起きていようか、という気がしないでもないが、明日一日無に成ってしまうので、まあ3時前には寝よう。 

卒研に見学者4名

昨日は更新をさぼった。まあ例に寄って大した理由じゃない。保健センターはさぼってしまった。起きた時間が遅く、急いで職場に行っても保健センターが閉まる時間になっていたため。血圧の薬は少しストックがあるので、来週行けばいいでしょう。来週は間違いなく行くかって？さあ。まあ善処しましょう（役人口調）。

今日は1時から「数論序説」のゼミ。この前卒研ガイダンスを失念していて欠席したのに、4人も見学希望者がいるとは。まあ重畳。昨日の晩学生に参加方法を記したメールを送っておいて、そのうちの3人は無事参加出来た。が、1人いない。寝坊か？いや加川じゃないしな。でしばしゼミは進行。しばらく経つとその学生からメール。ログインできない、とのこと。変だな、他の3人は入れているから、小生の伝えた URL に間違いは無いはず。「もう1回トライしてみて」と返事を書くと、やはり出来ない、とのこと。状況を少し聞いたら、スマホでログインを試みているらしい。で小生のスマホからログインを試みると、無事出来た。と、学生に送ったんだが、まだ出来ない、とのこと。おかしいな、と思ってしばらく様子をうかがっていたら、どうやら入れた模様。よくわからないが、無事解決したので、まあよしとしましょう。その頃ゼミは2次体での素数の素イデアル分解を分類することをやっていた。まあそれくらいなら真剣に聞かなくても分かるさ、ということで流していたが、その通りだった。ちょっと一箇所小さなミスがあった以外は完璧。Kummer の定理の使い方がよくわかってよかったね。その後選手交代して、判別式を割らない素数は不分岐など。逆は出ていない。何故かというと、「数論序説」では2次体と素数分体以外は扱わず、それらでは「分岐 ⇔ 判別式を割る」が Kummer の定理よりわかっているので、よし、ということ。誰も大学院に進学しないですし、それで問題無しでしょう。進学するなら上の体の素イデアルで分岐するものは相対共役差積を割るものに限る、ということの証明を理解すること、と言うんだが。まあいいでしょう。3時くらいに終了。見学した感じはいかがだったでしょうね？結果は来週出る。

1時間ほどぼーっとして相撲。昨日も見忘れていたので、どうなっていたのか知らなかったのだが、朝乃山休場しているようだ。うーん。正代も足首に怪我とか。うーん、大関に成る前は皆強いんだが、大関に成ると皆怪我をする。うーん、何でじゃろね？正代は相当悪いようで、あっさり突き出された。もう1人休場となると、流石に寂しい。と言って無理して出ても仕方ないし。うーん。

と唸っているうちに野球。今日は vs. Tigers。Tigers は今シーズン最終戦ということで、ホームラン王と打点王にわずかな望みがある大山を1番で起用。今日5打数5安打なら3割という近本は3番で。流石にどちらも無理筋。それどころか、8回表終了時で0－0という投手戦。Baystars は10勝している大貫、Tigers は中継ぎを経験して復調著しい藤浪。どちらも全然打たれる様子が無い。で8回裏。ピッチャーは2番手の石田。左中間にふらふらっと飛んだ当たりが、何とセンター神里とレフト乙坂の間にポトリ。どちらも激突を恐れて、最後の一歩の出足が悪かった。ノーアウト2塁。その後近本がタイムリー3ベースで0－1。うーん、残り2試合2勝しか5割の可能性が無いので、かなりまずい状況に追い込まれた。9回のマウンドは Tigers を退団することになっている能見。先頭の4番細川がセンターへヒット。う、よしよし、と見ていたら、5番ソトがゲッツー。ガーン。6番柴田は粘るも三振でゲームセット。これで今シーズンの負け越しが決定。幸い Carp が負けてくれたので、4位確定。まあ最低限のことは出来たな。Tigers は貯金が7もあるらしい。去年の2位 Baystars の貯金が僅かに2だったことを考えると、上出来に見えるかもしれないが、Giants に一度も迫ることなく、ただただ黒星を積み重ねた Tigers だ。価値は低い。まあ負け惜しみですわ。来年は Baystars と Tigers で優勝争いをしましょう。最後は Tigers からラミレス監督に花束、そして能見がグラウンドを一周と、この時期らしい催し。シーズン終わるのか、寂しいな。最後の1試合は vs. Giants。けちょんけちょんに叩きのめして、Giants 戦の対戦成績を5割に持ち込みましょう。完全優勝だけはさせちゃならん。

丸二日外出してない。が、これからちょっと外出。免許証とマイナンバーカードのコピーを取って送らないといけない郵便物がある。ということでコピーとって来ます。寒いだろうから、がっちり防寒していかないと。

ゼミの後就職委員会

二日ほど更新をさぼったが、よくあること。特に書きたいことは無いし、呑んで潰れてという恒例の週末でした。

月曜日は1時からゼミ。今日は p が i(p)<√(p)－2 を満たす素数なら、指数 p のフェルマー予想の first case が正しい、という定理から。案外大変だった。その後岩澤による p 進 L 関数の構成のための準備。完備群環と形式冪級数環が同型であることを示すため、Weierstrass preparation theorem の p 進版とかを証明。中々大変。3時45分くらいに終了。しばらく難しいぞ。

難しいせいか、段々眠くなってきた。次の予定は6時なので、2時間ばかりある。仮眠を取ろう、ということで横に成る。1時間程で目が覚めた。もう少し寝よう、というところで気が付いた。昨日から相撲がやってる。昨日もすっかり忘れていて、深夜のダイジェスト版も録画し忘れた。まあいいや。ということで幕内の後半戦辺りから観戦。新大関・正代は昨日危なっかしい勝ち方をしたようだが、今日は緊張から解き放たれたか、万全の勝ち方だった。が、朝乃山が照ノ富士にぶん投げられて、黒星。両横綱が出ていないだけに、大関は頑張らないといけない。朝乃山は先場所も不安定な立ち上がりだったから、明日以降頑張ってもらおう。貴景勝は勝った。

で6時から就職委員関係の会議。まあ現状報告を就職センターの人が報告してくれるというものだが、今までで一番真面目に参加した。去年は対面でやっていて、その方が真面目に成れないのはどうしてだろうか？まあいいんだけど。真面目に参加しても殆ど右から左で、唯一覚えているのは、今年は公務員試験が順調とのこと。時期が遅れたり方式が変わったせいだろう、ということだ。まあいいことですね。7時5分に終了。

それからは無駄に過ごした。パソコンでフリーセルやって、フリーセルやって、そんでまたフリーセル、てな感じで、フリーセル猿に成っていた。8時半から「Qさま！！」が始まったので、見た。その後「報道ステーション」でニュースを仕入れる。北海道の新型コロナの感染者数が増えている、というニュース、その後トランプが去り際の悪い話など。スポーツのコーナーでは、パ・リーグの全日程が終了して、周東（Hawks）が50盗塁、石川（Hawks）が最多勝に並んだなど。言ってなかったがネット情報によると、涌井（Eagles）が3チームで最多勝という史上初の快挙。パ・リーグは土曜日から CS が。今年は1位と2位の対戦だけで、試合数が少ない（何試合かは忘れた）。Hawks vs. Marines に昨日の Marines vs. Lions の結果で決まっていたようだ。Marines は意地見せないと。で最後に速報が。新型コロナウィルスのワクチンとして採用されそうなものが開発された、とのこと。うむ、本当なら凄いぞ。期待しよう。

明日は保健センターに行くので、そんなに遅く起きるわけにはいかない。で今日も早く寝るかと言うと、そうでもない予定。またプロレスの番組を見ないといけない。終わったら3時くらい。まあいいでしょう。明日も朝飯抜きになる可能性大。健康診断の問診証に「週に3日以上朝食を抜いている」という欄に丸をしたので、怒られるでしょう。まあいいんだけどね。

9時半から南草津の病院で健康診断

8時のアラームで起きた。昨日書いた通り、今日は朝から南草津の病院で健康診断。8時45分頃に出掛け、病院に9時25分着。9時半から健康診断だから、非常に丁度いい。で1階と2階を何往復かして、10時半頃に検査は終わった。こりゃ早過ぎだな、と思ったら、問診の順番待ちで時間を食った。職場での健康診断の時は3人のドクターが診てくれるので早いのだが、今回はドクターは1人のようで、それで時間が掛ったのだった。全て終了したのは11時10分くらい。ちょっと足を延ばして昼食にするには丁度よい。

ということで、栗東市綣の「ボストンコモン」を目指す。この前はステーキだったが、ハンバーグが1日5食限定ということで、ハンバーグランチを頼む。美味かった。Baystars ファンのマスターの息子と Baystars 談義もしてきた。B クラスになってしまって残念でしたね、など。小生が食べている最中に4人組が入ってきて、店が忙しそうだったので、話は程ほどにしてきた。

それから職場へ。年末調整の書類の提出と、とある報告書書き。Word で作成しなくてはいけなく、そこに数式を書くからもう面倒くさいこと。様式自由ならもちろん TeX で作成するんだが、書式を固められている以上仕方が無い。Word で数式の入力をするのは極めて面倒くさい。昔1人だけ修論を Word で作成した学生がいたが、よくあんな面倒なことをやったもんだ。諸事情で彼だけは TeX を覚える余裕が無かったための緊急避難だったが、よくやったと思うわ。K君、修論は TeX で出してな。まだ1年以上余裕があるだろうから、早いうちに覚えてください。

今日は野球が無い。だからいつも見ていない番組を見たが、面白かった。録画してまで見たいとは思わないが、時間潰しには丁度良かった。健康診断が終わったし、呑みながらビデオでも見ようか、と思ったんだが、緊張が緩んだのか腹が痛くなってきた。今日の呑みはやめ。明日呑みます。

毎年恒例の引退、戦力外通告のシーズンに成った。かつての期待のホープも結果を残せず去っていく。引退出来るのは幸せなほうでしょう。吉見（Dragons）、渡辺直人（Eagles）は引退試合までやってもらえる幸せ者。幸せな現役生活でしたね。戦力外に成った選手は、まだまだ長い人生の残りをどうやって生きていくか模索しながらでしょう。小生は戦力外ギリギリで勝ちあがって、その後大きな大学に就職できて、あと13年何もしなければ定年退職。（何もしなければ、というのが怪しいんだがね。詳細は内緒。）30には仕事が無くなっていたはずで、そこから数学と関係ない仕事をやるのだったら大変だった。ラッキーだった。ということで気持ちも新たに明日から生きて行こう。

「2重2次体」って「22次体」に聞こえるな

 昨日は早く寝る積もりだったが、結局2時くらいまでは起きていた。まあ早い方。で今日はちゃんと12時くらいには起きた。

で定時の1時からゼミ。今日は位数2の点が全て Q 有理点である時の E(Q)/2E(Q) の有限性の証明。見たことが無い証明法だったが、大変クリアだった。時間もあるし、引き続き一般の場合をやるのかと思ったら、予習が尽きたそうだ。まあいい。難しい所だ。ゆっくりやろう。ということで2時45分頃終了。

その後しばらくアメリカ大統領選のニュースを見た。うーん、トランプ、悪足掻きはみっともないぞ。早く決まらないと世界中が迷惑するんだ。素直に諦めろ。

で6時から野球、と行きたい所だが、今日は北陸数論セミナーで、東京理科大の小松亨氏による虚重2次体のイデアル類群に関する話があるんだったことを今朝思い出した。6時15分から。何故思い出したかって？某先生が私信をメーリングリストに流してしまい、そのメールに今日のセミナーの案内が添付されていたから。参加登録をしないといけないらしいので、急いで登録。何とか参加出来た。で話はというと、大変興味深かった。流石にイデアル類群のプロの話だけあって、非常にクリアーで示唆に富んだ話だった。ドイツに一年行っていたそうで、その際の共同研究が元らしい。チャンスをしっかり活かしてきたのは流石。小生にも数回チャンスはあったものの、いずれも国内で惰眠をむさぼっていたので、あまり目立った成果を得なかったのは恥ずかしい限り。今となっては医者に血圧やら何やら管理されてしまっている半病人なので、とても海外に1年行くなど考えられない。若いうちに怠けた報い。まあ小生のことはともかく。セミナー終了後はしばし氏を囲んで雑談。ドイツ観光も随分されたそうで、ゲッチンゲンで高木貞治が住んでいたところに行ったり、ガウスの墓も行ったそうだ。楽しそう。その後年末恒例、金沢での研究集会はどうなるのか？という話題。今年は中止の方向だそうだ。毎年100人くらい集まっているので、密な状態が避けられないためだとか。まあ仕方ないね。今年は予算ががっさり余ってしまうな。学科のお金も相当余っていて、使ってくださいという指令が下ったが、小生何も使いどころが無くて困る。Magma 買おうかな？ただ科研費が当たってしまうと、そちらで買えなくなってしまい困る。まあもうちょっと様子見だな。

で8時ごろから野球。0－1で負けている。Dragons の先発は大野雄大。流石というピッチングをしているようだ。Dragons が7回にチャンスを作ると、意外にも大野に代打。何が何でももう1点取る、という意志の現れか。しかし7回は点を取れず。Baystars はと言うと、8回も平良。先頭打者を2塁打で出塁させてしまう。送りバントで1アウト3塁。でアリエル・マルティネスの内野ゴロの間に試合を決しかねない2点目。うーん。9回表は2アウト2,3塁のチャンスを作るも、何かよく見る光景、代打・中井が三振でゲームセット。ということでBクラスが決定してしまいましたとさ。Dragons に3タテでAクラス確定だ、などと言っていたら、逆に3タテを食らってしまった。うーん、今年は優勝だ、なんて言われていたのに、終わってみればBクラスか。あと2試合残っているが、見る気が失せてきた。梶谷は今日は故障で欠場と、首位打者も最多安打も絶望的。首位打者は佐野に決まりだからいいが、最多安打を大島に取られるのは何か癪だ。まあいいや。残り2試合は気が向いたら見るということで。確か来週1試合、再来週1試合と、いかにも「忘れてください」という感じなので、忘れましょう。

明日は健康診断。9時半までに大学の近くの病院に行かないといけないので、今日こそ早寝。これを書き終わったら髭を剃って即寝よう。そうしないとまた夜更かししてしまう。明日は8時起き。飯抜きなので、8時45分くらいには住処を離れられる。間に合うでしょう。多分1時間もあれば終わるので、そしたら何か有益な時間の使い方をしよう。といつも思うんだが、有益に使った試がない。まあ出たとこ勝負だ。

Lions が2位で Marines が3位に

結局昨晩もそんなに早くなかった。まあ今日は12時前には起きたし、いいでしょう。で1時から卒研なので、1時近くなって準備開始。その際にメールを見たら「12時15分から卒研ガイダンス」というメールが。がーん、完全に忘れていた。まずったな。まあ仕方ない、成るように成るさだ。

1時から「数論序説」のゼミ。今日は剰余環の話から。イデアルのノルムが完全乗法性を持っていることや、オイラー関数が乗法的なことなど。ここもまあまあ難しい。が、その後はもっと大変。素数が代数体でどのように分解されるかの話。分岐指数や相対次数の定義。分岐指数と相対次数が体の拡大に対しよく振舞うことや、[K：k]＝Σe_if_i など。その後最小多項式の mod p での分解で p の素イデアル分解がわかる Kummer の定理。これの証明は難しくて、大学院向けの講義でも証明は省略している、と言いたかったのだが、今日改めて証明を聞いてみるとそんなに難しくない。多少長めだが、ワンステップごとをきっちり読んですっきりした。うむ、再来年講義するときはきっちり証明しようかな。「数論序説」にちゃんと書いてあるからかもしれない。珍しい。この本は何となく読んでると感じないが、きっちり読んでみると雰囲気で書かれていて、きっちりしていないことが多い。例えばイデアルの和を何の説明も無く最大公約イデアルとしていて、I＋J＝(1) ⇔ I,J が互いに素、とか、説明が無いと気持ち悪い。そもそもイデアルが互いに素って何だ？という疑問を持っても書いてないので他の本を読まないといけない。他にも I₁…I_i-1I_i+1…I_n を I₁…I_nI_i^-1とか書いたり。この時点ではまだ分数イデアルは導入していない。易しげに書いてあるが、大学院レベルの数学能力が無いと読めない本だ。来年からは使うまい。ゼミの最中に1人卒研の見学をしたい、という学生からメールが来た。うむ、よかった。どうやら卒研を開けそうである。しかしオンラインゼミだから、見学をさせるのは難しい。まあどうにか成るでしょう。4時15分終了。

4時半から会議。頭が痛い（物理的に）ので、一寝入りしたいところだったが、15分くらい寝るのは難しいので、我慢。緑茶とコーヒーでドーピングしながら会議に参加。今日も割合重めの話題があって、頭の痛みが増幅された。コロナ禍でなければ気にしなくていいことがいくつもあるが、現状ではそれらについて真面目に考えないといけない。本当に頭の痛いことです。

会議の終盤から頭の痛いのは引いてきた。会議は6時15分過ぎに終わったので、それから野球。4回裏に4点まとめて取られて、いやな感じ。が、5回表にソトのソロホームラン、6回表にロペスの3ランホームランで同点。らしい点の取り方だ。が、最後は一発にやられた。8回裏に高橋周平のソロホームランで勝ち越しを許し、最後は福に三者凡退に抑えられて、the end。残り3試合で3位と2.5差と、極めて厳しくなった。明日の Dragons の先発は大野雄大。いよいよ厳しい。いや、明日大野を打ち崩すんだ。大野には防御率1位は諦めてもらって、沢村賞1本で、って矛盾してるな。沢村賞を確定させるには大野は勝たなくてはいけない。うーん、素直に Baystars を応援しよう。大野を打ち砕くんだ！

終了後ニュース。今日のメインは当然アメリカの大統領選挙。トランプが勝利宣言をしたそうだが、それについて賛否両論。いや、否の方が多いようだ。何にしても勝負が決するにはまだ時間が掛りそうだ。で申し訳程度にスポーツニュースのコーナーがあって、その中でも申し訳程度に野球のコーナー。今日の話題は坂本（Giants）が2000本安打成るか？、パ・リーグの2位、3位はどうなる？といったところ。前者は今日ノーヒット。後者は Marines が負けて Lions が勝ってと、Lions が2位、Marines が3位という結果に。うーん、Marines には頑張って欲しいんだが。まあ Lions が行ったら Lions vs. Hawks の因縁のクライマックスシリーズに成るので、それはそれで面白いか。どこでもいいけど日本シリーズで Giants をけちょんけちょんにしておくれ。

でこのページを書くのにはいつも Yahoo!プロ野球速報で得点経過を見ながら正確に書いているが、その際に知ったこと。Tigers は Giants 以外の4球団に勝ち越し。おい！Giants を走らせたのは Tigers のせいだな。Baystars は vs. Giants の残りの1戦を勝てば対戦成績は5割。そんなに悪くない。来年は Baystars も Tigers も Giants 相手にボロ勝ちしよう。

また頭が痛くなってきた。今日は早く寝よう。いつものようにアドバルーンだけ上げるのではなく、今日こそは早く寝よう。

MATHSCINET の reviewer に騙されて、朝の5時まで起きていた

昨晩は論文を読み終わってさあ寝るか、となればいいんだが、そこから MATHSCINET 漁り。読んだ論文や関連論文がどう review されてるか見ようと思って。で見たのがいけない。関連論文で読んだ論文の結果が一般化されていて、で reviewer によれば「D＝8 の場合を例として挙げていて、一生懸命やっているが、楕円曲線に直せば階数0だから自明」と。成程、楕円曲線に直してみよう。確かに階数0。でもう少し一般の4次式を Weierstrass form に直してみて上の場合の階数を計算してみたら、何と階数1。おかしい。計算間違いが無いかどうか一生懸命点検をするんだが、間違っていない。よし、こんな時は Maple だ！というわけで Maple を持ち出して計算。前者が間違っていて後者が合っていることがわかった。ここまで2時間近く掛っている。でもう一度計算したらやっぱり階数1。reviewer が計算ミスしたんだな、と納得。やれやれ騙された。その後元の問題の解がちゃんと得られていることを確認して、終了。というところでもう5時過ぎ。寝るぞ！ということで横に成る。

今日は祝日である。ということで野球はデーゲーム。2時開始なのだが、起きたらもう始まっていた。大貫が先発。見始めたときは1－1だったのだが、あっと言う間に3点取られた。次の回も1点取られて、1－5。そしたらあっと言う間に3点取り返して4－5。ええんちゃうの、と思ったら2点取られてほぼ勝利は絶望的。と言ってもあと1イニング攻撃を残して3点差なら何とか、と思ってみていたら1点取る。が、反撃もそこまで。今日勝てば3位浮上だったのに、残念ながら今日の浮上はならず。あと2試合勝ちましょう。3位で貯金を持って終了と、せめてそこまでは行きたい。

その後昨日書き散らかしたものをノートに整理した。一箇所残っているギャップがあったが、幸いすぐ埋められた。で全て終了。金曜日健康診断だし、いい加減早目に寝よう。今日はもうMATHSCINET は見ないぞ！

大阪都構想否決される

昨日は9時にはもう寝てしまった。流石に眠かったので。で朝、何やらスマホから音声が。恒例災害に関する試験警告。もう。と思って時計を見たら9時半くらい。まあいいや、起きるか、ということで起きた。その後テレビでいわゆる「大阪都構想」に関するニュースを見た。僅差で否決とか。否決になるような気はしていたんだが、やっぱりなったか。国政にどういう影響があるかなど、結構真剣に見た。公明党が一番美味しい思いをしたとか。ふーん。

1時からゼミ。今日は Herbrand の定理と、Stickelberger の定理を用いた相対類数の公式など。Stickerberger の定理は Ireland＆Rosen でやった、とスキップされてしまった。もう一度復習して欲しい気分は多々あったが、まあ学生に基本任せてあるので、止む無し。ということで細かい話が一切耳に入ってこない。ということでストーリーだけわかったのでよし。しかしイデアル類群の p シロー部分群を A で表したかと思えば、線形写像を A で書いたり、はたまた ζ 関数の定義ではイデアルを A にしたりと、大らかなもんだ。流石にアメリカ人の書いた本は違うぜ。大学院まで行くとその程度では混乱しないんだな。小生学部生向きの講義では写像は小文字のアルファベット、多項式は大文字のアルファベットで統一しているが、環 R 上の多項式を別の多項式で割った余りを R(X) と書こうとしてうっ！（その時は仕方なく r(X) とした）、体 K 上の多項式を F(X) と書いて、しばらくして K の部分体を F と書こうとしてうっ！（その時は時間が経ってるからそのまま通した）ということがあった。部分体を L にでも M にでもすればよかろう、と突っ込まれるだろうが、原則拡大体は L、拡大の中間体を M と書くことにしているので、ちとまずい。まあ枝葉だが、学部生にはその程度の統一でもしておかないと混乱してしまうのだ。答案を見れば明らか。高校生には数学的帰納法は k＝1 から初めて、k＝n の時に成立を仮定して k＝n＋1 の時を示す、とやらないといけないようだ。高校生には文系の学生も混じっているから、それくらいの気は使わないといけないのでしょう。整数論の研究者は円分体 Q(ζ) の ζ 関数とか、e を分岐指数としたと思えば自然対数の底にしたりとか、π を局所体の素元にしたかと思えば円周率にしたりとか、混乱しないでやれるのは凄い。そういう人には小生の様な記号の統一を図らないかもしれない。まあいいんだけど。

この前途中まで読んだ論文の続きを読んだんだが、凄い。凄過ぎる。まああげたらきり無いが、例えば 3x²＋28x＋64 が (x＋4)(3x＋16) と因数分解できるなんて目の子でわかるんだろうか？小生にはとても出来ない。他にも凄いと思うしかないこと多数。大家の書いた論文は違うぜ。もう少しで読み終わる。歯を磨いたら読み終えよう。

寝ないで駅伝を見て、野球の最中は寝た

呑んで帰ってきての悪い癖。寝ない。今日も起きっ放し。大学駅伝の放送があるようなので、見た。いや、そんな真剣に見たわけでなく、パソコンの前で作業をしながらテレビを流していただけ。母校早稲田が首位を走っていたが、途中でビッグ3に抜かれる。残念。でビッグ3のアンカーがデッドヒート。開始から4時間経っているのに、差は無い。途中青山学院が置いていかれ、駒沢と東海のデッドヒート。残り1kmの所で駒沢がスパート。23秒差でゴール。流石駒沢、強い。早稲田は5位。まあいいでしょう。青山学院は明治にも抜かれ、4位フィニッシュ。明治のアンカー強かったな。

というところで1時40分くらい。2時から野球なのだが、猛烈に眠い。流石に限界。テレビを付けっ放しで横に成る。ソトの2打席連続ホームランなどでリードしている。一旦起きた。その時点では5回終了で3－1とリード。先発の阪口がプロ入り初勝利の権利を持って降板。6回はパットンが抑えたが、7回もパットン続投。これが裏目で、砂田、平田とつないだが4失点。3－5。そこでまた眠気が襲ってきたので、再び横に成る。でしばらく寝ていたら、アナウンサーの大声が。「サヨナラー！」と。うむ、見ておくべきだったな。7回裏に細川のホームランとソトのタイムリーヒットで同点に成っていたのだった。で9回に梶谷のサヨナラヒットで6×－5で勝利。うむ。やはり最後まで信じて見ないといけないな。と毎回のように思うんだが、ちょっと負けてると不貞寝してしまう。もう少し堪え性が無いといけないな。残り5試合。明後日からナゴヤドームで3連戦。その後中止に成っていた Tigers 戦と Giants 戦の分を1試合ずつやって、今シーズンは終了。Dragons とは0.5差だし、直接対決で勝ち越せば3位浮上。Tigers 次第では2位もあり得る。残り試合は懸命に応援しよう。

もう眠いな。今日は早寝だ。金曜日の健康診断まで体調を整えておかないと。9時半からというとんでもない時間にすることに成ってしまったので、当日は8時前に起きないと。まあとりあえず明日は1時からゼミだから、そこに向けて体調を整えたい。寝る。

ロペスが日米両方で1000安打

起きたら2時くらい。野球が始まっていた。でいきなり満塁ホームラン。あかんわ。3回に1点、4回に2点と、どうしようもない試合。が、見所。ロペスがホームラン。これでMBLで1000安打、NPBで1000安打と、イチロー、松井秀樹に次ぐ大記録。すごい。今日の見所はそれだけ。5－13と、どうしようもなかった。が、書いた通り、今日の主役はロペス。すごい。試合終了後にはセレモニー。バックスクリーンにロペスの偉業が映し出される。通訳の人（名前は分からない）によりロペスの人となりが紹介されて、その後長野（当時Ginats）としゃべ（Giants２軍監督）のインタビューが映し出されて、その後 Baystars の面々のインタビュー、ご家族のインタビュー、MLB時代の同僚からのインタビューと、感動的なシーンが映し出される。うん、すごい。そんなインタビューとかそういうのでは言い表せないくらいの大偉業。すごかった。こんな試合は勝ってあげたかったが、まあいいでしょう。チャモさん、来年もよろしくお願いします。

その後レポートの採点。√－2 が Z[√－2] の既約元（という難しい言葉は使わなかったが）であることを例示してあるので、1＋√－5 が Z[√－5] の既約元であることを証明せよ、というレポート課題を出した。で出来はというと、中々悲惨な出来。「6が素数」とか謎な解答が多かった。他にも √－5 が既約元であることを示している謎なレポートも結構あった。まあ1回生のレポートはそんなもんかな。講義の資料を見ずに、Z[√－5] の既約元をネット上で探して書いたレポートも一定数あった。まあいいんだけどね。何か間違っている。まあいいんだけどね。

その後呑みに出る。土曜の深夜はいくつか見たい番組があって、わざわざ録画してまで見てたんだが、今日は予約するのを忘れた。まあそこまでして見たいと言うとそうでもないので、これで決着が付いたので来週からは見ない。もっと研究をしないといけないという現実を突きつけられたので、これからはテレビは程々にする。いやしないかな。まあ心がけだけでもする。

負けておかしくない試合を引き分けた。でかい。

今日は12時20分から面接の予定だったが、学生からメールが来ないので、Zoom のURLを教えられなかったので、面接は中止。結局3人面接する予定だったのが1人だけになってしまった。まあいいんだけどね。2時から保険会社の人と会う約束があったので、職場へ向かう。2時丁度くらいにウェストウィングの下までいったんだが、そこで電話。保険会社の人から。2時約束で2時丁度に研究室にいないといけないんだろうか？営業の人はその辺は我慢してくれないと。まあいいんだけど。用事は10分ほどで終了。その後 USB メモリーを買って、領収書を今日届いた本の領収書と一緒に事務に送る。その後部屋でちょっと論文読み。5時半くらいまで。SageMathがスタンドアローンで動く環境だと、研究が捗る。次のノートパソコンを買う時は、UBASICに見切りを付けて64bitのマシーンを買うか。

その後高速道路経由で帰宅しようとしたら、「瀬田東JCT－京都南 渋滞8km」の表示。…。まあこれくらいの渋滞だったら高速に乗ったほうが早いんだ、と思ったら案の定で、草津JCTでちょっと混雑があったが、瀬田東JCTで解消。その後大津インターまでは渋滞無し。京都東インターが近くなってようやく渋滞。結局トータルの渋滞は2km程度。35分くらいで住処着。まあ上等。

6時5分くらいから野球を見始めた。今日は完全なる負けゲーム。4回の神里のホームラン以外はヒットが出ない。9回も2アウト。ランナーは今日2本目のヒットの神里で、バッターはロペス。ここで相手が信じられないミス。あれだけ直球を空振りしまくっていたのに、スライダーを放ってくれた。その球をロペスがホームラン！3安打で3点と、負けていた試合を追い付いた。延長10回表。先頭打者を四球で出す。ここは当然バント、というシーンで強攻策。でランナーのボーンヘッドで1アウト、三振で2アウト。おいしい、と思って見ていたら、あっと言う間に2アウト満塁のピンチ。三嶋の投げた球が植田に当たった、という判定で押し出しのはずが、ラミレス監督のリクエストでファールボールに。結局植田は三振。10回裏は3者凡退でゲームセットだったが、2度負けているところでどうにかしたのはでかかった。Tigers とは2ゲーム差のまま。

今日の横浜スタジアムは違う意味で注目されていた。観客を80%入れて、飛沫の飛び具合や人の流れを調べる、所謂「人体実験」。が、今日は集客がいまいちで、50%くらいしか入らなかったらしい。アプリで人の流れを調べた結果も、「混雑していない」とアプリがはじき出したものを専門家の目で見ると「十分混雑」らしい。明日は90%、明後日は100%の観客を入れるらしいが、客入るんだろうか？チケットを買うのに了承が必要とか面倒くさそう。35％オフらしいが、それでも予想を下回る出足。明日はどうなることやら。まあそれとは関係なく、すっきり勝って欲しい。

さて、などとやっているうちにセ・リーグの優勝チームが決まったようだ。あんなにもたもたして優勝とは、かっこう悪いの極み。Hawks の強さとは大違いだ。まだパ・リーグは2位が決まっていない。2位が決まっても日本シリーズ出場チームは決まらない。まあどうなるかわからないが、今年もパ・リーグのチームの日本一で決まりでしょう。G以外のチームが出たら素直にセ・リーグ代表を応援するんだが、Gの日本一だけはならねー。日本シリーズは呪いをこめながら観戦する。

さて、Hawks の周東だが、また盗塁を決めたらしい。これで連続試合盗塁の世界新記録とか。こんな選手を育成で取っている Hawks のスカウト網には舌を巻く。FA選手を取るのばかりが脳ではない。少し考えを改めたら G を応援してあげてもいいんだが、「優勝を義務付けられている」とか、「盟主」とか言っているうちは応援する気が起こらない。10年くらい優勝から遠ざかればいいんだ。そうすれば少しは他のチームの気持ちもわかるだろう。Hawks だって見ようによっては金満チームだが、今日のチームに成るために世界の王が卵をぶつけられたりと、苦労しているのだ。王さんの喜ぶ顔を見ると、Hawks が優勝してよかったと思う。Gにはそういう人がいないからね。おっと、大分話がそれた。周東凄い。

「数学展望」のオンライン講義は無事終了

1時から楕円曲線のゼミ、のはずが、例に寄って寝坊。起きたら1時3分。色々準備して、1時10分くらいに開始。申し訳ない。今日は体 k 上定義された楕円曲線 y²＝(x－α)(x－β)(x－γ) 上の点 (x,y) がある点の2倍に成っているための必要十分条件は x－α, x－β, x－γ が k の平方数であることなど。応用例として y²＝x³－nx が (0,0),(n,0),(－n,0) 以外の有理点を持てば n が合同数であることや、2が合同数でないことなどを証明。でここで予習が尽きたらしい。E(Q)/2E(Q) の有限性には次回から入る。3時前に終了。

4時20分から「数学展望」。早目に部屋を開いておくと宣言してあるので、4時10分くらいに Zoom を起動。続々と入場してくる。少し遅れてくる学生がいると思うので、講義は5分遅れで開始。黒板に書き書きしながらやって1時間ちょっとという内容だから、スライドを見せながら喋るだけではあっと言う間に終わるんではないだろうか？と思っていたら案の定。45分くらいで終わってしまった。話の途中から参加してくる学生がいたり、話が終わってから入ってくる学生もいた。平常点評価なのを知っているのだろう。課題が何かを聞いて、レポート書いてちゃちゃっと、と思っての途中参加と思われる。まあいいんだけどね。そういう舐めた態度はどこかで痛い目を見るから覚悟しておき。お前みたいに寝坊ばっかしてる奴に言われる筋合いではない？ごもっとも。終了後一人の学生が質問してきた。2回生だそうだ。「数学展望」は1回生配当の科目。登録しているのだろうか？今日の Zoom の URL を知っているところを見ると、登録していると思われる。「整数解でなく有理数解だとどうなるんですか？」とか、「岩澤理論てどんなものですか？」など。Fermat の最終定理に興味を持ったかな？難しいことは、向こうの能力もあるが、こっちの能力がないので説明できない。知っている範囲で説明した。でこの時点で5時30分くらい。そんな時間に現れた学生もいた。Zoom 会議を閉じてしばらくしたらメールが来た。学生が1人 Zoom 会議に参加してきた、とのこと。舐めるにも程があるね。まあいいんだけど。

終了後6時から野球。Giants のマジックナンバーは2。今日の結果次第では目の前で胴上げされる。何がなんでも勝たねば。1回裏にソトの内野ゴロの間に1点。2回表に1点取り返されたが、2回裏にすぐ戸柱のタイムリーで勝ち越し。 その後6回まで両チーム音無し。7回表に1アウト満塁のピンチ。ピッチャーは平良から砂田へ。丸を三振に討ち取って2アウト。ピッチャーは平田へ。中島を三振に切って取り、最大のピンチを切り抜けた。その裏に梶谷のタイムリー、オースティンのタイムリー、ソトのタイムリー2ベースで3点取って勝負有り。8回表に犠牲フライで1点を許すのみ。ヒーローインタビューは勝ち越しタイムリーの戸柱と、ピンチを切り抜けた砂田、平田の両投手。平田にはホールドが付いたが、砂田は何も無し。それでもヒーローに選ぶあたりは流石。いい勝ち方だった。2位 Dragons が負けたため、マジックナンバーは1になってしまったが、まあよかった。Tigers が2位に成ったので、優勝決定条件はもの凄く複雑に成ってしまった。明日の結果次第では、Giants は6連敗で優勝決定という、史上初の珍事をすることになる。それも面白いが、ここから Tigers なり Dragons なりが逆転優勝したらなお面白い。面白いことは多いほうがいいので、是非ここから逆転優勝を。Baystars？もう優勝の可能性は無いそうです ；＿；

試合始まった直後に、Hawks の周東が12試合連続盗塁の日本新記録を達成したとの情報。凄い。何しろ世界の福本豊を越えたわけだから。凄すぎます。

途中ルーキーの森が代打で出たが、見事にヒット。梶谷のタイムリーで生還したわけだが、解説の新井貴弘氏によれば、ちゃんと走りながら内野への返球をちらっと一瞥をくれたりとか、ホームへのスライディングとか、とても素晴らしいそうだ。なるほど。森敬斗只者ではないな。来年はもっと出場機会が増えるだろうし、楽しみだ。

さて、野球のやっている最中にメールを見た。明日の面接の学生からメールがないかと覗いた次第。その時助教のＩ先生からメール。何だと思ったら、小生のレポート問題が非公開になっている、との指摘。うむ、危ない。レポートの問題自体は講義の中で見せておいたが、提出する先が無くなってしまうところだった。そうすると多分問い合わせメールが次から次とに成ってしまう。Ｉ先生に感謝のメールを書いておいた。やれやれ。オンライン講義は難しいな。今日もちゃんと出来ているか不安で仕方なかったんだが、71人参加で、見えているし聞こえていると学生からも返信があったし。明日学生と面談をすれば、とりあえず Zoom ミーティングを主催する必要は無くなる。来年度はちゃんと対面講義が出来ればいいが。

明日から年賀状を発売するそうだ。もうそんなシーズンか。変な1年だった。来年はいくらかでも普通に成っていればいいが。

素イデアル分解の一意性の証明をようやく出来た

1時から「数論序説」のゼミ。ちょっと準備に手間取り、ゼミの開始は1時5分。今日は断じて寝坊ではない。今日のメインは素イデアル分解の一意性。分数イデアルを導入しないでやるので、予備知識は少ない。そうは言ってもイデアル類群とか類数とか、よくわからないだろう。本に書いてある通りをそのままなぞっているだけ、という感じ。よくわからないのが「よって」と発言した後本に目を移して、「従って」と書いてあると「従ってか」と言い直す。うーん、一言一句テキスト通りにやってくれなくていいんだがな。よくわかっていないからテキスト通りに話すということか。対面でやってたら色々突っ込むところだが、オンラインだと突っ込みづらい。まあいいか、ということで流した。来週は剰余環の話。イデアルのノルムとかやるようだ。と言っても、素イデアル分解の一意性を示す過程で剰余環が有限環であることは証明済み。あまり難しいことは無いだろう。2時40分くらいに終了。

ゼミの終盤から眠くなってきた。ということで野球が始まるまで寝よう、ということにして横に成る。途中一旦用足しに起きたが、よく寝られた。目が覚めたら6時を10分くらい過ぎていた。1回裏が始まる辺り。1回裏はワイルドピッチと宮崎のタイムリー2ベースとソトの2点タイムリー2ベースで4点先制。いいぞこれは、と思って見ていると、あっと言う間に同点にされた。うむ、マジック減らされちゃうのか？と思ったら4回裏に伊藤光の2点タイムリー3ベースと、Gianstsのレフト増田（大）のエラーで4点取った。これで8－4。今度こそＯＫか？と思ったらまた2点取られる。しかし8回裏に大城のパスボールとオースティンのタイムリー、そしてまた増田のエラーと、2点取る。今度こそ大丈夫で、三嶋が3者凡退に抑えてゲームセット。これでまた Giants のマジックを減らさなかった。最後に意地を見せている。明日も勝とう。今日 Dragons が負けてしまったので、マジックナンバーは2。明日の結果次第で目の前での胴上げを許してしまうが、そうは行くか。明日も勝つんじゃ！そして Tigers vs. Dragons は西（勇）と大野（雄）の両エースの投げ合い。大野を応援しよう。何度も書いているが、沢村賞は絶対大野。それを確定させるためにも、明日は大野が勝つ！そしてハマスタでの胴上げを絶対に阻止する。さあ明日大勝負だ。

イレギュラーな予定を忘れないように気をつけないといけない。気をつけるために有益なのは何度も書くこと。ということで書く。明日は4時20分から「数学展望」、明後日は12時20分から学生と面談。そして2時に生命保険会社の人と会う。これだけしつこく書いておけば忘れないだろう。いや、最近たるんでるから、まだわからんぞ。もう1回予定表を見ておくか。

Hawks 優勝（もちろん裏番組の Baystars vs. Gianstsを見ていたが）

10時半くらいに起きた。面接するはずの学生からメールを待っていたんだが、12時20分を過ぎても来る様子が無い。ということで面接は中止で、もう一寝入り。

起きてしばしニュースを見た。カス総理（インターネットでは今の総理をそう読んでいるようだ）の所信表明演説に対する突込みどころなど。それといわゆる「大阪都構想」というやつ。東京23区を手本にして、と言っているが、そうか？という感じ。まあ大阪のことだしいいや、というわけにはいかないのかな？よくわからん。

6時から野球。今日から vs. Giants 3連戦。Giants はマジック4なので、去年のように目の前で胴上げされてしまう可能性がある。それだけは絶対に避けなきゃならん。で3回に乙坂のダブルプレーの間に1点先取。が、Giantsの戸郷を何となく捕らえきれていない感じ。しかし、5回にロペスが満塁ホームラン！一気に5－0。が、その直後Giantsに2点取られて、結構接戦モード。8回表にはノーアウト1、2塁のピンチ。一発打たれれば同点。が、そこは代わった石田がランナーを返さない。その直後の8回裏にオースティンのソロホームラン、大和のタイムリー3ベース、梶谷のタイムリーで一気に4点。9－2で残すは9回だけ。もう勝ったでしょう。最後は伊勢が締めて、快勝だった。

今日はドラフト1位ルーキーの森が初出場。8回裏に代打で出て、レフトフェンス直撃の2ベースヒット。素晴らしい。梶谷が5打数4安打で、402打数132安打で佐野と全く同じになった（打席数451も同じ。四死球46まで同じ！）。佐野は肩の脱臼で抹消されて、今シーズンの復帰はもう難しいだろう。ということで佐野の成績はこれで fix された。どうせなら梶谷に首位打者を取ってもらいたいが、佐野も開幕から頑張っていただけにタイトルを取ってもらいたい。最多安打はもうない（Dragons の大島が134安打打っている）ので、佐野は取れるとしても首位打者だけ。うーん、悩ましいね。まあどっちが取ってもいいや。大島にだけは取られるなよ。今日勝ち投手に成った大貫が目出度く10勝目。パットンが100ホールド。どちらも素晴らしい。残り10試合、頑張ってもらおう。2位を目指せ！

などとやっているうちに、Hawks 優勝のニュース。うーん。今年の Hawks は出足躓いたり、Marines と Eagles の首位争いの際どい状況から見事に大勝ちしての独走での優勝。すごいね。まだパ・リーグは CS がある。Marines は存在感を見せるしかない。日本シリーズは Marines vs. セのチームで。セのチーム、って書かなくてももう決まったようなものなのでいいだろうが、まだ Dragons、Tigers に優勝の可能性がある以上こう書くしかない。今日は Dragons 負けたようだが、明日は頑張ってくれ。こちらも頑張るので、頑張って Giants の優勝を1日でも遅らせよう。

などと書いているそばから気付いた。今日は教授会があるというメールが来ていたが、開始時間は寝ている真っ最中で、すっかり失念していた。まあ今更言っても仕方ない。反省しよう。木曜日は「数学展望」の講義の日だ。忘れないようにしないと。楕円曲線のゼミを1時からやって、4時20分から「数学展望」だから大丈夫だろう。と言いつつ忘れないとは限らない。これからしばらく予定がある日が多いので、毎日スマホのカレンダーを見るとしよう。

「ベイストンコモンの会」で Baystars ファン達と盛り上がった

昨日はダウンして、ほぼ何もしない1日だった。Baystars が勝ったのも見てない。体たらくにも程がある。まあ休日だし、いいでしょう。で早目にダウン。

今朝は10時半くらいに起きた。お陰でゼミを定時から始められた。月曜日は円分体のゼミ。今日は p 進類数公式の応用として、p | h⁺(Q(ζ_p)) ⇒ p | h^-(Q(ζ_p)) や、実二次体の基本単数に関する Ankeny-Artin-Chowla の定理や、3 | h(Q(√3m) ⇒ 3 | h(Q(√-m)) など。今日はわけのわからない計算があまり無かったので、気楽に聞けた。3時45分くらいに終了。

いつもは大体そこから何も無く、テレビを見て過ごすんだが、今日は「ベイストンコモンの会」という、Baystars ファンが栗東市綣の「ボストンコモン」に集まる日。1回試しに参加しようと思い、行った次第。楽しかった。今日は21年前日本一に成った日だし、ドラフト会議当日でもあるので、盛り上がった。で1人の人が横浜出身。どこだと思ったら磯子区。こちらは上大岡だ、と言ったら、向こうは岡村だそうだ。詳しくない人は分からないと思うが、まあ隣町という感じ。「ゆずの出身地ですね」と突っ込んだら「同級生だ」とのこと。そうなのか。で21年前優勝した時は、ハマスタのパブリックビューイングで騒いでいた、と言ったら、その人もいたらしく、いた場所を聞くとすぐ近く。うーん、世の中狭いね。こういう日は呑むに限るんだが、残念ながらこちとら車だ。飲酒運転は絶対あかん、ということで、コーラ数杯。今度行くときは電車で行こうかな。会は8時45分頃終了。こういう席なら呑み過ぎの心配は無さそうだし。何しろ亀岡、三重、尼崎と、小生に比べると遠い人ばかり。どうしてそんな所で Baystars のファンに成ったかは謎。今度会った時に聞いてみよう。ということで行く気満々に成ってきた。まあまた来月考えよう。

カーナビは行きは名神経由の案内だったが、帰りは近江大橋、浜大津経由の道を案内してくれた。謎。多分時間と通行料と勘案した結果を出してきたんだろう、ということで従う。720円得したことになる。まあよかった。住処着10時近く。もう報道ステーションの時間だった。ドラフト会議についてのニュースをもっとやるかと思ったら、そんなに沢山取り上げてくれなかった。まあそりゃそうだ。で驚いたのが、田沢が指名されなかったこと。「田沢ルール」というルールを撤廃した、ということで当然下位で指名されるだろうと思ったのだが、育成ですら指名されていない。うーん、うーん。まあしゃあないわい。MLBで世界一に成ったことを勲章に、今後の人生生きてください。NPBは縁が無かったということで。

明日も学生と面談があるのだが、面接に出席する、というメールが来ない。これが来ないと Zoom の URL を教えることが出来ないので、自動的に面接は中止ということになる。まあいいや。明日は11時くらいには起きよう。

「一番絞り」の糖質0を呑んだ

結局昨日は、その後ビールを2缶呑んだ。「一番絞り」の糖質0を呑んでみたくて。でコンビニで普通の「一番絞り」と糖質0の奴を一缶ずつ買って呑み比べ。うん、やっぱり普通の方が美味いな。ただ糖質0の方もさすがはビール。発泡酒や第3のビールと違って、呑んだ感じがした。糖質0のため苦味がちょっと勝ち過ぎていたのが難と言えば難。まあこれからも普通の方を呑むでしょう。で酔っ払うと寝たくなくなるのが小生の悪い所。Mapleの入門書が住処にあることを発見してしまい、それを見ながら遊んだ。色々便利な機能がある。面白かったので、明るくなるまで戯れていた。

で2時から野球なのだが、起きたらもう始まっていた。1－1という状況から見始める。ロペスに日米通算2000本目のヒットは既に出ていた。見損ねたのは残念。その後逆転を許し、1－2で負け。うーん、連勝出来ないね。負け投手は平田。多分プロ入り初黒星。今年は初勝利もあった。いい場面で投げさせてもらっている証拠。黒星も勲章でしょう。

今日のマジックナンバーは、セ、パとも一つずつ減った模様。セ・リーグが5で、パ・リーグが3。というわけで、明日の胴上げは無くなった。菅野が負け投手に成ったようだ。何やら下半身に違和感とか。うむ、このまま故障で投げなくなるといいな。大野雄大の防御率1位と沢村賞が現実になる。さらに日本シリーズでの Giants の敗退と、いいことずくめ。菅野が重症であるよう呪いを掛けよう。

さて、普通は2日連続では呑まないんだが、呑み屋に顔を出すのも義務の一つということで、これから呑みに行く。今日は多分激呑みでしょう。健康診断が近付いているので、そろそろ控え目にしよう。まあ今日はいいでしょう。じゃ、行ってきます。

岩隈の引退会見を見て思ったこと

今日もやや寝坊。11時半に住処から徒歩10分弱の所に用事があったんだが、目が覚めたら11時16分。10時半に起きるつもりでいたんだが。数分遅れで到着。まあ大過は無かったのでよかった。予定は1時間程で終了。

住処に戻ってからしばしテレビを見ながら食事。その後科研費の申請書の直し。今日提出を目指していて、昨日の晩と今日頑張った結果、目出度く今日の4時半頃に提出。事務に直した旨メールを書く。特に返事は無いが、まあいいんでしょう。文句があるなら月曜日に言ってくるだろう。まあ来年もはずれそうだけど、いいや。

6時から野球。先発が京山と聞いた瞬間、今日も厳しいぞ、と思ったんだが、京山に謝らないといけない。6回無失点と、最高の出来。打つ方は梶谷のタイムリーと神里の犠牲フライの2点のみと、相変わらず湿りがち。それだけに京山のナイスピッチングはでかかった。連敗は3でストップ。借金は2で、3位 Tigers まで1差。もう流石に優勝は望めないし、2位 Dragons が好調（今日勝って貯金8）だから2位も辛そう。ということで Tigers に追い付け追い越せというのが最低目標かな。Tigers は苦手にしているが、そんなこと言っていられない。頑張ってください、Baystars 諸氏。

その後何故か 1/(x⁴＋1) の原始関数を知りたくなり、Maple で計算。結構とんでもない。まあ log と arctan で書けるので、大したこと無いと言えば無いが、部分分数に分解するのは難しそう。ということで、原始関数を再度微分したりして、何とか 1/(x⁴＋1) の、積分を計算するのに相応しい形の部分分数展開を求めた。メモっておく。何かの時に使えそうだ。とかやっているうちにこんな時間。明日は2時からの野球以外はこれと言った用事は無い。だからもう少し起きていようかと思っている。まあ気分次第ですわ、その辺は。

岩隈（Giants）の引退会見をやっていた。岩隈は近鉄 Buffaloes のエースとして素晴らしい働きをし、近鉄 Buffaloes が無くなった後は東北楽天Golden Eaglesに移籍、そこでも目覚しい働きをし、21勝上げたシーズンもあった。その年 Eagles は優勝しなかったが MVP。まあ当然でしょう。その後メジャーリーグに活躍の場を移し、日米通算170勝という、立派な記録を残した。ただこれでも名球会に入れないというのはおかしい。名球会入りの規準を150勝くらいに落としたらどないでしょうか。何しろ Swallows の石川（180勝以上している）や斉藤雅樹（毎年のように20勝していた）、桑田（170勝以上している）などが名球会にいないというのは合点がいかない。もう先発完投は夢のような時代だから、規準を落としてもいいと思うが。これ全然関係ないんだけど、うちの職場は年に2回しか外国出張を許しておらず、1ヶ月前には出張申請書を出さなくてはいけない、とか成っていたんだが、これは数年前に取っ払われた。船で目的地まで何日も掛ったり、沈没したりとかそんな時代でも無いし、これは当然の措置。名誉教授に成るには20年教授をしなくちゃいけないという規則も、15年でいいということになった。名球会の方も、もう金やんもお亡くなりになったことだし、大英断を望むね。

大野雄大（Dragons）、脅威の45イニング無失点

今日も寝坊。2分だけだが。で急いでゼミの支度をするが、学生が部屋に入ってくる様子が無い。メールを見たら、「喉が痛いので今日のゼミは無しにしてください」というメールが来ていた。何だそうか、ということでもう一度寝る。その後一度起きるも、まだ眠い。野球まで時間があるので、もう一度寝た。

で6時前に起きて、6時から野球。1回裏にいきなりノーアウト満塁のピンチ。でビシエドが犠牲フライ。0－1。その後はダブルプレーに打ち取り、1失点のみ。が、これが重かった。Dragons の先発は36イニング連続無失点の大野雄大。一度2アウト2、3塁のチャンスを作った以外は、全く打つ様子が無い。そのまま0－1でゲームセット。大野は10勝目で、45イニング連続無失点。10完投6完封。凄過ぎる。まあGのマジックが1しか減らなかったし、大野が防御率1位のタイトルと沢村賞に近付いたし、いいや。それにしても Dragons は凄い。借金7あったそうだが、今日で貯金7。今月は13勝4敗（だったかな？）と、途轍もない。首位Gと9.5差。うーん、もうちょっと爆発が早かったら面白かったな。それに理想を言えば、Dragons でなく Baystars にこの成績を残して欲しかった。今年のシーズンは総じて面白くなかった。まだ終わってないけどね。まあシーズンが始まるかどうか危ぶまれたわけだし、ここまで続いたのも奇跡かもしれない。贅沢は言っちゃいけないね。

野球終了後は科研費の申請書の直し。何年も同じことを書いているので、そんなに沢山直さないが、確かにおかしいところがあるし、直した。あと一箇所 typo が。「過程」と書くべきところが「仮定」に成っていた。恥ずかしい。気付いてよかった。直しは明日中に済ませ、という指示があったので、これから少しだけ頑張る。明日は午前中に用事があるので、今日は早寝する。フリーセルをやらないよう注意しないと。

ようやく代数体の整数環が定義出来た

1時からゼミだったはずだが、目が覚めたら1時を過ぎていた。うーん、たるんどる。ここのところ多いな。気を付けよう、とつい最近書いた気がするが。反省0やね。いかんですよ。で15分くらい遅れてゼミスタート。ようやく代数体の整数環が定義出来た。整数底、判別式、正規底などを定義。2次体の整数底や素数分体の整数底を求めて、アーベル体の整数環が正規底を持てば、その部分体の整数環も正規底を持つことなどを証明。ページ数としては多くないんだが、演習問題回しになっている部分が多く、2時間強1人で喋りっぱなしだった。ご苦労様。こちらは例に寄って眠くなってきて、必死に耐えていた。来週は素イデアル分解の一意性をやれる予定。そのためにイデアル類群も類数も定義することになっている。ようやく花形役者の登場だ。来週は眠くなりませんように。

ゼミ終了後30分ほど寝た。会議が長丁場になりそうなので、それに耐えるため。4時半から会議。案の定長丁場で、2時間半近く続いた。色々決めないといけないことがあり、一つ一つ丁寧にやるとそれくらいの時間掛ってしまう。止む無き仕儀。寝ておいたお陰で、会議中は眠くならなかった。

会議終了後野球。1回に1点ずつ取り合い、3回表に1点リード。が、昨日と同じで、そこから追加点が取れない。見てろ、逆転されるから、と思ったら案の定。ビシエドが来日100号。3ランホームランで一気に逆転された。ナゴヤドームだと弱い。今シーズン残りの Dragons 戦は全部ナゴヤドームでとか。うーん、2位が遠くなる。今日はタイトル争いで変化が。佐野は欠場なので打率は下がらないが、安打数は増えない。で2位の大島が5打数2安打で打率をちょっとだけ上げ、安打数は佐野に並んだ。うむ。佐野、休んでる場合じゃないぞ。ビシエドは3ランホームランで一気に打点王へ。いいですね。岡本（Giants）にはタイトルを取って欲しくないので、ホームラン王は大山（Tigers）、打点王はビシエドでいいでしょう。ただ、両者とも Baystars 戦では大人しくお願いします。特にビシエド、明日は音無しでお願いします。

成績を上げたいのは野球だけじゃない。フリーセルの成績も上げたい。最近負けが込んでいて、成績が下がっている。元に戻すため何時間もフリーセル、というパターンが続いている。フリーセルのせいで眠いのか？と聞かれたら、半分はその通り。もちろん講義の支度を遅くまでしているのもあるんだが、それもフリーセルをやってる時間にやればいいので、まあ眠いのはフリーセルのせいです。はい。明日も1時からゼミだが、明日は寝坊しないように気を付けよう。Mordellの定理の証明が始まるはずなので、集中して聞かないと。たまには突っ込みも入れよう。最近学生に喋らせるだけに成っている。いかんよね。明日は突っ込もう。

そうそう突っ込むといえば、「共役」をしばしば「きょうえき」と読み間違いをする学生が多い。何故だろう？「きょうえき」で出てくる漢字と言えば「共益」くらいだが。今日の学生も数回読み間違えた。で突っ込もうと思うと訂正して「きょうやく」と言うので、突っ込まなかったんだが。「きょうえき」の謎を誰か教えて下さい。

Zoomで学生と面談

昨日書いた通り、12時20分から学生と Zoom を通しての面談。寝坊せず10時半に起きられた。で学生は12時15分くらいに現れた。よかった。設定は無事うまくいったようだ。ちょっと早いがかまわないので、面談スタート。取得単位が少ない学生にアドバイスをしたり説教をしたりするのが趣旨なのだが、今年は事情が特別なので難しい。やはり「本の何ページから何ページまで読んで、演習問題を解きなさい」とか、資料を web に置いておいて、「ダウンロードして自習してください」という講義はさっぱり理解できない、ということだった。担当の先生のメールアドレスを知らないし、どうしようもないらしい。うーむ。まあ一通り不満を聞いて、適切かどうか分からないが助言しておいた。あと「学修相談会」の存在を教えておいた。秋学期は「学修相談会」もオンラインで行うらしく、理工学部と情報理工学部の1回生限定らしい。今日の彼は数理科学科の1回生なので、何の問題も無い。有効利用してくれるといいが。線形代数と微分積分でつまずくと後どうしようもなくなるからね。来週は3回生2人と面談する予定なのだが、その2人はどうしたらいいんだろうか？正直考えてしまう。まあ考えてもしゃあない。話を聞いてみないと。

1時前に面談は済んだ。で何して遊ぼう高砂や、というわけで、考えた結果、ドライブに出よう、ということになった。滋賀県の土山にある「田村神社」に行こうと。何故そうなったかというと、土山は住処から適当な距離にあり、今まで何度も行っている。で「田村神社」は道の駅の真向かいなのだが、1度も行ったことがない。ということで行った。うん、まあいい神社でした。木がうっそうと繁り、立派な建物も有り。で折角行ったんだし、交通安全のお守りくらい買っておこう、と思ったんだが、窓口には誰もいない。「御用の方はこのボタンを押してください」とのことだったのだが、奥から人が出てくる様子は無い。「まあいいや」ということですごすごと引き上げてくる。国道1号を渡って道の駅に戻って、さあ帰るぞ、と行きたい所だが、国道に掛っている歩道橋が工事中。300mほど遠回りしないと国道は渡れない。ということで300m行って一番近い信号を渡って、でセブンイレブンで飲み物を買ってから道の駅へ。しばし休憩した後住処を目指す。行きは下道だったので、帰りは高速で。初めて来た時はまだ新名神が開通してなかったので、行きも帰りも下道だったが、今は短時間で行き来できるようになった。ありがたい。ただ高速道路の工事と言えば、東京の調布で陥没事故が起きたそうだ。地下40ｍなら地主の了解無く工事が出来るとか。何か変な話だ。まあ高速道路は開通させなきゃいけないと思うので、万全の対策をした上で工事を続行してください。

6時から野球。今日から2位 Dragons と3連戦。1回表にオースティンのソロホームランで先制するが、その後はランナーの出ないこと。こういう試合は逆転されるんだ、見てろ、と思ったら案の定。先発の大貫は5回までナイスピッチングだったのだが、6回に急に打たれ出して、3失点。7回、8回とリリーフが失点を重ね、案の定のスミ1ゲーム。Dragons は6回終了時にリードしていると34連勝だとか。うむ。明日は勝てよ。まだまだ2位の目は十分にある。明日、明後日勝って、貯金1にしましょう。まあその分 Giants のマジックナンバーが減ってしまうのは止む無し。最低限の希望は、貯金を持ってＡクラス。もう高望みはしません。せめてそれだけ。あ、忘れちゃいけない。佐野の首位打者と最多安打。これもせめて。今日は佐野は2打席で引っ込んでしまったが、大事じゃないといいが。Dragons の大島が打率と安打数で猛追しているので、休むわけにはいかない。佐野には頑張ってもらおう。

明日は1時からゼミ。寝坊しないようにしないと。4時半から会議なので、ゼミ後寝る、というわけにはいかないので、今日は早目に寝よう。

Zoomで色々実験

1時から円分体のゼミ。今日は p 進単数規準の話。Leopoldt 予想など。今回も眠さに耐えながら聞いた。ちゃんと寝たはずなんだが。2時間弱で終了。その後即ダウン。2時間ほど寝た。まだ眠かったが、さっきよりはマシになったので、起きた。その後メールを一通書いたのち、Zoom の実験。明日学生との面談を Zoom でやるんだが、うまく行くかどうか自信が皆目無いので、色々と。普段使っているパソコンにはカメラが付いていないので、カメラ付きのパソコンを使ってみようと思ったんだが、ネットワークが不安定だし遅いので、カメラ無しの方のパソコンでやろう、という気になっている。明日何時に起きるかによるな。約束は12時20分だが、「もう少し早くてもいいぞね」とメールに書いておく。来週は Zoom で講義しないとあかんし、明日実験して自信を深めよう。やっぱり講義も面談も対面でやりたいな。今年度いっぱいでコロナが収まりますように。

7時から「Qさま！！」。賢くなろうということで、クイズ番組は見ることにしている。タメになった。賢くなったかどうかは知らないが。3時間もテレビの前にいてしまった。今日はゼミ以外は何もしていない。明日は面談後どうしようかね。まあ6時からは野球なんだけど。

今「量子暗号通信」のことがニュースでやっていた。一番先を行っている国は中国だそうだが、特許数なので世界一なのは東芝とか。来年にも日本や欧米で事業化されるらしい。東芝は知っている人が多いので、頑張って欲しいと思う。コンピューターの収益が下がっているということを前にニュースで見て、心配していたのだが、元気そうで何より。頑張れ、東芝。

7回に6点、8回に4点で痛快な大逆転勝利

昨日は呑んで帰ってきて、即ダウン。呑んでる最中から眠かったので。で野球の始まるちょい前に起きた。が、試合開始後の1球目をホームランにされるという、非常に不愉快な展開。まだ少々気持ち悪かったので、もう一度横に成る。例に寄ってテレビは付けっ放しで。でこういう時は大抵眠れるんだが、今日は眠くならない。意識がはっきりしている中、Giatnts がどんどん点を取っていく。先発の畠が2安打無失点と、解説者が「これは完封もありますね」と言っていたので、いよいよ不愉快。が、2点取って畠をマウンドから引き摺り下ろす。眠くないので、ここで起きた。で起きてよかった。梶谷の大逆転満塁ホームラン。6－5。まだ1点差だしわからんぞと思ったが、平田が抑えて8回表無失点で終了。で8回裏に戸柱の2点タイムリー3塁打と、梶谷がもう一発。2ランホームラン。これで10－5。あれだけ不愉快だと思っていたのに、結果は痛快な逆転勝ち。一昨日の試合が今シーズン一番だと思ったが、今日のはそれを上回った。ラミレス監督に言わせれば、「一昨日とタイ」だそうだが。まあいずれにせよ、Giants をけちょんけちょんに打ちのめして、溜飲は下がった。残り試合、意地を見せましょう。2位の Dragons が好調で貯金4。Baystars は5割。十分2位は可能。またいい試合を見せてください。今日の一言：オトコハダマッテナゲルダケ（by エスコバー）

野球が済んでから少し前の「相棒」の正月スペシャルを見た。前に見たことがあるので大体覚えていたが、それでも面白い。「相棒」はいくら見ても飽きない。今のシリーズも欠かさず全部見よう。

WBC日本代表の面目躍如

宅配便に起こされた。もう野球が始まっている時間だったので、急いでテレビを付ける。が、やってない。中止か。ということでもう一度横に成る。最終的に起きたのは6時過ぎ。うーん、何もしてない一日だな。今日はこれから呑みに行くので、一日完全に無駄になった。まあいいや。

7時から「炎の体育会TV」を見た。WBCメンバーの投手と野球経験者の芸能人が対決するというので、前から楽しみにしていた。流石はWBCメンバー、という感じだった。面白かった。

ということで呑んできます。じゃ！

代数的閉包の存在証明を講義資料に載せようかどうしようか

今日は10時半起き。保険会社の人と会う約束があったので。11時半という約束だが、その時間はまだ高速道路の上。10分程度前後するかもと言ってたから、大丈夫だろうと。電話が鳴ったような気がしたが、流石に高速道路運転中に電話に出るわけにはいかない。職場着11時40分くらい。その後来る様子がない。また次のアポの約束電話が掛かってくるかと思ったのだが、電話は鳴らない。まあいいや。来週電話があるだろうから、その時にアポの約束すれば。

待っている間は講義の準備。代数的閉包の存在と一意性を証明するか、はたまた例年通りスキップするか。折角オンライン講義になったので、資料に載せるだけ載せて、読まなくてもよい、と注釈を書こうかと思ったんだが、やっぱり訳のわからない証明だから、載せなくてもいいか、と思ったり。もうちょっと考える時間があるので、決定は先送りにした。悩もう。

6時ちょいに帰宅。野球を途中から観戦。0−0だった。その後井納、今村の両投手が踏ん張る。ノーアウト3塁のチャンスをどちらも作るが、点を取れず。その後 Baystars はノーアウト満塁のチャンスを作るも無得点。さらに、これは行ったろうというオースティンの当たりがフェンス前で失速したりと、中々点が入らない。そんなことをしてると点を取られるんだ、と思ったら案の定。8回表にしてようやく試合が動く。何とか1点で抑えたが、今までの Giants 戦のパターンだとこのまま0−1で負けるぞ、と思った。が、8回裏、いきなり4番佐野が初球ホームランで同点。（5試合連続ホームラン！）その後大和がタイムリー2ベース。2−1。9回表は抑えの三嶋。今日も抑えてくれるでしょう、と思ったら、先頭打者にいきなり3ベースヒット。このまま逆転されて今日もしおしおのパーかと思ったら、そこから三嶋がすごかった。3者連続三振。顔を見ても全く動揺している様子がなく、涼しい顔をしていたが、抑える自信があったのだろうか。すごかった。監督曰く今年のベストゲームだそうだ。確かに8回裏の攻撃はすごかったし、やっぱり三嶋がピンチを自作して、抑え切ったから嬉しかったのもあろう。いい勝ち方だった。明日、明後日も Giants をギャフンと言わせましょう。

今日久々にガソリンスタンドに行った。まだ60kくらいは走れるようだが、心配なので行った。40リットルのタンクだが、今日は30リットル入れた。まだまだ走れたな。まあいいや。しかし新車が来て3ヶ月くらい経ったが、まだ1100kちょっとしか走ってない。（今日は残念ながら1111を見損ねた。）やっぱり職場に行く用事が無いと距離が伸びないね。まあ姫路城あたりまで足を伸ばせばいいんだが、月、水、木が1時からゼミ。土、日は野球がデーゲームなので、中々時間が取れない。火曜日と金曜日は6時から野球で、起きるのが大抵午後。いつ姫路城に行けるんでしょうか。わからん。いつかは行くけどね。野球が終わってからかな。

Fermat の無限降下法

木曜日は1時から楕円曲線のゼミ。ここ数日たるんで寝坊していたが、今日は10時半には起きられた。若干寝不足気味だが、いいことにする。ゼミ中は集中していた。まずは Fermat の大定理の指数3の場合と対応している楕円曲線の有理点が位数3の巡回群になっていること。次は y²＋y＝x³－x 上の有理点 (0,0) が位数無限なことなど。次は Weierstrass 方程式で定義される3次曲線が特異点を持っても1個だけとか。でいよいよ Mordell の定理の章に入る。まずやったのは Fermat の大定理の指数4の場合の無限降下法を用いた証明。で対応する楕円曲線 y²＝x³－4x 上の点では降下のステップが点の1/2を求めていることを見た。Mordell の定理の descent はまさに Fermat の descent に成っていることは前から知っていたが、ここまで explicit に書いたものは見たことがない。新鮮だった。で height に入る前に終了。3時15分くらい。今日はM1のK君が欠席だったので、あまり進まないのはよかった。来週は E(Q)/2E(Q) の有限性の証明に掛れる模様。面白くなってきたぞ。

昨日から「相棒」が始まっている。ゼミが終わってから野球が始まるまでの時間を使って、昨日放送分を見た。普通より30分長いのだが、それでも解決せず、2週間もの。うーん、今日の内容を来週まで覚えてるかな？まあ覚えてなかったら見直せばいいんだが。芦名星の登場シーンがあった。放送の最後に追悼メッセージが。やっぱり死んでしまったんだな、と再認識。死んだらあかんよ。「相棒」が終わるのは水谷豊が死ぬ時だろうか？もう右京さんは定年だと思うんだが。まあ面白いからいいんだけど。

6時から野球。佐野の4試合連続ホームランで先制するも、久々先発の平良がその裏一気に3点取られて逆転される。その後も村上のホームラン（14打席ぶりのヒットとか）で突き放される。その後梶谷のホームランと梶谷のタイムリー2ベースで2点取ったが、3－4で負け。うーん、3連勝できないなー。また2連勝でストップ。5割復帰も成らず。Dragons vs. Tigers は Dragons の勝ち。1点負けている状態で高橋のサヨナラ3ランホームラン。うーん、強いな。これで貯金3。2位をがっちりキープ。3位 Tigers とは1.5ゲーム差。4位 Baystars は Tigers と1ゲーム差。とりあえずAクラスに成りましょう。明日からハマスタで vs. Giants 3連戦。幸い Giants のマジックナンバーは8なので、3連敗しても目の前で胴上げされることは無い。まあでもそれは顰蹙だし、気分が悪いので、3連勝しましょう。先発は井納だ。いい方の井納だったらいいが。

国葬？冗談じゃない。誰が元総理を惜しんでやるものか。何やら国立大学やら何やらに葬儀の際の弔意表明をやるように支持らしきことをしたそうだが、とんでもない。いつまでそんなことしてるんだ！いい加減にしろ！ 

大野雄大（Dragons）が今シーズン5度目の完封勝利！

水曜日は「数論序説」ゼミ。1時開始だが、目が覚めたのは1時3分。いかんぞ、と急いで支度。1時10分頃から始められた。最近たるんでるな。気を付けないと。今日はまずは素数 p に対する p 分体の部分体について。拡大次数 n (n｜(p－1)) の部分体 k_n が unique に定まることや、k_n の原始元が ζ のトレースであることなどを証明。次は有限体の話。有限体の有限次拡大が巡回拡大であること、生成元がフロベニウス置換であることなど。これは完全に代数学IIの講義でやった話なので、ばっさり略、とやって欲しかったが、例に寄って懇切丁寧に証明してくれた。まあいいや。眠気に耐えながら3時くらいに終了。その後再び寝床で1時間ほど寝る。

しばしテレビを見ていて、ふと気が付いた。フジテレビチャンネル2でプロ野球ニュースの再放送をやっているはず。菅野が負け投手になったのでも見てやるか、と思ったら、もう菅野の負け試合は終わっていた。残念。まあ Baystars が快勝したのを再び見たので、気分はよかった。

6時から野球。1回表に宮崎のタイムリーヒットでいきなり1点先制。3回表に宮崎、倉本、ロペスと3者連続タイムリーヒット。5回表に佐野のソロホームランと、5－0。今日は楽勝かな、と思ったら、5回裏にソロホームランを浴びる。が、先発坂本の失点はこれだけ。5回1失点と中々の内容だった。6回表もソト、オースティン、宮崎のタイムリーヒットで9－1。今度こそ楽勝でしょう、と思ったら、8回裏に一気に5点取られて9－6ときわどくなってきた。が9回裏は三嶋が抑えて9－6で勝利。これで借金1。明日も勝って5割にしましょう。因みに Swallows は今日の負けで優勝の可能性が無くなったそうだ。そうか、やっと無くなったのか。ということはまだ Baystars に優勝の可能性は残っているのだな。諦めることはない。ここから大逆転だ！

今日は一つ記録が途切れてしまった。9試合連続2ホームラン以上というセ・リーグタイ記録に昨日並んでいて、今日は新記録が掛っていた。が、ホームランは佐野の1本だけだった。残念。まあいいでしょう。

試合中に速報のページを見たら、Dragonsが2位浮上、の情報。大野雄大が今期5度目の完封勝利で、防御率1位に躍り出たらしい。凄い。今シーズンの沢村賞は大野で決まりだな。何しろ先発完投型のピッチャーに送られる賞だから。これで菅野が取るようだったら許さん。田中（当時Eagles）が24勝した年は、完投の数で金子（当時Buffaloes）に劣っているのに田中が沢村賞を取ったが、文句は出なかったんだろうか？今年は絶対に大野！それは譲れん。あと一つ勝って10勝に乗せれば文句無いだろう。

学術会議の件だが、いつの間にかあり方を問う議論にすりかえられている。「役に立ったことが無い」という暴論が出ているようだが、役に立たない研究に金を出さないというのはけしからん。整数論なんて何の役にも立たないと思われていたが、RSA暗号や楕円曲線暗号など、昨今は華々しい応用がある。今役に立たないからと言って、未来永劫役に立たないとは限らんのじゃ。役に立たないから補助しない、では数学者は科研費に当たらなくなってしまう。まあ小生は当たらなくてもいいけど、他の数学者には当ててあげて下さい。ということで、まずは任命しなかった理由を明らかにするほうが先じゃ。

♬♪♫菅野が負けた

起きたのは昼前だった。で1時ちょい前に職場へ向かう。が、飯を食べていないので、職場の前を通過して、回転寿司へ向かう。最近食事はUber Eatsかカップ麺ばかりで、Uber Eatsで頼む料理は豚肉（トンカツ料理を色々）か牛肉（牛丼やハンバーグ）なので、少し栄養のバランスが偏っている。よーし、ここは魚だ！というわけで回転寿司を選んだ次第。で「はま寿司」で寿司をつまんでいたら、何やらスマホにメッセージが届いた模様。何じゃ？と思ってみてみると卒業生Dp君から。昨日ブログに「松江の姐さん」と書いたが、Dp君は彼女の名前を島根大学で見付けて、数セミの年、号まで割り出していた。素晴らしい。何と素晴らしいんだ。今時の若者（Dp君が若者かどうか知らないが）はそれくらいのことが出来るんだな。じゃあどんどん伏字にして、皆を退屈しないようにしてあげよう。

満腹になったところで職場へ。まず本屋へ寄って予算を使う。今年は全然出張していないので、予算が相当残ってる。本でも買わないと、使い道が無くなる。で事務に伝票を提出しに行く。ついでに一つ提出しなくちゃいけないものがあるので、それも事務の人に渡す。で最後はポストのチェック。明日届くと言っていた学内便が今日届いていた。お、これでしばらく行く用事が無くなったぞ、ということで安心して職場を後にする。4時くらいに個研室を出た。

で「草津田上」から新名神に乗ったら、反対側（つまり草津JCTから信楽方面）が大渋滞している。新名神は集中工事をしているらしく、そのせいかと。幸い小生が草津JCTを通った時はすいていた。こんなんじゃ次行くときは「瀬田西」で降りないといけなそうだ。ってしばらく行かないでいいんでしょ。

で住処に着いたのは4時35分くらい。教授会は4時半からなので、ちょっと遅刻。急いでパソコンを立ち上げて、Zoomを起動。何やら説明をしていたが、あまり関係無さそうだ、と思って集中しないでいたら、何やら重要そうな話ではないか。うーん、ちゃんと聞いておくべきだったか。まあしゃあない。で教授会は5時から。大抵の話は「もうこういう風に成りましたけど、これでいいですか？」という内容。まあそうしたもんだろ、と思って流す。最後のはちょっと面白かったので、ちゃんと聞いておく。5時45分頃終了。で電話が鳴った。何だろうと思ったら、保険屋さんが今週のどこかで会えないか？と言ってきた。うーん、金曜日しか職場に行ける日が無い。ということで金曜日の11時半に会う約束をしてしまった。うー、行かないで済むはずだったのに、行かないといけないのか。まあしゃあない。瀬田西で降りることを忘れないようにしよう。

6時から野球。今日から vs. Swallows 3連戦。1回裏にいきなり1点先制された。が、ピッチャーは大貫。負ける気がしない。そしたら案の定、ピッチャー大貫の犠牲フライで2回表に同点に追い付いた。その後5回終わった時点で1－1と投手戦。が、様子はすぐ変わる。6回表に佐野が２ランホームラン。７回表にはロペス犠牲フライ、宮崎３ランホームラン、大和ソロホームランで一気に5得点。これで8－1ともう勝負あった。その後出てくるピッチャーは危なげなかった。ということで気持ちのいい試合だった。明日、明後日も勝ちましょう。

で今ブログを書くために野球速報のページを見ていたのだが、何と菅野が負けたではないか！目出度い。Carp よくやった。九里がナイスピッチングをしたようだ。最終スコアは4－3で、Giants の3点のうちの2点は9回裏にソロホームラン2発で返したもの。危なかったのね。まあそこでひっくり返しても菅野に勝ちは付かないわけだが、また次勝った時「14連勝」というデタラメ言い出すから、今日は Carp が勝ってよかった。今日は2位 Tigers と3位 Dragons の直接対決。Dragons が勝ってしまった。Giants のマジックナンバーが減ってしまった。しかし Dragons は凄い。これで貯金1。Tigers の貯金は2。さあ2位争いは面白いぞ。Baystras？借金2で4位。まだまだ食らい付いていきましょう。

何やら「研究者情報データベース」を更新せよ、というメイルが散々来ていた。無視すると全部のデータ公表しちゃうぞ、と脅されたので、仕方なくちまちまと直した。直してよかった。最新の論文が載ってなかったり、立命に来た時点で既に教授に成っていたりと、無茶苦茶だった。学位も勝手に「理学博士」とされていた。（正確には博士（理学）早稲田大学。）担当講義は事務で載せてくれるそうなので、何を担当していたか思い出すには丁度いい。任せておこう。ということでデータベースは大分直ったが、まだ嘘があるかも知れないので、後日もう一度見直そう。

p 進 L 関数の計算に付いていけなくなり眠くなる

昨日書いたように、うちの職場は今日も平日。ということで1時からゼミ、のはずが、起きたら1時3分。ぎゃ！というわけで急いで準備。何とか1時10分にはゼミを始められた。申し訳ない。今日は L_p(1, χ) の計算。これが相当大変。何とか付いていこうと思ったのだが、無理だった。でこうなると眠さに耐えるのに必死。何とか終了まで乗り切った。3時半頃終了。そのままダウン。7時過ぎまで寝続ける。

今日寝坊したり眠かったりしたのは、昨晩遅くまで4次方程式と格闘していたから。数セミに何年か前に載った松江の姐さんの記事を参考にして TeX に起こしたものが講義資料の一部に載っていたのだが、いかにせんわからない。フェラリの方法しか知らないので、その方法で求めてみると、一応求まる。が、それが松江の姐さんの記事と同じとは思えない。何とか理解しようと奮闘したのだが、結局無理だった。でフェラリの方法で解説することに決め、がっさり書き直し。MAPLE で確かめた数値例を載せて、ということをしていたら4時を過ぎてしまったのだ。そこから寝床に入ってすぐ寝ればいいものを、スマホいじりを始めてしまったのだからたちが悪い。結局寝たのは5時くらい。こんなことをしていてはいけないのは分かっているんだが…。明日は久々に職場に行く用事があるので、今日はちょっとくらいは早く寝よう。

昨日メールが来ていたが、明日は久々の教授会。前期は全部メール審議だったのだが、明日は Zoom で開催するらしい。そうするとちょっと待てよ、4時半から教授会で、教授会は住処のパソコンで参加したいから、職場から帰ってくるのは4時半前にしないといけない。職場にあまり長い時間いられないな。行って帰ってくるだけになりそうだ。まあいいや、ドライブということで。いや別に職場のパソコンから教授会に参加してもいいんだが、そうすると野球に間に合わなくなる。野球と教授会とどっちが大事だ？と問われると答に窮する。教授会は半分形式的な会なので、1人くらい欠けても、という気持ちがないではないが、国会議員が居眠りをしているのに怒る側としては、やはり真面目に参加しなくてはいけないとも思う。まあ起きた時間次第だな。最悪明日職場に行く用事を明後日にすればいいだけ。明日行く、と一部の人に宣言したのを「やっぱり14日（水）にします」とし直して水曜日に行けばいいだけ。というわけで、あまり深く考えないことにしよう。

大分整数論研究集会2日目

研究集会2日目。今日は10時開始だったが、9時半くらいに目が覚めた。アラームは9時45分に仕掛けておいたので、鳴る前に起きた。今日は不定方程式の話しが多かった。割合初等的な方法で解決できてしまう場合もあれば、刀を振り回して掛っていく場合もあり、大変勉強に成った。今日は途中で寝たりとか眠くなったりとか一切無く、楽しんで勉強できた。いつか大分で喋れるよう励もう、と思った1日であった。

と言いつつ、野球は音を消して流していた。今日はソロホームラン3発で3点。4点取られて負けただけに、ランナーありの場面でホームランが無かったのが痛かった。Tigers の決勝点は大山の2ランホームランだった。余計に悔やまれる。Dragons vs. Giants は Dragons が勝ったので、Giants のマジックナンバーは減らないのは良かったが、また Baystars は4位転落。借金3。まだまだ粘りましょう。最後は貯金を持って終わりましょう。

さて、明日は祝日。のんびりしたいところだが、うちでは祝日は関係ない。明日は「代数学II」と、M1の学生のゼミがある。今日も早寝しよう。

大分整数論研究集会1日目

今日、明日と研究集会。本当は「大分長崎整数論研究集会」という名前で長崎大学で行われるはずだったが、コロナのため「大分整数論研究集会」と名前を変え、Zoom での開催となった。9時半が一つ目の講演のはずだったが、起きたらもう9時45分くらい。途中から聞き出したが、眠くて仕方ない。で起きて30分弱でもう一度ダウン。昼休みの前にもう一度起きて、話を途中から聞いた。で昼ごはん。が、また眠くなってきた。もう一度ダウン。最後から二つ目の話の最中に目が覚めて、最後の話は真面目に聞いた。で終了後オンライン懇親会なのだが、昨日書いた通りあまり面白く無さそうなので、パス。

集会終了時間が丁度野球が終わった辺りだったので、ヒーローインタビューと試合のダイジェストだけ見た。今日はオースティンのホームランとソトの2ホームランなどで快勝。勝ち投手はルーキーの伊勢。プロ入り初勝利。濱口が先発だったのだが、勝ち投手の権利が無いところで引っ込んだようだ。伊勢は負けている状態でリリーフに出たようだが、見方が逆転してくれて、めでたく勝利投手に。本人はホールドを沢山稼ぎたいようなので、これからは是非そういう場面で放ってください。今日の相手は Tigers。2位に行くには Tigers に勝たないといけないが、勝つと Giants のマジックが減ってしまう。しかも Giants の相手は目下のＡクラス争いの相手 Dragons。Dragons にも負けて欲しいが、またマジックが減ってしまう。うーん。今日は Tigers が負けて Giants が勝ったので、マジックナンバーは12。うーん、大分減ったな。でも今日目出度くＡクラスに復帰。明日も Tigers に勝てば2位まで1ゲーム。セ・リーグの灯を消してしまうかもしれないが、勝つしかないのだ。

野球終了後もう一度横になる。うーん、よく寝れらる。1時間ほど寝て起きた。まだ眠い。明日は10時開始だし、もう寝るか。明日は今日の話より聞きたい話が多そうなので、明日は真面目に参加しよう。しかし出張すると真面目に起きて真面目に聞けるんだが、自宅で参加となると、いつでも横になれるし、いくらでも内職ができてしまう。オンライン研究集会も考えものだな。早く普通に戻りますように。

ステーキハウス「ボストンコモン」で Baystars 談義

昨日は早目に寝て、今朝は10時半起き。まずやったのは健康診断の予約。職場は予約でいっぱい。今年は密を避けるため、いつもに比べると職場で健康診断を受けられる人数を減らしているため、早目にいっぱいになってしまったようだ。で大学の近所の病院に電話して、11月6日に受けることになった。朝9時半からと、とんでもない時間になってしまったが、やむ無し。しかも血液検査の値を正確にするため、10時間くらい食事を開けてきてくれと言われたので、中々辛い健康診断になりそうだ。来年度は職場で健康診断してもらえますように。

ということで11時半くらい。シャワーを浴びてスッキリしてから、栗東市綣にあるステーキハウス「ボストンコモン」に電話。事前に電話してくれると幸い、というようなことが書いてあったので、電話した。で名神経由で行く。今日はちょっと急ぎ気味だったので、追越車線に出て運転。下品だ。まあしゃあない。で「ボストンコモン」に入った。思ったより小さい店だった。頑固そうな人が店をやってるんじゃないかと思ったら、案外気さくな人そうでよかった。で Baystars ファンだと告げると、マスターの息子が来た。相当なファンのようで、Baystars 関連の書籍やグッズなどが置いてあった。よくファンが集まるそうで、招待された。行けるようだったら行ってみる。Facebook と LINE のアドレスを交換してきた。早速数件書き込みがあったようで、また Facebook を見る時間が増えてしまう。困った困った。あ、肉はもちろん美味しかったです。

で今日の Tigers vs. Baystars は雨のため中止。どこかの月曜日で穴埋めすることになるので、またきつい連戦に成ってしまう。明日は中止にならないで欲しいな。

本当なら明日から長崎大学で行われる研究集会に参加するはずだったのだが、長崎大学が流石に会場を貸してくれないようで、Zoom 開催に成ってしまった。出張先のホテルでは早く寝て早く起きられるんだが、自宅だと色々やれることがある関係で、遅くまで起きていて、早起き出来なく成ってしまう。懇親会はオンラインで行うそうだ。面白くなさそうなので、参加しないつもり。オンライン呑み会ってやったことないけど、面白いんだろうか？そうは思えないんだが。まあ何にしても有意義な二日間にしたい。もうそろそろ寝ようかな。

寝不足で楽しい展開の野球を見逃す

 木曜日は1時から楕円曲線のゼミ。昨晩も割りと遅くまで起きていたのだが、今朝は9時前に目が覚めてしまった。昨日のように寝坊するわけにはいかないので、再度寝床に向かうことは控えた。で時間があるので、先日放送していた「芸能人格付けチェック」を見た。３時間弱なので丁度いい。面白かった。

で1時からゼミなのだが、始まる様子がない。すわまた「休ませてください」という趣旨のメールが来ているのか？と思って見たが、来ている様子が無い。そうこうしているうちに2分遅れくらいで4回生がログインしてきて、ゼミは始められた。今日は楕円曲線の加法が結合法則を満たすことの証明。うーん、相変わらず大変だ。丁度眠気が襲ってきて、議論についていけなくなっていることもあり、必死に耐えた。そうこしているうちにM1の学生が1時間遅れでログインしてきた。皆寝坊付いているね。気を付けよう。来週には Mordell の定理に入れそうな感じである。ようやく面白くなってくる。来週は体調を整えて、ばっちり聞いてやろう。遅刻も無しでね。

ゼミが終わったら即寝床に突っ込んだ。眠かったので。で目が覚めたのは7時過ぎ。もう野球が始まってる。ということで起きてテレビを付けたが、1－6で負けているという状況。まだ眠かったし、不愉快だからもう一度横に成る。テレビは付けたまま。さらに点を取られて1－9となった。いよいよ不愉快。が、信じて見ておけばよかった、という展開に。6回に戸柱のソロホームランで2－9。8回にオースティン2ラン、ロペス2ラン、中井のタイムリーで一気に5点返して7－9。リアルタイムで見ていたらさぞかし楽しかったろう。まあ結果的には7－9で負けたんだが、一方的にやられる展開ではなかったのでよかった。明日からにつながる。明日から vs. Tigers 3連戦。Giants のマジック減らしに協力したくは無いが、こちらもAクラスが掛っている。Tigers とはいつの間にか3ゲーム差。Dragons にも抜かれているし、3連勝するしかない。頑張ってもらおう。

ということで野球が終わるまで晩飯を食べていなかったので、Uber Eats に頼んで晩飯。9時半を過ぎているので、頼める店は限られる。ということで、吉野家にした。「肉だく牛丼」にした。やっぱり牛丼は吉野家が一番美味いな。満足。

野球を見ずにたっぷり寝たが、まだ眠い。今日はちょっと早寝するか。明日天気がよかったら「綣」にあるステーキハウスにいい加減食べに行きたい。ただ明日は台風のせいで天気が悪いようなこと言っているから、また来週になってしまうかもしれないが、まあいいや。

平田真吾、130試合目の登板で待望のプロ初勝利

水曜日は1時から「数論序説」のゼミ。が、久々に大分寝坊してしまった。学生を待たせてグーグー寝ていた。申し訳ない。ということで遅れてスタート。今日はノルムとかトレースとか判別式。あとガウス和とヤコビ和。どちらも代数の講義では教えていない内容なので、今日はきっちりやってもよい。というわけでゆっくり進む。4時くらいに終了。来週こそ整数環が定義できるか？それとも再来週か？微妙な所。石田先生の「代数的整数論」は中々代数的整数を定義してくれないので、前期中に「代数的整数」という言葉を聞かずに終わってしまう可能性がある。その点「数論序説」は代数的整数の定義が早目に出て来るので良い、と思っていたんだが、代数体の整数環を中々定義してくれない。それとこの前気付いたんだが、K(α)はきちんと定義しているが、K(α₁,…,α_n)を定義してくれていない。うむ。どの本にも色々不満な点がある。来年度は違う本にしよう。

4時半から会議。トラブルメーカーというのはいるもので、とある非常勤の先生周りでトラブルが続いている。その件についての報告やら何やらで、重たい会議だった。6時半くらいまで掛った。来年度もオンライン講義になるようなら、今年よりは工夫してやらないといけない雰囲気。対面講義に戻っていますように。

で野球は途中から。今日の Baystars の先発は平田。ブルペンデーだな、と覚悟。ところが、平田が5回まで投げた。2失点、7奪三振と、中々の好投。で6回表。1－2で負けていたのだが、相手のエラーで同点。その後ロペスが2ラン、ソトがソロと2者連続ホームランで逆転。これで平田に勝利投手の権利が発生した。うむ、これはいい。何としても今日勝たないと。6回裏にリリーフ陣が1点取られたが、9回に1点取り返して3点差で9回裏。ピッチャーは押さえの三嶋。手に汗握りながら見る。が、危なげは全く無く、見事6－3で勝利。で勝ち投手は平田。プロ130試合目の登板で見事プロ入り初勝利！素晴らしい。今日はブルペンデーだろうから、平田に勝ちが付くことはあるまいと思っていたんだが。ヒーローインタビューはもちろん平田。嬉しそうだった。今後また先発することは無いかもしれないが、中継ぎで引き続き素晴らしいピッチングを見せてもらいましょう。よかったよかった。

梶谷が月間MVPを取ったそうだ。文句無しでしょう。本当は今日のトップニュースはこれになるはずだったのだが、平田の初勝利の方がネタとしては大きいので、こちらをトップニュースにした次第。梶谷は故障を治して、また打ちまくってください。

Marines をコロナ禍が襲う

昨晩も遅くまで起きていた。それでも銀行に間に合う時間には起きたので、京都銀行へ行って、自動車税の払い過ぎを返してもらってきた。車を買い替えると必ずこの手間がある。23000円戻ってきたから、そこそこの臨時収入な感じ。まあ新車の分の自動車税を払っているので、収入でもなんでもないんだが。まあ気分の問題。で何か買ったかというと、何も買ってない。財布に23000円入れてそのまま帰ってきた。

帰宅後、日曜日にやっていた「ドクターＹ」を見て時間潰し。6時から野球。今日から vs. Giants の3連戦。相手は菅野。よーし、何が何でも黒星付けたんねん。ということでファンは一様に盛り上がっている。今日勝てば開幕投手の連勝新記録13だそうだが、そんな記録は誰も認めてない。一度5失点して引っ込んで勝ちが付かなかった試合があるし、Baystars が一度菅野の勝ち星を消したことがある。「黒星無しの13勝」というなら認めるが、「13連勝」は認めん。ということで前のめりの状態でスタート。1回裏にいきなり先制されるも、3回表に神里の犠牲フライで同点。が3回裏に3ランを打たれる。が、直後の4回表にロペスの2ランで1点差。これはいい感じだろう、と思ったが、菅野マジックか、5回裏に2ランを打たれ3点差。8回表にオースティンのソロホームランが出るが、そこまで。菅野に黒星を付けるのは失敗に終わる。残念。まあ「13連勝」は許さないが、「平成生まれ初の100勝」は凄い。素直に脱帽。

Marines にコロナ感染者が大量発生。今日はプロ初出場の選手をスタメン1番に起用と、苦しい。Tigers もそうだが、何故2位のチームをコロナ禍が襲うかね。Marines は今が堪えどころ。この前も書いたが、もう Hawks はよかでしょう。今年は Marines に優勝して欲しい。で東京湾岸ダービー、移動が少なく楽でよい、ということに成って欲しい。と思ったら、今年の日本シリーズの予定日は既に都市対抗野球で押さえられていて、東京ドームでは日本シリーズは行えないそうだ。これはいい。ホームアドバンテージが無いぞ。こうなったらいよいよ Marines 応援だな。明日から Maries vs. Buffaloes の試合を見ようか？いやいや、やはり Giants vs. Baystars を見て、Baystars を応援しよう。 

ゼミは p 進 L 関数の構成など

月曜日は1時から円分体のゼミ。今日も11時くらいに起きて、ゼミは定時開始。今日は p 進 L 関数の構成など。Kummer の合同式や von-Staudt－Clausen の定理や、素数 p が irregular であることと Bernoulli 数 B_n（n=2,4,…,p－3）のどれかが p で割れることと同値であることなどが出て来て、色々賑やかだった。3時半過ぎに終了。

ゼミ終了後眠気が襲ってきた。で2時間ほど仮眠。その後ニュースを見るなど。7時過ぎに「天下一品」にラーメンを食べに行く。10月1日に食べ損なっているので、今日は何が何でも行きたかった。待ち侘びた味。店員がラーメンと共にくじを持ってきた。で引いたら「こってり小皿」というものが当たった。まあもらえるものは何でももらっておくことにしているので、ありがたく頂戴してきた。実は一緒にもらった50円割引券の方が嬉しいんだが。また近いうちに行こう。

帰ってきてからは「帰れま10」を流してコンピューターに向かっていた。国勢調査のインターネット入力など。あまり有意義な時間ではなかったが、まあいいでしょう。明日は特に用事の無い日なので、銀行に行ったり健康診断の予約など、たまっていることをしようと思っている。そんな日もないと。小生の生活パターンでは、とても月曜から金曜まで定時に出勤して定時に退社など出来るわけない。そのために今の仕事を、というのも頑張った理由の一つではある。どこかの大学では教員がタイムカードで時間を管理されているようなことを言っていたが、そんな大学でなくてよかった。あと13年、頑張って置いてもらえるようにしよう。そのためには研究もしないとね。明日は研究もするか。

Tigers の大山のホームラン数がついに Giants の岡本に並んだ。いいぞいいぞ。そう簡単に優勝からタイトルまで全部渡してたまるか。頑張れ大山。

オースティン3発で、1日でAクラス復帰

呑んで帰ってきて、そこから例に寄って朝になるまで起きていた。ということで、目が覚めたのは相当遅く、野球が終わっていた。（注：デーゲームです。）スマホで野球の結果をチェック。今日はオースティンが3発ホームランを放って、快勝。オースティンは昨日最後の打者だったから、悔しさがあったでしょう。それを払拭する3発。見事だ。1日でAクラスに復帰。もう4位には成らないよう、頑張ってもらいましょう。詳細は今CSで「プロ野球ニュース」を見ているが、そこで見るということで。パ・リーグの試合が先にやっているので、Baystars の試合まではもう少々掛りそう。早くやらないかな。ワクワク。

Zoom でオンライン面接をやれ、とのことで、メールが来ていた。「数学展望」の講義も Zoom でやることになっているので、その前に予行演習が出来る。よかった。これからメールを読んで、Zoom の使い方を勉強する。前に google で「Zoom 使い方」で検索して出てきたページに書いてあることは、どこでも「易しい」とのことだったので、易しいのでしょう。それをこれから実感する。このご時勢、Zoom にお世話になる回数は増えることが予想されるので、しっかり勉強しておこう。

「半沢直樹」の最終回を見て、気分すっきり

 今日は昼から野暮用で、目覚ましを10時半に仕掛けていたが、9時前に起きてしまった。出掛けるまでしばらく時間があったので、録画したまま見ていなかった番組を見て時間潰し。11時半前に目的地に向けて出発。野暮用は1時間ほどで終了。松屋で食事をして帰宅。ということで計2時間くらい。

2時から野球。先発の濱口がピリッとせず、1回表にいきなり3点取られる。1回裏に1点取り返すも、2回表に6失点。2番手砂田が木下（拓）に3ランを打たれたが、2人は濱口が残したランナーなので、濱口は自責点8。ということで2回表終了時点で1－9。一気に見る気を失った。でテレビを消す、ことはしない。科研費の申請書書きでもしながら行方を眺める。6回に柴田が2号ソロホームラン。7回にソトが2ランホームランと、徐々に追い上げて行く。8回にオースティンのタイムリーヒットと相手のエラーで2点。お！9回に柴田のタイムリーヒットで2点差。ランナーが2人いて、バッターはオースティン。ここで漫画みたいな逆転サヨナラが起きるか！と思って力を入れて見るも、オースティン三振でゲームセット。うーん、残念。諦めないで応援しておくべきだったな、と後悔。今日で4連敗でBクラス転落だが、砂田以降の投手が抑えて試合を壊さなかったのが救い。先発がしっかりしていればと、悔やまれる展開だった。明日に繋がる終わり方だったので、明日は勝ってくれるでしょう。2位も最下位も同じ、という暴論はあるが、そんなことはない。一つでも上を目指しましょう。

野球終了後「半沢直樹」の総集編と最終回を見た。面白かった。野球で負けたのを忘れるくらい痛快だった。毎週見てればよかったかというと、そんなこともないだろう。ストレスの溜まりそうな展開が毎週続いていたようだから、最終回だけ見たのも正解かと。まだ第1シーズンを見ていないし、第2シーズンも総集編を何回か見た（注：日曜日の夕方にやっていた）だけで、本編は最終回以外は見ていない。時間を作ってじっくり見たいところだが、野球はまだ続くし、もうすぐ「相棒」と「科捜研の女」が始まってしまう。仕事もせなあかんし、忙しい。酒を呑む時間がもったいない。まあ今日は呑むんだけど。ということでぼちぼち出掛けます。

米大統領、新型コロナウィルスに感染

今日は早く起きるつもりだったが、思うところあって昨晩は相当遅くまで起きていたので、今日は遅く起きた。綣にはまた来週行く。

今日の野球は残念な結果。5－5の同点から石田が3ランホームランを打たれて負け。うーむ、これで Dragons と0.5差。まずいね。明日勝たないと4位転落。まずいぞ。で Tigers vs. Giants は Tigers の勝利。マジックナンバーは減らず。まずは重畳。Tigers が勝つと2位との差が開いてしまうのだが、Giants に勝ってくれるのはOKと、若干複雑な心理状態。まあ素直に Giants が負けたのを喜びましょう。Giants から Marines に移籍して生き返った感のある澤村だが、今日は決勝ホームランを打たれて負け投手に成った。研究されただろうから致し方ない。パ・リーグは Marines に優勝して欲しい。もう Hawks はいい加減いいでしょう。ということで澤村にはまだまだ頑張って欲しい。

学術会議の件だが、総理がとんでもないことをしてくれた。安倍もそうだが、菅も総理大臣が何でも出来ると思っているようだ。そんなことはないぞ。気に食わない決定をしたり発言をしたりしたら即首の挿げ替えとはとんでもないの極み。母校の校歌にも歌われているとおり、「学の独立」。これを守るためにも、自民党はいい加減痛い目を見てもらいたい。とにかく次の選挙では自民党に投票するのはやめましょう。選挙に行ってなかった人は、是非今度は投票に行って、自民党以外の党に入れよう。

アメリカの大統領が新型コロナウィルスに感染したようだ。今までウィルスを馬鹿にするような発言が目立っていたが、少しは改めてくれるだろうか？

今日は天下一品の日だが…

木曜日は楕円曲線のゼミ。今日は j-invarinat が等しければ代数的閉包上で同型になるとかから。その後加法の定義。結合法則の証明が難しく、今週は勘弁してくれ、とのこと。で、加法の明示公式とか x(2P) の公式とかを証明して終了。やや早く、3時前。まあ今日はこちらの調子が悪かったので、いいです。

ゼミ終了後ちょっと仮眠。眠かったので。で6時に起きて野球を見始めるも、まだ何か調子が良くない。で2点取られたこともあって、見るのをやめて横に成る。テレビは付けたまま。今日は先発が中継ぎの武藤で、ブルペンデー。2回の途中から継投に入る。リリーフ陣は調子が良く、その後1点も取られない。が、打つほうが音無しで、独立リーグからNPBに復活した歳内から全く点を取れず。今日も優しい Baystars。歳内にプロ3勝目を献上して、またも借金1。明日からは3位の座を掛けて Dragons と。4位転落だけはならねー。最低限3連戦勝ち越しを。

で野球が終わってから起きた。今日は10月1日。天下一品の日、ということで天下一品へ行く。が、何か様子が変。看板の明かりが消えている。不安なまま前へ行ってみると、「ラーメン無料券の配布は行っておりません」と。コロナのせいだろうか？まあ店には客がいるようだし、食べられるのだろうと思って中へ入ると、「すみません、ラストオーダーの時間を過ぎてますので」と追い返される。うーん、今日は天下一品のラーメンが食べたかったんだが。仕方ないので近くの和食さとへ行って、馬鹿の一つ覚えのロースカツを食べてきた。天下一品は近いうちに行こう。何やら色々キャンペーンはやっているようだし。何よりこってりを食べたい。あのどろっとした奴を食べないと。是非。

栗東市綣

水曜日は「数論序説」のゼミ。今日も10時半くらいに起きて、ゼミを定時から始められた。中々いいですね。で1時からゼミ。今日は「ガロア理論」とタイトルの付いた節から。まずは原始元定理。「ここは講義でやった証明とまるっきり同じなので、がっつり略」と言って欲しいところだったが、証明を始めてしまった。その後もガロア理論の基本定理など。「それも講義でやった」と済まして欲しかったが、がっつり証明してくれた。最後に2次体と円分体のことが問題で出ていた。本の後ろに詳細な解答が出ていて、それを紹介してくれた。でいつも気になっていて突っ込まずに済ませたが、「Q(√m)＝Q(√(c²m)」の証明を誰もが「c を √ の外に出せば」と言って済ませてしまう。これは包含関係の一方を示しているに過ぎないはず。この論法が通じれば「Z[√2]＝Z[√8] が示せてしまうが、この二つの環は同型ですらない。まあ今日のゼミは大学院進学希望者がいないので、まあいいか、と。で今日は一人しか発表できず、3時半過ぎまでやっていた。これだけ時間掛けて3回生の代数の復習しか出来なかったと思うと、どっと疲れた感じがした。やはり正多角形の作図とコホモロジーは飛ばすということにしないと、素イデアル分解の一意性やイデアル類群の有限性が証明できなくなってしまう。整数論のゼミの意味が無い。そもそもまだ整数環の定義をしてないぞ！少し焦らそう。

昨日の晩はちょっと調べ物で時間を食った。栗東市に「綣」というところがある。ここに行きたい。が、読み方が分からないので、カーナビに住所を打ち込めない。この地名は何と読む？ということで漢和辞典を調べるなど色々したが、「かん」という読み以外出てこない。パソコンで「かん」では出てこない。IMEパッドを使って「綣」を画面に出すことは成功したが、やはり読み方が分からないとカーナビには…。うーむ、というところでひらめいた。「綣 地名」でググッてみたらどうだろうか？と思ってやってみると、案の定出てきた。これで「へそ」と読ませるらしい。ふーん。で広辞苑で「へそ」を引いてみてもやはり「臍」しか出てこない。「綣」とは機織り機に装着する麻糸の糸のことで、この地が古くからの麻織物の産地だったことに由来する、だそうだ。まあいい。読み方は分かった。カーナビに案内させよう。ということでカーナビに「シ」滋賀県、「ラ行」栗東市、「ハ行」綣、として入力完了。栗東インターまで名神で行って、そこから一般道。結構狭い道を運転しなくてはいけなく、緊張した。目的地に無事到着。すぐ取って返す。え、何がしたいのかって？「綣」にステーキハウスがあって、そこのマスターが Baystars ファンらしいので、行きたくなったのだ。何故取って返したかというと、営業時間外だから。営業時間外であることは最初から承知していた。今日は場所を調べるだけが目的。明日はちょっと時間が合わないので、明後日行こう、ということにした。ということで明日はちょっと早目に寝よう。

6時から野球。1回に四球のランナーをワイルドピッチ、進塁打、犠牲フライと、ノーヒットで点を取られた。3回も四球を突破口に、山田のタイムリー、村上の3ランホームランと一気に4点取られた。うむ、この前完封した上茶谷だが、今日はいかん。が、その後投げたピッチャーは点を取られず。6回に梶谷の月間42安打目（チーム月間新記録！）のタイムリー2ベースと、神里のタイムリーで2点返す。9回には佐野のタイムリーでもう1点。3－5。よーし、このまま逆転だ！と怪気炎を上げたが、空しかった。結局村上の3ランが致命的だった。8月は月間で3つ勝ち越したそうだが、9月は3つ負け越し。どうりでいつまで経っても5割前後をうろうろし続けるわけだ。Swallows の石川が今シーズン初勝利。ルーキーの年から19年連続勝ち星をあげたとか。うーん、そんな記録に貢献しなくていいんだよ。優しいな Baystars は。

正代が大関昇進。今日使者が部屋を訪れたそうだ。来場所横綱が土俵に上がれるかどうか微妙だそうなので、3大関で場所を盛り上げてください。もう一つめでたい話題。宇良が関取復帰だそうだ。早く幕内に戻ってきてください。炎鵬、照強、石浦らと、小兵が幕内を賑やかにするのは楽しくてよい。頑張れ、宇良。

梶谷が月間41安打のチームタイ記録

昨晩は結構遅くまで起きていた。双曲線関数をいじり倒していたんだが、双曲線関数なんて微積分や複素解析の例や演習問題でちょっといじったことがある程度で、あまり馴染みがない。ということで Maple に助手になってもらう。面白かった。実数 a,b に対し、cos(a+ib)=cos(a)cosh(b)－isin(a)sinh(b) という関係式が成り立つことが分かった。（もちろん a,b が虚数の場合もOK。）まあ有名な式でしょう。Maple も虚数引数の cos をこれで計算しているようだ。cos(a+ib) を expand 命令を使って展開したらこの式が出てきた。Maple の裏側がちょっとだけ分かった。

で遅くまで起きていたせいで、起きたのも遅い。今日は保健センターに処方箋をもらいに行く用事があるので、急いで職場へ向かう。いつもはめったに追い越し車線に出ないんだが、今日はちょっと急いでいたので、しばらく追い越し車線を走る。途中速度が 100km/h に達していたが、多分新車に乗り換えてから 100km/h 出すのは初めて。下品だ。次回職場に行く時は時間に余裕を持って起き、追い越し車線に出ないようにしよう。

で無事保健センターに行って処方箋をもらう。ついでに領収書を事務に送る手続きをしてきた。更に、職場のパソコンに Maple と SageMath をインストール。SageMath は Windowsの32bit版が無く、64bit版だけ。住処で使ってるパソコンは32bitなので使えないが、職場のパソコンは64bitなのでインストールした。試しに一つ二つ計算させたら出来た。無事インストール出来た模様。ということで5時50分くらいに職場を後にする。

ドラッグストアで薬をもらってきて、住処に着いたら7時くらい。見ると3－2でリードしている。1回表に2点取られたが、裏にすぐ4番佐野の3ランホームランで逆転したようだ。その後宮崎内野ゴロ、ロペスタイムリーヒットで2点。2点取られるも4回に梶谷のホームランで1点、5回に相手のエラーで1点。8回に神里タイムリーで1点と、着々と加点して圧勝。7月にノーヒットノーランされた小川に黒星付けたった。すっきり。明日、明後日も勝ちましょう。

さて、今日は梶谷の日。5打数4安打。3回ホームを踏んだそうだ。1番打者として文句無しの働き。さらに今日で今月41安打。すごい。球団の月間最多ヒットの記録に並んだそうだ。因みに記録はパチョレックと佐伯によるものらしい。どうせなら月間最多安打はどうだ、と思ったら、イチローの48安打が記録で、セ・リーグ記録はビシエドの47安打。うむ、それは流石に無理だな。セ・リーグ記録のためには明日6打数6安打しないと。そもそも6打数というのがまず無理。まして6安打なんて。古田が首位打者を取った年に、落合博満が6打数6安打で古田を抜いて、後は古田次第、ということがあった。因みに古田は1打席立ってヒットを打ってから交代して首位打者確定、というのが最終的な結果だったはず。落合だから出来た神業で、梶谷には恐らく無理だろう。まあ球団記録に名前が残っただけよしとしないと。まあ記録はどうあれ、明日も梶谷には打って欲しい。そうすれば月間MVPが見えてくる。何しろ .270 まで落ちた打率を .320 まで上げたんだから、月間MVPでもおかしくない筈。こんな機会は中々無いだろうから、月間MVP、取ってもらいましょう。

今日から秋学期

今日から秋学期。午前中に講義があるのだが、これは資料をダウンロードして自習、という形式なので、別に起きる必要は無い。が、ちゃんと10時半前に目が覚めた。奇跡だ。その後1時からのゼミに備えて、10時半、11時、12時半と3回アラームを鳴らすようセットしてあるが、今日は全て起きている状態で聞いた。優秀この上ない。ゼミも定時開始。何と素晴らしいんだ。これからもこの調子で行こう。

1時からのゼミは、今日からは Washington の円分体の本。フェルマーの大定理の章と、基礎事項に関する部分はすっ飛ばして、いきなり p 進 L 関数の章から。こちらからそうしようと提案したわけではなく、学生の希望でそうなった。今までの彼のパターンから言うと、そこまでもきちんと勉強してあるはずである。ということで信用して進める。今日は p 進体の代数的閉包が完備じゃないとか、その完備化が代数的閉体とか。あと log や exp の話。小生に取っても比較的馴染みのある話なので、退屈しなかったきちんと聞いた。p 進 L 関数は知っているような知らないような感じなので、来週もきちんと聞いて勉強させてもらおう。予定よりちょっと早く、3時半頃終了。

6時から野球。vs. Carp 4戦目。今日は京山 vs. 九里なので打撃戦か、と思ったらさにあらず。京山は5回3失点。この前5回5失点だったから、まあそれに比べたらまし。で問題は九里。何と完封勝ち。あんなピッチングされたんじゃ仕方ない。チャンスは2度しかなく、完敗。まあ4連戦2勝2敗ならまずまずでしょう。Carp は明日から vs. Giants なので、少し勢いをあげたと思えば。Carp は Giants を3タテすること。わかりましたね。

Carp に「おおもりみのる」という選手がいる。この名前で最初に思い付く漢字は「大森実」でしょう。次が「大森稔」かな。しかし彼の名は「大盛穂」。美味しそうな名前だ。中々の活躍を見せている。注目しよう。

正代優勝！

昨日は快勝につき呑んできた。まあ快勝でなくても土曜日は大概呑みに出るんだが。で帰ってきてから例に寄って中々寝ず。寝たのは明るくなってから。

で野球の途中に起きる。今日は1時半からだった。起きた時は2－0でリード。1回に2点取って、相変わらずそのままだったらしい。これは逆転されるパターンだ、いかんぞ、と思って見ていたら、案の定7回に1点取られる。大貫はそこで交代。7回途中1失点と中々の出来だったようだ。その後平田が抑えて、2－1のまま9回へ。満塁のチャンスを作る。ワイルドピッチで1点。うーん、物足りないが、待望の追加点だ。9回裏は三嶋が抑えてくれるでしょう。で案の定三嶋がびしっと締めて、3－1で勝利。Carp 相手に2勝1敗で勝ち越し、と思ったら、明日も vs. Carp があるようだ。明日はその1試合だけのようだ。明日も勝って、4連戦を3勝1敗で乗り切りましょう。

5時くらいから相撲。正代 vs. 翔猿が見物。正代が勝てば優勝、翔猿が勝てば優勝決定戦。（貴景勝の結果次第では巴戦。）翔猿が攻めて、正代が土俵際へ追い込まれる場面が2度。結構危なかったが、最後は正代が突き落としで勝って、13勝2敗で優勝。熊本県産まれの優勝力士は初めてとか。立派だ。で大関昇進も手にしたようだ。ここ数場所での内容なら、立派な大関に成ってくれるでしょう。期待。で今場所は他にも立派な力士が。霧馬山が途中休場も、戻って来て9番勝った。立派だ。東5枚目で9番なら、来場所は横綱、大関総当りの場所でしょうか。期待しちゃいますね。頑張れ。もう1人は千代の国。怪我で幕下まで落ちたが、先場所幕下優勝で十両へ戻っていた。今場所は14勝1敗で十両優勝。11枚目だからいきなり幕内復帰は無いかもしれないが、幕内に手が届く位置まで上がってくるだろう。来場所も期待。

さて、明日から秋学期が始まる。さっき講義資料を web に上げた。オンラインゼミの設定もしたが、時間を朝の8時から9時までにしてしまった。まあ形式的なものなのでいいんだが、何か気持ち悪い。来週からはちゃんとやろう。

Tigersが10人一気に登録抹消

二日分寝たような生活をしたせいか、眠くならなかったので、あまり眠れなかった。でもちゃんと用事には間に合って、無事終了。よかった。その後「なか卯」でカレーを食べて帰ってくる。流石に眠かったので、帰宅後昼寝。3時間ほど。で相撲は5時から見始めた。新入幕の翔猿がいい。今日も勝って2敗を守った。2敗は正代と翔猿の2人だけになった。106年振りの新入幕即優勝成るか？明日は大関・貴景勝が相手と、さすがに厳しいかな。朝乃山 vs. 正代も見物。明日の結果次第では朝乃山がトップに並ぶことになる。明日も見ないと。

6時から野球。4連敗中の Carp が相手。Baystars の先発は井納と、いけそうな雰囲気だが、さにあらずで、井納が5点取られた。打つほうは佐野のソロホームランと、9回のソトの2点タイムリーの3得点と湿り気味。また借金生活に突入。うーむ、連敗している相手に負けるというパターンが多過ぎる。明日は勝ってくれ。

Baystars も悲惨だが、もっと悲惨なのは Tigers。二軍の選手・浜地が新型コロナウィルスに感染して、１、2軍の監督、コーチ、選手、チームスタッフを PCR 検査したところ、岩貞、陽川、糸原、馬場と、1軍の主力が陽性。浜地と会食した小川、岩崎（いわざき）が濃厚接触者。岩貞、陽川、糸原と会食した福留、江越、小林、木浪は球団が濃厚接触者にあたるという判断を下した。ということで10人まとめて登録抹消。1軍の主力がこんなに抜けて勝てるわけもなく、6－3で Swallows に完敗。2試合連続完封勝ちで、自身5連勝中の西勇輝が6回4失点で負け投手。うーむ。Giants が勝ってしまったので、マジックナンバーは一気に2つ減って26。Tigers には粘って欲しいが、明日もきつかろう。あーあ、Giants 優勝しちゃうのか。嫌だな。

明日はデーゲームのようだ。今日は早く寝よう。展開次第では相撲を最初から見よう。理想は Baystars の快勝で、試合が5時くらいに終わってくれること。そうすれば幕内後半戦から見られる。最初から見られるのは Baystars が大敗する場合だから、そうならない方がよい。まあ何にせよ、明日も野球と相撲で1日終わるな。月曜日から講義で、講義資料は日曜日のうちに web に上げると宣言したから、明日中に目鼻を付けておかないと。呑みには行こう。先週顔を出さなかったから、明日は呑みに行かないと。

なるようになるさ。

明日は午前中に起きるので、今日から慣らそう、と思って、午前中に起きた。が、寝たのがいつもの時間なので眠くて仕方なく、食事を取ったらすぐにダウン。そのまま相撲が終わってもまだ寝続けているという、まるで二日分寝たような生活をしてしまった。まあいいんだけど。

夕食は昨日書いた通り「はま寿司」。今シーズン初牡蠣。美味かった。その後色々食べて1300円程。まあ大体いつも通り。満足。野球の無い日は平和でいい。

野球のシーズンはケーブルテレビのチャンネルが「TBSチャンネル2」に成っていることが多い。そこで Baystars のホームゲームやるからね。でドラマもやっているんだが、「なるようになるさ。」という橋田壽賀子脚本のドラマを何度か途中から見た。で今日からまた放送すると言っていたので、録画しておいた。成程、こういう始まり方をするドラマだったか、ということがようやくわかった。明日からも続きを見よう。浅野温子と舘ひろしが主人公のハートウォーミングなコメディドラマであったような記憶がある。たまにはこんなのもいい。

長かった夏休みがもうすぐ終わる。が、リモート授業しかしないので、夏休みが続くようなもの。職場には来週1回行くが、それ以外は全然予定が無い。意識して外出しないと、本当に引き篭もりになってしまう。気を付けよう。

上茶谷完封勝ち！

昨日は早い時間から呑み始めたのが失敗。Baystars Lager を4瓶開けて、その時点ではまだ11時前だったので、近くの自販機で買い足してしまった。いつものように10時過ぎに呑み始めれば11時に自販機が閉まってしまうので買い足し出来ない。コンビニに深夜に酒を買いに行くのはちょっと気が引けるので。ということで1人で結構呑んでしまった。家呑みはやっぱりやめよう。

ということで寝たのが遅く、起きたのも遅かった。が、まだちょっとボーっとするので、軽く一寝入り。目が覚めたら4時半。いかん会議だ、と飛び起きる。急いでパソコンの電源を入れて、リモート会議に途中から参加。何やら盛り上がっている。もういいじゃないか、と思うんだが、双方譲らず。どうやらかたが付いた。その議題で20分くらい経過。その後もちょっと重たい話題があって、終了は6時半くらい。長い。皆議論好きやね。

ということで野球は途中から。vs. Tigers 3戦目。上茶谷と青柳がナイスピッチングを続けている。6回に宮崎の内野ゴロの間に3塁ランナーがホームへ。先制点をあげた。まずは重畳。7回にはソトの3ランホームランで4－0。よしよし。その後上茶谷はすいすいで、今シーズン2勝目を完封勝ちで飾る。いやー、お見事。ここのところ同期の大貫がよかっただけに、内心焦っていただろう。大貫はここのところよくないが、こちらも上茶谷の好投に刺激されたから、次回はナイスピッチングを見せてくれるでしょう。まだまだ諦めるわけにはいかない。頑張れ Baystars！

明日はセ・リーグの試合が無いようだ。久々に心穏やかに過ごそう。夕飯は外食にしよう。「はま寿司」で牡蠣握りをやっているようだから、明日の晩飯は「はま寿司」で決まり。

神奈川県はそんなにマイナーか？

人間24時間単位で生きている。昨日全米オープンを見るために7時まで起きていたが、今日も7時まで起きていた。ということで今週いっぱいは朝7時寝、と思ったら、金曜日の昼前に区内で野望用があることがわかってしまった。ということで、少しずつ慣らしていかないと。今日は12時前に起きたが、流石に7時に寝たので眠い。ということでもう一寝入り。起きたら3時半くらい。3−2で Baystars が勝っている。坂本がナイスピッチングをしているようだ。で6回の裏、坂本に代打。まだ80球も放っていないんだが、と思っていたら、案の定7回から出てきた康晃が同点にされる。7回裏は石田。ナイスピッチング。が、8回の裏も石田。回跨ぎは大体いい結果が出ないもんだが、またまた案の定、石田が3点取られる。うーん、昨日と似てる。オースティンにホームランも出てるし、昨日のまんま。で9回は何の抵抗もできずに連敗。借金生活に逆戻り。まあ Giants のマジックナンバーが減らないのはいいことなんだが、それと Baystars が上位に行くのは矛盾命題。考えないことにしよう。明日勝っておくれ。

5時くらいから相撲。今日は2敗力士で負けたのは照ノ富士だけ。2敗で5人、3敗は朝乃山と照ノ富士と、まだまだ混戦状態。面白いぞ。

今日は資源ゴミの日なので、段ボールを出すべく、野菜ジュースと Baystars Lager の残りを全部冷やしておいた。で今日は野球を見ながら呑むつもりであったのをころっと忘れていて、6時過ぎから呑み始めた。呑みながら数学はろくなことにならないので、アホになろうということで、録画したまま見ないでおいたドラマを見ながら。面白かった。これから「トリニクってなんの肉？」を見る。一応録画予約はしてあるので、途中でトイレに行きたくなっても大丈夫。CM でやっていたが、「鎌倉、逗子、葉山を何県か知らない！」と。うむ。「逗子を通ってディズニーランドに行った気がする」というとんでもない答え。今日も面白そうだ。

全米オープンの中継を朝7時まで見ていた

結局ゴルフは7時までやっていた。松山英樹は17位タイ。昨日一旦2位まで行ったので期待していたが、今日はスコアを崩してしまった。難しいコースだったようだ。優勝はスコアを3つ伸ばしたデシャンボー。昨日までトップだったウルフはスコアを5つ落として2位へ。2位がイーブンパーと、皆大苦戦だったようだ。デシャンボーの6アンダーは凄い。客を入れないでのツアーだったが、コースに面した道路などで熱心なギャラリーは応援していて、密を避けるための無観客はあまり意味が無かったと思われる。うちも学内を立ち入り禁止にしていたが、南草津駅辺りで学生がたむろしていて、あまり立ち入り禁止が意味が無かったのと同様。（そうでもないか。）

でそこから寝て、2時過ぎに野球を見るために一旦起きるも、眠くて仕方ないので、テレビを付けたまま横に成る。5時近くに目覚めた。3－3だったのだが、国吉が大荒れ。ワイルドピッチ2つなどで2点取られ、それで負け。うーん、連勝できないね。まあ Giants のマジックナンバーが減らなくてよかったんだけど。ダイジェストを見る気も起こらず、相撲にチャンネルを変える。

相撲は2敗で6人が並ぶ展開に。朝乃山は6連勝で3敗。まだまだ面白い。でそのままチャンネルを NHK にしていたら、6時5分から Giants vs. Carp の中継が始まった。Carp が田中広輔の2ランで早くも2点リード。いいんじゃないでしょうか、と思って見ていたら Giants が1点ずつ取り返してあっさり逆転。もうそこで見る気が無くなって、6チャンネルにチャンネルを変える。Kis-My-Ft2 の10周年記念番組など別に見なくてもいいんだが、「科捜研の女」に密着、ということで面白そうなので見た。興味深かった。10月22日から新シリーズ放送らしい。去年の4月から今年の3月に掛けて放送していたので、つい最近までやっていたような感じ。まあ見るでしょう。「相棒」も始まるようだ。忙しくなるぞ。野球のシーズンが11月まで続くようなので、時間のやりくりが大変になる。心して掛らないといよいよ勉強しなくなる。気を付けよう。結局 Giants vs. Carp は10－3で Giants の圧勝。今日のセ・リーグは負けたチームは全部3得点。こう見るとチーム防御率4点台のチームが下位に下がってるのがよくわかる。

さて、何やら連休であるが、こちとらは全く関係ない。まだ夏休みだからね。嵐山は人で溢れていたらしい。国宝・松本城の天守閣は行列が出来ていたそうだ。国宝・彦根城はこの前行ってきたが、人手が多いとは言えなかった。平日だからとかそういう理由ではなく、単に滋賀より長野の方が観光客が多いということだろう。滋賀にも結構見所はあるんだが。紅葉の時期は京都に行くより滋賀の方がいいよ。石山寺なんか中々のもの。人がぐじゃぐじゃといないから、観光にはもってこい。是非おすすめします。と言っても今年は11月末から12月頭の研究集会は Zoom 開催のようなので、同業者は来ないか。まあ来年は滋賀に観光に行ってください。

デーゲームを見られるように起きたが、見ないほうがよかった

ゴルフ男子の全米オープンが始まっていて、今朝松山英樹がホールアウトするまで起きていて見てしまった。そんなこんなで野球に間に合わず、と思ったら間に合った。まあ7時間くらいは寝てるし大丈夫だろうと。

で2時から野球。初回にいきなり点を取られる。その後丸にホームランを2発打たれるなど、一方的な負け展開。さらにランナー1、3塁の場面でキャッチャーが2塁へ放ると見せてピッチャーがキャッチするというプレーをピッチャーが取らずに、抜けた2塁は野手が入っていなくてセンターに送球が抜ける隙に3塁ランナーがホームインと、凡プレーで突き放される。自慢の打線はと言えば、昨日先発予告されたピッチャーがアクシデントで放れなくて、変わりに出てきたピッチャーに6回2安打無得点という始末。去年勝ってないそうじゃないか。何だ、そんなピッチャーに抑えられて、最後まで点が取れずという展開。うー、フラストレーション溜まる。昨日素直に呑んできて、酔いつぶれて見ないほうが良かった。明日から甲子園で3連戦とのこと。2位を確保するには勝ち越したい。が、その分 G のマジックナンバーが減ってしまう。Carp に Giants を倒してもらうよう願おう。

5時くらいから相撲。今日は朝乃山 vs. 豊山の大学時代からのライバル対決があり、おっ！と思ったら、豊山は昨日の取り組みで足を痛めて休場とのこと。何でい。朝乃山は不戦勝で、3連敗の後5連勝。で結びで貴景勝が栃ノ心の注文相撲でばったり倒れて、1敗がいなくなった。2敗で9人が並ぶという混戦模様。朝乃山がそれに続いているということで、面白くなってきた。

上で今日（resp. 昨日）と書いたのは全部昨日（resp. 一昨日）のことだが、これから本当に今日の話。2時からまた全米オープンの中継が始まるので、何時に寝られるかわからない。まあまだ1週間休みなわけだし、いいか。まあそうだな、そんなに集中してゴルフを見るわけじゃないし、講義資料の直しをしながらにするか。もう1週間だし、そろそろ本腰入れないといけない。来週からゼミも始まることだし、明日から夜更かしはそこそこにするよう気を付けよう。

野球がデーゲームなのを知らず、9回表途中から観戦

昨晩書いた通り、ちょっと夜中に掛けて寝たので、そこから夜更かし。朝早し、と言うべきかもしれない。で野球がデーゲームなのを知らずに寝ていた。起きて相撲を見始めて、しばらく経って「半沢直樹」を録画予約しようとしてケーブルテレビのチューナーを入れたら野球がやっていた。もう9回表だった。今日は梶谷の2ホームランとソトの通算100号ホームラン、佐野のホームランなどで圧勝。1アウト満塁のピンチで登板したエスコバーがホームゲッツーで打ち取ったとかで、ヒーローは梶谷とエスコバー。G は今日は1得点で、ここ3試合で1得点22失点と、負けるわけだという負け方。明日（今日だが）も勝ちましょう。デーゲームなので、呑まずに寝て早起きする予定。まあそんな風に力むと負けたりするんだが。いやいや、応援すべし。

今日（昨日だが）から観客の入場制限が緩和されて、ハマスタは16000人に成ったそうだ。レレフトウィング席に初めて観客が入った。声援はまだ出来ないので球場が完成に包まれるということは無いが、いい雰囲気だったようだ。30000人強入って歓声で応援するハマスタが見たい。早くコロナが収まってくれないと。

野球は2時開始で、終了が5時過ぎということもあり、相撲を中途半端にしか見ていない。夜中にダイジェストをやってくれるのは有り難い。昨日は放送しているのをそのまま見てしまったが、今日は録画して寝よう。

ハマスタで Giants に初勝利（！）

今日（昨日だが）は大学に行こうかと考えていたんだが、起きたらもうそれなりの時間だったので、やめた。で冷静に考えると明日（今日だが）から4連休。生協はやってない。やっぱり行っておくべきだった。まあいいや。やりたいことは領収書を事務に提出することだけなので、急がなくても。

まずは相撲。今日（昨日だが）は大関、関脇が全員勝つという、極めて珍しいことがあった。朝乃山が調子を上げてきた。阿武咲が負けて勝ちっ放しがいなくなったから、3敗でも十分可能性がある。ここは踏ん張りどころ。朝乃山頑張れ。

6時から野球。今日（昨日だが）から vs. Giants 3連戦。何でもハマスタで Giants に勝っていないとか。うー、ロクでもない。何が何でも勝たないと。2回に1，2塁のチャンス。中井が送りバントと、ラミレス采配らしからぬことをやったら、これが活きて、倉本の2点タイムリー。幸先のいいスタート。3回には20打席ノーヒットのオースティンが3ランホームラン。この前のヒットも3ランホームランだったな。さらに5回に梶谷の平凡なライトフライのような当たりが風に乗ってスタンドへ。これで6－0。いいねー。投げては井納が6回無失点。いいねー。というわけで6－0で圧勝。やっぱり Giants に勝つといい気分だ。明日も勝っておくれ。でマジック対象チームの Tigers が勝ったため、マジックナンバーは減らず。大山が2ホームランで、岡本と並んでホームランダービーのトップに躍り出た。いいねー。Giants には優勝もタイトルも与えちゃなんねぇ。Tigers にも頑張ってもらわないと。ただ最終的には Baystars が上に行って欲しいので、その辺は適当にお願いします。

野球終了後ちょっと横になったら3時間も寝てしまった。で今さっき起きた次第。もう眠くない。でこのまま数時間起きていて、4時、5時に寝るなんていう生活をしてるからいけないんだが。まあいいや。講義資料の直しでもしよう。また4時過ぎに寝る予定。

筋肉痛

昨日は歩き回って疲れていたのか、今日は想像以上に寝られた。で起きてみると、腿から脹脛まで筋肉痛。相当体がなまっていたので、当然の結果。まだ一日で筋肉痛が来るのは若い証拠か？

今日は相撲を見るのと野球を見るの以外はこれといったことはしていない。相撲はもう役力士に全勝がいないどころか、平幕の阿武咲以外に全勝がいない。阿武咲は先場所13連敗だったが、その憂さを晴らすように5連勝。今場所も平幕優勝か？と思ってしまう。横綱がいない場所だ。大関に頑張ってもらわないと。朝乃山は3連敗スタートだったが、ここに来て連勝と調子を取り戻している。貴景勝も好調のようだし。いいことです。頑張れ大関。

6時から野球。昨日6連敗でストップした Swallows だが、今日は大暴れで9点取られた。Baystars は1点も取れず。オースティンが戻って早々3ランホームランを打ったと思ったら、そこから音無。一本犠牲フライを打った以外は全然。簡単に空振り三振という場面を何度目にしたことか。もうちょっと2軍で療養したほうがよかったのでは？調子次第ではロペスと交代で2軍に落としたほうがいいかもしれないな。明日からハマスタで vs. Giants 3連戦。今日ようやく Tigers が東京ドームで勝ったそうだ。岡本、坂本が休んでいるようだし、チャンスだ。ここは3連勝して意地を見せるしかない。応援する。

少し前に Maple をインストールしたことは書いたが、その後使えなくなっていた。アクティベーションをしろと起動するたびに言ってくる。でアクティベーションをしたのだが、再度起動するとまたアクティベーションを求めてくる。謎。で色々尋ねたりやってみたりと試行錯誤したんだがうまくいかない。で「そうか、管理者になって Maple を起動してみたら？」と思ってやってみたらうまいこと起動できた。管理者としてアクティベーションしたらどうだろう、と思ったらこちらはうまくいかない。まあよくわからないけど動くようになった。また色々計算させよう。

待望の彦根城本丸に入る

 昨日ちょいと早寝をして、今日は11時くらいには起きた。これはいいですよ、彦根城だというわけで12時過ぎに部屋を出る。ガストで昼食。今日までの半額クーポンがあったので使いに。その後名神で彦根インターへ向かう。2月に一回行っているので、景色も何も覚えていて、この前よりはるかに近く感じた。カーナビが「京橋」を右折、と言っていた時の信号が「京町」だったので一瞬焦った。で何事もなく彦根城前の駐車場に止めて、国宝の天守閣の中に入りに行く。天守閣に着く前に一休憩。階段が登りづらいんで、相当息が上がった。で天守閣に到着。やはり急階段。登るのも降りるのも一苦労。行った甲斐があるというもの。楽しかった。ヒコニャンも見たし。次は姫路城だな。

この前行った時は、帰りは何故か米原から高速に乗れ、とカーナビが言っていたので従ったが、どこかで道を間違えたんだろう。今日は彦根から乗れた。本線合流後は高速道路を運転するので、せっかくだから前の車を定速で追尾する機能を使った。アクセルを気にしなくていいのは楽だ。今後も愛用しよう。相撲の途中に帰り着いた。

6時から野球。今日の Swallows の先発は去年 Tigers をクビになった歳内。独立リーグで5勝（3完封！）という好成績でNPB復帰を果たした。で Baystars は初回から1安打ずつ連ねるも、無得点。5回にようやく2点取ったが、4安打2点と効率が悪い。しかも1点は犠牲フライによるもの。ヒットをたくさん打ってるから楽勝のような勘違いをするが、まだ1点リードしているだけである。（Swallows は4回裏に村上のソロホームランで1点取っている。）リリーフで出てきた梅野に2イニングパーフェクトに抑えられて、その裏案の定逆転を許す。こうなると点が取れないのは恒例で、今日も案の定 Swallows リリーフ陣から点を返せなかった。最後はレフト上田のフェンスを怖がらない超ファインプレーで試合終了。上田はしばらく起き上がれず、最後は宮出コーチにおぶってもらってベンチへ帰った。客に向けて手を振っていたが、相当痛かったろう。怪我しても仕方ないくらいの迫力のプレーを Swallows がいくつも見せてくれた。どうして6連敗もしたんだろう。10日ぶりの勝ちだそうだ。まあしゃあない。明日明日。Tigers が Giants に負けとる。本当に Giants 相手だと弱いな。マジックナンバー2減ってまうぞ。しっかりせい！確か金曜日からハマスタで Baystars vs. Giants の筈。自力で引き摺り下ろそう。