論文と科研費の申請書を書いているうちに Baystars が勝ち越し

昨日の晩は寝たり起きたりを繰り返し、最終的に寝たのが何時かわからない。で6時半に起きてしまった。もう眠くないし。しばしテレビの前でボーっと時間を潰す。で最近肉食なので、今日は魚介類を取ろう、ということで、馬鹿の一つ覚えではま寿司へ向かう。いつもより少し少なかったような気がしたが、案の定300円くらい安かった。

で職場に12時40分くらいに着いて、1時からゼミ、の筈が学生が来ていない。まあいいや、論文書きをしながら待とう、と思って始めるも、来る様子が無い。その分論文は捗り、まだちょっと怪しい部分があるが、投稿してしまうことにした。8月中に終わりたい、ということもあるが。でそんなこんなしているうちに学生からメール。「今日は30日だと思ってました」と。何とも間が抜けている。まあ電車間違えて近江舞子まで行ってしまったという前科もあるし、いいでしょう。で来週は火曜と木曜に職場に行くことになってるが、どっちがいい？と聞くと木曜日がいいらしい。ということで木曜1時に。日付で行くより曜日で行った方がいいかもね。事務に出す書類を出して、領収書の処理をして、あ、一件忘れてた。まあいいや。また来週にしよう。

で6時くらいから科研費の調書書きにようやく取り掛かる。e-Rad を見ると、8月1日から募集が始まっていたようだ。前はこんなに早くなかったが。毎年苦労して書類を作ってもはずれるので、今年はあまり一生懸命やらないことにした。去年のコピペが殆ど。論文が一本出ているので、それを to apper から直したくらい。またどうせ当たらないだろう。近日中に事務から手直しの指令があるはずなので、それまで放っておこうかと。

論文は「5年で2本」の duty は守れた。前はこんな縛りは無く、全然論文を書かない教授陣だらけだったが。この縛りを守れないとみっともないことが待っているので、書かないといけない。まあ少しノンビリしても大丈夫なように成ったので、マイペースで勉強させてもらおう。おっと、今年はM2が1人いるので、修論書かせないと。2年後は4人に書かせるという荒行が待っている。そのための勉強もしよう。

6時から野球。科研費の応募書類を書きながらチラチラ。阿部にホームランを打たれ先制されるも、ソトのホームランで同点。が、ダブルプレーの間に得点され、1－2。が、戸柱にホームランが出て同点。6回牧の内野ゴロの間に勝ち越し点を上げた。そこで帰宅することにした。すき家で刺激物を食べるつもりでいたんだが、もうシーズンが終わっているらしく、無かった。仕方ないので麻婆丼を食べてきた。まあ安いんでいいけど。

今名神が集中工事をやっていて、瀬田東－吹田間が20時から通行止め。仕方ないので下道で帰ってくる。寝不足で集中力が切れそうで怖いので、慎重にも慎重を重ね、安全運転。特に峠道では大事に運転してくる。後ろの車はちょっとじれったかったかもしれないね。事故ったら洒落に成らないので、許してもらおう。

で帰宅してテレビを付けて、チャンネルをTBSチャンネル2に合わせると、康晃がヒーローインタビューを受けているところだった。あのまま終わったようだ。康晃が難病の三嶋にエールを送っていた。いいですね、心温まります。三嶋頑張れ。

などと書きながら、まだ進行中の Giants vs. Swallows をチラチラ。Giants は4－2から追い付かれ、7－4に成っても追い付かれ、一旦は7－8とリードされる始末。今8－8という状態。Giants のリリーフは頼りない。こんなチームに Swallows を負かしてくれと思って見ていると虚しい気分。Giants を応援したくないんでね。まあ今日は折角 Baystars が勝ったんだし、Swallows に負けてもらわないと。ということで明日までは不承不承 Giants を応援。

大きな台風が来ているようだ。今日は雨だと先週の予報では言っていたが、降った様子が無い。明日は降るようだ。買い物に行っておかないと。雨の中 Uber Eats の配達待ちは心苦しい。明日の分の食料は調達しておこう。

などと書きながら Giants vs. Swallows をチラチラ。Giants が2アウト1塁2塁というチャンスを作り、代打中島。が、三振してしまった。まあ中島が打つのは癪なので、いいです。でもやっぱり Swallows には負けて欲しい。

等と書いて12時過ぎ。Giants vs. Swallows は引き分け。まあ半ゲーム迫ったからいいか。で明日は Giants vs. Swallows は無いらしい。理不尽な応援をしなくて済むんでよかった。が、腹立つ。何故 Giants は移動日有ばっかりなんだろうか？って思ったら、Giants の次のカードは甲子園で Tigers らしい。Swallows が神宮だそうだから、移動日有は Swallows か。Baystars は9連戦、1日おいて10連戦と、厳しいスケジュールなのに。Swallows にしろ Giants にしろコロナで何試合か潰れてるから、ここで楽すると後で痛い目を見るぞ！

今永月間5勝、大田5打数5安打、オースティン今シーズン1号と、いいことばかりで完勝

昨日も書いたが生活リズムがぐちゃぐちゃ。久々に「おはよう朝日です」が始まる前に寝たが、その後超長時間睡眠。よく寝られるもんだ。が、まだ疲れが残っている感じ。明日は1時からゼミだから、今日はプロ野球ニュースが終わったら寝るか。

6時から野球。今日から vs. Dragons。お得意様相手なので、勝ちたいところ。3回に宮崎の2点タイムリーで先制。4回に桑原、大田の連打で1点、5回に牧が去年を上回る23号ホームラン。8回には待ってましたのオースティンの代打ホームラン、大田の今日5本目となるヒットでもう1点。先発の今永は点を取られる様子は全く無く、8回無失点。9回は入江が抑えて、久々の勝利。今永は月間5勝0敗。月間MVPは決まりだな。で Swallows が負けてくれるといいんだが、Giants に期待したこっちが馬鹿だった。延長戦の末4－2で負けた。ゲーム差は7のまま。まあいいです。こっちは改めて勝ち続けましょう。Giants は負けてよし。

ん？今日は教授会があったんじゃなかったかな？来週だったかな？今日だったらまあ仕方ない。来週だったらちゃんと出よう。また9月8日に某打ち合わせがあるので、職場に行かないといけない。面倒だな。用事がべたーっとあるのも大変だが、たまに思い出したように用事が入るのも疲れる。夏休みも残り1か月を切った。そろそろ秋学期のことを考えないといけないシーズンかな。

生活リズムぐちゃぐちゃ

生活リズムが相も変わらずぐちゃぐちゃに成ってる。週末は Baystars vs. Swallows を遅くまで見て、呑みに行っていないので、今日は行こうか、と思っていたんだが、さっきまで寝ていて、11時閉店の店には最早行けない。明後日は1時からゼミをする約束に成っているので、明日も呑めない。水曜日は呑み屋が閉まっている。というわけで行くのは木曜日以降。

さて、論文書きをしている最中に色々調べたくなってくるので、Google で色々検索したが、一ついいことがわかった。zbMath（MathSciNet と同様の、数学の論文の概略を書いてあるデーターベース）が無料で調べられるように成っていた。MathSciNet を見るには学内のネットワークに vpn 接続せねばならず、やや面倒なのだったが、これはいいですよ。他にも Silverman－Tate の本（足立、小松、木田、田谷訳の本の原本）の pdf が無料で手に入ったり。やはり論文書きは時間がたっぷりある時じゃないと出来ないね。科研費の募集が始まっているのをすっかり忘れていたので、論文書きを早いと終わらせて、科研費の応募をしないと。忙しいぞ！

またも村上に打たれ、3タテを食らう（7ゲーム差）

昨日プロ野球ニュースを見ようとしてチャンネル「フジテレビONE」に変えたら、「われめでポン」の24時間番組がやっていた。「われめでポン」はよくやっているんだが、いつも大体ダイジェストもの。生でやっているのを初めて見た。ポンセのノーヒットノーランに触れていたので、生かどうかはともかく、昨日麻雀をしていたのは間違いない。途中プロ野球ニュースによる中断などを挟み、本当に24時間麻雀をやっているようだ。凄いな。小生が見始める前に国士無双が出たそうだ。で小生が見ている最中に大三元が出た。小生未だに役満をあがったことが無い。一度四暗刻のチャンスがあったが、ロン上がりになってしまったので、三暗刻対々和に成ってしまったのだった。でまさか24時間麻雀を見る気は無いので、途中で寝た。

6時から野球。3タテはダメ、ということで必死になって見るも、今日も先制を許し、6回表終了時で1－4という状態。久々に Rising のテーマが流れてくる。すると3点取って追い付く。よしよし。ピッチャーはエスコバーに交代。バッターは村上。抑えてくれるでしょう、と信じて見ていたが、特大の49号ホームランを叩き込まれる。この3連戦、村上は9打点だと。打たれ過ぎやね。9回は1点負けてても康晃。村上からだから当然。でホームランは打たれなかったが、センター前に軽打される。村上は14打席連続出塁、9打数連続安打。うーん、凄過ぎる。その後抑えて、9回裏。大和がファールフライ。途中出場の大田が2塁打。よしよし。が、戸柱は外野フライ。期待は桑原に集まる。が、見逃し三振。うーん、スイープを食らってしまった。7ゲーム差か。まあまだ直接対決は残っている。明後日から気持ちを入れ直して、もう一度差を詰めましょう。3連敗食らっても、まだ月間10の勝ち越し。まだまだ。

連続打数安打の記録は、レイノルズ（Whales）、高橋由伸（Giants）の11打数だそうだ。連続打席出塁は広瀬純（Carp）の15打席。火曜からの相手は Giants だそうだから、可能性は高い。新記録達成は結構なことだが、そうすると Swallows が優勝に前進してしまう。いかんぞ、それは。31日にも Swallows にマジックナンバー点灯だそうだ。Giants には頑張ってもらわないと。Giants が負けると飯が死ぬほど旨くなる小生だが、ここは Giants を応援するか。

