先々週の水曜日の朝11時22分に仕掛けた有理点探しが今日の夜11時13分に無事見付かって終了

結局採点は深夜3時くらいまでやった。書いてくる答が大体想定出来ていて、でそれ以外を書いた学生があまりいなかったので、すいすい進んだ。勿論全員 A+、A なわけはなく、それなりにグレード差を付けられるのだが。「講義」を「講議」と書いてくる学生は毎年一定数いるが、まあ漢字の書き取り試験ではないのでいいです。今年はいなかったが、群と群の元の位数を「位相」と書く学生も結構いる。うろ覚えで数学をやるのはやめましょう。調べるのは恥ずかしいことではないです。

でそれからもうちょっと起きていたが、寝床に入ったらすぐダウンした。で起きたら12時半過ぎ。うな松は駐車場の混み具合などを考えるとやめよう、ということにして、結局はま寿司に行った。今日も限定品を幾つかと290円皿も頼んで、2000円とちょっと。まあいいです。車を停める時にフロントガラスに銀色のあれ（名前を知らない）を置いたが、今シーズン初登場。職場には9時くらいまでいることが多く、住処では小生の車は立体駐車場の地下に行っているので、乗った瞬間の暑さにうんざりしなくて済む。今日は昼間だったが銀色の奴を置いたお陰でハンドルは熱くなかった。

で職場には3時くらいに着いた。車はフォレストハウスの脇に停められた。もう少しウェストウィングに近い所が空いてるかもしれないが、面倒なのでそこにした。表は激暑だが、まあ我慢出来る距離なのでいいです。で個研室に着いて、一つ印刷するものをして、直して印刷するものを直す作業。無駄なことをやっていたような気がしたのでちゃんと考えたら、相当無駄なことをしていた。初等整数論でもマスターするのは難しい。学部生の頃は大学院を出ればもう一人前なのだと思っていたが、60近くなってもまだこの程度か、と思わされてしまう。うちの学科に来る学生は卒業時にどんな人間に成ってると想像して入ってくるのだろうか？大学4年間何てまだ離乳食を食べ始めたくらいよ、と言ったらやる気失くすだろうな。事実そうなのだが。で直して印刷して。それからちょっとある計算をして表にしたのを範囲を拡大しようと始める。住処のパソコンは有理点探しの真っ最中（もう2週間以上経つが返事が無い）なので、職場のパソコンでやった次第。多少時間が掛かるだろうということで、紙を幾つかスキャンして、結合して一つの pdf にする作業を裏でしばし。他にも新しい版、新しい刷が出てる本の古いのと、怪しからん本を資料室という名の物置場に移したり、昔の内線番号簿を捨てたり、学会から送られてくる「数学通信」を捨てたりと、掃除作業。で見ると計算は終わっていた。それを TeX ファイルに追加して。10万までやってたのを20万までにしたから、相当増えるのでは？と思ったら、ほんの数個しか増えなかった。何かこういうのを見ると、真剣にやってることが面白くなくなってくる。飽きる前に論文にしてしまうか、もっと面白い何かを発掘するために論文を読んでヒントを得るかしないといけないな。現状では手詰まりだ。どうにかしないと。

などとしながら9時15分くらいに職場を後にした。エレベーターの前に行くと傘を持った学生がいて、雨降ってるの？と聞いたら日傘だそうだ。で「中に一人います」と何を言ってるのか分からないことを言ってたが、エレベーターのドアが開いたら、学生が一人中にいて非常用キットの上に座っていた。エレベーターの外にいた学生、中にいた学生と、もう一人で帰る算段だったそうだが、一人がちょっと忘れ物をして取りに戻って、で一人は座りたかったからなのか中に入って行先階を押さなかったようだ。小生が降りたそうにしてたので中にいた学生は外に出た。で無事1階へ。

日曜日に和食さとに行った時に割引券を沢山くれたので、使うことにした。昼にはま寿司で鰻を二切れ（本当に二切れとしか言えない量）を食べたが、鰻重の並と上なら300円引き、とのことなので、特上でなく上を頼む。確かにこの前食べたのより鰻が少なかった。やはりあの時のは特上だったのだな。ということで4100円で食べられた。

