高校野球が始まった

昨晩は血液検査も済んだということで呑み呑み福岡で話すことを考えていたんだが、焦った。何年か前に金沢で喋った時の報告集を見ていたんだが、また嘘書いてる。157A1 だけだって、証明したのに、途中で Q(√157) 上に無いとか書いてる。多分コピペした時消し忘れたんだろう。やっぱり時々印刷して、真剣に赤入れしないといけないね。福岡での話も報告集が出るそうだから、今度はミス無く済ませたいが。

でまた生活リズムを乱して、起きたらもう野球の時間。0－0という状況。相変わらずチャンスを潰しまくって、東は9回無失点も、味方が点を取ってくれないんじゃ仕方ない。結局スコアレスドローと成った。Tigers はリードされている状況で降雨コールド負け。関東は凄い雨だったようだ。Giants は途中見たらリードしていたが、Carp にひっくり返されたという情報。お！が今見たら3－3の引き分けだった。まあ上を行く Carp としてはこれでよかったのだろう。

今日から高校野球が始まっている。暑い時間を避けるため、10時からの第1試合の後、第2試合は夕刻からに設定されている。で第3試合は大熱戦で、岐阜城北が智弁学園から大金星の筈が、9回に2点差を追い付かれて、延長戦へ。延長はタイブレーク式なのでよく点が入るシステムだが、10回表に智弁学園が3点取ったが、裏に岐阜城北も3点取る。が、11回表に智弁学園が3点取って、それで the end。終わったのは9時40分近かったらしい。ご苦労様。前から気に成ってるんだが、タイブレーク式の場合の自責点の勘定はどうするんだろう？ランナーがいる状態から始めてるからな。詳しい人は教えて。

採血に手間取られ、針を3回も刺された（最後は伊東先生のお出まし）

昨晩は「テレビ千鳥」が終わってから寝た。二日続けて結構寝不足だったので、今日は12時半過ぎまで起きられなかった。銀行の人が来ることに成っているが、シャワーを浴びてこぎれいにしておくつもりだったのだが、無理だった。取り敢えず手頃なTシャツに着替えるくらいはした。1時丁度くらいに新しい担当者が来た。眠いので何を話したか殆ど記憶が無い。でその後1時間くらい寝た。

で起きたら2時半を過ぎていたので、急いで出掛ける。月1の保健センターへ行く日なので。診療自体は4時までに受付をすればいい筈だが、今日は採血をすると言われていて、この前渡された紙に3時半までと書いてあったので。天候が不安定だと言っていたので、傘を持って出掛ける。確かに雲行きが怪しい。で遅めに行ったおかげでウェストウィングの近くに停められた。日がカンカンに照っているわけではなかったので、ちょっとマシな陽気。土曜日に外環三条まで往復したが、ふなごやに行ったら「焼けてません？」と言われたが、今の日照りだと表を10分くらい歩いただけで日焼けするようだ。今日は大丈夫でよかった。で血圧を測って、処方箋を書いてもらって、約束通り採血。が、これが手間取る。贅肉がタップリ付いてるので血管が見えづらいのはいつものことだが、見えている筈の血管に刺しても血が出てこない。で刺された針をこねくり回され、大分痛い。一旦やめて再トライ。が、やはり駄目。人が変わって、いつもの人。が、その人も大苦戦。血管は見えているのだがな。最終的には4時で診療を終えた伊東先生にお出まし願って、3度目のトライ。ようやく出来た。昨日の深夜に間食してから何も食べておらず、起きてから飲んだのが500mlのペットボトルの飲料だけなので、血がドロドロに成っていたようだ。血液検査の前は水分を摂ってください、と言われた。お騒がせしました。

生協で食べ物を買おうとしたが、ロクなものが売ってなかった。夏休みだから、当然仕入れる量は少ないのだろう。キッチンカーもいなかった。個研室で食べて、少し数学。y²＝x³±27 の Q 上の階数の計算は前にやった筈で、「Silvermant と Tate の本の方法で割と簡単に求められる」と学位論文にも書いたし、どこかでそう言った記憶もあるが、手元にある TeX ファイルは何やら中途半端な所で計算が終わっている。で昨日寝る前に完成させようと思ってちょっとやったが、何かおかしい。ということでその計算をちゃんとやろうということでやった。ちょっと苦戦したが、無事出来た。詳細を TeX 化しておく。「詳細」というのは、「同様」とかいうことをせず、全部の計算をちゃんとやった。昨日の晩の計算にもミスがあって、何か特殊な方法で矛盾を出していたが、全部同じ方法で矛盾が出て、気分良かった。そんなことをしているうちに7時に成ってた。処方箋受付は8時までなので、急いで帰途につく。