第2ラウンドは23被安打16失点（7被ホームラン）で大敗

今日もロクでもない生活をした。野球を見ている以外はほぼ寝ているといった感じ。まあ食事はしたが。

昼寝をする前にスマホを見たら、Fighters のポンセが6回までノーヒットノーランをやっている、という情報。おっ！で6時からの野球のため起きてスマホを見ると、ノーヒットノーランやったそうだ。今シーズン5人目。凄い。過去に5人やったシーズンはあったそうだ。それに並ぶ記録。まだ出るかも。

6時から Baystars vs. Swallows。1回裏に佐野のタイムリーで1点取るも、その後満塁のチャンスを潰す。これが痛かった。3回表にキブレハンに来日初ホームランを打たれ同点。満塁のチャンスを作られ、内山の2点タイムリーであっさり逆転を許す。もうそこから先はやられ放題。4回表に4点、5回表に2点。6回裏に牧、宮崎の2者連続ソロホームランで追い上げたと思ったら、7回表に5失点。7回裏に桑原のタイムリーで1点取り返すと、8回表にキブレンハンの3本目のホームランと村上の48号で2点取られる。まともなピッチングをしたのは最後に出てきた平田くらいで、他のピッチャーは軒並み失点と、どうしようもない試合だった。上に書いた通りキブレハンには来日初を含む3ホームラン、村上には5打数5安打（ホームラン1本を含む）など、23安打16失点、7ホームラン。Swallows の球団記録は1試合25安打だったそうだが、まあそれを破られないだけよかった。7ホームランはタイ記録だそうだ。まあポンセにノーヒットノーランをやられた Hawks の藤本監督が「ノーヒットノーランをやられても1敗は1敗」と言った通り、負け方はどうでも1敗は1敗。23本ヒット打たれて16点取られても1敗は1敗だ。明日勝てばまあいいでしょう。今日打ち込まれた中には伊勢もエスコバーも入江も平田も含まれていない。佐野、牧、宮崎、桑原に打点が生まれている。明日はいける。明日は京山。今週の日曜日のような投球を見せてくれれば。ということで、明日も懲りずに応援する。

今プロ野球ニュースを見ている。ポンセのノーヒットノーランを取り上げている。万波や中島卓也にいいプレーが出たようだ。ノーヒットノーランをやる時は大体紙一重のファインプレーが出るもの。中島は今年あまり使われず、先日まずいプレーをやって引っ込められたこともあった。ビッグボスも少しは見直してくれたかな。

4ゲーム差の直接対決は村上の2ホームランで Swallows に軍配

今日は寝坊してしまった。いかんですね。48時間サイクルはそろそろやめたいところだが、今日もしそうで怖い。

会議終了後もう一寝入りして、6時から野球。大貫はまあナイスピッチングだった。5回まで無失点。が、6回に村上に3ランを打たれてしまった。それで交代。代わった宮國がオスナに2ランを打たれ、1イニング5失点。が、そのすぐ裏に戸柱の代打ホームランと牧の2ランホームランで2点差。まだわからないぞ、と思ったら、三上が村上に2打席連続ホームランを打たれ、もう決まったか、という感じ。Swallows の2番手以降に完璧に抑えられ、3－6で敗戦。1か月ぶりの連敗。本拠地の連勝も17でストップ。ゲーム差は5。まあまだ残り試合は多い。明日、明後日勝てば3ゲーム差。それに負け数が並ぶ。まだまだ粘りましょう。

しかし村上は凄い。150号を22歳6か月で達成。これは清原の22歳11か月を上回る新記録。因みに王は24歳1か月でだったそうだ。ゴジラ松井も同じ。今日の2ホームランで47号。これは王の55号を抜くんではないか？という感じ。いや、バレンティンの60本も夢ではないな。うむ。今三冠王だし、凄いものが見られそうな予感。ただそうなると、Swallows は優勝してしまうだろうから、ちょっと嫌。ホームランと打点は最早追い抜くのは無理だろうから、せめて首位打者だけは。理想は佐野が取ることだが、最悪 Dragons の大島でもいいです。両者には頑張ってもらおう。

女子サッカーがブラジルに勝ったとか。男子サッカーでは考えられないね。女子サッカーの方が下剋上が多い。それに体格差があまり無いので、バレーボールなんかは男子より女子の方が圧倒的に面白い。女子サッカーの決勝はスペインととか。男子サッカーではスペイン相手に勝つなんて考えられないが、女子サッカーだとありそう。頑張ってもらおう。

9連勝ならず

たっぷり寝た翌日は寝ないという、いつものサイクルを繰り返している。明日は院試（面接）があるので、それなりの時間には起きないと。ということで今日は早寝する。今日の星占いで、今日は捗ると言ってたので、論文書きを頑張る。大分いい形に成った気がするが、一箇所何だかよくわからないところがある。そこを解読しないと。ということで食事休憩を挟みながら、2時くらいまで踏ん張った。

その後3時間程仮眠を取って、6時から野球。初回から内野安打2本と、いい感じで立ち上がったかと思ったが、無得点。その裏押し出し四球で先制される。その後は先発のロメロがふらふらしていて、内野手もトンネルをするなど、良くない流れ。で0－5で負けた。負けたのは久し振り。まあいいです。8連勝したわけだから、9連勝は虫が良すぎた。後は Swallows が負けてくれれば。インターネットで速報を気にしいしい論文の続き。Carp が2点リードしていたが、Swallows が追い付いた。うーん、さすが。で延長に。Carp の松山が勝ち越しのタイムリー。裏は Swallows が2アウト満塁のチャンスを作り、長岡の打球がライトへ。う、サヨナラ満塁ホームランになっちゃうのか？と思ったらフェンスの前で失速。何とか Carp が逃げ切った。ということで首位も2位も負けたので、ゲーム差は4のまま。明日から横浜スタジアムで直接対決。どうなるでしょうか。欲を言えば3連勝、最悪でも勝ち越し。3ゲーム差に成ると大分違う。3タテして1ゲーム差を望みたいところだが、それは欲張り過ぎ。まだ1か月以上あるのです。冷静に成りましょう。

字面でしか見ていないが、Eagles vs. Hawks が凄かったようだ。Hawks が1回表に4点。が、1回裏に Eagles が7点。2回表に Hawks が1点。どんな試合に成るのだろう、と思って結果を見たら7－5。2回裏からは両チーム無得点。安打数は Hawks が11、Eagles が6と、結果を見れば大したことない。スポーツコーナーで詳しくやってくれるだろうか？寝たいところだが、もうちょっと起きていよう。

桑原の満塁ホームランで4－0勝利。8連勝！

1時からゼミの約束。10時半に起きるつもりで目覚ましを仕掛けるもスルー。11時の目覚ましで意識が戻り、11時10分過ぎに起きる。髭を剃って（1週間くらい剃ってない）、シャワーを浴びて、のつもりで髭を剃った後、メールを見ると、「予習が覚束ないので今週は無しにしてください。来週は必ずやります」とのメール。何だ、ということでもう一度横に成り2時間程睡眠。2時過ぎに起きる。シャワーを浴びて、4時からの打ち合わせのため出発。

打ち合わせは1時間強。難しい問題だ。その後しばし立ち話して、6時近くまで。

で晩飯を生協で買って、論文書きを、と思ったのだが、生協は閉まっている。食堂も開く様子が無い。コロナの前は夏休みでもちゃんとやっていたんだがな。まあ学内は閑散としてるし仕方ない。夏季集中講義が始まればまたやってくれるだろう。ということでセブンイレブンに弁当を買いに行く。遅く大学に行ったので、車を近い所に止められていたのでよかった。

で弁当を食べ食べ論文書きの続き。もちろん野球も気にしいしい。博士論文にみっともない間違いがあった。「does not have a solutions」。…。まあ日本人の書いたものだ。許してもらおう。「One must has」と書いた論文を見たことがある。日本人の書いたものだ。学位論文は時間のある時に直そう。そこから引き写してきた論文にも同じ間違いがあるので、今度こそということで直す。他にも同じことを2か所書いてあったので、1か所削る。1頁減った。まあ表を table 環境で書いているので、表の配置によってページは簡単に変わる。プリントアウトして、丹念に読む。野球が全試合終わるまで速報のページを気にしいしい、10時半近くまで職場にいた。

野球はというと、Baystars も Tigers も点が入らない。6回を終わって0－0。7回は宮崎が内野ゴロ、ソト四球、柴田送りバント。戸柱に代わって代打伊藤。が、申告敬遠。がっかり。先発好投の濱口に代打関根。あまり多くは期待していなかったが、関根はセーフティーバントで出塁。1番に帰って桑原。今日はノーヒット。.260 あった打率も .250 を割り、ここ数試合不調。期待していなかったんだが、桑原、申し訳ない。まさかの満塁ホームラン！結局4－0で勝った。桑原の打席が全てだったな。4点差付いていたので、9回は平田。2アウトを簡単に取ったが、そこから2連打。康晃にセーブが付く状況に成ったので交代。2球で打ち取ってゲームセット。康晃は史上最年少200セーブ。ビジターだったので、ヒーローインタビューは康晃一人だったが、横浜スタジアムだったら二人でヒーローインタビューだったろな。いや、平田がランナーを出さなければ、文句無く桑原だったのだが。まあ勝ったからいいや。これで8連勝。Swallows が勝ってしまったので、差は4のまま。明日も勝って、Swallows が負ければ、金曜日から3ゲーム差で直接対決。楽しみ。

