ソロホームラン3発と満塁策後の長打では勝てるわけがない

久し振りにパソコンの電源を落とそうか、と思ったが、まだ落としてない。前に Magma Calculator に頼って有理点を見付けた楕円曲線の有理点を PARI/GP の ellheegner という命令を使って探そう、と始めた。すぐ済むのでは？と思って確かにすぐ見付かるのもあるが、4時間くらい掛かったものがあって、一寝入りした後それが済んでるのを見て、もう一個やってしまった。只今大体12時間経過してるが、まだ答は出てない。Magma Calculator だと30秒くらいで答が出てくるんだが。電源を2週間以上入れっ放しなので、そろそろオフにしたいが。

昨晩は成績の入力作業をせず、呑み呑み「ゴチバトル」を見てたりしたので、やはり眠くてもう一寝入りした。で起きたら夕刻。であっと言う間に野球の時間。東京ドームでの Giants 戦なので、不愉快だが日テレ系のチャンネルで見ないといけない。で結果も不愉快だった。ソロホームラン3発と、満塁策の後に長打を打たれてしまってはどうしようもない。汐恩は修行中だから仕方ないが。Giants の外国人投手に5回までパーフェクトに抑えれてて、初ヒットが出た時は喜んでしまった。この程度で喜んではいけない。勝たないと。途中入ってきた情報だと Tigers が3点リードされている。不愉快な結末に成るのか、と思って「報道ステーション」のスポーツコーナーを見てたら、Tigers 勝った。1イニングに4点まとめて取って逆転したようだ。よかった。明日は Baystars に勝って欲しい。幸い明日は NHK 総合で中継があるようで、Giants ベタベタな放送ではないだろうからそっちを見よう。

今日の先発は平良だったが、平良は山口俊の FA 移籍による人的保障で Baystars に来た選手。どこかで見たのだが、前の登板で勝ち投手に成って、移籍後の勝ち星が山口27勝、平良28勝と、山口を越えたようだ。長期的に見ると FA での安易な補強とどっちがいいかは難しいな。Giants は Carp から大竹を取った時に一岡を Carp に取られて、大竹は全然駄目だったが一岡は中継ぎで抜群の結果を残して Carp の3連覇に貢献した。平良はもっと頑張って Baystasr の優勝に貢献してくれないと。

三角関数には沢山公式があって、色々謎なことが成立するが、三角関数を三角関数のままいじってもうまくいかないこともある。そういう時は cos、sin を1の冪根の実部、虚部と見ると色々示せてよい。入試にも使えるし、体の拡大の演習問題としても使えるし、代数的整数論の演習問題としても使える。が、cos(2π/5) とか sin(2π/5) は面白くない。√ を使えば値が書けちゃうからね。素数にこだわるなら7か11が適当かな。素数にこだわらないなら9。12もまあまあ面白い。大学入試でなければもっと大きくてもよくて、昨年度の代数学IIのレポートで36分体の問題を出した。まあまあ面白かった。本当はこういうチマチマした問題を作るのではなく、円分体で華々しい論文を書きたいが、まあ無理だな。身の丈に合ったことをやります。

昨日はこれを書いてたら有理点が見付かって終了と成ったが、今日はまだ駄目だ。パソコンの電源を落としたいが。まあ明日起きたら終わってるだろうから、呑みに行く前に電源を落とそう。まだまだパソコン君には頑張ってもらわないといけないのでね。

先々週の水曜日の朝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.8327… と、とてもごつい。x 座標の分母、分子の絶対値の大きい方の桁数は366桁。うーん、ゴツイ。これだけ時間を掛けて見付けて、何が分かるかというと整数点が無いことが分かる、という、何か悲しい結末。何度も書いてるが、もっと何か考えないと。もう二つ canonical height がゴツイと予想されるものがある（940.1692… と 897.8494… くらい）があるが、もう少し小さいのを先にやろうか。小さいと言っても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度とかだが、ちょっとはマシかな。

京都の最高気温は39.7度と酷暑日にギリギリ成らなかった

またしても変な時間まで起きていて、夕刻に起きた。生活リズムが無茶苦茶だが、昼起きてても何もする気が湧かないので、いいのではないかと。苛烈な暑さの屋外で働いてる人には申し訳ないが、「災害級の暑さ」とか「不要不急の外出は控えてください」と言われると外出しないよね。

で今日もまた相撲を途中から。安青錦は昨日10番目の白星を得て安心したからか、琴勝峰に負けた。霧島は結びで今まで10戦して勝ったことのない横綱大の里と。ちょっと押し込まれたかに見えたが、見事なとったりで勝利。2敗を守った。霧島、安青錦、宝富士、獅司が2敗で並んだ。明日は霧島 vs. 安青錦の直接対決、西13枚目に関わらず宝富士は大の里と、西14枚目の獅司は大関琴櫻と。明日終わったらガラッと戦況は変わってそうだ。さあどうなる？

9時過ぎに銀行へ行く、ということにしていたが、昨日の晩調べたら、Book Off の営業時間が10時まで。売りたい本が結構ある。ということで9時少し過ぎに車で出発。関西みらい銀行までは5分も無いので、暑いからといって車で行くほどではない、と思っていたが、ついでに Book off に寄るなら、ということで車にした。でちょっと必要な額より余分に卸しておいた。Book Off で結構な数の本を出したが、いつもの通り値段の付かない本が結構あった。まあ何かの景品に付いていたような本が売れたりとかよかった。英語勉強本ももういいや、と売ったが50円で売れたものがある。嬉しい。まあ総額190円だが、本棚に空きを作りたかったのでこれでいいです。メルカリかなんかで売った方がよい、とアドバイスされたこともあるが、箱詰めがどうしたとかそういう面倒なことをやるのは嫌いな性分なので、安くてもこれでいいです。で出口で150円で飲み物を購入。ほぼ全部吹っ飛んだ。が、ビックリした。駐車場で精算手続きをしたら300円の表示。何を！店員が「駐車場のご利用はございますか？」と聞いてきた時に「はい」と答えた気がするが、駐車場の割引券を貰ってない。急いで戻って、さっきの定員さんに頼んで、60分無料にしてもらった。よかった。

帰ってきてから払い込む額を調べて、払い込み用紙を持ってセブンイレブンへ。諸事情で年に数回結構な額を払わないといけないが、もっと多くの額が戻ってくるので、仕方ない。ついでに呑み物を買ってきた。仕事が無いと呑んでしまうな。まあ仕方ない。明後日が学生のレポート提出の締め切り日なので、日曜日以降採点する。昨晩 moodle＋R の使い方を調べて、学生が提出したレポートがダウンロード出来た。これで採点が出来るようになった。まあ中途半端にやっても仕方ないので、日曜日以降やるが。まあ一日で終わるだろう。自力で考えたとか本を調べたとか AI に聞いたとか「貢献度」を書かせることにしてて、何かのソースからの丸写しは最初から低評価、自力で考えたのは多少変でも高評価、とするようウェイトを付けてあるので、楽になる。嘘を書いたら即 F 評価にする、とも書いてあるので、嘘は付けないでしょう。案外簡単に嘘ってばれるものです。ということで明日、明後日はボーっと過ごす。

今日も日本中暑かったようで、40度を超えた場所があったが、関西のニュースなのに京都の話題が無いぞ、今日の京都は酷暑日だと予想されていたが？と思って結果を聞くと、京都市の最高気温は39.7度。おぉギリギリセーフ。いや、酷暑日みたいなもんだがな。しばらくこんな陽気が続くようなので、職場に行く気も無くなるし、映画を見に行く気も湧かない。いつも行ってる映画館のある BiVi 二条なら車で行ってもいいが、京都市の中心部に車で行くのはちょっと怖い。駐車場は屋内なので、出すときも車内が暑くなってないのでよいが。イオンモール草津の駐車場は室内だろうか？あそこにも映画館があるし、車で行く以外の方法が無さそうな所だから、イオンモール草津にしようか？調べてみよう。

6時開始の学科会議の終了は10時近く

またしても訳の分からない時間まで起きていた。日が出る前に買い物に行ったが、あまり暑くないな、という気がしたが、冷房の効かせ過ぎで寒いような気がしていたのが原因のようで、「おはよう朝日です」の情報だと、5時の京都は28度あると言ってた。大学に行っている頃にアルバイトで機械を酷使する仕事で、冷房を滅茶苦茶効かせていて、皆上着を着ていた。休憩に成ると冷房を止めて窓を開けて、紙コップの暖かいコーヒーを競って飲んだのを思い出した。

で起きたらもう夕刻。またしても相撲は途中から。安青錦は見事に勝ち、10勝目で、来場所の大関復帰が決定。よかった。1敗で単独トップに立った。10勝したら休場か？と思ったが、優勝が狙えるなら出続けるかな？カド番の琴櫻は昨日、今日と連勝で6勝5敗となり白星先行に。残り4日。どうなるでしょう？

で6時から野球、と言いたいが、そうはいかない。6時から学科会議。本当は先週の水曜日に予定だったが、重要な議題に関係する人が何人も欠席する、ということで金曜日はどうだ？と学科長に聞かれたが、その日は小生が試験監督で6時近くまで手が開かないとか、どこかに出張でフライト中の人がいたりとかで、またしても延期に成り今日に。6時開始だったのはどなたか重要人物の都合に依存するのだろうか？で重要な議題が目白押しで、全員参加の議題終了後、教授、准教授陣で議論、さらに教授だけ居残りで議論と続き、終了したのは9時半を回っていた。野球を音声を消して流していてチラチラ見ていたが、高橋遥人から2点取って、藤浪は5回途中を1失点と、もしかしたら勝てるかも、という感じ。が、1イニングに3点まとめて取られひっくり返された。それでもしぶとく同点に追い付いたが、結局勝ち越されて負けた。むう。まあ Giants が負けて2位に落ちたのでいいです。Swallows が連敗を止めたので、Baystars と Swallows の差は再び3ゲーム。明日は試合が無い。今週は月曜日に試合があったので、ホッとできる日が無かった。明日は一日穏やかな気持ちで行こう。

Yahoo!の野球速報の頁を見てビックリ。Buffaloes が22失点とか。先発の片山楽生（「らいく」と読ませるそうだ）が1アウトも取れず4失点で降板、Hawks の得点は1回から8回まで4、3、2、7、0、1、2、3。投壊だな。Eagles 創設の年に Marines 相手に25－0で負けたと言う試合があったが、それ並みの結果だ。勝率は丁度5割だが、最近 Hawks が走っているからか、自力優勝が無くなったとか。今年の春先はよかったがな。

有理点探しは1週間経過した。前に見付かるまで2週間掛かったことがあったが、もっと掛かるかもな。Heegner point のことをほぼ知らないので分からないが、求めるためには色々複雑な計算をするのだろう。それでもいわゆる naive な方法で点を探すよりは早いのだと思う。何しろ canonical height が800を超えてるだろうから。Height が800って大したことないと思うかもしれないが、log をとったのが800だからね。桁数は滅茶苦茶多いよ。完全に機械任せにしないで何とかしないととは思うが、まあもうちょっとだから。全部終わったら考える、かもしれないし、考えないかもしれない。

今日も暑かったようだ。京都の最高気温は39度。勿論日本のどこかで40度を越えたろう。たまらんこってす。名古屋で相撲をやってるが、名古屋は暑い所。IGアリーナってどの辺なんだろうか？駅の近くならいいけど、遠かったら行き来だけで大変。観戦中にお酒を呑んでる人はいるだろうから、脱水症状にはくれぐれもご注意あれ。勿論小生も気を付けないとね。

サヨナラ負けで4連勝ならずも、まあ Giants を単独首位にしなかったと思えば

昨晩は呑み呑み「Qさま!!」の3時間スペシャルを見た。面白かった。が、途中から記憶が曖昧。東西対抗だったが、西の圧勝だった記憶が微かにある。

でまた夕刻まで寝てしまった。相撲を途中から。霧島は昨日負けたが今日は勝って2敗キープ。横綱昇進には2敗のまま優勝しないと。安青錦は昨日大の里、今日豊昇龍と連日の横綱斬り。9勝目で大関復帰まで残り1勝。あと5日あるし大丈夫だとは思うが、足の怪我の具合次第だな。豊昇龍を豪快に放り投げてたが、その後凄く痛そうにしていた。10勝目を上げたら休むかな。明日は豪ノ山と。油断出来ないかも。

で6時から野球。今日も甲子園で Tigers と。4回に牧のソロホームランで先制。が、5回裏に1点取られてしまった。投手の下村の内野ゴロの間だが、宮下が3塁へ投げて走者をアウトにしたのは大きかった。この1失点で済んだ。が、篠木は更に走者を出して、4回2/3で降板と勿体なかった。1失点だったから、もう少し投げさせてもよかったかもな。2番手で出てきた松本凌人が今シーズンまだヒットを1本も打たれてないゆえの人選だったのだろう。その後どちらも決め手を欠き延長戦に。が、座っている所が冷房の風が丁度来るところで、ちょっと寒くなってきたので、テレビの音声を寝床で聞くというモードに切り替えることにした。で11回表にチャンス。代打宮崎が四球を選び、勝又が送りバント、牧が申告敬遠、佐野が三振、度会が死球で2アウトながら満塁。が、起きて見なかったのがよくなかったか、筒香が空振り三振。するとロクでもないことが起きる。11回裏1アウトから元山がヒットで出て、坂本送りバントで2アウト2塁。途中から9番に入っている高寺の打順。打率が2割台前半だから大丈夫か、と思ったら、センターの頭を越えるサヨナラ打を打たれてしまった。むぅ。途中 Giants が勝ったという情報があって、まあ負けてもいいかな、とか思ってしまったのが良くなかったか？まあいいです、と言いたいが、明日の Tigers の先発は高橋遥人。Baystars は何と藤浪。甲子園で投げさせたいのは分かるが、どういう人選だ？高橋が濃厚だから捨てゲームにしたか？今日 Tigers から移籍してきた浜地と岩田が投げたので Tigers ファンには十分プレゼントはしたと思うのだが。あ、プレゼントと言えば、今日は藤川監督の誕生日だと言ってた。二日続けてのプレゼントは不要だ。明日は勝たないと。幸い今日も Swallows は負けたので、ゲーム差は2のまま。まあ全部は勝てないんで、と納得するしかないでしょう。

今「相席食堂」を見てるが、syudou って言うミュージシャンが出てて、千鳥が「誰？」という反応。街中の人も同様だったが、Ado の「うっせぇわ」を作詞作曲した、と言うと、皆態度豹変。千鳥なんか「syudou 様」と言い出す始末。「うるせぇんじゃ」を作って欲しいみたいなことを言ってる。街中の人の態度が豹変したのを見て、「俺らあんなみっともないことしてたん？」と反省していた。まあそうなるわな。面白い。