帰ってきてパソコンを見ると、まだ有理点探しは続いている。職場のパソコンがシャットダウンの時に Winows update が始まったので、すわ住処のもやられてるか？と恐れおののいていたが大丈夫だった。Windows update を勝手にされると困るので、どうにかする方法はないかと調べたらあった。でも100%確実に妨げることは出来ないらしい。セキュリティーの強化のためのアップデートだから、止めたらまずいのだろうが、計算中は勘弁してもらって、時間のある時にアップデート出来ればいいんだが。などと思って画面を切り替えると、何と有理点が見付かっていた。30分くらい前。よかった。Canonical height は 832.83275606224… と、とてもごつい。x 座標の分母、分子の絶対値の大きい方の桁数は366桁。うーん、ゴツイ。これだけ時間を掛けて見付けて、何が分かるかというと整数点が無いことが分かる、という、何か悲しい結末。何度も書いてるが、もっと何か考えないと。もう一つ canonical height がゴツイと予想されるものがある（940.169287489320785844392560459… と 897.849465324828328931468560884… くらい）があるが、もう少し小さいのを先にやろうか。小さいと言っても300くらいなので十分デカいんだが。今回は丸15日掛かった。気長にやるとは言っても流石にちょっと嫌な感じ。まあ予想が正しいかどうかの確認の為にやってるので、予想を証明してしまえばいいということ。簡単に言うけど、そんなことが出来たらフェルマーの最終定理のために一生無駄にした人はいないし、屋根裏部屋で7年間頑張る人もいなかったわけだから、簡単にはいかないだろうしな。それにフェルマーの最終定理と違うのは、誰も注目してないこと。寺井さんが論文に予想として書いたものは「寺井予想」の名で世界中の不定方程式のプロが躍起に成ってるが、小生の予想はそういうこともないだろうし。まあいいです。面白いからやってるので。と言いつつ上に書いた通り面白くないとも思ってるんだが。まあもうちょっとやります。もう一つ二つ考えたいことがあるので、そっちもぼちぼち。で書いてて思い出した。そろそろ科研費の申請書類を書かないと。毎年「以下の3つの予想の証明を目標とする」と書いてるが、全然見込みが無い。神様というか申請書類を審査する人達もそれを見抜いておいでか、科研費は25年くらい却下され続けてる。まあ今度も駄目だろうけど、書きますよ。採点が済んだらね。後は web に成績を入力するだけだから、今晩中にやってしまおうか。

マイナビオールスター（i.e. プロ野球のオールスター）は細川が2ホームラン（2日で3本）で MVP

昨晩は何だかだと起きていて、寝床に入ったのは3時過ぎ。ゴミ出しには行ったが、飲み物を買いに行くのが億劫だったし、冷蔵庫を見たらまあ大丈夫かというくらいの量があったので、買い出しはいいことにして寝た。

で起きたのはもう昼を大きく回っていた。でカップ焼きそばを食べて、いい加減レポートの採点を始めようと取り掛かるが、途中で眠くなった。やはり寝不足の翌日はもっと寝ないと。1時間くらい寝て、採点の続き。何か殆どのレポートが感じ悪い。インターネットで他の大学の先生の講義ノートを見たとか、tsujimotter 氏の頁を見たとか、「数学の景色」を見たとか、AIに聞いたとか。小生の講義ノートを参考にしたというのが殆どいない。いやまあそれはそうで、出席者が極めて少ないからね。出席者が減ってきたというなら小生の講義が分かりづらいということだろうが、初回から少ない。最初から試合放棄をしているわけで、だったら採点も放棄、というわけにはいかない。同じ内容でもグレード分けが出来るようにはしてある（どうやったでしょう）ので、ちゃんと最終的にはそれなりの分布に成る。ということであまり気にせず採点を続ける。

