水曜の深夜に下らんアニメがやっているのだが、何か面白くてつい見てしまう。昨日はそれだけ見て寝た。1時半くらい。しばし寝床でうだうだとやっていたが、2時くらいには寝入ったと思う。で12時半のアラームで起きた。10時間も寝ればもういいかと思うが、ちょっと眠い。まあ運転中に眠くなることはなかろうということで、1時過ぎに出発。
昼飯ははま寿司にしようと向かう。中トロがあったが、2枚重ねのやつがこの前あったので、スキップして2枚乗ったやつが案の定あったので頼む。が、その後で大トロがあるのを見付けてしまった。何だ、中トロ頼むんじゃなかった。まあ大トロも食べたけど。で何やかやといつもより多く食べてしまった。まあいいです。その後銀行に寄って、連休中の軍資金を卸しておこうと向かうが、駐車場が満車。狭い路地に路駐している車が一台いたが、銀行の駐車場が一杯だからだろうか？そこに更に停める勇気は無いので、ちょっと走って体制を立て直そう、と思ったら、結構狭い路地で、カーナビの画面を見ると結構行き止まりの所が多い。ちょっと広そうな所があったので、そこを使って向きを変えよう、と思ってやるが、ゴツン、という音がした。久し振りにぶつけてしまったか？前の車は一度もぶつけず乗り換えたし、今の車も無傷のままだったが。車検の時にトヨタの人が「傷ありませんね」と感心していたが。で何とか銀行まで戻ったが、相変わらず駐車場は満車のまま。どうすべ？と思って考えていると、一台出そうな車がいたので、待って停める。お金を卸した後車の傷を見たが、大したことなかった。これくらいの傷ならいいです。
で職場に着いたのは2時半過ぎ。「数理科学セミナー」は2時55分からだから、個研室に戻るのは半端だし、教室が前の時間使ってるかどうか確認してないので、栄養ドリンクを買って食堂の隅で時間潰し。
で2時50分過ぎに教室へ向かう。55分開始。今日はユークリッドの互除法の残りから。割り算の回数が小さい数の桁数の7倍で済む、という証明をしたので、5倍で済むよ、とコメントしたら、何とその証明を調べてきてた。書いてないことはしなくてもいい、という方針でいかないと、これから先大変だよ。後ろの方を見たら素数定理の主張が出ていたが、証明してこないよね、流石に、と思うが。ゼミのテキストにカタラン予想（ミハイレスクの定理）の主張が出てて、学生が「調べたけど分かりませんでした」と言ってた。当然。学部生だと難しい数学とはいかなものか知らないだろうから仕方ない。で最初の学生は留学生だったが、二人目は日本人。当然だが日本語で流暢に説明して、こっちのコメントもすぐ理解してくれるので楽だ。で残り10分くらいに成ったので、やめようと思ったら、ソフィー・ジェルマンによるフェルマー予想に関する定理の証明をする、と先週言ってた学生がいたので、やらせるも、10分で終わるの？と思ったら当然終わらず。中途半端に成るくらいなら最初からやらなきゃいいものを。次のコマはゼミなので、延長は出来ないから、来週一からやって、ということにして終了。帰ろうとしたら一人学生が話し掛けてきた。頼まれていたことがあったのを忘れていた。「後でやっておく」と言っておいた。
でゼミだが、二人中一人が調子が悪くて欠席。でもう一人の学生が色々準備不足で困った。「Prove or disprove the following statements」という文章を見ないで、成り立たないかも、ということを証明しようとしたり、ガロア理論の理解が危うかったり、自明じゃないことを何もコメントせずスルーしようとしたり。3時間以上やって殆ど進まなかった。まあ一人いないのでいいでしょう。疲れた。
「数理科学セミナー」の間はちょっと眠かったが、その後のゼミ中はそうでもなかった。っよく知っていることをよく知っている通りにやられると眠くなるのはむべなるかな。ということで学生から頼まれていたことを済ませてから、明日の講義でやることをちょっと眺めた。イデアルで割る話が出てくるから難しくなるだろう。が、初等整数論も剰余環を使った方が分かりやすいし、体の拡大は1変数多項式環の剰余環無しでは出来ないので、ちゃんとやっておかないと。で何だかんだと9時半までやっていた。野球の様子を見ると、作業前に見た時は2点リードしていたが、4点リードに変わっていた。ですき家で回復の為カルビ丼に大蒜が乗った奴を頼んで食べて、でスマホをちらっと見たら野球は終わっていた。篠木が初勝利だそうだ。あまり期待していなかったがよかった。プロ初勝利で、今日はご両親が観戦に来ていたそうだ。やるね。
で住処に着いて「報道ステーション」のスポーツニュースを見ていたが、Tigers はまたしても Swallows に勝った。でびっくりしたのが、佐藤輝明がいつの間にかホームランダービーのトップに並んだそうだ。暫くホームランが出なくて、「おはよう朝日です」で大丈夫かと言っていたが、福留曰く「全然問題無いです」。でその通りになってきた。現在打率・打点・ホームラン全てでトップで、所謂「三冠王」。凄いな。まあ Swallows を叩いておいてくれたのはありがたい。Baystars は明日から Swallows と3連戦。開幕カードで3タテ食らってから一度も勝てておらず、5連敗中。一つは勝たないと。いや、そんな遠慮せず、3タテしましょう。今日の勝ちで5割に成った。4月は勝ち越したそうだ。勢い付くといいが。Swallows の次の対戦相手は Carp。対照的に Carp には今シーズン勝ちっ放し。明日から6連勝と行きましょう。そうすれば一気に上位だ。期待する。しかし土曜も日曜もナイターなのは何故なんだろう？神宮でやる時は不思議とナイターが多い。大学野球か何かの関係だろうか？知らんけど。