今日は暑かったようで、いよいよ「酷暑日」を使う機会が出てしまった。京都は暑い所だが、もっと暑い所があるのはびっくりだな。愛知県の豊田市は明日から3日間続けて40度を超えるという予報。41度に成る日もあるらしい。嫌なこったな。ちょっと現金が必要なので銀行に卸しに行く必要があるのだが、昼に銀行まで往復するのは嫌なので、野球が終わってから行こうと思っていた。10時までATMコーナーは開いてるんで。が、今日の試合終了は10時を過ぎてた。明日行こう。いや、明後日は試合が無いな。明後日9時半過ぎに行くか。それが確実でいい。そうしよう。

今日も勝って7月は11勝4敗1分と好調

4時のサッカーのキックオフまで、5月にやった「博士ちゃん」の戦国三英傑の誰が最強かを決める2時間半ものを途中まで見た。皆それぞれに思い入れがあって面白い。で4時に NHK 総合に合わせて観戦開始。スペインは相変わらず固い。アルゼンチンが全然攻め込めない。アルゼンチンの守備も固く、スペインのシュートの本数は多くない。後半にアルゼンチンに悲劇が。一人退場。む。しかしアルゼンチンも必死に守って、点を許さず延長戦に。延長戦前半もどちらにも点が入らないが、延長後半に成ってすぐにスペインが1点取った。始まる直前にアルゼンチンの選手が一人座り込んでいて、故障か？と思われたが、アルゼンチンはもう交代枠を使い切ってる。でちょっと集中力が切れたのかも。その後もスペインが点を取ったかに見えたが、オフサイドだったりその前に笛が鳴っていたりで、追加点は無し。が、結局アルゼンチンは延長後半にシュートを2本打てただけという、スペインの超固い守備が勝って、1－0でスペインが優勝。うーん、凄かったな。大会通して1失点、相手に一度もリードを許さないという圧勝だ。さしものメッシもどうしようもなかったようだ。殆どメッシの映像が無かったからね。メッシは得点王も逃し、残念な最後に成ったね。まあ面白かったです。

でサッカーの番組が終わったのは8時近く。表彰式もあったから、長かった。でその後すぐに寝ればよかったが、「博士ちゃん」の残りを見て、で何かその辺にあった書き散らかした紙が気に成って、考え始めてしまった。二重根号の外し方をいまいち分かっていない。まああれは勘で見付けられなくても、2次方程式を立てれば解けるのでいいでしょう。あんなもの公式とかテクニックとして覚えるのでなく、素直に √(a＋√b)=√c＋√d と書けるとして、2乗して係数比較で2次方程式を立てる、でいいでしょう。木田さんの論文に書いてあった公式もこれで説明出来る。で別の紙に和田秀男先生が数セミに書いたものがあったが、「Kさんに電話で x²＋295y²＝±3 は整数解を持つだろうか？」と聞かれた、と書いてあって、それを連分数を使って判定する方法が書いてあった。が、これは mod 5 すればいいのでは？と気付いた。Kさんとは小松啓一先生だろうか？こんなことに気付かない和田先生と小松先生ではないと思うが。D.J.Lewis の方程式という笑い話があって、Lewis が x³＋117y³＝5 の整数解は高々18個、と言い出して、Finkelstein と London がこの方程式に整数解が無いことを示している。しかし Math. Review に「mod 9 すれば分かる」と冷たく書いてあった。Finkelstein 達は Q(117^1/3) の整数論でやっているが。初手を見誤るといけないね。難しいことを考える前に簡単なことをしましょう。

もう11時を過ぎていたので、Uber Eats に王将メニューを頼んだが、最初の配達パートナー氏が拒絶したのか、「新しい配達パートナーを探しています」と出て、随分待たされた。まあ暑い中長距離走り回る（バイクでだが）は嫌なのでしょう。暑いからか、待たされた割には料理は温かった。

それから6時間程寝た。相撲を見なかったが、どうなったろうか？霧島はハイレベルな優勝で横綱、安青錦は二桁勝利で大関復帰、ということで見所は多いが。勿論豊昇龍の横綱に成っての初優勝、大の里がどこまで復調するかも見ものだが。また深夜のダイジェストを録画しておこう。

もう野球が始まっていた。今日から甲子園で Tigers と3連戦。Baystars が平良、Tigers が大竹。見始めた時は0－0という展開だったが、5回表に宮下がソロホームランを打ち先制。大竹は1失点で交代したが、援護が無いのだろうな。防御率2点台なのにもう6杯もしている。勝ちは僅か3。その後6回、7回は無得点だったが、8回に出てきた外国人投手が先頭から2者連続四球と嬉しいことをしてくれて、エンカーナシオンが3ランホームラン。無駄な四球はいけないということだ。9回は古市がヒット、神里四球の後、勝又がタイムリーヒット、三森のセカンドゴロの間に1、3塁に成り、佐野のショートゴロがフィルダースチョイスを誘発しもう1点、柴田が犠牲フライでもう1点。結局7－0という一方的なスコアに成った。四球は怖いな。教訓にしないと。これで4連勝で、Swallows が負けたので2ゲーム差。7月は11勝4敗1分、4連勝が2度。交流戦の失速は取り返せてきた。絶望的だったAクラスも現実的に成ってきたし、オールスター後に大勝ちしましょう。まずは Giants に勝たないと。Tigers 相手には6勝5敗なのに Giants には3勝10敗。Tigers ファンに恨まれるな。今日の結果で Tigers と Giants が同率首位で並んでしまった。まあ明日も Baystars は勝つが、Carp に頑張ってもらわないと。

昨日の晩から鼻の調子が猛烈に酷い。生活の不摂生が祟っているか？今日も不摂生の予定だが。呑み始めるのはもう少し経ってから。暑いと Uber Eats の配達の人が減るだろうから、今日のように待たされる可能性大。ということで、カップ麺と冷凍食品を買いに行く。僅かな距離を歩くのでも嫌なくらい外は暑いから、また車でローソンだな、ということで、飲酒運転は駄目よ、なので、もう少し我慢。「くりぃむナンタラ」が終わったら行く。寝癖バリバリだし、大分汗をかいたから、「光一＆シゲのSHOWマン!!」は見ないでシャワーにするか。

Swallows 相手に2カード連続3タテで、対戦成績は8勝8敗に（27歳のリーキー片山晧心がプロ初勝利）

昨晩も楽しかった。バイトの人が親族とのバーベキューとやらで来ないとのことだったが、閉店時間を過ぎた後常連さんの二人組が現れて、4人でしばし。西友が閉まる話とかで色々盛り上がった。男の人は小生の住んでるマンションを中古で買おうかと思ったことがあるそうだが、高くて諦めたと言ってた。小生が買った時より相当値が釣り合ってる。新築で買えたのはラッキーだったな。でお二人は12時前には帰られて、そこから店長とさしで。昨日書いた通りサッカー好きの店長だけあって、色々聞かせてもらった。でアルゼンチンのワインとスペインのワインを一本ずつ出されたが、直感でスペインのものを選んだが、非常に美味しかった。これはサッカーはスペイン優勝だな、と盛り上がった。で途中から記憶が無いが、いつも3人で呑んでる量を2人で呑んだからだろう。最後のはボトル半分くらいしか呑んでない。取っておくとの仰せ。栓を開けて1週間おくと美味しくなってビックリということがあったので、来週も楽しみ。

で夕刻まで起きられなかった。相撲を途中から。中日にして初めて横綱、大関が全員勝った。大の里は5勝3敗と、序盤の1勝3敗から立ち直ったな。やはり実戦をすると勘は戻るのだな。

で6時から野球。今日の先発は27歳のオールドルーキー片山晧心（これでどうして「ひろみ」と読むのだ？）。4月に Giants 相手に投げた時は2回2/3で7失点と無様な結果だったので、あまり期待出来ない。打順が回ってきた時にプロ初打席とアナウンサーが言っていたが、この前は先発投手が打席に立つ前に引っ込んだということらしい。今日はホームランを連発で、1回裏に牧、2回裏に蝦名、3回にエンカーナシオンが2ランホームラン。Swallows の吉村はセ・リーグで一番ホームランを打たれてる投手らしい。5回は筒香の2塁手とセンターの間のふらふらっとした当たりを、解説の飯田哲也氏曰く「前進してないセンターのミスですね」ということで間にポトリ。3塁ランナーが急いで生還して5点目。1塁ランナーが2塁で刺されたため、センターゴロという珍しい結果に。片山は内野ゴロの間に1点取られただけで、5回1失点。めでたくプロ初勝利。東で負けた次の試合から尾形、深沢、片山と実績の乏しい先発投手で3連勝出来たのはでかい。尾形はプロ通算6勝、深沢は2勝、片山は初勝利だからね。Swallows 相手に2カード連続3タテで、対戦成績はついに8勝8敗。ゲーム差は3。Aクラスが見えてきた。Tigers、Swallows 相手に5分、Carp、Dragons には勝ち越してるが、Giants 相手に7つ負け越してる。ここをどうにかしないと。明日から甲子園で Tigres と3連戦。最低でも勝ち越そう。Giants には Carp 相手に3連敗してもらいましょう。

サッカーの結果を見てビックリした。イングランド vs. フランスの3位決定戦だが、何と6－4 という凄い結果。前半でイングランドが4点取ったそうだが、一時は4－3に成ったようだ。サッカーで10点も入るのは凄い。随分前だが、ベルマーレ平塚（現ベルマーレ湘南）と外国のチームの試合で7－5というもっと凄いのがあったが。相手チーム曰くベルマーレの攻撃で一番目立っていたのはサイドバックの名良橋だと言ってた。たまにはこんなのも面白い。日が変わって深夜の4時から決勝戦があるが、見るかな。ケーブルテレビのチューナーが明日放送のあるものすら録画出来ないほどカツカツ。いや、正確に言えば、今日の10時15分からのドラマも録画出来なかった。こっちは木曜の深夜に再放送があるので、そっちを録画予約しておいたが。サッカーの始まる前に幾つかダビングするなり見て消すなりしないと。4時間あるから結構潰せるな。やります。

有理点探しは続行中。予想される canonical height が800を超えてる大物だから、ある程度掛かるのは覚悟している。2週間掛かったこともあるしね。また勝手にリブートされなきゃいいが。

深沢鳳介のプロ初完封で、開幕から7連敗した Swallows 相手に6連勝とやり返した

昨日書いた通り定期入れを職場に持っていき忘れたが、今日必要なので、住処を探すも、どこへ行ったやら見付からない。おかしいな、と一生懸命探すが、全然出てこない。途中休憩のため飲食物をセブンイレブンに買いに行ったついでに普通ゴミと資源ごみの袋を買って、散乱しているペットボトルのラベルを剥がして袋に入れて、とかやって床が見えるようになっても、全然定期入れらしき姿が出てこない。この前この辺にあった、と机を引っくり返すも出てこない。おかしい。まさか普段持ち歩いてる鞄の中にあったりしないよな、と見たら、何と出てきた。アホくさ。昨日職場に持って行ってた、ということだ。何故鞄に入れたかな？財布とカード入れ（クレジットカード数枚と nanaco を入れている）を尻のポケットに入れているが、車を運転する時はちょっと座ってて不快なので鞄に入れることはあるが、何故定期入れを？無駄な時間を使った。

昨日書いた通り昼前に近所で用事があるが、寝たら起きられそうにない。寝るのをやめて、ちょっと考えていたことがあるので片付けよう、と始める。ああでもないこうでもないとやって、何とか証明出来た。前に書いた論文に “Arguing similarly to (a)” とか書いて詳細を略していたが、本当にちゃんと考えたんだろうか？と疑問に思ってしまう。こんなこと考えたことも無いし、この方法で示したことも無い、という感じだったが。まあ示せたのでいいです。この前見付かった研究ノート第3号にはそこはやはり書いてなかった。何回も一から考え直してみるも大丈夫そう。まあよかった。

で昼前に用事のため出発。今日の主目的は1か月くらい前にやった血液検査の結果を聞きに行くこと。受付でマイナンバーカードを出す必要があるので、定期入れを探したのだが。一つ指摘されたことがあったが、医師に依れば誤差の範囲らしいので、大丈夫とのこと。肝臓の数値も腎臓の数値も全く問題無しとのことだ。こんな出鱈目な生活をしていても平気なことはあるな。まあ油断せずに生きていきましょう。100歳まで生きたいとは思えないが、まあ人並みには生きたい。気を付けましょう。

なか卯でいつもの親子丼と鰻のあいがけになったやつを食べようか、と思ったが、「うな丼豪快盛」が目に入ったので、そっちにした。鰻が凄い量乗ってるが、2300円ちょっと。和食さとで食べた鰻は税別5200円だったから、大分安い。量も多い。で大満足で食べてきた。

しかし暑いな。住処に着いたらどっと汗が出た。暫く涼んでから、NHK one で「ファミリーヒストリー」の生瀬勝久の回を見た。この前番長のことをやっていたのを知らなくて、Facebook で知ったので急いで見たが、生瀬勝久の回がまだ視聴出来たので見た次第。面白かった。で寝ようかと思ったが、何か地震らしくちょっと揺れてるような気がした。テレビを付けたが特に速報が入ったりはしない。寝不足のせいで揺れてるような気がしてるだけか、と思ってすぐにでもテレビを消して寝ようかと思ったが、「ポツンと一軒家」の再放送がやってて、「すくいそ」さんという姓の方の話をしていた。この回は見たことあるな、と思ったが、スタジオも現地に向かうスタッフも「すくいそ」ってどんな字？と小生と同じ疑問を持っていた。いや、見たから覚えてるかと思ったが思い出せない。でその字が分かるまで見た。「漉磯」と書くと分かって、テレビを消してダウンした。

