京都は暑い

今朝は9時過ぎに目が覚めた。泊まっていた宿には屋上露天風呂があるのだが、午前の部は9時までとかで、また露天風呂に入り損ねた。まあ後で知ったのだが、今日は台風が九州に接近していて、そのため露天風呂は無しだったらしい。でその後宿にチェックアウトの11時近くまでいたんだが、悲劇はそこから始まる。

「大分」駅で11時10分発の「ソニック号」の切符を買う。でホームに行ってみると、遅れているらしくまだ電車が来ていない。が数分後耳を疑うような放送が。「11時10分発のソニック号は運休です」とのこと。うーむ。急いで「みどりの窓口」で次の「ソニック号」の切符を買う。無事11時45分発の「ソニック号」の切符が取れた。で出口へ向かうと同業者が2人。同じ理由のようだ。まあよかった。で乗った電車は信号待ちのため10分くらい遅れて出発。その後も遅れが重なり、「小倉」に16分遅れで到着。やれやれ。救いだったのは新幹線の特急券を買っていなかったこと。「小倉」近くで、「のぞみ」との接続が出来ない旨の放送があった。こんなこともあろうかと、「大分」で乗車券だけを買っておいたのだ。新幹線は何の問題も無く京都へ。やれやれ長旅だった、と思って「京都」駅に降り立った瞬間、むわぁ、ときた。暑い。とにかく暑い。大分も福岡も台風接近で日が出ていなかったので、そんなに暑くなかった。京都は台風とは無縁か、とにかく日差しが強くて暑かった。重たい荷物を持って、暑い中住処まで10分弱歩く。たまらん。住処に着いた時はもう汗だく。急いで冷房を付けた。Tシャツがびちゃびちゃなので、すぐに着替えて一段落。こういう時にビールでも冷えてると嬉しいんだが、冷やしてないので諦める。買いに行かないのかって？行かない。暑いからね。冷やしてない買い置きがあるので、冷やしておいた。もう少し経ったら呑む。

で6時から野球。今日から vs. Carp三連戦。相手のエラーで2点、ピッチャー上茶谷のヒットでもう1点と、何か3点もらった感じだった。が幸運はそこまでで、あっさり逆転を許す。今日は完敗。まあ毎試合勝つわけにはいかないし、今日から9連戦なので、無理せずいきましょう。9連戦全勝、などという虫のいいことはあるわけない。まあ首位戦線に生き残れるくらい勝てばね。今日 Carp が勝ち、Baystars が負け、Giants が負け、ということで、首位と2位が0.5ゲーム差、2位と3位が0.5ゲーム差と、実にセクシーな展開になった。これは当分楽しめるね。

で野球が面白くなかったので、Pythonが走る電卓に今度はペル方程式を解かせようと頑張ってみた。簡約2次無理数の連分数展開の循環節を取り出すことに成功。さてペル方程式の解と連分数展開の関係はどうだっけかな？と思い出してみる。思い出せた。ということで明日にでも続きをやろう。今日はやらないのかって？うん、やらない。ビールを呑み呑み「トリニクって何の肉！？」でも見て笑おうと思っているので。では呑みます。

「第1回大分数論研究集会」に遅刻する

「第1回大分数論研究集会」が行われた。9時30分開始だったのだが、目が覚めたら9時20分。昨日も夜更かししてしまった。10時過ぎに大分に着いて、とっとと寝る積もりだったのだが、テレビを付けたら「点と線」がやっていて見てしまった。でそこでもう寝ようかと思ったんだが、「全英オープンゴルフ」が始まってしまった。山科で夜更かししてゴルフを見ていたので、「渋野日向子」がトップにいることは知っていた。で始まって早々渋野はダブルボギーを叩いて、「あ、やっぱりね」という感じで見るのをやめるつもりだったのだが、眠くないし気になるしで、引き続き見てしまう。で2打差を追い付き、いよいよ最終ホール。その時点で17アンダーでトップのサラスと並んでいる。「これは延長戦だな。何時に寝られるだろう？」と思っていたら、何と最終ホールがバーディーで、優勝。うーむ、凄い、凄過ぎる。ニコニコ笑ってもぐもぐ食べて、とても20歳のゴルファーが優勝を争ってるとは思えない。しかも全英オープンで。いいものを見させてもらった。

