「アンタウォッチマン」が終わって買い出しに行って、とそこまでは予定通り。ですぐ寝ればいいが、ちょっとゴソゴソとやってしまい、テレビを付けっ放しで寝床に入ってしまった。で熟睡出来ず、7時くらいには腹が減って起きてしまった。ちょっとボーっとしてから、報告集の直しを始めることにした。昔書いたものを見ると、間違いが多過ぎる。「less than」と書くべきところが「greater than」に成ってたり、「割り切れる」と書いた筈が「割り切れない」に成ってたり、\sqrt{\pm\varepasion} のはずが \sqrt\varepsilon に成ってたり。ということで丹念に見返すと、物凄く時間が掛かる。一度休憩したが、全部読み終わったらもう昼近く。間違いを見付けて直したり、計算を軽くチェックしたりと、相当消耗した。で昼飯を食べて、もうちょっとやってから、ちょっと寝床へ。2時間くらいしか眠れなかった。物理の先生から面倒な件でメールが来ていたので返事を書いたり、学部長選挙の第二次投票結果公示がメールで届いていたので目を通したり。教授会で建設的な発言をすると、名が通るので選ばれてしまうな。多分小生より若いと思うが、真面目そうな人だから、そりゃ上位に入るだろう。三人の名前が出ていて、もう一方は要職を色々やられた方だし、そりゃな。もうお一方はよく知らない。顔はちょっと知っているが、多分小生より年齢は上だな。頼り甲斐がありそうで選ばれたのだろうか？でもうちょっと直しを続ける。一昨日と昨日、ちょっと雑だった所を詳しくしたが、もう一箇所書き加えたい所が出て来て、ちょっと計算。どう変数変換したんだか忘れて、Mordell の不定方程式の本を見たり、ダウンロードしてあった Cassels の論文を見たりしたが、どうも思うに任せない。そこで閃いた。2000年に小生が書いたものを見れば分かる、と思って見たら案の定分かった。で SageMath で計算して、原稿に書き足そうと思って足したが、やっぱりやめた。何故かというと、TeX で18頁もの原稿を書いたのに、overfull が一箇所も無いという奇跡的な展開が続いていて、結構興奮していたが、そこを書き足すと激しく overfull してしまう。いや、やりようはあるのだが、今からやると大変なので、書くのをやめたのだ。でもういいことにして、9時くらいに pdf に変換して、念のためもう一度目を通して、まあいいでしょう、ということで岸さんにメール。いやー、話すのを依頼されてから今日まで、結構大変だったが、色々勉強に成った。一つ新しい定理を書けたし、まあよかった。たまには真面目に研究しないと、能力が腐るのでね。岸さんには大感謝だ。
作業中に7時に成ったが、何やら昭和歌謡の番組が始まった。最近こういう番組多いな。最近はご老体の方が人口比率が高いから、ターゲットは50～60代くらいだろうか。超絶面白かった。中森明菜が特集されていたが、あの歌を歌っていた頃はまだ19歳だったか、とビックリした。歌詞もそうだが、雰囲気も大人びてたな。最近車で宇多田ヒカルのファーストアルバムを聴いてるが、歌詞を聞くと相当背伸びしている雰囲気。当時は彼女は16歳だった筈だが。日曜日に竹内まりやの特集をやっている番組があったが、彼女はもう69歳だそうだ。ビックリだな。昼の番組で今日ニューアルバム発売と言ってた。日曜の番組でちょっと購買欲がそそられたので、買うか、という気に成ってる。
明日はプロ野球のドラフト会議だそうだ。何でこんな時期にやるんだろうと毎年思ってるんだが。Carp が1位指名に明治の宗山を指名してると公表してるそうだが、小生高校野球を殆ど見ないが、大学野球はもっと見ない。で宗山のプレーを「報道ステーション」で始めて見たが、凄い。Carp は菊池、矢野という凄い内野手がいるが、もう一人取るつもりか。ハンドリングはいいし、肩は強いし。打力があったら最強の内野陣が完成しそうだ。小園もいるし。肩の強いショートを言えば Baystars の森敬斗だが、凄いプレーを見せたかと思えば、とんでもない悪送球をすることもあるしな。宗山が活躍したら、森は他のチームの選手だが手本にすればいい。
26日から日本シリーズ、というのが Baystars 応援板での話題の中心だが、ニュース番組のスポーツコーナーはワールドシリーズのことばかり。同じ日に始まるが、多分ニュースはワールドシリーズ中心だろうな。27日は選挙もあるし、そっちだな。小生は勿論日本シリーズ中心で行く。月曜日の「プロ野球ニュース」で高木豊氏が、Hawks は近藤をどう使うかが鍵、と言ってた。近藤はアキレス腱を痛めて結構休んでいて、CS では DH で起用されていたそうだ。日本シリーズは横浜スタジアムで始まる。ということは近藤出られないか？モイネロは横浜スタジアムで大丈夫か？とも言ってた。数字で見ると Hawks 圧倒的有利だが、どうなるか分からんぞ。あ、思い出した。CS の好プレーの映像を全部流してくれたが、高木豊氏は牧が1アウト満塁でセンターに抜けそうな当たりを好捕して併殺打に打ち取ったプレーを取り上げてくれた。小生もやはりあのプレーが一番だろうと思っていたので嬉しかった。牧は12球団の二塁手で一番エラーが多いそうだが、CS では好守連発だった。日本シリーズでも是非。それと日本シリーズを決めたあの時のような勝負強い打撃を見せてもらおう。
ホッとしたからか、随分長く書いてしまった。今晩こそはちゃんと寝よう。今「これ余談なんですけど…」を見てるが、面白いな。「チョコプランナー」まで見ると2時半くらいに成ってしまう。限界が来たら寝よう。まあ2時半に寝ても11時半起きなら9時間寝られる。11時半ならシャワー浴びてから職場に向かうくらいの時間はあるし、弁当をゼミの前に食べるくらいの余裕はある。「チョコプランナー」まで見ちゃうかな。
