基底だ次元だと、線形代数は難しくなってきたぞ。ゼミは平方剰余に突っ込んで、楽しくなってきた

10時半のアラームで一旦目が覚めたが、もうちょっと、として暫くしてアラームが聞こえたが、11時でなく11時半だった。11時のアラームには全く気付かなかったが。まあシャワーを浴びて寝癖を直して、講義前に食事をするくらいの時間はあった。

1時10分から「数学IV（線形代数）」。今日は基底の存在（有限生成と仮定して）とか、次元がきちんと定まることを話すなど、難しい内容ばかり。多分殆どの学生さんが途方に暮れていたろう。が、ちゃんと具体例を見せて、基底を取るとベクトル空間の訳の分からない議論が行列の計算に帰着出来ることを例示したので、ちゃんと復習して、演習の時間に真面目にやってもらえれば大丈夫だろう、とは思うがな。終了後誰も質問に来ないことが普通に成った。いつも質問に来ていた留学生は大丈夫だろうか？一番前に座ってはいるが。終了後同郷と思しき学生と日本じゃない言葉で喋っている。内容が知りたい。悪口を言ってるのだろうか？

終了後すぐゼミ。講義に出る直前に学生が今日のゼミを見学してもいいか、と言ってきたので、いいと返事しておいて、でゼミに行く前にチラッとメールを見たら、外せない用事があるので、途中からでもいいか？と返事が来ていた。構わないと返事しておいてから臨戦態勢。今日もヤコビ和を使って、有限素体上の曲線の有理点を勘定する話。この話の途中から見学か。ちょっとよろしくないな、と思ってたら現れた。もう少し経つと平方剰余の章に入るから、我慢してもらうしかない。で一休憩挟んで平方剰余。待ってました。ここは得意中の得意、と偉そうに言えるほどのものではないが、まあヤコビ和よりは知ってる。今日は第一補充法則の証明までやった。オイラーの規準の証明がいまいちピンと来てないと言ってた。前の章でやった xⁿ＝a の有限素体上の解の有無を a^(p－1)/d（d は p－1 と n の最大公約数） を見れば分かるというのを n＝2 にするだけでは？と思ったが a^(p－1)/2 が mod p で1と合同でない時に －1 と合同になることが分からなかったということのようだ。成程、確かに難しいかもな。説明したら納得してもらえた。分からないから別の方法で証明してきたと紙を見せてきたが、書いた物は合ってたのでよし。分からない時に別解を考えるのは大事。で来週は祝日だが例によってまた講義とゼミがある。1人は東京に就職活動に行くので、来週は来られないと言ってた。そういう事情は当然認めますよ。6時少し前に終了。

部屋で講義の後始末をして web に上げて、来週の作戦練りをちょっとして、のつもりが、結構手間取った。7時くらいには帰るつもりだったが、9時過ぎまでやっていた。やはり基底だ次元だという辺りは難しいのだ。階数が基本変形で変わらないとかそういうのがベクトル空間で議論すると理解が深まるという話だが、まあ今日以上にチンプンカンプンに成るだろうな。数学科の学生の生態を面白おかしく上げてる YouTube の動画を見ると、春先は微積が宇宙語で理解出来ず、線形代数はまあまあ何とか成ったのが、秋学期に成ると線形代数が公理化だ抽象化だとかなり、集合が何だとか写像が何だとか成り、「裏切りの後期」というタイトルが付いてた。まあそうだろう。適宜例は出します。抽象論一辺倒でやるのは好きではないのでね。演習担当の先生方に頑張っていただこう。

この前すき家で「チーズインハンバーグカレー」を頼んだが、期待ほどではなかった。高橋文哉がCMでやっているが、「割るとチーズがジュワー」というのには程遠く、うーん、と言う感じだったが、ガストのチーズインハンバーグは旨いぞ、ということで今日の夕食はガストで。最近ガストではから好しの唐揚げばかりだったので、久し振りに食べた。ハンバーグの頭を割った瞬間に肉汁とチーズがドバーっ。これよこれ。美味しかった。色々そそるメニューがあったので、また近いうちに行こう。