ということで寝たのは3時30分過ぎ。寝坊してしまった。会場は分かっているので、横山氏の話に間に合うよう出掛ける。聞いた話はどれも凄くて、大変印象的だった。「事故検証レポート」など、結構謎なものもあったが。終了後は懇親会。大分料理がこれでもかと出てきて、もう食い過ぎな感じ。酒はビールをジョッキで数杯と、普段に比べればずっと少ないんだが、相当酔った感じ。呑んでも酔わない時とあまり呑まずに酔った時の傾向を調べているんだが、呑んだ量より食べた量が関係しているというのが conjecture。普段はお腹を一杯にしてから呑みに出るので、呑み屋ではあまり食べない。だから酔わない。今日とか卒業式の後は料理が量出るので、ふらっふらに成るんだな。まあ今日は台風が来ているということだし、早目にホテルに戻って正解。「報道ステーション」で渋野の生インタビューを流しているそばから大雨警報が出た。明日は帰れるんでしょうか？まあ今日は早寝しますわ。

明後日から九大で研究集会があるが、途中で帰らないといけないので、参加しないことにした。九大はうちより遥かに不便だし、行くなら相当気合をいれないといけない。今回は気合が無いので、パス。また来年来ます。

ついに 0.5 差！

明日行われる「第1回大分数論研究集会」に参加するために大分入りしている。昨晩うっかりゴルフを見てしまい、寝たのが大分遅くなったせいか、今日も2時過ぎまで寝てしまった。そこから旅支度をしてだから、住処を出たのが4時半過ぎ。で大分は思いのほか遠く、「大分」駅に着いたのが10時近く。ちょっとまずったな。「小倉」駅で「ソニック号」の指定席券を買おうと思ったら、「指定券は売り切れです」、「じゃあ次は？」、「次も売り切れです。最終なら空いてますけど」、「何時ですか？」、「11時…」、「いいです、自由席で」ということで、久々の自由席。席を確保するために並んだのも久し振り。幸いさくっと席が取れたのでよかった。

で新幹線の中では「相棒」を見ながら野球の情報をちらちら。お、勝ってる！あくまで「相棒」がメインなので、野球はちらちら。で「相棒」を2話見終わってからは野球に集中。「ソニック」に移ってからも野球に集中。今日も接戦で、3－2で勝利。3タテでついに0.5差！さー来たぞ！明後日から vs. Carp だそうだが、Carp も必死で来るだろうし、簡単にはいかないと思うが、また3タテする積もりでいきましょう。一気に Giants を引き摺り下ろすねん。21年振りの優勝へ、Let's go！

1.5ゲーム差！

昨晩は遅くまで起きていた。どうも講義がないといかんな。しばらくこんな日になるのだろうか。気を付けよう。で今日は昼の一番暑いころに起きた。が、冷房を効かせて寝たので、特に寝苦しいとか、暑くて目が覚めるということはなく、体調は割りとよい。さ、元気に野球観戦だ。

ということで6時から野球。今日は石田が先発。ソトの犠牲フライ、ソトの3ラン、中井のソロホームランで5－0という楽勝ムード。石田は5回までほぼ完璧。楽勝かという感じだったんだが、6回に3ランホームランを打たれ、差はわずか2点。8回にパットンが2点取られ同点。パットンはベンチで荒れ狂っていた。冷蔵庫を両拳で殴っていたが、大丈夫だろうか。Hawks の杉内が同じようなことをやって両拳骨折ということがあったが。ここでパットンに抜けられると痛いので、何事もないことを願うが。パットンの後に出てきたエスコバー、国吉が抑えて、何とか同点止まり。8回裏、ランナーを3塁に置いて筒香。筒香は得点圏打率が低いので、あまり期待しないで見ていたら、奇跡が起きた。Giants のプロ入り初出場の捕手・岸田がパスボール。3塁ランナーが勝ち越しのホームイン！やった。9回表は康晃が締めて、Giants 相手に連勝。これで1.5差だ！さー来たぞ。明日も勝って3タテだ！明日は今永が先発。期待できるね。しかーし、明日は野球を見ることが出来ない。大分へ行くので。ホテルのテレビでは放送は無いだろう。うーむ。まあインターネット速報で情報を仕入れよう。プロ野球ニュースは録画しておく。明日勝ったら戻って来て即見る。明日負けたらどうしよう？いや、大丈夫。負けることは無いから。さー0.5ゲーム差にしてやろう。

