2か月振りに床屋へ行って、スッキリした

やっぱり深夜に成ると元気に成ってきて、中々寝ようとしなくなってしまう。昨晩も結局3時過ぎまで起きていた。で11時くらいには起きないといけなかったのに、起きたら12時半を回っていた。まあ予定はあるが、簡単に振り替えられる用事なので、電話して6時過ぎに変更してもらった。

で起きて、カップ麺を食べてから床屋に行った。暮れに切ってもらって以来だからもう2か月以上。最近殿様商売をするように成って、12月に5時半くらいに行ったらもう閉店した後で、その次の週に4時45分くらいに行ったらもう閉店の準備をしていた。実家に帰る前に切って欲しかったから、嫌そうな顔をしていたが無理にやってもらったが。今日は早かったので大丈夫。スッキリした。DCM で買い物をしてから帰ってきて、しばしテレビ。ドラマ「フォレスト」が面白ろそうで録画してあったが、3話までしか見ていなかったので続きを見て時間潰し。あるシーンで後ろの方見覚えのあるY字型の照明が。横浜スタジアムだ。横浜が舞台のドラマだったか。MBSでやってる「まどか26歳、研修医やってます！」というドラマでは横浜スタジアムで応援しているシーンがあるという情報があったので、1話から録画してある。まだ全く見てないけど。横浜はドラマの舞台によく成る。「あぶない刑事」なんかもそうだし。バイト先であったのが、昼飯を食べに行って中々帰ってこない奴が遅れて戻ってきて、「あぶない刑事」のロケをやっていたのでつい見てしまったと言ってたことがあった。別のドラマだが、ロケ終わりの世良公則を見たことがある。後日見たら、その時の店の近くが写ったから、あの時のがまさにそうだったのだな、ということもあった。「フォレスト」面白く成ってきた。明日、明後日くらいで一気に最後まで見てしまおう。有理整数環

Z で c｜ab、(a,c)＝1 ⇒ c｜b を示すのは易しい。ax＋cｙ=1 となる x,y があるので、これの両辺を b 倍すれば終わり。飯高茂先生名付けるところの「合コンの定理」という奴。この証明はそのままユークリッド整域でも通用する。が、U.F.D. でも同じ結論は当然言えるが、文字に起こそうとすると案外面倒だ。いや、昔学生が言ってた「脳内演習」というレベルのものだが。ぐちゃぐちゃと書いてみたが途中で破綻した。後でゆっくり考えてみる。時間があるとこういうことが出来ていい。これから呑みに行くので、やるのは明日以降。昨日書いたが、来週は東京出張だし、再来週も行けないかもしれないから、今日は行っておかないと。ちょっと物入りで手元が大分不如意だ。昨日泉社長に現金で払ったからだな。もう新年度の実験実習費が使える時期に成っている。立替払いも然るべき手続きをすれば実験実習費で処理してくれる筈だから、やっておこう。幸い銀行にはまだ金が唸ってる。明日卸に行こう。まあ東京出張は新幹線もホテルもカードで払えばいいから、現金はそんなに持ってなくてもいいけど。ということで呑んできます。

泉社長のお陰でパソコンが治って嬉しい

結局昨晩は呑んでる最中には眠く成らず、4時過ぎまでテレビを見たりと、ウダウダと起きていてしまった。流石にお代わりを買いに行く気には成らず寝たが。9時くらいに一旦意識が戻ったが、流石に起きられなかった。それから暫くして郵便か宅配便か分からないが、呼び鈴が鳴った。無視。で12時過ぎに電話。相手によっては無視するつもりだったが、見るとウィザードから。大事な件だろうから出る。すると、パソコンの治療が済んだ、との内容。素晴らしい。まだ少々寝不足だが、起きて職場に向かうことにした。

で職場に着いてちょっとしたら、泉社長が来られた。所謂スパイウェアという奴に入られたのが原因らしい。フリーのソフトは危険で、製造段階からウィルス抱き合わせの物があるらしい。そうでない場合でも、製造元からダウンロードする方がまだ安全らしい。昨日は安直に窓の杜からダウンロードしてしまった。検索エンジンで上位に上がる所は危険度が高いというお話だった。もう窓の杜には頼るまい。Chrome を起動した時にピコピコと小さい窓が連続で出てくるのもなくなった。徹夜で作業してくださったらしい。ありがとうございました。

