2021年5月31日月曜日

どの講義も予習が尽きてきた

昨日も引き続き低調で、更新する気がわかなかった。今日まで持ち越してはまずいので、早目に寝た。でアラームをしょっちゅう鳴らすようにしておいたので、寝坊することもなく起きた。

月曜日は10時45分から「代数学I」。今日は Eisensterin の既約性判定を証明して、Q 上には任意次数の既約多項式が存在することや、p 分多項式が Q 上既約であることなどを証明。その後商体や局所化の話。もうそろそろ貯金が尽きつつある。どうしよう?

昼飯を掻っ込んで、12時55分から大学院生向き「数理科学特論2」。有理数体の非自明な付値はいずれかの p 進付値か通常の絶対値と同値であることをまず証明。その後 p 進体の付値が有限次拡大体に unique に拡張出来て、しかも完備であることを証明。前にも書いたが、どの本を見ても同じ証明が書いてあって、どれも正しく証明しているとは思えない証明ばかり。ということで学生の修論をヒントに直した。これにはずいぶん時間を掛けたので、自信を持って講義することが出来た。次週は p 進付値が代数的閉包まで延長出来て、完備でないことを証明した後、代数的閉包の完備化が代数的閉体であることなどを証明する予定。が、早過ぎで困る。もう講義する内容が尽きてきた。2年前にやった時は射影極限をやったので、それを蒸し返してやるしかないかなという感じ。どの講義も進みが良すぎて困っている。明日から全講義フルで予習体制に入らないとまずそう。うーん、応えるな。野球だけは見たいんで、その時間だけはテレビを見よう。

明日から6月。金にならない仕事は4月に引き受けて、2か月で片を付ける、と約束してしまったので、そろそろデッドライン。まあ筋はわかったし、定理を一つ modulo すれば OK だということがわかったので、役割は果たせたかと。明日にでも終わりにしよう。

山梨県の小菅村というところでは、27歳でコロナのワクチン接種を行った人がいるとか。すごいな。10000人/日を目指すと国は言っているが、とても無理だろうと思っていた。が、何だかニュースを見ているとうまくいきそうな気がしてきた。うまくいくに越したことはないんで、応援しよう。

2021年5月29日土曜日

低調な1日

昨晩も遅くまで起きていたが、数学は捗らなかった。無駄に起きていた感じ。起きてからも眠くて、全然集中出来ない。やはり大事なのは早寝だな。

で野球にも集中できない。今日は Baystars が濱口、Eagles が田中将大(いわゆるマー君)。中々点が入らない。6回にオースティンのソロホームランで先制も、7回に代打横尾のタイムリーで追い付かれる。で最終的には引き分け。そんな展開だから、見ていても面白くないし、集中出来なかった。最終回のノーアウト満塁のチャンスを活かせなかったから、もう疲れた。その後ももう一度横に成ったりと、低調な1日だった。まあ週末はいつもそんな感じだが。緊急事態宣言下で呑みに出るわけにもいかないし。最近人と話して無いな。このままぼけ老人へ一直線だろうか?いかんいかん。まだあと12年は勤めないといけないんだ。何とか明日には持ち直せるように頑張ろう。

昨日 Carp の栗林が開幕から19試合連続無失点、と書いたが、Lions の平良海馬はもっと上を言って、開幕から26試合連続無失点のパ・リーグタイ記録。因みに記録を持っていたのは Hawks の岡島秀樹。言わずと知れたメジャーリーガー。凄いな。Baystras の平良は怪我勝ちで最近一軍で放ってないが、Lions の平良は凄い。引き続き記録を伸ばしてもらおう。

2021年5月28日金曜日

佐藤輝明(Tigers)1試合3発!

銀行の人は約束通り10時ちょうどに来た。9時40分には起きていたので、まあよかった。でその後起きていようかと思ったんだが、昨日徹夜した影響が残っていて、眠くて仕方なかった。それでダウンしたが、次に起きたのは2時過ぎ。ぎゃっ!図書館に行って本を借りるつもりだったので、急いで職場へ向かう。お目当ての本はすぐ見付かった。で昨日謎だった部分が出ているはず、と思って目を皿にしてその本を見たのだが、出ていなかった。じゃあ一体何の本に出ていたんだろうか?仕方ないので、自分のノートを見ながら考えてみた。一つ謎は解けたが、もう一つ謎があり、そこが皆目わからない。火曜日までにやればいいので、もう少し時間がある。考えてみよう。個研室の本棚を見たら、探していた本があった。いくら住処を探しても出てこないわけだ。生協で前に買ったことのある本をまた買ったりと、蔵書の整理が出来ていない。まあいいんだけどね。5時過ぎに職場を後にする。