そのまま7時過ぎまで寝ていた。相撲の結果が分からないな。まあいいです。深夜のダイジェストを後で見る。でテレビを付けて TBS チャンネル2に合わせると、4回裏で0－0という状況。牧が死球で出塁、という場面だった。昨日の Swallows 投手陣は7四球3死球という酷い投球だったようで、それが12失点に繋がっていたが、四死球は気を付けないとね、などと思って見てたら、筒香が先制タイムリーヒット、林が2点タイムリー2ベースヒットで3点先制。林は2ヶ月振りのヒットと言ってたな。5回に佐野に2点タイムリー2ベースヒット、エンカーナシオンにタイムリーヒットが飛び出し6－0。7回裏に筒香に2ランホームランが飛び出し8－0。Swallows に開幕から負けまくっていたが、ここに来て6連勝。3位が狙えるようになってきた。深沢鳳介がプロ初完封。Lions から移籍の古市尊（桑原の FA 移籍の人的保障選手）がマスクを被り、移籍初安打も打ち万々歳。8時半前に試合が終わった。今日は美味しい酒が呑めそう。Giants は負けた。Tigers は1点リードされてる。店長はサッカーでフランスが負けたのでちょっと不機嫌かもしれないが、Tigers が勝てば気分良くなるでしょう。そうすれば Giants と2ゲーム差に成る。まあ Baystars の大逆転優勝のためには Tigers が負けた方がいいが、現実的ではない。Giants が優勝しなければいいです。頑張れよ Tigers。

３ランホームラン、満塁ホームランなどで12点取って Swallows に快勝（Swallows は借金生活に）

昨日は眠いと書いたが、深夜に成るとどんどん目が冴えてくる。生活リズムが狂ってる証拠か？で相撲のダイジェストを見て、「おはよう朝日です」で今日の天気予報を見て寝た。お分かりの通り朝5時過ぎ。

で起きたらもう2時半を大きく回っていた。無茶苦茶な生活リズム。試験監督があるが、4時5分に詰め所に集合なので、間に合う。が、職場に向かっている最中にまずいことに気付いた。定期入れを忘れている。定期入れ、というのは言葉の綾で、実際に入っているのは教職員証、Suica、万一ゲートが開かなかった時に使う駐車券、そして運転免許証。そう、免許証不携帯でした。違反したら免許証不携帯の分も余分に罰金を取られてしまう。慎重に運転しないと、と言っても、事故に巻き込まれたらどうしようもない。何事も起こりませんように。が、実は他にも問題が。教職員証が入っているのは書いた通りだが、生協の売店が無人販売に成ってる時間だと、教職員証（学生は学生証）で店舗の入口を開ける必要がある。でもう無人販売に成ってる時間。飲まず食わずで試験監督かい。まあ飲み物は自販機で買えるからいいけど。ということでエネルギーを補給することが出来なくなったので、仕方ないので生協の本屋で数セミを買って時間潰し。

4時3分くらいに詰め所に着いて、で型通りの試験監督ガイダンスを聞いて、教室へ向けて出発。今日の監督は客員教員だったかそういう身分の方の数理統計学の試験の監督。基本的に主任監督は現職の教授がやることに成っているようで、非常勤の人の講義の試験監督に駆り出されることもある。事務も一応気を使ってか、監督は小生と特任助教という身分の方、いずれも数理科学科所属の二人。担当の先生もいるが、まあ何もしないでくださって構わないので、実質3人で回している。で教室に入ると見覚えのある顔。数理科学科の2回生がメインのようだ。去年線形代数を教えた学年で、顔は知ってるが名前は知らない学生ばかり。うちは紙を回して学生に名前を書いてもらって、それと答案の枚数などを事務の人がチェックに使うようで、名前を書いてもらったのを見る。そうか彼はこういう名前だったか、と分かった。60分試験だが30分経ったら退出してもいいことに成っている。で手渡された答案に書いてある名前を見ると、おぉ、彼がこの名前の学生だったか、と分かって嬉しい。どう見ても女子学生の名前だが、実際は背の高い男子学生だったのはビックリしたが。小生の大学時代の後輩に「瑞穂」という180cm、100kgという大男がいる。理工学部という所は女子学生の動向に興味があるようで、上野先生のゼミに女子学生が〇人、とかいうカウントをしてた奴がいたが、そのカウントしてる学生に「瑞穂」がいたのを笑ってしまった。107人教室にいたが、残り5分の時点で7割強はいなくなっていた。答案用紙をカウントして、出席者の人数と合致してることを確認しないといけないが、こういうパターンだと楽でよい。ですぐ引き上げて詰め所に戻って、でもう一度事務の人が枚数を数える。念の入ったことで。

5時前には解放された。学内のファミリーマートでパンでも買って、と思ったら、もう閉まっていた。5時閉店なのだろうか？ もう一箇所謎のパン屋があったが、そこもやってる様子は無い。ウェストウィングの1階にパンの自販機があるが、そこのが全部売り切れたら諦めて表に買いに行こう、と思ったら、結構売ってた。よかった。8時半くらいまで作業して、はま寿司で晩飯を食べよう、ということにして、TeX 打ちを少々。で途中で気付いた。数セミを買ったのの伝票を経理に回さないといけないが、学科の事務室の入口を開けるには教職員証がいる。もう。用事は無いけど、近い内に一度職場に行くか。7月の駐車場入稿の手続きは済ませてあるので、300円払わなくても出入り出来るし。うな松に行けるくらいの時間に起きたら行こう、ということにした。

作業の合間に野球をチラチラ。2回裏1アウトで走者が1、2塁にいたが、松尾は四球、蝦名は死球。で宮下にタイムリー2ベースヒットが出て1点先制。よしよし。が、その後2死満塁に成るも、牧が打ち取られそこまで。もうちょっと点を取って欲しかったな。まあいいです。3回裏は佐野が四球、エンカーナシオンが2ベースヒットの後、宮崎が2点タイムリー2ベースヒットで2点追加。よしよし。暫くして見ると、5回裏に1点入ってる。エンカーナシオンがソロホームラン。よしよし。が、6回表に2点取られて、まだ4－2だから全然安心出来ない。が、6回裏に牧が3ランホームラン。よしよし。が7回表にエンカーナシオンがちょっとまずいプレーをしたようで、その間に1点取られ、更に内野ゴロの間にもう1失点。7－4ではちょっと安心出来ない。が、7回裏に勝又が満塁ホームランを打った！一瞬パソコンの画面から目を切って、再び戻すとホームランの時に出るど派手な画面に成っていた。もう決まりっしょ。8回裏に勝又がタイムリー2ベースを打ち12－4。結局そのまま決した。Swallows は今日の負けで借金持ちに。6月3日時点で11あった貯金をその後9勝21敗で吐き出してしまったそうだ。上位3チームが混戦などと言っていたが、Tigers、Giants は1ゲーム差なれど、Giants と Swallows は5.5ゲーム差にも開いてしまった。Swallows は踏ん張りどころやね。まあ明日、明後日も遠慮無く勝たしてもらうけど。セ・リーグで7月の成績が一番いいのは Baystars らしい。毎年暑くなるとよくなる芸風だ。エンカーナシオンが入ってから得点力が上がった。勝又は1試合ノーヒットだったが、その後2安打、3安打と好調をキープしている。まだまだ。

で8時45分過ぎにはま寿司に向けて職場を後にする。冷静に考えれば明日から世間は三連休。混むのでは？と思ったが、案の定だった。家族連れや団体が多いので、カウンターはそんなに待たされまい、と思ったが、30分強待った。一昨日の「これ余談なんですけど…」で短気な芸人が出てたが、二人待ってるともう他の店に行く、と言っているタレントがいたが、寿司食べたいしね。まあはま寿司の寿司だが。住処の近所に美味しいとんかつ屋があるが、1時間くらい待つのは普通。が、そこの助かるのは、順番が近付くと電話で連絡してくれるので、店の近くにいないでもいい。はま寿司も店内で待たせてくれるから、今日のような暑い日でも大丈夫。どれくらい暑いかというと夜10時過ぎにはま寿司を出た時に車の外気温計を見たら32度！うんざり。「これ余談なんですけど…」で山内がディズニーランドで360分待ちというのを待ったと言ってたが、待って何も食べられないなら並ばないな。720分待ちというのもあったとフジモンが言ってたが、12時間待ちは流石にアタオカでもないと並ばないだろう。

10時半過ぎに住処に辿り着いた。もう「報道ステーション」のスポーツコーナーはサッカーの話題に成っていたので、日本の野球の結果も相撲の結果も分からない。後で Yahoo！の頁を見るなり、深夜のダイジェストを見る。で気付いた。相撲のダイジェストは BS の方が早く放送がある。そっちを録画予約しておいた。明日は昼前にちょっと近所で用事があるので、NHK 総合の3時35分開始のものを待っていられない。ということでそっちにした。

今「探偵！ナイトスクープ」をやってるが、Hawks の選手が若手芸人のギャグをパクった、というのを予告でやってた。野村勇（いさみ）だよな？と思ったらそうで、最後に本人が白状していたが、パクったそうだ。YouTube で見たあまり有名でない芸人のギャグということでパクったらしい。「オゾン層破壊してんの俺やで」というギャグ（字だと何も伝わらない）だが、野村のホームランは「オゾン層破壊弾」と呼ばれるくらいに定着しているそうだ。今日の放送でパクりと分かってしまいましたが、野村選手はどうするんでしょうか？注目。

職場を出る前にパソコンの電源を落とそうとしたら、「更新してシャットダウン」などの表示が見えた。やはり最近 Windows update があったのが一昨日リブートされた原因のようだ。一昨日仕掛けたものは幸いまだ続いてる。結果が出るまで落ちませんように。しかし思ったが、アルゴリズムをちゃんとして、で腕のいいプログラマーの組んだプログラムは凄いな。Bremner と Cassels の有名な例で y²＝x³＋877x の Mordell－Weil 群の生成元の heightがデカいのがあるが、SageMath と PARI/GP の普通に階数を求める命令では答が出なかったが、PARI/GP の ellheegner という命令でやると1分も待たずに答が出た。Magma Calculator では一瞬だったが。プログラムで速くするのと数学的な工夫というかちゃんとしたアルゴリズムの工夫は大事だな。猫魔先生が去年だったか一昨年だったか話されていたが、出来合いのソフトで計算すると800年待っても答が出ない見込みだが、2週間で答が出るよう数学的な工夫をして答を求めた話をしておられた。コンピューターが少し古い物だったので、最新のコンピューターならもっと早いかも、というお話だった。出来合いの物は汎用に成っているので「万能という名の無能」に成り兼ねないのだな。思い出したが、実二次体の基本単数を PARI/GP のどんな代数体でも使える命令を使ったら 0 と返ってきて、何を！と思ったことがあったが、PARI/GP には二次体に特化した命令があるので、それでやったら正しい答が返ってきた。SageMath は二次無理数の連分数展開が循環するのを知ってるようなので、それでチャチャっと script を書いておいて、その後役に立てている。でまた思い出したが、二次無理数の連分数展開は循環する部分が真ん中で対称に成るという著しい性質がある。これを知ってプログラムにするか知らないでプログラムにするかは結構な違いがあると思うがどうなのだろうか？最近は for ループを回すだけというプログラムと言っては申し訳ないようなスクリプトを書いてるだけの小生には分からん。猫魔先生の境地を今から目指そうか？しないな。

寝不足と不摂生の祟りで眠い一日

昨晩は眠かったが、結構遅くまで起きていた。サッカーのためでなく、先週始まった深夜のアニメを見るため。一つは有名な（と思うが）「青春ブタ野郎」シリーズで、今まで気付かなかったが、小生の実家の近所を走ってる京浜急行の沿線が舞台のようだ。赤い電車に白の帯で、車両側面に思いっ切り「Keikyu」と書いてあったし、地元の人なら皆知ってる「ドレミファインバーター」の音も流れていた。ということで来週以降も見るでしょう。その次のアニメだが、女の子がお母さんの再婚で憧れだった父親との生活が出来る、と思ってお父さんの家に行ったら、何と弟4人も付いてくる、というとんでもない展開。「連れ子がいるの言っておけばよかったかな？」とお母さんが娘にいう場面があったから、知らせなかったのだろう。4兄弟の1番上は主人公の女の子と数日しか生まれた日が違わず、高校で同じクラスに。で学校での色々とか家での色々が面白くて。お互い不器用なもんで、あれこれすれ違ったりして、で昨日の最後は思わず涙ぐんでしまった。アニメで涙とは正直自分でも思ってなかった。ということでこっちも来週以降も見るでしょう。で終わったのは3時過ぎ。で寝たかというとまだ起きてて、相撲のダイジェストがサッカーの関係でいつもより15分早かったので、録画しておいたのを追っ掛け再生。それからゴミ出しをして、暑くないうちにと近所の自動販売機に飲み物を買いに行って、で帰ってきてサッカーを途中まで見た。水を飲むための時間があるが、そこで眠さに限界が来た。寝た段階ではアルゼンチン、イングランド、どちらもシュートが一本も打てていないという状況だった。

で12時間くらい寝てしまった。流石にきつかった。起きて Uber Eats ですき家にいつもの「トリプル大蒜牛丼」を食して、さ相撲だ、と思ったが、途中で眠くなってきた。やはり寝不足が続くと辛い。明日は試験監督のため職場に行くが、早くないのでゆっくり寝られる。

で目が覚めたら7時40分くらい（夜のね）。昨日書いた通り買い物に行って振り込みをして、としないといけないので、急いで出掛ける。髭がボーボーだし髪の毛も寝癖バリバリかもしれないがいいです。で夏物のジャージ（死語）と靴下、再生紙100％使用のティッシュを買って、振り込みをして、ジハンピ対応の自販機でお茶を買って帰宅。来週の月曜は祝日で3連休だそうだから、軍資金も卸してきた。

昨日書いた通り Baystars の試合が無いので暇。有効に使えばいいが、眠いぞ、ということでまたしても寝床へ。大いなる時間の無駄遣い。まあこんなのもいいでしょう。学生は試験で大忙しだろうが、こっちは今まで忙しくていたので、余暇の時間くらい貰わないと。レポートの提出締め切りは来週末なので、暫く暇だ。書き散らかした紙をチマチマと TeX 化してる。他にも中途半端な所まで考えて放置してあるものを考えたり。部屋掃除は遅々として進まないが、探していたノートを一冊見付けた。勉強しよう。

今「報道ステーション」のスポーツコーナーを見ているが、高校野球の話題をしている。そんなシーズンに成ったか。神奈川大会で横浜 vs. 東海大相模が4回戦の時点で行われたようだ。サッカーのW杯じゃないが、実質的な決勝戦と言ってもいいのでは？で結果は8－1で横浜が8回コールド勝ち。やはり原の母校は負けてもらわないと。頑張れヨタ高（地元ではそう言う）。

パソコンが勝手にリブートされたり、西友山科店が9月末で閉店だったり、東が6失点だったりとロクでもないことばかり

