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

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

でその後「緊急取調室」を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＋… みたいなのも真面目腐って議論していて。いいんだけど。「自明群論研究会」の主催者は真っ当な数学者だ。暇なのだろうか？いや、一番暇なのはこんなブログを書いてる奴だという説はあるが。言われないようにこの辺にしておこう。

ガロア理論の問題点は本当にどうにか成った、と寝不足の酔った頭では思っているんだがどうだろう？

昨日のタイトルが「どうにか成りそう」だったが、何かそこはかとなくおかしい。で結論は間違ってる、ということに。で一旦放り出した石田信先生の「代数学入門」（実教出版）をもう一度取り出した。いや、職場で読んでた本と住処で読んでたのは物理的に違う個体なので、もう一度は嘘だが。まあ細かいことは兎も角。何かちょっといじればいきそうな感じ。が、何か色々分からないことがあって難渋。地震のニュースも気に成ったりで、中々思うように成らない。4時55分に通常より5分早く「おはよう朝日です」が始まって、でそっちを気にしたり数学を気にしたりで、限界が訪れた。ちょっと休憩、のつもりで YouTube を見たが、何度も寝落ちした。「こつあず鉄道チャンネル」とかいうのがあって、前に見たからなのかチャンネル登録をしてしまったのか分からないが、よくお奨めリストに上がってくる。実家の近所だったり住処の近所だったりの話題もよく出るのだが、全然知らない所が話題に成ると見るのを中断して、そうすると寝てしまう。が、スマホから音声が出続けていて、テレビも消してないので、眠りは極めて浅かった。11時過ぎに起きて、続き。さっきより分かってきた。

が、12時半から学生と Zoom で面談の約束があるので、中断せざるを得なくなった。面談の前って、滅茶苦茶考え込んでどよーんとしている学生が相手だったらどうしようか、と思い悩むが、実は結構明るい学生だったり、そんなに深く考え込んでいる相手じゃなかったりして、拍子抜けすることが多い。今日の学生もそうだった。まあエネルギーを殺がれるよりはその方がいいです。15分掛からずに終了。でもうちょっと数学をやって、1時ちょいに出掛ける。火曜日ははま寿司、というパターンが多い。少し待たされたが、ピーク時間は過ぎていたので、10分くらいかな。職場に2時15分くらいに着いたが、個研室で続きをやると講義に行きたくなくなりそうなので、閉店した食堂でドーピングをしてから生協の本屋を冷やかす。またしても買いたい本があった。もういい加減蔵書を減らす方向にいけないのだが。また数セミの発売日にまとめて買う。

で講義室に開始7、8分くらい前に行ったら、女子学生が一人待っていた。先週はいなかったが。暫くしたらもう一人来たが、ドアを開けた瞬間躊躇っていた。誰もいないと思ったのだろうか？2時55分のチャイムが鳴ってもその二人だけで、誰か来たら始めるし、誰も来なくても3時に成ったら始める、と宣言してしばし待つ。潜りの4回生が来るかと思ったら来なかった。で Z_p が点列コンパクトなのを示してから振り返ると、5人くらいいた。が、件の4回生は来てなかった。もういいや、とフルスロットル。今日はフルタイムで位相空間。連結であるということを定義して、R に通常の距離位相を入れた時に連結であることを示して、Rⁿ は連結であるということを紹介して、Rⁿ の開集合では連結と弧状連結が同値であるとか紹介して、Q_p が完全不連結であることを証明。連結成分の定義とかもちゃんとしたよ。学部4年生（こっちでは4回生というが、早稲田は東京の大学なので、4年生と言うことにする）の時に岩澤健吉先生の「局所類体論」を読んだが、初回にこの事実が出てきて、何も分からず呆然としたのを覚えてる。位相が1コマ分丸々続いて学生は嫌だろうが、気にせず話す。寝不足だとハイなので、余計なことを口走ってしまう。「イメージが湧かないとかいうのは駄目。形式的に議論出来るのが大事。何かに当てはめる時はイメージは大事だが、一般位相をやる分にはイメージはいらない」という趣旨のことを言った。20年以上前だが、院生 S 君と S 君に「ふーみんは何でそんないでかいん？」と言われていた学生がいたが、「ふーみん」は数学にイメージはいらないんだ、と言っていて、S 君がそれに対抗して「IOM」という謎の団体を立ち上げてゼミをしていた。「IOM」とは「image of math.」という英語だか何だか分からないフレーズだが。えーと。位相は今日で終わりで、来週は Ostrowski の定理を示して、Q_p の拡大に付値を延長したりとかそういう話に突っ込む予定。

今日は教授会があるので、直帰せず個研室でパソコンを起動。型通りの報告事項が続いていたが、何か凄いページ数のあるものを副学部長が説明していた。こんなの読んでるんだろうか？それとも事務の人が要点を掻い摘んで説明してくれるんだろうか？だとしたら事務の人は読んでるんだろうか？いや、これを打ちこんで書類にしてる事務の人がいるということだな。考えるだに気色悪い。教務委員や学科長でウンザリしている小生にはとても務まらない。つくづく無能でよかったと思う。でそんな凄い話があったのに、教授会は20分ちょいで終了してしまった。何かあほくさい。

高速道路も一般道も渋滞真っ只中という時間に成ってしまったので、数学の続き。大体出来たんだが、そこはかとなく気持ち悪い。いや同型だからさ、と思うんだが、気持ち悪い。このままエンドレスで続けてもいいんだが、昨日から新名神が8時を過ぎると通行止め。新名神が通行止めということは、草津田上インターも当然封鎖で、瀬田西から名神に乗るのは色々あって嫌だ、ということで7時半前に個研室を後にした。フォレストハウスの近くに車を停められたので、あまり歩かず車に乗れた。そんなに寒くないし、凍結は心配無し。

