エポックへ宿泊予約に行く

昨晩は早く寝るつもりだったのだが、ウダウダと3時過ぎまで起きていた。で今日は相当遅くまで寝てしまった。ぎゃ！ということで職場へ向かう。エポックの宿泊予約を取るため。で草津田上で高速道路を降りて、「狼川」の吉野家を目指す。右折して大学の前を左に曲がって南田山へ、というつもりだったのだが、気が変わった。笠山経由で行こう、と。で左折して、「医科大北口」を右折。で後悔。笠山の辺りは道路が狭い。学生で混雑するバスを避けるため、時々瀬田駅からバスに乗ったが、車とのすれ違いが曲芸のように難しい。バスの運転手の腕前に舌を巻いた。小生はそんなに腕が立つ方ではないので、危険そうだと思ったら左に寄せて停車して、対向車が行くのを待った。で苦労して吉野家に着く。今日まで牛すき鍋膳の卵1個サービスなので。すき家はデフォルトで2個だが、1個は割ってあってもう1個割らない状態で付いてくる。この前その2個目をうまく割れず損したが、吉野家は最初から2個とも割ってある。お陰で安心して食べられた。PayPay で支払い。

で職場に行き、エポックで宿泊手続き。ちゃんと2月4日の晩から2泊取れた。2月6日から2泊は南草津駅近くの東横インに泊まる。まだ宿泊予約をしてないので、これからする。

ちょっと時間があったので、個研室で作業をしよう、と思って筆箱に入れた USB メモリを取り出そうと思ったら、入ってない。ガーン。住処のパソコンの電源は落としたが、USB メモリを抜くのを忘れてきた。まあそれでもやることはあるのでやってきた。10時近くまで職場にいたが、車は凍結してないだろうか？ちょっと心配するも大丈夫だった。が、エンジンを掛けると凍結注意の表示が出た。気温は0度。まだもうちょっと寒いようなので、気を付けないと。峠道の凍結を避けるため高速道路へ。70km/h を割るスピードで走っているトラックがいたので、珍しく追い抜く。行きもゆっくり走る乗用車がいたが、追い越し車線がびっしり詰まっていたので抜けなかった。瀬田東JCTを過ぎると4車線に成るのだが、そう成ってから追い抜いたが、その車の前には1台もいない。まあ高速道路の最低速度50km/hを割り込んでないから違反ではないが、どうにかして欲しい所。

明日から2月。プロ野球はキャンプイン。楽しみだが、うちは入試シーズンに突入する。明日は爆弾低気圧が来る、と言っていたが、滋賀は大丈夫だろうか？まあ小生の出番はまだ先なので、明日は住処で大人しくしていよう。そろそろ生活リズムを朝型に切り替えたいが、今晩はいいか、ということで呑む。明日からしばらく禁酒だ。まあエポックでは酒は呑めないんだけど。持ち込んで呑んでも別に怒られないだろうが、何度も書いている通り小生アル中ではないんで大丈夫。

総理の秘書官（長男だそうだ）が土産を買うのは公務か？ということを今日の国会でやり取りしたそうだ。うーん、もう少し大事な議題があるのでは？という気がするが。総理のポケットマネーで買ったそうだが、当然。こういうゴタゴタで時間を食わないよう、公務出張の土産は無し、と決めた方がいい。同僚でも出張に行くとそこのお菓子を買ってきて、数物事務室に「ご自由にお召し上がりください」とやっている人がいるが、小生やったことが無い。元々土産を買う、という風習は好きではないので。義理で買わなければならず、買わなかった文句が出る、というのはおかしい。土産は気持ちなはずだ。強制されるいわれはない。ということで今後も買わない。まあ実家に帰る時に京都駅で八ッ橋を買うくらいはするが。

ミートパイ懐かしい

昨晩はブログを書いて、さあ寝ようか、というところで例によってマインスイーパー猿に成ってしまい、結構起きていた。で寝る気が失せて、たまっている用事を片付けてしまおう、という気に成った。まず成績の入力。レポートは manba+R に提出されるので、そこに成績を書いておいたが、最終的な入力は Campus web でやらないといけない。うちの関係者以外は manaba+R とか Campus web とか書かれても何のこっちゃだろうが、ようするに全て web で完結するように成っていて、レポートの提出先と成績入力先が違う、ということ。で両方の画面を開いて、右から左へ。間違えちゃいけないので、何度かチェック。1人入力漏れがあることがわかった。怖い怖い。で再度チェックしてもう間違いは無かろう、よし、と思ったら、入力漏れをチェックする画面が開いた。大分親切な作りに成っているな。さっきの入力漏れはここで気付けただろう。いいことです。で終了。改めて見ると思いの外 A+ が多かった。いい友達がいてよかったね、という学生もいるだろう。昔は生成元を特定させるよう、写したなら写したと書け、としていたんだが、来年度はそうしようか？その後「課題研究アワード」の処理。これは何かというと、付属校の生徒の入学前教育の一環で、何か「研究」するので、それを採点して順位を決めるというもの。付属校は受験を気にしなくていいからこういうことに時間を使える。面白いもの、そうでないもの、色々。点数化するのが難しい。科研費の採択を決める人はこれのもっとゴツイものをやっているということか。大変だ。小生が担当したのはほんの5件。まあそれでも結構時間食った。その後は9月に大学院に入学してくる英語基準の推薦入試の願書のチェック。確率論か数理ファイナンスをやりたい学生のようで、正直何書いてるかわからん。英語であったのも原因の一つだが、日本語でも無理だろう。ということでいい点数を付けておく。9時くらいに終了。で少し時間を潰して、11時に Uber Eats に昼食を頼む。食べて横に成る。

そのまま7時過ぎまで寝続けるという体たらく。まあいいけど。途中入試問題に使えそうな問題を一つ思い付いた。もちろん使えるかどうかは再度入念に考えないといけないが。今日はボーっとしているので、明日以降考えることにする。

8時半から「Ｑさま！」。今日は昭和と令和でどう変わったか、みたいなことをやっていた。小生昭和を丸21年生きている。平成の初日が小生の21歳の誕生日。ということで昭和のことはよく知っている。プリントゴッコとかオレンジカードとか、懐かしいの極み。駅では切符切りが立っていた。若い人は知らないだろう。確か大学に通っている頃 JR が自動改札に成ったと思うんだが、そのことをテレビで特集している時に「大人が子供切符で通ってもばれないのでは？」ということを言っている人がいたが、それはばれる。子供切符で通ると然るべきランプが光るのだ。小生が小学生の頃横浜市営地下鉄が上大岡－伊勢佐木長者町間で開業したが、最初から自動改札だった。子供用切符で乗っていたので、毎回ランプが光っていた。ということでこれは常識だった。で確か横浜線の新横浜駅は中々自動改札に成らなかった。新横浜駅は新幹線の駅がある関係で JR 東海が管理する駅だったので。Jスルーカード（お、懐かしい）も新横浜では使えなかった。後輩（みすたぁ）が小田原から JR 東日本の株主優待券で乗ろうと思ったら、小田原も同じ事情で JR 東海の駅なので無理だったとか。えーと、あ「Qさま！」の話。ヘルメット無しでバイクに乗れたとか、シートベルト無しで自動車に乗れたとか、駅で煙草が吸えたとか、今では考えられない。高額納税者の氏名が新聞に載っていたな。平成に成っても続いていた。斉藤隆が Whales に入団した次の年に上位に名前を連ねていた。ドラフト1位のルーキーは凄い額の契約金が貰えるからね。そもそも昔は野球の選手名鑑に選手の自宅の住所が載っていた。今では考えられない。ちょっと話が違うが、野崎昭弘先生は母者の高校の2年先輩で、同じクラブだったらしい。よく宿題を教えてもらったと言っていた。小生が中学生の頃野崎先生のご著書「πの話」を図書館で借りてよんでいた時にその話を聞かされた。で小生が数学科に入ったら、母者が野崎先生のご自宅の住所と電話番号をどこかから聞き出したらしく、後日サインの書かれた御本が返送されてきた。当時は緩かったな。今では大学の事務に電話しても住所を教えてくれないだろう。数学会の名簿も住所が載らなくなった。大学を退官された方はご自宅の住所を載せておられたが、やはり危険という判断だろう。えーと、あ、「Qさま！」の話。仲村トオルと鷲尾いさ子の娘が出ていたが、親の悪い所を引き継いだようで、ちょっと残念な感じだった。鷲尾いさ子は中々の美人だが、仲村トオルってそんなに二枚目でもない。「ビーバップハイスクール」一発で未だにもっている感じだと思うが。いや、別に悪口を書くのが目的ではないが。小生の好みの顔ではないということを言いたいだけ。

懐かしいと言えば。ブログや Facebook をやっていていいのは、昔のことを折に触れて思い出せること。今日 Facebook を見ていたら、小生が5年前に投稿したものが出てきた。ミートパイ、多分今年度最後だろう、と書いていた。1月いっぱいは定期試験で学生が来ているから売っていたが、2月に成ると売れないということで来なくなる。よく食べていた。あまり流行っていなかったので、程々の温かさのものを食べられてよかった。たまに熱々の時があって、難渋した。で書いた通りあまり流行っていなかったので、4月からは売らなくなってしまった。もう一回食べたいな。滋賀に店があるようだから、探してみよう。

腕に覚えがあると無茶をしたくなるのだろう。小谷のスキー場で雪崩に巻き込まれた外国人がいたそうだ。小生スキーはしたことない。何もあんな寒いとこ行かなくてもいいではないかと思うんだが。大学3年の時にスキーに誘われたことがある。南小谷だった気がする。色々理由を付けて断った。大学院に行っている時も後輩に誘われたが、それは何だかんだで無しに成った。もう行くことは無いだろう。小生運動神経が悪いので、やっても恥をかくだけで、ましてやもう55歳。こんな歳にデビューしても楽しくないと思うしね。冬は暖房効かせてぬくぬくと、というのが最高。

さて、今日は早寝するか。明日はエポックの宿泊予約をして、吉野家で牛すき鍋膳を卵2個で食べてくる。そうしたらもう2月だ。野球のキャンプインの話題がやっている。一方2月と言えば入試のシーズン。この前みたいな雪に成らないことを願おう。受験生も我々もコロナとインフルエンザには十分気を付けましょう。

床屋へ行ってきた

起きられないなー。昨晩は2時くらいには寝たんだが、起きたら4時過ぎ。…。飲まず食わずで床屋へ向かう。が、行ったらつかん。「予約のお客様が…」。3回連続。1時間以上待たされた。置いてある週刊誌を読んで時間潰し。ビートたけしと高田文夫がウェストランドのM-1優勝を目茶目茶喜んでいたのが印象的。で切ってもらう。2か月半くらい行ってなかったみたいで、相当伸びていた。切ってもらって髭を剃ってもらって、スッキリ。床屋に行くといつも「髭は毎日剃ろう」と思うんだが、二日続いたためしがない。多分今度もだろう。

住処に一旦戻って、呑み屋へ向かう。スマホを拾って、「本クヮンガク レシートすごろく全軌跡」を拾っていく。この前行った時に「クヮンガク」が話題に成ったので。陣内智則と言えば、藤原紀香より前に「レシートすごろく」を思い出す。梅田から難波の高島屋まで、道行く人にレシートを貰って、そのレシートに書いてある場所に行く、という企画。最初の2，3枚を見る限り順調にいきそうに見えたが、やれ沖縄だやれ北海道だわと、日本全国飛び回らされた企画。長野でカナダのレシートを貰った時は、さすがに番組予算が持たない、ということでカナダには行かなくてよかったのだが。とにかく面白かった。MBS が Blu-ray を売り出したら即買うんだが。

で会計する段に成って大将が「今日は肉の日でした」と言ってきた。もう少し早く言ってくれたら肉頼んだのに。今日も馬鹿の一つ覚えでガーリックライスだった。あ、もう30日に成ってるけどな。この前すき家で「牛すき鍋膳」を食べてきたが、すき家はデフォルトで卵が2個付いてくる。吉野家は1個。が、1月31日までは無料で2個に成る、とCMでやっていた。何だそうだったか。明日か明後日（今日か明日だが）職場に行く。エポックの宿泊予約を取りに。帰りは吉野家だな。

呑み屋から帰ってきてテレビを付けた。チャンネルはいつもの通りABCに成っていた。でとんでもない下品なドラマがやってる。こんなのやっていいんか？まあいいけど。

起きられない一日

昨晩はすぐ寝るつもりだったのだが、うっかりテレビも暖房も付けっ放しで横に成ってしまった。で短時間で一旦起きた。で何やらテレビでやっているドラマ（山崎育三郎、栗山千明、松本穂香が出ている）を見てしまい、さらに「朝まで生テレビ」も途中まで見てしまい、3時過ぎまで起きていた。いかんぞ。で今日は起きられず、午後に成って起きたが、眠くて仕方ないので、もう一度横に成る。で最終的に起きたのは9時過ぎ。一体何時間寝るんだか。呑み屋の大将から LINE が届いていたが、気付かなかった。明日行こう。明日は床屋にも行きたい。もうあと1週間くらいで2月の激務が始まる。頭をスッキリさせておかないと集中出来ない。明日は意地でも床屋へ行く。

Facebook を見ていたら、イアン・スチュワート「世界を支えるすごい数学」という本が話題に成っていた。注文した。スチュワートの書いた本は面白い。昔ガロア理論の本を友人と勉強した。2度やった。一度目は小生もまだガロア理論にあまり強くなかったので必死だったが、二度目はオブザーバー的な立場だった。男ばっかりだったので、下品だった。“Body theory” とか変な訳を付けて、毎週馬鹿笑いしながらゼミをしていた。まあ方法はどうでも為になった。そのガロア理論の本は絶版に成ったが、今増補版みたいなのが「明解ガロア理論」というタイトルで和訳されている。色々示唆に富む本。講義の準備中に時々見た。本は沢山あった方がいい。金の許す限り買おう。

整数環が定義出来て嬉しい

今日はゼミだから、昨日の晩は早目に寝るつもりだったのだが、マインスイーパーが成功しないので、つい夜更かし。「アメトーーク！」が始まっても成功せず、「テレビ千鳥」が始まっても成功せず、「スタンダップ」が始まっても成功せずで、3時過ぎにようやく成功。阿呆や、寝よ、と思ったのだが、腹が減ってきた。寝ようとするも眠れず。4時半過ぎに「起きてカップ飯を食ったら寝よ」と起きたが、ポットが空っぽ。むう。でお湯を沸かして食って、とかやっているうちに5時近くに成ってしまった。それで寝るの諦めた。ドーピングのためドリンクを買いに出る。寒い。が、まだ雪は降っていなかった。