「瀬田東JCT－京都南 渋滞7km」の表示だったが、実際は大津インター付近まで順調で、それからも50km/hは出せるくらいだったから、渋滞と言っても大したことはなかった。ドラッグストアには7時40分くらいには着いて、買い物をしたり読書をしたりしながら薬を待つ。8時ちょっとまで待った。

帰宅してカップ焼きそば。ドラッグストアでちょっとスマホを見たが、職場を出る時点で 1－2 とリードされていたのが 1－6 に成ってる。もう。先制したがすぐ細川に2ランホームランを打たれたりと、濱口は今日もロクでもなかったようだ。帰宅後見たら、ノーアウト1、2塁のチャンスも宮崎がお約束のゲッツー。祐大がタイムリーを打って1点返したが、そこまで。気付けば上より下が近く成っていた。まずいな。まあ Dragons の先発は防御率0点台の高橋宏斗だから仕方ない。今日で規定投球回数に届いて、防御率は驚異の0.54。2位の大瀬良が0.85。凄過ぎるな。Carp は Giants との直接対決を制し7連勝。アドゥワ誠がプロ初完封勝利。Tigers は Swallows にサヨナラ負け。Carp がちょっと抜けてくるかな？Baystars が優勝するのが理想だが、Giants が優勝しないならまあいいです。Carp には Giants をもう2つ叩いてもらおう。Hawks にマジックナンバーが再点灯したそうだ。36。2位の Marines と直接対決なので、勝ったら影響大きいよ。

何だか株価が乱高下しているらしい。昨日はブラックマンデー以来の大幅下落と言ってたが、今日は史上最高の上り幅とか。訳が分からん。巨額の投資をしている人は気が休まらないだろう。生活を株で全部賄うという人もいるだろうが、そんな危ないことをやるより、地道に働くのが一番です。真面目に働きましょう。

オリンピック中継だ情報番組だと見ているうちに寝る機会を逸し、現実逃避の数学をしているうちに徹夜

ゴルフが終わったらフェンシングがやったりとかで、中々寝るチャンスがもらえない。フェンシングは途中までよく分からないなりに見ていたが、結構リードされてしまったので、まあ銀メダルだな、などと思ってたら逆転し、今までは控えで、団体戦に成って初めて出場した永野雄大が5ポイント連取と、大活躍。そのまま抑えきって金メダル。凄い。で何となく「おはよう朝日です」を見たり、「モーニングショー」を見たりしているうちにどんどん時間が過ぎていく。いかんな。平日じゃないと電話出来ない所に2件電話を掛ける必要があったので、営業開始の10時を待って電話。であっと言う間に11時過ぎ。

Uber Eats に昼飯を注文しよう、と思うが、暑い中配達する人がいないのか、注文しようと思った所はどこも「配達パートナーがいません」の表示。もう。まあカップ麺を買ってあったので、それで済ます。その後もテレビではオリンピックの情報がどんどんやるので、寝る機会を失ってしまう。まあテレビを見ているだけでは勿体ない、ということで、流しておいてちょっと数学をしよう、と。やらないといけないことはあるが、つい現実逃避に「手を動かしてまなぶ ε-δ 論法」なんぞを読み始めてしまう。こういう解析的なことをやると、不等式の評価が苦手なのがありありに成ってしまう。数学的帰納法で不等式を示すにも一苦労。で高校の教科書を開こうかと思ったが、数学的帰納法の書いてある教科書が見付からない。が、チャート式が出てきたので、読む。これが面白い。チェビシェフ多項式とかフィボナッチ数列とか。不等式の評価はどうした？フィボナッチ数列に類似する話は散々勉強したので、色々示そうと思うがうまくいかない。何回もやり直したが、結局指数法則で色々酷い計算間違いをしていたり。浪人生をやっている時に指数法則のミスで微分方程式の問題を落とし、模試の成績ががくんと落ちたことがあった。新井先生という若そうな先生に「どうしたの？珍しいじゃない」と言われたな。で色々勉強には成った。