車に乗る前にそこはかとなく気持ち悪いことの解決策を思い付いた。ワクワクしながら帰ってきたが、腹が減ってる。コンビニエンスストアに夕食を買いに行って、食べてから数学。おぉ、という感じだったが、書いてるうちにまたしてもそこはかとなく気持ち悪いことが起きた。むぅ。で白い紙に書いてるうちにまた新しいことに気付いた。そうだ！という感じ。今度こそ大丈夫そう。石田先生の本で一箇所変だと思った所は変じゃないんだ。いやー、ほんの数日だが長かった。Wiles は7年もこれ以上のことをやってたんだな。考えられない。まあでも、久々にちゃんと数学をやった感じ。最近の研究は、ちょっと計算して、コンピューターに計算させて、そこから条件に合うのを引っ張り出して、みたいなことしかしてなかったから。たまにはこんなのもいい。「たま」じゃなくこんなことをしている人は凄いな。

ということで呑んでるわけだが。明日は映画にいけないな。今日の「徹子の部屋」のゲストは「栄光のバックホーム」で主演を務めた俳優だという情報を仕入れたので録画しておいた。頭10分弱見たが、元々高校球児で、親父さんはプロ野球選手らしい。大谷翔平と高校野球の東北大会で対決したこともあるらしい。録画してあるので後で見る。明日はゆっくり寝よう。が、明後日の5時までにやらないといけない仕事がある。ゼミの終了が4時半で、先週のように延長されると大変なので、これからやるかそれとも明日やるか。

ガロア理論の問題点はどうにか成りそう

起きたら11時半過ぎ。もう10時半のアラームは鳴らさないようにしようか、と思ってるんだが、結局そのままに成ってる。シャワーを浴びて急いで行けば十分昼飯を食べる時間はあるからな。まあもうちょっとそのままにしておくか。

で残り少ない弁当を買って店の人に感謝された後、講義へ。月曜日は「数学IV（線形代数）」。今日は表現行列の話の続き。線形写像で写す前のベクトルの座標と写した後のベクトルの座標がどう関係しているかとか、線形写像が単射（resp. 全射）なのと、表現行列から定まる数ベクトル空間の線形写像が単射（resp. 全射）なのが同値とか。で最後に基底を変えると表現行列がどう変わるかを示したくらいで計算通り時間に成った。来週一回で対角化をやり切る、という無謀なことを考えてるが、どうだろうか。戦略の細部は後程練る。

例によってすぐゼミ。今日は幾つか Mordell 方程式を解いて、その後整数環が Z[√－d] でない場合。証明はガッツリ略されてるが、ちゃんと付けてきてた。頑張っとるな。d＝3, 7, 11 の時に整数環がユークリッド整域であることを示した辺りで終了。素数の分解がルジャンドル記号で分かるというのの前に終わり、来週はそこから。類数1でない場合がどれくらい出来るでしょうか。素因数分解の一意性の成り立たない世界がある、というのを知って卒業出来ると嬉しいでしょう。5時半前に終了。

その後部屋で代数学IIのことを。最初に見た本は「1の冪根が充分に含まれてると仮定して証明する」と成っていて、「一般の場合は省略する」と成っていてガッカリ。次に開いた本は、やはり1の冪根を充分に含んでると仮定していて、「そうでない場合は～を見よ」と成ってて、またしてもガッカリ。次に開いた本は「係数を数値でなく文字と見て “一般多項式” を考えるので、1の冪根が充分含まれている場合に考えればよい」と成ってて、またまたガッカリ。Q 上に代数的に解けない5次式があるのを見せたいのだが。で一冊ちゃんと書いてる本を見付けたが、ちょっと用語の定義が違っていて、修正するのに難渋してギブアップ。でやっと見付けた。大筋は分かった。が、もう9時半だったので、帰ることにした。10時を過ぎると飯屋が夜間料金を徴収する時間に成ってしまうし、道路工事も始まってしまう。ですき家でカレーを食べた。注文したのが10時前なので夜間料金は取られなかったが、もう道路工事が始まってる時間で、石山で一箇所、山科で一箇所工事をしていた。

帰ってきてしばしボーっとしていた。で「過ぎるTV」が始まって暫くしたらニュース速報。東北で震度6強の大きな地震があったとの情報。津波注意報が出たということで「過ぎるTV」は途中で終わりで、今アナウンサーが絶叫している状況。その後津波注意報が発令されて、11時半に3mの津波が、と言う情報だが今11時半くらい。大丈夫でしょうか？今日は「コント・デ・ンガナ」もプロレスも休止だろうか？大きな被害が出ないといいですけど。

何もしてない一日

ふなごやの店主達は「栄光のバックホーム」を見てきたそうだ。いいらしいです。見に行くつもりではいたので、近い内に。早ければ今週の水曜日にでも。で例によってワインを数本。相当酔った。夜9時くらいで5度と結構寒かったが、店を出る頃の外気温は1度！冬本番に成ってきたな。住処まで5分弱だが、堪える。

で数日寝不足が続いてて、さらに呑んだものだから、かなり遅くまで寝てしまった。ということで一日何もしてない。まあこんな日もあっていいです。代数学IIの瑕疵は明日以降一生懸命考えて直す。が遅くなると凍結云々が心配に成る時期なので、少し早目に職場を出ることにしよう。