Baystars は試合開始で3点（筒香の3ランホームラン）、Tigers は9球で2点取った（森下の2ランホームラン）が、その後苦戦中

昨晩は程々の時間（普通の人にとっては十分遅い時間だが）に寝た。というか起きていられなかった。で今日は1時過ぎまで寝ていたが、それでも眠くて、昼食後また4時半過ぎまで横に成っていた。何も有益なことはしてない。まあ休みなので。今晩はまた呑みに行くので、不摂生な日々が果てしなく続く。いい加減何かしらしないと。

であっと言う間に野球の時間。今日は素晴らしい立ち上がり。度会が初球をヒット、牧がストレートのフォアボールを選んで、筒香が3ランホームラン。6時開始の試合が6時6分には3－0。これは勝たないと、と思ったが、Swallows が1回、3回、5回の攻撃が1番長岡から始まる攻撃で、長岡が出塁してホームベースを踏む、という攻撃で只今3－3という状態。7回は奇数回だし、Swallows の攻撃は怖いぞ、また長岡からだし、と思ったが、7回は浜地が三者凡退に抑えてくれた。さーここから反撃だ。

Tigers は Carp 相手に9球で2点取ったようだ。森下の2ランホームランで。が、その後 Carp に逆転を許し、只今2－5と3点リードされている。昼に Giants が2－11で Dragons に大敗しているだけに、Tigers は勝たないと。まあ負けても2ゲーム差は保たれるわけで、大騒ぎしなくてもいいのかな。結局直接対決で Tigers が3連勝したのが効いてる。Tigers と Baystars が共に勝てば美味しい酒に成るのだが。頑張れ。

などと書いてしばし。Baystars は3回に牧がヒットを打って以降、ヒットどころか出塁も無かったそうだ。が、8回表2アウトから度会がヒットを打った。さあ牧だ。打てよ、と思ったがサードゴロ。残念。

Tigers は2アウト満塁のチャンスを作った。佐藤輝明の打順。どうなるでしょう？と力んで見ていたが、結局三者残塁。まだ9回表がある。頑張れよ。

大分9時が近付いてきた。そろそろ呑みに行かないと。さっきシャワーは浴びたし髭も剃ったし、一応みっともなくない風体には成った。T シャツにジーパンで出歩くので、寝癖バリバリ髭ボーボーはよくないのでね。時間的に試合の最後までは見られそうにないので、食事を待ちながらスマホで観戦する。いつもの通り。さあどうなるでしょう？

などと書いてしばし。9回表に Baystars がノーアウト満塁のチャンスを作ったが、粘った末勝又は三振、佐野が併殺打で無得点。むぅ、今日は駄目かな。一週間で4位転落か？まだ分からない。料理を待ちながら応援、ということで出発。

四球で走者をためて（一つは投手に）満塁ホームランを打たれた松本凌人は反省してもらわないと

結局昨日はビールを呑んだ。で飲み干して時計を見るとまだ11時前。合法に酒が自動販売機で買える時間なので、もうちょっと呑むことにして買いに行く。で先週の「座王」を見るなどグダグダとやってる内に「アメトーーク！」が始まったが、眠くなってきた。テレビを見てると寝落ちしそうなので、本棚の整理を始める。新田次郎「武田勝頼」の1巻があるのは確認していたが、2巻、3巻が無いぞ、と思っていたのだが、大垣書店で買った時の紙のブックカバーを外してなかっただけで、ちゃんとあった。その時同じく新田次郎の「武田三代」も買ったようだが、ブックオフで古本を買ったようで2冊あった。再販する時に別の人に解説を頼んだようで、解説者が違った。古い方の解説を読んで、ブックオフで売ろうということにして、取り敢えず書棚に戻しておく。で眠さに限界が来たので、寝た。

目が覚めると時計が6時を指している。夕方か？と思ったら朝の6時だった。起きるが、流石に徹夜の翌日に5時間くらいしか寝てないのではちと無理がある。「おはよう朝日です」をちょっとだけ見て、もう一度寝床へ。でもう一度目が覚めると10時半くらい。西友が閉まることだし、2階にある食堂で海老コロッケを食べに行こうと思っていたので、行こうか、と一瞬思ったが、やはり起きられない。そのまま1時過ぎまで寝ていた。別に昼飯を1時過ぎに食べに行ってもいいのだが、「おはよう朝日です」を短時間見た時に仕入れた情報だと、午後は俄雨があるかもと言っていたので、やめておいて、冷凍のカレー饂飩を食べて済ませた。西友には近い内に。映画も見に行かないといけないし、色々やることはあるのだが。まあいいです。で昨日の「ゴチバトル」を見たりと、ダラダラと過ごす。昨日の「ゴチバトル」では、特別ルールで二人が一品ずつ値段を教えてもらっていたが、その二人が最後の二人として残るという異常事態。結果は書かないけどね。ゲストが中条あやみ、池田エライザ、高杉真宙と、過去にクビに成ったメンバー。更に田山涼成と佐々木希が不意打ちで登場して、皆ビックリしていた。面白かった。それから月曜日に NHK で放送していた玉鷲の特集番組を見たり。

そんなことをしてるとあっと言う間に6時。野球の時間。今日から Swallows と3連戦。2ゲーム上にいるが、この前ゲーム差無しの時は勝率で下回っていたので、勝ち越さないとAクラスをキープ出来ない。頑張ってもらわないと、と思って見始めるが、1回裏に早速失点。今日一軍登録された森敬斗を本職のショートでなくセンターで起用していたが、ショートの時にファーストに何度も悪送球していた悪い癖が抜けておらず、内野への返球が大暴投で、その間に点を取られるという、平良には何とも可哀そうな失点。その後5回裏までは点を取られなかったが、名古屋で大暴れした打線が今日は音無し。6回裏に悪夢が。セカンドへ内野安打を打たれたが、何か牧のエラーのような気がした。試合前に雨が降ってたそうで、グラウンドのコンディションが悪く、滑ったような感じ。次のバッターはライトへポテンヒット。解説の今浪曰く「平良の投球は何も間違ってないですよ」と、何とも不運。で2点タイムリーヒットを打たれて交代。ここまでよかった松本凌人だが、今日は乱調。内山をストレートのフォアボールで歩かせると、投手の奥川にもフォアボール。三振で2アウトにはしたが、長岡に満塁ホームランを打たれてしまう。独り相撲だ。7回表に森が汚名返上とばかりに2点タイムリー2ベースヒットを打ったが、そこまで。負け投手は平良だが、試合をぶち壊したのは松本だけに、何か納得がいかない。まあそういうルールだから仕方ないのだが。他球場はどうかというと、Tigers が負けて Giants が勝ってしまった。明日の Tigers のマジックナンバー点灯は無しということに成った。終戦記念日に Giants が終戦に成るとよかったが。Tigers は明日勝たないと。

その後ちょっと下らんことをした。√7 は28分体に含まれる。これは√(－7) がガウス和で書けることから自明。しかし1の28乗根達の1次結合で書きたいぞ、と成ってごちゃごちゃ計算。出来たが、TeX 化しようという時に実に無駄な計算をしていたことに気付いた。偏角の足し算なんてしなくても、虚数単位と1の7乗根を1の28乗根で表す（超自明な計算をすればよい）ということをした後指数法則（中学生レベルの）を使うだけだった。まあいいです。その後基底の1次結合で書きたいぞ、と成って、SageMath で結果だけ得てから計算。28分多項式が案外簡単な形をしていたので、そんなに大変じゃなかった。まあ出来てしまえば正しいかどうかはすぐ確かめられる（勿論コンピューターで）。まあ楽しかったのでいいです。科研費の申請書類を書くとか、秋学期の講義関係のことを少しやるとか、ゼミでちゃんと指導出来るよう勉強するとか、気の重いことが沢山あるので、つい現実逃避してしまう。まあいいでしょう。

昨日の千葉の雨は想像以上の出来事だったようだ。後輩が千葉にいるぞ、と一瞬思ったが、そいつは今は名古屋に住んでるのだった。奴の奥さんの旧姓が千葉の地名と同じなので、ニュースを見ていて一瞬焦ったりする。あ、別の後輩が千葉の大学に勤めてるぞ、と思ったが、彼は東京に住んでるんだった。いや、真面目な奴だから職場に行ってて帰れなかったか？と気付いた。確認しておいた方がいいな。千葉県にある別の大学に知り合いが数名いるかと思ったが、一人は数年前に退職、一人は今年東京の大学に移籍していた。もう一人いるが、そこまで親しい人ではないので、まあメールしなくてもいいかと。Facebook を見ていたら、卒業生が千葉に住んでたのを思い出した。彼の投稿を見るに、彼はそこまでの重大事に成っていないようでよかった。で気付いた。もう一人いるな。彼は千葉大の大学院を出たが、今は千葉に住んでないのかな？色々確認しないといけないな。ニュースに依れば、昨日の千葉は通常の8月の1か月分が1時間くらいで降った（記憶が曖昧だ。違うかも）らしいから、大事だったろうな。もうこんなことは起こらないで欲しい。勿論京都、滋賀でもだが、日本のどこでも起きないで欲しい。日本は災害大国だから、どうなるか何とも言えないが。祈るくらいはしましょう。

昨日5発、今日4発で派手に打ち勝ってカード勝ち越し（Giants は Tigers に3タテを食らった）

例によって生活リズムはガタガタなわけでが、寝ようかと思ったところでコンピューターから不穏なメッセージが。Windows update をしたがってる。強制再起動はしないようにしたつもりだが、うまくいってるか自信が無い。2度再起動要請を断ったが、それっきり言ってこなくなった。それでも再起動されたら有理点探しがおじゃんだぞということで、頑張って起きてることにした。書き散らかした紙を片付けるために頑張って TeX 化しよう、ということで、3次多項式 X³＋pX＋q の判別式の計算を書いた紙と睨めっこしながら入力を始める。が、途中でもう少しうまく出来ることに気付いた。p が括り出せる列が2つある。それと4次の行列式を2次の行列式4つにブロック分けして、左下のブロックが零行列に出来るよう変形出来ることにも気付いて、計算をやり直したり。結構時間が掛かった。その後本当に根の差積の2乗を計算してみようと思って始めたが、面倒そう。が、ここで気付いた。職場で計算した紙の裏（表？）が Knapp の楕円曲線の本のコピーで、そこに楕円曲線の判別式のことが出てて、でまさに X³＋pX＋q の判別式の計算が出ていた。その紙を探すより見ないで再現してみようと始める。差積と言えばヴァンデルモンドの行列式で、それの2乗の片方を転置してやるとうまいこと x＋y＋z, x²＋y²＋z², x³＋y³＋z³, x⁴＋y⁴＋z⁴ だけで行列式が書けて、でこれは全部対称式だから基本対称式で表せて、とか書いてあった筈。で始める。x²＋y²＋z² を基本対称式で表すのは前にやったことがあったが、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時のニュースの殆どの時間をそのニュースに使ってる。やはり異常気象なのだろうな。桑原桑原。

