サヨナラ負けで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 の小さい奴を先にやった方が効率的かもな。もう一回強制リブートされたらそっちからやろう。