日曜出勤のAO入試は無事に終了

10時半くらいには起きようと思っていたが、昨晩寝たのは3時近く。やはり11時過ぎまで起きられなかった。まあシャワーを浴びても12時半の集合には十分間に合う。もう少し遅く着いても大丈夫なようマージンは十分とってあると思うが、まあ遅れないに越したことはない。電車が遅れてるらしく、1人面接担当の先生が遅れて来るとメールが来ていた。で着いて昼飯を食べて、12時半くらいに事務の人が何やら「かがわ」と言うから焦った。電車が遅れて来る旨を伝えてきた人の苗字は「中川」で、「かがわ」が共通。しかも彼の名前のアルファベット表記の上3文字は「Tak」だから、会議に Zoom で参加してる時などに一瞬焦る。彼とは関係無いが、理工学部の他の学科に加古川先生がいて、この人の名前を見ると一瞬焦る。

えーと、で10分くらい遅れて全員集合。もう暫く経ってから事務の人と今日の仕切り役の先生から説明を受けて、1時40分くらいに出発。今日の用事は AO 入試の面接官。別の面接入試もあるので、今日は大量動員されている。若い人と年寄りの組で数組。小生と組んだ人は色々慣れてる人なのでよかった。的確に突っ込んでくれたり助け舟を出したり。お陰で割と穏やかな気持ちで出来た。まあ受験生の皆さんの出来が良かったこともあろう。勿論多少の力の差はあって、奇関数を －a から a まで積分すると0だよね、というのを知っていてすらすらやる学生と、言われるまで忘れていて、一生懸命計算してる学生もいた。で予定より少々早目に5時前に解放された。

それくらいの時間だと日曜日と言えど道路は混むだろうから、少し部屋で勉強しようと。いい加減クロネッカー積をどうにかせな。藤崎先生の代数的整数論の本には佐武先生の線型代数の本が挙がっていたが、見ると定義が書いてあるが、少し前から読むと線形写像 V→W、V'→W' から引き起こされる V\otimes V' から W\otimes W' への線形写像の然るべき基底に関する表現行列、と成っていた。そもそも加群のテンソル積、従ってそれの特別な場合のテンソル積を使いこなせるほど分かってないので、こういう説明はちょっと、と萎えた。で暫く部屋掃除。いや、かえって散らかったが。昔のレポートとか演習の答案が大量に出てきた。2月の業務絡みの書類とか、もうどうでもいいものばかり。裏が白いと取っておいてしまうが、それもそろそろやめよう。授業アンケートの残紙は例によって学生の溜まり部屋にどっさり置いてきた。でそっちも嫌になって、クロネッカー積のことの続き。正直持ってる線形代数の本で見た記憶が無いので、本を見るだけ無駄だと思って、google 先生を頼った。色々出ていて助かる。目当ての公式の証明の筋だけは分かった。最初それを正方行列が \begin{pmatrix} A₁₁ & A₁₂ \\ A₂₁ & A₂₂ \end{pmatrix} とブロック分けされてるからOK、と勘違いした。これは佐武先生の本にちゃんと「|A| は一般には |A₁₁||A₂₂|－|A₁₂||A₂₁| でも |A₁₁A₂₂－A₁₂A₂₁| でもないので注意されたい」と書いてある。成り立たないような例を挙げよ、という演習問題を学生に出したこともある。何か考えてる時はこういうのが成り立つようについ思ってしまい、間違えるということはよくあること。気を付けよう。で何だかんだと8時半近くまで職場にいた。

麺屋聖に寄ってラーメンを食べよう、ということにした。「極厚焼豚麺」という数量限定の奴を前から食べたいと思っていたので、頼む。凄い分厚いのがドーンと入っていてビックリした。拉麺並だとちょっと少ないが、大盛りを頼む勇気が無かった。これだといい感じに腹が膨れたので良かった。

水曜日は普通職場に行かなくていいのだが、今週は健康診断（義務）のために職場に行かないといけない。今日も行ったから、今週は6日行くことなる。嫌なこったな。で帰る途中に気付いた。健康診断グッズが事務に届いてる筈だ。明日確認しよう。健康診断の前は大体大人しくすることにしている。火曜日の講義が遅い時間なので、月曜日はつい呑んでしまい勝ちだが、今週はやめておこう。大学の時の先輩が健康診断の前日に無茶呑みして、出直しを命じられたということがあった。それは避けたい。まあマメに血液検査を受けたり血圧の具合を診てもらったりしていて、今のところ何事も無いので、心配はしてないが。血圧は先週の水曜日に診てもらったばっかりだしな。今週末は呑むよ。明日から12月なので、もう年内の呑みに行く回数が少ないな。年末年始は実家にいて、大抵呑まないが、今年は実家の近所で呑み歩こうか？呑まなくても食べ歩きはするがね。親父殿のお見舞いにも行かないと。講義は25日までだが、27日にちょっと用事があるので、横浜に戻るのはそれ以降。もう兄者も休みに入ってる時期かな。また喋り倒してこよう。大学の時の友人に年賀状を出す際に電話番号を書いておこうか？大学の部屋からそやつからの郵便物が出てきた。合宿して勉強した時か何かのノートのコピーだったが、何人か懐かしい名前があった。そうそう、こいつはこんな字で、こいつはこんな字だったなと、色々思い出した。捨てずにとっておこう。そうか、奴にはいつも山科に戻ってきてから返事を書いてるが、今年は年明け前に出しておいて、東京で落ち合おう。そうだそれがいい、うん。

1カ月ぶりの床屋

昨晩は11時前に寝て、で12時間くらいタップリ寝たろ、と思ってたんだが、8時半前に目が覚めてしまった。むぅ。まあいいです。昨晩やったドラマを見て時間潰し。近所での用事は11時半だが、腹が減ったので11時前に部屋を出て、なか卯で早目の昼食、ドラッグユタカで買い物などで時間潰し。1時前には住処に戻ってきた。

昨日職場で Lemmermeyer の “Quadratic Number Fields” を見付けたので、持って帰ってきて、少し眺めた。面白そうな本だ。実二次体の場合の Minkowski bound は√(D_K)/2 だが、その本によると √(D_K/5) に改良できるらしい。虚二次体の場合は高木貞治の本と同じ bound が出ていたが、そうなのか。今度読んでみよう。他にも Mordell 方程式のことだったり色々出てる。読んでみよう。

で3時半過ぎに床屋へ。前に行ってから1か月とちょっとだが、乾燥してるからなのか鬱陶しくて、切ってもらおうということにした。サッパリした。

ちょっと寄り道をしてから帰ってきて、5時過ぎに Uber Eats に晩飯を注文。昼が早かったからもう腹が減ってきた。で食べて、ちょっと寝床に行って、LINE でメッセージが来てたから返事を書いて、で YouTube を見て、などとしてたら寝落ちした。やはりまだ寝不足だったか。3時間くらい寝たかな。まあもう大丈夫でしょう。明日は12時半までに職場に行かないといけないので、今日も早目に寝よう。去年は同じ用事で朝9時までに行かないといけなかったので、職場に泊まったが、今年は泊まらないでもいい。まあいずれにせよ、ちゃんと寝ておかないと。クロネッカー積の勉強は明日帰ってきてからやろう。

マイナンバーカードの更新は役所に行かなくてもいい

線形代数のことを SageMath にやらせるのが何か上手くいかなくて、昨晩は結構時間を使った。出力の意味を分かるのに手間取ったのが原因。幾つかいじって、そういうことだな、と一応納得はいった。その後書き物（謎）が手間取って、またしても結構な時間に成っていた。寝床で YouTube を見てれば寝られるだろうと思って、案の定寝落ちした。が、ちょっとで起きてしまった。むぅ。

時間があるので、マイナンバーカードの更新をしに山科区役所に行くか、と思って調べる。車で行けるか？と調べたら、駐車場はあるらしい。でも京都府の火の車の状況に手助けをしよう、と地下鉄で行こうと。で書類を見たら、何と役所に行かなくても更新出来る。送られてきた書類に書いてある QR コードを読み込んで、色々入力して、スマホで撮った写真をアップロードすれば完了らしい。そうなのか。やってみたら確かに出来た。役所に行かないで済んだが、地下鉄の利用料に貢献出来なかったな。まあいいです。

で予定より早く職場に行けることに成ったので、10時45分くらいに出掛けた。鰻の取引だのなんだのが制限されるかも、みたいな話が数日前にニュースで流れていたが、僅差で否決されたそうだ。鰻好きとしては有難い。ということで時間があるので、いつものうな松へ。今月初旬に開店した鰻の成瀬の前は素通り。でいつもの通り一本鰻を食べた。1回を除いて毎回一本鰻。3300円はお得。しかも200円引きのクーポンがあったので、更に安く食べられて、しかも PayPay で払ったから、財布の中身は減ってない。嬉しい。

職場には12時前に着いた。ジハンピの使える販売機で栄養ドリンクを買ってドーピング。行列のクロネッカー積の勉強、はしなかった。昨日 13¹⁸＋18¹³ は素数か？ということを鈴木貫太郎氏が動画で上げていたので、それを確認。18 乗を見た瞬間に mod 19 で考えてフェルマーの小定理、と思い付かないあたりは何ともぬるい。鈴木貫太郎氏の初手がそれだった。で素数でないことはもう示せたが、実は17でも割れる、と言っていて、氏は小さい素数から順に調べたと言っていたが、コメント欄に「13²＝169≡－1 (mod 17) だよね」と書いてる人がいて、う、成程、と。ですぐ再現出来た。17、19 以外にもう一つの素数で割れるが、それはデカい。で TeX 化して、さあクロネッカー積を、の筈が、中途半端に TeX 化したものを考え始めてしまい、さらにそれに関連したことをしらべたら、tsujimotter 氏のページに辿り着いてしまい、見たら面白そうな話題が沢山あって、そっちに熱中してしまった。そんなことをしているうちに1時を過ぎていた。いかん、講義に行かな。

今日は「代数学II」。先週ガロア理論の基本定理を証明し終えたので、今日はガロア群の計算と、中間体の対応付けを少々。今日は学生は気分悪かったろうな。「シローの定理」と2回ばかり言ったし、有限巡回群の部分群がどうしたとか、単位群でない p 群の中心が非自明とか、多分誰も覚えていないだろう。まあいいです。大学院を受ける人はこの手のことは強く成っておいた方がいいです、と言っておいた。寝不足でハイなこともあって、今日も色々口汚くなってしまった。3回生相手にこういうことをしてるから、小生の卒研を選んでくれないのだろう、とは思うがな。

すぐゼミだが、例によってちょっと遅れて行った。今日はまず合同数を調べるのに使う楕円曲線の L 関数の話。色々分かって嬉しい。和田秀男先生が合同数の一覧を作ってた話とか、SIMATH や Upecs で L 関数とその導関数の s＝1 での値が0かどうか判定するのに結構雑なことをやっていたが、それは学生が話してくれた通り、ちゃんと誤差評価が出来てるから、とか色々話しておいた。で漸く保型形式の章に入った。フルモジュラー群をまずやるのは Serre の本と同じだが、著者が書いている通り最初からレベル付きでやるのでちょっと難しい。まあ今日は分かった。いつ落ちこぼれるでしょうか？などと思っていたが、多分後4回しか金曜日はない。二人の学生が交互に藤崎先生の楕円曲線の本とコブリッツの本（上田、浜畑訳）を読んでたので、28週間あるが実質14回ずつ。まあ仕方ないな。二人共よその大学院に行く。行った先では厳しくやられるだろうけど、二人共ちゃんとしていたし、いいでしょう。5時半過ぎに終了。

すぐ帰ると渋滞してるだろうし、居眠りしてギャ！とか成るわけにはいかないので、7時半過ぎまで職場にいた。Q_p の位相的な性質を講義でやるから、勉強しておかないとと思って、画面を睨みながらペンを片手にやったが、一言二言足りないばかりに、理解するのに時間の掛かった所が数か所あった。ちゃんと書き足しておいて、しっかり話せるようにしないと。暫く慌てなくて済みそうだ。定期試験の問題を作ったり単位認定レポートを考えないといけないので、そっちに集中しよう。

NHK でニュースを見ているが、トップニュースは香港の高層住宅の火事。何か凄いことに成ってるな。想像を絶する。高い階に住んでると逃げられないな。小生は2階に住んでるので、酔い潰れてるとかそういうことが無ければ逃げられるだろう。法律では10階を越えてるかどうかで高層かどうかわかれるそうだが、親父殿が再開発マンションの10階を選んだのはそういう理由だろうか？知らんけど。小生は料理はしないし煙草を吸わないから、火のもとに成る心配は無いだろう。いや、電気のコードのカバーが破れて、漏電して綿埃に発火、ということはあるそうだから、気を付けないと。と言いつつ全然掃除してないんだが。色々忙しいんでね。

明日は午前中に用事があるから、早く寝ないと。「探偵！ナイトスクープ」とその後のドラマは録画しておくか。いや、録画しなくても Tver で見ればいいが、録画しないと落ち着かないのが昭和の人間。明日は呑みに行けないので、用事が済んだらまとめて見よう。

円分体の整数基を求める途中に出てきた同値性の証明で紛糾（素数分体以外はよく知らないぞ）

何だかんだと遅くまで起きてて、遅く起きるというのが恒例に成ってる。まあ今日は11時半前には起きたが。職場に着いて弁当を買うが、残りが少ない。まだ12時40分には成ってなかったが。セントラルアークで弁当を売ってると書いてあったが、そのせいで出店が減ってるのだろうか？一店舗当たりの量が減っているのだろうか？知らんけど。

