月間12勝11敗で勝ち越し

今日は特筆すべき行動はしていないので、野球の話のみ。今日勝って Baystars は5月12勝11敗。今月は序盤に5連敗をしているだけに、この結果はにわかには信じがたい。が、事実なので、よかった。これで負け越しは6。まだまだ上を狙っていきましょう。

で負けた Swallows だが、これで15連敗。うーむ、深刻やね。まあとりあえずあと2日は負けてもらおう。交流戦で頑張ってください。去年の Swallows はリーグ戦最下位から交流戦で6勝ち越して、一気に上位に浮上、最終順位は2位、という結果だった。だから交流戦次第では Swallows にも Baystars にもチャンスはある。深刻になるのはよしましょう。

最後は Dragons の高橋周平。今日3安打なら月間9度の猛打賞と日本新記録になるところだったのだ、残念ながら2安打で新記録成らず。が、月間8度の猛打賞は立派で、川上哲治やイチローの記録に並んだわけだから、胸を張っていい記録だ。現在打率は2位。6月もバカバカ打てば首位打者も夢ではない。打ってもらいましょう。ただし Baystars 戦は除く。

久々の最下位脱出

一昨日講義で汗みどろになって、その状態で個研室では冷房がんがんにしていたものだから、ちょっと喉が痛くなってきて、風邪か？という感じに成ってきた。で昨日は会議を欠席させてもらって、今日の談話会も欠席させてもらった。ブログも更新しなかった。酒も勿論抜き。

で今日は薬のせいか起きるのが遅かった。大分楽になった。野球までは大分時間があるので、ちょっとコンピューターで実験。一昨日書いた「役に立たなかった」事実を使って、x³≡2 (mod p) が解を持つような素数 p を沢山作って、それからある例を作ろうと思った。コンピューターに向かってポチポチと数字を打ち込み、結果をメモったり。で結果としては新しい例は作れなかった。逆に、ある程度以下には例は無い、ということが確認できた。p ≡ 1 (mod 3) の場合はこれで片付いた。あとは p ≡ 2 (mod 3) の時だが、こちらは色々難しいので、また明日やる。

でそろそろ野球の時間。今日は vs. Dragons。昨日は延長戦を制して2－1と勝利。今日も接戦か、と思ったら、神里が凡退の後、宮崎、ソト、筒香と3連打。が、3本ヒットを打っても点が入らない。何事じゃ！と怒ろうと思ったところでロペスが満塁ホームラン。一気に怒りは治まった。その後も着々と加点し、先発の東が抑えて、8－1と圧勝。ゲーム差無しの5位だった Swallows が負けたので、久々に最下位脱出。さー、上げ潮だ。明日からは Swallows 3連戦。交流戦前の大事な3連戦。Swallows さんは連敗を止めたいだろうが、情けは禁物。3タテで Swallowsに17連敗をプレゼントしましょう。そして交流戦で好成績を収めれば、上位進出も現実のものと成る。頑張れ Baystars！

今年の Tigers は、Giants 相手にからっきしだったのだが、昨日は高山の12回裏サヨナラ満塁ホームランで勝利。今日も勝ったようで、Giants を3位に叩き落した。素晴らしい。Giants 戦ではきっちり勝ってもらって、Baystars 戦ではお手柔らかにお願いします。

Ireland&Rosen, Proposition9.6.2

昨日すぐ寝るようなことを書いたが、実は結構夜更かししてしまい、今朝は寝坊。9時に起きれば朝食を取ってもいいくらい余裕のあることは先週わかったのだが、今日は9時45分過ぎまで寝てしまった。ということで朝食抜きで出掛ける。ちゃんと10時30分過ぎには職場に着いた。よかった。

で火曜日は「代数学I」。今日は素元と既約元を定義して、P.I.D.では π が素元 ⇔ π が既約元 ⇔ (π) が素イデアル ⇔ (π) が極大イデアルを証明。その後 U.F.D. の § に入って、P.I.D. が U.F.D. であることを証明。色々な本にある「嘘証明」を採用。「何処が嘘か知りたい人は『足立恒雄 類体論へ至る道』を見てください」と宣伝もしておく。系として Z が U.F.D. であること、K が体のとき K[X] が U.F.D. であることを挙げてくる。来週はユークリッドの互除法から。まだ5月だぞ、ちょっと早いな。まあ時間調整するネタはあるんで、7月の2週目までは持つでしょう。気温は低いが蒸し暑かったので、冷房が効いてくれてよかった。

昼飯を挟んで卒研ゼミ1。今日は3乗剰余の相互法則から。テキストには補充法則の証明が一部しか与えられていない。で大概の学生はテキストに書いていないところに証明を与えてくれないんだが、彼は違った。文献に挙げられている論文を web で見付けたらしく、証明を読んでくれた。あまり難しいことはないが、ややこしかった。それが分かっただけでOK。その後3乗剰余の相互法則の証明を2種類。ガウス和とヤコビ和を用いた証明で、こちらも筋がわかったのでOK。その後 p が3で割って1余る素数の時、x³≡2 (mod p) を満たす x∈Z が存在することと、p＝C²＋27D² を満たす C,D∈Zが存在することが同値、という大変興味深い事実を証明してくれた。何かの役に立ちそうだな、と思ってコンピューターで実験。結論としては何の役にも立たなかったのだが、ちょっと知識欲を刺激された。

今日は Dragons vs. Baystars。ナゴヤドームでやるから中止がない、と思っていたら、今日は岐阜で試合が予定されていて、雨のため中止。これで火曜日は3週間続けて中止。ということで晩飯は王将で食べて、「トリニクって何の肉!?」をリアルタイムで見た。終了後ビールを呑みながらちょっと実験の続き。予想通り比較的自明な事実と上に書いた C,D の存在が同値であることがわかった。まあ興味深かったからいいのだ。

明日は卒研ゼミ２が無いので、今日は呑んだくれるぞ、と思ったんだが、明日は4時半から会議をするそうだ。ということで今日の酒はほどほどにする。

さて、今朝登戸で大事件があったようだ。9時45分起きでは細かい情報を仕入れる余裕が無かったので、「トリニクって何の肉!?」終了後「報道ステーション」で情報を仕入れる。うーん、大事件。包丁を2本持った男が後方から声を上げず切り付けてきたらさすがに防衛のしようがない。亡くなった方がいるようだし、怪我した小学生がいたようだ。後遺症が残るだろうな。こんなことは2度と起きないで欲しい。

脅威の35.7km/L

今日は2時40分からの講義なので、遅く起きられる。ということで夜更かししたんだが、10時半くらいに宅配の配達員に起こされた。いつもは眠いからもう一度寝る、そして遅く起きて、慌てて飛び出す、というパターンになるのだが、今日は眠くないので起きていた。でも住処を出るのは遅く、1時半過ぎ。まあ間に合うから問題無い。

で2時40分から「数理科学特論2」。今日は Q_p^×/Q_p^×2 の構造を決定した後、Hilbert 記号。記号が1であることを3元2次形式が0を表すことで定義し、その後ノルム剰余であることと同値なことを証明、そしてそれらから導かれる Hilbert 記号の自明な性質を挙げて、来週証明する explicit formula を書いて終わり。今日は暑かったが、講義室は冷房が使えたのであまりシンドクなかった。

その後例に寄って直帰。高速道路は渋滞というほどではなかったが、70km/h くらいが平均速度だった。そのお陰か燃費がいい。下道に下りてからも渋滞基調は続き、燃費がどんどんよくなってくる。住処に着いた時は脅威の 35.7km/L。過去最高記録。うーん、暖房を使わないといいな。因みに 57.5km/L という記録があるのだが、これは走行距離わずか 2km だったので、表彰されなかった。何キロだと表彰されるか知らない。多分説明書を読めば書いたあるんだろうが、見るのが面倒くさくて確認していない。多分 10km 以上なんじゃないかと思うけど。いつもの走行距離は大体 19km くらい。だから通勤は表彰対象になるのだ。今度やっぱり説明書を見るかな。