6－3で勝った（6得点中5点がソロホームラン（度会が1本と牧、エンカーナシオン2本ずつ））

ペットボトルと定期購入している野菜ジュースの空き缶が部屋に散乱しているので、沢山捨てようということで結構捨てたが、まだ大分散らかっている。ペットボトルのラベルは剥がさないといけないよねということで一生懸命やったが、面倒臭い。で買ってきたゴミ袋を全部使ったが、まだ大分散らかってる。また来週やる。でダラダラとやってる内にまた変な時間に成っていた。

で昼を大分過ぎたところで一旦起きて、冷凍食品を温めて食べて、とかウダウダとやってたが、眠いぞ。生活リズムがガタガタだから、ちゃんと疲れが抜けていないのだろう。まあ普通に生活していても起きて暫くは目が覚めないよね、ということなのだろうということであまり気にしてない。もう一寝入りした。

で野球が始まるくらいに起きる。昨日 Dragons に負けて3ゲーム差に成っていたので、今日は勝たないと。が、東が1回裏に細川にソロホームランを打たれて先制されてしまう。む。しかし今日は一発攻勢。3回表に7月の月間MVPを受賞した牧がソロホームランを打ち同点にし、4回表にエンカーナシオンのソロホームランで勝ち越し、5回に牧のタイムリーヒットで追加点、6回表にエンカーナシオンがもう1本と、4イニング連続1点ずつ取った。9回表に度会と牧にソロホームランが出て5点差。今日はレイノルズの出番は無いな、という感じで9回裏は浜地がマウンドに。が1アウトから細川にどでかいホームランを打たれた。今日の7本のホームランの内の去年のバンテリンドームだったらホームランに成ってないのが半分以上だが、細川の2本目は去年まででも入ってる文句の無いホームラン。で何とか2アウトまで行ったが、石川にヒットを打たれて結局レイノルズが出てくることになった。まあ浜地は打たれたが、こんなこともあります。でレイノルズが石井を三振に斬って取って試合終了。連敗はしないで済んだ。Swallows が一方的な勝利だっただけに、ここで差が縮まらなかったのはよかった。

首位攻防戦は今日も Tigers の圧勝。高橋遥人と井上温大の「はると」対決だったが、Tigers は去年井上に結構やられていて、片や高橋遥人は最近失点が多目で、疲れていると解説者が言っていたので大丈夫か？と思ったが、心配なかった。1回に佐藤がタイムリーヒット、大山犠牲フライで2点先制し、3回には森下、佐藤のアベックホームラン、7回に佐藤がもう一本打ってと、圧勝。高橋は6回をソロホームラン1点に抑えて、12勝目。何でも明日 Tigers が勝って、金曜日からの Giants の Carp 戦との結果次第で15日も Tigers にマジックナンバー点灯とか。理想は Baystars の優勝だが、関西に25年以上住んでると大分 Tigers にも愛着が湧いてきて、Baystars が優勝しないなら Tigers の優勝がいいと感じるようになってきた。まあ Giants が優勝しないのと嬉しいのは昔からなので、Tigers がリーグ優勝するのが今年のベストな 結末だ。で CS を Baystars が勝ち抜いて、日本シリーズで優勝、と成るといいな。

演習問題にしようと思って考えた問題を TeX 化してストックしてある。で昨日の晩「これは成り立つんだったかいな？」と気に成ったことがあったが、問題集を引っくり返したら示してあった。こうやるのか、と感心したが、これ自分で証明考えたのかな？というくらい上手く証明してあった。まあ多分何かの本から引っ張ってきたのだろうな、と思うが。まあ何もかも自分で考えないといけないということはないので、調べておいて学生から聞かれたらさも自分で思い付いたかのように話すと恰好いいのでよい。ストックは増やし続けるよ。

御巣鷹山に日航機が墜落したのは41年前の今日だったしい。高校3年の時だな。兄者が鹿児島から帰省していて、飛行機で鹿児島に戻るのをお袋が大丈夫か大丈夫かと心配していたのを思い出す。月曜だったな。中島みゆきの「オールナイトニッポン」が放送中止で、次の週に中島みゆき曰く、その日は録音で、いつもの通りの超ハイテンションだったが、大丈夫かと心配に成ったそうで、放送が無くなってむしろホッとしたと言ってたのを鮮明に覚えてる。まあ人の命を預かる公共交通機関はちゃんとしてくれないと。昨日 NHK で東海道新幹線のメンテナンスの様子をやってたが、凄く丁寧というか慎重というか点検、メンテナンスしていて感心した。運転手も大変だった。そう思い出した。山科の夜の街で新幹線の運転をしている人と知り合いに成ったが、その人は何とその仕事を辞めて、山科で食堂をオープンした。彼が料理するわけではなく、料理人は雇っていたが。美味しい店だったがちょっと場所が悪かったか、何年もしないで閉めてしまった。彼は新幹線の運転手を投げ出してしまったわけだが、今どうしてるのだろうか？開口のマスターも脱サラ組だが、開口は大丈夫そうだ。久し振りに顔を出さないと。野球があるシーズンは中々夜の店に行けなくて申し訳ない。オフシーズンに一度顔を出しておこう。

この前は好投の尾形は審判の謎の判定に惑わされて乱調

今日が資源ゴミに日だったのを呑んでる最中に思い出して、分別作業をしたりと色々。が、途中困ったことが。鍵が見付からない。いや、部屋の鍵はスペアが大量にあるのだが、いつもの鍵は郵便受けを開けるのに使えるのに対し、予備の鍵でそこが開けられないものばかり出てきて困ったのだ。前にその鍵も出した筈だが。どこへ行った？と必死に探して、まさかジーパン（死語）のポケットに入ってるなんてことはないよな？と思ったらあった。阿呆や。まあいいです。で段ボールを幾つかとアルミ缶と計算用紙など結構出して、で大分片付いたかというとそんなことはない。蟻地獄なのでね。明日は缶・瓶・ペットボトルの日。ゴミ袋をこの前使い果たしたから、買いに行かないと。明後日は普通ゴミの日。少し頑張って片付けようか？やらないな。いざとなると面倒になってしまう。まあいつかはやりますよ。

でいつ頃寝たかよく覚えてないが、11時過ぎに一旦目が覚めるも、酒が残ってるような感じなのでもう一度寝た。で次に目が覚めたのは2時過ぎだが、そこで気付いた。今日は祝日じゃないか。野球はデーゲームでは？バンテリンドームだし、と思ってスマホを見ると、やはりそうで、もう始まっていた。が、今度はケーブルテレビのチューナーのリモコンが行方不明。中途半端に片付けたせい。パソコンで経過を見ると、1回表で走者が二人出てる。大野雄大が四球を二つと、珍しいことが起きたようだ。点を取らないと、と思ったが、二者残塁で攻撃終了。でリモコンは5分弱で見付かったので、電源を入れて、チャンネルを J SPOTRS 2 に合わせる。Baystars の先発はこの前の登板では7回無失点と良かった尾形。1回裏は三者凡退に斬って取り、2回裏1アウトをあっさり取ったが、そこから崩れた。石伊にタイムリーヒットを打たれたのはまあいいとして、大野雄大に2点タイムリーヒットを打たれたのはいただけない。今日は解説の権藤さんも Facebook 上でも言われてたが、球審の判定が変だ、と。どうも父親が Dragons でプレーしていたんだったか何かの関係者だったのか詳しいことは忘れたが、Dragons 寄りの判定をすることが多いと言われている人のようだ。本来なら大野は三振で終わっているのでは？と Baystars 応援ページは随分荒れていた。3回裏の押し出し四球も判定に随分文句が書き込まれていた。ということで尾形は2回1/3を4失点。まあこんなこともあります。5回表に度会がタイムリー2ベースヒット、6回表に宮下がソロホームランを打って2点差にしてさあ、というとこで4番手の坂本（今日一軍復帰）が満塁からタイムリーヒットで1点取られて、もう駄目だな、という感じに成ってしまった。権藤さん曰く Baystars の投手陣はコントロールが悪いと。確かにしょっちゅう3ボールに成っていたし、それで押し出しだったり、えいやと放った甘い球を打たれたりとそんな感じだった。権藤さん曰くどっちが3位でどっちが5以下分からない試合運び。まあ今日は仕方ない。明日は東だ。やってくれる。

途中 Giants vs. Tigers をパソコンでちらちら見ていたが、Tigers が猛攻。3回表に近本、森下のソロホームランで2点リード、4回裏に Giants が1点取り返すも、6回表に前川（まえがわ）がタイムリー2ベースヒット、元山が2点タイムリー3ベース、近本の時にワイルドピッチでもう1点。7回表に森下が2本目となるソロホームラン、9回表に佐藤輝明が看板直撃の100万円弾を放ち一方的。これで Tigers が単独首位。Giants が落ちてくると嬉しい。どんどん負けてくれ。

有理点探しは続行しているかと思ったら、実は終わっていた。別の窓で作業をした時に PARI/GP の窓で誤操作した記憶があった。同じ計算を二回繰り返させていた。気付いてよかった。今回は約26時間で終了。Canonical height は160ちょっとだが、こんなに掛かるか。早速次のを始めたが、今度は canonical height は240くらい。どれくらい掛かるでしょうか？

台風は夜8時過ぎに茨城に上陸したそうだ。今日は関東は荒れるということで、神宮での6時からの試合は昼2時の段階で中止が決定していた。明日はどうなのだろう？Giants vs. Tigers は東京ドームだが、あそこはエアドームで、屋根が柔らかく、吊るしてあるスピーカーが落下する恐れがあるという理由で中止に成ったことがあった。明日の天気次第では天王山は中止かも。まあ楽しみは最後まで残った方が面白いか。いや、それより明日は近畿は結構荒れるようなことを言ってた。ゴミ袋を買いに行くが、ついでに食料も確保しておこう。荒れた天気の中では Uber Eats の配達パートナーは出歩かないだろうし。ふなごやの店長が言ってたが、台風の日に店をやったことがあったそうだが、客は全然来ず、Uber Eats 経由での注文はあったが、配達パートナーが全然来なかったそうだ。暑い中来てもらったことはあるが、まあ暑いのはどうにかなるとしても雨風はどうしようもないだろう。明日は外出もせず住処で大人しくしているとしよう。