その後ちょっと雑談。酒の話に成った。泉社長は Facebook にマメに投稿されていて、そこで禁酒した話が出ていたが、凄いのが一晩でジンのボトルを空けてしまう人が、ある日から一滴も呑まなくなったそうだ。医者にアル中の患者の前で話をして欲しいと言われたそうだ。医者の話に依れば、ビール一缶でも毎晩呑んでる人はもう立派なアルコール依存症だそうだ。それで肝臓を悪くしている人が多いとか。小生は週二日程度なのでまあ大丈夫でしょう。まあ一回当たりの量は多いが。でもちゃんと保健センターで定期的に血液検査をしてもらっていて、その結果によれば肝臓は全く問題無いそうだ。血糖値も特に高いということもないようだし。まあ尿酸値は高いが、それはもう服薬してコントロールしてるのでいいんだけど。

その後ちょっと TeX 打ち。院生に二次体のことを色々やらせていて、素数がどう素イデアル分解するかとかウダウダとやったことにより、3回生の代数のレポート問題に成りそうな問題を思い付いたので。で色々考えてヒントを付けて、解答も付けて、TeX 打ち完成。まあ難しいだろうな。小生は二次体ばっかりいじっているから、何かの時にノルムを取るとかすぐ思い浮かぶし、平方剰余にも慣れてるから、こんな解答を付けられるが、学生には無理かも、という気はする。しかし、テストじゃないんでね。60分でこの問題を解くのは絶対無理だし、そもそも素元とか既約元とか覚えてないだろう。レポートなら講義ノートを見ても、本を見ても、はたまたインターネットに頼ってもよいので、解答出来る学生はいるだろう。それから代数の秘蔵の問題集をいじって、素元だ素イデアルだという問題を少々手直しして。それから、ウィルス侵入の原因を作ってしまった ftp のソフトを恐々起動してみた。泉社長によればウィルスは駆逐してあるので大丈夫、とのことなので。シラバスを見たらもう4月以降の情報が出ていて、それを見ながらホームページに手直しをしようということで、ダウンロードして .html ファイルを xyzzy と関連付けてから編集。アップロードして、更新されていることを確認したり。今まではサーバー上で .html ファイルを編集すればすぐ結果が分かったが、ちょっと面倒臭い。いや、.html ファイルをブラウザーと関連付けておけばローカルで確認出来るんだが、まあいいかと。他にも事務から3月10日まで提出せよと来ていたメールのことで色々作業したり。寝不足だが、まあ色々捗ってよかった。全部職場に置いてあるノートパソコンでも出来るんだが、そのパソコンはキーが小さく、「半角/全角」のキーがちょっと打ちにくい所にあったり、TeX 打ちの時に欠かせないアンダースコアのキーが打ちづらかったりで、結構いらっとすることが多いので、やはりキーが大きいと嬉しい。問題は全部泉社長が解決してくれたから、仕事が捗ってよかった。そう言えば、デスクトップに「PC」というアイコンと「コントロールパネル」とうアイコンが出ていた。Windows 10 の時はスタートキーを押したら出てくる一覧にどちらもあったが、11 に成ったら無くなり、どうやって出すのか分からず、一々エクスプローラーを開くなど面倒が重なっていたが、楽に成った。どうやったら出せるように成るか調べて分かったので、住処のパソコンでもそう設定しよう、ということにした。

火曜日に書いてもらった処方箋の期限が今日なので、7時くらいに職場を出て、調剤薬局の閉まる8時に間に合うようにした。が、「草津JCT－大津 渋滞5km」の表示。うむ、と思ったが、全く渋滞していなかった。情報が更新されてないのだろうか？京都東インターを出たら結構渋滞していそうで焦ったが、そこそこ流れていたのでよかった。7時35分くらいには処方箋を提出出来た。処方してもらってる間に買い物をしたが、そこで朗報。ドラッグユタカ山科店は4月1日から24時間営業にある。素晴らしい。まあ処方箋は8時までだから関係無いと言えば無いが、ちょっと変な時間まで寝過ごしても、24時間営業のなか卯で食事をして買い物が出来るというのは嬉しい。

