親父殿のお見舞いに行った後テレビの前にずっと座っていた一日

少々無茶が続いたので、2時近くまで起きられなかった。親父殿の見舞いに行く、と約束していて、兄者がバイクを乗り回してきたのから帰ってきてからの出発で、2時半過ぎにしよう、と成っていたので、少々眠いが、無理やり起きた。で地下鉄と相鉄線を乗り継いで、何だかんだと住処を出てから1時間くらい。親父殿は少々呆けてきていて、今日も会話が嚙み合わなかった。まあ耳が遠いので、元から話は噛み合わないことが多かったが。30分弱の滞在で帰ってきた。実家にロクなジャージ（死語）が無いので、ユニクロで1セット買った。4990円（税込）なりで、5000円札がうまいこと1枚あったので、買って帰宅。

それからカップ麺をすすって、「アメトーーク！」の5時間強スペシャルを見た。毎度思うのだが、出ている「運動神経悪い芸人」よりは小生の方がまだまし。バットにボールを当てて前に飛ばすことは出来るし、水泳では25m泳ぐことも潜水である程度の距離真っすぐ進むことは出来る。どうしてああなるかね？ザ・マミィの酒井のように力の入れ方が分からなくて、バトンを渡せなかったりボールを地面に叩きつけたりと、少なくとも小生はそこまでではない。いつも勝った気分に成る。しかし長いな。

その後兄者は寝て、「クイズ☆正解は一年後」という妙な番組を今年も見て。これも下らん番組だが、毎年見てしまう。来年も見るでしょう。

さて、もう大晦日に成ってる。今年はここ数年で一番時間があったので、色々出来た。論文も一応は書いたが、まだ accept の返事が無い。2度 reject を食らって、1回目は2日、2回目も半月か1か月くらいで reject の通知があったが、今回は2か月以上経っても返事が無い。前に accept 通知の郵便物（時代を感じる）が郵便のトラブルか共著者の大学でのトラブルか分からないが届かなかったことがあったが、今回はメールでやり取りしてるから、そういうことは無いだろう。が、メールが届かないことはあるしな。迷惑メールのフォルダーは毎日見てるが、届いてない。ガロアじゃないが、editor か refree が紛失していたとか引き出しにしまっておいて失念していたということもありうるからな。1月8日までは待ってみるか。57歳のうちに決着を見ればよいが。

ではよいお年を。

四条大宮に行った目的は果たせなかったが、思い直して王将発祥の地に行って食してきた

年末、年始に録画しておきたい番組が次から次へとわいてきて、でハードディスクの空きが全然足りない。ということで、沢山ダビング（トータルで7時間強掛かった）して、それから某バラエティー 番組の2時間ものが割といい画質で録画してあったので、見て消して、で一つは Blu-ray に録画することにして、とやったら全部どうにかなった。素晴らしい。が、結局1年あるいはもっと見ない番組が沢山あるだろうから、録っても仕方ないという説はあるが、まあいいです。

で超絶寝不足状態だが、今日帰省すると約束してあるので、夕刻に出掛ける。昨日（もう一昨日だが）書いた通り、四条大宮の和菓子屋でお土産を、のつもりだったが、失敗に終わった。地下鉄と嵐電の乗り換えでまずケチが付いた。電車が来てるんだが、信号の関係で渡れず、電車が出発してしまった。次の電車は10分後。で嵐電は路面電車の区間が結構あるので、あまり速度は出せず、嵐電天神川から四条大宮まで10分も掛かるとは思ってなかった。で更に調査不足が祟って、四条大宮の交差点付近を右往左往。目的地はパソコンの地図で見たら四条大宮の交差点からすぐだと思っていたが、現地でスマホの地図を見たら、堀川通を越えないといけないことが分かって、もう閉店の6時にかなり近かったので、諦めた。土産は京都駅で八ッ橋でも買う。

でただ四条大宮まで来て帰るのは勿体ない。王将の1号店に行こう、ということにした。が、年末のこの時期の夕食時。かなり混んでいて、表で待ってる人もいた。混んでる店にでっかいバッグを持って入るのは気が引ける。で名前を書いて、入り口の近くで待っていたら、鞄を置いた場所が悪く、自動ドアが開くのを妨害してしまい、それでドアの調子が悪くなってしまい、何とも気まずい雰囲気に成ってしまった。まあいいです。でニンニク激増し餃子と極王炒飯を頼む。が、鉄板が普通の餃子で一杯で、少し時間掛かるけどいいか、と言われた。急いでないのでいいです。で餃子は10分くらい待ったろうか。食べ始めるも炒飯が来る様子が無い。暫くしたら来たが、結局別々に食べることに成った。まあ記念に成ったのでいいです。

で後学の為、菓子屋の位置を調べておこう、と歩いて探す。四条大宮って難しいな。南から来ていた大宮通が交差点の北側で狭くなり、主要な道路は京都なのに斜めに走っている後院通に成るので、その2点のせいで感覚が狂う。で何とか堀川通まで出られた。堀川通を越えて暫く歩いたらあった。もう大丈夫。近くにあった地図を見ると、阪急の烏丸駅はそんなに遠くなさそう。阪急の大宮駅に戻って1駅乗るのもなんだし、烏丸まで歩こう、と思ったが、思いのほか距離があった。大荷物を持ってるので、結構大変だった。で漸く阪急の烏丸駅／地下鉄の四条駅に辿り着いたが、入り口の番号が24番と、途轍もなく大きい番号。地下を結構歩いて、ようやく地下鉄の駅に着いた。地下鉄で二駅南下して京都駅に。京都駅のいつもと違う所に出たので、しばし右往左往。まあ何とかなった。で新幹線に乗り込んで、後は順調。実家に10時過ぎに辿り着いた。

その後兄者とグダグダと会話。お互い話し相手に飢えているからか、喋りまくった。で年末に必ずやる「戦力外通告」がやると兄者が言ってた。う、これは録画してこなかったぞ。で見たが、相変わらず厳しい。年々きつく成ってる気がする。夢のある世界だが、1年ちょっと悪いと契約してもらえない。厳しい世界だ。30前の若者にはきつかろう。家庭を持ってるとなおさらだな。台湾の球団から声を掛けてもらっていた選手がいたが、契約条件があまりに厳しい。契約条件、という言葉は正しくないな。最初は練習生扱いで給料が出ず、ある程度ポテンシャルを見極めてから本契約らしいから。何の世界も厳しいよな。お山の大将みたいな人は多かったろうからな。実力だけじゃなく運もいるしな。小生のように運だけで生き残ってきたものには偉そうなことは言えないが、パーマな職を得てない人の幸運を願うしかないな。学生は、成績が良かったのは何の関係も無いので、頑張って論文を書いて、売り込んでくだされ。

さっきネットを見てて気付いた。12月29日は浜田省吾の誕生日。いつもうっかり忘れてしまう。もう73歳。もう一回ライブやってくれないかな？無理か？まあ見てない Blu-ray は沢山あるので、楽しむものは沢山ある。元気でいてください。

呑み潰れて夕刻までダウンしていた

昨晩のふなごやは暇そうだったが、今日、明日は大口の宴会があると言ってた。年末なのに暇過ぎては困るだろうから、まあいいことかなと。でガソリンをたっぷり注入しないと、ということで例によってビールを少々呑んだ後、ワインを3人で2本ばかり開けた。途中、二人よりグラスにたっぷり注がれて、それも効いたか途中から何も覚えてない。まあよくあること。帰りにセブンイレブンに寄った記憶が微かにある。起きたら飲み干した水のペットボトルが一本と、冷蔵庫に数本飲み物が冷えてて、カップラーメンとカップ飯が幾つかあった。

で夕刻に起きて、カップ焼きそばを食べながら、「緊急取調室」の2時間スペシャルを見たり。面白いな。映画行かないと。

昨晩呑んでる最中に兄者から電話があった。いつ帰省するのか聞いてくるのだろうと思ったら案の定。ただちょっと想定外のことが。今日帰って来られると困る、という趣旨。何故かと思ったら、仕事の関係でこの年末に大仕事があるそうだ。昨日から今日に掛けては業者の人の作業だけなので行かなくてよかったそうだが、今日から明日に掛けて泊まり込みの徹夜作業があるらしい。お袋が死んで親父殿が弱ってきてから、何かセキュリティー関係のことでセコムと契約したらしく、出掛ける前に留守モードにしないといけなく、また留守モードなのに人がいるとやはり問題らしく、今日は部屋に上げてもらえない、とのこと。まあ昨晩呑んで、今日は一日ダウンして、腹の調子も悪かろうし、明日帰ると最初から決めていたのでよかった。ということで明日横浜に向けて出発。お土産を買いに四条大宮にある有名な和菓子屋に行こうと計画している。四条大宮って、地下鉄東西線で烏丸御池まで行って、地下鉄烏丸線で四条まで一駅、阪急の烏丸駅から大宮まで一駅、と超絶面倒なことをしないと行けない、と思っていたが、東西線で終点の太秦天神川まで行って、嵐電の嵐電天神川までちょっと歩いて、そこから嵐電で四条大宮まで行く、ということをやるとちょっと楽そうだ。三条京阪辺りからバスに乗るという方法もあるだろうが、調べるのが面倒なので、嵐電使用の経路で行こうと。京都の中心地に行くのは久し振りだが、混んでるだろうな。まあいいです。一度住処に帰ってこようかと思っていたが、考えてみれば大宮から阪急で一駅行って、そこから地下鉄で京都駅まで行くのが面倒じゃなくていいかもな、という気もする。さてどうしよう？

「栄光のバックホーム」を見てきた

今日は午前中に予定があった。11時40分までに外環三条の近くに行かないといけないので、10時半、11時に目覚ましを仕掛けておいたが、聞いた記憶が無い。意識が戻って時計を見たら11時半。起きな、と思ったがまた寝入ってしまい、最終的に起きたのは12時。ギャ！まあ遅れても順番を変えられて待たされるだけなので、いいけど。こういう気持ちでいると寝坊するな。

用事が済んで昼飯をなか卯で食べて、帰ってきたのは2時近く。シャワー浴びてスッキリしてから二条へ向けて出発。昨日書いた通り「栄光のバックホーム」を見に TOHO シネマズ二条へ。地下鉄で15分弱だからすぐ着く。で3時15分くらいに着いて、ホットドッグを一つ買ってから絵部屋に入る。いつもの通り宣伝と諸注意が延々流れた。齊藤京子が主演の映画があるようで、これ確か「キョコロヒー」で映画の賞を貰った齊藤京子が映画祭に出る、という話をしていた奴。これは見ないと。ということで「緊急取調室」も見ないといけないし、忙しいな。齊藤京子の映画を今調べたら、「恋愛裁判」というタイトルのようで、1月23日公開と成っている。まだちょっと余裕があるな。1月は講義の残りかすを終わらせた後に成績付けをやるくらいで、まあ余裕はある。見に行こう。「緊急取調室」は実家の近くの TOHO シネマズ上大岡で見るつもりだけど。

で漸く開始。話の大筋は分かっているが、それでも面白かった。柄本明の演じる川藤幸三が下品でよかった。古田新太が掛布だったのは笑った。結構いい俳優が少ししか登場しなかったりと、金が掛かってそうだな。号泣もの、という程は泣かなかったが、何度か目は拭った。「奇跡のバックホーム」と「栄光のバックホーム」というタイトルの文庫本はどちらも買ったので、また機会を作って読む。

その後1階のたかばしで小拉麺を食べて、大垣書店でちょっと買い物。前に行った時は VIVI 二条は全面改装中で、1階のローソンと4階の TOHO シネマズ二条以外は全部閉まっていたが、もう工事は完了したようで、賑わっていた。JR の二条駅も結構な人。で地下鉄のホームで待っていると、来た電車は京阪京津線直通の電車。これで京阪山科で降りると100円余分に取られるが、まあいいです。と思って今調べたら、乗り継ぎ割引が無くなったのか、170円も余分に取られるようだ。そうだったのか。次回からはケチって六地蔵行が来るまで待つか。承知で乗ってる人は結構いるようで、蹴上までに乗ってきた客の何人かが京阪山科の手前で降りる準備をしていた。まあ京都の予算も逼迫してるが、4両編成のガラガラの電車を逢坂山越えさせて苦労している京阪にも協力しないと。一番けちるのは、嵯峨野線（山陰線）で京都に出て、京都から琵琶湖線（東海道本線）、だと260円も安くなる。まあ観光客で嵯峨野線は混んでるので、嫌だけど。

さて、呑みに行きますか。今日で年内顔を出すのは最後。楽しく呑んできますわ。あまり混んでないといいけど。いや、ガラガラ過ぎても店が潰れてしまうからね。程々に混んでるか、大量の客が帰った後というのだと嬉しい。行ってきます。

ダラダラと録画してあった番組を見たりと、休日を満喫

昨晩はその後「ゴチバトル」の続きを呑み呑み見て、でその後書き散らかした紙を見てたら、また変な恒等式を幾つか思い付いたので、メモってから SageMath と PARI/GP で確認。正しいな、ということで来年度の院生向けの講義の演習問題にしようということにして、TeX 化。それからあれこれグダグダやってたら、途中でダウンした。

