お得意様の Dragons に競り負けて、気付けば3位 Carp と0.5ゲーム差

今日は11時くらいに起きた。シャワーを浴びて、12時前に住処を出る。

金曜日は「代数学I」。今日は Z[X] が U.F.D. であることの証明を完成させ、イデアル (2,X) が単項イデアルでないことを証明。これで E.D. ⇒ P.I.D. ⇒ U.F.D. であるが、U.F.D. ⇒ P.I.D. は成り立たないことを示せた。E.D. でない P.I.D. の例は知っているが、知っているだけ。類数1の2次体の整数環で例があるが、ノルムに関してユークリッド整域でないことは容易に示せる。しかし、ユークリッド式の割り算が「どんな N：R－{0_R} → N∪{0} に関しても出来ない」というのは示さないといけないこと。正直どうやるか見当も付かない。まあ気が向いたら勉強しますわ。その後商体。整域が体に含まれていれば商体は簡単に作れる。じゃあそういう体の存在を仮定しないとどうか？ということで、同値関係を定義して、割って、同値類を a/b と書いて、演算を定義するなど。そこで時間に成った。来週は商体の一意性など。

今日は凄い降りになる、と言ってた割には大したことなかった。九州では相当降ってるようだが、関西はそうでもない。明日の午前中から昼に掛けて降る、と言ってた。まあ今日は1日問題無く講義が出来たようで良かった。金曜日の2時40分以降の講義は一回大雨で潰れてるから、小生の後に同じ部屋でやる〇んこ先生は大変だ。金曜日に講義をやって、また翌日補講。学生も大変だね。

2時40分からゼミ。整数論のゼミは平方剰余の相互法則の証明。ガウス和をガリガリと計算する証明。何度も読んで、何度も講義で話してるから、よく分かる。やはり証明は何度も読まないと駄目だな。超越数のゼミは q 対数関数の値の無理性。最早よく分からなくなってきた。来週は ζ(3) の無理性をやるようだ。Apery の証明ではないようだが、面白そうだ。真剣に聞けるように体調を整え、勉強しておこう。4時20分くらいに終了。

その後個研室で講義ノートの直し。ちょっと気に成る所があった。直して web に上げる。その後ジョルダン標準形の勉強。池田氏の本で納得はいき、例もわかった。が、三宅先生の本の例がよくわからない。何でだろう？と思って、三宅先生の別の本「線形代数概論」を見たら、テキストには誤植があるということが分かった。そうだったか。真剣に勉強してよかった。もう少し勉強して、完全理解を目指そう。

ジョーシンから連絡があった。この前頼んだ電気シェーバーの替え刃が届いた、と。昨日行こうかと思ったんだが、前にも書いた通り道程にちょっと怖い所があるので、行かなかった。大津から1号線を走って行けば怖くないので、今日は早目に切り上げて行こう、と5時半前に職場を出ようと思うが、何やら腹が痛い。ちょっと様子を見て、5時45分頃に職場を発つ。1号線をずーっと走るのは混みそうで嫌だし、昼は渋滞の無い別の道もこれくらいの時間だと結構混む。さて、というところで名案。名神を大津で降りればよい。これだ。名神もちょっと渋滞してたが、まあ程々。閉店は7時だが、6時半前に着いた。で受け取ってくる。これから髭を剃る。

で住処に着いたらもう野球が始まっていた。今日から Dragons と。Baystars は今永、Dragons は小笠原。この前は小笠原が1失点も、今永が完封という、凄い展開だった。さて、今日は。4回裏に戸柱の内野ゴロで1点先制。今永は Dragons 相手に36イニング無失点と言う、もう勝負ありか、という感じだったが、8回表に追い付かれた。ももくろの高城れにの旦那の宇佐美に打たれた。昨日はスタメンで3安打だったそうだ。うむ。8回裏2アウトからソトがヒット、大和が今日4安打目となるヒットで1、3塁。バッターは戸柱。今日からの3連戦は「ポケモンボールパーク」とかで、ピカチュウの顔の書かれたヘルメットで戦うことに成っていて、それの宣伝に一番熱を入れていたのが戸柱。やってくれる、と信じたが、1塁ゴロ。勝ち越しならず。すると9回表に代わった伊勢が高橋周平に勝ち越しの2ベースを打たれてしまった。9回裏はマルティネスに3者連続三振に抑えられ、負けた。Dragons とはここまで6勝2敗、去年も18勝6敗と得意にしていたのだが。4連敗か。まあ仕方ないです。明日勝ちましょう。で Tigers を見ると、Giants 相手に1－1という状況。が、今見たら、Giants がサヨナラ勝ちしていた。Giants が勝つのは嬉しくないが、Tigers とのゲーム差が開くのもまずい。まあよかった。が、などと暢気なことは言っていられない。3位 Carp が勝って、2位 Baystars との差は0.5。うー、上より下が近くなってきたか。明日は絶対勝たないと。Carp にも負けてもらわないと。頑張れ、Swallows。

さっき E.D. でない P.I.D. のことを書いたが、検索したら Z[(1＋√(－19))/2] がそうらしい。で「pid non euclidean」と検索すれば証明が見られる、と書いてあったので検索してみた。すぐ出てきた。証明は2ページ弱。おお、そんなものなのか。じゃあ読むか、と思わないでもないが、月曜日締め切りの仕事が幾つかと、ジョルダン標準形の勉強をもう少ししないと。ということでいつか読む、ということでダウンロード。こうして読まない論文は増えていく。昔は図書館で意味も無くコピーを取って、そのままにしてしまうことが多かった。実家を離れる時に結構置いてきたし、10年後にドサッと捨てるんだろう。今やコピー機はほぼ不要という時代。論文はダウンロード出来るし、学生はノートのコピーでなく、写真を撮ってしまう。生協がコピー機の取り扱いを縮小するらしく、今あるコピーカードはそう遠くない未来に使えなくなるらしい。実験実習費が毎年余るので、コピーカードを大量購入してどうにかしていたが、それが使えなくなると辛い。学科の会議室と、6階、7階の男子トイレの近くにあるコピー機をどうする？ということを生協が聞いてきた。何じゃかじゃと使うので、全部残しておいてもらった。コピー機の行く末やいかに。

6月ももう終わりやね。今年も半分終わり、と思ったら、本当に半分終わるのは7月2日だそうだ。でちょっと遅くなったが、6月28日は「完全数の日」だそうだ。成程。が、Baystars ファンとしては「関根大気の誕生日」と覚えておかないと。28歳。10年目だが、過去9年での最高の打席数は去年の225打席で、最多の安打数は去年の51。今年は既に279打席で78安打。打率は3割8厘。規定打席到達を目指しましょう。オールスターに出場出来るといいな。

上と1.5差に成ってしまったが、気付けば下とも1.5差

昨晩は「報道ステーション」を見てたら眠くなり、テレビを付けっ放しで横に成ってしまった。「これ余談なんですけど」は面白くなさそうだし、いいか、と。で「余談」が終わるくらいに起きてしまった。中途半端に寝たので、あまり眠くない。そのまま3時過ぎまで起きてた。線形代数の本を眺めてたら「対角成分が全て0の上三角行列は冪零」という命題が出てて、まあそりゃそうだ。固有値が0だけだからね、と思ったのだが、本に「直接計算で確かめられるように」と書いてあり、ちょっと考えた。うーん、と考えて、区分けを使って、行列の大きさに関する数学的帰納法で示せるな、と思い、やってみたらすぐ出来た。TeX 化する。それから n 次の冪零行列は n 乗で零行列に成る、ということのケーリー・ハミルトンの定理を使わない証明が出ていたので、読んでみた。成程。で寝た。

で寝不足の日はたっぷり寝ないと疲れが取れない。ということで結構な時間まで寝た。今日は特に生産的なことは何もしなかった。こんな日があってもいいでしょう。野球が始まるまで時間があったので、大河ドラマを見た。築山殿の理想が凄く崇高であること、武田も最初それに付き合っていたが、やはり無理、と言うことに成って、さて来週は？と言う感じで終わり。築山殿は来週成敗されてしまうのでしょうか？穴山梅雪が築山殿と会っていて、その理念に痛く感動していたが、勝頼がそういう態度に出ますか、という感じで、これで穴山梅雪の心が勝頼から離れてしまう、という筋にしそうな感じだった。

穴山梅雪が築山殿に会う時に使っていた「滅敬」という名前だが、これは史料に残っているそうだ。「減敬」と書いてあるものもあると成っていて思い出したことが。昔うちの入試で「増加」、「減少」を書かせる問題があったのだが、「増化」、「減小」という解答が相当数あった。現場では頭を抱えた。で採点はどうしたかは流石に書けないが、一つ「滅少」というのがあった。これは？とまたまた頭を抱えた。「減敬」も書き間違いなのだろう。

6時から野球。途中雨で中断があったが、試合は無事9回まで行われた。今日も Baystars は負けて、Tigers に折角3連勝したのに Carp に3連敗。Tigers が勝ってしまったので、1.5差に。まあまだまだ、という気もするが、気付けば Carp が5連勝で Baystars と1.5差。うむ、上ばっかり見てたら下からも追い上げられてるぞ。まあ明日は横浜に戻れる。横浜スタジアムでは無類の強さの Baystars。3連勝して、この3連敗を取り返そう。で Tigers はというと、東京ドームで Giants と。Tigers には3連敗して欲しいが、Giants の3連勝も嫌だな。まあ Giants はどうでもいいです。勝ちましょう。

明日は何か凄い雨に成ると言ってる。しかも暑いそうだ。また金曜日か。1時からの講義はやらせて欲しい。出席者が殆どいない上に土曜日に補講と成ったら、あの惨状の講義を二日続けないといけなくなる。嫌なこったね。学年暦を見ると講義の最終日は7月21日（金）で、統一補講日は7月8日（土）と22日（土）が残っている。明日もし潰れたら、22日に補講にしよう。レポートの締め切りが21日だし。誰も来ない可能性は高い。まあ多分やりたいことは全部終わってる。例年最終回はRSA暗号の話でお茶を濁してるから、誰も来なくてもいいや。まだ何となく疲れてるし、今日は早いとこ寝よう。高速道路が速度制限が掛かるかもしれないし、通勤に時間が余計にかかることも考えられる。早起きして、早目に住処を出られるよう努力しよう。

T教授の書き物を見ているうちに時間がどんどん過ぎていく

昨晩は「相席食堂」を見ながら呑み始めた。ドラッグストアで買ったので。何かいつもと味が違うな。CMでも「New!」とか言ってたからそれが原因か、と思って缶を見たら、レモンハイと思って買っていたのは何とグレープフルーツハイ。そうだったか。小生血圧を下げる薬を服用しているが、薬とグレープフルーツは一緒に口にしてはいけないことになっている。何故かというと、薬の作用が強く出過ぎるから、だそうだ。血圧が下がり過ぎて危険ということだろう。まあ薬を飲まなければいいや、ということにして、気にせず呑む。3缶買ってあったが、もう少し呑みたい、ということで違法販売機で買おう、と思って財布を漁ったら、うまいこと小銭が300円。丁度2缶分。やっぱりレモンハイの方が旨いな。これからドラッグストアでは買わないことにしよう。で気付いた。衣料用洗剤が無くなっていたので、買うつもりでいたんだが、忘れていた。まあいいや、また今度買おう。

で呑み呑みちまちまと数学をしていた。池田氏の本でジョルダン標準形の存在証明を読んだので、例を計算しようか、と思ったんだが、他の所を読んでしまった。三宅先生の本に「固有値が全て実数の正方行列は、行列式1の直交行列を用いて上三角化される」という命題が出ていたが、この「固有値が全て実数」というのが不要では？と思っていたのだが、証明出来ない。まあ講義ではこれを使うのは実数体上の2次形式だけなので、問題は無い、ということにしていた。いや、何故これが必要かと言うと、正方行列の階数＝0でない固有値の個数、ということを証明したくて。これは自明だ、と思うのは結局何らかの “標準化” をしているから。結局上三角化くらいはしないといけないでしょう、と思って池田氏の本を見ていたら、「任意の複素正方行列は上三角化出来る」という命題が出ていた。おぉ、と思い読む。商空間を使うので、2次形式の前にやるにはやはり無理だな。まあ来年度は「線形代数学」を担当しないつもりなので、もういいけど。

でここでふと気付いた。来週の月曜日までに書かないといけない書類がある。ちょっと時間が掛かりそうなので、取り掛かることにして、数学はそこまで。で色々調べ物をしないといけない。ちょっと過去の学科長を知りたくなり、メールを漁ったり、昔のブログを読んだり。メールはあまり前のは残っていなかったので、最近のことしか分からなかった。ブログは野球の話ばっかり書いてあって、わからない。ここで閃いた。T教授の昔のブログなら結構細かく書いてるのでは？と思って見始める。が、肝心の仕事をするより読むのが面白く、つい時間を使ってしまった。昔はT教授と折り合いがよかったので、よくT教授の研究室を訪問したり、逆にT教授が小生の研究室を訪問してくれたりだったので、ブログによく「K川先生」として小生が登場していた。ゼミ中に学生に、それは明らかでしょう、と言ったら、K川先生に明らかと言う言葉は使ってはいけません、と言われた、とか書いてあった。うん、よく言ってる。まあいけない、とは言わず、あまり使わない方がよい、くらいのことはしょっちゅう言ってたな。でその後T教授が小生の講義ノートを見せてくれ、と小生の部屋を訪ねてきて、見ると微に入り細を穿ち、ネチネチと書いてある、みたいなことが書いてあった。現場で立往生するのが嫌で、全部メモって行って、そうすると全部板書したくなり、学生は全部写したがるから、自ずとそういうノートに成ってしまうのだ。他にも色々書いてあったが、ある所から学内のサーバーでなく Yahoo!Geocites で更新されるようになったが、サービスを終了したらしく、読めなくなっていた。また別で始められて、数年は読めたが、最近のものはパスワードを聞かれるようになってしまったので読めない。聞けば教えてくれるか？という気がしないでもなかったが、Facebook の友達申請をした時に「仕事と私生活は分けたい」と友達にしてくれなかったので、教えてくれないかな、と諦めた。A工大のY先生がT教授のブログのファンなのだが、「加川さん、パスワード知らない？聞いても教えてくれなさそうなので…」と言われたことがあるが、小生は逆にY先生から聞き出そうとしていたのだが。まあちょっと分かったのでよし。その後も久々にT教授の書き物を楽しく読んでしまい、気付けば朝。うーん。まだ分からないことはあるが、事務長に聞けばいいや、とメール。その後も色々やって、事務長が出勤してくる時間。メールを数通やりとりして、ちょっと寝よ、いや、大谷のリアル二刀流を見るか？と思ったが、寝ることにした。

3時間程寝た。起きていつものニンニクファイヤー牛丼を頼んで、仕事の続き、と思ったのだが、引き続きT教授の書き物読みの続きをしてしまう。どんどん時間が過ぎていく。ちょっと MathSciNet を調べたくなったが、vpn に繋ぐのが面倒、ということでグズグズとマインスイーパーをやってしまい、あっと言う間に野球の時間に成っていた。結局一日ほぼ無駄に使った。いかんな。昨日から Carp とマツダスタジアムで3連戦。昨日は負けた。今日は勝てよ、と思って応援していると1点先制。が、すぐ2ランホームランで逆転される。が、牧のホームランで追い付き、まあここまではよかった。5回裏2ベースと死球でノーアウト1、2塁。8番バッターを打ち取って、よしよし。バッターは9番森下。まあ大丈夫かな、と思ったらとんでもないことが起きた。森下が3ランホームラン。ガーン。石田は1か月以上勝っていないと言っていたが、こんなことがあるからだろう。その後中川がもう1点取られ、the end。Tigers はどうなってる？と気に成って見る。途中経過では Dragons が2点リードしていたが、追い付かれた。うーん。でこんなものを長々と書いてたら、Dragons が勝ち越している。お、よしよし。そのまま Dragons が寄り切った。今朝 Tigers ファンの岩本アナと Dragons ファンの浅尾美和がバチバチやっていたが、浅尾美和は溜飲が下がったでしょう。まあよかった。0.5ゲーム差のまま。明日は勝って、再び奪首と行きましょう。

今日は大谷が派手にやったようだ。2ホームランを打ち、しかも勝ち投手。打率.304で5位（吉田正尚より上）、ホームランは28号でトップ（2位と6本差）。ピッチャーとしては7勝で防御率は3.02。うーん、凄いな。漫画だな。森下は大谷に刺激されたか？だとしたら大谷は余計なことをしてくれた。まあ大谷は打ってください。明日は Carp は今シーズン初登板の野村、Baystars はガゼルマン。抑えてくれます。勝ちましょう！

