何かだらだらと起きていてしまうな。相当変な時間まで起きていた。やってることは極めて生産性の無いこと。まあ無駄なことをしないと人生面白くないので。が一ついいことが。6時9分に有理点が見付かっていた。5日の19時47分に始めてるから、ざっと4日半。見付かった点の canonical height は280くらい。Height のでかい奴は後回しにした方がいいな、ということで、一つ予想される height が180くらいのがあるので、それを仕掛けておく。開始時間が6時37分と、Q(√37) の基本単数を 6＋√37 が連想されて楽しい。これのトレースが偶数だったお陰で論文が書けた。寺井さん様様だ。そう言えば11月に沖縄で開かれる寺井さん主催の研究集会の案内が来ていたが、どうしようかな。11月21日、22日、23日の3日間だが、23日は月曜日で、どうせ祝日を潰して講義せよとのお達しがあるだろうし、20日金曜日は講義があることが確定していて、終了後飛ぶのは慌ただしい。ましてその時間にゼミをやることに成ってしまうとな。参加登録の締め切りは秋学期が始まってからで、それまでにゼミの予定が固まるから、それを考慮して考えよう。毎年九州の集会は8月だったが、8月の沖縄は暑くて台風が襲来するということがあるから11月にされたようだが。うちの大学のスケジュールだと動きづらい時期だ。あ、特別入試の日程はどうなっていたかな。22日にやると沖縄に行けば逃げられるが。確認しておこう。
台風と言えば、茨城に上陸するようなことを言ってる。史上初らしい。変な進路なのは温暖化の影響なのだろうか？大きな被害が出ないといいが。台風の影響は近畿にもあって、今晩は熱帯夜に成らないらしい。明日は猛暑日に成らず、明後日は何と真夏日にも成らないらしい。さっきちょっと表に出たけど、結構涼しかった。たまにはこんな日もないと。去年だったか大宰府で2ヶ月くらい猛暑日が続いていたが、今年はどうなのだろう？世界的に暑いらしいからね。韓国が40度超えた日があったそうだが、11年前韓国行った時は、暑くなくていい所だ、と思ったが。関空に着いて表に出たらうんざりした。まあ韓国は冬はとっても寒い所のようで、秀吉の朝鮮出兵の時も冬に兵士が苦労したという話がある。夏暑くて冬程々なのと夏涼しくて冬激寒なのとどっちがいいのだろう？夏に成ると涼しい所がいいと思うし、冬に成ると温暖な所がいいと思うし、身勝手だな。
今日の高校野球は横浜 vs. 沖縄尚学という、センバツの王者と去年の夏の王者が1回戦の試合。籤とは不思議なものだな。こういう実質上の決勝戦みたいなのが1回戦とは。結果は横浜が7－2で勝利。京都代表の立命館宇治も滋賀代表の八幡商業も負けたから、もう横浜一択で応援だな。
さっき調べたら、うちは今日から一斉休暇期間に入っているようだ。1週間くらい学内は閑散としているだろう。生協の無人店舗は閉まってるのだろうか？だとするとうっかり行ってしまったら大変だな。院生はどうしてるのだろう？自宅の冷房代を節約するなら食料持参で大学に行くのがいいのかな。小生は多分最終週の保健センター行と院試面接以外は行かない予定。気が向いたらうな松には行くかもしれないが。のんびりしますわ。