で6時半からプロ野球のオールスター2戦目を観戦。昨日はパが17安打7点、セが11安打5点と打ち合いだったが、さて今日はどうでしょう？と思ったら昨日以上。3回表にセが長岡（Swallows）の内野ゴロで先制し、その後佐藤（Tigers）、細川（Dragons）が連続ホームラン。が、3回裏に西川（Bufflaoes）のタイムリーヒットの後、柳田（Hawks）が逆転3ランホームラン。柳田はプラスワン投票というので選ばれて、家族旅行をキャンセルして出てるらしく、キャンセル料を稼ぐ、と言ってたので、逆転3ランはインパクト大。結果次第だが、何かしらの賞は貰えるだろう。が、まだ終わらず。すぐ4回表に長岡のタイムリーヒットで同点。が、4回裏に滝澤（Lions）の打席で1塁ランナー村林がスタートを切ると、やや遅れて若月（Buffaloes）がホームスチールで勝ち越し。新庄が1塁ベースコーチに立っていたが、両手首のリストバンドを使ってサインを送っていたらしい。で滝澤ヒットの後、清宮（Fighters）の犠牲フライで2点差。が、まだ終わらない。5回表に大城（Giants）の2点タイムリー2ベースヒットで同点、5回裏にレイエス（Fighters）がソロホームランで勝ち越し、6回表に細川が2ランホームランでセが逆転。3回表から6回表まで毎イニング点が入るという凄まじさ。が、そこから両チームの投手陣が頑張って、結局そのまま8－7で終了。両チーム18安打と凄まじい。30年振りの富山開催のオールスターだが、ホームランが沢山出て点がたくさん入るので、ファンは楽しかったろう。MVP は決勝ホームランを含む2ホームラン3打点の細川が文句なく選ばれた。細川は元は Baystars にいた選手。活躍は嬉しい。ただ細川が前半の不調（打率.223）から立ち直ると Dragons 怖いな。Baystars 戦では程々にお願いします。

前にも書いたが、職場に7月中に行くチャンスは明日くらいしかない。が、明日は滅茶苦茶暑いそうだ。今日の京都は久し振りに猛暑日から脱出したそうだ（34度だったらしい）が、明日はまた猛暑日らしい。外に出るのすら嫌な陽気。あまり早く行くと遠くの駐車場に停めないといけないし、3時くらいに行くとウェストウィングの近くの駐車スペースに空きがある可能性は高いが、暑い。もっと遅く行くと、職場に行ったのに作業があまり出来ない。さてどうしましょうかね？まあ起きる時間次第だな。何時までレポートの採点をするかに依存する。ま、起きたら考えましょ。

熊本で震度7の大地震があった

生活リズムが滅茶苦茶なためか、夜が深くなるほど元気になってくる。ということで呑み呑みウダウダ。殆ど寝てない。今晩は寝るよ。二日続けては流石に無理。高校生が超巨大流しそうめんをやるという変な番組がやってたが、案外真剣に見てしまった。無駄なことにこそ人生の醍醐味がある。ああいう経験は大事。同窓会の時なんかに盛り上がれる。共通の体験があるのはいいことだ。

昼に高校野球の大阪府大会の決勝戦が放送されてたが、見始めた時点で11－0という、とても決勝戦とは思えないスコアだった。最終スコアは16－2。履正社が強いのは分かるが、箕面学園は無念だったろうな。決勝まで上がる力はあったんだ。来年またやり返してください。1時には高校野球の中継は終わるのだろうと思ったが終わらない。延長するようだ。「徹子の部屋」と「DAIGOも台所」を放送しないわけにはいかないようで、27分遅れで放送されたようだ。寝床で音声だけ聞いていたが、「あなた今年で50に成るんですって？」と聞こえてきた。女性のようだが、誰だろうか？と思って起きて見ると、辺見えみりだった。調べたら昭和51年（1976年）12月16日が誕生日。確かに今年50だな。

野球のオールスターが始まるまで寝床でウダウダしよう、寝てもいいように6チャンネルに合わせておいて、と思ってウダウダやってたら、「newsおかえり」はちゃんと定時に始まった。ドラマを一本間引いて、「人生の楽園」で調整したようだ。トップニュースは板東英二が死んだという話題。スマホにばんばん情報が入ってきたので知ってた。消息不明と随分前から言われてたが、随分前から病気だったようだ。で色々話題をやっていたが、暫くしたらとんでもないことが聞こえてきた。熊本で震度7の地震。何か煙突が折れたとか、イオンモールで爆発があったとか恐ろしい音声。熊本には大学のゼミの後輩で大学で数学教授をやっている奴と、山科の夜の街で知り合った奴と二人知り合いがいる。大丈夫だろうか？こういう非常事態の時は電話はしない方がいいだろうから、後でメールを書くなり LINE でメッセージを送るなりしておこう。

