今日は月一の保健センターの日だったので、早寝して早起きして、と先週は思っていた。しかし数日前、いつも薬を処方してもらってるドラッグユタカ山科店が改装だか何だかで昨日から24日まで休むらしいと知った。薬がもらえない。他のドラッグユタカでもいいかとも思ったが、新しい所へ行くと色々書かないといけなくて面倒だし、そうかと言って他の行ったことのある薬局でも新しい薬をもらうとどうしたと聞かれて面倒。薬のストックも十分あるし、来週にしよう、ということで、だらしない生活をした。いや、ちゃんと数学をしたんだけどね。昨日書いた判別式 D の二次無理数と「モ変形」で写りあうのはやはり判別式 D の二次無理数、というのの証明を考えた。勿論徒手空拳で考えるのは無理だと思うので、高木貞治「初等整数論講義」を引っ張り出してきて、睨めっこしたわけだが。で何やら結構計算しないといけないような証明に成っていて、嫌だな、と。まあ昨日学生がやっていたようなおぞましい “証明” よりはましそうだが。「数論序説」の証明も何だかよく分からないし、どうしよう、とああでもないこうでもないとやっているうちに、大分見えてきた。「初等整数論講義」に書いてある判じ物が何を言いたいか分かってきたので、「数論序説」の証明を考え直してみたら、ああ、そういうことか、と。「初等整数論講義」に出ている謎の式は行列の成分で、結局行列式の計算をすれば、おぞましい計算はいらないな、と。|tA|＝|A| とか |AB|＝|A||B| が役に立つ。ということで完成。数時間掛かった。TeX 化しようかと思ったが、寝ておかないといけないので、やめることにした。
で爆睡して講義に遅刻、というわけにはいかないので、テレビを消さずに横に成る。12時と1時にアラームが鳴るようにしてある。で1時に起きた。「徹子の部屋」の音声が聞こえてきた。この前話題にした風間俊介が出ていたが、とっちゃん坊やみたいな顔をしているが、もう41歳だと知ってびっくりした。4チャンネルに切り替えて、でちょっとお腹の調子が悪いので少し個室で座っていたが、賑やかな筈の「ゴゴスマ」が静か。戻って見ると、鈴木紗理奈が何やら真剣な表情で話している。途中からだから何だか分からないので、2時に成っていたし、職場へ向け出発。幸い小生の車は地下に行っておらず、すぐ乗れた。
2時40分から院生向け「数理科学特論1」。この前素イデアル分解の可能性の証明が何かおかしくて時間の兼ね合いで修正が無理そうだったのもあって、今日はそれから。ちょっとした書き間違いだけだった。でその後分数イデアルを導入してから、I⊂J ⇔ J｜I とか、I＋J の素イデアル分解が I,J の素イデアル分解から分かり、最大公約数みたいだよね、というあたりでチャイムが鳴った。今日も寝不足でハイだったので、がーっと喋り捲った。出席者が大分減ってきたが、まあいいです。小生のゼミの学生に向けてやっているので。単位認定は甘いので、まあいいでしょう、ということで。
寝不足だから、大渋滞に成る前に帰宅しようということで、すぐ職場を後にした。「瀬田東JCT－大津 渋滞」とか「京都東－京都南 渋滞」の表示だが、草津JCTからでないので、名神にすぐ合流できるだろうということで、安心。瀬田東JCTを過ぎたらちゃんと渋滞が始まった。で「この先渋滞14km」の表示でギョッとするが、そんなでも無かった。結構な距離 60km/h は出せていた。5時くらいには住処着。
で相撲がやっているのをすっかり忘れていて、仮眠してしまう。8時過ぎに起きて夕飯。その後久しぶりに「マツコの知らない世界」を見た。メンチカツの話をしていたが、メンチカツっておいしいよね。小学校の給食で一番好きだったメニューかもしれない。ラクトの豚カツ屋に対し A 堀先生も T 教授も手厳しかったが、A 堀先生はメンチカツはジューシーで旨いと言ってて、確かにそうだった。が、数年前に行ったら、味が目茶目茶落ちてた。その時この店には二度と来ないな、と思ったのを思い出した。東京の今半のメンチカツが美味しいとのこと。行ってみるか。
2、3メールを書いて、二次無理数のことを TeX 化して学生に送るか、と思ったが、面倒だ。分かってしまうとそれで終わりにしてしまい、書き散らかした紙が大量にある。面倒だがやるか。「証言者バラエティ アンタウオッチマン！」が終わるのは1時半過ぎだから、今からやればそれまでに終わるだろう。寝不足だから、今晩はゆっくり寝たい。今朝は寒かったし、明朝はもっと寒いようなことを言ってた。風邪をひかないようにしないと。日曜日までは調子を崩すわけにはいかないのでね。
