昨晩は卒業生4名とO先生と6名で目茶目茶盛り上がった

一昨日の晩は月曜日締め切りの仕事を終わらせてしまおうと、結構遅くまで起きてた。で昨日の午前中の用事にはちょっと寝坊して遅れた。まあいいけど。で松屋で昼食をとって帰ってきて、さ、床屋へ、と思ったのだが、まだちょっと眠いので寝てしまった。起きたら4時くらい。まあまだ大丈夫だ、ということで床屋へ行くも、ちょっと待たされるようなので、諦めた。白髪染めの初期段階の人が座っていたので。水曜日に行くのでいいです。

6時にふなごやへ。今日は卒業生T村君提案の呑み会。Dp君、S渡君、Y地君、そして珍しくO先生もお出まし。Y地君は名前と顔が一致してなかったが、物理の学生だったな。物理なのに公認サークル「数学研究会」の会員だった。隣の部屋の新屋先生が顧問だったので、よく顔を見掛けた。で6人で楽しく呑んできた。皆40代半ばだが、あまり見た目は違ってなかった。小生も変わっていないと言われたが、まああの頃に比べたら大分太ったが。またやりましょう、と約束して、11時くらいにお開き、だったかな？結構呑んだので、その辺りの記憶は曖昧。が、皆を見送った後、小生はもう一勝負。もう何も覚えてないが、結構遅くまで呑んできた。

で今日は滅茶苦茶寝た。7時くらいに起きて、Uber Eats にマクドナルドのグラコロセットを頼んだが、何か飲み物の袋が小さいぞ、と思ったら、大分コップが小さく成ってた。値段は変わってないんだが、実質値上げという奴だな。まあいいけど。

でウダウダとやってるうちに「マイダイアリー」が始まった。今日も「p 進ホッジ理論」がどうしたとか「数論幾何」がどうしたとか言ってて、登場人物の一人がバス停で読んでた本が丸善から出ている「微分形式と代数トポロジー」だった。やはりちゃんと数学の監修をしてる人がいるんだな。先週も書いたが、M1 で優秀賞を貰えるのはちょっと現実離れしてるが。今日最終回かと思ったら、違うようだ。来週は M-1 なのだが。終わった後にやるのかな。とすると大分遅くなりそうだ。「有働 Times」が無いということか？知らんけど。

学生が TeX で書いたものを送ってくるが、色々酷い。\sigma を全角の σ で書いていたり、\cdots でなく全角の … にしたり、もっと酷いのは ・・・ と全角の・を三つ並べていたり。まあ初めてだからね。後2か月くらいでどうにかしないといけないが、大丈夫でしょうかね？まあ何とかしないといけないので、頑張ってもらわないと。 

走行メーター9999km、10000km両方共見た

今日も11時半過ぎまで寝てしまった。急いで出掛ける。弁当はまだ売れ残っていたので、500円で一つ買って食す。釣銭が新500円玉だったので、ウェストウィングの自販機では使えず、イラッとした。

1時から「代数学II」。今日は円分体のガロア群の話を終わらせて、アーベル拡大だとどうかとか Kronecker－Weber の定理を紹介したりとか。主張には整数論らしさが見えないが、代数的整数論を使わないと証明出来ないとか、類体論を使えば数行で証明出来るとか言っておく。で3次方程式と4次方程式の解法を紹介したら時間に成った。前者は3つとも実数解の時は虚数を経由しないと解が求まらないということが起こり、虚数を認めざるを得なかったなどという歴史的経緯を紹介して、後者は松江の姐さんが数セミに書いてた例を拝借して紹介。4乗根とか3乗根とか出てくるが、見た瞬間に1が根に成る、さてどれが1でしょう？と言ってから、数値的に1であることを確かめることが出来るが、Maple だと simplify 命令を使うときっちり1だと教えてくれるとか話したあたりで丁度時間。来週からガロア群が S₅ に成る多項式の例がどうしたとか、S₅ が可解群でないとか、重たい話題が続く。出席者は殆どいないし、今日レポートの話をしたから益々減るかもしれない。まあいいです、こっちは楽しいので。