結局ローソンまで車で酒を買いに行った。いつもは350ccの缶を自動販売機とコンビニで分けてそこそこの量を買ってるが、1箇所で沢山買うと何か気恥ずかしいので、量を減らす代わりに缶を500ccにした。で暫くしてから呑み呑みスペイン vs. フランスのサッカーの観戦開始。小生ど素人なので難しいことは分からないが、どう見てもフランスが苦戦している。全然パスが通らないし、ちょっと攻勢に移ったと思ってもスペインの守備が固くて、すぐ奪い返される。そうこうしている内にスペインがPKで先制、後半にもスペインが1点取りそこまで。ふなごやの店長はフランス料理のシェフだったが、それとは関係無く元々フランスのサッカーは好きだったと言ってた。残念な結果でしたな。また土曜日にサッカー経験者ならではの意見を聞こう。

振り込みをしないといけないのが1件あって、ティッシュペーパーが切れかかってる、夏物のジャージ（死語）がもう1枚欲しい、ということで、暑くなる前にDCMとしまむらに行って、マツヤスーパーの京都銀行のATMで振り込み、のつもりだったが、サッカーが終わって暫くして寝てしまった。DCMは9時半営業開始、しまむらは10時営業開始だったので、9時50分くらいに住処を出るつもりだったが、目が覚めたら昼近く。もう暑かろう、ということで今日はやめておいた。明日は起きられるでしょうか？明日も朝4時からサッカーがあるが、起きていられないな。やめておいて、早目に寝よう。

で相撲を見たかったが、眠いぞ。最初から見られるようにテレビを付けて寝床でスマホをいじってる内に寝落ちした。時々聞こえてくる音声から判断するに、琴風さんが関脇3人を褒めたが今日は全員黒星（大関復帰を狙う安青錦も含む）、大の里が行司差し違えで負けたようだ。4日で3敗は辛いが、琴風さんは土俵でしか感は取り戻せない、出続けないと、と言っていた。

野球を数分遅れで観戦開始。勝又が1塁にいたが、ヒットを打ったらしい。連続試合安打は23で終わったが、またリスタートだ。頑張れ。で1回表に1点先制したが、1回裏に追い付かれた。まあ東だ、大丈夫、と信じる。5回表に松尾が押し出し四球を選び勝ち越し。よしよし、と思ったのも束の間。6回に小園のタイムリーヒットで追い付かれ、石原に2点タイムリー2ベースヒット、代打秋山に犠牲フライを打たれ、一挙5失点。東のこんなのは珍しい。今日で15試合目の登板だが、13試合がクォリティースタート。こんなこともあります。9回に牧が2ランホームランを打ち2点差にし、2死から筒香四球、代打度会。何か起こる、と期待したが、空振り三振でゲームセット。残念。

で閃いた。明日は Baystars は試合が無いのだ。買い物と振り込みは明日の夜でもいいな。DCMもしまむらも8時閉店だから、まだちょっと暑い時間に出歩かないといけなくて嫌だが、まあ仕方ない。ずっと冷房の効いた部屋で冷えてるからなのか、酒の吞み過ぎで腹の調子が悪いのが遠因なのか知らんが、くしゃみを連発している。ティッシュを買わないと。ティッシュなんかどこでも買えるだろう、と思うかもしれないが、一応気を使って再生紙使用の物を買っている。鼻かんだりその辺拭いたりとか大したことに使わないし、もっとろくでもないことにも使うし（謎）。小生の住んでる辺りだとDCMでしか売ってない。ローソンでも売ってなかった。トイレットペーパーはドラッグユタカでも再生紙使用の物は売っているので、深夜でも買いに行けるが、DCMは8時閉店なので。仕方ないな。前は西友でも再生紙使用のティッシュ、トイレットペーパーは売ってたが、いつの間にか無くなった。でその西友山科店だが、何と9月30日で閉店だそうだ。マツヤスーパーとか近くに数軒ライバル店が出来たのは大きいな。西友は店が駐車場から少し離れてるのも良くなかった。所定のクレジットカードで買うと毎回5%オフという気前のいいことをやってくれていたが、そのサービスを止めたり、カードの年会費が高くなったりと、遠からずこうなるのは見えてたな。かく言う小生、随分西友山科店は行ってない。2階にあるファミリーレストランの海老コロッケが好きで行っていた時期もあったが。職場から帰る時間が遅くなったのも行かなくなった理由の一つではあるが。それと多少高くても歩いて行けるコンビニで済ませたいからね。一回海老コロッケを食べに行ってくるか。

でまあ一応ショックではあったが、もう一つショックなことが。パソコンが勝手にリブートされてた。Windows update の履歴を見たら特にやった様子は無いが。有理点探しにパソコンを集中させればよかったか。同時に色々やり過ぎた。用事が済んだアプリを閉じた方がいいんだろうか？また一からやり直してる。予想される canonical height は830くらいだそうだから、相当負担なのかな。まだ canonical height が940を超えるという大物もある。出来るんでしょうか？Height の小さい奴を先にやった方が効率的かもな。もう一回強制リブートされたらそっちからやろう。

勝又の連続ヒットは止まってしまったが、4点差をひっくり返しての勝利なので嬉しい（岩田がプロ初勝利）

昨晩はその後呑み呑みゴミの分別。靴を買ったので、中身を取り出してから解体したり、定期購入している野菜ジュースの箱を宅配ボックスから取ってきて解体したり、ポストに入ってるマンション売れ売れ系の紙や Coop のチラシなど大量の紙を出したり。第2、第4火曜日が回収日なので、今回は3週間空いた。なので案の定凄い量の段ボールとアルミ缶が出ていた。大分すっきりした。でその後この前車で聞こうと思って持っていった CD Box に DVD が1枚あることに気付いたのでそれを見たり。昔はステージにファンが紙テープを投げるというのが普通に行われていて、ステージ上は足の踏み場も無いくらいの感じだったが、よく滑らないなと感心。若いのはいいことです（謎）。でそれからちょっと記憶が無い。また想定以上に呑んだようだ。いけないな。まあ毎日のことではないのでいいでしょう。

で変な時間まで寝た。気が付いた時にはもう教授会が始まっていた。急いで Zoom を起動して参加。1件人事があったと思ったが、この雇用形態だと可否の投票は無いのだろうか？学部長が説明しただけで済んだようだ。今日は何かの投票がある、と思っていたが、その後始まった。総長選挙に関すること。投票開始の前に用足しに向かうと、パソコンの音声が聞こえなくなった。何だ？と思ってパソコンの前に戻ると、この件を仕切ってる先生の背中が映ってる。暫くしたら事務長の顔が映って、何やら準備をしているから待て、との仰せだった。数分して投票開始。で無事終了。その後幾つか議題があったが、割と短時間で終了した。

で相撲を途中から見た。安青錦が3連勝。10番勝てば大関復帰だ。頑張らないと。大の里が初白星。ホッとして見ていると、何と豊昇龍が藤ノ川に土俵際での逆転負け。藤ノ川は二日続けての金星で、豊昇龍相手は初挑戦からの4連続金星（不戦勝も含めて5連勝）。史上初らしい。武蔵山が1931年に横綱初挑戦から4連勝したそうだが、4戦連続金星ではなかったということか。いやー、荒れてる。名古屋は今日は滅茶苦茶暑かったらしいが、IGアリーナは大入り満員だった。もう全日チケット売り切れらしい。明日からも白熱するぞ。

で6時から野球。今日、明日と Carp 相手の2連戦。ゲーム差無しだから負けるわけにはいかない。昨晩呑む前にシャワーを浴びて、一昨年の日本シリーズ制覇を祝して売り出されたTシャツを漸く袋から出して着た。ご利益があるぞ、と思って見るが、この前1安打完封の石田裕太郎が初回から3失点。8番を申告敬遠で歩かせて、これで4試合連続1回に満塁にされている。厳しいぞこれは。石田は更に1失点し、先発の岡本に4回まで1安打に抑えられていた。が、5回に打線が大爆発。松尾、梶原のヒットの後、石上の負傷のため交代した宮下がタイムリーヒット、代打度会がタイムリーヒット、勝又がストレートのフォアボールで歩いて、牧ファールフライの後佐野がタイムリーヒット。で岡本を引っ込めさせた。よしよし。代わった島内が暴投をして同点。エンカーナシオンが犠牲フライで勝ち越し。宮崎が四球を選んで、10人目の松尾が凡退して漸く攻撃終了。いやー、気持ちよかった。その後両チームの投手が踏ん張り、結局5－4で終了。勝てて良かった。勝又の連続試合ヒットが止まってしまったのは残念。9回に打席が回ってきたが、ファウルフライだった。解説の山内泰幸（Carp OB）は「延長に行けば回ってきますよ」と、Carp に粘って欲しい気持ちありありのコメントをしていたが、9回に勝又の所に守備固めで神里が入ったので、もうどうでもよく成った。まあ四球での出塁があり生還もしたので、1番の役割は果たした。9回のマウンドはレイノルズ。一人走者を出したが、無事抑えて勝利。石田裕太郎の投げる日に珍しく5点も取ったが、石田は4回投げて交代しているので、勝ち投手には成れなかった。勝ち投手は誰？と思ったら岩田将貴。Tigers に育成ドラフトで入団するも戦力外に成り、去年 Baystars に入団。6年目のプロ初勝利。去年は3試合登板で防御率18.00と褒められた成績ではなかったが、今シーズンは15試合で失点は僅か1、防御率は0.48。戦力に成ってるね。左のサイドスローは貴重。今後も期待。

今日も呑んだろか？と思ったんだが、「報道ステーション」の天気のコーナーを見て、外出する気が失せた。大阪は夜10時現在でまだ30度あるとか。山科もそんな感じだろうから、外に出たくない。が、スポーツコーナーを見ててまた呑もうか、という気に成っている。殆ど見てないワールドカップだが、フランスとスペインの試合が深夜にあるそうで、この試合は実質的な決勝戦とか。これは見ないといけないか？もう自動販売機では買えない時間（違法販売機は無くなったし）だしな。昨日はファミリマートで買ったから、今日はセブンイレブンか？ドラッグユタカも深夜営業してる（1時間だけ閉めるらしい）し、車で行ったろか？暑いしな。500mも離れてない所に車で行くのはどうかという気もするしな。結局買いに行くのが嫌で呑まないで済ます、という展開も考えられる。あ、表には一回は出なきゃいけないな。ペットボトルが散乱してるんで、ゴミ出ししないと。幸いゴミ袋（有料）はたっぷりある。今からラベル剝がしてゴミ出しするか。面倒。

そう言えば、NHK でマラドーナの特集をした番組をやってたのを録画したな。「テレビ千鳥」が終わったら見るか。呑みながら見ると楽しそうだが。もう一つアイデアを思い付いた。ローソンに酒を買いに行くという手があった。あそこなら1kmくらいあるし、車で行かないと汗だくで嫌に成るから言い訳になる。そうするか？結論は明日書く。

春学期の講義、ゼミは今日で終了

また何じゃかんじゃと夜更かし（朝早し）してしまった。で起きたらもう2時近く。まあ2時55分にゼミが開始出来ればいいんで問題無いが。急いで出掛けて、生協で弁当を買って、脇のスペースで食す。今日は初等整数論のゼミの春学期最終回。先週ちょっと平方剰余のことをやったので、今日は続きから。平方剰余かどうかを見るには、原始根の偶数乗か奇数乗か見る、というのが出ているので、案の定問題もそうやって解いてたが、いやいや、1 ～ (p－1)/2 を2乗して余りとして出てきたのが平方剰余、出てこないのが平方非剰余だよ、と教えておく。他にも (－5/p) を求めた後に (5/p) を求める問題があったが、案の定 (5/p)＝(－1/p)(－5/p) とやって求めようとした。こうやらないで (5/p)＝(p/5) とやったのは過去に一人しかいない（去年の学生）。その後に出ている (10/p) と (－10/p) の決定には影響ないのでいいが。ルジャンドル記号（ヤコビ記号も含む）の計算は飽きるほどやってるから、何か変なことをやったらすぐ分かる。代数体をやって二次体をいじるとなると平方剰余の理論は不可欠。まあ彼は進学しないので、よく分からないものをやったくらいの印象しか残らないか。秋学期から虚二次体の章に入るので、その時に理解を深めましょう。ということで5時半くらいに終了。いつもは5時前に音を上げるが、今日は最終回だし、相互法則の証明を終わらせたいと頑張ったんだろう。ご苦労さんでした。

部屋でちょっと考え事をして、7時くらいに職場を出る。もっとやりたいことはあったのだが、ケーブルテレビのチューナーのハードディスクがカツカツで、6時からの「八重の桜」を Blu-ray のディスクに直録り、で9時から「英雄たちの選択」を別のディスクに直録りするので、交換しないといけない。ということでちょっと急いで帰ってきた。高速道路も三条通も馬鹿にすいてたが、暑くて出歩くのが嫌なのかな。車に乗った時に暑いのが嫌で、もう少し経ってから帰る人もいるのかな。で無事7時半過ぎに辿り着いて、ディスクの交換をして、やれやれ。晩飯はどうしようか？なか卯でいつもの親子丼と鰻のあいがけのやつにしようか？と思ったが、この前瀬田の和食さとに行った時に、注文を済ませた後メニューにうな重があるのに気付いて、今度食べようと思っていたのを思い出した。で住処から歩いて数分の和食さとに向かう。鹿児島産の鰻重特上5200円（税別）。いい値段とる。出てきたときは鰻が小さく見えてちょっとがっかりしたが、食べたらそんなに少なくなかった。味もまずまずで、5200円ならいいか。今度職場に行ったら、うな松の名物一本鰻を食してこよう。土用の丑の日はまたさとでいいや。前日までに予約しておけば値引きしてくれるそうだ。テイクアウトに限るらしいが、まあ住処で食べます。

さて、小生の春学期の講義とゼミは今日で全て終了。大学の講義最終日は今週の水曜日だが、小生は火曜、水曜は担当講義が無いので。明日教授会があって、金曜日に試験監督があって、で来週学科会議をやるという話だ。用事はそれだけかな。レポートの提出締め切り日が来たら採点しなくてはいけない。それまでちょっと余裕があるから、書き散らかした紙を TeX 化しよう。上に書いた通り録画したままに成ってるものが沢山あるので、そっちも見るよ。ま、硬軟織り交ぜ、柔軟に夏休みは過ごしますわ。実家？うーん、どうしよう？暑い中外出するの嫌だしな。さっきちょっと飲み物と呑み物を買いに表出たが、暑い。夜の11時過ぎでこれだからな。京都よりも横浜の方が少し暑さはマシかもしれないが、山科駅まで歩くのが嫌。同じ理由で映画を見に行く気に成らない。夜の上映を狙って行くか。「マイケル/Michael」をふなごやの店長が見てきたと言ってたが、面白いらしい。我慢して行くか。上に書いた通り今晩は呑み物があるので、明日は行かないけど。