NPB のオールスターは Tigers がファン投票で10人選ばれたとか。まあ今年は強いんで、仕方ないです。監督推薦で Baystars の関根と Dragons の細川は選ばれるでしょう。去年までの二人では想像できないことだ。高津監督、選んでください。

猿之助の本名は喜熨斗って言うのか

今日は11時のアラームをスルーして、12時くらいに本格的に起きた。1時から学科長会議。今日は割と短時間。が、何とか言う夏休みに5日間研究室見学をさせる、という企画でひと悶着。5日間もやるのか、1日都合が悪い日があるがいいか、というのはまあ仕方ないが、数学の場合は5日見学させても、ゼミは大抵週一。4回生、M1、M2と3日間やる場合はあるが、いずれにせよチンプンカンプンだろう。ということでどうします？と質問した。すると理論物理も同様のことがあるぞ、と物理の先生が発言。会議後事務長からメールが来たが、数理科学科を希望している学生は第2希望に回ってもらう、物理を希望している学生の第2希望が数理科学科だそうなので、第3希望でもいいか問い合わせをする、と書いてあった。この手の「研究室見学」は数学の場合本当に困る。小生が大学に入った時に、理工学部の施設、設備をスライドで見せてくれたが、数学科は学生が机に向かって勉強している映像のみ。大学当局は文系のノリで色々言ってくるので理工学部としては大いに戸惑い、理工学部当局は工学部のノリで言ってくるので、数理科学科としては迷惑、という図式は何年も続いている。執行部に数理科学科の先生が一人いるので、どうにか出来なかったか？という気がしないでも無いが、まあ忙しい中色々要求するのは難しい。取り敢えず今回の件は数学と理論物理は無し、ということにしてもらいたい。

2時半過ぎに職場へ向かう。保健センターに行くため。暑い。Tシャツで行こうかと思ったが、折角だからこの前買った「理工学部ポロシャツ」を着ていくことにした。が、残念。胸ポケットが無い。これじゃTシャツと変わらん。買ってしまった後で文句を言っても仕方ない。で出発。表にいる時間は少なくしたい、ということでウェストウィングの近くに停めたいので、少々遅くなった方がいい。ということで久々に下道を通って職場に向かう。あまり渋滞しない道を通ったが、何やら渋滞。何だと思ったら工事で、片側交互通行に成っている。真昼間に工事するなよ、という感じだが、まあ急いでないので。3時20分くらいに到着。ちゃんとウェストウィングの近くに停められた。少し待たされたが、「義経」を進めるにはいいかと。鵯越から駆け下って、一ノ谷で平家に圧勝、が、頼朝は義経に十分な恩賞を与えない、という辺りまで進んだ。で診てもらう。血圧は良好。よかった。その後部屋でジョルダン標準形のことを勉強。昨日書いた池田氏の本を読む。フィルトレーションを作って、基底を付け足していく、というのは三宅敏恒先生の本と同じだが、三宅先生の本は補空間を使っている（ように見えるが、あまり詳しく書いてない）が、池田氏の本は商空間を使ってる。まあ本質的には同じなのだが、どちらがわかりいいかな？という感じ。池田氏の本の方が証明は短かった。例をいじって理解を深めたかったが、7時に成ってしまった。調剤薬局は8時までなので、そろそろ帰らないと、ということに。野球の様子を見たが、1回表に先制するも裏にすぐ追い付かれた。4回に満塁のチャンスを作ったが、無得点。

これくらいの時間だともう高速道路も三条通もそんなに渋滞しない。7時半ちょっとに調剤薬局に着いた。お薬手帳が見付からなかったので、忘れた旨伝える。その後「義経」の続き。いつも違法販売機で安く買っているレモンハイが安く売ってたので、つい買ってしまった。3缶買うとお得、だそうなので、3缶。他には食料など。

8時過ぎに住処に戻ってきた。野球を観ると2－2という状態。6回表に勝ち越したが、裏にすぐ追い付かれる、という同じパターン。8回裏に3番手の上茶谷が1アウト3塁のピンチを作り、エスコバーに交代。秋山に犠牲フライを打たれて、これが決勝点。負けた。Tigers の様子を見ると、ビッグイニングを作って5点先制も、3点取られて、さて、という感じだったが、最終的には11－3で Tigers の圧勝。Baystars は二日天下。まあいいです。明日勝ちましょう。

猿之助が逮捕されたそうだ。自殺幇助（ほうじょ）らしい。馬鹿なことをしたもんだ。本業の歌舞伎界に多大なる迷惑を掛けただけでなく、映画界にも。「緊急取調室」の映画の放映はどうなるんでしょうか？主演の天海祐希は大変張り切っていたようで、終わったら久々に宴会をしよう、と言っていたようだが、おじゃんだな。テレビでもスペシャルドラマをやる予定だったようだが、そちらは永山絢斗が馬鹿をやったのもあり、放送の見通しは立っていないとか。可哀想だね。彼女は若く見えるが小生と同い年。これくらいの歳に成っても思うに任せないことはあるんやね。人生は難しい。

あ、明日の学科会議をどうするか決めないと。上に書いたように特に決めることは無さそうだから、やらなくてもいいかな。一応もう一回学科長会議の資料を見直そう。何だかんだと色々忙しい。大学生の時もちょっと責任のある立場に立たされたことがあったが、毎日電話が鳴って、ちょっと鬱陶しかった。役目が終わったら突然電話が鳴らなくなり、寂しかったのを覚えている。今は電話は鳴らないが、メールがジャカスカ来る。今日の学科長会議は11回目だか12回目だかで、最終回は48回とか成ってた。まだこんなにあるのか、と思うと呆然とする。9月も毎週あるようだし、忙しい。今度は終わった瞬間にホッとすることだろう。もう2度とやりたくないが、どうなるだろうか？

数学は徹底的にやらないと

今朝は7時に目が覚めた。もう11時間寝てるし、いいか、と起きた。ドーピングして、珍しく食事。が、やはりちょっと寝不足だったか、眠くなってきた。でもう30分くらい寝た。シャワーを浴びて、9時50分頃住処を出る。が、職場に着いたのは10時半くらい。「外環三条」と「四宮」の間が何やら渋滞。対向車線は大渋滞。何だと？思って前方を見ると、対向車線に救急車が。どうも事故のようだ。事故った車と救急車が対向車線の大部分を塞いでて、滋賀方面と京都方面の車が遠慮しあいながら走っていた。これでは渋滞するわけだ。通行量の多い道路での車が沢山走ってる時間の事故は迷惑だ。気を付けよう。いや、いつでも気を付けないといけないが。

月曜日は「線形代数学」。大分出席者が減ってきた。もうレポート問題を発表したからだろうか？もう少し講義を聞かないと解けない問題があるのだが、いいのかな。今日は固有値全部走らせると空間が一般固有空間の直和で一杯に成ることの証明の続き。で (A－λE)ⁿx＝0 となる自然数 n として固有値 λ の重複度が取れる、ということが本に書いてないので証明しておいた。これを知らないとジョルダン標準形が求められない。で一般固有空間を求める実例をやる。直交冪等変換（と言うんだろうか？）を用いた方法と、上に書いた重複度を用いた方法と。で何か中途半端に時間があるな、という感じに成りちょっと焦る。行列を沢山印刷した紙があったから、ページ数の割に内容が少なかったのだな。ちょっと調整しながらいい所で終了しておいた。いよいよ来週冪零の場合にジョルダン標準形の存在と一意性をやらないといけなくなった。勉強しよう。

さて、昼飯をどうしよう？というところだが、ちょっと郵便局に行く用事があったことを思い出して、正門を通ってからまっすぐ下る。昼休みの郵便局は当然混んでて、駐車場が一杯。仕方なく路駐。まあここならいいでしょう、という感じで。ハザードランプを付けておく。手続きは割と短時間で終了。待ってる間にスマホを見たら、「ハザードランプが付きっ放しですよ」という警告メールが来ていた。最近の車はありがたい。初めての車に乗っている時、当時の職場の駐車場は小さかったので、外周道路に停める羽目に成ることが何度もあったが、駐車する際にハザードランプを付けて、消し忘れて、9時くらいまで個研室にいたら、まんまとバッテリーが上がり、JAFを呼んだことがある。今の住処でもルームランプを消し忘れて、バッテリーが上がってしまい、休講にしたことがあった。もうこういうことは無いな。食事は考えるのが面倒なので、「南田山」を左折して「ちゃんぽん亭」へ。

さて、ジョルダン標準形の勉強をしないといけない。で同じ本ばかり読んでると煮詰まるので、この前生協で見付けた、池田岳「テンソル代数と表現論 線型代数続論」（東京大学出版）を読んでみた。が、色々流儀が違うようなので、結局最初から読んだ。ゼミの時間まで読んで、ゼミ終了後も読んだが、ようやく空間が一般固有空間の直和に分解される所まで読めた。今日講義で話したばっかりなので、よく分かった。何度も読むとよく分かるようになる。時間の許す限り徹底的に読もう。具体例も計算してみて、ちゃんとジョルダン標準形に成って嬉しかった。

4時20分からゼミ。今日は分数イデアルの定義から。が、何かおかしなことを言ってるな、と思い、もう一度言わせたら案の定、大きな勘違いをしている。正しい内容を言って、「示して」と言ったら立往生。一個ずつ聞いてみると、代数的な元の共役元の定義が分かっていない。じゃあと突っ込むと、何とガロア群の定義も分かっていない。うーん、「去年代数学II聴きに来てたよね？」と嫌味を言う。でそこは何とかしたが、代数的整数の共役元が代数的整数であることを示せなかったりと、大問題。彼以外の学生が発表している時に時々チラチラと様子を見ていたが、聞かずにスマホをいじっている様子が何度か見受けられた。うーん、同じことを何回も説明させられる方の身に成ってみろ。まあ過去にもそんなことはあったが、そういう学生にアンケートを取って、それを見て授業改善しろ、と当局は仰せだが、意味あるの？という感じ。「代数学I」に至っては出席者3名。意味無い。一部の学生が「講義ノート復習するとよくわかります」と言ってくれるので、まあ我慢強くやりますが。そういえば20年以上前だが、一度だけ「代数学演習」を担当したことがある。次の週に詳細な解答を作って配ったが、付属高出身の男子 T.K. 君と女子 K.T. さん（この二人は成績1位を争っていた）が「どういうことを問題にして、どういうことを示さないといけないか、よくわかりました」と言ってた。大多数の学生には写すのが大変なだけだったり、紙ゴミが増えるだけだったかもしれないが、役に立ててくれてる学生がいるからね。手で写すのが大変だからカメラで写す、というのはいよいよ意味無くて、撮っただけで安心してしまう。手で書き写して、後でそれを見ながらもう一度別の紙に写しながら勉強、とやらないと。ゼミの学生は鬱陶しくて嫌かもしれないが、小生の性格です。徹底的にやる、と宣言して、10分くらい延長して終了。3時間以上やって1ページくらいしか進まなかった。

9時過ぎに職場を後にする。朝住処を出る時は雨は降っていなかったが、昼に表に出たら降ってた。だんだん強くなったが、夜出る時は雨が弱くなっていた。明日は降らないようなことを言ってたが、また強くなってきた。すき家で鰻を食べようと思い行くと、かなりの降りに成っていて、駐車場から店に入るまでで結構濡れた。鬱陶しい。気温は高くないが、蒸し蒸しする。明日は30度を超えるらしい。蒸し暑いだろうな。学科長会議で終わりならいいんだが、明日は保健センターに行かないといけないので、外出する必要がある。歩く距離を短くしたいので、ウェストウィングに近い駐車場に停められるようにしよう。それにはあまり早く住処を出てはいけない。学科長会議が終わってからだと丁度いいかな。あ、そうだ。明日は資源ゴミの日だ。うーん、また表に出ないといけないのか。鬱陶しい。仕方ないな、やろう。

Tigers を3タテし奪首で25年ぶりの貯金12

昨晩は早く寝るつもりだったのだが、早いうちにゴロっと横に成ったら中途半端に寝てしまい、本格的に寝ようと思ったら眠くならない。こういう時にスマホを見ると余計寝られなくなる。もういいや、と「サンデーライブ」の始まるくらいに起きた。ロシアの情勢が気に成ったので。何だか変なことに成ってるな。どうなるんだろう？その後一昨日の「座王」を見たり。45分拡大スペシャル、とか成ってて、ハードディスクの余裕が無い所に録ってるから、全部録画出来ているか不安。そういう理由か、という感じで面白かった。椿鬼奴がもう審査はしたくない、と言ってた。「座王」はジャッジがどう判定するかにより面白さが変わるので、プレッシャーだったのだろう。

昼飯は Uber Eats に「王将」の料理を持ってきてもらおう、ということにしたが、11時過ぎでないと無理だろうから、しばし時間潰し。また YouTube とか見てしまった。30¹⁷＋17³⁰ は素数か？っていう問題を鈴木貫太郎氏がやっていたが、即答できなかったのはぬるい。30 とか 17 とかあまり意味のある数字ではなく、奇素数 p と (a,p)＝1 なる奇数 a にしてもよいので、一般化して TeX 化。鈴木貫太郎氏は「巨大な数」と言ってたが、そうでもない。まあ勿論手計算でやるのは無理だが。面白かった。

2時から野球。考えて見ればバウアーが投げる日に試合を最初から見たことが今までなく、投球練習の1球目のルーチンは初めて見た。気合入ってるね。この前は完投したから、今日も是非。Tigers の先発は1か月以上無失点の才木。どうなるでしょう？と思い見る。2回裏に満塁から伊藤の犠牲フライで先制。次打者がバウアーだったので、浅いフライだったが3塁ランナーの宮崎はホームに突っ込んできた。よしよし。3回裏に佐野タイムリー、牧犠牲フライで2点追加。5回表に前川（まえがわ）、大山にタイムリーヒットを打たれ3－2。が、5回裏に1点取った。2アウトを簡単に取られたんだが、牧、宮崎の連続2ベース。才木から4点取った。凄い。6回裏にまた佐野のタイムリーで5点目。いいですね。が、7回表にバウアーが2連打され、ノーアウト2、3塁。近本のショートゴロの間に1点取られる。前川に四球を選ばれたところでバウアーは降板。今日はホームランを打たれなかった。変わったウェンデルケンが抑え、5－3という状況。8回表はこの前1アウトも取れなかった伊勢。今日は素晴らしく、三者凡退に抑えた。9回表は康晃。この前はホームランを打たれて負け投手に成ったが、今日は三人で抑えた。で Tigers から3タテで久々の首位。いいですね。貯金は今季最多の12。貯金が12に成ったのは25年振り。25年前と言えば、そう1998年。いい風が吹いてきてる。期待しちゃうね。まあ Tigers も黙っちゃいないだろうから、鍔迫り合いは続くと思われる。オールスターまでに出来るだけ貯金を作って、8月に成ったら一気に、といきましょう。

試合中に他の試合の結果が気に成りスマホを見る。ついでにメジャーリーグの情報も。すると、何と Angels が25－1で勝ったという凄い情報が。2回に13点、3回に8点取ったようだ。こんな日に投げてたピッチャーはいいな。大谷が投げる日にも是非やってもらおう。日本はこの3連戦、セもパも1位 vs. 2位、3位 vs. 4位、5位 vs. 6位だったようだ。スケジュールを組んだ時は勿論こんなことに成ってるとは思わないだろう。それぞれのゲーム差は小さかったので、順位が随分入れ替わった。セは Giants が4位に落ち、代わりに Carp が3位浮上。Swallows は Dragons の下に行き、ゲーム差は1。パは Hawks が首位で、Buffloes は今日勝ったので2位のまま、と思ったら、時々ある－0.5ゲーム差というやつにより Marines が2位に浮上していた。勝って順位が下がるとは不思議。Fighters は5連勝の後2連敗。まだまだ。

さて、上に書いたように寝てない。明日は8時半起きを目指しているので、大河ドラマの始まる前に寝る。スマホで築山殿と信康を何故家康は死に追いやったか？とか、高天神城の戦いでの岡部元信の話とか見たが、面白いことに成りそうだ。明日は7時半まで仕事があるし、明後日は1時から学科長会議で、その後保健センターに行くから、見るのは火曜日の晩かな。水曜日は16時半から何やら科研費獲得のコツを話してくれる会があるようで、参加したい方がいるだろうから、学科会議はやらないでおきたい。まあ当たってる人はこんなもの出なくても例年通り書けばいいだろうし、はずれてる人はこんなもの出て悪足掻きしても同じだろう。小手先のことでどうにかなるようなものではないと思う。研究の発展性などを審査委員が分かってくれるかどうかだろうから。ということで小生は多分出ない。パソコンは実験実習費で買ってもらえばいいし、出張はコロナのせいで出掛けなくなり、元々アクティブでない小生は旅が面倒臭くなってきて全く出張してない。それに何やら出張届の書き方が面倒臭くなったようで、書き方を1から勉強しないといけないし、いよいよ面倒。ということで旅費もいらない。年末の金沢の集会が復活したら行くかもしれないが。新幹線が敦賀まで伸びると、実は関西から北陸への旅行は面倒になる。サンダーバードが敦賀止まりに成る、という説があり、そうしたら敦賀で新幹線に乗り換えるという面倒が出来する。北陸本線のホームと新幹線のホームは目茶目茶高低差があるそうだから、乗り換えはいよいよ面倒。北陸には行けるうちに行っておきたい。