2時40分から代数的整数論のゼミ。今日はイデアル類群を計算することを幾つか。難しい。ノルムが2や3のイデアルが単項イデアルでないことを示すのにこんな方法があるかと知って為に成った。ちょっと早く5時前に終了した。

その後個研室で講義の後始末を少しして、早目に帰宅。草津JCTの前まで渋滞が溢れていると大変だが、「瀬田東JCT－大津 渋滞」の表示だから、まあ大したことは無かろう、と気楽に構えて、その通りでホッとした。草津田上インターを入ってすぐにメーターが9999kmに成り、本線合流の頃に10000kmに達した。最近キリ番を過ぎてちょっとして気付いて、「あ！」ということが多かったが、今回はちゃんと見た。嬉しい。

6時前には帰宅。先週の「座王」を見てから、ちょっと作業。「かりそめ天国」が始まったが、予告編を見てたら米倉涼子が中華の激戦区、東京の大門を飯尾と歩くという企画があると言ってたが、何故米倉涼子？と暫くして気付いた。あぁ、大門つながりか、と。小生も鈍いな、と思って放送を見てて、VTRを見ている途中にマツコが「あ、大門！」と言っていた。もっと鈍い人がいたか。面白かった。作業はまだ終わっていないが、明日に禍根を残したくないので、今晩中に終わらす。ということでもうひと踏ん張り。今日は無茶はしないでそれなりに寝る。明日は午前中にちょっと用事があって、それだけなら無茶をしちゃいそうだが、夕刻から珍しい面子で呑む約束があるので。途中寝落ちなぞしたら勿体ない。床屋も行きたいぞ。ということで「ザキ山小屋」が終わったら途中でも寝る。

「数学展望」は無事に終了

11時半過ぎまで寝てしまった。シャワーを浴びて寝癖を直して、12時ちょいに出発。が、外で売ってる弁当は既に売り切れていた。生協で弁当を買うが、いつも唐揚げ弁当では飽きるので、今日はチキン南蛮弁当にした。

で1時からゼミ。今日は虚2次体のイデアル類群の有限性を示して、幾つかの体で実際にイデアル類群を求める話。1名は何やら高校の数学をよく分かっていなかったりとか、もう1名は [2,√(－14)]²＝[4,－14] としたりとか怪しいことをやってる。まあ両名とも言えばちゃんと修正出来たのでいいけど。で4時くらいまで掛かった。来週は p＝x²＋5y² と表せる素数がどんなのだとか、y²＝x³－5 と y²＝x³－20 の整数点の決定をしたりとか。関数体の話を少しだけやれそうだな。多分年内は来週が最後で、年明けは2回だろうから、本の最後まではいかないだろうが、まあよく進んだ方だと思う。ちょっとは勉強した気に成って卒業してくれればいいが。

今日は「数学展望」の2回目の登板。今日は楕円曲線上の点がアーベル群に成ってるとかそういう話。勿論アーベル群なんてものを1回生が知ってるわけはないので、その辺はオブラートに包んで。でフェルマー予想とか合同数問題が楕円曲線の問題に還元出来ることを話したり。5時50分まで時間はあるが、5時15分前には終わってしまった。まあ十分でしょう。TA に小生のゼミの院生が付いてるが、2回とも質問してきた。肝心の1回生は殆ど質問してこないが。まあ面白く思ってくれたならいいでしょう。詳しいことは分からなくても、15回色々な話を聞けば、こんな話題があって面白かったという感じに成ってくれるだろう。それで給料が貰えるのだから、いい仕事だ。来週は誰がやるんだろう？また全然違う話で面白いだろう。

その後部屋で線形代数の準備。基底変換とか難しい話題をしないといけないので、見ておかないと、と思って、例によってペンを持って紙に書き書き。何か偉いスッキリしてるな、というのが感想。数学を専門とする学科ならこれでいいのかな、と思ったが。まあ例も出てるんで、実際にいじることも出来るように成るでしょう。で例によって9時過ぎまで。