横浜 vs. 沖縄の王者対決は横浜が制した

何かだらだらと起きていてしまうな。相当変な時間まで起きていた。やってることは極めて生産性の無いこと。まあ無駄なことをしないと人生面白くないので。が一ついいことが。6時9分に有理点が見付かっていた。5日の19時47分に始めてるから、ざっと4日半。見付かった点の canonical height は280くらい。Height のでかい奴は後回しにした方がいいな、ということで、一つ予想される height が180くらいのがあるので、それを仕掛けておく。開始時間が6時37分と、Q(√37) の基本単数を 6＋√37 が連想されて楽しい。これのトレースが偶数だったお陰で論文が書けた。寺井さん様様だ。そう言えば11月に沖縄で開かれる寺井さん主催の研究集会の案内が来ていたが、どうしようかな。11月21日、22日、23日の3日間だが、23日は月曜日で、どうせ祝日を潰して講義せよとのお達しがあるだろうし、20日金曜日は講義があることが確定していて、終了後飛ぶのは慌ただしい。ましてその時間にゼミをやることに成ってしまうとな。参加登録の締め切りは秋学期が始まってからで、それまでにゼミの予定が固まるから、それを考慮して考えよう。毎年九州の集会は8月だったが、8月の沖縄は暑くて台風が襲来するということがあるから11月にされたようだが。うちの大学のスケジュールだと動きづらい時期だ。あ、特別入試の日程はどうなっていたかな。22日にやると沖縄に行けば逃げられるが。確認しておこう。

台風と言えば、茨城に上陸するようなことを言ってる。史上初らしい。変な進路なのは温暖化の影響なのだろうか？大きな被害が出ないといいが。台風の影響は近畿にもあって、今晩は熱帯夜に成らないらしい。明日は猛暑日に成らず、明後日は何と真夏日にも成らないらしい。さっきちょっと表に出たけど、結構涼しかった。たまにはこんな日もないと。去年だったか大宰府で2ヶ月くらい猛暑日が続いていたが、今年はどうなのだろう？世界的に暑いらしいからね。韓国が40度超えた日があったそうだが、11年前韓国行った時は、暑くなくていい所だ、と思ったが。関空に着いて表に出たらうんざりした。まあ韓国は冬はとっても寒い所のようで、秀吉の朝鮮出兵の時も冬に兵士が苦労したという話がある。夏暑くて冬程々なのと夏涼しくて冬激寒なのとどっちがいいのだろう？夏に成ると涼しい所がいいと思うし、冬に成ると温暖な所がいいと思うし、身勝手だな。

今日の高校野球は横浜 vs. 沖縄尚学という、センバツの王者と去年の夏の王者が1回戦の試合。籤とは不思議なものだな。こういう実質上の決勝戦みたいなのが1回戦とは。結果は横浜が7－2で勝利。京都代表の立命館宇治も滋賀代表の八幡商業も負けたから、もう横浜一択で応援だな。

さっき調べたら、うちは今日から一斉休暇期間に入っているようだ。1週間くらい学内は閑散としているだろう。生協の無人店舗は閉まってるのだろうか？だとするとうっかり行ってしまったら大変だな。院生はどうしてるのだろう？自宅の冷房代を節約するなら食料持参で大学に行くのがいいのかな。小生は多分最終週の保健センター行と院試面接以外は行かない予定。気が向いたらうな松には行くかもしれないが。のんびりしますわ。

二日続けて筒香、エンカーナシオンが活躍して、Swallows とのゲーム差が2に開いた

ふなごやの前に車が停まっているということは、バイトの人が仕事帰りに直で駆け付けたということで、人が一杯か？と思ったら、ほぼ全て帰られたそうで、二人おられただけだった。ということでバイトの人は呑む前に一旦車を戻しにいかれて、店長は洗い物やら何やらと忙しそうだった。で暫くしていつもの3人モードに成ったので、美味しいワインを呑んできた。瓶に数字の1が大きく書いてあって、下に「UNO」と書いてあった。UNOは1という意味だったな。で Facebook に上げたら、UNO と聞くと Dragons にいた宇野（ショートフライをヘディングした珍プレーで有名）と、宇野元総理を思い出すと卒業生が書き込んでた。宇野元総理は滋賀の出身だったな。近江八幡だったか？で例によって途中から記憶が無い。起きて冷蔵庫を見ると、生茶のペットボトルが冷えてたが、50円引きのクーポン券で買ったのだろうか？と思ってレシートを見ると、使ってなかった。生茶を買おうということは何となく覚えていたのだろうが、クーポンを使うことが完全に抜けていたようだ。まあいいです。

で帰ってきてすぐダウンしたようだ。テレビが付けっ放しだったようで、あまりよく寝られなかった。昼くらいに起きて、で Uber Eats のアプリを開いたら、餃子の王将京都東インター店が一覧にあった。普段は無いんだが。山科駅前の王将にはキムチ焼き飯が無いが東インター店にはある。ということでキムチ焼き飯とニンニク激増し餃子を頼んで食べた。でやはり眠いので、寝床でウダウダと。またしてもテレビを消し忘れた。高校野球の音声が聞こえてきた。八王子実践高校がいい試合をしていたが、放送が終わった。ということはそろそろプロ野球の時間だな、と起きた。

今日も Carp と横浜スタジアムで。昨日ふなごやでハラハラしながら様子を見ていたが、12回表を0に抑えた時点で引き分け以上が確定で、Baystars の3位浮上確定。よしよし、などと思って見ていたら、何と12回裏に筒香がサヨナラホームランを打った。素晴らしい。で今日も接戦。ルーキー片山が2回裏に1アウト満塁のピンチを作るも、打順がよく8番、9番を連続三振に斬って取り無失点。打つ方が鈴木健矢に3回までノーヒットに抑えられる。四球一つと内野のエラーの走者だけ。が、4回表に筒香がソロホームランを打ち先制。出場した試合は4試合連続ホームランらしい。筒香が乗ってくると上げ潮ムードに成る。片山は6回無失点。6回裏にチャンスを作るも、エンカーナシオンが打ち取られて無得点。7回裏のチャンスも宮下が打ち取られ無得点。もう1－0で勝っちゃいましょ、という感じだが、8回表にピンチ。1アウト1、2塁。がここでビッグプレーが。2塁走者の辰見（珍しい苗字）が3盗を試みたのを松尾汐恩がストライク送球で刺した。で無失点。すると8回裏にチャンスが。1アウトから度会四球、牧2ベースヒットで2、3塁。牧は昨日のサヨナラのチャンスで力みかえって決勝打を打ってなかったが、こういう場面では力が抜けているのか好結果が多い。さあ筒香だ、とこっちが力みかえっていたが、内野ゴロ。3塁走者の度会が粘って3塁に戻って、2塁走者だった牧がアウト。度会が粘ったお陰で筒香が2塁に行けた。それが効いて、エンカーナシオンが2点タイムリーヒット。さっきはチャンスを活かせなかったが、まあ野球は3割打てば上等な競技なので、エンカーナシオンは流石というところを見せた。9回は3連投のレイノルズが三者三振の快投を見せて、Carp を3タテ。Swallows とのゲーム差が2に広がった。よしよし。ヒーローインタビューは筒香、エンカーナシオン、片山。気分のいい勝ち方だった。

Swallows とのゲーム差が2に広がった、と書いたが、これは Giants が勝ったということ。Tigers はどうなってる？と思っていると、放送中に他球場の経過が入ってきた。1－0でリードしている、とのこと。おぉ、と思って Yahoo！の速報の頁を見ると、試合は終わっていた。そのまま1－0で勝利。ヒットの数を見ると、Dragons は10、Tigers は2。何度も書いてるが、ヒットの数を競うスポーツではない。1回に森下が2ベースヒット打った後ずっとノーヒットだったようだが、もう1本のヒットは6回の近本のソロホームラン。これが決勝点だったというわけ。今日は甲子園が使えないので京セラドームでの試合で、ユニフォームには OSAKA と書いてあった。Giants に単独首位に成られなくてよかった。

NHK では11時から海外ドラマがやっているが、今日は終戦を主題にしたドラマをやってる。池松壮亮と仲野太賀（当時の芸名は太賀）が出ててビックリした。16年前のドラマだけあって、二人とも若い。背の高さが大体同じで、秀吉、秀長の兄弟をやるにはぴったりだが、この頃から共演したドラマがあったんだな。このドラマではクラスメートのようだ。戦争とは残酷なもの。もう起きないで欲しいが、アメリカとロシアのトップがあんな調子だから、まあまだあるだろうな。日本が平和だといいが。2人が今やってる大河ドラマも狭い日本で延々戦争をしている。英雄だ三英傑だと言ってるが、何のことはない人殺しだ。面白がって見てるが、あの時代に生まれたら大変だったろうと思う。平和が続きますように。

Swallows が負けたので3位浮上のチャンスだが、7回表終了時点で1点リードされてる

また変な時間まで起きていた。で変な時間に起きた。食料の買い置きが無いので、Uber Eats に適当に頼む。で野球が始まる前に買い物をしてついでにマツヤスーパーの京都銀行の ATM でお金を卸して、のつもりだったが、何か眠い。変な時間に寝起きすると睡眠が十分にとれないという説があるが、そういうことだろうか？

幸い野球の始まる前には起きられた。寝癖ボーボーなのでシャワーを浴びて、で野球が始まってしまったので、1回裏まで見たらお金を卸しに行こうということで向かう。京都銀行には一時結構な額が入っていて、その時に上得意様ということで時間外手数料が無料に成ってる。嬉しい。今は5桁程度の額しか入ってないが。で DCM で買い物をして、ジハンピアプリの使える自販機でいつもの通り伊右衛門を買って帰宅。

