「楕円」と「惰性」について

昨日はその後大分呑んだが、寝たのは早かった。まあ眠気に耐えられなかったというのが本当の所だが。で今朝は久々の二日酔い。こんなに気持ち悪かったかな？というくらい気持ち悪かった。もう大丈夫だが、今晩は呑まない。明日はどうしようか？

5時45分から野球。今日は苦手の Swallows 戦。苦手な相手とやると運まで相手に味方するのか、先発の坂本が村上の打球を食らって、1回0/3で引っ込んでしまった。後はリリーフ総動員。三上が山田の2点タイムリーで点を取られ、シャッケルフォードがサンタナに2ランホームランを打たれた。失点はそれだけと、リリーフ陣の出来としてはいい方でしょう。問題は打線。チャンスは何度か作るが、Swallows 投手陣の前に点が取れない。結局0－4で負け。金久保は Baystars 戦2戦2勝。Swallows には0勝6敗1分と、全く勝てない。うーん。結局3、4月は6勝21敗4分と、借金15。首位の Tigers 貯金11。羨ましい限りだね。もう優勝してくれとは言わない。ただ少しでも存在感を見せておくれ。

存在感と言えば、ルーキー牧は存在感を示した。ここまで6ホームラン、22打点。凄いね。ただもったいなかったのは、あと1本ホームランを打ってれば、ルーキーの3、4月の最多ホームラン記録に並んだのだが。過去の記録保持者は村田修一（Baystars）だったのだが、Tigers の佐藤輝明は並んだ。ということでこれからは何かと佐藤輝明の名前が出ることだろう。ただ新人王争いでは牧が一歩リードという感じ。牧は .288 で22打点だが、佐藤は .245 で19打点。得点圏打率も牧は .333 だが佐藤は .259。総合点では牧が一歩リードなのは間違いない。今後とも目が離せないな。

Twitter でT大のKさんが「楕円と惰性の『だ』の字をよく間違える」というようなことを書いていた。前にM教育大のTさんも同じことを言っていた。これは理由があって、今の高校の教科書はちゃんと「楕円」と書いているんだが、小生の前後の人が使っていた教科書には「だ円」と書いてある。何とも情けない限りだが、現実なのだ。でTさんがいいことを教えてくださった。「楕」のつくりは斜めという意味があるらしく、木を斜めに切ったら切り口が楕円だから、楕円の楕の字は木偏なのだ。惰の字の偏は「心」を意味する。心が斜めになった状態だから「怠惰」。これで間違えない。その旨 Twitter に書いたら、沢山の人から「いいね」が貰えた。Tさんに感謝だな。「隋円」と書いたことがある、という人がいたが、まあそれは論外ということで。うちの入試で「増加」、「減少」が「増化」、「減小」に成っている解答が大量に出たことがあったが、これはどう説明すればいいんだろう？「滅少」というのも1件あった。「個有値」というのもよくある間違い。「線形台数」っていう書き間違いもしばしばある。こういうのはもうどうしようもないね。日本人よ、もっと漢字を書こう。「議論」を黒板に書く時に「ギロン」とする先生がいるようだが、いかんぞ。ちゃんと黒板には漢字で書こう。証明の始まりも「Proof」ではなく「証明」と書こう。

オースティン、ソトのアベックホームランで連勝

昨日は結局試合終了まで野球の再放送を見てしまった。それでも適当にはしょってくれたり、雨でコールドゲームだったおかげもあり、1時半には野球中継は終わった。そこで寝ようか、と思ったんだが、プロ野球ニュースの再放送が1時からやっている。1時半なら丁度半分終わったあたりなので、最初の半分でパ・リーグの試合の解説をしてくれたのなら、1時半なら丁度セ・リーグが始まるはず、と思ってフジテレビ1にチャンネルを合わせる。で案の定セ・リーグの試合が始まるところ。見た。Giants が勝ったのはけしからんが、まあ Baystars の勝ったのを見るのが目的なので、目的は果たした。2時過ぎに寝床に向かう。

