今日から秋学期開始。木曜日は1時からの初等整数論のゼミだけで、10時半か11時に起きて、シャワーを浴びて、職場で弁当を買って掻っ込んで、のつもりが、7時台に目が覚めてしまった。まあ眠くないしいいか、ということでそのまま起きて、先週の「座王」を見たり。でマンションの管理人さんに提出しないといけない書類があったので書いて、提出して、10時半くらいに住処を発つ。すぐアラームが鳴り出した。走っているうちにも何度か。
で時間があるので、うな松で名物一本鰻を食べることにした。今日はおまけに肝焼きも付いていて、で JAF の会員証を見せると100円引きなので、2800円を PayPay で払ってきた。
個研室に12時前に着いた。ちょっと急がないといけない仕事があったのを思い出して作文。それからちょっとメモしておかないといけないことがあったのを思い出して、書類を探して、スマホに入力。などとしてるうちに1時。
春学期はルジャンドル記号を定義して、(ab/p)＝(a/p)(b/p) とかオイラーの規準を示して終わりに成ったので、今日は二つの補充法則と相互法則の主張を書くことから。p を4で割った余りや8で割った余りを見ればよいという主張に成ってて、その後 (p－1)/2 等を－1の肩に乗っける主張が書いてあるので、例題の計算はし易かったようで、スラスラ進む。で一つ嬉しかったことがあった。例題に (－5/p) を決定するものがあって、当然 mod 20 で分類されるわけだが、その後の問題に (5/p) を決定するものがある。今までは皆一様に (5/p)＝(－(－5)/p)＝(－1/p)(－5/p) とやって mod 20 でやろうとするのだが、今日の学生は一発目に相互法則を使って、(5/p)＝(p/5) とやってから前にやった (1/5)＝(4/5)＝1、(2/5)＝(3/5)＝－1 に帰着させた。「素晴らしい」と言ってから色々言ったんだが、発表してる学生は何を言われてるのか分からずキョトンとしていて、暫く経つと「もしかして褒められてます？」と気付いたようだ。嬉しそうだった。その後面倒な計算をウダウダやっていたが、一生懸命やってるし、もっと上手くやるには色々知らないといけないんから、まあそのままやってもらった。ちょっといい気分に成れてよかった。3時45分頃終了。
その後個研室で線形代数の作戦練りを少々。一昨日は集合のことを一生懸命準備して、肝心のベクトル空間や部分空間の部分をロクに読んでなかったので、読んでみる。難しいな。学生分かるんでしょうか？数ベクトル空間だけやればいい、と主張する先生が前にいたが、小生としては体の拡大をやる時に困るし、関数の空間に内積を入れて云々ということをやっておかないと、フーリエ級数とかやる時に困るだろし、数ベクトル空間には限定出来ない。ということで一生懸命。
休憩して野球の様子をちょっと見たら、早くも3点取られてる。ケイ！少し経ってから見たら、また3点取られてる。もう。で時々覗いたが4点取り返したぞ、と喜んでたら、上茶谷が一発食らったようで、その後見ると森唯斗に変わっていたが、満塁のピンチ。あかんな。と色々やって改めて見たら、12点も取られてた。で大敗で、遂に優勝の可能性が無くなってしまった。むう。まあ Carp も酷いので、4位とのゲーム差は縮まらなくてよかった。Carp 最大で貯金が14あったそうだが、今月4勝18敗、4連敗4度、と信じられないような成績で遂に借金持ちとか。球団の月間ワーストは19敗だそうだが、今月の残り3試合、どうにかしないと。まあ Baystars が3位に成れるからいいけど。
Fighters が CS 進出決定。ここに来て清宮が当たってきている。同い年の村上の活躍で、「清宮世代」が「村上世代」と言われるように成ってしまったが、負けてるわけにはいかないだろう。村上もここのところ好調。ホームラン王は30本未満か？などと言われていたが、ここのところ量産で33本に。オースティンが村上に1本差、とか言ってたが、オースティンは24本。差が付いちゃったね。まあオースティンは規定打席に届いて打率2位。得点圏打率は断トツの1位（.393）。これくらいはやれる選手です。怪我さえ無ければね。来年度はフルシーズン暴れてもらおう。本人が契約してくれれば、だが。
大谷が59盗塁でイチローの年間盗塁数に並んだらしい。春先はホームランは打つけどチャンスに弱い、と言われていたが、優勝を間近にした最近は得点圏打率9割と、とんでもないことに成ってる。やはり目標があると違うな。明日にもドジャースは優勝だそうだ。エンゼルスには悪いが、移籍してよかったね。
えーと、職場でどこまでやったか書かなかったが、大体線形代数に目鼻を付けて、報告集書きをちょっとやることにして計算。何だか綺麗に次から次とキャンセルしてって、最後に20が残った時に、え？と思ったが、それはそうで、結果は 8000＝203 に成る（これは事前に分かっていた）ので、当然だったか。前にコンピューターに計算させて 8000 が出てきた時は特に感激しなかったが、たまに手計算でやるといいな。まあまだ完全に状況を把握できたわけではないので、もうちょっと計算しないといけないが。9時を過ぎていたので、もう帰ることにした。
今日はココ壱番屋に寄って牡蠣フライカレーを、のつもりだったが、大分遠回りをしないといけないので、やめた。暑くなくなってきたし、ちゃんぽん亭だな、ということにした。が、暑くないとは言っても25度くらいはあったようだから、まだちょっと早かったな。で入った時はガラガラだったのだが、出る時は入り口に食券を買う人が沢山いた。見ると団体二組のようだ。こんな時間に団体でラーメンか。物好きもいたもんだ、と思ったが、呑んだ帰りかな。小生も山科駅近くで呑んだ後、数名でタクシーで五条通より南にある「ラーメン天」に行ったことがあるから、人のことは言えない。呑んだ後の拉麺は旨いのだ。
明日は Baystars は試合が無いようだ。ホッとしていられる。Carp の相手を見たら Tigers。Carp には悪いが、Giants には優勝して欲しくない。明日も負けろ。が、土曜日の Carp の相手は Giants。明日負けて明後日勝つ、というのが理想だな。日曜日は Baystars と Tigers。Tigers 応援しちゃおうかな。