野球が全試合終わるまで、と上で書いた通り、混戦パ・リーグも気に成る。今日は Lions が負けたので、Hawks が勝てば首位交代。Eagles vs. Hawks は3－3で延長戦へ。Eagles は何度もチャンスを作るも、1本出ず。そんなこんなをしていたら Hawks が11回表に勝ち越し。でそのまま逃げ切って、Hawks が奪首。が、Hawks と Lions は0.5ゲーム差、Lions と Buffaloes が2ゲーム差、Buffaloes と Eagles が1ゲーム差と大混戦。どこが抜け出すんでしょうか？今プロ野球ニュースを見ているが、Lions は審判のせいで負けたね。あれはアウトだと思う。

今日の「笑わない数学」はフェルマーの最終定理。11時から放送開始で、帰ってきたのが10時50分過ぎ。録画を仕掛けてあるので大丈夫、と思ったら録画が始まらない。ん？と思って NHK に回すと、大雨のニュースで5分押すらしい。またニュースに成るほどの大雨か。今年の夏は何なんだか。暑いのと雨はそろそろ収まって欲しい。

7連勝も Swallows が勝ってしまい、ゲーム差は4のまま

昨晩はその後ダラダラと資源ゴミ出し。何往復かする必要があったが、蒸し暑いので何度も休憩。結局そんなことをしているうちに明るくなってしまい、また寝なかった。むう。

で朝から情報番組の梯子。仙台育英が優勝した話題をよくやっていた。東北勢の優勝は初めてということもあり、東北は盛り上がったようだ。仙台育英は予選も含めて昨日まで1本もホームランが出ていなかったようだが、肝心な所で満塁ホームラン。しかも打ったのは病気で予選に出場出来ず、甲子園でも最初は控えに回ることが多かった選手。諦めないと何があるかわからないね。監督が「おめでとうございます」と言っていた。優勝したチームの監督が「優勝おめでとうございます」と言ったのは多分 Swallows の若松監督からだろう。そう、嬉しいのはファンなのだ。「おめでとうございます」は間違っていない。

昼飯を食べたら眠くなってきて、3時間程寝た。で6時から野球。今日から Tigers と。6連勝中の Baystars と4連勝中の Tigers との試合ということで、熱戦が予想される。が、Tigers 先発の青柳がいきなり6球ボール球。四球、ヒットでノーアウト1、3塁。佐野のダブルプレーの間に先取。2回は8番森を申告敬遠してバッター今永、というシーンで今永タイムリーヒット。3回は戸柱がタイムリーで3－0という展開に。日曜日も1、2、3回にホームランで1点ずつ取っての3－0だったが、今日はホームラン無しで3点。いいですね。今永が調子良さそうなので、今日も楽勝ムード。伊勢にピッチャーが変わったあたりで眠くなってきて、テレビを付けっ放しで横に成る。試合終了まで寝てしまった。佐野がホームランを打ったようだ。「デスターシャ」を見損ねた。で Swallows が負けていたし3ゲーム差か、と思ったら、村上の3ランホームランで Swallows が逆転していた。むう、残念。まあいいです。これで7連勝。最悪の Tigers に3タテ食らうは無くなった。明日、明後日勝てばいいが、まあどっちかだけでもいいです。負けた日に Swallows が負けてくれればゲーム差は広がらない。Carp にも頑張ってもらおう。

眠いな。明日は1時からゼミをやる約束に成っている。もう寝ようか。野球の結果は分かってるし、ニュースはいいか。プロ野球ニュースは録画しておこう。「デスターシャ」を見たいんでね。

長時間睡眠が出来るほど若い小生

昨日（本当に昨日）は2回目のプロ野球ニュースを見てしまった。そこから寝て、そのまま想像を上回る長時間睡眠。さて何時間でしょう？歳を取ると寝られなくなる、というのは今のところ嘘だと思ってしまう。まあ60過ぎても同じように出来るかはわからないが。

メールチェックして1件返信して、そこから呑みに。週末は呑みに行かなかったので、浮世の義理ということで。今日は他に客がおらず、Uber Eats の注文も入らなかったので、店長とずっと話していた。店長は47歳で、世代がまあ近いといえば近い。 BGM で昔の歌が流れていることもあり、昔話で盛り上がる。ドリフ派かひょうきん族派か、とか。もちろんもっと盛り上がったんだが、書くとキリが無いので、この辺にしておくが。とにかく面白かった。人気店に一人で行くとツマラナイ。一人で行くなら空いてる店だな。

帰ってきて「激レアさんを連れてきた。」と「アンタウオッチマン」を見て今に至る。寝ようか、というのが標準的な考え方だが、録画用ハードディスクの残量が乏しい。容量稼ぎに一番組くらい見るか。とりあえず明日の「科捜研の女」の分は空けないといけない。大河ドラマをBDにダビングして消せば大丈夫だろうか？日が昇る前には寝よう。

あ、そうだ。明日（もう今日だが）は資源ゴミの日だ。段ボールとアルミ缶と雑紙の分別をしないと。第2、第4火曜日なのだが、明日を逃すと3週間空いてしまう。うぉー、今から分別作業するか。

本拠地17連勝は京山のホームランのおまけ付き

昨日はプロ野球ニュース終了後、少々飲酒。で呑むと寝なくなる悪い癖。そのままもう一度プロ野球ニュースを見て、録画してあった番組を幾つか。さらにケーブルテレビで「相棒」を2話ほど見て、さて仮眠、と思ったのだが、まだ見るものは無いかとチャンネルを回すと、「ファミリー劇場」というチャンネルで「35歳の高校生」という、何やら謎のドラマが始まる。米倉涼子主演。ちょっと見ていたら続きが気に成る。で1日で全話一挙放送らしく、次から次へ続きが始まり、見てしまった。面白かった。「神奈州県」の「川浜」という謎の所が舞台。そこまで実在の地名を使いたくないか、という感じ。まあいいけど。

6時から野球。1回、2回、3回にソロホームランを1発ずつ打って、3－0で勝利、とか書くと味気無い。楠本のホームランで先制、3回のホームランは牧の球団初、ルーキーから2年連続の20号となる3試合連続弾。まあ細かい所はともかく、打つべき人が打った、という感じ。問題は2回のホームラン。まさかまさか、投手京山のプロ初ホームラン。思わず笑ってしまった。その後は何度かピンチがあったが、京山が7回途中まで。その後伊勢、エスコバー、康晃で抑え切って、本拠地17連勝。昼 Swallows が負けたので、4ゲーム差。さあ来ましたよ。明日1日休みで、火曜日から京セラドームで Tigers。まあそこを全部勝って9連勝で金曜日から横浜スタジアムで Swallows と、は虫がいいだろう。Tigers 戦は勝ち越せば。Swallows 相手に3タテで本拠地20連勝の新記録と行きましょう。ゲーム差はいくつになるでしょうか？ワクワク。

さて、上に書いた通り寝てない。プロ野球ニュースが終わるまでは起きてないと。ということでこれからドーピング。1時から再放送があるのだが、そっちも見ようか？その後、地上波ではけっして放送できないような品性下劣な番組があって、それも見たいのだが。まあ録画しておいて明日見るか。水曜日は1時までに職場に行かないといけないので、そろそろ生活リズムをどうにかしよう。

寺井さんの大迫力の話を聞いた後、本拠地16連勝の試合を観戦

Swallows の結果を気にしいしい論文の続き。が、そこで気付いた。昨日、今日と、九大で研究集会が行われている。いかん、すっかり忘れていた。オンラインで参加すると申し込みをしたのだった。4時を過ぎている。急いで Zoom の URL が書いてあるメールを探す。寺井さんの話が大トリで、4時から。ということで途中から聞く。画面の右下に出ている状況を見ると、22枚のスライド中3枚目。まあついていけるな、ということでほっとして聞き出す。日本が世界に誇る不定方程式の大家の話だけあって、大迫力。30年越しで予想が refine されたとか、もう凄過ぎ。面白かった。幸い紙で報告集が出ることになっていて、申し込んであるので、後でじっくり勉強させていただこう。5時過ぎに終了。

6時から野球。Swallows が勝った（村上2ホームランで、三冠王に）ので、今日も負けられない。初回に1点取られるも、すぐ裏に牧の2ラン、宮崎の二者連続弾で3－1。5回に2点取って5－1。防御率2点台を誇るリリーフ投手陣がいるだけに今日も楽勝か、と思ったら、2連投の伊勢、3連投のエスコバーが今日はベンチに入っていない。一抹の不安が無いではない状態。石田が6回途中3失点で降板。平田が1失点で1点差。15試合連続無失点の入江がマクブルームにホームランを打たれ失点。4点差を追い付かれた。こんなのは久し振り。が、やはり勢いか。8回裏にソトの2ベース、柴田が進塁打、嶺井が死球で、代打伊藤光。執念のタイムリーヒットで勝ち越し！9回は当然康晃。が、内野安打と伊藤の悪送球で1アウト3塁。内野は前進。堂林の3塁ゴロで3塁ランナー曽根がギャンブルスタート。ホーム憤死で、2アウト1塁。最後は三振で締めて、本拠地16連勝！今月は何と13勝2敗。貯金は8に。いいですね。本当に逆転しちゃうんじゃないだろうか？25年前も8月に大勝ちして Swallows との差をぐっと詰めた。その後石井一久にノーヒットノーランをやられてしおしおのぱーに成ってしまったのだが。まあその次の年に優勝しているわけで、今回も今年はダメでも来年に期待、と出来る。まあもう少し、今シーズンの逆転を期待しましょう。

ところで伊藤光をわざわざ「光」を付けて読んでいるのは、Baystars にはもう一人伊藤がいたから。伊藤裕季也。が、トレードで Eagles に行ったので、もう「伊藤光」と呼ばずに「伊藤」でいいはずだが。もう一人いるのかな？後で確認しておこう。背中を見た瞬間、「秘湯」って誰？と思ってしまう。もちろん「H. ITOH」と書いてあるのだが。背中の名前は空目することが多い。今永を「IMAGICA」と読み間違えることしばしば。嶺井と万永は「MINEI」と「MANEI」で一瞬見間違えることがしばしばだった。