で今朝は11時のアラームで起きたんだが、まだ眠いので寝続け、最終的に起きたのは12時54分。ゼミは12時55分からなので、ぎりぎり間に合った。今日はM1の学生のゼミ。初等的な内容を1時間ほど。もうちょっと進んでもいいかな、という感じだが、まあちゃんとやっているようだし、いいでしょう。

2時から野球なので、ゼミ終了後急いでテレビを付ける。が、西日本は結構な雨で、試合開始が1時間遅れているそうだ。焦る必要は無かった。今日で vs. Carp の3連戦3戦目。先発は Carp が床田、Baystars が濱口。今日はまずそうだな、という感じ。案の定1回裏に1点取られた。が、2回表に1点取り返す。今日は違うぞ、と思って見ていたら、4回表にソト、オースティンのアベックホームランで3点取った。いいですよ。両外国人に当たりが出れば、遅まきながらの上昇が望まれる。5回に佐野のタイムリーでもう1点。7回裏に2点取られるも、今日はそこまで。開幕投手の濱口がようやく1勝目。今日は四死球0だそうな。濱口の無四球は珍しい、と思ったら、ルーキーの年以来とか。これで12球団の開幕投手は全員勝ち星をあげたことになる。まあよかった。vs. Carp を2勝1敗と勝ち越し。ようやく6勝目。オースティン、ソトに当たりが戻ってきたし、エスコバーもナイスピッチング。戦力が揃ってきた。まだまだこれから。上げ潮でいきましょう。

野球終了後しばし数値実験。こんな等式が成り立つのか、という等式があって、それをコンピューターで確認する作業。32ビットのパソコンを使ってる頃は、UBASIC でやると決まっていたんだが、生憎今使っているのは64ビット。64ビットのいいところは SageMath が使えること。ということで SageMath で実験。ベースは Python で、Python は関数電卓で走る時代で、ちょっと慣れている、ということで、大した問題も無く実験が出来た。正しそうだ。じゃあどうやって証明するんだろう？というのが次の課題。まあ証明できなくても、金にはならない（謎）のでいいんだが。でもやっぱり証明したい。頑張ろう。

今日は珍しく家呑み。呑み屋が休んでるからね。色々呑み比べている。サントリーの「パーフェクトビール」だかそんな名前（正式名称失念）の糖質0のビールがあるが、やっぱり糖質0の味だった。わかって飲んでるからかもしれないけどね。長谷川博己がCMしている、これぞクラフトビール、みたいなのも呑んでみたが、物足りない。クラフトビールはいつもの店で呑めるが、それにくらべると癖が無く、あっさりし過ぎ。物足りなさでいっぱい。あと松たか子がCMしているキリンの「発酵レモンサワー」なるものも呑んでみた。おいしいことはおいしいが、普通のレモンサワーとどう違うか、と言われると違いがわからない。今日の飲酒は不満の多いものになった。まだだいぶ呑むものが残っているが、最後はテッパン物だけなんで、心配無い。ということでもう少し呑みます。

6時からの野球の再放送を10時からやっているので、見ている

水曜日は対面強行卒研ゼミの日。10時半に起きるつもりが、起きたら11時10分過ぎ。まあ間に合うのでいいのだが。職場着12時15分くらい。平常営業なら学内は昼飯を求める学生がうじゃうじゃいるんだが、今日は閑散としていた。それでも弁当を売っている人がいて、かわいそうなので買ってあげた。個研室で胃袋に流し込む。

12時55分からゼミ。今日は有理数である代数的整数は有理整数に限る（とは書いてないが）こと、a,b が互いに素な有理整数で ab が3乗数なら、a,b 共に3乗数であることなどを素因数分解の一意性を用いて示すことなど。応用として y²－y＝x³ の有理整数解は(x,y)＝(0,0),(0,1)に限ることなどを証明。さらにピタゴラス数のパラメータ表示と、それを用いたフェルマー予想の指数4の場合など。簡単なことばかりだが、説明が今一つなってないところが多く、しばしば突っ込みを入れた。4時10分に終了。来週は休み。

