今週は月曜から火曜に掛けて呑まなかったので、昨日から今日に掛けて呑んでしまった。木曜日は4時40分までに職場に行けばいいという、何やら妙なスケジュールなので。で起きたらもう2時近く。それでも暑さのせいなのか何なのか眠りが浅く、眠かったカフェインを注入して、4時近くに職場へ向かう。
閉店間近の生協でボールペンの替え芯を買って、一旦個研室でゆったりしてからゼミ室へ。冷房の電源はオンに成ってるようだが、暑いぞ。多分旧式の空調施設が使われているのだろう。全然涼しくない。まあ我慢する。今日から合同式。前から気に成ってるが、a≡b (mod m) ⇒ an≡bn (mod m) が全ての n∈N に対して成り立つ、というのの定着度は案外高くない。a≡b (mod m)、c≡d (mod m) ⇒ ac≡bd (mod m) はやってるんだが。今日も a2 を 7 で割った余りが何のとやってる時に、a＝7k, 7k±1, 7k±2, 7k±3 と置いて、とか始める。これ、この春に大学院を修了した学生も修論でやってた。「整数論やってて合同式を使うことを思い付かないとはお寒い限り」と添削した時に書いてしまったが、まあ言われても仕方ないよね、と思っていた。そう言えば随分前に教員採用試験の問題を持って質問に来た学生もこれが分かってなかった。だから次の年から講義で explicit にその旨書くことにした。f(X)∈Z[X], a≡b (mod m) ⇒ f(a)≡f(b) (mod m) は常識にしたいが。その後 SL2(Z) の元であれこれやる所で、「ケーリー・ハミルトンの定理より」と書いてある所があって、毎年ここで引っ掛かっている。今日の学生はしれっと通り過ぎようとしたので、突っ込んだらケーリー・ハミルトンの定理を使わないで解決していた。まあそりゃケーリー・ハミルトンの定理の2次行列の場合ってただの計算で示せるからね。一応念のため教えておいた。で1時間半も掛からず終了。折角行ったのだが、ゼミ室が暑いのでいいです。廊下に出た方が涼しかった。
ゼミ中に出ていた計算問題やら演習問題やらをメモっておいたので、個研室でちょっと考えたり TeX 化したり。いつものように野球をチラチラ気にしながら。寝不足だからなのか、超絶易しい問題が分からず、苦労した。やはりちゃんと寝ないと駄目だな。明日は講義の後、今日に比べると大分難しい内容のゼミをやるので、早目に寝よう。「アメトーーク！」があまり面白そうもないしな。早寝するか。
今日の京都は36度まで行ったらしい。夕刻に住処を出る前のニュースでやっていて、ウゲ、と思ったが、明日は37度らしい。大津は35度だと言ってたから、まあ草津もそれくらいか。講義室の冷房はゼミ室のよりは効きがいいと思ったが、どうだろうか。暑過ぎると効かないかな。とにかく飲み物を持っていって、飲み飲み講義をしないとぶっ倒れてしまうかもしれない。幸いというのも変だが、受講生は多くないので、聴衆の熱気で暑いということはない。明日終われば講義期間は残り3週。もう少し耐えればいいので、頑張る。
野球だが、久し振りに Baystars が負けて Tigers が勝つという展開に成ってしまい、3.5ゲーム差に成ってしまった。まあまだオールスター前だし、大丈夫でしょう。Tigers が直近3勝7敗なのにゲーム差はあまり開いてないのは救い。まあただ、交流戦は残り全部勝っても9勝9敗。今年はよくなかったな。明日から今シーズン低調な Marines。交流戦はここまで5割とよくはない。何とかしましょう。
Fighters の北山が7回途中まで走者を一人も出さない投球をしていて、7回2アウトからの走者は四球だったので、9回1死までノーヒットノーラン。お！と思ってニュースを見ていたが、大城にホームランを打たれてしまったようだ。残念。まあ1安打1失点はお見事だ。今年の Fighters は強いぞ。パ・リーグ首位で、交流戦でも2位タイ。いよいよ新庄野球が身を結ぶか？
