よいお年を

実家では特にやることが無いから、書き散らかしたものを TeX 化しよう、と思い、沢山紙を持ってきたが、一つ自明なことがわからないで、昨晩は大分苦労した。分かってしまえば自明。講義資料を見たら、「演習問題とする」と書いてあった。うーん、来年度から補った方がいいかな？と思ったが、実際はどうなるでしょう？ということで相当な時間まで起きていた。

で昼過ぎに起きたがまだ眠く、テレビを見ながらソファーの上で起きたり寝たり。最終的には「アメトーーク！」の途中でようやくしゃんとした。でお馴染み「運動神経悪い芸人」で大爆笑。小生も相当運動神経が鈍いが、あそこまでは凄くない。一応潜水で数メートル泳げるし、遠投も出来る。まあ肩は相当弱いので、ちゃんと投げても2塁ベースまで行くかどうかは怪しいが。面白かった。その後恒例「クイズ・正解は一年後」を見た。今年の年明けに今年のことを予想して、暮れにそれが当たってるかどうか検証する番組だが、M-1 の優勝が令和ロマンだと当てている人が二人いた。あ、書いちゃった。もういいよね。で前は日本シリーズの勝者はセ・リーグのチームかパ・リーグのチームかを当てて、外れたら街中で突如としてプロレスラーからビンタ、というのがあったが、このコンプライアンスがうるさいご時世でやめたのだろう。まあ面白かった。

でその後ダラダラと1時間くらい過ごして、テレビの番組表を見たら「座王」がやるという。何だろうと思って見ているが、先週関西で放送した1時間スペシャルだった。見たが、まあもう一回見てもいいや、ということで今見ている。分かってても面白い。1月2日に放送予定の全国放送スペシャルはちゃんと録画予約してきたが、まあこっちでも見るでしょう。

さて、もう大晦日に成ってる。今年は忙しい1年だった。学科長の任期はあと3か月。色々やることがあるが、しっかりやります。ではよいお年を。

夕食を王将で食べたが、支払いが1111円

変な時間まで起きてたせいで、変な時間に起きた。親父殿が差し出したパンを一個食べて、しばしテレビを見ていたが、まだ眠い。でまた寝てしまった。起きたら親父殿がまたパンを渡してきた。兄者によれば、最近時々変なことを言うことがあるとかで、呆け始めてきたか？ちと心配。

で夕食は駅にある王将にした。いや、王将はいつでも行けるだろ、と言われるかもしれないが、王将メニューは Uber Eats に頼むことが多く、その度に1から始めたスタンプカードがもらえて、全部無駄にしては何なので、スタンプをもらう為に行ったというわけ。いつものニンニク激増し餃子は当然頼んだが、いつものキムチチャーハンではなく極王チャーハンにした。で支払いは何と1111円。何か嬉しい。で気付いたんだが、京浜急行の上大岡駅は駅番号が44番。そうだったか。セブンイレブンに寄ってカップ麺3個と年賀状を買ってきた。年賀状は毎年何か一言書くことにしているので、そこそこ余白があるものを買うんだが、流行りじゃないのだろうか、そういうものが無かった。まあいいです。

帰ってきて「ファミリーヒストリー」の特別版を見た。草刈正雄が父親の一族に会うべくアメリカに行く話。面白かった。録画予約してこなかったので見たわけだが、何故録画しなかったかというと「必殺仕事人」の裏番組だから。「必殺仕事人」は山科でゆっくり見る、と言いたいところだが、まだ今年の正月にやったのを見てない。いつ見るだろう？その後「全力脱力タイムズ」。小澤陽子アナがマジシャンに消されたが、その後戻ってこない、という設定。それと TKO の二人仮面をかぶって「コンプライアンス」とかいう訳の分からない漫才コンビとして出ていたが、もう一人加えて3人で、と出てきた芸人が誰だかわからない。サンドウィッチマンの伊達が驚いていたくらいだから有名な人なのかも、と思ったが、兄者も誰だかわからないという。Google 先生に聞いても分からない。まあこのご時世、数日待てばネットニュースに上がるでしょう。

でその後下らん番組をしばし見て、風呂に入ってきた。いや、親父殿が最近は風呂の支度も掃除もしないようで、シャワーのみ。食事が外食かインスタント物で、風呂もシャワーでは山科にいるのと変わらんぞ。違いは話し相手がいるくらい。まあいいです。

でシャワーを済ませて、しばしノルムの連鎖律の証明を理解する作業。藤崎先生の代数的整数論の本を持ってきたので、それと照らし合わせながら。記号を変えているが、TeX 化したものは中途半端に変わっている。で色々直しながら読んだが、まだ理解したとは言い難い。まあ「数理科学特論2」の年明け初回は1月15日なので、まだ余裕はある。「代数学II」は特に何も準備しなくてもいいので、それに全力投球、と行きたいが、1月9日の教授会の作戦練りもしないといけない。昨日W先生とA堀先生から来たメールにもまだ目を通してないし、休暇中と言えど色々やることはある。ま、のんびりやりましょ。

忘れていたが、昨日は浜田省吾の誕生日。71歳。まだこの歳でライブをやるのが凄い。何度も書いてるが、1月6日にライブを見に行く。若い時のような感じで3時間やるだろうか？やっちゃうだろうな。楽しみだ。

実家ナウ

27日の晩から28日の朝に掛けてまた不摂生した。呑んではないが、録画用のハードディスクの空き容量を作るために、「戦力外通告」を録画してあるのをその晩のうちに見たり、アニメの最終回を録画したのをすぐ見たり。で1月3日、4日に松本清張原作のドラマが二日続けて放送されるのを忘れていて録画予約したら、二日目の方が容量不足で録画出来ない、というメッセージが。うーん、どうしよう、と思って録画してあるものの一覧を見たら、「科捜研の女」の2018年のスペシャルが3回録画されていた。で2回分を消して、相撲の九州場所のダイジェストで見てないものはもう見ないであろうと思い切って消したら、大丈夫に成った。でその時点でもう「おはよう朝日です」の忘年会スペシャルが始まっていた。最後まで見たら起きられなくなるので、途中で切り上げた。

で28日は3時くらいに起きた。まだちょっと眠いが、まあいいです。ドーピングをして、旅支度をして、横浜に向かって出発。昨日郵便局で新しいクレジットカードを受け取ってきたので、早速使って切符を購入。山科駅では特急乗車券は買わなかった。京都駅までの電車が遅れている可能性はある（前に痛い目にあったことがある）し、京都駅の「スパイシー」でカレーをゆっくり食べる時間も欲しいし、実家に持っていくお土産も買わないといけないし、車内販売サービスが終了してしまったので、ホームの販売機で飲み物を買っておかないといけないし、ということで慌ただしいと大変なので、カレーを食べ終わってから特急券を買った。で18時45分ののぞみで一路新横浜を目指す。確か前は京都、新横浜間は2時間丁度だったが、数年前に1時間57分に成って、今日見たら1時間54分に成ってた。何でそんなに早く出来るんだろう？が、途中静岡駅の辺りでスローダウンしていた。小田原駅を過ぎた辺りで3分遅れだというアナウンスがあった。「相棒」の Blu-ray をゆっくり見たいので、2時間くらいだとちょうどいいんだがな。

で親父殿と兄者の住んでるマンションに辿り着いて、エントランスで部屋番号を入れたら、扉がすーっと開いた。親父殿だな。兄者は「おう」かなんか一言言ってから開けるので。で部屋に着いたら、兄者は夕食に出ていると言ってた。親父殿が一回り小さくなったような気がした。まあ兄者は特に何も言ってなかったから大丈夫なんだろう。親父殿は割合すぐ寝てしまい、その後は兄者と喋ったり。前に書いたラーメン屋の殺人事件は、やはり思っている通りの店だった。一晩通りが封鎖されていたそうだ。で犯人が名古屋で捕まったそのすぐ次の日だかに名古屋へ出張して、名古屋の人とその件でしばし盛り上がったとか。その後小峠にスポーツの楽しさを教える、みたいな番組が始まったが、兄者に新庄が槇原からサヨナラヒットを打ったシーンと槇原がバックスクリーンへ3発放り込まれるシーンは関西ではしょっちゅうやってると教えてあげたり。ストイコビッチの伝説のプレーも取り上げられていて嬉しかった。

さて、これを実家で打ってるが、実家はインターネット契約をやめてしまっていて、ポケット wifi が頼りなのだが、最近毎月のように督促が来る。クレジットカード払いにしているが、カード会社から拒否されるらしい。カードを変える手続きをすればいいのだが、やろうと思ったら色々面倒臭そうなので、後回しにしていた。で払い込みは一昨日してきたが、大体払い込んで3日くらい経つと「サービスを再開しました」というメッセージが来る。でまだ来ていないので、今晩は書けないかも、と思っていたが、さっきやったら出来たので。新しいカードも届いたことだし、手続きをしておこう。でメールを見たら、W先生とA堀先生からメールが来ていた。熱心ですね。学科長としては黙っていられないので、明日返事をしよう。事務は28日から1月8日まで休むとメールが来ていた。暫く静かだと思っていたが。まあいか。

実家に帰ってくるとくしゃみが出る。去年もそうだった。親父殿は大分弱ってるから、掃除してなくて埃っぽいのかもしれない。まあ今回は耳鼻科でもらった薬の残りを持ってきたので、飲んでおこう。寝不足だしもう寝よう。

師走の山科区内を車だったり徒歩だったりで動き回る

昨晩は早目に寝るつもりだったのだが、ちょっと線形代数の問題を考え始めてしまい、朝まで起きていてしまった。2次の正方行列 A, B が与えられていて、これらが相似であることを証明せよ、という問題。多分学生だったら A＝P^-1BP となる正則行列 P を探すんだろうが、こっちはそれなりに経験がある。両者のジョルダン標準形が等しいことを示せばよい、と。で A, B の固有多項式を求めたら等しく、重根を持たないので終了、でよかったんだが、やっぱり P が求めたいな、と思い始めてしまう。これが予想以上に手間取る。固有多項式が x²－x＋1 だったので、固有値、固有ベクトルが Z[ω]（ω は1の原始3乗根）に属してしまい、固有空間を求めるのが面倒。λE－A は正則でない筈なのが正則に成ってしまったりと、計算ミス多数。SageMath と Maple に頼って、片方はうまくいった。が、もう片方が大変。133＝7×19 が出てきて、133 を Z[ω] の既約元の積に分解する必要あり。Z[ω] は U.F.D.（⇔ Q(√－3) の類数が1）なのだが、単数が6つあるので、見た目の違う分解が幾つも出てしまい、大混乱。でうまくいかないまま6時を過ぎてしまった。途中だったがやめて寝ることにした。

で起きたら結構遅かった。郵便局に行く用事があったので、出掛ける。受け取ってからブックオフへ行って、2冊買ってしまった本と2枚買ってしまったCDを売ってきた。本は目茶目茶買い叩かれたが、CDは500円もの値段が付いた。嬉しい。まあ買った時は2800円くらいだったので損はしているわけだが、何か臨時収入的な感じがした。ではま寿司へ行って、いつもよりちょっと高く1500円以上食べてきた。鮪の大トロとか蟹とか数の子とかあったので、食べてしまった。母親が元気なころは正月に数の子を出してくれたが、もう死んでしまったので。まさか食べられるとは思ってなかった。嬉しい。で銀行振り込みもしないといけなかったが、キャッシュカードを持ってなかったので振り込めなかった。まあいいや、帰ってから歩いて京都銀行に行けばいいや、ということにして一旦帰宅。でキャッシュカードを持って振り込みをしてきたが、そうだ、ついでにしまむらとケーヨーデイツーに寄って買い物をしよう、と思い立ち、幾つか買ってきた。

さて、明日実家に帰る旨兄者に電話した。親父殿が大分しょぼくれているようで心配だ。母親の手料理があるわけでなく、帰省する意味はあまり無い。まあ顔を見せるだけでも親孝行ということで。実家ではテレビを見るのと年賀状を書くこと以外はテレビを見るだけだな。まあ1月6日にさいたまスーパーアリーナに行くので、実家は中継基地ということで。明日から正月中はのぞみは全席指定席に成るけど、混むかな？まあ余裕を持って出掛けましょ。

部屋掃除のつもりがかえって散らかって、色々行方不明

昨晩は呑み呑みドラマを見たり M-1 の特番を見たり。で朝に成っていた。資源ゴミを出すために色々したりもしたが。で明日は缶瓶ゴミの日で、明後日は普通ゴミ。多分そこまでやって実家に帰るから、少し真剣に片付けをしたつもりが、かえって散らかっただけだった。行方不明になったものがある。探さないと。

で銀行に払い込みに行って、それから計算し散らかした紙を片付けるべく、TeX 化を次々と。その過程で問題を幾つか考えついたり、解けた問題の別解を見付けたりと、結構捗った。雑用が無いといいな。が、事務から一件、よくわからないメールが来ていた。事務の人は今日も働いてるんだろうか？ご苦労様です。確率論の研究集会を昨日からやっているようで、見ると28日まで。熱心ですね。コロナ前はこっちも金沢に26日から28日とかよくわからないスケジュールで出掛けていたが。今年は久し振りに集会をやったようだが、11月23日前後と、一番動きづらい時期に設定されてしまった。来年以降はどうするんだろう？会場に使ってた金沢大学サテライトプラザは今年度いっぱい（2月までだったか？）で閉鎖らしいし、近畿から金沢は行き辛いくなるし、もう行かないかな。年末に新鮮な魚介類を食べるのが楽しみだったのだが。目的は整数論じゃないのかって？いや、まあ、それはそうだが。

明日はちょっと郵便局に行かないといけない。ここのところ多忙だったので、マンションのポストをロクに見ていなかったが、昨日の晩見たら大事なものが届いていた。保管期限は29日までのようだし、行かないと。もう一つ、ポストがいっぱいに成っていて入れられなかったものがあったようだ。まあこっちは大したものじゃないかもしれないが、一緒にもらってくればいいので、もらってくる。ついでにブックオフに行って、2冊買ってしまった本と2枚買ってしまった CD を売ってこよう。ということで今日は呑まないで、それなりの時間に寝よう。金沢で魚介が食べられないから、明日の昼飯ははま寿司にするか。それで年内は運転収めだな。4月に手にした新車だが、4000km走った。まあいいくらいですかね。

年内仕事納め

今朝は起きたら11時くらい。シャワーを浴びて出勤。髭は昨日の晩剃っておいた。で12時ちょいに職場に着いて、弁当を買って個研室で掻っ込んだ。

1時から大学院向け「数理科学特論2」。1時ちょい前に講義室に着いたが、電気が点いてない。む。しかし1分くらいしたらI君が現れた。で構わず始める。今日はまず有理数体のアルキメデス的付値が通常の絶対値と同値なことを示して、p,q が相異なる素数なら p 進付値と q 進付値が同値でないこと、どんな素数 p に対しても p 進付値と通常の絶対値が同値でないことを示して、付値の同値類と {素数}∪{∞} に一対一対応が付いて、有限素点とか無限素点と言いたい気持ちが分かるよね、などと言っておく。その後有限次拡大のトレースとノルム。t のトレースとノルムを線形写像 x\mapsto tx のトレースと行列式として定義した。これだと下の体に落ちてることは自明。和や積を保つことも比較的容易。で分離拡大の場合は共役の和、積だと示して、さてここで困った。昼飯を食べてる最中に資料を見たんだが、連鎖律の証明が何かおかしい。直す時間が無く、講義しながら直すのも無理そう。どうしよう。で閃いた。2次体の場合にトレースとノルムを二通りの方法で計算せよ、という問題があったが、それを解いてしまうことにした。でもう丁度よかろうという時間に成ったので、連鎖律の主張だけ書いておいた。年明けは15日と22日の2回だけ。何ともモチベーションが上がらない。小生がこっちに来た頃はセメスターの講義回数は13回ずつだったが、15回にシフトする過渡期に14回だったことがあった。年明け1週目だけ講義という、今よりももっと士気が上がらない状態だったが。その1回の為に実家に講義資料を全部持って帰った。2回あればまあいいかな。

で個研室に戻って、講義資料を直して web に上げる作業。F, K が体の時に F^× から K^× への準同型写像を考える、というのがあったが、ネタ本は F^× でなく半群 S に成っていて、それをそのまま打ち込んだから、直っていない所が数箇所。あと F^× でなく F に成っているところが数箇所と、細々としたミスが多かった。でダラダラと直して、アップロードして、さて、という頃にはもう4時近かった。事務とメールのやり取りをして、ゼミの時間。今日もデデキント ζ 関数を用いた類数計算への途上。デデキント ζ 関数を然るべき概 ζ 関数に分割する話だが、格子を定義したり錐を定義したりと。相変わらず色々怪しい。まあ前より分からないものを分からないと言うように成ったのは前進かな。彼は剰余群に対してはアレルギーが無いようだ。今日は mod Z で、とか言う怪しげなフレーズが出てきたが、R/Z で考えるっていう意味ね、と補足したら納得していた。もう少し環や体を勉強してくれると嬉しいが。7時半に終了。年明けは体積を計算したりして、いよいよ類数が求められるようになる。いや、ディリクレ L 関数をやらないとダメだな。まだ先は長いか。学生に類体論を勉強させるという日がもう一度来て欲しいが。

で K 先生から依頼されていた件を済ませて、その後伝票の処理。年内にやっておいた方が気分がいいので。まあ事務が処理するのは年が明けてからだろうが。その後トレースの連鎖律の証明を読む。まあ資料の書きようから見て、藤崎先生のガロア理論の本か代数的整数論の本がネタ本だろう、と思って開いてみたらその通りだった。で分からなかった所は単に等号が抜けているだけだったり、添え字が逆だったりしたくらい。でトレースの連鎖律はよく分かった。昔読んだ時は大層難しいものだと思ったがそうでもないな。まあただ、分離拡大であることとトレースから誘導される双一次形式が非退化なのが同値、というのは未だによく知らない。昔成木先生がガロア理論を講義された時、分離拡大の定義をこの双一次形式の非退化で定義されていたが、学生はチンプンカンプンだったようだ。しかも成木先生はドイツ好きだから「シュプール」と言っていたようで、学生には耳馴染みのない言葉だったのも原因かと。そうそう、成木先生の話が続くが、1回生の講義の時に ξ という文字を使い、学生に「これ何ですか？」と聞かれた。ギリシャ文字は学生は不慣れなので、α、β くらいから徐々に慣らしていくのがいいでしょう。立教だったかな、1年生にギリシャ文字を教える時間があるそうだ。こういうのはあった方がいいかも。字の一覧表を配るのもいいな。

でノルムの連鎖律はトレースよりずっと難しかった気がするので、9時でやめて引き揚げてきた。表に出ると地面が濡れてる。雨が降ったのだろうか？駐車場に着くと車がしっかり濡れていた。で乗ってワイパーを動かしたら何やらジャリジャリ言う。ついに凍り付いたか。先週末の寒い時はからっからに乾いていたので凍り付かなかったが、雨が降るとやはりそうなるか。でエンジンを掛けたが、気温は4度あった。4度でも凍り付くか。デフォッガーを作動させてしばしじっとして待つ。数分で大丈夫そうになったので、出発。

年内の業務は今日で最後なので、ちょっとご馳走にしよう、ということにして、すき家で「牛すき鍋膳」。いや大してご馳走でもないだろう、という意見が多いだろうが、お袋が元気だった頃は元日すき焼きと決まっていて、いい肉をバクバクと食べていたが、もう死んでしまったから元日すき焼きは無し、ということで今日食べてきた。親父殿と兄者の住んでるマンションの1階にすき家があるから、別に今日食べなくてもよかったが。まあ食いたかったので。満足。

さて、仕事納めだし、少々呑むか。暮れから年始に掛けて沢山録画するが、昨日何やら NHK のページの番組表で手品の番組が沢山やるという情報を仕入れたので、全部録画してしまった。途中までは見たが。でダビングしないといけないし、中途半端な所まで見たドラマが二つくらいあるので、それも見たい。あ、明日は資源ゴミの日だな。あ、払い込まないといけないものがあるな。今日は徹夜でテレビを見て、寝ないで作業だな。今年は色々忙しかったし、まあ数日だらしなく過ごそう。実家にはいつ帰ろうか？上に書いたように帰ってももうお袋の手料理は無いから、こっちにいても横浜に帰っても同じなのだが。まあ1年に一回くらい顔を見せましょ。

M-1 ではまたしてもニュースターが誕生

昨晩は例によって遅くまで（早くまで？）。一昨日日本酒を呑めなかったので、敵討ちということで呑んだが、やはり日本酒は回る。最後の方が記憶に無い。確か「先週払いましたよね？」と聞いた記憶があるが、今回いくら払ったか記憶に無い。まあいいけど。で帰り道にセブンイレブンに寄ったかな？と目が覚めて思ったが、ペットボトルの水とボールペンがあったので、寄ったのだろう。

でテレビを付けっ放しで寝たようだ。そろそろ M-1 の敗者決定戦が始まるかな、と時計を見たらもう1時間くらいあったが、まあいいか、と起きた。で敗者復活戦と本戦と両方見た。去年のリベンジを、と意気込んだコンビはどっちもダメだった。今年もニュースターが誕生。まああまり書かないけど。まだ見てない人がいるかもしれないので。まあ面白かった。明日何か特番があるそうだが、ケーブルテレビのチューナーは裏でやってる「科捜研の女」を録画するので、どうしよう、とちょっと閃いた。特番は Blu-ray に直録りすればいい。後でセットしよう。

さて、昨日事務の人からメールが来たと書いたが、今日もメールがあった。時間を見ると8時41分。朝のね。まさか日曜日のこんな早くに出勤か？それとも在宅で作業してるのかな？どっちにしろ大変。まあ1月14日（日）の留学生入試は我々は8時45分集合だが、事務の人はセッティングがあるから、8時くらいには行ってるのかな？副学部長のF本先生もそうだろう。大変ですね。

さ、明日で年内の用事は終わりだ。気分良く終わりたいがどうだろう？最後の日に一番ストレスのたまりそうなゼミがあるのは何ともな、という感じだが。考えて見ればセメスター最後の講義の日も月曜日だから、また同じことに成るのか。学生がちゃんと発表してくれればいいが。まあ期待はしないようにしよう。そうすればそんなにストレスはたまらない。火曜日学科長会議が無いので、明日の晩も呑むかな。

2週間連続土曜日に事務から連絡あり。金曜のノー残業デーの代わり？

昨晩は結構夜更かし。録画用ハードディスクに余裕を作るため、幾つか見て、ダビングもして。で結構遅く起きて、メールをチェックすると、学位関係は何もしなくてよいと分かってホッとした。一応会議の記録は残しておいた。

で昨日の会議中で出た件を事務に質問したが、最終結論は25日（月）の10時まで出せ、とのことで、早起きしないといけないのか、嫌だな、と思っていて、で事務は金曜日はノー残業デーらしく、返事が無かった。やはり月曜日は早起きしなくちゃいけないのか？と思っていたが、何と今日返事があった。先週の土曜日は事務長から返事があり、土曜出勤？と思ったが、今日は別の人が土曜出勤か。金曜日残業した方がよくないか？まあ何にしてもよかった。さっき返事を出したので、月曜日は1時からの講義に間に合うように起きれば十分に成って、よかった。26日に事務から連絡がある筈だった件も一昨日片付いたし、これで年内は事務的な雑用はもう無いだろう。

ということで呑みに行ってもよさそうなので、もう少ししたら出掛ける。今何やら昔のお菓子のことをテレビでやっていて、凄く懐かしいので見たい。9時54分までの番組のようなので、途中で切り上げないと呑む時間が無くなる。適当に切り上げよう。あ、クリーニング屋が7時半までだな。急いで行かないといけない。呑み屋とクリーニング屋はすぐ近く。そろそろ出掛けよう。

山本由伸もドジャースへ

12時前にアップした証拠を残すため、一旦アップします。続きは後程。

ということで日は変わりましたが、12月22日のことを書きます。

金曜日は1時から「代数学II」。今日は代数的非可解性の話。「代数的に解ける ⇒ ガロア群が可解群」と X⁵－10X＋2 のガロア群が S₅ と同型に成ることは次回示すとして、取り敢えず S₅ が可解群でないことを証明した。そのために置換に関して色々。年明け一発目は群に関して細々とやる。一番大事なのは「p が #G の素因数 ⇒ G は位数 p の元を持つ」というコーシーの定理。これ難しい。G がアーベル群である場合にまず証明して、それから中心、中心化群、正規化群について色々やって、位数に関する帰納法を使ってアーベル群であるという仮定を除く、という仕組み。スチュワートのガロア理論の本に出ている証明を採用させてもらった。前は「代数学序論でやってるでしょう」としていたんだが、まあ self-contained にした方がよかろう、ということで時間を使うことにした次第。鈴木治郎氏による和訳が出ているので、便利。まあ講義を聞く人はいないだろうね。で1月19日（金）が最終回と思ったら、1回休講にしていたから、1月20日（土）もやる。2日続けてか。レポートの締め切りを20日の5時にした気がする。講義が終わるのは2時半。まあ一人も来ないかな。

学生が講義後色々相談したいとメールで言っていたが、今日は2時40分から人と会う約束があり、4時半から会議だから、無理だと言っておいた。で3時過ぎに訪ね人は来て、色々と。まあ3時半くらいには帰っていったが、4時半からの会議にはそんなに余裕は無い。ということでちょっと細々と用事を潰す。

4時半から会議。今日は2名に博士号を与えるかどうかという話が主。小生未だに博士は輩出しておらず、しかも学科長は初めてだから、全く要領が分からない。ということでA堀先生に聞くも、何かよく分かったような分からないような。別件もあるし、後で調査、ということで別の議題。これ本当は皆揃っている時にしたい話だったが、まあ仕方ない。で色々話して、空港からオンラインで参加されている幾何のT先生、ってこれ unique じゃないのか、えーと、並びの部屋のT先生、ってこれだと3人いるな、えーと幾何のT准教授、うん、これなら unique、えーとそのT先生が飛行機の時間ということで離脱。まあ何じゃかじゃと数名で話し続けて6時半過ぎ。そこで終了。

7時から何やら忘年会のようなものをやる、と言っていたので、参加することにしておいた。月曜日に講義があって、明日はいつもの店で年内呑み納め、明後日は M-1、ということで今日車で帰らないと月曜日に行くのが面倒に成る。ということで酒は我慢。N先生が出汁から作ったおでんなど、御馳走がいっぱいあったのでいいです。で同僚や学生と色々話してきた。一番話したのは基礎教育専任講師のA先生。Twitter 上で時々やり取りがあるくらいで、あまりちゃんと話したことはなかったが、色々為に成った。2x＝y というのは学生には気持ち悪いらしい、とか、1回生相手の講義経験が豊富な方ならでわの話が多かった。小生来年は1回生を担当する。勉強させてもらった。で皆さん終バスまで呑みそうな勢いだったので、付き合ってきた。終バスは11時5分で、正門は12時に閉まる。ということで皆さんを見送った後、ちょっとさっきエラーが出て止まっていた TeX 化をやってきた。で11時20分過ぎに個研室を出た。

8時くらいに雪、とスマホに情報が出ていたが、全く降った様子は無かった。が、流石に寒い。駐車場の結構奥の方に停めたので、そこそこ歩いた。建物の間を歩いている間は良かったが、ほぼ皆さん帰ってしまった後のガラガラの駐車場を歩くとかなり寒い。耳が痛いぞ。もうこれは氷点下だろう、と思ってエンジンを掛けたら、1度の表示。何だ面白くない。覚悟してたのに。車載カメラが凍結、の警告も無かったし、拍子抜け。まあだけど昨日の状況を鑑みるに、逢坂山は氷点下だろう、ということで高速で帰ることにした。ほぼトラックしか走っていない。11時45分くらいに住処着。で上に書いた通り一旦アップした。

でその後学位関係のことを調べたんだが、何だかさっぱりわからん。25日（月）までに何かしないといけないようなのだが、どうしようもないので、主査のA堀先生に泣き付いておいた。小生がへまをやると学位取得が飛ぶので、ちゃんと調べてくれるでしょう。ということで今晩はこの辺でいいでしょう。

山本由伸もドジャースとか。ドジャース本気だな。大谷は優勝の美酒を味わえるでしょうか？バレンティンが優勝したくて Hawks に移籍したが、「金で優勝は買えなかった」と言って、1年で寂しく退団していった。西勇輝は人気球団ということで Tigers に移籍したのだろうが、まさか先に Buffaloes が日本一に成るとは思ってなかったろう。まあ今年 Tigers が日本一に成れてよかったね。今年の漢字は「税」だった。小生の周辺では「絶対に『虎』だろう」と言っていたが。発表する清水寺のお坊さんも「虎」だと思っていたらしい。何でも Tigers ファンだとか。えーと、山本由伸の話。結構な契約を勝ち取ったようなので、活躍しないと。来年は大谷は投げられないので、山本はその分まで勝たないとドジャースファンは納得しないだろう。頑張ってください。