1時10分からゼミ。今日は円分体の絶対共役差積と判別式の計算の話。途中一箇所分からない所があると言っていて、確かに分からないな。三人寄れば文殊の知恵と言うが、名案が出なかった。間違ってるのでは？という疑問が出たが、後の議論を見るとそうなってくれないと困る式。判別式の値はよく知られた式なので、結論は合ってる。ということはいいのだろうか？しばしグダグダやったが、結論は出ず。一旦ペンディングにして、先に進みましょうということにした。で1箇所本に間違いがある、と言い出したので、何だと思ったら、河本史紀さんが指摘したのの修正が今買うと最後のページに出ているのだった。住処にあるのは新しいものだが、職場にあるのは大学に通ってる時に東大の院生が置いていった本があるので、欲しかったら持っていって、と言われて東大まで出向いて貰ってきたもの。件の箇所にしっかり「～は成り立つのか？」と書き込みをしてあった。初めて読んだ時に疑問に思ったのだな。ガロア拡大と仮定しておけばいいと納得したのを思い出した。それを使った時はガロア拡大だから問題は無かった。ガロア拡大じゃない場合は分岐に関することを色々使ってたから、全く一般の体では成り立たないのかな？まあいいです。勉強に成った。一箇所不明な点が残ってるのと、来週の初めの方に行列のクロネッカー積が出てくる。詳しくないので理論武装しておかないと。4時20分過ぎに終了。

その後明日の講義の準備を少々。Q の V₄ 拡大、S₃ 拡大、C₄ 拡大の例をやって、C の部分体に ζ_n＝exp(2πi/n) を添加した話をちょっとやって、基礎体を Q にして、n を素数にして、という所まではいかないかな。まあ暫くは分かっていることばかりだから、金曜の講義の準備にはそんなに時間は使わないで済む。コーシーの定理（G が有限群で p が #G の素因数の時、G には位数 p の元がある）の証明を去年までと変えようかという気に成っている。星明考「群論序説」（日本評論社）を著者から送っていただいたが、ちょっと見て難しそうで読んでない。8月に東京に行った時に星君に持ってるけど一冊買うと約束して買ったので、職場に一冊家に一冊という体制に成ってる。シローの定理の証明を復習するために星君の本を読んでみようという気に成ってるので、時間のある時にやる。少し先に致命的なミスを発見してしまったので、そこの修復をしないと。それから月曜日の線形代数の準備を少々。表現行列だとか基底の交換行列とか、難しいな。大学1年の春休み（1年生の講義が終わって2年生に成ろうという頃）に齋藤正彦「線型代数入門」のその辺りを行ったり来たりして苦労したのを覚えている。その辺りだけ手垢で黒く成ってる。1回生に理解出来るとはとても思えないが、やります。こっちに来た年に当時の一回生（munepi）に基底を交換する必要がどうしてあるんだと聞かれたが、その時は「対角化」という言葉も「固有ベクトル」という言葉も使わなかったが、その辺を念頭に置いた説明をした。写してビヨ～ンと伸びるだけのを軸に取った方が分かり易いよね、ということを言ったんだと思う。ちゃんとその辺を今年も言っておこう。

すき家でローストビーフ丼が食べたいぞ、と思って、何度か行ったが注文出来ないモードに成ってて、今日はもうメニューに影も形も無かった。まあいいか、カレーに何かトッピングで、と思ったが、最近ちょっと無駄金を使ってるので、プレーンのカレーにしておいた。490円。安い。PayPay で払ったから、財布の中身は減ってないし、まあいいでしょう。この前ジハンピのアプリをスマホに入れて、職場で使ったら確かに最初の3本は無料だった。こうやってコツコツと節約して、使う所でバーッと使うのがいいでしょう。30日は職場に行かないといけないので、今週の明後日は散財しないが。床屋に行こうか？10月25日に行ったようだから、まだいいかという気もするが、鏡に映った時の髪型が何か変で気に成っている。30日の用事は面接なので、切っておいた方がいいかな。まあ明後日の状況次第で。昼前に近所で用事があるので、どっちにしろ起きる。前の晩は呑んでないだろうから、切ってもらってる最中に腹が痛くなる確率も低い。行くかな。

桑原は Lions に行ってしまった

昨日書いた通り昨晩は結構遅くまで大学にいたので、ニュースを見ていなかった。熊本で結構大きな地震があったことを今日の夜知った。それと、寝る前にスマホをいじってたら、Baystars ファンが人的補償が何だとか書いて Lions の選手を吟味していたが、FA 宣言していた桑原が Lions に行くことをその後知ってビックリした。残ってくれなかったか。まあ Giants じゃないのでいいです。ということで寝るのは結構遅かった。

10時過ぎに呼び鈴が鳴って起こされた。荷物を取りに来るのは12時から2時の間だった筈だが、と思って出てみると、定期購読している某ブツが届いたのだった。何だ、ともう一度寝た。1時半過ぎにもう一度呼び鈴が鳴って、今度は予定通りの要件。荷物を受け取って伝票を渡した後一瞬で帰っていかれた。こんなに簡単に済むなら、もっと前からやっておけばよかった。

でシャワーを浴びて後、保健センターに行くために出勤。ウェストウィングの近くに停めようかと思ったら、通常枠は全部埋まってて、仕方ないので身障者用の所に停めてしまった。まあ他にも同様の場所は幾つか空いてたのでいいでしょう。血圧はまあいい数値だった。処方箋を受け取って終了。

その後部屋でちょっとメールを見て書いて。定期試験の問題の提出締め切りの日付を知らせるメールがあった。そろそろ腹を決めないといけないな。前から多少は案を練ってあったので、慌てることは無いが。もう一度丹念に点検して、解答例は配布しないが、web に上げるかもしれないので書き書き問題の不備は無いかとか難易度はどうかとか点検して。そんなことをしてるうちに会議の時間。

今日は幾つか重ための議題がある会議だった。来年、再来年は忙しくなるかも。嫌なこった。来年の学科長が決まって、再来年もほぼ決まりなので、次に学科長をやるのは60歳に成った後。あと数年で定年なのに学科長やらせるか？と思うが、定年退職の前の年にやっていた人はいるしな。まあ仕方ない。もう一回やれば済むなら我慢しよう。

その後ちょっとゴソゴソと仕事をして、薬を調剤してもらわないいけないので、7時ちょっとに職場を後にした。渋滞はしておらず、7時40分に成る前に薬局に着いた。待ってる間に買い物をして、読書をして。文庫本はほぼ終わりに成った。次は何を読もう？と思っていたのだが、森毅先生がお書きに成った数学史の本が面白そうで、しかも薄いから、これにしようということにして、鞄に入れてある。楽しみだ。

8時半くらいに帰ってきて、先週の「座王」を見てから NHK 総合でやってるニュースを見た。熊本の地震はその時に知った。マエケンこと前田健太が Eagles 入り。FA 宣言していた Fighters の松本剛が Giants に行くというロクでもない情報もあったが、最悪桑原もマエケンも Giants という事前報道があったから、それよりはマシ。後は辰己（立命館OB）がどうなるかだ。Giants はセンターを補強したいから桑原に触手を伸ばしていたという情報があったのだろうが、辰己は Giants 選ぶなよ。

今「これ余談なんですけど…」をやってるが、星野伸之と能見が出てる。星野の球遅い話はやはり盛り上がるな。星野からデッドボールを食らった後冷却スプレーを使った打者が一人もいない、という話は面白いな。もうちょっと番組は続く。録画しておけばよかった。まあ Tver で暫く見られるから、もう一回見よう。

連結性のことを結構忘れていて、10時過ぎまで職場にいた

何だかんだと遅くまで（早くまで？）起きていて、で起きたらもう相当な時間。講義にすっ飛んでいく。勿論言葉の綾で、スピードはそんなに出さなかったが。弁当を買って食べる時間はあるかとも思ったが、慌ただしいので、カレーパンを一個買って齧って済ませた。

今日は院生向けの講義。ヒルベルト記号の explicit formulae の証明の残りを済ませて、で系として非退化双一次形式が引き起こされること、局所類体論の2次拡大バージョンを示して、それから積公式。「跡公式と間違わないように」とは言っておいたが、勿論蛇足。ただ思い付いたので、「確立論とか卒検とか書かないように」と言っておいた。割合最近どちらも見た。でその後 p 進の exp と log を定義して、exp の性質を示したら時間になった。来週は log をやって、で Q_p^× の構造をやって。

で生協でもう一度パンを一個買って、コーヒーで流し込みながら教授会。今日は大事な件があるので必ず出席せよ、との案内が来ていたので、急いでノートパソコンの電源を入れるも、何か変。何度かやって嫌に成ったので、デスクトップのパソコンで出席することにした。こっちだと音量が小さいので、よく聞こえない。イヤホンを差し込む穴を探せばいいんだな。今度やろう。で急いで参加したら、何やら就職関係の部署の報告が行われていた。肝心の件には間に合った。でそれは結構短時間で済んで、教授会は割と短時間で終了。よかった。

それから講義資料の直し。数箇所直して、web に上げて、で来週の分をちょっと見たら、もう位相的な議論をしないといけない回に成っていることが分かってギョッとする。ちゃんと見ておこう、と思って始めたが、嫌になった。距離空間だとコンパクトと点列コンパクトが同値とか一昨年は真面目にやったが、もうそれはいいか、と。連結性は真面目にやるけど。シラバスを見ると、位相空間の講義では連結性は最後の方でやるようなので、もう大分皆沈没しているだろう。丁寧にやってあげるに越したことはない。で始めたが、結構トラブった。隔年開講の講義なので、2年前にやった筈だが、覚えてないことが多い。R が連結だとかちゃんと理解して話してたのだろうかと思ってしまう。で苦労したお陰でよく分かった。で連結成分の定義と、x を含む連結成分は x を含む最大の連結集合であることが理解出来た。で気付けばもう10時。いかん、帰るぞ。

今日はカップラーメンの買い置きがあるので、途中で寄り道せず直帰した。まだ名神の夜間通行止めは続いてる、と思ったが、大津インターから国道一号に降りてきた辺りにある電光掲示板に通行止め情報が出てない。峠を越えてる途中に名神が右上に見えるが、車が走ってる。ん？京都東インターの入り口が近付いてきたので見ると、入れるようだ。もう夜間通行止めと集中工事は終わったのかいな？29日までの予定と成っていたと思ったが。30日は日曜日だが職場に行かないといけなく、その前に集中工事が終わるのでよかったと思っていたが、もう済んでるなら助かる。

途中前を走ってる車が結構蛇行していたが、居眠りだろうか？怖いな。昨日酷い車の事故が2件あった。一件は事件と言ってもいいと思うが。君子危うきに近寄らずということで、途中の赤信号でしっかり停まって、離れることにした。幸い歩行者用押し釦が押されていて、長いこと停車していたので、次の信号まで一切追い付かなかった。無事に帰ってこられてよかった。

明日は保健センターに行く日。火曜の番は大体飲酒なのだが、今日はやめておく。適当な時間に不要なコンピューターを引き取りに来てもらうので、起きられなくて保健センター行けなくてギャ！ということをしないで済む。で予定表を見たら、ロクでもないこと気付いた。土曜日の午前に近所で野暮用、日曜日は業務、来週の水曜日は健康診断、という訳で暫く酒を我慢する必要がある。実は昨晩ちょっと呑もうと買いに行ったが、違法販売機でいつも買ってるレモンハイが売り切れていたので、呑めなかった。ちゃんと我慢すれば、ほぼ2週間禁酒したことなる。出来るんでしょうか？どっかで呑んじゃいそうだな。深夜に髭面の初老（もう初老というほど若くないか？）の男が酒を買って帰るのはいかにも胡散臭いので、やらないことにしているが、早目に買いに行けばいいのか。まあ可能なら我慢しますわ。

今月2回目の月曜祝日授業

何だかんだと結構な時間まで起きていてしまう。で寝床に入っても中々目をつぶろうとしない。で起きたらもう12時過ぎ。ぎゃ！急いで出掛ける。名神の集中工事はまだ終わってないし、祝日だし、混んでないといいが、と。で幸い混んでなかった。12時45分くらいには職場に着いた。祝日なので駐車場はすいてる。後で考えれば、もっとウェストウィングの近くに停められたな。まあいいです。で唐揚げ弁当が一個残っていたので、買って食して。

祝日だが出席している学生は結構いる。今月だけで月曜日の祝日授業は2回目。もう1回生でも慣れているのだろう。今日の線形代数は、核がどうしたとか像がどうしたとかそういう話。単射なのと核が自明なのが同値とか、次元定理とか。で次元定理を使って、次元が同じ有限次元ベクトル空間の間の線形写像は単射であることと全射であることが同値（従って同型写像であることとも同値）とか、同型なのと次元が等しいのが同値とか。去年テストである二つのベクトル空間が同型でないことを示せという問題を出したが、多くの学生が「次元が等しくないから同型でない」と書いてて感心した。今年も出してみようかな。今日は思ったより進まなかった。難しい所だから多少ゆっくりやったのと、思いの外脳味噌が動いてなくて、何度か30秒くらいの pause があったのが原因。来週はちゃんとやろう。そろそろ表現行列だとか基底の変換行列とか出てくる。難しくなってくるぞ。

で毎週の通りすぐゼミ。今日は今回順番だった学生が熱で来ないとメールを寄越していたので、やるの？と思って部屋に行ったらちゃんと始まった。今朝急遽予習したらしい。まあユークリッド整域とか P.I.D. とか、ユークリッド整域 ⇒ P.I.D. ⇒ U.F.D. とかだから、3回生の時の講義でやったよね、ということかな。今日は完全な代数だったのであまり面白くなかった。来週は Z[√－d] が P.I.D. の時（即ち d＝1 か d＝2 の時）に素数がどう素元分解するかをルジャンドル記号で調べるという話。フェルマーの2平方和定理とか出てくるのだろう。来週は整数論が出来る。5時くらいには終了。

その後事務仕事を二つばかりやって、講義の後始末をして、で適当に帰ってきた。もう帰宅ラッシュは終わってる、と思ったら今日は三連休の最終日だから、レジャー帰りの皆さんで混んでいた。ちょっと失敗。

明日は第4火曜ということで資源ゴミ回収の日。これから分別する。それと、使わなくなったパソコンを引き取ってもらおうと、箱に入れたまま随分放っておいたので、その手続きもした。こちらは明後日来てもらう。多少金を払わないといけない。職場で回収してもらえば無料だが、半年に一回しかないので、次を待っていられない。職場も住処も収拾が付かなくなっている。ちょっとずつでもどうにかしないと。会議資料が紙で配られなくなってよくなった。裏の白い紙はつい勿体なくなって取っておいてしまう。昔の会議資料が奥から奥から出てくる出てくる。それと学生に配って余った演習問題とかも。今はどちらも web で配布すればいいからね。論文のコピーもしなくなった。バリバリ計算して、どんどん資源ゴミにしましょう。