そう言えば、来週から大津インターと草津田上インターが ETC 専用に成るそうだ。これで大津、瀬田西、新名神に入って草津田上、信楽と、4インターチェンジ連続で ETC 専用に成る。まあ別に ETC 専用だからって別に ETC 積んでないと降りられないわけじゃないようだが。カードの挿入を忘れることもあるだろし。ETC は段階を踏んで徐々に導入されていったが、マイナ保険証は拙速に過ぎるな。もっとゆっくりやるよう見直して欲しいが。小生はもう使ってるのでいいけど。

今晩はたっぷり寝たい。明日は正午までに四条烏丸に行かないといけないので、そんなに遅くまで寝られるわけではないが。明日は呑み屋に顔を出さないといけないので、体調を整えておかないと。来週は東京に出張なので顔を出せないし、再来週は卒業式だしな。卒業式の後は学内でパーティーをやることに成っているが、卒業生の出席者が少ないと A 堀先生が嘆いていた。短時間で終わったらそれはそれでその後呑み屋に顔を出せるので助かる。あ、クリーニング屋に行って背広を引き取ってこないと。随分長いこと預けてるな。実家はクリーニング屋だったが、季節の変わり目にしか来ない客の悪口をお袋がよく言ってた。何言われてるか分からんな。明日行って、平身低頭詫びてこよう。その前に床屋に行って、さっぱりした顔で行こう。

延長戦も終了で、今年度の重要任務は終わった

昨晩は10時半くらいに食事に行こうと思い立ち廊下に出たが、その刹那に学生がこっちへ向かってきた。質問に答えたら11時くらいに成ってしまい、国道1号まで行って食事をしてくると、帰ってくる前に正門が閉まってしまう可能性が、ということで、セブンイレブンで弁当を買って済ませることにした。泊り確定なので、朝飯と深夜のつまみ食い用の煎餅などを購入して、11時半過ぎに戻ってきた。もうこの時間に成ると6階は電気が消えてしまい、暗くて怖かった。学生は深夜に何度も訪ねてきて、書いたものを渡されたのが4時くらい。そこから真剣に読んだらもう明るく成っていた。まだ大分問題があるので何往復もした。昼前には学生は帰りたがっていたが、まだ問題が沢山残ってて、待たせる。小生も中々ブラックな教員だな。彼はずっと言ったことしかやらず、自主性が乏しかった。ちょっと書き間違えたり字が汚かったりするとすぐ聞きに来るし、そのまま書いたり。(a＋b)²＝a²－b²＋2ab なんて書いてて気持ち悪くないんだろうか？b の前に虚数単位を書き忘れたのと 2ab の辺りが書き散らして汚くて見えなかったらしいんだが。いいけど。1時くらいに完了。これで4人中2人。一人は昨日書いた通り大丈夫だろうとあまり連絡していなかったんだが、ちゃんと読むと色々あって、そこから何回か往復して、考え中で少し合間が空いたり。そんなこんなしてるうちになしのつぶてだった学生が漸く連絡してきた。両方同時に進行。片方は真剣に考えて返答しないといけなく、もう一方は何というか稚拙に過ぎる間違い多くて、頭を抱えた。で6時くらいまでぶっ続けでやって、片方は終了。もう片方は返答待ち。事務に連絡をするために Acrobat を起動して、2つのファイルを1つにする方法を一生懸命思い出しながら。で7時過ぎにどちらも終了。よかった。昨日の昼前に起きて職場に行ってから、本当に一睡もしてない。泊りの学生は一度部屋に行った時に椅子を並べて横に成っていたが、小生の部屋はそんなことが出来ないくらいに散らかってるし、数ファ研に行って仮眠をとりたくても個研室にいないと学生が途方に暮れるだろうし、ずっと起きていた。その間にあれを考えこれを考えと時間を使っていたら、どんどんハイに成ってきて、眠く成らない。まあ30時間やそこらは大丈夫ですわ。