10時半過ぎに住処を発つ。雪が結構降ってるが、天気予報に依れば夕刻には止むそう。車で行こう、と思ったら立体駐車場に「雪が溶けるまで使わないでください」と書いてあったが、うるさい、既に出て行った車がおろう、ということで構わず車を出す。まだ積もってないし、このくらいなら大丈夫だな、と高速道路へ。雪が溶け残ってる可能性のある下道より高速道路の方が安全。新名神の立ち往生も通行止めも無くなっているので、安心。草津田上で降りる。ゼミは1時からで、まだ11時ちょいだから、食事の時間は十分ある。どうしても肉食が多いので、こういう日は魚介類を摂りにということで、はま寿司へ向かう。いつもより時間が早いからなのか、それとも雪なのか、SNSで悪戯されて敬遠されているのか、すいている。いつもの通り1300円くらい食べて、PayPay で支払い。表へ出てもまだ積もっていない。余裕だな。職場の駐車場はいつもより車が少ない。雪だからだろうか。ワイパーを立てている車が結構あった。小生もそうする。

1時からゼミ。いよいよ整数環が定義出来る。嬉しい。まず整数環を定義して、整数底の存在を証明して、判別式など。結構注意深く進まないと怪しい所があるが、注意深くやっている。前にこの本を使っている時は誰も気にしないで流していたギャップを細かく拾っていく。感心感心。ただ同じ議論を「前と同様に」とやらず同じことを何度も繰り返したり、挙句は対角行列の行列式は対角成分の積ということまで説明し始める。休憩中に学生同士で話しているのを聞いていたが、線形代数は嫌いだったそうだ。だから「n 次元ベクトル空間 V の n 個の元 ω₁,…,ω_n に対し、ω₁,…,ω_n が V の基底 ⇔ ω₁,…,ω_n が1次独立 ⇔ ω₁,…,ω_n が V を生成する」という基本的な命題を知らなかったりする。まあ知らなくても証明出来るからいいんだけどね。彼等が使っていた線形代数のテキストには基本行列を掛けることイコール基本変形であることが出ていないが、ゼミのテキストに詳しく書いてあって、きっちり話してくれた。今日は整数論が出来たし、予習も行き届いていたので、上機嫌で聞けた。毎回こうだといいんだが。3時45分ごろ終了。

表を見ると雪が上がっている。が、午後も降水確率が高かったから、早目に帰ろう、と思ったが、またマインスイーパーを始めてしまった。いかんぞ。それでも5時前に職場を離れた。途中自販機で温かいものを買おう、ということにした。そこの自動販売機は交通系ICカードで支払える。で払おうとすると残高7円で払えなかった。仕方ないので現金で買う。高速道路は渋滞していない。すんなり帰れた。明日も雪で、風が強いと言ってた、ということで天気の悪くなる前に買い出し。セブンイレブンで交通系ICカードのチャージが出来る筈だが、と思ったら案の定出来た。1万円チャージ。nanaco の残高もついでに見たら1000円くらい。こちらも1万円チャージ。帰ってきてしばしゴロゴロして今に至る。眠いから早目に寝る予定。腹ごしらえして、昨日の「ゴチバトル」を見たら寝よう。

「しばしゴロゴロして」と書いたが、その間は Facebook 眺め。「あおり左折」というのがある、という記事。何かと思ったら、左折する前に一旦右に振ってから左折することをそう言うらしい。何故そんなことするかね。スピード落としたくないんだろうか？左折は出来るだけ左によって、徐行して曲がる、と教わったと思うが。教習所に通い始めて間もなくして、左折時に右にハンドルを切ったら西口という女性教官に止められて、ドアを開けて、「左はまだこんなに余裕があるのに何故右に切るの？」とヒステリック気味に怒られた。車の左側は運転席から遠いから、感覚を掴めなかったのが全てなのだが。その後徐々に慣れて、教科書通りの左折が出来るように成った。今でも左折する時は止まりそうになるまでスピードを落としている。初めて車に乗った時の宮元さんという教官（西口は何故呼び捨てで宮元さんはさん付なんだって？さあ）に「しっかり減速」と言われたのが耳に残っている。「あおり左折」は色々危険（ウィンカーが一旦消えるので、左折を諦めたと勘違いされ、後ろからバイクが全力で突っ込んできてギャ！、とか、右レーンの車が全速力で突っ込んできてギャ！等）なので、やめましょう、と書いてあった。その通りだ。スピード落とさないで左折しても格好良くないよ。草津田上インターはジャンクションと一体なので、本線合流までと、名神に合流するまで結構な急カーブが多い。怖いから相当スピードを落として走っている。抜きたい人は右車線から抜いてね。小生冒険はしない方なんで。

頑張れ下村彩里アナ

昨日はその後台所の片付けをしながら報道ステーションを見ていたが、電車の立ち往生は小生の想像を超えていた。15台だったかな？7000人近くが閉じ込められたそうだ。大変だったな。融雪機（だったかな？）は積雪10cmが予想されたら稼働だったそうだが、予報では8cmだったので稼働しなかった、が実際の積雪は15cm。マニュアル通りにやるのはいいのだが、多少の融通は効かせた方がいいのでは？何にしても大騒ぎな二日間だった。新名神の立ち往生は解消し、近畿はもう大丈夫かな。しかし明日また雪かも、と言っている。うむ。

それにしても下村彩里アナは大変だ。日本全国東へ西へ行かされ、渡部瑠海アナが体調不良だと報道ステーションのメイン、安藤萌々アナが体調不良だとスポーツコーナーと、便利屋的に使われている。今日は雪深い所にいた。雪に埋もれたバス停を探して駅前を右へ左へ。まあ頑張れば森川夕貴アナのように成れる。森川アナも最初の頃はそうだった。今はニュース番組のレギュラーを持って、スタジオでぬくぬくとニュースを読んでいる。下村アナも頑張って下さい。

で日の変わる前に寝るつもりだったのだが、つい「これ余談なんですけど」を見てしまった。それでも12時半前には寝た。でも寒かったのかよく寝られず、4時くらいに目が覚めた。スマホを見たら気温は氷点下4度。幸い水は出た。で眠りが浅く、何度も目が覚めた。合間合間に変な夢を見て、非常に寝苦しかった。

で排水管の清掃の人は2時くらいに来た。幸い何事も無く、15分程で終了。その後もう一度寝た。が、よく眠れない。7時過ぎに晩飯のため起きた。Uber Eats に馬鹿の一つ覚えですき家のニンニクファイヤー牛丼を頼む。でうだうだとテレビを見て、ちょっとドリンクを買いに出る。まだ雪は大分残っている。立体駐車場の最上階の車には相変わらずかなりの雪が乗っていた。小生の車は地下に回っていた。明日はゼミのため職場に行くので車を出す。その時に車の様子は見ることにする。本当は見ようかと思ったのだが、何しろこの時間で既に氷点下。車が出てくるのを待ってられない。急いで部屋に戻って暖房を付けた。しかし前住んでた所だったら、こんな寒い日はやってられないな。前の部屋は今と変わらず2階だが、角部屋で1階は駐車スペースに成っているため部屋が無い。しかも無駄に広かったから、暖房の効きの悪いこと。寝る時は暖房を掛けてジャンパーを着ていた。さっき暖房をオンにしたばっかりだが、もう暖かい。これに床暖房を使えば無敵だが、今シーズンはまだ床暖房入れてないな。実家は冬は床暖房のみ。人が一日中いると暖かいな。まあもしかするとここ数日はエアコンの電源入れたかもしれないが。横浜もそれくらい寒かったようだ。もう一我慢すれば暖かく成るそうだから、堪えよう。入試のシーズンが寒くないことを願う。

狛江の強盗事件が実は凄い広域な事件で、犯行指示役の「ルフィ」を名乗る人物はフィリピンにいるとか。が「ルフィ」も実は誰かの指示を受けて動いているという節がある。実行犯はSNSで「高額バイトをしないか」と誘われて動いたと言うし、何だか21世紀の犯罪だなー、という感じ。早く全貌を解明して、一網打尽と行って欲しいところ。フィリピンとは犯罪人受け渡し条約を結んでないそうだから、難しいかな。

昨日の大雪は凄いことに成っていた

昨日ドラッグストアでビールとレモンハイを一缶ずつ買った。で呑み終わって、違法販売機に追加を買い出しに行こう、と思って表へ出たら、凄いことに成っていた。雪が目茶目茶積もってる。でかなり降っている。これはやめよう、ということにして大人しく数時間。テレビも一区切りついて、深夜2時くらいに表に出てみる。雪は止んでいたが、積雪はさらに凄いことに成っていた。スマホを持って、写真を撮りに行く。普段メインエントランスはあまり使わず、通用口から出るのだが、1階に降りる階段に相当積もっている。恐々1階に降りて表へ。数時間人が歩いていないのか、フカフカな雪には足跡が無かった。が、駐車場から車を出した様子はあった。小生の車は普段地下に潜っているのだが、夕刻5時過ぎに帰ってきてからずーっと、地上にあった模様。誰も帰ってこなかったんだろうか？機械式駐車場がトラブる可能性があるので、コインパーキングに移すなどの措置を取ってください、と張り紙がしてあったが、それを守った人が多いということか。三条通は凄いことに成っていた。が、人がいつもより歩いていた。人を大量に乗せた救急車両が走ったり。何なのだろう？

でそのまま起きていて、5時から始まる情報番組を見た。何やら新快速がJR京都線と琵琶湖線で何台も立ち往生したそう。西大路駅までちょっと、とか、山科駅までちょっと、という所でだそうだ。10時間近く閉じ込められて、体調不良で救急車で運ばれた人もいるとか。で情報を合わせると、深夜の2時頃に歩いていた人や大量の人を乗せた救急車は、山科駅の手前で電車を降ろされた人達のようだ。うーん、大変。で今日は琵琶湖線も京都線も神戸線も運休。当然一日大学は閉めるのか？と思ったら、6時くらいに事務からメール。1、2限の講義、試験は休み。その後の状況は10時に更新する、とのこと。9時35分に事務長から生協の売店と食堂の営業時間に関する情報が来た。昼食対応のみする、との情報。事務長は大学に行ったんだろうか？食堂や売店で働く人は？うーん、大変。数理が管理している部屋に机等を今日搬入することに成っていたが、それも延期。それはそうで、うちは山の上にあるから、下道で運び込むのはまず不可能。で名神名古屋方面は、瀬田東JCTを先頭に45kmの渋滞、と寝惚けたことを言ってる。新名神は甲賀土山付近でトラブって通行止め。どうしようもないね。京都の積雪は13cm。こんなに降ったのは8年振り、とか言ってたが、記憶に無い。で過去に書いたものを調べたら、どうやら小生が横浜に帰省している間に降ったということらしい。こっちに戻ってきたら雪が残ってた、とか書いてた。確か京滋バイパスが通行止めに成ったというニュースを横浜で見たな。それ以来か。大津市内から宇治に抜ける道は実質京滋バイパス一択だし、京都市内に抜けるには名神と国道1号しかない。もっと道を作った方がいいのでは？といつも思う。まあ無理だろうけど。

それから寝たり起きたりを繰り返しながら情報を仕入れていた。で夕刻の番組によると、明日の朝は今日以上の寒さとか。京都は氷点下5度くらいまで下がるらしい。水道管凍結の可能性は大、とか。今日は寝不足だし早く寝よう。明日は午後排水管の清掃に人が来ることに成っているし、台所と風呂を少し掃除して、日の変わる前に寝よう。

雪の降る寒い日（10年に一度の3連休の寒波とか）

今日は雪が降り出す前に職場に行って、とっとと帰ってきて、という予定だったのだが、実際はさにあらず。3月に開業する東急相鉄直通運転のことを知りたくて、YouTube を見出したりなどして、遅くまで起きていてしまった。

で起きたら3時くらい。診察は4時まで。やば。急いで出掛ける。まだ表は明るく、青空が見えていた。が、草津に向かって走っているうちにそらがどんどん暗く成り、雪が降り出した。大したことないや、と思っていたんだが、職場に着いたら相当な降りで、風が強く、傘が役立たない。仕方ないので傘をささずに行く。幸いウェストウィングの近くに車を止めることが出来た。が、至近距離だと思ったが、風が強くて大変。3時45分くらいに保健センターに着いた。で血圧を測ると、めちゃめちゃ高い。薬を飲んでないのもそうだが、寒いのも原因かと。処方箋を受け取って、20分くらいで退散。もう車や土の所は雪が積もっていた。が、雪は弱まっていて、空は明るくなっていた。

で渋滞前に高速道路に乗れたのは良かった。走っているうちに空がどんどん暗く成っていく。雪も強くなる。それでも5時過ぎには住処に辿り着き、大過無かった。天気予報を見ていると、北近畿は大雪警報だの波浪警報だのと、じゃかじゃか出てくる。電車のダイヤは目茶目茶乱れているようだ。明日は一部電車が始発から運休とか。大変だ。京都市内は5時半現在で氷点下1度。明日の朝は氷点下3度まで下がるそうだ。最高気温は3度。明日は大人しくしよう。

さて、東急相鉄直通運転のことだが、大変そうだ。海老名からの電車は三田線、南北線に乗り入れ、湘南台からの電車が渋谷へ向かうそうだ。というのも海老名からJRへ直通する電車が出ていて、東横線、副都心線乗り入れだと行き先がダブるから。で三田線、南北線は埼玉高速鉄道と相互乗り入れ、副都心線は東武東上線、西武池袋線と相互乗り入れしている。10両編成があったり8両編成があったり、西武池袋線は東急相鉄直通線には乗り入れず、引き続き東横線・みなとみらい線への乗り入れだけするなど。小生が大学に行っていた頃は、日本一複雑なのは京急・浅草線・京成線・北総開発鉄道の相互乗り入れだったと思うが、今度のはそれどころじゃないかも。とにかく一度乗りに行こう。3月18日開業だそうだ。そのあたりは卒業式があったり、早稲田の集会があったりするし、あっと言う間に新年度に成ってしまう。まあ2泊3日くらいで一度行こう。

修論ネタを思い付いたと思ったのだが…