安青錦が豊昇龍相手に4連勝で優勝。大関昇進確実。

昨晩はちょっと早目にお開きに成った。バイトの人が来なかったのもあって。娘さんは遠くに住んでいると思ったのによく親御さんを訪ねるのだな、と思ったら、結婚を機に京都府内のそんなに遠くない所に夫婦共々引っ越してきたそうだ。旦那さんの親御さんの近くで、娘さんの親御さんからもそこそこ近くて、そっちの方がいいということで仕事を変えてまで引っ越してきたそうだ。まあ正解かな。男二人で呑むのも楽しくていいです。

帰ってきて少し経ったらダウンしたようだが、大して寝てないのに昼前に目が覚めてしまった。が、カップ麺を食べた形跡がある。腹は既に減っていたので、もう一つあったカップ麺を食べて、で相撲までちょっと時間があるし、深く寝ないようにしようと、NHK 総合にチャンネルを合わせて横に成って、YouTube を見てたら寝落ちして、また数時間寝た。で適当な時間に起きて相撲観戦開始。昼のニュースで大の里が休場するというショッキングな情報があった。入門してから初の休場とか。肩の脱臼らしい。仕方ないな。で11勝コレクターの安青錦だが、大関琴櫻を得意の内無双で破って、入幕5場所で初の12勝目。もし負けてたら、横綱同士の取り組みが無く優勝が決まるという超つまらない事態に成るところだったので、まあよかった。舞の海曰く「安青錦が頑張ってくれてよかったですね。尽力してくれた多くの人達が報われます」と。その通りだな。つまらん終わり方でなくて本当によかった。と書くと、さも豊昇龍が優勝したような書き方だが、決定戦で勝利したのは安青錦。豊昇龍は頭から当たった方がいい、と琴風が言っていて、その通りの立ち合いだったが、安青錦の圧力が強かったのだろうか、引いてしまい、それで後ろを取られて送り投げで破れた。琴風がよく「毒饅頭」という言葉を使うが、引くのは決まった時が鮮やかなので引くのを癖にしている力士は結構多い。まあ翔猿の蹴返しも失敗すると格好悪いよね。安青錦の内無双がそうならないといいが。

えーと、長く成ったので段落を変える。安青錦はまだ21歳。大関昇進は確実で、初土俵から14場所での大関は琴欧州の19場所を塗り替える最速記録（幕下付け出しは除く）だそうだ。21歳8ヶ月での優勝は歴代4位の若さとか。14場所で優勝もウクライナ出身の優勝も大関も初。故郷は大変な状況だ。勇気を与えられてよかったと思う。最近大関から陥落する力士が多い。そうならないよう願おう。まあ真面目そうだし、大丈夫かな。

見てなかったが、玉鷲 vs. 藤ノ川の21歳差対決（史上最も年齢差のある対決らしい）は玉鷲が制したそうだ。最後にダメ押しをせずに、逆に土俵に戻すんじゃないかという声があったらしい。深夜のダイジェストを録画しておいて、明日にでも見よう。

明日は振替休日らしい。うちは例によって関係無いけど。考えてみれば、一昨年も去年も九州場所の千秋楽は AO 入試やら何やらで動員されて、決着は見られなかったな。今年は一週間遅くて来週だから見られた。そうだ、去年は11月24日が AO 入試で助かったのだ。何故かというと、もう一週間遅かったら Baystars の優勝パレードに行けなかったから。今年は残念な結果だった。来年はリーグ優勝しましょう。FA 権を持っている伊藤光は Eagles に行くそうだが、桑原はどうなる？桑原がいなくなったら大変だ。是非残留を。

両横綱と安青錦が3敗で並ぶ展開に

やはり昨日は寝不足で、昨晩も2時過ぎまで起きていて、10時半に医者に行かないといけないのに、10時40分過ぎまで起きられなかった。ギャ！急いで出掛ける。検索する時に見た情報だと、出張へ行くときや帰ってくるときの山科駅への／からの途中にある2階建てのプレハブ小屋みたいなのの2階だろうと思って行くと、その通りだった。クリニックモールという病院が集まってそうな名前の建物だが、1階は薬局が入ってるだけで、もう一箇所のスペースはテナント（とは言わないか？）募集中に成ってたから、流行ってないのかな、と思ってエレベーター（結構最新式）を降りて見ると、そこそこ待合室は埋まっていた。大流行りというほどではなかったが。問診票を書いて、30分も待たなかったと思うが、呼ばれて、で医師が問診票にざっと目を通して、問題無しということで、看護婦（今時は看護師と言うのか？）がぶすっと針を突き刺してくれて終了。15分院内で待機しててくれと言われて、タイマーを渡された。待合にタイマーを持った人が数名たが、インフルエンザだろうかコロナだろうか、ワクチン接種をした人達だろう。3300円払って終了。

さて、銀行でお金を卸して、でなか卯で昼飯を、というところで閃いた。三条通まで出て銀行へ行くのより、山科駅まで行って、駅前の ATM で卸して、松屋で飯、旧三条通を通って帰ってくる、の方が楽だな、と。でその通りにした。失敗だったのが、松屋で食べたのが豚肉の定食だったこと。ちゃんとチケットを買う時に見ないといけないな。まあ旨かったのでいいです。

昨日寝不足で、今日も十分寝ていたわけではないので、帰ってきてしばしダウン。目が覚めるともう相撲が始まってる時間だった。昨日安青錦は大の里に敗れて、2敗で両横綱がトップ、大の里は3敗と成っていて、やはり安青錦は駄目か、と思ったら、何と大の里が琴櫻に負け（琴櫻は漸く勝ち越し）で、安青錦は何と豊昇龍に勝った。これで3敗で3人並んだ。明日は千秋楽なので、結びで横綱が直接対決、安青錦は大関琴櫻と。大の里は怪我をしていそうな様子が見受けらて、ちょっと厳しいか。安青錦はもう11勝コレクターは卒業しましょう。ということで豊昇龍と安青錦で優勝決定戦かな。豊昇龍も優勝しないと。横綱に成って5場所目で、新横綱からこんなに長く優勝してないのは過去に確か2例しかないらしい。さあどうなるでしょうか？

今日は注射をしてきたから呑まずに大人しく、が正解なのだろうが、30日は日曜出勤なので、来週の土曜は呑めない。ということで今日は呑む。程々に？いやー、出来ないだろうな。まあいいです。自己責任ということで。では行ってきます。

講義ではガロア理論の基本定理を証明し終えて、ゼミではディリクレの単数定理の証明をし終えて、充実の一日

あまり長時間寝てないのに、起きてしまった。目が冴えてるし眠くない。もういいや、と。でウダウダと時間を潰して、でインフルエンザの予防接種の件で8時50分くらいに病院に電話したら、今日今すぐでもいい、と言われたが、シャワーを浴びてから行かないといけないので面倒で、明日にしてもらった。土曜日だから当然の如く午後休診。10時半でどうだ？と聞かれたので、それくらいならということで予約設定。それからシャワーを浴びて、10時半過ぎに出立。

早い時間だとうな松でいいのだが、昨日 Uber Eats に鰻の成瀬のメニューを頼んだので、鰻はいいかと。でもまあ時間はあるし、学内で弁当というのも味気ない。ということではま寿司にした。はま寿司では最後は鰻で締めることにしてるので、結局鰻は食すんだが。まあいいです。例によって2000円ちょっと。

で職場には12時ちょっとに着いた。まだ講義時間中ということで、学内は静かだった。ということで見られて恥ずかしくない状況だったので、前から自販機の前を通るたびに気に成っていたジハンピのアプリをスマホにインストールすることにした。自販機の前で立ち止まって、QR コードを読み込んで、で PayPay と紐づけて、まではよかったが、PayPay の残高が約108円。はま寿司ではギリギリ足りたということだ。これでは買えない。また後日にしよう。桜田ひよりが「3本無料！」と言ってたので、今度試す。3本買うには袋が必須だな。また近い内にやる。

1時10分から「代数学II」。この前 Aut(L/K) の部分群の固定体を定義したんで、それを実際に計算して見せて、それから Aut(L/K) の部分群全体の集合と L/K の中間体全体の集合の間の写像を定義して、何も仮定しないでどこまでのことが成り立つか示して、で有限次ガロア拡大だと互いに逆写像に成るのを示して、で何と一気にガロア理論の基本定理まで証明し終えた。寝不足だとハイだな。いつもの寝不足は睡眠時間がかなり0に近いが、今日は4時間くらいは寝てると思うので、そんなでもなかったな、と思ったが、講義終了後スマホを見ながらノートに書き写してる学生が二人いた。超高速だったのだろうか？申し訳ない。まあ変な所で終わるよりはいいでしょう。来週いっぱいと再来週の半分弱でガロア対応の例を幾つかやる。抽象論だけだと面白くないよね？位数が6の群は Z/6Z か S₃ と同型とか、位数が素数 p の2乗なら Z/p²Z か Z/pZ×Z/pZ のいずれかと同型とかは遠慮なく使わせてもらうが。訳の分からない群論がちょっと役に立っていいでしょう。5次方程式の非可解性とか代数学の基本定理とかに使えると嬉しいのでは？と思うがいかがだろうか。

すぐゼミなのは相変わらず辛いところ。寝不足だし講義で消耗してるし。が、今日のゼミは楽しかった。ディリクレの単数定理の証明。ジーゲルの講義録の証明を採用しているそうだが、実に面白い。学生がきちんと解説してくれたこともあるが、非常によく分かった。ジーゲルの整数論の本を持ってるが、例によって読んでない。面白かろうな。また定年後の楽しみが一つ増えた。時間いっぱいやって、6時15分に終了。ご苦労様でした。

でお分かりの通り、相撲はもう終わっていた。7時からのニュースで結果を教えてくれるだろうからと思って、NHK プラスを Chrome で開いておいて、スポーツコーナーに成るまで講義の後始末をしたり月曜日の講義のことを考えたり。安青錦は大の里を土俵際まで追い詰めたが、大の里の足は残っていたか。残念。取り直しでもよかったのではと思うが、物言いは付かなかった。まあプロの目でそうなんだからそうなんでしょう。豊昇龍も勝って、横綱二人で残り2日、ということになるのかな。まあ安青錦は今場所も二桁勝ってるし、来場所も同じ調子でいけば大関に成るでしょう。

で講義の後始末の残りをやって、8時半前には終わりにしたんだが、部屋の片付けを少しやろうと思ったら、案外時間を使ってしまった。本棚に何やら紙が積んであるが、何だと思ったら昔買ったパソコンのマニュアルや、研究費でパソコンを買おうと思って集めたカタログが沢山。NEC のパソコンのカタログが多かったが、単に中山美穂の写真が欲しかっただけでは？という気もするが。取っておいても載ってる製品はとっくに売ってないし、中山美穂もこの世にいないので、まとめて捨てた。それと使わなくなった電子辞書の箱とか。まあこれくらい捨ててもまだ全然大したことないんだけど。それとコピーして読んでない論文が幾つか出てきたが、知ってる方の書かれた論文はその後ダウンロードしたな、ということで計算用紙行。もう一本出てきた論文はちょっと面白そう。こんな論文出てたか。知らなんだ。コピーしただけで読んでない論文は奥から大量に出てくるはず。早目に処分した方がいいな。ということで9時過ぎまで職場にいた。

セブンイレブンで PayPay に10000円チャージして、すき家でローストビーフ丼を、と思ったら無い。何故？店によってあったり無かったりするようだから、今度は別の店で探して見よう。帰りにちょっと大回りする必要があるけどもう一軒あるし、山科にもすき家はある。そっちに行ってみよう。今度は牛肉が食べたかったので、結局牛あいがけカレー（名前が違うかもしれない）にした。ココ壱番屋で食べるより安いしいいや、ということで。

ゼミが無くなって用事が無くなったが、全く有意義に時間を使わなかった

昨晩はちゃんと寝て、で割とちゃんとした時間に起きた。が、寝床を出る前にスマホでメールを見ると、今日の番だった学生が熱があったり喉の調子が悪かったりで、発声もままならない、との趣旨のメールが来ていた。もう一人の学生（二人でやってるゼミ）は今からでは発表の準備は無理だと。まあそれはそうだ。難しい所をやってるからね。ということで今日は無しに成った。職場に行かなくてよくなってしまった。さて、どうしよう？取り敢えず Uber Eats にから好しの唐揚げ弁当を頼んで、食べながら先週の「座王」を見て。で有意義に使わないと勿体ない、と思って、そうだインフルエンザの予防接種に行こう、と思い立つ。こっちに来てからは職場で毎年打ってもらっていたので、今年も、と思ってこの前メールを見たら、その日が3日間ある接種日の最終日の次の日。ガーン、と思って「インフルエンザ予防接種 山科」くらいで調べたらすぐ近所の病院が2箇所ヒットした。で本当にすぐ近くだから、午後にでも、と思ったら木曜午後は休診、とのこと。まあ今日の今日では無理だろうな。予約をしないと、と思っても休診なのだった。明日にでも電話して、可能なら明後日打ってもらおう。駄目なら来週の水曜日の午後にでも。

そうだ、マイナンバーカードの更新をしに役所に行こう、と思い立ったが、更新関係の書類はどこへやったかいな？探すの面倒だな、とかやってたらあっと言う間に相撲の時間に成ってしまった。結局何も生産的なこともせず、用事もこなさずと、無駄な一日だった。まあいいです。マイナンバーカードの更新は来週の水曜日にでも。それまでに書類は探す。

今日の相撲も盛り上がった。2敗の3人は全員勝って、明日は大の里と安青錦の2敗直接対決。豊昇龍はこういう日は負けちゃいけない。頑張ってもらわないと。が、明日はリアルタイムでは見られない。3時前からゼミで、終了は早くても5時半くらいだろうからな。あ、早目に終われば NHK プラスで見られるな。まだやったこと無いから、明日のために後で試してみよう。病院の予約はゼミ終了後でも大丈夫。ゼミは最高で6時15分まで、病院は7時まで。ボーっとして忘れないようにしないと。

