高木美帆は結局6位だった。最後の一周を残した時点では2位だったが、1500mを走り切る体力は残ってなかったか失速してしまった。前半攻めて金メダルを狙った滑りだったようだが。結果を見ると金メダルまではほんのわずかだったが、残念だ。解説の高木菜那が泣き崩れてる映像があったが、実の妹のことだ、当然であろう。いつもは「高木選手」と意図的に中立の立場をとっていたが、その後の放送では何度か「美帆」と言ってた。まあそうだよね。で結局3時くらいには寝られた。ここ数日では早い方。
で11時半過ぎに近所で用事あるので、10時半と10時45分にアラームを仕掛けて寝た。で起きたのは10時45分のアラームの少し後。寝癖ボーボーなのでシャワーを浴びて、でマスクをするから髭はいいや、ということにして出発。日の高い時間の外出は何日振りかな？特に何事も無く終了。なか卯で牡蠣とじ丼を食べてくるつもりだったが、無さそうなので親子丼にした。食べた後外から見えるメニューを見たら、牡蠣とじ丼はあるようだが。まあまた今度食べるのでいいです。
12時半過ぎに住処に戻ってきて、でテレビを付ける。オリンピックを見た関係かNHKに成っていたので、1時過ぎからの大河ドラマの再放送を見て、思い出しておく。それから SageMath と Magma のドキュメントを見て、楕円曲線の Mordell－Weil 群の生成元の height が大きい場合にどうやればいいかをちょっと勉強。Analytic rank が1であると分かっていれば、何かしらのオプションを与えればよいようなことが書いてあったが、やはり時間が掛かる。Mordell－Weil 群の生成系が分かっている時に、それを与えることにより整数点が簡単に求まるようなので、Magma Caluculator で生成系が求められた場合に SageMath でそれをやったりとかで、幾つかスッキリした場合があってよかった。今も一つ実行中だが、数時間経ってるが答は出てない。書き終わったらパラメーターを変えてやり直してみよう。
5時半から市内某所に用事があるので、今度は髭を剃ってから出掛けた。電車乗るの久し振りだ。で用事はあっさり済んで、喫茶店でコーヒーとホットドッグで時間潰し。英語で書かれた論文を読んでる人がいた。何の論文だろうか？数式はほぼ無かったが。20分も経たずに帰途に就く。烏丸御池駅の先発の電車はびわ湖浜大津行だったが、まあいいかと乗る。六地蔵行も大して混んでないが、びわ湖浜大津行はガラガラだからね。落ち着いて読書するにはよかった。前に書いたが、昔は京阪が乗り継ぎ割引をしてくれていたが、今はどうだろう？と思って降りる時に自動改札機の窓を見たら460円。今乗換案内のページで調べたら、烏丸御池－御陵間が260円、御陵－京阪山科間が200円と、1円も割り引いてくれなくなっていた。200円余分に払ったが、まあいいです。京都市も京阪も財政は苦しいようだから、両方に寄付したと思えば。小生の向かいに座ってた人も京阪山科で降りたが、その人も承知の上でやっているのだろう。因みに地下鉄で烏丸御池－山科だと260円だから、京都市はどっちに乗ってもらっても収支は変わらない。余裕のある人は京阪に寄付するつもりで是非。
今日は暖かい一日だった。京都市の最高気温は16度を超えたらしい。明日は21度！数日前は真冬の寒さだったが、極端過ぎる。また寒くなるのだろうか？また風邪を引かないように気を付けないと。
さて、今日も土曜日恒例の呑みということで。今週はちょっと酒の量が多いし、寝不足だ。気を付けよう、と最初は思うが、呑み始めるとタガが外れる。まあ吐くほど呑むわけではないし、多少記憶が無くなるくらいなら、…、ってよくないが。まあ今日も記憶は飛ぶだろう。ということで、では。