と順調に働いてたような書きっぷりだが、実は大事件が起きた。ホームページを学内のサービスを使って運用してるが、それのやり方を変えるというメールが来ていた。今までは TeraTerm で telnet して、emacs を起動して html ファイルを直書き、とやってたんだが、出来なくなるとか。ftp でファイルを送る方法しかなくなるらしい。でいつも使ってる FFFTP で繋ごうと思ったら繋がらない。Rainbow のページを見たら、何とか言う ftp ソフトを使った例が出ていたので、それをインストールしようかと。で窓の杜にあることが分かったので、インストールして、さあ、というところで何やら怪しげな表示。う、これが噂のあのウィルスか、と怖く成って電源を切って、暫くして電源を入れようと思っても立ち上がらない。ぎゃ！幸いノートパソコンが職場にあったので、作業はそちらで出来る。重要なファイルは皆 USB メモリーに入っているので、作業は出来た。が、やはり心配なので、こういう時はウィザードに電話。いつもの泉社長がご陽気に出てくれた。状況を話すと、やはり相当ヤバいことに成っているらしい。用事が済んだら来てくださるとのことなので、ノートパソコンで作業をしながら待つ。どこだかの顧客の所に行っていて、そこから帰ってから来てくださったようだ。引き取って精密検査をするとのことなので、いつものようにお願いする。パソコンで困った時はウィザードに頼むに限る。大津市大将軍という所にあるが、どこかというと近江大橋の瀬田側の入り口の近く。友人が前その辺りに住んでいたのと、小生が通っていた月の輪自動車教習所の近くで、運転の練習コースだったので、良く知っている。前は膳所にあったのだが、数年前に今の所に移られて、うちが近くなったんで、うちの先生にお得意さんが数名いらっしゃるとか。何かあったらウィザードを頼りましょう。小生のホームページのリンク集のページから行けるので、是非。

ということで、無事、とは言えないかもしれないが、延長戦も何とか終了。ということでちょっと部屋掃除。いや、ちょっとで片付くほどの生易しさではないくらい散らかってるんだが。まずいらない本を学科の資料室（定年退官した人が書棚の本を放り込んである部屋、というのが実態）に写して、整数論の本でダブっているもの（うっかり2、3回買ったり、2～3分冊だったものが1冊にまとまったので、その分冊だった時の物）などを院生の溜まり部屋に放り込んだり、ここ数日で書き散らかした紙を資源ゴミの捨て場にいれたり、飲み散らかした後のペットボトルや空き缶を資源ゴミのゴミ箱に捨てたり、など。が、うっかり封筒を開けてしまったが、全然受講生がいなくてほぼ丸々残っている授業アンケートの紙が大量に出てきてギャ！かえって散らかった。いや、資源ゴミにすればいいのだが、裏が白いとつい計算用紙に、ととっておいてしまう。これも学生の部屋に計算用紙として寄付すればいいんだな。こんどやろう。でいつ帰ってもいいんだが、超寝不足なので渋滞して眠く成っておかまを掘ってギャ！とか、交通量が少なくて退屈で眠く成ってギャ！とか成らないよう、程々の交通量に成る9時くらいまで職場にいた。まあ大体目論見通りの混雑度。やはり集中力が低くなっているのか時々ボーっとしてしまった。車間距離はとるようにしてるので、大丈夫だが。9時40分過ぎに無事帰宅。いやー疲れた。

ということで解放されたんだ、呑むぞ、と派手にやりたいところで、実は今呑みながらこれを書いてるが、すぐ眠気に耐えられなくなるだろう。明日は用事は無いが、ウィザードから電話があるかもしれないし、さっき思い出したのだが、火曜日貰った処方箋の期限が明日だ。適当に起きないとまずいな。まあ大丈夫でしょう。「アメトーーク！」が終わったら寝るか。そうすれば正午まで寝ても10時間睡眠くらいには成る。ま、大丈夫だな。

で色々学生の悪口を書こうと思って思案を巡らせていたんだが、まあやめておいた方がいいかな、ということにした。また折があったら少しずつ書きます。

延長戦最終盤で、今日は泊まる気満々

今日は昼前に目が覚めた。シャワーを浴びてから出発。食事ははま寿司で。中トロ100円（税込110円）フェアをやってるようなので。大トロもあった。でほぼお薦め品だけ食べた。それでも2000円をちょっと割るくらい。お腹一杯。一時シャリが減ったんでは？という気がしていたが、備蓄米を流通させてくれたので、米の値段が下がってきて元通りにしたのだろうか？知らんけど。

