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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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