さて、今日は呑みに行くつもりだったが、野球が終わったのが遅かったので、やめた。これから家呑みするか、それとも明日呑みに行くかのいずれかだが、どうしよう？プロ野球ニュースが11時からで、今から買いに出る時間は無い。ということで結論は12時以降。

本拠地15連勝で、首位と5ゲーム差

寝過ぎるの次の日は徹夜と、ロクでもない生活をしている。今日は回転寿司で昼食を摂って、職場に行って論文のプリントアウト、と考えていたんだが、昼前に眠くて仕方なくなりダウン。そのまま数時間寝込んだ。で5時過ぎにシャワーを浴びて、野球に臨戦態勢。

6時から野球。今日から vs. Carp。牧のソロホームランで先制するも、内野ゴロの間の1点、ソロホームランの1点でひっくり返される。が、負ける気がしない。すぐ裏に嶺井の3点タイムリー2ベースで逆転。その後再び1点差にされるも、宮崎のホームランで突き放し、最後はソトに3ランホームランが出て、8－3。今日も大貫の後、平田、伊勢、エスコバーと抑えて、最後は点差が付いたので康晃でなく入江。ランナーを許すも抑えて勝利。大貫が10勝目。右投手で2度二桁勝利は番長以来とか。本拠地15連勝。6月28日から横浜スタジアムで勝ちっ放しだと。凄い。

そうなると気に成るのが Swallows。最下位 Dragons が相手。Swallows が3点先制したが、Dragons が追い付き、最後は3塁打、敬遠四球、敬遠四球で満塁にして、土田がサヨナラタイムリー。よっしゃー！と叫んでしまった。これで5ゲーム差！Carp 3連戦が終わったら、京セラドームで Tigers と3連戦、その後金曜日から Swallows と横浜スタジアムで3連戦。そこまでに何ゲーム差に成っているか。17.5ゲーム差逆転の優勝は夢ではないぞ。気合入れて応援しよう。

上に書いた通り今日は寝不足。11時からのプロ野球ニュースを見終わったらとっとと寝よう。取り敢えず12時までは起きていないといけないので、少々カフェインを摂取したところ。終わったら酒を呑んで…、はさすがにしない。眠くならないようカフェイン摂取して、寝られるように酒を呑むとやっては、最早廃人。酒は明日呑む。

佐野の2ホームランで本拠地14連勝

想像以上に疲れがたまっていたと見えて、起きられなかった。目が覚めたらもう生協が閉まっている時間だったので、もう少し寝た。

6時から野球。4回表に相手ピッチャーの戸郷に先制タイムリーを打たれ、嫌な展開。が、すぐ4回裏に佐野のソロホームランで取り返す。が、すぐまた5回表にポランコの2点タイムリーで2点差。むぅ。が、負ける気がしない。何しろ本拠地13連勝中だからね。案の定6回裏に牧のタイムリーで1点差、ソトが押し出し四球を選んで同点。今日も中川、エスコバー、伊勢と中継ぎがよい。で8回裏に佐野が2本目のホームラン。1点勝ち越し。最後は康晃がぴしゃりと抑えた。センターへ抜けそうなあたりを柴田がファインプレーでアウトにしたのが大きかった。これで本拠地14連勝。Tigers vs. Swallows が8チャンネルで放送していたので、CMに成るたびに様子を確認。ロハスの3ランホームランと原口のホームランで4－0。その後 Swallows が2点取り返して4－2。が、佐野のヒーローインタビューの時にインタビュアーが「10－2で Swallows がリードされていますリードされています」と言っていた。スマホでチェックしたら確かにその通りで、Swallows が負けている。よし、6ゲーム差だ！いいぞいいぞ。明日から横浜スタジアムで Carp 戦。3タテして、本拠地17連勝にしちゃいましょう。本拠地の連勝記録は Carp の19だそうだ。抜いちゃいましょう。

高校野球の情報を全く知らなかったので、今NHKのニュースで情報を仕入れている。大阪桐蔭負けたね。残念。連覇ならずか。まあそうはうまくいくまい。村上宗隆の弟を擁する九州学院も負けたようだ。近江はどうか？と思ったら勝った。よかった。横浜が負けて、京都国際も負けた今となっては、近江が優勝するのだけが唯一の望み。頑張れ、近江。

本拠地13連勝

Siksek の論文を読んでみたが、よくわからなかった。それでもヒントは掴めたので、それを頼りに証明を考えてみる。で出来た。多分元々考えた証明と違うと思うが、まあいいです。最後はコンピューター頼りだが、証明を出来たので文句無し。でその旨論文を直そう、と思ったんだが、思ったより錯綜していて、中々直せなかった。でダラダラと修正作業。途中寝たりして、作業。何とか形に成った。もう少し直した方がいいだろうが。

で起きたり寝たりを繰り返し、あっと言う間に6時。野球の時間。今日も vs. Giants。濱口は2回までいい内容だったのだが、3回に3点取られた。打線も4回までメルセデスにノーヒットに抑えられる。が、勢いはやはり Baystars か。ソトの初ヒットから柴田、嶺井、桑原とヒットが出て2点。楠本のセーフティースクイズで同点。原は堪え性が無く、そこでメルセデスをひっこめた。有難い。6回ソトに2ランホームランが飛び出して勝ち越し。8回に宮崎に2ランホームランが飛び出して7－3。もうこうなれば余裕。平田（1イニング）、入江（2イニング）、エスコバー（1イニング）がパーフェクトに抑え、勝利。昨日30球を放った康晃をベンチからはずしていただけに、この勝ちはデカい。これでハマスタ13連勝。Swallows は例によって Tigers に勝っていただけに今日勝っておいてよかった。まだまだ離されないよ。

明日から生協がオープンする。明日は職場に行こうか。ここ数日生活リズムがめちゃめちゃに乱れているので、明日くらいは外出するか。数セミを買ったり論文を印刷したりしたいので、行くか。タモリ倶楽部が始まる前には寝よう。そして少し長目に寝よう。疲れが大分たまっている。今晩はよく寝られるだろう。

本拠地12連勝の新記録

昨日はその後rankが1の場合を片付けた。何が書いてあるかわかった。でその旨書き足す。でrankが2の場合を理解しようと思ったんだが、皆目理解できない。やはり研究ノートを探さないといけない、ということだろうか。でさっき気付いた。多分理解したいことは小生が編み出したことではなく、Siksek の論文に書いてあることをヒントにしてやったのだろうと。rankが1の場合も Siksek の論文の補題を使っている。ということで Siksek の論文をダウンロードして理解することから始めないといけない、ということだろう。ということでこれからやる。

その前に野球。今日から横浜スタジアムで Giants との3連戦。Giants の先発は1か月ぶりの登板の菅野。桑原が2球目を打って2塁打。楠本が送りバントを初球に決め、1アウト3塁。佐野が2球目を打ってセカンドゴロ。その間に桑原がホームインと、僅か5球で1点。幸先のいいスタート。が、2回表に不調の岡本に特大のホームランを打たれて同点。もう。が、5回裏にソトが初球を打ってホームランで勝ち越し。さらにチャンスを作って、桑原がタイムリー2塁打。3－1。今永が球数を要しながら抑えていく。7回まで1失点と、結果としては中々。今永の課題は序盤の3回だな。で伊勢が抑えて、9回は康晃。あっさり2人抑えるも、2アウトから2、3塁のピンチを作る。ピンチを作らないと抑えられない性格だろうか？ファンの間では「劇場」と呼ばれている。最後は重信を抑えて、無事3－1でゲームセット。これで本拠地12連勝（1引き分けを挟む）の新記録。素晴らしい。これで Swallows が負けてれば文句無しだったのだが、Tigers が Swallows に勝つわけもなく、ゲーム差は7のまま。まあいいです。Tigers はあてにしない。この3連戦は3連勝で行って、Swallows との差を開かれないようにしませう。

それにしても Tigers はだらしない。7連敗だと。あんだけよかったのにな。今日は青柳で負けたようだ。Carp は監督をはじめコロナに大量罹患も、5－0で勝利。1番に起用された堂林が2ホームラン。今日急遽一軍登録された矢野がプロ入り初ホームラン、森下が完封勝ちと、チームの危機何するものぞという感じ。4位浮上で、3位 Giants と0.5ゲーム差。Carp さん、Giants には勝たせないので、安心していてください。

さ、Siksek の論文を読むか。

終戦の日

比企が滅亡して、頼家が息を吹き返して、さてどうなる、というところで大河ドラマは終わった。来週も楽しみ。

その後部屋の片付けをして、研究ノート探しをしたんだが、とんと見付からず。部屋を片付ける筈がかえって散らかった感じ。もう研究ノートを探すのは諦めた。もう一度一から考え直せばよい、というということにした。で一つは意味が分かった。要するに楕円曲線上の与えられた有理点 P に対し、P＝3Q となる有理点 Q が無いことを言いたいのだ、と。で昔は多分適当な素イデアルを法として考え示したのだろうが、その工程は思い出せない。が、そんなもの Magma で一発でないの？と思って調べたら、あった。DivisionPoints という命令。でその命令を使ってみたら、すぐに無いことが分かった。これで一つ解決。あともう二か所何を言っているのかわからないところがあるが、これも頑張れば出来るだろう、と頑張ることにした。これを書き終えたら考える。