中山美穂のバラードセレクションとクリスマスアルバムが車に積んである筈だが、見付からなかった。で個研室にあるかと探したら無かったが、違うのを2枚見付けた。1枚は「Miho's select」というタイトルだから、多分ご本人の意思で選んだ曲が入っているのだろうということでそれを聴くことにした。うん、中々の名曲揃い。この声の主が死んでるのかと思うと悲しくなる。死んだ人の CD と言えば村下孝蔵の CD はよく聞くが、氏の場合はよく聞くようになったのは死後だから、そんなに悲しくない。こっちに来た年に死んだのだが、その数年後に車の運転免許を取って、それでちょっと遠くのショッピングセンターに行ったり、Book Off で買ったりするようになった。ダブって買ってしまったものは幾つかあるが。えーと、中山美穂の話。他にも何枚かある筈だし、職場と車の中と住処を少し漁ってみよう。

食事をして国道一号を通って帰ってきたが、一箇所工事で片側交互通行に成ってた。年末やね、と思って暫く走ったら、もう一箇所工事をしてるという案内が。うむ、と思って走っていくと、これから工事します、という準備の最中だったので、まだ片側交互通行に成ってなかった。よかった。ということで10時半過ぎに帰着。今日の「報道ステーション」のスポーツコーナーでパ・リーグの「熱盛1グランプリ」をやってた。セ・リーグのは一昨日やった。大体リーグ優勝したチームが一番最初なのだが、Baystars が一番最初だった。「日本一」効果やね。パ・リーグで小生の印象に一番残ったのは、Fighters の万波のホームへのダイレクト返球で周東が刺されたシーン。往年のイチローや、マニアは知ってるだろうが Lions の羽生田。新庄も凄かった。新庄のダイレクトバックホームは札幌ドームで実際に見た。ワンプレーで十分金がとれる。来年はどんなプレーが出るんでしょうか。楽しみ。

床屋へ行かなかった。土曜日に行こう

結局昨晩は3時くらいまで起きていた。報告集の決着を付けたかったので。本文をみっちり読み込んだ後、計算ミスが無いかどうか調べた。予期せぬ解答が出てきて焦った所があったが、そこは入力ミスということで計算ミスは無かった。でメールに .tex ファイルと変換した pdf ファイルを送って、一仕事完了。今年はこれに随分時間を使った。まあ研究の一環ということで、よかった。論文にするほどではないが、幾つか新しいことを知ることが出来た。よかったです。

で銀行の人は1時に来た。また寝癖ボーボーで出てしまったが、まあいいです。で半分ボーっとした状態で話を聞いてたので、あまり話が頭に入ってこなかった。でその後もう一度ダウンして、起きたら結構遅かった。床屋に行き損ねた。まあ土曜日に行きましょう。髭を床屋で剃ってもらうつもりでいたので相当伸びてる。いい加減剃ろう。

その後晩飯を食べて、明日の「数学展望」と明後日の「代数学II」の内容を軽く見ておいた。まあどっちも大丈夫だな、という感触を得た。で「代数学II」の単位認定レポートを完成させて web に上げて、と短時間だが結構真面目に働いた。そろそろ「数学IV（線形代数）」の試験問題を作らないと。どこまで行けるか先行き不透明だったので、作らないで保留していたが、少し先が見えてきたので、まあこれくらいまでなら出題しても大丈夫でしょう、ということで。それが終われば急ぎの仕事は終わりかな。勿論まだ講義の準備をするとかやることは色々あるが。

足立先生から TeX のことを聞かれたので、答えておいた。答えるために色々 google 検索をして調べたが、本当に TeX には色々なパッケージがある。不満を持ってる人とか、あれもしたいこれもしたいと思う人とか多いんだろうな。修論書いてる学生は凝らないように。ある程度綺麗な物が出来ればそれでいいと思わないと。そもそも TeX の使い方をロクに知らないんだからね。

さ、もう一頑張りして、「チョコプランナー」が終わったら寝よ。