火曜日は2時55分からの講義に間に合えばいいので、つい色々やってしまう。呑んでしまうこともある。が、今晩は呑まないことにした。明日の晩呑む。講義の後教授会があって、日本シリーズを途中から見たいので、まあまあ混んでる所を帰ってこないといけないので、運転を安心して出来るくらいの体調にはしておかないと。プロレスが3時くらいに終わるから、そしたらすぐ寝る、と毎週思うんだがな。2時まで8時間寝るつもりだと6時でも大丈夫だから、つい起きていてしまう。今晩は気を付けよう。取り敢えず演習担当の若い先生方にメールを書いて、同業者に夏会った時に「誤植らしき所を見付けたので、帰ったら報告します」と言ってちゃんと考えてなかったが、さっき考えたらやはり間違いであることが分かったので、報告して。あ、思い出した。明日は資源ゴミの日だ。あっと言う間に2週間経ってしまうな。まあ程々にして寝ないと。

周東の5安打（日本シリーズ新記録）などの猛打で Hawks が圧勝

昨晩ふなごやに着くと、店の前に車が停まっていた。ナンバーを見るとバイトの人の。大忙しなんだろうか？と思ったが、傘立てに刺さっている傘は1本だけ。ん？と思って入って聞いてみると、ちょっと前に客がかえったところだったらしい。客の人数は多くなかったが、割と調理に手間取るものばかり注文したらしい。まあ単価が大きくてよかったのでは？でゆっくり話そうかと思ったが、バイトの人は帰るとのこと。娘さんが孫と一緒に遊びに来ているらしいが、娘さんがあまり調子がよろしくないらしく、孫を風呂に入れたりとか色々やらないといけないらしい。Tigers が勝ったので、一緒に楽しく呑みたかったが。ちょっと話をした。埼玉の坂戸にある「石井大智寺前」という信号のことを教えてあげた。Tigers ファンが聖地巡礼しているらしい。東武東上線の北坂戸駅からほど近いらしく、電車の本数もまあまああるから、不便ではない。皆さん是非におも訪れてください。ということで店長とさしで呑んできた。ちょっと早目に終了。白ワインが目茶目茶旨かった。

でセブンイレブンで PayPay と nanaco にチャージして、水を買って、ついでに余計なものを一つ買ってしまったが、まあいいです。で帰ってきて割とすぐダウンした。

で相当な時間まで寝ていた。何度か目が覚めたが、もう少し寝よう、を繰り返した。起きて暫くウダウダとやって、で日本シリーズ開始。

今日は Tigers が1回表に先制した。佐藤輝明が流石というところを見せた。が、今日は Hawks の日だった。1回裏に栗原のタイムリー2ベースヒットで追い付き、山川のフェンス直撃のタイムリー2ベースヒットで1－3に。2回裏は周東のタイムリー3ベースヒットで1点、デュプランティエ（打ちづらい）がワイルドピッチをやらかし1点、近藤タイムリー2ベースヒットでもう1点。流石にデュプランティエは交代させられた。解説の井口氏曰く「今後は使いづらいですね」と。8月9日以来の一軍登板だ。仕方ないといえば仕方ない。その後山川に3ランホームランが出て1－9。で Tigers がついてないのは、2番手の左腕・岩貞の左肩に打球直撃で長いイニングを投げさせられず、急遽ルーキー伊原に。よく抑えたが、5回裏に四球を出した時にワイルドピッチがあり、10点目。まあ今日は仕方ない。負けることはあります。甲子園に戻ってやり返しましょう。

今日の日本シリーズでは大記録が。周東佑京が5安打の日本シリーズ新記録。チーム14安打のうちの5本。凄い。山川は5打点だが、こちらは1試合6打点の記録に及ばず。Hawks は CS から昨日までずっと2点以下だったそうだが、今日は大爆発した。大爆発の次の試合は得てして打てないもの。Tigers は勝ちパターンのリリーフは崩れてないので、まだ大丈夫。

今日は10月26日である。去年まではこの日に成ると、「Baystars 38年振りの日本一」が必ずファンの間では話題に上ってるが、去年の11月3日に新しい記念日が出来た。それでもやはり応援掲示板ではそのことを書いてる人がいた。まあそうだよね。何度も書いてるが、その日は亡きお袋の60回目の誕生日で、岩澤健吉先生がお亡くなりに成った日。忘れられない一日であることには違いない。来年は相川亮二監督の下、是非にもリーグ優勝を。そして「日本一」と名乗っても恥ずかしくない結果を残そう。