帰ってきてテレビを付けると、0－0 のまま。で4回裏に佐野のタイムリーヒット、5回裏に度会のタイムリーヒットで2－0 に。が、その後牧野2塁打で1死2、3塁も、筒香のセカンドゴロで度会が本塁に突っ込んで憤死などで追加点が取れず。そういうことをやってると点を取られる。篠木が2者連続四球で走者を溜めてしまい、松本凌人と交代。嫌な情報。先週の土曜日の Giants 戦で6回にまとめて7点取られて、松本がリリーフで出たが、大量点を取られた、という話。今日も篠木が6回途中で交代で、松本に代わったが、松本は犠牲フライと押し出し四球。追い付かれた。慌てて伊勢に交代。で伊勢は流石。粘る菊池を見逃し三振に斬ってとった。ただいま6回裏が終了したところ。今日も最後まで見られそうにない。Swallows が負けたので、Baystars が勝てば3位浮上。引き分けでもいいのか。いや、勝とう。Swallows が負けたというのは Giants が勝ったということで、Tigers がどうなっているか気に成るが、見ると7回表で1－7と6点リードされてる。また Tigers と Giants が並んじゃうな。まあいいです。今日は Baystars が3位に上がるために Giants が勝ってくれたというこで、明日は Swallows に Giants を破ってもらい、Tigers は再度の単独首位浮上ということで。ということで明日は Baystars は勝たないと。頑張れ。

一昨日の19時47分に始めた有理点探しは継続中。二日以上経ってる。この前のやつより予想される canonical height は小さいのだが、単純に height だけでは計算量は決まらないのだろう。導手も関係してるだろうし、途中でやってる計算に素因数分解とか類数の計算とかやってたら、それは時間を食うだろう。どういうアルゴリズムなのか一回しっかり勉強した方がいいな。まあキリが付いたらやります。

などと書いてる最中に坂倉にホームランを打たれた。中川虎大は春先良かったが、途中大分打たれ出して一旦抹消されたが、まだ本調子ではないか？まあまだ7回。ここは抑えて、残り3イニングの攻撃に期待しよう。と書いてる最中に7回表が終了した。どうなるでしょう？

などと書いてしばし。8回裏にエンカーナシオンのソロホームランで追い付いた。勝つぞ！見たいが呑みに行く。閉店ギリギリに行くのは申し訳ないので。料理を待ちながらスマホで観戦じゃ。

熊本代表の有明高校が立命館宇治高校に勝って、複雑な心境

また変な時間まで起きていた。呑まなかったけど。呑まない人には何故呑んでる最中に眠くならないか不思議、と言われるが、呑む人には何故呑まないで起きていられる不思議、と言われる。皆さんはどうでしょうか？

で正午を大分過ぎた頃に起きた。腹ごしらえをして、1か月以上前にやった「ダブルエッジ」という、織田裕二が車椅子の刑事を演じたドラマを見た。この前途中まで見たような記憶が微かにあって、で再生し始める途中から始まったから、見たのだろう。確かに最初の方はおぼろげながらに覚えてる。が、結局殆ど覚えてないので、もう一度最初から。結構面白かった。そうは見えないだろうが、小生と織田裕二は同い年。若い頃によくネタに使わせてもらった。「こう見えても僕は織田裕二と同い年だよ。伊集院光と松村邦洋も。な、ビックリだろう？織田裕二と伊集院光が同い年だよ」と推移律漫談。ついでに同い年の芸能人を挙げると、江口洋介、沢村一樹、佐々木蔵之介、天海祐希、飯島直子など。

でまだちょっと眠いな、とウダウダと寝床で過ごしてたら6時を過ぎてた。起きてテレビを付けて観戦開始。1－0に成ってる。1回裏に筒香がホームランを打ったらしい。が、その後2回から5回まで三者凡退に斬って取られる。平良は走者は出すが、4回表に1点取られただけと、投手戦の様相。で6回裏に宮下がヒットで出塁と、久々に塁上に選手を出して、平良が送って、度会がタイムリーツーベースヒット。7回裏はエンカーナシオン、宮崎の連打で無死2、3塁のチャンスを作るも2死に成り、 宮下が四球を選んで満塁も、代打佐野が凡退で無得点。追加点が欲しかったが、8回はルイーズ、9回はレイノルズと、一人ずつ走者を出したが無得点に抑えて、無事2－1で勝利。5安打で2点と7安打で1点でも勝ちは勝ち。得点の多さを競う競技で、ヒットの数は勝敗の行方には関係無いので。Swallows が勝ってしまったので、3位浮上はお預け。Carp は落ち目だ。明日も明後日も勝ちましょう。

今日の高校野球で一番注目を浴びたのが、熊本代表の有明高校の試合。被災地に勇気を、ということだが、相手は立命館宇治。どっちを応援しましょう？立命館宇治は打撃が売りらしく、3点リードするも、有明は7回に2点、そして9回二死から逆転。「報道ステーション」で一般ニュースのコーナーで取り上げられていたが、見てて有明が逆転したと聞いた時、おっ！と声を出してしまった。別に立命館宇治が負けてもいいぞ、と思ってしまった。で有明が勝ったと分かった瞬間、何か嬉しくなった。非国民の学校法人版だな。何というのだろう？昨日 Baystars は Tigers に負けたが、勝ち投手の大竹が熊本出身だと分かった時、何か嬉しくなったが、まあそういうことを感じる人は多いだろう。昨日も書いたが、昨日は原爆の日ということで Carp は勝たないといけなかったが。

野球が終わったらまた眠くなってきた。ちょっと寝たが、いかん「探偵！ナイトスクープ」が始まってると飛び起きたが、「熱闘甲子園」の放送が30分あるので、大丈夫だった。今一つ目のネタが流れてるが、流石は「探偵！ナイトスクープ」、面白いな。家を勝手に改造されて、お父さんは怒り狂うのでは？と思ったが、そうでもなかった。お父さんは大の「探偵！ナイトスクープ」好きで、過去に20回以上依頼を投稿しているそうだから、まあ許せたのかな。今日の特命局長はウエンツ瑛士だが、曰く今は関東ではテレビ神奈川（TVK）で土曜の正午に放送しているそうだ。小生がこっちに来る前は曲がりなりにもテレビ朝日で放送してたがな。その代わり時間がしょっちゅう変わっていて、一番酷い時は金曜の深夜3時27分からの放送だった。寛平ちゃんの視聴率調査を関東でしてた時はまさにその時間で、深夜の来客が不審極まりなかったろう。今はインターホンに顔が映るから、「あ、寛平ちゃんや！」となるが、当時は顔が映らないタイプが殆どだったから、インターホンが鳴って「あへです」と寛平ちゃんが言っても信用出来なかったと思うが。何にしても面白い番組なので、続いて欲しいものです。そろそろ局長を固定した方がいいとは思うが、人選に苦労しているのかもしれないな。特命局長制度はまあ面白いので、いいか。

1回表に7点取られたら、その後3失点に抑えても勝てないよな

昨晩はまた呑んだが、寝る前に余計なことが出来して、時間を使ってしまった。何かというと、TeX ファイルの一部が壊れていた。早稲田にいる頃に Emacs を使うのに慣れて、でマウスを使わないでもコピペとかカットアンドペーストとか検索とかファイルの保存、読み込みが出来るので、慣れると下手なエディターを使うより楽。で似たようなキーバインドの xyzzy というのを使っているが、キーボードでカットアンドペーストが出来るというのは実は怖い。誤操作をするとファイルの一部をゴッソリ消してしまう可能性がある。で今回もそうだったようで、プリアンブルの部分から数百行まとめてカットしてしまったようだ。が、幸いバックアップファイルが幾つも残っている（放っておくと拡張子以下に番号の付いたのがどんどん溜まっていく）ので、それからコピペして復旧させたが、何かエラーが出る。} が一個足りない、というメッセージだが、そうか？という感じ。でウダウダと暫くやって分からず、仕方ないから地道に \end{document} をどんどん上に上げていって（キーボードだけで出来るので楽）、どこでエラーが出るかをやってみた。すると、確かに } が一個無かった。{\allowdisplaybreaks の対の }% の } が無くて、%だけ打ってた。こんなことを見付けるために相当時間を使った。もう昼どころか1時を大きく回っていた。途中食事休憩はしたが、疲れ果てた。

で寝床へ向かう。何か変な夢を見た。何故夢ってえのはあんな変なストーリーに成るかな。よく知ってる人物も出てくるが、有名な俳優が知り合いだったり、架空の人物が出てきたり、筋は本当に訳が分からない。悪夢だな。睡眠をコントロール出来たらノーベル賞だな、と書いた気がするが、夢のことを解明出来たらやはりノーベル賞だろう。

で起きたらもう野球が始まっている時間だった。「3回を終わって8－2と Tigers が6点リードです」というとんでもない音声が聞こえてきた。この前はよかったビドだが、今日は1回表に打者11人攻撃で7点取られたとか。ロクでもない。2回で降板したが、5四球1死球はいただけない。昨日満塁ホームランでガルシアを調子に乗せてしまったか、今日は3ランホームランを打たれたらしい。救いは2番手で3回から登板した若松尚輝が4回2/3を1失点と好投したこと。ビドは2軍落ちで、次回は若松を先発させよう。1回を除けば5－3と勝っているので、1回が全てだったな。面白かったのは、エンカーナシオンが外野フライで凡退してパワーが足りないと思ったか、ベンチで腕立て伏せ（今時はパンプアップというらしい）をしたら次の打席で特大のホームランを打ったこと。レイノルズとエンカーナシオンがベンチの盛り上げ役に成っているようで、チームは暗くない。明日から Carp と3連戦。最下位に転落した Carp だ。叩いてやろう。Swallows がまた負けたので、ゲーム差無しのままだったのは救いだ。Swallows の失速は凄くて、自力優勝が無くなったらしい。酷過ぎるな。

今日は8月6日。ハムの日らしい（理由は自明）だが、もっと重要な日。広島に原爆が落とされたのが8月6日。で今日の Carp はマツダスタジアムで「ピースナイター」と称して、全員が86番のユニフォーム、選手名の所は「Hiroshima」と書かれたものを着ていたが、7回以降に7失点と投壊で、Giants に逆転されてしまったようだ。まあ今日は Baystars が Tigers に負けてあげた（負け惜しみ）ので、Tigers と Giants のゲーム差が1のままでよかった。明日からは Giants は Swallows 相手だが、悩ましい。Swallows が負ければ Baystars の3位浮上に繋がるが、Giants には勝って欲しくない。まあいいです。Baystars は自力で3連勝すればいいのだ。Tigers は自力で Dragons に勝ってもらいましょう。迷わず Baystars を応援すればいいのです。無心でいきましょう。