などとやっているうちに夕食の時間。Uber Eats に昼食べようと思ったものを頼むが、今度は配達されるまで1時間くらい掛かった。もう。先月で登録しているカードの期限が切れていて、2回続けて現金払いを強いられたが、新しいカードを登録したので、今日は現金を払わなくて済んだ。が、同じカードを期限と CVS を変えればいいんだろう、と思ったがうまくいかず、結局別会社のカードを登録する羽目に成った。まあうまくいったのでいいけど。届いた食事はそこそこ温かいのでまあいいでしょう。

でその後ちょっと仮眠。明日は昼に銀行の人が訪ねてきて、その後職場へ行かないといけないので、今日は程々に寝ないと。髭は寝る前に剃っておかないと。新しい担当の人が来るので、第一印象が悪いといけない。

寝る前にやっていた番組で男子バレーのことをやっていたが、格上のイタリア相手だし、まあ無理だろうな、と思っていた。結果だけ聞くとやっぱり負けたのね、という感じだが、最初2セット連取した後、3セット取り返されて負けた、と聞いて、やっぱりね、と思ったが、スコアが凄い。日本を左に書くが、スコアは25－20、25－23、25－27、24－26、15－17と本当に紙一重だったのだな。3セット目はマッチポイントを握った所から逆転されたとか。48年振りのベスト4成らずと、残念だった。柔道混合団体も立て続けに勝って、あと一人で金、というところからひっくり返されたし。柔道は諦めなかったフランスの凄さを、バレーボールはイタリアの凄さを褒めよう。しかし、あの電子ルーレットは何かな、という感じ。

一方、男子体操では岡慎之助が金メダルと銅メダル。1大会4つのメダルは1984年の具志堅幸司以来とか。凄いね。早田ひなは利き腕を痛めていたのに痛み止めを打ったりして3位決定戦に強行出場して勝ったりと、凄いに尽きる。我々も負けずに頑張ろう。

何か今日も凄い暑かったらしく、猛暑日を観測したのは300地点強とか。九州は40度いったところが今まで無いそうだ。この前の「ミラクル9」でもそのことに関する問題が出ていたが、2時くらいに39.8度とか39.9度までいった所があると言ってたが、どう成ったろう？京都も暑いが、40度を超えたことはないらしい。いや、京田辺が数年前40度超えたな。いや、あれは測定ミスだったと言ってたんだっけ？まあいいや。日本で37度を超えたことがないのが沖縄だけ、というのは意外だがそうらしい。明日も暑いらしいが、暑過ぎて夕立の恐れあり、と言ってた。職場をタイミングを見て出ないと痛い目に会いそうだ。まあ遅めに行って、ウェストウィングの近くに車を停めれば移動距離自体は短いからな。傘は必須だ。忘れないようにしよう。他にも幾つか用事をするので、そのために必要なものを忘れないようにしないと。

10点取った翌日に3安打完封負けと逆戻り

まずは昨日の復習から。1回表に森下、佐藤輝明の2者連続ホームランで3点先制される。が、すぐ1回裏にオースティンが3ランホームランで追い付く、という始まり。先発吉野は4回3失点と、まあプロ入り2試合目の登板だから、いいでしょう。で5回表に代わったウィックが佐藤にタイムリーを打たれるも、6回裏にまたしてもオースティンが一発打ち同点。で7回裏に佐野のタイムリーヒットと近本の悪送球で2得点、8回裏に林がセーフティースクイズで1点、梶原の内野ゴロで1点、牧の時にピッチャーが1塁への牽制球をとんでもない暴投をして1点、牧がタイムリーで1点。オールスター明け7試合合計で10点しか取れてなかったチームとは思えない猛攻で10得点。連敗は9でストップ。よしよし。ヒーローインタビューでの康晃の力強い言葉を聞けた。まだまだやってくれるさ。