逢坂山峠の気温計は0度の表示

今日も昼過ぎまで起きられなかった。起きてメールを見ると、昨日事務に返したメールの返信が結構朝早くあった。小生の答えを待ち侘びていたのだろうか？

1時半過ぎに住処を出て、2時過ぎに職場へ。弁当を食べてからゼミ。超越数のゼミは、何やら Weierstrass ペー関数の基本性質の証明を始めた。特殊値の超越数をやりたいのだが、その準備。こういうのは4回生配当の複素解析の講義でやってると思うが。まあいいです。「偏角の原理」なんて久し振りに聞いた。で一つ不等式を証明したが、例によってざっくりざっくりと評価。こんなのでよく非自明なことが証明出来るもんだなー、と毎回感心する。整数論のゼミは2次体のイデアル類群の計算。で h を類数とした時、p が完全分解する素数なら ±p^h＝x²－my² が整数解 x,y で (x,y)＝1 なるものを持つ、という証明をしたんだが、(x,y)＝1 が示せるの？と思って聞いたら、何かおかしい。あまり深く考えてこなかったと言ってた。大学院生相手なら少々きつく言うが、まあ学部生なので。で色々考えたが矛盾が出ない。h＝1 なら OK。が、h＝2 だとうまくいかないぞ、と思ったらそれはそうで、x＝p, y＝0 という (x,y)＝1 でない解が存在してしまう。取り換えられる、というのが示せない。もう一回考えてくる、と言ってた。5時前に終了。

で部屋でそれを考えよう、と思って始めたが、つい興味がそれて、素数 p が p＝x²－10y² と表される条件を考えてしまった。前に講義で p＝x²＋5y² の表示のことをしたので、それを見ながら考えた。で出来た。Q(√10) の基本単数のノルムは －1 なので、±p にしなくていい、としばらくして気付いた。でもう帰ろうか、と思ったんだが、27日という冬休みに入った後事務から届くはずだったメールが今日届いていて、副学科長が目を通した、と言っていたし、今日中に目を通すことにした。年内に用事が一つ減るのはいいこと。で目を通すと「数理化学科」とか「不変的」とか、色々 typo が目立つ。別の仕事で見た書類には「早稲田大学期間理工学部」とかあったし、こういうのは全部落選、としたいがそうはいくまい。で終わらせて事務にその旨送ると、すぐ返事が来た。事務の人も年越しの仕事を無くしたいのか、遅くまで残っていらっしゃるご苦労様。

「共立出版から荷物が届いてます」と事務の人からメールがあったので、帰り際に取りに行った。で開けてみると、Silverman の楕円曲線の本の鈴木治郎氏による和訳だった。著者の指示で送った、と書いてあった。氏は色々有名人だから知っていたが、向こうがこっちを知ってるとは思わなかった。これで Silverman の楕円曲線の本は全部和訳が出たことに成る。いいことです。まあ訳書には必ず誤訳が付き物なので、原著を見るに越したことはないが、ちょっと調べたいときは和訳は楽。送ってくれたのだがそっちは職場用にして、住処用に1冊買うか。

で8時45分くらいに車に乗ったが、エンジンを掛けると今シーズン初めて「路面凍結注意」の表示と警告音が。2度。うー。温かいものがいいな、ということで、馬鹿の一つ覚えだがちゃんぽん亭に寄った。温かいものを食べたいのは勿論だが、最近注文を口頭でやる店に行かなくなってきた。デブで禿散らかした老人が「ニンニク激増し餃子」とか「こってりニンニク入りで」とか頼むのが何か気恥ずかしいので。温まった。でもう9時を過ぎてるし下道でいいかな、と思って走らせるが、瀬田川大橋の所の気温計は1度、逢坂山の峠の入り口では0度の表示。やはり高速道路の方が安全だな。明日は大阪の最高気温が6度。京都、滋賀はもっと寒かろう。まあ講義は昼からだからいいけど。帰りが遅くならなようにしよう。4時半からイレギュラーな会議があるが、すぐ終わりそうだし。もう一つ話し合いたいと前から言われている議題があるが、終了時間はそれについてどれくらい深くやるかに依るな。

浮世の義理、と言うわけではないが、流石に年末から正月にかけて実家には帰る。で一人だと好き勝手な時間に起きて、好き勝手な時間にテレビを見て、とか出来るが、流石にそういうわけにはいかない。見損ねる番組も出るだろうし、沢山録画するが、例によってハードディスクがカツカツ。沢山見ないと。それとダビングしてハードディスクから消さないと。明日で年内最後だといいんだが、25日（月）まで講義とゼミがある。でさっき書いた通り27日以降にやる筈だった仕事は済んでしまった。26日には帰ろうか？まあだけど、結局飯は外食かインスタントものに成るだろうから、早く帰っても仕方ない。28日以降新幹線のぞみ号は全車指定席だと言ってたが、混むだろうか？まあグリーン車は大丈夫かな。まあいいや、もう少し考えよう。兄者には前の晩に電話すればいいや。

何も無い一日の筈が用事がバラバラと降ってくる

学科会議をやらないとつい夜更かし（朝早し？）してしまう。でその後もダラダラと過ごし、特に何もしない一日だった。まあ用事も無いだろう、と思っていたが、夕刻を過ぎてメールを見ると、結構急ぎの用事のメールが来ていた。ギャ！急いで返信。もう帰っちゃったかな？スマホも全然いじらなかったが、メッセージに「今日中に返事をくれ」というのが来ていて、ギャ！いやいや、急ぎなら電話してよ。まあ明日会うし、いいでしょう。

で「ミラクル9」を追っかけ再生して見た。「タイムマシンQ」という、時代を遡っていくクイズが面白い。今日ビックリしたのが、車の初心者マークって小生が生まれた頃は無かった、ということ。昭和47年から制度化された、と言ってた。まあ高齢者マークが出来たのもそんな昔の話ではないしな。それと深夜放送「オールナイトニッポン」は小生と「同期生」。いや、昭和42年に始まった、くらいの意味だが。色々発見があっていい番組だ。

あ、何もしなかった、と書いたが、深夜にちょっと演習問題を作るくらいはした。来年度は1回生に線形代数を教えるが、写像が単射とか全射とかちゃんとやらないといけない。で折角行列を教えるから、行列を使った例を作るのがよかろう、ということで数題。今年担当している人は毎週のように小テストだレポートだとやっているようだが、小生そこまでしようとは思わない。講義ノートを web に上げると出席者が減るから、それはやめよう。演習の時間があるから、「代数学I」や「代数学II」でやっているように任意の演習問題を作らなくてもいいが、ちょっと web に補足プリントを載せるくらいはしよう、ということで色々考えてるわけだが。テキストに出てない例を出した時とか、そういう例をまとめればいいかな、と。あ、シラバス書かないと。色々やらないといけないな。

明日は目茶目茶寒いらしい。早目に職場を離れるとしよう。ワイパー上げておいた方がいいかな？フロントガラスの凍結防止に使えるやつは結局まだ買ってない。明日帰りにオートバックに寄るか。

月曜は早寝しないといけないのに、「数理科学特論2」のノートを読んでたら朝

今日は学科長会議だし、昨晩は早寝、と思ってたら、遅くなってしまった。来週の「数理科学特論2」のノートを見てたら、何だか分からない所があって、そこをちゃんと考え始めたらもう大変。添え字がぐちゃぐちゃで。で頑張って何とかなったが、そこでやめればよかった。もうちょっと先、もうちょっと先、と欲張ったら、今度は本当に何だか分からない所が出てきて。何度も証明を読み直したが、やっぱり変。うぉー、魚ー、とかやってるうちに「おはよう朝日です」が始まってしまった。いかん、今年最後の学科長会議を寝坊で遅れるわけいかない。ちゃんと寝ると寝坊するから、テレビと電気を付けっ放しにして横に成った。

で大下容子アナの声が聞こえてきたので、もうしばらくしたら起きた。が、流石に寝不足。学科長会議にあまり集中出来なかった。で学科長会議が終わってから一旦ダウン。教授会は4時半からなので、少し寝られる。4時25分にアラーム仕掛けてあるし。

で目が覚めたら4時45分くらい。まず！4時25分のアラームはこの前解除したんだった。でも今日は最初の方は何やら説明をすると成っていたので、教授会自体には間に合った。学科長会議は長目だったが、教授会は短かった。その後学科長会議の資料を見直して、学科会議をやらない旨学科の皆さんにメールを送ってなど。学科長会議を真面目に聞かなかった罰で、もう一回資料を割とちゃんと見直す羽目に成り、思ったより時間食った。同じことを2度繰り返すのは大変。1回で済むものは1回で済まさないと。勉強も同じで、ためると大変。ちゃんとその日のうちに片付けましょう。

ちょっと昨日まで色々パニックってたが、少し楽に成った。いや、年明けの会議の作戦を今のうちにちゃんとしておかないと。大事なことは喋って、余計なことを言わないようにしないと。人の人生背負ってるからね。学生がゼミで分からないと言ってた所を調べないと。あ、一通メール書かないといけないな。面倒くさいことは重なるもんだ。取り敢えず酒でも呑むか。いつも書いてる通り買い置きが無いので、これから買ってくる。さっき銀行に行ったが、雨が降ってた。止んでればいいけど。明日はそんなに寒くないようで、朝も冷えないようだから、まあちゃんと寝れば風邪をひくこともないだろう。木曜から寒く成るようだ。気を付けよう。

姐さん、誕生日おめでとう（0x32歳）

目が覚めたら9時半くらい。もうちょっと寝よう、と思って目をつぶったら、次の瞬間10時半くらい。時間は一瞬で過ぎる。でもう一度目をつぶったらすぐに11時過ぎ。もうさすがに起きた。で12時10分に成る前に職場着。まだ講義の終わる前なので、学生はそんなにわんさかいなかった。弁当を買って個研室へ向かう途中、F家先生とW先生が連れ立って歩いているのに会った。

で弁当を食べ、講義室へ。1時ちょい前だったが、一人だけいた。もう暫くしたらもう一人来て、始めることにした。今日は連結成分を定義して、Q_p が完全不連結であることを証明。穴があるから埋めて完備にしたはずなのに、てんでバラバラ、という不思議な事実。これ、岩澤先生の「局所類体論」に証明抜きで出ていて、4回生当時は今より位相が苦手だったので、証明出来なかった。暫くして、津田塾の知り合いが局所体のことを講義されている、と言っていて、ノートコピーしたものを会う度にもらってた。そこにちゃんと証明が出ていて、あ、これは自力では出来ない、と悟った。そもそも連結成分について何も分かっていなかったので。今日の講義の証明はそれを見て起こしたもの。今ならよくわかる。それから付値の同値を定義して、Ostrowski の定理の証明。Q の付値が非アルキメデス的ならある p 進付値と同値、というところで時間に成った。来週はアルキメデス的なら通常の絶対値に同値であることを証明して、それから p 進体の拡大体の話でもやろうかと。講義の残り回数を数えると、何やら1回不足しているような気がするんだが。来週はやるとして、1月8日（成人の日）は無し、1月15日が最終回の筈だが。

その後個研室で書類書き。昨日の晩メールが来たので、それを見て作業。まあいいんじゃないでしょうかね。事務に送ろうとしたら保険会社の人が来た。何やらまた契約させられた。上得意は辛いね。まあ老後はジタバタしなくても定期的にお金が入ってきそうなので、いいけど。今は結構余裕あるからね。

で4時20分からゼミ。先週来なかった学生が先々週の残りカスを片付けることから始める。相変わらず色々問題ありで、ギャップをタップリ残してきている。突っ込むと全然答えられない。ちょっとだが随分時間が掛かった。二人目は概ゼータ関数（prezeta function）の収束性と留数（実変数でやってるから、留数というのは変、と著者も書いてる）の計算。ちゃんと準備してあってよろしい。先週「解析は苦手です」と言っていたが、どうしてどうして。ちゃんとどういうところまで埋めてきて、ということが分かっていれば、多少苦手でも問題無い。そういう面では3人目は相変わらず問題あり。まあましに成ったのは、2か所、自分で埋められなかったことを正直に聞いてきたこと。前は全部スルーして、こっちが騙されるのを期待しているかのようだったが。が、その後相変わらず定義も分からず、なのに議論しようとしたりと、問題は残っていた。前にちゃんと説明したところを何も理解していない。話を聞かない、復習をしないでは、毎回準備に数倍の時間が掛かると思うんだが。でそういう趣旨の文句を毎回言ってるんだが改まらない。M1の冬だ。もういい加減にして欲しい所。講義には出て来ないし。まあいいけど。1年後にジタバタしても手助けせんぞ。

7時半に終わって、講義ノートを web に上げて。今日は雑用が無い（筈）なので、来週の講義のことを考えようと。で見たんだが、何だか全然分からん。さっき n で定義したのに a に成ったり b に成ったりしてるのは何でなんだ？と思ったらちゃんと「n に依らない」と書いてあった。そうか。来週現場で立往生しないよう、メモっておいた。で Ostrowski の定理は分かった。その後ノルムだトレースだと、よく分かっている筈の所を読んだが、何だか分からん。時計を見たらもう9時だ。今日は寒く成ると言ってたし、いい加減に帰ろう、ということにする。

表は思ったほど寒くなかった。エンジンを掛けると気温は5度の表示。まあ5度あれば。国道1号に出た頃は6度に上がってた。今日は当初の予定通りすき家で「ホロホロチキンカレー」を食べてきた。旨かった。でもう10時くらいだったので国道1号は混んでない。寒さもこれくらいなら峠道が凍結していることもなからろう、ということで下道で帰ってきた。峠の入り口の前に気温計があるが、3度の表示。今週の木、金辺りは大阪で最低気温1度とか成ってたから、滋賀や京都はもっと寒いかも。渋滞してもいいから、少し早目に帰ってくることにしよう。

年内の学科長会議は明日が最後のようだ。ということはやっぱり講義日は12月25日が最終か。やっぱり1回足りないな。おかしい。9月の講義は毎年26日からで、今年は火曜日だったから月曜日の講義は無かったはずだが。で今調べて判明した。講義は1月20日（金）で終わりかと思っていたら、22日（月）まであるようだ。レポートの締め切りを20日にしてしまった。どうしよう。22日は誰も来ないか。まあそれならそれでいいや。あ、ゼミはやるよ、と言っておかないと。

あ、忘れてた。今日は知り合いの50歳の誕生日。メールしておかないと。皆歳を取ってくな。

元寺尾の錣山親方が死んだ。享年60。

呑み屋に行ってみると、いつもの通り暇そうだった。正夢ではなかったか。店長とバイトの人（昨日は客）と小生と3人で、「これ余談なんですけど…」のように話に花が咲く。Tigers の話から大谷の話から自民党の裏金の話からM-1の話へと。で久々に日本酒を呑んだ。ちょっと変わった味の日本酒だったが、まあ美味しかった。でこんな時間まで呑んでいいの？というような時間まで呑んできた。いつもお開きに成る時間に、「もう一杯どうですか？」と店長が言ってきたので。最後の方は記憶が無い。払ったのかな？セブンイレブンに寄ったかな？気温は1度くらいだった筈だが、寒く感じなかった。酔ってて正解。

で多分帰ってきてすぐダウンしたのだろう。1時半過ぎに一旦目が覚めた。M-1の特番がやる、と言っていたが、録画してないな。まあ後で TVer か何かで見ればいいや、ということにして、引き続き寝る。

で夕刻に起きて、Uber Eats にいつもの王将メニューを頼んで、待っている間に TVer でM-1の特番を見た。面白かった。でその後「ポツンと一軒家」を見たり。大河ドラマが最終回だったが、まあ後で見よう。色々異論が多かった番組だが、家康もので、信長、秀吉が出れば多少滅茶苦茶でも面白いさ。序盤に時間を使い過ぎて、家康が秀吉に降ってから大坂の陣までが超駆け足だったのが残念だったが。まあ来年は見ないな。週に一度、45分の番組をちゃんと追い掛け続けるのは結構苦痛なので、解放されれば嬉しい。

今日の「サンデーステーション」は30分だけ。トップニュースは寒い話。昨日までの暖かさが嘘のような寒さで、近畿でも何か所かで初雪。多分京都市は降ってないだろうけど。遅くまで職場にいるとフロントガラスが凍り付いてギャ！とか成りそうだから、明日から暫くは早目に帰ってくることにしよう。待っていたメールは来たし、明後日までに事務に送るメールは早いこと書いてしまおう。

で「サンデースポーツ」を途中から見たが、「元関脇・寺尾の錣山親方死去」のニュースにはビックリ。まだ60歳。花の38、と言われていたから、昭和38年生まれ、小生の4、5歳上だ。阿炎が優勝した時は病気で休んでいたと言ってたから、前から病んでいたのだろう。兄の逆鉾も死んでるし、昔のスターはどんどん死んでく。小生も歳をとったということだな。55歳でいるのも残り3週間ほど。誕生日の次の日は緊張する教授会。楽しくない誕生日に成りそうだ。おっと、誕生日の二日前はさいたまスーパーアリーナで浜田省吾のライブだ。楽しんでこよう。

事務長は土曜出勤か？

「今日からヒットマン」が終わったら、「たとえあなたを忘れても」が始まってしまい、見てしまった。が、日曜日に録画してあるのの再放送なので、真面目には見ず、ちょっと計算を始めてしまった。2 が Z[√(－3)] の既約元であることを前に示した。でそれを 3 でない時にやってみようと思ったら、存外大変。ウダウダとやったがうまくいかず、結構経ってから閃いた。m≡3 (mod 8) なら 2 は Z[(1+√(－m))/2] の既約元。これは代数的整数論を知っていれば自明。でそれを使えばできる。m＝3 の時は単数がちょっと多い（6個だが）のでちょっと面倒だが、まあ出来た。で TeX 化したりとかやってるうちにもう「おはよう朝日土曜日です」の時間に成っていた。妙に暖かいな、と思ったら、6時半現在で15度を超えているとか。とんでもない。が、今日はこれからどんどん寒く成ると言ってて、来週は最高気温6度とかいう日があるとか。とんでもない。

で昨日書いた通り午前中に用事があったので、寝ないで行くことにした。用事自体は短時間で済むので、まあいいか、と。で帰ってきて横に成ったが、眠くない。こういう時は You Tube を見てると眠くなるので、見始める。案の定眠く成ってきた。でスマホを放り出して寝たんだが、放っておくと次から次と流れてくるようで、眠り自体は結構浅かった。それでもまあそこそこ寝られた。眠りが浅いせいか夢は見た。歯がまとめて何本も抜ける夢だったり、いつも暇そうにしている呑み屋が超絶忙しかったり。前者は目が覚めて歯があってホッとした。後者はどうだろう？今から陣中見舞いに行くが、超絶暇だったりしなければいいが。

で「笑わない数学」の「素数」の回を水曜日にやっていたのを録画しておいたので見た。第1シリーズで唯一録画出来てない回だったので、見て、Blu-ray にダビング。その間に風呂に入っておいた。もう終わっているので、ハードディスクから消去する。でテレビを付けたら、「憧れを超えた侍たち」がやってる。ああ、そうか。今日やると言ってたな。まあ映画館で見たし、Blu-ray も買ったし、途中だけど呑みに行こう。

待っているメールはまだ来ない。が、事務長からメールが来ていた。昨日の晩書いた件の返事。見ると夕方4時くらい。今日出勤して仕事したのだろうか？ご苦労様。偉くなると大変ですな。

はま寿司で100円河豚を食べた

今朝は10時半前に目が覚めた。はま寿司に寄ろう、ということにして、11時ちょい前に住処を出た。でこの前無かった河豚を食べた。まあ150円だからな、といいことにした。で他にもいつも食べないものを幾つか食べて、大体1500円。

で12時半前に職場に着いた。メールを読んで、簡単に済みそうな用事を幾つか片付けて、12時53分くらいに部屋を出て、コラーニングハウスIIへ向かう。

先週は1時の時点で誰もいなかったので、今日もそうかもしれないと思って、文庫本を持っていく。が、こういう万全の準備は大抵役に立たない。二人いた。一人は火曜日に会ったが、もう一人は数週間前までは来ていた学生だろうか？まあ構わず始めた。今日来た人は得。何故かというと、今日教えた分をそのまま書けばレポート問題が幾つか解けるので。他にも幾つかガロア群と中間体の対応付けをやって、それから3次方程式と4次方程式の話を簡単に。で一番肝心なことを言い忘れた。3次方程式と4次方程式は代数的に解ける、と。まあいいです。来週覚えてたら言う。途中振り返ってみると、学生が一人入れ替わっていた。いつもの顔が二人。数週間サボって、訳が分からず逃げ出したか。まあいいけど。

で部屋に戻って、今週の月曜日の講義ノートをいい加減 web に上げないといけないので、やる。話してておかしな所があったような気がしたので、もう一回一から読み直してみたが、R の連結性の証明が何か変。結構考えて、ようやく分かった。書き直した方がいいか、と思ったが、面倒だし、雑用のメールが来ていたので、そっちをやることにする。こっちも結構面倒。事務の人は数学の専門家ではないが、結構的確に直してきている。多分 MathSciNet を知らないだろうから、教えておいた。8時過ぎに返事が来たが、その後返事が無いところをみると、流石に帰られたか。こっちも9時くらいには切り上げてきた。

今日は豚カツが食べたい気分だったので、松のやへ寄った。チキンカツがあったが、まあ今日は豚カツだ。牡蠣フライ2個がプラスで乗ってるやつにしといた。美味しかった。

で帰ってきて「報道ステーション」を見ると、今日も大谷の話。今朝8時からドジャースへの入団会見があったそうなので、まあそうなるかな。その後先週の「座王」を見て、今「探偵ナイトスクープ」を見ているところ。今日の顧問は藤川球児。面白そうだ。

終わったら酒を買いに行って、「今日からヒットマン」の最終回を、と思ってよく調べたら、明日は午前中に近所で用事があるのだった。まあいいや、明日呑もう。考えてみたら、先週の分をまだ見てないな。呑まないでそっちを見て、それが済んだら寝よう。

昨日の整数論のゼミをやってる時にちょっとメモしてきた計算をやってみた。具体的にやるより、抽象的にやった方が分かりやすいということはあるもので、今回もそう。3 とか －5 とかでやるより、p と m でやった方がすっきりする。数学以外の人は、「そう抽象的にやられてもわからん。もっと具体的に」と言うそうだが、数学の人は「そんな具体的にやられても困る。抽象的にやってもらわないと」と言うそうだ。数学の特性が表れてる面白い話だと思う。計算は後で TeX 化しておこう。

ちょっと待ってるメールがあるんだが、来ない。まあ忙しいのだろう。週明けにいただければいいかな。今日はちゃんと寝て、明日は呑んで、月曜日にちゃんとやればいいや。ただ、今週の暖かさとは裏腹に、来週は大層寒いようなことを言ってた。遅くまで職場にいると、車の窓がピキピキに凍り付いていそうで怖い。明日ケーヨーデイツーに寄って、そういうのの対策に成るものを探してみよう。

N5! とかいうゴツイ奴にめげずに予習をするあたりは流石

一日不摂生すると復活が遅いのは何度も書いてるが、今日も起きたのは1時半くらい。10時間以上寝た。まあ木曜日は2時40分までにウェストウィングに着いていればいいので、問題無し。2時25分くらいに職場に着いて、生協で弁当を買って掻っ込んだ。今日の弁当はスプーンが無いと食べられないものだったので、5円出してスプーンも購入した。

2時40分からゼミ。整数論のゼミはイデアル類群の話とか。2次体に限定しているので、まあまあ易しい。証明が略されている命題が幾つかあったが、今日は紹介しただけだった。調べてくるんだろうか？まあ2次体のイデアル類群の有限性なら、数の幾何無しで示せるけど。それに虚二次体の場合は Minkowski の評価よりよいものが得られる。Lemmermyer の2次体の本に実の場合も評価が改良されるようなことが書いてあったが、まだ調べてない。時間が出来たら読もうと思っているんだが、中々そうもいかない。まあ春休みにでも。超越数のゼミは相変わらずごつい。N⁵! とかいう凄いのが出てきた。市販の関数電卓は大抵 69! までしか計算できないので、N＝3 ならもうアウトだ。こういうのにビビらないように小さい数で計算し慣れて、それから抽象的にやっているのだ。こういう「ゴツイ」ものが出来ないと超越数の研究なんて出来ないだろう。進学後は向こうの大学院で楽しくやってください。で5時くらいには終了。

それから個研室で色々。昨日書いたメールに返事があったので、それを事務に送って、別件で直しを要求された書類があるのでそれを直したり。で何だか分からなく成ってきた頃にはもう7時に成っていた。調剤薬局が8時までなので、帰らないと。

で薬局で処方箋を出して、向かいの銀行で金を卸して、で本を読みながら待とうと思っていたら、あっと言う間に呼ばれた。今日は何故か少し安かった。いつも千数百円払っていたと思ったが、985円（袋代5円）で済んだ。これなら銀行行かなくても払えたな。まあ明日以降の生活に支障があるので、どっちにしろ卸したが。

8時前に住処に着いたので、久々に「ぐるナイ」をリアルタイムで見た。ゴチバトルは残り1戦。どうなるでしょう？その後珍しく「ケンミンショー」を見た。鹿児島には3文字の苗字が多い、という話が面白かった。以前 Baystars に細山田という選手がいたが、近所の鹿児島出身の人がやってる呑み屋で何故か細山田の名前が出たのだが、「あ、鹿児島の人？」と聞かれた。流石。数年前に中野渡という、これまた元 Baystars 選手の話題が出たことがあったが、彼はどこの人なのだろう？ちなみに「中野渡」という単語はあらかじめ登録されているようで、一発で変換された。凄い。

で今「報道ステーション」を見ているが、トップニュースは自民党の裏金問題。もう大谷がトップニュースではなくなったか、と思ったら、2番目のニュースが大谷。というかドジャースというか山本由伸というか。アメリカは金払いが違う。パーティー券による収入を報告しない、という日本のニュースが何ともけち臭く聞こえる。まあアメリカに限らず成功するのは一握りで、大概の人は貧困に喘いでる。そういう人たちをどうにかするのが政治家の仕事だと思うが、自分たちが違法なことをやってでも儲けようとする人が政治をやっているようでは、日本は明るくないね。ニュースで「堀井学」という名前の議員が出てきて、え？と思ったらやはりスピードスケートで活躍した人だった。政治家に成っていたか。悪いことをした人の一人らしい。オリンピックに出場したという名誉だけでは食えないのかな。

明日の大阪の最高気温は23度。もう12月も半ばやぞ。そうかと思えば、日曜日は京都や滋賀の北部は雪らしい。福岡の最高気温は明日は24度だが、日曜日は7度。わけわからん。年内の講義はあとちょっと。気温の乱高下で体調を崩さないように気を付けないと。

色々忙しい

今日は中々起きられなかった。10時半くらいに一旦目が覚めて、スマホでメールを見ると、学科長あれしろこれしろが来ていた。今日が締め切りの書類は昨晩出したが、もう一つ送らないといけないものがあったようで、それを書きに職場に行こうか、と思ったが寝てしまった。

で夕刻に起きてメールを見ると、またあれしろこれしろと来ていた。書類は、当事者達に送ってもらえばいい、と事務の方からアドバイスをいただいて、そうすることにした。でメールを出すと、お一方からはすぐ、もうお一方からは暫くしたら返事が来た。もう一方からはまだ来ていない。まあ事務の方曰く、少し時間的に余裕があるので、明日中に返事が無くても何とかなる、とのこと。まあ待ちます。

あ、調剤薬局に行き忘れた。まあいいや、明日早目に職場を出て行くことにしよう。処方箋は確か有効期限4日。明日は3日目なのでまだ大丈夫だ。あ、銀行にも行かないといけないな。こっちも明日行こう。あ、月曜日の講義ノートをまだ web に上げてないな。これからやろう。忙しいな。もう眠いし、あまり遅くまで起きているのはやめよう。「これ余談なんですけど…」は見るが。

今テレビで「カスハラ」のことをやっていた。気を付けないといけないね。小生、数年前に何やら牛丼屋で店員に噛みついたことがあった。「何やら」というのは、酔っぱらっててよく覚えてないから。翌日目が覚めて、噛みついてるシーンだけ思い出したが、何故噛みついたかが全く思い出せない。酒を呑んでたのは言い訳に成らない。気を付けよう。

酒は言い訳に成らない、と言えば、昔やくみつるの漫画で酔っ払い運転して電柱かなんかにぶつけた人が「まあ酒の上でのことですさかい」と言って、警官がずっこけてるというオチのものがあった。これが通用したら便利だね。飲酒運転はやめましょう。