有理点探しだが、昼の3時半くらいに結果が出ていた。大体36時間。まあこれくらいなら。で次のを早速仕掛けたが、今度のは canonical height が280ちょっとと、前のやつ（325くらい）より小さいので、まあ1日半くらいで見付かるかな。200ちょっとと160ちょっとのやつがあるので、次はそっちだ。800だの900だのというとんでもないやつは後回しにしよう。それが済んだらもっとどうにか出来ないか考える。取り敢えずコンピューター君には頑張ってもらいましょう。しかし電気代の明細を見るのが怖いな。先月の半ばに試験監督をやったのともう1回月末に職場に行ったのと週末に呑みに行く以外はほぼ冷房を運転しっ放しだし、コンピューターも動かしたまま。幾らに成るでしょう？まあ5桁は確定だな。職場のコンピューターも援用しようか？いや、結果が出てるかどうか分からないのに職場に行くのは嫌だな。秋学期が始まった時に有理点探しが終わってなかったらそうしよう。取り敢えず住処のパソコンを走らせ続けよう。帰省はしなくてもいいや。帰っても親父殿の見舞いに行くくらいしか用事は無いし、食事をしに外出するのは面倒だ。住処で Uber Eats に頼って夏休みを過ごそう。まあ Uber Eats も金食い虫に成るが仕方ない。毎日インスタントものでは栄養的によろしくないし、暑い中食事に出るのは気が進まない。それくらいはいいことにしましょう。

高橋遥人を打ち崩し、ついに Swallows とゲーム差無し（Hawks にマジックナンバー点灯）

またしても訳の分からない時間まで起きてた。生産性が低過ぎる。が、一ついいことが。有理点が見付かっていた。30時間ちょっと掛かった。で新しいの仕掛けてすぐ寝る、でよかったんだが、さすがの「おはよう朝日です」でも度会の好返球は流してくれよう、ということで、スポーツニュースを見たりとか。でもう明るかった。

で2時前には目が覚めた。カップ麺をすすってからまた生産性の無いことをしていた。YouTube を見たりとかその程度のこと。であっと言う間に5時を回っていた。食料の買い置きが無いので、Uber Eats に何か頼もうということで、しばし思案して、から好しの唐揚げ6個弁当にした。5時くらいだとガストも道路も そんなに混んでないだろうから、割と早く届いた。まだ唐揚げは十分温かった。

で食べてる内に5時45分に成り、野球開始。Baystars の先発が東、Tigers が高橋と、ロースコアのゲームに成るか、と予想されたが、2回表に2点先制されてしまう。む、という感じだが、2回裏にエンカーナシオンがヒットを打ち、続く筒香が同点ホームラン。1アウト後関根が打った1塁のゴロを大山がカバーに入った高橋にトスするが、これを捕球出来ず儲けもののランナーが出て、宮下が勝ち越しの2ランホームラン。高橋が4失点するのは今シーズン3試合目らしい。3回裏は牧のショートゴロを元山が取り損ねてまたしても儲けもので2塁に進ませてもらい、佐野のセカンドゴロで3塁へ進塁、エンカーナシオンのショートゴロで1点追加と、らしくない点の取り方。４回裏も高橋を攻め、松尾、関根の連続2ベースヒットで6点目。結局高橋は4回6失点（自責点は4）と、らしくない投球だった。6回表に大山にソロホームランを打たれたが、すぐ6回裏に打者10人攻撃で5点追加。もう決まりっしょ、と思ったが甘くない。8回表に出てきたマルセリーノが乱調。内野安打を打たれた後、暴投、四球、四球、死球でノーアウト満塁。で独立リーグからシーズン途中に Tigers に入団したガルシアが打席に。まだヒットを打ってないと言ってるから大丈夫か、と思ったら、何と満塁ホームランを打たれてしまう。Baystars は初安打とか初ホームランとか初勝利だとかそういうのに貢献してしまうことが多い。代わった松本凌人が9球で3人を打ち取り、もう大丈夫だろう。9回表は4点差ということでレイノルズでなく伊勢。ちゃんと三者凡退に斬って取り、4連勝。今日は1点差ではなかった。Swallows はまた負けたようで、ついにゲーム差無し。明日にも A クラスだ。交流戦が終わった時は絶望的だったが、Swallows の失速が予想以上に激しい。下手をすると Carp にも Dragons にも抜かれるぞ。Giants は勝ったので、Tigers と Giants は1ゲーム差。明日は負けろよ Giants。

セ・リーグに目を向けてたら、パ・リーグはとんでもないことに成ってた。今日 Hawks が勝つか引き分けるかでマジックナンバー点灯とか。Fighters は今日も Hawks に負けて、対戦成績は2勝14敗。とんでもない。2位の Lions が Hawks 相手に9勝8敗と勝ち越してるだけに、Fighters の責任は大きい。粘れよ Fighters。マジックナンバーは37とまだ大きいだけに、Fighters と Lions は粘らないと。頑張っておくれ。

あ、Hawks が走ってるのはセ・リーグのせいでもあるな。Swallows 以外のチームは全部 Hawks に負け越してる。セとパの力の差はDH制のためという意見があるが、どうなんだろうか？セ・リーグも来年からDH制が採用される。どう変わるでしょうか？見ものだな。

尾形が7回無失点（度会の本塁への好返球で救われた）で1－0勝利。Swallows とは1ゲーム差

昨晩もまた呑んでしまったが、記憶の飛ぶのが早くなったと実感している。NHK でマラドーナの特集をした番組が少し前にやってたのを録画してあって、それを見たのは覚えている。弟のウーゴ・マラドーナが出ていたのは覚えている。サガン鳥栖にいたと思ったが、コンサドーレ札幌にいたのは知らなかった、とここまでは記憶が鮮明。がそこから記憶が無い。「おはよう朝日です」を見た記憶が無いのは、その前にダウンしたということだろうか。氷結レモンを買ったが、一本間違えてストロング（アルコール度数9%）にしたのがよくなかったかもな。前はアルコール度数40度以上の酒（ウィスキーとかジンとか）をストレートでくいくいいけてたが。歳かな。

で昼を少し過ぎたくらいに起きられた。カップ麺で昼食、とも思ったが、やはり栄養は摂らないとまずかろうということで、Uber Eats にすき家のいつもの奴（トリプルニンニク牛丼）を頼んで食べた。でその後だらだらと YouTube を見たりとか無意味なことをしていた。まあ休みやし。

今日の野球はいつもより15分早く5時45分開始。今日からの3連戦は毎年恒例「YOKOHAMA STAR☆NIGHT」というので、特別なユニフォームを着て、試合終了後はイベントがあるので早目に開始ということ。STAR☆NIGHT は割と成績がいいようなので、期待。が、Tigers が相手で、Tigers の先発は村上。苦戦が予想される。案の定中々打てなかったが、4回に宮崎のタイムリーヒットで先制。その後全然ヒットが出ない。4回以降は度会の1安打だけ。ピンチは何度もあった。7回に1アウト1、2塁の場面で元山にヒットを打たれたが、レフトを守る度会が好返球で大山が生還出来ずに助かった。尾形は7回無失点と、まあ上出来。8回は代わったルイーズが近本に3ボールとノーストライクとしてしまい、何とか2ストライクにしたが、真ん中に投げないわけにいかずヒットを打たれ、ノーアウトの走者。その後中野が送りバント、森下セカンドゴロで3塁まで走者が進むも佐藤をセンターフライに打ち取り無失点。9回はレイノルズ。2人打ち取った所で大魔神佐々木主浩が「もう大丈夫でしょう」と言ったが、坂本、元山が連続ヒットで2アウト1、3塁。で日本に来てまだヒットの無いガルシアがピッチャー返しの打球を打ち、すわ抜けたかと思ったらそこに京田がいて、大丈夫か、と思ったらイレギュラー。が、京田がしっかり捕球し、一塁へ送球。アウトの判定だが、藤川監督がリクエスト。映像を見たら、余裕でアウトだった。ということで1－0の勝利で、3試合連続1点差の3連勝と、際どかった。まあいいです。勝ちは勝ち。4安打1得点でも8安打無得点には勝つのです。よかった。

途中経過を見ると Giants が3点リードしてて、Swallows も1点リードしていたが、9時からの NHK のニュースで Swallows はサヨナラ負け、Giants も追い付かれて同点に成ってるという情報。で「報道ステーション」のスポーツニュースを見ると、何と Giants もサヨナラ負け。ライデル・マルティネスがサヨナラホームランを打たれたらしい。素晴らしい。今日はBクラスの3チームが勝利した。ということで Swallows と Baystars は1ゲーム差。明日の結果次第ではゲーム差無し。今計算したら、勝率の関係で Swallows が3位のままのようだが。いいです。勝ちましょう。Tigers 相手に3連勝しても最悪 Tigers と Giants が首位タイに成るだけなので、思い切って3タテしちゃいましょう。

今日の大ニュースは Marines の益田直也が250セーブ。平成生まれの投手では初の名球会入り（打者では浅村が平成生まれの名球会入りを果たしている）。去年は僅か5セーブ。今年もここまでいい場面では起用してもらっておらず、去年と今年で7セーブ。随分前から記念のボードは作っていて、いつ達成してもいいようにと、日本全国ボードが行脚していたらしい。千葉で出来てよかったね。先発を1試合もしないでの名球会入りは初らしい。岩瀬（元 Dragons）は1試合先発があるようだ。まあよかった。次は康晃の番、と言いたいが、今シーズン途中からの不安定な内容（防御率6.10）では先行きは明るくないな。250セーブまで残り4セーブなのだが。まあ益田より3歳若い33歳だし、可能性はある。頑張れ。

YouTube で見ていた動画に京阪電車の大谷駅の周辺を散策しているものがあった。蝉丸神社行ったことないから行こう、と思ったが、暑いからもう少し陽気が落ち着いてからにしよう。当然のごとく「日本一の鰻 かねよ」を訪れていた。鯉の刺身は食べたことがない。行ってみよう。レストランと離れの二つあるのも知らなかった。離れで食べようか？料金が10％高くなるそうだが。車で行ってもいいが、時間を選ばないと駐車場が満杯で、少し離れた所にある契約駐車場に停めないといけないそうだ。暑くて歩きたくないのにそれではちょっと。京阪電車の時間をちゃんと調べて電車で行こう。1時間に3本しか無いから、ちゃんと調べておかないと屋外の暑い駅で延々20分以上待つことになる（綺麗に20分間隔で走ってるわけではない）のでね。前は1時間に4本あって京阪山科駅を0分、15分、30分、45分発と分かり易かったが。コロナで減便されて戻ってない。動画で1時間に4本あると言ってたが、情報が古いのでは？京津線を「きょうしんせん」と読んだのもいただけない（「けいしんせん」が正解）。よく出来た動画だっただけに勿体ない。細部まで調べてアップしましょう。尤もその後見てた AI に読み上げさせたショート動画は最悪で、「1968年」（この年ではなかったが、例として小生の生まれ年を使った）を「1968とし」とか「1月8日」を「１つき８にち」とか「58歳」を「58とし」とか酷過ぎた。ああいう下らんのを上げてるのは日本人じゃないという節があるが、本当にそんな感じだ。まあそういう下らんものを見てる小生がもっと下らん奴だが。それに小生もこのブログに誤字脱字を結構してるから、でかいことは言えない。後日見返した時に気付いたら直してるので、減ってるとは思うが、まだある。あとでこれも見直すよ。恥ずかしいからね。こんなもの書いてる方がよっぽど恥ずかしい？仰る通り。そう言われたぐうの音も出ないわ。