さ、寝るぞ。

東完封勝利で、0.5ゲーム差

昨日は色々見ながら結構呑んでしまった。「探偵ナイトスクープ」でトミーズ雅がやっていた「大阪弁講座」を放送していたが、「これ後藤久美子ちゃう？」、「ちゃうちゃう、後藤久美子ちゃう」と全然応用の効かない3人組は記憶に残っていた。面白くてゲラゲラ笑ってしまった。他にもジミー大西が林先生に「シジミ大西」と呼ばれるきっかけに成ったネタなど。今は「林先生」と言えば林修氏のことに成るが、「探偵ナイトスクープ」のファンにとっては料理の林先生だろう。「林繁和」という名前だった筈だが、最近は「林裕人」と名乗っている。で名前の所は修正してあった。面白かった。他にもジャカスカ見て、大分ハードディスクに余裕が出来た。明日の「ビーバップハイヒール」の復活スペシャルも録画出来る。ハイヒールの昔の映像とかが流れるようなので、面白そうだ。スマホを見てたら「笑わない数学」の新シリーズがやる、という情報が出ていた。また難しい話題を取り上げるようだ。パンサー尾形はあまり好きではないんだが、「笑わない数学」では真面目にやっていて、ちょっと見方が変わった。今回も真面目にやってください。

早く呑み始めると、ついお代わりを買ってきてしまうのでよくない。やはり呑み始めは深夜にしないと。久々に本格的な二日酔い。野球が始まっているが起きられない。スマホで経過を見ると1点先取したようだ。その後もう一度寝て、改めて見ると2点リード。よしよし。8回くらいにようやく起きた。東が快投を続けていて、9回もマウンドへ。ランナーを一人出したが、ダブルプレー。そのまま抑えきり、完封勝利。分業制が当たり前に成っているこのご時世に二日続けて完投というのは中々珍しいだろう。明日はバウアー。前の登板では完投している。三日連続完投か？だったら凄いけど。ヒーローインタビューは先制打の佐野と完封の東。解説の工藤公康氏は、リードが良かった山本祐大もヒーローでいいのでは？と言っていて、東も「祐大のおかげです」と何度も言っていた。昨日今日と選手が途中からインタビューする企画をやっていて、上茶谷が山本を連れてきた。勝った試合の最後を締める「I ☆ Yokohama」を山本が言った。よかったね。さあ0.5ゲーム差。明日は見るぞ。ということで今晩は呑まないことにしよう。呑み屋の大将が Tigers ファンなので、呑みに行ったらバトルバチバチに成るかもしれないので、まあいいか、と。まあ明日の野球と関係無しに、二日酔いなので呑まないが。今日は早いとこ寝よう。

関西では水曜日に甲子園で野球があると、6時16分から9時まで中継するのが普通で、先週もそうだった。で「ミラクル9」を土曜か日曜に放送してくれる。今日の分は録画しておいたので、野球が終わった後見た。辞書から除かれた言葉、というのが時勢を反映していて面白かった。「コレクトコール」なんてあったね。若い人は当然知らなかった。「スペースシャトル」も辞書から除かれたとか。へー。昭和、平成に普及した家電には「電子レンジ」とかあったが、小生は最初に「冷房」を思い付いた。子供の頃小生の家に冷房は無かった。小生と兄者が押し込まれていた二階の四畳半の部屋には、窓はあったが、開けるとすぐ隣の家の壁。風が入ってくるわけでもなく、ひたすら暑かったのを覚えている。冷房を付けてもらった時は嬉しかった。店にも冷房が無かったが、真夏の暑い時に表から入ってきた客がもっと暑いとかわいそうだ、冷房で30度くらいに下げるだけでもいいのでは？と思い、親を説得して店に付けさせた。仕事が捗ったようで、最初から付けておけばよかった、と言っていた。一階が涼しくなって良かった。5位にパソコンが入っていた。今やパソコン無しの生活は考えられないだろう。パソコンと言うかインターネットだな。小生こっちに来た頃は住処にネット環境は無かったので、ブログの更新は全部職場でやっていた。そのため書いてない日が多い。今日起きたら「接続されていません」というメッセージが出ていて、焦った。再起動したらすぐ繋がったのでよかった。1位は当然と言えば当然だが、携帯電話（スマホ）。持つ前は「あんなもの無くても大丈夫だ」と思っていたが、持ってみるとこんなにありがたい物は無い。スマホでもインターネットに簡単に繋がるので、調べ物をしたり仕事のメールを読んだり出来る。まあ貴重な時間をスマホに奪われてる、というのも事実だと思うが。よく院生が院生室で寝っ転がってスマホをいじっている光景を見掛けるが、そんな時間あったら勉強したら？と言いたくなる。ちゃんと予習してゼミを恙なくこなせていればいいが、合格点に程遠い発表を毎週見せられるときついことを言いたくなる。が、あまり言い過ぎるとパワハラに成るので要注意。えーと、あ、「ミラクル9」の話だった。面白かった、ってそれだけかい！

もう一回ジョルダン標準形の存在定理の証明を読む、と言っておきながら、それからやっていない。そろそろやるか。いや、気持ち悪いしな。まあいいや、今日はやめておこう。

横浜スタジアムで Tigers 相手に11連勝

今日は9時に目が覚めた。月曜日か、と思って一瞬焦ったが、金曜日だった。ということであと1時間半くらい寝られるが、起きることにした。髭を剃ろうと思い立つ。最近一週間くらい平気で伸ばしてしまう。で電気カミソリの癖髭などを剃るための刃を使ってガーっと削るので、あまり電気カミソリを使ってる意味は無いのだが。まあいいでしょう。で大体剃って、細かい修正、と思って剃り始めたのだが、痛い。刃に穴が開いてる。これはいかんな。刃を前に変えたのはいつだろう？少しゆっくり出来る筈だったが、刃を買いにジョーシンに行かないと。ジョーシンに行くには一箇所怖い所があるので、あまり行きたくないのだが。今日はあまり危険な思いをせず行けた。商品の所に下げてある札を持ってカウンターに行って、探してもらう。が、何と品切れらしい。取り寄せに成る、と言われた。怖いから行きたくないのだが、仕方ない。登録してある電話番号が固定電話の番号。スマホにショートメールをくれるように頼んでおいた。

少し時間があったので、はま寿司に寿司を食べに行く。いつもの通り大体1300円くらい。注文の品が来るのを待ってる間は「義経」を読んでいた。が、待ち時間はあまり無く、殆ど進まなかった。ようやく「鵯越」の辺り。来週の火曜日は保健センターに行く日なので、待っている時間とドラッグストアで「義経」の続きを読む。平家滅亡はまだ先かな。

1時から「代数学I」。まず原始多項式を定義し、原始多項式の積がまた原始多項式に成るという「ガウスの補題」という奴を証明して、Z 上既約なら Q まで上げても既約を証明。それを用いると X⁴＋1 の Q 上の既約性が楽に示せるのを例示。その後アイゼンシュタインの定理を示して、素数次の円分多項式が既約であることを示す。演習問題として素数冪次数の円分多項式の既約性を示せ、と出題しておく。まだちょっと時間があるので、Z[X] が U.F.D. であることの証明を途中まで。来週それを完成させ、(2,X) が単項イデアルでないことを示して、商体をやって、と段々大団円に近付いていく。いや、大団円はガロア理論だから、後期まで出席してもらわないと困るんだが。今日も5人くらいしかいなかった。秋学期に成ると卒研配属が決まるので、いよいよ代数に興味の無い学生は来なくなるかも。去年のブログを見たら、「代数学II」の出席者は最後の2回は一人だったようだ。いいけどね。

2時40分からゼミ。整数論のゼミはいよいよ平方剰余へ。ルジャンドル記号を定義して、値が mod p で決まること、乗法性などを示して、オイラーの規準、第一補充法則、第二補充法則を証明した。テキストにはオイラーの規準は √a が素体に落ちるための条件であることを書いてあり、その精神にのっとって第二補充法則を示すように成っているのだが、学生はガウスの補題（今日代数の講義でやったのとは別物）を証明して、それを使って証明していた。ガウスの補題を用いた平方剰余の定理群の証明はあまり好きではないんだがな。相互法則の格子点の個数を勘定する証明はさっぱりわからない。中心が格子点に成っているかどうかなのだが、絵が上手に描けないので理解出来ないのだ。相互法則の証明はどうやるだろう？テキストにはガウス和を用いた証明が出ているが。出来ればそれでやって欲しい。超越数のゼミは何やら複素関数論の復習から始めた。で肝心の定理はよく分からない。複素関数論の勉強に苦労したようで、ヘソまで行かなかったようだ。まあいいです。来週やってください。5時くらいに終了。

その後個研室で講義ノートを微調整して web に上げる。月曜日の講義資料を印刷して、それから講義の帰りにすれ違った同僚から学科長会議の資料が web に上がっていないと言われたので、急いで上げる。もう少し職場にいようかとも思ったが、Tigers を横浜スタジアムでぶちのめすの見たいので、6時前に職場を出た。

住処に着いたのは6時半過ぎ。テレビを付けると2回裏2アウト1、3塁でバッター今永、という状況。今永の打率は3割を超えていて、得点圏打率に至っては6割（5打数3安打）。期待出来るか？と思ったが流石にそこまで甘くなく、凡退。残念。3回裏は関根、京田が凡退し2アウトに成ったが、そこから佐野2塁打、牧タイムリーで先制、宮崎のタイムリー2ベースで2点目。よしよし。そこからソト、楠本連続四球で満塁も、戸柱凡退で三者残塁。まあいいでしょう。今永はすいすい放っていて、付け入る隙を見せない。Tigers の2番手馬場に2イング連続3人で打ち取られるも、代わったK.ケラーからソトがホームランで3点目。8回表は今永がピンチの場面を作るも無失点。9回を抑えて完封、と行けばよかったが、大山にソロホームランを打たれてしまう。その後ランナーを出して、一発で同点、という場面だったが、梅野をセンターフライ、代打のミエセスを三振に打ち取りゲームセット。今永は126球の完投勝利。よしよし。これで横浜スタジアムでの Tigers 戦は11連勝。今永は横浜スタジアムで8連勝。1.5ゲーム差。いいですね。ネットニュースを見ていたら、岡田監督や一部の Tigers OB が「2位に一旦落ちた方が気が楽に成っていい」みたいなことを言っている、と出ていた。岡田監督は前に Tigers の監督をやった時、Giants に13ゲーム差をひっくり返されたそうだが、その時はプレッシャーで深酒が続き、体調を崩したそうだ。星野仙一もマジックナンバーが出た後記者に「俺の前で優勝のこと言ったら殴るからな」とか言っていたそうだ。人気球団は辛いね。まあ首位を譲ってもいい、とは強がりだろう。本当にひっくり返されてみろ、きっと大騒ぎだぞ。明日は東、日曜日はバウアーらしい。ひっくり返してやりましょう。

さて、交流戦優勝後呑んでないので、今晩はちょっと祝杯を上げよう。例によって日曜日の大河ドラマを録画するだけのハードディスクの余裕が無いので、少し録画したものを見る。上岡龍太郎時代の「探偵ナイトスクープ」のネタを今晩やるそうだが、それはこの前の追悼特番のディスクの後に続けて録れるので、そちらは心配無い。「座王」も録画予約したから、心配無し。さて、買い出しに行くか。

憧れを超えた侍たち

昨晩も遅くまで起きていてしまった。昨日書いた cos と sin の入った式だが、倍角の公式と三角関数の合成などで成立を確かめるのは容易。鈴木貫太郎氏は合成の cos バージョンを使っていたが、sin だとどうなるだろうとか、三角関数の問題は1の冪根を使って示せるはず、とかやっていた。後者は問題は書き直せるが、簡単に成ったかというとそんなことは無かった。ただ SageMath で E(n) とやると exp(2πi/n) にしてくれるので、三角関数でやった時は近似値で確かめるしかなかったものが代数的に確認できたりはしたが。で思い付いたのが、うちの入試で1の13乗根を使う三角関数の問題が出ていたが、それも近似値でなく厳密に確かめられた。よかった。とかやってて、明るくなるまで起きていたんだが。

で起きたら結構遅い時間。今日は一日やることが無いので、問題は無かったが。ただ、映画「憧れを超えた侍たち 世界一への記録」という WBC のドキュメントが明日までなので、見に行きたかった。SageMath をいじる前に上映時間を確かめておいたので、まあ夜更かししても呑まなければ大丈夫だな、ということで起きていたんだが。シャワーを浴びてから3時半過ぎに住処を出て、二条へ向かう。地下鉄東西線は相変わらずすいてる。映画館の入っている建物の1階の「たかばし」で味噌ラーメンを食べ、喫茶店でアイスコーヒーを一杯飲んで、映画を見るべく4階へ。が、何やら腹が痛い。アイスコーヒーを短時間で飲んだのが原因だろうか？まだ何となく調子がおかしいが、映画が始まってしまうので、上映室へ向かう。これがある意味悲劇の始まり。

映画は優勝を決めたシーンから始まった。大谷が帽子とグローブを投げるシーンは何度見ても興奮する。本編では選手選考会議の様子や、キャンプ中ブルペンでダルビッシュが佐々木朗希にスライダーの投げ方を教えてるシーンなど、普通では見られないような映像が満載。でいよいよ WBC 開幕。その後もベンチの様子や、ブルペンの様子、源田が骨折した後のダッグアウト裏の様子など、貴重映像が次々と出てくる。栗林が離脱する時の映像もあり、見た甲斐があるというもの。が、上に書いた悲劇は始まりつつあった。スクリーンに割合近い席を陣取り、手で持ったカメラの望遠レンズでの映像が多く、揺れていた。段々乗り物酔いのような状態に成り、気持ち悪くなってきた。吐きそう。が、途中で映写室を抜け出すのは嫌だ。我慢して見る。それでもいい映像が目白押しで、楽しい。優勝したという結果を知っているので、楽しく見られたが。メキシコ戦でのサヨナラ勝ちのシーンなど、何度見ても興奮する。で優勝して、シャンパンファイトをやっている様子を流して、近藤とダルビッシュが途中抜けてシャワーを浴びて帰ってきて、ヌートバーが「近ちゃん、何やってんの！」と日本語で話し掛けたところで映像は終わった。何か変な終わり方だな、と思い、スタッフロールが流れるのを見ていた。客は誰も出ていかない。選手の名前、監督の名前が出るのは当然として、他にも全コーチ、全バッティングピッチャー、全ブルペン捕手の名前も流れた。それと当然のごとく映像スタッフなども。それがあいみょんの歌をバックに流れて、その後もう一度優勝決定のシーン。いいですね。で最後は映写室爆笑。何故かというと、大谷の「俺のグローブどこ？」という声が流れたため。こういう声は密着映像でないと拾えないな。さすがでした。気持ち悪いのも何とか耐えられた。まあ楽しかったです。Blu-ray にしてくれたら買ってもう一回見る。

ちょっと気持ち悪い時はオロナミンCを飲んで一発げっぷをすれば大抵治まる。で何とかなった。その後ポカリスエットを飲んで、まあ大丈夫かと。帰りの地下鉄はまあまあ混んでた。帰宅時間帯だからね。東西線の車両は小さいのだが、それでもあの程度の混みようでは赤字かな。京都の財政状況は苦しいそうだ。そんな中市役所を建て直すと言ってるが、大丈夫なんだろうか？などと考えながら山科へ。ちょっと脂っこいものは食べたくないので、なか卯でざる蕎麦を食べることにして、行く。が、席に前の人の使った食器が二つそのままに成っていて、テイクアウトを待ってる人が二人、店員が二人慌ただしく動いている。何やら一人目の人が大量に注文したらしく、それでパニックていたようだ。小生より前に注文した人の食べ物がまだ出てきていない模様。で小生の所に来たものがざる蕎麦でない。どうも写真を見て商品名をきちんと確認しなかったようで、「肉付け蕎麦」を間違えて注文してしまったようだ。まあいいか。まだ何となく調子がおかしい。明日は講義がある日なので、早目に寝よう。と言いながらここ数日全然早寝していないんだが。