僅かな隙間に鍵がスルーっと、躊躇いもなく落ちていった。

昨日書いた通り、今日は「西園寺記念奨学金」の表彰式。10時には起きよう、と思って早目に横に成るも、全然眠くならない。4時半くらいに腹が減ってしょうがないので、起きてカップ飯を、と思ったら、お湯が沸いてない。お湯を沸かして、食べて、5時半過ぎ。徹夜はしない方がよかろう、ということで、例によってテレビを付けて横に成る。10時半くらいには起きたかったので。で起きて、寝癖がそれほどでもなかったらいいことにしよう、と思ったが、結構な寝癖。仕方ないのでシャワーで直して、11時くらいに住処を出た。今日は珍しく背広を着て出た。

で個研室に荷物を置いて、表彰式の会場へ。事務の人が何やら慌てている。全員分の昼食が来るはずなのに、半分くらいしか来てない。会の開始直前に食べ物が来たが、会の最中は食べるな、と学生に言ってある以上、食べるわけにはいかない。事務の人は「持ち帰ってください」と言っていたので、後で食べることにする。栄誉ある表彰式、皆正装、かと思いきや、数名結構な服で来ている学生がいた。まあいいです。祝辞などの後、学科別に表彰式。電機や機械は学生が多いが、うちは1、2、3回生2名ずつ。結構すぐ済んだ。一言決意表明を言わせるのだが、皆立派なことを言っていた。12時50分過ぎに終了。

で1時から学科長会議。個研室から参加。さっきまで皆会場にいたのに、もう皆持ち場へ戻っている。物理の先生がさっきいなかったが、学科長会議にはいた。寝坊ではないのかな。で色々議題が出て、もう新年度の話が始まっている。大学は色々大変なんだな。

その後保健センターへ行って、処方箋を書いてもらう。まだ発熱外来には患者が来るらしく、しばし待たされた。4時前に個研室を後にする。生協で数セミと「LaTeX 美文書作成入門」を買おうと思ったが、LaTeX の本は無かった。先週末に見た時はあったが。新刊だから全部売れてしまったのか？仕方ないので、後でオンラインで買うことにして、職場を後にする。

今日はジョーシンに寄るつもりだったので、高速道路経由でなく帰る。その方が五条通への合流がスムーズにいくので。で買い物をして、五条通に出て、右折レーンにも頑張って入って、で同業者と呑む約束に成っていたので、調剤薬局に寄らないで、一路住処を目指す。

で5時ちょっとに着いて、駐車場に車を入れよう、というところで悲劇が。車のスマートキーを外しておかないと、車のドアが閉められないので外して、で立体駐車場の鍵を刺そうとしたら、ツルっと滑って鍵を落とす。ここで信じられないこと。悲劇とはこのこと。わずかな隙間を、鍵束が全く躊躇うことなく、スルー、っと落ちていった。マンションの管理人さんがいればいいが、と思って見ると、まだ電気が点いてる。で聞いたら、ニッパツに電話して、と言われた。もう。することもなく車の中でスマホをいじって待つ。幸い車の鍵は生きてたので、エンジンを切って、スマホをいじりながら待つ。ルームライトを点けて読書、とも思ったが、点け方が分からない。で30分～40分待ったらようやくニッパツの人が来た。で鍵はすぐ見付かって、6時ちょいには片付いた。その過程で呑む約束をした人から電話があったりして、「今悲劇的な状況なんで、取り敢えず『ふなごや』に行っておいてください」と伝えて、背広からいつもの服に着替えて向かう。

もう皆ビールが進んでいた。で小生も含め4人で呑む。久し振りな人が二人いた。聞くともうすぐ二人とも50だとか。うーん、歳をとったな。相変わらず「ふなごや」は暇そうだった。もう少し吞み食いしても良かったかと思うが、一人は名古屋まで帰るし、残りの面子はもう大分食が細くなっている。まあこの程度かな、と。去り際に「また土曜日に来ます」と言っておいた。ということでまた行くことが決定。

明日学科会議をやるかどうかメールしないといけないので、急いで書いて、それから明日締め切りの書類書き。まあいいでしょう、ということにした。大丈夫でしょう。

あ、調剤薬局に寄ってないな。処方箋の有効期限は4日だった。明日か明後日行こう。何にしても変な一日だった。呑みに行く前に銀行に金を卸しに行くつもりだったが、全部鍵を落としたせいでおじゃんに成った。まあいいです。今こうしてパソコンの前に座れているんで幸せ。何でも幸せに思えばいいです。アンミカの気持ちがちょっと分かる。寝不足だし、早目に寝よう。あ、書類。もういいや。これで提出しよう。

「数理科学特論2」もゼミも出席者は3名だが、同一メンバーでないところが面白い

今朝は9時台に目が覚めてしまった。まだ眠いがいいや、と起きた。でしばし色々と時間の無駄遣いをして、12時前に住処を出た。で職場に着いて、弁当を買って個研室で食べて。

1時から院生向け「数理科学特論2」。1時ちょい前に講義室へ行ったが、電気が点いてない。まあいいや、と暫く待つと一人入ってきた。「遅れてすいません」と言っていたが、見た覚えが無い顔だな、と思って色々挙動不審で、暫く経ったら「すいません、教室間違えました」だと。でもう数分したら見覚えのある学生が現れた。一人いればいいので始める。今日は距離空間だと「コンパクト ⇔ 点列コンパクト ⇔ 全有界かつ完備」をまず証明。「コンパクト ⇔ 点列コンパクト」を「全有界かつ完備」無しで示せないかと前探したことがあるが、出ている本を見付けた。が、フィルターの概念を使っていて、小生フィルターを知らない。オンラインシラバスを見てみたら、大抵の先生はフィルターを教えてないようなので、まあ仕方ないか、と証明。その後 Z_p が（点列）コンパクトであること、Q_p が局所コンパクトであることなどを証明して、それから連結性。開集合で分離出来るのを定義にしたが、「開集合でありかつ閉集合であるのは空集合と自分だけ」というのが同値であること、閉集合で分離出来ることが同値である、ということは演習問題にしておいた。で密着位相を入れれば連結に成るとか、そういうバカバカしいのだけやっても面白くない。R に通常の位相を入れると連結、ということを証明しておいた。実数の連続性が効いて面白いと思うがいかがかな。来週は連結成分を定義して、Q_p が完全不連結であることを証明する予定。今日で10週目。5週間あるがそんなにやることあるかな？まあ来週から少し暇に成るだろうから、少し考えよう。途中二人入ってきたようで、今日の聴衆は3人。「代数学II」より多い。

で書類書きをしないといけないが、どうも気乗りがしない。こんなんでいいだろう、いやーまだちょっと、…、とか何遍も繰り返し、結局殆ど何もしないまま4時20分に成ってしまった。

4時20分から院生とゼミ。先週もうちょっとで証明終わりに成っていたのがあったが、学生が調子を崩して来られない。ということで3人。（が、「数理科学特論2」の出席者と同一でないのが面白い。）で仕方ないので次の節に入る。学生が黒板にカリカリと書いている間にちょっと考えたが、ん？これ本当に空集合じゃないの？というところがあり、暫くしたら「これ空集合じゃないっていうのが示せなくて…」と言い出した。まあ大体引っかかる所は同じで、もしかしたら凄く自明なことが分かってないんじゃないか、と人に質問すると、その人も引っ掛かっていたり、一緒に真剣に考え始めたりする。だから堂々と質問すればいい。で結論は出なかった。ちょっと調べておくと約束。で ζ(s) が s＞1 なら収束（実数変数に限定している）、(s－1)ζ(s) が s→1＋0 の時1に収束することを示して、さ、ちょっと時間の掛かる定理の証明だから、その前に一息入れよう、と言ったら、さっきの空集合でないことを示すのに悩んで、定理の証明を最後まで読んでない、とのこと。ならいいや。早いけど終わりにしよう、ということに成った。分からないまま何となく説明して破綻する学生が多いが、潔くてよい。まあ来週は大丈夫でしょう。

で書類書きをしようとするが、やはり捗らない。明後日が提出締め切りだし、もういいか、という気持ちと、明日もうちょっと考えるかという気持ちが半々。で殆ど何もやらず、8時半過ぎに職場を後にした。もういいかな、いやどうしよう。

はま寿司によって晩飯。何やら機械の故障でフライものが全滅らしい。河豚があるような看板が出ていたが、今日の分はもう終わりだそうだ。やっぱり昼行った方がいいな。まあそれでも美味しくいただき、いつもの通り1500円くらい。

9時半過ぎに帰宅。さっきまで「報道ステーション」を見ていた。大谷の話題がトップニュース。まあそうだろうな。で結構長時間使って、自民党の裏金問題とかやって、最後がスポーツ。ドジャースが山本由伸も狙ってるとか。欲張りやね。日本だと Giants と Hawks が金に任せて巨大補強をしたが、どちらも今年の結果を見ると「金で優勝は買えない」と思ってしまう。ドジャースも程々にしないと。

昨日も書いたが明日は資源ゴミ。この前ジャパネットに靴を注文して、数日前に届いているのだが、未だに宅配ボックスに入りっ放し。資源ゴミに段ボールを出したいので、これから出してくる。まあジャパネットで買うくらいだから大して高いものではない。着るものには金を使わない方針何でね。何に金を使うんだって？うーん、何にも使ってないな。まあ車は多少高いが、ビックリするような値段の物は買わないし。ここのところで一番高い買い物は今住んでる部屋だな。隣の部屋はもう少し高かった気がするが、一人で住むには今くらいの部屋で十分だ。隣のマンションは小生が今の所に住み始めて数年後に出来たが、一室の値段を聞いてびっくりした。小生の部屋の倍くらい出さないと、一番安い部屋すら買えないらしい。そんな高い買い物をして、車を青空駐車している人が多いが、いいの？という気がする。小生の車は普段地下にあるが、夏は暑くなく乗れて、冬もフロントガラスがピキピキに凍って出発できないということは無いし。部屋は安くても駐車場がいいので、満足してます、はい。

さ、靴取ってこよ。

大谷ドジャースへ移籍

昨晩も相当呑んでしまった。店で流れている BGM を「甦る昭和」みたいなのにしたら、もう懐かしい歌がバンバン流れてきて、もう酒が進むこと。店長とバイトの人は48歳で、小生より少々若いが、まあ大体同じ時代の曲を聞いている。盛り上がった。

で結構な時間に帰ってきて、テレビを付けっ放しで寝てしまった。その途中「大谷、ドジャースへ移籍」と聞こえた気がしたが、まあ後で確認しようと、寝続けた。夕刻に起きてニュースを見ると、確かにそうだった。カナダのチームに行く可能性大、みたいな報道があったが、あれは何だったのだろうか？強いチームなだけでなく、ロサンゼルス本拠地のチームということで、引っ越さなくていいのも理由だったか、という気もするが。いや、スポーツ選手に移籍は付き物。引っ越しくらい嫌がってないか。「サンデーステーション」は番組を30分拡大して、大々的に取り上げていた。自民党の裏金問題は2番目のニュース。どっちが重大か、世間の関心は？ということを考えたら、やっぱり大谷かな。来年は打者専念だが、またホームラン王を取るくらいの活躍をして欲しい。

さて、まだ「サンデーステーション」は続いている。NHKにチャンネルを変えて、「サンデースポーツ」を見ようか、と言う気もするが、どうしましょう？11時からは続きが気に成る医療ドラマ。前にアメリカ発、と書いた気がするが、良く調べたらイタリアのドラマだった。主人公がファンティとかいう名前だから、アメリカの名前ではなかったな。それが終わったら寝よう。明日は講義とゼミ、その後水曜日までに提出する書類を書かないといけない。火曜日はいつもは12時55分に起きればいいんだが、今回は12時10分集合で「西園寺記念奨学金」の表彰式がある。ということで明日も早寝しないと。あ、明後日は資源ゴミの日か。まあ空き缶と段ボールを少々出すくらいだから、早寝できるか。しかし面倒臭いな。学科長は辛いね。

雪江先生の整数論の本はゼミのテキストとしては不採択（面白そうだが）

昨晩は結構呑んでしまった。書類書きをするつもりだったのだが、やはり難しいことはしたくなくなり、色々現実逃避。3次方程式を解いたり、4次方程式を解いたり。で卒研希望者が10名もいることは書いたが、テキストは何にしよ、と考えた方がよかろう、と思って、雪江明彦先生の整数論の本を見たが、2巻は難し過ぎ。1巻は楽しそうだが、地の文が多く、ゼミ向きではないか、という感じがして、更に代数のことを書いてる部分が多過ぎて、好みではない。ということで雪江先生の本は不採択。まあまた今度考えよう。といいつつ、雪江先生の本に出ていた体論の問題を考えてしまったり。基本的なことを案外分かってないことが分かって呆然。でテレビを付けっ放しで横に成ってしまった。

で結構遅くまで寝ていた。今日も現実逃避で呑みに行こうと思っているが、まだちょっと気持ち悪い。まあそれでも呑むだろうけど。向かい酒という奴やね。

昨日はNPBの現役ドラフトが行われたようだ。Baystars からは櫻井が出ていって Eagles に移籍、来る方は Marines から佐々木千隼。Marines で佐々木と言えば佐々木朗希だろうが、佐々木千隼は5球団から1位指名された逸材。Baystars もその一つ。去年だったか一昨年だったか、リリーフで無双の投球を見せ、8勝1敗の成績を残した。やってくれるでしょう。で twitter を見ていたら、Baystars に佐々木が復活、と盛り上がっていた。そうか、佐々木か、成程。Marines 側は佐々木朗希を佐々木と呼べるように成るが、まあ佐々木朗希と呼び続けるような気がするが。小生もそうだが、未だに twitter 言うし、あの会社も Smile up と言っているところは少なく、「ジャ〇〇〇事務所から改名した Smile up」とか、「旧ジャ〇〇〇事務所」とか言ってる。えーと、佐々木千隼の話。投手としても逸材だが、高校時代は30本を超えるホームランを打った強打者でもあるようだ。まあ打席に立つことは無いだろうけど。

8時を過ぎたな。呑んでくるか。今日も結構な量呑むだろうな。来週は火曜日に京大に出張で来る同業者と呑む約束に成ってる。火曜日は西園寺奨学金の表彰式のため職場に行って、それが終わったら学科長会議、その後保健センターへ行って、調剤薬局に寄る、と結構慌ただしい。が、天気が目茶目茶悪いようなことを言ってた。やだな。まあ仕方ない。ということで行ってきます。

「代数学II」に3回生が一人も出席してないのに、卒研の志望者が10名もいる

昨晩は「アメトーーク！」が終わったら寝ようと思ったんだが、何やら次の番組で箱根のことをやったので見てしまった。箱根はよく行った。子供の頃から大学生の頃まで。それでも知らないことが多くて面白かった。

で今朝は11時過ぎに起きて、シャワーを浴びて出勤。職場に着いたのはもう12時40分近く。弁当を買ったが、個研室へ行って食べて、それから講義室へ、は凄く慌ただしい。個研室に置いて、講義後に食べようか、とも思ったが、今日は暖かかったので、表で食べることにした。誰にも見られなかっただろうか？

で1時少し前に講義室に着いたが、誰もいない。まあまだ1時まで時間あるしな、と「覇王の家」を読み始めたが、チャイムが鳴っても受講生がいない。まあ30分待って教員が来なかったら自然休講、みたいなことがあるから、30分待とう、ということにして引き続き読書。10分くらい経ったら5回生が一人来た。彼はちゃんと来てるが、いつも遅れてくる。まあ一人でもいればいいや、と始める。今日は V₄ 拡大の例、S₃ 拡大の例、C₄ 拡大の例を一つずつ挙げた。ガロア対応をきっちり付けた。C₄ 拡大の例は、誰がどう見ても Q(√5) を含んでて、位数 n の巡回群の部分群は n の約数毎に一つずつあるから、何も計算してないでもガロア対応が付く、と説明。これ昔そのまま試験に出したことがあるが、割合出来るが講義を真面目に聞いていない学生が試験後「計算量が多くて、時間が足りないですよー」と文句を言ってきた。でそやつの解答を見たら、やはり授業を真面目に聞いてない。基底の1次結合で元を書いて、ガロア群の元で写して、不変であることを全部計算している。そやつに後日会った時に「足らんのは時間やのうて、お前の頭や」と言ってやろうとしたが、一応「工夫が足りない」くらいオブラートに包んで言った。今日の講義を聞いてれば単位認定レポートが1問解けるが、一人だけでは…。来週は円分拡大の例をやるが、それが分かればもう1問解けるが、どうでしょうか？もう1問は講義の最初の方の内容だけで解けるので、大量不合格とは成らないでしょうが。

その後部屋で雑用。どうにも捗らない。色々書いては消し、書けない分は会議で喋ろうということで作戦を練ったり。途中講義ノートを直して web に上げたりと現実逃避。でウダウダと9時過ぎまでやってた。

W先生から来たメールに、「卒研2次募集締め切り」というのがあって、小生の所に5名、とか書いてあって、嘘やろ？と思って学科のサーバーを見たら、1次募集が5名。何だ、トータル5名か、と思って一瞬安心したが、「2次募集」という欄があり、そこをつついたら、確かに2次募集が5名いた。トータル10名。うーん、「代数学II」の出席者の数十倍。見たら大学院に進学したいという学生がいたが、ガロア理論知らないと代数的整数論は出来ないよ、と言ってやりたいが。事務室で希望調査票を受け取ってきたので、明日にでも読んでおこう。来週の頭には返答を、とW先生が言っているので。まあM2が4名と卒研が10名では大違い。卒研は最悪2つ。M2の4人は一人ずつ面倒見ないといけないし。来年度は学科長じゃないし、大丈夫かな。

ちゃんぽん亭で「醤油ラーメン」という奴を食べてきた。ちゃんぽんの方が旨いな。次回からはちゃんぽんの野菜たっぷりの奴を食べよう。

色々プレッシャーである。考えれば考える程怖くなってくる。ということで呑まないとやってられません、ということで、帰ってきてすぐ違法販売機でレモンハイを買ってきた。この前「ムトゥ？」とかCMでやってるのを呑んだが、やっぱり無糖じゃない方が美味しい。いや、それでもセブンイレブンオリジナルの無糖とか、キリンの無糖に比べると「サントゥリー」の方が美味しかったが。ビールでも糖質0より普通の奴の方が美味しい。まあ「PSP」ってやつは結構美味しかった。最近発売された「0の衝撃」とかいうアサヒの奴も呑んでみたいが、同じお金払って酔わないの買う？という感じ。「微アリ」とかっていうアルコール0.3%の奴も結局まだ呑んでないし、CMでやらなくなったが売れなかったということだろうか？「梅酒がお酒でなければ」というCMも見なくなったな。まあ普通に酒を呑みます。

で呑みながら先週の「座王」を見たが、1月2日に全国ネットスペシャルをやるそうだ。また兄者に教えておこう。もちろん帰省前に録画予約しておくが。楽しみ。

助教の人がやってくれると言ったそばから、准教授の人がやってもいい、だと

昨日書いた助教に頼んだ件は、「その週は海外出張で」とか、「ゼミが」とか、「今学外研究中なので」と次から次と断られたが、お一方行ってもいい、と言ってくださったので、よろしく頼む旨メールを書く。まあよかった。で次のメールを見ると、ゼミの学生一人が熱があるので、今日は休ませて欲しいと言ってきていた。もう一人の学生が「僕のゼミの為だけに職場に来ていただくのは申し訳ないので、明日にしませんか？」と言っていたが、午前中は嫌だ。今日は他にも用事があって行かないといけないので、「うんにゃ、今日やる」と返事を書いて出発。

2時10分過ぎに職場に着いた。これくらいだと生協の脇かフォレストハウスの脇に停められる。が、フォレストハウス脇は空いていないことが時々あって、身障者用の駐車スペースに停めたことが何度かあるが、警備の人から警告書を出されたことが何度かあるので、生協脇にした。ここなら外周道路から入ってすぐスペースがあるか否か分かるので、ちょっとウェストウィングには遠いが、そっちにした。もう1時間遅かったらフォレストハウス脇に空きが出来るんだが。で停めてから見たら、フォレストハウス脇にも2、3台の駐車スペースがあった。まあいいです。

2時40分から超越数のゼミ。ゆっくりでいいから、確実に進む、という方針なので、今日は補題1つ。自然数 N に対し、N⁶×N⁵ 行列を考えて、とかごついことをやった。こういうのを見てぎょっとしないためにサイズの小さい行列を沢山いじっているのだ。まあ怖くはなかった模様。代数体とかガロア群とか、実際にいじれるのは次数や位数が小さい場合だが、そういうので恐怖感を除いておくのが大事。月曜日のゼミの連中は例をいじってないのだろう。「代数学II」の講義でガロア対応は沢山やったのだ。藤崎先生の「代数的整数論（上）、（下）」は沢山例が出ていて、小生それで勉強したのでよかった。山本・藤崎・森田「数論への出発」なんかも例が多くていい。えーと、で N の6次式が N の4次式以下、という結論が出て、N が大きいと矛盾、といういつものやつ。それで終わりかと思ったら、先週一箇所嘘を言ってしまったそうなので、それの訂正。で4時くらいには終わった。

部屋に戻ってまずメールを見ると、今朝助教の先生に引き受けてもらった件を、准教授の先生がやってもいい、と言い出していた。その人は日常超激務な人なので、頼むリストからははずれていたのだが。既に引き受け手がいる、と言ったら、引き下がってくれた。まあ1月14日の別の用事を引き受けなくて済むからいい、と思ったかどうかは謎だが。

で書類書きをしないといけないが、どうも捗らない。A堀先生にサンプルを送ってもらったが、こんな上手に文章は書けないし、色々違いもあるので、猿真似では出来なさそう。でグダグダと続ける。ちょっと当該の人物達に問い合わせないといけないかも、という感じに成ってきたので、メールを3通出した。でしょっちゅうメールは来るが、待っているメールは中々来ない。8時半頃に一人から返事。先週ヤキモキさせてくれた人だが、今回は一番乗り。まあ他の方も大体同じような返事だろうが、一応待ってから書くことにする。でもう明日やることにして、9時過ぎに職場を出た。

昼は冷めた唐揚げ弁当だったので、夜はガストでから好しの唐揚げ。いつもの通り唐揚げ5個、ご飯少な目。ガストはご飯少な目にすると20円割り引いてくれる。松屋はご飯の量は値段に関係無い。何しろお代わり自由だからね。折角小盛にしたのに、「ライスお代わり無料です」と言ってくる。そういうマニュアルなのだろうが。芸能人の誰かがテレビで言ってたが、ペットフードをコンビニで買うと必ず箸をくれるらしい。まあその時のカウンターの人は外国人だったそうだから、仕方ないか。小生は職場で弁当を買う時は箸を貰うが、住処で食べる物の時は貰わない。箸持ってるし、Uber Eats で王将にキムチ炒飯に餃子とやると、割り箸を2組入れてくれるので、結構余ってる。一回だけ韓国に行ったことがあるが、宿についてすぐ向かいのスーパーみたいな所でカップ麺を2個買ったが、箸を忘れていて、ボールペン2本使って食べるという、何とも間抜けなことをやったことがある。キムチ味の拉麺を食べ終わったらボールペンが赤くなっていた。いや、一本は元々赤だったが、もう一本は黒のボールペンだったが。どうでもいいか。

今日は東京で20度越えだったとか。来週は全国的に高温傾向で、再来週は低温傾向、年明けから年始にかけては暖かいと言ってた。何だか分からん日々だな。

で気付いたのだが、もう色々なもとで1月が話題に上るように成ってきた。今年も残り3週間強。早いな。

今永昇太がMLBにかなり注目を浴びてるらしい。が、大谷と山本由伸が決まらないと中々、みたいな感じだそうだ。まあそうだろうな。今永も実績はあるが、MLBのMVPと3年連続リーグ4冠に比べたら1枚も2枚も劣る。まあ仕方ないでしょう。応援？しますよ。3人ともね。あ、千賀も吉田正尚も菊池雄星もね。

健康診断で英語の木村先生に久々に会う

昨晩は結局「相席食堂」を最後まで見てしまった。で寝たのは12時半くらい。今朝は10時前に目が覚めてしまい、一旦は起きて録画してあるドラマを見始めたんだが、やっぱり眠くて見るのをやめて、もう一度寝た。テレビを付けっ放しにしておいたので、あまり深くは寝ず、1時半に「DAIGOも台所」が始まったのが聞こえたので起きた。シャワーを浴びて、2時くらいに出勤。

職場着は2時半くらい。これくらいだと生協脇の駐車スペースに少し余裕が出来る。ウェストウィングにはまあまあ近いのでよい。で個研室へ行って問診票を記入して、2時45分くらいに出発。粛々と測定。体重が86.5と記入されているように見えて、ああ、3kgくらい太ったか、と。で採血に向かおうとしたところで見覚えのあるシルエットが。英語の木村先生。木村先生は前山科に住んでて、よく LITTLE GARDEN や PJ's Bar で一緒に呑んだ。その後京都の中心地に引っ越されて、会わなくなったが、駐車場にある喫煙所で時々煙草を吸っておられて、ちょっと立ち話することはあった。が、コロナの感染防止のため学内の喫煙所は悉く閉鎖されて、全く会わなくなった。本当に久し振り。血を止めてる間少し雑談。何でも今は教学部だかなんかのお偉いさんに成っているそうで、大変忙しいと言ってた。こちらも学科長ですわ、と言っておいたが、まあ木村先生の方が忙しいでしょう。前から肥えていたが、一回り大きくなったような気がした。ストレスで暴飲暴食でもしてなきゃいいが。

で一通り済んで、問診のため保健センターへ。普段は医師一人体制なのだが、健康診断の時はお二方。手前のいつもの伊東先生の部屋ではなく、奥の剽軽な中川先生に診てもらうことに成った。「おー、体重減りましたな」と言われて、え！と思って見ると、体重は86.5kgでなく76.5kgだった。何故そんなに減ったか、皆目見当が付かない。確かに腹回りも4cmくらい減ったし、最近ベルトが緩くなり何度か切ったが、そのためか。インフルエンザの注射を射ってもらい、3時半前に解放された。

空腹で来い、と言われていたので、昨日の晩から何も飲み食いしてない。ということで、生協に弁当を買いに行って、個研室でもそもそと食べる。来週の水曜日までに書かないといけない書類があるので、書こうと始めたが、どうにも捗らない。事務から送ってきている記入例が何だか要領を得ない。でゲームをしたり他の用事をしたりと現実逃避。書類はA堀先生が別の先生の件で書いたものがある筈なので、ください、とメールを書いて、で昨日の学科長会議で出た宿題を片付けようと、皆さんの予定を調べて、1月18日に手の空いてそうなのはお一方しかいなさそうなので、メールで依頼すると、返事の前にご本人が現れた。講義もゼミも無いが、研究関連で用事があって、その日はダメ、だそうだ。仕方ないので助教の方に頼む旨メールを書いたが、まだどなたからも返事は無い。最終手段は小生がやる、ということだが、避けたい。朝早く守山まで行くのはいやだ。車で行けることは分かったが、栗東インターから結構な距離。終了後急いでBKCに戻らないといけないし。誰か引き受けてください。

昨日早稲田理工の最寄り駅は新大久保、と書いたが、いささか情報が古い。今は地下鉄副都心線の「西早稲田」が最寄り。どれくらい最寄りかと言うと、出口の一つがキャンパス内。渋谷駅と池袋駅があるので、そこで乗り換えて西早稲田で降りるのが最短な方法。いや、東急東横線、東武東上線、西武池袋線と直通運転しているので、もっと手前で乗り換えられる。副都心線が開通したのは小生がこっちに来てからだが、実家から早稲田に行くときは横浜駅で東横線に乗り換えていた。実家から行かない時は板橋駅の近くに泊まっていた。板橋から埼京線で一駅行って池袋で乗り換えて、という方法。前に原宿で山手線が止まってしまい難渋したことがあったが、今なら副都心線の明治神宮駅がすぐそばにあるので、問題無くなった。その時は千駄ヶ谷駅（原宿からそこそこ近い）まで行って、中央線各駅停車で大久保まで行って、そこからタクシーで早稲田に向かった。試験監督のアルバイトだったが、随分高くついた。給料もらってチャラ、くらいな感じだったかな。

上に「大久保」と書いたが、この駅は割とマイナーだろう。新大久保は山手線の駅で、色々話題に成るが、中央・総武線の各駅停車の駅である大久保は話題に成らない。昨日の「マツコの知らない世界」も新大久保の特集だったが、大久保駅の最寄りの店も紹介していた。まあざっくり「新大久保」なんだけどね。