6時から野球。今日から Eagles。パ・リーグの主催試合なので、DH制採用。でDHはソトで、1塁は山下と、いつもと違う布陣。初回不安定な涌井を攻めて2点先制。いい滑り出しかと思ったら、2回に1点、4回に3点とまとめて取られ逆転を許す。スクイズでの失点はダメージでかいぞ、と思ったら、6回にまさか大和が3ランホームランを打って、逆転。その後取られて取ってで7-6の勝利。1点取られた直後に牧にホームランが出て、効果的だった。牧が調子を取り戻してきているようでよかった。

が、今日のルーキーはというと、Tigers の佐藤輝明。何と1試合3ホームラン。セ・リーグのルーキーでは長嶋茂雄以来とか。うーん、インパクト強いね。Carp のルーキー栗林もデビューから19試合連続無失点と、インパクトあるが、やっぱり1試合3ホームランはインパクト強過ぎるな。このまま行くと新人王は佐藤で決まり、と成ってしまうが、まあいずれ打てない時が来るでしょう。そこを凌げるかどうか、真価が問われるところ。まあ何にしても残りのシーズンも目が離せない。

もう1冊ジョルダン標準形を扱った本があることに気付いたが、例によって住処から見付からない。職場には無かったはずだし、いま図書館の蔵書を調べたら無い様子。頑張って探すか、それともノートの解読に取り組むか。まあもう少し考えよう。

2021年5月27日木曜日

徹夜で線形代数学の講義準備

昨晩は引き続きハイテンションだった。講義の支度がどんどんはかどる。具体例を Maple の助けを借りながら計算したりと、4時を過ぎても引き続き講義の準備。まあ木曜日は M1 の学生とゼミだけで、そのゼミも比較的早めに終わることが多いから、徹夜したれ、ということにした。で引き続き線形代数学の準備。最小多項式の求め方、というのが昔の講義ノートにあって、そこは1回生の時に数学III, IV(線形代数)を教えた先生が使ったテキストに出ているのだろう、と甘く構えていたら、その本には出ていない。うむ、ということはあの本か?と見当がついたのだが、その本が見付からない。図書館の蔵書にあることが分かったので、明日にでも借りに行くことにして、そこは一旦スキップ。そんなこんなしているうちに10時を過ぎていた。でメールを見たら、今日のゼミは休みにして欲しい、とのメールが来ていた。何だ、無理して起きてる必要無かったな。まあいいや、ということで続き。昼飯を Uber Eats に頼んで、さらにもう少し。1時過ぎに眠気が襲ってきたので、一旦寝ることにする。

でそのまま7時過ぎまで寝てしまった。急いで野球にチャンネルを合わせる。7-6 という展開。1回に吉田正尚のホームランで先制されたそうだが、その裏にすぐ神里、ソトのホームランで逆転したとか。その後は取っては取られを繰り返し、11-8と、乱打戦を制した。昨日の仇は打てたな。3連戦勝ち越し。上出来でしょう。明日からは仙台で Eagles と3連戦だそうだ。また頑張ってもらおう。

その後風呂に入って今に至る。明日は銀行の人が午前中に訪ねてくることになっている。この前小生の担当者が変わって、女性に成った。今までの人は全員男性で、大分仲良くなってきたから、寝癖があろうが髭がぼうぼうだろうが少々汗臭かろうが気にしないでいたんだが、一応気になるので、髭を剃っておいた。風呂にも入っておいた。え、風呂はいつも入るだろうって?いえいえ、小生大抵朝風呂です。夜風呂に入るのは珍しい。明日も早起きで朝風呂が理想だったのだが、早起きというのがそもそも無理そうなので、夜に入っておいたというわけ。服装はあまり気にしないが、シャツが肌着というのは申し訳ない気がして、適当な T シャツを着ておいた。まあこれでいいでしょう。もう眠いので、程々に寝よう。徹夜は堪える。上に書いた通り明日は図書館に行くので、銀行の人が帰った後もう一寝入り、というわけにはいかないので。