で職場に着いて、学生の書いたものをウダウダと読んでいたら、いつもと違う学生が現れた。今日まで何をしてたんだか、という感じ。印刷した物を持ってきたので、この前画面相手に見付けた色々を書き込んで、真っ赤にして返した。その後その学生といつもの学生が交代交代に度々現れた。一人はずっとやってたので、大分まともに成ったが、もう一人は大丈夫なんだろうか？いや、そもそも今日に成っても来ない学生がどうなるか気に成るが。あんな状態で完成にされたら小生は困るが、一番恥をかくのは彼のような気がする。知らんけど。まだ学生は残ってるんだろうか？こっちは別に泊っても構わないので、気長にやってもらっても構わないけど。ただ、12時で門が閉まってしまうので、食事に行くなり弁当を買い出しにいくなりはそろそろやらないと。

一人あまりかまってやらなかった学生がいるが、まあ彼はね、と思ったが、改めて読んでみると色々ミスがある。無限和を有限和に直す計算をしているはずなのに、変形後も \sum_{a=1}^\infty に成っている箇所があった。こういう所にはミスは無いもの、と思い込んでいると大変。前に自分で発見したようだが、オイラー積の所の \prod が \sum に成っていた場所があった、と言ってた。さっき見た時にオイラー積で一か所おかしな所があった。1－p^－s の逆数のはずなのに、1からこれを引いていた。見た目が似てるので見過ごしたんだろう。危ない危ない。兎に角明日一杯頑張らないといけないかもね。やはり泊るか。今からエポックというわけにはいかないので、起き続けて個研室でずーっと色々やるか、数ファ研のソファーで眠らせてもらうかのどちらかだな。まあやることは色々あるので、いいんだけど。

昨日寝る前に山本芳彦先生の岩波から出てる本を見たら、2が惰性してたら判別式≡5 (mod 8) の面白い証明が出ていた。奇素数 p が (D_K/p)＝－1 を満たしていれば K で惰性するのも大体同じ感じ。昨日はちょっと悦に入ってたが、大家の書かれたものを見てこういうのを見付けると恥ずかしくなる。後で TeX 化しておこう。高木貞治「初等整数論講義」はまだ見てないが、山崎隆雄さんの本に高木貞治の本を大いに参考にさせてもらったというようなことが書いてあったので、同じ taste かな。そうするとやはり二次体のイデアルがいい整基底を持つ階数2の自由アーベル群であることを使うのかな。暇だし見てみよう。

伊東先生ありがとうございました

結局昨晩も相当遅くまで起きていた。ヒルベルトの定理90難しいぞ。二次体でやろうと思っても、－1 はノルムが 1 だが、これを例外処理しないといけなかったり。でウダウダと「おはよう朝日です」が始まっても暫く起きていた。うむ。

11時くらいに電話。目覚ましはもう少し後に仕掛けておいたんだが。保険会社からなので大事な用かもと思って出たが、大した用ではなかったようだ。「ようだ」というのはほぼ覚えていないから。で1時半過ぎに職場へ出発。

学生が待っているかもという気がしたので、保健センターへ行く前に弁当を買って、個研室で食べながら待った。少しすると現れた。昨晩見た分を渡す。それから保健センターへ。いつもの伊東先生が名誉教授に成る、と少し前の教授会で知ったが、今年度いっぱいでうちに来なくなるのだろうか？と思ったらその通りだった。物腰柔らかで、優しい先生だったが。若そうに見えるがもう65歳ということか。お世話に成りました。4月から新しい先生に診てもらわないと。4月からは保健センター行は水曜日に成った。水曜日は学科会議があることがあるし、対面で参加するにはよかろうということで。ただ、来年の学科長は会議嫌いだった。まあいいです。住処にいるとウダウダと無駄な時間を過ごしてしまうので、定期的に職場に行かないと。4月からは月曜と金曜が講義のある日だったような気がした。ゼミは月、木、金で固められると楽だな。えーと、伊東先生の話。お世話に成りました。

その後4時半から会議。思いの外時間が長かった。新旧学生主事が出席されていた。学生主事って若い人が成ることが多いようだ。うちでもやった人が複数いる。小生はもう57歳だから、学生主事はやらないで済むだろう。執行部にされずに定年退職を迎えたいものだ。