起きたら夕刻。まだ帰宅ラッシュにはちょっと時間があったので、意を決してジョーシン電機に向けて出発。寒いぞー、荒れるぞー、と脅されていたが、表は雲があまり無く、まあまあの天気。確かに寒いは寒いが。国道一号に合流する所で奇跡的に車列が切れたので、すんなりUターンして合流出来た。信号が暫く無い所だが、何故車列が途切れるのだろうか？前から不思議に思っているのだが。まあ兎に角ジョーシン電機に行けて、で買い物を済ませて、表に出て。国道一号は片側2車線で、途中で右折する必要があるので、右レーンに移動しないといけないが、交通量が多くて、中々難渋した。いいタイミングで一台分空いたので、移って、で「山科区東野」の交差点でなく、ロイヤルホストと BOOKOFF の所の交差点を右折。ここで曲がって「五条別れ」の交差点に出ると、マンションの敷地に左折で入れるのでいい。ということですんなり帰宅。帰ってきてからブツをパソコンに繋いで諸々。時間が掛かる作業なので、その間に紙の TeX 化をやったり、録画したままに成っている番組を見たり、Blu-ray にダビングしたり。結構ケーブルテレビのチューナーに搭載されているハードディスクに余裕が出来た。年末、年始の番組の予約は出来そう。もうちょっと見て消してをしないと。

とそんなこんなで今しがたまでテレビを見たり、NHK ONE で見逃した「ブラタモリ」を見たりと、結構ダラダラ過ごせた。まあ休みなので。

「栄光のバックホーム」の上映時間を見たら、午後は3時半過ぎからなので、明日の分のチケットを購入しておいた。号泣ものだそうだから、覚悟して見に行こう。帰ってきたら呑みに行く。今年最後だから、きちんと挨拶しておかないと。両親が元気だった頃は年末、年始は一切呑まなかったが、もういいかな。前は実家の鍵を持ってなかった。いや、前は持ってたんだが、何度か失くしたので、くれなくなった。が、お袋は死んだし、親父殿は施設にいるし、鍵が無いとどうしようもないので、兄者に頼んで貰った。ということで、実家にいても「緊急取調室」を見に行けるし、呑みにも行ける。阿呆のような年末年始を満喫してこよう。「ブラタモリ」で川崎大師のことをやっていたので、是非にも行きたいが、三が日だけで300万人だか来訪するそうだ（京急の大師線は増発する）し、まあ初詣はやめておく。また次の機会に行くことにする。

仕事納めは職場にギリギリセーフ

今日で仕事納め。シャワーを浴びて髭を剃ってスッキリ出掛ける、の筈が、寝たのが遅くて、起きたらもう12時を結構回っていた。いかん、と急いで飛び出す。奇跡的に昨日のボサボサの髪型がそれなりに収まっていた。

リンクスクエアでカレーパンを一個買って、コーヒーで流し込んでからゼミ。今日は素数次の Kummer 拡大の残りをやって、3次体の整環（order）の話。色々詰めてきてない。いけないな。昔読んだ時に、著者の計算ミスがあることを本にメモしておいたが、そこを素通りしようとするので、計算させる。小生が合ってた。こういう所を計算してこないで、現地で計算するのは良くない、という趣旨のことを言ったが、返事をするでも無く、何を考えてるんだか、と思ったが言わずにおいた。何か自分でしたい時は、ちゃんと細部の計算まで詰める必要があるし、論文に出ている結果を引用しようとするなら、ちゃんと間違いが無いかどうか確認しないと。もっときつく言っておいてもよかったかな。まあ年内最後だし、気分よく終えましょ、ということでね。

その後ちょっと月曜日の講義の資料の直し。昨晩見たら、沢山まずい所があったので、大分直したが、今日見たら幾つも間違いがある。丹念に計算して、もういいだろう、というところまでやって、web にアップした。事務室に行って有隣社からの荷物を開けたが、2冊注文したのに一冊しか入ってない。有隣社は前も同じミスをした。もう、と思うが、冷静な文章でメールを書いておいた。担当者がメールを見るのは年明けかな。まあいいです。

でジョーシン電機に寄ろうと、7時くらいに職場を後にした。で渋滞してない高速道路を通って、7時半前にジョーシン電機の近くに着いたが、電気が点いてなく、駐車場が閉鎖されていた。変だな、コロナ禍の時は7時閉店だったが、8時閉店に戻っていたはず。後で見たら7時閉店だった。何だそうだったか、急ぐ必要無かったな。もうちょっとやりたいことがあったので、職場に残ればよかった。で直帰してもよかったが、車線変更をしないといけなくて、混んでるから嫌だな、というところで閃いた。魁力屋で拉麺を食べよう、ということで、東野を左折。で期間限定のメニューを頼んだが、一つ失敗。トッピングのもやしを頼んでしまった（タブレットをタッチしていたか？）が、山盛りで、中々麺に辿り着かない。もやしとチャーシューを醤油スープで煮込んだのを食べたような感じだった。まあいいです。また近い内行って、もやしが乗ってないのを食べよう。

帰ってきてしばし紙の整理。奥から奥から TeX 化してないものが出てくる。適当にやってから、「グルグル99」を追っ掛け再生。今日ゴチの首が決まるので。が、何やらどうでもいい企画が前半にあったので、その間も TeX 化作業。ようやく始まった。で見てて、時計を見たらもう11時半を過ぎていてビックリ。長いな。まだ結論は見てないがどうなったでしょうか？「アメトーーク！」が終わったら続きを見よう。

映画どうしようかな？明日行こうか？明日は早起きしないだろうが、土曜日は午前中に用事があるので、昼からの映画なら見られる。土曜日にしようか？後で上演時間を確認しておこう。「緊急取調室」が明日封切だが、まず「栄光のバックホーム」を見ないと。「緊急取調室」は実家の近くの映画館でいいや。明日はジョーシン電機には行く。7時閉店なのは学習した。特段早起きしなくてもいいのでね。国道一号に嫌な感じの合流の仕方をしないといけないので、交通が激しい時間は避けよう。一度ちょっと強引にやってクラクションを鳴らされて、sの車が小生の前に出てアクセル踏んですぐブレーキ踏んで、という嫌がらせ（煽り運転の一種？）をされたことがある。すぐ車線変更して逃げたが、バックミラーで見たらその車は暫く同じことを続けていた。小生の車じゃなくてもよかったのだろうか？知らんけど。まあ程々に行きます。

√10 は Z[√10] の既約元である

ケーキを買いに行く前に、ちょっと月曜日のゼミでの話を整理しようと計算（手計算でなくて SageMath と Maple で）したが、二通りで計算すると実部の見た目が違う。変だ、と思って色々考えたが、合ってる。まあ代数的従属な変数が二つ入ってるんで、問題は無いわけだとは思うが。でもやっぱり…。こうなるとケーキよりアルコールが欲しくなる。楽しく呑みたいと売り切れるが、昨晩はフルに買えた。でそれから先週の「座王」を見た後、書き散らかした紙を TeX 化したり。その過程で秘蔵の問題集をひっくり返したら、解答の付いてない問題があった。√10 が Z[√10] の既約元？というもの。やり始めるが、うまくいかない。SageMath で答が正しいことは確認出来ているので、勇気を持って考え始めるが、隘路に嵌まった所でダウン。もう結構な時間だった。

途中意識が戻ったりまた落ちたりと繰り返し、夕刻まで寝た。起きて隘路に嵌まった問題を考え直したら、名案を思い浮かんで解決。夕食を Uber Eats に頼んだのの配達を待ってる間に幾つか TeX 化。それから月曜日の「おはよう朝日です」に M-1 王者が出た時のものを録画してあったので見たり。でその後ダラダラと寝床で YouTube を見たりして、生産性の無いことをしていた。まあいいでしょう。

明日で年内の仕事は終わり。土曜日にちょっと用事があるので、晩は呑みに行って、で日曜日はダウンしてるだろうから、29日の月曜日に横浜に帰るか、と思ったら、30日に呑み会どうですか？と誘いが来た。うーむ、流石にちょっとな。会って呑みたいのは山々だが、仕方ない。また次の機会に。明日はゼミだけだが、4時半には終わる。すぐ帰ってこようか、それともウダウダとやってこようか。生協の伝票と有隣社の伝票を経理に送るのはやっておかないといけないな。そんなこんなしてるうちに結構渋滞する時間に成りそうだから、まあそこそこまでは職場にいよう。ちょっとジョーシン電機に行きたい用事があるので、7時には職場を出るか。8時の閉店には間に合うな。まあその場のノリで決めよう。今年もよく働いた。論文の受理の返事が無いのが気に成るが。二日で reject してきた journal があるのに、2カ月以上返事が無いと不安だ。迷惑メールは毎日見るようにしているがそっちにも来てないし、さっき journal から指定された URL を見たが、プロセスが進行している様子は無い。まあいいです。暫く忘れまひょ。

年内の講義は今日で終わり（ゼミが一つ残っているけど）

寝ないといけなかったが、ついテレビを見てしまった。鬼に挑戦して、勝ったら賞金、という単純明快な番組。1つ目はカズレーザーにクイズで挑む、というものだが、流石に歯が立たずに惨敗していた。が、2つ目が凄かった。プロのバスケプレーヤに挑むというもので、バスケットボールの番組をやってるハライチ澤部がその選手を見て、凄いのが出てきたというようなことを言っていた。挑むのはかみなりのたくみ、ハナコの岡部、そして桜井日奈子。桜井日奈子が凄い使い古したバッシュを履いてきていて皆が笑っていたが、特技はバスケットボール、というほどの腕前らしい。で始まってみたら、ビックリした。遠くからのシュートを連続でボンボン決め、プロが焦り出して、最後は桜井日奈子だけ生き残って、賞金を手にしていた。面白かった。流石に眠く成ってきたので、すぐダウンした。

で今日は昼の1時半くらいまで寝てしまった。急いで出掛ける。途中で気付いた。昨日眠い中で頑張って赤入れした紙を置いてきてしまった。まあ幸い USB メモリーは持っていったので、講義後記憶に頼って作業をしたりは出来るのでいいけど。

リンクスクエアの売店で弁当を、と思ったら売り切れていて、菓子パン、おにぎり、サンドイッチが幾つかあるだけ。サンドイッチが一番量がありそうなので、買って食して、講義室へ。電気が点いていて、1人いた。2週間ばかり来なかった学生だが。暫くしたらもう一人来て、講義開始後もう二人ばかり来た。今日は Q_p の有限次拡大に p 進付値が unique に延長出来ることを証明した。必要になる体の有限次拡大のノルムの話は程々にしておかないと時間が無い。ノルムの連鎖律はやりたいが我慢した。環の整拡大の話も程々にしないと。まあ整元を加減乗しても整元に成るのは、体論でやった代数的な元の全体が体に成るのの証明と同じだから、その旨言って略した。で残りの一回で Q_p の有限次拡大体が p 進付値（の unique な延長）で完備に成ることをやりたいが、これも結構重い。Q_p 上の有限次ベクトル空間のノルムが全て同値なのを示すのが結構大変。まあ最悪の場合、途中を「演習ね」と端折っていくしかないが。

年内の講義は今日で終わり。明後日ゼミが残っているが、金曜から冬期休暇。

講義後は部屋で一作業。一箇所変だと思った所があったが、ちょっとした勘違いだった。ただ書き方がよろしくない。web に上げる資料はちゃんと直しておいた。で年明けの作戦練りを少々やって、それから「代数学II」のことをちょっとやって、とかやってたらあっと言う間に9時に成ってしまった。群作用よく分かってないな、というのが分かってしまった。もう一回ちゃんとやらないと。

昼が少なかったので、すき家で牛すき鍋膳を、と思っていたのだが、文庫本を忘れてきたので、待つ時間が短いものにしよう、とメニューを見たら、ローストビーフ丼があるじゃないか。あんだけ何度行っても無かったのに。何かネットニュースでは見た目も食べた感じも写真や宣伝と違うぞ、と書かれていたが、美味しかったぞ。何か白っぽい物が別添でついてきたが何だろう？と思って舐めてみたらワサビだった。そこそこの量を舐めてしまい、ちょっと大変だった。ワサビはもっと緑色なイメージだったが。

結構雨が降ってたが、明日は結構降るようなことを言ってた。12月24日から25日に掛けては晴れの得意日らしいが。関東でこんだけ降るのは随分久し振りだと言ってた。でビックリしたのが、首都圏と札幌の最高気温が7度で同じらしい。もっと寒くて雪でも降ればいいのだろうが、何とも中途半端だな。まあ今年も小生はクリスマスは特に何もしないで終わるが。一応気分は出そうと、中山美穂のクリスマスの曲の入った CD を車で流してはいるが。去年は聞かなかった。死んでしまったばかりだから、というわけではなく、単に見付からなかったから。杉山清貴のクリスマスアルバムはどうしたかいな？行方不明。浜田省吾のもあるが、これはちょっと聞きづらい。最初クリスマスの曲だけを集めたものをLPとカセットテープで売り出して、「CLUB SNOWBOUND」というタイトルだったが、CD 化する時に夏の曲とクリスマスの曲を一緒くたにして、「CLUB SURF & SNOWBOUNT」にされてしまって、夏も冬も聴けない CD にされてしまった。MD プレーヤーがが車に付いてた頃は分割して2枚にしておけばよかったがな。いや、CD でもそういうことは出来るんだろうが、小生のような原始人はやり方をしらない。ということでずっと聴いてない。SENTIMENTAL CHRISTMAS は「愛の世代の前に」に違うアレンジのが入っているので聴けるけど。そうだ、後でコンビニで適当なケーキを買ってこよう。うん、そうしよう。で明後日からはもう年末年始モードだ。金曜日から休みに成るし。年賀状も買っておかないとな。一年早かった。来年度は忙しくなりそうだな。嫌なこった。

