福岡で話した件の報告集書きを昨晩から今朝まで掛けてやった。何となく眺めると気付かないミスが幾つも見付かった。3 の筈が 5 に成ってる所とか、明らかに文章のおかしい所とか、数え切れないくらい出てくる。やっぱりちゃんと紙に写しながら読まないと駄目だな。そろそろ院生は修論書きを始めてる人もいそうな気がするが、真剣にやらないと駄目ですよ。と言いつつ、小生の昔書いたものを眺めるとミスばかり。「以下」が「以上」に成ってる所とか、例を挙げておいて「存在しない」とか訳の分からないことを書いたり。物を書くというのは大変なことだ。世の中に出回ってる本には相当誤植があるが、何百頁もあるものから誤植を根絶するのはまあ不可能だな。で一区切りついて、ちょっと書き散らかした紙をどうにかしようと思って、TeX 化しようとしたが、何か上手くいかないことがあって、考え始めてしまう。有限個の元が互いに素であることを定義する時って、悉く0でない元に対して定義するのだろうか?それとも0でないものが一つでもあればいいのだろうか?講義ノートを見ると、Z の元に対しては0でないものが一個でもあればいいとして定義していたが、後で U.F.D. の元に対して定義する時は悉く0でないとしている。うむ、Z(でなくて P.I.D. でいいが)の時は生成されるイデアルが (1) であることと互いに素であることは同値なので、0でないものが一個でもあればいいことになるな。さて?自分の話したものに整合性を持たせるのも難しい。時間のある時に考えないとな。などとしているうちに朝。うむ。
4時半から会議なので、4時くらいまで寝た。まだ眠い。会議は何やら簡単に済みそうなことが揉めに揉めて、その件だけで40分くらい掛かった。眠かったので、全然頭に入ってこない。まあ後で W 先生が収拾を付けてメールしてくれるでしょう、ということで。でその後も幾つか議題があったが、そっちは程々に済んだ。
でもう一寝入り。気付くと6時を過ぎていたが、眠いぞ。スマホで野球の速報頁を開いて、寝たり起きたりしながら見ていた。短時間でも寝ると夢は見るもので、Baystars が一方的にリードされている展開だったり、過去の映像を今の映像と勘違いしたり、と、全部嫌な夢。で7時を過ぎてしまった。スマホを見ると1点先制している。お!ということで起きた。宮崎が映ってたから、宮崎がタイムリーヒットでも打ったか?と思ったら、佐野がホームランを打ったらしい。よしよし。Baystars の先発はケイだから、まだ安心出来ない。ここのところ5失点(自責点4)、6失点(自責点6)、3失点(自責点2)と安定した内容ではないので。通算成績も6勝9敗、防御率3.42。が、今日は違った。6回無失点で、打たれたヒットは1本だけ。が、リリーフの安定度を考えると全然安心出来ない。7回に代打筒香が苦手の高梨からタイムリーヒットを打ち、2点目。打った瞬間ガッツポーズ。低めの変化球を三遊間に巧みに流すという、筒香らしからぬ小技。が、まだ安心出来ない。2番手の康晃が2アウトを取るもランナー二人を残し坂本に交代。三塁へ強烈な当たりを打たれたが、運よく真っ正面でピンチ脱出。8回は堀岡。Giants 時代は結果を残せなかったが、今日は古巣相手に東京ドームで無失点に抑えてガッツポーズ。で9回は当然森原、の筈が今日はベンチに入っていないらしい。故障か?東が登録抹消されているし、この前は宮崎がおんぶされてベンチに下がるという嫌な感じのことが続いていた。幸い宮崎は今日出ていた。で代役は伊勢。三者凡退に抑えて、これで1勝1敗(Giants には1勝のアドバンテージ有り)。戸郷から2点しか取れなかったが、抑えればいいのです。明日は大貫と菅野。大貫はシーズン最後の登板がよかったから、明日も期待しましょう。
スマホで明日の予定をチェックしたら、何やら片仮名2文字が書いてある。ん?と思ったら、学生と会う約束だった。名前は書かないが、片仮名2文字みたいな漢字の苗字の学生。前「探偵!ナイトスクープ」に、電車の中から見える家の表札に「カス」と書いてある、というのがあったが、その人は「力久」という苗字だった。読みは「りきひさ」。石田靖が探偵だったと思うが、「カスはお前らの方じゃ」と二人の依頼者に突っ込んでいた。当該の学生も変な読み方されたり、変なあだ名が付いたことがあったんじゃないだろうか?えーと、学生とちょっと来年度の卒研について話すことに成ってるのだった。長時間話さないといけないだろうか?線形代数の準備する時間あるかな?野球を諦めて遅くまで職場でやるか。