久々の床屋で、帰ってきて現在日本シリーズ観戦中

結局昨晩も遅くまで起きていてしまった。学生向けの演習問題で「z が虚数の時、C＝R(z) であることを示せ」てのを出したんだが、別解を思い付くこと思い付くこと。ここ数年線形代数の講義を続けざまにやったんで、基底とか次元とか基本的なことに関する理解が深まった。逆に言えば、そんだけ理解がちょろかったということだが。講義をやるのが一番勉強に成るな。で結構な時間にダウン。

起きたらもう昼を結構過ぎていた。Uber Eats にマクドナルドのハンバーグを頼んで食して、で床屋へ行きたいが、まだ眠い。更に1時間くらい寝たろうか。気が付くと4時過ぎ。何してんだかな。前に5時過ぎに行ったら閉まってたことがあったのと、4時45分くらいに行ったらもう店仕舞いを始めていて、嫌な顔をされたことがあったので、急いで向かう。中に入ると一人客がいて、パーマを当ててもらっているところだった。頭にラップらしきものをグルグル巻きにしていて、外したらパーマ液の匂いが。で20分くらい待って、切ってもらった。すっきりした。帰りに DCM に寄ってちょっと買い物。それからチェリオの100円自販機でドリンクを一本買って帰宅。

もう日本シリーズの番組は始まっていて、スタメンを紹介しようというところだった。Hawks の先発は14勝で最多勝の有原、Tigers はやはり14勝で最多勝の村上。投げ合いが期待されるが、1回裏に早くも Hawks が先制。が、その後村上は立ち直った。有原は走者を出すが、粘っていた。が、6回表に Tigers が逆転。森下、佐藤で点をあるあたりは流石。で只今6回裏。さあどうなる。程々の時間に呑みに行かないと店を閉められてしまう。今の時間で6回裏では、最後まで見るのは無理だな。いいけど。頑張れ Tigers。

「代数学II」は正規拡大、代数的整数論のゼミはイデアル類群と、難しくなってきた

流石に寝不足だったか、「アメトーーク！」が終わってすぐ寝たが、12時くらいまで起きられなかった。シャワーを浴びる時間が無いが、多少寝癖はいいことにしようと出掛ける。職場に着いたのは12時40分くらいで、もう残ってる弁当は少なかった。唐揚げ弁当が一個だけ残っていて、女の人が暇そうにしていたので買ってあげた。「いつもありがとうございます」と言われたが、やはり覚えられてしまったようだ。まあいいけど。

で部屋で掻っ込んでから講義室へ向かう。いつも1、2分遅れてしまうので、今日は少し早目に出た。部屋にいる学生がいつも以上に少ないぞ。卒研ガイダンスを聞いた時に、体の拡大は知らなくてもいいだろうということか？と思って気にせず始めたが、遅れて入ってくる音が数回聞こえた。やはり遅れて始まると踏んでのことかな。今日は代数的閉包の定義と性質をやって、それから正規拡大の話。難しいだろうな。正規拡大であることの判定法を幾つかやってたら、途中で時間に成ってしまった。中途半端に終わってしまうことが多いな。来週は続きを済ませてから、最小分解体がどうしたとかそういうことをやって、標数に突っ込めるかどうか。今日で5回終わった。後10回、ではなく9回。まあ大丈夫でしょう。

部屋でちょっとボーっとして、ゼミの時間。今日は Kummer の定理の使用例と、（O_K：Z[θ])（θ は K の原始元）を割る素数の場合の分解をやって、でイデアル類群の話に突っ込んで、類数の有限性を示した。それからI,J の属すイデアル類が等しいのと I,J が O_K 加群として同型とかそういう細かい話を少々。6時に成る前に終了。

ゼミでちょっと紛糾したところあったので考えてから、講義の演習問題を web に上げて、月曜日の線形代数の予習をして、とかやってたらあっと言う間に9時。もう帰ることにした。