Giants との直接対決3連戦

今日は10時半のアラームで目が覚めた。で昨日の晩保険会社の人に「明日の1時くらいに職場に行きます」とメイルを書いたんだが、返事は「2時半から3時半に伺います」とのこと。でまだ眠いのでもう一寝入り。起きてみるとなんと2時過ぎ。これはいかんぞ、ということですっ飛んでいく。職場着2時45分くらい。うむ、すっぽかしにならなければいいが、と願っていたら、3時くらいに現れた。しばし密談の後帰っていかれた。

その後「数理科学特論2」のレポートを採点。一番最初に見たレポートが何ともなっていないんで、若干立腹。そのせいかちょっと評価が厳しくなった。まあいいんだけど。レポートを出した学生は全員合格にした。出さなかった学生が数名いたようだが、もったいない。初回に「まあ院生は指導教官とセミナーをすればいいので」と甘いことを匂わせたんだが。まあいいでしょう。成績を入力してくる。「代数学I」の入力も済ませて、これで採点業務は終了。めでたい。

で5時頃に職場を後にする。名神は例に寄って渋滞。今日のは故障か何かでハザードを付けて三角の標識を出しているトラックが車線をふさいでしまっていたのが原因のようだ。そこを抜けたら後は問題なし。ただ京都東、京都南間がいつもの通り渋滞していたようだ。あと1週間くらいは渋滞止む無しだな。そこを過ぎればお盆ウィークだろうから、そんなに渋滞はしまい。

で6時ちょい前に住処に着いた。6時から野球。今日は vs. Giants。3.5ゲーム差で3連戦。否が応でも盛り上がる。Giants に2点取られるも、取られなくてよい点は取られていないので、チャンスが来るぞ、と思っていたら案の定。4回に筒香の久々のホームランで2－1とし、6回には代打石川の999本目のヒットを皮切りに、ソト、ロペスのヒットで3点取って逆転。菅野を打ち崩して、その後はエスコバー、パットン、康晃と完璧に近いリリーフ陣が抑え込んで無事勝利。いやー、快勝だった。これでGiants と2.5差。さー、見えてきましたよ首位が。徹底的に叩きつぶしてやろう。因みに3位 Carp は Baystars に0.5差、ということは Giants まで3差。うむ、白熱してきたね。Baystars も Carp も大型連敗何のそのだ。束に成って Giants を引き摺り下ろそう！

「代数学I」の試験を採点した

今日は「代数学I」の採点をした。中々出来は悪いが、相当甘く採点したため、Bが多数。Cよりも多い感じ。A,A+は極少数。A+は相当できている答案にしかあげないのが小生のポリシー。ということでA+を取った学生は自信を持ってください。しかし「a,b∈Z の最大公約数を d とすると、(a,b)＝(d) であることを証明せよ」という問題の後に、「a,b∈Z が互いに素である時、ax＋by＝1 を満たす x,y∈Z が存在することを証明せよ」という問題を出したのだが、これの正答率が極めて低い。イデアル (a,b) の定義が分かっていないのか、それとも「互いに素」という言葉を知らないのか。互除法を使って証明している答案があったが、その人は (a,b) の定義をわかっていないということなのだろう。まあいいんだけど。入力は明日やろう。明日は生命保険の人に会うことになっているので、暑い中出掛けなくてはいけない。明日の大阪の最高気温が38度とか恐ろしいことを言っていたが、京都は40度くらいになってしまうんではないだろうか？明日は出掛けたくないな。まあしゃあない。