珍しく二日続けて呑んだ。月曜日に用事が無いといいです。で呑みながら先週やった「ゴチバトル」を見た。6人中3人クビということで、当然新メンバーは3人。で2回に分けて新メンバーを発表する、とのこと。先週は2人発表された。楽しくなりそうだ。その後ウダウダと7時過ぎまで起きていた。

で妙にリアルなドラマの夢を見た。こんなドラマあったら見たいな、という感じ。でその後起きたり寝たりを繰り返したが、ちょっと示せそうな命題が夢に出てきた。尾崎学氏がこんな命題を証明していたのでは？という気がして、巡回拡大だったら至極簡単に成るな、と。で寝惚けていた証拠に、局所類体論と大域類体論をごっちゃにしていた。起きて尾崎学氏の結果を MathSciNet で探すも、そういう結果は証明していなかった。Tate コホモロジーを使って何やら証明していたと思ったが、そういう結果はあった。が、小生の思っていたのとは違った。まあ局所体じゃないからね。ということで修論ネタは一つ消えた。

ドーピングしてから食事。旨かったが量が少なかったな。後で間食しよう。明日は資源ゴミの日だ。分別しないと。保健センターに行くので、あまり遅くなく寝よう。夜には雪が降り出すと言っていたし、処方箋を書いてもらったら直帰だな。明後日は外出したくないし、寒い中 Uber Eats に配達をしてもらうのも申し訳ないから、食料を買い込んでおこう。呑んで一日寝倒すというのも一案だな。まあいいや。明日考えよう。

メールを見ると、2月20日（月）の用事の件で一通来ていた。大学入学前教育「課題研究アワード<理系>」と言う奴の件で。例年修論が終わると何も用事は無くなるんだが、今年はこんなのが待ち構えていた。2月20日に職場に行かないといけないのか。面倒だな。お袋の一周忌が2月16日だが、土、日にやると兄者は言っていたので、2月19日（日）に成る可能性が高い。2月16日は修論発表会で、小生のゼミの学生が1名いる。17時から。N 先生に副査を頼まれたが、その学生は15時らしい。あまり早起きはしなくて済むな。去年は Zoom 開催だったので実家から参加できたんだが、今年は対面でやるので、16日は職場に行かないと。で調べたら14日に会議、17日に会議と、細々とした用事が多い。まあ今年は忘れてしまってサボっても問題は無い（いや、そんなことあるかい！）が、来年は進行役なので、絶対ちゃんとしないと。考えるだけでぞっとする。まあ2月5日からの早起きする仕事は免除に成るのでいいが。60歳に成ったらやらなくても済むようになる。あと数年だ。頑張る。

貴景勝3回目の優勝

昨晩は遅くまで呑んできた。暇だ、と店長が言っていたので、ちょっと高いものを食べることにした。小生ガーリック好きなので、馬鹿の一つ覚えのようにガーリックライスかペペロンチーノばっかり頼んでるんだが、そういう事情でパエリアにした。米から作るので少々お時間いただきます、と書いてある通り待たされたが、美味しかったのでよし。その後しばし店長と話していたら、Uber Eats 経由で注文が入ってきた。何やら店長がパニックている。凄い量の注文が一気に来たようだ。で作業に入るというタイミングで、時々アルバイトに来ている女性が呑みに来た。「手伝って！」と言われ、席に着く前に手伝いに駆り出されてた。二人でバタバタと30分程。一気に12000円分の注文だったそうだ。店で同じものを注文された時は、出来た順にどんどん出せばいいが、宅配だとそういうわけにはいかず、タイミングを絶妙に合わせるのが難しいそうだが、やっちゃうところが凄い。元々ホテルで働いてた店長だ。そういう所はお手の物ようだ。その後3人で楽しく会話しながらひたすら呑んできた。

で帰ってきても眠くないので、色々しながら起きていた。今週は超ド級の寒気が到来して、寒くて荒れる、と言っていた。で5年前の同じ時期も寒かったとテレビで言っていたので、ブログを見返してみると、2018年1月24日は最低気温－1度、最高気温1度だったようだ。水曜日は予報では最低気温－2度、最高気温2度。うむ。まあ水曜日は幸い外出する用事は無いが、火曜日は保健センターに行くので、職場に行く必要がある。いや、本当は先週行ってる筈だったんだが。火曜日は落ち着いた天気でありますように。

で「サンデーライブ」が始まった。村神様と古田の対談の後編をやる、と言ってた。先週は途中で寝入ってしまい、対談の前編を見ていない。で今日も7時半くらいにダウンしてしまい、後編も見なかった。残念。でテレビも暖房もパソコンも付けっ放しのまま寝入る。目が覚めたらもう相撲の時間だった。

先場所優勝の阿炎は千秋楽で勝ち越し。新三役の琴ノ若も千秋楽で勝ち越し。二人ともこんなもんじゃないでしょ。来場所はもっと暴れてください。若元春が新小結で9勝。来場所は若隆景と兄弟で関脇か。凄いね。翔猿が7敗してから5連勝で勝ち越し。筆頭だけに三役復帰の可能性もある。頑張ってもらおう。これより三役に錦木が抜擢された。前頭5枚目ながら9番勝っていて、まあある意味順当か。かたやもれた正代は今日も負けて9敗。来場所は平幕か？で結びの一番はまさか大関貴景勝相手に前頭13枚目の琴勝峰を当てる、という割に。まあ勝った方が優勝、というのでわかりやすくていいということだろう。結果は貴景勝がすくい投げで勝利。3回目の優勝。貴景勝の奥さんのお父さんは北天佑だそうで、北天佑の優勝は2回。それを超えられて嬉しい、と言っていた。今場所目茶目茶いい成績で優勝なら横綱、という意見もあったそうだが、3敗なら目茶目茶いいとはいかないだろう。まあ来場所はご当所大阪だし、そこでまた優勝して横綱、というのがいいシナリオだ。来場所も期待。

さて、時間がちょっとあるので、のんびりと過ごしている。Silverman の “A friendly introduction to number theory” を数理科学セミナーの代数クラスで使うそうなので、どんな本なのか眺めてみる。面白い。Silverman って人は博識な人だ。楕円曲線の本は今でも標準的な教科書で、研究業績も豊富。それでいてこういう初等的な本も書けるのは凄い。で数理科学セミナーでは8章までやる予定らしいが、それだと合同式の前で終わってしまう。当然原始根の存在もやらなければ、平方剰余もやらない。それじゃ面白くないな。まあ全部やられてしまっては小生の卒研の存在意義が無くなるので、程々にしてくれて助かるんだが。石井先生が担当しなくなった後は誰がやるんだろう？小生？いやー、やりたくないな。ゼミはストレスがたまる。それに1年やって合同式も出来ないんじゃ。3回生配当で、3回生の代数の科目で合同式やフェルマーの小定理、オイラーの定理をやるので、そっちの方が面白い。多分T教授が来年度いっぱいで定年なので、新しい人を雇うことに成るが、その人にやってもらおうか？いや、群論もやってもらわないいけないし、T教授にやってもらおうか？嫌がるかな。まあそうなったら考えよう。

朝乃山十両優勝

昨日は「座王」を見たら寝よう、と思っていたんだが、開いていた SageMath に関する pdf が面白く、しばらく読み込んでしまう。極限値を求める方法は知っていたが、片側極限も求められる、とわかった。微分方程式を解いてる例題があったり、生物学や物理からの例も沢山出ている。専門ではないのでどの程度凄いかが良く分からなかったが、とにかく色々出来るということが分かった。で SageMath の Windows マシンへのインストールはちょっと難しい。一時バイナリファイルを配布していた時があり、その際にインストールしたんだが、それっきりアップグレード出来ない。仮想 Unix をインストールして、とかやったことない。が、書いてある通りにやったら出来てしまった。これでバージョンが 9.1 から 9.5 に上がった。が、まだ万事うまくいってるか自信が無いので、9.1 はアンインストールしないが。普段使っていパソコンは 1TB のハードディスクを積んでいるんだが、128GB を C ドライブに、残りを E ドライブにというよく分からない切り方をしている。C ドライブの残量が少なくなると起動しないそうなので、要領を空けないといけない。ということで、一番ディスクを食っている Maple を E ドライブに移すため、いったんアンインストールして新しいバージョンを E ドライブへインストール。巨大なファイルのため時間が掛かった。で動作実験。上手くいった模様。昨日書いた 1/(1＋√2＋√3) を分母に根号が無いような形にする計算は、何故か SageMath だとうまくいかない。Maple だと rationalize 命令を使えばうまくいく。ということで、まだ Maple を捨てるわけにはいかないのだ。そんなこんなで結局5時近くまで起きていた。表はまだ暗かった。

で床屋に行く計画だが、起きたらまもなく幕内の相撲が始まってしまう時間なので、頓挫した。今晩はこれから呑みに行くので、明日も相撲前に床屋へ行って、というのは無理そう。床屋は月、火が休み。水曜日は目茶目茶寒いらしい。ということでもう1週間くらい床屋へ行けないかも。鬱陶しいが仕方ない。

で相撲だが、朝乃山が十両優勝。今まで十両以外では全て優勝しているそうなので、これでコンプリートだな。おめでとう。幕内の優勝争いは、阿武咲が負けて一歩後退。貴景勝、琴勝峰が3敗でトップ。少し前から千秋楽の割は14日目の取り組みが全て終わってから組む、と成っていて、まだ分からない。多分呑み屋から帰ってくれば決まっているだろう。楽しみだ。

さて、講義は終わった。採点も済んだ。というところで今晩くらいは呑んでくる。昨日の晩思い出したのだが、何やら水回りの点検に来週人が来るという通達が届いていた。流しの周りが大分散らかっているので、片付けないといけない。一番暇な時期でよかった。明日やろう。

秋学期の講義は今日で終了

今日は11時20分頃に近所に行く野暮用があったんだが、起きたら11時10分。やべ、と急いで飛び出す。寝癖ボーボー。用事を済ませて、なか卯でカレーを食べて帰ってきた。その後昨日の相撲をチェックして、シャワーで寝癖を直して、2時頃に職場へ向けて出発。

今日は金曜日だが、うちの大学は月曜日の15週目。ということで「代数学II」の最終回。コラーニングIIの2階に着くと、誰もいないのに電気が点いて暖房がガンガンに掛かっている部屋があったので、止めて電気を消してきた。で小生が講義する部屋へ行くと、電気が点いていない。2時半までの講義があるはずだが、今日は学生が来ないだろうから休講にしたのだろうか？そういう理由で休講にするのはいけないはずだが。そんなことより今日の出席者はついに0だろうか？と心配に成るも、まあそれならいいか、と開き直る。数セミを読んでしばし時間潰し。トイレに行って戻ってきたら学生が来ていた。先週と同じ学生。2時40分に成ったので、今日も1人相手に講義。今日は代数学の基本定理の証明を終わらせて、三大作図問題の不可能性を示した。で終了10分前に成っていたので、正多角形の作図を詳細にやるのは無理なので、概略だけ話した。一応15回済んだ。まあよかった。秋学期の講義は今日で終了。

個研室に行って、まずレポートの提出状況をチェック。今日の5時締切だが、4時半の時点ではまだ30人程。さっきまで講義に出ていた学生がまだ出していない。講義に最後まで来てF評価は勿体ない。出してくれよ、と願い、一旦画面を閉じる。その後講義ノートを少々手直しして web に上げて、などとやっているうちに5時を過ぎていた。レポートは48名提出。講義に出ていた学生も提出していた。よかった。48人分くらいならすぐに採点できるな、と思ったのだが、相撲の結果が気に成るので、帰ることにした。結びの一番に間に合うかも、と思って。で大津までは順調だったのだが、そこから京都南まで渋滞しているらしい。大津通過は5時半だったが、京都東到着予想は5時45分。何を！と思ったが、5時38分くらいには料金所を通った。が、そこからいつもの通り渋滞。料金所と四ノ宮の交差点の間に五条方面と三条方面の分岐があるのだが、五条通に行く車で溢れていた。そこを過ぎても四ノ宮の交差点に中々辿り着かない。すぐ無くなる右側の車線を全速力で抜いていく車が数台あったが、すぐ合流させてもらわないといけないし、それに三条通は渋滞している。そんなに急いでどうするんだろう？といつもながらに疑問に思う。

で住処に着いたのは5時58分。テレビを付けると貴景勝が阿武咲に勝った所。3敗で3人並んだとか。もう1人は誰だろう？NHKのニュースを見ることにして、ネット調査はしないでおいた。

でレポートの採点を始める。最初のうちは甘々に付けていたんだが、どんどん気が変わってきた。A+ と A の間が開き過ぎている。A の一部は B に回そう、と。で一応最後まで済ませてから見直すことにして、終わらせる。晩飯を食べてきた。珍しく外で。これから見直しをする。

それにしても 2^1/3 は Q(cos(2π/n)) に含まれない、∀n、なんて誰も正解出来ないだろう、と思っていたんだが、出来ている学生がいた。フォーマットがそっくりな答案が幾つかあったから、それはまあそのうちの誰か一人が出来たんだろう。フォーマットが違う答案もあった。自分で考えたのかな？演習書の類は幾つか見たが、その中にこの問題は出ていなかったが。講義で Q(cos(2π/n))/Q がアーベル拡大であることをやった。それとガロア理論の基本定理を知っていたら1行で解答できる。あえてノーヒントにしたが、それでよかったかな。R＝\{\begin{pmatrix} a ＆ －b \\ b ＆ a \end{pmatrix}｜a,b∈F_p\} は、(1) p＝2 の時は体でない、(2) p＝5 の時は体でない、(3) p≡3 (mod 4) なら F_p² と同型であることを示せ、なんていう問題も出したんだが、ほぼ壊滅。1人だけ(3)に正解を与えていた。が、2行2列の行列 \begin{pmatrix} a ＆ b \\ c ＆ d \end{pmatrix} が逆行列を持つ ⇔ ad－bc≠0 を使っていなかった。高校で行列をやらないからこういうことになる。まあいいけど。

さ、見直すぞ。明日呑み屋に顔を出しに行くから、今日は酒は無し。明日は床屋に行きたいので、今日は徹夜はしないようにしよう。