大久保駅、と言えば、少々恨みがある。いや、東京の大久保駅でなく、宇治にある近鉄の大久保駅。車を運転できるように成った頃よく宇治方面を運転したが、大久保駅前で信号を右折できなくて、後ろの車にクラクションをビービー鳴らされた。右折は対向車の邪魔にならないように、という教えを守ったまでだが、慣れてくると左折車のタイミングに合わせて右折とか出来るように成る。当時は初心者マークを付けていたので、気を使って欲しかったが。いや、初心者マークが付いてるから舐められたか。その後大久保駅方面は行ってない。今ならスムーズに右折が出来るだろうが。初心者マークの付いた車と教習所の車には親切にするようにしている。小生にクラクションを鳴らした車が右折で事故ってますように、と呪っておこう。

新大久保に久々に行ってみようか

健康診断が終わるまでは呑まないつもりであったが、色々面倒なメールを書かないといけなかったり、単位認定レポートを完成させないといけなかったりと、雑事がたまっていたので、呑みながらやった。まあ大体出来た。まだ一番面倒な仕事はやってないが、それは明日以降ということで。でちゃんと寝ると学科長会議の時間に起きそうにないので、テレビを付けっ放し、電気を付けっ放しという状態で仮眠モード。12時55分のアラームで起きればいい状態にしておく。

でちゃんと学科長会議には間に合った。今日は1時間強と、長目だった。幾つか宿題が出た。一つは夏休みにやったのの続きなんだが、前は誰かに頼むの面倒だし、夏休みだし、BKCでやるしいいや、と自分でやったが、こんどは守山まで行かないといけなくて、しかも卒研の最終回の日だから、どなたかにやってもらわないといけない。やってくれる人いるだろうか？最終的には狙いを定めてえいや、と頼む。

4時半から教授会だが、2時間以上ある。で頭の30分で何かあまり関係無さそうな話をやると言ってたので、多少寝ることにした。で4時50分くらいにチェックイン。会議自体は40分くらいで終わった。色々な話があったが、まあそんなに重たい話は無かった。

でちょっとある件で数通メールをやり取りして、明日の学科会議は無い旨メールを書いて、そこに上に書いた依頼の件を書いておいた。さてどうなるでしょう？

でウダウダとやってたらもう9時。NHKでニュースを見ようかと思ったが、「マツコの知らない世界」で何やら新大久保のことをやるというので見ることにした。お前新大久保と何の関係があるんっだって？早稲田理工の最寄り駅は新大久保。早稲田理工の住所は新宿区大久保3－4－1。早稲田というと高田馬場のイメージが強いが、山手線を品川、渋谷、新宿方面から来る人は新大久保で降りる人が結構多い。西武新宿線や地下鉄東西線、及び山手線を池袋方面から来る人は高田馬場だが。汚い駅と汚い街、という印象だったが、駅は綺麗に成り、街はコリアンタウンのみならず、色々な世界の食べ物が食べられる街に変貌していた。まあ新大久保で飲み食いすることはあまり無く、王将か神戸ランプ亭（牛丼屋）か天屋、あと名前は忘れたが「貴志ビル」というビルの1階のラーメン屋に行くのが殆どだったが。呑みに行くのは高田馬場の方が多かったかな。行く機会があったら少しフラフラ歩いてみよう。「ガロアホテル」というホテルがあると教わったので、そこに泊まろうか？早稲田に出張で行けばいいのだが、ここ数年金曜日に講義があることが多く、「金曜セミナー」には行かなくなってしまった。3月にやる研究集会はここ数年リモートで参加出来たし、もう何年も早稲田に行ってない。いや、早稲田に限らずどこにも行ってない。新幹線は3月以来乗ってないし。今年度は忙しいので仕方ない。来年度は今年ほどではなくなりそうだから、少しのんびりしよう。

その後何やら「コマ撮り」の話が始まった。CGアニメ全盛の時代に、一コマ人形を動かしては撮り、また一コマ動かして撮り、と手間の掛かることをやっている。その方が人間味があってよい、というから、世の中は不思議なもの。今時デジタルカメラが流行ってるっていうし、あえてフィルムカメラを使う人もいるくらい。レコードも流行ってるしね。カセットテープも。

全然関係無いが、ボディソープのCMが橋本環奈から江口のりこに変わっていた。こういうのも「古い」方がいいのだろうか？いや、江口のりこさん、失敬。

さて、上に書いた通り寝不足。明日は2時45分から健康診断なので、今日は早寝しよう。本当に「今日」寝ようか？「相席食堂」は見なくてもいいや。

大仕事は取り敢えず完了。まだやることは一杯あるが。

今朝は11時くらいに起きた。寝癖がひどいのでシャワーで直して、髭は一昨日剃ってもらったので少し伸びてた。ということで剃って出勤。

12時過ぎに職場に着いて、ハンバーグ弁当を買って、個研室で流し込む。

1時から院生向け「数理科学特論2」。3回生の代数の講義より出席人数が多い。今日はちょっと終了後会議の準備をしないといけないので、早目に終わる、と宣言して始める。で log とか exp を使って色々示して、それから Z_p がコンパクトとか完全不連結とかやるので、位相空間の復習。コンパクト性は誰でも知ってる、と言いたいところだが、数年前院試でコンパクト性に関する問題が出題された時、全員不正解で、面接の時に出題者が質問したら、誰もコンパクトの定義を答えられない。何か丸を沢山書いて、ぼやーっとした理解しかしてないので、どうにも成らなかった。ということで丁寧に。点列コンパクトとか全有界とか定義。第二可算公理もやったぞ。学生の頃はよく知らなかったことだが。で2時20分くらいにキリがよくなった。まあ後10分やっても証明が完了しそうもない命題なので、どっちにしろやらなかったが。

で談話会室の鍵を開けて、パソコンを繋いで、とかやってたら少しずつ人が集まってきた。で予定通り2時40分開始。まあ大丈夫か、と思ったら、ちょっと予想外のことが起きた。数学以外の分野の人がいるので、数学の文化とはこういうものだ、とメールで知らせておいたが、それを上回る事態。昔数学会で山本芳彦先生が怒っていたが、その時と同様のこと。で4時20分から皆用事がある、と言っていたが、構わないそうなので、所を変えて延長戦。色々意見が出た。ちょっとまずったな。初めてのこととはいえ、もう少し慎重に成るべきだった。反省。25分くらい延長戦をやって、まあどうにか成った。ちょっと宿題が出た。

でゼミを遅れて開始。ディリクレの単数定理の証明は完成したが、一人、定理の主張が分からないと言ってたので、説明。無限巡回群は Z と同型だが、それを同型の記号を使わず＝で結んでしまったのが原因。まあ証明を理解していたようなので、ちょっと説明したら大丈夫だったが。その後 Q(ζ) と Q(ζ＋ζ^-1) の単数群の関係を求める問題があったが、何だか全然分からないと言う。それまでも分かった気に成ったつもりで全然分かっていなかったことが沢山あったので、今度は相当酷いのだろうと思ったら、まあそんなに違いなかった。ちゃんとした学生でもあの解説で分かれというのはちょっと無理かも。一歩ずつ、一つずつ解決して、で7時半に成ってしまった。兎に角、数学は一歩ずつ進めば大抵どうにか成る、ということを繰り返し言っておいた。最近 K 君がよく口を出すように成ってきた。いいことです。

で部屋に戻って宿題を片付ける。気が重いメールなので、ちょっと時間が掛かった。9時過ぎに職場を後にする。

今日はちょっと解放された感があるので、豪勢にトンカツを、と思って車に乗ったら、「ガソリンを入れてください」ランプが点いていた。いや、来るときから点いてたんだが。トンカツを食べてから給油、というのはちょっと不安だったので、まずガソリンスタンドに寄ることにした。一番近いガソリンスタンドに寄ると、京滋バイパスを暫く瀬田方面に走らざるを得なくなる。側道に出ればいいのだが、狭い道は嫌なので、「一里山4丁目」交差点まで行く。するともう南草津に戻るのは嫌になるので、瀬田駅前を左折して、すき家に寄ることにした。この前届いた JAF MATE に付いているカレーの割引券を切り取って持っていたので、カレーを注文。デミハンバーグカレー、というのにして気付いた。昼はハンバーグ弁当だったな。まあいいや。

帰ってきてパソコンを開くと、数通メールが来ていた。急ぎませんから、と言っておいたメールだが、早目に解放されたい気分なのだろう。まあこっちも気を遣うことが減って助かる。明日中に大体片付けられるかな。明日は学科長会議と教授会が両方ある。明後日健康診断のため職場に行くが、学科会議が無かったら時間がたっぷりある。そこで片を付けてもいいや。あ、今日の講義ノートを web に上げる作業と、単位認定レポートも完成させないと。今日はそっちだ。

100回目のラグビー早明戦は明治に軍配

昨晩もいつもの「ふなごや」へ。珍しく客がいて、店長は忙しそう。が、バイトの人は特に働くでもなく、呑んでいた。で10時半くらいに客がいなくなったので、3人で楽しく会話。2週間前に「白い巨塔」の田宮二郎バージョンを貸したので、楽しく見ているのか、と思ったら、再生に使うパソコンのドライブが故障しているらしく、まだ全く見ていないとか。何だ、残念。パソコン買い換えましょう、と勧めておく。店長もその気はあるようだ。確定申告前にパソコンが壊れたら大変だしね。が、まだ店の BGM を流すのには問題は無いようだ。色んな時代の音楽を再生しているが、相当契約料が高いと思って聞いたらビックリするくらい安かった。そりゃみんな CD 買わなくなるわけだ。でいつも通り相当遅くまで呑んでた。

でいつも通り相当遅くまで寝ていた。まあこれだけ寝れば、今晩もちゃんと寝ることにして、明日は大丈夫だろう。明日で大仕事が一つ終わる。いや、その後事務に出す書類をきっちり書かないといけないんだが、まあ1週間以上あるので、じっくり書きます。年明けは教授会で説明しないといけない。何でも数学が一番最初をやらされるんで、多分小生がトップバッターに成るのだろう。人のを参考に出来ないのは辛い。まあ大丈夫でしょう。

あ、そうそう、昨日呑み屋で流行語大賞の結果を聞いた。一昨日決まっていたのだろうが、ダウンしてニュースを見てなかったので。関西にいると絶対「アレ」だろうと思っていたが、実際は「A.R.E.」に成ったそうだ。やはり Tigers 人気は凄いな。と言うか、審査員に野球ファンが多いのだろう。去年は「村神様」だったし。山之内すずだったと思うが、「あたし野球見いひんから、『村神様』とか言われてもピンとこーへん」というようなことを言っていた。昔のゼミの学生も野球のことを全く知らなかったし。野球は世界ではマイナースポーツの一つ。道具にお金が掛かり、120m以上ある巨大なスタジアムを作らないといけない。試合は長いし。日本で野球が人気なのは、悔しいが読売 Giants によるところが大きかったと思う。が、時代は変わった。今や Giants だけでは野球は持たない。スポーツニュースでもまずメジャーリーグの話題だからね。今日も大谷がどう成るかという話題が中心。近々決まりそうとのこと。来年も話題を提供し続けて欲しい。

で今ちょっと流行語大賞のことを調べたら、2021年が「リアル二刀流／ショータイム」、2016年が「神ってる」、2015年が「トリプルスリー」だそうだ。やっぱり野球ファンが多いな。

100回目のラグビー「早明戦」は明治が勝ったそうだ。41－3 まで引き離されたが、そこから随分追い上げたようだが、結局 58－38。残念だ。

あ、そうか。一昨日「代数学II」の単位認定レポートを出題したが、院生向けの「数理科学特論2」のレポートも出題しないと。シラバスも書かないと。来年度は久々に1回生相手に線形代数をやるので、少し考えないといけないね。まあこっちは1月19日だったか締め切りだから、まだ大分余裕はある。じっくり考えよう。

2か月ぶりの床屋

昨晩は眠過ぎたので、テレビを消さずに横に成ってしまったが、暫くしたら「今宵の座王は…」と聞こえてきて、いかん「座王」の結論が分かってしまう、ということで急いでテレビを消した。その時点で2時間くらい寝ていて、少し楽に成ったので、しばし YouTube を見たり。小生の実家の地元を走っていて、大学に通うのに使っていた京浜急行の動画があった。快速特急の爆速ぶりを紹介する動画だったので、楽しく見て、で2時頃に電気を消して、すぐ寝られた。

で今日は相当な時間寝た。やはり無茶は出来ないな。来週は程々に過ごそう。火曜日は学科長会議だから、月曜日はプレッシャーから解放されても呑めない。水曜日は学科会議さえやらなきゃフリーだ、と思っていたら、健康診断を受ける予定に成っていた。保健センターからメールが来てた。ということで、まあ今晩は呑もう、ということで、昨日はワーカホリックだったが、今日は alchoholic にする。ということで呑みに行こう。

あ、床屋には行ってきた。9月28日行ったから丸2か月。昨日も書いたが、月曜日に人に会うのでちゃんとしておこうということで。ちょっと頭が寒く成ったが、まあいいです。次は多分2月だな。今年は例の業務に参加しなくていいので、その頃に行こう。いや、今より寒いだろうから二の足を踏むかもしれないが。

ということで呑んできます。

長い一日

2時くらいには寝よう、と寝床に向かったが、気に成って寝る気に成れない。もう徹夜だ！ということにした。で昨日学生が読んでいた本に出ていた Q(√(－14)) のイデアル類群を計算する例の要点をメモってきたので、それの細部を詰めた。結構時間掛かった。位数4の巡回群には位数2の元は1個しかない、という自明な事実を忘れていて、相当計算してしまった。阿呆や。でその後「笑わない数学」を見たり。昔の人が変な計算をしていた話がやっていたが、そのうちの一部はゼータ関数の解析接続により意味を持ったが、幾つかは p 進数の世界では普通に成り立つ式。講義で色々やるとこういうのが面白く思えてくるからいい。来週は最終回らしい。今回は去年のを数回再放送で挟んでいたから、新しいネタは少ないが、まあいいでしょう。来週は BSD 予想らしい。1回生に「弱 BSD 予想」は教えたので、面白がってくれる学生はいるだろう。その後再び色々計算。Q(√10) のイデアル類群とか Q(√34) のイデアル類群とか。実に成ると色々様子が違う。ノルムが負に成ってしまうのが結構大きい。であっと言う間に「おはよう朝日です」が終わって、「モーニングショー」が始まってしまった。8時。

普通の人は働き始めるとしたら9時以降だろう、ということで、パソコンの前に貼り付くのは一旦やめて、寝床でスマホいじり。スマホでも職場のメールが読めるようにしてしまったのはいいのか悪いのか。で twitter を見てたら、同業者が面白そうな本を紹介していた。ダニエル・ソロー「証明の読み方・考え方」（共立出版）。見る人からプレーする人へ、みたいなことが帯に書いてあった。成程、こういう例えがあるか。昔何かで、高校までの数学は車の運転の仕方を教えてくれる、大学では車の仕組みを教える、と書いてあって、成程、と思ったのだが。まあ修士課程もまだ車の仕組みかな。博士課程に行ったら車の組み立てをやるのだろう。博士号を取ったら組み立てるだけでなく、仕組みや組み立て方を教える方。で早速大学生協のオンライン書籍注文で注文。

などとしているうちに9時に成って、すると、来た。見ると、迷惑メールフォルダーに小生のメールがあって気付かなかったと書いてた。gmail に出したのは失敗。職場のメールだから読めた、ということだろう。で起きて、パソコンに向かってメールを数往復。ちょっと時間の掛かりそうな作業を始めるようなので、シャワーを浴びて、10時半くらいに出勤。11時ちょいに職場に着いて、もう弁当を売っていたので買う。ホッケの弁当という変わったものがあったので買う。食べながらメールのやり取りをし、それが一段落付いたところで事務にメールを送って、それの返事を待ちながらその後出すメールをテキストエディターで下書き。などとしているうちに12時50分くらい。

1時から「代数学II」。また出席者が減った。まあ気にせず続ける。今日はガロア理論の基本定理の証明がメイン。写してる学生が沢山いると、付いてきてるか気にしいしいやらないといけないが、少ないと自分のテンポで出来ていい。頭を整理しながら話すので、勉強に成る。で基本定理の証明が終わって、その後つまらん補題を一つあげ、そこで時間。来週から再来週に掛けてガロア群の計算とガロア対応を沢山やる予定。理論だけで終わると面白くないからね。学生は一般論だけ勉強して悦に入る傾向があるが、実際何かやろうと思うと計算できないと困る。まあガロア理論を使った研究をやる人は殆どいないだろうが。いれば来てるよね。

部屋に戻って、事務からメールが来たのを確認し、それを受けて午前中に下書きしておいたメールをコピペして送る。でそれに関して色々問い合わせが来るので返信したり。うちに来る方法は分かってますか？ということを聞いて、「立命館大学正門前」では降りないでください、と書き足しておいた。騙されて降りる人は結構いて、3月末に初めて来た新1回生とか、土日の催し物に来た学外者とか。騙された同業者もいるので、教えておくに越したことはない。でそれが大体済んでから、今度は学内者にメール。数学以外の人に数学の文化を教えておかないと色々差し障りがある。手書きの人がいるかも、とか、数学は相当近いことをやってる人でないと研究を評価出来ないので、気にしないでくださいとか。でウダウダとやってたらもう6時。早いな。まあずっと集中していたかというと例によってそんなことはなく、しょっちゅうマインスイーパーをやったから早いという説も。

今帰ると道路が混んで、渋滞で眠くなったりしてギャ！とか成らないよう、渋滞が過ぎるまで時間を潰すことにして、「宿題.docx」というファイルを見たり。11日までだと思っていた件が4日までだと分かり、急いで問い合わせのメールを書いたら、5分くらいで返事が返ってきた。有難い。それから講義ノートをウェブに上げて、単位認定レポートのことを考えたり。もう大体出来上がっていて、今から直す時間は無いので、もう問題はこのままでいいや、ということにした。来週、再来週の内容を理解しないと解けない問題が沢山あるが、まあ舐めて出て来ないのがいけない、ということにした。問題がおかしいといけないな、と思い、もう一回1から解いてみた。でやってると案外時間が掛かり、気付いたらもう9時近く。「レポート出題しました」とかウェブのニュースに上げておいて、大丈夫なことを確認して、9時過ぎに職場を後にした。

もう流石に高速道路は空いていた。こういう方がかえって眠くなるという説はあったが、途中から思いの外交通量が多くなり、かえってよかった。無事帰宅。

考えてみれば、昨日の昼1時くらいに起きてから一睡もしてない。ワーカホリック、という奴だな。気を付けよう。今日はタップリ寝ます。呑みたいところだが、明日は床屋へ行きたい。月曜日に初めて会う人が沢山いるので、それまでにさっぱりしておくことにした。呑むと切ってもらってる最中に腹が痛くなることが多いので、今晩はやめておく。明日呑むことにしよう。月曜日の支度はまあ大丈夫だろうし。月曜日にへまをするわけにはいかないので、程々にしよう。兎に角今日は寝ます。山本舞香の顔を見ないで寝るのは残念だが。

あ、もう12月だ。早いな。喪中葉書を書いたのってもう1年前か。今朝の「モーニングショー」で、歳を取ると時間が経つのを早く感じるのは何でか解説していたが、上述の如くメールのやり取りで一生懸命だったので、あまり聞いてなかった。午前中を有効に使うと一日長いぞ、と言っていたような気がしたが、今日の午前中は確かに長かった。が、講義後はあっと言う間に時間が流れていった。午前中、の定義に依るが、小生午前中に活動していることが多い。定義に依るがね。英語圏では夜中の1時を “1 o'clock in the morning” とか言うそうだ。まあそういう定義だからしょうがないね。明日の午前中は多分起きていないでしょう。今から寝て、起きたら1時くらいだと思う。歳をとってもそれくらいは寝られます。まだ若いのな。

体育会系のノリは令和では通用しない

今日はゼミ。2時40分開始だが、起きたら1時過ぎ。一回無茶をすると翌日以降につけが回る歳に成ってしまったな。1時半くらいに住処を出た。

2時くらいに職場着。生協で弁当を買って流し込んで、2時40分からゼミ。整数論のゼミは2次体で素数がどう分解するか。クンマーの定理を証明してあればそれから簡単に導けて、山崎隆雄さんの本のようにイデアルのいい整基底を求めてあれば簡単だが、そうではないので結構大変。退屈な議論が延々続くので、正直あまりちゃんと聞いてなかった。まあ大丈夫そう。こういう議論をちゃんと出来るようなら心配は無い。中国人だが、卒業後は母国に帰って大学院進学を希望している。まあ大丈夫でしょう。超越数のゼミはゲルフォント・シュナイダーの定理のシュナイダーによる証明。相変わらずざっくりざっくりと評価して、上からと下からと押さえ、パラメーターが大きくなると矛盾、というやつ。一つ一つの評価は凄くアバウト（和製英語）なのだが、これで出来ちゃうから凄い。2^√2 が超越数であることが従うわけだが、これは例のヒルベルトの問題というやつの一つ。ちょっと面白さが分かってきた。自分でやろうとは思わないが。まあやりたくても出来ないだろうし。5時くらいに終了。

その後メールを待ちながら雑用を少々。連絡先を書いた書類が同封されていないようだが、小生が紛失したんだろうか？最新の論文に gmail のアドレスが書いてあったからそこに送ったんだが、読んでないのかもしれない。所属と氏名で検索したら職場のメールアドレスが見付かったので、そっちに送り直した。今返事待ち。明日中に返事が無いと困るんだが。寝る前に返事が来ると嬉しい。

9時からやるドラマを見たいので、7時半頃職場を後にする。すき家で食事をして、8時40分くらいに帰宅。ドラマは面白く成ってきた。

今日は雪が色んな所で降ったようだ。この前まで20度くらいだった所が大雪で、青森では空港で除雪車が何度も出動したとか。日本は四季の豊かな国だったが、専門家が「二季」に成ってきたと言っていたが、その通りという感じ。京滋地方はこんなことに成らないで欲しい。雪だと通勤が大変なんでね。

Eagles の安樂投手がパワハラをタップリしたらしく、自由契約とか。多少の暴言くらいならなー、と思っていたんだが、罰金を取ったりとかしてたらしい。他にも信じられないようなことを沢山したようだ。体育会系のノリだったのかもしれないが、いささか悪ノリが過ぎたな。令和の時代にはもうそういうのは通用しないのだ。日大のアメフト部が廃部、というニュースも入ってきたし。スポーツの世界は色々改めないといけないね。数学？うーん、どうだろう。我々のやっていることも一歩間違えばパワハラだからな。厳しく指導とやり過ぎは紙一重だから、気を付けないと。

返事来ないな。こんな時間にパソコンに向かわないか、普通。明日早起きするか、それとも徹夜して待つか。うちの同僚で夜中の3時とかにメールを書いてくる人はいるし、別の人だが前に深夜3時くらいにメールを書いたら30分経たずに返信を書いて寄越した同僚もいる。数学の人は概して夜更かし（朝早し？）だと思うが。ま、もうちょっと待ちましょ。暇潰しに計算したものとか考えたものが幾つかあるから TeX 化しようか？そろそろレポートで単位を出す科目の問題を発表する時期だから、そっちをやろうか？あ、すっかり忘れてたが、「数学展望」の採点をまだしてなかった。どれやろ？

その後「報道ステーション」のスポーツコーナーを見ていたが、ゴールデングラブ賞の表彰式があったようだ。Baystars からは東、宮崎、桑原が選出された。東は守備率10割。まあ当然かな。宮崎もいいプレーが多かった。が、一番嬉しいのは桑原が受賞したこと。去年も目茶目茶好プレーを魅せていたんだが、選ばれなかった。高木豊氏が大いに不満だ、と言っていたが、今年は罪滅ぼしで選んだわけではあるまい。今年も良かったしね。来年も是非。バウアーの自由契約が発表されたとか。まだ残留の芽は残ってるそうだが。どうなるしょう？

難しい議題三本立ての会議

多少プレッシャーから解放されたが、まだ終わっていない。ということでうっかり呑んでしまった。で今日は結構遅くまで寝てた。16時半からの会議のため出勤。

弁当を買って、談話会室で食べた。会議のセッティングをして、皆さんを待つ。今日は難しい議題の三本立てなので、時間が掛かりそう。で小生の議題は、よく要領が分かっていないので A 堀先生に先にやってもらおうと思っていたのだが、小生の方を先にしないと無理らしいので、仕方なくやる。色々異論をいただいて、まあどうにか成った。でそれを受けて A 堀先生の件。こちらは W 先生がいないと分からないことがあって、W 先生は京大に行っているが、急いで戻ってくると言っていたので、やりながら待つ。でそれは終わって、その後難しい議論。大体二人の方がメインで激論に成るんだが、この前はお一方は対面で、もうお一方はオンラインでだったので、呼吸がつかめず滅茶苦茶熱くなっておられたが、今日は二人ともいらしていたので、まあそこそこだった。勿論熱く成られてはいたが。この前は9時過ぎまで続いて大変だったが、今日は8時くらいには済んだ。議論の根拠となる書類を作ってくる時間が無かったそうなので、それを作って次回やりましょう、ということで双方矛を収められた。やれやれよかった。

議論中に色々内職していたが、事務から来たメールに「線形台数」というみっともないのがあったので、注進しておく。前にうちに「確立論」の専門家が3人いたことがあるが、そういうみっともないものは学生のレポートくらいで勘弁して欲しい。それから Maple でちょっと確かめたいことがあったが、前のバージョンは動かなくなっていたので、最新版をインストールしたり。こういう時間だけ掛かって手出しの出来ないものはこういう時にやるに限る。

会議終了後 A 堀先生に色々教わって、それからメールを3通ばかり。色々難しいので、真剣に考えて、ずっと見てるとダメなので、一旦ゲームをしながらクールダウンして、改めて見たり。でまあいいでしょう、ということでメールを送信して、9時半過ぎに帰途につく。遅く行くと車を近くに停められるので、疲れている時は助かる。駐車場の奥の方まで延々10分近く歩くのは結構苦痛。まあよかった。

でまたちゃんぽん亭によって、今日は肉スペシャル。もう混んでる時間ではないので、下道で。が、何やら非常にゆっくり走ってる車がいて難渋。草津でゆっくり走ってた車と、大津を過ぎて山科までゆっくり走ってた車は同一の車だろうか？もうすぐ山科というところで30km/h くらいで走っていたが、山科でもそんな感じ。渋滞してたり自転車が前にいたりしたらまだ分かるのだが、そんなこともなく本当にゆっくり走っていた。格好いい車に乗っていたが、不慣れなんだろうか？初心者マークは付いていなかったが。普通は別にイライラしないのだが、トイレに行きたかったので、ちょっと焦っていた。まあ大丈夫だったが。

帰ってパソコンを開いたら、早速一通メールが届いていた。数学の人は夜更かしやね。一番返事が欲しい人からまだ来てないが。明日は2時40分からゼミをするだけなので早起きする必要は無いのだが、返事を受けて色々やらないといけないことがあるので、そんなに遅くなく職場に行こう。ということで多少は早目に寝よう。今日もちゃんと寝てるとは言い難いし。あ、一通メールを出さないといけないんだった。これからやる。

セのMVPは村上（Tigers）、パは山本（Buffaloes）

何か色々気に成って、中々寝付けなった。で学科長会議には間に合うように起きたが、フラフラだった。オンラインでよかった。今日は特段決定事項や宿題は無く、まあよかった。終わった後4時間程ダウン。でもう職場に行く気が起きず、昨日の晩考えたことで終わりにすることにした。で明日の学科会議の開催を皆さんにメールで回して、それからのんびりすることにした。

で土曜日にやっていた「ミラクル9」の再放送を録画してあったので、見て。「日本一」と言われて何を思い浮かべる？みたいな問題あって、まず富士山を思い付いて、その後全く思い浮かばなかった。宮崎美子が「琵琶湖！」と言った瞬間、何故それを思い付かない、と後悔。この前は電池で動くものでマウスを思い浮かばなかったし、歳だな。最後に大逆転劇が起こり、古田ナインの勝利。いやこの番組、元々9人で1チームだったから「ミラクル9」で、「古田ナイン」とか言うのも今のように7人1チームだったら違うと思うんだが。まあいいけど。

今日はNPB Awardsというのが行われ、まあ要するに表彰式。MVPが誰かが一番の興味。まあパ・リーグは山本由伸でいいとして、セ・リーグは？村上、大竹、大山といった Tigers 勢以外に、最多勝、最高勝率の東（Baystasrs）もネット上では名前が上がっていたが、まあ当然村上が選ばれた。過去新人王とMVPの同時受賞は木田勇（Fighters）、野茂（Buffaloes）がいたそうだが、村上はセ・リーグとしては初の同時受賞。木田はその後一気にしぼみ、Whales に来た時は哀れだった。試合開始先頭打者から5者連続四球の日本記録を作ってしまったり。野茂はその後色々揉めてMLB行きに成った。村上は日本で長くやって欲しいが。まあ木田のように無いだろう。Tigers の新人王は高山以来だが、高山は2年目から全くダメに成ってしまったし。長いこと活躍する投手に成って欲しい。