ということで呑みに。嬉しくて番長が監督に成った時に買った98年の復刻ユニフォームを着てふなごやへ向かう。ふなごやの大将もバイトの人も Tigers ファンなので、不機嫌だった。まあ昨日は忙しかったようでよかった。でいつもの通りグダグダと話してきた。水曜日に野球中継のため放送の無かった「ミラクル9」が昨日やっていたが、「ニンニクを使った料理と言えば？」というアンケートに小生の思いもしない料理が出ていたが、何とバイトの人が即答してきた。アヒージョは思い付かんさ、と思ったが、流石。楽しくてよかった。

で今日もタップリ寝た。起きたらもう野球が始まっている。 既に1点取られていた。森下が10試合連続打点。日本記録はバースの13試合連続だそうだ。凄い。で先発のケイはフラフラしていて、4回表に無死満塁のピンチ。がそこから梅野三振、木浪ファーストフライ、西勇輝ファーストファールフライで大ピンチを凌いだ、のだが、5回表にまたしてもピンチを作り、佐藤輝明に3ランホームランを打たれてしまった。むぅ。Baystars は何度もチャンスを作るが、またしても一昨日以前に逆戻りで、全く点が入らない。まあそりゃケイもキレるか。3安打完封負け。上3チームが勝ってしまったので、今日の負けは痛い。来週は Dragons と岐阜で1試合やった後バンテリンドームで2試合。3タテしましょう。Carp vs. Giants の直接対決があるようだ。Carp に頑張ってもらい、Giants を引きずりおろしてもらおう。Tigers は Swallows と。Swallows にも頑張ってもらわないと。

Buffaloes は昨日勝って連敗は10で止まったが、今日やはり負けたようだ。5位だが、最下位 Lions とは12.5ゲームも差がある。最下位には成らないな。

ちょっとまたしても現実逃避に高校の数学の教科書を見ていたのだが、(ax＋b)ⁿ を微分すると na(ax+b)^n-1 に成る、というのが数学IIの教科書に出ている。証明は無かったが。これ二項展開で示そうと思うと大変だが、前に書いた xⁿ－yⁿ の因数分解を使ったら数学IIの知識だけで十分証明出来ることが分かったので、TeX 化しておく。で同じ教科書に所謂「1/6公式」が出ていたが、これの証明が気に食わない。一回 (x－α)(x－β) を展開して証明している。折角 (ax＋b)ⁿ の微分のことをやった直後なんだから、それを使って証明すればいいのに。高校の教科書をちょっと見直したと思っていたのに、失望させられた。同じ会社だけど、書いた人が違うのかな？知らんけど。

今オリンピックのゴルフを中継しているが、松山英樹が銅メダルを獲れそうな位置に付けてる。前のオリンピックではプレーオフでメダルを逃したそうだ。頑張ってもらおう。

などと書いてしばし。松山やりました！東京の時は7人でプレーオフだったそうだ。よかった。

勝った！

勝った！とりあえず呑んできます。

またしても「割り切れない」を「割り切れる」と書いていた

色々楕円曲線のことを調べていたが、ちょっと不思議そうなことが起きた。で昔自分が書いたものを見ると、何としっかり解明しているではないか。他にも数年前に論文を書いている時に考え込んで人にメールで質問したことも自分でしっかり解決している。1900年代の小生は賢かったな、などと思って D 論も見てみたが、何とまたしても誤植を見付けてしまった。… is not divisible by 3 の筈が is divisible by 3 に成ってる。うーん。割り切れるとか割り切れないとかしょっちゅう間違うな。みっともないので直して、後日職場のサーバーに上げることにする。住処からでも出来るが、ちょっと面倒なので。誤植は無くならないな。世の中のありとあらゆる文献（本、論文等）の誤植が無くならないのも分かる。書いている時は気付かないよね。やはりペンを用意して、紙に書き書き勉強しないといけないということだ。

などとしているうちにまた明るく成ってた。勿論オリンピックも気に成っていたんだが。色々な競技でメダルを獲っているが、期待された競技で取れなかったり。まあ勝負事には勝ち負けがあり、実力通りの結果に成らないのが面白い所。下馬評通りの結果にみんな成ったら面白くないよね。

お分かりの通り生活リズムがぐちゃぐちゃである。今日も結構遅くまで寝てしまった。明日は午前中にちょっと近所で用事があるので、10時半くらいには起きないと。今日はドラマが終わったら寝るか。