2021年5月26日水曜日

行列のべき乗の計算をしてドツボにはまる

今日は10時半に起きるつもりだったのだが起きられず、最終的に起きたのは11時半くらい。でも飯を食わずに出掛ければ十分間に合う時間。現に12時半前には職場に着いていた。生協で弁当を買い込み、個研室で胃袋に流し込む。

12時55分からゼミ。二人教育実習、一人就職活動、一人遅刻、というわけで始まった時は三人しかいなかった。寂しい。今日は体上の多項式環が U.F.D. であることと ABC 定理について。二人ともしっかり準備をしていて、頼もしかった。先週あまりにも悪い例を見ていたので、今日は気分良く終われた。

4時半の会議まで少々時間があったので、次週の講義の作戦練り。会議は1時間ほどで終了。そんなに重たい議題は無かったので、精神的ダメージはほとんどない。ということで作戦練りの続きをした。行列の冪乗を計算する例題を出そうと思って、昔やった講義の例を引っ張り出してきた。そのままコピペで終わり、と思ったんだが、念のため計算が正しいかどうか確かめようということでした。してよかった。案の定間違っている。対角化出来ない行列のはずなのに対角化出来てしまう。n 乗したものが書いてあるから、n=1 とすれば元の行列が復元できるはず、と思って計算したら全然違う行列が帰ってきた。うむ。ジョルダン標準形を求めるための正則行列 P が書いてあったので、そこから逆に復元を試みるも、全然うまくいかない。P-1 も書いてあるのだが、それが P の逆行列に成っていない。ということで P-1 の方を信用して P を求めて、ジョルダン標準形の方から逆にもとの行列を求めて、ようやく成功。1時間以上掛かった。あほくさ。まあぐだぐだと証明を直すよりこんなことの方がやった気になるんでいいんだけど。その他にも色々直して、9時近くまでいた。

山科は京都市なので、緊急事態宣言真っ只中。というわけでお食事処が8時で閉まってしまうから、滋賀で食事を済ませてきた。久々に「天下一品」のこってりラーメン。麺が細麺と普通麺の2種類で、固めかどうかを選ばせてくれる。ニンニク入り、抜きのオプションもあるので、こってりラーメンといえどバリエーションがある。今日は普通麺、麵固め、ニンニク入り。腹が減っていたせいか、あっと言う間に食べ終えてしまった。早食いは太るからよくないのだが。まあいいか。

上に書いたものを見ると、今日は野球を気にしていなかったかのように見えるが、気にしていた。今日は昨日の真逆の展開で、1回に2点、2回に5点。その時点でもう見る気が失せて数学をしていたのだ。最終的には18安打を打たれ14失点。まあ打つ方は9安打5点とまずまず。ピッチャー次第やね。大貫はそろそろファーム行きかな。朗報は知野のプロ入り初安打が初ホームラン。見ていた人も少しは溜飲が下がったでしょう。

明日は12時55分からゼミ。ということでもう少し起きていても大丈夫。作戦練りの続きをやる。あまり遅くならないよう気を付けよう。

2021年5月25日火曜日

今日からセパ交流戦

昨日はついにやっちまった。講義に寝坊で遅刻。まあいつも5分遅らせて始めているし、それを込めれば大した遅刻ではない。でもやっぱり遅刻はいかん。反省。

で今日は反省も込めて、11時くらいに起きた。昨日のプロレスを見て時間調整。12時55分から「線形代数学」。今日は多項式版のユークリッドの互除法を簡単に説明した後、Jordan 標準形に突っ込む。今日は冪零の場合をやれば時間いっぱいだろう、と軽く考えていたら、冪零の場合が案外早く済んでしまい、一般の場合もやる羽目に成った。が、証明をきちんと理解していないので、来週もう一度きちんとやると宣言して、今日は例をやっておしまい。7分くらい早目に終了。

その後今日やった部分のミスプリを直して、来週の講義の作戦練り。中々名案が出ない。そんなこんなしているうちに教授会の時間。今日の教授会は大変短く、何と10分で終了。うーん。まあオンラインでよかった。大会議室でやることに成っていたら、わざわざそのために出勤する必要があった。来年度も火曜日に講義を入れておこう。そうすれば馬鹿馬鹿しい思いをせずに済む。