あ、明日は資源ゴミの日だ。前回から3週間空いてるから、今日は大量に捨てられてるだろう。覚悟していかないとな。上に書いた通り暑い（今晩も熱帯夜）ので、外に出たくないが、まあ仕方ない。やります。

3戦連続1回表に相手に満塁のチャンスを与え、4失点、2失点、4失点はキツイ（3連敗しなかったのは不思議）

昨晩は店長もバイトに人も小生の顔を見るなり「同窓会ではなかったのですか？」と聞いてきた。昨日書いた通りのことを説明した。で小生に気を使ったか、店長のご友人が客として来た時に盛り上がれるよう、中高の卒業アルバムが店に置いてあり、それを3人で見ながら大盛り上がり。お二人は友達の写真を見て笑ったりしていたが、小生はそれは分からないが、当時の出来事が書いてあるのを見て盛り上がった。1988年～1994年の出来事だと小生が大学生から大学院生の頃だから、よく覚えている。目茶目茶盛り上がった。それと、今では考えられないが、当時のアルバムには全員の住所、電話番号が書いてある。車の運転が出来るように成ると行動範囲が一気に広がるが、それにより昔は分からなかった地名がどこだかというのが分かるようになる。でご学友と先生方がどこから通勤、通学してたのを見ると、結構遠方から通ってるのが分かって、ビックリした。BKC の近くから京都南部まで通っていたご学友がいらしたが、南草津駅の無い頃は通うの大変だったろうな。草津駅か瀬田駅までバスかそれともご両親による送迎で行っていたのだろうか？盛り上がった。でいつもの通りワインだが、いつも店長の好みで割と重ための赤ワインのことが多い（黒ワインとも言えるくらい色の濃いもの）が、昨日は軽めのワインを選んできたと呑んでみると、確かに軽くて、色も大分薄い。店長曰く「これを白ワイン並みにキンキンに冷やしたら、白ワインと間違える人はいるかも」とのこと。確かにこの前中田翔をはじめ3人の有名人が間違ってたからな。今度そういう企画をしてください。店長がワールドカップを見たいという理由からか、少し早目にお開きに成った。金を払ったシーンも覚えている。

呑んだ量が少ない証拠に、帰ってきてからパソコンを見て、有理点が求まってて、記録したのが記憶にある。10時間くらいで見付かっていた。でまた仕掛けて、現在続行中。一応酔ってはいたから、割と早目にダウンした。

暫く午前中に起きなくてよい、と数日前に書いたが、今日は午前中に起きてしまった。昨日の「THE 世代感」で渋谷のことがやると言っていたのを忘れて録画しなかったので、Tver で見て、それからカップ麺をすすって、などしてから、寝床でスマホをいじってたら寝落ちした。テレビを消してなかったので暫くしたら音で目が覚めた。何やら1960年代、1970年代、1980年代の夏の歌の特集をしていたが、この前関西では Tigers 戦の中継でやらなかった番組がやってるのだな、と分かって起きた。うーん、懐かしい。名曲揃いだな。1980年代の1位が井上陽水、玉置浩二の「夏の終わりのハーモニー」だったのはちょっと納得いかなかったが。1970年代の1位はサザンオールスターズのデビュー曲「勝手にシンドバッド」。成程、という感じ。面白かった。

番組が終わったのは4時50分過ぎで、相撲が始まっているのを思い出して急いで NHK 総合にチャンネルを変える。今日は関脇、大関が揃って勝って、いいぞ、と思ったら、横綱大の里が義ノ富士に負けた。大の里は不戦敗の1敗も含めて義ノ富士に勝ち無しの4連敗。素人目にも分かったが、引くという悪い癖が出た。舞の海が「琴風さんの言う毒饅頭ですね」と言ってた、このフレーズは何度も聞いた。琴風さんの言う通りちょっと前までは大の里の天下だったのだから、自信を持ってやってくれないと。まあ2場所連続休場で勘が鈍っているのだろうとも仰せだったが。頑張っておくれ。

ですぐ野球。篠木はこの前よかったから、やってくれると信じたが、1回表に3四球で満塁にして満塁ホームランを打たれるという最悪のスタート。苦手 Giants 相手の3連戦で3日続けて1回表に満塁にしてしまうのはキツイ。しかも一昨日と今日は満塁ホームランを打たれてるし。一昨日は引っくり返して勝ったし、昨日も2度リードした。今日もやってくれる、と信じて応援していた。すると5回裏に佐野、勝又のタイムリーヒットで2点（勝又は23試合連続安打）、6回裏に松尾のタイムリーヒットで1点差としたが、そこまでだった。2回以降は点を取られなかったので、1回表が全てだったな。苦手の井上（Baystars 相手に8連勝、今シーズンも3勝されている）から3点取ったが、勝てないと苦手意識は払拭出来ないだろうに。vs. Giants 8連敗は止めたが、大きく負け越している状況は変わらない。どうにかしないと。明後日から広島で Carp 相手に2連戦。ゲーム差無しなので最低でも1勝1敗でいかないと。

ということで気分はよろしくない。今日は気持ちよく気持ちよく成りたかったが（謎）。まあいいです。明日で春学期のレギュラーの用事は終わるので。考え中のことを整理したりと、色々やれるようになるのは嬉しい。有意義に過ごそう。

同窓会の第2報が無く、出席出来ず

結局昨晩は呑んだ。深夜にコンビニに買いに行くのはちょっと気恥ずかしいが、まあいいです。で正月にやっていた大河ドラマの名場面集みたいなのを漸く見た。竹中直人が秀吉をやったのってもう30年も前なのね。泥だらけで、大声で喋る時は口から唾が飛んで、結構視聴者から文句があったようだが、面白かった。後に「軍師官兵衛」でもう一度秀吉役をやったが、その時は涙する場面で鼻水を垂らしていた。竹中直人ならではだな。面白かった。その後もう一本見て、CS 放送でやっている「プロ野球ニュース」を追っ掛け再生。Giants 相手の大逆転勝ちは痛快だった。見てすぐ消そうかと思ったが、残しておこうということにした。で結構な時間まで起きていた。

深夜に同級生に書いたメールに返事が来ていた。今日同窓会をやると書いてあったが、何故もっと早く第2報をくれなかったかね？まあいいけど。その分山科で呑むから。

であっと言う間に野球の時間。今日の Baystars の先発は藤浪。あまり期待しないで見ていたが、案の定大荒れのスタート。昨日も今日も1回表に無死満塁のピンチを作ってしまう。むぅ。昨日は満塁ホームランを打たれたが、藤浪は2失点でこらえた。するとすぐエンカーナシオンに来日初のホームランとなる3ランホームランが飛び出し逆転。が、すぐ追い付かれた。センターに入っている蝦名が薄暮のせいで打球を見失って出塁させたのが元。まあ仕方ない。その後浜地、マルセリーノがそれぞれ無死2塁、無死1、2塁のピンチを凌いだ。浜地は昨日支配下登録されたばかり。肘を手術して、ボルトが2本入ってるらしい。育成契約からよく這い上がった。でたった今勝ち越した。よしよし。このままうまくいけば、マルセリーノはプロ初勝利から2日続けて勝利投手に成れるが。さあどうなる？

などと書いてしばし。2死満塁3ボール2ストライクまで行ったが、代打・度会は見逃し三振。残念。さあ勝てよ。

などと書いてまたしばし。中川虎大が点を取られて、マルセリーノの勝ちは無くなった。のんきなことを言っていられる状況ではなく無死1、3塁。7イニング中5度先頭打者の出塁を許してると苦しい。虎が抑えてくれると信じる。頑張れ。

などと書いてまたまたしばし。セーフティースクイズを決められ勝ち越された。むぅ。2アウトには成った。で丸を抑えて、何とか1点リードされただけで済んだ。もう一度逆転してくれると信じるしかない。頑張れ。

金曜日の講義とゼミは今日で終了

11時くらいに起床。明日から暫く午前中起きなくていいのが嬉しい。不摂生しまくろう。と言っても、胃腸が丈夫じゃないので、酒は程々にするが。でパソコンを見ると有理点が求まっていた。パソコンを一旦リブート。嫌、勿論電源を暫く落としておいて、冷えておいてもらった方がいいのだが、やはり無理をさせてしまった。熱暴走しないことだけを願って、新しい有理点探しを始めさせて、11時半くらいに職場に向けて出発。

外で弁当を買って食して、で単位認定レポートの解答例（締め切り後にウェブにアップロードする予定）を考えて、何か変だと思ったら、素イデアルであることを示してないのが二つあった。素イデアルだが極大イデアルでないことを示せ、という問題なのだが。考え始めると、一つは容易。もう一つは何か難しそうだぞ、とかやってる内に1時を過ぎていた。

1時10分から「代数学I」。今日で最終回。まず局所化が局所環であることを示して、で Chinese remainder therom をやる。前にオイラーの定理をやった時に「3¹²¹ の下二桁は、オイラーの定理より 3⁴⁰≡1 (mod 100) だから容易。じゃあ 3⁶¹ は？」と話しておいたので、その解説も兼ねて。で可換環バージョンで示すために、イデアルの和とか積とか互いに素とか定義して、で定理を示して、Z バージョンへの翻訳を軽く。本当は時間をタップリ使いたかったが、予想外に時間が無かったので、翻訳は軽くで済ませた。で 3²⁰≡1 (mod 100) が何の計算もしないで従うことを言っておく。前に見せた時は 3¹⁰≡50－1 (mod 100) ということに気付けば後は暗算、とやったが、こんなことをしなくても φ(25)＝20 だけで済む。3である必要は勿論無いよ、とも言っておく。で大体時間に成った。疲れた。

ちょっと休憩してから M1 のゼミの春学期の最終回。今日はアイゼンシュタイン型の代数体のことを準備して、で応用として純三次体の整数基と判別式の決定。藤崎先生の本で2年続けてやってもらったが、大分違っていて面白い。藤崎先生の本では結構計算していたが、石田信先生の本だとそんなに計算がいらない。面白いな。その後部屋割り論法を使って、フェルマーの2平方和定理を示して、でミンコフスキーの数の幾何を使うといい評価が出来る不等式を部屋割り論法だけで示して、で総正な元の作る群が K^× の中で指数が 2^r₁ であることを示して、時間だし区切りも付いたので終了。まあ順調だな。一冊終わったら何をしてもらおう？まあまだこの後ディリクレの単数定理とかイデアル類群の有限性とか重たい話題が多いのだが。疲れた。

で久し振りに図書館へ。何をしたかというと、数理科学セミナーで使った本が有隣社から届く前に借りていたのと、石田信先生の本が行方不明だったので借りていたので、返却しに行った。日が暮れていたので、少しは暑さはマシに成っていた。

で部屋で解答作りの続きを少々と、いつもの通り紙をスキャンしたり。解答は大体出来た。まだ紙に書き散らかしただけなので、住処に戻ってから TeX 化することにした。もう9時を過ぎていたが、まだ暑いぞ。車に外気温が表示されるが、28度と出てうんざり。昼あれだけ厚けりゃそりゃ熱もこもるわ。

野球だが、ゼミが終わってちょっとして見たら2－4という状況でリードされてた。1回表にノーアウト満塁から満塁ホームランを打たれるという最悪のスタート。が、この展開は前に竹田祐が作ったことがある。その時は何と竹田が勝ち投手に成ったが、さてどうだろう？と思って帰る直前に見たら、引っくり返してる。6回裏にまとめて5点取っての逆転勝ち。今シーズンここまでよかった田中瑛斗が1死も取れず5失点（自責点4）だそうだ。映像を見てないのでよく分からないが、松本剛が打球を通り越してバンザイして頭の上を越されたらしい。見てたら大笑いだったな。1回表は満塁ホームランを打たれて打者10人攻撃をされたそうだが、満塁ホームランの後は失点しなかったようで、結局それが効いたかな。走者を貯めても点を取れないのは Baystars のお家芸だが、Giants が真似してくれて助かった。今日は Tigers が負けて Swallows が勝った（そりゃ Tigers と Swallows の直接対決だから）ので、首位 Tigers と 2位 Giants が1ゲーム差、3位 Swallows が0.5ゲーム差と、大混戦はまだ続いてる。漁夫の利で Baystars が上がっていけばいいが。借金は10で、3位 Swallows の貯金は僅かに3。まだまだ。

さて、後は月曜日にゼミがあるだけで、ほぼ用事が無い。表に出るのは月曜日と金曜日の試験監督だけ。呑もうか？いや、明日本格的に呑むからな。やめておこうかどうしようか。まあもうちょっと考える。

あ、随分前に高校1年の時の同窓会をやる、とメールが来てたな。その後続報が無いが。7月だと言ってたと思うが。メールが無いところを見ると、延期かな。後で確認してメールを書いておこう。

今シーズン初めての半袖シャツでの出勤

また変な時間まで起きていた。2時55分に講義室に着けばよいので、ついやってしまう。まあ今日で木曜日は最後だけど。で1時過ぎに起きてパソコンを見ると、有理点が見付かっていた。30時間くらい掛かった。また新しいのを仕掛けて、2時前に住処を出た。

職場に2時半前に着いて、生協で弁当を買って、脇のスペースで食す。で2時45分過ぎに講義室へ。隣の建物だから急ぐ必要は無い。今日で「数理科学セミナー」は14週目の春学期最終回。秋学期は別の先生がやるので、小生の顔を見て嫌な気分に成らないで済むので、ホッとしている学生はいるだろうと思う。今日は繰り返し2乗法の続きをやって、それからカーマイケル数がどうしたとかそういう話。その前にある底に対する擬素数が底を変えると素数でないことが分かる、という話が書いてないとおかしいと思って本を見ると、やはり書いてある。デカい数字が書いてあって訳分からず飛ばしたのだろうか？カーマイケル数の有難味が分からないと思うが。まあ最後だから言うけど、和訳がある。中国人の留学生の一人が和訳本を見て堂々とやっていたから、皆知ってるか？内容を正確に捉えられる自信が無いなら別に和訳見てもいいけどさ。で二人終わってまだ30分以上あったが、次の番の人が予習が十分じゃないからご勘弁願いたい旨言ってきたので、いいことにして終わりにする。14週間ご苦労様でした。ということで本と電子辞書と計算用紙を入れた袋を持ち歩くのは今日で終了。また来年度やるかもしれないから、分からなくならないような所に置いておこう。