帰宅後は録画してあるものを1時間半くらい見て、それから位相空間の勉強。弧状連結性など。2箇所中々分からないところがあって苦労した。まあそれだけ勉強に成ったわけだが。次はコンパクト性だな。今までチコノフの定理の証明を実は読んだことがないので、読んでみようと思っている。選択公理が必要となるということで今まで避けてきたんだが、いい機会だ、読んでみよう、と思っている。ついでに「チコノフの定理⇒選択公理」の証明も読むかな。連結性やコンパクト性を教えるのはまだ先なので、時間はある。ゆっくりやろう。

明日は8時半起きなのでもう寝る。その前にダンボールを捨ててこよう。明日は月に2回の資源ごみの日。古雑誌も少し出すかな。

今年初めて冷房を使う

昨日はブログを書いた後、激呑みしてきた。が、今回はいつもより少なかった。呑んで精算した記憶が無いことが多いんだが、今回は覚えていた。珍しい。

というわけで今日は二日酔い。野球が始まってもしばらく起きなかった。で起きて野球にチャンネルをあわせたら、何と5－0で負けている。2回までに濱口が3被弾とか。うーむ、二日酔いでこの続きを見るのは辛い。ということで、テレビを付けっ放しにして横になる。薄ぼんやりとした意識の中で、更なる被弾を聞いた。ということで今日は7－0と完敗。久々の Tigers との3連戦の勝ち越しはならなかった。無念。

で二日酔いから覚めたころに起きると、5時ちょっと過ぎ。相撲は千秋楽だから、いつもより展開が30分くらい早く、残すは3番となっていた。アメリカ大統領と日本の首相が並んで相撲観戦をしていた。升席で椅子に座っていたようだが、後の人の観戦の邪魔にならなかったろうか？表彰式でも「アメリカ大統領杯」を渡すべく大統領は土俵へ。珍しい光景だった。こういう場所で優勝できた朝乃山は記念になったでしょう。もっともそれ抜きでも「令和初優勝」ということで名前は残ったわけだが。

9時から「白い巨塔」。今日は野球がデーゲームだったお陰で、初めから見ることが出来た。今日で最終回。裁判で柳原がキレる辺りから怒涛の展開で面白いところ。今回もよく描かれていたと思う。最後まで見ると、非常に力の抜ける終わり方だ。まあいつもの通りだけど。唐沢版よりは原作に近かったかなという感じ。面白かった。今度まとめて全部見よう。

今日は暑かった。今年初めて冷房を使った。明日も暑いそうだ。講義は地獄になるだろう。「暑いから休講」というわけにはいかないし、補講をしなくちゃいけないから、明日は我慢してやろう。火曜日は大分気温が下がるようだが、雨で蒸すかもしれない。覚悟しよう。

朝乃山優勝！

昨晩も夜更かしをしてしまった。どうもいかんな。ということで今日も起きたのは昼過ぎ。

2時から野球。今日の相手は苦手 Tigers、苦手メッセンジャー。チャンスを沢山作る。1イニング4四球とか。にもかかわらず点が全然入らない。が、5回にロペスの犠牲フライで先制。6回には一挙5点。今日は楽勝だろう、上茶谷のプロ入り初完封だ、と思ったのも束の間。糸井に3ランを打たれて3点差。上茶谷からエスコバーに交代。エスコバーはワンポイントで、康晃に交代。康晃が2点タイムリーを打たれて1点差。代打鳥谷。極めて危険な感じだったのだが、どうにか抑えて6－5。Tigers 戦、メッセンジャー相手、いずれも7連敗だったのだが、ようやくストップ。目出度い。上茶谷完封は次回に持ち越しということで。まあ2勝目をあげたからいいでしょう。

ヒーローインタビューと監督インタビューが終わってから相撲にチャンネルを変える。5時半くらい。今日は朝乃山は大関豪栄道相手なので、まだ土俵には立っていなかった。ということで最後の2番、優勝に関わる相撲なので、見られて良かった。朝乃山は寄り切りで堂々の勝利。鶴竜 vs. 栃ノ心はというと、栃ノ心が立会い変化。鶴竜はそれについていけずばったり。これで朝乃山の優勝が決まった。三役経験の無い平幕力士の優勝は58年ぶりとか。凄い。8枚目だから来場所三役かどうかは微妙かな。まあ良かった。

で上に書いた通り、栃ノ心は立会いの変化で勝ったわけだが、これで10勝目。目出度く大関に返り咲いた。よかったよかった。今日は「上茶谷完封！」というタイトルにする積もりだったが、完封できなかったし、これは無し。「栃ノ心大関復帰！」も何か違う。ということで、「朝乃山優勝！」にすることにした。明日千秋楽はどんなタイトルにしよう？野球で嬉しいことがあればそっちをタイトルにする。まあ明日にならないとわからないので、その時に考えるとしよう。

栃ノ心の足は出ていない！

先日書いた DNS サーバーの設定の件。4時20分に部屋に来る、とメイルに書いてあったので、3時過ぎに昼寝から慌てて起きる。で車を出そうと思ってもう1度メイルを見直したら、何と今日の4時20分ではなく火曜日の4時20分。何でい、馬鹿馬鹿しい。と思ったが、折角車を出したんだから、ちょっくらガストで SmartNews のクーポンを使ってこよう、ということで、出掛ける。「チーズインハンバーグ＆エビフライ」にライスをセットで。クーポンを使ったお陰で、1030円で済んだ。

帰ってきて相撲を見る。炎鵬が怪我をしたようだ。勝ち越せば技能賞と言われているが、今日の様子だと明日出られるかどうか微妙。大したことなければいいが。その後栃ノ心  vs.  朝乃山。栃ノ心が勝てば10勝で大関復帰決定。が、物言いの末栃ノ心は負け。朝乃山は2敗を守る。スローで見る限り栃ノ心の勝ちだと思うんだが、行事差し違えで栃ノ心の負け。うーむ残念。で結びの一番で鶴竜が高安に負けて、朝乃山の単独トップという状況に。うーむ、明日、明後日はどうなるんだろう？楽しみ。

6時から野球。6連敗と苦手にしている Tigers が相手。しかも場所はハマスタとあって、何が何でも先制したいところ、と思ったそばから筒香の2ラン。よし、今日はいける、と思ったのも束の間。4回、6回と1点ずつ取られ同点に。7回に1点取られそれが決勝点。Tigers 相手の連敗が7にのびてしまった。昨日も今日もそうだが、チャンスは沢山作るんだが、あと1本が出ない。どんどん追い詰められて、こちらとしても「うるさいこと言うな、ドカドカ放りこんだれ！」と思うしかなくなってくる。うーむ、むなしい。

Swallows がついに9連敗。大変だ！かたや Carp は10連勝。Carp すごいな。今年も優勝しそうだ。4連覇なんて久し振りだろう。珍しいものが見たい。やるのが Giants でなければね。基本「11球団何処が勝っても嬉しい」というのがポリシーなので。まあ最近は Hawks がちょっと調子に乗りすぎているので、「10球団」にしたいところだが。まあとにかく Carp はこの3連戦 sweep してもらいまひょ。

「朝乃山」を単語登録した

今日はゆっくり寝た。起きてしばしして相撲。今日は朝乃山が負けた。栃ノ心も負け。大関復帰の10番を目前にしての連敗。うーん。まあ鶴竜が勝って、優勝争いは鶴竜と朝乃山に絞られた感がある。明日は栃ノ心 vs. 朝乃山だそうだ。うーん、どっち応援しよ？