等と書いてしばし。もう1人の3敗は琴勝峰だった。レポートを見直して、新しい基準で採点。A から C に落ちた学生がいた。申し訳ないが仕方ない。逆に A+ に上がった学生も1名。で色々気に成った。√2＋√3 の Q 上の最小多項式を求めさせる問題を出した。求めるのは簡単。X⁴－10X²＋1。最小多項式であることをきちんと示すこと、と書いておいたので、答えだけ書いた答案は皆無。まあよかった。しかし、1次の因子を持つと仮定して因数分解した時の答案が滅茶苦茶であるものが一定数いる。(X＋a)(X²＋bX＋c) とか。4次式を分解して3次式に成るのは不思議だと思わないんだろうか？去年も一定数いた。(X＋a)(X³＋bX＋c) としている答案もあった。2次の項が消えてるのは何故？(X⁴－10X²＋1)A(X)＋(X＋1)B(X)＝1 となる A(X),B(X)∈Q[X] を求める問題は出来てて、なのに 1/(1＋t)（t:＝√2＋√3 と問題の頭でおいている）を at³＋bt²＋ct＋d（a,b,c,d∈Q）の形に表せ、という問題を一から計算し直している答案も多数。1/t はどうやら (2＋√2－√6)/4 となるらしい。√2, √3, √6 を at³＋bt²＋ct＋d（a,b,c,d∈Q）の形に表せ、という小問を出していて、これを使って一生懸命計算していた。上の式の X に t を代入すれば何の計算もしなくていいんだが。なんも分かっていない、ということだろうな。まあ講義に1人しか出席者がいないんだ。当然だな。沢山いても同じだろう、ということは過去の試験の答案が物語っている。採点すると疲れる。今日は早く寝よう。おっと、先週の「座王」をまだ見てない。テレビに繋いでるハードディスクの余裕が無いので、見ておかないと今晩の分を録画できない。取り敢えずそれを見て、そしたら寝るかな。

SageMath のマニュアルを読んでたら徹夜してしまった

また徹夜してしまった。SageMath のマニュアルを読んでいたら剰余環を与えるもうちょっと易しい方法を見付け、それを使うと F₂(α)（α³＋α²＋1＝0）から F₂[X]/(X³＋X＋1) への埋め込み（即ち同型対応）を求められる。が、謎なことに F₂[X]/(X³＋X²＋1) から F₂[X]/(X³＋X＋1) への埋め込みを求めると、空のリストが返ってくる。なんなんだろか。まあいいです。

で寝ようかと思ったんだが、SageMath のマニュアルの続きを読んでしまった。合併体の作り方やヒルベルト類体の求め方など色々分かった。で小生の1999年の論文は色々な体が出てくるが、その時の苦労は SageMath でほぼ解消するのでは？と思い始めてみた。当時は KASH を使っていたが、あまり上手に使えていたとは言い難い。今度はどうだろう？と思ったら、大体出来た。K⊃F の時に F の素イデアルを K に延長する方法は分からなかったが、まあ F での 3 の分解と K での 3 の分解が分かったので、どうにかなった。色々出来るな。外はもう明るくなっていた。が、まだ SageMath いじりは終わらず。is_nth_power とか nth_root という命令がある。これを使うと一昨年出た論文の下調べをしている時に書いたプログラムが簡単に成る。書き換えて実行してみると出来た。a が n 乗数かどうか判定するのに Xⁿ－a を因数分解している、と書いてあった。小生はそうプログラムを書いた。ということは速くはならないだろう。まあプログラムが単純化されるのでいいです。でまだマニュアルを読んでみた。よく代数の本に「L∩M＝K だが [LM：K]=[L：K][M：K] と成らない例」として K＝Q、L＝Q(2^1/3)、M＝Q(2^1/3ω) が出ている。これをコンピューターに実装するのは無理だろう、と思っていた。L も M も Q[X]/(X³－2) で与えるからね。が、よく読んでみると、X³－2 の根の C への埋め込みを指定できる。ということで L と M は違う体であるとコンピューターに認識させることが出来、[LM：Q]＝6 が示せた。面白いね。それと、二つの代数体が同型かどうか判定する命令があるが、True か  false しか答えてくれず、True の場合は同型対応が欲しい。PARI/GP はそれを返してくれるので一々 PARI/GP で別途やっていたんだが、適切な引数を与えれば同型対応も返してくれた。これは使えるね。使って論文を書けるように成ろう。

ということで10時過ぎまで起きていてしまった。今日は床屋へ行こうと思っていたんだが、7時まで寝てしまい、計画はおじゃん。そういえば今日は美味しいウィスキーが呑める、と言われていたな。それもおじゃんか。まあいいです。楽しかったから。明日は午前中に野暮用があり、その後2時40分から「代数学II」の最終回。今日こそはちゃんと寝よう。もう眠いから寝よう。起きたばっかりだが。

卒研ゼミ最終回

昨晩は寝不足なのに、2時くらいまで起きていてしまった。で今朝は10時半のアラームも11時のアラームも無視して寝続け、起きたら12時くらい。まだシャワーを浴びる時間くらいあるので、ざっと浴びて、12時半前に出発。

今日で卒研は最終回だが、4分くらい遅刻してしまった。最後までしまりの無いこと。今日も演習問題を4題解く。まず p が素数で m が正の整数なら \binom{mp－1}{p－1}≡1 (mod p) を示す問題。どうやるんだろう？と思ってそのままにしておいたが、二項係数の定義を使えば簡単だった。何か意味のある問題なんだろうか？二項係数の関わる合同式というとシローの定理の証明に出てくるあれが有名だが、そういう由緒ある合同式なのか？知らんけど。次は Γ₁(N) が SL₂(Z) の部分群であることを示す問題。でここで下らんミスをしていた。4回生に成ってもこういうミスをするんだな。彼は割と出来る方の学生だと思っていたんだが。やはり低回生のうちにもっと仕込んでおかないといけないだろう。次は X,Y,Z∈SL₂(Z) で X⁶＋Y⁶＝Z⁶ を満たすものを無いことが示す問題。まず SL₂(Z) の元は6乗すると単位行列に合同と成ることを示す。略解が出ているので迷わなかったようだが、6乗の計算を整数のままやったそうだ。何のための合同式か分かっていない模様。それが分からないと合同式をやった意味はあまり無いのだがな。それと2乗して単位行列に成れば、6乗が単位行列なのは自明。こういうことをして計算量は減らさないと。計算好きなのかな？最後は 3²⁰⁰⁰ を14で割った余りと、2³⁰⁰⁰ を15で割った余りを求める問題。オイラーの定理と合同式を上手に使っていた。いいでしょう。で1時間くらいで終わってしまった。時間があるので次の問題の解説。いわゆる Wilson の定理を示す問題だが、示すのでは面白くないだろうから、10!≡－1 (mod 11) を示した。これで分かれば一般の素数の場合の証明もすぐ出来る、というわけで。先の方に原始根を使った別証明が出ているので、それもやる。でまだ時間があるので、ちょと話。Wilson の定理の主張の対偶命題を使えば、素因数を一つも求めなくても合成数であることが示せる。でこれは大変なので、Fermat の小定理の対偶を使う、という話。冪乗は2進展開すれば短時間で求められることも話す。まだ時間があるので、Euler 関数は乗法性を使えば小さい数に帰着できるが、一般には素因数分解をするのが大変、それを逆手にとって RSA 暗号というものが考え出されたなど。離散対数のこともちょっと話した。どうだったろうか？まあ自己満足は出来た。でどっか呑みにでも行きたいところだが、まだコロナがこんなだし、今罹患するわけにはいかないので、諦めてきた。卒業式で会いましょう。2時20分くらいに終了。

で個研室に一旦戻って、弁当を買いに行く。食べたから昨日の晩考えていたことの続きをやろう、と思っていたのだが、うっかりマインスイーパーを始めてしまう。中々クリア出来ず、1時間くらいやってしまった。いかん。ドーピングして、F₂[X]/(X³＋X²＋1) と F₂[X]/(X³＋X＋1) の間の対応を与えることを試みる。X³＋X²＋1 の根の一つを α とすれば、F₂[X]/(X³＋X²＋1) と F₂(α) は同型。対応は X に α を対応させることで実現できる。X³＋X＋1 の根の一つをβとすれば、β＋1は X³＋X²＋1 の根。ということ F₂(α) と F₂(β＋1) の間の同型対応がつく。これを剰余環の言葉に直す、とやればOK。ということで f(X) に f(X＋1) を対応させればよいと分かった。確かに市川氏の講義ノートに書いてあった通りだった。TeX にまとめておく。

その後しばし SageMath いじり。Hom という命令があることが分かった。Hom(K,L) とやると、K から L への埋め込みを与えてくれる。K,L を #K=#L なる有限体とすれば、埋め込みは同型写像に成るので、これを使えば K と L の間の同型対応が求められる。確かに出来る。で K(α) と K(β) が K 同型であることと α と β の K 上の最小多項式が等しいことは同値、という事実に気付き、有限体の間の同型写像は α の最小多項式を K(β) で分解することにより全て求まる、という当たり前の事実に今更ながら気付いた。それを剰余環の言葉に直せばよい、となれば、有限体上の多項式環の剰余環の同型はすぐ与えられるな。勉強に成った。

で SageMath で K[X]/(f(X)) を実装させる方法が分かった。で変数 K1 にF₂[X]/(X³＋X²＋1) を入れて、K2 に F₂[X]/(X³＋X＋1) を入れて、有限？体？位数は？とやってみると True, True, 8 とちゃんと返してくれた。G＝Hom(K1,K2) も出来た。が、G の元を取り出す方法が分からない。G の位数も求まらない。有限体だと G[0] とか G.order() で出来るのだが。これが出来れば剰余環の間の同型対応が求められる！と期待していたんだがな。まあいいや。で9時半過ぎまで色々やっていた。

晩飯はすき家で。いつものニンニクファイヤー牛丼でもよかったのだが、正月にすき焼きを食べていない。お袋が元気なころは元日はすき焼きだったんだが。なので牛すき鍋膳にする。すき家は卵が最初から2個付いてくる。旨かった。そのまま国道1号を通って帰ってきた。峠道に入ってすぐ、登坂車線から抜いていった車がいた。登坂車線は、“Slower traffic” というくらいで、遅い車が走る所。そこを使って追い抜くとは危険極まりない。で小生の車を抜いたのはいいが、そのまますぐ走行車線に戻ってきた。次の信号でその車には追い付いた。何の為に抜いたか謎。いつも思うんだが、そんなに慌ててどうするんだろうか？片側1車線の道路だし、信号もある。ちょっと急いだって差は出ないぞ。まあこういうのを反面教師として日夜安全運転に励んでいる小生であるが。

最近朝慌てて出たり徹夜したりで、薬を抜くことが多い。今日も血圧の薬も鼻炎の薬も飲んでない。いかんな。まあいいや。今から服用しよう。明後日は午前中に近所でちょっと用事があるので、今日は呑まないで明後日早起き出来るよう、ちゃんと寝ておこう。

阪神淡路大震災から28年

シラバスの直しは短時間で終了。大学院科目が春学期から秋学期に変わっていて、「6月にレポート問題を公表する」と書いてあったのをそのままで入稿してしまったが、後で気付いて直す。多分問題は無いだろう。2月にW先生が全科目のシラバスの点検をすることに成っている。学科の専門科目だけなら大した量じゃないが、他学科、他学部の数学基礎専門科目まで点検するので、凄い量。去年は小生がやったが、入試、修論、そして身内の不幸と重なったので、あまりちゃんと点検出来なかったが。まあ問題無かったでしょう。

その後ちょっと有限体のことを。F₂[X]/(X³＋X²＋1) と F₂[X]/(X³＋X＋1) は共に8元体なので同型だが、同型対応を与えたのを見たことが無い。で、この前群論でちょっとわからないことがあり、google 検索を掛けた際に、色々な大学の先生がやっている講義ノートを大量に仕入れた。そのうちの佐賀大の市川尚志氏のノートを見たら同型対応が書いてあった。それが何故同型対応に成るのか？ということを考え始める。中々わからない。で色々考えたら分かってきた。が、まだ決定的に分かったとは言えない。もうちょっと考えてみる。

とやっているうちにプロレスが始まった。正月に実家で見た2時間番組を30分に圧縮したもののようで、オスプレイ vs. オメガの死闘をもう一度見ること出来た。昨日は2本立てで、次の日の試合にオスプレイが出ていた。プロレスラーはタフやね。で相撲のダイジェストが何時かだろう？と思って番組表を見たら、もう始まっていた。ということで途中から見た。貴景勝が頑張ってる。素晴らしい成績で優勝したら横綱に推挙する、という話だ。あれ？大関がいなくなっちゃうな。また「横綱大関」か？

でいつもの通り明るくなるまで起きていた。今まで書いてなかったが、いつもの通り違法販売機でレモンハイと買って呑んでいた。今日で阪神淡路大震災から28年らしい。ということで時間を取っていた。当時は大学院生で横浜にいたが、ちょっと揺れた。でラジオで速報を聞いていたら、震度の大きい所の地名が西日本の地名ばかりだったので、何か変だな？と思って起きた。最初は京都の情報が多かった。元Whalesの大門和彦氏が電話でインタビューに答えていた。で明るくなると神戸の情報が入ってきて、とんでもないことに成っていて驚いた。その数年前に神戸大学に行き、三ノ宮に泊まったが、そのあたりが酷いことに成っていて、びっくりした。確か十両の照強が生まれたのは28年前の1月17日じゃなかったかな？もうあんなことは起こらないで欲しい。

でテレビを見ていたら眠くなってきたので横に成る。また1時間くらいで目が覚めてしまった。スマホを見ると、今日は保健センターに行く日だった。呑まないで早寝すべきだったな。居眠り運転が怖いので、もう一寝入りしよう、と思ったら、夜まで寝てしまった。相撲も見てない。授業期間は今週までで、授業が終わると診察してくれる日が減る。来週は大丈夫かいな？と思って調べたら、来週も診察日に成っている。来週行こう。月曜日は呑まないようにしないと。