Kummer の定理の証明は済むも、イデアル類群の有限性の証明が残ってしまった

今日は資源ゴミの日、と気付いてしまったので、呑み呑み分別作業をして、それからちょっと「数学展望」の資料を直して、とかやってるうちにまた朝に成ってしまった。いけないな。爆睡すると講義に遅れるので、テレビを付けっ放しにして仮眠程度にした。で1時半くらいに起きて、1時40分くらいには住処を出るという慌ただしさ。で生協で弁当を買ったが、ゆっくり食べられるだろうか？そんなに時間が無い。個研室へ行くのは面倒だし、表で食べるほど暖かくはないので、講義をやる部屋が前の時間空いてると嬉しいな、と思って行ってみたが、講義をしていた。仕方ないので個研室で短時間で掻っ込んだ。

2時40分から院生向け「数理科学特論2」。Kummer の定理の使用例を幾つかやって、いよいよ証明に差し掛かる。必死にやって、そんなに長くない証明を付けられたが、やっぱり話すと時間が掛かるな。途中シャッターの音が後ろから聞こえたが、もうノートをとるのを諦めたのだろうか？あの程度の証明で長いと思っちゃ駄目よ。修業が足りないと思ったので、つい言ってしまった。でイデアル類群を定義して、有限性を示そうとしていたら腹の調子が悪くなってきた。やはり講義の前の日は呑んではいけませんな。そのタイムロスのせいで有限性が示せなかった。仕方ない。帰り際に学生に TeX のトラブルは直ったかと聞いたら、直ったらしい。Overleaf で日本語を使うのには何か呪文が必要らしく、その行をうっかり消してしまったのが原因だと言ってた。赤堀先生の学生さんに教わって直してもらったそうだ。赤堀先生のゼミの学生さんは色々と研究集会で発表しているので、資料作りに TeX を使って慣れているのだろう。

4時半から教授会。今日は報告事項が主で、正直結構退屈だった。4月から名誉教授に成る先生方の名前が紹介されていたが、中に保健センターの伊東先生の名前があった。診てもらっている時に気付いたが、首から下げてる教職員証に「教授」と書いてあって、ああ、こういう立場でも教授とかあるんだな、とビックリした。若そうに見えるが、もう65歳ということか。4月からも診てもらえるんだろうか？緊張せずに診てもらえるので、そうしていただけると有り難いが。別の先生だとまた新たに人間関係を構築しないといけない。それはちと面倒。で教授会は5時半くらいには終了した。その後何か別の委員会があるらしい。ご苦労様です。さっきその件について報告のメールが来た。大事なことを話していたんだな。来週の学科会議でその件を話し合うと案内が来ていた。もめるんだろうか？

その後色々やることがあって、どれからやろうか迷ったが、福岡の報告集の直しを金曜日までに済まさないといけないので、それからやることにした。前に書いた通り一箇所直したいところがあるので。でそこを済ませて終了、という手抜きはしないことにした。ボールペンを持って、一行ずつ丹念に紙に書き写しながら点検。するとまあ出てくる出てくる下らんミス。\ep（\varepsilon と何度も打つのが面倒で、\ep にしてある）の筈が \pi に成ってたりとか、逆に u と書くべき場所が \ep に成ってたりとか、平仮名が一文字抜けて変な日本語に成ってるとか、場合分けの条件が二つとも同じに成ってたりとか。まあ前にやった時も一生懸命やったので、計算ミスは無かったが。それでもこれだけミスがあるんだから、ちゃんとしたものを書き上げるのは大変だな。校正の機会を貰えてよかった。で熱中してやってて、時計を見たら9時。まだ半分しか終わってないが、もう帰ることにした。

今日は豚カツを食べよう、と思っていたんだが、ドラッグユタカでジャージ（今はスウェットと言うのか）を買おうと思っていたのを思い出した。国道一号まで出て、松のやに行って食べて、国道一号で帰ったら閉店まで余裕が無くなりそうだったので、高速道路で帰った。飯はなか卯で親子丼だな、と決めて、買い物を済ませてからなか卯へ。貸し切り状態だったので、すぐ親子丼が出てきた。文庫本は1ページしか進まなかった。まあいいです。