相撲終了後は野球。今日は沢山チャンスを作ったのに、活かせたのは2回だけ。4回に Giants に6点まとめて取られて、それを3ランとタイムリーで4点返すのがやっと。4連勝でストップ。明日からハマスタで Tigers 相手だそうだ。いつもの調子で sweep を食らってしまうと、4連勝の後4連敗という最悪のパターンに。明日勝ってそれだけは避けましょう。

「白い巨塔」を途中から見ている。教授選の1回目の投票が終わったところ。この後が面白いんだなー。実弾が飛び交いまくる。怪文書と選挙への辞退を頼みに行ったり。うーん、たまらん。明日から医療裁判か。これもまた面白い。まとめて見られるモードにいつ成るか？6月に大学に2度止まるが、その時かな。

「白い巨塔」5夜連続放送

水曜日は卒研ゼミ2があるのだが、学生が教育実習のためお休み。来週も。ということで今日はたっぷり寝た。

栃ノ心が今日勝てば10番で、大関復帰となるのだが、負けてしまった。無念。また明日頑張ってください。今日は横綱、大関陣総敗北という、何ともだらしない結果に。平幕の朝乃山が1敗で単独トップに立った。うむ、これは面白い。また平幕優勝かな。

で6時から野球。今日は東京ドームなので完全アウェーだが、初回ソトの2ランで先制。2回にゲレーロのソロホームランで1点かえされるも、与えた得点はそれだけ。東、三嶋、エスコバー、パットン、康晃が完璧に抑えて、打つ方は伊藤光のタイムリー、宮崎ソロホームラン、桑原ソロホームランと効果的に加点して楽勝。4連勝。Carp が勝ったので、これで首位 Carp と2位 Giants は1.5ゲーム差。いい展開です。明日も勝ちましょう。

今日から「白い巨塔」が5夜連続で放送される。財前五郎役は岡田准一。結構合ってる。明日からも楽しみ。と言っても、9時放送開始なのだが、9時は野球が終わっていない可能性大なので、録画しておいて後でまとめて見る。唐沢寿明のバージョンは原作と相当違っていたが、今回はどうなんだろうか？まあそもそも舞台が2019年で、財前五郎は最新の医学で手術するそうなので、大幅に変わっているのは当然だな。胃の噴門部の癌が転移しているのを見逃す、なんてことは今では考えられないだろうから、その辺をどうするかだな。まあ面白ければ何でもいいのだ。

Carp ついに単独首位！

火曜日は「代数学I」のため8時半起きなのだが、先週「9時で大丈夫だ！」と確信を得たため、8時半のアラームを無視して9時まで寝た。それでも何となく寝不足。すごいリアリティがある夢を見て、眠りが浅かったようだ。実在の人物が何人も出ていた。N 先生（elder）は小生に嫌がらせをする役として2度登場した。もちろん嫌がらせをするような人物でないため、夢の世界だけの話。で10時40分に間に合うように住処を出る。

職場着10時20分。お腹が痛くなってきたのでトイレへ。その後生協で本を物色。面白そうな本と買わなくてもよさそうな本を見繕っておく。

で10時40分から「代数学I」。今日は極大イデアルの存在定理と、P.I.D. について。体係数の多項式環が P.I.D. であることを示すのが主目的で、そのためにユークリッド整域を定義して、体係数の多項式ではユークリッド式の割り算が出来ることを証明。これが案外時間を食って、ちょっと講義を延長せざるを得なくなった。申し訳ない。来週は素元と既約元を定義して、P.I.D. では両者が同じ概念であることを証明する予定。

昼飯は教職員食堂で。昨日「10万円でできるかな」でこれでもかというくらい焼肉を食べていて、牛肉が無性に食いたかったので、「焼肉セット」を頼む。美味かった。前食べた時はもっと筋張った肉だった気がするが、今日は思いのほか柔らかかった。

1時から卒研ゼミ1。今日はヤコビ和とガウス和を用いた「平方剰余の相互法則」の証明と、「3乗剰余の相互法則」を述べるための一意化として「primary」という概念を導入。「3乗剰余の相互法則」を述べた辺りで時間。来週は証明を2つ与えてくれるようだ。楽しみ。昔から持っている本だが、ここまで読んだことがない。学生が勉強するためと言いながら、こっちが勉強させてもらっている。いいことです。昔足立先生が「全てのことを自力で勉強しようと思ったら無限の時間を要する」と仰っていた。こういうことは学生に勉強させて、こっちが賢くなるのが一番。ということで来週も楽しみ。

終了後パソコンの設定を少し。何でもうちの DNS サーバーが近いうち運用停止になり、新しいサーバーにつなぎ変えないといけないということ。でやったのだが、うまく出来た自信が無い。ということで Rainbow に電話して、確認してもらおうと思ったら、これが予想外に時間を食う。Giansts vs. Baystars は中止になった模様なので、返事が来るまで待つ。でしばし待ったら電話が鳴った。うまくいったのかとおもったら、「すいません、もう一度 google 検索でもしてください。その log を辿りますから。今日中には返事が出来ないかもしれません」とのこと。何でい、無駄な時間を使わされた。ということで5時45分頃個研室を発つ。給料日を過ぎているので、ATM でお金を卸す。

さて晩飯だ。「10万円でできるかな」で中華料理もこれでもかというくらい食べていたので、王将で麻婆豆腐を食べようか、と思ったんだが、面倒くさいので、大学の近くのすき家に寄る。で案の定鰻が始まっていたので、早速食べる。値段の割には美味かった。関西風の鰻は正直あまりおいしいとは思わないので、大津市内某所にある「日本一の鰻」をうたう店にはあまり行きたいと思わない。半額で関東風の柔らかい鰻が食べられるんだから、牛丼屋で十分。

帰宅して「科捜研の女」を2話見る。その後「トリニクって何の肉!?」を見て、「報道ステーション」。上に書いた通り、今日の Giants vs. Baystars は「ひたちなか」で開催だったのだが、中止。ニュースを見ると関東地方は凄い雨だったようだ。中止やむなしだな。まあ今日 Carp が勝って首位に立ったことだし、明日、明後日と援護射撃をしましょう。

大谷翔平が指に怪我したようだが大丈夫だろうか？大したことなければいいが。

月曜日はどうも調子がよくない

月曜日はどうも調子がよくない。今朝は8時半くらいに目が覚めて、もう睡眠は十分なので、起きていよう、と思ったら10時少し前に眠くなってきて、やっぱり横になる。そのまま1時過ぎまで寝続けた。うーん、だめだなー。2時から保険会社の人と会う約束になっていたので、急いでシャワーで寝癖を直してから出掛ける。ウェストウィングに着いたのが丁度2時くらい。6階に上がったら保険会社の人が待っていた。超散らかっている部屋に招じ入れたら、さすがにびっくりしていた。20分くらい説明を受けて、さて講義の準備。「数理科学特論2」の資料と、明日の「代数学I」の資料を印刷して、食事がまだだったので1階で買ったパンをコーヒーで流し込む。

で講義室へ向かっていって、「数理科学特論2」の講義を始める。今日は「第二補充法則」と「平方剰余の相互法則」の証明。前者は 2^(p－1)/2 を√2^p－1 と見るスタンダードな証明。後者はガウス和の計算をやっているうちにいつの間にか結果が出てくるというあれ。45分もあれば終わるんじゃないかと思ったが、実際は80分掛った。沢山式を書いたので疲れた。10分で Q が p 進付値で完備でない、∀p ：素数、を証明して終了。来週からしばらくヒルベルト記号の話をするが、これが難しい。何人付いてくるだろうか？