4時半から会議。割と手間取るのでは、と思っていたんだが、5時半前には終了した。今日は帰らないで金にならない仕事に目鼻を付けようと思っていたので、頑張る。大体わかった。大丈夫らしい（謎）。9時過ぎまで粘っていた。

で今日は昨日書いた通り野球を見ない日にするつもりだった。野球はインターネットで速報を見ていたんだが、今日はパカパカ点が入る。1回裏に押し出しで1点取られるも、2回表に2点、3回表に3点。こんな日に勝ち投手に成らないでどうする、先発の京山。5回途中で引っ込んで勝ち投手の権利は無くなってしまった。その後7回表に4点、8回表に4点と、昨日の憂さ晴らしのような試合。18安打で13点。そんなに打たなくていいから。これで明日はまた手も無くひねられるんだろう。まあ明日も信頼して応援はしますが。勝ち投手は2番手の平田で、プロ2勝目。平田が勝ち投手に成ったのは嬉しい。同点の場面で平田がリリーフで出るたびに、その次の攻撃で「平田を勝ち投手にしておくれ」と願うんだが、叶ったためしが無かった。京山は勝てなかったが、まあよかった。

晩飯を草津で済ませて、10時過ぎに帰宅。テレビを付けたら野球がやっているではないか。6時からの試合の再放送を10時からやっているようだ。プロ野球ニュースを見るつもりだったのだが、予定変更して野球を見ている。3時間を超える試合だったはずだから、最後まで見てはいけないな。明日は12時55分からゼミ（オンライン）なので、程々に寝て12時半くらいには起きないと。まあ大丈夫でしょう。

アメリカでは、ワクチンを接種した人はマスクをしなくていいそうだ。ワクチン接種は嫌だけどマスクも嫌だ、という人が「俺はワクチン接種した」と嘘ついてマスクをしなかったらどうするんだろう？そんなに悪い人はいないか。いやいるだろう。うーん。まあいいや。

大谷が勝ち投手に

火曜日は「線形代数学」。10時半に起きる必要が無くなったので、夜更かししてしまった。寝たのは3時過ぎ。でも結局10時半に目が覚めた。でもやっぱり寝不足で、もう一度横に成る。最終的に起きたのは12時半くらい。Uber Eats にマクドナルドのハンバーガーを頼む。順調なら12時45分くらいには来るので、間に合うはず、と思ったのだが、ブツが来たのは12時53分。まあ遅れてくる学生が結構いるので、5分遅れで開始することを言っておいて、ハンバーグを口に放り込む。でポテトが残っていたんだが、もう1時なので、仕方なく始める。顔を写さなければ、講義の最中に食べても大丈夫ということで。

で今日はまず二つの有限次元ベクトル空間が同型であることと次元が等しいことが同値であることを証明。で「これがすらすら出来なかったら線形代数を勉強したとは言えない」と言っておく。実際その通りなのでね。その後、部分空間の次元は親玉の空間の次元以下で、次元が等しいことと部分空間と親玉が一致していることが同値など。これもすらすら出来て欲しい所だが、あまり過剰な期待をしてはいけないと思い、今回はさっきのセリフを言わないでおいた。次は表現行列。表現行列を求める作業は1回生の時にやっているはずなので、例はほどほどにしておく。で線形写像が同型写像であることと表現行列が正則であることが同値であることなど証明。そこで終わりにしようか、と思ったんだが、講義の時間があと20分以上ある。終わりにするのはもうしわけない気がしたので、もうちょっと。n 次元ベクトル空間から m 次元ベクトル空間への線形写像の成すベクトル空間は mn 次元であることを証明したら、残り5分くらいに成った。来週は写像の和の表現行列が表現行列の和に対応していることなどを証明し、線形写像の全体が m×n 行列の成すベクトル空間と同型であることなどを証明する予定。さらに双対空間など。うーん、進み過ぎだな。ゆっくりやるよう努力するか、はたまた内容を増やすか。双対をやるだけやって、再双対空間が元の空間と標準的に同型であることを示して無いようだから、それでも加えるか。いや、ちょっと難しいかな。まあもう十分難しいんだけど。もうちょっと考えよう。