さて寝不足だが、もう一頑張りするか。上に書いた通りそんなに余裕があるわけではないので。明日はまた銀行の人が来るから、程々に起こされる。今晩の成り行き次第だが、いい加減床屋に行きたい。頑張ろう。

現役ドラフトで上茶谷が Hawks へ、浜地が Tigers から来る

大体日曜の晩は「夫が寝たあとに」を見て寝る。で2時くらいなのだが、昨日はフィギュアスケートの番組があって、3時を過ぎてようやく寝た。が、疲れている筈なのに眠くならない。大丈夫だろうか？と心配した通り、今日は12時を過ぎて暫く経ってから起きるという体たらく。講義が遅れ気味なのに、5分遅刻してしまった。

今日の「数学IV（線形代数）」は、数ベクトル空間の間の線形写像の像と次元を調べる話から。で漸く表現行列の話が出来た。ちょっと難しい例が出てたが、飛ばせばよかったかという気がしないでもないが、まあいいです。3次以下の多項式の空間から2次以下の多項式の空間への微分による線形写像の核だ像だとやってたら時間に成った。どうやら来週か再来週には対角化の話が出来そうだ。まあ行列の対角化は春学期にやってあるんで、少しは慣れてるだろうから、多少急ぎ足でも大丈夫だろう。

今日はゼミが無いので、明日の講義の準備をしよう、と思っていたら、学生が修論の件でちょっと話を聞きたいというので、少々時間を使う。で1時間くらい経ったらもう一度現れた。何やら TeX のトラブルのようだが、overleaf のことは何も知らないので、対処出来なかった。Mac のパソコン（タブレットでなく）を持っていたので、インストールしちゃえばいいいのに、と思ったが、何時間も掛かる作業だから、そう軽く「やったら」とは言えなかった。こんな日に限って院生室は彼が占有状態のようで、誰にも聞けなかったようだ。その後何も言ってこなかったが、大丈夫だったのだろうか？明日の講義で会うだろうから聞いてみよう。でその後頑張って Kummer の定理の証明を完成させた。先週はこれのために2回徹夜したからな。後で元ネタの本の著者にメールを書く。気を使った文言にしないといけないし、面倒だ。まあやります。明日は2時40分からの講義までに職場に行けばいいので、早寝しなくていいから、ゆっくりやる。

例によって9時くらいまで職場にいた。寒いぞと思ってエンジンがかかった後に出る外気温表示を見ると、4度。うー。暫く走ったら7度まで上がったが。今日は都心は2度くらいまで下がったとか。アナウンサーが「秋が短かったですね」と言っていたが、その通りだな。日本は二季に成ると言っていた専門家がいたが、その通りに成ってきた。嫌だ嫌だ。で寒いので、豚カツより拉麺の方がいいぞ、ということでいつもの通りちゃんぽん亭へ。暖まった。でそのまま真っ直ぐ帰るつもりだったが、山科まで来てドラッグストアの看板が見えてきたところで気付いた。ボディーソープがほぼ無くなっていた。ということで寄って買う。食料を買い込んでおけばよかったが、まあいいです。で会計を済ませて表に出てきたら、何とスウェットの上下が売ってるではないか。去年の冬買った物は尻に穴が開いてしまって、ワンシーズンしかもたなかった。で今は夏にしまむらで買ってきたものを着てるが、流石に寒い。店に入る前に気付けばよかったが。まあいいや、明日買おう。

今日は現役ドラフトがあったそうな。Baystars からは誰が出ていくかとファンの皆さんは注目していた。神里か関根という声が多かったが、実際は上茶谷大河。Hawks に行くそうだ。むぅ、貴重な戦力だったが。Marines の平沢大河は Lions に。大河が二人。Baystars には Tigers から浜地真澄投手が来るそうだ。印象に無いがどんな選手だろう？ルールでは二人まで獲得出来ることに成ってるが、過去2回はいずれも一人だけだった。が、今回は Carp が二人指名したそうで、Fighters から鈴木健矢投手を獲得。アンダースローの投手だそうで、今年の Baystars の中川颯みたいに活躍出来る可能性はある。面白い選手に成りそうだ。Tigers の大竹や Dragons の細川のように移籍で花開いた選手がいるにはいる。大半が戦力に成ってないが。皆さん頑張ってください。上茶谷はドラフト1位だ。Baystars を見返すくらいの活躍をしてください。