6時半に成ってもオールスターの中継が始まらず地震のニュースを流してたが、最初から6時34分放送開始だったようだ。明日もそうなってるから、別にニュースを延長したというわけではないようだ。で試合開始。1回裏に佐藤（Tigers）、2回裏に細川（Dragons）がソロホームランを打って、セ・リーグが2点リード。3回表からセの投手は井上（Giants）。打たれろ打たれろと念を送ったら、近藤（Hawks）、レイエス（Fighters）が連続タイムリーヒットで同点に。栗原（Hawks）の長打でレイエスが1塁からレイエスが長躯ホームインを試みるも本塁手前でタッチアウト。パは2回裏も田宮（Fighters）の浅い外野フライで栗原がタッチアップしてホームに突っ込むも憤死と、勿体ない。4回表にセの投手が東（Baystars）に交代していたようだが、不摂生のため鼻の調子が悪くてティッシュが底をつき、新しいのを開けないとと思ったが、どこに行ったか中々見付からず、漸く発見した時は「東が三者凡退に抑えました」の音声。うぉー見損ねた。5回表は大野（Dragons）の出番だと藤川監督が言っていたので、東の今年の雄姿は残念ながら見られない。今のご時世連投させるということも無いだろうから。で大野が万波（Fighters）に勝ち越し打を打たれ、万波は7回にドリス（Tigers）からタイムリーヒットを打ち2打点目。どうしてあんな態勢でフェンス直撃の3ベースヒットが打てる？打ち方だけ見てるとセカンドフライだろうと思ったが。恐るべし。8回裏にパは松山（Dragons）を攻め、西川（Marines）が2ランホームラン、村林（Eagles）が2者連続となるソロホームラン。もう勝負あったか。万波はここまで4安打2打点。MVP は見えたろう、と思ったが8回裏にセがマチャド（Buffaloes）を攻め、大城（Giants）のタイムリーヒット、大山（Tigers）の2ランホームランで2点差。9回裏は藤平（Eagles）がマウンドに。長岡（Swallows）がヒットで出塁もその後は3人凡退してゲームセット。ベンチで万波がそわそわしていた。で無事 MVP は万波。「勝ち越し打を打った時から『全員凡退しろ』と思ってました」と言ってたが、まあ偽らざる心境だろうな。万波は横浜高校出身だし、好きな選手。新庄が抜擢して大活躍し出した頃は凄いのが出てきたと思ったもんだ。肩が目茶目茶強くて、3塁までイチロー並みのレーザービーム返球で捕殺したシーンは見飽きるほど見た。凄い選手だ。引き続き応援する。明日は富山でやるそうだ。今日は東京ドームだったから、明日北陸新幹線で移動すればいいので、容易だろう。

その後地震の様子をニュースで見たが、凄いな。熊本城で石垣が結構崩れたようだ。10年前の地震の時は天守閣の瓦が結構落ちたようだが、今回はそんなことは無いようだ。まだ修復半ばだったそうで、気の毒だ。前に熊本に行った時にホテルまで熊本駅からタクシーに乗ったが、運転手が「お城の中通って行ってもいいですか？」と聞かれたが、まあ近いならそっちが、と思って返事したが、運転手はお城の惨状を見せたかったようだ。でホテルはお城の目の前だったから、朝食の時に天守閣の修復中の様子を見ながら食べた。更なる修復は大変だろうが、頑張ってくだされ。

何か数学を全然してないように見えるので、ちょっとだけ書いておく。K が代数体、L₁, L₂ が K の有限次ガロア拡大の時、「L₁＝L₂ ⇔ L₁ で完全分解する K の素イデアルの全体と L₂ でのそれが一致する」という事実がある。有名よね。じゃあガロア拡大じゃない時はどうなの？というのがゼミのテキストに書いてあって、即答出来なかった。後で加藤和也、黒川信重、斎藤毅「数論I」（岩波書店）を見たら、こういうことが出てた。「K を代数体、L/K を有限次拡大、L' を L/K のガロア閉包とすると、L で完全分解する K の素イデアルの全体は L' で完全分解する K の素イデアル全体と一致する」。ほう、と思ったが、証明出来なかった。まだ出来てないが、例えば K＝Q、L＝Q(2^1/3)、L'＝L(√(－3)) の時くらいなら示せるんじゃ？と考えてみたら出来た。学生にゼミで色々勉強してもらってるのを聞いてる内にこういうのが示せるようになったのは嬉しい。数学を専門とする学科にいるといいな。もっと学生を踏み台にして賢く成ろう。

