結局プロレスまで見てしまい、その後気付いた。年内最後の資源ゴミの日。急いで空き缶を袋に詰めて、段ボールを開けて解体して、で紙ゴミも出して、などとしてたら結構な時間に成ってしまった。むう。
で今日は保健センターに行かないといけないので、ちょっと早起き、のつもりが上に書いた通り寝たのが遅かったので、1時くらい前寝てしまった。保健センターの診療開始は1時半で、まあその直後くらいには職場に着けるだろうから、慌てて出掛けた。で案の定、保健センターでは結構な人数の人が待ってた。で診てもらって処方箋をもらったらもう2時20分過ぎ。弁当を買って食べる時間は無さそうなので、ウェストウィングの1階でパンとコーヒーを買って、講義室で食べた。
今日は院生向け「数理科学特論2」。出席者は5人。うち二人は登録してない学生なので、実質は3人。一人は律儀にも欠席する旨メールをくれてた。今日は第2補充法則の証明のための補題をやってから、第2補充法則の証明と、ガウス和を導入して、ガウス和の2乗が p* になることなどを示して、ガウス和の真の値を決定するのにガウスが4年掛かった話などしてから、相互法則の紹介をして、計算例を見せてから相互法則の証明。a(p-1)/2 を √a の p－1 乗と見た人は偉いな。やはりガウスだろうか？ということで1の冪根を使って証明した。これだと予備知識や準備が少なくていい。ということでもうそろそろ終わりだろうと思って腕時計を見たら、まだ15分もある。結構な枚数印刷してきたんだが、ルジャンドル記号を沢山、しかも align* 環境を何度も使って書いたから、ページ数の割に内容は少なかったようだ。線形代数も行列を沢山書くからページを食うが、行列は書くのに時間が掛かるからね。ルジャンドル記号は簡単に書けてしまう。で仕方ないので、Q(√－5) のイデアルが2乗すれば単項イデアルに成るとか、単項イデアルでない場合は 2 の上にある素イデアル (2,1＋√－5) を掛けると単項イデアルに成るとか示したら残り3分くらいに成った。まあクリスマスだし、ちょっと早目に終わらしましょ、ということで。いや、それだったら節が変わる前におしまいしてもよかったが、まあいいでしょう。
ですぐ帰ってもよかったんだが、冷静に考えると来年の講義初日は月曜日、年内は今日で行くのが最後、ということで線形代数の準備をしないとまずいということで、しばし作業。教授会はあるか無いか調べておかなかったが、事務長の名前でメールを検索したら無かったので、安心して線形代数に取り組めた。まあ大体出来たかな。木田さんの本のグラム・シュミットの直交化法はちょっと他の本と違う。大概の本は正規化を毎回やるので、計算ミス続出すること山の如しなんだが、木田さんの本は正規化を最後にまとめてやるので、平方根が出てきたのをまた2乗して平方根を取り直していうことをしないでいい。まあ面倒なことには変わりないが。
処方箋の受付は8時までなので、7時くらいには職場を出た。もうこの時間だと高速道路は混んでおらず、7時半くらいには調剤薬局に着いた。でその後気付いた。今日はロクな物を食べてない。はま寿司にしよう、ということで外環三条に舞い戻って右折。待たされずに食べられた。で食べてる最中に違和感を抱いたのだが、暫くして分かった。100円のお得メニューは100円のままで、290円のプラチナ皿も290円のままなのだが、150円メニューが160円に値上がりしていた。むぅ。やはり不景気なのだろうか？まあ仕方ない。ということで2000円近く払う羽目に成った。今度からは頼み方に気を付けよう。帰りにガソリンスタンドにも寄ったので、今日は大分金を使った。まあはま寿司は PayPay で、ガソリンスタンドはクレジットカードで払ってきたので、財布の中身はそんなに減ってないが。
さて、上にちょっと書いたが、小生は今日で仕事納め。大学自体は明日まであるが、小生は水曜日は用事が無いので。会議も無いようだし。というわけで呑みますかね。クリスマスだけどケーキはいいや。今年は頑張った。まあ前にも書いたので詳細は略すが。後数日、ボーっと生きよう。そろそろ新年開けてどんな番組がやるか分かってくる。予約する余白を作るために幾つか見るなりダビングするなりしないと。今「座王」のスペシャルがやってるようだが、後で見てからダビングしよう。で今 NHK のホームページを見たら、「笑わない数学」のスペシャルが29日に放送されるそうだ。CMに成ったら録画予約しよう。実家ではやることが無いので、録画したまま見てない Blu-ray や買ったまま見てない映画の Blu-ray を幾つか見よう。数学もするよ。馬鹿に成ったらいけないからね。住処でも多少の数学はする。書き散らかしたものを整理しないと。あ、年賀状をまだ買ってないな。郵便料金は派手に値上げされたようだが、お一方から喪中葉書きが来ていたの以外は例年通り書くか。まあ15人弱だから、大して面倒でもないが。