時々面白いなと気に成る CM がある。今は「メンズビオレ」のCM。最後に友達に一言「無い」という菅田将暉の冷たい言い方と表情がいい。つい見てしまう。菅田将暉ってあまり好きな俳優ではなかったが。「鎌倉殿の13人」で義経をやっていたが、今までの義経とかなりイメージが違う感じだった。司馬遼太郎の「義経」を読むと、世間で語られているような英雄ではないのが分かって面白かった。滝沢秀明が主演で、弁慶が松平健、静御前が石原さとみというとどうしてもああいう英雄譚に成ってしまうだろうが、「鎌倉殿の13人」は頼朝の極悪さを際立たせるのが目的だったのだろうから、義経もハチャメチャで面白かった。三谷幸喜流石。去年と今年は大河ドラマを見なかったが、来年は見る。秀吉の弟の秀長が主人公というのは面白そう。秀吉が主人公だったら見ないかもしれないが、秀長だからね。

NHK プラスを書きながら試してみた。前にパスワードを設定したが忘れてしまったので再設定して、でこれを書きながら11時からやっている番組を途中から流していたがちゃんと途中からでも見られることが分かった。スマホで見ないで職場のパソコンで見るよ。スマホだと何かしらアプリをインストールしないといけないかもしれないので。ゼミが max まで続いたら、見逃し配信で見るか、それとも夜のニュースと深夜のダイジェストで済ますかにするが。

今日事務長から来たメールは、2月の業務に関するメールだった。もうこんなのが流れてくる時期か。早いな。あっと言う間に2026年に成ってしまう。前はこの仕事と別の重大な件が同じ日に重なってて大変だったが、今年はちゃんと日を分けてくれた。言い方を変えれば6日連続仕事があるということなのだが。インフルエンザには気を付けて、ちゃんとやります。ということで予防接種を打ってもらわないと。「打つ」って英語だと inject だから「射つ」と書きたい気分だが、この単語は登録されていない。Goolgle 先生に尋ねたら「打つ」か「うつ」だそうだ。ふーん。

大の里まさかの連敗で、両横綱と安青錦が2敗でトップに並ぶ展開に

どうも火曜の晩から水曜に掛けては無茶をしてしまう。呑み呑み色々。有限次元ベクトル空間だと、同型であること次元が等しいことは同値、っていうのを示すのを試験に出したろうかと思ったが、やめておいた方がいいかな、という気がしたが、ちゃんと考えさせた方がいいので、本質を考えさせる形にして示させることはしよう、ということにしたが。それから tan に関する下らんことを考えたり。それとずっと前にやったドラマの最後の2話を漸く見て、結論を確かめたり。代数学IIのレポートのこともちょっと考えたり。でもう結構な時間。

起きたらもう相当な時間。どれくらいかというと相撲が大分後半。昨日大の里に初黒星を付けて初金星の義ノ富士が今日は1敗の安青錦を破り勝ち越し。昨日は殊勲のインタビューで、今日は勝ち越しインタビューと、二日続けてのインタビュールーム。で大の里は負け越してはいるが実力者の小結・隆の勝に不覚。足が滑ったように見えたが。豊昇龍は勝って、これで両横綱と安青錦が2敗でトップに並ぶ展開に。14日目終了時点で3人が並びだと面白いですね、と解説者が言ってたが、ちょっと早い。3敗の義ノ富士、時疾風、錦富士にもチャンスはある。また平幕優勝か？錦富士は勝ち越して、青森出身の幕内力士は来場所もいることに成った。よかった。

その後寝床で YouTube を見たりダラダラと。何度か寝落ちした。「相棒」の音声が聞こえていたが、録画してあるし、それにスマホの音でほぼ聞こえなかったからいいけど。いや、テレビ消せって？その通り。地球に優しくない。明日は1時10分からゼミだ。ちゃんと聞いて突っ込まないといけないので、しっかり寝ておかないと。ということで今日は早目に寝る予定。と言っても1時過ぎだが。まあ9時間以上寝られるので、大丈夫でしょう。YouTube の見過ぎに注意注意。

Hilbert 記号の explicit formulae を示すのに講義のほぼ全部を使う

またしても結構な時間まで起きていた。相撲のダイジェストまでに大昔の「さんまのまんま」を放送していたのを幾つか録画しておいたのを見たり。さんまと山瀬まみって最初から折り合いが悪いのね。大泉洋もさんまにいいようにあしらわれていた。でそれから一昨日の相撲のダイジェストを見て、昨日のを見て。で天気予報が気に成るので、見てから寝た。

起きたらもう2時近い。講義は2時55分からなので間に合うが。今日の最高気温は昨日より9度低いと言ってたが、確かに寒いな。風が強い。でもまあ何事もなく職場に着いて、弁当を買って売店の脇で食べるくらいの時間はあったので、食してから少しだけボーっとして講義室へ向かう。

今日はヒルベルト記号の explicit formulae を示すのにほぼ全ての時間を使った。学生はウンザリだろうな。M1 の彼はすっかり来なくなった。もう一人の M1 の学生と4回生が一人潜っているが、他の学生は整数論とは縁も所縁も無いのだろうから、我慢してもらうのは申し訳ないが。で結局一つだけ場合が残ってしまった。来週は中途半端な所から始めて、でヒルベルト記号から非退化双一次形式が誘導されることを示して、局所類体論の玩具をやった後、積公式を証明する。この証明に平方剰余の相互法則を使う所が最上の鑑賞ポイントなのだが。まあ9割方の学生には意味が分からないだろうと思うがね。

で個研室に戻ってから講義の後始末。ちょっと一箇所謎な所があったので。どうも色々書き間違えて、それにミスリードされたようだ。整数論の人はよくミスリードされる。高木貞治然り。でそれから来週の分をざっと見て、それから意を決して外国人にメール。こういう趣旨のことは書きたくないが、何度もメールが来るので返事をしないと引き下がらないだろう。ああでもない、こうでもないとして、1時間以上掛けて何とか書き上げた。電子辞書の電源を久し振りに入れたが、電池の寿命が付きかけていたようなので、クレジットカードのポイントで大量に買った単三電池の封を破って入れて。Chrome は英語の初歩的な間違いを直してくれるので助かる。疲れた。9時過ぎに職場を後にした。

晩飯は何にしようかと思案して、ガストで豪勢に行くことして向かう。ステーキと和食セット、ご飯小盛。優に2000円を超えたが、これくらいはいつも Uber Eats に払ってるし慣れてる。PayPay で払ったから使った気もしないし。で道路をほじくり返していることも無茶な運転をしている車も無く、平和裏に住処着。でテレビを付けると、何やら大分の佐賀関という所で相当な火事に成っているというニュース。大分は知り合いがいるが、大丈夫だろうか？明日にでも聞いてみよう。それと大の里が義ノ富士に負けたというニュース。あれま。安青錦は勝ったので、これで二人が1敗でトップに。豊昇龍は随分負けているような気がしたが、2敗か。義ノ富士、時疾風、錦富士が3敗。錦富士が幕内に戻ってきて、100年以上続いてる青森出身力士の在籍が続いている。錦富士は頑張って幕内に残らないと。尊富士は東十両7枚目で6勝4敗。一場所で幕内復帰は難しいような成績だから、錦富士が踏ん張らないと。

明日も学科会議は無いそうだ。ちょっと今は余裕があるので、色々やっておこう。学生に読ませる本を考えるのと、線形代数の理解を深めるのと、何しよ？そろそろ定期試験の問題を作れと言ってくる頃かな？今週、来週は大きな用事が無いし、ま、色々やりまひょ。

泉岳寺の最寄り駅を高輪ゲートウェイと紹介するのは納得いかない

何だかんだで結構遅く（早く？）まで起きていて、起きたらもう11時半を回っていた。シャワーを浴びて急いで出勤。個研室で食事をしてまったり、というほどの時間は無かったので、例によってリンクスクエアの売店で弁当を買って、脇の食事スペースで食して、で1時ちょいに講義室へ向けて出発。

講義が始まってちょっとして見たら、受講生の数が大分減ってることに気付いた。前の方には固定メンバーがいて、窓際と壁際にもそこそこいたが、他の学生は皆後ろの方にへばりついてて、真ん中が滋賀県の琵琶湖のようにというか昔の京都の巨椋池のようにというかぽっかり空いてる。まあそうだろうな。去年もこれくらいの時期は大分部屋がすいていた。お陰で私語がいつまでも続かないのはいいが。数理科学科の理想と現実はどうでしょうか？今日は線形写像がどうしたとかそんな話。零ベクトルが零ベクトルに写るとか、逆ベクトルが逆ベクトルに写るとか、行列の定める線形写像が何だとか。来週は像だ核だ次元定理だと出てくるので、また難しくなる。受講生は減る一方かも知れないが、まあいいです。

部屋でちょっと休憩して、すぐゼミ。今日から虚二次体の章に入った。最初はただの複素数の話。それから整数環を決定して単数群を決定して、かなり早目に終了、と成りそうだったが、一箇所変じゃないかという疑問に思ったんで聞いてみると、やっぱり変。整数環を決定するのに －d が square-free であることが本質的に効く所があったはずだが、そういうことを言ってなかった。ちゃんと見返すと、整数かどうか分からないものを mod 4 でどうしたとかやってるのがおかしいぞ、と。square-free な数で分母に出てくる2乗の因数は払えないよね、ということに気付いてなかったようだ。が、まあ分かってくれたのでよしとしましょう。来週はユークリッド整域がユークリッド整域なら P.I.D. とか P.I.D. なら U.F.D. とかやるようだ。整数論ではなく代数だな。あまり面白くなさそうだ。退屈で居眠りはしないようにしよう。

来週の寝不足云々以前に今日寝不足。明日の講義の準備をしようかと思ったが、頭が動かない。集中出来ないので、7時くらいに帰ることにした。高速道路は混んでない時間だし、まだ集中工事が続いてるから、8時を過ぎると一般道を通って帰らないといけないし。ちゃんとドーピングしてから車に乗り込んだ。幸い何事もなく帰宅。

8時半くらいから「Qさま！！」が始まった。江戸の雰囲気の残る東京をランキングしていたが、10位は泉岳寺。が、後の説明が気に食わない。ヒントの中に「駅名に成ってる」と言ってたのに、解説は「山手線高輪ゲートウェイ駅から徒歩10分」。泉岳寺駅わい！1位は意外にも皇居。成程という気はするが。東京には12年通い続けたが行ってない所が多いな。柴又の帝釈天とか東京タワーとか。日本橋は浅草線と東西線の乗り換えに何度も使ったが、表に出たこと無いし。今度帰ったら少し歩いてみようか。いや、超地元の上大岡も案外歩いてないしな。山科に住んでもう26年に成るのに、京都でも行ってない所が多い。元々出不精な方なんでね。出不精ゆえデブ症、というのは言われ飽きてる。実家帰ったら近所の飯屋を食べ歩く計画はある。清華ラーメンの昔ながらの中華蕎麦とか全部乗せラーメンとか食べたいぞ。暮れから正月に掛けて何軒も歩いてみよう。年末年始は人混みが激しかろうから、結局実家でボーっとして過ごすだろうな。

「Qさま！！」を見たから NHK の9時からのニュースを見てない。が、最近は「報道ステーション」でちょっとだけ相撲の話題をしてくれるようになった。大の里は全勝を守り、1敗の安青錦も勝利。安青錦強いな。また二桁いきそうだ。明日は早起きしなくていいから、深夜の相撲のダイジェストを見てから寝るか。いや、眠いしな。「Qさま！！」終わってからちょっと寝床でスマホをいじってたが、30分弱寝落ちした。まあいいか、録画して早目に寝て、明日は出掛けるまでタップリ時間があるからそこで見てもいいしな。ま、その時の調子次第ということで。

玉鷲あと一歩のところで誕生日金星を逃す

珍しくふなごやのカウンターに客が3人。相当遅くまで呑んでいた。母親と娘と、もう一人男性。母娘は近くの方らしく、終電を全く気にしていなかった。男の人は電車で帰るようだが、もう終電が出た後で、駅まで出てタクシーで帰るとのことだった。でその後いつもの通り3人でワインを2本ほど。第一印象は渋かったが、段々まろやかに成ってきた。酸化すると渋みが減るのだろうか？知らんけど。化学反応の勉強をした方がいいな。深谷の葱味噌煎餅を持っていくつもりなのを忘れていた。

で例によって相当長時間寝た。相撲を途中から。今日は玉鷲の41歳の誕生日で、相手は横綱大の里。土俵際まで横綱を追い詰めたが、俵で際どく踏みとどまられて金星ならず。残念。出場回数が単独2位に成ったそうだ。鉄人はまだまだやりそうだ。旭天鵬を抜くまで頑張れ。

野球は7時から。何でそんな遅くに始めるかね。今日も3点先制されたが、すぐ追い付いた。が1点勝ち越され、すぐに3点取って逆転したりとか、際どく1点リードで9回裏まで来たが、大勢がホームランを打たれ引分。vs. 韓国11連勝ならず。今日は7点取ったが、打ったヒットは6本。相手が押し出し四球4つくれたのでよかったが、案外打ててない。韓国は長打がよく出ていた。少し引き締めないといかんですな。予選では韓国の他にもプレミア12で負けてる台湾ともやらないといけない。しかし野球は長いな。試合終了は11時近く。「サンデースポーツ」を見ることが出来なかった。6時には始めてくれないと。東京ドームでの試合だったが、終電はまだ少しあるだろう。しかし昔に比べると終電は早く成った。この前何故か品川駅の時刻表を見たのだが、京浜東北線は0時27分くらいに桜木町行があったと思ったが、今は0時15分前にはその手の電車は出てしまい、後は蒲田行が3本。京浜急行の0時23分の深夜特急も無くなってたし。こっちだと琵琶湖線の電車は早い内に京都止まりの電車ばかりに成ってしまう。WBC は何時に始めるんだろうか？テレビ局の都合はあるのかもしれないが、6時には始めてくだされ。

煎餅旨かった。明日お礼を言わないと。ゼミの前にお礼を言うとちょっと小言が言いづらくなる。ゼミ中に雰囲気が悪くなる可能性がある。終わったら言って空気を和ませよう。

野球の日韓戦は3点先制されるもその後9点取り返す

「ジャイキリダイアン」が終わったのは3時を回っていたが、そこから「緊急取調室」を2話見てしまった。更にそこから相撲のダイジェストも。結構な時間に成ってしまったが、まあ特に急ぎでやることは無いので、いいです。