あ、高校野球の話題をちょっと上に書いたが、京都の代表は立命館宇治。何やらそれに関してメールが当局から来ていた。後で読んでおこう。それと、大阪桐蔭が府大会の割合早い内に負けてたが、それを破ったのは大阪立命館高校という高校。うちの付属？と思って調べたらそうではないようだ。どうも初芝立命館高校といううちと提携している高校が改名したらしい。知らんかった。学園長は前に理工学部で教授をされてた方だ。まあ要するにそういう関係なんだな。大阪桐蔭に勝ったんで大分宣伝に成ったでしょう。私立はそうやって名前を売らないと。神奈川大学が箱根駅伝で優勝したら、一気に偏差値が上がったと聞く。まあそういうこと。

もう一つどうでもいいこと。水曜日にやってる刑事ドラマ（見てない）の宣伝がばんばん流れてるが、犯人の名前が「田中太郎」。これ、ゼミの先輩と同姓同名。太郎さんはさぞ気分が悪かろう。思い出す機会が出来たのはドラマのお陰かな。お元気にしておられるだろうか？

眠くて特に何もしてない一日

寝る前にちょっと奥の方から出てきた本を眺めたら、考えたいことが一つ出来てしまった。でうまくいったような気がしたが、SageMath で実験すると答が合わない。で確かに考え違いをしていることに気付いた。で何とかならないかと思ってうだうだとやったのだが、難しいぞ。ということで諦めた。その時点で結構な時間。

で起きたら夕刻。腹が減ったので、Uber Eats に適当に頼んで、食べながら土曜日にやっていた「ミラクル9」を録画しておいたものを見たが、途中で眠くなってきた。ロクでもない生活を続けるとこうなる。で数時間横に成った。まだ眠い。今日くらいは早寝しようか、と思わないでもないが、今晩のプロレスの放送が目茶目茶遅い。「甲子園への道」という番組がやってるせい。関東では放送が無いのでは？と思ってテレビ朝日の番組表を見たら、関西より遅い時間にやってるようだ。逆にこっちはバラエティー番組の時間が遅くなってる。韓国ドラマの放送いらないからプロレスを早くやっておくれ。

今日は野球が無いからつまらない。明日、明後日は日本の野球のオールスターゲームがあるので見るよ。普段は勝ち負けが気に成り過ぎて落ち着いて見てられないが、オールスターは楽しんで見られるのでよい。選手がマイクを付けてプレーするのも面白い。楽しみましょう。

オールスターブレークが昔より短く成ってて、明日明後日（火曜、水曜）にオールスターで、木曜一日休みで、金曜日からまた通常モード。ということで職場に行くとしたら木曜日しかないな。前も書いたが今月中に行かないと勿体ないので。暑いので嫌だが仕方ない。その次に行くのは多分8月26日（水）。保健センターに行かないといけない。その二日後が院試面接。これもいかないといけない。ということで、月5000円の駐車場料金が勿体ないので、8月は行くたびに300円ずつ払う。この方が圧倒的に安いのでね。9月は月の終わり近くから秋学期が始まるので、数日行くだけ。ということで9月の末近くに駐車場の定期利用を再開するが、1か月手続きをしないとカードを再発行してもらわないといけないのが面倒ではある。まあいいけど。

安青錦は本割で負けたが、優勝決定巴戦を制し3度目の賜杯

 昨晩も楽しかった。ふなごやはメニューが幾つか変わっていて、ガーリックライスが無くなってた。ガーリックの舌に成ってたので、ペペロンチーノにした。ガーリックライス作りますよ、とは言ってたが、まあ甘えないことしましょうということで。その後いつもの通り3人でワイン。昨日のも美味しかった。で途中から例によって記憶が無い。セブンイレブンに寄って何か買った記憶があったが、起きたら塩むすびの残骸が残っていた。テレビを消さなかったようで、何故か NHK 総合にチャンネルが成っていて、のど自慢で目茶目茶歌の上手い人が何人かいたのが聞こえてきた。

で2時から野球だろうということで1時過ぎに起きて、Uber Eats にすき家のトリプルニンニク牛丼を、と思ったが、今日は土用の丑の日なので鰻を割り引いているようだが、もうトリプルニンニク牛丼の舌に成ってたので。後で気付いたが昨日の晩はペペロンチーノだった。まあいいです。で1時55分にチャンネルを J SPORTS 2 に合わせると、もう始まっている。1時半開始だったようだ。3回裏に石伊（珍しい苗字）にソロホームランを打たれ先制されたが、4回表にすぐ宮崎のソロホームランで追い付く。その後決め手を欠き中々両チームとも点を取れなかったが、8回裏に登板の宮城が乱調。敬遠四球もあるが3四球。敬遠四球の次の打者を1球もストライクが取れずに歩かせてしまったのはなんともいただけない。で板山に走者一掃のタイムリー3ベースヒット打たれてしまう。むぅ。まあ負けが確定したわけではないが、相撲が見たいので、野球はそこまで。今見たら吉野に交代したが、吉野がタイムリーヒットを打たれてもう1失点したようだ。