新名神の工事は今週一杯やるようで、今朝は渋滞情報は無かったが、念の為「瀬田西」で降りた。帰りは「草津田上」から乗ったが、「信楽」方面は渋滞していた。今朝も無理しなくてよかった。明日は午前中だ。寝坊しないように気をつけよう。まあ火曜日は今まで何とかなってるんで、明日も大丈夫でしょう。昔から準備しておくと無駄になる、というジンクスがあるが、明日の分は印刷してきたので、ウェストウィングに寄って講義室に向かっても間に合うくらいに起きられるでしょう。

四国、九州はひどい雨だそうだ。「10万でできるかな」を見ている最中に徳島での大雨の速報が入った。明日も降るんだろうか？自然には勝てないな。明日の Giants vs. Baystars は「ひたちなか」だから大丈夫か、と思ったら、明日の朝は関東で雨になるそうだ。中止かな？

濱口復活の完封勝利

昨晩は呑まなかったのだが、夜更かし癖が付いてしまって、遅くまで起きていた。で今日は昼過ぎに起きたんだが、眠かった。結局昨日同様もう1度寝た。

で起きたらぼちぼち相撲の時間。今日から貴景勝が再出場している。が、碧山の立会い変化に付いていけず、黒星。残念。今日は全勝の栃ノ心と鶴竜が負けるという波乱。明日からも見物だが、講義終了が4時10分なので、幕内を最初から見ることは出来ない。まあ途中からでもいいや。見損ねた分は深夜のダイジェスト版を見れば。

で相撲終了後は野球。今日は濱口が怪我からの復帰登板。前半から快調な投球。攻撃はと言うと、ロペス3ラン、石川ソロ、筒香2ランと3ホームラン、更にタイムリー1本。7－0とリード。2回から8回は濱口がパーフェクトで抑え、楽勝ムード。が、9回裏、あわやホームランの当たりを打たれるもファール。Swallows からリクエストがあるも、判定通りファールで一安心。が、その後1アウト満塁。うーん、これは2点くらい取られるかな、と思ったら、バレンティンから三振を奪い2アウト。次の川端のレフトへのライナーは守備固めで入っていた乙坂が好プレーを見せる。見事2安打完封勝ち。濱口は今期2勝目で2完封。凄い。今永が安定しているし、ここに来て東が戻ってきた。さらに濱口まで戻ってきたとなると、今度こそ上昇気流に乗ったろ、と思いたい。宮崎もソトも復調してきているようだし。期待しよう。

今日は2位 Carp が勝って、首位 Giants が負けた。これで首位は相変わらず Giants だが、ゲーム差無し。明後日からは Baystars vs. Giants。ここは Carp への援護射撃の為に3タテと行きましょう。球場はというと、1試合目が「ひたちなか」、2、3試合目が「東京ドーム」らしい。アウェーだな。まあ頑張りましょう。最低でも2勝1敗、うん。

上茶谷がプロ初勝利をあげた

ちょっと昨晩遅くまで起きていたせいか、今日は不調。昼前に起きたんだが、どことなく気分がすぐれず、食事をしてまたダウン。相撲を見られないくらいの不調だった。で野球の頃に目が覚める。いくらかましに成ったが、今日の呑みはやめよう、という感じ。で後で気付いたんだが、今日は公認サークル「数学研究会」の呑み会。教員と親睦をはかるのも一つの目的らしく、毎年招待される。今年も「行く」と言っておいたんだが、忘れていた。まあ覚えていても今日は行かなかったろうけど。後で詫びのメイルを書いておこう。

で野球を見始める。今日の先発は上茶谷。そろそろプロ初勝利をあげたい。早々と3－0とリード。が、4回裏に村上に3ランを打たれ同点。うむ、今日も駄目か、と思ったら5回表に3点を取り返しリード。その後は上茶谷がナイスピッチングで、勝利投手の権利を持って降板。7回表に猛攻を見せて、一気の5点。これで決まりか、と思ったら7回裏にエスコバーが3点取られる。昨日はナイスピッチングのエスコバーだったが、点差が開いていて油断したか。11－6の5点差。今日の点の入り方だとまだセーフティーリードではない。が、8、9回はどちらも無得点で11－6で勝利。上茶谷が7度目の先発でようやく初勝利。めでたい。カード勝ち越しと連勝は久し振り。宮崎が当たってきたし、ちょっと上昇気流に乗ったか、という感じ。明日も期待。

今日は Swallows vs. Baystars 以外はデーゲーム。結果を見ると首位 Giants と2位 Carp はどちらも勝ったようだ。ということは3位タイで並んでいた Swallows と Tigers が負けた、ということで、ちょっと2強に成りつつあるかな、という感じ。まあまだまだ先は長いし、恐怖の交流戦もあるので、これから先グソグソになることは明らか。去年は Swallows が交流戦最高勝率を上げて、下位から一気に浮上したんだった。ということでまだまだついて行きましょう。

今シーズン初鰻

今日は10時に起きた。11時頃に駅の方で野暮用があるので出掛ける。用事が終わるのは昼頃だから、昼飯を何にしようかと考えながらなか卯の前を通る時、うな丼があるのを発見。今日は鰻に決した。で用事が終了した後、早速鰻を食べにいく。まあ牛丼屋の鰻だから多くは望まないが、値段の割には美味かった。吉野家でもすき家でも近いうちに鰻が出るだろうから、楽しみである。やっぱり暑い時は鰻だ。

帰宅後は録画しておいた「夜の巷を徘徊する」と「ミラクル9」を見てから勉強。今日も引き続き位相空間を。General topology の勉強が面白い、というのはある程度経験を積まないと思わないだろう。学生の答案を見てもしっちゃかめっちゃかだし、院試の解答も滅茶苦茶。面接でも「コンパクトの定義は？」と質問しても答えられない学生ばかり。まあしゃあないわな。「代数学特論2」とタイトルが付いた講義で general topology を教えられても迷惑かもしれないが、構わずやる。そのためにはまだまだ準備が足りない。もっと勉強したる！

今日の Baystars の先発は今永。今永の試合だけは何が何でも勝たないといけない。ラッキーも手伝って3者連続2塁打で3点先制。ロペスのホームランで4－0。青木にホームランを打たれ4－1。まあ今永だ、まだ大丈夫、と思って見ていたら、今度は失策もからんで2点取られ4－3。ピッチャーはパットン、バッターは雄平、場所は神宮球場、となるとどうしてもあのシーンが思い出されてしまう。が今日はパットンがぴしゃり。最終回もひやひやながら康晃が抑えて無事勝利。借金10か。先は長いな。

今日のトピックは何と言っても「Carp単独2位に浮上！」。貯金4で首位 Giants に1差！いつかは上がってくると思っていたが、こんなに早いとは。もうこれは Carp を応援するしかない。明日も頑張れ Carp。

ロペスが1塁手としての連続守備機会無失策の記録を更新

昨日は激呑みしてきたが、久々なせいか酒の回るのが早く、いつもの3分の2くらいしか呑んでいない。ということで相撲の頃には起きることが出来た。で相撲を見始めたらショッキングな情報が。貴景勝休場…。何か最近は番付を上げた力士が故障する。稀勢の里しかり栃ノ心しかり、今度は貴景勝。うーん、来場所は早くもカド番か。辛いなー。まあ仕方ない、応援しましょう。頑張れ貴景勝。

栃ノ心は大関から陥落したが、今場所は絶好調な感じ。5日間終えて5勝と、大関復活への10勝には簡単に届きそうだ。芝田山親方によれば「いや、大関復帰どころか優勝するかも知れないですよ」とのことなので期待しよう。

