昨晩は渋野日向子の活躍を見るために、寝不足にも関わらず遅くまで起きていた。調子を上げてきているようで、今晩も楽しみ。
で起きたらもう野球が始まっていた（デーゲームです）。0－0という状況。3回までロメロがノーヒットに抑えていたんだが、4回に初ヒットを皮切りに1点取られた。その後内野ゴロの間にもう1点取られる。Baystars はチャンスは作るんだが、点に成らない。岡林の好返球でホームで2度刺された。でもたもたしているうちに8回。石垣に3ランホームランを打たれ、the end。これで5割に逆戻り。まあカードを勝ち越したんでいいです。これからも着々と勝っていきましょう。
昨日は野球後職場に行ったが、呑み屋の店長から line で「呑みに来ませんか？」とお誘いがあった。職場に行ったので、呑みに行ってない。ということで今日呑みに行っておかないと浮世の義理が立たない。ということで呑んできます。
昨日はほぼ徹夜状態だったのだが、数時間寝ただけで目が覚めてしまった。もう眠くないし起きることにした。で論文の直しをしたり、昨日の「座王」を見たり。が、やはり寝不足だ。眠くなってきて、もう少し寝た。熟睡したわけではないが、まあいいでしょう、と今度こそ起きた。
そうこうしているうちに高校野球が始まった。まあ真剣には見ないが、結果くらいは気に成るので、流しながら作業。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 に離されないでよかった、ということになった。まあ面白くていいやね。
結局徹夜してしまった。論文を直しながら 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時45分から野球。今日勝って5割といきたいところ。が、九里を打ちあぐねて、3回までパーフェクトに抑えられる。が、4回。雨が強くなり中断。そのまま雨は止むことなく、強くなる一方。結局降雨ノーゲームと成ってしまった。Baystars は試合をたくさん残していて、今年は侍ジャパンの日程が詰まっていて、シーズンの終わりは早目らしい。ということで、もしかすると久々のダブルヘッダーも止む無し、と言う展開に成るかも、と言っていた。エスコバーと伊勢が大分投げてるし、シーズン終盤でバテなきゃいいが。明日からの3連戦はバンテリンドームなので、中止は無い。最下位相手だ。3タテと行きましょう。
さて、Magma のマニュアルのホームページを教わったので、見ながら実験。うーん、色々出来るんだな。昔苦労してやったものがどんどん自動化されてしまう。まあそう成ったらそう成ったでいいでしょう。とりあえず今回はそうしたので、そうする（謎）。ということで早いとこ終わらせてしまおう。他にもやることは色々あるんでね。
今日はあちこちで大雨だったようだ。線状降水帯というやつがあっちこっちで出たとか。自然は怖いな。
どうもちゃんと寝ようとしない日々が続く。今日も3時過ぎに起きてしまい、そこから作業。論文書きを始めたのはいいが、随分前に適当に書いたものなので、よく思い出せないことが多い。当時使っていた SIMATH というソフトはもう影も形も無いので、SageMath で計算し直そう、と始める。が、どうも rank が求まらない。ここは詳しい人にメールを投げて、教えてもらおう、と算段。でメールを書く。その後論文の直しを続行。
9時過ぎにメールに返事があった。最近は Magma を使うことが多いらしく、SageMath に関する解答は得られなかった。が、Magma の凄さを教えてくれた。y2＝x3＋1728 の二次体上の rank がすぐ返ってくる。コードを教えてくれたので、Magma Calculator（2分以下なら Magma での計算を許してくれる頁）で色々試してみたが、SIMATH で求めたのと同じ答え（正確には GL2(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週間ばかり一斉休暇に成るだろう。ということで火曜か水曜になら、と返事を書いておく。明日はゆっくりできるな。論文の続きでもやるか。
昨晩はプロレスが終わるまで起きていてしまった。ここ数日不規則な生活で疲れていたか、今日は夕刻まで寝ていた。で妙な夢を見てうなされた。その夢の一部は昔書いてボツにした論文のことなのだが、目が覚めて寝床でウダウダしているうちに名案を思い付いた。ということで起きてコンピューターに向かう。コンピューターを乗り換えてからスペルチェッカーを起動したことが無かった。で起動しようと思ったら起動せず。おかしい。もう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 でゼミ。ちゃんと寝るか。
昨晩はその後3時間ほど寝て、数理科学特論1のレポートの採点。ζ9 の最小多項式を求めよ、というのが問題の一つにあったが、皆一様に X6＋X3＋1 の既約性を Eisenstein の定理を用いて示している。ζ9 がこの多項式の根に成ることを示していない学生が殆ど。いや、最小多項式の定義は？ということで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位浮上といきましょう。ということで、明日は真剣に応援しよう。