起きてスマホを見たら、先日書いた tsujimotter 氏がブログを書いているという情報が目に入る。何を書いているのだろう？と思ったら類体論について書いている、とのこと。類体論の主張を理解するのは難しい。そもそも大抵の人には「アーベル拡大」という言葉がわからない。「完全分解」とかも難しい。そこをちゃんと書いている、と言っていたが、どうだろか？後で読むことにしよう、ということで、hatena blog に登録した。スタートだけ見たが、いわゆる「フェルマーの2平方和定理」からスタートするようだ。まあそうなるでしょうな。氏はマニアックな数の話題を twitter に上げていて、典型的なアマチュア数学者だと思っていたんだが、Elkies の A⁴＋B⁴＋C⁴＝D⁴ の解のことを Elkies の論文を読んで理解したりと、もしかすると下手な大学院生より実力があるかもしれない。大学院生は2年間で修士論文を書かないといけないといプレッシャーがあるので、あまり楽しめないだろう。tsujimotter 氏は数論を楽しんでいる感じ。羨ましい。小生も定年退職したら目いっぱい数学を楽しみたいと思っている。今は講義の準備や、論文を書くことがあるので、あまり楽しめない。まあそれでも数学だからいいんだが、大学で働くと雑用が多いので、数学をやる時間がどんどん取れなくなる。来年度は大変だ。今年度中に楽しんでおこう。

「代数学II」の出席は1名

昨日は日が変わる前には寝た。で月曜日は12時にアラームが仕掛けてある。ということで爆睡。目が覚めた時はまだアラームが鳴っていなかった。何時じゃ？と思って時計を見たら2時。昼ね。嘘！と慌てて起きる。実家でスマホのアラームが鳴ると、親父殿がうるさがる。止め方がわからず起こされる、というパターンを毎年繰り返していたので、暮れに全部アラームを解除したのだった。飲み食いせず飛び出す。そうは言ってもまだ追い越し車線に出て追い抜きバンバン、ということはしないで済む程度の時間。2時半には駐車場に着いていた。

で講義室に着いたのは2時35分頃。学生は1人。まあ大抵ギリギリに2、3人入ってくるので、今日もだろう、と思っていたら、誰も来ないままチャイムが鳴った。1人か。末期症状だな。まあそれでも気にせず講義したが。今日は有限体の元の個数は素数の冪であることから始めて、逆に素数の冪 q（≠1）を与えるごとに q 元体が同型を除いて unique に存在することを証明。さらに有限体の有限次拡大はガロア拡大で、ガロア群がフロベニウス置換で生成されることなど。やってみるとどれも案外難しい。30分くらいで済むだろうと思っていたんだが、75分も掛かってしまった。その後代数学の基本定理を証明する節に。今日は実数体 R の奇数次の拡大体は R のみであることしか示せなかった。来週は C の2次拡大体は無いこと、 p 群の中心が非自明であること、それを用いて p 群が可解群であることなどを証明して、代数学の基本定理の証明を終わらせる。その後3大作図問題と正多角形の作図をやりたいが、どこまで出来るだろう。3大作図問題はガロア理論を使わず出来る。正多角形の作図はガロア理論を使う。ゼミでヤコビ和の評価を使えばガロア理論はいらないことを教えてもらったが、今からヤコビ和をやるのは無理なので、ガロア理論を使う。が、時間はあるだろうか？

今日の講義は大事だった。F_q という記号をレポートの問題で使っているが、この記号は今日定義した。q が素数の時は F_q は Z/qZ だが、q が素数の冪で1でも素数でもないの時は違う。F_q が Z/qZ のことだと思って質問してきた学生がいたが、違うぞ、と返事しておいた。でさっき20日締め切りのレポートの提出状況を見たら、3人提出していたが、案の定同じ間違いをしている。これは有限体あるあるで、コブリッツの保型形式の本を後輩が読んでいる時も、卒研ゼミで楕円曲線の本を読んでいる時も間違えていた。今日の講義でその旨注意して、じゃあ F_q と同型であることをどうやって示せばいいか、ということを話した。3人位しか出席者はいないだろうから、サービス、と思ったのだが、1人では。M 君（珍しく名前と顔が一致している）は得したね。

生協で弁当を買う。スマホショッピングも大分慣れてきた。次回は大丈夫だろう。弁当を掻っ込みながら講義資料の直し。講義中に一箇所「ん？」となる所があったが、一瞬で問題無いことがわかった。が、やはりちゃんとした方がいいだろう、ということで講義資料を直す。因数定理を使うことを書くだけで大分違う。それと、K：体、F(X)∈K[X]、t₁,t₂∈K：F(X) の相異なる根 ⇒ (X－t₁)(X－t₂) は F(X) を割り切る、という事実を使った。これは K[X] が U.F.D. だから問題無い。が、それを意識している学生は皆無だろう。でちょっと考え始める。K[X] が U.F.D. であるということは、体 K の代わりに U.F.D. ∀R にしても問題無い。がちょっと条件が厳しいな、もう少し緩められないか、と。でしばらく考えたら R は任意の整域でいいことが示せた。R が整域でない時は駄目、という例は簡単に作れる。R＝Z/8Z、F(X)＝X²－1 にすれば、F(1)＝F(3)＝0 だが、(X－1)(X－3) は F(X) を割らない。これも気を付けないと F(X)＝a(X－1)(X－3), a∈R として矛盾を出す、とやりたくなるんだが、整域でない環だと deg(FG)＝deg(F)＋deg(G) は一般には成り立たないので、F(X)＝G(X)(X－1)(X－3)、G(X)∈R[X] として deg(G)＝0 であることも示さないと。で注意深くやって、出来た。TeX 化しておく。Web に上げる演習問題にも加えておく。で今書きながらもう一つ気に成った。分離多項式を割り切っていれば分離多項式、というのはどうだろうか？これも体上の多項式環が U.F.D. であることを使えば容易。今度考えよう。と誰も興味を示さない講義と誰も解かない演習問題を考えて、9時半くらいまで職場にいた。

夕方飯を食ったが、もう腹が減ってきた。昨日「松のや」の鰺フライが食べられなかったので、南草津の「松のや」に寄る。鰺フライ2匹の定食にしようかと思ったのだが、鰺フライ1匹と海老2本の定食というのがあったので、こっちにする。ご飯は小盛で。旨かった。生協の鰺フライよりボリュームがある。勿論生協は安いのだが。食器を下げて出口へ向かうと、知った学生がいた。スマホに夢中でこっちに気付かなかったので、声は掛けなかったが。

今日の国道1号は馬鹿にすいていた。そのせいなのか、それとも広報がきいたのか、自転車が2台車道を走っていた。すいていたので反対車線にはみ出して追い抜いた。センターラインは黄色くなかったと思う。いや、どうだったかな。まあいいや。峠道も全然車がおらず、スピードを出す必要が無いので安心して走る。三条通りに入ってもすいてる。何故だろうか？まあ混んでるよりいいけど。

10時40分くらいに住処に着く。報道ステーションのスポーツコーナーでヌートバー（WBC日本代表）のことを取り上げていた。こういう顔をしてるのか。日本とアメリカのハーフだと言っていたが、あまり日本風な顔ではないな。昔国際大会のバットボーイをしたらしく、ダルビッシュ有や田中将大と写った写真があった。「将来の夢は日本代表」と言っていた。叶ってよかったね。後は活躍してくれれば文句無し。頑張って下さい。

事務から来るメールを見ると、早くも新年度モードに成っているようだ。4月の準備をこんな時期から始める、というのは中々思いが及ばない。新年度のシラバスもそろそろ締め切りだ。いい加減書くか。まあ講義スケジュールはいじらなくていいが、レポート試験が廃止になるそうなので、成績の付け方を考えないと。定期試験をやってもいいことに成ったが、まだコロナの影響を考慮に入れよ、と言われている。具体的には、試験を受けられない学生がいるだろうから、成績評価のうち定期試験のウェイトは40%程度にせよ、と。うーん、それじゃあんまり試験をやる意味無いな。レポート試験は廃止だが、これはレポートで成績を付けてはいけない、という意味ではない。ということでレポート100％にしよう。定期試験だと60分でそこそこ出来て、得点分布がそれなりに成るような問題を考えないといけないが、レポートなら多少無茶がきく。今回の「代数学II」のレポートも難しい問題をノーヒントで出した。正解出来る学生はいないだろう。ということで、レポート100%にする。さ、やるぞ。

tsujimotter

「ツカレナオース」しようかどうしようか、と思った所で腹が痛くなってきた。呑んだ次の日は大抵そうなる。眠くもなってきたので、横に成った。すると1時間ほどで目が覚めてしまった。「ミラクル９」の続きを見たいので、起きた。ドーピングをして臨戦態勢。2時間ちょっとテレビの前に張り付いていた。面白かった。で6時前から「サンデーライブ」が始まったので見ていたが、流石に眠い。横に成るも、またしても1時間ほどで目が覚めてしまった。で手近にあったスマホを手にしてしまった。YouTube の未読が2300を超えていたので、一つ二つ見るか、ということで見る。tsujimotter という人がいて、数学の話、特に整数論ぽい話をしているので見た。Brocard の問題とか、Wiefrech 素数の話とか。後者に絡めて、非正則素数の話などもしていた。大抵10分程度なのだが、非正則素数の話は気合が入っていて、45分もの。何をそんなに気合を入れてるのだろう、という種明かしを最後にしていた。37は非正則素数。次は59。tsujimotter 氏は去年の5月9日に37歳に成ったそうだ。そのため随分前から温めていたネタを、わざわざその日に上げたらしい。37が大好きだそうだ。小生も37は好き。37で論文を2本書いた。出世作と成り、学位論文の一部を構成している。今年は55歳であまり面白くないが、4年後が楽しみに成ってきた。59でも論文を書こうか？

昼食後勉強しよう、と思ったのだが、37歳の頃何をしていたか思い出したくなり、昔書いた「独り言」を読み返した。実は今でも「い加川しいページ」から読むことが出来る。直リンクしている人はいいが、そうでない人はどうやって見たらいいかって？実は「い加川しいページ」から隠しリンクが張ってある。探してください。で見てみると、酒を呑んだ話と野球の話が殆ど。ロクでもない。膝が痛くて入院、手術するかも、なんてことがあったな、等と思い出しながら読んでいたら、endless に成ってしまい、かなりの長時間読んでしまった。野球のシーズン序盤の様子を見ると、そのシーズンどこが優勝したかとか気に成る。で10月から11月を読む、等。Baystars は目茶目茶弱く、「90敗しなくてよかった」、「5位を目指しましょう」などと毎年のように書いていた。去年は強かった。今年はぜひ優勝を。これをまた数年後に読んで、虚しい期待をしていた、と思うのか、それとも常勝チームに成り、弱かった当時を懐かしむか、どっちでしょうかね？

2時半くらいにようやく「独り言」読みを切り上げる。大抵テレビを付けっ放しでこういうことをするんだが、YouTube を見る時にテレビの電源は切ったので、余計読み込んでしまったのだろう。明日の講義の作戦練りでもしよう、といつもの通りテレビを流しっ放しでやることにする。相撲を忘れてはいけないので、NHK総合にチャンネルを合わせる。駅伝がやっていた。舞台は京都。とすると今日は交通規制が激しいだろう。大阪が8年ぶりの優勝とか。京都は2位、滋賀は20位。でインタビューなどが終わると相撲が始まった。十両の取り組みを見るのは久し振り。千代の国が画面に映っていた。千代の国は何故か好き。今場所は好調のようで、今日も勝った。で仕切っている間はパソコンの画面を見て、時間いっぱいに成ったら画面を見る、という工程を結びの一番まで繰り返した。仕切っている間も見てると力が入っていいのだが、昔ほど暇ではないので。「独り言」を読む時間はある？そうだな。こんなものを書いてる時間もある。まあいいでしょう。十両復帰の朝乃山が8連勝。関取で唯一の中日勝ち越し。幕内では1敗の碧山、阿武咲、大栄翔は負けたが、琴勝峰、貴景勝は勝ち、1敗が2人、という状況。貴景勝 vs. 錦富士は力の入った一番。昨日は錦富士と同じ部屋の翠富士が貴景勝相手に張り手の応酬をして、鼻血ものの一番だったが、今日のもそんな感じ。しかも貴景勝、錦富士、翠富士は同い年とか。錦富士、翠富士は同年代の出世頭を食ってやると気合が入っていたのだろう。解説の北の富士さんが今日は淡白な相撲が多い、とお嘆きだったが、結びの一番で気分を良くしたようだ。

忘れちゃいけないのが正代。昨日5敗目を喫して、大関復帰には1敗も出来ないとう状況に追い込まれていた。今日の相手は小結・若元春。立ち合いは良く攻め込んだが、あっさり体を入れ替えられ、寄り切りで負けた。これで6敗。大関復帰は無しと成った。それどころか2勝6敗では勝ち越しもどうなるか。先場所は大関から陥落していた御嶽海がまさかの負け越しという事態だったが、今場所もか？御嶽海は東2枚目で3勝5敗。二人ともどうした？

相撲が終わって、Uber Eats に夕食を頼む。最近インスタントものと肉が多いので、今日は魚介類がいい。「松のや」にカキフライか鰺フライを頼もう、と思ったのだが、「松のや」が店舗一覧に出てこない。また「すき家」でニンニクファイヤー牛丼か？と思ったのだが、肉が続いているので避けたいところ。で閃いた。「ガスト」にカキフライがある。ご飯と一緒に頼めばいい、ということにして、そうする。7時前に届いた。案外熱々で満足。

さて、8時から大河ドラマがある。今日2回目だが、まだ1回目を見ていない。見てないのがたまるとどんどん見なくなる。去年のは面白そうだという直感が働いて、鎌倉時代は詳しくないから勉強させてもらおう、と1回目からちゃんと見たんだが、今年は家康もの。信長・秀吉・家康ものはもう幾つも見ている。目新しいところがあるんだろうか？という気がする。それに主演が松本潤。イマイチ興味が湧かない。まあいいや、2回目を録画した状態で1回目を見るか。

去年のは本当に面白くて、暮れにやった「グランドフィナーレ」を今朝「ミラクル9」が終わった後見たのだが、面白かった。総集編も録画してあるが、見たいな。今週で講義が終わるから、少し暇に成る。その間に見てしまおう。いや、待てよ、寝ているうちに Blu-ray に焼いておいて、2月に大学に泊まる時見ようか？いや、「相棒」のシーズン4がもうすぐ終わりそうなので、それも見たいし、村下孝蔵のDVDも見たいな。まあいいや、後で考えよう。あ、8時だ。大河ドラマの第2話が始まってしまう。ここいらで筆をおこう。

足立先生からメール有