線形代数の講義と初等整数論のゼミは年内最後

体調を整えておく、と書いたが、またしてもどうでもいいことを始めてしまって、気付けばもう「おはよう朝日です」の時間に成ってしまった。で M-1 の話題をやったり、チャンプが出るとか色々言われて、結局またしてもかなりの寝不足に成ってしまった。阿呆や。寝癖バリバリだったので、シャワーで直して12時20分近くに慌てて出発。個研室で落ち着いている時間は無いので、リンクスクエアの売店で弁当を買おう、と思ったらいい発見。温かい唐揚げ弁当が売ってるでないの。ちょっと量は少ないかもと思ったが、冷めたものよりいいといことで買って食して、でちょっとボーっとしてから出発。

「数学IV（線形代数）」は年内最後。今日は3項間漸化式の話をチャチャっと済ませて、のつもりが結構話してしまった。テキストには書いてないが、ベクトル空間がどうしたとか線形写像がどうしたとか固有値が何だとか対角化がヘチマだとか何のためにやる？というのが見えてないだろうから、4項間、5項間、…、に簡単に一般化出来る旨を話さないと意味が無いと思って、ちょっと時間を使って話して、で線形の微分方程式もそっくり同じ議論で出来る（初期条件で解が unique に定まるのは難しいが）ということを話して。30分くらい話そうと思ったら、45分以上話してしまった。いかん、内積をやらないと。年内にグラム・シュミットの直交化を、と思っていたが、無理だった。正規直交基底という言葉を定義して、クロネッカーの δ を定義して、正規直交基底である条件を δ で書いてる最中にチャイムが鳴ってしまった。無念。2週間空いてしまうから、もうちょっとやりたかったが。次回が最終回。どこまでやれるでしょうか？