全然外出してないためか、髭を剃っていない。もう限界だ。そろそろ剃ろう。「報道ステーション」が終わったら髭を剃って風呂だ。それから一杯引っ掛ける。18日くらいに職場に行こうと思っていたんだが、その日は雨らしい。結構な量降るとか言ってた。M2の学生のゼミをいつやろうか、ということでメールを出したんだが、就職内定をもらっても内定者説明会とか色々あるらしく、まだ忙しいようだ。で24日以降にして欲しい、と言ってきて、24日はうまいこと別の用事があって職場に行くことになっているから、その日の1時に fix して、用事は4時から、と非常にいいスケジュールに成った。ということであと1週間くらい、日が暮れてから買い物に出る以外は外出する用事が無くなった。また髭を伸ばしかねない。気を付けよう。

今日は終戦の日。閣僚が靖国神社に参拝に行ったとか行かなかったとかニュースに成ってる。靖国神社ってA級戦犯が合祀されてるから行くと問題がある、と思っているが、そうだろうか？だとしたらA級戦犯だけ別に移せばいいのだと思うのだが、そんな簡単ではないんだろうな。どうでもいいが、小生の母親は「靖子」という。靖国神社の何かの時に産まれたのでそう付けられたと言ってたな。まだ早稲田にいる頃、ししょぉ（≠足立先生）を訪ねてきた人の名前が「靖」という名前だった。内線で訪ねてきた旨連絡があったんだが、その時電話口の人が「たつにあお」と言っていて、意味がわからなかった。冷静に成って考えると成程「立」に「青」だな。靖国神社の靖、と言ってくれた方がよくわかった、という覚えがある。小生の兄者は「博敏」と言うが、「はかせのはく」と言うと何か変なので、「はくしのはく」と言うことにしているが、まさかそれで「白紙の白」と思う人はいないだろう。自分の名前を言う時は「きちょうひんのきに、ぶんしょうのしょう」ということにしている。少し前は「貴乃花のたか」と言っていたんだが。「貴景勝のたか」はちと弱い。「隆の勝のたか」と間違える人は相当な相撲通だろう。えーと、大分話が逸れた。終戦から77年経ったそうだ。昭和97年ということやね。戦争を知ってる人も大分少なくなったろう。母親は昭和13年生まれだったので、戦争そのものより終戦後の貧しさをよく語っていた。そういうことを言ってくれる人がいなくなると、またぞろ戦争、ということに成りそうで怖い。平和が続きますように。

5ゲーム差に縮めることは出来ず

36時間サイクルに成ってるな。今日もわけのわからない時間まで寝ていた。まあもうしばらくこのままでかまわないので、続けると思う。

6時から野球。今日は坂本が先発と、まあ落としても仕方ない試合なのだろう。が、1回からビッグチャンス。ヒット、三振、四球、死球、死球で1点。もう何点入るのだろう？と思ったら、ピッチャーゴロゲッツーで1点のみ。その裏、いきなり1番に入った山田が初球ホームランで追い付かれる。4回に塩見の2ランホームランと内野ゴロの間の点で一気に3点取られた。その後両チームとも先発投手を早目に引っ込め、どうなるか分からない展開。が、その後点は入らずで、5連勝ならず。5ゲーム差に成らず、7ゲーム差で1日休み。うーん、残念。まあまだ先は長い。気張りましょう。

さて、これから録画しておいた大河ドラマを見る。そろそろ比企が滅ばされる回だろう。いよいよ北条が権力を握り出す。そうなると面白い。2代将軍を幽閉したり、3代将軍が殺されたり。さあ見るぞ。

智弁和歌山敗れる

どうも生活が36時間サイクルに成っている。昨日はわけのわからない時間まで寝たので、今日は数回仮眠を取った以外は起き続けている。でダラダラと部屋掃除。奥からひっくり返したので、収拾が付かなくなっている。これから数日間人間の過ごす所でないほど散らかった所で過ごすことになる。もう研究ノートは見付からなくてもいいから、どうにかしよう。

ダラダラと過ごしながら高校野球を流していた。国学院栃木 vs. 智弁和歌山の試合は初回から国学院栃木が2点先制したが、さすがに去年の優勝校だけあって、智弁和歌山がすぐ追い付く。で一旦智弁和歌山が勝ち越すも、すぐに国学院栃木が逆転。8回表に智弁和歌山が2アウト満塁のチャンスを作るも無得点。するとこんな時は裏にえてして点が入るのだが、その通り。国学院栃木にホームランが出た。で9回表はあっさり終了し、去年の優勝校が敗退。コロナ陽性者が出て調整は難しかったと思われるが、まあ仕方ない。これも勝負。国学院栃木には引き続き頑張ってもらおう。

ところで Yahoo！の高校野球の結果を見たんだが、勝ち投手、負け投手が書いていない。勝ち投手、負け投手は付けない、というレギュレーションなんだろうか？

5時半ごろ台風が静岡に上陸した、というニュースが入った。で今日は神宮と Zozo マリンの試合が中止。Baystars はまた中止試合が出てしまい、ますますスケジュールがきつくなる。9月は30日中27日が試合で、9連戦、10連戦があるという、うーむ。

でテレビを見ていたら、7時から Tigers vs. Dragons の放送が始まった。多分関西だけなんだろうな。Tigers は貧打にあえいでいて、40イニング強タイムリーヒットが出ていないそうだ。でこの間に取った点は、Baystars の石田のワイルドピッチによるものだけとか。今日は藤浪がナイスピッチングだったのだが、またも完封負けで藤浪を見殺し。近本、大山、中野がコロナ陽性で抜けているのは痛いね。今年はいろんなチームが順番にコロナで痛い目に会ってる。もうこればっかりはどうしようもない。いるメンバーで頑張ってもらいましょう。

貯金4で首位と6ゲーム差

昨日は寝不足だった上に、違法販売機でレモンハイを買って呑んでしまい、今日はわけのわからない時間まで寝ていた。「笑わない数学」のポアンカレ予想の回を見てもう一寝入り。でまたわけのわからない時間まで寝てしまった。

6時から野球。今日から vs. Swallows。まず村上にホームランを打たれ先制される。が、桑原のタイムリー、嶺井の二塁打で逆転。オスナにソロホームランを打たれ追い付かれるも、ソトの2ランホームランで2点勝ち越し。伊勢、エスコバー、康晃で盤石のリレー、といきたいところだが、エスコバーが乱調。満塁のランナーを残して入江にバトンタッチ。押し出し四球はあったものの、1点で抑えて、9回は康晃。ばっちり抑えて4連勝。貯金は4で、Swallows と6差。最高で17.5ゲーム差あったそうだから、凄いことだ。明日も勝って、といきたいところだが、台風が関東地方を直撃するらしく、試合は出来そうにない。この上また中止か。9月は30日で27試合やらなくてはいけないので、これ以上の中止は避けたいところだが、仕方ないか。

Marines に茶谷という選手がいる。今日7年目にしてプロ初ホームランを打った。茶谷姓は山科に多い。でこの茶谷は京都出身か？と思って調べたら、神奈川だそうだ。ちなみに Baystars の上茶谷は京都出身。やはり山科の茶谷一族の縁者だろうか？小生の苗字も多くは無いが、出は石川。中学の時小生の兄弟の他にもう一組加川姉弟がいたが、そちらは宮城の出だそうだ。伊達は宮城かと思いきや、伊達政宗の息子が四国に領地を得たため、四国にも伊達は多いとか。足立は福知山に多いらしいが、大河ドラマに出てくる足立遠元も足立先生の遠い縁者とか。苗字だけではどこの出かわからんね。だから何、ということも無いが。

Tigers 相手に3タテし、貯金3

昨日は呑んで帰ってきてブログを書いたが、その後呑んだ後の悪い癖で寝ようとしなくなる。「おはよう朝日です」でニュースを仕入れて、仮眠。用足しがしたくなり起き、2時間ほどの睡眠。その後再び眠くなり寝るも、テレビを付けっ放しにしたためか熟睡できず、また２時間ほどで起きた。まあいつものことだし、今日は特段予定があるわけでなし、起きることにした。

で昨日は、さも部屋掃除をやるかのようなことを書いたが、ほとんどしてない。多少はしたが、大したことない。研究ノートは見付からず。まあボチボチやりますわ。

いつもより1時間早く、5時から野球。Tigers 戦3タテが掛かる一番。初回に石田がワイルドピッチをして先制を許す。が、4回に佐野のホームランで追い付き、7回の嶺井の2ランで3－1という展開に。さらにオースティンのヒットと Tigers のエラーでもう1点。昨日康晃が33球も放ったので、今日はベンチに入っていない。ということで伊勢、エスコバーとつないだが、危ないこと。伊勢はランナー二人許すも、佐藤輝明を三振に切って取り無失点。エスコバーもランナー二人を許し、あわやホームランという当たりをレフトに二者連続で打たれたが、どちらもフェンス前で失速して助かった。ということで vs. Tigers 3タテ。オールスター前に3タテを食らったのをやり返した。これで貯金3。横浜スタジアムで11連勝の球団記録。Swallows が今日も Carp 相手にリードされている。7ゲーム差に成っちゃうのかな？だとすると逆転優勝も強ち絵空事ではなくなってくる。97年（優勝の前年）もオールスター前は借金があったのに、8月大勝ちして首位 Swallows にグンと差を詰めたのだった。その後石井一久にノーヒットノーランを食らってしょぼんとしたのだが。今年ダメでも来年は期待できるな。頑張ろう！応援すべし。明日から vs. Swallows 3連戦。4ゲーム差にしちゃいましょう。

ここの所コンピューターの電源を落としてなかった。ちょっと気に成ることがあって2つばかりプログラムを走らせていたんだが、コンピューターが悲鳴を上げたか、起きたらリブートされていた。片方は Magma ですぐ結果を返してくれる計算だし、もう一方は学生の修論のネタにしよう算段していたので、計算が終わらないでよかった。ちゃんと指導できるよう、こっちも勉強しないと。そのためには微積分から復習しないと。学生の頃はフウフウ言いながら勉強したことでも、今くらい数学力があれば簡単に復習できる。頑張ろう。