6時過ぎに個研室に戻ってきて、学生から今日の成果を受け取って、それからしばし色々。この前書いた「m∈Z：square-free、m≡5 (mod 8) ⇒ K＝Q(√m) で2が惰性」の証明が完成した。m≡1 (mod 4) の時、「2が素イデアルでない ⇒ m≡1 (mod 8)」を示すわけだが、2＝PQ、N_K(P)＝N_K(Q)＝2、P∩Z＝Q∩Z＝2Z は割合簡単に示せるが、そこから m≡1 (mod 8) を導くのに難渋していた。河田先生の本を見たら、m≡1 (mod 4P) が言えて、そこから m≡1 (mod 8) が従う、と書いてあるが、そうか？という感じ。4P∩Z＝8Z が言えないといけないのだがな、と思って考えたが、出来た素晴らしい。使ったのは素イデアル分解が出来ること、N_K(PQ)＝N_K(P)N_K(Q)、N_K((2))＝4 くらい。二次体のイデアルが階数2の自由アーベル群であっていい底が取れる、とかそういう難しいのは何もいらない。いたって初等的。勿論 Kummer の定理の系として出すわけでもなし。嬉しい。どんなことでも自分の腑に落ちる証明が出来ると嬉しいね。足立先生は類体論の証明がどうも腑に落ちないと言われていて、ずっと頑張っておられた。その成果が三宅克哉先生との共著「類体論講義」なんだろうが。今年は二次体（実も含めて）の類数が奇数であることの証明を完全理解出来た。実二次体の場合は2次形式に関するハッセ－ミンコフスキーの定理とか使わなくちゃいけなくて大変だったが。色々有意義な一年だった。もう少しだ。

上のことをやってる時に、SageMath に smallest_integer という命令のあるのを見付けた。J.smallest_integer() とやると J に含まれる最小の自然数、即ち J∩Z＝nZ となる n∈N を返してくれる。素晴らしい。でそれを使って、ちょっと気に成っていることを実験してみる。成り立ちそうだ。示せるかな？局所体の理論を使えば示せるが、出来るだけ徒手空拳でやりたい。暇が出来たら考えてみよう。

明日は大学に泊るかもしれない。学生にはこっちはその覚悟だよ、と言っておいたが、どうなるでしょう？まあ泊まらなくても徹夜は覚悟しないといけないかも。いい加減な物を完成品にされたら困るからね。今日こそは早目に寝ないと。今日は薬局に寄ってないので、職場に行く前にドラッグユタカに行くか。

コーシーの定理のアーベル群バージョンは思いのほか易しい

昨晩も何だかんだと夜更かし。二次体で分岐している素数が一個だと類数が奇数、と示してOKとしていたが、これでいいのか？とちょっと疑問に思ってしまった。位数2の元が無いから奇数位数、ということなのだが、これってコーシーの定理「p が有限群 G の位数の素因数ならば、G は位数 p の元を持つ」の p＝2 の場合の対偶では？コーシーの定理は難しいぞ。いや、アーベル群だからそんなに難しくないが。アーベル群の基本定理からでもシローの定理からでも従うが、そんな大道具は使いたくない。で結局コーシーの定理のアーベル群バージョンが一番簡単なことになった。位数2の群が位数2の元を持つという自明な主張と、剰余群を考えて位数を落として帰納法の仮定より、くらい。A4で半頁もいらない。毎年講義でやっているが、頭に入ってなかった。これからは自信を持ってやれる。考えてる過程で星明考「群論序説」（日本評論社）を久々に見てみたが、面白いな。そのうち読もう。シローの定理の系としてコーシーの定理を導いていたから、シローの定理を証明するにはコーシーの定理はいらないのだな。来年度の講義で自信を持って話せるようにするためにも、読まないと。で寝たのは5時過ぎ。うむ。

で起きたのは1時過ぎ。うむ。シャワーを浴びて急いで出勤。今日は学生と会う以外に用事が無いから、別に急がなくてもよかったが。まあ学生が考える時間が必要だからね。上に書いたこと以外にも色々直す必要があるので、そこを指摘して。で学生は暫くしたら現れて、その後帰っていったようだが、読んでみると新しい問題点が出てきて困る。数学的にちゃんとするのは難しい。ゆっくり隅から見直してな、とは言うんだが、頑張っている時は局所的にしか見ないからね。大域的に見るのがこっちの仕事。ということで明日も頑張る。

明日は月に一度の保健センター行き。その後4月からやる仕事関係で会議があるが、職場に行くんだから、オンラインでなく対面で参加してみよう。本来は今年度担当のW先生も出席する筈だが、研究集会の運営があって仕方ないらしい。ちゃんと聞いておきます。ということで今日は程々に寝ないと。暫く寝不足が続いている。血圧を測られるから、薬も飲んで、ちゃんとしないと。別の学生のも読まないといけないから、もう少しだけ頑張ろう。「キョコロヒー」が終わったら寝るかな。