今日も相撲を最後まで見て、野球は途中から。早くも1点取られていて、何やら伊藤光がベンチ裏に引っ込んでいた。打球が膝に当たったらしいが、大したことはないようで、しばらくしたら出て来た。ビシエドが三振して1回表は終了。その後中々の投げ合いで、膠着状態。神里のホームランで追い付くも、すぐに1点勝ち越される。先発の大貫7回2失点と、先発の役目は十分果たした。その後砂田が平田に1発を食らって、9回裏に佐野の内野ゴロの間に1点還したが一歩及ばずで惜しくも敗戦。無念。まあしゃあない。明日明日。今日のセ・リーグは1試合のみで、混戦を極める4チームは試合無し。どれくらい混戦かというと、1位 Giants が21勝16敗、その後 Carp、Swallows、Tigers が21勝18敗で2位に並んでいる。明日以降も目が離せない。

今日は何と言っても Baystars のロペス。一塁手としての連続守備機会無失策の記録を塗り替えた。前の記録は東京オリオンズの榎本喜八が1967年から1968年に記録した1516だったのだが、ロペスは1518までのばした。2017年8月31日から無失策を続けているそうで、去年は当然無失策。投手と捕手以外の野手がシーズン無失策を記録したのは初めてだとか。凄い。最近ロペスのバットが湿り気味だが、守備がいいので外すわけにはいかないな。まあだけどもう少し打って欲しいかな。頑張れロペス！

内田伏一「集合と位相」裳華房

今日も結局卒研2に遅刻してしまった。いや、ギリギリ間に合うはずだったのだが、信号にいつもより余計に引っかかり、職場に着く頃にお腹が痛くなってきて、若干のロスタイムがあったのだ。まあ大丈夫。来週と再来週は遅刻しない。何故なら卒研2が無いから。学生が教育実習なんでね。まだテキストは序盤で、ゼミ中はいささか退屈している。そんなこんなで退屈しのぎに学生の様子を観察していたんだが、ふと気付いた。4人とも眼鏡を掛けている。こんなこと気にしているくらいだったから、退屈しているのが伺えようというもの。突っ込みどころも少ないので、今日凄く当たり前のことを突っ込んだら、学生が「c倍すればいいだけじゃないですか」と怒られてしまった。まあそれくらい当たり前のことが出来るくらい数学が出来ているということだ。うん。

ゼミ終了後、ちょっとだけ個研室を片付けて、内田伏一「集合と位相」（裳華房）を本棚から引っ張り出して、少々眺める。そのまま「集合と位相」を住処に持って行くことにして、3時過ぎに職場を後にする。

帰宅後は相撲。が、「集合と位相」が気になって、相撲観戦に身が入らない。「集合と位相」は2年生の時に位相空間を教わった時のテキストだった。書き込みが沢山してある。講義はあまり真面目に聴いた記憶は無いんだが、3年生の時にゼミに使ったので、それでだろうと思われる。連結性はあまり勉強した記憶が無かったんだが、どうしてどうして、びっしり書き込みがしてある。大学生の時の勉強の底の浅さがわかるというもの。やっぱり講義で教えるための準備が一番勉強になるね、うん。ゼミでは少しくらい分かってなくても怒られるだけで大した害は無いが、講義に準備不足で行って嘘でも話したら信頼に関わるし、プライドがずたずたになる。やっぱり準備は大切だ。ということで猛勉強したる。

相撲を結びまで見終えてから野球。忘れていたが、今日は6時でなく5時45分試合開始だった。ということで1回が既に終わっていた。Dragons に先制されるも、ロペス2ラン、伊藤満塁、宮崎ソロと3ホームランで7点取った。いけいけドカドカ野球はあんまり好きではないんだが、まあ今は贅沢を言っている場合ではない。勝たないといかんのだ。まあ最後に神里のバントヒットと相手のエラーで1点取ったので、よしとする。8－2 で勝利。まだまだ食らいついて行きましょう。

普通は水、土、もしくは水、金と激呑みするんだが、先週はしなかった。木曜日に就職委員としての仕事があったのと、日曜日に洗濯機が届くことになっていて、水曜も土曜も呑まなかった。金曜日？呑まなかったね。まあそういうわけで、これから激呑みしてきます。じゃ！

亞（謎）

昨日書いた通り今日は早目に住処を離れようと思っていて、今朝はちゃんと9時45分くらいに住処を離れた。「京都東」インターの手前の渋滞情報を見ると、「瀬田西－信楽 工事渋滞11km」と出ている。ということで今日も「瀬田西」まで名神で。職場に近付くと「草津JCT」が見えるのだが、案の定車列が続いている。「瀬田西」で降りてよかった。

で10時40分から「代数学I」。今日は 「(x₁,…,x_n)＝1 ⇔ a₁x₁＋…＋a_nx_n＝1 と表される」を証明して、これの応用として素数が素元であることを証明したり、「Z/mZ が体である ⇔  Z/mZ が整域である ⇔ m が素数」を証明したり。更に素イデアルと極大イデアルを定義して、剰余環の言葉で言いかえるなど。が、印刷して持っていったものが途中で尽きた。うむ、今日も早かったか。コンピューターを持って行っていたので、電源を入れて続きを、でもいいんだが、「M が極大イデアル ⇒ R/M が体」の証明くらい見ないでも出来るわ、ということでアドリブでやってみて、案の定出来た。前に1回試験に出したことがあるから、こちらが証明できないでは済まない。出来てよかった。その後電源を入れて、「(X²＋1) が R[X] の極大イデアルである」など、何を例に出したか確認して板書。来週は極大イデアルの存在から始める。ツォルンの補題を使うので、難しいかな。

昼は教職員食堂で。今日は先週と違って5分も待たないで注文したものが出て来た。その後1時くらいに保健センターに行って、1時半からの診療の順番取り。が、既に5番目で、卒研1を1時間遅らしたんだが、間に合いそうに無い。その上「血液検査をしましょう」と先生が言いだして、さらにタイムロス。結局2時15分くらいまで掛ってしまった。ゼミは2時20分頃開始。今日はガウス和とヤコビ和を使って、有限体素体上の x³＋y³＝1 の解の個数を求めるなど。面白かった。やはりガウスは凄い、と再確認。

4時半から教授会。が、今日は頭30分何かの説明。あまり数学には関係なさそうな話なので、内職に励む。津田塾の太田香先生が岩澤先生の「局所類体論」の内容を講義された時の講義ノートのコピーを持っているので、それを引っ張り出して読み耽る。コピーは津田塾の知り合いに送ってもらったのだが、その封筒の表を見たら郵便番号が3桁！郵便番号が7桁に成ったのは小生が大学4年生の時だった気がするが、そうだったろうか。計算が合わないが。まあいいや。岩澤先生の本にあったギャップが結構埋められているので助かる。「数理科学特論2」に反映させて役立てよう。その後も色々な関係各所から報告事項があったりで、今日の教授会は長く、終わったら6時を過ぎていた。相撲は全く見られなかった。ダイジェストを録画するのを忘れずに。

教授会終了後直帰。草津JCTの大渋滞は相変わらずのようで、「草津JCT－甲南 工事渋滞12km」の表示。うーん、たまらん。が幸い逆方向なので、被害は無かった。ドラッグストアに寄って、薬を処方してもらう。待っている間に野球の情報を見たら、「Baystars vs. Dragons、試合前中止」とのこと。そうか、ということで、インスタントラーメン生活はやめて、ココ壱へカレーを食べに行く。昼は高カロリー飯だったので、今日は揚げ物カレーはやめて、納豆カレーにしておく。

帰ってきてしばし休息の後、位相空間の勉強。知っているようで知らないことが多い。距離空間ってユークリッド空間みたいなもんだ、と思ってたんだが、案外そうでもない。勉強に成った。

8時54分から「トリニクって何の肉？」を見る。裏番組の「マツコの知らない世界」は録画しておいた。「トリニクって何の肉？」では平成生まれが散々バカにされていた。その内平成生まれも令和生まれを「こいつら常識ないわー」と言い出すんだろうか？まあ面白ければ何でもいいので、笑わせて下さい。