さて、野球だが、触れないわけにはいかない。今日負けて9連敗。Kanagawa ユニフォームを着てから勝ってない。またスターナイトの時のユニフォームに戻した方がいいのでは？が、上には上がいて、Buffaloes が10連敗。小生の推しの両チームが苦しんでる。まあ Ginats が Baystars を3タテした後4連敗、Carp が4連勝（Baystars が3タテされたので）、Tigers が8連勝で、Carp 首位、Tigers が0.5ゲーム差で2位、Giants が0.5ゲーム差で3位と、混戦は変わらない。報道ステーションでヒロドアナが「三つ巴のセ・リーグ」と言ってたが、言われても仕方ない。3位と5.5ゲーム差付いてしまった。引き分けを挟まないでの9連敗は番長が監督に成ってから初めてとか。もう優勝はいいです。Giants にも泥沼にはまってもらい、棚ぼたで3位を狙いましょう。勿論まだ大型連勝の可能性はあるので、分からないことは無いが。しかしオールスター明け7試合連続で3点以下、合計10点。打ち勝つチームの筈がこれでは勝てない。兎に角10連敗だけはご勘弁を。

今「探偵ナイトスクープ」がやってるが、阿呆なことをやってる。先週の顧問は懐かしの岡部まりだったが、「相変わらずアホですね」と言ってたが、まあそう思うだろうな。関東ではしょっちゅう放送時間が変わって、酷い時は金曜日の深夜3時30分くらいから放送ということもあった。見てたけど。こっちは11時15分過ぎと健康的な時間にやってくれてよい。関西では絶大な人気を誇る番組。DVD か Blu-ray で売り出してくれないだろうか？

Tigers が甲子園球場竣工100年の記念試合を、前にノーヒットノーランをやられている戸郷を打ち崩して、勝利で飾った

昨晩は気に成ることがあって調べごとを始めてしまった。似たような言葉があるのだが、違うのだろうか？と。結局まだ結論は出ていないんだが、もう明るく成っていたので、いいことにした。昨日までに払い込まないといけないものがあったが、12時をまたいでいたので、厳密には延滞。まあいいです。深夜にセブンイレブンに行ったのだが、思いのほか暑くなかった。ここのところ最低気温が28度とかわけのわからないことを言っていたが、今日は26度くらいまで下がったらしい。熱帯夜には違いないが、少し気分が違う。昼は暑くなるそうなので、惰眠を貪ることにした。

酒を呑まずに電気もテレビも消して寝ると、流石によく寝られる。随分長時間寝た。やはり睡眠は大事ですな。食料は買い込んでおいたので、Uber Eats の配達員に暑い中働いてもらわなくても食事にありつけた。

今日は甲子園球場竣工100年の記念日らしい。ということで Tigers は意地でも Giants に勝たないと。Giants の先発戸郷には前にノーヒットノーランをやられている。さて、と思ってニュースを見ると、6点取って戸郷を KO したらしく、Tigers は7連勝。Giants 相手に3タテ。今日は Carp も勝った（ということは…）ので、Carp が首位浮上で、Giants がゲーム差無しながら2位に、Tigers が0.5ゲーム差で3位。どうなるでしょう？

Marines はまたしても Lions に勝って、これで開幕からカード14連勝。凄いですね。Marines の貯金は10だが、Lions のお陰というところはあるな。でも Hawks の貯金が30もあるので、10ゲーム差。マジックナンバーは消えたが、またすぐ点灯するだろう。それでも日本シリーズに出られるかどうかは分からないのが今のレギュレーション。Hawks は2位だったシーズンを連続で日本シリーズに進出して、2回とも日本シリーズを制覇している。あの時はファンは「CS 必要」と言ってたろうが、今年は「CS なんていらない」と言い出すだろう。人間様は自分の都合しか考えてないからね。今年本当に Hawks が日本シリーズに行けなかったら面白いな。そうそう、この前「これ余談なんですけど…」に元 Marines の里崎が出ていたが、「史上最大の下剋上」と言い出したのは里崎らしい。今「リベンジ」と言う言葉を普通に使うが、これ使い出したのは松坂大輔だと思う。「自分史上最高」とか言うのは何かの CM で使われたんだかタレントが使ったのが初めてらしいが、今普通に言うもんね。「自分的には」とか「高校数学的には」なんて小生もたまに口走るから、影響力のある人の言うことは伝染してしまうものだ。少し気を付けよう。