熊本で40度超と、何とも気の毒な暑さに

結局2時どころか相当な時間まで起きていた。寝床で YouTube を見るという、極めて生産性の低いことをずっと。数学動画でも見ればまたよかったが、野球とか電車とかそんなのばっかり。何してんだかな。

で一旦昼前に目が覚めたが、眠くて仕方ないのでもう一度寝床へ。夕刻を過ぎても起きられなかった。で起き上がってカップ麺を食べてとかウダウダとして、8時過ぎにパソコンを見たら有理点が求まっていた。33時間くらい掛かったが、短い方。Canonical height は250弱。で早速次のを仕掛けたが、今度のは予想される canonical height は340弱くらい。もうちょっと掛かるかな。その後300強と300弱のものが幾つかるのでそれを潰して、500ちょっとやつをやって、それから800だ900だというのが幾つかあるので、そっちをやる。夏休み中に終わるでしょうか？

今日の熊本は滅茶苦茶暑かったらしく、40度を超えたところがあるようだ。地震で荒れ果てた住まいを片付ける必要があるだろうが、今日はやっている人の姿が殆ど無かったらしい。かたや東京は最高気温28度、最低気温23度と涼しかったらしい。京都はどうだったのだろうか？さっき気象速報が出て、何だと思ったら大阪の一部で大雨警報が出ているらしい。外を見たら山科も雨降りだが、大した降りではなかった。雨が降ると気温が下がるというが、最近は蒸し暑さが増すだけ。熊本で取材している所村武蔵（凄い名前）アナが蒸し暑くなったと言ってた。日本の蒸し暑さは異常らしく、東京の多摩動物公園で虎が死んだらしい。サバンナは右肩上がりにゆっくりと気温が上がるらしいが、今年の日本は梅雨が明けたら急に猛暑日連発、しかも蒸し暑いと来てるから、虎でも耐えられなかったらしい。何故こんな国に生まれてしまったかな。地震、台風、夏の猛烈な暑さ。海外に拠点を移せるほどの金は無し、海外の大学に移籍するほどの研究実績も無しでは何も出来ない。現状を甘んじて受け入れるしかないな。

Giants 相手にカード勝ち越しと目出度い（Tigers と Giants は2ゲーム差、Swallows と Baystars も2ゲーム差）

結局昨日の試合はそのまま8－7で終わった。勝ってよかった。ふなごやで料理を待ちながらハラハラしてスマホを見ていた。その後 Swallows vs. Tigers の様子を確認。雨で2回中断があったようで、10時を過ぎてもまだ7回くらいだった。手の空いた店長もスマホで同じサイトを見ていて、一緒に一喜一憂。最終回に Swllows が岩崎を攻めて満塁にするが、代わったドリスが抑えた。Swallows はもう優勝無いな。Baystars との差が詰まったのは嬉しい限り。でバイトの人が中々来ないと思ったら、バレーボールを見ているらしい。日本がアメリカに勝てば決勝進出だったようだが、店長はどこで情報を仕入れているのか分からなかったが、「あ、負けた」との仰せ。うーん、残念。フルセットに持ち込んで、最終セットは13－15と相当な僅差だった。勿体ない。ですぐバイトの人は来た。でその後は例によって3人で楽しく。が、昨日は何か眠くて、いつもよりも記憶量が少ない。ちゃんと寝たのだが。ほぼ寝てない状態みたいな方が呑んでも眠くならないのは何でなんだろうか？謎だ。睡眠をコントロール出来たらノーベル賞どころではないだろう。逆にコントロールされたら怖いから、そんなものが出来ない方がいいが。

昼近くに起きた。パソコンの電源は昨日呑みに出る前に落として、で酔っぱらってても電源は入れなかったようだ。ということで電源を入れて、次の有理点探し。Canonical height の予想される数値が900を超えてる奴は後回しにして、300ちょっとの奴を先に。300でも結構デカいんで、もう11時間やってるが勿論返事は無い。一回電源を落としたから、また無理をしてもらおう。

などとしている内に野球の時間。デーゲーム。Giants の先発は小笠原。名前は慎之介だが、Giants は「しんのすけ」という名前が好きなのか、前監督の阿部、小笠原、山瀬。阿部と山瀬は慎之助。クレヨンしんちゃんはどういう字だろうか？まあどうでもいい。深沢が1回、2回はいい感じだったが、3回に盗塁を許した後ヒットを打たれて1点先制される。む。しかし昨日は鬼のように点を取りまくった Giants 打線が拙攻を繰り返してくれる。4回裏は先頭打者のダルベックがツーベースで出塁も、ファーストゴロ（走者は3塁へ）、ショートゴロ（走者は動けず）、申告敬遠、見逃し三振と助かった。5回裏は先頭打者の9番小笠原にまさかのスリーベースヒットを打たれるも、セカンドゴロ（走者動けず）、ファールフライ、ファールフライ。で小笠原は疲れたか、6回表に勝又内野安打、牧ツーベース、佐野タイムリーヒットと3連打、その後エンカーナシオンに犠牲フライが出て、Baystars が勝ち越した。解説の清水隆行氏曰く、点を取ってもらえずがっかりして、三塁まで走った疲れがどっと出たのだろうと。6回裏も2アウトから1、2塁にされてしまうが中川虎大が抑えて、7回裏は浜地、8回裏はルイーズ、9回裏はレイノルズ3イニング連続三者凡退に抑えて、無事勝利。今年は Giants に負けまくってたが、カード勝ち越しは目出度い。明後日からは Tigers と横浜スタジアムで。最低でも勝ち越しましょう。

でその Tigers だが、特に見たいものも無いから試合を見ることにした（言葉の綾で実際は画面は殆ど見てないが）。下村がプロ初勝利成るか、というのが見所だったが、1回裏に1失点。3回表に佐藤輝明に2点タイムリーツーベースヒットが出て逆転、4回表に坂本がソロホームランを打ち3－1。下村勝てるか？と思ったが、4回裏に Tigers が拙守。レフトの前川がフライを捕球出来ずに1点返される。1回裏に前川は悪送球している。一軍に戻ってきたばかりなのにいただけないプレーを連発。でタイムリーヒットを打たれて追い付かれてしまう。その後5回から8回までは両チーム無得点。9回表に Swallows は抑えのキハダを同点なのに出してきたが、何と坂本が今日2発目となるソロホームラン。昨日は3ランホームランを打ってるそうだから、二日で三発と神懸っている。Carp の緒方前監督のだと「神ってる」と言うだろうな。解説の江本さん曰く、抑えの投手は同点の場面で出されると失敗することが多いそうだ。しかし最近キハダは打たれ過ぎだ。9回裏は工藤が抑えてプロ初セーブ。これで Tigers と Giants は2ゲーム差、Swallows と Baystars が2ゲーム差。もう Swallows は完全に駄目だな。借金6で、2位 Giants とのゲーム差は7.5。で今順位表を見てビックリした。Baystars と Carp が2ゲーム差、Carp と Dragons が2ゲーム差。上3つで熾烈な争いを繰り広げていたはずが、いつの間にか下4チームが結構混戦。火曜日からは Swallows が Dragons と、Giants が Carp と。うー、どこを応援したらええんや？Swallows に落ちてきてもらうということは Dragons が上がってくるということだし、Tigers と Giants のゲーム差が開くためには Carp が勝って Baystars が負けるということ。まあ Baystars、Carp、Dragons が3つ勝てば下3つは現状のまま、いや、Baystars が Swallows 抜いちゃうな。そうか、それがいい。Swallows を抜いてから Carp をゆっくり料理しよう。Tigers との3連戦の後は Carp と3連戦だ。6つ勝っちゃおう。

眠いな。今日は少し早目に寝るか。早目と言っても2時過ぎだろうが。もう成績付けは済んだし、解答例もさっき完成させて web に上げたから、暫く急ぎでやることは無い。色々やろう、と思って dvi ファイル（今時 dvi ファイルを生成するなんて時代遅れのようだが）を開いて眺めてたが、前から気に成っていたことがあったのを思い出して考えたりコンピューターに計算させて確かめたりしたが、合ってるな。同じものを計算している筈なのに、二通りやると違う見た目に成る。が、最終的に出てくる答は同じ。謎だ。他の奴も考えてみて、同じようなことに成れば合ってると思えるだろう。後でやろう。とやると寝るのが遅くなり、で深夜に成ると元気になってくる。生活リズム障害だな。まあ当分こんな生活を続けるだろうが。休みだしね。それに暑い昼は外出しないから、暑さが収まるまではこのままでしょう。映画を見に行きたいが、山科駅まで歩くのが嫌だから、一回車で二条まで頑張って行ってみようか。

8－0の楽勝ムードから1イニングにまとめて7点取られて俄かに接戦に成ってしまった

生産性の低いというか無いというかそんなことをして結構な時間まで起きていた。その時点で有理点は見付かってなかった。で昼を大きく回ったところで起きたが、有理点が求まっていた。26時間以上掛かったことになる。もう検算はやめよう。時間の無駄だ。ということで腹ごしらえをして、で一旦パソコンをリブート。計算を仕掛けたいところだが、呑みに行く前に電源を落としたいし、明日起きるまではパソコンに休んでもらおうということで、計算は明日仕掛ける。

であっと言う間に野球の時間に成る。昨日書いた通り今日は NHK 総合で中継があるのでそっちを見ることにする。2回に宮下が満塁ホームランを打ち、3回は牧がソロホームランの後もう一度チャンスを作ってもう3点。8－0と楽勝ムード。篠木は何度か出塁を許すが、Giants が3併殺と拙攻で、これは楽勝でしょう、と思ったら、何と6回裏にまとめて7点取られた。変化球を狙い打たれていると解説の番長が言ってたが、松尾は経験不足だからか、こういう時に目先を変えるということがまだ出来ない。余裕が無いのだろうな。こんな試合を落とすわけにはいかない。頑張れよ。引き続き応援する。9時前には終るかと思った試合だが、そうはいかなくなった。試合の途中に呑みに出発する。今度は Baystars が猛攻撃を見せて突き放さないと。頑張れ。