講義終了後もう一度横に成る。やはり寝不足はよくない。今日は早寝しよう。

6時頃に目が覚めた。野球を見る。が、今日も起きない方がよかった展開。3回裏にまとめて7点取られた。…。その後佐野のホームランで1点返すのがやっとで、さらに3点取られ、1－10と一方的な負け。先発全員安打も許してしまう。早くも20敗。うーん。明日は職場に行く日で、会議もあるから、最初から野球を見ることは出来なさそう。ということで明日は久々に野球を見ない日にしようか、という気がしてきた。金にならない仕事を少し職場でしてくるか。

Baystars の試合が終わった後、ネットで Dragons vs. Tigers を観戦。Tigers のルーキー佐藤輝明が7号ホームランを打ったとか。ルーキーが4月末までに打ったホームランの記録は、村田修一の7本だったそうだ。佐藤が並んだわけだ。牧は6本打ってるから、牧にも並ぶチャンスはある。が、最近牧は不調で、4割あった打率は今日で3割を切ってしまった。頑張れ牧。佐藤に負けるな。で Dragons の大野雄大が今シーズン初勝利。開幕投手で勝ってないのは濱口くらいだろうか？頑張って欲しい。

その後 Swallows vs. Giants へ。途中経過を見ていたら8－8で同点だったのだが、Giants が9回表にまとめて6点取って、勝負あったか、という感があり、不愉快なので見るのをやめた。でさっき見てみたら、なんと最終スコアは11－14。今日は村上と山田が揃って9号ホームランを打って、セ・リーグトップを並走していたんだが、9回裏に村上がもう1本打ったらしく、村上が10号1番乗り。凄い。さらに塩見のタイムリーでもう1点とったようだ。うむ、9回表の梶谷の3ランが無ければ Swallows が勝っていたな。今シーズンの Swallows はしぶとい。今日終わっても貯金がまだ4ある。まあ Baystars に3タテを食らわせたので、そのおかげということもあるが。Tigers でも Swallows でもどっちでもいいので、Giants の優勝を阻止しておくれ。Baystars には高望みしません。両チームには頑張って欲しい。Carp にもね。Dragons？唯一手が届きそうなチームなので、Dragons はがんがん負けてください。何しろ借金持ちは Dragons（借金5）と Baystars（借金16）だけなのでね。二チームで仲良く最下位争いしませう。

まあ今日は日本の野球より、大リーグの方がニュースだった。大谷が勝ったそうだ。1回表にいきなり4点取られたそうだが、その後立ち直り5回4失点9奪三振。打っても2安打2打点3得点。立ち上がりが悪いのはいつものことだが、そこさえ修正できれば、もっと楽に勝てるだろう。今後に期待。

「代数学I」も「数理科学特論2」もマシンガントーク

月曜日は10時45分から講義がある。で8時半起きにしていたんだが、オンライン講義だからシャワーを浴びて寝癖を直す必要が無いので1時間遅く起きることにして、アラームのセットのし直し。が、8時半に目が覚めてしまった。意味無い。まあいいや、ということで起きて、この前録画した2時間ものを見て、10時30分過ぎ。丁度いい。10時35分くらいに Zoom を立ち上げて、学生がなだれ込んでくるのを待つ。