今NHKでニュースを見ているが、ウクライナ情勢は相変わらず悲惨だ。いつ終わるんだろうか？ロシアが核を使うかも、という怪しげな情報もある。プーチン、早くやめなさい。

交流戦全日程終了

2時に会社の人が訪ねてくる、とは昨日書いた通り。で早目に寝て、早目に起きて、シャワーを浴びて髭を剃って、食事をして、は全て水泡に帰す。目が覚めたら1時20分。寝る前に You Tube を見たら、鈴木貫太郎氏のページで三角関数の信じられないような等式のことをやっていて、それを見てから TeX 化する、とかやったら遅くなってしまったのだ。汗臭いといけないので、シャツだけ着替えて急いで出勤。まあ髭は剃らなくてもマスクをしてるしいいかと。フォレストハウスの脇の身体障害者用駐車スペースに停めてしまった。学内を回っている警備の人が真面目だと警告書がワイパーに挟まれていることがあるが、今日はどうだろうか？

で1時56分くらいにウェストウィングの6階に着いたら、何やら背広を着た人がいた。会社の人か？と思って話しかけたらそうだった。人様に招待された時は少し遅れていくのが礼儀、と教わったような気がするが、大学を訪問する時はそうではないんだろうか？知らんけど。で会社のことなど幾つか聞いた。訪ねてきた人はうちのOBだそうだ。衣笠だったそうだが。10分くらいで帰っていかれた。今日の用事がそれだけだと勿体ないが、今日は学科会議がある。教務委員から幾つか報告があって、他には1回生のガイダンスで喋る院生の候補探しと、秋に衣笠キャンパスで行われる某用事の人員決め。教務委員の話はもっと込み入った話かと思ったらそうでもなかった。事務が寄越した書類を見せてくれていたが、何を言ってるかわからない日本語。事務の人も訳が分からなかったらしく、文科省の言ってきた文書をそのまま載せたらしい。ロジックが破綻してて、数学者集団はお怒り。まあとにかく意味は分かった。他の二つは院生は適任者がすぐ見付かり、衣笠の仕事はお一方やってくださるという方がいて、すぐ決まった。滋賀に住んでる人は衣笠は遠くて嫌だろう、最悪小生が行くしかないのか、と覚悟を決めていたが、滋賀に住んでる方が名乗り出てくださり、まあよかった。6時前には終了した。

で部屋で線形代数の勉強をするつもりが、ついマインスイーパーを始めてしまった。中々成功せず、つい時間を使ってしまった。阿呆や。で線形代数の勉強をようやく始めたが、易しいはずの問題が解けず、一苦労。いや、幾つも解法はあって、すぐ出来たは出来たんだが、本に書いてある略解が理解出来ずに苦労したのだ。冷静に成って考えて見たら、略解にはちゃんとエッセンスが書いてあることがわかり、すぐ出来た。一応 TeX 化しておく。その後野球の様子を見ながら、もう少し線形代数。肝心な所まで辿り着かなかった。まあいいや。今日の野球は Eagles vs. Dragons のみ。Eagles は昨日の負けで交流戦優勝が無くなったためか、気合が抜けている模様。1回に1点、2回に2点、3回に1点それぞれ取られ、あっさり負け。交流戦は5割で終了。最終順位は6位。交流戦は今日で終わり。ホームランと打点は Giants の岡本（和）、打率は Hawks の近藤。最多勝は3勝で、山本（Buffloes）、山崎福也（Buffaloes）、バウアー（Baystars）、戸郷（Giants）。防御率は才木（Tigers）、高橋宏斗（Dragons）が 0.00。防御率 0.00 は二人を含めて過去五人しかいないそうだ。凄い。奪三振は31でバウアー（Baystars）。佐々木朗希（Marines）、高橋宏斗（Dragons）の27より上を行き、二冠。バウアーの今後が楽しみやね。リーグ戦は明後日再開。明日は一日のんびり出来る。野球の結果に一喜一憂しないと精神的にいい。まあハラハラするのも楽しいけどね。

この前見た浜田省吾の映画のグッズの最終販売が今日の6時から、というのを忘れていて、8時くらいに気付いた。パンフレットが欲しくて、web ページを見たら幸いまだ残っていた。よかった。Tシャツも欲しかったのだが、Lサイズは売り切れ。XLを買おうかと思ったが、まあやめておいた。流石にSやMは着られないので、仕方ない。それとうちで売り出している「理工学部ポロシャツ」を先日受け取っていたが、持って帰ってきた。「立命館」とか「Ritsumeikan」とデカデカ書いてあると着づらいが、去年事務の人の着てたのを見ると書いてなかった（一応トレードマークの「R」は誇張してあったが）ので、普段着るのにもいいかと思い、3色買った。小生半袖シャツをあまり持っていない。Tシャツは結構あるのだが、胸ポケットが無いから、スマホやカード入れを尻ポケットに入れねばならず、不安だったのだが、まあよかった。早速金曜日の講義に着ていこうか？

水曜日の深夜は「タモリ倶楽部」が楽しみの一つだったのだが、終わってしまった。で何がやるのだろう？と先週見ていたら、何やらロバート秋山が7月に福岡で行われる世界水泳の「非公認アンバサダー」として盛り上げる、という番組。秋山がゴチャゴチャやっていて、あまり真面目に見なかったが、懐かしかったのが学校のプールの入り口にあった腰から下を消毒するあれ。「みんなあの頃より下半身は汚れてしまったろう」などと下品なことを言っていた。4月に収録したらしく、流石に震えあがっていた。6回の限定放送だそうだが、その後はどうするのかな？水曜日に早く寝られるかどうかはそれに掛かっている。まあ秋学期も木曜日は確か用事が無いんで、水曜日は早寝しなくてもいいが。いや、それは関係無く規則正しい生活しないといけないん違うか？という突っ込みは却下。夜更かし出来る日は目一杯夜更かしします。

18回目の交流戦は横浜DeNAベイスターズが優勝

昨晩は線形代数の勉強はしなかったが、職場で計算してきたことの続きをやってしまった。有理数体に2の3乗根と－3の平方根を添加した体で素数がどう素イデアル分解されるか？ということを。2、3、5だけだが、十分難しい。ガロア拡大では [K：k]＝efg と単純なのが効いている。などとしているうちに遅くなってしまった。で今日はちょっとまずった。やはりちゃんと寝ないといけない。明日は企業の人と会う約束と学科会議がある。明日は早目に起きて髭を剃ってシャワーを浴びて、としよう。今日は程々に寝る。

学科長会議と教授会の間に大河ドラマの今週の分を見た。水野信元（家康の叔父）が成敗され、信康がおかしくなりだし、ついに築山殿が裏切るか？というあたりで今回は終了。築山殿の件に穴山梅雪が関わっている、という感じにするようだが、どうなんだろう。穴山梅雪と言えば武田を裏切って徳川に降り、武田滅亡の原因を作った人物。この後どう書かれるかが見ものだ。穴山梅雪は本能寺の変の後のゴタゴタで殺されるんだが、その時41歳だったそうだ。大河ドラマでは田辺誠一が演じているが、田辺誠一は小生より少し若いくらい。少し歳を取り過ぎている感じ。山県昌景は140cmくらいしかない小男だったそうだが、演じていた橋本さとしは大男。まあその方が格好いいからいいけどね。

で教授会。今日はちょっとある投票があり、時間が掛かった。宿題として何やらハラスメント関係の動画を見ないといけないと言われた。「悉皆」なんて言葉誰が知ってるんだ？という感じだが。昨今「忖度」というこれまた難しい言葉が有名になったが、知らない言葉が多いな。どっちも今のパソコンは一発で変換してくれるが、昔は ATOK の辞書はフロッピーディスク1枚に収まる程度だった。こういう難しい言葉は出ないだろう。日大に通っている友人が、東大は変換してくれるが日大はしてくれない、と怒っていた。名簿を作ってる時に「鶴見」を変換してくれてビックリしたが、大阪に鶴見という所があることを知ったのは後のこと。ATOK はジャストシステムという所の製品だが、会社は徳島にある。ATOK は「阿波・徳島」の略では？とまことしやかに言われていたが、どうなんだろう？教授会は5時半くらいに終了。

テレビを付けたら、何やらサッカーの試合があるようなことを言ってたが、Baystars ファンの一番の興味は野球の Swallows vs. Eagles の試合。Eagles が負ければ Baystars が交流戦優勝。Eagles が大差で2試合勝ったら Eagles が優勝、と言われていたが、「大差」とは30点くらいの差、ということらしい。有り得ないな。Eagles が発足した年に Marines vs. Eagles が25－0というとんでもない結果だったことがある。勝ったのは Marines で、勝ち投手は渡辺俊介。こんな試合で完封勝ちした集中力が凄い、と記憶に残っている。Swallows がいくら6連敗中とはいえ、30点差は有り得ない。ということでもう Baystars の優勝は決まっている。安心して見る。1回裏にオスナ3ランホームラン、内山2ランホームランで、早くも Swallows が5点先制。決まりだな。2回裏は Eagles にバッテリーミスが出て6－0。スタンドにいる Eagles ファンが、「交流戦優勝まであと36点」と書いたスケッチブックを持っていたが、虚しくなかったろうか？その後も Swallows は得点を重ね、最終スコアは13－0。今日はブルペンデーの予定だったらしく、先発金久保は4回無安打で交代。先発は5回投げないと白星が付かないというルールなので、こんな試合でも勝ち投手に成れないのは残念。勝ち投手は山本大貴。6年目でプロ初勝利。よかったね。

えーと、まあ上に書いた通り Baystars の交流戦優勝は決まっていたのようなものだが、やはり「優勝」という言葉は嬉しい。CSを勝ち抜いて日本シリーズに行ったことはあったが、多分「クライマックスシリーズ優勝」とは言わなかったと思う。ということで「優勝」は25年振り。さあ後はリーグ制覇だ。金曜日から横浜スタジアムで2.5ゲーム差の首位 Tigers と。3連勝で一気に奪首といきましょう。祝杯はお預け。今日は大人しく寝る。

勝って交流戦優勝を決めたかったが負けた。まだ優勝の望みはある。

起きたら9時。シャワーを浴びるくらいの時間はあるので、ドーピングしてから汗を流す。9時45分くらいに住処を発つ。生協の本屋を冷やかす。面白そうな本を見付けた。が、探している本は見付からず。まあ後でオンラインで頼むとしよう。

月曜日は「線形代数学」。線形変換の直和とか行列の直和とか定義して、ベクトル空間の部分空間の補空間を定義。で有限次元ベクトル空間の部分空間には必ず補空間が存在するが、例によってテキストでは示してない。後で必要になるので、一生懸命示す。その後一般固有空間など。で固有値全部走らすとベクトル空間は一般固有空間の直和に成ることを示したいが、時間が来てしまった。来週残りをやって、幾つか例。その後いよいよジョルダン標準形に入ってしまう。講義も大詰めだな。今日が11回目。後4回だ。

昼飯はどうしよう？取り敢えずフォレオの方面へ車を走らせるが、長崎ちゃんぽんを食べるには暑い。さて、というところで閃いた。フォレオに蕎麦屋があって、ざる蕎麦とミニ鰻丼のセットがあった。それにしよう、ということにした。1400円はちょっと高かったが、まあいいです。で大垣書店に探してる本が無いかと思って調べたが、無かった。まあいいや。

1時半前に個研室に戻ってきて、線形代数の勉強。冪零変換のジョルダン標準形の存在証明のへそが今一つわかっていないので、勉強。三宅敏恒「線形代数概論」に少し特別な状況での証明が出ているので読んだが、特段易しくなっているわけではなく、難しいことには変わりがない。やっぱりまだ分かっていない。もう一回読もう。であっと言う間に4時20分。

4時20分からゼミ。ヒルベルト理論の続き。分解群から剰余体の拡大のガロア群への自然な写像が全射準同型写像であることを示すのが目的だが、例によって色々問題あり。全射であることは詳細に書いてあるが、準同型写像であることが書いてない。で例によって考えてきていない。本を読むんじゃない、行間まで読むんだ、と毎回言ってるんだが。こんな調子で最後まで進めると思ってるのが不思議。来週以降もしつこくやる予定。でちょっと時間があったので、少し話してきた。体を上げた時に素イデアルがどう分解するかは体の個性に依存するのは勿論だが、実はガロア群の構造に縛られている、ということを言っておく。例えば V₄ 拡大や S₃ 拡大では惰性しえないことが分かったりとか。チェボタレフの密度定理のステートメントを空で言えればよかったが、それは難しかったので、共役類の様子で素イデアルの分解が決まったりとだけ言ってきた。他にも色々言いたかったが、まあいいか、と。

で個研室で SageMath をいじりながら少し素イデアル分解のことを調べたりしながら野球の様子をチラチラ。上茶谷は4イニングを無失点と、上々の出来だった。が、2番手三嶋がいきなりソロホームランを打たれ、その後ノーアウト満塁のピンチを残して森原に交代。清宮のセカンドライナーにランナーが飛び出していてダブルプレー。松本が三振と、森原は最高のリリーフ。6回表が終了した時点で職場を出た。

すき家でいつものニンニクファイヤー牛丼。待ってる間に野球の様子を見たら、追い付いている。大和が満塁からタイムリー2ベース。まだ早いので国道1号は混むだろうと思い、名神経由で帰ってきた。四宮の交差点で信号を待っているときに見たら、3－1とリードしている。おっ！ピッチャーは伊勢。行けるぞこれは！と期待して住処へ。が、またノーアウト満塁のピンチ。何してんだか。マルティネスに2点タイムリーを打たれ追い付かれた。もう。が、代わったエスコバーが無得点に抑えた。まあいいです。引き分けでも交流戦優勝なので。8回裏に2アウト満塁のチャンスを作るも、佐野が初球を打ってキャッチャーへのファールフライ。もう。エスコバーは9回も抑えた。9回裏2アウト2塁のチャンスは大和が凡退。10回表は康晃。解説の大魔神佐々木が康晃に不安があると発言していたが、予感が当たり万波にソロホームランを打たれてしまった。こんな状況でカットボールはダメでしょ、と言っていたが、そのカットボールをホームランされたので、何とも悔いが残る。でそのまま抑えられ、これで11勝7敗で4チームが首位に並ぶ展開。が、得失点率とかいうよくわからないもので順位を決めるそうで、並んでいる Hawks, Buffaloes, Giants にはもう優勝の可能性が無いらしい。Eagles が2試合残して9勝7敗。今日は負けたが1点差だったため、Eagles は結構な得点差を付けて2勝しないといけないらしい。ということで Baystars の交流戦優勝はほぼ確定。が、何があるかわからないので、油断は出来ない。

しつこいがもうちょっと野球の話。Baystars の攻撃で結構多いのが、3連打で満塁にして無得点とか、ヒット4本つながったのに1得点とか。今日も1回裏2アウトから3連打で無得点、6回裏は2塁打、敬遠四球、四球で満塁も大和のセンター前ヒットで1点だけ。7回裏は満塁から2点取ったが、8回も満塁のチャンスで佐野がキャッチャーフライで無得点。もうちょっとどうにか出来ていたら勝ってたんだが。まあ仕方ない。繰り言を言っても虚しいだけ。やめましょう。明日は学科長会議と教授会、明後日は企業の人と会ってから学科会議、明後日はWBC関係の映画を見に行きたいし、金曜日は講義のため、暫く呑めない。今日勝って優勝してたら呑みたくなるところなので、まあよかったです。後は Eagles が負けるのを願うのみ。おっと、線形代数の勉強をしないと。まあ今日はやめておこう。

「牧集合デー」に牧の猛打で佐々木朗希を打ち崩す

昨日呑み屋に行ったら、最初からバイトの人がいる。予約が入ったそうだ。よかったね。その後も二人組の客が来たり、出前館から注文が入ったりと、賑わっていた。暇な方が店長と話が出来て楽しいのだが、いつも暇では潰れてしまう。程々に流行ってくれないとね。客が一通りいなくなった後は店長とバイトの人と3人で楽しく話してきた。暑かったのでビールが進み、その上日本酒まで呑んだもんだから大分酔った。が、帰ってきて暫く録画してあるものを見るくらいではあったが。「サンデーライブ」が始まる前にダウン。