昨晩は先週見ようと思って見なかった「ミラクル9」の4時間スペシャルを見るべく、酒を用意してテレビに向かう。が、2時間くらいで限界が来て、寝てしまった。で目が覚めると8時。すわ20時か？と思って焦るも、朝の8時だった。まだ眠かったので、もう一度寝た。次に目が覚めたのは2時過ぎ。スマホを見たら、足立先生からメールが来ていた。年賀状を整理していたら、小生から来ていなかったので、何かあったか？と思われたようだ。足立先生は何年も前に年賀状じまいをされてしまったので、まあ喪中ハガキ出さなくてもいいか、と思って出さなかった。心配させてしまったな。寒中見舞いくらいは出しておくべきだった。父親が死んだ時はちゃんと連絡しよう。

食事を摂って、もう一度寝てしまった。目が覚めたら7時。何してんだか。テレビを付けると、「ジョブチューン」がやっていた。プロ野球の特集らしい。2022年の凄いプレーをランキングしていたが、桑原のダイビングキャッチがあったのは嬉しかった。2位は村上の56ホームラン。1位は成程、という感じで、佐々木朗希の完全試合。まあ当然かな。相手は Buffaloes だった。13打者連続奪三振の一人目は吉田正尚だった。この時は Buffaloes の日本一と吉田の MLB 挑戦は考えられなかった。今年はどんなスーパープレー、名勝負が生まれるでしょうか。楽しみですね。その後「世界ふしぎ発見」を見ている。パラオの特集だが、パラオには沢山の日本文化が輸出されているようで興味深い。インスタント麺、味噌、豆腐などが売っている。花札で遊んでいた。「ツカレナオース」という言葉があり、ビールを呑むことらしい。面白いね。昨日はレモンハイを呑んだが、今日は「ツカレナオース」と行こうか？

今日、明日は共通テスト。昨日職場に行ったら、「送迎は駐車場で」と書かれた看板があった。前は正門の前で子供を降ろし、Uターンしていく車が多かったようだが、正門前は駐車出来ないように成ってしまい、学内に入らないとターンできない。悪名高き「立命館大学正門前」のバス停の前に駐車している車が時々あるが、バス停から一定の距離は駐車禁止、と習ったのを忘れたか？まあグリーンヒル方面から来るバスが正門前のバス停に停まることは滅多に無いだろうから、問題無いが。とにかく、送迎は駐車場でやりましょう。

連分数を TeX で書くのは大変（綺麗に書けるが）

ブログを書き終わってメールを見たら、M2君からメールが来ていた。で連分数を書きたいようだが、苦労している。＋を分母の所に持ってくる方法がわからない、とのこと。TeX の本には大体例題として連分数が出ている。昔から皆苦労しているということだろう。で「美文書作成」を見たら、\genfrac と言う命令を使えば実現できる、と分かった。昔の本には \atop という plain TeX の命令を使って実現した例が出ていたが、こういう命令は極力使わない方がいい。でその旨書いてメールする。でもう一つ大きな連分数を書いていたが、\ddots の位置がよくない。どうやるんだろう？と思って始めてしまったのが運の尽き。3時くらいまで一生懸命やってしまった。で一応完成したので、メールして寝る。

で10時半の目覚ましをスルーして、11時の目覚ましもスルー。そのまま12時過ぎまで寝てしまった。夜更かしして TeX、という失敗は何度もしている。程々にしないと。今日のゼミはヒルベルトの定理90から。その後有限体の話。有限体の有限次拡大 K/k があった時、N_K/k：K→k が全射であることを示して、H⁰(K^×)、H¹(K^×) が消えていることなど。いや、むしろ H¹(K^×) が消えていることを示して、G が有限巡回群、A が有限 G 加群ならエルブラン商 Q(A) が1であることから H⁰(K^×) が消えて、ノルムが全射であることが従う、という方がコホモロジーの使いどころが分かっていい気がするのだが。ヒルベルト90は代数体の場合しか証明していない。d_K/k(γ₁,…,γ_n) を代数体の場合しか定義していないからだろう。一応コメントしておいた。終了後、コホモロジーって何なんですか？と質問されたが、それにはこう答えた。何か分からないからいじれないということはない。定義通りいじれれば問題無い。数学ってそんなもんだ、と。そこはそれで済ませたが、後で色々考えた。群って何？環って何？という質問はよく学生からされるが、何って公理を満たす集合のこと、としか答えようがない。実態が無いから面白くて、適用範囲が広い、ということは色々勉強しないと分からない。位相だって幾何的なものにしか適用できないなら大したことないが、無限次元ガロア理論などに出てくる Krull 位相には幾何的な意味は無い。有限次の場合の理論を無限次の場合に整合性を取れるように整理する言語、というだけだ。変な色が付いてないから、思わぬ応用がある。何でもすぐ分からないと気に食わない、という人は数学に向いてないだろう。何だかわからなくても、直感が働かなくても議論できる、と言う能力が必要。大学院に進学しようというならなおさらだ。

ゼミ終了後事務にメールを出して、TeX の本で連分数の書き方を調べる。「楽々 LaTeX」を久し振りに開いたが、AmS-LaTeX を使っていないので、\dfrac を定義するところから始まっている。2ε でなかったりと、もう時代遅れの感は否めない。「今度こそ AmS-LaTeX」なんかもそう。それでも役立つところがあるので捨てられないが。で深夜に書いた連分数は1箇所気に食わない所があったが、\phantom を使って高さを稼いだらうまくいった。学生にメールしておく。後は応用してください。

さて、金曜日は今日が15週目。ということでゼミはオフィシャルには終わり。来週の金曜日は月曜日。いつもは1時から4時10分までゼミをやっているが、月曜日は2時40分から4時10分まで講義をしている。ということで来週はゼミが出来ない。再来週やってもいいか？と確認したらやっていい、とのことだったので、やることにした。30週間やって整数環が定義出来なかったが、次回は整数環がタイトルに付いた節なので絶対定義出来る。例は少ないが、まあ山崎隆雄「初等整数論 数論幾何への誘い」のゼミに参加していたので、整数環とかイデアル類群とか一応1回聞いているから、まあ大丈夫だろう。ミンコフスキーの数の幾何なんかは初見だろうから、苦労しそうだ。まあいずれにせよ、来年度の話だな。

特にすることも無いので、6時前に職場を出た。これくらいの時間は5時半に業務を終えた人達が帰る時間なので、外周道路から正門にかけてが渋滞する。高速道路の渋滞は少々。で渋滞している最中に色々思い出していたのだが、行列の階数を定義して計算演習をさせた時、「だから何なんですか？」と学生に聞かれた。階数は超重要なのだが、定義だけ見てるとそんな気がしない。線形代数を勉強しているうちに重要さが分かってくる。学生はそういう事例を思い出さないと。数学は我慢強くやらないと。すぐ結果を欲しがる人は数学に向いてない。そもそも基礎研究に向いてないな。

帰宅後何となくテレビを付けっ放しにしている。8時からは「マツコ有吉かりそめ天国」がやるのだろう、と思ったら、「ミュージックステーション」が始まった。普段全く見ないのだが、ちょっと見ている。布袋寅泰が還暦だ、と聞いてびっくりしたが、松田聖子やKANも還暦で、ジョン・ボンジョビも還暦だそうだ。びっくりするね。去年のサッカーワールドカップのテレ朝系のテーマを放送していたが、この歌、歌詞がよく聞き取れなかった。最初は「あと一歩」と歌っているようだ。聞き取れないね。

浜田省吾の渚園での野外ライブが映画でやるそうだ。見ると1988年8月20日。大学2年の時だな。あの頃はチケットがすぐ取れた。浜省も Baystars もまだまだマイナーだった。あ、当時は Whales だな。今は浜省のコンサートのチケットは取れないし、横浜スタジアムも飛び込みで入るのは難しい。人気が出るのはファンとしては嬉しいが、ちょっと複雑。映画館行こう。横浜スタジアムも1回は行きたいな。今年は優勝するはず。だからチケットの入手はより困難かも。パレードは大混雑かも。まあアルゼンチンのサッカー優勝のパレードほどではないだろうが。優勝してください。

「数理科学セミナー」と「専門演習」のガイダンスのため、夕刻に職場へ

昨日書いたように、今日は12時に四条烏丸に用事があったので、昨日はちょい早目に寝た。が、10時半のアラームには全く気付かず、起きたら11時過ぎ。いや、目覚ましをいくら止めても鳴り続ける、という夢を見たので、意識はあったのかも。急いで出発。用事はすぐ終了。取って返して、山科の松屋で昼食、という計画だったのだが、すぐ近くに松屋があった。信号を渡る必要があるが。で信号を待っている最中にカレー屋の存在に気付く。こんな店、前からあったかいな？ということで、松屋はやめてそっちに入る。メニューは4種類しかない。一番スタンダードそうなものを頼む。美味しかったが、もっと辛くてもよかったかな。まあいいです。次も行こう。で地下鉄を待っていると、次の電車は「びわ湖浜大津」行。山科には行くが、地下鉄山科と別ホームの「京阪山科」に向かってしまい、京阪電車に一区間分払わないといけない。次の「六地蔵」行を待とうかと思わないでもなかったが、まあいいか、と乗った。前はトラフィカ京カード（3000円で3300円分乗れる）を買っていて、それで乗ると「京阪山科」で精算出来ない。だから次の電車を待ったのだが、Suica なら精算出来るので乗った次第。

住処に着いてちょっとテレビ。大阪の鯨が動かないし潮も吹かなくなっている。死んだか？という話をしていた。が、6時までに職場に行かないといけないし、今日は数セミの発売日。4時半閉店なので、3時くらいに住処を出る。生協で数セミを買ったが、丸善フェアをやっていたので、シルバーマンの「はじめての数論」をついでに。さらに、個研室のパソコンで作った Beamer ファイルと住処で作ったのが少し出来が違うので、職場のパソコンの TeX をアップデートしよう、と思い立ち、「美文書作成」も購入。で部屋に着いて見ると、「美文書作成」は前に買ったのと同じ版だった。何でい。まあいいや。院生室に寄付するとしよう。でネットインストールをすることにして、開始。何時間掛かるかわからないので、流しておいて別作業。

6時から「数理科学セミナー」と「専門演習」のガイダンス。3回生配当の少人数セミナー科目で、2月中に登録しないといけない科目。担当の教員のお眼鏡にかなわない場合は登録されないという厳しい科目。教務委員が音頭を取ってガイダンスをするのだが、いつもの通りA堀先生に任せておけば大丈夫なので、黙っていた。「専門演習」のことはよく知らないし。1時間くらいで終了。その後鍋パーティーがある、とのこと。飲酒運転は出来ないので、参加は辞退しようかと思ったんだが、まあ呑まなければいいか、ということにして参加。コロナで卒業式の後の謝恩会とか一切無くなっていたので、学生と食事をするのは本当に久し振り。色々と話してきた。今年度助教として赴任したS先生とは初めて会った。聞いてみると横浜出身だそうだ。青葉区だそうだから、まあ生活圏としては全く違う。青葉区は横浜駅より渋谷駅の方が近い。それでも故郷の話が出来るというのはいいもの。楽しかった。台湾出身でニューヨークの大学で教鞭をとっている外国人も来ていた。昔より英語が聞き取れるようになったな、と実感。それでも大したことないが。思い付いたことを喋ろうと思ったが、あまりうまくいかなかった。日本に住んでると上達しないね。数学の論文は書けるんだが、そうでないととんと駄目。来週その人が談話会で喋るそうだ。美味しいウィスキーがあると言ってたな。来週の金曜日は月曜日の授業で、2時40分までに講義室に着けばいいから、電車＋バスでも何とか成りそうだが。さてどうしよう。

で11時近くまで職場にいてしまった。M2の学生の修論のチェックをするつもりだったのだが、メールが来ない。メールが来たら退席しようと思っていたのだが。明日までにタイトルを事務に知らせないといけいないが、A堀先生に依れば後で変更してもいいそうなので、最悪「未定」とでも付けておくか。いや、いくら何でもそれはないな。今日中、と言っていたが、24時前なら今日中だ。ブログを投稿したらメールチェックだ。

車のガラスが凍り付いていた。冬やね。

10時半のアラームをスルーして、11時のアラームでも起きられず。起きたのは12時過ぎ。急いで出掛ける。弁当を買うも、食べる時間は無し。ゼミ終了後に食べることにして、ゼミ室へ急ぐ。

ゼミは数分遅れで開始。今日も演習問題を4題。正の整数 a の正の約数の個数を τ(a)、正の約数すべての積を ν(a) とした時、ν(ab)＝ν(a)^τ(b)ν(b)^τ(a) が成り立つ、の証明が分からない。ν(a)＝a^τ(a)/2 を認めてしまえば簡単なのだが、これの証明に上の結果を使いたくなる。循環論法に成ってしまい、破綻。少し考えておく。もしくは著者に聞いてみる、と言っておいて、保留にした。その後面白い問題。多項式 F∈C[t] に対し、S(F)＝{a∈C｜F(a)＝0} とおく。定数でない F,G∈C[t] に対し、S(F)＝S(G) かつ S(F＋1)＝S(G＋1) ならば F=G。あることを示してから ABC 定理を適用すると、F≠G と仮定すると矛盾が出る、というもの。が、そのあることというのが分からないと言う。筋道は略解のページに出てるから、そのあることがわからないといけない。ということで考えてみる。ちょっと光が見えてきたか、というところで I 君が突っ込んでくれた。光と I 君のヒントを合わせると、どうやら出来たっぽい。零点が多項式を決めてしまう。何となく代数幾何っぽいな。Elkies の lecture から取った、とテキストに書いてあった。Eikies は凄い。同い年なんだが、若い頃から目覚ましい結果を残している。東京まで lecture を聞きに行って、次の週京大で講演する、と言っていたので、“I'm looking foward to seeing you in Kyoto” とか適当なこと言って、結局京大には行かなかったのだった。京大随分行ってないな。近いとかえって行かないもんだ。コロナに成って入場制限されているから、本気で勉強しようという人の枠を削いではいけない。ということで、今年も多分行かないでしょう。3時50分くらいに終了。

弁当を食べて、今日のゼミの内容を TeX 化しようか、と思ったが、明日の用事の下ごしらえと、明後日までに事務に連絡しないといけないことについて時間を取られる。他にもメールを数件。で気付いた。research map とか言うやつを更新せよ、とメールが来ていた。研究業績リストなどを書くページなのだが、新しく出た論文があるのに書かないのは勿体ない。ということで書き始める。研究集会で喋ったのも登録。で昔の論文の所に何やらリンクが張ってあるので見たら、引用してくれた論文の一覧が出てきた。見たことない雑誌。何か群論を中心とした雑誌のようだが、楕円曲線の加法に関する review をした論文。何故小生の論文が？と思ったら、reduction のことを書いてある節があった。それでかな。後で見ておこう、とダウンロードしておく。で何やかやと9時半くらいまで個研室にいた。