昨日資源ゴミの整理をしていたら、宅配便で届いて開けてない荷物が出てきた。何だ？と思ったら、昔途中から見始めた番組の最初の方を見たいと思い、買った Blu-ray だった。うぉー、見てないものが次から次と出てくる。老後は有意義に過ごさないと。文庫本も数学の本も読みたいし、録画したまま見てない Blu-ray とか見たいし。まあ学科長の仕事が終わったら少しは時間が出来るので、色々やろう。もっともその頃は野球が始まってるし、また色々やることは出てくるが。

昨日の敵討ちで、昼ははま寿司、夜はちゃんぽん亭

今朝は9時くらいに目が覚めてしまった。もういいや、ということで起きて、昨日の大河ドラマを見てから、10時半くらいに出発。

今日は昨日の敵討ちではま寿司へ。いきなり鮪中トロ、鮪大トロと頼んだので、多少高くついた。まあそれでも1500円ちょっと。いつもは PayPay で払うんだが、今日は自動販売機で使えない新500円玉を使ってしまいたかったので、現金で払った。

で12時くらいに職場に着いて、さて作業を、と思ったが、何か面倒なので、しばしダラダラ。1時から「数理科学特論2」。院生向けの講義でただでさえ出席者が少ないのに、今日も更に減った感じ。小生が部屋に入った時にコンピューターをいじってる学生が二人いたが、一人は「ここ使うんですか？」というようなことを聞いてきた。講義は無いと思ったのだろうが、当然そう思うだろう。片付けて出ていった。もう一人はそのまま居座ったが、見たことないが数理の学生なのだろう。その後もう一人、二人と入ってきたので始める。今日はヒルベルト記号が非退化な対称双一次形式を誘導することを示して、二次拡大のガロア群と p 進体の乗法群をノルム群で割ったのが自然に同型とか示して、その後ヒルベルト記号の積公式の証明。こういう所に平方剰余の相互法則が出てくるから面白いと思うのだが。その後主単数群を定義して、exp とか log とか。議論の途中に実数の log が出てくるから紛らわしい。ln と書けばよいという説はあるが、数学の人は ln という表記には馴染んでないだろうと思い、log_e と書いた。p 進 log を log_p と書く向きもあるようだが、そちらはただ素っ気なく log と書いておいた。

昼飯は食べたので、会議室に籠って作業。もうこれでいいんじゃないか、という気がしてきたが、もう少し考えたい気もするし。ウダウダと4時過ぎまで作業をした。事務からメールで、何やら書留が届いている、とのことで行ってみると、書類を出した人が写真を貼り忘れたのに気付いたらしく、送ってきたというだけのことだった。

で4時20分からゼミ。分かってんだか分かってないんだか説明を相変わらずするので、止めたら案の定分かっていなかった。C と R² をベクトル空間として同一視するのは出来たが、R 上の多元環として同一視出来ることを分かっていない。で最近よく発言するようになった K 君が突っ込んでいた。いいことです。でもまだ何かよくわからない。いや、小生も分かっていなかったので聞いたんだが。しばらく手を動かしてああでもない、こうでもないとやったら、結局線形写像の表現行列を分かり易い形にすべく基底を取り換えていた、ということと。表現行列の行列式は基底に依らないので。でいい基底を取る方法がゴチャゴチャと言葉で書いてあるんだが、それが分かっていない。で次元の低い所で確かめたが、それが高次元の場合に拡張できるのは明らか、ということにした。その後も「明らか」と書いてあるところを突っ込むと、何も考えていなかった。でああでもないこうでもないとペンを走らせたが、何か分からない。暫く経ったら I 君が分かったと言ったので説明してもらうと、成程明らかだ。ルーチンワークというやつだ。小生が4年生の時に大学院に入ってきた先輩がいて、その人と一冊の本を交互に発表していたが、その先輩が「これ明らかって書いてるけど明らかとは思えません」みたいなこと言い出して、それを一生懸命証明したら足立先生が「そういうのを明らかと言うんだよ」と突っ込んでいた。今日のもそういう部類かな。まあ今日のは明らかと書いてあるから明らかと説明しました、的な感じだったので、口を酸っぱくしてそれではいかんのだ、とは言っておいたが。次回はどうにか成るだろうか？いや、成らないな。今回で成るくらいなら既に成っているだろうから。単数定理の証明は終わらず。

その後7時40分くらいから続きの作業。もういいんじゃないか、という気はするんだが。で抱負を書いてきているので読むと、皆希望に燃えている。学生の実像を見ると、そういうのが虚しいということにいつか気付かされる。だからと言って勿論手を抜いていいわけではない。一生懸命やります。今日のもそうだが、いつも見て思うのは、基本通りやる、ということを真似してもらうのが一番大事だと思い、それには講義で手本を見せて、後でじっくり復習してもらう、というのが一番なのだが。教室来て板書写して試験まで何もしない、でも何かいい成績が取れて、それで線形代数とさようなら、的な感じで大学院に進学されては困るんだが。まあうちくらいだと、勉強の仕方をよく分かっていないで大学生に成った人もいるだろうから、仕方ないが。ちゃんとやる学生もいる、ということは体感で分かっているので、講義方針を変えるつもりは無いが。1回生の科目は演習が付随してるので、そっちにいい先生が付けば問題無いでしょう。講義で全員理解させるとか無理です。でダラダラと9時半くらいまでいた。

で昨日の敵討ちで、晩飯はちゃんぽん亭。寒くないな、と思って車の気温表示を見ると、13度。もうすぐ12月なのに暖かいな。 まあ麺類を食べてもいいくらいの陽気ではある。10時半近くに帰ってきて、「報道ステーション」を見ているが、東京の最高気温は昨日は9度、今日は15度、明日は22度と、何だか分からない陽気。関西も明日は17度くらいまでいくようなこと言ってた。ロクでもない。でもまたドカ雪が降るのかもと思うとぞっとする。講義の最終盤と入試の時期に重ならないで欲しい。

入試と言えば、昨日の用事は推薦入試の面接だったのだが、5時過ぎに解放されてウェストウィングに向かう途中、凄い長蛇の列が目に入った。最後尾はセントラルアークの近く。先頭を見ると、バス停の方へ向かっている。これまさかみんな駅に向かうの？と思ったら、「南草津駅行きのバスをお待ちの方、こちらが最後尾です。2列に並んでお待ちください」と聞こえてきた。駅から遠い大学はこれだから大変だ。何かある時は大学から駅に向かう臨時バスが大量に出るようだが、それで捌ききれなかったのだろうか？大きなスーツケースを持っている人が何人もいたが、受験生に親御さんが地方から付いてきているのだろうか？センター試験の時は滋賀の人ばっかりだろうから、そんなことには成らないだろうが。試験終わりだと駐車場から出る車で大渋滞、ということがあるので、近間の人は車で送迎するのだろう。今回は地方の人も結構いるのかも。昨日の受験生の一人は福岡だった。ご苦労様です。ああいうのを見せられると、車で通えるように成ってよかったと思う。あ、そうか、もうすぐ11月28日だな。教習所に通い始めた日。車を運転できるように成ってよかった。

あ、今日の講義ノートを web に上げてないな。ちょっと話しながら気に成ったところがあるので、直しておいて上げないと。明日も1時から学科長会議だから、あんまり根を詰めるのはやめよう。前は「キョコロヒー」が終わったら寝ていたんだが、最近「テレビ千鳥」が始まってしまったので、つい見てしまう。その後一昨日書いたサッカーの番組がある。ヴィッセルが優勝、ガンバとサンガが残留決定、ということで、今日は賑やかだろう。そこまで起きれているかどうかは謎。あ、明日は資源ゴミの日だ。分別もしないと。うぉー、面倒臭い。

霧島、改名後（i.e. 大関に成って後）初優勝

昨日はちゃんと11時前に寝た。で今朝は6時半とか8時半とか、起きなくていい時間に何度か目が覚めた。10時半と11時にアラームが仕掛けてあったが、10時半では起きられず、11時のアラームで起きた。寝癖ボーボーではまずいので、シャワーを浴びて、11時半過ぎに出勤。

今日は日曜日なので高速道路はすいていたが、草津JCT近くで不穏な空気が。爆音が響いてくる。何だと思ったら、ランボルギーニカウンタックが大挙して走っていた。新名神方面に車線を変え、何台かに抜かれたが、ゆっくり走っている車が多く、宝の持ち腐れ。小生の後ろに付けた車も、追い越し車線が塞がっていたので抜けず。何処行くんだろう？と思ったら、何と全員草津田上出口へ向かいだした。で大抵の車にはETCが付いていたようだが、一台だけ付けていないようで、降りて現金で払ってた。左ハンドルだから降りないといけないのか。で信号を左へ向かっていった。こんな田舎で降りて何処行くんだろう？琵琶湖に行くなら瀬田西で降りると思うんだが。まあいいけど。

12時10分くらいに集合場所に着いた。集合場所はラルカディアという建物。事務の人もそれを見越していたか、ラルカディア近くの駐車場は一杯。方やいつもは一杯のコアステーション、ウェストウィング近くはガラガラ。業務の後もう一仕事やって、という計画だったので、ウェストウィングの近くに停められてよかった。でいつもの南洋軒の弁当を食べて、説明を受ける。成程、絶妙な問題を作ったもんだ、という感じ。感服。2時から面接。その絶妙さに気付いた学生、言われて「あっ！」という顔をした学生、言われても何言われてるんだか分からない学生など、学力差は結構ある。最後の学生はこの世の終わりみたいな顔で去っていったが、どうだったでしょうかね。

小生は5時過ぎに解放されたが、T先生二人（どのT先生でしょう？）はまだ仕事があったようだ。小生もそれで帰れるわけではなく、ちょっと密談があって、個研室で待ち合わせ。その用はすぐ済んだ。で昨日サボったつけで、それから仕事。一昨日は0から始めるので大変だったが、今日は多少分かっているので、まずまず捗った。勿論ずっと集中してたわけではなく、息抜きに大貧民をしたり、さいたま新都心駅の近くのホテルを予約したり、メールに返事を書いたりなど。まあ大体目鼻はついた。もう少し考えた方がいいだろうから、明日も明後日もやる。9時が近く成ったので帰ろう、と思ってパソコンの電源を落とそうとしたら、アップデートが始まってしまった。結構時間が掛かり、9時過ぎに会議室を出たら、F本先生がいて、「今まで掛かりました」との仰せ。副学部長は大変だなー。脂の乗り切った年齢の頃に3年も副学部長で時間を取られるとは、何とも大変だったろう。お察しします。今年度いっぱいで解放されるようで、よかったですね。

はま寿司かちゃんぽん亭で晩飯を、というのが最初の計画だったが、「サンデースポーツ」が見たいので、住処でカップラーメンで済ますことにした。まず相撲の結果が放送されるのが恒例。熱海富士が負けて、霧島が2度目の優勝。いや、霧島としては初だな。一山本と琴ノ若、そして熱海富士が敢闘賞。忙しくてあまり見なかったが、面白かったのだろう。今日の分のダイジェストも録画しておこう。その後サッカーの話題。ガンバとサンガがJ1残留だそうだ。横浜FCは残留は無理そう。J2からJ1へ1チーム上がれるそうで、そのための4チームによる勝ち抜き戦が行われて、かつての強豪ヴェルディとエスパルスが決勝を戦うそうだ。エスパルスに勝って欲しい。もうヴェルディは読売とは何の関係も無いのだが、やはりかつてのイメージがあるので。当時はヴェルディ vs. エスパルスというのはしょっちゅうあり、悉くエスパルスが負けていた。エスパルス頑張れ。

一杯いきたいところだが、明日の講義を休講にするわけにはいかないので我慢。明後日は学科長会議が1時からあるので明日も呑めない。水曜も会議をやるが、16時30分からなので、明後日の晩はまあ呑めないことはないが、一杯で止められるほど精神力は強くないのでやめておく。木曜日はゼミ、金曜日は講義と、今週は火曜日次第だが、もしかしたら6日出勤。こんなのは何年振りだろう。今日車の走行距離が3333を超えた。4月に乗り換えたから早い方な気がする。この前スマホで昔撮った写真を見たら、一度30000km走ったことがあったようだ。車検を一回だけやってるから、その時かな。その後は車屋の口車にのせられ、車検前に乗り換えている。ハイブリッドが出ましたよ、とか、ヴィッツからヤリスにモデルチェンジ、とか、資産価値としてはヤリスよりこの前モデルチェンジしたアクアの方がいいですよ、とか。えーと、まあつまり、今回は30000kmいくかもしれないと言いたいのだが。来年度は今年度より少しは暇に成りそうだ。まあゼミが入る曜日に依るが。卒研の希望者が予想より多く、ゼミを数回やらないといけなくなりそうなので、またちょっと大変かも、まあそうなったらそれでいいけどね。

次期高知県知事は「浜田省司」という名前だそうだ。「しょうじ」ではなく「せいじ」だそうだが。名前が似ているから顔も似ているか、と思ったら全然そんなことは無いが。今日事務の東さんと言う人の姿を今日初めて見掛けたが、東、と聞くと Baystars の東を思い浮かべてしまう。小柄で若い人かと思ったら、大柄で、案外鬢に白いものが混じっている人だった。足立先生はすぐ人の名前を忘れる人だが、「君の顔のどこにも加川とは書いてないだろう？」とよく仰っていた。東さんも名札をしてたから分かったわけで、そうじゃなかったらあの人が東さんとは分からなかった。事務の人とはメールでやり取りするだけのことが多く、この前異動された田井中さんと言う人も一度も会ったことなかった。異動のご挨拶のメールをいただいたが、もう会う機会は無いかな。色々ご迷惑を掛けたので、一度会いたかったが。

ヴィッセル神戸J1初優勝

結局今日は職場に行くでもなく、床屋に行くでもなく、一日ダラダラしてしまった。昨晩誘惑に負けて、酒を呑んでしまったのが一因。事務の人に「体調を整えておいてください」と言われていたのに。まあいいでしょう。呑みながら昨日の相撲の様子を確認したり、「笑わない数学」のフェルマー予想の回が再放送されていたのを録画してあったので見たり。フェルマー予想関連の話は面白い。大学に入ってすぐ「数学概論A」という科目（担当は足立恒雄先生だった）で P.I.D. がどうしたとか U.F.D. がどうしたとか習い、ピタゴラス数の決定に Z[i] で考えるのが面白く、春休みに足立先生の「フェルマーの大定理」を借りて読んだのが思い出される。あの時の経験は大きかったな。

テレビを付けっ放しで横に成っていたが、サッカーの中継が始まった。ヴィッセル神戸が初優勝。関西では月曜の深夜に関西のチームだけを取り上げるサッカー番組がやっていて、流れで見ることが多くなり、関西のチームには大分詳しく成ってしまった。J1のチームは勿論、J3の奈良クラブとFC大阪、女子サッカーのINAC神戸のことまで取り上げる番組。去年はヴィッセルが低迷していて、ガンバもセレッソも冴えなかったので、番組全体が暗かったが、今年は明るかった。野球も関西のチームが好結果を残したので、関西全体が明るかった。来年は東京湾岸ダービーということで、Baystars vs. Marines を是非。

その後相撲を途中から。結びは霧島 vs. 熱海富士の2敗対決。もうこの二人しか優勝の可能性は無いそうで、実質的な優勝決定戦かも。結果は霧島が貫録を見せて勝ち。熱海富士は2場所連続で惜しい結果に成ってしまうのか。まあまだ明日どうなるか分からないので、楽しみ、と言いたいところだが、多分業務の終了は5時過ぎで、相撲がやっているうちに帰ってくるのは無理だろう。去年の様子をこのブログで確認したが、業務終了後渋滞に巻き込まれ、帰宅は6時過ぎ、で阿炎が巴戦を制し優勝、と言う結果をネットで見てビックリ、とか書いてた。明日はどう成るでしょうね。

浜田省吾がインフルエンザに罹り、今日、明日のライブは延期とか。行くことにしていた人は残念だろう。小生も前に福岡まで行くぞ！と張り切っていた2日前に延期の情報が入ってきて、がっかりしたことがあった。幸い延期されたライブにも行くことが出来てよかったが。ライブツアーの最終日に組み込まれ、もう後顧の憂いが無かったからか、10時近くまでライブは続いた。屋外のグッズ、CD売り場は確か9時閉店で、売り場の人は暇だったろう。来年の1月6日に、その時以来のライブに行けることに成った。さいたまスーパーアリーナで。そろそろ宿を押さえないと。何処にあるのだろう？と調べたら、「さいたま新都心」駅の近く。大宮辺りに宿を取ればいいかな。前日まで実家にいるが、親父殿と兄者には6日に授業があるとでも説明しよう。「さいたま新都心」って京浜東北線でテレテレ行くしかないのかと思ったら、今は「上野東京ライン」というのが開通したおかげで、横浜から東海道線経由で乗り換えなしで早く着くことが出来るように成ってるようだ。楽しみ。

上に書いた通り、明日は仕事。12時半集合だから、そんなに早起きする必要はない。まあ調子を整えておかないといけないので、日の変わる前には寝る。業務終了後は、今日サボった分の仕事をしないと。10時前には職場を出られるようにしたい。月曜日は講義とゼミ。火曜日は学科長会議。で水曜日の会議の前に結論を出しておかないといけないので、日、月、火の3日間が勝負。頑張らないと。

早稲田大学「期間」理工学部ねぇ

今日は11時くらいに起きて、シャワーを浴びて、12時くらいに住処を出て、弁当を買って、とここまでは順調。が、食べようと思ったらいきなり割りばしが折れる。嫌な予感。折れた箸を使って上手に食べる。

金曜日は「代数学II」。今日も出席者は少なく、後ろの方にへばりついてる学生が数名。聞く気の無い数理の学生なのか、外は嫌だし混んでる教室は嫌だし、ということでいる他の学科、学部の学生なのかもしれない。気にせず講義を始めると、暫く経って知った顔の学生が入ってきた。よかった。今日は全ての共役写像で動かないことと下の体に入ってることが同値なのを示した後、ガロア拡大を定義して固定体を定義して、で L/K の中間体と Aut(L/K) の部分群の間に対応を付けて、で L/K がガロア拡大と仮定しないでどの辺まで言えるかを証明。来週はガロア拡大の場合をやれる。基本定理に行くかも。まあ殆ど聞きに来る学生はいないんだが。代数が難しいから来ないのか、講義終了後に web にノートを置くから来ないのか、それとも小生が嫌いだから来ないのか、その辺は謎。今日が卒研の希望調査票の締め切りだったようで、来週には答えが多少分かるでしょう。来年度の代数も引き続き web にノートは置くつもり。現2回生相手の「線形代数学」でそうしたし、急にやめると怒られそうなので。来年度は2回生の科目は担当しないので、来年度の3回生相手を最後に web に置くのはやめようか？

講義が終わってから、部屋で講義ノートをちょっとだけ直して web に上げて、さて演習問題は、と思ったら、ガロア群の計算を出来るように成らないと解けない問題ばかりなので、今週は演習問題はスキップ。いや、上げても誰も解かないんだけど。その後事務と2、3メールをやり取りして、3時半くらい。

3時半くらいにメールを寄越す、と事務の人が言っていたが、その通りで、大体3時半に来た。大量の郵便物を受け取りに7階の事務室へ。結構な量だった。台車で運ばないと無理だな。で去り際に別の人からこの前の件がどう成ったか聞かれた。まあ特に学科の皆様から異論は出なかったし、いいでしょう、と答えておく。この人はこういう顔をしていたか、と初めて分かった。この前までマスクしてたからね。もうマスクをしている人は少なくなった。そうかと思ったら、twitter に「5回目接収完了」みたいな書き込みがあったり、コロナはどう成ったかよく分からない。小生はマスクはいまだにしているが、ワクチンはどうしようか迷っている。今結構忙しいので、暫く後だな。と思っているが、そんなことをしているうちに有料に成るかもしれない。まあもうちょっと考えます。

その後荷物を会議室に搬入して、パソコンを持っていって作業。会議室に入ったのっていつ以来だろう？コロナがあって会議は広い談話会室でやるように成って久しい。何年も入っていなかったな。事務が作ってくれたファイルと、去年A堀先生が作ったファイルと、書類を見ながらあれこれ。小生元々集中して物事をやるのは苦手な方で、不慣れな仕事ということもあり、しょっちゅう休憩入れてた。誰か一人くらい小生の名前を間違えるんでは？と思ったが、それは流石に無かった。ただ、「早稲田大学期間理工学部」というミスをしている人はいたが。枝葉の部分なのであまり真剣に見なかったのだろう。ちゃんとしましょう。

半分くらい済んだ所でA堀先生登場。色々アドバイスを聞きながらメールを書いたり「調整さん」で色々やったり。でダラダラと9時近くまで作業してた。まだ完全には終わってないので、明日またやるか、それとも日曜日の仕事が終わってから続きをやるか、思案中。明日は床屋に行こうかと考えていたが、目茶目茶寒く成ると言っていたし、どうしよう？

ガストで唐揚げを食べて、国道一号を通って山科へ。この前ドラッグユタカでジャージ（死語）の上下を売っていたのを見掛けたが、荷物が多くなるのでまたにしよう、と思っていたのを思い出して、寄る。でレジに出したところで目に入った「11月25日、26日、Tポイント10倍」の文字。明日買えばよかったな。レジに出して、やっぱりいいです、と言う程面の皮は厚くないので、買ってきたが。昨日までは夏物を着ていて、流石に寒く成ってきたから新しいのが欲しかったのでいいです。帰ってきて着替えた。温かい。夏物とジーパンとまとめて洗濯機に放り込んで、今回してるところ。乾燥までやると結構何時間も掛かるが、まあ明日出掛ける時には終わってる。

相撲がどう成ってるか全然気にしてなかった。どう成ってるんだろう？毎日ダイジェストは録画してるので、昨日の分だけでも後で見ておこう。千秋楽は見られそうにない。確か去年もそうだったな。忙しいと色々犠牲に成る。まあ仕方ないです。学科長もやったし教務委員もやったし、今更ながら色々大学の仕組みが分かってきた。またやる機会もあろう。覚えておいて、次はもう少しスムーズにやりたい。次の学科長に仕事を頼まれたら嫌がらずに協力しよう。

Tigers と Buffaloes の優勝記念パレードが行われた

昨晩は寝不足だったのに中々寝付けなかった。が、無茶をして疲れていたので、2時近くまで起きられなかった。大抵寝る前にはパソコンの電源は落とさないので、起きて出発準備で電源を落とそうかと思ったが、その前にメールをちょっとチェック。するとゼミの学生の一人が、今日は体調が悪いのでオンラインゼミにしてくれ、とメールを送ってきていた。うむ、見てよかった。パソコンを持って出掛ける。

駐車場で入構許可証を発見。この前失くしたと思った時は、ドアを開けた時に落としていたのに気付かず踏ん付けていたが、今日は隣の車が停めている所にあった。大抵隣の人の車は停まっているんだが、祝日でどっかに出掛けたのだろうか？停まっていなかったので見付けられた。まあよかった。もう再発行はしてもらっているが、小さいクリアファイルを見付けるのは面倒だったので。これからはドアポケットに入れず、助手席に置いておくことにしよう。

今日は祝日で、高速道路は ETC で行けばいつもより140円安く440円。職場では契約職員が休んでいるから、ウェストウィングに近い所に駐車出来る。祝日出勤の全てが悪いわけはない。生協もやってるし。というわけで弁当を買って、ゼミの始まる前に掻っ込んだ。整数論のゼミは二次体のイデアルのノルムがどうしたとかいう話。N_K(IJ)＝N_K(I)N_K(J)（I,J は二次体 K のイデアル）とか色々出ているが、例によって証明が付いてない。今日も調べてきたようで、ちゃんと証明を話してくれた。ただ II'＝(N_K(I)) の証明が分からなかった、と言ってた。その場でやる自信が無かったので、今日はそこでやめにしておいた。超越数のゼミはオンラインで。今日はゲルフォント・シュナイダーの定理のゲルフォントによる証明。ざっくりざっくりと評価して、上と下から評価して、パラメーターが大きいと矛盾、といういつもの証明。何回見せられても騙された気分しか残らない。超越数であることの証明はこんなのばっかりという感じだな。来週はシュナイダーによる証明と、更にもう一つ別の証明をやるようだ。疲れた。

この前 [Q(ζ_m)：Q]＝φ(m) の証明が怪しかったので、調べておく、と約束したので、暇なうちに調べておこう、ということで文献をあたる。石田信先生の代数の本で証明を読んだことがあったな、と思い出して見てみたら、何かよく分からない。同じ石田先生の代数的整数論の本はどうだろう？と思って見てみたが、大体同じ筋の証明だったが、こっちの方が分かり易かった。で学生にメールを書いておいた。メビウス関数を使って X^d－1（d｜m）の積や商で表す方法があるということもついでに書いておいた。高木貞治「初等整数論講義」に出てるよ、と。整数論やってて「初等整数論講義」を手にしないのは結構恥ずかしいことだと思うんで、そうも書いておいた。その後事務仕事を少々して、8時くらいに職場を後にした。

もう8時ともなると高速道路は混んでない。まあ今日が祝日なのもあろうが。京滋バイパスの夜間通行止めも済んだようでよかった。木曜日の9時からやっているドラマ（菅野美穂主演）も何か続きが気に成って、毎回見ている。野球が無いと暇でいい。

野球、と言えば、今日は御堂筋と三宮で Tigers と Buffaloes の優勝パレードがあったそうだ。関西人は Tigers となると熱くなる。午前と午後2回制で、午前中御堂筋でやった方が午後三宮で、とその逆をやったと言ってたが、移動が大変そうだった。阪神電車が三宮から梅田までノンストップの特急を走らすと言ってたが、30駅以上通過するらしい。凄いことのようだが、京浜急行は品川の次の停車駅が上大岡という、30駅通過する電車を随分前から走らせてる。ウィング号と言う名前で。最近は朝ラッシュに「モーニングウィング号」という上り電車で、上大岡の次の停車駅が品川、というのも走らせているらしい。えーと、優勝パレードの話。物凄く盛り上がっていた。Tigers はリーグ優勝が18年振り、日本一となると38年振りだからね。Baystars が優勝した時も盛り上がった、などと書くとさも行ってきたようだが、小生行ってない。科研費の申請調書を書くため、祝日なのに早稲田まで出掛けた。まあまた近い内にあるだろうから、と思っていたが、次の年に横浜を離れることも、25年も優勝出来ないことなど想像もしてなかった。次優勝したら行くぞ！授業？休講だ！というわけにはいかないかもね。まあ優勝するのが先。来年こそ是非。

11月23日恒例、ラグビーの早慶戦が行われた。100回目らしい。今年も早稲田の圧勝。ラグビーでは慶應は早稲田の敵ではない。これからも圧勝し続けて送れ。

どうでもいい話。中川翔子の戸籍上の名前が変わった、という話題を見付けた。今までの名前は「中川しようこ」と、「よ」が小さくないそうだ。付けようとした名前の漢字が人名に使えない感じだったそうで、届けに行ったお婆さんがひらがなで書いた時に、雑に書いたため「しようこ」に成ってしまったそうだ。嫌で嫌で仕方なかったらしい。「はうこ」とか訳の分からない呼ばれ方をされたこともあったとか。目出度く戸籍上も「中川翔子」に成ったそうだ。よかったね。

さ、明日からちょっと忙しくなるぞ。講義が終わったら戦争だ。他にも難しいことが幾つかあり、憂鬱。自分が責任ある職に就いてる時に面倒なことは起きないで欲しかったが。まあ仕方ない。来週と再来週の水曜日は両方とも会議だな。

ほぼ一日中寝てた

昨晩は呑んでしまった。CMでやってる「ムトゥ？」とかいう奴を呑んでみたが、物足りなく、やっぱりいつものがいいな、ということで違法販売機で数本購入。色々やりながら呑んだ。北朝鮮のミサイルのせいで「相席食堂」が1時間遅れて始まったり、「ロンドンハーツ」と「アンタウォッチマン」が休止に成ったりと、色々イレギュラーだったので、数学のことを考えたり。で明るくるまで起きていた。

ということで、今日はほぼ一日中寝てた。まあ明日は祝日なのに職場に行かないといけないし、日曜日も特別入試で行かないといけないし、代休と言うことで。