目が覚めたら1時過ぎ。野球は2時からだから、もう少し寝るか、としたら2時を過ぎてしまった。野球は途中から。1回表、2アウト1、3塁と先発石田がピンチを作ったようだが、無失点。よかった。今日の Marines の先発は佐々木朗希。苦戦するだろう、と予想される。2回裏に1アウトランナー3塁のチャンスを作るも無得点。むう。4回表に中村奨吾にソロホームランを打たれる。が、石田は打たれたヒットはその1本だけと、好投。すぐ4回裏に牧のタイムリーで追い付く。石田は5回のチャンスで代打を送られ、降板。6回裏に牧タイムリー、宮崎2ランホームランで4点目。佐々木朗希から4点も取るとは。凄い。牧が佐々木朗希から3安打。凄い。8回裏に途中出場の神里が2点タイムリー3ベースで勝負あり。Giants が負けたので、Giants の優勝が無くなり、Baystars は明日勝つか引き分けで交流戦優勝。期待します。が、明日は7時半までゼミ。流石にゼミ中にスマホで経過観察とはいかないから、終わるまで我慢。

今日は「牧秀悟」に因んで「牧集合デー」とかいうやつがあり、牧の「影武者」が横浜スタジアムに大集合。「影武者」とは雰囲気が似ている人、くらいのことだが。そんな日に4安打でお立ち台とは。牧はスター性がある。最終打席がホームランなら2度目のサイクルヒットだったが、残念ながら最終打席は2塁打。まあ4安打で、打率3割も見えてきたのでは？優勝して MVP といきましょう。あ、Tigers も負けて、2ゲーム差に成った。6ゲームまで開いた時はどうなることかと思ったが、Tigers の勢いは無くなった。リーグ戦再開後は横浜スタジアムで Tigers と3連戦。一気にひっくり返してやりましょう！

さて、月曜日は8時半起きを目指している。ということで今日も早寝する。起きたばっかりだが、案外寝られるもんだ。「サンデースポーツ」が終わったら寝よう。ということで後3時間くらいは起きてるが。それまでは適当に過ごすことにする。

10－1と快勝で、昨日の鬱憤晴れる

昨晩は疲れてるはずが中々眠くならなかった。で何だかんだと随分遅くまで起きていた。テレビを付けっ放しで11時近くまでは寝たが、寝不足気味。

近所で野暮用をして、松屋でトンテキ定食を食べてきた。3時までにトヨタに行くので、それまでちょっと仮眠。起きたら2時過ぎ。野球が始まってるな、と思ってスマホで速報を見たが、何故か情報が無い。設定がおかしく成ったのだろうか？わからんのでテレビを付ける。チャンスの場面。満塁で佐野が走者一掃の2ベースヒット。よっしゃー！というところでトヨタに行かないといけない時間に成ったので、後ろ髪を引かれながら出掛ける。

トヨタでは新車の点検。小生を担当してくれる方は別のお客様と商談中で、別の人が来た。事務的なことを話しただけで、何事もなく待たされることに。ちゃんと「義経」を持っていたのでよかった。今日で上巻が終わりで、下巻に突入。まだ木曾義仲は生きている。が、義経の軍に宇治川で負けて、さて、というところで点検終了。特に問題無し。ガラスが綺麗に成って嬉しい。最近セルフのガソリンスタンドに行くことが多いので、窓ガラスを拭いてもらっていなかった。納車されたのようで気分がよろしい。4時前に帰宅。

野球を見ると6－1。佐野の後牧がタイムリー、宮崎がホームランで1イニング6点。いいですね。解説の佐伯貴弘氏が「そろそろ追加点が欲しいですね」と言っていたら、7回に戸柱の満塁走者一掃の2ベースで3点加点。いいですね。8回にも敵失でランナー2塁の状態から大和がヒットで10点目。昨日は色々腹の立つ試合だったので、スッキリした。Giants は負けて、まだ交流戦優勝はある。明日、明後日も勝ちましょう。が、明日の Marines の先発は佐々木朗希。うむ。まあ打ち崩してやりましょう。

でその後 Yahoo！の速報で Tigers vs. Hawks を見ているが、Tigers が1点リードで、ピッチャー岩崎。嶺井が2ベースを打ってランナー2塁という状況。代走周東。甲斐が四球を選び代走谷川原。野村勇が三振で2アウト。バッターは中村晃。で願ったら出た。逆転のタイムリー2ベース！今宮にもヒットが出て2点差。その後満塁にしたが、今9回表が終わったところ。満塁に成ったが、三者残塁と、もう一押しならず。まあそれでもよかった。今から9回裏。モイネロが出てくるでしょうか。防御率0.76と無双状態。抑えてくれるでしょう。これで3ゲーム差。まだまだ。

先週は「春のオープンカレッジ」のため呑みに行かず、住処で深酒をしてしまったので、今日は呑みに行く。寝不足気味なのでまわるかもしれないが、まあいいか。

Hawks のピッチャーはモイネロでなくオスナだった。こちらは防御率0.44とさらに上。ここまで12セーブに5ホールド。抑えてくれる、筈。などと書いたそばから試合終了。抑えてくれた。よしよし。気持ちよく呑めるな。呑み屋の大将は Tigers ファンだから、機嫌を損ねないよう気を付けよう。

Tigers の大竹は勝ち投手の権利を持って降板で、勝てば12球団から勝ち星だったそうだ。また来年頑張ってください。

北別府学氏死去の報に驚く

今日は中々起きられなかった。シャワーを浴びると昼ご飯を食べる時間が無くなるが、どうしよう、と悩んだが、食事抜きを選んだ。まあ何も飲み食いしないといけないと思い、ウェストウィングの1階でパンとコーヒーを買って流し込むくらいのことはしたが。

今日の「代数学I」も相変わらず出席者が少ない。今日はユークリッドの互除法と、それを使って ax＋by＝(a,b) の解を求める話から始めて、体上の多項式は係数の体を上げても最大公約数が変わらないこととか。これは自明ではないよね？その後因数定理が任意の可換環上で成り立つこと。高校では係数の環を意識してないが、Z 係数の多項式が Z に根を持ったら商が Z 係数に取れることなどを強調しておく。これも自明じゃないよね？で応用として整域上の多項式の根は高々次数個であるとか Wilson の定理とか。最後に Z 係数の多項式の有理数根の分母と分子が制限されることを示して時間。来週はアイゼンシュタインの既約性判定法などをやる予定。

今日も卒研は一人が日本で一人が中国で、ということなのでパソコンを持っていったら、中国にいる学生が高熱に苦しんでいて、ゼミを無しにしたい、と言ってきていた。むぅ。抗原検査で陽性と出たそうだ。無駄だったな。まあ仕方ない。来週は帰ってくるんでしょうか？そっちが不安だ。仕方ないので整数論のゼミだけ。円分多項式を定義して、Z 係数に成るとか Q 上既約であるとか証明してくれた。もっと難しいと思ったけどそうでもなかった。ちょっと講義で疲れていたし、糖分も不足していて脳味噌がうまく動いてなかったから、ちゃんと理解したとは言い難いが。まあ後でもう一度読んでみよう、という勇気は出た。4時10分くらいに終了。

その後講義ノートを直して web に上げる作業。2つ3つ軽微なミスがあったので、直す。誰も解かない演習問題は去年と同じものを上げて、それから学科長の用事を少々。取り敢えずまた一つ片付いた。事務の人の顔を大分覚えてきた。学科長に成るとこういうのがいいところかもしれない。名前に「爽」と入ってるからどんな爽やかな好青年だろう？と思ったが、案外冴えない感じの人だ。まあ足立先生が昔言っていたが「君の顔のどこにも君が加川だとは書いてないだろう？」てな感じで、名前からは人物は想像出来ない。昔冴えない感じの学生だが名前が超格好いい学生がいた。名前を付けた時はどう育つか分からないからね。

作業中に「北別府学氏死去」のニュースが入ってきた。65歳。小生と10しか違わないのか。小生が子供の頃から活躍してたから、もうちょっと上だと思っていた。色々な病気に苦しめられていたようだ。ご冥福を祈る。

でちょっと気付いたのだが、「代数学I」のレポート問題にミスがあった。「平方数で割れない」は「1以外の平方数で割れない」としないと。秘蔵の問題集には「square-free」と書いてあったが、このままだとちょっとよくない気がしたので直したが、1が平方数であることを見落とすのはよくあること。まあ昨日の今日なのでまだ誰もダウンロードした様子は無いが、念のため訂正があったことも書いておいた。締め切りは1か月以上後。出来はどうでしょうか？

晩飯はなか卯で「鰻丼豪快盛り」。昼あまり食べていないのでいいか、ということにした。食べてる時は大丈夫だったが、今ちょっと苦しい。やっぱり2枚盛りくらいにしておけばよかったかな。去年は「豪快盛り」の上に「無双盛り」というやつがあったが、それを頼む勇気は無かった。今年は無いようだ。売れ行きがよくなかったということだろうか？

さて、いつもは野球のことをウダウダと書くんだが、今日は不愉快なのでバッサリ略。先頭打者の四球は点につながる、ということを実証したような試合だった。Marines の益田直也に通算10人目の200セーブを達成させてしまった。まあいいです。明日勝ちましょう。優勝してもせいぜい勝率6割。毎日勝つわけはないのです。気長にいきましょう。

明日は午前中ちょっと用事があり、その後新車の点検のためトヨタに行く。新車って1か月点検が義務だったのでは？という気がするが、どうだったかな？今見返したら新車は4月23日に納車されている。ということは約2か月。まあいいけど。髪の毛が大分伸びた気がしてきたが、床屋には4月25日に行ったようだ。控えてあるとこういうのが気に成った時便利ですね。紙とペンで記録するかと言われれば面倒だからやらないと思うが、パソコンに向かってポチポチと打つならそう面倒でもない。こっちに来てもう24年に成るが、多少のブランクはあったといえど続いている。死ぬまで続けますわ。

降雨ノーゲームで、負けた Tigers と半ゲーム詰まるが、交流戦首位を Giants に譲ってしまった

ちゃんと同僚からメールが来て、今日は2時40分以降に会う、と約束。ということであまり早寝しなくてもいいな、と成ってしまう。2時40分職場なら昼飯を学外で食べていく、と思っていたのだが、寝たのが遅いせいで起きたのも遅い。結構ギリギリで食事をしてる時間が無くなった。急いで飛んでいく。と言ってもいつもの通り言葉の綾で、追い越し車線に出てバンバン抜いて、というこはしなかったが。

で同僚と打ち合わせ。もっと込み入った展開を想像していたんだが、そうでもなかった。10分くらいで終了。まあいいです。時間がたっぷり出来たので、単位認定レポートの仕上げをしよう、ということする。最近の学生はすぐ答えを要求してくる。だから予め作っておく。まあ問題に不備が無いことを点検するためにはその方がいいが。でごちゃごちゃと計算して、どうやら完成。manba+Rに上げておく。公開は代数学Iは明日の2時40分、線形代数学がは月曜日の12時10分にしておいた。講義でアップした旨宣言するので、講義が済んだら見てください、ということで。何かの本をひっくり返せば答えが出てくるという問題にはしなかったつもり。一生懸命考えてください。

その後月曜日の線形代数学の予習。何年もやってるので大体OKだが、一般固有空間に対してもうちょっと理解を深めておこうと。一般固有空間全部の直和を取ると空間一杯に成るが、固有空間だとそうはいかない。で講義ノートに「固有空間の直和で空間が一杯 ⇔ 対角化可能」とメモってあったが、あまり真剣に考えてたわけでもないので、考えてみた。が、何か頭の整理が出来てなくて、グチャグチャになる。でテキストを見ると、「固有空間全部の次元の和が空間の次元と等しい ⇔ 対角化可能」とは書いてあった。で証明を読んでみると、本質的に上に書いたことと同じ、ということが分かった。TeX 化しようか、と思ったが、面倒なので後日やることにした。

などとしながら野球の情報をチェック。1回裏に牧の3ランホームランで先制。が、その後の満塁のチャンスを潰す。こんなことをしてるとロクでもないことが、と思ったら、2回表にあっさり同点にされてしまう。2回裏もチャンスを作るも無得点。でちょっと作業をして、途中で見ると「雨のため中断中」の情報。うむ。でまた暫く作業。で見ると「降雨ノーゲーム」。牧の3ランは幻に成ったか。まあいいか。で Tigers vs. Buffaloes の様子を見たり Lions vs. Giants の様子を見たり。前者は9回表の時点で Tigers がリードしていたが、抑えの湯浅が頓宮、杉本にホームランを食らい、Buffaloes が逆転。おぉ。でそのまま Buffaloes が勝った。Tigers と半ゲーム詰まった。よしよし。後は Giants が負けてくれれば。9回表の同点の場面で、抑えの大勢が危険球退場。おぉ。が、Lions は得点出来ず。延長に入って、しばし。見ると試合が終わっていて、Giants の勝ち、という情報。むぅ。サヨナラ打を打ったのは梶谷。気に食わんね。交流戦単独トップを譲ってしまったか。まあいいです。横浜スタジアムで残り4試合。全勝と行きましょう。交流戦優勝で景気づけといきましょう。

雨が個研室の窓に打ち付けていた。今日は降ると言ってたな。念のため傘を持っていっておいた。よかった。明日はどうだろうか？パソコンを持っていくので、降らないで欲しいが。来週の水曜日は卒業生がお世話に成ってる会社の人が訪ねてくるのだが、それだけの為にし職場に行くのは面倒だな、と思っていたら、同僚が学科会議の開催を要求してきた。まあ用事が二つならいいか。その日もパソコンを持っていくが、来週は雨勝ちのようなことを言ってた。水曜日は降らないで欲しい。

AI はうまく使わないといけない。騙しや詐欺に使うのはもってのほか。レポートの問題の解答を作ってもらうのも論外。まあまだ数学は大丈夫だと思うが。対角化出来ない行列を対角化してきたり、ジョルダン標準形が単位行列に成って、元の行列と＝で結んでいた。等しくないのに。それと思しき解答が出てきたら、遠慮無く×を付けさせてもらう。酷いようなら F 評価だ。心してください。

バウアー慣れた中四日登板で来日初完投勝利

昨晩は呑みながら演習問題を考えていた。5が Q(2^1/3)/Q でノルム5とノルム25の二つの素イデアルの積に分解されることは書いたが、5でなくても p≡2 (mod 3) なる奇素数 p は同じように分解される、ということが証明出来た。で Kummer の定理があるので、X³－2 は mod p で1次式と既約な2次式に分解される。おお、これはいい。代数学Iの単位認定レポートに使おう、という気に成った。3問用意しておいたんだが、うち2問に同じことを問うところがあり、しかも1題は体の拡大の問題。難しいだろうな、と思っていたので、差し替えよう、というところでトラブル。Bluetooth マウスが反応しなくなる。うぉー！色々やってもうまくいかない。まあいいや、ということで USB 接続のマウスに取り換えたが、今度は左ボタンが反応しない。うぉー！仕方ないのでタッチバッドを有効にしてやっていたが、色々イライラする。やめて寝ることにした。まあもう明るくなってたんだけど。イライラするので、ちょっと呑み過ぎた。

起きたら訳の分からない時間。しばしマウスと格闘。タッチバッドを有効にしたまま USB 接続のマウスをいじるも、全然うまくいかない。でもう一度 Bluetooth マウスの設定を試してみる。中々うまくいかなかったが、何とかなった。ということでタッチパッドを無効にして、マウスをいじりながら演習問題の続き。もう一つヒントがあった方がいいかな、として、どうやら完成。後でもう一回見直すことして野球観戦。

今日は Fighters と。Baystars がバウアー（中四日）、Fighters が加藤貴之。どちらも好投していて、中々点が入らない。5回裏に牧、宮崎、ソトの3連打で2点先制。バウアーは1回表に清宮にヒットを打たれた以外はヒットすら打たれない。いいねー、と思って見てたら悪い病気。7回表に万波にソロホームランを打たれる。打線もその後加藤の前に沈黙。8回表に監督が出てきたので、バウアー交代？と思ったら守備固めを告げるために出てきたので、バウアーは続投。8回裏の攻撃はバウアーから。代打か？と思ったらバウアーが出てきた。あっさり三振。であっさり三者凡退。バウアーは9回表もマウンドへ。1アウトから代打石井にヒットを打たれ、代走江越が二盗、三盗。バッターはヒットを打たれている清宮。嫌な予感。が、清宮は空振り三振。次の加藤豪将は見逃し三振でゲームセット。バウアー完投！凄い。12奪三振。で時計を見ると8時8分。両投手とも完投で1失点と2失点。まあそりゃそうか、という感じ。興奮した。残念なのは Tigers が勝ってしまったこと。西勇輝が12球団から勝利とか。交流戦があるので、増えたね。昔はセ、パで最低4チームに所属しないと出来なかった。確か工藤公康が13球団から勝利、という凄いことをやってるはず。まあ他には出ないだろう。