明日は卒研ゼミ2。1時開始だが間に合った試が無いので、明日こそは遅れないようにしよう。明日も「瀬田西」経由だから、早目に住処を出ないといけない。寝坊注意。もう寝ようかな。

新名神集中工事により草津田上インターが大渋滞

今日は2時40分から「数理科学特論2」。昨晩は洗濯が終わるまで起きていたので、結構遅くなった。で今日は寝坊して、眼が覚めたら1時過ぎ。シャワーで寝癖を直すともう昼飯を食べる時間が無い。今日の講義資料をプリントする時間も必要。ということですっ飛んでいく。

今日の名神はすいていた。が、「草津田上」には行かず「瀬田西」で降りた。というのは、土曜日から新名神の集中工事が始まっていて、「草津JCT－信楽 渋滞10km」の表示。これは「草津JCT」から「草津田上」までのわずかな距離で動かなくなる、という恐れがある。ということで「瀬田西」で降りたわけ。あと2週間続くから、少し余裕を持って住処を出て、「瀬田西」で降りるのを忘れてはいけない。気をつけよう。

「数理科学特論2」は、Henselの補題、その応用として p 進単数が平方数であるための必要十分条件を与え、1の p－1 乗根が全て p 進整数環に含まれることを示した。でこうなるとやっぱり「平方剰余」を取り上げないわけにはいかないので、来週に掛けて「平方剰余」をやることに。今日は「平方剰余」、「ルジャンドル記号」の定義と、いわゆる「オイラーの規準」と「第1補充法則」を証明してきた。来週は「第2補充法則」と「平方剰余の相互法則」を証明して、それの応用として Q は p 進付値で完備でないことを示す予定。

講義終了後例に寄って直帰。今日は講義室のすぐ近くに車を止めたので、本当にどこにもよらずに直帰した。「草津JCT－信楽」の渋滞はどうやらひどいようで、信楽方面は大渋滞していた。「瀬田西」で降りるのを忘れないようにしよう。明日は10時40分からだ。今日より渋滞していることが十分に予想される。早いとこ寝よう。

昨晩は遅くまで起きて何をしていたかというと、位相空間の勉強をしていた。「数理科学特論2」で Q_p の位相的な性質を講義するのでそのために。一昨年まではコンパクト性しか教えていなかったんだが、profinite group もやるつもりなので、連結性も教えておかないと。連結性に関してはあまり詳しくないので、勉強をしたというわけ。今日も帰宅後相撲を見終わったら勉強の続きをした。R が連結であることの証明を読んだが、実数の連続性が効いていて、面白かった。明日の教授会の時にさらに続きをやろう。

相撲はというと、今日は横綱・大関陣は安泰。栃ノ心も逸ノ城も勝ち、まずは重畳。明日は見られないかな。まあいいや。深夜にダイジェストをやってくれるので、それを録画しておいて明後日見よう。

昨日書き忘れたのだが、Giants の坂本が開幕からの連続出塁のセ・リーグ記録を作ったそうだ。現時点では三冠王。松中（Hawks）が三冠王を取って以来かな。取って欲しいような欲しくないような。坂本が三冠王を取ってしまったら、それは Giants が優勝に近付いてしまうということだ。Giants だけは優勝して欲しくない。坂本が不調になるよう呪いを掛けておこう。

洗濯機届く

先日テレビを見ていたら、「今日はジャパネットチャレンジデー！」とかいつもの中島さんが騒いでいて、何かと思ったら、その日1日、徹底的に1商品を宣伝して、安売りする、という日。何を売り出すんだろう、と思って見ていたら、洗濯機。うむ、小生の持っているのは購入後20年経っているし、そろそろ買い換えるか、ということで、買ってしまった。今日それが到着する日になっていた。スマホのメモを見ると、何やらとんでもない時間に来ることになっていたが、それは単に何時にメモッたかが反映されているだけで、実際は常識的な時間に来るのだろう、ということで、昨日はちょっと夜更かし。

で今朝7時半頃に固定電話が鳴った。何だ、と思って起きたら、もう留守電モードに成っていた。こんな早くにジャパネットではあるまい、ということで、朝飯を食べてもう一寝入り。数時間後スマホが鳴った。「今から伺います」とのこと。2時過ぎだ。やれやれ。起きて野球を見ながらジャパネットを待つ。しばししてがたいのいい人が2人登場。お古の洗濯機を取り除いて、新品の洗濯機を置いていってくれた。わーい、わーい、ということでこれから洗濯をする。乾燥機能も付いているようなので、使ってみようかな。説明書を読むことから始めよう。あ、もうこんな時間か。近所迷惑かな。まあジャパネットの人が試運転するのを見ていたが、音が前のより大分静かなようなので、大丈夫か。いいや、やってまえ。

今日から相撲が始まっている。野球が5時近くまでやっていて、そこから相撲だから幕内の途中から観戦。大関から陥落した栃ノ心が力強い相撲を見せてくれた。10番勝てば大関復帰。まずは視界良好か。かたや新大関の貴景勝。こちらも磐石。で先場所優勝の白鵬は今場所休場で、準優勝の逸ノ城が本物か、と期待していて見ていたら、おなじみの引き技で墓穴を掘り、早くも黒星。先場所の14勝1敗はやっぱりフロックか、と言われない様、明日は頑張ってもらおう。横綱・大関陣では高安だけ不覚を取る。場所前余り稽古が出来ていなかったようだ。負け越さないといいが。

明日は2週間ぶりの月曜講義。皆大分忘れている可能性がある。いや、そもそもわかっていないのでは、という疑惑もあるが、まそれはそれ。精一杯講義しよう。

5月11日は親父殿の傘寿の誕生日で、5月12日は母の日

今日（昨日だが）は遅くまで起きていたので、昼は意地でも遅く起きる、と決めて12時まで寝た。2時からは野球なので、2時間くらい余裕がある。ということで昔の「科捜研の女」を1話見て、まだ時間があるので、前からちょっと気になっていたことをコンピューターで実験。すると、何と、解が無いはずの方程式に解がある、との答が返ってきて、焦る。すわ論文に嘘を書いてしまったかと。とりあえずメモしておいた。野球が終わったら考えよう、ということで間も無く2時、試合開始の時間。

今日は上茶谷が先発。いい加減プロ初勝利をプレゼントしてあげよう、と見ていたら、1回に1点、2回に1点と、リードを許す。そこいらでさっきメモッた奴が気に成ってしょうがないので、野球そっちのけで考え出す。うーん、うーん、とやっているうちに、解があっても問題ないことがわかった。それは主計算のための予備計算なのだが、そこで解があってもメインの方程式に解が無いことはちゃんと従う。よかった。ついでに新しく開発した規準にあてはめて、メインの方程式には解が無いことを再確認。やれやれ。

などと思っているうちに上茶谷は2失点で引っ込んでいた。その後2点取られ、4－0で負け。上茶谷今回も白星ならず。無念。

その後テレビを付けっぱなし状態で、さっきの計算を TeX 化しておく。こういうのはちゃんと記録しておかないと、いつか同じことで焦ることになるので。その後色々考えたり大貧民をコンピュータ相手にしたりして、6時。今日（昨日だが）は Giants vs. Swallows だけナイトゲームだが、そちらは見ないで、メジャーリーグの前田健太先発試合を見た。6回まで1被安打と、見事なピッチングで4勝目。素晴らしい。で Giants vs. Swallows にチャンネルを変えたら、もう終わっていた。今日（昨日だが）は3－1で Swallows の勝利。前日の雪辱を果たした。今日取り上げたいのは Swallows の石川。今日勝ってプロ入りから18年連続白星とか。39歳にしてまだまだ元気。石川のように背の小さい投手は生き残っていくのが大変だと思うが、どうしてどうして。ちなみに石川の前にプロ入りから18年連続勝ち星をあげたのは Lions の西口。どちらも息の長い投手だ。石川にはまだまだ頑張って欲しい。通算164勝目だから、名球会はちょっと厳しいかな。まあそれはそれ、これはこれで。Swallows が頑張らないと Giants を走らせてしまう。頑張れ Swallows！