山本由伸は大人気のようだ。まあ当然かな。Buffaloes は山崎福也も出ていきそうだし、どう成る？と思って見ていたら、Carp からFA宣言していた西川龍馬を獲得するらしい。来年も強そうだ。二軍に新潟と静岡の2チームが参入するし、野球は賑やかだな。

寝床でゴロゴロしながらスマホをいじっていたんだが、毛利家の当主がお怒りの動画を上げていた。大河ドラマで毛利輝元が淀に叩かれるシーンがあったが、それは無いだろう、ということで。今年の大河ドラマにはお怒りに成っている人が少なくない。脚本家がそもそも歴史にあまり詳しくないらしい。まあ家康ものだから面白いが、小生くらいの半可通でも首をひねるシーンは確かにあった。“殺生関白” 秀次は殆ど登場しないし、石田三成の柿の話も無かった。伊達政宗は出てこないし。来年、再来年は多分見ない。主人公に興味無いしね

日曜日の予定を見たら、早起きはしないで済みそうだ。この前は8時45分集合とか訳の分からないことを言われたので職場に泊まったが、今回は必要無さそうでよかった。まあ土曜日呑めないが。その分昨晩呑んだ、とう側面もある。金曜日には大量の郵便物が届いて、それを処理しないといけないし、忙しい。学科長だけでも十分大変なのに、今回のも大仕事。他の学科の先生2名を巻き込んでの仕事だけに、色々複雑。またA堀先生に沢山相談しよう。

成木勇夫先生逝く

ちょっと遅く寝たが、9時半くらいに目が覚めてしまった。カップ飯を食べて、一昨日の大河ドラマを見て、などとしていたがやはり眠い。もう一度横に成ってしまった。で結構ギリギリまで寝てしまった。ちょっとまずかったな。

で1時から学科長会議。今日は40分くらいで済んだ。途中よく分からないことがあり質問したが、何かよく分からない。まあ後でメールが来るでしょう、ということで程々にしておいた。終了後一人学部長に呼ばれていたが、確かその人は2週間続けて会議を欠席したような気がするが、その件かな。小生も気を付けないと。

で2時くらいに職場へ向かう。保健センターへ行くため。急いでないので下道で向かう。免許取りたての頃は混んで仕方ない国道一号を通って行ってたが、近江大橋を通る道の方が早いぞ、ということで150円払ってそっちを通っていたが、近江大橋が無料に成り、そっちも混むように。その後偶然見付けた昼は混まない道を通って。その道も夜は混むんだが。でウェストウィングに近い所に停めて、生協で弁当を買って、掻っ込んでから保健センターへ。今日も血圧はいい感じだった。次回は3週間後。西園寺記念奨学金の表彰式があって職場に行かないといけない日なので、そのついでに。もう次回は12月だ。早いな。

その後部屋でゴソゴソと作業。昼の会議でよく分からなかった件だが、どうやらその時の理解で正しかったようだ。副学科長に手伝ってもらって、終了。最終的な決着は26日（日）に付くことに成ってる。しかし推薦入学で入ってくる学生って、物凄く成績がいいので驚く。評点平均4.9なんていう学生がいた。小生の大学の同期にもいたな。小生は3.5をとれればいい方で、一番酷い時は2.7なんて時もあった。その時は音楽が5だったので助かったが。社会は赤点、物理は5段階評価で2だった。それを考えると浪人した時に全部取り返したんだから、その時の小生は凄かった。もう37年も前の話。Tigers が前に日本一に成った次の年。大昔だ。

調剤薬局は8時までなので、7時前に部屋を出た。ちょっと気が向いたので7階の事務室に行ったら、もう入構許可証が届いていた。昨日寝る前にメールを書いておいてよかった。これで明後日も金曜日も日曜日も、正門をサクッと通れる。よかった。

成木勇夫先生がお亡くなりになったそうだ。80歳かな。先生のお歳は以下のような事情で知っている。藤村先生とある仕事で組んだ時に、その時のメンバーが全員43年生まれ。1943年と昭和43年。藤村先生が1943年で、小生が昭和43年。ということで25違う。藤村先生と成木先生は同い年だった。それは学部長選挙で配られた教員一覧表を見て知った。最後にお見掛けした時は腰が曲がっていて、その年一杯で非常勤講師を辞められた。もう随分前の気がするが。年賀状も来なくなった。歳を取ると年賀状が大変らしく、小生の両親もやめたし、足立先生からも来なくなった。小生も面倒臭いのでそろそろやめたい気分だが、まあ15枚くらいなので書いてる。まあもうちょっと続ける。えーと、成木先生の話。凄く頭がよく多才な人だった。一度ガロア理論の講義を代わりに持っていただいたことがあるが、学生が「ガロア拡大の定義をしてない」と文句を言っていて、それを先生に言ったら、「そんなことはない。僕は何度も言った」との仰せ。よく酒の席でこの話をしたんだが、皆一様に「いや、何回も言わなくても、一回書けばいいんだよ」と言ってた。その通り。別の先生だが、行列をブロック分けして計算出来るという話をした時に、分割して出てきた A_ij を学生が誰も行列と思っていなかった、と伝えたら、「僕は何回も言ったんやけどね」と帰ってきた。頭のいい先生方は何でも一回で理解出来たのだろう。今時の学生の現状とは乖離している。そういうこともあって、小生はとにかく何でも書くことにしている。等式を書いて、「が成り立つ」、「とおく」の一言が無いだけで学生の理解は全然違う、というのが小生の持論。小生は成木先生と違って馬鹿だから、1回で理解出来たことなんて無い。だからゼミの学生が復習してないと思しき様子なのが実に腹立たしいのだが。えーと、また話がそれた。成木先生のご冥福を祈る。事務に基礎数学担当専任講師の T.K. 君にもメールを転送しておいてくださいとお願いしておいた。もう知ってるかもしれないが。

気温の上下が激しいらしい。北海道は明後日は最高気温16度だが、土曜日の最高気温は－1度。わけがわからない。日曜日は職場に行かないといけないが、寒いんだろうか？嫌だな。

等と書いていたら急に画面が変わって、北朝鮮がミサイルを発射した、という情報。相変わらずロクでもないことをしよる。沖縄の皆様、気を付けてください。

入構許可証を再紛失

9時半くらいに一旦目が覚めたが、再度寝入って、10時半のアラームも11時のアラームもスルー。最終的に起きたのは11時45分くらい。まあシャワーを浴びる時間はある、ということで特に慌てることなく12時15分過ぎに住処を出た。が、ここで想定外のことが。「京都東－大津 渋滞1km5分」の表示。下手をすると料金所に入る手前から渋滞が始まるが、まあそこまで酷くはなく、料金所は通れた。が、そこから本線合流まで渋滞。合流後は故障者が1車線を塞いでいる。そこを過ぎたら後は順調だった。が、講義室には1分くらい遅れてしまった。やはりあまりギリギリに出るのはやめよう、と毎回思うんだが。遅れた理由のもう一つは、入構許可証が行方不明で、正門の所で入構手続きする必要があったこと。今までの車も今の車もドアにあるポケットに入れてるんだが、形状が違うのか、何度も落としたことがある。行方不明に成ったのは2度目。恥を忍んで手続きのお願いを出しておいた。

で1分遅れで「数理科学特論2」。開始時には2名しかいなかった。まあいいです。ヒルベルト記号の explicit formulae の証明にほぼ一コマ丸々使った。「この程度の証明は長い部類に入りません」と繰り返しておいた。振り返ってみると、学生は数名増えていた。誰もノートを取っている感じはなかったが、まあいいです。一回聞いて、後で manaba＋R からダウンロードして読んでください。誰もやらないかもしれないが。

お分かりの通り飲まず食わず。生協で弁当を、と思って生協の方に向かうと、唐揚げを売ってるキッチンカーが止まってた。が、軒並み丼物が売り切れに成ってる。聞いたらご飯が無くなってしまったそうだ。温かい唐揚げを食べたかったが、仕方ないので生協で冷えた唐揚げ弁当を買って食べた。で講義ノートを直そうかと思ったんだが、ゼミのテキストの円分体に関する問題に間違いがあった筈、と思って読もうと思ったんだが、中々気乗りがしない。でようやく読み始めたが、やっぱり何かおかしい。どう直したらいいかはちょっと分からなかった。結構難しいと思ったが。後で調べることにしてゼミへ。

今日もディリクレの単数定理の準備。色々予習に問題があり、相変わらず本を読んでいる。噛み砕いて説明して欲しいんだがな。ギャップも埋めてこないし。で色々手間取っているうちに7時半を過ぎていた。来週は単数定理の証明が終わると信じたい。

その後講義ノートの直しを少々。閉じ括弧とアンダースコアの位置が逆に成ってる所が一箇所あったのと、p が素数であることを断ってない所が数箇所、使っている定理のリファレンスを2か所追加、と軽微な直しのみ。manaba＋R に上げて、明日の会議資料をダウンロードして、9時前に職場を後にした。

昼温かい唐揚げを食べられなかったので、晩飯は吉野家で唐揚げ丼。唐揚げは時間が掛かるから、「覇王の家」が進んでいい、と思ったら、土曜日に出掛けた時にいつもと違う鞄を持っていって、そっちに移して戻すのを忘れてた。なので西来路文朗、清水健一「ガウスの黄金定理 平方剰余の相互法則で語る数論の世界」（講談社ブルーバックス）を読むことにした。前書きと目次を見るだけでも面白そう。本編はちょっとしか読めなかったが、楽しそうだ。時間のある時に読もう。お二方はブルーバックスで数冊書かれていて、他にも整数論の本を書いておられる。どれも含蓄があって面白そうだが、読み通したのは1冊だけ。正月に横浜から埼玉まで電車で移動しないといけない時があるが、そういう時に読むと結構進むので、その時のお供にしよう。唐揚げは美味しかった。

明日は保健センターに行かないといけない日だった。こういう時に限って入構許可証を紛失する。木曜日も金曜日も行かないといけないし、よりによって26日（日）も行かないといけない。つかん。再発行はいつに成るでしょう？明日にでも見付かれば嬉しいが。あそうか、何か新車を買った時に新しい許可証が出来るまで一時的に使える臨時許可証みたいなのがあったな。明日職場行ってやろう。住処でやらないのかって？小生プリンターを持ってないんでね。コンビニで pdf ファイルを印刷出来るが、10円払いたくないし。明日明日。

井端ジャパン初陣を飾り優勝

昨日はその後すぐ呑みに行った。「白い巨塔」のDVDはちゃんと持っていって、喜ばれた。全31話、楽しんでください。でいつもの通りビールをひたすら呑んだが、年に一度の恒例行事の葡萄ジュース（ボジョレーヌーボーという奴）を呑んで、その後ちゃんとしたワインを呑んで、と、いつもより結構な量を呑んでしまった。

帰ってきて即ダウン。そのまま結構寝続けた。相撲を途中から。大関が二人負けて、霧島はどう成る？と見たら、ちゃんと勝ってくれた。よかった。貴景勝の場所後の横綱昇進はほぼ無くなったそうだ。先場所は優勝も11勝4敗だったからね。今場所相当いい成績で優勝しないといけなかったが。まあめげずに頑張ってください。

野球の決勝戦があるはず、と思って番組表を見たら、試合は6時開始だが、放送は7時からの模様。まだ眠かったので、横に成った。放送のあるMBSにチャンネルを合わせておいて。で放送が始まっても起きられず、時々目が覚めて情報が入ってきた。1塁を守ってる牧がちょっとまずい守備をしたらしく、そこから2失点。しかし、牧が名誉挽回のホームランで1点差にすると、佐藤輝明（Tigers）の犠牲フライで追い付く。で延長戦に突入。タイブレーク制が導入されていて、ノーアウト1、2塁からスタート。ダブルプレーで2アウト3塁に成るも、ヒットを打たれ1点取られてしまう。が、侍は強かった。送りバントで1アウト2、3塁。申告敬遠で満塁に成り、坂倉（Carp）が犠牲フライで同点。再び申告敬遠で満塁と成り、門脇（Giants）がサヨナラヒット。井端監督の初陣は優勝という最高の形で終わった。4チームでの戦いで、僅か3試合だが、優勝には違いない。来年はプレミア12があり、3年後はWBC、5年後はオリンピックに野球が復活と、野球ファンとしては楽しい。それで来年は Baystars が優勝してくれれば言うこと無しだが。オースティンと来年も契約するそうで、今度こそフルシーズン働いて欲しい。ソトはどう成るのかな？バウアーは？今永は？石田は？来年は Baystars と Marines の東京湾岸決戦が出来ればいいが。どちらもリーグ1位からは遠ざかっている。Marines は1回優勝してるが、あの時は3位からリーグ優勝（今はその場合はリーグ優勝と言わなく成ってる）。1位に成ったのは49年前とか。Baystars は25年前。いい加減に優勝しませう。

侍はオーストラリア相手にコールド勝ち

今朝は10時半くらいには目が覚めた。11時過ぎに出掛けて、1時前には帰ってきた。

でテレビを付けたら野球がやってた。今日だけデーゲームらしい。オーストラリア相手にコールド勝ち。一昨日、昨日と得点が中々取れなかったが、今日はよかった。小園（Carp）がここまで12打数6安打の .500。これくらいは出来る選手なのは前から分かっていた。もっと頑張ってください。但し、シーズンでの Baystars 戦では程々に。それにしてもオーストラリアのサードは下手過ぎた。

今日は寒い。12月の陽気と言ってた。が、来週水、木とまた20度越え。が、金曜日からは真冬の寒さとか寝惚けたこと言ってる。23日は祝日だが平常営業、26日は日曜日だが職場に行かないといけない。いい天気で温かいといいが。

さて、ちょっと早いが呑みに行くか。当初の予定では、野球はナイターだろうから、9時過ぎか9時半くらいに行ければ、だったが、もう行ける。相撲のダイジェストの録画予約だけして出掛けよう。

大谷翔平がMVP獲得（史上初の2度目の満票で）

夜中に何度か目が覚めた。時計を見たら「1：11」と見えた。すわ寝坊か、と思って電気を点けてよく見たら「7：11」。よかった。一旦起きて、カップ飯を食べて腹ごしらえしたが、寝たのは3時くらいだったので、超寝不足。流石に無理で、11時過ぎまでもう一度寝た。でシャワーを浴びて、12時ちょい前に出勤。講義の前に弁当を食べる時間があってよかった。

1時から「代数学II」。いつも以上に出席者が少ない。レギュラーメンバーが二人ともいない。が、真面目に聞いていると思しき学生が一人いたので、やる。いや、誰も聞いてなくても、教室に人がいればやるよ。誰もいないのにやるほど勇気は無いが。今日は分離性から。多項式の微分を定義。ちゃんと (f(X)g(X))'＝f'(X)g(X)＋f(X)g'(X) とかも証明した。標数0だと微分が0 ⇔ 定数だが、正標数だとそうはいかない、という例を挙げておく。ついでに、この前思い付いた導関数が恒等的に0でも定数でない例を話しておいた。導関数＝0 ⇔ 定数は定義域が区間じゃないと成り立たないので、小生の挙げた例は勿論定義域がぶつぶつと切れているもの。荒井先生の微積分の本に、「1/x の原始関数を log|x|＋C（C は積分定数）である、は正しくない」と出ていて、こういう例が出ている微積分のテキストを他に見たことがない。少し前 YouTube を見ていたらこのことを話している人がいて、素晴らしい、と思ったもんだ。えーと、それから標数0の体と有限体は完全体であることを示して、原始元定理と、共役写像が丁度拡大次数個存在することを証明したら時間に成ってしまった。「全ての共役写像で不変 ⇒ 下の体の元」を証明したかったが。これを証明すれば丁度1節終わってキリがよかったのだが。まあ仕方ない。来週はこれを示して、ガロア拡大に入る予定。今日で7回終わった。基本定理は3回くらい後かな。