そう言えば昨日3安打でお立ち台に上った桑原が登録抹消されていたが、何故？情報が無い。詳しい人は教えて。代わりにセンターに入った蛯名はヒットは無かったが守備でいい所を見せた。明日はヒットを。是非。

明日は用事が無いはずだったのだが、同僚が明日か明後日のどっちかで会えないか、と言ってきた。明後日は慌ただしいので、明日にしましょう、都合のいい時間を知らせてください、とメールを書いたが、まだ返事が無い。今日は早寝するか。

講義はギャップ無くやる方がいいと思うが…

宣言通り寝たが、一旦目が覚めてしまった。眠くならないので、色々考えたり思い出したり。昔同業者とギャップの無い講義はいいか悪いか、みたいなことを議論したことがある。小生は講義はギャップ無くやる派。ギャップを残した方がいいという意見の方は、考える余地を残しておかないといけない、という意見だった。小生は、まず手本を見せなければ、考えるも何も手も足も出ないから、ギャップを残さずやるという意見。話は平行線で決着はつかなかった。相手の方は今どう思っておられるか知らないが、小生の考えは変わっていない。実際あったのが、部分環であることの同値条件を与えて、じゃあ、と練習問題を出すと、「どうやって示すんですか？」と聞いてくる。Well-defined であることを示して、というと、どうやるかわからない。写像 f：A → B が全射であることを示して、というと、「任意の f(a) を取ってくる」とかわけのわからないことをしたり。小生の考えは、まず例を見せておいて、2回目以降はそれをもとに考えてくれ、というもの。話し相手だった方はそういうところから考えさせなければいけない、というものだった。集合も写像も全く知らないで大学に入ってきた学生に、考えろ、と言っても無理だと思うが。ただ最近思うのは、手取り足取り例を見せても、大抵の学生には無駄、ということ。教室来て板書を写して、それから試験まで何もしない、というのではどうやっても意味無い。ノートが勿体ないので、文句を言ってくる。見返してくれる学生が少数でもいるので、そういう学生の為にやっている。ノート代ケチるだけの奴の意見は聞かないことにしている。そんなことを考えていたら眠くなってきた。

12時のアラームでは起きられなかった。12時半でもまだグズグズ。仕方なく12時40分には起きた。学科長会議は1時からなので間に合うが。今日はそんなに長くなく、2時半くらいには終わった。幾つか宿題が出た。まあ明日の学科会議はやらないでも大丈夫そうだ。その後大河ドラマを見る。いよいよ「設楽原の合戦」。「長篠の戦」と言った方が有名だとは思うが。この前「歴史探偵」で取り上げていたが、武田が鉄砲を軽視し、織田・徳川連合軍の3000挺の鉄砲隊に騎馬武者で挑み、成すすべもなくバタバタと倒れていった、というのが通説だったが、そうでもないそうだ。「歴史探偵」は明日再放送があるので、興味のある方はそちらを。大河ドラマでは通説の方を採用していた。ムロツヨシ演じる秀吉が「兵の強いもんではなく金のある方が勝つんだがね」と嫌味たらしく言っていた。秀吉感じ悪い。家康を臣下にした時はどういう演技をするんだろうか？朝鮮出兵の時は？ムロツヨシの演技が楽しみだ。その前に家康が築山殿と信康を殺すところが楽しみ。再来週くらいかな？どうする家康？

その後上岡龍太郎の追悼特番。探偵ナイトスクープでやった「日本アホバカ分布図」の話を取り上げていたが、これ、こっちに引っ越してきた時に近所のレンタルビデオ屋に行ったらあったので、借りて見た。面白かった覚えがある。上岡龍太郎面白かったね。この前書いた通り Blu-ray ディスクに直録りしたので、分かるように書いておこうと思ったら、「上大岡」と書いてしまった。こっちの方が書き慣れてるからね。

その後2、3メールのやり取りをしたり、ちょっと数学のことを考えたりしてるうちに野球の時間。今日から横浜スタジアムで Fighters と。先発今永はちょっとフラフラ。2回表にノーアウト満塁のピンチ。が、Fighters の8番バッターはピッチャー上原。ピッチャーゴロでホームゲッツー。9番郡もピッチャーゴロで無失点。よかった。で2回裏は宮崎、ソトが倒れた後大和、戸柱、今永、関根、桑原の5連打で2得点。いいですね。4回裏に関根タイムリーヒット、桑原タイムリー2ベースで2点加点。5回表に加藤豪将のファーストゴロの間に1点取られるも、6回裏に関根が犠牲フライで5得点目。その後マルティネスにタイムリーを打たれ、2番手伊勢が松本剛にソロホームランを打たれたが、9回表は康晃が3者凡退に打ち取り、無事勝利。よかった。Tigers が負けたので、3.5ゲーム差。6ゲームまで開いた時は相当な差だった感じがしたが、3.5ならそうでもない。追い掛けましょう。Giants が負けてればもっと言うことは無かったが。まあまだ交流戦では首位タイ。勝ちまくろう。

大谷が打ちまくってる。今日2ホームラン。ホームランは20本でリーグトップ。日本人で3年連続20ホームランは初とか。月間打率 .408。凄い。WBC の映画がやってるんだった。明日か明後日、もしくは来週見にいこう。

「数論入門辞典」を買ったが、職場に置いてきてしまった

今朝はちゃんと8時半には起きた。でドーピングをして、まだ食事をする時間もシャワーを浴びる時間もあった。が、腹の調子が良くない。一昨日焼き肉をたらふく食べて、昨日に掛けて一人呑みの量がちょっと多かったのが原因だろう。結局テレビの前でボーっとして、9時45分くらいに住処を離れた。

職場には10時20分くらいに着いた。生協の本屋を冷やかす。「数論入門辞典」と「幾何学入門辞典」が売ってた。どちらも分厚いので、後で買うことにする。10時35分くらいに講義室に向かう。

月曜日は「線形代数学」。今日はまずベクトル空間を「直交線形変換」、と言うのだろうか？それを使って直和分解した後、最小多項式を定義して、存在と一意性を証明してくる。三宅敏恒先生は整数論の人だけあって、多項式環のイデアルが全て単項イデアルであることを証明している。多分学生は何のこっちゃだろう。まあ来年「代数学I」でもう1回やるし、最小多項式はちょっと違うが「代数学II」でやるし。記憶の片隅に「イデアル」という言葉でも入れて置いてもらえればいいでしょう。来週は一般固有空間をやらないといけない。勉強しておこう。

昼飯は学園通りのフォレオにある近江ちゃんぽんの店で。どうも南田山の交差点近くの店と同系列のようだ。で後で知ったのだが、1階にはレストラン街があるが、2回にフードコートがあり、そこで長崎ちゃんぽんを食べられるようだ。今度行ってみよう。でもう一つ気付いたのだが、フォレオの近くに行列が出来ている店があり、そこも長崎ちゃんぽんの店のようだ。駐車場は無さそうだが、フォレオの駐車場に止めて行こうか？まあ後で大垣書店で買い物すればいいだろう、ということにして、近いうちに行くことにする。

1時20分くらいに職場に戻ってきて、講義ノートを直して web に上げる作業。何か所かミスがあったのと、最小多項式の定義がわかりづらいので直した。その後誰も解かない演習問題を web に上げる。単位認定レポートは今週中に manba+R に上げる、と約束してきたので、ちょっと考える。二つのベクトル空間が同型である、という問題は面白くない。同型でないことを示せ、という問題を思い付いたので入れる。昔一回だけ位相空間の講義を担当したが、その時「開区間 (0,1) と閉区間 [0,1] が同相でないことを示せ」という問題を試験に出したが、出来た学生はいなかった。二つの集合の間に全単射は存在する。濃度が一緒だからね。ただ同相写像が存在しない、というのは2回生には難し過ぎるだろう。コンパクト性が位相不変量であることをわかってないといけない。まあ難しいな。もうちょっと考えることにして、学科長の用事を幾つか。生協の本屋に行って「数論入門辞典」と「幾何学入門辞典」、さらに数冊購入。先日事務から来た書類が大きい手提げバッグに入っていたので、それを使って運んだ。

あっと言う間に4時20分。今日はヒルベルトの理論のちょっとしたこと。ヒルベルトの理論の全容は難しく、藤崎先生の代数的整数論の本に目茶目茶詳しく書いてあるが、「数論序説」では望むべくもない。それでも学生は大苦戦。ヒルベルトの理論が難しいから、ではなく、それ以前の問題。写像が well-defined であることを示せなかったり、全射であることを示せなかったり。それと単射であることを示すのに「a≠b ⇒ f(a)≠f(b)」を示したがるんだが、「f(a)＝f(b) ⇒ a＝b」を示す方が楽だと思うんだが。で衝撃の事実が判明。剰余環の元がどういう形をしてるか分かってない。群 G とその部分群 H に対し G/H＝{gH｜g∈G} であることは知っているようなのだが。不思議。小生言葉も口調もきついので、I 君が適宜口を出してくれるのはありがたかった。土曜日焼き肉を食べた時に I 君が言っていたが、卒研の始まる前に小生の講義ノートを随分読んだようだ。行間が狭くて勉強しやすかったと言っていたが、小生の講義ノートはちゃんと読んで復習してくれる学生には概ね好評。今日の学生は読んでないのだろう。去年「代数学II」を聴きに来ていたが、3回くらいで来なくなってしまった。ちゃんと最後まで出てれば「ガロア群の定義は？」とか「代数体って Q を含んでるんじゃないの？」とか間抜けな質問はされなくて済んだのに。大分うるさく言ってきたが、来週は少しは改まるだろうか？まあ期待は出来ないな。

I 君が色々言ってくれて時間があったので、その合間に幾つか計算した。代数体での素イデアルの分解の例を幾つか。判別式－23の3次体で23の上に二つ素イデアルがあって、一方だけ分岐する、という例は知っていたが、今日は Q(2^1/3)/Q での分解を考えてみた。5がノルム5とノルム25の二つの素イデアルに分解する。ほう、これは知らなかった。他にも円の7分体での分解など。こちらは類体論でよくわかるが、それと対応させると7分多項式の mod p での分解が分かるので、面白い例が作れる。で幾つか作った。SageMath で検算して、TeX 化する。9時前に職場を離れた。

で吉野家で麦とろ牛丼を食べることにして向かう。注文して前を見ると I 君がいるではないか。びっくり。久々に行って、個研室を出た時間も別に何の考えもなかったので、こういう偶然は本当にびっくりする。食べ終わった後しばし雑談。昨日の Buffloes vs. Baystars を京セラドームに見に行ってたとか。宮崎のホームランはやばかったらしい。小生は呑み過ぎで見られなかったのに。羨ましい。「春のオープンカレッジ」が無かったら土曜日に見に行けたのだが。残念だった。外は雨が降り出していた。自転車で来ているそうだが、近くなのでいい、と言ってた。

その後国道1号を山科方面へ向かって走る。膳所の辺りでえらくゆっくり走ってる車がいた。小生の2台前だが、1台前の車が随分ぴったりと後ろに付けていた。ブレーキランプがしょっちゅう光る。2台前の車は初心者だろうか？一度黄色信号で止まり、少し離れたが、大津の辺りで追い付いた。2台は引き続き同じことをやってる。峠で登坂車線を使って抜くか？と思ったら抜かなかった。2台前の車は相変わらずゆっくり。京都が近くなると2車線に成るのだが、ゆっくりな車は右車線を走っている。そのタイミングで左から数台抜いていった。左から抜くのはあかんえ。小生はその車の後ろをゆっくり走った。車間はあまり詰めないよう気を付けた。焦らせて事故でも起こさられたらたまらんしね。ゼミ中は結構気が短い小生だが、運転中はそうでもない。大人しい人が運転すると荒くなるというのはよく聞く話だが、小生は逆。教習所で大分やられて、自分は下手である、という意識が染みついている。もう免許取って20年経ったから、大分上達はしていると思うが、怖さは抜けない。慎重に運転し続けますわ。

あ、「数論入門辞典」を職場に置き忘れてきた。住処で眺めようと思ってたのに。まあいいや。今朝倉書店のページで目次を見たが、ゴツイな。著者もビッグネームばかり。小生より大分若い人もいるが、まあ凄い人達だから。足立恒雄先生と三宅克哉先生のお名前も。暇が出来たらゆっくり読んでみよう。とりあえず単位認定レポートを作らないと。明日も1時から学科長会議だ。「キョコロヒー」が終わったら寝よう。

防御率1点台の宮城から1、2回で7点取り圧勝

昨日は書いた通り呑んだ。30分くらいで見終わるものを一つ見て、「コタローはひとりぼっち」の最終回を見て、さて録画してあるものの続きを、と思ったら「日曜の夜ぐらいは」が始まった。日曜日に本放送をやって、すぐその週の土曜日に再放送をするという、よくわからないシステム。日曜は早寝するので見たことなかったが、案外面白かった。都合がよすぎる、という声を聞いたことがあったが、まあそうだな。面白ければいいが。でようやく録画してあるものを見た。「歴史探偵」とか、随分前の「タモリ倶楽部」とか、「ゴチバトル」とか。「コタローはひとりぼっち」の主人公の小学生男子は自分のことを「わらわ」と呼んでいるが、「ゴチバトル」を見てたらあのちゃんは女性なのに自分のことを「僕」と呼んでいた。違和感。酒が切れたので、買い足しに出て、6時近くまで起きていた。ハードディスクに大分余裕が出来た。今日11時から上岡龍太郎の特番をやるが、それも録画出来る。が、途中で思い付いた。Blu-ray のディスクに直録りすればいい。ということでダビングが済んでからディスクを変えて、録画予約。

目が覚めたらもう4時過ぎ。野球の様子を見たら、Buffaloes vs. Baystars は終わっていた。1回表に満塁のチャンスを作り、宮崎が走者一掃のタイムリー2ベース、ソトがタイムリー2ベースで4点取ったようだ。2回表に9番に入った桑原がホームラン、4番牧が2ランホームランで、2回表終了時点で7－0と勝負ありだったようだ。宮崎もホームランを打ったようだ。Buffaloes は頓宮の2ホームラン、茶野のタイムリーで4点取ったが、やはり序盤の7失点は大きかったな。これで交流戦は7勝5敗。Giants と並んで首位タイ。明後日から横浜スタジアムで6連戦。Fighters と Marines と。横浜スタジアムでは無類の強さを誇る Baystars だ。出来るだけ沢山勝ちましょう。

さて明日は8時半起きなので、もう寝てもいいが、野球の様子を見たい。多分ABCの「サンデーステーション」ではほとんどやらないだろうから、NHKの「サンデースポーツ」が終わるまで起きてよう。それでも10時40分くらいには寝られるから、まあ睡眠は十分だ。そろそろ単位認定レポートを提示しないといけないだろうから、これから考えるか。それとも明日昼飯を食べてから考えるか。去年までは「レポート試験」という制度があり、それをやることにしてると事務から「出題せよ」と言ってきて、提出日も全学統一だったのだが、レポート試験は廃止に成り、レポートで単位認定したい場合は自分で色々決めないといけない。去年のメールを見たらそろそろだな、ということなので。何かの本に出ていそうな問題を出すと、それを写して提出してくるので、そういう問題は避けたい。「線形代数学」はそれなりの数の出席者はいるが、「代数学I」は片手で足りるくらいしか出席者がいない。去年は甘々に付けたが、今年は少し厳しくいくつもり。覚悟せよ。

「春のオープンカレッジ」というもののため背広を着て土曜出勤

今日は「春のオープンカレッジ」というやつに出席しないといけないことになっていた。3時35分までに職場に行けばいい、ということだが、早寝しよう、と。が、寝る前に Twitter を見てたら、面白いことが。ピタゴラス数のパラメーター表示をヒルベルトの定理90を使って導く、というもの。成程、面白い。Noam Elkies のページで仕入れたネタらしいが、Olga Tausky Todd、Takashi Ono らも同じ証明を発見していると書いてあった。TeX に起こそう、と思って鞄をあさると、USB メモリーを職場に忘れてきたことがわかる。まあ寝るか、と思ったのだが、途中で使っている初等整数論の自明な命題の証明がうまくいかず、うんうん唸る。おかしい、こんなはずはない、とうだうだとやり、2時半くらいにようやく証明出来た。阿呆や。自明やぞ。自己嫌悪に陥るも、寝ないといけないので、3時くらいには寝た。

で12時のアラームで目が覚めるも、一旦目をつむって、アラームが鳴った。一瞬かと思ったらもう30分経っていた。今度こそ起きる。珍しく二日続けて髭を剃って、シャワーを浴びて、背広を着て出勤。今日は土曜日で、いつも580円掛かるところを440円で済んだ。まだちょっと時間があるので、はま寿司へ行って、1300円ほど食べてきた。鮪のハラミがあったので、食べてきた。旨かった。