今日の相撲は何か展開が遅いな、と思ったら、幕下が7人で優勝決定戦だったり十両も4人で優勝決定戦をやったようで、そのせい。で高安 vs. 朝乃山が2分を超える大相撲だったりしたから、どんどん時間が過ぎて行って、もうとっくに終わってる筈の時間なのにまだ結び前。これより三役の後に2敗の安青錦と3敗の熱海富士という興味深い取り組み。熱海富士が体を利して圧勝。これで優勝決定戦に成ることは確定。で霧島 vs. 琴櫻の大関対決は霧島が制して、巴戦に成ることが確定。もうこの時点で5時40分過ぎ。放送延長は確定だな。で決定戦は、熱海富士が霧島を圧倒でまず王手。が、安青錦が上手さを見せて熱海富士に勝ち。霧島はもう一度チャンスが巡ってきたが、安青錦が力強さを見せて勝利。大関復帰どころか優勝。今の制度に成って陥落大関の次の場所の関脇が優勝したのは初とか。安治川親方曰く安青錦は普通に相撲を取れる状態ではなかったそうだが。そんな状態で1日三番とったわけだ。小泉純一郎が総理大臣杯を渡すのだったら、また「感動した！」と大騒ぎしたかもしれないな。熱海富士が最初の一番を制した時は、熱海富士優勝でいいじゃないか、とも思ったが、やはり安青錦が勝って小生も感動した。もう一度横綱を目指しましょう。霧島は来場所も綱取り場所だとの審判部の声のようで、来場所の横綱昇進は無いということだな。熱海富士は来場所大関が掛かるそうだ。すんなり行くといいが。若隆景は今場所の結果次第で大関と言われていたが、結構深刻な病気で、手術してようやく歩けるようになった所らしいから、来場所も休場かな。神様は試練を与えるな。頑張れよ。

で今日は土用の丑の日だから、鰻を食べないと。和食さとで特上鰻を、と行きたいが、暑くて、僅か5分程度の距離を歩くのが億劫。で閃いた。椥辻にも和食さとがあったな。場所を調べて、車で向かうことにする。が、ちょっとトラブル。新十条通の開始点を過ぎたらメガドンキが目に入るが、そっちに気を取られて通り過ぎてしまった。「外環一本道」の交差点の少し北だと覚えていたが、目の前の信号に「外環一本道」の看板が。バックミラーを見たら和食さとの看板が見えた。どっかで右折して戻ろう、としたが、結構狭い道に入ってしまった。幸い対向車は来ず、信号の無いT字路を右折する必要があったが、幸い大した通行量でなくすんなり行けた。で新十条通まで出られて、右折、右折で外環状線に出られて、メガドンキが見えたらまさにその真向かいに和食さとがあった。で店に入って注文しようとするとまたトラブル。タブレットに特上鰻が中々出てこない。やっと見付かったと思って頼むと、ちょっとしたら店の人が来て、「テイクアウトの分ですが、すぐお焼きしてよろしいですか？」と。間違えてテイクアウトの物を注文してしまったようだ。で注文しなおして来たものを見たら、こんなに小振りだったかいな？と思った。店の人が「上」と言ってたような気がしたが、気のせいか？まあ関西風のパリパリなものでなく、ふわっとした関東風の焼き方のようで美味しいので良かった。鹿児島産だしな。レジに行ったらちゃんと特上に成ってたから、大丈夫なのだろう。で帰りにセブンイレブンで買い物。袋を持って行ったので、余分なお金を払わずに済んだ。

有理点探しは引き続き続行中。でもう一つやってることがあるが、そっちも有理点探しをしないといけない。パラメーターは今探してるやつよりも大きいのだが、有理点はすぐ見付かって、整数点の決定も出来た。やる前に何が起こるか分からないから研究は面白いのだ。パラメーターごとに全然様相が違うのも不思議で面白い。さあ探してる方はいつ見付かるんでしょうか？