今日は祝日。8月に祝日があっても我々は有難くないのだが、お盆休みがある人にとってはキリよくお盆休みが始められていいだろう。大学も1週間休みらしく、生協は17日まで閉まっているとか。事務からもメールが来ない。こんな時は住処で大人しくしてるのがいいのだが、車をウェストウィングの近くに止められて、暑い中歩かなくていいから、行くのも悪くない。職場に行く用事は印刷することくらいしかないので、研究ノートを見付けないと。見付からなかったら職場には行かない。見付かったらどこかで1日行く。ということで探す。明日以降ね。

大谷翔平二桁勝利＆二桁本塁打

今日は2時からゼミ。ということで11時半くらいに起きて、回転寿司で腹をこしらえて、ゼミに臨む、というのは例によって水泡に帰して、起きたら1時過ぎ。シャワーを浴びて、押っ取り刀で飛び出す。

個研室着2時10分くらい。まずい、と思ってゼミ室に行ってみると、学生がいない。個研室に戻ってメールを読むと、朝の6時過ぎに「熱があるのと吐き気がするので、今日は休みます」というメールが来ていた。何だ、慌てる必要なかったな。まあ住処でメールを読むくらいの余裕を持って行動しないといけない、ということだ。

その後しばし個研室でぼーっとして、事務に書類を提出したり、など、しばし時間を無駄に使って、論文の直し。相変わらずよくわからない。「reduction」という単語しばしば出てくるんだが、これは reduction moudlo 素イデアル、のことなのか、何か別の問題に帰着させるのを reduction と言っているのか、皆目見当が付かない。いよいよ研究ノートを探さないといけない、ということだな。研究ノートが無くても間違いだとわかる場所があるので、そこをつぶすなどで7時半くらいまで。

すき家でトリプルニンニク牛丼を食べて、草津田上インターから有料道路へ。渋滞情報は特に出ていなかったが、インターを過ぎたら「瀬田西－京都南 渋滞15km」の表示。…。まあいいです、のんびり行きましょう、ということで穏やかな気持ちで運転する。30km/h を割ることしばしば。まあノンビリ行こうと決めたので、イライラはしない。住処着8時45分。疲れた。

でテレビを付けると、3－0で勝っている。すき家を出た時点では0－0だったが。敵失に乗じて出塁し、牧、宮崎のタイムリーと相手のエラーで3－0に成ったようだ。見始めた時は9回2アウト。康晃 vs. 佐藤輝明という展開。佐藤が粘り、決着が付くまで11球。佐藤は三振で、ゲームセット。これで三浦監督初の貯金2で、2位浮上。まあまだ順位を気にしても仕方ないが、Swallows が負けたので8ゲーム差。きばりましょう。

今日のニュースは、Baystars 2位浮上、ではない。大谷翔平がついに10勝＋二桁本塁打の記録を達成した。ベーブルース以来。凄い。今日はホームランを打ったようで、イチローを超えて118本塁打。まだまだ伝説を残しそうやね。楽しみ。

明日は研究ノート探しに時間を使おうと思っている。ゴミが大量に出るな。まあそんなことでもないと部屋掃除しないんで。頑張ります。

貯金1で Tigers と0.5ゲーム差

昨日は11時前に寝た。今朝は10時前に起きる必要があったんでね。で9時40分くらいに起きた。10時ちょい前にパソコンが届く。予想よりちょっと重かった。でお金を払って、それからソフトを沢山インストール。まず CapsLock キーを Ctrl キーに変えて、xyzzy のインストール。ちゃんと ctrl-\ で漢字モードに切り替わる。で SageMath、PARI/GP、Maple をインストール。SSD だけあって速い。その後 TeX をインストールしたんだが、やはりいつもより短時間で済んだ。その後 Acrobat、vpn client、TeraTerm、FFFTP などをインストール。動作実験をして、ひとまず終了。

6時から野球。今日から vs. 2位Tigers。1.5ゲーム差なので、何としても勝たないと。が、2回に宮本のまずい守備を発端に2失点。しかし今永はその後が凄かった。3回以降1安打。9回まで投げ切った。攻撃は、3回に相手のエラーで1点、6回にオースティンのセカンドゴロの間に1点取り同点。そのまま9回へ。楠本が四球で出塁。嶺井のバントはいいバントに見えたが、ランナーがもたついたのか2塁はアウト。宮本が送りバントで2アウト2塁。代打宮崎は申告敬遠で次の代打は大田。ワイルドピッチで2アウト3塁。でサヨナラヒットをレフト前に。いやーよかった。相変わらず序盤は悪い今永だったので、今日は負け覚悟だったが。勝ち投手は今永。9回完投で2失点はお見事。これで貯金1で、Tigers と0.5差。首位 Swallows と9差。まだ何かあるかも、と期待はしておこう。まあ無理だろうが。最低限2位入賞を目指しましょう。

明日は2時からゼミ。暑そうだ。昼過ぎにちょっと冷たい飲み物が欲しくて近所の自販機に買いに行ったが、もの凄い暑さで、後悔した。今ちょっと喉が渇いているので買いに行こうかと思ったのだが、暑かったら水道水で我慢しよう。9時過ぎまで30度割らないと言ってたから、今もさぞ暑かろう。熱帯夜だな。まあ冷房かけて寝てるんで、関係無いが。

二之湯公安委員長（肩書は違うかもしれない）は京都の選挙区の出である。ポスターが近所に貼ってあった。確か比例で当選しているはず。こんな人に警察のトップを任せるとは、故安倍氏なのか菅氏なのか忘れたが、見る目が無い。それにあの発言はなんだ。もう引退するそうなのでよかった。明日改造内閣が発表されるらしいが、期待は出来ない。旧統一教会と関係ない人が選ばれるというのは、まあ当然だがよかった。カルト教団は早いこと無くなってもらいたい。

横浜高校が勝ったようだ。よかった。この前女子高校野球の決勝戦を中継していたが、横浜隼人高校が最終回に追い付いて延長戦で勝っていた。横浜のチームが勝つのは何でも嬉しい。プロ野球も是非。

渋野日向子、1打差で優勝ならず

昨日は呑んだが、呑んでる最中に眠くなり、もう帰ろう、と思った所で2人客が来た。一人はよく知っている人で、もう一人は知らない人。が、その人は小生を知っていた。名前だけはよく聞いたことがある人だが、どっかで会ったかな？と思いつつ起きてもう1、2杯。結局2時近くまで呑んでいた。非常に難しい話で、小生にはわからない。まあ分からなくてもいいけど。単なる下ネタ以上の深さがあった。

で帰ってきてテレビを付けると、ゴルフがやっていた。渋野日向子がダブルボギーを叩くあたりから見始めた。その後首位を行くゴルファーが大トラブルに巻き込まれ、スコアを大分落とした。で渋野に一気に優勝の芽が出てきた。解説の戸張氏は「ここでイーグルを出せば」とか言ってたが、そうはうまくいかなかった。先にホールアウトしたゴルファーが渋野より1打良かったので、優勝ならず。残念。その後プレーオフにもつれ込んだ。放送予定は4時までだったのだが、プレーオフに成ったということで放送は延長。5時近くに成っても決着が付かず。まだ延長するのか？と思ったら、5時前に放送が終わった。決着は放送時間内に付かなかった。まあいいです。

でそのまま呑んだ日の悪い癖で寝ようとしない。1時間程寝たが、その後起き続けている。論文の続きをやっていたんだが、前に途中まで雑に書き散らしたものなので、何を書いてるのかわからない。書いたのは自分なんだが。これは研究ノートを見ないとわからないな、ということで探し始める。結局部屋を掃除する以外に手は無いので、ちまちまと掃除を始める。研究ノートその1は見付かったが、その2がまだ見付かっていない。ゴミを袋に移しても、缶・瓶は水曜日、可燃ごみは木曜日と、それまではゴミは部屋に置いておかないといけない。仕方ない。で明日は資源ごみの日。段ボールと雑紙、アルミ缶は今晩中に出しておこう。それで大分すっきりする。まあそれでもまだ人の住む部屋ではないが。もう少し片付けをする予定。

のつもりなのだが、8時半から「Qさま！」。月曜日は帰ってくるのが遅いことが多かったので、「Qさま！」は久しく見ていないので、見る。で明日は10時には起きてないといけないことに成ってしまった。この前 line で性能のいい中古パソコンいりませんか？と言う趣旨のメールが来ていて、それを買うことにしてしまい、明日10時に届ける、と言われているので。今日の星占いで「無駄な買い物をしてしまいそう」と言っていたが、それのことでないといいが。というわけで、今日は早寝しないと。

さっき吉野家の牛丼弁当を食べていたんだが、急いで掻っ込み過ぎてむせた。苦しいこと。喉に引っ掛かっていたものを戻すまで苦しさが取れなかった。誤嚥ではないと思うが。何にしても苦しかった。もっとゆっくり食べろ、ということだな。もう若くないのだ、気を付けないと。

足立先生の Twitter はマメに見てるんだが、最近は富山大のKさんとか、都立大のYさんとか、理科大の加塩さん（何故か実名）の呟きも面白いので、見るようになってしまった。加塩さんの呟きで印象的だったのが下記のもの：

数学の課題は、その答えを調べて書いてね、という意味ではなく、
・何が問われているか分からなければ語句の定義を復習しておいてね。
・どういう理屈で解が得られるが理解しておいてね。
・解を得るために必要な計算を練習しておいてね。
くらいの気持ちがこめられているものですよ。。。

勝率5割に逆戻り

昨晩は渋野日向子の活躍を見るために、寝不足にも関わらず遅くまで起きていた。調子を上げてきているようで、今晩も楽しみ。

