昨晩はその後岡崎体育の曲を聴くのに一苦労。歌詞が出ているページから聴けるのかとクリックしたら、Amazon Music Unlimited とかいうのと契約する羽目に成った。まあ4か月無料なのでいいです。無料期間にたまに聴くか、と思わないでもないが、小生は CD を買って聴くという時代遅れなことをやってるので、まあ聴かないな。住処にいる時は大抵テレビが付いてるし、職場では無音で勉強なる雑用なりしてるから。でその曲は「季節の報せ」というタイトルで、いい感じの曲。テンポが良くて、言葉も聞き取りやすい。いや聞き取れなかったのでは?と言われるだろうが、歌詞を見ながら聴いたんでね。「微睡む」とか「象る」とか難しい言葉を使ってるから、歌詞を見ながらでないと分からないな。うん、まあ、何でもカタカナ語にしたり漢字を使わなくなったり(「子ども」とか「り災」とかやめた方がいいと思う)に比べたら、まあいいかな、と。
で寝たが、起きたら1時を過ぎてた。まあシャワーを浴びて行っても弁当を買って食べるくらいの余裕はある。で生協にもウェストウィングにも割と近い所に停めて、弁当を買って食堂の脇のスペースで食して、ちょっと時間潰しをして講義室へ。
今日の「数理科学セミナー」はお話が多かった。最初は mod 4 で3と合同な素数の無限性とかあったが、mod 4 で1と合同な素数は第1補充法則をやるまで証明出来ないだろうし、残りの回数でそこまで行くとは思えないので、まあ無理か。で算術級数定理の主張が出ていたが示せるわけもなく、紹介してくれただけ。で次の章は素数定理の主張が出ているが、勿論証明できない。ただ学生はそれじゃ面白くなかったか、Li(s) を使った同値な言い換えとか色々調べてきてた。ただ後で考えると、π(x) と x/log x の比が1に収束する、という主張の前に「発散のスピード」ということについて書いてあったが、学生は何もそれについては言わなかった。「発散のスピード」というのは目茶目茶大事なのだが、解析の勉強をちゃんとしてないか?まあいいけど。
ちょっと休憩を挟んでゼミ。二人の学生が相手だが、一人が体調不良で休むことがよくある。二人だと隘路に嵌って、どっちも冷静さを欠いてグダグダになる、ということが多いが、三人いるとどうにかなる。今日はどうでしょう?と思ったら、案の定トラブった。二次体の狭義類数の話で小生が立ち往生するのは何とも情けない。実二次体で論文を沢山書いてるんだが。降参して個研室に本を取りに行って数冊見繕ってきたが、高木貞治「初等整数論講義」がどこにあるか分からない。まあいいか、と河田先生の本と小野先生の本とを持っていく。で後者はコホモロジーがどうしたとかよく分からないので前者を見たが、そうかこういう方針だったか、と当たり前のようなことが書いてあるのにびっくりし、それを参考にして、そこそこ時間を使ったがどうにかなった。√d が総正でないのを学生が使っていたのは変なんじゃ?と思ったが、それでよかった。うん、もう大丈夫。でもう8時近かったので、学生の側から終了を宣言してくれた。やはり三人いた方がいいな。月曜日のゼミはデフォルトで学生1名なのだが、この前も下らんことで学生も小生もてんぱった。もう一人いて冷静でいてくれたらどうにかなったろうという気がする。来週は三人でやれますように。
で部屋で作業をしようと思って鞄から筆箱を出そうと思ったら無い。「数理科学セミナー」が終わった後、テキストとメモ用紙を入れた袋を車に置いてきたが、筆箱をそっちに入れてしまったらしい。USB メモリーが無いと作業出来ない。紙をスキャンするにはコピー機に USB メモリーを刺す必要があるし、困った。仕方ないのでさっきの狭義類数のことをきっちりとギャップが無い形で紙に書き出しておいた。ちゃんと復元出来たし、来年度以降同じことが何度か出てきても大丈夫だ。まあこういうことを繰り返して段々定着していくんで、行きつ戻りつするのは悪いことではない。58歳に成ってこの体たらくはちょっと人には見せられないが。って書いてるがな。
することが無いので、少し早目に職場を出た。天下一品の山科店が3月いっぱいで無くなったので、天下一品に行こう、ということで一路膳所を目指す。が、ここから幾つかついてないことが。天下一品では注文がタブレットでやるようになっていたが、タブレットが不調で席を移らないといけなくて、で前より丼が小さくなった気がしたが値段は1190円と高くなってる。まあいいけど。でガソリンが底を突きそうなのでガソリンスタンドへ入ると、いつも給油している所に車がいたので、隣の隣(左に給油口があるので、隣では駄目)に入れようと思ったら、対面から車が入ってきて、もぅ。最初の所が空いていたので、バックで戻ろうとすると、ガソリンスタンドに入ってくる車があって、しばし判断に困る。でまあ何とか入れたけど、出る時にいつもは国道1号と直交している道路に出るのだが、今日は国道1号に出よう、としたら、信号のタイミング等で少々立ち往生してたら、左を見ると歩道の上で自転車の乗り手が「邪魔やないかい」というような目で見ていた。何か色々嫌だった。いや、事故は起こさず無事に帰り着いたからいいけどさ。
ウェストウィングの1階の自販機の内の最も新しいやつで Coke ON アプリが使えるように成ってた。新500円玉は使えるが、札を入れる口がそもそも無いという困った販売機だったが、これで使い勝手が少しはよくなった。3台並んでるが、1台は新1000円札は使えるものの新500円玉が使えないという中途半端な機械、もう一台は新500円玉も新1000円札も使えないという困ったちゃん。新1000円札の使える機械はしょっちゅう釣銭の100円玉が切れてるが、両替目的で使ってる人がいるということなのだろう。あ、新1000円札の使える機械は Pay Pay 払いに対応してるが、いや、新1000円札の使えない販売機こそ Pay Pay 対応にしてもらわないと。Coke ON が使える機械が出来てよかった。明日の講義の前はその販売機でアクエリアスを買う。明日の講義は1時10分からだから、今日はそこそこの時間に寝ておかないと。今日目が覚めた時間まで寝ていたのでは休講に成ってしまう。気を付けよう。
今たまたま「数論序説」が目に入ったので改めて見たら、ちゃんと類数と狭義類数のことがちゃんと出ていた。コホモロジーなんて使ってないし、何なら二次体以外にも適用できる証明のようだ。読んでみよう。TeX 化する時はそっちだけでなく二次体限定の証明も載せておく。下手な証明も上手い証明もそれなりに得るところはある。エレガントな証明だけがいいわけではない。ことの本質は下手な証明の方が捉えてる場合はあるのでね。伊原康孝先生が書いておられるように、後の世代が洗練させた証明より原典の方がいい場合もあるのでね。小生のような鈍才というか愚才というかは徒手空拳で下手にやりましょう。