あ、勝又の連続試合出塁が止まってしまったようだ。残念。オールスター明けからまた仕切り直しましょう。再開後の最初のカードは Giants と。大きく負け越してるので、どうにかしましょう。幸い今日 Tigers が Giants に勝ったので、同率首位での折り返し。この前 Tigers には負け越したし、Giants に勝ち越せばちょっとは面目が立つかな。頑張れよ。

6月加入のビドは5回無失点で勝利投手に（連敗は3でストップ）

寝不足だし寝ないと、と思ったそばから調べたいことが出てきた。ペル方程式に関すること（同じことだが実二次体の単数に関すること）なのだが、SageMath や PARI/GP で調べたら、あることが成り立ちそう。む、と思って手近の本を調べるも、英語の本だとパラパラと眺めただけでは見付からない。眠いしやめよう、ということで寝た。

起きたら2時過ぎ。もう野球が始まっている。するとすぐ筒香のソロホームランが出て1点先制。Dragons の先発は涌井だが、横浜高校の先輩、後輩対決、だが筒香の方が後輩。筒香の先輩はもうあまりいないだろう。4回に松尾にホームランが出て2点目。Baystars の先発ビドは何度かピンチを作るが、5回無失点で降板。四球4つはちょっといただないが、まあ一軍デビュー戦だからいいのでは。5回に筒香がタイムリーヒット、7回蝦名が2点タイムリースリーベースヒットを打って5点差。勝負あった。今日は Dragons のライトを守ってるボスラーの所に難しい打球が何度も飛んでいた。2つばかりダイビングキャッチを試みたが、いずれもちょっと届かなかった。解説の鈴木孝政さんが今日のボスラーは大変ですねと言ってた。

ヒーローインタビューでビドの声が聞けるかも、とも思ったが、相撲が気に成る。熱海富士 vs. 獅司の3敗同士の対決は熱海富士が制して可能性を残した。2敗安青錦と3敗尊富士の対決は尊富士がいい感じに攻めていたが、安青錦が体を入れ替えて寄り倒しで勝利。これで優勝の可能性があるのは2敗安青錦、3敗霧島、熱海富士の3人に絞られた。明日の割はどうなってるかな？後で調べておこう。

昨日横綱の負け越し云々を書いたが、豊昇龍は今日から休場。上に霧島3敗と書いたが、今日は不戦勝だった。明日勝って優勝したら横綱昇進はどうなるのでしょうか？ハイレベルな優勝をと言われていたが、明日勝っても12勝3敗で、うち一番は不戦勝というのがどういう評価に成るか？大の里は勝ち越した。ということでフル出場の横綱の負け越しは今場所は無くなった。横綱と大関の勝ったも負けた方も8勝6敗とは寂しい限りだ。奮起してくれないと。

相撲終了後気に成ってたことを調べようとして閃いた。二次体に関することは高木貞治「初等整数論講義」に大概出てる、と思って調べたらすぐ見付かった。何を調べたかったというと、Q(√(2p))（p は p≡5 (mod 8) である素数）の基本単数のノルムは －1 である、という事実。PARI/GP は二次体に特化した命令があるので、その内の二つを使って調べたらそうっぽい。で「初等整数論講義」にしっかり問題として出ていた。ちょっと考えたくないので、まだ考えてないが。明日やる。でインターネットを調べたら、初等的な証明が出ていた。成程簡単。Q(√p)（p は p≡1 (mod 4) である素数）の基本単数のノルムが－1であることも同様に初等的に証明出来ている。素晴らしい。誰が作ってるサイトだ？と思って見たら、ガロア理論の本を出したが、もの凄く誤植やそれ以上の間違いがたっぷりある本を書いた人だ。小生も一つ間違いを見付けて報告した。一般に L/K, K/F がガロア拡大でも L/F はガロア拡大とはならないのに、なると勘違いする人は多い。その本にも “証明” が載っていた。著者の略歴を見ると博士課程まで出た方のようだが、ちょっと褒められた本ではないし、薦めたくはないな、というのが実感。誤植の直ってる版が出たら再度購入するかもしれないけど。ということで人の書いたものにはケチを付けるが、自分のことは棚に上げる小生であった。