2時半くらいに職場に着いて、色々考えていたらA堀先生が来た。今日は無理言って出席してもらった。お誕生日なのに申し訳ない。3時過ぎに「春のオープンカレッジ」の学科別懇談会の会場である談話会室へ向かう。A堀先生が暇そうにしていた。昨日何を話そうかとウダウダ考えていたが、A堀先生が作った資料が完璧で、それをスクリーンに映して喋ればよい、と成り、気が楽に成る。3時半過ぎに親御さんたちが院生I君に連れられてやってきた。20人くらいいた。学科紹介をして、途中就職の話に成ったところでA堀先生とバトンタッチ。本当は就職委員の先生にやってもらうはずだったのだが、今日は無理らしいのでA堀先生に出ていただいたわけだが、就職に関して一番詳しいのはA堀先生なので、まあよかったかと。I君と他に二人の学生にちょっと喋ってもらう。もう二人来る筈だったのでは？と思ったがまあいいか、と。その後親御さんから2、3質問。終了後にご子息の学修状況が心配に成った親御さんが3組ほど質問してこられた。そういう学生の面倒もA堀先生が一番見ていらっしゃるので、まあよかったかと。5時前に終了。

A堀先生のご提案で、話をしてくれた3人の学生を連れて焼き肉を食べに行く。来なかった学生は損したね。当然車で行ったんだが、駐車場が狭い。最近の車はぶつかりそうになるとけたたましくアラームを鳴らしてブレーキが掛かる。止まった時はぶつかったんじゃないかと気が気でなかったが、大丈夫だったようだ。やけくそになって前進駐車すると出すときにかえって苦労する。まあ何とかなった。久々に焼き肉。一仕事終えたしビールを、といきたいが、勿論呑まない。昔は人が呑んでるのを見て自分が呑まないなんて考えられなかったが、出来るようになった。アル中じゃないとはいつも言ってる通り。I君が東京出身なのは知っていたが、聞いてみると実家は京成線の沿線らしい。京急と相互乗り入れをしていて、京成線は馴染みがある。他にも色々話してきた。楽しかった。

帰ってきて背広を脱いで、ほっとしたところ。野球の結果を見ると負けてた。が、Tigers も負けた。よかった。Tigers の負け投手はここまで負けの無かった大竹。チームの土曜日の負けも初めてで、3連敗も初めて。まあよかった。Tigesr は交流戦最下位。勝ち過ぎると負けてくる。明日も Tigers に負けてもらって、Baystars は勝ちましょう。明日の先発は Baystars が大貫、Buffaloes が宮城。苦戦しそうだな。まあ昨日は山下に黒星を付けたし、明日は宮城に2敗目を付けてやりましょう。

さて、呑むか。呑み屋に行こうと思っていたんだが、明日の大河ドラマを録画出来るだけの容量を稼ぐため、幾つか見て、ダビングもしないと。ということで家呑みにする。今から買い出し。楽しく呑みます。

ワイルドピッチで2塁ランナーの生還を許すも、相手の悪送球でバッターランナーがホームインで3得点し逆転

やっぱりまだ昨日は寝不足だったか、今朝は11時過ぎまで起きられなかった。食事の時間と同僚の所へちょっと行かないといけない用事があったので、そうゆっくりもしておられず、11時時30分過ぎには住処を発つ。今日はひどい雨に成るぞ、と言っていたと思うが、京都、滋賀は全く降る様子が無い。傘を持っていったが、無駄だった。まあ降らない方がいいけど。

1時から講義。「代数学I」。今日は多項式が既約とか可約とか定義。どの環上だか言わないと意味が変わる、という例を幾つか出す。で体上の場合は、その体 K 上既約であることと K[X] の既約元であることが同値とか。で体じゃない場合は既約と既約元であることが同値じゃない、という例を出したが、ちょっと怪しい。2X＋2∈Z[X] は Z 上既約だが Z[X] の既約元じゃない。2X＋1∈(Z/4Z)[X] は既約元じゃない。2乗したら1だから単元ですね。しかし Z/4Z 上既約じゃないんだろうか？ちょっと怪しい。だからそこは適当にぼかしてきた。その後ユークリッドの互除法のキーとなるイデアルに関する補題を証明して、5²⁰＋8 と 5²⁰＋3 が互いに素とかやったら時間。

2時40分からゼミ。今日は一人は中国と Zoom でつないでやる。整数論のゼミは日本で。n²＋1 の形の整数の素因数が4を法として1と合同とか。まあ第1補充法則ですね。まだ平方剰余のことはやってないので、この先の楽しみに取っておく。超越数のゼミは Zoom で。フィボナッチ数列の逆数の無限和が無理数であること。対称多項式が基本対称式の多項式で表されることまで証明してくれた。まあ面白かった。来週も中国から。オンラインでやると資料を見せながら読むだけに成ってしまうので、どうしても早く進みがち。4時20分には終了してしまった。

時間が出来たので、講義資料を直したり、さっきの Z/4Z 上の多項式のことを考えたり。まあ細かいことはいいや、ということにして、やめることにした。時間が出来たら考えよう。で明日ちょっと用事があり職場に行かないといけない。その関連のことを調べたりして、8時半くらいまで。もちろん野球のことを気にしながら。2回表に先制するも2回裏にパスボールで2塁ランナーがホームインするという珍事で追い付かれ、4回裏に頓宮にホームランを打たれ1点勝ち越される。が、6回表にランナー二人の状況で牧がヒット。そこで珍プレー。中継に入った野手がミスして、バッターランナーの牧までホームインして逆転。バウアーは7回9奪三振2失点。まあまた一発打たれたが、いいです。防御率は4.75まで下がってきた。この調子でこれからも投げてください。一発は程々に。

今、松田優作を取り上げた番組がやってる。NHKのページを見ていた時に偶然発見して、録画予約してあるので、後でゆっくり見る。死んだのは1989年。平成元年だな。小生大学3年。「ブラックレイン」が公開されてすぐ死んだんだった。川崎の映画館でやってたので、途中下車して見にいった。鬼気迫る、というのはああいうことを言うんだろう、という感じで、凄くぞくぞくした。死んだのは40歳だったそうだ。そうなのか。非常に残念。生きていたらどんな凄い俳優に成ったか。確か違法で手に入れたDVDがある筈だが、買おうという気に成ってきた。後で探してみよう。

さて、「波よ聞いてくれ」が今日で最終回。何だかよくわからないドラマだったが、面白かった。小芝風花がイメージと違う役をやっていた。明日もあるし、今日は録画しておいて、明日見よう。「座王」も録画しておくが、ハードディスクをあけないと録画出来ない。先週の分をこれから見る。そしたら寝よう。

細川成也（Dragons）月間MVP

昨晩は寝不足だったのでとっとと寝ようかと思わないでもなかったが、「タモリ倶楽部」が最終回。関東ではもう2か月以上前に終わっているが、関西ではようやく。何か特別な企画でもやるかと思ったらそうではなく、ヌルっとした企画をして終了。最後にちょっと挨拶のようなことを言っていたが、まあ特に特別な感じではなかったな。流石はタモリ。で2時過ぎに横に成る。

起きたら昼過ぎ。寝床でスマホでメールチェック。ちょっと待ってるメールがあったんだが、来ていない。起きて催促のメールを出して、それから色々。夕刻にメールが来た。どうやら望んでいた方向に進みそうでよかった。明日までに事務長にその結果を報告しないといけないので、書類書き。うぉー、面倒くさい。ちょっと MathSciNet を見ないといけないことがあって、vpn 接続しないといけない。が、最近2段階認証というやつをやるのが普通に成ってきていて、スマホを取り出してどうとかこうとかしないといけない。Uber Eats に食事を頼んでるところなので、様子を見ていたい。最近山科周辺の店が人気が無くなってきたらしく、Uber Eats の配達員は京都の中心地に移ってしまった、と「ふなごや」の大将が言ってたが、どうもそうらしく、全然配達員が決まらない。随分待った。チキンカツ定食を頼んだんだが、大分冷めてた。それにソースが付いてない。店の人が忘れたようだ。まあいいけど。で vpn をつなごうか、というところで閃いた。Zentralblatt Math が最近無料で検索させてくれるようになったので、そっちを見ればいいや、ということにした。で見た。色々有益だった。面倒くさいことに違いは無く、中々捗らない。

などとしているうちに野球の時間に成ってしまった。今日も Hawks と。1回表に先発の森を攻めて3得点。いいですね。その後も点を重ね、5回表終了時点で6－0と一方的なリード。かと思いきや、5回裏に栗原に2ランホームラン、8回裏に近藤に2ランホームランと、嫌な展開。Tigers はさっき見たらリードされていたが、何と逆転している。これは負けるわけにはいかない。9回裏に1点取られ、なおもノーアウト1、3塁。うぉー、康晃頼むよ。野球速報のページを開いて Eagles vs. Tigers の経過を見ていたが、何と抑えの湯浅が小深田に逆転サヨナラホームランを打たれた。これは絶対勝たなければ。谷川原のセカンドゴロでランナーがホームへ突っ込んでアウト。野村勇が空振り三振。中村晃がショートゴロと、何とか逃げ切った。よかった。これで交流戦は5勝4敗。6チームが首位タイで並んだ。明日から京セラドームで Buffaloes と。Baystars はこの前ソロホームラン2発の2失点に抑えて勝ち投手に成ったバウアー、Buffaloes は7試合投げて5失点、防御率0.84で5勝0敗のの山下舜平大。苦戦するかな？期待して見よう。

テニスの混合ダブルスで加藤未唯、プッツ組が優勝したとか。小生テニスは全然知らないんだが、数日前に加藤がボール拾いをしている人に当ててしまい、女子ダブルスは失格に成った、というニュースがあって、それで知ったくらい。無念を晴らせてよかったね。

さて、明日はまた凄い雨に成るようなことを言ってた。先週は1時からの講義は幸い休講に成らなかったが、2時40分以降の講義は休講だった。そんな何度も休講にされたら、補講をやる時間が取れなくなってしまう。何とか「多少多く降るな」くらいの感じに成ってくれるといいが。

などと書いて忘れていたことを書き足す。現役ドラフトで移籍した大竹耕太郎（Tigers）と細川成也（Dragons）がセ・リーグの月間MVP。細川は今日もホームランを含む3安打2打点。Baystars にいた頃は「今年の戦力外は細川？」と毎年言われていたが、活躍出来てよかった。今年はオールスターに出られそうだ。パ・リーグの月間MVPは投手は加藤貴之、野手は万波中正の Fighters 勢が受賞。万波は現在ホームラン、打点の二冠王。もう少しチームの順位がいいといいのだが。折角新しい球場作ったんだ。優勝しないと。3位と6.5ゲーム差の4位では、CS もきついな。まあ今年は種を蒔いて、来年に期待しますか。

影山優佳は宮崎美子を超えるか？

昨晩はその後「相席食堂」を見て、それから「Qさま！」の続き。戦国武将ベスト3となると、まあ1位は信長でしょう。家康も鉄板の人気で3位。で2位は、やはり大坂夏の陣での活躍が華々しかったからか、真田幸村。まあそうだろうな、という感じ。で肝心のクイズの優勝は誰か？「影山優佳が優勝したら番組史上最年少」とか「今夜Qさま！の歴史が変わる？」とか散々煽って、結局宇治原かカズレーザーが優勝するんだろう、と思って見ていたら、何と影山優佳が優勝した！ビックリ。少し前にこのブログに、彼女は次世代のクイズ女王に成る、みたいなことを書いたが、案外早かったな。22歳でルックスもよくてクイズの成績も良かったら、そら村井美樹とか出番無くなるわな。宮崎美子くらいの強さが無いと。影山優佳の今後に期待。

その後大河ドラマの先週の分と今週の分を見た。そろそろ武田滅亡の話。織田の鉄砲隊の前に武田の騎馬武者がバッタバッタと倒れるのは来週のようだ。先週は岡崎での話。大賀弥四郎（大河ドラマでは大岡弥四郎に成っていたが）が武田に内通したのがばれた。で大賀弥四郎は首から下を埋められて、首を鋸引きされるという残酷な殺され方をした、という話は有名で、滝田栄が家康をやった大河ドラマでもそういうシーンがあったが、流石に残酷過ぎるのか、今回はそのシーンは無かった。で今週の放送は鳥居強右衛門（とりいすねえもん）が主役。長篠城の危機を家康に伝えて、長篠に戻るところを武田に捕まり、「援軍は来ない」と嘘を言え、と言われたのに「援軍は来る！」と言い、磔にされてしまった、という話。岡崎体育という、よく知らない人がやっていたが、中々の名演技だった。武田滅亡ものは割とよく知っているので、どう描かれるかと思ったが、面白かった。昔、新田次郎の「武田勝頼」を読みたくて、古本屋を回ったことがある。3巻ものなのだが、こっちに来て三条京阪のブックオフで1巻がハードバックの本、2巻と3巻が文庫本、という状況で手に入れた。わくわくしながら読んだ。その後文庫が復刊され、買った。ブックオフで買ったものはブックオフに売った。さあ、来週が楽しみだ。などとしているうちにまた朝に成ってしまった。

そのまま夕方まで寝ようか、と思わないでもなかったが、昨日の晩来ていたメールに対する皆さんの返事を受けてから返事を書かないといけなかったりとか、色々あったので1時半には起きた。でゴソゴソと仕事をして、ちょっと現実逃避に計算をしたりとしているうちに、あっと言う間に野球の時間。1日短いな。ちゃんと寝てちゃんと起きればいいんだろうが。今日は眠いのでそれなりには寝るが。野球はというと、Hawks 投手陣に手も足も出ず完敗。Tigers が勝ってしまったので、またゲーム差が広がってしまった。交流戦の成績は4勝4敗。うーん、厳しいね。ま、信じて応援しましょ。

マイナンバーカードは相変わらず出鱈目な話が出来している。政府の言うことを聞く気がどんどん無くなってくる。いい加減どうにかしてください。

学部長の喉が心配

「キョコロヒー」が終わってから寝よう、思っていたが、つい「水曜どうでしょう」を見始めてしまい、寝るのが遅くなった。10時くらいに一旦目が覚めたが、まだ眠い。最終的には12時40分過ぎに起きた。学科長会議は1時からなので間に合う。よかった。学部長は何やらひどい声。不摂生のせい、と仰っていたが、大丈夫だろうか？そんな体調でも進行しないといけないとは大変だ。2時前には終了した。今日は教授会もあるので、大変だろう。

教授会まで2時間以上ある。Uber Eats に食事を頼んで、食べながらこの前やった「Qさま！」の3時間スペシャルを途中まで。またハードディスクがいっぱいに成りかけてるので、見ておかないと。戦国武将スペシャルとあって、面白い。15位に本田平八郎忠勝が入っているとはマニアックな。秀吉が7位。ベスト3を残したところで4時20分くらい。中断して教授会に参加。今日の教授会は長かった。一つ大事なことがあり、学部長がずーっと喋ってた。喉は大丈夫だろうか？6時ちょいに終了。ご苦労様でした。

でもう野球の時間。今日は Hawks と。「スポーツライブ」という普段見ないチャンネルで放送されるので、番組表を見ながら探す。Baystars が今永、Hawks は有原が先発。4回裏に今日登録された今宮がソロホームラン。1点先制される。が、すぐ5回表にルーキー林の犠牲フライで同点。その後満塁に成るも、牧が凡退。7回表も2アウト満塁のチャンスを作るが、宮崎がサードゴロで無得点。今永は8回1被安打。そう、今宮のホームラン以外はヒットを打たれなかった。が、こんな日は得てして負けるもんで、案の定牧原にサヨナラヒットを打たれしまう。うーん。Tigers が負けただけに勿体ない。まあいいです。明日、明後日と勝って、カード勝ち越しといきましょう。

さて、明日は起きなくていい。土曜日にちょっと背広を着て出掛けないといけないが、さっきクリーニング屋に行ってきて、背広を引き取ってきた。代わりに冬物ジャンパーを出してきた。急ぎでやることも無いし、呑むかな。「Qさま！」の続きも見たいし、ニュースが終わったら買い出しに行こう。

あ、そうそう、先週の金曜日の「探偵ナイトスクープ」ではもう上岡元局長が死んだことを言っていた。早いな。早目に連絡があったんだろうか？今でもネットニュースを見ていると上岡龍太郎の話題が出ている。まあそれだけ影響があった人ということだな。

訳の分からない時は人に聞くのが一番

