2025年11月4日火曜日

超寝不足で平方剰余の相互法則の証明をほぼ終えてきた

ちょっと気に成ってることがあって、位相のことを始めると、相当忘れているというか勘が鈍っているというか、難渋した。大学入ってすぐの土曜日の9時からの専門科目「数学概論B」(新任の山田義雄先生が担当だった)で距離空間の開集合だ閉集合だは一生懸命やったんで身に付いていてるが、近傍と成るとちょっと。近傍と開集合を行き来するのに大分難渋した。で出来上がった TeX ファイルを見ると、悉く「解集合」に成っててうんざり。ここ5年ばかり何らかの形で線形代数に関わってきたので、「かいしゅうごう」と打って「解集合」に成らないので、嫌になって単語登録したのだったな。事務作業で「基礎数理」と打ちたくて「奇素数理」と成るので、成程と思ってしまうが。でまあ数学のせいだったりそういった下らんことのせいだったりで、火曜日の恒例の超寝不足。宅配便が届いて、もうそこで観念して、起きていることにした。

講義は2時55分からなので、1時過ぎに住処を出発して、はま寿司で昼食と決めて出掛ける。もう高速道路は混んでないし、と思って京都東インターの近くまで来ると、不吉な情報。「京都東-瀬田西 渋滞」。おい。料金所を通って本線合流前に渋滞が始まっていた。滋賀方面から来たパトカーが2台Uターンをしていったが、事故だな。暫く行くと路側帯立入禁止に成っていたので、事故車が寄せてるかと思ったら、伐採中。もう少し行って、大津インターの手前で路側帯にパトカーが複数台停まっていた。が、事故車も故障者もいない。もう片付いたのだろうか?そこからは特に混んでることもなく、普通に進めた。事故らなくてよかった。はま寿司に着いたのは1時半過ぎで、流石に混んでなかった。2000円ちょっと食べて、職場へ向けて出発。ちょっと時間があったので、生協であることを確認。

2時55分からの講義で、2時50分ちょっと前に部屋に入ると、女子学生が一人いただけ。着々と受講生が減っている感じ。数人ずつ入ってきて、開始時間帯には5人はいたかな。誰がいて誰がいないかは特にチェックしなかったが。この前ルジャンドル記号の性質を幾つか示したので、ルジャンドル記号の計算は (-1/p), (2/p), (q/p) の計算に帰着、と言ってから、オイラーの規準を示して、direct corollary として第1補充法則、1の原始8乗根を使って第2補充法則を示して、で相互法則を大体示した。上と下が引っ繰り返せることをガウス和を使って示すのはちょっと時間的に無理そうなので次回に回して、で生協で在庫があることを確認した西来路文朗、清水健一「ガウスの黄金定理」というブルーバックスの本を紹介。この本によると、高校の時に習うガウス記号って平方剰余の相互法則の証明で使われたのが最初、だそうなので紹介して、でうちの名誉教授の石井秀則先生が相互法則の証明をしているのを紹介して、で大体時間。やれやれ。

ちょっと今週中にやらないといけないことがあって、こういう時に限ってあれしろこれしろメールが来る。今日のような脳味噌の状況では新しい数学はやれそうにないので、溜まっている事務作業を徹底的に片付けてきた。スキャナーで pdf 化して送ったファイルを「カラーでスキャンしてくれ」とはごもっともな指摘だが、何とも馬鹿臭い時間を使わされた。朱肉を使うと赤だよね、カラーでスキャンしてね、とはぐうの音も出ない程のごもっともさなのだが。8時過ぎに職場を後にした。もう流石に渋滞は無いだろう。

で案の定渋滞してなかったが、慎重にいきたいということで、結構低速で走っている時間があって、バンバン追い抜かれた。京都東を降りてからも50km/hを割る速度で走ってて、後ろの車がどんどん車間距離を詰めてくる。いやいや、制限速度は40km/hですよ。いや、小生もスピード違反してるがな。

9時過ぎに住処に着いて、寿司を食べてから6時間以上経過しているので、流石に腹が減ってきた。カップラーメンの買い置きはある。が、ポットが空。沸かしてる間に無為に待つのも嫌なので、酒を買いに行く。寝不足の上に酒かい!だが、まあ水曜日は会議さえ無ければオフ。で明日は会議が無い旨学科長からメールが来ていた。ということでカップラーメンをすすりながら、かつ呑みながら先週の「ミラクル9」の2時間スペシャルを見た。鈴木保奈美は持ってるな。自ら「手ぶらでは帰らない女」と言って、上田に「北島康介以来」と言わしめただけのことはある。面白かった。

でそれからこれを書いてから作業をしようかと鞄を漁ったら、USB メモリーを入れた筆箱が無い。またか。職場で入れた記憶はあるのだが。車の中かな?まあいいです。無ければ無いでやれることはあるので。いや、そもそも寝ろってか?そうですね、寝ましょう。今「相席食堂」がやってるが、この後「ロンドンハーツ」があって、その後「テレビ千鳥」。そこまで行ったら寝る。