東京の今日の最高気温は22度も明日は6度！

ふなごやの大将は忙しそうだった。小生が行く少し前までお客さんが二組いて、帰った後は来週からの新展開のために色々考えておられた。新しいことを始める前は何でも大変だ。小生もこっちに来た頃は大変だったし、数年前に2回生の線形代数を始める前も必死だった。そのお陰で大分賢く成れて、昔では出来ないことが色々出来るように成った。類数が奇数云々を群の言葉では理解出来なかったが、F₂ 上のベクトル空間の次元の話と見ると凄く分かりやすい。こういうのも線形代数のトレーニングをしたお陰だな。えーと、ふなごやの話。その後は昨日も3人で楽しく呑んできた。一時は必ず日本酒を呑んでいたが、最近は3人でワインのボトルを開けることが多くなった。ワインの味が大分分かるように成ってきた。まあ旨いワインは高くつくけどね。昨日も大分払ってきた。

で帰ってきて寝たが、やはりテレビは消しておくべきだった。眠りが浅く、中々起きられない。5時に一旦起きて、Uber Eats で5時開店の店に注文したが、食べ終わった後もう一度ダウン。最終的に起きたのは9時過ぎ。生活リズムがぐちゃぐちゃ。明日から延長戦（謎）のために連日出勤するので、少しはまともな生活を出来るだろう。追い込みだぞ。

今日の東京は22度までいったとか。そんな中マラソンとは大変だったろう。が、明日は東京23区でも3cmくらい積もる予報らしい。東京の最高気温は今日より16度低い6度だと言ってた。とんでもない。近畿は連日雨の予報だが、雪に成らないといいな。大阪の最低気温は7度だが、最高気温8度と訳の分からないことを言ってる。今現に暑い。気温が高いのだろうな。まあ朝の道路の凍結は心配ないが、帰りは心配だ。少し早目に帰った方がよさそうだ。気を付けよう。

現実逃避にイデアルに関する演習問題を考えて、無事解決

下らんことに時間を使ってしまうな。 元はと言えば延長戦（謎）のために考え始めたんだが、関係無いことにどんどん発散してしまう。イデアルに関して疑問だったことが二つ解決したのでよかったが。が、そこで終わらず、線形代数も始めてしまった。大学入試に出ていた漸化式の問題を、ちゃんと線形代数を使ってやろう、とかして、ずらし変換の表現行列の冪乗を求めたり。固有多項式が重根を持ってしまうので、ちょっと難しいが、何年も線形代数の講義をやって腕力が上がったか、ちゃんと出来た。嬉しい。が、こんなことをしている場合では無い筈なんだが。

11時過ぎにちょっと近所で用事があったので、寝ないことにした。計算が上手くいったので出掛ける。読書をしながら時間潰し。京都銀行の近くまで行ったので、金を卸して、1時間程で帰宅。ここのところ1日おきに寝不足なので、流石に起きていられなかった。テレビを付けっ放しで寝ることが多いが、ちゃんと寝たいので、帰宅してからテレビのリモコンには触れなかった。で7時半過ぎまで寝た。睡眠は十分とは言えないが、まあいいです。今から呑みに行く。週に一度は顔を出しておかないと。

その前にちょっとニュースを見ていたが、みのもんたが亡くなったそうだ。80歳。申年だそうで、小生の24歳上だな。世界で一番忙しいし司会者だかなんかでギネスに認定されているそうだ。朝は東京、昼は福岡みたいな凄い生活をしていたそうで、酒も相当呑んだそうだが。暇で酒を呑まないのが長生きの秘訣かというとそんなことはないんだな。プロ野球の珍プレーのアフレコは面白かった。ご冥福を祈る。

ご冥福と言えば、今日は中山美穂の誕生日だそうだ。生きていれば55歳。死んでしまったのは何とも悲しい。「Long distance to the heaven」という彼女の歌があるが、先に死んでしまったアイドルの先輩に捧げた歌だそうだが、彼女の死んだ後にこの歌を聞いたら余計悲しくなった。生き物はいつかは死ぬわけだが、54歳は早過ぎるな。ご冥福を祈る。