で起きたら相撲が始まっている時間だった。で相撲を見終わって、野球の韓国戦があるが、30分ちょっと時間があるので、寝床でスマホいじり。YouTube でも見ようかと思ったが、その前に見た twitter に数学史のことをほじくり返した呟きがあったので、最後まで見たら眠く成ってきた。ちょっと寝たらもう野球がとうに始まってる時間だった。起きて見ると、4回表韓国に2ランホームランが飛び出し先制されたところ。次のバッターにもホームランを打たれ、3点リードされれるというちょっと嫌な展開。が、やはり韓国は最早日本の宿命のライバルではないのか、その裏に牧のタイムリー、西川史礁の2点タイムリーヒットであっさり同点に。牧の代走で出た石上の盗塁が効いた。5回裏に岸田の3ランホームランで勝ち越し、その後満塁とし Tigers の坂本のボテボテの内野安打で1点、佐々木泰の2点タイムリーの猛攻で9－3。いいですね。運もあって、韓国のピッチャーの足元への打球が1塁ファールゾーンに跳ねて捕球。これがノーバウンドなのでアウトの判定だが、スロービデオを見るとバウンドしてからピッチャーの足に当たっていた。韓国はリクエストしないのか？勿体ない。もう一つ面白いシーン。野村勇の打球が東京ドームの天井に当たり、ファールゾーンに落ちた。一旦は二塁打の判定だったが、東京ドームのルールではファールゾーンに落ちたらファールだそうだ。ということで打席に戻ったが四球。その後牧がタイムリーヒットを打ったので、価値ある四球だった。繰り返すが、韓国は最早日本の敵ではない。このままあっさり行きそうだ。が、最後までは見られない。ふなごやが閉まっちゃうからね。もうちょっとしたら行く。決着はスマホで観戦。

6日目を終わって全勝は横綱大の里のみ

今朝も11時半過ぎまで寝てしまった。弁当を買って個研室でちょっとゆっくりする程度の時間はあったが、生協の本屋をちょっと冷やかしたかったので、リンクスクエアで弁当を買って、食堂の脇で食べて、で生協を冷やかしてから講義室へ。

1時10分から「代数学II」。まず共役写像が拡大次数個しかないことと、全ての共役写像で動かないのは下の体の元であるとか。でガロア拡大を定義して、ガロア群を定義して。最後に固定体を定義して、具体例を計算する時間は無かったので、次回は実際に固定体を計算して見せて、それからガロア理論の基本定理へと突入する予定。大分盛り上がってきた。教室に来ている人数は次年度の卒研の希望者数と大して変わらないのが味噌。さっき調べたら、小生と助教の先生（代数幾何専門）の共同担当ということに成っているが、助教の先生の方が人気がある。まあ小生が性格が悪いことは講義等でよく分かってるだろうしな。

すぐ次のコマがゼミなのでのんびりできない。5分くらい遅れて行ったら、月曜日のゼミに出席している学生が。この前就職活動等で帰省した時に買ったお土産を持ってわざわざ来てくれた。埼玉出身だと言ってたが、深谷の名物が葱ということで葱味噌煎餅。旨そうだ。明日ふなごやに持っていって、皆で食べよう。で今日はある特別な楕円曲線の Hasse－Weil L 関数が整関数に解析接続出来て、関数等式を満たすことなど。解析な議論は難しくてかなわん。もっと大きい黒板が欲しいな。談話会室でやればいいという説はあるが。でそれからちょっとお話が書いてあった。「虚数乗法」という言葉が定義されてないのにどしどし遠慮無く使われている。定義を聞かれたが、流石に定義くらいは知ってるので、教えてあげた。それから Birch－Swinnerton-Dyer 予想についてちょっと heuristic な話が書いてあったのを紹介してくれた。Birch と Swinnerton-Dyer の一連の論文は昔コピーしたが、全く読んでない。Coates と Wiles の共著論文を読むセミナーを木田さんがやっていたことがあったが、朝早いのと論文が難し過ぎたので途中でドロップアウトしてしまったが、今考えると勿体なかったな。そういう話も来週以降少々出てくるようだが。L 関数の s＝1 での零点の位数が1以下ならそれと楕円曲線の階数が等しいことは何度も使わせてもらった。分からないで使ってるままのことは結構ある。どうにかしたいが、時間は有限なのでね。6時前に終了。

それから部屋で「代数学II」の後始末をしてから、来週月曜日の「数学IV（線形代数）」の準備を少々。ボチボチ線形写像に関して深入りすることになる。像と核と同型写像の定義と、ちょっとしたことはやれそう。次元定理は無理かな。学生にとってな長い証明だろうが、あの程度なら大したことない。やってることは極めて簡単だし。次元を数えるために基底を作るだけなので、大して難しくない。同型なのと次元が等しいのが同値、という基本的な命題があるが、これを次元定理を使って証明していたが、難し過ぎやしないか？n 次元なら Rⁿ と同型、を示してあるのだから、それを使えば。というかそれを真似すれば直接同型写像が与えられるが。まあその辺はちゃんと補いますわ。

で何やかやと9時過ぎまで職場にいた。もうそのくらいの時間だと大分寒い。この前ちゃんぽん亭で味噌味のがあるのを食券を買った後に発見したので、今日の晩飯はそれにしようということにした。が、前も書いた通り、あの店に行くと機嫌が悪くなる。何故入り口をちゃんと閉めない？出口の近くに座ってる人がいたが、さぞや寒かろうと思うのだが。小生なら怒った表情をして嫌味ったらしく閉めに行くが。まあ美味しかったのでいいけど。

10時を過ぎると道路をほじくり返しているのに会う。今日もやってた。それと、瀬田川大橋が車線規制では無いがちょっと狭くなっていて怖い。今日は追い抜いていくスピード狂がいなくてよかったが。あ、でも石山と膳所の間で事故があったな。ガラスの破片が結構飛び散ってた。まだこっちに来る前、ファミレスらしき所から出てくる車と、通称「笹釜」という通りを結構なスピードで走ってた車が思いっ切りぶつかって、数秒後に怒声が飛び交っていたの目撃したのを思い出した。通りに出る時は気を付けないと。夜だと見通しが悪いのと、通行量が少ないから油断するのかな。ちゃんぽん亭の出口は凄く見通しが悪いので、いつも必要以上に気を遣っているが、必要以上のことはしないといけない。「だろう運転は駄目」と教習所で言われたな。

帰り着いたらもう「報道ステーション」は半ばを過ぎていた。スポーツコーナーがすぐ始まったが、藤ノ川は負けて大の里は勝ったとの情報。役力士が勝ちっ放しで単独トップ、というのは凄く久し振りな気がするが。日本人が年4回優勝と成ると貴乃花光司（要するに息子の方）以来だと言ってたな。横綱が強いのはいいことだ。頑張ってもらおう。

これからドラマがあって、「ザキ山小屋」があって、それから「ジャイキリダイアン」という関西では不定期放送の番組が4本まとめて放送されるようで、「緊急取調室」を見る余裕は無さそうだ。まあいいです。流しておいて、紙に書き散らかしたものを TeX 化しよう。大分溜まってるからね。上に書いた次元が等しければ同型の簡単な証明も職場で紙に書き出しておいたので、それも含めて。線形代数のことも沢山そのままに成ってるが、来年度は久々に線形代数の講義をやらないので、放っておくと一生そのままだ。やるぞ。

「数学展望」は無事終了

今日も面談があって、12時半から。1時10分からゼミだから、早目に着いて食事をして、としなくてはいけないが、目が覚めたら11時半くらいだった。まず。急いで出掛けて、12時15分くらいに職場に着いた。弁当を急いで食べて面談開始。今日も割合ちゃんとした学生だった。自宅だと言っていたが、午後の講義は？と思ったら、今日はインフルエンザで熱があるらしく休むとか。講義は休むのに面談はやるのか。偉いな。単位もちゃんと取ってて、友達同士で教え合ったりもして、まあ大丈夫そうだ。よかった。10分ちょいで終了した。返事をくれた学生とは面談を済ませたが、返事をくれない学生に催促しようかどうしようか？他の先生方の様子を見てみよう。

で1時10分からゼミ。一般論は先週で終わりで、今日から円分体を少しやる。まず Q(ζ_n) では  n を割らない素数は不分岐というちょっと弱い結果をやって、それからアルティン相互律のおもちゃとかやって、で円分体で素数がどう分解するかをちゃんと記述出来た。n が素数の時はよくいじるが、合成数だと色々難しいな。拡大次数が φ(n) である（要するに円分多項式の既約性）とか、ガロア群が (Z/nZ)^× に同型とかの証明が凄く代数的整数論くさくて面白かった。円分多項式の既約性の証明は色々あるな。これの色々な証明を集めてきて証明を整理する、とすれば博士課程に進学しない学生の修論としては充分面白いな。4時20分くらいに終了。

4時40分から「数学展望」。ここ2、3年は2回話させてくれていた、というか、小生が教務委員の時に誰かに頼むのが面倒で、もう1回余分に引き受けたのが本当のところだが。でもどっちも早目に終わるので、ちょっとまとめて一貫性のある話にすればいいかな、ということで準備した。TA に付いてくれる学生が事前にメールをくれていたが、特にすることは無いし、ボーっと聞いててくれればいいです、と言っておいた。名前と顔が一致していなかったが、弧の学生だったか、という感じ。でチャイムが鳴ったので話し始める。まずはお得意の素因数分解の成立しない環の歩き方。類数という言葉を出したいがとても無理。イデアルもイデアル類群も無理。イデアルは有限生成イデアルをイデアルの定義にしてしまえばOK。イデアル類群は表に出さず、出てくる環（環という言葉も使わないが）の類数は2と3なので、2乗して単項とか、3乗して単項だが2乗では単項に成らないとかそういう例を出して、で前半終了。後半は楕円曲線のことを少々。群構造とか Modell－Weil の定理とか。もちろんアーベル群も有限生成も知らないので、そこは誤魔化しながら。で整数点は有理点の一次結合で書いた時の係数の上限を与えることで求められる、と言っても、E(Q) の生成元を100%確実に求める方法は無いのだが、などと話して。大分盛り沢山だが、それでも大分早く終わった。少し学生の質問対応をしようかと待っていたが、誰も来なかった。TA やってる学生は幾何の博士課程の学生で、楕円曲線の幾何的な話には精通している模様。C/Λ の加法を Weirstrass \wp 関数で、とかいう話はご案内の模様だが、正標数とかは流石に知らないようだ。何かの群と一対一対応を付けてやればOKと言っておいたが、考えてみれば Picard 群は知ってたかな。まあいいです。

6時10分過ぎに個研室に戻って、でパンを齧ってからちょっと後始末。それから諸々やって、でゼミ中にちょっと引っ掛かっていたことを考えてみた。円の 2^a 分体（a≧3）の時のガロア群は (Z/2^aZ)^×＝<－1>×<5> と同型に成るが、5 に対応する体が何故ガウスの数体に成るか？というのをちょっと忘れたので。でちょっと考えたらすぐ納得がいった。ζ_2^a から虚数単位 i は簡単に得られる。i の5乗は i、ということだった。5≡1 (mod 4) というのは案外色々効くもんだな。勉強に成った。他にももう一箇所。これはちょっと手間取った。実例で計算したりして、まあ納得がいった。よかった。で気付けば9時半近く。いかん、帰らな。

すき家でカレーを食べて、そのまま国道一号を真っ直ぐ走ってきた。途中京都東インターの入り口があるが、案の定封鎖されていた。瀬田東－吹田が夜間通行止めだからね。で四宮の交差点の前で小生の車を豪快に左から抜いて行ってすぐ小生の前に出た車がいたが、小生の前の車もゆっくりだから、すぐブレーキランプを点灯させる羽目に成り、あっと言う間に小生が追い付いた。そこまでして1分1秒削ってどうするのだろうか？もっと鷹揚に構えればいいのに。大物に成れないよ。

帰宅後すぐに「報道ステーション」はスポーツコーナーに。藤ノ川、大の里は勝ったが、安青錦は若隆景に負けたようだ。若隆景は先場所は大関取りに失敗し、今場所は初日から4連敗。立ち合い変化したそうだが、なりふり構っていられないだろうな。怪我してるのでは？と解説者が心配していたそうだが、それくらい内容が悪いらしい。もう若くはない。大関取りのチャンスはそうはないぞ。頑張っておくれ。

さて、ちょっとの間暇だ。溜まってることを片付けて、ちょっと勉強もしよう。録画したままに成ってるものを幾つか見ることもしよう。酒？まあ同じペースで呑むです。明日は1時10分から講義で、ゼミが終わるのは一番遅く成ると6時15分。今晩はちゃんと寝る。「アメトーーク！」は面白いかな？後で調べおこう。それ次第で寝る時間は変わるが、まあ8時間くらいは寝ても職場には余裕で行けるので、明日は穏やかな気持ちで過ごそう。

迷惑メールもチェックしないと駄目だな

寝不足なのに何だかんだと起きていてしまう。でメールをチェックしていたが、昨日の会議で大事なメールが迷惑メールのフォルダーに届く可能性があるので、見てください、と学部長が言っていて、でついでだからと思ってフォルダーのメールを全部見たら、ビックリ。ちゃんと論文の reject メールが届いていた。何だか reject なんだかよく分からない趣旨のメールを送ってきて、失礼な出版社だと思っていたのだが、ちゃんとメールをくれていて、でうちの出してるこれらの journal に提出し直してはどうか、という趣旨のことまで書いてあった。うー、そうだったか。もう他の journal に送ってしまったしな。メールを見てなかった趣旨の詫びメールを書いて送信して、で嫌になって寝た。

そう言えば、前に公募の件で良い方向のメールを出したのに全然返事をくれない人がいて、もうこれは落選にするしかないか、と思ったことがあった。gmail のアドレスが論文に書いてあったのでそこに出したのだが、流石は gmail、迷惑メールにされてたらしい。その人の職場のメールアドレスを見付けて送ったら、返事が来た。金曜日に返事が来て、月曜日に面接をするぞ、ととんでもないスケジュールに成ったが、遠方でも今は Zoom が使えるのでいい。その時に迷惑メールのフォルダーを見ないと駄目だな、と思ったのだが。これからは毎日見る。