で浜地を調べてみた。一昨年は52試合登板で防御率1.14、ホールド21と、活躍した年はあったようだ。現役ドラフトではないが、今年移籍してきた中川颯は相当活躍して、選手のトークショーのメンバーの一人に選ばれて、給料は大幅アップと、移籍してよかった選手の一人。どうなるでしょうかね。

昨晩の酒の席の話題は中山美穂のことが中心

昨晩は呑みながら中山美穂の話題ばかり。ふなごやの大将とバイトの人は小生より8歳若いので、中山美穂はまさに世代ど真ん中のようだ。店のBGMで音楽のサブスクに契約しているので、ずっと中山美穂の曲が流れていた。悲しい。というわけで大分呑んだ。まあそうでなくてもいつも相当呑むんだが。ハーバーが好評なのはよかった。随分久し振りに食べたが、味は変わってなかった。美味しい。

でまあ例によって無茶苦茶寝た。が、やはり呑むと眠りが浅いのか、何かフラフラする。Uber Eats に王将メニューを頼んだが、中々来ない。5時くらいに頼んだが、来たのは6時くらい。結構冷めてた。バイオマススプーン（10円）が入ってなかった。まあ普通にスプーンはあるんでいいけど。食べてもう一寝入り。

「有働Times」の途中で起きた。有働由美子は中山美穂と同世代だから、時間を割くかと思っていたが、米倉涼子が「ドクターX」の宣伝に出てきて、それに時間を割くためだろうか、大した時間を使わなかった。西田敏行が死んだ時は涙を流していたが、中山美穂とは個人的な付き合いは無かったということかな。で調べたら、有働由美子は1969年3月22日生まれ、中山美穂は1970年3月1日生まれと、丸一年有働由美子が先輩なのだな。まあ同世代であることは間違い無いが。

野球や相撲がある時は、裏番組の「サンデースポーツ」を見るので、ドラマ「マイダイアリー」は見ていなかったが、日曜日にやったドラマの再放送が木曜の深夜にあるという、よく分からないことをやってくれるので、真剣に見ているわけでないにしても筋だけは追えていて、今日も見た。大学生の話なのだが、主要な登場人物の一人が数学科の学生。小学生の頃にギフテッドだと言われ、アメリカの大学に行っていたが、挫折して日本の大学に編入した、という設定。で今日の話では論文が評価され、再びアメリカに行くか？ということになっていた。論文の内容は「p 進ホッジ理論」だと言っていた。こういう難しい言葉が出てくるところを見ると、ちゃんとした人が監修で入っているのだろう。が、学部生で p 進ホッジ理論は無理がある。まあ才能のある青年という設定だから、それくらいは出来るのだろうか？知らんけど。来週が最終回かな？再来週は M-1 グランプリだし。どうなるのか気に成ってきた。多分見るでしょう。

Kummer の定理の整理をまだしてない。やろうかと思ったが、頭がフラフラするので、出来なかった。まあ明日は2時半で用事が全て終わるので、その後いつものように9時まで職場にいれば、たっぷり時間はある。ただ、何かここ数日は滅茶苦茶寒いようなことを言ってたし、そろそろ車の「凍結注意」の警告ランプが光るかも。あまり遅くまで職場にいない方がいいシーズンに成ってきた。本当に急に寒くなるな。勘弁して欲しい。今年は去年より寒く成るようなことを言ってた。まだ冬用タイヤに履き替えたことは無いが、今年はどうしよう？まあ朝早くは車に乗らないし、夜も遅くならなければいいということで、今年もやめておこうかな。