でちょっと余裕があるので、気に成っていることをやるべくコンピューターを叩いて結果を TeX 化したりしてたらゼミの時間に成ってた。今日からイデールの章に入ったが、今日で春学期は最終回だから、何か中途半端な所で終わってしまうな、と思ってたら、今日は（三角不等式を満たすとは限らない）絶対値の話などで、まあここまでならな、という感じ。イデールの定義だけやって2ヶ月以上空くのはちょっと嫌だったから。で大分苦戦したようだ。三角不等式を満たす付値と同値だということの証明に手間取ったと言ってた。で素点を定義して、素点の全体と {素イデアル}∪{C への埋め込み} を同値類別したのが1対1に対応する話が書いてあって、で積公式の話。例が沢山出ててよかった。埋め込みを延長する話は具体例が無いと分かりづらいからね。実の埋め込みを虚の埋め込みに延長する例なんかも出てた。まあ分かり易くて良かった。実例を知ってると抽象論をやる時に手掛かりがあって助かる。まあ具体例が特殊過ぎるとそれを引きずって良くないこともあるが。で学生は物凄く早く終わったと思っていたようだが、もう7時くらいだった。タップリ2時間はやったのでいいです。ご苦労さんでした。

7時から打ち合わせがあることに成ってて、8時過ぎまでゼミだから出席出来ない、と昨日メールを書いたが、数分遅れで出席出来た。もう大分メーターが上がってて、皆さん大分ヒートアップしていた。数学の講義をちゃんとやることの大変さを分かってくれない人が多いという発言があったが、仰る通り。大学院生かポスドクの人にバイト感覚でやられせればよいのでは？くらいの勘違いをされているかもしれない、という意見があった。そうかも。非数学の人で数学の講義を全部担当するつもりだとしたら、それも危うい。もっと人を雇って、と言わないと。それと、BKC と OIC を何往復もさせる気？遠い人は彦根よ、という声も。まあ「無理！」と言えば、というのが大半の意見だったが、仕切ってるK先生は軟着陸させるのに大分苦労されていた。下手をしたら大喧嘩だからね。それこそ本当に先方はポスドクの人に講義でもやらせかねない。テストをマークシート形式にする、という暴挙を言ってくる可能性があるが、勉強の質が下がる、という恐れも。まあ何にしても大騒ぎだ。近日中に決着が付くようなことを言ってたが、怖いな。来年度は小生が矢面に立たないといけなくなる可能性がある。よく勉強しておかないと。8時過ぎに終了。

それからちょっと TeX 打ちをして印刷して、紙を処理するべくスキャンして、で部屋の隅から出てきた大量の紙を学生の部屋に計算用紙として使ってね、と置いてきたり。何だかんだと9時過ぎまで職場にいた。

最近東門から出る方法を覚えた。去年何かの用事で日曜日に職場に行った時に、正門方向へ向かって大量の車が走って渋滞していたので、東門から出てみよう、と試した。その時は曲がる所がよく分からなくて変なことに成ったが、この前ちょっと明るい時に走ったらちゃん「出口」の文字に矢印が書いてあって分かるように成ってた。かがやき通り方面に向かう時はこっちの方が近いし混まなくてよい。今日は昨日に続けてかがやき通りのすき家で晩飯にするつもりだったので、東門から出た。ですき家で予定通り「トリプル大蒜牛丼」を食べた。スタミナつくぞ。

職場でチラチラ野球を見てたが、先制されて追い付いて勝ち越してだったが、出る直前に見たら逆転されてた。中川虎大がホームランを打たれたようだ。まあいつも抑えるわけではないし、ホームランも打たれます。負けることもあります。ということで7月初敗戦。まあいいです。明日から Giants と。Tigers がうまいこと Giants に勝ち越して、ちょっとシュンとしてるかもしれないから、勝ち越しましょう。Swallows が外国人投手3人のリレーでノーヒットノーランをやったそうだ。途中スマホに Swallows のウォルターズが6回までノーヒットノーラン継続中の情報が入っていたが、代えてしまったのか、勿体ない。まあウォルターズは来日初勝利だそうで、まだ実績が十分でないから仕方ないな。継投でのノーヒットノーランは6度目だそうだが、外国人リレーだと初らしい。ふーん。その6回の内に日本シリーズでの Dragons の山井－岩瀬の完全試合リレーは入ってないんだろうな。アメリカでも継投のノーヒットノーランは時々あるようで、この前今永が先発の試合でやってた。まあ一人でやられても何人かでやられても、やられた方は屈辱だな。そのおかげで Carp が負けてくれたので、Baystars との順位がひっくり返らなくてよかった。

あ、そうそう、近畿は昨日梅雨明けした。今日は京都は35度、大津が33度とか早速とんでもないことを言ってたので、今シーズン初めて半袖シャツで出勤した。今日はゼミ形式の講義とゼミだけだったので、座ってればよかったので大したことないが、明日は書いて喋ってを95分やらないといけないので大変。明日も勿論半袖シャツで行く。今日のシャツはそうでもなかったが、引っ張り出してきた半袖シャツは皺くちゃだから、一度洗濯した方がいいな。また土曜日に呑みに出る前に仕掛けよう。まあその後は月曜日のゼミと金曜日の試験監督以外は職場に行かなくていいんだが、街中をあまりにみすぼらしい恰好で歩くのはよくない。T シャツ類も少しどうにかしておこう。夏本番だ。嫌なこった。

筒香の上昇に合わせてチームも浮上。7月負け無し（まだ借金は10あるけど）

今日も水曜日なのに出勤。学生にプレゼンさせる講義が2時55分からあって、4時から会議。会議に遅れる旨事務にメールを書いておいたので、まあ大丈夫。で先週と今日は小生のゼミの学生が喋る番。結構質問が出たり鋭い指摘があったりと、まあ盛り上がった。いや、小生が口を出し過ぎたか、という嫌いはあったが、まあいいでしょう。人前で、しかも非専門家の前で話すという経験は早目にしておいた方がいい。緩急の加減が段々分かってくるからね。早目に済んだので会議にちょっと遅刻で済む。個研室へ戻ってノートパソコンを持って、コアステーション2階の大会議室へ向かう。学科によって教務委員が一人だったり二人だったりするようだが、一人で全部やるのは大変よ。うちは他学科や他学部の講義やTAのことも世話をしないといけないし、二人制でないと持たんよ。今は教務委員2年目に時間割のことをやるようだが、前は1年目にやらされた。要領が分からないので大変だった。今年中に少し勉強しておきます。5時半過ぎに解放された。

部屋に戻ってちょっと気に成ってたことを計算して確かめたり、それを TeX 化したり。野球をチラチラ気にしながらやっていた。1点リードされてしまったので、嫌な気分に成ったので、新規購入の USB メモリーにスキャン出来るか試すべく紙の束を持って7階の事務室へ。案の定沢山スキャン出来た。何故か学生が群論の演習問題のコピーをくれて、それをスキャンしたり、大昔に志村五郎先生がうちに来た時に沢山学生向けの教材を作ってくださり、それのコピーをいただいたのでスキャンしたり、先輩がセミナーで喋った難しい話の資料をスキャンしたりと、結構な枚数に成ったが、余裕で出来た。で個研室に戻って pdf ファイルを結合させて、とかやって野球を見たら逆転してる。お！筒香が逆転ホームランを打ったようだ。よしよし。で計算の続きをやって、見たらもう9回だったが、1点取られてる。レイノルズがソロホームランを打たれたようだ。随分長いこと無失点だったが。怖いので作業をして、で見たら終わってた。勝った！7月負けなし。暫くしたら Tigers が Giants に勝って、再び2チーム首位で並んだ。Baystars はまだ借金が10もあるからでかい顔は出来ないが、ちょっとずつでいいので上がっていきましょう。1997年はオールスターの時は最下位だったと思うが、8月に大勝ちして首位 Swallows に迫ったのだった。上が潰しあってくれてるうちに上がっていきましょう。明日も Dragons 戦で、明後日から Giants と3連戦。やってやりましょう。

などとして9時半近くまで職場にいた。飯はすき家でいいや、と向かうと、大蒜の芽の牛丼があった。お！夏だね。でダブル大蒜牛丼を頼んだが、後で見たらトリプル大蒜牛丼もあった。明日はそれにしよう。

で帰ってきて「報道ステーション」のスポーツコーナーで情報を仕入れたが、筒香は7月に入ってから3割5分を超える打率を残して好調らしい。やはり筒香が打つといい結果が出る。明日も是非。大谷が MLB 300号ホームランとかサッカーの話題が勿論日本の野球より先にやる。アルゼンチンはまたしても際どい勝ちを拾ったようだ。メッシが胴上げされていたが、まだベスト8に勝ち上がっただけだぞ。9試合連続ゴールと逆転勝ちが嬉しいのは分かるが。所謂「ドーハの悲劇」の前の試合で日本代表が涙ぐんでたのを思い出した。もう行けた、と思ったとしたら油断だしな。最後まで締めていきましょう。こればっかりで申し訳ないが、一昨年の Carp は9月1日時点で首位だったのに9月に20敗して、最終的には4位で CS にすら行けてない。近鉄が日本シリーズで3連勝した後4連敗したとか、Tigers の中村勝広監督がロードに出る前に甲子園のファンに「大きなお土産を持って帰ってきます」と言った次の日から負けまくったとか、前例は沢山ある。まだまだ終わってないのです。

2、3メールを書かないといけない。面倒だ。まあ明日は2時55分までに職場に行けばいいので、ゆっくりやります。その間に有理点が見付かればいいが。昨日の夕方6時45分くらいからやってるが、まだ見付かってない。やはり2万を超えると時間が掛かるように成るな。まだ10個以上あるし、一番 canonical height のでかい奴は800を超えてる。まあ夏休み中に終わればいいかな。気長にやります。

石田裕太郎が1安打完封勝利と、ちょっと惜しかった

やはり3時間番組は見るのがキツイ。先週やった「ミラクル9」を途中まで見て、プロレスを見て、で「ミラクル9」の続き。最後のクイズが懐かしくて楽しかった。が、もう相当な時間に成ってた。呑みながらだったが、終わった後の記憶がちょっと無い。で知らん間にダウンしてた。テレビの電源は消したようだ。冷房と電気は点いてたが。

やはり記憶が無くなるほど呑んではいけないな。起きたらもう野球が始まっていた。まあ点取られてるよね、と思ってたが0－0という状態だった。が、凄いことが起こりそうになってきた。石田裕太郎がランナーを出さない。5回に四球で一人出塁させるまでヒットも四球もエラーも無かった。7回には四球で二人出塁させたが未だノーヒット。が、石田の日はあまり援護がない。3回に牧が10号ホームラン（プロ入り以来6年連続2桁ホームラン）、4回に石田裕太郎が内野ゴロを打って2点目。さあノーヒットノーランか？と思ったが、8回の先頭打者にヒットを打たれてしまい残念。しかしその後は三振とダブルプレーで無失点。で9回に漸く援護点。松尾、梶原、宮下の3連打で1点。石田が送って勝又がタイムリーヒット（18試合連続安打を最終打席に打つあたりは流石）。で9回は三者凡退に斬ってとり、被安打1の完封勝利。被安打1は勿体ないが、本人もそう甘いものとは思ってなかったというので、まあいいでしょう。中央大学の先輩の牧に打って欲しいと言ってたそうで、その通りに成ってよかった。牧は5回に好守も見せていた。まあよかった。石田は4勝8敗だが、14登板でクオリティースタート10、防御率2.69だからもっと勝っててもいい。これからは投げた試合全部勝つ、と言ってたが、それくらいの意気込みで是非お願いします。打線は篠木の時みたいに援護してな。まあ今日も10安打で5試合連続二桁安打だそうだ。これで4連勝。ここ3試合は篠木、深沢、石田裕太郎と若い投手で勝ってる。いいことだ。明日は東だ。勝たないと。

昨日の夜9時過ぎに仕掛けた有理点探しは今日の昼3時前に終わってた。それくらいなら我慢出来る。パラメーターが3万以下で実験したいが、漸く2万に突入した。勿論1万個全部試すわけではない。mod 24 で23と合同な素数なので、そんなに多くない。Magma calculator が見付けてくれたものもあるので、残りはもう少し。まあ何度も書いてるが急いでないので、ちまちまとやります。いや、やるのは小生でなくてコンピューターだが。

今日は6チャンネルでドラマが始まったため、「相席食堂」がちょっと遅く始まってる。西川忠志が出てるが、相変わらずテンションが高い（英語で「テンション」をこういう意味では使わないそうなので注意が必要）。58歳と言ってるから小生と同い年かと思って調べたら、昭和43年（1968年）4月20日生まれだそうだから1学年下だな。早生まれの人は分かるだろうが、昭和42年生まれと昭和43年生まれのどっちが同級生か分からなくなる。清原は昭和42年8月18日生まれの同期生だが、野茂は昭和43年8月31日生まれだから1学年下。何となく野茂が同期生と勘違いしてしまうが。小生と同い年の伊集院光が今年の正月に「来年還暦」と言ってて、ああそうか、と思った。来年高校の同期会を企画してるそうだが、そこでも「還暦を迎える年に集まりましょう」と書いてあった。小生は1月8日生まれなので、60歳に成るのは再来年。まあ年が明けて一週間で歳が変わるので、大した差ではないが。桑田真澄は同期だが4月1日生まれと、一番遅い生まれ。と書いててふと気に成った。年度が改まって初日に年齢が1増えるわけだが、定年退職が年度内の3月31日だったら、64歳の内に定年退職に成るのだろうか？それとももう一年余分に働かされるのだろうか？詳しい人がいたら教えて。もしくは4月1日生まれの人は教えて。

帰ってきたらマンションの理事会がやっててビックリ

昨日書いた有理点探しだが、昨晩（今日だが）の4時前に終了した。30時間くらい掛かったな。で終わってすぐ気付いたので、寝る前にもう一つセットして寝た。ということで寝た時間は大体おわかりでしょう。

で12時半くらいまで寝たか。睡眠はまあ足りている。シャワーを浴びて、1時半前に出発。高速道路の入口の近くで1時半のアラームが鳴ったが、つかんな。もう少し手前の「四宮」の信号で停車したところで1時半に成ればよかったが。草津田上で出るまで止められない。鳴り続ける中運転し続けた。でまだ十分時間があるので、はま寿司で昼飯にしよう、と向かう。いつもの通り2000円強。限定の生鯖を二回頼んだ。美味しいからね。酢で締めたものはあまり好きではない。鯖は塩焼きが一番だな。