相当な時間まで寝ていた。やはり寝不足はよくない。分かっちゃいるけどやめられない、と植木等のようなことを毎度思う。規則正しい生活は昔から嫌いなんでね。Uber Eats に飯を頼もうかと思ったが、寝癖があまりに酷いので、昨日ドラッグストアで買っておいたカップ焼きそばで済ますことにした。でニュースを見て相撲の結果を見て（という時点で大体時間が分かるでしょう）、それから「ミラクル9」を追っ掛け再生。面白かった。

相撲だが、大の里は横綱に成ってから4日目は毎場所負けていたそうで、それどころか今年の4日目は1勝しかしてないそうだ。が、今日は勝った。4連勝。安青錦は隆の勝との三役対決を制して4連勝。20歳の藤ノ川も4連勝。いいですね。藤ノ川はいい四股名を貰ったからね。期待に応えないと。そう言えば、昨日のNHKのニュースで前相撲のことを取り上げていたが、何と旭富士という四股名の力士がいるそうだ。これは横綱に成らないと。注目しよう。

FAはどうなったろうと思ったら、桑原はFA宣言したそうだ。去年の胴上げ投手の森原は残ってくれた。守備固め要員に成り下がったかつての1番打者神里も。3人とも貴重な戦力だ。桑原が Baystars と契約してくれるといいが。FA戦線の裏でトライアウトが行われたそうだ。かつてのスター選手が多数参加していたようだ。どうなるでしょうね。

「報道ステーション」のお天気コーナーの情報によると、来週の火曜日辺りから相当寒くなるらしい。師走並みとか。最低気温が5度とかいうとんでもない日もあるようだ。もう手袋が必要かな。コンビニでは少し前から手袋を売り出している。もうそんなシーズンだな。

午前中に11月11日11時11分11秒を2度見るも、夜はうっかり見損ねる

どうも切羽詰まったことがあると余計なことをしてしまう。余計なことが数学ならまだ救いようはあるが、全く生産性の無い、単なる電池の無駄使い。インターネット上には訳の分からない情報が出回っていて、それに踊らされた。何言ってるか分からない？分からないように書いてるからね。数学も集中出来ないが、生産性の無いことは後ろめたくて集中出来ず、まあ行ったり来たりしている間に内部直積の理解がちょっと深まったのでよし。数学に集中していればもっとすんなり済んでいたが。で寝床で YouTube を見たりもして、例によって殆ど寝てない。お陰で11月11日11時11分11秒を見ることに成功した。クレジットカードで貯めたポイントでほぼ無料で手に入れた電波時計が電波をキャッチしないので、近所の DCM でもう1つ買ったが、名案を思い付いたのだ。枕の右側と左側に1個ずつ置いておく。どっちを向いて寝ても時計がすぐ見える。でどっちも電波をキャッチしないので、そこそこ狂っていて、11月11日11時11分11秒を数分の間に2回見られた。で今気付いた。数分前にもう2回見られたな。まあいいです。次は1月11日11時11分11秒を見よう。その頃はもう58歳に成ってるな。

12時半にちゃんと留学生は面談に現れた。パソコンにカメラが付いてないそうで、顔を見られなかったのは残念。犬が鳴いてるのが聞こえたが、伏見に一人で住んで犬を飼っているそうだ。異国だと寂しいのかな。遠いのでは？と思ったら、バイクで通えば30分くらいだそうだ。春学期はペースがつかめず、取得単位は極めて少ないが、秋学期はちゃんとやると言ってた。あ、友達がいるかどうか聞き忘れたな。日本人の友達も作って欲しいが、言い忘れた。まあいいです。

で「徹子の部屋」が始まって少ししてから住処を出る。昼ははま寿司にしようということにした。何だか火曜日は毎週はま寿司に成りそうだな。開店するレーンを直進で寿司が来るレーンに変わった時に、頼むと即値段の総計が表示されるように成ったのは有難い。ちょっと高い物を頼んで、バランスを取って100円皿にしたりで、大体2000円程度で済ませるようになった。まあ満足。

職場に着いたのは2時25分くらいで、講義開始まで30分くらい。個研室に寄ると出るのが面倒に成りそうで、例によって生協の売店の脇で読書しながら時間潰し。2時45分くらいに講義室へ向かう。行くと女子学生が一人待っていた。先週と同じ。ちょっと用足しをして戻ってきたら、2人増えてたが、彼がいない。まあ気にせず始めると、すぐ彼は来た。今日はガウス和の計算の残りをやって、それから Q が全ての p 進付値（p は素数）に関して完備でないことを示して、それから Q_p^×/Q_p^×2 の構造を決定して、ということで外部直積と内部直積の知識が役に立つ。それらを短時間で済ませて、ヒルベルト記号の節に突っ込んだ。z²－αx²－βy² が Q_p で0を表すか否かで (α,β)_p が1に成るか－1に成るかが定義だが、これを二次拡大のノルムに関する性質に言い直して、でヒルベルト記号の自明な性質を幾つかやったら丁度時間に成った。来週は explicit formulae を証明して、非退化双一次形式が誘導されることを示して、局所類体論のおもちゃを示して、とかやると時間に成るかな。積公式が出来るといいが。

今日は講義後教授会がある日。無ければ講義棟の脇に停めた車に乗って速攻帰るのだが。春学期は火曜日は講義が無かったので、月曜日の晩に吞んでしまい、教授会の時間がギャ！ということがあったが、秋学期は幸い直前まで講義があるので、今のところ全部出席している。今日は投票して可否を諮る事案があるので、一定数出席してないと始められず、数分遅れて開始。小生がちょっと関わった件があるので、成り行きを見届けないと。この前は別の件で投票案件があったが、それは最後に一括で投票だったが、今日はちょっと事情が違うのでそういうわけにいかず、一件ずつ投票。7件もあったので、相当時間が掛かった、と言いたいが、終了は6時半過ぎ。赴任してすぐの教授会は4時20分開始8時半過ぎ終了ということが何度もあった。が、ベテランの先生曰く、日を跨いだことがあったそうだから、それでもましだったかと。全部無事に決着してよかった。その後昨日の講義と今日の講義の後始末をして、7時半くらいに職場を出た。

7時半くらいに職場を出たのは理由がある。寝不足なので渋滞が収まる前だと怖かったという理由はあるが、それだと別に8時過ぎだろうが9時過ぎだろうが構わない。が、前に書いた通り名神が集中工事をやってて、瀬田東－吹田間が20時から翌朝6時まで通行止め。20時を過ぎると一般道で帰らないといけなくなり、信号だ原付だと気にしないといけないことが増えて怖いので、高速道路が閉まる前に帰った次第。20時から通行止めってどうやるんだろう？京都東を降りた時は19時52分くらいだったが、対向車線から入ってくる車が結構いた。20時で入り口を閉める、ということだろうか？サービスエリアに停まってる車はどうする？謎だな。暫く気を遣って運転しないといけないな。

ドラッグストアに寄って目薬と飲食物を少々。「呑みもの」も1缶買った。住処に着いてすぐ違法販売機が違法でない状況でちょっと買い足して、今呑み呑み書いてる。明日は会議は無いそうで、面談してくれと言ってきてる学生もいないし、阿呆のように寝よう。明後日は面談の後即ゼミで、職場で面談をしないといけない。名神が渋滞する怖れもあるし、早目に住処を出ないと。ということで逆算して明日の生活リズムを決める必要あり。ま、平気っしょ。

NPB は FA 権を行使するかの締め切りが今日らしく、締め切りまで後10分くらい。Tigers の近本と Dragons の柳は残留を決めたそうだが、他はどうなるでしょう？一番気に成るのは桑原。残ってくれよ。伊藤光も行使を表明しているようだが、まあ光は仕方ない。祐大、松尾汐恩、戸柱の次の捕手という立場を甘んじて受け入れたくはないだろう。年齢的にオファーがあるかどうかは微妙というか難しいだろうがな。明日起きた後どうなってるか、ちょっとどころかかなり怖い。桑原、残ってくれ。

平方剰余の章は今日で終了。明日は講義で相互法則の証明が完了する予定

やっぱり早起き出来ない。今朝は11時を過ぎてた。11時11分11秒を見てから起きようということにしてしばしウダウダ。明日は11月11日だ。明日こそ見るべきだ。起きられるでしょうか？

12時10分を過ぎたくらいに職場に着いた。住処を出てすぐ気付いたが、名神の集中工事が8日から始まっている。大丈夫かいな、と心配に成ったが、草津JTCを過ぎた辺りから車線を規制しているのか、栗東湖南－蒲生が渋滞しているとの情報。前は全区間車線規制とかとんでもないことをやられて、いつ職場に着くんだ、ってくらい渋滞してたがな。Kaz 先生に会ったら、「今日酷い目に会いませんでした？」と聞かれたのを思い出した。吹田－小牧間で集中工事だそうだが、ちょっとずつ規制ならまあ大したことないかと思うが、気を付けないと。名古屋まで新名神を経由すると2時間ちょっとのようだが、名神だと3時間以上掛かるとの情報だった。気を付けよう。場合によっては下道も選択肢に入れておいた方がいいかな。正門の前の通りがちょっと混んでたのは、栗東湖南のちょっと先に行きたい人が山手幹線の延伸した部分を使って行こうとしているのかもしれない。

弁当を買って10分掛からず食べ切って、面談の準備。名前では男女どちらか分からなかったが、男子学生だった。苗字が女の子の下の名前のようで、名前もどっちか判断出来ない。今頃の名前は難しいな。割合ちゃんとした学生のようで、単位も揃えてるし、講義も付いていけてると言ってた。大学の講義にウンザリしている学生には色々言ってあげなきゃいけないが、まあこれなら問題無いでしょう、ということで10分くらいで面談終了。

1時10分から講義なので、ちょっとゴソゴソしてから向かう。今日はまず2個の部分空間の直和の話をやってから、もっと沢山の個数でも出来る旨紹介して、証明は自習、ということにしておく。それから写像リテラシーをみっちり。いや、もっとやってもいいんだが、講義でやりたいことは多いし、演習があるので。で結局線形写像を定義する前に時間が来た。今日は7回目で、これしか進んでなくていいのでしょうかという気もするが、まあ何とか成るでしょう。去年は実の場合の内積すら途中までしか出来なかったが、今年はどうにかしたい。

ですぐ次のコマがゼミ。もう大体5分から10分くらい遅れていけばいいやと腹は座っている。今日は平方剰余の相互法則のルソーによる証明。3つの主張を示せばよい、と書いてあるが、何故それを示せばいいか、というのについて一言二言で書いてあるのを説明しようとしない。やはりまだ数学のやり方が分かってないな。紙とペンを必ず持参しているので、書き書き考えて、分かった。一言二言で済むような内容ではなかった。そこをほじくり返すのが数学の面白さだと思うのだが。でまたしても本に誤植を見付けてしまった。誤植は無くなりまへんな。後で報告しておこう。で平方剰余の章が終わって、虚二次体に入れるか、と思ったら、予習してきたノートを忘れてきたと言ってた。テキストがあれば思い出せるのと違うの？という気はしないではないが、まあ小生もそういう状況で講義をやれと言われるときついし、いいことにして終わりにした。外はまだ明るかった。

それから部屋でゴソゴソと。明日の講義の作戦練りなど。ベクトル空間の直和を今日やったばかりだが、明日は群の内部直積と外部直積についてちょっと触れる必要がある。外部直積は簡単だが、内部直積はちょっと難しい。普段殆どアーベル群しかいじってないし、講義もでもどうせ p 進体の乗法群が p が生成する無限巡回群と Z_p^× の直積に成るのが必要なので、アーベル群で問題無いんだがな。で何か面倒臭くなってきたし、腹も減ってきたので、7時過ぎに職場を後にした。

留学生から「11月12日（火）の12時30分からなら面談出来る」とメールが来ていたが、明日は11月11日（火）。どっちやねん？とメールしたら、11月11日（火）の12時半が正しいとのこと。ということで明日も面談しないといけない。が、講義は2時55分からなので、12時過ぎに起きて住処で面接してから職場に行っても何の問題も無い。いや、それどころか時間を持て余すくらいある。まあやることはいっぱいあるので、持て余すことはないだろうが。またはま寿司行こうか？まあその場のノリで決めますわ。

レムニスケートの絵を Tikz で描くことに成功

ふなごやの中から話し声が聞こえたが、中に入ってみると、知らない人が一人いた。ちょっと前まで外国人の二人組がいて、その人と目茶目茶盛り上がっていたそうだ。その人はすぐ帰って、で店長に聞いてみると、ここのところしょっちゅう来る人らしい。アメリカに住んでいた経験があるそうで、英語が相当達者だそうだ。小生の英語とは物が違うのだろうな。でそれから例によって3人で盛り上がった。またしても美味しいワインを呑んできた。たかじんの歌が BGM として流れていたが、懐かしかった。死んで何年経つかな？

で帰ってきてすぐダウンした模様。殆ど何も覚えてないが。で夕刻まで寝てしまい、相撲のことをすっかり忘れていた。「有働Times」で横綱の結果だけ教えてくれたが、大の里は勝って、豊昇龍は負けたらしい。しっかりせい。

その後 Tikz と格闘した。極座標の使い方は合っていたが、計算ミスというか座標の設定ミスというか、それで書けていなかっただけだった。カージオイドを書いた実例が見付かって、それで気付いた。ちょっと原点付近で曲線が繋がっていないのが気に成るが、まあ一瞬見せるだけなので。パラメーターを与えて手頃な縮尺で書いて、まあいいかな、という感じに成った。

起きてパソコンを見たら、大きなニュースが二つ。一つは東北で地震があって、岩手で津波注意報が出ている、というニュース。もう一つは NHK 党の立花代表が名誉棄損で逮捕されたというニュース。NHK の7時のニュースは東北の話が主で、後者の話題は殆ど無かったが、「有働Times」では立花代表の件にかなり時間を割いていた。変な人だとは思っていたが、彼の発言をまとめて放送されていたのを聞くと、想像を遥かに超える変人だと認識させられた。放送された内容を一方的に信じるのは良くないが、本当にああいう人だとしたら、牢屋に繋いでもらった方がいい。本人の発言が発端となったことで人が死んでるのに、それに追い打ちを掛けるような発言を平気でしている。考えられない。痛い目を見せてあげよう。「有働Times」で地震の話題があまり無かったのは、津波注意報が全て解除されたためかな。おおごとに成らなかったようで良かったが、例によって一週間程度は同規模かより規模の大きい余震の可能性があるそうなので、予断を許さないな。

