どうも遅くまで起きていてしまうな。でそのせいで起きたらもう2時くらい。2時55分に「数理科学セミナー」を開始出来る状態にしないといけない。取るものもとりあえず出掛けよう、と思ったら、有理点が見付かってる。急いで USB メモリーにコピーして、2時10分に成る前に部屋を出る。が、ついてない。立体駐車場が何やら作業中。人がいなかったが、「車出したいんですけど」とちょっと大声で言ったら下から出てきた。二人組でやっているようで、もう一人の人にパレットが動く旨伝えていた。でパレットが動いてる最中にもう一人の人が隙間からひょこっと顔を出した。結構狭い隙間だと思ったら、人の一人くらい通れるんだな。小生はデブだから無理か。で出発してインターチェンジで渋滞情報を見ると、草津田上－信楽間で渋滞がある模様。うー、急いでるのに。実際どれくらい混んでるか分からないので、瀬田西で降りた。で生協で弁当を買って食す時間も無く、カレーパンを一個買って齧ってる最中にチャイムが鳴った。
今日の「数理科学セミナー」はフェルマーの小定理の話。が、色々いけない。主張の前に数値実験をして様子を見て、という所をやろうとしない。言うと「すぐやります」と全然関係無い話を始めて、フェルマーの小定理の証明もテキストと違ったことをやってる。言ってもやめようとしない。日本語が苦手な留学生のようだが。途中間違えている所もあって破綻しかかってるだが、やり続けている。で一通り終わって気が済んだか、と思ったので、最初の数値実験の所を飛ばしてはいけない、来週やりなさい、という旨を言って、それからテキストに書いてある証明を紹介するようにも言っておいた。皆が色々なことの別証明をしたりするので、そうしなくちゃいけないのかと思ってるかもしれないが、テキストの輪講なんだから、書いてあることにはある程度沿ってもらって、それで余裕があったら別証明をやればいいので、最初からテキストの証明を無視するのは好かん。日本人じゃないんでニュアンスが伝わるかどうか分からないし、小生元々言ったことがきつく聞こえる方なので多少は遠慮したが、十分きつかったかもしれない。まあいいです。来週はちゃんとやってください。10分くらい前に終了。
その後はゼミがあるので、学内のファミリーマートでサンドイッチを買って齧っておいた。8時過ぎまで空腹に耐えられそうにないのでね。今日のゼミは算術級数定理の証明。色々準備してあるので証明だけだが、まあそれでも大変なことには違いない。何度か証明を読んだことがあるが、時々分からないので質問する。χ が単位指標じゃない時に L(1,χ) が0でないことにデデキント ζ 関数を使った類数公式を使ったが、これの証明は大変。解析接続もしないといけないが、2年前に読んだ本では解析接続せず、留数を (s－1)ζK(s) を s→1＋0 した時の極限値が求まるので、という形でやっていたが、それでも大変は大変。結構何週間も掛けたような記憶がある。L(1,χ) が0でないことはもっと純粋に解析的に示せるが、その証明は正直理解したことがない。やはり代数体をいじってるんで類数公式に頼るのが一番だな。その後 Dirichlet 密度をちょっとやって8時くらい。素数全てからなる集合が密度1、という当たり前みたいなことでもやるとちょっと大変だが、mZ 中の素数の密度が φ(m) というのがやってあるので、一瞬では？と思ったが何やら始めた。要するに m＝1 の時に証明しているんだが。公差1の等差数列とか公比1の等差数列とかあまり考えないよな。いや、対比なら公差0の等差数列か。こういう極端な例も考えると大事なのだ。単位元だけからなる群とかね。あ、思い出したことが一つ。永尾汎先生の代数の本は気に食わないことがある。環の定義に0と1が異なることを要請していて、これはまあよくあるのでいいが、環 R のイデアルに R を含めてない。R/R の元は一個だけなので環ではない、ということなのだと思うが。いやいや、イデアル類群考える時に困るでしょ、分数イデアルの群はどうするの？という気がして、それから嫌に成ってこの本は開いてない。どこに閉まったかも忘れていたが、この前ひょこっと出てきた。開いてないけどね。
その後ちょっと伝票を経理に送る作業。この前学科の事務室に行ったら、その手続きをする用紙が無くなっていたので、事務の人に言っておいたらファイルを送ってくれた。印刷して送る手続きをして終了。その後ちょっと数学。何か色々気に成ることがある。腹が減ってるので、ちょっとでやめた。野球の様子を見ると、3－1とリードした状況で9回表。康晃がランナーを二人出してしまったが、数分後に見たら終わってた。併殺打、ピッチャーゴロで打ち取って点を取られなかった。良かった。今日は3点取ったが、代打京田の3ランホームランのみの得点と、相変わらず。まあ勝ったのでいいです。3タテ食らわなかったし、東が Buffaloes 戦初勝利でシーズン5勝目。いいでしょう。今日の交流戦はセの勝ちが Baystars と Dragons のみ。Dragons がセ唯一の3連勝、Baystars と Giants が1勝2敗、Swallow が2敗1分、Carp、Tigers が3連敗。今年もパ・リーグが強いな。昨日 Swallows が引き分けたお陰で、セ・リーグの順位は分かりやすくなった。Tigers と Swallows が勝ち負け引き分け全て等しい。勝率の差でどっちが上とか分かりづらい。分かりやすくなった。
今日は栄養が足りてないから、ガストでハンバーグを食べることにした。JAF メートに付いてた割引券を使いたいのもあって。一回目はどうやるか分からず、店の人に聞いても彼女も首を捻っていた。見たことが無い割引券だと言ってた。二回目は順序を間違えて使えず、今日こそは使ってやる、ということで。でハンバーガーを頼んだが、失敗。ご飯とセットなのかと思ったら、セットが欲しかったらそう頼まないといけなかった。急いでご飯だけ頼む。すぐ来た。うん、まあ、期待したほどの味ではなかったが、まあいいです。肉は年をとっても食べないといけないそうだし、食べ続けるよ。
今日は結構な雨に成るようなことを言ってたが、車を停めた時も「数理科学セミナー」が終わった時も帰りもガストで食べ終わっても降ってなかった。が、車が濡れてたので降ったのだろう。などと思って走っていると、時々降る。こういう中途半端なのは嫌だ。湿度は高いし、非常にやな感じ。明日は雨は降らないようだが、暑いようなことを言ってた。明日の講義は歩いて書いて喋っての「代数学I」だから、暑いと嫌だ。まあ我慢するけど。明日も新名神の工事は続いてるから、ちょっと早目に住処を出られるようにしたい。それには早寝だが、つい夜更かししてしまうからいけない。程々にしよう。USB メモリーを取り出して作業すると遅くなってしまうから、鞄に入れたままにしておこうか？それでもやれることはあるんでね。そうしよう。いや、有理点探しさせたいから、やっぱり USB メモリー（作業メモが入ってる）は出すか。あまり難しいことを考えなければいいんだな。そうしよう、うん。
明日遅く帰ってきてもいいように先週の「座王」を見ておこう、と思ったら、「アメトーーク！」が終わってからでは遅くなる。今週は「ゲーム大好き芸人」というくくりのようで、あまり面白くなさそうだ。「座王」見るか。先週「ソフトテニス芸人」というのをやってたが、もうあれから1週間経ってしまったか。1週間早過ぎる。小生ソフトテニス（軟式テニスと言いたい世代）の経験は少しだけある。小生が大学生の頃は卒業するために体育の実技と講義で一定の単位取る必要があった。1年目は抽選に漏れて、水泳という超キツイのをやらざるを得なかった。が、一浪して太ったのが大分元に戻って嬉しかったが。ラッシュの電車に揺られて消耗していたのも体重が減った理由の一つだが。で2年の時は軟式テニスをやった。水泳は文学部のキャンパスまで15分ほど歩いて行かないといけなくて大変だったが、軟式テニスは理工のキャンパスで出来るので良かった。幸い友人が軟式テニスのラケットを持ってたので、1年間貸してもらった。面白かったのでよかった。最後サーブを規定数打って、規定数インに成ったら単位を出す、と言われいたが、小生といつも一緒に組んでくれた人（4年生だった）も小生もサーブが超下手で、確か3点マッチをやって、小生が3本サーブミスして向こうのゲーム、向こうが3本サーブミスして向こうのゲーム、小生とコンビを組んでた人が3本サーブミスして向こうのゲーム、と、助手に就いていた人が「駄目だ、もっと練習しなきゃ」と怒られた。で試験の日はコートの隅で二人でサーブ練習をしまくって、小生は無事一発合格したが、相方は結構ミスしていて、大丈夫かいな、と心配して見ていたが、球拾いをしていた奴が阿呆で、ミスした球をどんどん籠に戻すからエンドレスに成ってしまい、先生激怒。一からやり直しに成って、相方は緊張が解れたか無事合格。よかった。昭和の昔の思い出だ。数学科なのに物理実験と化学実験が必修で、これらは最高に嫌だったが、体育は楽しかった。えーと、「アメトーーク！」の軟式テニス芸人の回、結構面白かったんで、見てみてください。まだ Tver でやってるかな。
