深夜に成ると元気に成る。気に成ることも出てきて、どんどん時間が過ぎていく。もう寝んでいいわ、と成り、結局起きていた。
10時から面談なので、9時55分くらいに Zoom を起動。今日の学生はちょっと変な学生で、事務の人が少々、というか目に見えて不機嫌。いつもは10分も掛からず形式的にやっただけで終了なのだが、今日は30分近く掛かった。終了後しばし事務の人と雑談。色々「前科」があるらしい。ご苦労様です。メールに書いてあった文面を見るに、全理工学部の学生をお二人で担当しているようで、お一方は契約職員のようだから、実質お一人でやっておられるのだろう。お察しします。
その後 Uber Eats にマックポークのセットを頼んで食した後、SageMath と格闘。気に成っていたのはそのこと。Analytic rank が 1 の楕円曲線の Mordell－Weil 群の生成元は、何やらオプションを与えれば探してくれる筈なのに、Cremona の mwrank を使って探し始める。む。ヘルプを見たりドキュメントを見て分かったのは、mwrank を使わないでね、と頼むことが出来るようだ。が、まだ変。rank1_search というオプションにデカい数値を教えてもあっと言う間に「見付からなかった」と返事がある。おかしい。Google 先生に頼んで探しても、これといったページは見付からない。む。rank が 1 で Mordell－Weil 群の生成元の height がデカい曲線として有名な E157：y^2＝x3－1572x でやってみると、今度は一生懸命探している。数時間経つが、まだ返事は返ってきてない。まあその方が安心だ。ちゃんとやってくれてるし。小生がやった例とこの例の違いは、位数 2 の有理点の有無。有るとうまくいって、無いとうまくいかないのだろうか？分からん。しかし Magma は E157 の生成元を一瞬で見付けるが、どうやってやってるんだろう？SageMath はその気に成ればソースファイルを読めるが、Magma は完全なブラックボックスらしいので調べようが無いらしい。バグに苦しんでた人が同業者にいた。SageMath は割とすぐ bug fix をしてくれるらしいが、Magma は次のバージョンを待つしかないらしく、どっちがいいか分からないな。E157 の結果が出るまで待とうかと思ったが、流石に限界が来た。
テレビを6チャンネルにしておいた。侍 vs. Tigers の放送があるので、意識が戻ってきた時の展開次第では起きて見よう、と思っていたが、ケーブルテレビのチューナー経由で流していて、いつもの通り自動で電源がオフに成ってしまった。意識が戻ったらもう9時半くらいで、起き上がってチャンネルを6に合わせると、もう9回裏。5－4 で侍がリードしてるが、Tigers に1イニングにまとめて4点取られたらしい。試合はそのまま終わった。Buffaloes と Tigers 相手に1試合ずつやって1勝1敗。まあいいんじゃないでしょうか。4点まとめて取られたのは仲地らしい。それ以外の高橋宏斗などはぴしゃりと抑えたようなので、監督の采配次第で何とか成るでしょう。小久保が監督の時の采配ミスはあっちこっちで未だに叩かれてる。井端は人格者っぽいので、多少のことでは叩かれないだろうな。予選リーグは負けても大丈夫なので、決勝トーナメントに調子が上がるように調整してもらえれば。さて、Netflix に契約するかしないか。調べたら今キャンペーン中で、安く契約出来るらしく、しかもいつでも解約出来るそうだから、WBC に目掛けて契約、終了後即解約という人は案外多いのでは？という気がする。もうちょっと考えよう。
E157 の結果はまだ出てない。明日は保健センターに行ったり領収証の整理をしたりする関係で職場に行くが、出掛ける前に止めようか？それともやらせ続けようか？まあいいや、明日考えよう。あ、昼に宅配便が来るんだった。ということで起きるから、明日は確実に職場に行けるな。今日こそは早目に寝よう。と言っても多分「テレビ千鳥」が終わるまでは起きてるんだろうけどそれでも正午に起きるなら10時間は寝られる。ちゃんと寝よう。