明日は講義の前に面談をしないといけない。住処で面談をして職場に行って、というのは無理なスケジュールに成ってるので、早目に起きて、早目に職場に行って、食事を済まさないといけない。早目に寝よう。火、水に面談しようと思っている学生からはまだ返事が無く、木曜日にどうだと言った学生からは返事があった。火、水は住処で面談出来るスケジュールなので、返事が欲しいが。木曜日も職場に早目に行かないといけない。まあ早目と言っても12時職場に着ければ何の問題も無いので、世間一般の人の早起きとはレベルが違う緩さだが。ま、ちゃんとしましょ。

レムニスケート面白いぞ

また夜更かし（朝早し？）してしまった。レムニスケートの弧長を求めようと思ったが、弧の長さってどうやって求めるんだっけ？と思って、微積分の教科書をひっくり返して、で別の計算方法でやると全然見た目が違って、その二つが一致するか SageMath で調べたり。近似値を求めるオプションを付け忘れると、B 関数だったり Γ 関数だったり算術幾何平均で返してきたりするので、ちょっと調べたり。まあ TeX に馬鹿にされるよりは遥かに有意義でよかったが。この辺は面白い話が目白押しで、ちゃんと勉強したいな、と思ってずっと放置してある。時間が出来たらやります。

で起きたらもう結構遅く。5時くらいに四条烏丸で用があるが、結構やばい時間。急いで出掛ける。で色々やって、それからちょっと喫茶店でコーヒーを飲んでから帰ってきた。びわ湖浜大津行の電車が来たが、六地蔵行を待つのが嫌だったので、多少京阪電車にお金を払うこと    にして、素直に乗って帰ってきた。

それからちょっと Tikz と格闘。レムニスケートの絵を描きたい。直交座標（デカルト座標って言うの？）で書かれたものを x について解くより、極座標表示を使うのが楽そうだ、と思うが、Tikz の極座標を使うのがどうするのか分からんので、ちょっと web を探したり本を見たり。で第1象限の部分は書けたが、他の象限の部分がまだ書けてない。r²＝cos(2θ) を書きたいわけだが、cos(2θ)≧0 でないといけないので、θ が連続してない。多分 0～2π を一気に書かせるとエラーに成るだろうと思うが、どうだろうか？試してないけど。もうそろそろ呑みに行く時間なので、この辺にしておく。続きは帰ってきてから、もしくは明日。月曜日は講義の前に面談をやることに成ったので、明日はそれなりちゃんと寝ないと明後日起きられないので、程々にしておく予定。あくまでも予定だが。ということで、シャワー浴びたら行ってきます。

メビウス反転公式は結局誰もよく分からないらしい

昨晩の「アメトーーク！」は大相撲芸人ということで、大変面白かった。豊昇龍が柔道かレスリングをやりたいと日本に来たが、相撲を見て、体重でクラス分けされておらず、小さい力士がバッタバッタとなぎ倒すのを見て、「これだ！」と思って相撲を始めた、という話は面白かった。モンゴル出身だし、朝青龍の甥だし、当然モンゴル相撲をやっていたのだと思ってたが。それで横綱に成れたんだから凄い。明後日からの場所で横綱に成って5場所目かな。過去に新横綱から5場所優勝出来なかったのは凄く少ないらしい。頑張ってもらわないと。

で今朝は11時過ぎまで寝てしまった。12時半に学科長を訪ねる約束に成っていて、ちょっと下準備をしないといけないので、急いで出掛けた。弁当を買って食べて、で食べてから3ページばかりの物を印刷して、で訪ねて、で用事を済ませて、それから少しボーっと。

1時10分から「代数学II」。今日は標数が0だと Q と同型な体を、標数が p>0 だったら Z/pZ と同型な体を含むことをやって、で分離性に突っ込む。まず多項式の微分に関することを細々やって、L/K が分離拡大で M が中間体だったら L/M, M/K が共に分離拡大（逆は難しいし、ガロア理論のためにはいらないのでやらない）をやって、それから原始元定理（有限次分離拡大は単純拡大という定理）をやって、で有限次分離拡大だと共役写像が拡大次数個あることをやりたいが、時間に成った。来週はこの事実を、ちゃんと共役写像を構成して証明することから。ガロア拡大に突っ込めそうだ。今日で7回目。丁度半分。

次のコマは例によってゼミ。今日は代数的整数論の本。剰余環についてチマチマやって、ウィルソンの定理とかオイラーの定理の拡張とか。でメビウス反転公式をやるのだが、やはり何やってんだか分からない。発表してる学生も、聞いている学生もよくわかってないらしい。まあいいでしょう。で単数の節に突っ込んだが、流石にディリクレの単数定理はまだのようだ。まあ難しいからね。1回じゃ終わらないだろうな。単数群の構造が分かっても、実際に基本単数系を求めるのはまた別の話。虚二次体は簡単に片付くけど、実二次体でも十分難しい。ペル方程式に関する未解決問題もあるからね。6時過ぎに終了。

学生に沢山メールを書かないといけないが、まあ雛形を作れば、後はちょっと直してコピペして送るだけなので、少々時間を使っただけで済んだ。後は返事待ち。場合によっては月～金、毎日面談をしないといけなくなる。火曜日と水曜日は住処でやればいいが、月、木、金は講義前に職場でやるから、食事をする時間を確保する必要があるし、いつもより少し早目に出掛けないといけないな。まあ今日と同じくらいでいいけど。

その後「数学展望」の資料直しを少々。数年間2回分貰えていたが、どなたか新しくやりたい方がいるようで、1回分召し上げられた。まあいいです。1回目は相当早くに終わってしまうので。でやり出したら欲張りたくなる。あれも話そう、これも話そうと成ってしまう。楕円曲線の話だから、楕円積分とか楕円関数とか。レムニスケートの話とかしたいな、と思ったが、実はあまり知らない。ここは高木貞治「近世数学史談」を読まないといけないか？ということで、1冊持って帰ってきた。「1冊」というのは、3冊持ってる。正確に言うと、共立全書のもの、岩波文庫のもの、「近世数学史談」と「数学雑談」が一緒に成って共立出版から出ているもの。が、本当にほぼ読んだこと無い。で開いて見て、早くも挫けたが、そこで気付いた。上智大学数学講究録に河田敬義先生の「ガウスの楕円関数論（高木貞治先生著 “近世数学史談” より」という本が出ている。これも職場にあるが、数年前に pdf ファイルが公開されているのをダウンロードしてある。ということで、これから見てみる。（読んでみる、でないところが軟弱。）

どうでもいい話。今日の「A-Studio＋」のゲストはバッテリィズ。エースが裏番組の「探偵！ナイトスクープ」に出ているが、いいのか？と思ったら、今日は「探偵！ナイトスクープ」にエースが出てない。やはりテレビ界は仁義にうるさいのだな。デーモン小暮が特命局長をやってるが、どちらも人気者だし会いたかったのでは？という気がするが。まあ「A-Studio＋」もバッテリィズは出て欲しかろうし。そう言えば、もう M-1 の話が出てきそうな時期だ。早いな。57歳でいられるのもあと2ヶ月くらいだ。時間が経つのを早く感じるのは歳をとった証拠かな。嫌だ嫌だ。

テレビのリモコンの新しいのが届いて、不便が無くなった

今朝は11時過ぎまで寝てしまった。やはり寝不足の影響は残るな。毎日規則正しく？いやー、子供の頃からそういうのは苦手で。浪人生をやってる時は奇跡的に1年間本当に真面目に過ごしたが。目標があるというのは大きい。生活指導もどきをやる予備校だったからそういうことが出来たのだと思うと、S台やYゼミなどに行かなくてよかったとつくづく思う。

で12時10分過ぎに職場へ向けて出発。12時40分くらいに職場に着いて、弁当を購入。残りが少なくて、100円引いてくれた。が、そうすると500円玉でお釣りが返ってくる。弁当を売ってる所の近くの自販機は新500円玉が使えるが、ウェストウィングの1階の販売機は悉くダメ。が、もらった釣りが旧500円玉っぽい。試しにウェストウィングの1階でお茶を購入しようとしたら買えた。嬉しい。で個研室に着いて、パソコンの前に行くと、紙数枚の下にしっかり筆箱がおいてあった。が、USB メモリーが入ってない。見るとパソコンに刺さったまま。電源を入れようとしたら、何とオフに成ってない。画面が消えてるのは一定時間経つと消えるように成ってるから。間抜けだ。寝不足だとロクなことないな。気を付けよう。

弁当を食べて少しほっとしてからゼミ。今日は分岐群に関する件が続いて、ちょっとうんざりだった。分解群と惰性群、及びその固定体である分解体と惰性体は結構ちゃんといじったことがあるが、分岐群は本当にほぼいじったことがない。惰性群が巡回群に成るというのが論文読んでて分からなかったことがあったが、それは第1分岐群をいじれば分かると尾崎ししょぉに教えてもらったことがあったが、それくらいだな。その後クンマーの定理（最小多項式の分解で素イデアル分解が分かるというあれ）の相対版をやったが、絶対版と殆ど同じということで、さらっと終了。絶対版は少し前に4回生がゼミでやってくれたが、確かに下の体が素体（代数体の場合も剰余体の場合も）だという性質はいらなかったな。ということでキリのいい所までやって終了。来週から少し円分体のことをやる。色々抽象的にやったことが具体的なことに使えていい。見ると分岐群をいじるのも少々ありそうなので、ちゃんと復習しておこう。

その後部屋で諸々。明日までに目鼻を付けないといけないことがあるので。何をしてたかは書かないが、数学の基礎的なことが色々分かってないことが判明した。難しいな。でまあいいでしょう、ということに成ったので、学科長の所に持っていこうと思ったが、木曜のこの時間はセミナー後の呑み会をしてらっしゃるだろうな、と思って行ってみると、案の定部屋に電気は点いているもののもぬけの殻だった。明日講義とゼミが終わったら再度行こう。その後別の事務作業。エクセルファイルをいじったが、エクセルは苦手だ。1行おきに色が変わってしまうのはどうやったらそうならなく出来るんだろう？と思って少しいじったが、まあ本質的な問題は無いので、気にしないことにして、onedrive にアップロードして、同僚にメールを書いて、で終了にした。8時半を過ぎていたので、もう帰ることにした。

昨晩寝る前にゴミ出しをして、ついでにマンションのエントランスに行って、ポストを見てきた。すると、待っていたものが届いていた。テレビのリモコンが何か不調で、電源のオン、オフがすぐ出来なかったり、効かないボタンがあったりして、ちょっと嫌だった。でメーカーのホームページを見ればあるのでは？と調べたが、小生所有のテレビを作ってるメーカーは潰れていたようだ。む。が、他のメーカーの物でも使えるものがあったり、潰れたメーカーなのに在庫があったりと、ゴチャゴチャやって、「LC-023R」という型番とコンパチブルなものを探したが「LC-023」とコンパチブル、というものは幾つかあった。まあ駄目でも数千円だし、いいや、と思って買ったのだが、それが届いていた。で部屋に戻ってすぐ電池を入れて試したら、使えた。オン、オフがすぐ出来る。外付けハードディスクに録画したものも見ることが出来そうだが、眠いので見ないで寝た。でさっき帰ってきたので先週の「座王」を見たが、ちゃんと見られた。黄色いボタンが前のリモコンでは使えなくなっていたが、ちゃんと今度のは使えるので、録画してある番組の一覧を見ることが出来る。これで「座王」の録画し忘れはなくなるな。まあ忘れても Tver で見ればいいんだけど。ということで充実のテレビライフを送れる。いやちょっとまて。「数学展望」の出番が来週だな。学生と面談の約束も取り付けないといけないぞ。色々やることあるな。そろそろ定期試験の問題をどうにかしろと言ってくる時期か？さすがにそれはもうちょっと先か？3回生と大学院の科目のレポート問題はもう少し先でいいと思ったが。色々やることがある。中々まとめて色々考える時間は無いものだ。来年度はどうなるでしょうか？

眠い一日

「テレビ千鳥」が終わったら寝る、と書いたが、その後も結構起きていた。酒を呑むといけないな。で今日は夕刻まで寝て、起きて Uber Eats に晩飯を頼んだ後また横に成ってしまった。YouTube を見ながら寝落ち。やはり寝不足は良くない。今日は寝る。USB メモリーが無いので、作業が出来ないのがむしろ助かる。程々にして寝る。

学生から来ていたメールに返事を書くのに結構ウダウダやった。ああ書こうかこう書こうかと迷って、結局聞かれたことに答えるだけにした。それから昨日来ていたメールに返信2通。数学だったりどうでもいい話だったり。メールは気を遣うね。失礼の無いようにするとか、誤字脱字の無いようにするとか。同僚で結構酷いメールをくれる人がいるが、パソコンが変換したから、とか言うが、チェックはしましょう。「佐竹一郎」とかやめた方がいいですよ。テキスト関係のことをやり取りした時に、木田さんの名前を間違えていたし。シラバスを見ても誤字の嵐。ちゃんとしましょうよ。忙しいのは分かるけど。まあこのブログも後で見ると誤字が多い。気付いたら直すけど。本書いたようだが、心配だ。その人が担当した講義の演習をやったことがあるが、学生に配った資料は数学の間違いも結構あったし。忙しいんだろうけど。

超寝不足で平方剰余の相互法則の証明をほぼ終えてきた

ちょっと気に成ってることがあって、位相のことを始めると、相当忘れているというか勘が鈍っているというか、難渋した。大学入ってすぐの土曜日の9時からの専門科目「数学概論B」（新任の山田義雄先生が担当だった）で距離空間の開集合だ閉集合だは一生懸命やったんで身に付いていてるが、近傍と成るとちょっと。近傍と開集合を行き来するのに大分難渋した。で出来上がった TeX ファイルを見ると、悉く「解集合」に成っててうんざり。ここ5年ばかり何らかの形で線形代数に関わってきたので、「かいしゅうごう」と打って「解集合」に成らないので、嫌になって単語登録したのだったな。事務作業で「基礎数理」と打ちたくて「奇素数理」と成るので、成程と思ってしまうが。でまあ数学のせいだったりそういった下らんことのせいだったりで、火曜日の恒例の超寝不足。宅配便が届いて、もうそこで観念して、起きていることにした。