今日も40度超えた所があったようだ。京都は39.2度と際どかった。京田辺は39.7度と言ってた。とんでもないね。明日は37度だからましか。いや、これでましと思ってはいけないな。東京は来週最高気温34度の日があると聞いて羨ましくなってしまった。34度も相当暑いが、もう感覚が麻痺してきてる。30度を割ってくれればまあ暑くないと言ってもいいか。30度も暑いか。まあ兎に角感覚がおかしくなってきてるのです。秋が恋しい。

有理点探しは続いてるが、さっきコンピューターのことでお世話に成ってるウィザードという会社の方がお得意さんに書いた LINE を見ると、PC や周辺機器は25度±10度であるという想定で作られているそうで、部屋に放置しておいただけで壊れることがあるとか。先週の水曜日から有理点探しのため回しっ放し。大丈夫でしょうか？何にしても今の日本は暑過ぎる。前にうちにいた人が夏の様子を「お湯の中を歩いてるよう」と書いていたが、どなたかが「鍋の中を歩いているよう」と言ってたが、現状はそっちの方が正しいな。嫌なこってす。

霧島は安青錦に負けて3敗で、横綱は遠のいたか？

呑み呑み色々やって、また変な時間まで起きていた。昨日書いた通り昼起きてても暑くて仕方ないので。でまた相撲を途中から。今日は横綱を狙う霧島と大関復帰が決まった安青錦の2敗対決。霧島が攻め込んだが、土俵際で安青錦が逆転。これで安青錦が単独トップ。霧島は3敗では優勝しても横綱昇進は厳しいか？3敗は他に熱海富士、尊富士、獅司。熱海富士は三役で連続9勝だったが、ついに十番勝った。大関を目指しましょう。明日は霧島は豊昇龍と、安青錦は尊富士と、熱海富士は獅司と。さあどうなる？問題は両横綱。13日を終えてまだ勝ち越してない。明日の結果次第だと、千秋楽の結びの一番の横綱対決で勝った方が勝ち越し、負けた方が負け越しとなるのが最悪のシナリオ。皆勤横綱の負け越しは大乃国、3代目若乃花の2例だけだそうだ。問題だな。琴櫻はカド番を脱出出来たが、八角理事長は苦言を呈していた。こんな相撲ではまたカド番になってしまう、と。引いて勝ったのが数番あるからね。さあどうなるでしょう？

6時から野球。今日はエンカーナシオンのソロホームランと松尾の犠牲フライで2点リードしたが、その後チャンスを何度も作ったのに潰してしまう。Dragons も細川のソロホームランで1点取ったが、満塁の好機を活かせなかったりと、どちらも決め手を欠いた。満塁はレイノルズが四球3つ（1つは申告敬遠だが）でだったのだが、まあ抑えたけど。その直後に Baystars も満塁のチャンスを潰した。こんな試合は引っくり返されるぞ、と思ったら案の定で、ボスラーのあわやホームランという当たりは3塁打で同点にされただけで済んだが、結局バウンドの高い内野ゴロを打たれて the end。好調だとか言ってたが、今日の負けで3連敗。まあ3連敗はあることなので、明日、明後日は勝たないと。今日のセ・リーグは勝って欲しくないチームばかり勝ってしまった。不愉快。まあいいです。明日は久し振りのデーゲーム。ドームだからね。今の暑さの名古屋で屋外のデーゲームは無理。ナゴヤ球場でやってた頃は流石にナイターでやったのだろうな。まあ当時は今ほど暑くはなかったと思うが。明日やり返しましょう。先発は、ビド？知らんな。6月に加入したんだそうだ。二軍では4試合10イニングで2失点。うまくいけば勝てるな。最近実績の無い投手の方が勝ってる。そのジンクスに期待しよう。

今日も暑かったようだ。明日どこかで酷暑日があると、5日連続で、史上初とか。異常だ。京都は大丈夫だろうか？今月中に一度タイミングを見て職場に行こうと思っているが、駐車場からウェストウィングまで歩くのが嫌だ。ウェストウィングの近くに停めるようにするには結構遅く行かないといけない。まあ伝票を事務に回すだけだから、別に短時間でも構わないけど。上に書いた通り明日の野球はデーゲームで、その後6時まで相撲を見るから、明日は行かないな。今月はまだ1週間あるから、まあどこかで行く。印刷したいものもあるし、住処で同じ本が2冊あることが分かったので職場に持っていったりと、複数用事があるので。来週は少し暑さが収まるようなことを言ってた。まあ34度とかだが、ちょっとはマシかな。