で駐車場へ向かう。寒い。駐車場に着いて車を見ると、フロントガラスとリアガラスが凍り付いている。エンジンを掛けると室外の気温が表示されるが、0度。うーん、冬だな。が、まだ大したことはなく、ガラスの曇り止めをオンにしたら数分で溶けた。で走り出すと、道路凍結注意のアラームが鳴り、さらに前方カメラ使用不能の警告が。ついにそんなシーズンの到来か。あまり遅くまで職場にいるのはやめよう。

で走り出して気付いた。ガソリンが残り少ない。ガソリンスタンドに寄らないと。最近セルフばっかりなので、ガラスが汚い。拭いてもらおう、ということで「野路中央」の宇佐美に行く。トヨタの人にタイヤの空気圧のことをこの前言われたので、見てもらおうか、と思ったが、言い出す勇気が無かった。でフロントガラスは拭いてくれたが、リアガラスは拭いてくれなかった。サービス悪いね。エネオスは全部のガラスを拭いてくれて、ミラーも拭いてくれる。今度はエネオスに行こう。宇佐美に寄ると、京滋バイパスに出るしか無いので、仕方なく「一里山四丁目」まで数キロ走る。交通量の少ない高架橋なので、凍結が怖かったが、大丈夫だった。ついスピードが出てしまう。凍り付いてると大変だったので、よかった。「一里山四丁目」を左折。まっすぐ行けば「瀬田西」インター方面なのだが、「瀬田西」は何となく好かんので、遠回りだが「草津田上」へ向かう。高速道路もすいてた。高速道路は凍結防止措置を色々講じてくれるので、安心。そこそこのスピードで「京都東」へ向かう。気温が4度くらいに成っていた。大学は山の上で、駐車場は吹きっさらしだから、寒いのだろう。

今気付いた。今日は1月11日。昨日1月11日11時11分11秒を見よう、と思っていたのだが、朝は上に書いた通り寝坊したので見損ねた。夜見るチャンスはあったが、数分遅かったか。まあ去年の11月11日に11時11分11秒を見たからいいや。見たと Facebook に書いたら、去年は大正111年だと教えてもらった。へぇー、と言う感じやね。ボタンを押さないと。次は2月22日の2時22分を見たいところ。22時22分の方がいい？うん、それはそうなんだが、12時間表示なので。2月22日は水曜日だが、多分職場に行かなくていいだろう。ということで昼見るかな。明日は12時までに四条烏丸に行かないといけない。明日が11日だったら1月11日11時11分11秒を見るチャンスはあったな。もう眠いし、今日はちょっと早寝だ。「これ余談なんですけど」はいいや。

M2の学生は生きていた

寝たり起きたりを繰り返し、5時前に起きた。資源ゴミを出してきて、寝ようか、と思ったんだが、6時から西宮神社の福男競争（と言わないと思うが、正式名称は忘れた）をやるというので、見るために起きていた。大阪商業大学の学生が圧勝。野球部に所属していて、50mを5.9秒で走るという健脚の持ち主だそうだ。いい出走位置を取れた運もあり、見事な走りだった。Hawks のユニフォームを着ていたが、Tigers ファンだと言っていたな。その後大阪の鯨の話題。早く海に戻れるといいが。道頓堀に日本鰻がいた、という話題も。道頓堀はキレイになったんだな。よかった。コロナが猛威をふるってるが、旅行支援事業が始まるという話もしていた。どこか行きたい気もするが、入試もあるし修論もある。それに付属高校の関係で何かやれ、と学科長から言われている仕事もある。講義が終わっても休めないし、コロナに感染したらシャレに成らない。大人しくしていよう。

M2の学生に暮れにメールを書いたが返事がない。連休前に事務に連絡を頼んでおいたが、返事が無いとのこと。保護者に連絡を取って、消息を確認してくれ、とお願い。それから一寝入り。昼飯を食べるため起きて、マインスイーパーで現実逃避。1時過ぎにメール。M2の学生から。よかった、生きていた。去年畏友K君にメールを書いたが返事が無く、数か月後に死去の情報が入ったことがあったから、学生も死んでいるのでは？と大分心配に成っていた。13日までに修論のタイトルを決めて、事務に報告しないといけない。その前に連絡が付いて助かった。

4時半から教授会。今日は人事案件があるということもあり、出席者はいつもより多目。いや、ここのところ教授会のことをコロッと忘れていて欠席が続いたので、ここ数回より多目かどうかはわからないが。優秀そうな人が35近くに成ってようやく任期付きの職に就く。小生は運だけで31歳の時に助教授に成った。もう少し若かったら、今頃は路頭に迷っていたろう。数学と縁の無い生活をしていたかもしれない。ついてたな。最後に来年度の体制が発表された。副学部長にまたあの先生が成っていた。小生と同時に教授に成った人。一度要職に就くと何度もやることに成るようで、大変だ。副学部長は3年度もやらないといけないようで、脂の乗り切った時期の3年度は辛かろう。うちの学科からも1人副学部長が出ているが、来年度で3年度目。ようやく解放されるわけやね。後1年度頑張って下さい。その後はサバティカルにでも行ってください。そうしないと学科長か入試の仕事に就けられてしまう可能性がある。有意義に使ってください。

さて、もう寝てもいいのだが、もうちょっと起きていよう。明日は1時からゼミで、遅くとも12時には住処を出たいから、今日は11時くらいには寝よう。限界が来たらもう少し早く寝るが。取り敢えず晩飯。カップ麺だが。ここ数日ガーリックの効いたものばかり食べていたので、久々にさっぱりしたものがいいな。さて、どれにしよ。

成人の日は大学は休み

珍しく日本酒を呑んだのに記憶が飛ばない。寝落ちすることも無く、昼前まで起きていた。

で「羽鳥慎一モーニングショー」を見ていたが、まずは成人式の話題。昨日やった所が割と多いようだ。成人式と言えば荒れるのが当たり前だったが、若者の数が減っているためか、特に問題は無かったようだ。もちろんド派手な格好をして、バイクを乗り回したり車を乗り回したりした若者はいたようだが。小生の頃は新成人の数が多かった。横浜文化体育館で行われたが、午前、午後の2部制。港南区は午前だった。その後バイトの仲間と落ち合い、バイト先にスーツで行って、事務の人と写真を撮った。当時は成人の日は1月15日に固定されていて、1月1日が元日、1月8日が誕生日、1月15日が成人の日と、3週間続けて目出度かった。二十歳に成って丁度1週間で成人の日だったわけだ。夜は高校の同級生と呑みに行ったが、あまり楽しくなかった。小生同級生とはあまり仲良くなかったので。2次会は参加せず、香川君と一緒に地下鉄に乗って帰った。地下鉄に呑み会に参加しなかった同級生（王貞治に似ていたので、「王さん」というあだ名だった）が乗っていたり、中学の同級生が乗っていたりと、偶然というのはあるものだな。もう35年も前のことだが、よく覚えている。

その後渋谷駅の工事の話題。新大久保で高田馬場に行きたい人がいて、茫然としていた。結局タクシーで行ったようだが、何と勿体ない。少し歩けば中央線の大久保駅がある。そこから中野まで行って、東西線で高田馬場、という手があるのに。もう一つの選択肢は、少し歩くが西武新宿駅まで歩いて、そこから西武新宿線で一駅乗れば高田馬場。下調べが足りないね。新宿で混雑している埼京線の臨時電車に懸命で乗り込んでいる人がいたが、池袋に行くのだったら新宿三丁目まで歩いて、そこから副都心線というのが混まないでいいだろう。こちらも下調べが足りない。品川から原宿まで逆回りで50分掛けて行ったという人もいたが、大崎まで山手線で行って、渋谷まで埼京線、そこから副都心線の明治神宮前で降りる、とやればもっと短時間で済む。今時の乗換案内ソフトは充実している。それくらいは教えてくれるだろう。皆下調べが足りないね。53時間半掛けて渋谷駅のホームの切り替えは完了したようだ。線路を人手で動かしていたが、大変そうだった。線路の切替っていつも人手でやるんだろうか？小生が早稲田に通っていた12年の間で、京浜急行は南太田の待避線新設、上大岡－弘明寺間の高架化、青物横丁－梅屋敷間の高架化など色々あった。こっちに来る前の年に京阪京津線の東西線直通工事があったようだが、どんな様子だったのだろうか？見たかったな。

その後少し寝て起きたが、まだ眠いので再度寝た。相撲がやっているな、と思ったが、眠かったので寝てしまった。まあいいや、深夜にダイジェストがやるし。起きて Uber Eats で王将のメニューを注文。テレビでは「帰れま10」をバーミヤンでやっていて、中華の舌に成ったので。バーミヤン旨そうだな。免許取り立ての頃、よく六地蔵経由で観月橋を目指して運転している時に見掛けたが、右折で入って右折で出ないといけないので、敬遠した覚えがある。その後そのルートを運転している時に見たら無くなっていた。行っておけばよかった。夢民のカレーを食べに東京テレポート駅でよく降りたが、そこで見掛けたが、夢民に行くのが主目的だったので、行ったことが無い。夢民は閉めてしまったので、今度東京に行ったら行ってみよう。もっとも東京に行く用事がとんと無いのだが。東京何年行ってないだろう？横浜までは行っているのだが。母親の一周忌に実家に行ったら、相鉄のJR直通線に乗りに行って、大崎で乗り換えて東京テレポートまで行ってみようか。相鉄東急直通線が3月開業らしい。新横浜が便利に成る。意味無く海老名まで行ってみよう。

眠いな。また寝よう。明日は新年一発目の資源ゴミの日だ。分別をしないといけないので、程々に起きよう。明日は平日だが講義が無いので、寝坊しても大丈夫だ。おっと教授会の案内が来ていたな。明日は忘れず出席しないと。

55回目の誕生日

55歳に成りました。取り敢えず呑んできます。続きは帰宅後。

などと書いてしばし（しばし？）さて、今は何時でしょう？こんな時間まで呑んだのは久し振り。店に着いた時は一組客がいた。が、その後客が来る様子が無い。店長に聞いたら、今年初めての客だったらしい。昨日行ってたら、小生が新年初客だったらしい。惜しいものを逃がしたな。誕生日ということで、随分呑んだ。ワイン酵母で仕込んだ日本酒とか。話に花が咲いて、深い話から下品な話まで色々。友人の不幸も知らされた。店長は今年年男だそうだが、これくらいの歳に成れば人は死ぬわな、という話をしてきた。もう色々あり過ぎて、詳細は書けない。またいつの日か思い出せれば。

今日は寒かったが、今週の半ばは最高気温が16度（桜の咲く頃の気温）に成るらしい。体調を維持するのが難しい。去年は1月21日に、山科は大雪だったらしい。まだ冬はこれから。入試の日に雪が降らないことを願うのみ。

耳鼻科に行ってきた

昨晩は鼻の調子がそんなに悪くなかったので、新年初呑み。で暮れにやった「ミラクル9」の4時間スペシャルを見よう、と思っていたんだが、ドラマとバラエティーが案外面白く、そっちを見てしまう。で寝ようか、と思ったんだが、うっかり数学を始めてしまう。「数論序説」のコホモロジーのところの書きようが気に入らないので、気に入るようにまとめておこう、ということで。こういうホモロジー代数的なことは昔よくやった。大学の1年後輩が「9lemmaの証明くらいなら、べろべろに酔ってても出来る」と言っていて、その域を目指した。類体論の証明はいわゆる「類構造」で勉強したので、Tate コホモロジーは一通り勉強した。が、それっきりそういう議論はあまりしてこなかったので相当鈍った。極力本を見ないで再現しようと思ったんだが、無理だった。鈍ってるね。

鼻の調子は落ち着いてるが、やはり医者に診てもらった方がいいだろう、と11時半近くに耳鼻科へ向かう。去年も1月に言っているようだ。が、失敗。耳鼻科は混んでいたが、そんなに待たなかった。問題はドラッグストア。土曜日の医者はどこも午前中いっぱいなので、12時過ぎはえらく混む。買い物をして待つも、1時間近く待たされ、良かった天気も悪くなってきて、住処近くで雨が降り出した。今日は降る、と言っていたので、傘を持っていこうかどうしようか迷ったんだが、持たないで出てしまった。雨が降りそうな時に傘を持っていれば役立たない、というジンクスを信じて、持って出ればよかった。が、強くなる前に帰宅できたのは良かった。

1時半くらいに戻ってくる。昼飯を食べて、テレビを付けていたら「仕事人」が始まった。明日新作を放送するそうで、それの宣伝も兼ねているんだろう。羽場裕一と金田明夫が悪人を演じていて、仕事人に殺されて、終わり、と思ったら、そこからもう一話あって、面白かった。明日は見ようかどうしようか迷っていたんだが、録画しておくことにした。その後暮れにNHKでやった手品の番組を見た。手品を見るのは子供の頃から好き。最近の手品はトリックがさっぱり分からない。まあ手品はトリックを破るために見るのではなく、騙されて口をあんぐり開けるのが面白いので、素直に驚いておく。途中で眠くなり、そのままさっきまで寝ていた。

毎年5日にこっちに戻ってきて、それから急いで年賀状の返信を書くのだが、今年は書く必要が無い。ということで年が明けて、未だにポストを見ていない。見てこよう。荷物も届いているようだ。いい加減取ってこないと。まあ定期購入しているサプリが届いた、という程度のことだろうが。それから晩飯を食べて、また寝よう。明日は呑み屋に挨拶に行くので、今晩はちゃんと寝ておく。

今日から仕事

今日から仕事だし、年末から剃ってない髭を剃って、シャワーを浴びて、と企画したのはよかったが、起きたら12時。ぎゃ！急いで出発。屋外で弁当を売っているので、買おう、と思ったら、まだ弁当屋が平常営業でないらしく売ってない。仕方ないので生協へ向かう。年末に「12月中に生協アプリをインストール」せよ、という生協から来たハガキを見付け、急いでインストールした。うまくいっているか不安だったが、カードから残高が移行されていて、ちゃんと支払いも出来たから、大丈夫だったのだろう。しばらくは生協のレジは混むだろう。慣れてないからね。職場に早目に着けるよう努力しよう。