講義は2時55分からなので、1時過ぎに住処を出発して、はま寿司で昼食と決めて出掛ける。もう高速道路は混んでないし、と思って京都東インターの近くまで来ると、不吉な情報。「京都東－瀬田西 渋滞」。おい。料金所を通って本線合流前に渋滞が始まっていた。滋賀方面から来たパトカーが2台Uターンをしていったが、事故だな。暫く行くと路側帯立入禁止に成っていたので、事故車が寄せてるかと思ったら、伐採中。もう少し行って、大津インターの手前で路側帯にパトカーが複数台停まっていた。が、事故車も故障者もいない。もう片付いたのだろうか？そこからは特に混んでることもなく、普通に進めた。事故らなくてよかった。はま寿司に着いたのは1時半過ぎで、流石に混んでなかった。2000円ちょっと食べて、職場へ向けて出発。ちょっと時間があったので、生協であることを確認。

2時55分からの講義で、2時50分ちょっと前に部屋に入ると、女子学生が一人いただけ。着々と受講生が減っている感じ。数人ずつ入ってきて、開始時間帯には5人はいたかな。誰がいて誰がいないかは特にチェックしなかったが。この前ルジャンドル記号の性質を幾つか示したので、ルジャンドル記号の計算は (－1/p), (2/p), (q/p) の計算に帰着、と言ってから、オイラーの規準を示して、direct corollary として第1補充法則、1の原始8乗根を使って第2補充法則を示して、で相互法則を大体示した。上と下が引っ繰り返せることをガウス和を使って示すのはちょっと時間的に無理そうなので次回に回して、で生協で在庫があることを確認した西来路文朗、清水健一「ガウスの黄金定理」というブルーバックスの本を紹介。この本によると、高校の時に習うガウス記号って平方剰余の相互法則の証明で使われたのが最初、だそうなので紹介して、でうちの名誉教授の石井秀則先生が相互法則の証明をしているのを紹介して、で大体時間。やれやれ。

ちょっと今週中にやらないといけないことがあって、こういう時に限ってあれしろこれしろメールが来る。今日のような脳味噌の状況では新しい数学はやれそうにないので、溜まっている事務作業を徹底的に片付けてきた。スキャナーで pdf 化して送ったファイルを「カラーでスキャンしてくれ」とはごもっともな指摘だが、何とも馬鹿臭い時間を使わされた。朱肉を使うと赤だよね、カラーでスキャンしてね、とはぐうの音も出ない程のごもっともさなのだが。8時過ぎに職場を後にした。もう流石に渋滞は無いだろう。

で案の定渋滞してなかったが、慎重にいきたいということで、結構低速で走っている時間があって、バンバン追い抜かれた。京都東を降りてからも50km/hを割る速度で走ってて、後ろの車がどんどん車間距離を詰めてくる。いやいや、制限速度は40km/hですよ。いや、小生もスピード違反してるがな。

9時過ぎに住処に着いて、寿司を食べてから6時間以上経過しているので、流石に腹が減ってきた。カップラーメンの買い置きはある。が、ポットが空。沸かしてる間に無為に待つのも嫌なので、酒を買いに行く。寝不足の上に酒かい！だが、まあ水曜日は会議さえ無ければオフ。で明日は会議が無い旨学科長からメールが来ていた。ということでカップラーメンをすすりながら、かつ呑みながら先週の「ミラクル9」の2時間スペシャルを見た。鈴木保奈美は持ってるな。自ら「手ぶらでは帰らない女」と言って、上田に「北島康介以来」と言わしめただけのことはある。面白かった。

でそれからこれを書いてから作業をしようかと鞄を漁ったら、USB メモリーを入れた筆箱が無い。またか。職場で入れた記憶はあるのだが。車の中かな？まあいいです。無ければ無いでやれることはあるので。いや、そもそも寝ろってか？そうですね、寝ましょう。今「相席食堂」がやってるが、この後「ロンドンハーツ」があって、その後「テレビ千鳥」。そこまで行ったら寝る。

休日につき夜の7時過ぎの名神は渋滞

またしても下らんことをして、相当な時間まで起きていた。色々やることとやりたいこととあって、寝るのが勿体ない。まあそれでも11時半起きならそれなりの睡眠時間はとれるのでいいが。でちゃんと11時半をちょっと過ぎたくらいには起きて、シャワーを浴びて出発。

が、今日は祝日。12時40分くらいに着いたが、もう弁当屋は閉店後だった。生協で弁当を買ったが、ちょっと量の少ないのものばかりだったが、仕方ない。食べないよりはまし。

今日は「数学IV（線形代数）」。何か最初に証明したことをやった覚えがあったが、後で演習の先生に送ったメールを見ると、やはり先週証明したようだ。メモ書きに惑わされたな。まあいいです。同じことを2回聞くと前より分かることはあるので。で Rⁿ の部分空間の次元を求める方法を二通り話して、で rank(A)＝rank(^tA) がついでに分かるという話をして、で W₁＋W₂ の次元を W₁, W₂, W₁∩W₂ の次元で書いて、というのを証明。「長く見えるかもしれないが、これくらいは大したことないです。今はそう思ってもいいから、慣れてください、と言っておく。で直和という用語を定義して、直和であることの同値な言い換えを書いて、でほぼ時間。来週はこの同値性を示すことから。まあこれは本当に大したことない。その後直和の例をどれくらい出すかをちょっと考えないと。テキストにない例は「manaba＋R に置くものに書いておくんで、自分で読んどいて」ということでいいかな。線形写像やらないといけないし。写像リテラシーをちゃんとやるのに時間を使うかな。来週で折り返し地点だ。どれくらい落ちこぼれてるだろうか？演習の先生方に頑張ってもらおう。勿論学生が頑張るのが大前提だが。

ここのところ寒いから、本来は今月末から効く筈の暖房が前倒しで今日から使えるように成ってた。学生は寒いのだろうが、こっちは暑い。むしろ夏より辛いぞ。喉を潤す飲み物は必須だな。

ですぐ次のコマがゼミ。こちらも暖房が効いてた。今日は y²＝f(x) の形の有限素体上の曲線の有理点をルジャンドル記号を使って数える話をちょっとやって、それから第2補充法則と平方剰余の相互法則の証明を一つ。第2補充法則は誰の手によるか書いてなかったが、相互法則の証明は Lebesgue によるもの。Lebesgue と言っても「ルベーグ積分」に名を残す方ではない Lebesgue。どちらも去年までは何か分かったような分からないような気がしていたが、今年はよく分かった。単純に何回も聞いてるから分かるように成ってきたのか、この歳にしてじわじわ賢く成ってきてるのか分からんが。まあまた忘れるのだろうけど。今日は一人が就職活動で来ていなかったので、早目に終了。

それから同僚にメールを書いて、事務の人にメールを書いて、それからちょっと作業。何か形態が変わってからの方が難しく成ったぞ。あれこれ頭を捻るもうまくいかず、もういいや、と7時くらいに職場を出た。

今日は祝日だったのを忘れていた。いつもの月曜なら7時過ぎは混んでないが、今日は3連休から帰ってくる車が多いのか、名神に合流してからちょっとして渋滞が始まった。大津インターの手前でちょっとマシに成ったかと思ったら、また混み出して、そのまま車列は京都南インターまで続くような予想。まずったな。しかも今日は祝日割引が無く、580円払う羽目に成った。もう1時間か2時間職場にいればよかった。

で帰って Uber Eats に食事を、は待っていられず、帰る前に食べることにした。土曜日に小野にある「魁力屋」の話が出たので、久し振りに行ってみようということにした。外環は特に混んでおらず、すぐ着いた。店もそれほど混んでおらず、読書はちょっとしか進まなかった。旨かった。

8時半前に住処に帰り着いて、「Qさま！」を途中から。石原良純が下位からの猛追を見せて優勝。今年の Hawks のようだった。その後ちょっと考え事。職場でやったらよかったな、と思ったが、まあいいです。ちょっと慣れないことをしているので、勘が鈍っている。最盛期なら「自明」と言ってしまうくらいのことが分かってない。いや、直感では明らかなんだが、直感に頼らないでやるのが数学なので、ちゃんとやる。どうにか成った。明日の講義が終わったら完成させてしまおうか？何の話だって？いやいや、分からんように書いとるのだよ。明日早いとこ職場に行ってやればいいのか。いや、どうかな。何か月曜日深夜の ABC の番組編成が変わって、「過ぎるTV」が12時までになり、30分コントの番組をやって、「激レアさんを連れてきた。」の後番組が12時45分くらいからで、「Rising sun」とかいうどうでもいい番組が始まったので、プロレスが始まるのが遅くなってしまっている。結局寝るのはまた相当遅くなってしまい、講義にギリギリ着くというパターンに成っている。まあいいけどね。「くりぃむナンタラ」が終わったら買い出しに行ってこよう。今日は酒はやめよう。

そう言えば、「ナンチャラ」という言葉をよく聞くように成ったが、関西弁ですかね？使ってる同僚は関西人ではないが。「ナンタラ」は一発でカタカナに変換してくれたが、「ナンチャラ」は出すまで一手間掛かった。どうでもいいか。

ドジャースのワールドシリーズ連覇で野球シーズン終了

昨日のふなごやは暇そうだった。まあお陰でゆっくり話せたけど。Tigers の敗戦の話題はあまりしたくないのか、案外あっさり終わった。その後グダグダと話しながら、例によってワインを数本。楽しかった。最近は一時より早目に終了することが多くなった。まあその方が日曜日に楽だからいいけど。

といいつつ、今日は相当寝た。時計を見たら8時半とか10時とか見えて、すわ夜か？と思ったら AM の表示が出ていた。よかった。が、そこでは起きず、結局夕刻まで寝てしまった。

スマホで見ると、ドジャースがワールドシリーズを制覇したとの情報。山本由伸は今日は投げさせないと監督が言っていたが、やはり投げて、それで胴上げ投手に成ったようだ。凄い。

この前「グルグル99」で餡かけ揚げ焼きそばのことをやってたので、Uber Eats で王将の焼きそばを頼んだが、失敗。焼きそばの麺を揚げたものではなく、細い麵だった。しかも、餡の入った容器と袋に入った麺を一緒くたにしないといけなく、皿を出さないといけないか？という感じだったが、餡の容器に無理矢理麺を入れて、割りながらちょっとずつ餡と馴染ませて食べた。どこか望みの物を食べさせてくれる店は無いかな。探してみよう。

もう野球が無いので、「相葉マナブ」とか「ポツンと一軒家」なんかを見ることが出来てしまうが、やはり日本シリーズの第7戦を見たかったな。でニュースで見ると、ワールドシリーズは凄い試合だったようだ。大谷が先発で、3ランホームランを打たれて交代したのが、9回1アウトからの同点ホームランで追い付いて、11回に勝ち越して勝利、と、見てたら白熱してたなという試合。山本は9回途中から投げて、何度かサヨナラのピンチに成っていたのを抑えたようだ。前4勝中の3勝が山本によるもので、当然の MVP。3勝した投手はランディー・ジョンソン以来とか。日本人の MVP は松井秀喜以来で二人目。凄いね。「有働 Times」は番組の殆どをワールドシリーズの話題に割いていた。途中で「サンデースポーツ」に替えたが、当然トップニュースはワールドシリーズ。が、他にもやらないといけないスポーツの話題は沢山あって、割合早目に話題は変わった。大学駅伝の話題は最後だった。駒沢が優勝したらしい。この前は6位に沈んだ青山学院は3位。2位は中央。早稲田はどうだったのだろう？3位までしか教えてくれなかった。後で調べよう。

何度も書いてるが、明日は祝日なのに講義とゼミ。で何と24日に月曜日も祝日講義日。先月と今月で3回も月曜潰しがあるとは思わなかった。1月12日（月）の成人式の日は流石に休みに成るが、何と13日（火）に代わりをやれとの仰せで、その日で秋学期の講義終了。変なスケジュールだな。学生にとっても嫌だろうに。事務の人は契約職員が多いが、その人達は休めるようで、駐車場がすいていて有難いが。それと高速道路の料金が ETC 利用だと祝日割引で安くなる（京都東－草津田上間は通常580円のところが440円に成る）のが数少ない利点かな。ま、明日に備えて程々に寝ますわ。

ほぼ一日中寝ていて、ロクでもない一日

何だかんだと金曜の晩は夜更かししてしまう。今日は11時過ぎに近所で野暮用があったが、結構な時間まで起きていた。寝床に入って暫く YouTube を見ていたが、寝落ちしていた。10時くらいに目が覚めて、少しグダグダやってから出掛ける。

血液検査の結果は極めて良好。カリウムの数値が低いと言われたくらい。野菜不足の指摘がごもっとも。大学で買う弁当にしても、Uber Eats に頼む食事にしても、殆ど野菜が入ってない。野菜ジュースを飲む量も寒くなってきて減っている。少し気を付けないとね。

で1時くらいに帰ってきて、テレビを付けずにもう一度ダウン。数時間寝た。まあこれでいいかな、ということで、起きて、夕刻からやっていた「ミラクル9」の10月15日の振り替え分を録画しておいたので見た。面白かった。10月29日分も録画してあるが、敢えてそっちを後回しにしたのは、15日の分のネタ晴らしをされる可能性があるので。野球のシーズンは終わったし、もう放送が延期されることも無くなるだろう。

ということで、ロクでもない一日だった。これから呑みに行くので、尚更ロクでもない。月曜日は祝日だが、例によって講義もゼミもあるので、程々に、…、とは思うんだが、しないな。明日駅伝があるが、スタートは朝の結構早い時間なので見ないな。まあ今日は残念会ということで、結構呑むでしょう。いや、結構呑むのはいつものこと。理由が無くても呑むのだ。ということでボチボチ。

しかし寒いな。もう11月だ。今年も残り2箇月。まあ論文は書いたし、いいんじゃないでしょうか？未だに accept されてないのが辛いところ。何とか今年中に吉報が届きますように。