例によって生活リズムはガタガタなわけでが、寝ようかと思ったところでコンピューターから不穏なメッセージが。Windows update をしたがってる。強制再起動はしないようにしたつもりだが、うまくいってるか自信が無い。2度再起動要請を断ったが、それっきり言ってこなくなった。それでも再起動されたら有理点探しがおじゃんだぞということで、頑張って起きてることにした。書き散らかした紙を片付けるために頑張って TeX 化しよう、ということで、3次多項式 X3＋pX＋q の判別式の計算を書いた紙と睨めっこしながら入力を始める。が、途中でもう少しうまく出来ることに気付いた。p が括り出せる列が2つある。それと4次の行列式を2次の行列式4つにブロック分けして、左下のブロックが零行列に出来るよう変形出来ることにも気付いて、計算をやり直したり。結構時間が掛かった。その後本当に根の差積の2乗を計算してみようと思って始めたが、面倒そう。が、ここで気付いた。職場で計算した紙の裏（表？）が Knapp の楕円曲線の本のコピーで、そこに楕円曲線の判別式のことが出てて、でまさに X3＋pX＋q の判別式の計算が出ていた。その紙を探すより見ないで再現してみようと始める。差積と言えばヴァンデルモンドの行列式で、それの2乗の片方を転置してやるとうまいこと x＋y＋z, x2＋y2＋z2, x3＋y3＋z3, x4＋y4＋z4 だけで行列式が書けて、でこれは全部対称式だから基本対称式で表せて、とか書いてあった筈。で始める。x2＋y2＋z2 を基本対称式で表すのは前にやったことがあったが、3乗と4乗は初めて。が前より勘が働くようになってきているので、こうやれば出来るっしょ、とやったら、何と一度も計算ミスをしないで出来てしまった。珍しくコンピューターに頼らずに。結果が合ってるかどうかは SageMath で確認したが合ってる。素晴らしい。腕が上がったものだ。で気分を良くして有理点探しの様子を見ると、何と見付かっていた。11日の14時8分に始めて、今朝10時31分に終わっていた。ざっと44時間半だな。まあこれくらいなら。が、残ってるのは canonical height の予想される値が500を超えたもの一つと、他は 800、900を超えたものばかり。Windows update をしてもらおうと一旦再起動して、で新しいのに取り掛かろうかと思ったが、まあ休んでもらいましょう、と電源を落とした。
で昼飯を食べてちょっと寝床で YouTube を見たりとかしたが、眠くならない。4時くらいに起きて、昨日の「ミラクル9」の2時間ものを見ることにした。面白かった。水がいいと美味しい飲食物、というのの3位にかき氷が入っていて、そりゃそうだ、と小生も出演者一同も言った。で一つ残って解答権が移って、開いたパネルの一つに蕎麦があったから、饂飩だろう、いや素麵だろうと意見が割れて、饂飩が大方の意見だったが有田キャプテンの一存で素麺にしたら、何と正解。無茶な場面でもリーダーシップを持ってやると上手くいくことがあるというのの好例だな。変な言葉だが「最大公約数的な意見」を採用するのばかりがよいことではないということだ。面白かった。
でもうほぼ6時。有理点探しを仕掛けてからチャンネルを J SPORTS 2 に合わせて野球観戦開始。1回表に早速筒香のソロホームランが飛び出して先制。がすぐ1回裏に上林のソロホームランで追い付かれる。上林は開幕前に怪我をして、今シーズン初打席だった。が4回表に宮崎の犠牲フライ、6回表に牧、筒香の2者連続ソロホームランで突き放す。Baystars の先発は深沢で、プロ初勝利から4登板目で4勝目を目指すということで、上林の一発を除けば快調な滑り出し。が6回裏に大ピンチ。2アウト1、2塁。細川が高いフライを打って捕手が捕球体制に入るも、何やら変な捕り方をしたと思ったら、天井に当たったらしい。バンテリンドームのルールで、ファールゾーンで天井に当たったらファールらしい。で細川は生き延びて四球を選んで2アウト満塁。がこのピンチで石川の当たりはライトフライで助かった。ピンチの後にチャンス有り、という昔から言われるフレーズがあるが、深沢の代打で出た勝又がホームラン。勝又はもうちょっとで規定打席というところまで来ていたが、それが気に成ったかそれとも長丁場の疲れか、8月の打率は2割を切っていて、最近はスタメン落ちすることが多くなったが、こうやって当たりが戻ればまたスタメンで使ってくれるかもしれない。打率はまだ3割を超えてる。頑張れ。その後どちらも点が入らず、5－1で勝利。深沢は4勝目。Baystars はこの3連戦でホームランを10発打ったそうだ。今日は筒香が2発と、牧、勝又が1本ずつ、昨日は牧とエンカーナシオンが2発ずつと度会、一昨日は宮下。バンテリンドームにホームランテラスとやらを付けてホームランを出易くしたが、ホームランテラスに飛び込む当たりが多かったので、Dragons にとってはマイナスに働いてる。点が取れなくても抑える芸風だったのでは？昨日は細川も2発打ってるから、1試合で7ホームラン。勿論球場初のことだそうだ。
さて Giants vs. Tigers はどうなってる？途中経過では Giants が1点リードしていたが、その後の情報だと Tigers が1点リードに変わっていた。Giants が中山の2ランホームランで先制したが、佐藤輝明のソロホームランと坂本の2ランホームランで引っくり返したという、いかにも東京ドームでの試合という感じの試合だ。この3連戦は、1戦目は森下の2本と佐藤、2戦目は佐藤の2発と森下、で今日は佐藤、坂本。Dragons も Giants もバッテリーは反省した方がよいのでは？森下と佐藤のホームラン数は結構離れていたと思ったが、1本差に成っていた。佐藤は昨日のホームランが150号だと言ってたが、牧も負けてないよ。牧と佐藤は今年7年目だが、牧は去年は怪我で16本だったが他の年は全部20本超えで、135ホームラン。2人で切磋琢磨するといいね。あ、結局 Tigers が勝って、Giants にとっては東京ドームで3タテを食らうという屈辱が待っていた。この2チームが3ゲーム開いたのは今シーズン初らしい。鈴木孝政さんが「3ゲーム詰めるのには1か月掛かると言ったもんです」だそうだから、剣が峰だな。明後日にも Tigers にマジックナンバーが点灯するそうだ。条件は複雑なので書かないが。
さてハイなためか大して眠くない。350cc のビールが二缶あるが、開けようか？今晩はちゃんと寝ないと。Windows update は暫く心配ないだろうから、canonical height が573くらいの点が見付かるまで気長に待とう。さっき兄者から電話があったが、お盆は帰ってくるか？との問い合わせ。コンピューターの前を離れたくないので、帰らないことにしていたが、兄者は忙しくて、帰ってこられても困るようなことを言ってた。横浜市の地方公務員が、近い内に札幌だ名古屋だ大阪だと出張しないといけないらしい上に、親父殿の部屋のガス湯沸かし器がいかれたらしく、シャワーを浴びることが出来ないとか。年末年始はちょっとくらい帰るつもりにしていたが、冬にお湯が出ないんじゃな。親父殿が死んだら世帯主がいなくなるので、直しても仕方ないしな。まあその時に考えればいいことにしよう。
千葉は凄い雨らしい。NHK の9時のニュースの殆どの時間をそのニュースに使ってる。やはり異常気象なのだろうな。桑原桑原。