でブログをあげようとして思い出した。5月11日は親父殿の傘寿の誕生日。5月12日は母の日。うーん、そうか、今年も何もしないな。まあいいや、何か欲しがる両親でもあるまい。電話くらいしろって？まあそれはそうだが、何となく照れくさいので、今年も何もせずに終わろう。

今永快投で連敗は５でストップ

今日（昨日だが）は特にやることもなく、6時から野球観戦。vs. Carp。今永、床田の防御率1位、2位の左腕の投げ合い。1点を争う試合か、と思ったら、床田が5回6失点と崩れた。今永はというと、田中広輔に2ランホームランで2失点。で結果は6－2で Baystars の勝利。連敗がようやく5でストップ。目出度い。宮崎が2ホームランと2ベースの3安打。胃腸炎から復帰のパットンが1回を3人でピシャリ。康晃も9回を3人でピシャリ。いい試合だった。ファンの間では監督の采配が色々言われているが、今日の様な試合をやっていれば誰も文句は言わないだろう。良かった良かった。

今日は Baystars vs. Carp が405チャンネル、Giants vs. Swallows が404チャンネルと言うこともあり、CM 中に Giants vs. Swallows を見ていた。とんでもない試合だった。
5回までは

Ｓ 0 2 0 3 0
Ｇ 0 0 0 5 5

こんな感じ。ここで Baystars vs. Carp が終わったので、眠いので仮眠に入る。続きは「プロ野球ニュース」で。

Ｓ 0 2 0 3 0 1 1
Ｇ 0 0 0 5 5 0

とまだわからないか、と思ったら、

Ｓ 0 2 0 3 0 1 1 0 0
Ｇ 0 0 0 5 5 0 8 1 ×

という展開に。うーん、Swallows は Giants を追いかけないといけないのに、こんな試合をしているようでは…。それにしても Giants の打線は凄いな。見ると田中俊太が打ったり山本が打ったりと、決して補強した選手だけが打っているわけではないのが凄い。うーん、走られちゃうのかな。やだな。

まあ今日は坂本（勇）の「開幕から34試合連続出塁」が全てだ。球団記録は王の33試合連続だったのを見事に塗り替えた。セ・リーグ記録は金本（Carp）の35試合だそうなので、これはすぐ。プロ野球記録はスティーブ（Lionts）の40試合とか。こちらはまだまだ。どうせならこれも破ってしまうと面白いんだが。それより高橋慶彦（Carp）の連続試合安打記録（確か33試合だったと思うが）はいつ誰が破るんだろう？1980年代に作られた記録のはずだが、未だに破られていない。いい加減これも破ってくれないと。

就職ガイダンスでちょこっと挨拶してくる

昨日書いた通り、今日は就職ガイダンスで学生にちょこっと挨拶する必要があった。でガイダンスの開始は夕方6時なので、今日は早く起きて職場に行って、有意義に過ごす、…、つもりだったのだが、住処を離れるのが嫌で、しかも昼寝もしてしまい、結局5時頃まで住処でぐずぐずしていた。職場に着いたのが5時半過ぎ。個研室に寄るには時間が半端だったので、屋外でジュースを飲んだり、生協へ行ったりして時間をつぶす。で結局ガイダンスで1，2分喋っただけで、全ての用事は終了。ガイダンスは8時過ぎまで続くそうだ。学生も大変だなー。

で小生はというと、6時10分過ぎにはガイダンスの会場を離れた。車に戻って即発車する積もりだったのだが、靴下の中に何やら異物があるようなので、車に乗ってドアを開けっ放しで靴下を脱いで、靴下をひっくり返す。異物は無くなったようなので出発、と思ってエンジンをかけたら、何やらピーピー言う。走り出したら「ギアをPに入れてください」とのメッセージが出て、「すわヴィッツハイブリッド、バグッたか？」と思ったら、半ドアだったようで、そのために車が駐車状態と判断されて、「ギアをPに入れてください」とのメッセージが出ていたようだ。やれやれ。

今日はセ・リーグは野球が無いので、外で晩飯を食べて帰ることにした。いくつか候補があったが、結局いつもの通りココ壱になった。4月に書いた通り、新十条方面への車線が変更に成っていた。で4月はそこがわからず大回りしたんだが、今日は心得ていたので、ちゃんと車線を決めて帰ってきた。途中メーターが9000kmを記録した。前に書き忘れたが、8888kmは前に記録していて、ちゃんと見た。次は9999kmと10000km。今月中には行くかな。

帰宅後は「ゴチバトル」を見るなどして無為に過ごす。結局今日も生産的なことを何もしなかったな。やっぱり Baystars が不調だとこちらも調子が出ない。「もう見ない」「もう応援しない」としばしば思うんだが、試合が始まると見てしまい応援する。日曜日から相撲が始まるようだし、2週間くらいはさらに無為に過ごしそうだな。講義の内容で修正を加えないとまずそうな場所があるのだが、そこに至るまではあと数週間ある。本当にやばくなったらやるだろう。昔からギリギリに成らないとやらない子だった。三つ子の魂100までだ。いざとなればやるでしょう。ということで今日も無為な日は更けていくのであった。

Wiles が Fermat 予想を解決して四半世紀

今日は12時過ぎまで寝てしまった。眠りが浅かったようで、大分ふらふら。電車とバスを乗り継いで、職場までは約45分。ということで急いで駆け出す。

職場着は1時ちょうどくらい。急いでゼミをやる部屋へ向かう。数分遅れで開始。今日はピタゴラス数のパラメータ表示と、「フェルマーの大定理」の n＝4 の場合。「一般の指数でももう1994年に証明されているから」と言ったら、「まだ産まれてません」と言われてびっくり。そりゃそうだ。25年前だもんな。小生もあの頃は若かった。などと思いつつゼミは終了。やれやれ。

その後1時間程インターバルがあって、会議。今日は重要な議題があったので、会議止む無し。その割には案外短く、1時間ほどで終了。住処へ取って返す。

住処着6時10分くらい。野球を途中から見る。今日の試合は実に馬鹿馬鹿しかった。初回に菅野から3球で1点とって、その後ロペスの2ランで1回終了時点で既に3－0。その後1点取られるもさらに2点取って5－1。今日はいい感じで菅野に黒星を付けられるぞ、と思って見ていたら、三嶋と国吉がぶち壊してくれた。その後石田が投げるも止められずで、一挙7失点。うーむ、相手が勝ちをあげようとミスを連発してくれているのに、わざわざ「いらない」と言って返した感じ。これで5連敗。もう知らんわ。今日ほど空しい試合観戦は無かった。

でこんな日は自棄呑みと行きたい所だが、明日は夕方から就職ガイダンスがあって、5分ほど出席しないといけない。一旦呑んだが最後、明日起きられなくなるくらい呑んでしまいそうなので、今日は控えよう。明日は負けない。試合が無いからね。この冗談はこの前使ったな。こうなったら20連敗くらいしてしまえ！精神が壊れてきた。今日の Baystars 応援板は恐いことに成ってるだろうな。覗き込んだら余計精神が壊れそうだから、今晩はスマホはいじらないことにしよう。

談話会、のち懇親会

火曜日は8時半起き。起きたが、だるくて。やっぱり休みが長過ぎたな。重たい体（物理的に重いという意味ではない）を引きずって、何とか出勤。とりあえず栄養剤を一本飲んで、気合を入れる。