などと書いてしばし。Baystars は4回以降ヒットが無いとか。で8回裏にマルセリーノがコントロールを乱したり自分のエラーもあって1死満塁のピンチを作ったが、何とか抑えた。9回表に点を取って逃げ切りましょう。そろそろ呑みに行かないといけないので、結果はスマホで見る。

ソロホームラン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年あるので、ゆっくりやるす。

日本サッカーも Baystars も追加点を取れないのが響いて敗戦

予定通りサッカー観戦した。地上波では8チャンネルでやるが、この前 NHK を見てたら本田圭佑が目茶目茶盛り上げていたので、NHK でもやるのだろう、と思って番組表を見たら、何と総合ではウィンブルドンテニスをやる。BS は？と思って見たら、やってくれる。本田圭佑の解説が面白いそうなので、8チャンネルではなくそっちを見ることにした。確かに面白い。選手の名前を「さん」付けで呼ぶのが彼の流儀なのだろうか？で前半に先制した時はもう凄かった。日本のコンパクトな守備にブラジルが嫌がっている、との仰せだった。が、後半に成るとブラジルが猛攻。凌ぐのが精一杯で、あっちこっちからボールが日本ゴール前に迫ってくる。すると耐え切れず失点し、延長戦突入かというアディショナルタイムに決勝点を奪われてしまった。むぅ、残念。まあ延長に成っても30分耐え切れなかったろうな。残念だがまだブラジルとの差は大きい、という感じだ。小生素人なのでよく分からんが。疲れた。

大分呑んでたので、何時に寝たかよく分からんが、テレビも電気も冷房も付けっ放しだった。いけないな。今日の京都は32度だか33度まで行ったそうだから、冷房無しだったらすぐ起きてたかもな。教授会には間に合った。会議資料は凄いページ数だが、まあいつものこと。見てる人はどれくらいいるでしょうか？自分の学科の分くらいは目を通した方がいいのだとは思うが。教務委員としては見ておかないといけないのだが。教務委員は2年任期だから来年度もやるので、勉強しておかないと。5時40分くらいには終了した。

今日の野球は新潟で。最近6時15分プレーボールという謎なことをやっていたが、やはり6時開始の方が分かり易くてよい。2回裏に宮下の内野安打で先制後、牧にも2点タイムリーが飛び出し幸先よく先制。牧は長野の生まれで、ご両親が新潟まで車を飛ばして観戦に来ていたそうで、いい所を見せられてよかったですな。しかしその後点が取れず、2点返されて9回。康晃が先頭打者を三球三振で打ち取ったので、あっさり勝てるか、と思ったら、次打者がヒット。その後は康晃の独り相撲で、死球、四球、四球で同点にされてしまう。伊勢に代わったが、2点タイムリーヒットを2本打たれて、ビッグイニングにされてしまった。伊勢は可哀そうだったな。投げる準備はしてたろうが、心の方の準備が出来てなかったかも。9回裏は Carp の守備のミス（記録は3塁打）の後内野ゴロで1点返したが、そんな点の取り方をしても大量点にはならずゲームセット。新潟では暫く勝ってないらしい。サッカーも野球もそうだったが、先制点を取って守りに入るのではなく、追加点を取っておかないといけなかったね。まあ仕方ない。明日は試合が無く、木曜日は横浜スタジアム。8カードだか連続負け越しらしいので、木曜日は何とか勝って変な記録は止めないと。何でも Dragons の自力優勝が消滅したとか。6月やぞ。Baystars も危ないな。借金が膨れ続けてる。明後日は勝たないと。

有理点探しだが、サッカーの開始直後に一つ見付かった。今時のサッカーは試合中に給水タイムがあるようで、その間に記録して、パソコンを再起動してから次の点探しを始めた。まだまだ沢山見付けないといけないので、コンピューターに頑張ってもらってる。只今10時間くらい経過。勿論手を拱いている訳ではなく、待ってる間に色々やってはいるが。でさっき昔書いた論文に一箇所ミスがあることに気付いてしまった。例に挙げたものの符号が逆に成ってる。まあ正しい方にも整数解が無かったので問題無かったが。ミスのない物を書くのは大変だ。本や論文にミスがあるとつい文句を言いたくなるが、まあ寛容にしましょう。読む側にはいい修行の機会が与えられたということです。そう思わないとね。

今「報道ステーション」を見てるが、サッカーは色々荒れてるようだ。ドイツとオランダが予選リーグ初戦敗退らしい。が、一番荒れてるのは韓国。比較的楽な組だと言われてた予選リーグを勝ち上がれず敗退。空港での映像が流れていたが、ホン・ミョンボ監督に怒声、罵声が飛んでた。韓国は何でも激しい。サッカー協会に国が特別監査をすると訳の分からないことを言ってた。韓国は野球もサッカーも弱くなったね。日本では同じようなことには成らないかと思ったが、城がガム嚙んでて目茶目茶言われたし、野球では弱い当時のダイエーホークスの王監督に生卵が投げつけられてたり、「王 頼むからやめてくれ」という横断幕が出たりしてたな。Giants が最下位に成った年はどんな感じだったろうか？まだ子供だったので当時の記憶は無いので、もう一度最下位に成ってください。まあ今年は無理そうだが。

夜の10時過ぎの草津市内は27度もあった

やはり日曜の夜というか月曜の朝というかは変な時間まで起きている。今日も案の定だった。色々下らんことをやってるが、ちょっとその過程で Acta Arith. の頁を見てビックリした。昔は著者名の後に都市というか街というかの名前が書いてあった。小生だと Takaaki KAGAWA (Kusatsu) とか。が、fg 君の論文に (Matsue) と書いてなくてビックリした。調べたら2025年の論文から無くなっていた。何でやめたのだろう？昔は巻数をローマ数字で書いてて、小生2度載せてもらってるが、最初のが LXXXIII 号、2度目のが XCVI 号だった。読めないよね？というわけで100号からはアラビア数字にしてくれて助かった。調べるにも人の論文を引用するにも困るし、かと言って文献表に LXXXIII と書くのも何だし。どっちも単に面倒に成ったのかな？

で目が覚めたらもう1時半を過ぎてた。起きてパソコンを見ると、有理点が見付かっていた。10時間くらい掛かったようだ。もう一つ仕掛けて職場へ向けて出発。フォレストハウスの脇に停める所が一箇所あったので、そこに停めて、生協で弁当を買って食べて。で2時55分からゼミ。今日も有理点の勘定をする話。途中で指標だヤコビ和だと定義し、それを使って色々と。フェルマーの2平方和定理（と言うのか？）が副産物で証明出来たりして楽しい。今日は2回突っ込んだ。χ（TeX で \chi として出てくる奴）を「えっくす」と読んだので、「かい」と読むのだというのと、一箇所毎年気に成る所があって突っ込むと案の定だった。連立方程式を解くのに帰着出来るが、2次正方行列を使えばすぐなのを一生懸命上を何倍かして下から引いて、とやったそうだから、行列を使うとよい、と言っておく。彼らは高校で行列をやってなくて、大学で行列を習って、その後ちょっと線形代数（特に連立方程式の話など）と離れる時期があるだろうから、忘れるのも仕方ない。小生の頃は高校で行列を習っていたというと、彼の母親もそう言ってたそうだ。歳を聞くと54歳だそうだから、まあ行列やってる世代だな。小生より歳の若いのは最早気に成らない。A 堀先生が言ってたが、小生が来たばっかりの頃の学生の娘さんがうちの学科にいるそうだ。その学生は小生より10歳くらい若いので、さっき話題にした母親よりもっと若いことになる。もう定年退職が近付いてるのだ。歳のことは気にしない。月曜日はあと2回だ。平方剰余の章に入れるな。相互法則の証明は秋学期回しだろうが。有限素体上の曲線や曲面の有理点の勘定を使って証明する。最初聞いた時はひどく難しく感じたが、最近ちょっと慣れてきた。ガウス和をガチャガチャやって知らん間に証明出来てるという奴が予備知識が少なくていいので、講義ではそれを採用してるが、まあどれが本質的かはよく分からない。ガウスの証明を全部読んだわけではないし、後の証明（石井秀則先生に依るものもある）も殆ど読んでないので。金曜日のゼミでフロベニウス置換を使って円分体での素数の分解法則をやって、それの系として平方剰余の相互法則を示す、というのを暫くしたらやるようだから、楽しみにしておこう。5時ちょい前に終了。大体これくらいの時間に終わるな。6時15分までは部屋を抑えてあるが、まあ毎週やってくるから大変よね。

その後部屋でちょっと考え事。Mordell 方程式の整数解を求める話は結構長いことやってるが、最近に成って昔よりうまくいく方法が分かった。で幾つか TeX に起こしてとか memo.tex を直したりとかやってて、あっと言う間に6時。

普通は6時だから別にどうということは無いんだが、ここ最近1回生の講義を担当している先生方と意見交換している。評価を統一する、というのはどういうことなのか？という話がメイン。学科を二つのクラスに分けて、で成績の分布がクラスで異ならないようにする、という何だか酷く難しいことをリクエストされているが、そもそも片方のクラス（Aクラスとしよう）は出来がよくてもう片方（Bクラスとしよう）が悪い場合はどうするの？というので横槍が入ってる。A クラスと B クラスで同じ問題を用いて試験をして、で A クラスの方が B クラスより例えば平均点で10点くらい低いとしたら、A クラスのトップは B クラスだとそんなに上じゃない場合、A クラスのトップは A+ でええの？というのが我々の趣旨だが、「評価が偏らないようにしてくれ」と言われる。偏らないよう調整したら B クラスの学生から文句が出るのでは？ということで上層部と我々の話が平行線で、この前の会議の時に電気と物理の先生が謎なことを言っていて、いよいよ訳が分からなくなってきている。今年は小生でない方の K 先生が取り仕切ってくれてるが、来年度は正真正銘 K 川先生こと小生がやらないといけないので、ちゃんと論点を理解しておかないと。水曜日に OIC にある学部のお偉いさんとオンラインで会議するが、まあ収拾付かなくなるだろうな。覚悟しておかないと。忘れちゃいけないのがその後の講義。うっかり帰ったり教室行くのを忘れないようにしないと。まあここに書いてるのは忘れないよう自分に念押しする意味もあるのだが。7時20分過ぎに終了。