この前行った「麺屋聖」で2種類目の拉麺を食べて、で渋滞は無かったので10時15分くらいに帰り着いた。それから先週の「座王」を見て、今「探偵！ナイトスクープ」を見ている。面白いな。超人糸井が出てたが、デカい。野球選手ってデカいな。球場で見ると、遠くでもデカいのが分かる。テレビで見るのより実際は一回りデカいな。新幹線の中に Lions の選手御一行と、古田敦也が乗っていたことがあるが、圧倒された。いや、背だけならサッカー選手のデカさも凄い。一度新横浜駅で横浜Fマリノス御一行様がいるのを見たことがあるが、化け物みたいだった。逆に芸能人は実物の方が小さい。前に電車で、吊りを掴んで下を見ると、矢部美穂が座っていた時があった。本人かな？と思っていたが、終点でマネージャーらしき男の人が寄ってきて、荷物に「MIHO」と書いたシールが貼ってたから間違いないな、と。で立ち上がった時にあまりの小ささとか細さに驚いた。えーと、何の話だっけ。まあいいや、発散してきた。ボディービルダーを見たらさぞデカかろうな。

明日は床屋へ行こう。いい加減鬱陶しくなってきた。前は9月12日行ったようだ。2カ月弱だな。まあいいでしょう。次は年明けだな。本格的に寒くなる前に行ってこよう。帰ってきたら日本シリーズ観戦だ。Tigers を全力で応援しよう。

うな松で食事をして大学に着くと、ゼミを無しにしてくれとメールが来ていた

どうも一日おきに無茶をするな。昨晩はまた下らん計算を始めてしまった。昨日職場でやってたのは前にやった f(x)∈Q[x] を4次式として、y²＝f(x) で定義された楕円曲線（affine な有理点を持つという仮定はする）を Weierstarss 標準形に直す計算だが、帰宅後見たら、f(x) の4次の係数が9の場合に、小細工して右辺をモニックにしてから云々とやってたが、いや、そんなの不要だろう、と。で計算を始めたら例によって答えが合わないこと合わないこと。1ステップずつ SageMath で確認しながらやったら、結局 4(x＋1/2)²＝(2x＋1)² で間違いが頻発していた。下らんミスだ。で出来たら結構簡単な結果に成って、まあそれはそうだよね、という関係式が出てきて納得。でもう相当な時間。1時10分からのゼミに備えて体調バッチリにしないといけないのに。爆睡してゼミに遅刻するわけにいかないので、仮眠しておけばいいかと、テレビを消さずに横に成った。結局ちょっとしか寝られなかった。

ではま寿司で昼飯を食べてから職場に行こうということにしたが、テレビのリモコンが行方不明。昨晩郵便物をポストから持ってきたが、マイナンバーの更新が何だとか結構重要な書類が幾つかあって、それを目立つ所に置いた時に埋もれさせてしまったようだ。探すのにちょっと掛かった。前の部屋では冷房のリモコンが行方不明に成り、1カ月間程冷房を運転したままにするという、財布と地球に優しくないことをしたが、まあ時期的に問題は無かった。テレビのリモコンは失くすとずっと ABC しか見られなくなるので、必死に探した。ではま寿司に寄る時間は無さそうだ、ということで、うな松にしようということにして11時ちょい前くらいに住処を出た。

が、何かロクでもない。京都東インターで、レーンが一つ閉鎖中に成ってて、でその一つ右のレーンに列が出来てる。小生は我慢したが、業を煮やしてもう一つ右に行く車が結構いたが、中々レーンを通過出来ない。本線に合流出来ずに列が伸びていて、結構トロトロと進むと、本線も結構渋滞してる。渋滞情報は無かったが。府県境付近で追い越し車線の車が走行車線に車線変更し始めていて、何だと思ったら、追い越し車線にハザードランプを点滅させて鎮座している車が一台。こいつのせいか。様子を見るに事故ったわけではないようだし、ガス欠か？バッテリー上がりだったらハザードランプすら点かないだろうからな。青の車で、ウィングの付いた格好いい車だったが。ああ成ると格好いいだけにみっともないな。冷笑させてもらった。そこを抜けたら、こんなにすいてるのというくらいすいててビックリした。結局そこを抜けるのに10分くらい掛かった。