昨晩はその後中々寝なかった。「サンデースポーツ」を見てしまい、その後NHKでやっていた海外ドラマの最後が気に成って。それが済んで寝ればよかったが、つい別のチャンネルでスポーツニュースを見てしまった。で寝たのは1時半くらい。朝は8時半のアラームで起きるのは無理で、9時半くらいに成ってしまった。シャワーを浴びて、急いで出勤。と言ってもいつものように追い越し車線には出なかったが。ちゃんと講義室に10時35分くらいには着いた。

月曜日は「線形代数学」。ベクトル空間版準同型定理を証明して、商空間の次元を求めたり、準同型定理を使って一つあるベクトル空間同士が同型であることを示したり。その後直和分解の話。R² が <(1,0)> と <(0,1)>（縦ベクトルは書けないので、横ベクトルで書いてる）の直和とか示しても面白くないので、もう少し非自明な例を出してきた。直交冪等元、ではなく直交線形変換だが、を用いた直和分解を次回やることにして、2分くらい前に終了。そろそろ一般固有空間のことを復習しておかないと。「線形代数概論」を眺めてたら、去年佐武先生の線形代数の本で仕入れた定理が出ていた。おぉ。やはり載せないとまずいと思ったのだろうか？時間を作って読もう。

昼飯ははま寿司で。いつもの通り1300円くらい食べてきた。1時20分くらいに職場に戻ってくる。

で個研室で雑用に励もう、ということにして始める。明日締め切りの件があるので。が、訳が分からん。資料を眺めても全く意味不明で、困った。こういう時は経験者に聞くのが一番だ、ということにして、学科のメーリングリストに投げると、しばらくしたら去年の学科長からメールがあった。よかった。一気に気が楽に成った。でゴソゴソやってたらゼミの時間に成ってしまった。

今日のゼミは「判別式を割らなかったら不分岐」という定理の証明のために色々準備して、証明した、というのがメイン。結構行間が広くて大変だ、と言っていた。線形代数は苦手だったそうで、初等的なことで結構苦戦してた。それでも分かってることと分かってないことを明確に区別していたので、いいでしょう。問題は二人目。いつものことなのだが、定義が分からないのに証明しようとしている。ページを進めるのも大事だが、理解しないでページだけ進むのは意味が無い。素イデアルの定義を答えられなかったところで強制終了。変な所で終わってしまったが、仕方ない。来週はちゃんとやってください。

で7時45分くらいから明日締め切りの雑用の続き。さっきもらった書類に書かれた数字を SageMath で計算。前は Maple でやってたが、流石に高価なソフトでやるのは心苦しく、SageMath ならフリーだからいいや、と。で計算が合わない。うぉー！ということで去年の学科長に聞く。よくわかなかったが、「変だったら事務が言ってきますから、問題無いです」という返事。流石に修羅場をくぐってきた人だけあって、肝が据わっている。小生は学科長やるの初めてだからね。何回かやれば慣れてくるのかもしれないが、慣れたくないね。もうやりたくない。事務にメールを書いて、帰途につく。

すき家で牛丼を食べながら野球の情報をチェックしていたが、Baystars は最終回に2点取って2点差まで追い上げたが、負けた。Tigers は Marines 相手に先行されるも大山の3ランでひっくり返し、山口に3ランを打たれひっくり返される。その後追い付き、延長戦へ。今12回表が終わったところ。Marines は勝ち越せず、Tigers は引き分けか勝ち。頑張れ Marines。せめて 0.5 ゲーム差開くだけにしてくれ。

打者一巡で4点取られるも、打者10人の猛攻で5点取り逆転勝ち

呑んだ後としては珍しく、昨晩はすぐ寝た。昨日は寝不足気味だったので。で今日は2時近くまで寝ていた。野球を見るために起きる。

が、野球に集中して見ていたわけではなく、作文の宿題をやりながら見ていた。が、捗らない。野球もガゼルマンが5回までは抑えていたが、6回に打者一巡の猛攻を食らい4失点。気分がよろしくない。作文はもうやめようか、という気に成ってきた。元々文才は無い方なので、悪足掻きしてもしょうがないかと。などと思っているうちに8回裏。先発の平良海馬に0点に抑えられていたが、ピッチャー交代してくれた。すると猛攻開始。代打大和がもうちょっとでホームランというフェンス直撃の2塁打でおっ！という気に成ってきたのか、佐野がヒットで続き、関根のピッチャーゴロを1塁へ悪送球してくれ、その間に1点。宮崎が技ありの巧打で2点目。牧のセカンドゴロで3点目。でソトの所で代打楠本。勿体ない気もしたが、楠本が同点打を打ったからよし。桑原は倒れるも京田が四球を選ぶ。打席は途中出場の戸柱。内野安打と2塁手外崎の悪送球でついに勝ち越し！打者10人の猛攻。最後は康晃が三者凡退に抑えて、大逆転勝利。Tigers が負けてないかと思って見たが、佐々木朗希から2点取って勝っていた。才木が完封勝ちしたらしい。まあ Baystars が勝ったからいいや。交流戦の順位は単独1位。いいですね。金曜日雨で中止だった試合を明日やるらしい。交流戦のスケジュールはタイトだから仕方ないね。明日は7時半までゼミなので見られないな。まあ仕方ない。明日は職場でネット観戦しながら雑用に励もう。

さて、今日は割とちゃんと寝ているので、まだ眠くない。雑用に励もうか、とも思うが、明日は8時半起きを目指している。あまり無理せず寝よう。「サンデーステーション」くらいは見るかな。例の国会をサボりまくってクビに成った元議員が捕まったそうだし、その話題を仕入れよう。

バウアー、ソロホームラン2発打たれるも、1か月ぶりの勝利

今日（昨日だが）は宣言通り呑みに行くことに成っていたので、昨晩は適当に寝た。で起きたらもう野球が始まっていた。vs. Lions で、Baystars ばバウアー、Lions は高橋光成が先発。高橋はパ・リーグの防御率1位の投手なので、苦戦が予想される。2回裏に京田のタイムリーヒットで先制するも、4回表外崎のソロホームランで追い付かれる。が、5回裏にノーアウト満塁のチャンスを作り、佐野、関根の連続タイムリーで3得点取り勝ち越し。宮崎も犠牲フライで5－1。いいですね。7回裏も宮崎犠牲フライ、牧犠牲フライで7－1。一方的になってきた。8回に平沼にソロホームランを打たれるも、そこまで。先発のバウアーは8回2失点で、1か月ぶりの勝利。2被弾は気に成るが、まあいいでしょう。バウアーは横浜スタジアムでしか勝たん、という状況。次回は他で勝ってください。

野球は6時くらいに終わった。すぐにでも呑みに行きたいところだったが、眠いぞ。1時間くらい寝て7時半前に呑み屋へ向かう。途中クリーニング屋の前を通った。背広をいい加減取りに行かないといけない。が、今日は呑み屋に寄るので、また次回にした。6月10日は背広を着て職場に行くので、火曜日か水曜日に引き取りに行く。ついでに冬物のジャンパー（死語）を出す予定。

呑み屋は相変わらず暇で、昼営業を始めないといけない、と言っていた。少し前に店長は誕生日だったそうで、適宜おごる。途中で時々アルバイトに入る女性が入ってきて、3人で楽しく盛り上がる。2時近くまで呑んでた。月曜日は10時40分から講義なので、適当に寝る。もう十分眠いのだが、色々気に成ることがあり、もうちょっと起きてるかもしれない。色々宿題があるので、このまま無理し続けるか、朝（昼？）起きて作業をするか。眠いな。寝るか。

上岡龍太郎死去

ちゃんと11時に起きた。まだちょっと疲れている感じだが、仕方ない。昨日の晩ドーピング用に買っておいたドリンクを飲んで気合を入れる。11時45分くらいに職場に向けて発つ。

弁当を買って、ゆっくり食べる。時間に余裕があるというのはいいことです。講義資料を眺めて作戦練り。1時から「代数学I」。講義室に着く直前に何やら放送が。琵琶湖線が4時に止まってしまうらしく、2時40分からの講義は休講、とのこと。1時からの講義は出来るようでよかった。休講に成ると補講をしないといけない。出席者が数名しかいない講義のために土曜日に来るというのは何とも馬鹿臭いので、まあよかった。講義室には相変わらず数えるほどしか学生がいない。まあノートをとってる学生はいるので、真面目にやるけど。今日は整域上の多項式環が整域とか deg(FG)＝deg(F)＋deg(G) が成り立つとかから始めて、最高次の係数が単元の多項式で割ると、商と余りがその環に unique に取れること、体の場合は0でない多項式で割れることなど証明。系として体上の多項式環が P.I.D. であることなど。まだ時間があるので、素元と既約元を定義して、P.I.D. の場合は x≠0 の時、「x が素元 ⇔ x が既約元 ⇔ (x) が素イデアル ⇔ (x) が極大イデアル」であることを証明して、時間に成った。いつもなら次の時間の学生がわんさと入ってくるのだが、今日は上に書いたような状況なので、誰も入ってこない。電気を消して部屋を後にする。周辺の部屋は学生がいないのに電気が付きっ放しだったり冷房がかかりっぱなしだったりしたので、消して歩く。

で2時40分からはゼミなのだが、一人から帰るという旨のメールが来ていた。まあそりゃそうだ。でもう一人は今日来ないでオンライン参加の予定で、Zoom の URL をメールで送ってきていたが、中止なのでその旨メールを書く。小生は車で来ているので、電車が止まっても問題ないので、しばし仕事。講義中に一箇所何か変だな、と思ったところがあったので、考えてみる。ちょっと変えた方がいいという結論に成り、直して web に上げる。演習問題は来週の内容込みで出した方がいいようなので、今日は上げずにおく。まあ誰も解かないんだけど。でちょっと来週の予習。体上の多項式環では、K が体の時、「K 上既約 ⇔ K[X] の既約元」だが、体上でないとそうはいかない。そういう例は前に準備しておいたが、ちょっと細部を詰めてなかったので、考える。1次式でも既約元でないものがある、というのは病的なので、講義では挙げないが、web に上げる資料には入れておいた方がいいかも、など、グダグダと時間を過ごす。雨が強まるといけないので、5時半頃職場を離れた。

これくらいの時間だとまだ高速道路は混まない。が、事務の人が仕事を終えて帰るタイミングと重なってしまい、正門を出るまで少々掛かった。外環三条には6時10分くらいに着いて、信号を待ってる間に野球の情報を見ると、Baystars vs. Lions は中止。横浜は降ってるんだろうか？と思って、住処に着いてテレビを付けると、全国的に凄い降りのようだ。新幹線は東京－名古屋間でストップ。もう今晩は走らさないようだ。京都、滋賀の降りはそれほどでもなかったな。近畿は和歌山が凄いことに成ってるようだ。和歌山、徳島で避難指示が出ているらしい。近畿は明日は大丈夫らしいが、関東は暫く降るらしい。線状降水帯が発生する恐れがあるとも言ってる。おおごとに成らないといいが。

昼飯を食べながらパソコンと睨めっこしていたら、「上岡龍太郎死去」のニュース。81歳。もうテレビに出なくなってからだいぶ経つ。何をしていたんだろうか？全く近況が入ってこなかったので、知りようが無かった。肺癌と間質性肺炎が死因らしい。面白いおっさんだった。「パペポテレビ」は関東でもやってたが、今は「A STUDIO+」とかで偉そうにしている鶴瓶も上岡龍太郎の前では一ひねりだった。銀行のカードの暗証番号を当てられて、テレビで大々的に公開していたシーンは面白かった。上岡龍太郎が「孫子」の話をしてたら、鶴瓶が「尊師って悪い人ちゃいまんの？」と訳の分からないことを返していた。阪神淡路大震災のすぐ後に放送を再開して、「被災地にも笑いを」ということで普通にやっていた。「探偵ナイトスクープ」は今は関東では MX テレビかなんかで深夜に細々とやっているだけだそうだが、当時は金曜深夜の12時くらいだったり、土曜の正午だったりと、時間は定まらなかったが、やっていて、毎週楽しく見ていた。ある時、金曜深夜3時27分くらいだったかくらいに移ってしまったが、見ていた。むしろこっちに来てから見なくなった。最近はまた見るようになった。面白い。亡くなった情報が今日入ってきたから、さすがに今日の放送では「ご冥福をお祈りいたします」とは言わないだろうが。前に初代秘書の松原千明が死んだ時は時間を取っていたので、来週はそうやるでしょう。ご冥福を祈る。と書いてたらNHKのでも訃報のニュース。でビックリしたのが、探偵ナイトスクープの初代局長、とNHKで言っていた。影響の大きい番組だね。今日も楽しんで見よう。

17安打11点で快勝（宮崎1000試合出場）

昨日は呑みながら色々やろうと思っていたのだが、捗らない。ついマインスイーパーをやってしまい、「一回成功するまで」と思うと中々成功出来ない。1時間くらいやることはしばしばで、大分無駄な時間を使ってしまった。気付けば朝。またか。コンビニに朝飯を買いに行く。ついでに色々。いつもは3000円しないんだが、越えていた。ニュースでやっていたが6月1日から値上げラッシュだそうだから、そのせいかな？

某大学の某院生（こういう情報量の低いことを書かないように）に書き物を頼まれていて、それは web に直に書くのだが、URL とログインid、パスワードの書いたメールが来る、とのことなのだが、全然来る様子が無い。迷惑メールに成っているのでは？と彼は言うのでしょっちゅう見たが、届いてない。ritsumei.ac.jp には届かないのでは？との疑惑が。他のメールアドレスは無いか？と聞かれたので、gmail のアドレスを教えたが、寝ようかというタイミングで件のメールが届いた。うむ。締め切りを見るとそんなに余裕が無い。学科長の仕事の締め切りと近い。これはどっちかを早いとこ終わらせないと。ということで学科長の仕事より数学の話の方が面白いぞ、と思い、依頼されているものを寝ないで書き始める。記入欄を見ると、凄く沢山書かないといけないようだ。あまりチープだといけないので、必死になって水増し。Google 検索をしたり SageMath に計算させたり。が、科研費を毎度落とされている小生だけあって、全然文章が浮かばない。現実逃避にマインスイーパー（またか！）をしたり。テレビをずっと流してるが、明日の天気は目茶目茶悪いらしい。セブンイレブンで買った頑丈な傘があったんだが、3月に相鉄に乗りに横浜に行った時に京都駅のカレー屋で忘れてきてしまった。仕方ないので、気分転換に傘を買いに出た。1500円以上した。まあこれくらいはするだろう。帰ってきてネットニュースを見るという現実逃避の続き。するとびっくり。昨日新大関が誕生したようだが、テレ朝系のチャンネルでは相撲の話題を一切やらないので、昨日の晩も今朝も取り上げてなかったが、霧馬山が霧島に改名する、という話。大関・霧島か。いいですね。活躍して欲しい。横綱に成れるといいが。

6時から野球。流しながら書き物の続きをしていた。1回表は3者凡退。1回裏に牧のエラー、送りバント、タイムリーヒット、と Eagles にとっては理想的な点の取り方。が、2回表にオースティン、ソトの連続2ベースで追い付くと、桑原にヒットが出てもう1点、レフトが後逸していて桑原は3塁へ。京田にもタイムリーが出て3得点。いいですね。3回はオースティンがタイムリー内野安打、桑原犠牲フライで2得点。一方的に成ってきた。4回は宮崎がタイムリー（3回1/3で先発全員安打）、牧2点タイムリー、桑原が犠牲フライで9－1。7回は関根に2ランホームラン。11－1。7回裏は先発の東が満塁のピンチを作るも無失点。東は7回1失点。よかった。8回裏に桑原のまずい守備とワイルピッチで2点取られたが、そこまで。17安打11得点と圧勝。昨日は4安打1点で負け、一昨日は勝ったが拙攻の繰り返しと連日消化不良気味だったので、今日はスッキリした。宮崎の1000試合出場の試合を勝ててよかった。Tigers は負けてくれた。連敗はいつ以来だろうか？Tigers は落ちてくると信じて、勝ち続けましょう。Swallows は引き分けを挟んでの12連敗がついに止まった。村上が打つと勝つね。5月14日以来の勝ちらしい。監督は今日はよく寝られるでしょう。よかったよかった。

藤井総太が七冠達成とか。まだ二十歳だぞ。凄過ぎる。

さて、寝てない。明日は1時から講義がある。12時前には住処を離れたいので、11時には起きたい。もう寝るか。まだ書き物は終わってないが、明日やろう。卒研生の一人が中国に私用で帰ってしまい、明日と来週はオンラインでやると言ってた。無理せず無しにしてもいいぞね、と言おうかと思ったが、まあやる気があるのでいいかと。職場にノートパソコンを持っていかないと。大雨だから荷物は少ない方がいいんだが、仕方ない。忘れないように気を付けよう。