その後さっきの続き。前に一生懸命奇数だ偶数だと場合分けしたのがしなくて済むようになった。で Acta Arith. の LXXXIII 号に載った論文に書いてあるのを考えてみようか、と思って棚から別刷を探すが見付からない。まあ pdf ファイルがあるからそっちを開けばいいのだが。が、何やらまたしても大昔の紙が沢山出てきて、ばらしたりとかしてたら随分遅くなってしまった。キリが無いので水曜日に続きを。水曜日は会議が無いといいが。

あ、因みに LXXXIII は 83、XCVI は96です。

ガストでから好しの唐揚げを食べて帰宅。暑いな、と思って車の温度計を見ると、夜10時過ぎてるのに27度もある。住処に帰り着いた頃には24度に成ってたので、熱帯夜ではないだろうが、そろそろ覚悟しないといけないシーズンに成ってきた。東京が滅茶苦茶暑い年があったが、その日の東京は日の昇るちょっと前に29.8度だかまで下がって、最低気温30度は免れたが、最低気温30度の日にも何か名称を付ける日が来るかもな。思い返せばその日の東京の暑さくらいなのには今はしょっちゅう成るな。

今晩サッカーを見る人多いだろうな。さっきの打ち合わせの時も「サッカー見ますか？」という質問が出ていた。明日仕事のある人は大変だな。小生は火曜日は幸い用事が無いので、今晩は夜更かし出来る。4時50分からの会議に間に合うよう起きればいいので、呑みながら見られる。「くりぃむナンタラ」を見終えたらチャンネルを変えれば前半の最初から見られる。まあ期待はしないで見ましょ。

勝率が4割を切ってしまった…

昨日の晩も楽しかった。何でも3人くらいが適正人数だな。サッカーのブラジル戦の日程を皆うろ覚えだったが、今時は便利ですぐ調べられる。店長はサッカー部出身だから、ワールドカップに熱中しているらしい。で火曜深夜2時、と分かったが、この「火曜深夜」が30日（火）深夜2時なのか、30日深夜26時（つまり7月1日（水）深夜2時）なのかでしばし混乱していた。お二人とも水曜日は仕事がお休みなので、7月1日（水）深夜2時だと嬉しかったらしいが、仕事があっても30日の深夜に見ると言ってた。小生も火曜日は用事が無いから見ると思う。プロレスはいいや。

そう言えば日韓ワールドカップの時に、教授会の会場のテレビで、教授会の最中にも関わらず日本の試合を流していた。平場の我々がそっちを気にしていたのはまあ当然としても、雛壇にいるお偉いさん（後に学部長に成る人）がモニターをしょっちゅう覗いていたな。

で帰ってきてすぐダウンしたが、パソコンをちらっと見たら有理点はまだ見付かってなかった。途中用足しに起きたが、見付かっていたように見えた。しかし眠さに耐え切れずダウンした。数時間後に起きたら見付かってなかった。気のせいだったか。カップ麺の買い置きはあるが、まあ Uber Eats に麻婆丼を頼むか、ということにしていつもと違う店にしたが、地図を見るといつもの所。調べたら同じ店が3通りの名前を名乗っているようだ。来たのを見たらいつもと同じ器に同じ物が入っていて、餃子の箱もタレも同じ物だった。そうだったか。まあいいけど。

で野球が始まった。雨で3連戦の2試合が中止になって、今日勝てば勝ち越し？なのだろうか。今日の先発は石田裕太郎。石田の時は援護点があまりなく、しかも Giants の先発は Baystars 戦の今シーズンの成績が3勝0敗防御率0.46で、横浜スタジアムで6連勝の井上。これは苦戦か、と思ったら案の定で、石田は2点取られただけだが、例によって援護無し。8回に大勢から1点取ったが、そこまで。井上からは点を取れず、石田は Giants 戦のプロ入り後の初勝利はならなかった。今日は昼に Tigers が勝って Carp が負けて（Carp vs. Tigers だったから一方を書けば他方は自明だが）だったので、Giants を破ってれば Tigers が首位浮上、Baystars が4位復帰（昨日 Carp が勝ったので Baystars が5位に落ちていた）だったが。今日の負けで勝率が4割切ったそうだ。5割前後で推移していた筈だが4割か…。明後日は Carp と新潟でやって、1日空いて横浜で Carp と。連勝して4位に復帰しましょう。勝率も4割台にしないと。

不愉快に成ってパソコンを見たら、有理点が見付かっていた。28時間掛かった。まあ短い方だ。この前は1個に2週間掛かったからね。リブートしようかと思ったが、他にも色々途中の物があったのでしないで次の有理点探しを始めた。見付かった有理点の canonical height は430を超える物だったが、今度のは BSD 予想の下では221くらいだから、明日起きた時には見付かってると思う。何にしても効率が悪過ぎるな。もう少し何か考えないと。まあ他にも色々やってるので、全部一段落着いたらね。

床屋のテレビで MBS での野球中継を放送していたので、帰ってきて続きを見て、そのままチャンネルを変えず「ジョブチューンズ★」を見た

ABCの深夜番組は何やらよく分からない番組（何とかいうグループ達のライブに密着とかそんな興味無い番組）だったので、NHK で台風情報がやっておろうとチャンネルを合わせる。山梨を震源とする結構大きな地震もあったし、それら情報を毎時0分と30分からやっていた。関西に特化した情報も時々入るが、どうも聞いてる範囲では京都は大したことないのでは？という気がした。しかし昨日は京都でも相当雨が降ったようだし、滋賀では米原が大雨。琵琶湖線は米原から河瀬（だったか？）辺りまでを始発から運転見合わせ、と言ってた。まあよく分からないが、大丈夫そう。で情報を流したまま昨日考えたことの続きをやっていた。やはり単数を考えてないのは大間違いだった。それと冷静に考えると、あれとこれが互いに素であることを言ってない。で秘蔵の代数的整数論問題集を引っくり返すと、ある部分をコピペしたのか、同じ間違いが多発してる。全部直してたら結構時間を食って、昨日考えたことにちゃんと決着付けたらもう相当な時間だった。いかん、寝るぞ、と寝床へ。

それでもしばし YouTube を見たりしてたが、寝落ちした。で5時間くらい寝たろうか、腹が減ってるしもうええわ、と起きた。昨日書き忘れたが、職場に行く前に仕掛けた有理点探しは帰ってきたら終わっていて、深夜にも2つ有理点が見付かり、寝る前に仕掛けたやつも終わっていた。短いので2時間ちょい、長くても6時間くらいと、まだ我慢出来る。で腹ごしらえして表を見ると、もう台風は行った後のように静かだった。シャワーを浴びてすっきりしてから、床屋がやってるかどうか、予約で一杯だったりしないかと確認の電話を入れた。大丈夫らしい。3時半過ぎに住処を出て床屋へ向かう。床屋に着くと、Carp vs. Tigers がテレビで流れていた。広島はもう天気が回復していたか。亀山と能見が解説していたが、聞いたら4チャンネルらしい。最近4チャンネルにチャンネルを合わせた覚えが無い。「A-Studio＋」は毎週録画してるが、リアルタイムでは全然見てない。そうだったか。で切ってもらって、床屋を出る時は2－2という状況だったが、買い物をして帰ってテレビを付けたら Carp が1点リードの展開に成っていて、9回表。1死から走者が一人出て、さあどうなる、と思ったら三振ゲッツーであっさりゲームセット。まだ確認してないが、多分ゲームの無い Giants が単独トップに立ってしまったか。不愉快。明日の Tigers は高橋遥人らしいから勝つでしょう。関東は明日も天気が悪いようなことを言ってたから、Baystars vs. Giants は3試合とも中止かもな。Baystars の結果を気にしないでいいと気が楽だ。明日も中止でいいすよ。

でチャンネルが MBS に成ってるから、7時からの「ジョブチューン★」を久し振りに見ている。相変わらず商品のジャッジをやってて、今日の餌食はセブンイレブン。最初に「金のハンバーグ」をジャッジしてもらった時は満票で合格だったのに、何とこの前は全員不合格を出したらしい。今からそのハンバーグのジャッジをやるが、さあどうなる？卵サンドが格段に上手くなったとか、ガパオライスが美味しいと言ってたから、近い内に食べてみよう。卵サンドは呑んだ帰りに買ってきてもいいな。上首尾なら大きな宣伝に成るだろうが、料理人の遠慮ないダメ出しがあると逆効果だ。企業さんも大変だな。印象的だったのは3年目の社員の説明が完璧過ぎて、料理人が「内に欲しい」と言ってた。何でも勉強してちゃんと準備しないといけないよね。前にゼミの学生に「君の説明だったら僕商品買わんぞ」と言ってしまったことがあったが、まあそういうことだ。「こんな感じでよかろう」と思っていくと大抵袋叩きに成るのがゼミの怖い所。ちゃんとしましょう。

などと書いてしばし。金のハンバーグは全員から合格を貰えた。よかったね。ただこの前は10品中9品合格（金のハンバーグだけ不合格）だたが、今回は麺類が2品不合格。またリベンジですな。

どうどもいいことを二つ。台風が二つ来ていたので、ニュースで「ダブル台風」と言ってた。でどこかで聞いたフレーズ、と思ったら、仮面ライダーV3の主題歌では？と思って調べてみたらその通りだった。便利な時代だね。「赤い赤い 赤い仮面のV3 ダブルタイフーン命のベルト」が出だしった。結構子供の頃の記憶って確かだな。ただ2番が「青い青い 青い車のV3」だったことと3番が「白い白い 白いマフラーV3」だったのは忘れていた。けったいな歌詞やな、と思ったら、石ノ森章太郎先生が自ら作詞したようだ。意気込んでいたのだな。もう一つどうでもいい話。ゴチバトルの今年からのメンバーに佐野勇斗が加わったが、見覚えがあるがどこで見たか思い出せない。珍奇なキャラクターで滑り倒してるが、さっきふと思い出した。「マイダイアリー」という大学生5人を中心としたドラマで数学科の繊細な学生を演じていたのが彼では？と調べたらそうだった。うーん、落差激しい。あんなキャラだったか。びっくりだな。正直 M!LK は知らなかったし、「イイじゃん」という歌も佐野勇斗を知ったあと知った。印象的なフレーズがある曲だね。役者は実物との落差が激しいとちょっとがっかりするが、その典型例だな。まあどうでもいいけど。

ということでこれから呑みに行く。天気が回復したから客は結構いるかもな。Facebook を見たら昨日は結構客が来たようなことを書いてた。一区切りついたところだといいが。さっきセブンイレブンのトマトの味のパスタが不合格になってから、今日はアラビアータを食べて予習しておいてからセブンイレブンで買って美味しくないことを悟るか。ということで行きます。