尾形が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時くらいに行くとウェストウィングの近くの駐車スペースに空きがある可能性は高いが、暑い。もっと遅く行くと、職場に行ったのに作業があまり出来ない。さてどうしましょうかね？まあ起きる時間次第だな。何時までレポートの採点をするかに依存する。ま、起きたら考えましょ。