で2時40分くらいに職場着。この時間帯はウェストウィングの割と近くに停められることが多いが、今日は一杯。身障者用のスペースを除けば。他にも数か所あるし、いいでしょ、といういつもの身勝手な理論で停めた。

2時55分からゼミ。今日もヤコビ和をつついて有理点の個数を勘定する話。どうもこの手の議論は苦手だ。あまり真面目に聞いてなかった。黙って黒板に書いてる時間が長いので、どうも集中出来ない。で知らん間に平方剰余の節に入ってた。そろそろ本腰を入れて聞こう、と思ったら終わりだそうだ。記号を定義してちょっとやるだけで終わりにするなら、次回切りのいい所から始める、という方が気持ちよくていいと思うんだが。春学期中に平方剰余に入れたので、まあいいでしょう。証明が二つ出ている（じゃない方のルベーグによるものと、ガウスの第5証明をシュミットが簡略化し、さらにルソーが大幅に簡略化した証明）。それで次回終わると気持ちいいが、また中途半端に虚二次体の章に入っちゃうんだろうか？まあ基本ゼミは学生に任せてるんでね、文句は言わないよ。

その後部屋でちょっとごそごそやって、でキリが付いたところでちょっと紙の整理の為にスキャンしようとしたが、ここのところエラーメッセージが出て読み込んでくれない。7階の事務室の機械が悪いのかと思って、6階の目立たない所にコピー機が置いてあるので試すが、それでも駄目。USB メモリーがいかれたか？それとも大量のファイルが無秩序に入れてあるのがいけないのか？まあいいや、帰ったら近所のセブンイレブンで新しい USB メモリーを買おう。ということにして、7時ちょいに職場を後にした。

今日は雨だったからか、警告書は挟まってなかった。よかった。で「瀬田東－京都東 渋滞7km」の表示だったが、スイスイ進めた。で7時半くらいに住処に着いたが、マンションのロビーに多くの人の姿が。この前理事会がお流れに成ったが、代替日は今日だったか。知らんかった。マンションのポストを毎日見るという習慣が無いので、また案内文に気付かなかったのだろう。急いで車を車庫に入れて、途中から出席。まあ出ておいてよかった。勉強になる。皆さん熱心だ。そりゃ大枚はたいて手に入れた終の棲家だ。ちゃんとしないと。まあこういう人達が熱心にやってくれてるので、小生のような無関心な者には有難いし心強い。

部屋に荷物を置いて買い物に出ようとすると、理事会の2トップとマンションの会社の人が何やら話している。さっき話していた所をちゃんと見ておこうということらしい。小生の部屋から最短距離で表に出るためにいつもそこを通っているが、一度も気にしたことが無い。いけないな。他にも色々話しておられた。何度も言うが、こういう人達が二大巨頭でいてくれるとありがたい。職場の仕事と違って毎年誰かしらに重たい仕事が降ってくるわけではないので、多少無関心でも大丈夫だ。

でセブンイレブンに行って、USB メモリーと京都市指定のゴミ袋二種類とタコライスの弁当を買って帰ってきて、「Qさま！！」を途中から。今日は北関東縛りでやってた。埼玉は北関東なんだな。北関東って群馬、栃木、茨城だけだと思ってた。大学に入るまではこの3県の位置関係が覚えられなかったが、東京から茨城の取手とかに行く電車あって、それが常磐線、軽井沢に行くのに通過するのが群馬県、と知って覚えられた。正直東北もよく分かってなかったのだが、仙台行の新幹線に乗った時に盛岡を通過したので、岩手が宮城の下か、と分かって、山形新幹線に乗った時に秋田新幹線がもっと北で分岐していると知って覚えられた。九州も何度か言ったので、大体分かった。昔は鳥取と島根の場所も分からなかったが、これは毛利元就を大河ドラマで取り上げた時に覚えた。兵庫、岡山、広島の位置関係は覚えてて、で広島の毛利と島根の尼子が戦っていて、島根が広島の上か、と分かった次第。教室で勉強してるだけだと覚えられないよね。実地研修だったり余暇だったりで身に付くと思う。数学も楽しんでやりましょう。

寝る前に仕掛けた有理点は10時間くらいで見付かっていた。Canonical height が182くらいに成るだろうということだったので、まあ一日掛からないかな、と思ったら半日も掛からなかった。それが終わってるのを確認して記録してから、USB メモリーのバックアップ作業。新しく買ってきた奴はスキャナー専用に使うことにしたが、旧 USB メモリーがいかれつつあるという可能性は無きにしも非ずなので、用心に越したことはない。ということで外付けハードディスク（こっちはまだ新しい）にコピペ。ちょっと掛かった。どうでもいいファイルが沢山あったり、職場で拾ってきて保存したものを住処のパソコンに移してないままになってる論文のファイルやら何やらが大量にある。時間が出来たらこっちも少し整理しないと。何にしても小生の居る所は至る所蟻地獄だ。今日車の CD を変えようとしたら、CD のケースが見当たらなくてちょっと時間掛かった。残りの講義は水、木、金に一コマずつ、ゼミは木、金、来週の月で終了だ。少し余裕が出来るので探し物を探そう。まず本棚に本を戻さないと。見付からなくてもう1冊買う、という愚かしいことを何度かやってるので、見付けて後悔しよう。住処に藤崎先生の代数的整数論の本の上巻がある筈だが、見付からない。ということでこの前買ったが。職場も同様だったのだが、絶版だった頃に足立先生の蔵書から拡大コピーしたのがあったので大丈夫だった。でこの前見付かった。急いで本棚に仕舞った（関西では「直す」というらしい）。ちゃんとします。

この前書いた Tate－Shafarevich 群の話だが、LMFDB には位数が 75² というとんでもないのが出てた。前に書いた位数が 40² の奴だがこれは LMFDB には出てない。これは 72073 が合同数かどうか調べる時に出てきたもののようで、合同数と関連する楕円曲線 y²＝x³－n²x の導手はみるみるでかくなるので、こんな大きな導手の楕円曲線は LMFDB の守備範囲外のようだ。小生が今つついてるのも LMFDB に出てないものばかり。Benett 達が Mordell 方程式の整数解を沢山求めたものを表にしてくれてるが、これも小生のいじってるものは出てない。まあ皆さんは色々工夫してやられているが、小生は PARI/GP に任せてるだけなんで、格好いいことは言えない。夏休みいっぱいで片が付くといいけど、まあ待ってるだけなんで。外出するときは冷房の電源を切らない方がいいかもな。今年は酷暑日が何度もあるという恐ろしいことを言ってた。いよいよ8月は日の高い内は外出しなくなるな。職場の駐車場の利用券の更新しないよ。月に数回しか行かないのに5000円は勿体ない。一回毎だと300円だからね。ま、平和な8月に成ることを願うよ、ってまだ7月前半だが。

あ、ブラジル負けたね。日本に苦戦してるようでは往年のブラジルに比べると力が劣っていた、ということなのかな。知らんけど。

エンカーナシオンが4安打3打点、深沢は5回無失点でプロ初勝利

昨日の晩も楽しく呑んできた。何か草津の話題に成ったが、広島の路面電車に草津駅があり、その隣の駅が草津南だったことが結構ウケた。小生は俄かだからもう殆どサッカーを見てないが、店長はサッカー部出身なので日本が負けた後もちゃんと見ていて、結構寝不足だと言ってた。カボベルデは健闘空しく敗れ去ったが、アルゼンチン相手にいい試合をしたらしい。知らん国で、滋賀県くらいの広さしかないそうだが、凄い国があるもんだ。

で帰ってきてすぐダウンしたようだ。いつもの通り「ようだ」というのが相変わらずだが。起きたらペットボトルの水が1/3くらい残っていた。水を買う時に食料を買い込んだのを思い出した。でまた深夜に女性の店員が一人で店にいたので、いいの？とまた聞いてしまった。先週の人は割と大柄な人だったが、昨日の人は小さくてか細い感じで、何かあっても抵抗できなさそうでつい聞いてしまった。

で起きてカップ麺をすすって、であっと言う間に6時ということで野球観戦。今日はプロ野球ニュース放送開始50年の記念ということで、野村弘樹（本名野村弘）が投げて大矢明彦が捕手、真中満が打者と、豪華な始球式だった。今日はエンカーナシオンが大暴れ。今までシングルヒットばかりだったようだが、1回表に先制のタイムリー2ベースヒット。3回もタイムリーヒットで、何やかと5－0に成った。深沢鳳介が5回無失点と、プロ初勝利の権利を持って交代。が、2番手ルイーズが制球難で2四球とヒットで無死満塁にされ、サンタナに満塁ホームランを打たれて1点差にされてしまう。むぅ。Swallows には開幕3連戦3タテを食らい、その後確か8連敗まで伸ばしてしまったが、今回は3タテのチャンス。が、相性なのか Swallows はしぶとい。1点差で9回表に成り、好調勝又が3安打目を打つも、牧が併殺打。むぅ。しかし佐野がヒットの後エンカーナシオンがタイムリー2ベースヒット（4安打目）でダメ押し。9回の抑えにはレイノルズ。不調の康晃が抹消されたので。先頭打者を三球三振に打ち取った時に一瞬康晃の時の悪夢が蘇る。四球と内野安打で1死1、2塁に成り、いよいよ嫌な感じに成ってきたが、レイノルズは流石だった。内山と塩見を打ち取り、無事3連勝。Carp が Tigers に負けてくれたので、4位に浮上した。まあよかった。3タテなんていつ以来だろうか？と思って調べたら、4月17日から19日の Carp 3連戦以来らしい。まあよかった。まだ借金は12もあるけど。神宮での試合だったのでヒーローインタビューはプロ初勝利の深沢一人だったが、横浜スタジアムでの試合だったらエンカーナシオンも呼ばれたろうな。まあいいです。火曜日からは横浜スタジアムで Dragons と3連戦。最低限勝ち越しましょう。その後は横浜スタジアムで Giants と3連戦。Giants 相手に負け越しているので、やり返さないと。Tigers には勝ち越しているので申し訳ない。やり返してやりましょう。

有理点探しは昨日の19時6分開始のものがまだ終わってない。Canonical height が大きいと予想されるので、時間は掛かるだろう。まあ急いでないので待ちます。

大悟の演技はなかなか良かった

深夜に映画の情報を調べたら、上映開始が15時50分と遅いので、チケットをオンラインで購入した。でいつもより早く（と言っても普通の人の感覚では無茶苦茶遅い時間だが）に寝て備える。で起きたら昼の1時を回っていた。まあまだ間に合うので問題無し。シャワー浴びて出発。

映画館はいつものTOHOシネマズ二条。1階のたかばしでラーメンを食べて備える。見る映画は「箱の中の羊」。大悟の演技が見たいので来た。うん、いい演技する。普段「相席食堂」や「テレビ千鳥」で見せる大悟からは想像出来ないくらいの演技だった。映画の詳細は書かないが、どうなるだろうと思っていたが、終盤は変な展開だった。まあ総じて面白かったのでいいです。「Michael/マイケル」と「免許返納！？」も見たいので、近い内にもう2回足を運ぶ予定。

二条駅にパンの自動販売機があって、毎回行くと買って食べてる。立ち食いはみっともないが、まあ旅の恥は搔き捨てということで。でホームに着くと丁度びわ湖浜大津行が出たところ。六地蔵行で帰るのは久し振りな気がする。200円得した。三条通にある銀行に寄る用事があったので、地下鉄の駅の方が三条通に近くて有難い。で振り込みをして御金を卸して、取り敢えず後顧の憂いは無くなった。

住処に帰り着いてパソコンを見ると、有理点が見付かっていた。16時間くらい掛かった。記録して早速次のを見付けるべく取り掛かる。見付かった奴は canonical height が 300 くらいで、今度見付けようとしているのは BSD 予想を仮定しての予想だと canonical height は 500 くらい。数日掛かるかな。

野球を途中から見ているが、2－1とリードしている状況。そこから3点取って、更に筒香に3ランホームランが出て只今8－1。今日勝つと約1か月ぶりの連勝とか。うーん、そんなに負けていたか。カード勝ち越しも滅茶苦茶久し振りだぞ。篠木の内容は今日はいいようだし、いけるかな。今さっき7回裏が終わった。呑みに行く前に勝ちゲームで終わってくれるといいけど。最近夜遅くに来る客が減ったらしいので、客がいないと9時半に閉められてしまう。ヒーローインタビュー込みであと45分くらいで終わってくれると嬉しいけど。

などと書いて35分ほど。更に追加点で12－1で快勝。篠木がプロ初完投勝利で、13カード振りの勝ち越し。いやー、いい酒に成りそうだ。

6月24日以来の勝ち星

今朝は11時半くらいに漸く起きられた。ちょっとボーっとしてから出勤。職場に着いたのは12時半くらいだったが、もう外で売ってる弁当は残り少なかった。買えるか？と危惧したが何とか買えた。で個研室で食べてまたしてもしばしボーっとして、講義に向かう。

今日の「代数学I」も出席者は少ない。誰も聞いてないかもと思ったが、まあいいやと始める。体を動かして声を出すと調子が良くなるんで、健康のためと思って話し始める。今日は商体の存在と一意性をやって、有理関数体の定義。高校までは多項式と多項式で定義される関数をほぼ区別しないので、多項式÷多項式って定義されたのは今回が初めてだろう。4回生には何年も山崎隆雄さんの初等整数論の本を読んでもらってるが、そこで多項式の平方根が出てくる。多項式と多項式関数を区別してない頭では何の困難も無いだろうが、純粋に式と思って平方根を取る、というのは意味分からないと思うが。意味論関係無く定義出来てしまうのが抽象代数を用いてるがゆえ。小学生に分数を教えるのは小生には出来ない。3/4 で割るには 4/3 を掛ければいい、というのを教えるのは大変。商体を教える時は「演算の定義」で済ませてしまうのでいいけど。でそれから分母を制限した商環（S^{－1}R と書く奴）をやって、局所化とか局所環とか話してたら時間に成った。来週は局所化が局所環であることを証明して、で Chinese remainder theorem の話が一通り出来るだろう。さああと1回だ。

休憩を挟んでゼミ。今日は分岐群の話を一通り済ませてから、フロベニウス置換の性質を用いて2次体での素イデアル分解、円分体での素イデアル分解をやって、それを使って平方剰余の相互法則を証明して、と、割と重たい内容だった。まあちゃんとやってきてる。一箇所引っ掛かったが、ちょっと考え過ぎたようだ。で6時ちょい前に終了。こちらも春学期は残り1回。