で11時半近くに草津田上インターを降りて、で一路うな松を目指すが、途中でビックリ。「鰻」の看板が。小野山のバス停付近に、通称「十禅」という「十禅の里 一水庵」というそこそこの値段で使える料亭があったが、コロナでお得意様のうちの関係者が行かなくなったのが響いたか、数年前に閉店してしまったが、看板がずっと出てて、どう成るんだろう？と思っていたが、そこに「鰻の成瀬」が11月1日にオープンするらしい。うな松とは結構近いが、うな松の方がいい鰻をお手頃価格（最高で3300円、成瀬は安いのは1600円くらいだが、ちょっと奮発すると4400円）なので、まあうな松は大丈夫かな。で例によって名物一本鰻を食べて、100円引きのクーポンを使って3200円也。

で12時10分過ぎに職場に着いて、でメールを見た。すると、今日発表予定の学生が体調を崩して、来られないとのこと。もう一人の学生（二人でやってるゼミ）は急遽のことで準備出来てないので、今日のゼミは無しにしてくれ、というメール。時間を見ると11時半くらい。高速道路を走っている頃に届いたメールだな。いつもの通りの時間に起きてメールチェックしていれば来なくてよかったが、今日は渋滞に飲まれたりとついてないな。まあいいです。実験実習費の伝票の処理とか、学生委員の仕事とか、やらないといけないことが幾つかあったので、こなしておいた。で明日の講義の予習もちょっと。正規拡大難しいな。ゼミが無かったので、色々出来て、まあよかったな。4時15分くらいに職場を後にした。

これくらいの時間だとまだ渋滞してないだろうと思ったが、名神は途中からそこそこ混んでた。まあビターっと止まると退屈で眠く成ったりするかもしれないが、そこそこ動いているので集中出来た。で三条通が想像以上に混んでた。5時過ぎの三条通は駄目だな。調子がいい時は早くても7時過ぎに帰ろう、と改めて思った。

で5時過ぎに住処に着いて、Uber Eats に適当に夕食を頼んで、その後ニュースでドラフト会議の情報を仕入れて、ちょっとダウン。テレビを消さなかったせいで、2話続きの「緊急取調室」の結末を聞いてしまった。まあいいです。でさっき起きた。今日は早く寝よう。まだ寝不足であることに変わりはない。先週は日曜日にやってるドラマの再放送を見てから寝たので遅くなったが、今日は見ないで寝よう。これで来週から見ないことに成るだろうから、木曜日は早寝出来るように成る。

ドラフト会議の情報をちょっと。注目の佐々木麟太郎は Hawks が交渉権を得たが、Baystars との抽選の末とのこと。Baystars はこの上まだ大砲が欲しいか？Facebook を見てたら、Baystars ファンとしてはトータルで満足いったようなことを書いてたが、どうなのだろうか？ABC のニュースでは Tigers の1位指名の創価大の立石正広でなく、花園大初のプロ野球選手と成る Eagles が1位指名した藤原総大にインタビューしていた。高校2年まではショートを守っていて、3年生に成ってから投手転向、大学時代は155km/hの球を放ったそうだから、逸材かな。まあ指名されたからと言って、将来が確約されたわけではない。佐野や祐大のようにドラフト9位、Buffaloes の杉本のように10位なんてところから這い上がった選手はいるし、1位指名でも一軍出場出来ずに辞めていった選手も多い。実力と運と両方必要だからね。幸多からんことを願っておこう。

卒研ガイダンスは無事に済んだと言っていいのだろうか？

昨晩は「テレビ千鳥」が終わったらすぐ寝た。小生にしては早い方。で10時前に一旦目が覚めたが、まだ早いし眠い、ということで目をつぶる。30分ちょい経ったらアラームが鳴った。少しグダグダしてから起きた。はま寿司に寄ってから職場に行くほどの時間は無いし、そうかと言ってすぐ出掛けると早過ぎる。シャワーを浴びるつもりだったが、何か腹の具合がよくない。原因は分かってる（自明でしょう）ので心配はしてないが、風呂から出てすぐトイレは勿体ない。（昔三宅裕司がラジオで同じこと言ってた。）ということでグダグダと過ごしてしまったが、寝癖が酷いので、バスタブに頭を出して、軽く流すくらいはした。