で起きたらもう野球が始まっていた（デーゲームです）。0－0という状況。3回までロメロがノーヒットに抑えていたんだが、4回に初ヒットを皮切りに1点取られた。その後内野ゴロの間にもう1点取られる。Baystars はチャンスは作るんだが、点に成らない。岡林の好返球でホームで2度刺された。でもたもたしているうちに8回。石垣に3ランホームランを打たれ、the end。これで5割に逆戻り。まあカードを勝ち越したんでいいです。これからも着々と勝っていきましょう。

昨日は野球後職場に行ったが、呑み屋の店長から line で「呑みに来ませんか？」とお誘いがあった。職場に行ったので、呑みに行ってない。ということで今日呑みに行っておかないと浮世の義理が立たない。ということで呑んできます。

貯金1！

昨日はほぼ徹夜状態だったのだが、数時間寝ただけで目が覚めてしまった。もう眠くないし起きることにした。で論文の直しをしたり、昨日の「座王」を見たり。が、やはり寝不足だ。眠くなってきて、もう少し寝た。熟睡したわけではないが、まあいいでしょう、と今度こそ起きた。

そうこうしているうちに高校野球が始まった。まあ真剣には見ないが、結果くらいは気に成るので、流しながら作業。3点取られた方がその後一方的に押し返すという展開で、1試合目終了。というところで Dragons vs. Baystars の時間に成ったので、Jsports2にチャンネルを切り替える。

今日は昨日書いた通り今シーズン未勝利の坂本。あまり期待していなかったが、どうしてどうして。5回無失点。勝ち投手にしてやりたいところだが、点が入らない。Dragons の小笠原も堂々のピッチング。で8回終わって0－0。Dragons は抑えの R.マルティネスを出してきた。これは厳しいか、と思ったら、先頭打者に死球。桑原が送りバント。楠本の代打オースティンは三振で2アウト。佐野のファーストへの当たりをビシエドが抑えて内野安打。抜けてれば1点入ったのに。でバッターは牧。得点圏打率はセ・リーグ一。期待して見る。打球はライトへ。岡林が取れずタイムリー2ベース。均衡破れた。9回裏は康晃が締めてゲームセット。これでついに貯金1！三浦監督は100勝目だと。よかったよかった。坂本が勝ち投手に成ってれば言うことなかったが。まあ贅沢は言うまい。

で5時半くらいだったのだが、職場に行くことにした。論文を印刷して直す作業をしようと。で印刷してみると、まあ間違いがあるわあるわ。画面で見ているだけでは気付かない。やはり印刷しないと。数学は書きながらでないと理解できないし、論文や講義資料の類は一度印刷しないと間違いがわからない。当然のこと。それと自分で昔付けた証明が理解できなかったりして焦る。それも紙を用意して、右から左へ写しながら読んだ。どうも無駄なことをしている。後で直そう。で10時を過ぎているがまだ職場にいる（これは職場で書いてる）。寝不足だしそろそろ帰ろう。途中給油してから帰るので、今日は下道で。

でセ・リーグのナイター2試合を気にしいしいだったが、すごかったのが Carp vs. Tigers。Tigers の先発は藤浪。今日はいいピッチングをしていたようだ。2－5と Tigers リードで最終回。そこまでは見ていて、そこから作業にちょっと集中していたんだが、後で結果を見てびっくり。Carp が9回裏に4点取ってサヨナラ勝ち。満塁ホームランでも出たか？と思ったらそんなことは無く、Tigers の守備の乱れを発端にしているようだ。小幡の悪送球と中野のファンブル。最後は秋山がサヨナラ打を打ったようだ。うーん、藤浪残念だったね。今日は勝ち投手に成るチャンスだったのだが。まあ今日のようなピッチングをしていれば、近いうちに勝てるでしょう。Carp は連敗7でストップ。Swallows が Giants に負けていただけに、Tigers は8.5ゲーム差に詰めるチャンス、昨日5位に落ちていた Carp は Giants に離されないでよかった、ということになった。まあ面白くていいやね。

Baystars の勝率が5割に

結局徹夜してしまった。論文を直しながら SageMath や Magma をいじったり。合間にマインスイーパーをしばしば。で大分感じが出てきたが、まだよくわからないところがある。やはり一度印刷しないとダメだな。暑い中学内を移動するのは嫌だから、明日か明後日かに職場に行こうか？水曜日にゼミがあって職場に行くが、それまで印刷しないのも何だし。まあ明日何時に起きるかによるな。

午前中に所用で10分くらい先まで。雨が降ったりやんだりで、非常に蒸し暑い。出掛ける前にシャワーを浴びていったんだが、汗のひかないこと。もう地獄だった。帰りに銀行に寄ってお金を卸して、なか卯で鰻を食べてきた。

帰宅後論文の続き。色々謎な英語が見付かり、難渋する。昔書いた論文は足立先生に英語を見てもらったものがあったり、出版社が英語を直してくれたものがあったりと、手本にするには丁度いいので、pdf ファイルを沢山開いた。ためになる。SageMath で for ループを回すのは、もう書き物や過去に書いたスクリプトを見なくても出来るようになった。Magma にももう少し慣れよう。

テレビは例によって付けていた。橋下徹氏が旧統一教会の名称変更に関する手続きに関して言っていたが、国民感情には沿わないながらも、法治国家としてはこうだ、ということをズバリ言っていて、面白かった。やはり法律がそう成っている以上そうせざるを得ない、というのは至極ごもっとも。小生も学生に対しては可哀そうだと思いながらも、レポート試験とはそういうものと決められている以上、従った。締め切りの日を間違えていた、という言い訳は大学でしか通用しない。レポート試験に関することは大学でも通用しない。いい勉強に成ったと思い、諦めておくれ。

6時から野球。今日から vs. Dragons。大野雄大はいい立ち上がり、大貫はフラフラな立ち上がりだったのだが、大野が先に崩れた。Baystars が先制。大貫は2回から立ち直る。5回裏に Dragons が草野球をやってくれた。何でもないレフトフライを、レフトが目測を誤ったと言うか何と言うか、グラブに触れることなく落とす。記録は3ベースヒット。嶺井のタイムリーで2点目。6回も外野手がまずいプレーをして、それを契機に2点。4－0で楽勝か、と思ったら、6回裏に大貫がふらふらしだして2失点。大貫は大抵6回で引っ込むが、体力が無いのか、と思ったら、解説の権藤博氏曰く、心のスタミナの問題。早く終わらせようと思ってしまうのが良くないのだと。成程。権藤さんの解説は面白い。その後伊勢、エスコバー、康晃で逃げ切り。権藤さん曰く、「横浜も大したことありませんな」と。まあその通りなので何も言い返せない。それでも5割に戻した。Dragons 戦はこれで11勝2敗1分。おいしい。3タテといきたいところだが、明日の先発は勝ちの無い坂本。まあ明日はいいです。日曜日は勝ってください。

試合終了後他球場の結果を見ると、Swallows vs. Giants が5－9に成っている。途中見た時は1－9だったのだが。9回裏に満塁ホームランが出たらしい。その後もランナー2、3塁のチャンスを作り、ピッチャーを交代させた。最終的には逆転出来なかったが、Swallows はやっぱり強い。

ニュースで MLB のことを放送していた。大谷のいる Angels は大谷の2ホームランを含む7ホームラン。が、全てソロで、8－7で負けたようだ。こんなことは初めてでは？と思ったら、過去にも7ホームランで負けた例はあるようだ。珍記録。まあそれより、大谷の MLB 通算ホームラン数がイチローに並んだらしい。上には松井秀喜しかいない。頑張ってもらおう。

今日もあっちこっちで大雨。長浜の高時川が氾濫したそうだ。福井も大雨だったそうだが、兵庫県から1時間に1本敦賀まで行く電車がある。大半は湖西線経由なのだが、夕刻に琵琶湖線経由の電車がある。ダイヤは乱れたろうな。国道8号が通行止めで、北陸自動車道も不通の区間があるそうだから、電車くらいは走ってないと。まあしかし、自然は怖いわ。

雨で思い出した。Baystara は降雨中止やコロナによる中止などの試合が多く、今日発表されたスケジュールによると、9月の30日間のうち27日間試合をやらないといけないらしい。しかも9連戦と10連戦があるとか。うー、とんでもない。伊勢とエスコバーは今日も放っていたが、疲れさせないためにも大量点差の勝ち試合を作らないといけない。9月に大負けというのが一番あってはいけない事態。今月中に貯金を沢山作っておかないと。ということで明日からも変わらず応援する。

今日で5割復帰の筈が、降雨ノーゲーム

起きなくていいとなると起きない。今日もわけのわからない時間まで寝た。呑んではいないんだが、昨日は寝不足だったので。明日は午前中に用事がある。寝るか、それとも徹夜か。

で5時45分から野球。今日勝って5割といきたいところ。が、九里を打ちあぐねて、3回までパーフェクトに抑えられる。が、4回。雨が強くなり中断。そのまま雨は止むことなく、強くなる一方。結局降雨ノーゲームと成ってしまった。Baystars は試合をたくさん残していて、今年は侍ジャパンの日程が詰まっていて、シーズンの終わりは早目らしい。ということで、もしかすると久々のダブルヘッダーも止む無し、と言う展開に成るかも、と言っていた。エスコバーと伊勢が大分投げてるし、シーズン終盤でバテなきゃいいが。明日からの3連戦はバンテリンドームなので、中止は無い。最下位相手だ。3タテと行きましょう。

さて、Magma のマニュアルのホームページを教わったので、見ながら実験。うーん、色々出来るんだな。昔苦労してやったものがどんどん自動化されてしまう。まあそう成ったらそう成ったでいいでしょう。とりあえず今回はそうしたので、そうする（謎）。ということで早いとこ終わらせてしまおう。他にもやることは色々あるんでね。

今日はあちこちで大雨だったようだ。線状降水帯というやつがあっちこっちで出たとか。自然は怖いな。

Magma 恐るべし