その後部屋で講義ノートのミスを直して、演習問題が上げられるか確認（来週やる分があったので、無理と判断）して、伝票を財務に送る作業などをしてから、ゼミでちょっと気に成ったことを済ませて、で幾つかスキャンしたい紙があったが、うまくいかなかった。何故だろうか？よく分からない。今度もう一回トライすることにして、今日はそっちはやめておいた。途中野球を何度か見たが、1点先制されるもソロホームラン2本で引っくり返していた。また少し経ってから見たら、中川虎大が投げていて、ノーアウト1、3塁の大ピンチ。怖くて見ていられないので、他のことをやっていて、暫くして恐々見た。どうせ大量点を取られて引っくり返されてるんだろう、と思ったが、見ると同点。あの場面を1点で抑えたか。よしよし。9時ちょいに職場を後にした。

晩飯はすき家でいいや、ということにして、正門前の信号を右折して、でいつもの通り若草の交差点で引っ掛かる。野球の経過を見ようかどうしようか、と思ったが、歩車分離式の交差点で、車は縦方向と横方向（どっちが縦か知らないが）の車の信号は当然別なので、若草の交差点は待ち時間が長いのだ。すると1点勝ち越してる。お、と思って詳細を見ると、なんと更に2点追加してる。おぉ。でビビンパ牛丼を食べてから駐車場で野球の続きを見ると、7－ 2に成ってる。エンカーナシオンの内野安打と長岡の悪送球で2点、更に宮崎がタイムリーヒット。延長戦は大量点が入ることが多い。流石に勝つさ、と思って暫くして見た（勿論赤信号で止まってる最中）ら勝ってた。やはり勝つと嬉しいね。火曜日も昨日も勝つ筈の試合だった。今日も引き分けか負けだったらどうしようかと思ったが、よかった。他の試合はどうかと思って見ると、セ・リーグの上位3チームは揃って負けた。Giants は0－1で負け、Tigers は Carp をお得意様にしている大竹が5失点KO。ということで上位3チームは変わらず0.5ゲーム差。明日は Tigers 勝ち、Swallows、Baystars が負け（⇔ Baystars、Dragons が勝ち）が望ましい。野球の話で楽しく呑めるといいのでね。

で帰ってきてパソコンを見たら、まだ有理点探しは続いていた。で「探偵！ナイトスクープ」が始まってちょっとして見たら見付かってた。ほぼ24時間。まあまだ早い方だ。2週間待ったことがあるからね。

さて明日の昼はどうしよう？野球はナイターだしな。録画したまま見てない3時間物が二つあるので、夜更かし（朝早し？）して見るか、それとも映画に行くか。まあ今後の気分次第だな。来週の火曜日は教授会は無い筈だから、そこで見に行ってもいい。水曜日は昼から会議があって、その後講義だし行けない。まあいいや、もうちょっと経ってから決める。

類体を定義出来た

深夜にゴミ出しに出たら凄い雨降りだった。で木曜日は早起きしなくてよいので、いつものパターンで「おはよう朝日です」が始まってしまった。案の定関西は結構な雨降りで、滋賀では大津が大雨だ草津が大雨だと言ってる。今日は職場行けるの？と思ったが、昼頃には上がると言ってる。まあ大丈夫かな、ということで訳の分からない時間に寝た。

1時過ぎに起きて、はま寿司で食事をしてから職場、というよくあるパターンで行くべく出発。青空が見えてる。が、寿司を食べ終わってから表に出ると空の色が嫌な感じ。で職場に向かってる途中で降り出し、着いたら相当な降りに成ってる。俄雨があると言ってたな。午後の降水確率も高かった。学内は傘を持ってない人々が右往左往したり、建物の出口付近で雨が上がるのを待ってたり。車に傘を置いてあるので、小生は大丈夫だった。

今日の「数理科学セミナー」は偶数の完全数とメルセンヌ素数の話から。テキストに「a｜bc, (a,b)＝1 ⇒ a｜c」（飯高茂先生命名の「合コンの定理」）が定理として出ていないので、同じことを何度も繰り返してる。「p が素数で p｜ab ⇒ p｜a または p｜b」はやってて、でその1回か2回後に「合コンの定理」の主張は教えた筈だが。教えてなくても「合コンの定理」の証明を何度も繰り返してて、留学生相手だから穏便に行きたかったが、ちょっと声を荒らげてしまった。不満だったのはもう一つあって、写像が単射なのを示すのに「a≠b ⇒ f(a)≠f(b)」を示そうとしたり、挙句にそこに背理法を持ち込もうとする謎なことをした。彼は小生の代数の講義には出てると思ったが。小生の講義は何でも書いて何でも示すから、真似してくれればいいんだが。まあいいです。で選手交代して、冪乗を計算するのに繰り返し2乗法でやる話を始めたが、途中で時間に成った。次回が最終回。あまり面白い所に行かなかったな。平方剰余まで半期でやるのはやはり無理。セミナー系の科目を1年続けてやるのはしんどいので助教の先生と半期ずつやることにしてるが、彼は何の本を読ませるのですかね。まあ知らんのでいいです。

休憩を挟んでゼミ。今日は類体を定義したり所謂「第一不等式」（「第二不等式」に改称されてる、と出てたが、そうなの？）を示したり。解析的な議論をごちゃごちゃやると群指数と拡大次数の間の不等式が出る、というのは不思議。そこをどうにかしたいとイデールだ類構造（class formation）だと始まったが、何もかも解析も嫌だが、何でもイデールだ位相群だというのもちょっと嫌。バランスをとって証明をしてくれると嬉しい。で最後に存在定理、終結定理、同型定理の紹介がしてあった。素イデアルがどう分解するかということは書いてなかったが、アルティン相互律を挙げるのが無理で諦めたのだろうか？ちょっと面白くなってきたが、こちらも来週最終回。まあ勿論秋学期もあるわけで、修論も書いてもらわないといけないから、色々大変だ。8時前に終了。

先週の反省もあって、少し講義ノートに目を通しておくことにした。見てみると色々不満が出てくる。まあ同値関係であることの確認とか well-defined だとか単射であることだとか全射であることだとかそんなんばっかりだから、適当に端折ろう。全射であることは難しいから証明したろうか？と思ったが、単射であることの証明が怪しい学生がいるようだから、単射であることも一回示すか。などと考えてやってるうちに10時近かった。

チラッと野球を見たが、ゼミ直後に見たら 3－1 でリード、という状態だった。また暫くして見たら点差は変わらずで、9回に康晃が登板。一昨日あんなだったから今日はしゃんとしてもらわないと。と思って帰る直前に見たら同点にされてる。シーズンの序盤の康晃はよかったが。「バッターと勝負する感じが戻ってきた」というようなことを言ってたが。ここのところガタガタ。防御率5点台のリリーフエースはもう駄目でしょ、という感じだ。今日は先頭から2者四球で交代させられたらしい。後を任された宮城は可哀そうだな。悪口は書きたくないが、一回ファームで調整した方がいいのでは？と思うが。そうしないと250セーブ達成は無理だぞ。もう帰るつもりでいたので、決着は見ないで引き揚げてきた。

晩飯は住処でカップ焼きそばでいいや、ということにして、高速道路を走って帰ってきた。途中60km/hを割り込むくらいのスピードで走ってる小さい車がいて、前方を見ると別に混んでるわけでもないようだから、珍しく追い越し車線に出て抜かせてもらった。高速道路慣れてないんだろうか？交通量が少ないからいいが、昼にあんな運転したら大変だ。早目に慣れておいてください。小生の通ってた教習所は高速道路教習があったし、友人に福井まで走らされたことがあったから、すぐ慣れた。高速道路に限らず、流れに乗るのが大事よね。頑張ってくだされ。

帰ってきてパソコンを見ると、有理点が見付かっていた。Canonical height が600くらいの点というのは流石にゴツイ。丸24時間くらい掛かったが、前は height がもう少し小さい点で2週間掛かったことがあったが、どうなるかは何とも言えないのだろう。予測出来ないから研究は面白いのだ。試験問題や演習問題のように一定時間内にそれなりに答が出て、それなりの得点分布にさせたいのと研究で扱ってる問題は訳が違うのです。だから成績がよかった＝研究者として成功する、という等式は成り立たない。まあ小生がうまくいってるとかいってないとかいう話をすると口が曲がるのでやめておこう。大した事やってないから2日で reject とかなるわけだからね。ま、地味にやります。で有理点を記録とかしてたら「報道ステーション」で野球の話題が始まった。Tigers も同点だったが、負けたようだ。うむ、また Giants が単独首位に成ってしまったか。嫌なこったが。Baystars の試合はまだやってる、と言ってたので、ケーブルテレビのチューナーの電源をいれて TBS チャンネル2に切り替える。筒香がフェンス直撃の当たりを打って1塁に辿り着いたあたりから見始めたが、もう少しでサヨナラホームランだった。残念。結局その後どちらもチャンスを作るも点が入らず。12回表に走者1塁で長打を打たれて、解説の三嶋一輝氏が「あ、これやばいですよ」と言ったが、幸い3塁でストップしてくれた。Carp も思い切りが悪い。だからどちらも低迷してるんだろうが。で12回裏はランナーを2塁に進めるも柴田、戸柱と、言い方は悪いが「残りかす」の打者では点が入るわけは無く引き分け。これで10カード連続負け越し。まあ今日は牧が2打席連続ホームラン、新外国人のエンカーナシオン（難しい名前）がヒットを打ったりと、光明はあった。足から神宮で好調 Swallows との3連戦。最低限勝ち越さないと。Tigers が Carp を叩いてくれて、順位を上げる方向に行くといいが。Dragons は今日 Tigers に勝って調子がいいようだから、Giants を叩いてもらいましょう。

今日の野球のニュースは Fighters が初回先頭打者から4人連続ホームランの史上初の離れ業をやってのけたことだろう。水谷、水野、レイエス、万波。その後吉田もホームランを打って、1試合5ホームラン。Fighters 低迷してるな、と思ったら貯金が12もあるじゃないか。12も貯金があるのに3位。パ・リーグは凄い。で順位表を見て更にビックリ。Braves が5位。ちょっと前まで首位だったのでは？それでも貯金が2ある。セ・リーグが交流戦でいいように鴨にされた結果だな。Eagles が借金18もあるので全チーム貯金、ということには成らないだろうが。少し前に交流戦が明けて数試合したらセ・リーグ全部借金持ちという珍事があった。セ・リーグ関係者は交流戦怖かろう。パ・リーグは落語のような意味で「交流戦怖い」だろうが。どうにかしましょう。日本シリーズはセ・リーグが頑張って欲しい。但し Giants が日本シリーズに出たら別。パ・リーグを目茶目茶応援するよ。

甲子園での野球が中止で、急遽「ミラクル9」を放送することに成ったようで、急いで帰宅して録画予約のセット

春学期の水曜日は担当講義もゼミも無い、とは言えなかった。14週間の内の2回だけ担当するものがあって、今日と来週が出番。2時55分からだが、その前に OIC と結んでのオンライン会議があったので、10時半とか11時とかに何度もアラームが鳴るように仕掛けておいて、でちゃんと11時くらいには起きられた。シャワーを浴びて出勤。職場に着いたのは学生が昼休憩に入る前だったので、弁当を楽々買えて、で個研室で食してから会議。28年度に行われることの関係で、小生は来年度も教務委員なので、ちゃんと聞いておく。発言はしなかったが。ちゃんと後で文書にしたものを送ってくれるそうなので保存しておかないと。この前の分も来てる筈だな。後で探しておこう。1時間の予定だったが、当然もっと掛かった。まあ講義には間に合うが。

2時55分からの講義は「科学技術表現」とかいう変な名前の院生向けの科目で、前は数学はすっとぼけてやってなく、基礎理工学専攻の物理は開講してるからいいでしょ、ということだったのだが、ばれてしまって始めた科目。M2 にプレゼンの練習でもさせましょ、とタイトルと違う内容の科目だが、まあいいのではないかと。学生は自分の担当は1回だけだし、他はボーっとしてれば単位がもらえるので。で今日と来週は小生のゼミの学生がやる番だったというわけ。書類上は3人学生を持ってることに成ってるが、一人はうっかり裏番組のTAをやることにしてしまったので、2人。2人共今日やったら来週はどうしようかと思っていたが、幸い今日は1人だけやるそうで、まあよかった。代数的整数論の話をされてもチンプンカンプンな学生が大多数だろうと思うが、案の定殆ど質問は無かった。整域、商体、イデアル、素イデアル、さあ何人の学生がこれら用語を勉強したでしょうか？小生の講義は殆ど出席者がいないからね。それで単位を出していいの？というのが実情だが、まあ仕方ない。今年度からちょっと厳しくすることにした。出席者が両手とちょっとくらいしかいないのに沢山単位を出すのが癪に成ったということですわ。ということで今日は終了。

部屋でちょっと作業をするつもりだったのだが、野球の頁を見たら今日の甲子園での試合は中止らしい。で ABC の頁を見たら、7時からの「ミラクル9」の3時間スペシャルが野球が無いということで放送すると成っていた。録画予約してないし、そもそもハードディスクに3時間物を録れる余裕は無い筈。ということで飛んで帰ってきて、「歴史探偵」を2回分ダビングしながら、一つ2時間物を見て、で何とか録画出来るようになった。「歴史探偵」はちょっと高画質で録画してあったので、45分物を二つ消して、最低画質で録ってあった2時間物を消したので余裕が出来たというわけ。明日の「ゴチバトル」を録画する余裕も出来た。「英雄たちの選択」の荒木村重の回もダビングすれば、日曜日の大河ドラマは録画出来るな。アンコール放送の「八重の桜」は Blu-ray ディスクに直録りをするので、暫く大丈夫だな。で「ミラクル9」を追っ掛け再生で見ようかと思ったが、「歴史探偵」のダビングした奴はまだ見てないので、そっちを見た。それから NHK でニュース。Baystars の試合が無い日は精神が穏やかに成ってよい。他の野球の結果でちょっと不機嫌ではあるが。

有理点は着々と見付かっている。寝る前に仕掛けたのは14時間半掛かった。帰ってきた時には見付かっててくれて嬉しい。で早速次のをやってるが、只今6時間強経ってるが、まだ結果は出てない。まあパラメーターが大きく成れば成るほど時間は掛かるように成る（一概にはそうは言えないが）し、今やってるのは BSD 予想を仮定すると canonical height は約 600 と、とんでもない時間が掛かることは覚悟してる。まだまだ残ってるのは沢山あるけど、別に急いでるわけではないので。今回の資格審査は問題無く通るくらいの業績はここ数年ちゃんと上げたし、次の審査（最後である）までは5年あるので、ゆっくりやるす。