で職場に着いて、そんなに奥でない所に停めて、卒研ガイダンスのある建物へ向かう。丁度向こうから同僚が二人歩いてきた。部屋を確かめるのが面倒だったので、彼等に付いて行く。教務委員の先生に今年度から昼休みの時間が変わってるって言ったのに、どうもまだ把握してないらしく、学生の集まりが悪いので心配そうにしていた。いや、今しがた講義が終わったばかりで、多分フォレストハウスで講義だろうから、コラーニングIは遠いって。で何とか学生が集まってきたので、開始。昨日書いた通り小生は2番目で、頭の中がまとまってない状態でグダグダ喋ったから肝心なことを何も言えてない気がする。他の先生方は自分の分野がどんな世界なのか丁寧に紹介されていたが。やはり何人か様子を見てからやれた方がいいな。

1時10分くらいに終了して、さて昼飯ははま寿司か、と思っていたのだが、雨が降っていて薄ら寒いのと、腹の調子が相変わらずいまいちなので、向かいにあるリンクスクェアの売店で弁当を買って済ますことにした。でその後特に用事は無いので、色々考えたり。いつも使ってる pdf を見るソフトは、一回開くと次に起動した時に見たファイルがドバーっと開いたままで、タブが沢山出ていてうるさい。何故開いてるかといえば、中途半端に考えて途中に成ってることが多いからで、どれかを片付けよう、と始めたが、計算が全然合わなくて難渋。何か楕円曲線の係数が4桁とか5桁とか。導手に至ってはもっとでかい。いや、絶対間違ってるって、と何度も計算して、正しい結果が出るまで数時間掛かった。が、さっきまではデカい数のオンパレードだったのに、24が出て聞いた時はまだしも、0が出てきた時は、これ合ってる？と思ってしまった。線形代数の演習の時間に2次正方行列 A に対し A^2－tr(A)A＋det(A)E を計算させて、零行列が返ってきた時に不審がってる学生が数名いたな。で冷静に考えてみれば、開いてるファイルに答は書いてあるのだった。もっと早く気付けばよかった。まあ合ってるということでよかった。

で帰る前に昨日理工学部事務室に問い合わせたことを自力でどうにかしようかと。返事が無いのは、答えるのが馬鹿臭いほど初等的なことなのでは？という気がしたので。で7階の学系事務室を探したら、あった。おぉ、これか。明日も職場に行くから書いて、スキャンして、pdf ファイルにして送ろう。ついでにプリンターのトナーを買ったのの領収書も処理してしまおう。やれやれ。でもう1件気に成っていたことがあったのだが、動き出さないとまずいようだ。よく要領が分からないから、去年やった人に聞いてみよう。今日は出張事業に愛知のどこだかかに行っておいでなので、お疲れだろう。こっちも明日やるか。で何だかんだと10時過ぎまで職場にいてしまった。腹の様子は一進一退。帰途で飯屋に寄るのはやめた方がいいかもしれないということで、こんな時間だが高速道路で帰ることにした。

帰ってきて「報道ステーション」を見始めたが、ちょっと勘違いしていることがあったことが分かった。ドラフト会議は日本シリーズの前日ではなく二日前。そう明日。日本シリーズは土曜日だからね。それなら移動日の心配は無い。高校野球も大学野球も社会人野球も殆ど見ないので、名前を言われても分からない。去年のブログを見たら、ドラフト1位で竹田祐が指名されたことが書いてあったが、今シーズンの後半に成って一軍で投げた時に、「ドラフト1位の竹田祐です」と言われても全然ピンとこなかった。まあ今年もそうなるだろうな。

先週の木曜日にブログを書いてる途中に日が変わって、おかしいな、と思っていたのだが、謎が解けた。「緊急取調室」が初回拡大版だったので、全ての番組の始まるのが数分遅かったのだ。今日は「相棒」の2回目だが、やはり15分拡大だったようで、さっき「これ余談なんですけど…」が始まったばかりだが、もう11時35分。今日は日が変わる前に投稿出来る。よかった。

p 進数がローラン級数であることをきっちり証明したった