10時50分に講義開始。ちゃんと45分に「もうちょい待ってな」と言っておいたから問題無し。月曜日の午前は「代数学I」。今日はイデアルとか剰余環とか。難しい所なので丁寧にやりたいところだが、どうしてもマシンガントークに成ってしまう。元々が早口でせっかちな性格だから仕方ない所。まあいつもの通り例を沢山出して、証明は丁寧に書いてあるから、後で読めばいいでしょう、ということで気にしないことにする。コンピューターに向かって喋るというのは実にしんどい。You Tuber 達はよくこんなことしてるもんだと思う。チャンネル登録者が多い人はまだしも、ほとんど見ている人のいない You Tube チャンネルを開いている人は何を考えてやっているんだろうか？疑問だ。12時10分のちょい前に終了。

Uber Eats に昼飯を頼んで食べて、12時55分から院生向けの「数理科学特論2」。今日は p 進体を Q の p 進付値に関する完備化として定義して、p 進整数環を付値環として定義。これがちゃんとローラン級数の体と冪級数の環であることを証明して。でここが1回かからず済んでしまうとは思わなかった。黒板の前で書き書きしゃべれば丁度1回くらいだったのだが。やはりこちらもマシンガントークだからかな。まあ整数論をやっている学生は二人しかいないので、いいことにする。ちょっと早めに2時10分くらいで終了。

月曜日はまだ終わらない。2時40分からM2の学生のゼミ。今日で Fermat の最終定理の話は終わりで、再来週からイデアル類群にガロア群を作用させて、直和に分解して、という話。難しくなってきた。その後類数1の円分体の章があるが、そこをきちんと読んでもらうかどうか。彼には類数1の虚二次体の決定の話を勉強してもらったので、円分体も勉強してもらおうか？類数の小さい円分体の決定問題を勉強してもらってもいいし、類数1の虚アーベル体の決定（by Yamamura）を勉強してもらうのもいい。まあ先のことは後で考えればいいんで、とりあえず本を読んでもらおう。4時20分くらいに終了。

その後講義ノートに散在していたミスプリを直し、ウェブに今日の分を上げて、今日の業務は終了。月曜日は長いぞ。

その後テレビのニュースを流しておいて、コンピュータいじりを少々。7時くらいに晩飯を食べることにして、一旦お休み。ついでにこの前録画しておいた「あなたには渡さない」とうドラマの3話、4話を見た。木村佳乃ってこんなにガリガリだったろうか？というくらい痩せている。どっか悪いんだと無ければいいが。水野美紀のガタイの良さが際立ってしまう。しかし水野美紀は嫌な顔に成ってきたねー。何か嫌味な役をやらせるとぴったりという感じ。あと荻野目慶子。怪演。アイドルまっしぐらの妹と違って、女優まっしぐらだった。私生活でも色々あったようで、その苦労がにじみ出ている。続きが楽しみだ。今週は放送が無いようだから、来週忘れないようにしないと。

今「報道ステーション」を流しているが、河野太郎が新型コロナウィルスのワクチンについて語っている。割合はっきりと言う人で、とても総理大臣と同じ党の人とは思えない。悪かったことは悪かったと言い、いつまでにどうする、ということも言ってくれた。この人が総理大臣だったらどうだったろうか？ということを思ってしまった。河野太郎がどういう御仁であってももちろん自民党の肩を持つつもりは無いので、つぎの選挙では遠慮なく落としに掛かる。覚悟しておき。

選挙で与党が全敗

昨晩も結局遅くまで起きていた。深夜の2時半から「バックアロウ」というアニメがやっていて、それを毎週流して作業をしていたんだが、だんだん続きが気になるようになってきて、ここ数週間、毎回見ている。結構面白い。28日に DVD, Bru-lay を発売するそうだが、最初の方が気になるので買ってしまおうかと思案中。前に「バイオレットエヴァーガーデン」というアニメがやっていた時に、途中から気になりだして最初の方が見たいぞ、と Bru-lay を買ってしまったが、まだ見ていない。相棒も半沢直樹もまだ見ていないし、見ていないものが沢山ある。録画したまま見てない番組も沢山あるし、買おうか買うまいか。もう少し考えよう。