で10時40分から「代数学I」。今日は剰余環を扱えるようにしよう、ということで、剰余環の定義から R[X]/(X²＋1) が C という同型であるとか示して、勘を付けさせる。その後準同型定理を紹介して証明、その後使い方。さっきの例をもう一度出して、どういう風に核が与えられたイデアルである準同型写像を見付けるかなど、色々話してくる。が、どうせ学生は聞いていない。写すのに一生懸命だからね。まあそれでもいいと思って話をしてきたんだが。その後 Z のイデアルが全て単項イデアルであることを証明して、有限個の数の最大公約数が符号を除いて決まるなどを証明したくらいで時間切れ。次週は a₁,…,a_n が互いに素であることと a₁x₁＋…＋a_nx_n＝1 と表せることが同値であることなどを証明する予定。ちょっと想像より早いな。気をつけよう。

昼飯は教職員食堂で。が、昨日までの10連休が響いているようで、カレーは品切れとのこと。カツ丼を頼んだら、「カツがいつもと違ってヒレカツになりますけどよろしいでしょうか？」とのこと。で注文して10分以上待っていても料理が出てこない。困ったもんだ。ということで卒研ゼミその1には5分遅刻。

で卒研ゼミその1だが、今日は素体上の n 次拡大体が任意の n に対して存在することの証明をまずやる。この辺になると代数をがんがん使うようになるので面白い。その後ガウス和とヤコビ和をやって、来週は有限体上の方程式の解の個数を評価するという話。あまりちゃんと勉強してこなかったので、丁度いい。数学を専門とする学科にいるメリットを使ってどんどん勉強している。楽しいし、為になる。研究の役に立つ日が来ればいいが。

ゼミ終了後は談話会。今日は外国人と日本人による英語講演という、たまらん状況。結局ほぼ何も聞かず、内職タイムにしてしまった。まあいいんだけど。終了後は数学の新スタッフの歓迎会兼懇親会。新人とは近くに座らなかったので、結局いつもの同僚との呑み会の感を呈していたが、まあいいのだ。楽しく呑めたし。2軒目は寄らずに帰ってくる。これ以上怒られるわけにはいかないんでね（謎）。それに「相席食堂」を見たかったんで。火曜日は普段は遅くとも6時半くらいには帰ってくるんで、「マツコの知らない世界」、「鶏肉って何の肉？」を録画するのが習慣化しておらず忘れてきた。せめて「相席食堂」は見たいな、ということで。面白かった。

明日は電車、バスで職場に行かないといけないので、少し早目に起きて早目に住処を出る必要がある。ということで寝る。じゃ！

東復帰も、3回8失点で4連敗 ;_;

今日の先発は、怪我から復帰の東。去年11勝しているが、そのうちの5勝は今日相手の Giants からだと。これは否が応でも期待してしまうが、期待した分失望が大きかった。坂本（勇）が2ホームランでリーグのホームランダービートップに出るなど、3回8失点。もうこうなると後はイケイケドカドカ野球をせざるを得ないので、打線が湿りがちな Baystars には多くを期待できなくなってしまう。案の定ロペス、宮崎のソロホームラン1発ずつと、完敗。10－2。明日は Baystars vs. Giants 戦だけ無いそうだ。心穏やかに1日過ごせる。また4連敗もしているが、明後日はどうにかして欲しい。このまま10連敗再びだけは勘弁してくれ。

連休は今日で終わり。木曜だけ講義のある日だったのだが、小生の担当講義は木曜日には無いので、水曜からの6連休だった。長かった。明日は午前中に講義がある。もう寝よう。生活リズムを崩しまくったから、寝られるかどうかは不明だが。まあ努力はしましょ。いきなり寝坊は出来ないので、気合を入れて起きよう。高速道路はもう渋滞しないだろうから、明日はちょっと遅く出ても大丈夫かな。いや、油断大敵。早目に住処を出発することにしよう。

甲子園でも Tigers に勝てない

今日（昨日だが）も Tigers に負けた。何故 Tigers 相手だとこんなに弱いんだろうか？去年は甲子園では勝っていたんだが、今年は甲子園でも弱い。このままだとまた大型連敗か？と心配に成ってしまう。

野球終了後暫くしてから今まで不貞寝。生活リズムを崩しまくっている。まあ連休中だからそんなことが出来るんだが。明日（今日だが）は「ふなごや」の周年記念で安くしてくれるそうなので、激呑みする予定。大型連休もそれで終わりだ。ちょっとだけ数学をした以外は基本呑みとテレビだったな。まあいいのだ。1年中こんなじゃ困るが、今回は10連休だったからね。と言ってもフルに休めたわけではないが。気持ちを切り換えていきましょう。さ、明日明日、ということでもう寝る。

高木京介1307日ぶりの勝利

昨日は酒抜きで夜更かし。寝たのは3時くらいだろうか。よく覚えていない。呑んだだろう、と言われるかもしれないが、本当に呑んでいない。週2日の原則は守っている。

で今日は起きたらもう野球の時間。集中して見る。今永、スアレスの息詰まる投手戦。6回にようやく伊藤光の初安打。そして7回にソトの四球と筒香のホームランで2点先制。結局3安打ながら2－0で勝利。今永が8回無失点。防御率は脅威の 0.98。点を取れない日は点を許さねばいいのだ。ということで久々の連勝に久々のカード勝ち越し。目出度い。借金は5まで減った。明日からは宿敵 Tigers。ハマスタでは何故か Tigers に勝てない Baystars だが、明日からは甲子園。勝ってくれるでしょう。

今日は、Giants の高木京介の1307日ぶり勝利を取り上げたい。野球賭博に関与したということで、1年間失格処分があったり、育成で再契約、1年後に支配下に復帰も、中々登板する機会すらなかったのだから、今日の2イニング無失点は立派の一言。これからの活躍も期待。但し Baystars 戦は除く。

We can get happiness, 時代は変わる

昨日は結局賑やかな店に行ってきた。静かに呑める店にはテレビが無いんで、テレビのある店を選んだというわけ。でしばし「令和」特番を見ていたんだが、しばらくしてから来た常連客が「天皇とか元号とか興味無いし」と言い始め、あげくは「皇室解体したら税金いらなくなるんちゃう？」と言い始める始末。けしからんね。「心のよりどころだから、解体するわけにはいかんのだ」と小生が意見すると、「意味わかんねー」と。こりゃ話しても始まらんわ、と思って、そこから無視。まあ考え方は色々だから、彼が何を思おうがいいんだけどね。

で12時近くに成って、カウントダウンが始まった。別の常連夫妻の子供の誕生日が5月1日とかで、「おお、それはめでたい。よし天馬（仮名）の誕生日のカウントダウンだ」ということで、店中盛り上がる。2歳らしい。誕生日が元号の初日というのはいいことだ。一生忘れない。小生の誕生日が1月8日。そう、平成初日は1月8日である。だから、平成が始まった日は一生忘れない。天馬（仮名）も一生忘れないだろう。

でカウントダウン前に数箇所カウントダウン会場を写していたが、その中にすごく平均年齢が高いところがあった。そこの映像を見て、上の「心のよりどころ」の意味を彼が少し納得してくれてよかった。とりあえず喧嘩には成らなかった。

その後もう一軒寄って、ビールをしこたま呑んできた。日本酒は呑まなかったので、記憶は残っていた。でもやはり呑み過ぎであることは間違いなく、今日は野球を見ていて辛かったので、テレビを付けっ放しで横になっていた。寝る部屋はにはテレビが無いので、リビングから流れてくる音を頼りに野球観戦というわけ。今日は快勝だったようだ。宮崎にもタイムリーが出たようで、まずは重畳。3日で2勝もした。半月勝てなかったチームとしては夢のような話だ。この調子で上がっていきましょう。