結局月曜の晩は夜更かししてしまう。コロナの時にプロレスを見る習慣がついてしまったが、最近はあまり真剣には見ていない。昨日もそうだったが、何か面白いことに成ってきた。EVIL という極悪レスラーがいるが、そのやり方にキレたのが、まだ練習生のウルフアロン。来年の1月4日デビューだが、何と EVIL に挑戦状を叩き付けた。面白いぞ。正月実家にいるかどうかは親父殿の容態次第だから何とも言えないが、録画予約はしておこう。

でまたしても結構な時間まで寝てしまった。幸い講義には間に合う時間で、弁当を買い込んで食べるくらいの時間はありそう。で着いて、駐車場から歩いているうちに何か腹の具合がおかしくなってきた。幸い今日は前の講義は早目に終わったようで、部屋の電気が消えていたから、荷物を置いて、しばし。結局食事をする時間は無くなった。まあ仕方ない。

今日は大学院向けの講義。p 進体の元がローラン級数で表せることと、逆にローラン級数が p 進数を定めることなどをやって、p 進付値の値はローラン級数が何番目（負の場合があるから何番目というのはちょっと気が引けるが）から始まってるかで分かるとか。で加法と乗法はいたって形式的に計算すればいいことなどを示したら時間に成った。来週はヘンゼルの補題をやって、その応用をやって、でやはり平方剰余がないと理論に深みが出ないよねということでやる予定。平方剰余は p 進数が分からなくても大丈夫、ということは言っておかないと。勿論巡回群がどうしたとかやるので、大半の学生にはチンプンカンプンなんだろうが。

講義終了は4時半で、リンクショップが閉まるのが4時半、というのは流石にまずいと思ったのか、5時まで延長営業と成っていた。が、年内いっぱいやってみて様子を見て、年明けをどうするかは状況を見て決める、と書いてあったが、いやいや、去年までは4時10分講義終了で4時半閉店だったからよかったが、4時半講義終了で4時半閉店は流石にやめていただかないと。パン屋ら弁当屋らを売ってる所は10時半まで無人で営業なので行ったが、ドアが開かない。何だと思ったら、学生証なり教員証なりをかざして鍵を解除する必要があるようだ。で開いたので、カレーパン一個とコーヒーを買って流し込んで、ちょっと個研室で用事。事務に送らないといけないものがあるのだが、よく分からないのでメールを書いて返事を待つが、担当者はもう帰ってしまわれたか返事が無かった。まあいいや、明日また職場に行くから、それからやれば。で講義資料を直して web に上げて、ついでに来週の予習を少ししておいた。平方剰余は原始根の何乗に成っているか見れば分かるが、指数の偶奇が原始根に依らないことは言っておかないと、と思ったが、今考えると平方元かどうかは原始根に依らないから、示さなくていいのでは？という気がしてきた。まあいいや、そっちも明日考える。で8時近くに成っていたので、高速道路はもう混むまいと、帰ることにした。

帰ってきてテレビを付けたが、火曜日って何を放送してるか全然知らない。いつも野球を見るからね。であまりそそられるものがやってないので、先日最終回だった「激レアさんを連れてきた。」のまだ見てないものを見た。面白かった

今日は大阪は20度を切ったそうだが、明日は17度が最高らしい。東京は最高気温13度とか。急に陽気が変わるのは勘弁して欲しい。今日は寝不足で自律神経の具合がおかしかったかあまり寒く感じなかったが、明日は1枚着こんで行くか。明日の用事は12時20分からの卒研ガイダンス。2番目に説明しないといけないので、遅れないようにしないと。今晩はちゃんと寝て、明日は早目に起きよう。で終わったらサクッと帰って床屋、と考えていたが、ちょっと会議があるらしい。有志の会議、というから別に出なくてもいいんだろうが、まあ出ておくか。たまには同僚の顔を見ないと。あ、昼に沢山会うな。今年の学科長は会議があまり好きな人ではないから、学科会議が殆ど無い。何が問題に成ってるか疎くなってしまうし、出ておくかな。会議まで時間がタップリある。溜まっている用事を片付けて、その後少し勉強するか。代数的閉包の存在と一意性の証明？うーん、腰が引けてしまうね。ゼミで少し解析的な話が出てきたからそれのことでもやろうか？解析は腰が引けてしまうね。まあやることは色々あるので、その場の雰囲気でということにするか。