で2時過ぎまで寝ていて、もう野球が始まっていた。2点取られている。佐藤輝明に2ランホームランを打たれたらしい。その後逆転して逆転されて逆転して逆転されて、ということで5－7で負けた。今日みたいな試合は勝たないと。砂田も平田もそろそろ疲れてきたか。これで借金は15。うーん。

その後しばし不貞寝。起きてから「ポツンと一軒家」を見て、その後「サンデーステーション」。コロナのニュースや選挙のニュースなどをやっていた。選挙は与党が全敗とか。いいですね。自民党・公明党のやり方に腹を立てている人が多いということだろう。そろそろ衆議院解散だろうか？今解散するとコロナの対策より選挙を優先されそうで嫌なのだが、このままカス内閣を続けていてもコロナの対策が進展するとも思えないしな。難しい所。まあ小生が考えても仕方ないので、考えないことにしよう。

緊急事態宣言前最後の呑み

昨晩は夜更かししてしまった。呑んだわけではない。Baystars が勝ったから祝杯、と行きたいところだったのだが、気分のいい時に金にならない仕事を進めておかないと、と思って、少し進めた。それで遅くなったというわけ。

で目が覚めたら既に2時を回っているではないか。いかん、野球だ、ということで起きて即テレビを付ける。が、今日の試合は見ない方がよかった。1回裏にいきなり6点を取られる、という嫌な展開。不愉快なので、テレビを付けっ放しにして、もう一度横に成る。薄れゆく意識に聞こえてくるのは、Tigers がバカバカ点を取る音声ばかり。6回までに13も取られた。うーん。打つ方は1点取るのがやっと。まあ幸い、新助っ人のシャッケルフォードがいい投球をしたようだ。パットンの後釜が務まるかな？結局1－13と大敗。まあいいです。明日明日。

今日（昨日だが）もし Giants が勝って Tigers が負けていたら首位交代だったのだが、幸い Giants は Carp に負けた。そして Tigers が Baystars に勝ったので、ゲーム差は再び2。まあ重畳でしょう。明日（今日だが）は Baystars に勝ってもらおう。幸い Giants の結果がどうでも首位交代は起きないので。というわけでそろそろ寝て、明日（今日だが）のゲームに備えるとしよう。

野球終了後呑みに。緊急事態宣言はまだ発動されていないし、どうせ空いてるからいいでしょう、といういつもの通りの理由で。緊急事態宣言が発動されると、酒を出す店は休業するか、酒を出さず夜の8時まで営業、ということになるが、いつもの店は閉めるそうだ。ということで来週からしばらく酒は呑みたくなったら家呑みということになる。まあ何度も書いてる通りアル中じゃないんで、そんなにしょっちゅうは呑まない。木曜まで仕事があるので、呑むとしたら木曜の晩か金曜日の晩か土曜日の晩。日の高いうちは呑まない方針。まあ明るくなるまで呑む可能性はあるわけだが。5月の GW 期間は仕事が無いので、毎日呑んでも構わないんだが、幸いというか生憎というか小生胃腸が弱い。呑んだ次の日は大抵腹の調子がよくないので、連日呑みはしないことにしている。久々に日本酒かウィスキーでも呑もうか、という気がしないでもないが、どっちも買っておくとへべれけになるまで呑みそうだし、連日呑みをしそうなので、ビールと酎ハイくらいにしておこう。

呑んでる最中にスマホをいじって仕入れたのだが、田中将大（いわゆるマー君）が勝ったそうだ。これで日本で100勝とか。凄いね。Eagles だけで100勝したのは田中が初とか。岩隈が100勝以上しているが、大半は大阪近鉄 Buffaloes 時代に稼いだもの。ということで Eagles の大エースと言ったら間違いなく田中のことに成る。もっと勝って、Hawks の牙城を揺るがして欲しいもんだ。