どうもちゃんと寝ようとしない日々が続く。今日も3時過ぎに起きてしまい、そこから作業。論文書きを始めたのはいいが、随分前に適当に書いたものなので、よく思い出せないことが多い。当時使っていた SIMATH というソフトはもう影も形も無いので、SageMath で計算し直そう、と始める。が、どうも rank が求まらない。ここは詳しい人にメールを投げて、教えてもらおう、と算段。でメールを書く。その後論文の直しを続行。

9時過ぎにメールに返事があった。最近は Magma を使うことが多いらしく、SageMath に関する解答は得られなかった。が、Magma の凄さを教えてくれた。y²＝x³＋1728 の二次体上の rank がすぐ返ってくる。コードを教えてくれたので、Magma Calculator（2分以下なら Magma での計算を許してくれる頁）で色々試してみたが、SIMATH で求めたのと同じ答え（正確には GL₂(Z) で移りあうものだが）を返してくれた。しかも結構な短時間で。昔は類数1の2次体上の楕円曲線の rank を求められて喜んだもんだが。時代は変わった。SageMath にやらしている計算は続行中。PARI/GP にもある計算をさせているんだが、こちらも続行中。コンピューターが悲鳴を上げるまでやらせ続けるつもり。

1時から1時間強ある打ち合わせをオンラインで。大分深刻な問題に成ってきた。仕事が増えなければいいですが。打ち合わせ中に来客。「大阪ガスです」とのこと。1時間もすれば打ち合わせは終わるだろうから、再度訪問していただく約束をして、帰ってもらう。打ち合わせの続き。W 先生に仕事が降ってしまった。うーん、仕事と言うのは一部に集まるようにできてるんだな。時間割関係は大丈夫でしょうか？ちと心配になる。

でその後ガス屋が訪ねてきて、点検。すぐ済んだ。タブレット端末に名前を書くあたりが現代っぽくてよかった。

でダラダラと論文を直して、5時45分から野球。今日も先制を許すが、すぐに牧のタイムリーで追い付く。長野にホームランを打たれたが、６、７、8番の3連打で満塁。バッターは濱口。まあダメだろう、と思ったら、まさかの同点打。プロ入り2打点目とか。桑原が内野ゴロでもう1点。6回に戸柱のタイムリーと、昨日から1軍に戻ってきたオースティンがタイムリーヒットで3点差。解説の石川雄洋氏が「まだオースティンを使うのは早いのでは？」と言っていたが、まあ積極的采配と言うことで。で万全を期して伊勢大明神の登板。もう勝ちムード、だと思ったら、まさか伊勢が3点取られた。で試合は延長戦へ。桑原のヒット、楠本が送り、佐野が申告敬遠、牧がヒットを打つも、前進守備の外野の正面だったため、2塁ランナーは帰れず。バッターは宮崎。Carp 戦で宮崎となると、何かが起きる。が、宮崎と言えばゲッツー。どっちに出るでしょう？と思ったら、前者だった。見事なサヨナラ勝ち。苦手 Carp にカード勝ち越し。明日勝てば5割。いいですね。Tigers に3連敗食らっちゃった分を取り戻すチャンス。Carp は6連敗だそうだが、明日は優しい Baystars に成らず、5割を勝ち取りに行きましょう。

明日は1時からゼミだったはずが、まだ就職活動が長引いてるらしく、明日は面接があるので休ませてくれ、と。明日は雨だそうなので、外出しないで済むならそれに越したことはない。来週やる、と言っていたが、木曜日は祝日だし、金曜日以降は1週間ばかり一斉休暇に成るだろう。ということで火曜か水曜になら、と返事を書いておく。明日はゆっくりできるな。論文の続きでもやるか。

村上宗隆5打席連続ホームランの日本新記録

昨晩はプロレスが終わるまで起きていてしまった。ここ数日不規則な生活で疲れていたか、今日は夕刻まで寝ていた。で妙な夢を見てうなされた。その夢の一部は昔書いてボツにした論文のことなのだが、目が覚めて寝床でウダウダしているうちに名案を思い付いた。ということで起きてコンピューターに向かう。コンピューターを乗り換えてからスペルチェッカーを起動したことが無かった。で起動しようと思ったら起動せず。おかしい。もう1台のコンピューターを参考に直したのだが、うまくいかない。コンピューターを再起動すればいいのでは？という気がしないでもないが、ちょっと計算中なので再起動できない。仕方ないのでファイルをUSBメモリーに移して、もう1台のコンピューターでスペルチェック。情けないミスが多過ぎる。まあいいでしょう。

5時45分から野球。今日は「スターナイト」なので15分早く開始。今日からの3連戦は特別なユニフォーム、ということで、襟付きのユニフォーム。史上初とか。まあ勝てば何でもいいです。ゲーム差なしの Carp が相手なので、何としても勝ち越さないと。が、初回にいきなり菊池にホームランを打たれる。嫌なスタート。が、2回に今永のタイムリー2ベースで同点。3回は5連打で3点、4回は楠本のホームランで1点と、差は開いていく。秋山のタイムリーで1点取り返され、9回はゲームセットの筈が柴田のエラーでホームランで同点のピンチ。が、康晃が抑え切って、スターナイト初戦は勝ちゲーム。で3位浮上。よしよし。試合終了後は「スターナイト」ということで催し物。ラッキー池田が出てきた時はびっくりした。ダンスで盛り上がり、牧と入江がノリノリ。いい催しものでした。

が、今日はそっちよりも Swallows の村上の話題をしないと。阪神戦で3打席連続ホームランで終わっていたのだが、今日の1打席目でホームラン。これで4打席連続ホームランの日本タイ記録。で注目の第2打席。打った！5打席連続！王、バース（他にもいるのかな？）でも達成できなかった5打席連続ホームランの日本記録！凄い。これで39号。50本は絶対行くね。60本行っちゃうかも。そうしたら凄い。Swallows は優勝しちゃうが、まあ仕方ない。Baystars は来年優勝しましょう。CSを勝ち抜いて日本シリーズに行く、という方法もある。残り試合数は一番多い。Carp に比べると9試合も多いらしい。その結果次第で2位進出もあり得る。だから Tigers にはあんまり勝って欲しくないんだが、相手が Giants となるとね。今日も Giants が負けて嬉しい。今日もよく寝られそうだ。

明日は1時からオンラインで打ち合わせ。ということで今日ほどゆっくり寝てられない。明後日は1時から BKC でゼミ。ちゃんと寝るか。

Tikz との格闘は一旦終了。

昨晩はその後3時間ほど寝て、数理科学特論1のレポートの採点。ζ₉ の最小多項式を求めよ、というのが問題の一つにあったが、皆一様に X⁶＋X³＋1 の既約性を Eisenstein の定理を用いて示している。ζ₉ がこの多項式の根に成ることを示していない学生が殆ど。いや、最小多項式の定義は？ということで30分程度で終了。が、焦った。一人のメールがプロモーションと判断され、受信トレイに来ていなかった。危ない。それと登録は15人だが、レポートを出してきたのは11人。残りの4人は本当にレポートを出していないんだろうか？メールを必死にチェック。どうやら提出していないようだが、本当だろうか？気になる。まあ後で修正はきくだろうから、いいことにした。で成績を入力して、1時間程度で全作業終了。

その後 TikZ と格闘の続き。点の座標を取り出す方法が分かり、無事楕円曲線の加法を説明する図が描けた。苦労した理由は、ネット検索で調べたページがバグだらけだったから。適切に空白を空けないといけないのに、html言語の関係か、空白が空いていなくてエラーに成ったのが原因。他にも酔ってたのもある。やはり素面でやらないといけないね。その後2倍を求める図を描こう、と思い立ち、Maple を動員して作業。P≠Q の場合に苦労して描いた甲斐があり、適切な接線とその方程式を与えただけで万事完了。やはり苦労しておいてよかった。そうしなかったらまた1から計算し直しだったが。まあ接線の方程式も自動で求まるようにしたらもっとよかったが。まあそれはまたやるということで。取り敢えず今回はこれで納得。その後何故楕円じゃないのに「楕円曲線」と言うか解説した方がよかろう、と思い、楕円関数と格闘。前に一度勉強したものをまとめるには、google で「楕円関数」を検索するのが早い。一から勉強することをネット検索でやることは危険だが、まあやったことがあることだしいいだろう、と。途中昼寝をはさんで6時過ぎまでやっていた。

その後週末に録画しておいて見ていなかった番組を見た。大河ドラマは面白くなってきた。「カッコウの許嫁」もどうなることか。「座王」は初の2週間にわたる放送に成った。くっきーが draw を出し過ぎたのと、「オクラホマミキサー」のアレンジが見事過ぎて、毎回フルに聞いてしまい、時間が掛かったのが原因。まあ面白ければいいんだが。

さて、今日も暑かったようだ。「ようだ」というのは外出していないから。夕刻に交番の方が訪ねてきた。地元の人の様子を調査するため、年に一度回っているようだ。玄関先で立ち話したが、暑かった。「暑い中ご苦労様です」と言っておいた。緊急連絡先が母親に成っていた。去年の今頃はもう起き上がるが困難に成っていたので、兄者に変更しておくべきだったな、と後悔。今回は死んでしまっているので、兄者に変更するしかない。ということで電話番号を伝えておく。まだ数日は暑いようだ。水曜日に打ち合わせがある、というメールが来ていて、げっ！と思ったんだが、出席者の都合で Zoom 会議に成った。よかった。暑い中外出する回数は極力減らしたい。木曜日の1時からゼミをやる約束があり、それはさすがに BKC に行かないといけない。極力外出したくないので、用事は済ませてこよう。

Baystars は数日試合が無かったので、すごくつまらなかった。明日から Carp と3連戦のようだ。Carp とはゲーム差無し。勝ち数が少ないので4位だが、ここで勝ち越し3位浮上といきましょう。ということで、明日は真剣に応援しよう。