初等整数論のゼミも年内最終回。今日は d≡3 (mod 4) の時の虚二次体 Q(√(－d)) の話をざっとやって、y²＝x³－11 の整数解の決定を始めるが、色々そこはかとなくおかしい。こういう時のために詳細を TeX 化してあるので、見ながら助け舟を出して、で計算ミスを彼と小生両方繰り返しながら、何とか決着。結構これだけで時間が掛かった。休憩を挟んで Q(√2) の話。単数群が {±(1＋√2)ⁿ｜n∈Z} を示して終わりだが、色々コメントしておいた。演習問題に Q(√3) のことがちらっと出ていたが、この二つの体には大きな違いがある。基本単数のノルムが －1 か 1 か、というだけと言えばだけだが、これが大きな差。(2/p)＝1 なら p＝ππ' である同伴でない素元 Z[√2] の π, π' があるが、(3/p)＝1 の時は (p)＝(π)(π') なのは言えても、p＝ππ' となるとは限らない、という数値例を教えておいた。ちょっと添加する元を変えたりパラメーターを変えただけで状況が全然変わるのが整数論の面白い所、と言って「よいお年を」と言って終了。疲れた。

渋滞が収まるまでは帰れないので、7時くらいまで講義の後始末をして時間潰し。どうせ誰も見ないんだろうけど、と思いつつ、抽象化すると嬉しいよね、ということを書いたり、それを切に訴える例を追加したり。線形代数はこっちに来てから何度か演習を担当させてもらったし、講義も数度やってるので、演習問題が沢山ある。最初のうちは抽象的な問題ばっかりやっていたが、何か理論を学んだり定理を勉強したりしたら、超簡単な例を考えるのが大事、と数セミで書いていらっしゃる方がいたので、R² の場合とかの例を沢山作ったので、そういうのが秘蔵の問題集にあるからコピペしたり。まあまた言うけど、誰も見ないんだろうな。講義の出席者はがた減りだし。まあ自己満足と言うことでね。O先生のように課題だレポートだとやって学生をギチギチに締め上げる気は毛頭ないので、自主的にやる人はやってね、ということなのだが。

帰ってきたら「Qさま！」がやってた。4時間スペシャルとか。年末はこういうのが多い。以前は「プレッシャースタディー」というスタイルでやっていたが、今日は久々にやっていた。これはこれで面白いな。「昭和の顔」というくくりだったが、2位が美空ひばり。1位は誰だろう？と思ったら田中角栄だった。色々あった人だが、凄い人だったのだな。小生が子供の頃の人だが、当時既に現在普通に行われているテレビ会議が行われるだろうと予見していた。パソコンのパの字も無い時代のこと。恐ろしい人だ。面白かった。

明日も講義だ。今日はちゃんと寝ないと。と言っても講義は2時55分だから、ちょっと遅く寝ても相当遅くまで寝ていられる。明日は大丈夫だ。明後日はどうしよう？映画行こうかな？昨日ポストを見たら、マイナンバーカード関係の郵便物があったが、更新手続きはインターネットでチャチャっと出来ても、流石にブツは郵送してくれないようだ。そりゃ身分証明書だからね。役所なりマイナンバーカード専門の所にに転送しておいてもらって、取りに来い、とのことだ。今から転送を依頼しておいて、水曜日に電車で椥辻まで貰いに行って、そのまま地下鉄で二条まで行って映画を、というのが一番いいな。そうしよう。ということで、やったら寝ますわ。

などと書いてしばし。手渡しで終了、という簡単なものではないようで、受け取りは来年の1月後半まで出来ないようだ。定期試験が済んで、例の業務が始まる前に、ということで予約をしておいた。映画は映画で適当に見に行こう。まあその日もまだ「栄光のバックホーム」も「緊急取調室」もやってるだろうが、早い内に行きますわ。

M-1 の王者は、…、書かないよ

昨日のふなごやは忙しかったそうだ。着いた時は二人組がカウンターに座っているだけだったが、ちょっと前まで超満員だったとか。いつもと違うバイトの人が帰るところだった。いつものバイトの人は車を置きに一旦家に戻られたそうだが、すぐ戻ってこられた。それからは楽しく呑んだ。店長は疲れていたようで途中寝落ちしておられたが。ご苦労様でした。

で例によって帰ってきてすぐダウンした。今日は M-1 があるので、寝坊出来ないから、テレビを付けっ放しにしておいた。何度か目が覚めて、最終的には敗者復活戦が始まるあたりで起きた。カベポスター残念。本番はエバースが凄いネタを見せて、ファーストラウンド1位に。ヤーレンズと真空ジェシカは残念だった。最終決着は、…、書かないよ。2本充実したネタを作るのは難しいんだな、ということを再認識した。新しいスターが誕生して、まあ面白かった。来週恒例の「M-1 アナザーストーリー」がやるようだ。去年の分が昨日だか一昨日に再放送していた。そっちも見ないと。

あと三日職場に行けば今年の仕事は終わりだ。頑張るぞ。今週はちゃんと体調を整えていこう。いつ横浜に行こうか？土曜日に予定があるから、まあ土曜日の午後か、それとも土曜日に呑みに行って日曜はダウンだろうから、来週の月曜日かな。少し上大岡の街中をブラブラしよう。清華ラーメンの昔ながらの中華蕎麦を食べないと。

GLn(K)（K は有限体）の元の個数の勘定はもう大丈夫

昨晩はその後何だかんだと3時前まで起きていた。流石に徹夜は響くか、12時間以上寝た。途中呼び鈴が鳴ったが、エントランスからの呼び鈴ではなく、部屋の入口の呼び鈴の音。怪しい、ということで無視を決め込んでそのまま寝続けた。後で思えば、年に一度の消防施設の点検だな。義務なのだろうから仕方ない。明日以降は来た時間によるが、部屋に入れてあげないと。

その後起きて、カップ麺をすすりながら先週やった「ミラクル9」の2時間スペシャルと、先週の「座王」を見たり。昨晩の「座王」はまた後で見る。それからちょっと線形代数と言うか群論と言うか体論と言うかをちょっと。GL_n(R)（R は零環でない環）がアーベル群じゃないことを講義でやってるが、AB≠BA である行列の例がよくない。成分に2とか3とか4とか入れないで、0, 1だけを成分に持つ A, B で AB≠BA なものはないか？と探したらすぐ見付かった。来年度の講義からそっちを例にしよう、などとして TeX 化。GL_n(K)（K は有限体）の元の個数の勘定って、一回やって分かった気に成ってまた忘れて、を繰り返していたが、線形代数を講義のためにちゃんとやったお陰か、もう絶対忘れないという自信が出来た。こっちはまだ TeX 化してないが、後でやる。念のため星明考「群論序説」で答が合っているか確認。もう大丈夫。短時間だが有意義な勉強時間だった。

やっと疲れが取れたのに、これから疲れに行く。要するに呑むということだが。明日は M-1 なので、集中して見られるくらいにはしておく予定。いや、ノリ次第だからな。寝癖ボーボーなので、シャワーを浴びてから行ってきます。

年内の「代数学II」は終了。準備に手間取り超寝不足。

交代群の気に成ってることを修正するのに存外時間が掛かった。何かあれこれと場合分けが多かったが、気付けば大したことなかったが。でほぼ寝ないで出勤。

はま寿司で2100円強食べてしまった。まあ単価が高くなったのが大きな原因だとは思うが。で12時ちょいに職場に着いて、で気付いてしまった。まだ年内の月曜日が一回残ってる。急いでテキストに目を通し始めたが、時計を見たら1時を過ぎてた。いかん、講義だ。

で講義室で少ない学生相手に「代数学II」。交代群のことは話し始めたら10分も掛からなかった。時間を掛けて準備したのだが。ここで時間を使うのは勿体ない。来年度はもう少し工夫しよう。でそれから多項式が代数的に解ければガロア群が可解群であることの証明を始めたが、想像より大変だった。1時間以上話したろうか。学生は嫌がっているだろう。写真を撮ってる音が聞こえた。撮影だけして見直さないなら撮っても同じだよ、と言おうと思ってやめておいた。で終わった後、「この程度の証明を長いだとへちまだの言うのは修業が足りない。卒研ではもっと大変なことをさせられると思っておかないと」とつい言ってしまった。こういうことをやるから嫌われるんだよな。でコーシーの定理の証明をするには時間が足りない。仕方ないので群作用とか軌道とか stabilizer とか復習してお茶を濁して、最後に「p が #G の素因数で #G＝p^a×n, (n,p)＝1 の時、1≦b≦a なるどんな b に対しても、位数 p^b の部分群が存在する」というシローの定理（の拡張版？オリジナルな形？）を書いて年内は終了。次回はそれを済ませて、x⁵－10x＋2 のガロア群が S₅ と同型であることを示して、など。有限体の話は出来ないだろうか？作図問題も無理そうだな。もうちょっと次年度に向けて工夫しないと。何年経ってもうまくいかないな。まあそうやって少しずつ大人に成っていくので。いやいや、もう老人でしょ、というツッコミは却下。最後の年に完成形が出来てれば満足するでしょう。

で例によってすぐゼミ。この前 Minkowski の一連の定理群（原点対称で凸で体積がある程度大きかったら原点以外の格子点を含むというやつ）を示したので、今日はそれを応用して判別式の下からの評価や、与えられた判別式を持つ代数体が有限個しかないとか、イデアル類群を実際に求めるための Minkowski bound による評価とか。で一通り証明し終わったところで力尽きたようだ。次の節にイデアル類群を実際に求める例が沢山出ているが。Minkowski bound が2より小さいと嬉しいとか、有理数以外の代数体の判別式の絶対値が1より大きいと何が嬉しいとか、判別式の下からの評価があると何が嬉しいかとか、そういうのを教えておいた。彼の担当は今日で終わり。4月から新天地で勉強に励んでください。年明けに一回だけあるという何ともモチベーションの上がらない年末に成るが、もう一人の彼も頑張った。彼も新天地でちゃんとやれるでしょう。

ということで高速道路の混雑が収まるまで時間を潰さないと、ということもあるし、まだ線形代数の作戦練りが足りないので、それも。出席者が大分減ってるが、まあいいです。こっちが勉強するのが大事なので。でグラム・シュミットの直交化の前まで読んだ。まあそこいらで時間が尽きるでしょう。年明けは1月6日（火）からなので、線形代数の講義は大分空く。しかも1月12日（月）の成人式の日はうちも休みに成る。昨年度までは成人式の次の週の月曜日で秋学期終了、と成ったんだが、今年から1週間減ったので、どうする？と思ったら、1月13日（火）に月曜日の分を全部やるという変則スケジュール。非常勤講師の方など、本務校や他の大学の講義がある人のことを何も考えていないスケジューリングだな。まあ今年は試用期間ということで来年度からまた変わるかもしれない。ま、偉い人に任せまひょ。

帰ってきてカップラーメンをすすりながら「緊急取調室」の先週の分を見ようということにして見たが、2話続きだったので、2時間強見る羽目に成った。面白かったのでいいけど。映画が楽しみだな。1週間後に封切りだ。こっちで見るか実家の近所で見るか。「栄光のバックホーム」も見ないといけないし。年明けでもいいか。

そうそう、代数的に解ける ⇒ ガロア群が可解群、のもう少し時間の掛からない証明はないかと思って本をめくってたが、今年出たガロア理論の本に致命的なミスがあることを発見した。ロクに触ったこと無い本や文献のたまたま開いた頁にエラーがあるという事態は何度目かいな。まあそれだけ難しい所なわけだし、穴を無くすのは難しいな。小生も大穴を開けていたわけだから。調べたら出版社にご注進出来る web ページがあることが分かったので、早速伝えておいた。その本は何をやっていたかというと「L/M, M/K がガロア拡大 ⇒ L/K はガロア拡大」という成り立たないことを証明してた。これ間違える人は過去に見たことがある。成り立ちませんよ、と言ったら、え？と言われた。藤崎先生の「体とガロア理論」で勉強すると、こういうのの反例を知ることが出来てよかった。その本の「証明」は読んでないが、何か致命的な勘違いをしているのだろう。小生の間違いはそこではなかったが、まあ下らん勘違いでした。実際に埋めて話してみると、相当時間を食ったし、易しいことではないのだ。今年から春休みが1週間長くなったし、M2 もいないから、少しじっくり考えてみるか。幸い来年度は線形代数から解放されたので、そっちに時間を割かなくていいから余裕はある。「審査」の問題は次回は大丈夫だろうから、新しい研究だけでなくそっちもやるか。

流石に眠いな。「探偵！ナイトスクープ」が終わったら寝るか。「座王」を録画して、と思って番組表を見たら、今日は1時間特番らしい。ハードディスクに余裕が無かったから、さっき沢山消した。明らかに見ないだろうという下らん番組群（何故録画したか謎）を消して、大丈夫に成った。「相棒」と「緊急取調室」を Blu-ray に焼いたり、他にもダビングして、年末年始のために余裕を作っておかないと。明日以降やることにして、ボチボチ寝る準備。

フロントガラスのプチ凍結は今シーズン初

今朝は何だかんだと11時半過ぎまで寝てしまった。寝癖を直してもいいくらいの時間はあったので、チャチャっと直して、12時10分近くに出発。いつもの弁当売り場に行ったら、もう誰もいなかった。仕方ないので生協に買いに行く。落ち着いて食べるくらいの時間はあった。

1時10分からゼミ。2人でやってるゼミだが、今日は1人来ないと言っていたので、マンツーマンで。今日は素数次のクンマー拡大での素イデアル分解。「大分訳分かんない所がありました」と言ってたが、言うほど酷くはない。分かってない所を分かってないと認識出来てればいいです。一箇所不等式が分からないと言ってたが、左辺から右辺を引いて0以上、という高校生でもやれそうなことを出来なかったが、まあてんぱっていたのでしょう。1箇所謎が残ったが、まあ大体出来た。一生懸命やると休憩を忘れる学生で、今日も時計を初めて見た時はもう延長戦に突入している時間だった。もうちょっとやると定理の証明が一つ終わるので、そこまでやって、20分くらい延長。まあ大方分かった。クンマー拡大での素イデアル分解の法則は2度使ったことがある。と言っても2次拡大なので、あまりクンマー拡大という気はしないが、下の体が Q じゃなかったので、平方剰余では歯が立たない。証明が勉強出来てよかった。

5時過ぎから明日の「代数学II」の予習を。代数的に解ける ⇒ ガロア群は可解群の証明を先週必死に付けたが、念のためもう一度見てみた。大丈夫そうだ。その後コーシーの定理（p が有限群 G の位数の素因数 ⇒ G は位数 p の元を持つ）の証明を改める作業。去年まではまずアーベル群の場合に主張が成り立つこと（|G| に関する帰納法を使えば容易）を示して、その後中心だとか正規化群だとか類等式だとか持ち出して、アーベル群とは限らない場合もアーベル群の場合に帰着出来る、とやってたんだが、時間を食う。シローの定理の系としてしまう案はあるが、シローの定理の証明にコーシーの定理を使った可能性もあるので、そうはいかない。で星明考「群論序説」を少し前に眺めてたら短時間で済みそうな証明が出ていたので、それにしようかと。群の作用だとか色々やるが、シロー部分群の存在も示せてしまうのでいい、と読み始める。が、難しいぞ。ああでもないこうでもないといじくり回すと段々見えてくる。で腑に落ちたのはもう9時半過ぎ。それから TeX 打ちしたり、また分からなくなって考え直したりと、11時くらいまで掛かってしまった。まあ難航している時は泊まるのを覚悟していたが、そうは成らなくてよかった。まだ何かそこはかとなく気持ち悪い所があるが、まあ大丈夫そう。ということで個研室を後にする。

寒いな、と思って駐車場に着くと、停まっている数少ない車は全て夜露でびっしょり。で乗ってワイパーを掛けると、ジャリジャリ言う。今シーズン初のプチ凍結。フロントガラスとリアガラスの曇りをとるあれ（分かるよね？）を動作させて、暖房を全開にして車内を暖めた結果、10分も経たないうちに運転出来る状態に成った。外気温は2度。前方の様子を撮るカメラが作動してない旨のメッセージが出た。凍り付くとそうなる。が、数分走ったら大丈夫に成った。やはりうちは高台にあるからなのだろう、国道一号まで降りたら4度に成った。でちゃんぽん亭で暖まってから帰宅。途中5度に成った。まあうちは山の上と言ってもたかが知れてる。一度 APU に行ったが、あそこは大変。高妻さんという整数論の方がおられて、彼曰く雪で途中まで行って諦めて引き返したことがあると言ってた。うちはそこまでは成らないな。逢坂山峠の入り口では3度の表示だったが、車の温度表示では5度だった。まあこんな時間までいるのは暫くやめた方がいいな。9時には帰ることにしないと。

さっき気付いたが、先週の「代数学II」で交代群に関して一つよく分からない所があって、保留にしていた。考えないと。そこはかとなく気持ち悪い所もあるし、また下手したら徹夜だろうか？まあ昨日から今日に掛けてはちゃんと寝てるんで、一日無理するのは大丈夫。ということで何か週に3回くらい無茶してるが。一日ちゃんと（必要以上に）寝て、次の日は徹夜近い、ということね。まあ年内の講義は明日から来週の木曜までだから、後一週間必死にやるけど。もう準備は粗方出来てるので、そこまでやらなくてもいい。ゼミ中に聞かれたことを解決するのに時間をとられる可能性は十分にあるが。あ、何か面倒なメールが2通来てたな。返事しないと。やはり今晩は徹夜でしょうか？

二日続けての会議は疲れる

昨日は2時55分から院生向けの講義。が、時間に成っても学生が誰も来ない。レポート問題は今までの講義の内容で解けるから、もう構わんということだろうか？1分くらい経って一人来て、もう数分経ったらもう一人来たので、まあ始めるかと。一回書き間違いをしたら突っ込んできたので、講義についてこられているのだろうか？まあそれならそれで。昨日は Ostorwski の定理を証明して、それから Q_p の有限次拡大に p 進付値が一意的に延長出来て、その付値に関し完備、ということを示すために、有限次拡大のトレースとノルムの話を少々。トレースは必要無いから、今度やる時は省こうか？あと2回だが、どれだけ学生が来るでしょうか？この前も書いたが、Q_p の有限次拡大が完備であることをきちんと書いた物は見たことが無いのでやっているのだが。まあ誰も来なくてもいいです。こっちとしては大分勉強に成ったので。

4時50分から会議。今年度は学生員という仕事をやってる。でその会議が1時間半程の予定で行われる、と成っていたが、本当に1時間半やった。うちは物理の先生がとにかく真面目で、昨日も沢山発言されて、問題提起もされて、で長かったわけだが。

昨日書いた通り、呑む約束があったので、電話して会議が終わった旨伝えて、急いで帰る。6時半くらいだが、名神は混んでなかった。6時台はいつも混むのだが。で7時ちょい過ぎに住処に着いて、すぐふなごやに向かって合流。京大から何人かお連れに成るかと思いきや、皆それぞれ約束があったり都合があったりしたらしく、お一人で来られた。でお互いの大学の話だったり数学の話だったり Baystars の話だったり。前はよく一緒に日本酒を呑んだが、奥様のご趣味か最近はワインが多いらしく、こちらも店長の趣味でワインが多いので、魚介類を中心に食べながら合う白ワインを数杯。終電近くまで呑んでお開き。JR の駅への近道を教えてあげて感謝された。

火曜の晩は呑まないと、ということで、更に違法販売機（この言葉が面白いと言っておられた）で数本買って、呑み呑み先々週と先週のゴチバトルを見た。面白かった。それからどのタイミングか分からないがダウンした。

今日は4時50分から会議があった。オンライン参加でいいので、4時50分のちょい前に起きて、Zoom を起動させる。が、何やら本題とは別の話題がずっと続いていた。何だかよく分からない話だった。途中で Uber Eats にいつもの麻婆丼と餃子と唐揚げを頼む。いや、厳密に言えば「いつもの」ではない。一軒のお店が二つ看板を出していることがよくあって、いつもの店が一覧に無かったので、その店のもう一つの看板の方に頼んだ。来たものは同じ物だったので、まあ「いつもの」なのだが。届く頃には会議は終わってるかと思ったが、まだ続行中。食べ食べ会議に参加した。映像はオフにしてあるので、大丈夫。

会議終了後もう一度ダウン。「相棒」が始まった声が聞こえたので起きた。いや、見るためでなく、チャンネルを変えるため。ここ数年「相棒」は録画してあるだけで見てない。新幹線移動の時に昔のを見ているが、まだシーズン6。今やってるのはシーズン23。いつ追い付くんでしょうか？いや、見てた年もあるんだが、野球が佳境の頃にシリーズが始まるので、見る余裕が無くてつい溜まっていく。今は「緊急取調室」はちゃんと見ているが。こっちは映画が放映されることに成っていて、それを見るにはちゃんと見ておかないといけないから。「栄光のバックホーム」も見に行くし、色々忙しい。年内の講義はあと1週間ちょい。そしたら少し余裕が出来る。それから行こう。年末年始に実家に帰る時に幾つか録画していくので、そのためのハードディスクの余裕を作ることもするので、忙しい。いや、そんなのは忙しいことに成らないが。もう気付けば12月17日だね。今年の残りは2週間。早いぞ。

あ、月曜日の講義と昨日の講義の後始末をまだしてないな。やって演習担当の先生に報告しないと。眠いから今日は早寝するが、まあ「これ余談なんですけど…」が終わるまでは起きてるので、見い見いやるか。

tsunoさんとふなごやで呑んできました

tsunoさんとふなごやで呑んできました。

ほぼ徹夜状態で線形代数の講義。ゼミは学生がインフルエンザに罹り中止。

生産性の無いことに時間を使ってしまい、超寝不足。ハードディスクからディレクトリー（MS-DOS や UNIX で cd 命令を使っていた世代としては、フォルダーよりディレクトリーと言いたい）を随時コピーした筈なのだが、ファイルの数が合わない。おかしい。どれがどうなってるか目で追うのは大変至難の業。でこういう時は調べればすぐ出てくる。ディレクトリーの中身を比較するソフト（アプリよりこっちの方がしっくりくる）を見付けて、やってみて、であれがあったりこれが無かったり、ファイル名が同じなのに中身が違ったりと、結構根深く、結局ほぼ徹夜状態に成ってしまった。阿呆や。

今日は「数学IV（線形代数）」が1時10分からあるので、急いで出掛ける。居眠り運転だけには注意しないと。で無事着いて、弁当を食べながらメールチェックしたら、講義後のゼミが無しに成った。今日順番の学生がインフルエンザに罹ったらしい。でもう一人の学生は、流石に今から充分な予習が出来ないので、ゼミを無しにして欲しい、と。じゃあ講義が終わったら直帰だな、ということで、USB メモリーを刺さずに、パソコンの電源を落として講義に向かう。

今日の「数学IV（線形代数）」は線形変換の固有値、固有ベクトルの話。春学期に行列の対角化がやってあるので、そんなに大変ではない。しかしそれなりに重たい所ではあり、思ったより手間取った。大体済んだ。来週線形漸化式の話を手短に済ませて、残りの1回半くらいで内積の話を簡単にやる予定。直交化はやらないと。さあ大変だ。

生協の本屋を冷やかしてから帰宅。まだ高速道路は混んでないだろうと思ったが、大津インター近くで例によって小渋滞が始まった。あそこは登りに化ける所なので、速度低下による渋滞が毎度ある。三条通はいつもの通り結構混んでたが、対向車線の渋滞が激しいとむしろ右折で路地に入るのは楽。今日も対向車が譲ってくれて、すぐに入れた。4時半前に帰宅。

Uber Eats に麻婆丼と餃子、としたが、ここはしょっちゅうキャンセルしてくる。もう頼むのやめたろか、と思うんだが、麻婆丼は適度にスパイシーで好きなんだが。仕方ないので、王将に麻婆豆腐とライス中、餃子のセットを頼んで食べた。その後流石に起きていられなくてダウンした。テレビを消してなかったので時々意識が戻ったが、起き上がれなかった。さっき起き上がった。明日は講義と会議の後酒席があるので、今晩はちゃんと寝る。プロレスが終わると3時過ぎだ。見ようかどうしようか。取り敢えずメールに返信してから考える。明後日は短時間の会議がある旨学科長から連絡があった。いつもの調子で呑んだら大変なので、程々にする予定。

「栄光のバックホーム」、いよいよ見に行かないと

ふなごやに着いてみると、車が店の前に停まっていた。お客さんがそこそこいるということだな、と入ってみると、二組いた。最近の人は呑み会をお開きにするのが早く成っている。10時ちょいには二組とも帰っていった。その後お片付けやら何やらを済ませた後にいつもの通り楽しく。結構な時間まで呑んでた。

で例によって今日は結構な時間までダウンしていた。こういう息抜きはしないと。Uber Eats に適当に夕食を頼んで、食べながら前に放送していた横田慎太郎のドキュメントを見て、これはいよいよ映画に行かないとという気に成った。主演の松谷鷹也が先週「徹子の部屋」に出てたが、大学の途中まで野球をやっていて、親父さんはプロ野球選手だったらしい。松谷、ちょっと記憶に無い。投手だったそうだが、肩を壊して野球も大学も辞めたそうだが、今回野球選手の役をやるということで、社会人チームに4か月練習生として野球に励んでいたそうだ。ゆずの「栄光の架橋」を登場時の音楽にしていて、映画でもテーマ曲に成ったらしい。タイトルの「栄光のバックホーム」の「栄光」はゆずの歌からとったのかな。また二条の映画館に行こう。夜の部は終わるのが目茶目茶遅い時間だから、昼過ぎの部がよさそうだ。間宮祥太朗主演でテレビでドラマ化されたのを録画したのも出てきたし、そっちを見てからにしようか。

うちはアメフトが強いが、今日日本一に成ったそうだ。竹田という学生が活躍したそうだが、何と Baystars の竹田祐の弟らしい。兄弟で日本一がいい。来年は祐に頑張ってもらわないと。ドラフト1位だが、初登板は8月後半。そこから6試合登板で4勝1敗防御率1.69と力は見せた。CS でも Tigers 相手に5回2失点とまずまず。来年は更なる飛躍を是非。

無茶をすると翌日に堪える。これからまた無茶をしに行くんだが。

やはり寝不足は堪える。今日は昼過ぎに起きて、昨日の仇で王将メニューを頼んで（今日はニンニク激増しはあって、タレも付いてきた）食べて、でまだ眠いな、ともう一度ダウンして、数時間寝て、とかやってたらあっと言う間に夕方。昨日の「徹子の部屋」のスペシャルで小柳ルミ子の回が流れたが、彼女は出来るだけ寝たくない人だそうで、理由は「どうせ死んだらずっと寝てるんだから」と。大いに共感した。寝ないで済むなら寝たくない。が、そうすると今日のように成るので、起きている時間を充実したものにするには寝ないといけない。まあ独り者のいいところで、仕事や用事が無ければ自分の好きなように出来る。まだまだ無茶はしますよ。

でその後「緊急取調室」を1話見た。面白かった。もう1話見ようかと思ったが、ちょっと月曜日の講義のことが気に成って調べ物。ハードディスクを空けるためにダビングをしながらやろうかと思ったら、その最中に「ブラタモリ」が始まってしまう。ダビング中は録画出来ないので。でさっき終わったので、ただいまダビング中。

さて、無茶は承知でこれから呑みに行く。常連に成っているので、ちゃんと顔は出しておかないと。行ったからには結構呑むんだが。泥酔しないと気が済まない方なんでね。月曜日の講義は大体済んでて、細部はアドリブでも出来るので、大丈夫でしょう。もしくは明日ジタバタするか。ということで寝癖だけ直して出発。

「楕円曲線と保型形式」は漸く保型形式に突入（後2回で終わり）

適当に切り上げて寝る、と昨晩は思っていたが、「代数学II」のノートを見てたらちょっとよく分からない所が出てきた。一箇所は、環とその剰余環と自然準同型写像、というのが事態を混乱させていたので、二つの環とその間の全射準同型写像、と抽象化したらむしろスッキリした。でこれに結構時間を使い、その後可解群の剰余群が可解群である、というのに一箇所分からない所があって、グチャグチャと考えてしまった。剰余群の剰余群、という学生がイメージ出来なくて困っている所があるが、そういうのはイメージ関係無く機械的に出来ないと、と思っていたが、一箇所そういう形式的な議論をやるためにちゃんと片付けないといけない議論があって、で結構こっちもグチャグチャと。まあ何とか成ったが、もう「おはよう朝日です」が始まってしまった。しっかり寝ると講義に遅刻してしまう恐れがあるので、テレビを消さずに仮眠程度にした。それでも11時半近くまで寝床にいたが。

今日は寒いぞ！と「おはよう朝日です」で脅していたが、表に出たら拍子抜け。風が強いの体感気温は0度だのと言っていたが、全然風が無くて、そんなに寒くない。車に乗って見たら、9度もある。ニュースでは今日の最高気温は6度くらいだと言っていたが。まあいいです。その方が助かる。で職場に12時半前に着いて、弁当を買って食して。「代数学II」の細かい作戦を練って出発。

ということで「代数学II」。順調かと思ったら、一箇所交代群に関する補題で分からない所が出てきた。今日で12週目で、残りあと2回しかないから、「後で考えておくので、取り敢えず認めて」として先へ進んだ。S₅ の非可解性などを示して、X⁵－10X＋2 のガロア群が S₅ であることを紹介したらほぼ時間。まあ大体予想通りだな。月曜から火曜に掛けてやったことは来週回しに成ったが、まあ想定の範囲内。

例によってすぐゼミ。「楕円曲線と保型形式」というタイトルの本だが、今日やっと保型形式の節に入った。と言ってもまだ SL₂(Z) だが。アイゼンシュタイン級数の q 展開を求める所でリーマン ζ 関数の正の偶数での特殊値を求める所がよく分かっていないという。鈴木貫太郎氏の動画やらなんやらで、ζ(2) をオイラーが怪し気な方法（sin を無限次多項式と見て解と係数の関係を使うというあれ）で求めたのは知っていたが、一般の ζ(2k) のことは大分前にやったので忘れていた。でセールの「数論講義」やら何やらを個研室から持っていき、見ながらやったが、何かおかしい。そうコブリッツの本で B_2k と言ってる奴が、セールの本だと B_k と書いている。正確には符号を修正して B_k>0 となるようにしているもの。ということでああでもないこうでもないと、相当トラブった。途中で愚かなことをやっているのに気付いた。セールの本とコブリッツの本の定義の違うのを両方同じ B_k とやってるから訳が分からないのだ。片方に ' を付けて少しすっきり。それと、無限級数のまま考えてると大体分からなくなる。Σ を使わず頭の数項を書けば、符号がどうなってるかは一目瞭然。ということで結構長時間紛糾した。まあ片付いたので良かった。等比級数の和の公式は役立つな。で時間一杯やったが、苦戦したため思ったよりは進まなかったが、まあいいでしょう。金曜日は来週と年明けの一回だけ。保型形式は定義出来たし、代数的整数論の本はディリクレの単数定理も Minkowski の数の幾何も出来たのでいいではないか、と。

道路が混んでる時間なので、部屋で月曜日の講義の作戦練りを少々。何か対角化が簡単に終わってしまうが、と思ったら、春学期に行列の固有値、固有ベクトル、対角化はざっとやってあるからだった。月曜日は残り3回（最終回は火曜日に振替だが）。内積もある程度やりたいから、対角化の難しい話は自習ということにしようかと。対角化の応用例として線形漸化式と線形微分方程式の話が出ているが、微分方程式の方は基底が取れることを説明出来ないので、ざっと話すだけにしよう。その代わり漸化式はちょっと話そうかと。テキストの書き方だとわざわざ3項間漸化式の話を難しくしているだけに見えるので、ちょっと違う視点も入れて、4項間、5項間、…、の漸化式にも簡単に一般化出来るよ、と話そうかと。そうしないと線形代数の有難味が出ないからね。

新名神が8時に閉鎖されるのに結構粘って線形代数をやってしまい、草津田上インターに辿り着いたのは7時59分。危ない。無事帰ってくることが出来た。まだ8時ちょっとなので、Uber Eats でよかろうということでいつもの王将メニューを頼もうと思ったが、ニンニク激増し餃子が無く、普通の餃子でもまあいいかと思ったが、開けると餃子のタレが入ってない。まあいいです。「緊急取調室」が来週最終回で、ちょっと先週、今週は講義のことで色々グチャグチャと時間を使って2話溜まってるので、見ようかと思っていたが、「徹子の部屋」の50周年特番が面白くてそっちを見てしまった。途中からだが。野茂がゲストの回の時の映像が流れている時から見始めたが、野茂が滅茶苦茶笑ってるのが VTR を見ている面々には信じられなかったらしい。黒柳徹子恐るべし。黒柳徹子はかなりの野球音痴で有名。星野仙一が「14年（16年？）で146勝だから、金田さんに比べたら大したことない」と言ったら、「金田さんは何勝してらっしゃるの？」と聞いてた。カネヤンの400勝を知らないとは凄い。面白かった。

で明日以降の録画のスケジュールを見たら、明後日以降の番組は「残量不足」で録画出来ないらしいので、何か見よう、ということにして短めのを、と思ったら、運よく先週の「ブラタモリ」があった。30分だしいいだろうと。先々週は安土で、先週は近江八幡。いずれも行ったことは無いが大いに興味のある所。近江八幡は本当に行きたくなった。今は寒いから、もう少し陽気がよく成ったら出向こう。新快速が停まるので、電車は1時間に3本ある。調べてから出掛けた方がいいだろうけど。ロープウェイに乗って城跡にも行こう。調べたら15分に一本で、琵琶湖線より多いぞ。楽しみにしておこう。

眠いな。「探偵！ナイトスクープ」が終わったら寝よう。惰性で見ていたドラマの最終回のようなので、録画しておく。いや、見なくてもいいんだが、続きが気に成ってきていて、先週は放送が無かったので、最後が気に成ってイライラしていたので、明日起きたら見る。それと、「ブラタモリ」は川崎大師を取り上げるようなので、これも見ないと。川崎大師は、小生の実家の地元を走る京浜急行の発祥の地と成った所。初詣に行こうと思わないでもないが、凄く混雑するそうで、まだ行ったことは無い。兄者とお袋は一度行ったと言ってたが。初詣の混雑じゃない時期に一度行ってみよう。行きたい所ばっかりだ。柴又の帝釈天も乗り換え一度で行けるし、行きたい。いや、京都、滋賀にも行きたい所目白押しだぞ。忙しいな。酒も呑みたいし。人生は短い、コーヒーにブライト、ってところだな。

寝坊してベルトを締め忘れて出掛けてしまった

そこそこ早目に寝たが、やはりまだ疲れが残っていたか、今朝は11時半近くまで起きられなかった。寝癖が酷いのでシャワーをチャチャと浴びて急いで出勤。弁当を買って個研室に着いたのは12時28分くらい。面談の約束は半から。急いでノートパソコンの電源を入れたが、この前もだが何か調子がよろしくない。1分くらい約束の時間を過ぎてしまったが、まあいいでしょう。苗字が同じだと似ているのでは、と思ってしまうが、出てきた顔は想像と大分違っていた。足立先生の仰る通り、その顔とその名前が関連性があるわけはないので、まあ当然。この前と同じで、特に思い詰めている学生ではなく、まあよかった。これで面談案件は終了かな。いや、まだ返事をくれてない学生がいて、今頃に成って2件やったから、まだあり得るかも。で弁当を食べて1時10分からゼミ。

今日は円分体の性質を使って平方剰余の第1補充法則、第2補充法則、相互法則を導く話。が、予習に色々問題があって、結構手間取った。「同一視」と言う言葉を使うからには、どういう対応が付いてるか分かってないと。そういう所をちゃんとやらないで格好のいいことをやれるわけはないがな。ちょっと厳しくしておかないと。忙しいのは分かるが。今日が終わって講義は各曜日残り3回ずつ。何か中途半端で終わりそうなのが複数あって嫌なのだが。まあその辺は腕の見せ所だ。適宜ギャップは残して、大筋だけでも掴ませてあげた方がいいかもな。

でちょっと早目に終わったので、代数学IIのレポートをちょっと点検してから web に上げて。それから講義の作戦練りを幾つか。ノルムとトレースの連鎖律の証明は無理。付値に関して完備な体の有限次拡大に付値が一意的に拡張出来る、というのは割とちゃんと書いてある本があるが、その延長で拡大体が完備に成ることちゃんと書いてある物を見たことが無い。「位相が同じだから」とか「有限次元ベクトル空間に入る位相は本質的に同じだから」とかボヤーっと書いてある。岩澤先生の「局所類体論」を読んだ時も難渋した。数年前に徹底的に考えて、ちゃんとした証明を付けられたと思うが、結構ゴテゴテしている。距離空間の間の一様同相写像とか、距離関数が一様同値とか。この二つを書いてあるのは調べた範囲では松坂和夫「集合・位相入門」だけ。完備性は同相で保たれないのだ。例を挙げてください。簡単な例があります。ヒント：完備な距離空間の部分空間が完備である ⇔ 閉集合。でそんなこんなで9時半近くに個研室を離れた。

駐車場が遠い。寒いからではない。今日は全然寒くないと車に乗って見たら、13度もある。何故駐車場が遠いかと言うと、ベルトを締め忘れて来たから。昨日洗濯をして、今朝慌ててズボンを履いて出掛けて、で締め忘れた次第。最初は洗濯後なので縮んでるからなのかそんなに緩々ではなかった。が、段々伸びてくるのか、帰りは結構緩かった。講義が無かったので助かったが。さっき急いでベルトを通した。もう寝巻に着替えるのだが、明日の講義にベルト無しだと悲惨なので締めておいた次第。

明日は雨が降るとか寒いとか言ってたが、今スマホで見たら天気予報そんなに悪くないぞ。講義をやる時分は降らないということだろうか？ならいいけど。帰りは多少我慢してもいい。いや、帰りに寒いと大変だから、寒くは成らないでは欲しいが。1月の講義が去年より一回ずつ少なく成ってるのは助かるな。1月は凍結注意のランプが光って怖い。が、一回ずつ少なくなったということは、年明けの講義は各曜日一回ずつということだ。それはそれでモチベーションが上がらないが。定期試験の採点と例の業務が重ならずに済むので、助かると思う人は多いだろう。卒論の指導やら修論の指導やらもある人はあるし、教務委員だと数学の全科目のシラバスに目を通すとかいう訳の分からないこともやらないといけないし。来年度はやらないといけないのか。やなこったな。来年度はM2がいる。うぉー。

寝不足の次の日の飲酒は堪える。一日中眠かった。

昨晩はその後ガロア理論の見直しはしなかった。TeX 打ちはしたんかいな？と思って起きてから見ると済ませていた。酔うと色々怪しいね。「徹子の部屋」もまだ見てないし。先週の「座王」は見た。武将様弱い。まだ酒は残っていたが、ダウンした。

テレビを消さないで寝たので、眠りは浅かった。昼過ぎに一旦起きて、カップ麺をすすりながら日曜日にやっていた「ミラクル9」の傑作選とアニメを見て、でやる気が起きないのでまたしても寝床へ。YouTube を見たりして、どうでもいい時間。案の定何度か寝落ちした。目が覚めてメールを見ると、何件も来ていたので、起きて返事を書いて。で見るともう夕食にしてもいい時間。今日は豚カツだな、と思って松のやのメニューを見ると、ロースかつ＋海老フライ1尾よりロースかつ＋海老フライ2尾の方が安くなってる。3割引きだとか書いてあった。これはそっちでしょう、と頼んで。でグダグダやってたらまた眠く成ってきた。睡眠不足の晩に飲酒して、眠りが浅くて、と、ロクでもないことをした報いだ。明日はまたしても面談の約束が出来てしまったし、ゼミの前に職場でやらないといけないので、残ってる酒は呑まずに早目に寝よう。

そうそう、昨晩メールをやり取りした中で、「自明群論研究会」なる web ページの存在を教わった。見るとどうでもいいことが書いてある。こういうのを真面目に論ずる人は何なのだろうか？0で割ることを真面目に議論してる人がいたり、1は素数だと主張する人がいたり。1＋2＋3＋…＝－1/12 ってリーマン ζ 関数の解析接続した式に s＝1 を代入して弄んでるだけかと思っていたが、「笑わない数学」を見ていたら、まだそんな概念の無い頃に真面目に議論していた人がいて、その人達が得た結論だそうだ。1－1＋1－1＋… みたいなのも真面目腐って議論していて。いいんだけど。「自明群論研究会」の主催者は真っ当な数学者だ。暇なのだろうか？いや、一番暇なのはこんなブログを書いてる奴だという説はあるが。言われないようにこの辺にしておこう。

ガロア理論の問題点は本当にどうにか成った、と寝不足の酔った頭では思っているんだがどうだろう？

昨日のタイトルが「どうにか成りそう」だったが、何かそこはかとなくおかしい。で結論は間違ってる、ということに。で一旦放り出した石田信先生の「代数学入門」（実教出版）をもう一度取り出した。いや、職場で読んでた本と住処で読んでたのは物理的に違う個体なので、もう一度は嘘だが。まあ細かいことは兎も角。何かちょっといじればいきそうな感じ。が、何か色々分からないことがあって難渋。地震のニュースも気に成ったりで、中々思うように成らない。4時55分に通常より5分早く「おはよう朝日です」が始まって、でそっちを気にしたり数学を気にしたりで、限界が訪れた。ちょっと休憩、のつもりで YouTube を見たが、何度も寝落ちした。「こつあず鉄道チャンネル」とかいうのがあって、前に見たからなのかチャンネル登録をしてしまったのか分からないが、よくお奨めリストに上がってくる。実家の近所だったり住処の近所だったりの話題もよく出るのだが、全然知らない所が話題に成ると見るのを中断して、そうすると寝てしまう。が、スマホから音声が出続けていて、テレビも消してないので、眠りは極めて浅かった。11時過ぎに起きて、続き。さっきより分かってきた。

が、12時半から学生と Zoom で面談の約束があるので、中断せざるを得なくなった。面談の前って、滅茶苦茶考え込んでどよーんとしている学生が相手だったらどうしようか、と思い悩むが、実は結構明るい学生だったり、そんなに深く考え込んでいる相手じゃなかったりして、拍子抜けすることが多い。今日の学生もそうだった。まあエネルギーを殺がれるよりはその方がいいです。15分掛からずに終了。でもうちょっと数学をやって、1時ちょいに出掛ける。火曜日ははま寿司、というパターンが多い。少し待たされたが、ピーク時間は過ぎていたので、10分くらいかな。職場に2時15分くらいに着いたが、個研室で続きをやると講義に行きたくなくなりそうなので、閉店した食堂でドーピングをしてから生協の本屋を冷やかす。またしても買いたい本があった。もういい加減蔵書を減らす方向にいけないのだが。また数セミの発売日にまとめて買う。

で講義室に開始7、8分くらい前に行ったら、女子学生が一人待っていた。先週はいなかったが。暫くしたらもう一人来たが、ドアを開けた瞬間躊躇っていた。誰もいないと思ったのだろうか？2時55分のチャイムが鳴ってもその二人だけで、誰か来たら始めるし、誰も来なくても3時に成ったら始める、と宣言してしばし待つ。潜りの4回生が来るかと思ったら来なかった。で Z_p が点列コンパクトなのを示してから振り返ると、5人くらいいた。が、件の4回生は来てなかった。もういいや、とフルスロットル。今日はフルタイムで位相空間。連結であるということを定義して、R に通常の距離位相を入れた時に連結であることを示して、Rⁿ は連結であるということを紹介して、Rⁿ の開集合では連結と弧状連結が同値であるとか紹介して、Q_p が完全不連結であることを証明。連結成分の定義とかもちゃんとしたよ。学部4年生（こっちでは4回生というが、早稲田は東京の大学なので、4年生と言うことにする）の時に岩澤健吉先生の「局所類体論」を読んだが、初回にこの事実が出てきて、何も分からず呆然としたのを覚えてる。位相が1コマ分丸々続いて学生は嫌だろうが、気にせず話す。寝不足だとハイなので、余計なことを口走ってしまう。「イメージが湧かないとかいうのは駄目。形式的に議論出来るのが大事。何かに当てはめる時はイメージは大事だが、一般位相をやる分にはイメージはいらない」という趣旨のことを言った。20年以上前だが、院生 S 君と S 君に「ふーみんは何でそんないでかいん？」と言われていた学生がいたが、「ふーみん」は数学にイメージはいらないんだ、と言っていて、S 君がそれに対抗して「IOM」という謎の団体を立ち上げてゼミをしていた。「IOM」とは「image of math.」という英語だか何だか分からないフレーズだが。えーと。位相は今日で終わりで、来週は Ostrowski の定理を示して、Q_p の拡大に付値を延長したりとかそういう話に突っ込む予定。

今日は教授会があるので、直帰せず個研室でパソコンを起動。型通りの報告事項が続いていたが、何か凄いページ数のあるものを副学部長が説明していた。こんなの読んでるんだろうか？それとも事務の人が要点を掻い摘んで説明してくれるんだろうか？だとしたら事務の人は読んでるんだろうか？いや、これを打ちこんで書類にしてる事務の人がいるということだな。考えるだに気色悪い。教務委員や学科長でウンザリしている小生にはとても務まらない。つくづく無能でよかったと思う。でそんな凄い話があったのに、教授会は20分ちょいで終了してしまった。何かあほくさい。

高速道路も一般道も渋滞真っ只中という時間に成ってしまったので、数学の続き。大体出来たんだが、そこはかとなく気持ち悪い。いや同型だからさ、と思うんだが、気持ち悪い。このままエンドレスで続けてもいいんだが、昨日から新名神が8時を過ぎると通行止め。新名神が通行止めということは、草津田上インターも当然封鎖で、瀬田西から名神に乗るのは色々あって嫌だ、ということで7時半前に個研室を後にした。フォレストハウスの近くに車を停められたので、あまり歩かず車に乗れた。そんなに寒くないし、凍結は心配無し。

車に乗る前にそこはかとなく気持ち悪いことの解決策を思い付いた。ワクワクしながら帰ってきたが、腹が減ってる。コンビニエンスストアに夕食を買いに行って、食べてから数学。おぉ、という感じだったが、書いてるうちにまたしてもそこはかとなく気持ち悪いことが起きた。むぅ。で白い紙に書いてるうちにまた新しいことに気付いた。そうだ！という感じ。今度こそ大丈夫そう。石田先生の本で一箇所変だと思った所は変じゃないんだ。いやー、ほんの数日だが長かった。Wiles は7年もこれ以上のことをやってたんだな。考えられない。まあでも、久々にちゃんと数学をやった感じ。最近の研究は、ちょっと計算して、コンピューターに計算させて、そこから条件に合うのを引っ張り出して、みたいなことしかしてなかったから。たまにはこんなのもいい。「たま」じゃなくこんなことをしている人は凄いな。

ということで呑んでるわけだが。明日は映画にいけないな。今日の「徹子の部屋」のゲストは「栄光のバックホーム」で主演を務めた俳優だという情報を仕入れたので録画しておいた。頭10分弱見たが、元々高校球児で、親父さんはプロ野球選手らしい。大谷翔平と高校野球の東北大会で対決したこともあるらしい。録画してあるので後で見る。明日はゆっくり寝よう。が、明後日の5時までにやらないといけない仕事がある。ゼミの終了が4時半で、先週のように延長されると大変なので、これからやるかそれとも明日やるか。

ガロア理論の問題点はどうにか成りそう

起きたら11時半過ぎ。もう10時半のアラームは鳴らさないようにしようか、と思ってるんだが、結局そのままに成ってる。シャワーを浴びて急いで行けば十分昼飯を食べる時間はあるからな。まあもうちょっとそのままにしておくか。

で残り少ない弁当を買って店の人に感謝された後、講義へ。月曜日は「数学IV（線形代数）」。今日は表現行列の話の続き。線形写像で写す前のベクトルの座標と写した後のベクトルの座標がどう関係しているかとか、線形写像が単射（resp. 全射）なのと、表現行列から定まる数ベクトル空間の線形写像が単射（resp. 全射）なのが同値とか。で最後に基底を変えると表現行列がどう変わるかを示したくらいで計算通り時間に成った。来週一回で対角化をやり切る、という無謀なことを考えてるが、どうだろうか。戦略の細部は後程練る。

例によってすぐゼミ。今日は幾つか Mordell 方程式を解いて、その後整数環が Z[√－d] でない場合。証明はガッツリ略されてるが、ちゃんと付けてきてた。頑張っとるな。d＝3, 7, 11 の時に整数環がユークリッド整域であることを示した辺りで終了。素数の分解がルジャンドル記号で分かるというのの前に終わり、来週はそこから。類数1でない場合がどれくらい出来るでしょうか。素因数分解の一意性の成り立たない世界がある、というのを知って卒業出来ると嬉しいでしょう。5時半前に終了。

その後部屋で代数学IIのことを。最初に見た本は「1の冪根が充分に含まれてると仮定して証明する」と成っていて、「一般の場合は省略する」と成っていてガッカリ。次に開いた本は、やはり1の冪根を充分に含んでると仮定していて、「そうでない場合は～を見よ」と成ってて、またしてもガッカリ。次に開いた本は「係数を数値でなく文字と見て “一般多項式” を考えるので、1の冪根が充分含まれている場合に考えればよい」と成ってて、またまたガッカリ。Q 上に代数的に解けない5次式があるのを見せたいのだが。で一冊ちゃんと書いてる本を見付けたが、ちょっと用語の定義が違っていて、修正するのに難渋してギブアップ。でやっと見付けた。大筋は分かった。が、もう9時半だったので、帰ることにした。10時を過ぎると飯屋が夜間料金を徴収する時間に成ってしまうし、道路工事も始まってしまう。ですき家でカレーを食べた。注文したのが10時前なので夜間料金は取られなかったが、もう道路工事が始まってる時間で、石山で一箇所、山科で一箇所工事をしていた。

帰ってきてしばしボーっとしていた。で「過ぎるTV」が始まって暫くしたらニュース速報。東北で震度6強の大きな地震があったとの情報。津波注意報が出たということで「過ぎるTV」は途中で終わりで、今アナウンサーが絶叫している状況。その後津波注意報が発令されて、11時半に3mの津波が、と言う情報だが今11時半くらい。大丈夫でしょうか？今日は「コント・デ・ンガナ」もプロレスも休止だろうか？大きな被害が出ないといいですけど。

何もしてない一日

ふなごやの店主達は「栄光のバックホーム」を見てきたそうだ。いいらしいです。見に行くつもりではいたので、近い内に。早ければ今週の水曜日にでも。で例によってワインを数本。相当酔った。夜9時くらいで5度と結構寒かったが、店を出る頃の外気温は1度！冬本番に成ってきたな。住処まで5分弱だが、堪える。

で数日寝不足が続いてて、さらに呑んだものだから、かなり遅くまで寝てしまった。ということで一日何もしてない。まあこんな日もあっていいです。代数学IIの瑕疵は明日以降一生懸命考えて直す。が遅くなると凍結云々が心配に成る時期なので、少し早目に職場を出ることにしよう。

中島匠一「代数方程式とガロア理論」は面白いぞ

寝不足だが呑みたい、ということで、セブンイレブンで一缶買って、それから違法販売機でいつもの量。売り切れなくてよかった。で呑み呑み「緊急取調室」を、と思ったのだが、来週中に済まさないといけない案件が幾つかあるので、そちらを片付けた。酔っ払ってたけど、まあ大丈夫だろうと。念のためもう一回ちゃんと見た方がいいかな、という気はするが、まあ前にもざっと目を通して、昨晩が二回目だから、もう一回は軽くで大丈夫だろう。でいつの間にかダウンしていた。

昼過ぎに目が覚めた。テレビを消してなかったようだ。「ようだ」というのが怪しいが。で起きて Uber Eats にマクドナルドのハンバーガーを頼んで食して、でちょっとここ数日嫌な感じだったのが晴れて、楽に成った。今晩も呑んでも大丈夫だな、ということでこれから行くが。「代数学II」のまずい所はまた明日以降直す。ちょっとだけ中島匠一「代数方程式とガロア理論」を見たが、面白い本だ。中島匠一さんらしい書きっぷりで、読んでて何度も吹き出した。じっくり読んだらさぞや面白いだろう。垣田高夫先生だったか寺田文行先生だったか言ってたが、薄い本よりも厚い本の方がいい。痒い所に手が届いたり、例が豊富だったり。これは垣田先生が言ってたんだが、「本を読んで分からない場合は、半分は書いた人の責任」だそうだから、まあ気楽に構えていいでしょう。高木貞治の本を理解出来ないのは小生のせいではない！

ふなごやに行く前にガソリンを入れてくるか。「ガソリンを入れる」は字義通りで、酒を呑むという意味ではないです。月曜日に職場に向かっててガス欠とか成ったら洒落に成らんから。まあ残量がある程度のところで警告を出すのだろから、片道くらいは大丈夫だろうけど。念のためね。たまにはセルフじゃない所で入れてこよう。ということで行ってきます。

週6日出勤は疲れた

寝な、と書いておきながら例によって結構な時間まで起きていた。横に成ったが、4時間もせずに目が覚めてしまった。む。はま寿司で食事をしてから行くか、と思ったのだが、またウダウダとつまらんことをやってしまい、シャワーを浴び始めたのが10時半を結構過ぎていて、はま寿司に行くと混み出す時間なので、職場で弁当を買って済ますことにした。

1時10分から「代数学I」。任意の体（標数0は仮定している）に1の冪根を添加したら有限次ガロア拡大であること、ガロア群から Z/nZ の乗法群に写像があること、を先週示したので、今日はその写像が単射準同型写像であることから。でその後下の体を Q にして、n を素数にして、という話。この場合は割と簡単。素数じゃなくても OK と言っておいた。結構難しいよね。それから最大実部分体を紹介して、で7乗根の場合を詳細に調べて、で例は終わり。その後クロネッカー・ウェーバーの定理だとかガロアの逆問題（inverse Galois problem だから、逆ガロア問題と言う人もいる）のことを紹介して、でメインディッシュは大体終わり。3次方程式と4次方程式の解法を教えてあげて、どっちも役に立たないことを例示して、で大体時間に成った。来週は5次方程式の代数的非可解性をやるが、一箇所致命的なミスがあるので、1週間で直さないと。

3時過ぎにゼミ室へ。この前ディリクレの単数定理の証明までやったので、今日は単数規準を定義して、実二次体の基本単数がどうしたとか判別式が負の三次体の基本単数が何だとか。実二次体は色々知っているので、マニアックな話を幾つか教えてあげた。三次体の方はアルティンによるものだが、何度聞いても訳が分からん。あんなのでどうして基本単数が求まるんだろうか？で例が沢山あったが、途中で例は放り出して、ミンコフスキーの数の幾何の話を始めた。何か凄い積分が出てきたり、フーリエ展開が何だとか出てくるが、学生が凄くて、「ルベーグ積分の意味で可積分」とか、L² ノルムがどうしたとか、閉集合だからどうしたとか、凄くちゃんと読んできて説明している。もう一人の学生はコブリッツの「楕円曲線と保型形式」を読んでるが、こっちも解析が目白押し。二人共解析は強いようだ。いいですね。4月から他の大学の大学院に行ってしまうが、どちらも心配無さそうだ。で原点以外の格子点が存在するという例のあれまでやって、6時少し前ま終了。

それから講義の後始末を少々。Web に上げる問題にミスが無いかどうか確認して、で上げてから月曜日の講義の予習を少々。基底の取り換え行列がどうしたとかそういう話で、グチャグチャ計算しているだけだ。学生は嫌だろうな。こっちも楽しくないけど。表現行列が Q^－1AP に成るという所までやればまあ終わるかな。もう残り回数は少ない。行列の対角化の話をちゃんとして、内積の途中で終わり、という去年と同じパターンに成りそうだ。折角複素内積を書き足してくださったのに申し訳ない。まあ2回生でも線形代数の講義はあるし、それに大学は教わってないから知らないが通用しない所なので、自習してください。で何だかんだと9時過ぎまでいた。

ちょっと外で食事をしたくない事情があったので、正門を出てすぐ左折して高速道路へ。全然混んでなかったので、スムーズに帰ってきた。寝不足だが眠くは成らなかった。ただちょっと集中力が欠如してたかという気はするが。「給油してください」とメッセージが出ていたが、京都東インターを降りた後に10時過ぎでやっているガソリンスタンドを探すのも嫌なので、明日か明後日給油すればいいやということで、今日はおしまい。

今週は日曜日に職場に行って、水曜日は健康診断のために行ったので、週6日大学に行った。こんなのは久し振りだ。明日と明後日は阿呆に成る。月曜日以降は金曜日の講義の直しだとかレポート問題だ試験問題だとやることが色々ある。この時期は結構忙しい時期だ。また2月に成ると色々あって大変だが、幸い今年は M2 がいない。だからまあ例の業務以外は大きな用事が無いので、平和に過ごせるでしょう。来年度と再来年度はちょっとまた面倒なことをしないといけなくなったので、今年度中にやれることはやっておかないと。来年度は久し振りに線形代数関係の講義をやらない。線形代数の本は結構買ったが、本棚にしまうことにしよう。まあそれは来年の話。鬼が笑うのでこの辺にしておこう。

藤崎先生の頭の中はアーベルに成っていたか？

またしても結構遅くまで起きていた。クロネッカー積を勉強したかと言うとさにあらず。またしてもどうでもいいことをしてしまった。で今朝は起きたら11時半を回っていた。急いで出掛ける。弁当を買って食べるくらいの時間はあった。

ゼミは1時10分から。円分体の整数基の決定と判別式の計算などから。学生もクロネッカー積のことはちゃんとは分からなかったようだが、まあ例を計算して納得したからいいかと。小生は諦めずにまだやる予定だが。その後選手交代してクロネッカー・ウェーバーの定理。一番最初の補題に間違いがあった気がしたが、ガロア拡大では駄目な筈で、アーベル拡大でないと、と思ったが、アーベルでない場合の反例がすぐ作れないので、アーベルだとしておいて先に進む。でこの補題を使う時はアーベル拡大の場合に使っているので、議論に瑕疵はない。ヒルベルト理論やら有限群の知識（シローの定理とかアーベル群の基本定理とか）を使うので難しいが、大体理解出来た。学生がちゃんと準備しているのと、本の理論展開が巧みであることもある。勉強に成った。が、1時間近く延長した。証明を始めたのが本来のゼミ終了時間の15分くらい前だったので、出来るわけないと思ったのだが。まあもう一人の学生もいいと言ったからいいでしょう。前に石田信先生の本をゼミで読んでる時にもよく分かった気でいたが、大分感じが違った。その時の学生も優秀な学生だったから、証明の構成を自分で組み直して話してくれたお陰でよく分かった。充実した時間でした。

その後個研室で上に書いた反例探し。素数が一個しか分岐しない非アーベルなガロア拡大を探さないといけない。まあ S₃ 拡大でしょう、S₃ 拡大と言えば純三次体のガロア閉包でしょう、ということになるが、純三次体では3が必ず分岐するので、Q(3^1/3,√－3) を考えるしかない。すると主張が成り立ってしまう。む。さあどうしたもんかと証明を読み直したり、いや、ヒルベルト理論が分かってないんだと本の前の方を見たり。何かよく分からない。で閃いた。LMFDB を見れば素数が一つしか分岐しない S₃ 拡大なぞ幾らでも見付かる。で判別式が －23 の三次体を見た瞬間に力が抜けたというか敗北感と言うか。まあいいです。で SageMath でガロア閉包の判別式を求めたら、ちゃんと23の冪に成っていた。(23) の素イデアル分解もお茶の子さいさい。勿論手計算でもある程度確かめた。x³－3x－1 の判別式は －23 と square-free なので、23の分岐はクンマーの定理から容易に従い、分岐指数と相対次数に e＝e'e"、f＝f'f" という関係がある（何を言ってるか分かるよね？）ので、ガロア閉包での23の分解の形も容易。で中間体が惰性群に含まれてるかどうかは分岐指数を見れば分かるので、すぐ結論が出た。ほら、惰性体は Q の不分岐拡大じゃなかった。頭の中がアーベルに成ってるとしそうな間違い。さしもの藤崎先生といえどそうだったのだろう。お陰で勉強に成りました。その後ちょっと明日の講義の資料を眺めたら、クロネッカー・ウェーバーの定理を紹介することに成っていた。丁度良かった。来週から5次多項式の非可解性に入れそうだ。

ということで9時過ぎまで職場にいた。すき家でカレーを食べて帰宅。昨日はココ壱番屋でカレーだったな。まあいいです。寒い時は温かくてスパイシーなものを食べないと。外気温は5度の表示。まだ凍結注意の警告は出ない。瀬田川大橋と逢坂山峠の入り口では3度と成っていた。こちらも凍結注意がもうすぐ出そうだ。気を付けないと。

そうそう、一つ思い出したことがある。頭の中がアーベルに成っている件とちょっと違う件だが、有限体の拡大って一直線に並んでる（何言いたいか分かるよね？）と思いがちだがそうではないという話。昔後輩がコンピューターに計算させていたが、F₂ 上定義された曲線の F₄ 有理点の個数より F₈ 有理点の個数の方が少なくて、うぉー、と成っていた。その件を別の人から聞いたが「何も変じゃないんだよ」と言われても暫く分からなかった。でとんでもない勘違いしていたのだ。F₈ は F₄ の拡大体じゃないです。[F₈：F₂]＝3、[F₄：F₂]＝2 なのでね。4｜8 だから勘違いする、ということだった。他にも色々勘違いしていることはあるだろう。気を付けないとな。昔読んでた論文に別の論文の証明が間違っている、と書いてあったが、その論文では「n｜ab ⇒ n｜a または n｜b」を n が素数じゃない場合もやってるらしい。そんな論文が載った journal は恥ずかしい（忘れたが、結構いい journal だった記憶がある）し、referee はもっと恥ずかしい。まあ匿名でやってるので責任は問われることはな無いが、大いに反省していただかないと。実は代数学IIで去年までやっていた証明に一箇所嘘があったことを気付いたので、急いで fix しないとと思ってるが、まだやってない。来週か再来週にはしないといけない話。やらないと。人様のエラーについて偉そうに言える現状ではない。ちゃんとしないと。用事が溜まってるので、一個ずつ片付けないと。取り敢えずすぐ済みそうな事務作業からやろう。寝不足はいけないので、程々にして寝るけど。

健康診断は無事終了。無事かどうかは結果に依るが。

「ロンドンハーツ」は下らないのだが、つい見てしまう。結局昨晩も見てしまった。が、「テレビ千鳥」は流石に眠くて起きていられなかった。一応録画してあるが、見るでしょうか？で今朝は10時半前に一旦目が覚めたが、やはり眠い。徹夜に近いことをやったら、12時間近く寝ないと。で最終的に起きたのは1時半くらい。シャワーを浴びてから急いで出発。

職場に着いたのは2時半近く。3時から健康診断だが、問診票を記入しないといけなかったり、色々やることがあるので飯抜きで。で2時50分くらいに受付場所に行ったが、「もう少し時間があるので、待ってください」と言われた。見ると椅子の手前に「2時45分～3時の方」と書いてあった。3時からと成っている人は本当に3時に成らないと受け付けてもらえないようだ。で3時きっかりに成ったら受け付けてくれた。結果はまずまず。視力が去年より良くなっていて、腹囲が去年より大きくなっていて、血圧はまずまず。血液検査は、小生贅肉がタップリ付いているので血管が出づらく、針を刺されたままグリグリされたり、一回抜いて刺し直したりというのがよくあるが、今日の人は一発で血管を見付け、ちゃんと血が出てきた。素晴らしい。細かいことは後日結果が送られてくるので分からないが。結果を印刷した物を送ってくれるのは今年度までで、ペーパーレスのご時世ということで、来年度からは自分で pdf を見るなり印刷するなりしないといけないようだ。まあ保険の契約だのなんだの言う時に保健センターに再発行をしてもらわないといけないので、その方がいいかな。3時半過ぎに終了。

菓子パンを一個自販機で買って食べてからクロネッカー積の勉強。昨日職場でちょっと google 先生に頼ったら、ラプラス展開と言う言葉で余因子展開をさすこともあるようだが、必要なのはそっちじゃないので、金子晃先生の線形代数の本を数年振りにひっくり返して、定理の意味するところを勉強。で4次の正方行列の行列式を計算してみて、コンピューターに頼って合ってることが確認出来て、ラプラス展開は分かった。で肝心の正方行列二つをクロネッカー積した時の行列式の公式の証明を高木貞治「代数学講義」に出ている証明を理解しようとしたが、何書いてんだかさっぱり分からん。高木貞治の本は全般的に読みづらい。専門用語が今と違うこともあるし、「初等整数論講義」も「代数的整数論」も今風の代数の言葉が使われてなくて、難渋したのを覚えている。「代数学講義」もまた然り。具体例を調べたりして、ちょっとだけ分かってきたが、まだサッパリ。具体例の計算で全然一般化出来なさそうで、9半近くまで粘ったが諦めて帰ることにした。帰ってから考えようということにした。明日のゼミは1時10分からなので、そこそこ夜更かししても大丈夫なので。ココ壱番屋でカレーを食べて帰宅。

今日は寒くなるぞと脅されていた。健康診断は隣の建物でやるから、まあ薄着でいいだろう、と思ったが、レントゲン撮影のために屋外に出ないといけなかったり、保健センターに行くのに表を歩かされたりと、薄着で行ったことを後悔した。帰りは風が結構吹いてて、結構寒かった。車に乗って外気温の表示を見ると5度。うむ。瀬田川大橋と逢坂山峠の入り口の温度計は3度をさしてた。こりゃそろそろ凍結注意のランプが光るな。今まで冬タイヤに履き替えたことはない。積もる程の雪が降るのは年に一度か二度だし、凍結も早目に帰れば問題無いので。長期予報の結果に依るが、一度トヨタの人に相談してみるか。

さ、もうちょっとしたらクロネッカー積と格闘するぞ。

何故健康診断が近いのに無茶するかね？

水曜日が健康診断の日や、言うてるのに、昨晩はうっかり呑んでしまい、挙句あまりちゃんと寝てない。いけないな。まあ今晩はタップリ寝るのでいいでしょう。健康診断の時間は遅い時間（3時）にしておいたし、相当寝られる。血圧の薬を服用し忘れないようにだけしておかないと。

今日も遅い時間からで、会議が無ければ火曜日の用事は2時55分からの講義のみ。で例によってはま寿司へ。河豚とかマグロの中トロとか車海老とか、そそられるメニューが多い。少しページをめくったら、何と大トロまである。つい調子に乗って食べてしまい、気付けばあっと言う間に2000円を越えていた。まあ前に比べると単価が上がってるからね。1628円食べて、もう100円食べればよかった（単価が税込み100円のものが無いので不可能だが）と思ったのは遠い昔。

職場に2時40分過ぎに着いた。講義室は真っ暗。初回は終了のチャイムが鳴っても、暫く先生と学生（皆外国人だった模様）が暫く何やらしていたが、最近は早目に終わるのだろうか？知らんけど。で読書をしていたら学生が一人入ってきて、何やら尋ねている。彼はマスクをしていたのでよく聞こえなかった。聞き返すと「今日はオンライン講義でしたか？」と言っていた。他に誰もいなくて不安だったのだろうか？「いいや」と言い返して数分経ったらもう一人入ってきた。チャイムが鳴った時に部屋にいたのは3人。関係者が一人も来てないので、2分ばかり待ったら一人来た。他の二人はどうしたのだろうか？まあいいや、始めるか、ということにした。この前は p 進の exp をやったので、今日は log から。で exp と log を使って Q_p^× の構造を調べたり、前にヘンゼルの補題を使って示した p 進単数が平方数であることの特徴付けの別証明を与えたりとか。大体紙数枚持っていくが、めくったらもう最後の紙。え？と思って時計を見ると、まだ結構時間がある。うむ、早く終わり過ぎるか、と思ったが、一箇所変だと思しき所（変じゃなかったが）があったので、丁度いいくらいまでやれた。来週からコンパクト性が何の連結性がどうのとやるんだが、予定より少し早いな。まあいいけど。でコンパクトという言葉を定義したが、まあ大半の学生（と言っても数名しかいないが）が沈没してるだろうと思われる。前に院試でコンパクトの定義が分かってれば即答出来る問題が出ていたが正解者0で、出題者が驚いておられたというか呆れておられたというかそんなことがあった。質問すると皆中空に丸を書いていたが、要するに「任意の開被覆から有限な部分被覆が取れる」という意味が分からないのだろう。幾つか定理の証明を読めばすぐ納得出来るレベルのことだと思うが。連続と一様連続、収束と一様収束の違いもどう証明で差異が効いてくるかを定理の証明を読んでみないと実感出来ないと思う。まあ解析だと（と言う程解析を知らんが）コンパクト＝有界閉集合、もしくはコンパクト＝点列コンパクトなので問題は無いのだろう。

その後部屋で講義資料の直しを少し。一箇所 4 が 2 に成ってる所があったので直して、もう一箇所書いてないことがあったので足そうと思ったら、そんな単純なことではないのに気付いた。何故任意の素数でなく 2 にしていたのか気付いていなかった。－1 と 1 が合同なのは mod 2 だから、という大変重要なことを見落としていた。危ない。今まで気付かなかったのはちょっとやばいな。気を付けないと。その後高木貞治「代数学講義」で行列のクロネッカー積のことを調べる、の筈だったが、うっかり「代数学II」のノートを読み始めてしまったり、もう読まないだろうと思しき論文からホチキスを外して計算用紙に回したりと、現実逃避ばかりやってた。いけないな。ちょっとだけ「代数学講義」を眺めたが、行列式のラプラス展開を使う、というのは大体想像通り。ただラプラス展開を分かっていないので、明日の健康診断後に勉強することにして帰ることにした。既に8時半。

車に乗る前にカフェイン含有の飲み物を飲んでおいた。ジハンピアプリで買えるのでいい。思いっ切り渋滞してると退屈で眠く成るかもしれないし、かと言って全然他の車がいないとやはり眠く成るという恐れがあるが、そうならないくらいの程々の車が走っていた。9時過ぎに帰宅。

先週の「座王」を見たら、正月2日にまたしても全国版をやると告知してた。いつも全国放送すればいいがな。放送してない地域でも Tver で見られるので、関東の芸人は見ているようだ。「相席食堂」も関西ローカルだが、やはり芸人には広く知られているらひい。Tver 様様だな。ちょっと見逃したものがあっても大丈夫だし、いい時代だ。前にドラマの最終回だけ録画し忘れるという間抜けなことをしたことがあったが、Tver なら1週間過ぎるまでは見られる。ということで録画してある物を2日がかりで全部見て、最終回を Tver で、とやったことがある。いい時代だ。録画してあると安心して中々見ないが、「緊急取調室」は12月末から映画があるので、ちゃんと見てる。毎週録画にしておけばいいが、何か緊張感に欠けるので、毎週きちんと予約してる。明後日の分ももう大丈夫。明日は「相棒」が無い。「タイムショックZ」というのが7時から9時50分までやる。司会はお馴染み中山秀征だが、先週の「テレビ千鳥」に告知の為か無茶な企画のために出演していた。「俺もう60前だよ」と言っていたが、そう秀ちゃんは小生と同い年。もう58歳に成ってる。若く見えるな。羨ましい。松本明子、飯島直子と組んで「DAISUKI!」をやってたが、松本明子は来年60、飯島直子は秀ちゃんと同い年（推移律により小生とも同い年）。歳をとったな。番組が終わってもう25年も経っている。ビックリだな。

あ、メールを数通書かないといけないな。やってから寝よう。

線形代数の出席者がかなり減っていることに気付いてしまった

起きたら12時過ぎ。ぎゃ！ちょっとクロネッカー積のことが気に成ってて考えてたら、寝るのが遅くなってしまったのが原因。まあリンクスクエアの売店の脇で弁当を食べる時間はありそうなので、急いで出掛ける。ちゃんと唐揚げ弁当を食べられた。

1時10分から「数学IV（線形代数）」。部屋に入った時に気付いたが、出席者が相当減ってる。わけワカメに成って嫌気がさしてきたかな。来てる学生が得になるよう、色々秘伝を教えてあげた。でまず行列から定まる数ベクトル空間の間の線形写像の基底を階数の言葉で書いて、それから表現行列を定義して、で座標（基底の1次結合で書いた時の係数を縦に並べたベクトル）の間の関係を表現行列を使って書いたり。途中パニックって、思ったより進まなかった。まあいいです。難しい所なのでね。この前も書いたが、分からなくて行きつ戻りつしながら理解したのだった。そうだったと学生にも言っておく。来週は基底変換の行列の話が出来て、徐々に対角化に近付いていく。あと4回しかない。かと言って学生を置き去りにして突っ走るのも嫌だしな。まあいいです。O 先生は線形代数は4年掛けて理解すればよいとの仰せで、確かにその通りなので。でも試験はやるんだけど。

その後すぐゼミ。例によって少し遅れて行った。今日は Z[√(－d)]（d＝1,2）で素数がどう素元分解するかという話。ルジャンドル記号のことは済んでるので、堂々と使える。が、色々難所があったようで、キツそうだった。単項イデアルが等しいこと／等しくないことを生成元が同伴である／ないということが同値なのが分かってなかったということだが。Z と体上の多項式環の場合はやってるが、その場合のことを忘れていたか、それともそもそも覚えてなかったかは分からないが。代数学Iでやった！と一言突き放すのも手だったが、終盤に来て嫌な感じだけ残して終了、というのは嫌だったので、ちゃんと手取り足取りやってあげた。分かってくれたようなのでいいです。5時くらいには終了した。

それから部屋で今日の講義資料を直して web に上げて、で明後日の健康診断グッズが届いてないようで、変だと思って個研室を捜索。数分で見付かった。よかった。それからちょっと部屋の整理。昨日一冊見付けた本があったが、これ前に別の所で見たぞ、と探したら、案の定2冊あった。いや、正確に言うと住処にも1冊あるので、計3回買ったことになる。まあ原啓介さんの豊かな印税生活に貢献したと思えば。それと Amazon から届いた袋を開けてみると、この前届いた本がもう一回届いてた。いい加減にしないといかんね。定年退職する時は学生の溜まり部屋に置いていってあげるので、いいけど。複数あったら複数の部屋に行くだけなのでいいです。

でもう少しウダウダやって、7時ちょいに職場を後にした。もう道路が混んでない時間なので、スムーズに。まださして寒くないのでよかった。今日はあっちこっちで12月の最高気温を記録、とか言ってたが、木曜辺りから真冬の寒さとか言ってた。とんでもない。まあ明後日までは寒くないようなので、健康診断までは平気だ。勿論済んだからと言って体調を崩していいわけではないがね。試験問題を作らないといけないし、講義に穴を開けたら補講しないといけないし。気を付けましょう。

ABC（テレビ朝日系）で「ファン5万人がガチ投票！プロ野球総選挙」という番組がやっていた。昨日の晩気付いて、Blu-ray のディスクに直録りしようと、慌てて準備した。3時間番組で、ハードディスクに録画すると、「相棒」と「緊急取調室」と「ぐるぐるナインティナイン」が録れなくなってしまうので、直録りした次第。途中ちょっと見たが、桑田真澄が11位。何か思ってたのと違うな。まあ1位は大谷か長嶋茂雄か王だろう。時間のある時にゆっくり見る。実家で暇潰しに見ようか？新幹線の中では途中までしか見られないので、実家で寝る間を惜しんで見るか。