で1時からゼミ。今日は六角形の図式が完全系列に成っていることの続きから。例によって本を読んでいる。行間を読むということにそろそろ慣れて欲しいが。例によって元をどこから取ってるか書かなかったり、存在なのか任意なのかはっきりさせなかったりと、下品。後で見返すことを考えると、詳し過ぎるくらい書いておいた方がよい。人間思ってるほど頭良くない。雑に書いた講義ノートを見ながら講義をしていて、ん？と成ったことは何度もある。仮定は何で結論は何で、そのために何を示せばよくて、をはっきりさせて、元を何処から取っているのか？任意なのか存在なのか、存在するならどうして存在するか、常に意識して進まないと。時間掛かるよ。時間掛かるのを恐れては数学は出来ない。学生のうちは寝ても覚めても数学、というモードにしないと。4時10分に終了。節の最後までは行かなかった。来週には整数環を定義出来るかな。

事務に1件電話。13日までに決着が付かないといけない問題があり、今日を逃すと事務の人と連絡を取れるのが10日に成ってしまう。今日片が付けばよかったが、そうはいかなかった。何の件かというと、学生と連絡が付かないということ。ちゃんとメールには返事をくれていた学生だったのだが、大学にも来ないし、メールにも返事をくれない。去年畏友K君がメールに返事をくれないので何だと思ったら死んでいた、という件があったので、その学生がそうでなければいいがと心配している。ずっとメールを開きっ放しにしているのだが、とんと返事は無い。本当に大丈夫だろうか？心配だ。

月曜日は講義が無いので、今日は準備する必要が無い。ということで高速道路が混む前に帰ろうということにして、5時ちょいに職場を後にした。案の定渋滞せず、5時40分過ぎには住処に着いた。それから少し勉強。それから今日の「座王」を録画すべくハードディスクの容量を稼がないといけないので、年末にやった「座王」の女芸人スペシャルを見た。面白かった。で髭を剃ったりなど。さて、これから年始呑み初めをしようか、と思っているが、相変わらず鼻の調子が良くない。今日は耳鼻科に行かなかったので、明日行こうか。しかし土曜日は診療が午前中のみ。で日月は耳鼻科は休み。どうしようか？また徹夜して行くか？

WBC日本代表に Baystrars から今永と牧が選ばれた。両者とも代表で実績がある。活躍してくれるでしょう。で勢いそのままにシーズンに入って、今年くらい活躍してくれて、桑原が一昨年くらいやってくれれば25年ぶりのVも夢ではない。期待しよう。

明日から明後日に掛けて、山手線の渋谷駅でホームの切替工事をやるそうだ。で外回りは大崎－池袋間運休するらしい。昔だったら不便極まりなくなるだろうが、今は埼京線で大崎から恵比寿、渋谷、新宿、池袋には行ける。五反田へは品川、泉岳寺経由で都営浅草線で、目黒は田町で東京メトロ目黒線に乗り換えれば行けるし、原宿へは渋谷で副都心線、代々木へは新宿で中央線各駅停車に乗り換え、新大久保へは新宿で中央線各駅停車に乗り換え、大久保で降りればまあ行ける。高田馬場は副都心線の西早稲田から歩けばまあそこそこ。中野まで中央線で行って、東西線に乗り換えるという手もある。問題は目白。あそこは本当に山手線以外足が無い。新宿か池袋辺りからバスが出てるのかな？高田馬場からバスは無いんだろうか？最悪タクシーだな。池袋－目白間は少し距離があるので、タクシー代は結構掛かるだろう。まあ2日間のことだ。我慢してください。

山科に戻ってきた

昨日はその後夜中の3時過ぎまで起きていて、９時に一旦目が覚めると当然眠くて仕方なく、さらに3時頃起きたが、まだ眠くて仕方なく、テレビの前で7時過ぎまで寝た。で晩飯を食べて色々。新聞を見ると、深夜にプロレスがやるらしい。ネットニュースでオカダカズチカがジェイ・ホワイトに勝ったという情報を仕入れてしまったが、まあいいか、ということで見る。放送はオカダ vs. ジェイから。中々力の入る1戦。ジュニアの4wayタイトルマッチは滅茶苦茶で面白かった。最後はウィル・オスプレイ vs. ケニー・オメガ。あまり真剣に見ていなかったが、途中から真面目に見た。死闘、という言葉が一番当てはまる1戦ではなかったろうか。最後はケニー・オメガが制した。もう1回最初から真剣に見たいな。そうか、新日本プロレスの公式ページを見ればいいのか。時間のある時に見てみよう。新日本プロレス旗揚げ50周年はこれで終了。途中アントニオ猪木が死ぬという不幸はあったが、オカダカズチカがチャンピオンに成り、まあよかったのではないかと。その後5時まで「暴れん坊将軍」を見て寝た。

1時過ぎに起きる。「科捜研の女」と「相棒」見て、5時くらいに実家を後にする。来月お袋の1周忌でまた戻る。去年のように修論公聴会と日程がかぶることはないだろう。去年は火葬場との兼ね合いがあったからね。何にしても色々忙しい。

鼻の具合はいくらかマシに成ったが、やはり辛い。明日は早起きして、耳鼻科に行こうか？起きられなかったら、ゼミが終わったら直帰して耳鼻科に行こうか？起きたら行かないで済むくらいの調子に成っているのがベストだが。まあ何にしても、今日はちょっと早目に寝よう。

明日は新年仕事始め。が、意地の悪いことに土、日、月と3連休。誕生日を家族に祝ってもらえなくなってもう随分に成る。まあ小生くらいの歳なら、新しい家族に祝ってもらえるように成っていないといけないのだが。少子化に貢献している。いかんのだがな。9日（月）が祝日だから、日曜日に呑み屋に行って祝ってもらうか。その前に明日新年呑み初めをやろう。鼻の調子が悪かったらやらないが。

箱根駅伝復路を最初から最後まで見た

ポットは結局おしゃかに成った。4時間経っても湯沸かしが始まる様子が無いので見てみると、もう通電しなくなっていた。兄者は早起きしてバイク乗りに行くと言っていたので、結局小生が買いに行くのか、ということで、兄者が起きるのを待って、ヨドバシカメラのポイントカードを受け取る。でもう箱根駅伝の時間に成ってしまい、結局徹夜。山科でも実家でも1日おきに徹夜してるな。で兄者はバイク乗りをやめて、ポットを受け取りにヨドバシカメラに行ってくれるという。何だ、じゃあ寝ればよかった。

で箱根駅伝。駒澤が首位、中央が2位という展開がずーっと変わらず、駒澤が圧勝。が、ここのところ低迷基調だった中央の2位は立派。Facebook を見たら、中央のOB（透ちゃん）が報道が少ないとぼやいていた。早稲田もシード権を確保したし、「来年の100回大会はは中央と早稲田で優勝争いしませう」と書いておく。東京国際はビンセントの活躍でシード権に付けていたのだが、復路は振るわず、惜しくも11位。王者青山学院は一時8位まで落ちたが、盛り返しての3位は立派。100回大会は、予選会に全国からエントリーしていいそうなので、今年55年ぶり出場の立教とうちで「立立戦」をしましょう。

箱根駅伝が済んだら買い物。ティッシュペーパーの買い置きが尽きそうなので、買い出しに。地下鉄の改札の脇のファミリーマートで再生紙ティッシュを買おうと思い行くが、店舗が小さいためか置いてない。「ひまわり市場に売ってる」と親父殿が言っていたので向かうと、3日まで休み。でこの前「松のや」に行った時に近くに一軒ファミリーマートを見付けたので、そこへ向かう。あった。Tポイントカードで購入。これで鼻の調子が戻らなくても大丈夫になった。もちろん楽になってくれるに越したことはないが。

その後「相棒」の昔のがやっていたので見て、「博士ちゃん」の3時間スペシャルを見て、「DOCTERS 最強の名医」のファイナル。ファイナルだけあって、三方丸く収まり、まあよかった。昔のをCSでやってくれないかな？最初の方は見てないので見たい。テレビ朝日がやってる配信サービスに契約しようか？

徹夜してるので早く寝たいところであったが、「しくじり先生」が始まり見てしまう。その後もグズグズとテレビを見続け、風呂に入って今に至る。これを書き終わったら寝る。明日（今日だが）は何時に起きるだろう？

などと書きながらスポーツニュースを見ているが、女子高校バレーの選手で名前が「心優美」という選手がいた。読み方は「こゆみ」だそうだ。これを聞くと一部の人は姐さんを思い出すだろう。昔「高橋小弓」という知り合いがいて、姐さんを話題にしていた時に「高橋さん」と言ってしまい、聞き返されたことがある。今なら間違わないが、彼女は結婚して名字が変わっているので、何と呼ぶかいまだに悩ましい。メールに返事を書くときは旧姓を使ったが。まあ旧姓でいいと姐さんが言っていたので、これからもそうさせてもらおう。

薬を服用したが、鼻炎が治まらない

昨晩も遅くまで起きていて、起きたら箱根駅伝の往路は終わっていた。さっきスポーツニュースで結果を見たが、面白いレースだったようだ。学連選抜の育英大・新田が1区を引っ張る展開。3位での襷リレーはお見事。私立大学はこういうところで名前を売らないと。大学当局は喜んでいるでしょう。駒沢が往路制覇。区間賞無しでの首位とか。一人飛び抜けていてもダメな競技なので、コマを揃えられたのはお見事。東京国際大はビンセントの見事な走り（4区で8人抜き）で7位。山登りでは2つ区間新記録が出たそうで、順天堂大は6位、城西大は9位と、共にシード権を確保できそうな位置に付けた。母校早稲田は5位。明日も期待出来る。今日はもう寝て、明日は途中からでも見よう。

2日は「スポーツ王は俺だ」を見て、「リアル野球盤」を楽しむのが恒例行事だったが、今日は忘れていて、フジテレビをずっと見ていた。まあ面白かったのでいいが。そのまま流れで「座王」を見た。面白い番組だが関西ローカルなので、兄者は初めて見ると言っていた。気に入ったようなので、この前の全国ネットのスペシャルを録画したディスクを今度持ってくると約束した。今日の「座王」は波乱が続き、意外な結果に成った。消すのは勿体ないので、焼いておこう。

ジーパンを受け取りに行くついでに薬を買ってくるつもりが、薬局が閉まっている。駅の近くに「マツモトキヨシ」があったはずだが？一旦実家に戻って兄者に聞く。するとさっき「マツモトキヨシ」の目の前を通過していたはず。気付かなかったがはて？と行ってみると、確かに兄者の言う場所にあった。手近なものを買い込んで、帰って服用。が、とんと鼻炎が治まる様子が無い。何が原因なんだろうか？部屋が埃っぽいのが原因だったら、山科の住処で鼻炎が発生してもおかしくないが、こっちに来るまでは大丈夫だった。都会過ぎて排ガスが激しいんだろうか？起きてても苦しいだけだから、寝るか。苦しくて寝られないかもしれないが。

実家の湯沸かしポットが何かおかしい。いつまで経っても沸かしている。変なので4時間タイマーにしたが、それでもまだ沸かしている音がする。線を抜いて寝た方がいいかもしれないな。ヨドバシカメラは9時からだと兄者が言っていた。調子が戻らないようなら開店したらすぐ買いに行こう。それまで親父殿にはお茶は我慢してもらおう。9時に起きる自信無いな。また徹夜か？

鼻炎に苦しむ正月

結局「フットンダ」は最後まで見て、その後初日の出中継を見てしまった。今年は天気が良く、ダイヤモンド富士が見事に望めた。いいものを見せてもらった。その後駅伝もほぼ見て、2時くらいにダウン。

「格付けチェック」は5時からだったが、起きたのは6時過ぎ。2年ぶり復帰の GACKT の活躍は相変わらず目ざましい。面白かった。山科に戻ったら最初の1時間を見よう。9時から「相棒」。こちらも途中で寝入ってしまった。まあストーリーは大体わかったのでいいです。ただ去年の元日に放送された分も見ないと、今日の話の全貌はわからなそうだ。時間が出来たら見よう。

こっちに帰ってきてからずっと鼻の調子が悪い。何故だろうか？くしゃみは出るは鼻水は出るわで、辛い。鼻水を見ると、鼻炎の鼻水だ。風邪ではない。コロナでもないと思うが。ジーパンをまだ受け取りに行っていないので、箱根駅伝が終わったら受け取りに行くが、ついでに鼻炎の薬を買ってこよう。

昨日書いた数学の本のおかしそうな所はおかしくなかった。文章1つ飛ばして読んでいたようで、改めて考えてみたら正しかった。でそれを使って位数6の群は巡回群か3次対称群のいずれかと同型であることの別証明が与えられていて、勉強に成った。群って集合に作用させてなんぼだな、と改めて実感。何となく「群・環・体」と一まとめにして代数と言っているが、群論、環論、体論、それぞれ目指しているところは全然違う。そういうのはある程度勉強しないとわからないな。小生は群論も環論も体論も難しいことはよく知らない。知ろうという気も無い。整数論がしたいからね。整数論は何となく代数に分類されているが、実際には色々必要に成り、あまり代数という感じはない。毛嫌いせず色々勉強しておいた方が面白いことが出来てよい。何でも勉強しておこう。

2023年に成った（喪中につき年始の挨拶は無し）

昨日の晩はポケット Wifi とスマホの充電が両方出来ていなくて更新出来なかった。どうも充電器の故障らしい。で買ってきた。充電出来た。というわけで今更新している次第。喪中につき新年の挨拶は遠慮します。何度も書いているが、今年は忙しくなることが確定しているので、頑張らないと。

大晦日は1日無駄に使った。結構な時間まで数学の本を読んでいて、1箇所おかしそうな所があり、悶絶。で寝て、10時くらいには起きたんだが、寝不足のためその後眠くて仕方なく、夕刻まで寝てしまった。30日に京急百貨店でジーパンを買った。全国百貨店共通商品券10000円分をどこからか手に入れた（どこから手に入れたか不明）ので、それを使おうと。で裾上げをしてもらって、受け取りに行くつもりが目が覚めたらもう京急百貨店が閉まっている時間。大晦日は短縮営業なんで。明日は営業しないようだから、明後日受け取りに行こう。

今元日恒例の「フットンダ」がやっている。面白い。最後まで見ちゃおうかな？初日の出中継まで起きていようか？まあもうちょっと考えよう。