で1時間くらい作戦練りの続き。5時45分から野球。今日から交流戦で、相手は Buffaloes。今日は一発攻勢で、2回に宮崎の2ランと大和のソロ、4回にソトの2ラン、5回に佐野の2ランとソトのソロ。ピッチャーはと言うと、先発のピープルズがナイスピッチングで、7回1失点。8回に石田が2ランを打たれたが、そこまで。その後桑原の2点タイムリーツーベースでダメ押し。10-3。この前は残塁の山を作った打線だが、今日は12安打で10得点と、実に効率が良い。まあ一発が出れば勝てて出なければ負けるのが今の Baystars なので、あまり深く考えないことにする。明日は Baystars が大貫で、Buffaloes が売り出し中の宮城。明日は厳しいかな?

野球は9時くらいに終わったので、作戦練りの続き。もう少しやろうと思っている。明日は12時55分までに職場に行かないといけないので、少し早目に寝る。寝坊するといけないので、11時45分にさらにアラームを仕掛けておくことにする。そんな時間まで寝ていたら昼飯抜きで4時10分までゼミだからたまらんので、もっと早めに起きるに越したことはない。起きられるよう頑張ろう。

2021年5月23日日曜日

照ノ富士大関として初優勝

今日も相撲を最初から見ることは出来なかった。でも「これより三役」は見たので、まあよし。遠藤は正代に負け、優勝が無くなった。貴景勝 vs. 照ノ富士の本割は貴景勝の勝利。これで決定戦に。13日目終了時点で2勝差が付いていたら逆転出来ない、というジンクスと、返り大関はその場所で優勝出来ない、というジンクスのどちらが強いか?というわけで緊張して決定戦を見る。結果は照ノ富士の勝利で、2差を逆転出来ない方のジンクスが強かった。照ノ富士は大関では初優勝。来場所は一気に綱取りの場所。期待しよう。優勝は5時半頃に決していた。優勝力士インタビューが見たいが、野球が5時半開始。ということで優勝インタビューは録画しておいて後で見ることにした。

というわけで少し遅れて野球。今日の Baystars の先発は久々の今永。丁度今永が投げ始めるところから見始めた。でやはり2軍では好投だったようだが、1軍ではそうはいかなかった。1回裏に一気に3点取られ、1-3 と苦しい展開。その後も得点を重ねられ、今永は4回1/3で降板。残念。まあ復帰いきなり勝ち星は無いだろうと思っていたから、計算通り。2-10で9回表へ。そこから粘って3点取った。すんなり負けるのとでは意味が違う。明後日につながる内容でした。

明後日から交流戦。Buffaloes が相手。今年の Buffaloes は去年に比べると大分調子がいい。今日終わって借金4だが、5割に何度か手が届きそうになっている。Baystars 相手に3連勝したら、また借金1となる。ということで向こうもシャカリキになって掛かってくるだろうから、厳しい戦いが予想される。頑張ってください。

野球が終わってから先程の相撲の録画していた部分を見た。インタビューだが、案外客が笑っていた。照ノ富士面白いね。部屋の親方(伊勢ヶ浜親方、元横綱旭富士)から優勝旗を受け取るシーンは何度見てもよい。2場所連続だからね。来場所も優勝して、3場所連続で綱取り、といきましょう。貴景勝も優勝に準ずる成績だから、来場所の結果次第で横綱もあり得るのでは?という感じがする。来場所も楽しみ。初日を忘れないよう気を付けよう。

で「サンデースポーツ」は好例優勝力士の出演。で照ノ富士が出ていた。浮かれたところが無く、いい感じである。苦労した人は違うね。本当に綱を取ってしまうよう応援したい。

「テレビ千鳥」を見ようかと ABC にチャンネルを合わせたら、田村正和が出ている。松本清張の「疑惑」をドラマ化したものを追悼ということで放送しているようだ。うむ、残念。まあ途中からでもいいや、ということで見た。「疑惑」は読んだことがあるが、よく覚えていなかった。が、「鬼球磨」というセリフが出た時点で思い出した。最後はテレビドラマらしく大分脚色されている。確かこんな終わり方では?という記憶が正しいか、後で確かめよう。「疑惑」は買ってあるはず。無かったら改めて買う。

明日は10時45分から講義。ということでここ数日のような生活は出来ない。もうすぐ寝る。残っている準備は、dvi を pdf に直すこと、Zoom の設定をして、学生が見るページに上げておく、ということ。12時には寝られるな。