弁当を既に食べているので、講義後は個研室で講義資料を直して web に上げる作業から。今日はあまり直さなかったが、最後のページが2行だけという、何とも間抜けな感じなので、文言を修正して、その2行を前のページに回せた。キリよくなって良かった。その後演習問題を考える作業。いや、誰も解かないんだから考えても仕方ないのだが、まあ後で使えるので。去年の物を見ると、分離性に関する問題が殆ど無いので、2週間くらい間が空いてしまうのがちょっと何だな、という感じだったので、考えた。結構問題はあった。分離多項式の約元は分離的、とかいうほぼ自明な問題、f(X) が分離的 ⇔ (f(X),f'(X))＝1、というこれまたほぼ自明な問題などを挙げておいた。それと入試で出そうと思って、易し過ぎる、と言われて却下された問題を入れたり。何だかんだでA4の紙で1ページくらいの問題は集まって、格好はついた。で pdf に直して、web に上げた。いや、誰も解かないんだって。でちょっと一息コーヒーを飲んでいる時に、上の自明な問題の1問目は2問目の問題を使えば別解が出来るな、と閃いた。まあ自明とは言っても体上の多項式環が P.I.D. であることとか U.F.D. であることを使うから、そんなに自明ではないかと。で色々考えて、TeX 化していおいた。またどこかで使おう。体上じゃないと「重根」という言葉自体にそんなに意味は無いな、ということも思ったり。まあ有意義な時間でした。

今日は6時50分過ぎから野球の日韓戦の放送があるので、混雑を承知で6時くらいに職場を出た。案の定渋滞していたが、それでも40分くらいで住処に着いたので、まあいいです。で野球だが、ノーアウト満塁の場面で牧がダブルプレーも1点先取。先発の隅田（Lions）はいいピッチングで、7回無失点。が、ちょっと解説者が苦言を呈していたのが、ファーストゴロで1塁カバーに入らなかった場面。その後無失点だったからよかったが、こういうのから大量失点というのはあること。気を付けてください。万波（Fighters）がバックスクリーンに放り込んで、2点差。9回にオーバーエイジ枠の田口（Swallows）が一発打たれたが、2－1 で勝利。まあいいでしょう。これで決勝進出。春は WBC で優勝で、また優勝と成ると気分がよろしい。頑張ってもらおう。

野球と言えばこれを書いておかないと。大谷翔平がMVPを獲得。今回も満票で、2回満票は史上初とか。本当に漫画のような選手だ。来年はバッターに専念だそうだが、また怪我を治して、凄いピッチングも見せてください。

嬉しい話題ばかりではない。KAN が死んだそうだ。61歳。「愛は勝つ」は1990年度歌だそうだから、もう33年も前なのか。いい歌だったね。ご冥福を祈る。

「かん」と言えば、小生の中学2年の時の担任の先生は鈴木寛という名前で、下の名前は「ひろし」ではなく「かん」だった。我々より10歳上だ、と言っていた。当時は希望に溢れた若き教師という感じだったが、もう65歳と言うことか。信じられない。数学の先生だったが、考えてみれば寛先生におだてられたのが今の職業につながっているのは間違いない。当時は教員免許の取得制度が緩かったのか、音楽の先生の免許も持ってて、何クラスか担当していたようだ。もう一人本田恭子という社会の先生が英語の免許も持ってて、こちらも何クラスか担当していたようだ。今は1科目免許を取るだけでも大変なようだが。専修免許を取りたくて大学院に進学する学生もいる。まあ大学院に行くと数学をみっちり鍛えられるので、大学院に行くのは悪いことではないです。ちゃんとやればね。

ちょっと予定を調べたら、明日は午前中に用事があるのだった。今日はそれなりに寝ておかないとまずいな。まあ10時半に起きればいいので、大したことない。呑むのは明日にしよう。確か先週田宮二郎版の「白い巨塔」のDVDを貸す約束をした。酔っぱらっていたのでよく覚えてないが。忘れないようにしないと。楽しんでください。

夜は京滋バイパスが通行止めで、そのあおりを食って名神が渋滞

徹夜明けだし、昨晩は早目に寝よう、と思ったんだが、引き続き群論のことが気に成って。G が有限巡回群の時、{G の部分群} と {#G の正の約数} の間に1対1対応が付くことを考え始めて、暫くしたら気が付いた。「数論序説」に証明が出ている、と。で読んでみた。うん、これは思い付かない。G＝<x> が位数 m の巡回群で d が m の正の約数の時、G の位数 d の部分群は <x^m/d> のみ、という事実の証明がちょっとトリッキー。まあ分かっちゃえば大したことないが。すぐ思い付くのはちょっと無理そう。で TeX 化して、3時過ぎにようやく横に成った。

でやはり無理をすると起きられず、アラームを幾つもスルーして、最終的に起きたのは昼の2時近く。ゼミは2時40分からだから、飲まず食わずなら間に合う。遅い時間だと車をウェストウィングの近くに停められるのでよい。1階のパンの販売機には幸い商品があったので、買って、コーヒーも買って、ゼミを聞きながら流し込む。超越数のゼミはゲルフォント・シュナイダーの定理の証明の準備。不等式の評価をひたすら繰り返す。この手の議論は慣れてないので、難しく感じる。まあ一手ずつは大したことはやってないんだが。「ハウス」というのがどうも苦手。学生は TeX でどうやって出すか苦労してると言ってた。塩川先生は本を書く時どうしたんだろう？整数論のゼミは、二次体の整数環がデデキント整域であることの証明を始めた。テキストに証明が出ておらず、藤崎先生の代数的整数論の本を見よ、と成っていたのを見てきたようだ。この先証明抜きで書かれている命題が多いが、全部調べてくるんだろうか？証明抜きで色々事実を上げてて、整数論の楽しさの雰囲気を味わう、という感じの本で、ゼミのテキストには不向きだったかな、とちょっと後悔。まあいいです。

5時前に終了して、遅くなると雨で、腹が減ってるから6時くらいに職場を出る、というつもりでいたんだが、Z[√(－3)] が U.F.D. でないことの証明に案外時間を食ってしまった。2 と 1±√(－3) が既約元であることを示すのが案外面倒。どうにか成ったので、TeX 化して、で気付いたら7時を過ぎてた。雨が降ってなければいいが、と願って表に出たら、まだ幸い降ってなかった。

この前書いた通り、今日はガストでから好しの唐揚げを食べることにしていたので、向かう。冷めてた方が食べやすい、とは書いたが、やはり揚げたての方が美味しい。満足。

ガストを出たのは8時過ぎ。まだ国道一号は混んでるだろう、ということで高速道路で帰ろう、と思って入ると、何やら草津JCTで渋滞が始まっている。ここのところ京滋バイパスが瀬田東－久御山淀間で工事で8時から通行止めのため、名神が混んでいるようだ。草津JCT－瀬田東JCT間は4車線なのだが、1車線塞がれていて、もう1車線も瀬田東JCTを過ぎると無くなるので、実質2車線塞がれているに等しい。そりゃ混むわ。というわけで、大津インター近くまで結構渋滞。まずったな。明日から気を付けよう。

帰ってきてテレビを付けると、サッカーが放送されてた。日本とどこだっけかな。4－0で勝っていて、もう少し経ったらもう1点取って5－0。相手が格下なのかもしれないが、日本は強く成ったね。明日は野球があるようだ。「宿敵韓国」とうたっていたが、この前のWBCを見る限り韓国は最早日本の敵ではない。明日も楽勝でしょう。が、この前井端ジャパンは Giants に負けたし、油断は出来ない。頑張ってもらいましょう。

「数学展望」の採点は結局まだしてない。これからやろうか？明日でもいいが。来週の24日に郵便物が大量に届いて、それの整理をしなくてはいけなくて、26日は日曜日だが、またぞろ特別入試のため朝から職場に行かないといけない。時間が取れるのはそれまで。ということで、早いとこやるが、面倒。まあボチボチやりますわ。

「報道ステーション」を見てるが、今日も野球はあったのね。知らんかった。台湾相手に6回1アウトまで一人のランナーも出せず16人連続凡退だったようだが、森下（Tigers）がソロホームランで先制、9回は打者一巡の猛攻だったそうで、4－0と快勝。まあよかった。今回の大会も優勝といきましょう。

群のことを考えていたら徹夜してしまった

またうっかり徹夜してしまった。ちょっと群論で気に成ることがあって。G が群で、H を次の条件を満たす G の部分集合とする：H≠空集合、#H<∞、∀x,∀y [x,y∈H ⇒ xy∈H]。この時 H は G の部分群であることが成り立つか？ということが。出来たっぽいのだが、何かおかしい。H は単位元を含むの？結構考え込んでしまった。でこの仮定から H が単位元を含むことを示さないといけなくて。ウダウダやって、何とかなった。TeX 化して、それで終わればよかったんだが、その過程で東工大の大矢浩徳氏という人の web ページに代数の講義ノートが置いてあり、それをダウンロードして見てみたら、変な例が出ている。群の公理に両側単位元と両側逆元の存在があるが、左単位元と左単位元が存在すれば実はいい、とか、右単位元と右単位元が存在しても実はいい、という事実がある。大矢氏の講義ノートに何かこれに反することが出ているぞ、と。でこういうマニアックな事実は彌永・有馬・浅枝「詳解代数入門」あたりを見れば出ているだろう、と思ったが、見付からない。で東郷重明「代数入門」というサイエンス社から出ている薄い本があった。これにも出ているのでは？と見たらあった。確かに右単位元と右逆元が存在すれば群に成るな。じゃあ大矢氏の例は何？と思ってちゃんと見てみたら、氏の例は右単位元と左逆元は存在するが群じゃない、という例。よかった、矛盾してない。しかし変な例を知ってるものだな、と感心。大矢氏は量子群とかそんなのの専門家のようだから、非可換な例には詳しいのだろう。でもう明るくなっていた。

でついでに東郷「代数入門」を少し読んでみた。こういう薄い本は大体読みづらく、案の定だった。巡回群の部分群が巡回群、というのは無限巡回群が Z と、位数 n の有限巡回群が Z/nZ と同型、という事実を知ってしまっているので当たり前なのだが、それを知らないとしてどう証明するか、と聞かれると即答出来ないので。で部分群 H をいきなり {e}（e は単位元）でないとしていて、さらに G＝<x> の時、xⁿ∈H となる最小の自然数（正の整数ね）n を取って、といきなり書いてるが、そもそも x^m∈H となる自然数 m はあるの？ということが気に成り、考え始める。ここで H≠{e} が効いているのだが、その旨一切書いてない。学生がこういう説明すると、当然の如く m の存在は明らかなの？と突っ込むものとしては、考えないといけない。でまあ分かった。TeX 化しておく。久し振りに群のことを考えたが、難しいな。2回生が躓くのも無理はない。群より環の方が易しい、という意見は多くて、小生もそう思ってる。Z は群と見るより環と思った方が自然だからね。演算を一つ忘れる、というのは予想している以上に高級なことなのだ。

でグダグダと11時過ぎまで起きていた。早目の昼飯を摂ってダウン。そのまま相撲が終わるまで寝てしまった。起きてメールを見ると、4時半から談話会、というリマインドメールが4時20分に届いていた。いや、そんな直前に言われても。前の日に言ってください。学科会議が無いとなると開放感から色々やってしまうので。2回続けて談話会をサボってしまったな。まあいいか。

7時のNHKのニュースで相撲の結果を確認した後、録画しておいた「たとえあなたを忘れても」を見た。日曜日にやった分を金曜日に即再放送するというよく分からないことをやっているが、初回の日曜放送をうっかり見損ない、金曜日の深夜に再放送が始まった時は眠くて仕方ないので録画して寝ようと思ったら、ダビングの真っ最中なので録画出来なかった。まあしょっちゅうダイジェストをやってるので筋は分かったし、2話は金曜日の再放送を見たので、大体分かった、ということで、3話目から真面目に見ている。まあ堀田真由と岡田結実が出てるから見てるという説もあるが。何か辛気臭く、見たくないのも本音なのだが、続きが気に成って。ということで多分最終回まで見るでしょう。大河ドラマと「相棒」と相撲があって、来週の金曜日から暫くやること目白押しに成りそうなので、時間はあるでしょうか？という気もするが。その後「ミラクル9」を追っかけ再生。家で乾電池を使ってるものは？というアンケートクイズで、誰も答えられなかった答がマウス。言われるまで小生も考えもしなかった。職場でも住処でもコードレスマウスを使っているので、すぐにでも気付くべきだった。住処のマウスは Bluetooth 接続。USB の口が少なそうなので、初めて Bluetooth 接続の物を買った。まあ普通に使えるのでいいが。USB ハブも買ったが、初めて使った時は外付けハードディスクを認識しなくなり、壊れたか、と思ったが、今回のハブは優秀で、USB メモリーも外付けハードディスクも普通に認識している。時代とテクノロジーは進歩した、ということだろう。えーと、「ミラクル9」の話。今日は関東地方がネタの中心。外国人を連れて行きたい東京の場所をアンケートした問題だが、渋谷が9位で、新宿、秋葉原は圏外と、意外だった。金太郎の舞台に成った神奈川県の山は？という問題は分からなかった。金時山だそうだ。で最後の問題は全国のJR、私鉄で無人駅の割合は？という問題。ビックリするくらい多かった。まあ京阪京津線も追分と大谷が無人駅。大谷駅で人が待ってるのを見たことない。近くに「日本一の鰻」をうたう店があるので行ったが。車を運転出来るように成ってからは車で行ってる。「日本一」という程の味ではないが、すき家や吉野家よりは旨い。値段はビックリするくらい高いけどね。

「数学展望」のレポートがもうすぐ締め切りの時間。昨日学生からメールが来て気付いたのだが、2回目のレポートの提出方法を「直接入力」方式にしてまっていた。1回目のは pdf を提出すればいいように成っていたが、「直接入力」だと学生は提出するのが面倒だったらしく、提出者は少なかった。急いで pdf でも提出出来るようにした。明日ゼミが終わったら採点しよう。大して採点に手間取る問題ではないので、短時間で済みそう。明日は夜雨に成ると言ってたから、住処に帰ってきてからやるかな。金曜日は寒いらしいが、来週はまた20度を超える日があるようだし、まだ秋物をクリーニング屋に出すのはまだ先だな。

大関、関脇が6人揃って勝った

昨日は結局「過ぎるTV」を見た。西田ひかるが出てたので。西宮の話。彼女は結婚して、西宮に長いこと住んでるそうだ。他の面子も西宮のいい所を色々言ってた。小生の西宮に関する知識と言えば、甲子園球場がある、阪急 Braves の本拠地だった西宮球場があった、西宮名塩という所に高速道路のサービスエリアがある、というこを知ってるくらい。出演者は勿論色々知っているので、岡村隆史の将来住むべき場所ということで売り込んでいた。最近の「過ぎるTV」はそればっかりであまり面白くないな、という感じ。まあいいけど。その後今朝が資源ゴミの日だったことを思い出し、少々分別したりしたので、寝たのが案外遅かった。それでも12時半前には目が覚めて、学科長会議には間に合った。よかった。今日は色々議題があって、1時間くらいやったが、あまり当学科に関係のある話は無かった。だから明日は学科長会議をやらないで済む。よかった。

教授会が終わった後、Uber Eats に昼飯を頼んで、大河ドラマを見たり。序盤で時間を食い過ぎたのは明らかで、関ヶ原の戦いはあっと言う間に終わってしまった。主要な西軍の侍の行く末もナレーションが言っただけで、見応えのあるシーンが無かったのは残念。来週は江戸幕府を開く話らしいが、井伊直政はその前に死ぬ筈だし、本多忠勝も榊原康政もそんなに長生きしないと思ったが、この先本多正純とか出てくるんだろうか。まああと数回だしな。この前「歴史探偵」に松山ケンイチが出ていたが、大坂の陣のシーンを撮り終わってから来たと言ってたから、豊臣滅亡の話はあるんだろう。二条城での秀頼との対面や、加藤清正の謎の死はどれくらい時間を使うんだろうか？真田信繁（いわゆる真田幸村）をやっている役者があまり冴えないが、家康をあわやまで追い詰めたシーンはあるんでしょうか？

4時半から教授会。今日は大事な案件があるので、いつもより出席者数が必要だが、中々皆集まらず、数分遅れで開始。次は自分がこういうことをやるんだから、よく見ておかないと、と真剣に見る。取り敢えずあと10日くらいは暇にしてても大丈夫そうなので、適当に過ごそう。

あ、結局教授会の間はテレビを消していた。4時半からだから、4時から相撲を30分くらい見られると思ってNHKにチャンネルを合わせると、宝塚歌劇団が記者会見をしていた。27歳くらいの人が自殺したのはいじめが原因か？とかそういうことで会見したらしい。いじめっていうのは無くならないな。何が楽しくてやるんだろう？先輩が絶対、みたいな感じのことを今でもやってるようだが、令和の時代には合わない。某事務所の件といい、時代は変わったのを認識しないと。ゼミで学生を厳しく指導するのはどうかって？まあそれもそうかもしれないが。ただ、同業者が twitter に面白いことを書いてた。ビリヤードをちょっとやるだけなら我流でいいが、上手くなりたいと思ったらフォームから入るよね？それを指導するよね？ということだった。数学をちゃんとやりたいなら、フォームから直さないと。えーっと、宝塚の話だった。いじめはよしましょう。

相撲は途中から見た。大関、関脇6人が全員勝つ、という、最近ではあまり無かった好結果。横綱が休場しているだけに、頑張らないと。

相撲と言えば、早稲田の相撲部の部員が大麻で捕まったとか。前も書いたが、一人の問題では済まないことに成るので、身勝手なことはしないで欲しい。OBとしては胸が痛い。相撲部全体に影響が及ばず、個人のことで済めばいいが。日大のアメフト部の様に成ってはいけない。とにかく、皆さん気を付けましょう。

晩飯も Uber Eats に。が、何やらおかしい。配達員がずっと動かなかったり、同じような所を右に左にうろうろしたり。で全然来ない。何してんねん、と思って待っていた。「一番遅い到着時間」という予報が表示されてるが、それより15分も遅かった。言い訳の一つもあるかと思ったが、小生に手渡しして、ささっと帰っていた。大分冷めていた。まあ唐揚げは熱々より多少冷めてる方が食べやすいのでいいけど。明後日の晩飯は職場の帰り道に食べる可能性が高いが、今日の敵討ちでから好しの唐揚げを熱々で食べよう。

日本のプロ野球のFA宣言が今日で締め切りとか。宣言したのは7名。Eagles の松井は海外移籍を目指し、Marines の田村は宣言して残留。山崎福也（Buffaloes）、平井（Lions）、山川（Lions）、西川（Carp）、そして Baystars の石田。開幕投手を3度勤めたが、正直言ってエースと言うには程遠い成績ばかりで、物足りなかった。他球団に行って今まで以上の働きが出来るとは思えない。井納のように成るのがオチのような気がして仕方ない。ま、お好きにどうぞ。

夜9時の駐車場は気温7度

寝たのは1時過ぎで、9時台に目が覚めたが、起きられず、結局11時半過ぎまで寝た。まだ眠いが、シャワーを浴びないといけないくらい寝癖ボーボーなので、急いで起きてシャワー。12時15分過ぎに住処を出る。

12時55分過ぎに講義室に着いた。部屋の半分だけ電気が点いてて、何だ？と思ったら見たことない外国人がいた。誰も来ないから、1時からの講義が無いと思って使っていたのだろう。しばらくしたら一人来たが、1時時点で彼だけなので、少し待つ。I君と挙動不審なN君が表れて、3人体制。まあいいでしょう、と始める。まず平方剰余の相互法則を証明。ガウス和をいじってるうちに結果が出てしまうという、謎な証明。まあ予備知識が少ない（ζ_p:＝e^2πi/p（p は素数）とした時、1,ζ_p,…,ζ_p^p-2 が Q 上一次独立であることくらい）のでいいのだが。で最近出た西来路さんが書かれた本を紹介しておいた。一番買って欲しい学生がいなかったのが残念。数学ってテキストや専門書を読み込むのは大事だが、こういった本で何となく色々知るのも大事だと思う。その後 Q が任意の p 進付値で完備でない、ということを示して、ヒルベルト記号を定義して、自明な性質を紹介。その後ヒルベルト記号と2次拡大のノルム剰余の関係を示して、でそこから出る簡単な性質を証明。で explicit formulae がある、ということでその式を書いたところで時間。結局3人だった。まあいいです。

生協で本を数冊購入。何となく毎月数セミを買う習慣が付いてしまった。今月号は「仲間たちと数学を」という特集。ゼミをしましょう、みたいな感じのことの特集なのかな。一人で全部勉強するのは大変だからね。友人とゼミをやるといいです。T教授が2回生相手に Atiyah-McDonald の可換代数の本のゼミをやってるそうだが、こういうのはいいです。金曜日に3回生が訪ねてきたが、一緒にいた2回生が「教授で暇な人いませんか？」とか聞いてきて、何だと思ったらゼミを見て欲しい、ということらしい。暇な人ね、まあいないかな、と答えておく。頼めばやってくださる方はいると思うけど、まあ僕はご勘弁を、と言っておいた。

個研室で弁当を食べながら、講義資料の直し。「p を素数とする」を何か箇所も追加。学生には必要な情報は全部書きましょう、と言っている以上、小生もそうする。「以下特に断らない限り、p は素数とする」とでも書いておけばいいのかもしれないが、これ小生嫌い。途中で p＝2 としたり p＝17 としたり、とかやった後、その縛りがどこで解除されるか明確でないので。電車だと速度制限の標識と制限解除の標識が必ず対であるし、プログラミング言語だと if 文の終わりが明確でないとエラーに成る。数学の場合も同様な気分なので、面倒臭いが一々書いた。で web に上げて、3時半過ぎに完了。それから事務に数通メールを出して、としてるうちにあっと言う間に4時20分くらい。

今日のゼミはディリクレの単数定理の節。log を使って単数群をユークリッド空間に埋め込んで、という話。相変わらず予習がなってない。写像がちゃんと準同型写像に成ってるのは「log で定義されてるから」みたいな中途半端なことを言うし、「Ker l の形も明らかである」というのもちゃんと証明させる。そうすると色々ボロが出てくる。⁽ⁱ⁾ って何？と聞くと答えられなかったり。単数のノルムが ±1 であることなんてもう3回は説明してるんだが、分からなかったり。この前ちょっとM1全員にメールを書いた時に、木田さん、tsuno さん、河東先生のページを教えておいたんだが、見てないということだろう。発表者以外も精読してくること、とか、ノートを取りながら聞く、とか、とても実践してるとは思えない。代数的整数の共役が代数的整数、というのも何回も説明してるんだが、忘れてたりする。言われたことはちゃんとメモしておいて、聞いている側も分からなかったことはメモって、ちゃんと復習する、ということが出来ないんだろうか？結局自分の番に成った時に準備の時間が何倍も掛かると思うんだが。で準備がいい加減で、小生に滅茶苦茶言われたり。もうM1の秋なんだ。そろそろ考え直して欲しい所。

ゼミ中に学生に考えさせてる間に、ちょっと線形代数の問題を考えていたが、解けた。前から気に成っていたことなので嬉しい。直観的には明らかなような気もするし、例でもそうなってるからいいだろう、と賢い人は思うのかもしれないが、小生は馬鹿なので、ちゃんと書いてみないと気が済まない。ゼミ終了後に確認したところ合ってるぽいので、TeX 化。ソースを書きながら考えたが、やはり合ってる。よかった。でついでに線形代数の問題の解答（もう解けているもの）を付けて、何だかんだで9時くらいまで職場にいた。

表は寒かった。秋物のジャンパーを着ているが、冬物にした方がいいかも。手袋も欲しいぞ、というくらい寒かった。自動販売機で温かいお茶を購入して、駐車場に辿り着いた。エンジンを掛ける（ハイブリッド車なのでスタートするのはエンジンでなくモーターだが）と外気温が表示されるが、7度、とのこと。うー、寒いわけだ。まあうちは山の上で、駐車場は吹きっさらしの所だから寒いのだが。街中に出ると9度まで上がった。それでも寒いことには違いなく、すき家で「牛すき鍋膳」を食べることにした。吉野家でもよかったんだが、吉野家は卵一個。すき家はデフォルトで2個なので、すき家の方がお得感がある。美味しかった。

もう国道1号はさほど混まない時間なので、下道で帰ってきた。で途中で一つ気が付いた。「くら寿司」のアルファベット表記が「KURA SUSHI」に成っている。「はま寿司」も「HAMA SUSHI」。「Zushi」だと外国人が分からないからかな。知らんけど。10時近かったので、工事が始まるようで、途中1車線封鎖されてた。1車線に成ってからも導流帯を走らないといけない所があったり。怖かった。10時を過ぎると工事が始まるし、もう少し寒く成るとフロントガラスがピキピキに凍っていて、暫く発車出来ないことにも成るから、もう少し早く職場を出た方がいいな。ただ、もう一度温かい日が来ると言ってる。難しい。

先週は「過ぎるTV」を見なかったが、何でかな？と思ったら火曜日は卒研ガイダンスがあったのだった。だから風呂に入っておこう、としたのだった。「報道ステーション」の直後の番宣によると、関関同立のOBが自分の大学を自慢する、という企画だったようなので、録画はしておいたが、まだ見てない。今日の「過ぎるTV」を見ようかどうしようか。見ないで先週の分を見るか、はたまた大河ドラマを見るか、昨日の分の相撲のダイジェストを見るか。明日は相撲を頭から見られる、と思っていたら、明日は教授会だ。4時半開始で、大事な議題があるから、相撲を見るわけにはいかない。音だけ消しておいて、教授会に参加しながら見ようか？先週の教授会の時にマイクをミュートにしないで何やらしている先生がいたが、学部長にすかさず突っ込まれていた。そうなるのは恥ずかしいから、見るとしてもテレビはミュートにしておかないと。まあテレビは消しておくかな。ダイジェストを見ればいいや。

今永がMLB移籍に向けて動き出すようだ。で今「報道ステーション」で牧のことを特集している。Baystars の選手も有名に成ったね。バウアーも。まあ今永とバウアーは来年いないかもしれないので、Baystars の選手とは言い難いが。今回の侍ジャパンは若いメンバーが中心で、牧が野手では最年長とか。牧はまだ3年目で25歳なのだが、凄い貫禄がある。去年藤田が「44歳の牧選手が頑張ってるので」とかいじってたが、当時はまだ24歳。今年は打点王と最多安打のタイトルを獲った。来年も同様の活躍で、26年振りの優勝を是非。

大河ドラマはいよいよ「関ヶ原の戦い」だが、眠くて起きていられなく、明日以降見る

もう野球が無いので、昨日は6時に成ったらすぐにでも呑みに行こうか、と思っていたんだが、つい数学をしてしまった。4次の複2次式 X⁴＋aX²＋b∈Q[X] のガロア群を求める方法は有名だが、3次の分解多項式の様子を見る、というのが気に食わない。講義で話すのに色々ガロア群を計算した経験があるので、そんなことをしなくても出来るだろう、と思い始めた。ガロア群が V₄ に成るケースと C₄ に成るケースはどうにか成った。D₄ に成るケースはまだ解決してない。まあ出来るでしょう、ということで出来た分を TeX 化して、8時過ぎに呑みに。

で Tigers 優勝話で盛り上がる、と思っていたんだが、そうでもなかった。やはり1週間近く経つと興奮は収まっている模様。でまあ例によって「これ余談なんですけど…」状態。まずは急に寒くなった話でしばし。先週は11月としては異例の暑さだったが、一気に最低気温9度とか訳の分からない寒さに。東京は最高気温が13度とか。うー。その後色々。「ノーバン」を空目する話とか。楽しくて、久々に1万以上払ってきた。野球は盛り上がらなかったと書いたが、まあそれなりにそういう話もあり、店長とバイトの人に数杯ずつおごった。

で帰ってきてしばしテレビを見て、で週に一度の1週間分の録画予約のセット。2014年の「緊急取調室」の最後の回を録画し損ねたのは前に書いたが、それがいつやるか。まだ今週はやらないな、と確認して、でしばしハードディスクの中身を見ると、何と随分前に最後の5回くらいを録画してあることが分かった。ということで今から録画しなくても全部ハードディスクに入ってる。これはダビングするしかない、ということで、9話一気にダビング。9時間くらい掛かるが、今日の録画予約は夜8時からの大河ドラマのみなので、問題無し。

でその後結構長時間寝た。ダビングが完了していることを確認し、残っている数話をハードディスクから消去して、大分容量に余裕が出来た。大河ドラマにはまだ時間があったので、随分前にやった「これ余談なんですけど…」を見て、など。古田敦也ととにかく明るい安村がゲストの回で目茶目茶面白かった。かまいたちの二人が古田に一番組持たせたらどうだ、というくらい古田の話は面白い。流石関西人やね。確か兵庫の川西市出身だった気がするが。大学は立命館。こっちに来るまで立命館の卒業生って古田くらいしか知らなかったが、メジャーリーガー長谷川滋利も立命館出身と同僚に教えてもらった。今現役の選手だと Baystars の東、Eagles の辰巳が立命館出身。もっといるのかな？知らんけど。

で今日の大河ドラマはいよいよ関ヶ原。リアルタイムで見ようか、と思ったが、眠くなってきたので、横に成る。テレビを付けっ放しだったので、少々音は聞こえてきた。小早川秀秋の「敵は大谷刑部」という有名なシーンもあるようだ。起きて追っかけ再生しようか、と思ったんだが、眠くて起きられなかった。明日以降見る。寝床のある部屋の電気が突如消えてしまい、今度はこっちか、と思ったが、リモコンを操作したらまだ点いた。どうやらオフタイマーか何かを設定しただけのようだ。よかった。「サンデースポーツ」が始まったが、まだ起きられなかった。相撲の結果を放送しているのが聞こえてきた。大関は3人とも勝ったようだ。横綱は休場。寝る前にダイジェストを録画予約しないと。

さて、明日も目茶目茶寒いようだ。雨も降るようだし、嫌だな。一気に冬に成った感じ。風邪をひかないよう気を付けないといけないね。そろそろ風呂暖房を入れないとシャワーを浴びられないシーズンに成ってきた。まあそれでも最高気温は15度くらいだし、最低気温も9度くらいだから、大したことないと言えば大したことない。冬本番の京都、滋賀はこんなものではないので。職場を離れる時間が遅くなると、車の窓が凍り付いていることもあるし、確かこの前の冬だが、車に付いてる前方、後方の様子を確認するカメラが霜で使用不能、というメッセージが出たことがあった。そんなシーズンが来るかと思うと、物理的な意味でなくぞっとする。講義とか入試とかが雪で出来ない、みたいなことだけは勘弁願いたい。

久々の5連勤を無事乗り切った

昨日書いた通り、今日は1時間遅く行ける筈だったのに、8時前に目が覚めてしまった。まあ大して眠くないしいいか、と起きてテレビを付けたら、まだ「おはよう朝日です」がやってた。損した気分。で時間がたっぷりあるので、この前やった Tigers の日本一特番を録画しておいたので見た。中々2時間半とか3時間とかテレビの前に座っていられる時間は無い。いや、野球の試合は見るんだが。で見て、11時過ぎに職場へ向かう。

いつもは講義前か後に弁当を買って個研室で掻っ込むのだが、ちょっと時間があるので、それはやめた。まああまり遠くに行くと職場に行くのが嫌に成るので、ちゃんぽん亭で済ませた。暑くなくなってくると拉麺の類を食べたくなるね。

1時から「代数学II」。今日は単純拡大が正規拡大かどうか見るには原始元の共役元だけ見ればよい、という定理を紹介して、幾つか正規拡大である例とか正規拡大でない例を挙げる。その後最小分解体を定義して、正規拡大の例を更に挙げて、K⊂M⊂L で L/K が正規拡大なら L/M も正規拡大であるという定理を紹介。M/K が正規に成らない例とか、L/M, M/K が共に正規でも L/K が正規と限らない例とか。で正規拡大の節は終了。重かったと思うわ。よく復習しといて、と言ってから、標数を定義して、標数0なら Q と同型な部分体、標数 p>0 なら Z/pZ と同型な体を含むとかやったあたりで時間。「素体」という言葉はあえて出さなかった。

で今日は学生がちょっと話を聞きたいと言っていたので個研室で待っていたが、中々来ない。まあちょっと用足しに、と思って部屋を出たら、院生がいて、来ると言ってた学生がエレベーターの前で待ってる、と言ってた。何だ、と思って呼びに行き、色々話す。整数論とはどんなものか知りたかったようで、色々話して煙に巻いた。こういう時の為にも色々な研究集会に出席したりして情報を入れておかないといけないのだが。でいつもの土曜日と同じで、最終的には「これ余談なんですけど…」状態に成って、丸一コマ分以上話した。熱心なようでいいことだ。西園寺奨学金を貰えることに成ったらしく、張り切っているのだろう。講義は1時間半立ちっ放しだったし、学生と喋ってる間も立ちっ放し。結構疲れた。

その後、年末調整関係の書類を印刷して、提出しに。去年までは封筒に手続き方法などが書かれた紙と提出用の封筒が一緒に入ったのが届いていたんだが、今年からはどこぞに提出しないといけないようなことが書いてあり、7階の事務室ではないのか？と思って聞いたら、キャノピーの1階で、と言われた。キャノピーは知ってる。何度か行ったことある。大して遠くないのだが、雨が降ってるので鬱陶しかったが、まあ早く済ますに越したことはないので、出しに行った。用事一つ終了。まあよかった。

で帰ろうかと思ったんだが、ちょっと気に成ったことがあったので、証明しよう、ということになり始める。いや、大したことではなく、n＝2, 3 の場合くらいで計算して勘所は分かっていたので、それで納得してもいいのだが、小生こういうのはちゃんと書き下さないと気が済まない方。ということで一般の n に大して証明したくて始めた。n に関する帰納法かな？という気がしたが、上手くいきそうにない。で閃いた。f(x)g(x) を n 階微分する時に使う「ライプニッツルール」という奴を使えばいいな、と。でそれの正確な主張を忘れたので、荒井先生の本を引っ張り出してきて、やって見る。たまたま開いた本のページに誤植がある、といういつもの奴。まあ今日のはすぐわかった。n 階微分が y⁽ⁿ⁾ でなく yⁿ に成っている程度なので。でグダグダと数時間計算。うまくいくまで随分掛かった。計算力が落ちてるのは毎度のこと。まあ示せたのでよかった。来年「数学展望」で話す時はもう少し自信を持って喋れる。昨日の晩別のことが気に成ったのだが、そっちはまた後でやることにして、9時前に職場を後にする。

前に松屋と松のやが一緒に成っている店でカツカレーが提供されるのを見たが、この前松屋の券売機で買おうとしたらそんなものは無かった。で今日は松のやの券売機を見たらあった。で頼んでみた。松屋のカレーに松のやのカツが乗ったもので、まあ普通のカツカレーだった。ココ壱で食べるより安かったので、まあいいか。

10時過ぎに帰ってきて、先週の「座王」を見た。途中で審査委員長のフジモンが退場で、竹上アナが審査委員長に成るという、前代未聞の展開。CS で「座王」の初期のがやってたが、それを見ると、コロナ前だからかジュニアと審査委員長と竹上アナの距離が近く、ジュニアの前のマイクが竹上アナの声をよく拾っていたが、距離が離れてアクリル板が挟まったりして、竹上アナは何故いる？という感じで、特に進行をしているわけでもないし。まあ現場では色々やってるのかもしれないが、放送上は全く意味不明な存在だったが、先週はよかったね、という感じだった。面白かったのでよかったが。でさっき今晩の分の録画予約をセットした。また来週の金曜日に見るのでしょう。

さて、5日連続出勤という久々のことを無事乗り越えました。 ちょっと呑みたい気分だが、明日は昼くらいに四条烏丸でちょっと用事がある。呑むわけにはいかないな。明日の夜まで我慢だ。多分いつもの「ふなごや」は Tigers 日本一話で盛り上がるだろう。優勝フェアで割り引いてくれないか、という気もするが、恐らく小生が店長に1、2杯おごることに成るだろう。楽しければいいけどね。しつこいが、来年は是非 Baystars が優勝を。

今年度の「数学展望」の出番は終了

今日は2時40分からゼミ。早目に行って飯を食べて、と考えていたが、起きたら結構遅かった。1回生の前に顔を出さないといけないから、寝癖ボーボーというわけにはいかんだろう、ということで、ざっとシャワーを浴びてから出掛けた。ゼミの前にパンを一個買って、コーヒーで流し込んだ。

2時40分から整数論のゼミ。今日は2次体のことを色々。色んな学生がQ(√(c²m)＝Q(√m)であることを示すのを「Q(√(c²m))＝Q(c√m)＝Q(√m)」とかやって流そうとするが、これはダメ。これで通用するんなら、Z[√8]＝Z[√2] になってしまう。この二つの環は同型ですらない。今日はちゃんと元を取ってきて、とやっていた。素晴らしい。今度学生が超越的なことをやろうとしたら、しっかり突っ込もう。ただ一つ、くどかったのが、N_K/Q(z)＝zz'＝a²－mb²（z＝a+b√m、a,b は有理数）と定義して、N_K/Q(z₁z₂)＝N_K/Q(z₁)N_K/Q(z₂) を示すのは (z₁z₂)(z₁'z₂')＝(z₁z₁')(z₂z₂') とやればすぐなのだが、上の様に有理数を使って書いて、z_1z_2＝(ac＋bdm)＋(ad＋bc)√m)＝… とやろうとする。高校生は複素数の絶対値が |z_1z_2|＝|z_1||z_2| を満たすのをどうやって示すんだろう？ちょっと後で高校の教科書を見てみよう。

4時20分から「数学展望」の2回目。今日は楕円曲線の入門的な話。加法を定義したりとか、Q 上定義されている時は有理点の全体 E(Q) が部分群に成るとか、E(Q) が有限生成であるとか、階数と解析的階数（L 関数の s＝1 での零点の位数）が等しいという予想があるとか。でフェルマー予想や合同数問題が楕円曲線と関連するとか。バーッと喋りまくって、早目に終了。院生が TA でついてくれているのだが、2週間とも何も頼まなかった。まあ給料は貰えるだろうし、いいでしょう。それと1回生の話し相手に成ってくれているようだし。TA は数学学修相談会で質問が来てもいいように聞いているという面もあるようだが、学修相談会ではレポートの答えは教えないんでは？と思ったが。まあいいけど。先週の分の締め切りが昨日だったので、後で採点しよう。

先週同様はま寿司で晩飯を食べることにしたが、先週は正門を出てまっすぐ下ろうとして渋滞にあったので、今日は右折してかがやき通りを通って行くことにした。多少混んでたが、先週よりましだった。6時15分くらいには入店出来た。例によって1400円くらい食べた。行きに見たらかがやき通りを駅から飛島グリーンヒル（大学の近所の住宅街）へ向かう車が多かったので、帰りは正門にまっすぐ向かう道（要するに下ってこなかった方の道）を登って高速道路へ。合流の所で急に車線を変えた車がいて焦った。車線変更はちゃんとウィンカーを出してからしましょう。渋滞情報が出ていたが、60km/h は出せたので、大したことなかった。

帰ってきて昨日の「笑わない数学」を見た。超越数の話。学生に超越数の勉強をしてもらっているので、色々知ってきたので面白かった。超越数であることを示すのって、上からの評価と下からの評価を出して、パラメーターを大きくすると矛盾、みたいな証明が多いが、e や π の超越性も同様、という話をしていた。それと0と1の間に整数が出来て矛盾、みたいな証明もあるな。超越数に入るためのイントロダクションとして作図問題の話をしていたが、n∈N の作図はすぐ出来て、じゃあ a が作図で来ていたとして √a は作図出来る？というのは小生の講義に出続ければしてあげるよ、と思った。さあ、明日の「代数学II」は何人出席するでしょう？

明日は12時からゼミの予定だったが、ちょっと勉強が出来ていないので、無しにして欲しい、というメールが来ていた。来年度から別の大学の大学院に進学することに成っているが、もうオンラインでセミナーをしているらしく、そちらが大変らしい。熱心な先生で頭が下がる。まあそちらを優先した方がいいだろうから、小生の相手は程々でいいです。ということで明日は1時間くらい余分に寝られることに成った。よかった。「代数学II」の後に3回生が卒研のことを聞きたいと言ってきているので、話すことにしたが、講義に使っている部屋は小生のコマの後に講義があるようなので、個研室か、もしくは7階の空いている部屋どこかを使って話をする予定。どうやら一人以上来てくれそうなので、まあよかった。

今朝（昼過ぎていたが）起きられなかったのは、昨日うっかり Twitter（新しい変な名前は使いたくないので、小生は今後も Twitter と言い続ける）を見てしまったため。東北大が将来的には全受験生をAO入試で入れる、というのが話題に成ってた。将来の話なのに、結構熱くなっている人がいた。それと、AO入試って言っても、面接だけではないようだし、まあどうなるかは分からない。それでも沢山返信している人がいたので、途中で見るのをやめた。その後同業者が嘆いていたことを見付けた。x∈Cⁿ が n 次の正方行列 A の固有ベクトルであることを示せ、と言われて Ax を計算するのは優秀層だそうだ。大体固有方程式を計算して、固有値、固有ベクトルを求めて、求まったものの中にさっきの x がある、という解答が多いとか。定義を確かめる、という習慣を付けずに数学をやってきた、ということだろう。それに対する返信として、多項式 f(x) を与えて、t が f(x) の根であることを示すのに f(t)＝0 を示さない人が多い、と書いていた。f(x) が2次多項式だったら、解の公式で解を求めて、それに与えられた t があるから、みたいな解答が一定数あるそうだ。f(x) が4次や5次ならまあそういうことはしないらしいが。来年度は久々に1回生相手に線形代数を教えることに成ってる。気を付けよう。例年やっている講義通り、例は大量に出そう。

会議3本タテで、最後の会議は4時半から9時まで

昨日書いた通り、今日は用事が目白押し。10時40分から特任助教の先生と Zoom で面談。１年契約で最大4回延長可能、という条件で雇っていて、更新して大丈夫か、ということを確認して事務に書類を出すため。ちゃんとした人なので問題は無かった。書類には多少不備があったが、確認して直す。生年月日が書いてあったが、小生より20年若い。それくらいの歳でこんな契約しか出来ないのはかわいそう。小生はいい時に産まれたな、と毎回思う。

11時ちょいに成っていた。朝飯を食べていないので、Uber Eats に昼飯を頼む。マクドナルドでよかろう、ということにして、期間限定のものを頼んだ。マクドナルドのハンバーガーを食べると必ず腹が痛くなる。今日もご多分に漏れずで、しばし悶絶。頼まなきゃいいのに、と毎回思う。

1時から高校生と面談。シャワーを浴びてスッキリして臨もう、と思ったのだが、腹痛のせいで時間が無くなってしまった。髭だけは剃っておいた。で高校生は何に興味があるのか、と思ったら、数学者は何に興味を覚えて研究をしているのか、ということのようで、もうちょっと言うと、研究したことがどんなことに使われるのか興味を持って研究している、と思っていたようだ。いや、研究は興味があるからやってて、必ずしも応用には興味は無い、ということを言ったが、どう思ったろうか？実際楕円曲線が暗号に使われると思って研究していた人はいないだろう。まあそれで冷たく話は終了、というわけにはいかないので、色々話したが。20世紀の数学は、「抽象化」がキーワードだと思ったが、群の非自明な例や環の非自明な例を出そうにも、高校で行列を習っていないので、難しい。そこでちょっと閃いた。1次関数と微分するいうのがどちらも線形である、ということ。これを話したらちょっと面白そうに思ってくれたようだ。まあよかった1時間くらい話して終了。

その後ウダウダと3時過ぎまで住処にいて、4時半からの会議に向けて出発。昨日書いた通り年末調整のことを片付けたいので。で事務に電話して、ちょちょっとやって、としているうちに4時20分。そろそろ会議の準備をしないと。その前にパンとコーヒーを買って、腹ごしらえをしておく。今日の会議は長そうなので。

で会議開始。小生が持ち込んだ話は結構短時間で大体片付いた。A 堀先生が過去の情報を持っているので、それと比較しいしい。また同じ人が忙しく成ってしまった。もっとうちにスタッフを下さい。でW先生が持ち込んだ話は、案の定大変。あと1ヶ月くらいでこんな難しいこと（何かは書かないが）が片付くわけはなく、色々大激論。まあこういうのにちゃんと議論をするのは数理科学科の偉い所。数学の人は全般にそうかな？色々綱引きがあって、9時過ぎまで掛かってしまった。A堀先生はそれから幾つかゼミをやると言ってた。A堀先生とO先生は鉄人だな。今日の議論はW先生がまとめてどうにかする、と成ったがW先生は有能なため、皺が寄りまくってる。学部執行部の経験もあるし。早く教授に成って学科の未来を担いたい所。頑張ってください。

会議の途中にW先生が書類を取りに個研室に一旦戻って、A堀先生もちょっと抜けたので、少しその場にいる同僚と雑談をしたが、N先生曰く、小生がよく講義中に学生の悪口を言ってて、小生のことを怖いと言ってる、とのこと。うん、まあ、別に今年に始まったことではなく、毎年言ってるのだが。学科長のストレスとかそういうのではなく、教育的配慮のもと言っているのだが。例えば昔、線形代数の演習で「A,B∈M_m,n(R) が Ax＝Bx, ∀x∈Rⁿ を満たせば、A＝B」というのを示す問題を出したことがあったが、「x で割る」という解答があって、それに対して「割るって何？」と聞き返した。で体の話をするたびに言ってる。その時つい「こういうことやる奴は全科目単位返上な」的なことを言った気がするが、それだろう。この答案を見た数年後に、やはり線形代数の演習で、「(－1)x＝－x をきちんと証明せよ」という問題を出したが、大半の学生は何を示せばいいか分からなかったようだ。数理科学科に入ったんだ。こういうことは分かって卒業しないと。こういうこと理解しないで教員に成ってはいけない、ということを言ったような気がするが、その通りだ。どんどん思い出してきた。「a^m＝aⁿ ⇒ m＝n」を、a が有限群の元なのにやった学生もいたし、群の元の2分の1乗を何の躊躇いもなくやった学生もいたな。こういう状態で教員に成っては本当にまずいのだが、実際に結構いるだろう。こういう人に反省を促すために色々言うのだが、ただの悪口にしか聞こえていないようだ。気を付けよう。このページをご覧の方はご存知だと思うが、週1回大悪口大会に成ってる。程々にしよう。

吉野家で親子丼を食べよう、と思って狼川の吉野家へ行ったが、もう親子丼は無かった。味が濃くておいしかったが、残念。代わりに牛すき鍋膳が始まっていたが、まだ食べるには陽気が暖かすぎる。仕方ないので唐揚げ定食を食べてきた。考えてみれば吉野家で唐揚げを食べたことはなかったな。大きくて生姜が効いてて、美味しかった。今度も頼もう。「ご飯は大盛りでなくてよろしいですか？」と店員に聞かれたが、大食いに見えるようだ。まあこの体形では仕方ない。間食すら滅多にしないのだがな。今日は例外。

さて、明日は2時40分からのゼミと、「数学展望」の為に職場に行く。天気はいいようだ。3日続けてノートパソコンを持っていかないといけない。外付けの Blu-ray ドライブを買って、再生用のソフトを有料で買っているので、もっと出張して、移動中に「相棒」を一生懸命見ないといけないのだが、このままでは今年度も一回も出張しないで終わりそうだ。ノートパソコンは会議と「数学展望」用に成ってる。まあいいけど。あ、ノートパソコンは大学のお金で買ってもらったが、外付けのドライブと再生ソフトは私費で買ってます。念のため。生協で Blu-ray のディスクを時々買うが、レジに持っていくとまず間違いなく「校費で？」と聞かれる。まあ「笑わない数学」を保存しておくのだから校費でいいような気もするが、大河ドラマや「相棒」も録画しておくので、当然私費。校費で買う人もいるだろう。まあ実験成果を録画しておいたりするだろうから、校費でもいいのかな。知らんけど。

卒研ガイダンスのため職場へ行った

USB メモリーは無くても、紙と鉛筆があれば、というわけで昨晩はちょっと考え始めてしまった。線形代数の簡単なことなのだが、何か変だな、ということで、結局「テレビ千鳥」が終わるまで起きていてしまった。で今朝は5時とか9時半とか何度も目が覚めて、最終的に起きたのは11時過ぎ。起きて急いで出掛ける。昨晩のうちにシャワーを浴びて髭を剃っておいて正解だった。

で11時40分くらに職場に着いて、弁当を買って個研室で掻っ込む。12時ちょいに卒研ガイダンスの行われる C202 教室を目指して出発。Zoom で参加してる同僚も学生も結構いたので、わざわざ職場に行かなくてもよかったな。まあいいけど。1時から会議があるので、早目に順番を回してもらう。何人か聞けば色々思い出してくるんだが、最初の方だったので、言い忘れたことが多かった。初等整数論にはガロア理論はいらないよ、と言い忘れた。来年度は今後の人事次第だが、代数系の教員が希薄に成るので、代数幾何の初歩くらいならやってもよいが、大学院での指導はしかねる、ということを言うのに頭がいっぱいだった。まあいいです。

1時から学科長会議。職場のパソコンにもカメラとマイクは付けてあるが、置き場所が定まらないので、発言したくなったとき困る、というわけでノートパソコンを持っていった。で会議の資料にちょっと変な所を見付けたので突っ込んだら、小生の勘違いであって、恥をかいた。まあいいです。でもう一回発言する機会があったので、久々に顔出しをした。で何だかんだで1時間くらいやったろうか。大学はもう来年度のことを決める時期に成り始め、新執行部が早くも紹介されていた。F本先生は3年続いた副学部長をようやく抜け出せるようでよかった。来年度からは学科の為に働いてください。

その後個研室で色々。晩に気に成った線形代数のことを色々手直しして TeX 化したら、数ページ前に同じ問題が載っていた。去年も考えたらしい。まあ去年よりうまい解答が付けられていたので、進歩したかな、ということでホッとする。一応去年の解答も別解として残しておく。それからも色々ゴソゴソと。8時半過ぎには職場を後にした。

ちゃんぽん亭で豚肉たっぷりのちゃんぽんを食べて、下道を通って帰宅。9時半過ぎに帰ってきて、一昨日の大河ドラマを見て、その後ダビング。「報道ステーション」を見ながら適当に過ごしている。明日はちょっと忙しいので、適当に気を抜いておかないと。10時40分から特任助教の先生とちょっと面談し、1時から高校生とちょっと。何やら「総合的な探求の時間」という授業があって、それで何やら整数論のことを知りたくなったらしい。守山高校、と成っていたからうちの付属かと思い込んでいたのだが、よく見ると滋賀県立守山高校。そうだったのか。付属高校だったら受験の心配が無いからこういう授業をやってるんだ、とばっかり思ってた。まあまだ2年生だからいいのかな。個研室でゴソゴソやっていたのはこの一環。高校の数学Aの教科書を見たら、約数とか倍数とか最小公倍数とか最大公約数とか出てるんだが、全て正の整数に限定していた。「最小」とか「最大」とか付いてると負の数が使いづらいのは分かるが、(a,b)＝(－a,b)＝(a,－b)＝(－a,－b)（イデアルとしての等式）だからね。一般の環に拡張するには負の数も許してもらわないと。いいけど。でその後夕刻から会議もある。明日は本当に忙しいな。水曜日にあまり会議をやってないので、火曜日は呑んだくれる日だったのだが。今週は土曜日もちょっと私用があるので、金曜の晩も呑めない。まあ土曜日にまたいつもの店に行けばいいか。あ、何やら年末調整関係の手続きをせよ、というメールが来てたな。明日は会議ギリギリに行こうかと思っていたんだが、ちょっと早目に行ってそれを済ませてしまおう。去年も何だかよく分からなくて事務に電話しながらやったな。事務の人がいる時間と成ると、あまり遅く行くわけにはいかない。まあ程々に行こう。

火曜日の晩は「相席食堂」があって、その後何となく「ロンドンハーツ」とか「証言者バラエティアンタウォッチマン」とか見てしまう。まあ1時半くらいには寝られるし、明日の用事は上に書いた通り10時40分からなので、大丈夫でしょう。ということでもう少しゴソゴソとやります。

第二補充法則のことを講義で詳しく話すも、ゼミの時に無駄だったことがわかる

昨日は医療ドラマが終わったら寝るつもりだったのだが、「三成と家康のスマホ」とか謎の番組が始まり、つい見てしまい、その後 NHK でも Tigers の優勝特番が始まってしまった。最後まで見ると3時過ぎに成りそうなので、ビールかけが終わったら寝た。2時くらい。

で今朝は10時半のアラームでも11時半のアラームでも起きられず、最終的に起きたのは12時過ぎ。シャワーを浴びる時間が無いので、寝癖ボーボーのまま出掛ける。

1時から「数理科学特論2」。今日はルジャンドル記号の簡単な性質と、オイラーの規準、第1補充法則、第2補充法則など。第一補充法則は (－1/p)＝(－1)^(p-1)/2 と覚えておいてもそんなに問題は無いが、第二補充法則をそのまま覚えておくと、p² を計算しないといけないので大変。というこで、ちゃんと (2/p)＝1 ⇔ p≡1,7 (mod 8) の形で覚えておこう、と言っておく。これが後程無駄であったことが判明するのだが。で相互法則の主張を書いて、計算例を幾つか。それからガウス和を定義し、ガウス和の2乗は簡単に求まる、と証明して、真の値（まあ符号のことだが）を決定するのにあのガウスが4年掛かってる、ということを言っておく。学生の頃って1日2日分からないと諦めたりするが、その程度の時間が大ごとで無いことは、限られた時間で点数を取ることを至上主義で勉強してきた学生には分からないだろう。Wiles は7年掛けたんだよ。

今日は午後から雨風共に強く成る、と言っていて、講義が終わった時は雨が降り出していた。ちゃんと傘を持っていったので問題無し。ただ、傘をさして鞄を持って、生協で買った弁当を持って、と成ると鬱陶しかった。講義のある日は雨が降らないで欲しい。で部屋で弁当を食べて、事務に受け取りに行かないといけないものがあって、随分忘れていたので、取りに行った。事務の人も忙しいらしく、リマインドメールを出すのを忘れていたらしい。まあよかった。とある先生にそのうちの一部を渡さないといけないが、明日は確実に来ているだろうから、明日渡すことにして、講義ノートを直して web に上げる作業などをゴソゴソと。

4時20分からゼミ。虚二次体 K＝Q(√－m)（m>0 は squre-frere） が類数1 ⇔ m＝1, 2, 3, 7, 11, 19, 43, 67, 163 くらいは覚えてる、と言いたかったが、今は随分間違えた。えーと、今日は m がこの9つの時類数1であることを証明する問題から。相変わらず色々理解が怪しい。類似の議論が続くので、同様、で済ませたい気分だが、相変わらず理解が怪しいので、突っ込みまくる。イデアルのノルムも代数体 K の元の Q へのノルムもどちらも N で書いてあるが、前者は N_K、後者は N_K/Q ときちんと書かせた。いや、解答に N って書いてあるからそう書く、では勿論駄目で、N って何？って思って考えないと。あと α｜β を代数体の整数環の元 α,β についてだったり、有理整数 α,β だったりを区別しないで書いてるが、突っ込んでみたら案の定分かってない。α が K の整数環の元の時、N_K/Q(α) が有理整数だ、というのすら分かっていなかった。あと (α) を K の整数環のイデアルでも Z のイデアルでも書いてるが、こういうのも区別しながら読まないと。それと、第二補充法則を使う所があったんだが、上に書いた通り p² とか計算し始める。講義聞いてなかったか？部屋にいたのは確認したが、内職でもしていたのだろう。とにかく全く進歩無し。今の所一人を除いて全員不合格にしたい気分。まあそうはいかないので、どうにかしちゃうんだろうが。でやっとのさで終わって、最後にミンコフスキーの定理により判別式の下界が与えられる話とか、有理数体以外の代数体の判別式の絶対値が1より大きいとか、大事な話が書いてないので、話しておいた。前者を使って整数環の決定が出来る例など、知っていると理解が深まっていいでしょう。藤崎先生の代数的整数論の本に整数底（integral basis のことね）を計算する例が沢山出ているので、読んで欲しい所だが。

その後ちょっと部屋でゴソゴソと計算したりなど。9時くらいに職場を出た。脅されたほど天気は悪くなく、雨は上がっていて、風も無かった。和食さとで牡蠣フライに海老フライ1本を追加で頼んで、ご飯を松茸ご飯にしたりと、随分贅沢してきた。下道で帰って、ちょっと節約。10時過ぎに住処着。

明日は昼休みに卒研ガイダンスがあり、職場に行かないといけない。いつものように12時55分起き、と出来ないので、今日はちょっと早寝しないと。今朝の様にギリギリに起きた場合のことも考慮して、髭を剃ってシャワーを浴びておこう。今日は暑かったので、講義で随分汗をかいた。二日続くと嫌なので、「過ぎるTV」は見ないでシャワーにする。明日は資源ゴミの日かと思ったら、来週のようなので、今から分別作業はしなくて済む。ちゃんと寝て、ちゃんと起きよう。USB メモリーを鞄から出すと、色々やりたくなってしまいそうでよくないので、今日は作業はしないことにしよう。

Tigers 38年振り2度目の日本一

昨日は呑み屋に着いた瞬間に「残念でした」と言うことから始まった。で暫く野球の話をしていたが、店長とバイトの人は悔しいのか、あまり野球の話は続かず、何故か自動車教習所話に。お二人は小生より若いが、小生が免許をとる10年前に免許を取っていて、免許を取るまでのプロセスが色々違っていて、面白かった。で帰り際にまた野球の話に戻った。「今晩は勝ちますよ！」と怪気炎を上げていたが、さてどうなる？

で帰ってきて即ダウン。大分寝不足だったので。でそのまま結構長時間寝た。夢を何度か見たが、幾何をやっている同僚が二人出てきたり、何故か小生の生まれた家で外国人と数学の議論をして、小生が昔書いた論文に間違いがあるぞ、というロクでもない夢だったり。寝心地はいいとは言えなかった。

で起きてスマホを見たら、日本シリーズをフジテレビ系で放送する、と成っていた。昨日呑み屋で見た時は、CS のフジテレビ1でしか放送しないと成っていたが。やはり視聴率の稼げる番組は放送したいということだろうか、急遽決めたのだろう。「サザエさん」を休止してまで放送する、というのは相当な覚悟だと思う。

で野球の始まる前に Uber Eats に夕食を頼む。何しろ朝も昼も食べてないから、相当腹が減ってる。買い置きはカップ飯が1つだけで、これではとても晩飯に成らないので。で疲れている時は王将の「ニンニク激増し餃子」と「キムチ炒飯」だ、ということで頼む。スマホで逐一見ていたが、中々配達する人が付かず、やっと決まったと思ったらすぐ消えて、また別の人が配達員に成って。であと2分で到着、と成ってから全然来ない。スマホを見たら「配達済み」と成ってる。どこに届けたんだ？もう。仕方ないのでもう一度頼んだ。今度は大丈夫で、当初の予定より10分くらい早く届いた。

でもう野球は始まっていた。先発が Buffaloes 宮城、Tigers 青柳。宮城はポストシーズンここまで無失点。青柳はシーズン中はイマイチで、最後の方はかなり不安定で、CS では登板が無かった。これは俄然 Buffaloes 有利だろう、と思って見ていたが、3回まで両投手とも好投。これはどうなる？と思ったら、まさかまさか、3回表にノイジーが3ランホームランを打った。5回表は中野のショートゴロがダブルプレーでチェンジの判定も、リクエストで覆った。ビデオを見る限り余裕でセーフだった。チェンジの筈がランナーが残ってしまい、宮城はそこで降板。代わった比嘉が森下、大山、ノイジーに3連続タイムリーを打たれてしまい、6－0。もう流石に決まりだろう。が Buffaloes は小木田、宇田川、山崎颯一郎と必死の継投。Tigers は伊藤将司が3イニング無失点。9回は東。が、森下にタイムリーヒットを打たれ、決定的。日本シリーズ7打点で、これはルーキー記録とか。9回裏は当然岩崎だろうと思ったら、桐敷がマウンドへ。紅林がヒットを打つも、森が併殺打。ここで岩崎が登板。頓宮が意地を見せて、特大のホームラン。3号。ゴンザレスもヒットを打ち、まだまだというところを見せたが、杉本がレフトフライでゲームセット。Tigers が38年振り、2度目の日本一。日本一と言わないのでは？と言われそうだが、今年はリーグ優勝のチーム同士だったので、日本一でいいでしょう。いやー、凄かった。小生 Buffaloes 推しなのだが、関西の盛り上がりを考えると、Tigers でよかった。今年は最初から「アレ」で盛り上がり、パインアメが空前の売り上げを記録するとか、異常だった。まあよかった。MVP は .483 と驚異の打率を残した近本。2試合連続ホームランのノイジーでも7打点の森下でもいいような気がしたが。まあ二人は優秀選手賞を貰ったので、いいでしょう。Buffaloes からは山本が優秀選手賞で、.400 を打った紅林が敢闘選手賞。頓宮が何も表彰されなかったのは残念だが、まあシーズンで首位打者を獲ったし、年俸大幅アップだから100万円くらい惜しくはないかな。明日から野球が無いのか。まあ平和でいいや。来年は是非 Baystars に。

「プロ野球ニュース」が11時からやるので見たいところだが、NHK でやる医療ドラマが気に成るので、「プロ野球ニュース」は録画しておく。関西のテレビ局はこれから特番かもしれないが、まだ疲れが抜けきってないし、明日は講義と3時間のゼミ。早目に寝ておかないと。12時過ぎには寝ることにしよう。

で今見たら、ABC（6チャンネル）は11時から特番のようだ。「プロ野球ニュース」は明日の朝再放送があるからそっちを録画し、ABC の特番も録画しておこう。お前はいつから Tigers ファンに成った？と言われそうだが、まあ関西にいれば洗脳されますよ。ということで明日は忙しいな。いや、前にも書いたが、今週は月曜から金曜まで毎日職場に行かないといけないので、大変忙しいのだ。録画したものを見るのはいつになるでしょう？

山本由伸が14奪三振（日本シリーズ新記録）で完投勝ち。3勝3敗のタイに。

結局昨晩は水曜日にやった「ミラクル9」を見たりとかで、相当遅くまで起きていた。「ミラクル9」は昭和がお題で、面白かった。新宿に「6年4組」だかそんな呑み屋があるのを紹介していたが、面白そうだ。そのうち行く。懐かし商品は知らないものが多かったが、昔のアイロンとか知ってた。

で今日はウダウダと代数の演習問題を考えたり、「代数学II」の単位認定レポートを考えたり。問題を幾つか水増ししたおかげで、self-contained に成ったので、いいかと。他にも学科長の仕事で色々思い出して確認したり。同僚からメールが来ていたが、水曜日に学科会議を開催してくれ、と言われてしまった。火曜日は卒研ガイダンスで職場に行かないといけないし、水曜日もとなると、来週は月曜から金曜まで毎日職場に行く必要があるな。折角水曜日の用事2件をオンラインにしたのに、意味が無かったな。まあいいや。

で6時半から日本シリーズ。Tigers が2回表にノイジーのソロホームランで先制したが、すぐ2回裏に若月のタイムリーヒット、中川の犠牲フライでひっくり返される。5回裏に紅林が2ランホームラン、8回裏に頓宮がソロホームランで5－1。今9回表の Tigers の攻撃中だが、山本由伸に付け入る隙が無く、ここまで14奪三振と、日本シリーズ記録を更新。2アウトでバッター近本、と書こうと思ったそばからセカンドゴロに打ち取られて、山本由伸が完投勝ち。決着は明日。呑み屋で店長とバイトの人と喜び合おうと思っていたんだが。お前はどっちのファンだって？うん、まあそうなのだが。わいわい楽しくやりながら呑むのもいいからね。月曜日は仕事なので明日は呑まない。ということでどっちが優勝してもいいや。

とうことで呑んできます。

祝日の「代数学II」はいつもより出席人数が少ない（片手で足りるくらい）

昨晩は色々 TeX 化して、さ、寝るぞ、とコンピューターの電源を落としたが、紙にバツ印を付けた所を一箇所、まだ TeX 化してないぞ！と気付いて、もう一度電源を入れた。でやり始めたら、何書いてるか分からん！ということでしばし時間を使ってしまった。で寝るのがちょっと遅くなった。

で今日は12時までに職場に行ってゼミ、という筈だったが、目が覚めたら11時38分。ガーン。遅れる旨メールを書き、急いで出発。が、ツイてない時はこんなもの。路地から三条通に右折で出たい車の後ろに付けてしまい、タイムロス。更に京都東インターが近付くと、「京都－大津 渋滞1km 5分」の表示。これ大体料金所に入る前まで車列がはみ出しているんだが、今日もそう。もう。でちょっと掛かってから名神に合流出来たが、予告通り渋滞。で流れ始めたか、と思ったら、何やら前の車が急いで車線変更している。その前の車がハザードランプを光らせてスロー運転。車の故障か、それとも運転手が不調を訴えているのか、何にしても心配。で追い越し車線に出て抜く。大津サービスエリアに入りたい人が沢山いるのか、車列が出来ていたが、本線にははみ出していなかった。その後は順調。今日は祝日なので440円。職場は事務職の人が沢山休んでいるので、いつも停められないような所に停められた。で12時25分頃ようやくゼミ室へ。30分くらいしか出来なかった。来週はちゃんとやります、はい。

で1時から「代数学II」。いつも真剣にノートを取ってた学生がいなかった。まあ他に一人真面目に聞いている学生はいる（ノートは取ってない）し、後ろの方に座っている学生は黒板をスマホで撮っていた。まあ聞いている人が一人でもいたらやります。今日は代数的閉包を定義して、存在と一意性を主張のみ紹介。もちろん K 同型とか定義したわけだが。その後正規拡大。Q(2^1/3)/Q が正規拡大でないこと、[L：K]＝2 なら L/K が正規拡大とか証明して、幾つか正規拡大であることと同値な条件を示して、(K の代数的閉包)/K が正規拡大とか。単純拡大の場合は正規性の判定は原始元だけ見れば分かる、という定理を書いた辺りで時間。来週はその定理を証明して、最小分解体とか。

今日は暑い。半袖で学内を歩いている人がいた。個研室に戻ったら暑く、冷房の電源を入れた。日本で3分の1くらいの所が11月の最高気温を記録したとか。三浦市で河津桜が咲いているそうだ。妙な陽気だ。表で弁当を買って、珍しく温かいものを食べた。その後講義ノートをちょっと直して、web に上げて、演習問題を web に上げて。1問来週やる所を使わないといけないものがあったが、まあいいか、と上げておく。上げても誰も解かないだろうけど。

野球は無い日は平和だ。少し職場で作業をしようかと思ったんだが、祝日だし早目に帰ろう、ということにして、5時半前に職場を出る。帰宅ラッシュが無いから高速道路は混んでないだろう、と思ったが、そうでもなかった。瀬田東JCT から京都東インターまで渋滞、の表示。まあそんなでもなかった。京都東インターが近付いたら、京都南インターまで渋滞、の表示。まあよかった。三条通の混雑はいつもほどではなかった。

普段テレビ番組を録画する時はハードディスク付きのケーブルテレビのチューナーにしているが、テレビに直に繋いでるハードディスクもある。そっちは最近「座王」しか録ってない。ケーブルテレビのチューナーの方は、番組の終わるちょっと前に録画が終了してしまい、「座王」の終わりの方がちょっとだけ録れないので、そっちに録画している。で録ったものを全部見る程暇でも無いので、結構一杯で、金曜日に「座王」の先週分を見て、その日の分を録画して、また1週間後に見て、という繰り返し。野球があると結構ギリギリに見なくちゃいけないのだが、今日は野球が無いので。で先週の分を見て消して、録画して、とテレビに切り替えたら、「かりそめ天国」がまだやってた。2時間スペシャルなのかな。マツコと有吉と久保田アナが「帯番組やるか？」、「いや、無理」みたいな話をしていた。毎日決まった時間に出勤する、というのは大変だろう。ましてや「おはよう朝日です」とかやってたら、深夜2時にテレビ局に入らないといけないそうだ。こっちはまだ寝ていないことが多い。週5日決まった時間に通勤する、というのをやらないで済むのが我々の仕事のいい所。後輩が前いた大学は、何やらタイムカードに勤怠の記録を付けないといけないと言っていたが、某先輩が「そんなことしないで済むから、この仕事やってるようなもんなのに」と言っていたが、その通りだ。国立大学は出勤簿にハンコを押さないといけないらしいのだが、こっちに来た年の副学部長が「そういう意味の無いことはありませんから」と言っていたので、ほっとしたのを覚えている。まあ国立大学でもまとめて数日分ハンコを押してもいいらしいのだが。えーと、あ、「かりそめ天国」の話。金曜日は野球を見るのが普通なので、久し振りに見た。面白いな。そもそも何故帯番組の話をしたのかというと、小学校の6年間、よく同じ道を通い続けたな、6年は長いから、3年くらいで切り替えたらどうだ？みたいな話だった。小生早稲田には学部4年、修士2年、博士4年（中退）、助手2年と12年通い続けたが、今の所はいつの間にかその倍。電車とバスで通ってる頃は「こんなのが30年以上続くのか」と思ったもんだが。自動車教習所に通うことを勧めてくれた友人に感謝だな。車で通い始めてもう20年だ。よく続いてる。あと10年。頑張ります。

ゼミ中に学生の話している内容で面白そうなものがあると書き散らかしてくるんだが、さっきそれの整理をしてた。Z[√2] が N(a＋b√2)＝|a²－2b²| に関しユークリッド整域、というのはいいんだが、Z[√3] もそうだと言ってた。が、やってみるとギリギリ等号が成り立てしまい、大丈夫なのか？と疑問に成ってちょっと調べた。まだ解決してない。もうちょっと調べたいところだが、学科長会議関係の野暮用も色々あるので、どうしよう、という感じ。明日 Tigers が優勝したら呑み屋の店長に「おめでとう」を言いにいかないといけないので、今日は程々に寝たいところ。まあ適当に寝ますわ。