「数理科学特論2」のレポートの締め切りを昨日に設定していたので、昨日は採点しようかと思っていたんだが、絶対夜提出する学生がいるだろうからと思って、採点をしないでいた。やっぱりそれが正解で、夜の10時台に2人、11時台に2人の学生から「レポートを提出しました」というメイルが来た。ということで、明日職場に行くので、採点してこよう。

6時から野球。いい感じで先制したんだが、先発の大貫がシャキッとせず逆転を許す。今日も4番筒香が全く打たない。2番にした時は好調だったのだがな。また2番に戻した方がいいのではないかと思うが、まあ素人が監督に口出しするのはやめよう。明日から Giants 戦。ゲーム差 3.5 で迎える。さあ3タテといきましょう。

「天下一品」は水曜定休か？

久し振りにゆっくり、たっぷり寝た。昨日（もう一昨日だが）はふらっふらっだったのだが今日（もう昨日だが）は元気に過ごせた。やはり早寝、早起きが大事だな。と言いつつ、また元の木阿弥になってしまうんだろうけど。

で起きたら12時10分くらい。本当、よく寝た。で1時からM0の学生とゼミの約束をしていたので、ダッシュで飛び出す。例に寄って10分弱遅刻。まあいいんだけど。今日はイデアルのノルムと、Stickerberger の定理の証明。去年は Catalan 予想の本を読んでいて、それにも Stickerberger の定理は出ていたが、証明を読まなくても大筋には問題ない、ということで、節丸々飛ばしていた。ということで、去年の仇を討つべく証明を聞く。途中で話についていけなくなって、呆然として過ごすも、大筋はわかった。ガウス和の評価と、実数の小数部分の評価で済む、という感じだった。今度証明を読んでみようという気に成らされた。

ゼミ終了後、Rainbow（謎）にパソコンを持って行く。何やらメッセージが出ていたので。流石にプロ。一瞬で解決してくれた。職場の wifi につなげばいい、ということを教えてくれたので、次回からは Rainbow の手を煩わせることなく解決できるという自信を与えてくれた。よかった。

その後博士論文の公聴会まで1時間程度余裕があったので、安福さんの本を読む。今日は素数の逆数和が無限大に発散することの証明を勉強した。これは多分前に1度証明を理解したはずだが、そんなこともなく、新しい証明だったという感じ。次は密度の話。明後日（明日ね）職場に行く予定なので、その時読む。

6時から博士論文公聴会。「公聴」というとおり、誰が聞いてもいいということで、部屋は一杯。山田俊雄先生もいらっしゃった。大変立派な内容で、もちろん学位に相当する内容なので、満場一致で学位授与。おめでとう。その後当該の氏を囲んで食事会をやるという話だったが、例に寄って失礼させてもらう。まあよかった。

で職場を後にする。既に7時45分くらい。「天下一品」で久々に「こってり」を食べようと思っていたんだが、目の前に着いたら「本日定休」の看板。がーん。仕方ないので、その少し先の「吉野家」で適当に定食を頼む。「天下一品」は後日行くことにする。

でもう8時過ぎ。野球はとうの昔に始まっている。「吉野家」で速報を見たが、3－1で勝っていた。よし、と思って住処着。テレビを付けると、何と3－3に成っている。で9回裏2アウト、1アウト満塁、バッター宮崎の場面。3ボール1ストライクになり、押し出しでも犠牲フライでもサヨナラ勝ちの場面。そこで宮崎の打球は、内野に飛んだ高いゴロ。前進していた3塁手の頭を越えてサヨナラ勝ち。やった！これで5カード連続の勝ち越しで、首位 Giants との差は再び 3.5。明後日からその Giants との3連戦。明日も勝って差を縮めて、いっきに奪首といきましょう。でも、まだ2ヶ月くらい先はあるので、必要以上に結果を気にしないようにしましょう。2勝1敗なら十分OK。本当の戦いは9月。

Sage に計算をさせている。大体予想通りに進んでいるようで何より。例外は少ない。その例外処理をいかにするかが次の問題。頑張るぞ！