熊本で震度7の大地震があった

生活リズムが滅茶苦茶なためか、夜が深くなるほど元気になってくる。ということで呑み呑みウダウダ。殆ど寝てない。今晩は寝るよ。二日続けては流石に無理。高校生が超巨大流しそうめんをやるという変な番組がやってたが、案外真剣に見てしまった。無駄なことにこそ人生の醍醐味がある。ああいう経験は大事。同窓会の時なんかに盛り上がれる。共通の体験があるのはいいことだ。

昼に高校野球の大阪府大会の決勝戦が放送されてたが、見始めた時点で11－0という、とても決勝戦とは思えないスコアだった。最終スコアは16－2。履正社が強いのは分かるが、箕面学園は無念だったろうな。決勝まで上がる力はあったんだ。来年またやり返してください。1時には高校野球の中継は終わるのだろうと思ったが終わらない。延長するようだ。「徹子の部屋」と「DAIGOも台所」を放送しないわけにはいかないようで、27分遅れで放送されたようだ。寝床で音声だけ聞いていたが、「あなた今年で50に成るんですって？」と聞こえてきた。女性のようだが、誰だろうか？と思って起きて見ると、辺見えみりだった。調べたら昭和51年（1976年）12月16日が誕生日。確かに今年50だな。

野球のオールスターが始まるまで寝床でウダウダしよう、寝てもいいように6チャンネルに合わせておいて、と思ってウダウダやってたら、「newsおかえり」はちゃんと定時に始まった。ドラマを一本間引いて、「人生の楽園」で調整したようだ。トップニュースは板東英二が死んだという話題。スマホにばんばん情報が入ってきたので知ってた。消息不明と随分前から言われてたが、随分前から病気だったようだ。で色々話題をやっていたが、暫くしたらとんでもないことが聞こえてきた。熊本で震度7の地震。何か煙突が折れたとか、イオンモールで爆発があったとか恐ろしい音声。熊本には大学のゼミの後輩で大学で数学教授をやっている奴と、山科の夜の街で知り合った奴と二人知り合いがいる。大丈夫だろうか？こういう非常事態の時は電話はしない方がいいだろうから、後でメールを書くなり LINE でメッセージを送るなりしておこう。

6時半に成ってもオールスターの中継が始まらず地震のニュースを流してたが、最初から6時34分放送開始だったようだ。明日もそうなってるから、別にニュースを延長したというわけではないようだ。で試合開始。1回裏に佐藤（Tigers）、2回裏に細川（Dragons）がソロホームランを打って、セ・リーグが2点リード。3回表からセの投手は井上（Giants）。打たれろ打たれろと念を送ったら、近藤（Hawks）、レイエス（Fighters）が連続タイムリーヒットで同点に。栗原（Hawks）の長打でレイエスが1塁からレイエスが長躯ホームインを試みるも本塁手前でタッチアウト。パは2回裏も田宮（Fighters）の浅い外野フライで栗原がタッチアップしてホームに突っ込むも憤死と、勿体ない。4回表にセの投手が東（Baystars）に交代していたようだが、不摂生のため鼻の調子が悪くてティッシュが底をつき、新しいのを開けないとと思ったが、どこに行ったか中々見付からず、漸く発見した時は「東が三者凡退に抑えました」の音声。うぉー見損ねた。5回表は大野（Dragons）の出番だと藤川監督が言っていたので、東の今年の雄姿は残念ながら見られない。今のご時世連投させるということも無いだろうから。で大野が万波（Fighters）に勝ち越し打を打たれ、万波は7回にドリス（Tigers）からタイムリーヒットを打ち2打点目。どうしてあんな態勢でフェンス直撃の3ベースヒットが打てる？打ち方だけ見てるとセカンドフライだろうと思ったが。恐るべし。8回裏にパは松山（Dragons）を攻め、西川（Marines）が2ランホームラン、村林（Eagles）が2者連続となるソロホームラン。もう勝負あったか。万波はここまで4安打2打点。MVP は見えたろう、と思ったが8回裏にセがマチャド（Buffaloes）を攻め、大城（Giants）のタイムリーヒット、大山（Tigers）の2ランホームランで2点差。9回裏は藤平（Eagles）がマウンドに。長岡（Swallows）がヒットで出塁もその後は3人凡退してゲームセット。ベンチで万波がそわそわしていた。で無事 MVP は万波。「勝ち越し打を打った時から『全員凡退しろ』と思ってました」と言ってたが、まあ偽らざる心境だろうな。万波は横浜高校出身だし、好きな選手。新庄が抜擢して大活躍し出した頃は凄いのが出てきたと思ったもんだ。肩が目茶目茶強くて、3塁までイチロー並みのレーザービーム返球で捕殺したシーンは見飽きるほど見た。凄い選手だ。引き続き応援する。明日は富山でやるそうだ。今日は東京ドームだったから、明日北陸新幹線で移動すればいいので、容易だろう。

その後地震の様子をニュースで見たが、凄いな。熊本城で石垣が結構崩れたようだ。10年前の地震の時は天守閣の瓦が結構落ちたようだが、今回はそんなことは無いようだ。まだ修復半ばだったそうで、気の毒だ。前に熊本に行った時にホテルまで熊本駅からタクシーに乗ったが、運転手が「お城の中通って行ってもいいですか？」と聞かれたが、まあ近いならそっちが、と思って返事したが、運転手はお城の惨状を見せたかったようだ。でホテルはお城の目の前だったから、朝食の時に天守閣の修復中の様子を見ながら食べた。更なる修復は大変だろうが、頑張ってくだされ。

何か数学を全然してないように見えるので、ちょっとだけ書いておく。K が代数体、L₁, L₂ が K の有限次ガロア拡大の時、「L₁＝L₂ ⇔ L₁ で完全分解する K の素イデアルの全体と L₂ でのそれが一致する」という事実がある。有名よね。じゃあガロア拡大じゃない時はどうなの？というのがゼミのテキストに書いてあって、即答出来なかった。後で加藤和也、黒川信重、斎藤毅「数論1」（岩波書店）を見たら、こういうことが出てた。「K を代数体、L/K を有限次拡大、L' を L/K のガロア閉包とすると、L で完全分解する K の素イデアルの全体は L' で完全分解する K の素イデアル全体と一致する」。ほう、と思ったが、証明出来なかった。まだ出来てないが、例えば K＝Q、L＝Q(2^1/3)、L'＝L(√(－3)) の時くらいなら示せるんじゃ？と考えてみたら出来た。学生にゼミで色々勉強してもらってるのを聞いてる内にこういうのが示せるようになったのは嬉しい。数学を専門とする学科にいるといいな。もっと学生を踏み台にして賢く成ろう。

あ、高校野球の話題をちょっと上に書いたが、京都の代表は立命館宇治。何やらそれに関してメールが当局から来ていた。後で読んでおこう。それと、大阪桐蔭が府大会の割合早い内に負けてたが、それを破ったのは大阪立命館高校という高校。うちの付属？と思って調べたらそうではないようだ。どうも初芝立命館高校といううちと提携している高校が改名したらしい。知らんかった。学園長は前に理工学部で教授をされてた方だ。まあ要するにそういう関係なんだな。大阪桐蔭に勝ったんで大分宣伝に成ったでしょう。私立はそうやって名前を売らないと。神奈川大学が箱根駅伝で優勝したら、一気に偏差値が上がったと聞く。まあそういうこと。

もう一つどうでもいいこと。水曜日にやってる刑事ドラマ（見てない）の宣伝がばんばん流れてるが、犯人の名前が「田中太郎」。これ、ゼミの先輩と同姓同名。太郎さんはさぞ気分が悪かろう。思い出す機会が出来たのはドラマのお陰かな。お元気にしておられるだろうか？

眠くて特に何もしてない一日

寝る前にちょっと奥の方から出てきた本を眺めたら、考えたいことが一つ出来てしまった。でうまくいったような気がしたが、SageMath で実験すると答が合わない。で確かに考え違いをしていることに気付いた。で何とかならないかと思ってうだうだとやったのだが、難しいぞ。ということで諦めた。その時点で結構な時間。

で起きたら夕刻。腹が減ったので、Uber Eats に適当に頼んで、食べながら土曜日にやっていた「ミラクル9」を録画しておいたものを見たが、途中で眠くなってきた。ロクでもない生活を続けるとこうなる。で数時間横に成った。まだ眠い。今日くらいは早寝しようか、と思わないでもないが、今晩のプロレスの放送が目茶目茶遅い。「甲子園への道」という番組がやってるせい。関東では放送が無いのでは？と思ってテレビ朝日の番組表を見たら、関西より遅い時間にやってるようだ。逆にこっちはバラエティー番組の時間が遅くなってる。韓国ドラマの放送いらないからプロレスを早くやっておくれ。

今日は野球が無いからつまらない。明日、明後日は日本の野球のオールスターゲームがあるので見るよ。普段は勝ち負けが気に成り過ぎて落ち着いて見てられないが、オールスターは楽しんで見られるのでよい。選手がマイクを付けてプレーするのも面白い。楽しみましょう。

オールスターブレークが昔より短く成ってて、明日明後日（火曜、水曜）にオールスターで、木曜一日休みで、金曜日からまた通常モード。ということで職場に行くとしたら木曜日しかないな。前も書いたが今月中に行かないと勿体ないので。暑いので嫌だが仕方ない。その次に行くのは多分8月26日（水）。保健センターに行かないといけない。その二日後が院試面接。これもいかないといけない。ということで、月5000円の駐車場料金が勿体ないので、8月は行くたびに300円ずつ払う。この方が圧倒的に安いのでね。9月は月の終わり近くから秋学期が始まるので、数日行くだけ。ということで9月の末近くに駐車場の定期利用を再開するが、1か月手続きをしないとカードを再発行してもらわないといけないのが面倒ではある。まあいいけど。

安青錦は本割で負けたが、優勝決定巴戦を制し3度目の賜杯

 昨晩も楽しかった。ふなごやはメニューが幾つか変わっていて、ガーリックライスが無くなってた。ガーリックの舌に成ってたので、ペペロンチーノにした。ガーリックライス作りますよ、とは言ってたが、まあ甘えないことしましょうということで。その後いつもの通り3人でワイン。昨日のも美味しかった。で途中から例によって記憶が無い。セブンイレブンに寄って何か買った記憶があったが、起きたら塩むすびの残骸が残っていた。テレビを消さなかったようで、何故か NHK 総合にチャンネルが成っていて、のど自慢で目茶目茶歌の上手い人が何人かいたのが聞こえてきた。

で2時から野球だろうということで1時過ぎに起きて、Uber Eats にすき家のトリプルニンニク牛丼を、と思ったが、今日は土用の丑の日なので鰻を割り引いているようだが、もうトリプルニンニク牛丼の舌に成ってたので。後で気付いたが昨日の晩はペペロンチーノだった。まあいいです。で1時55分にチャンネルを J SPORTS 2 に合わせると、もう始まっている。1時半開始だったようだ。3回裏に石伊（珍しい苗字）にソロホームランを打たれ先制されたが、4回表にすぐ宮崎のソロホームランで追い付く。その後決め手を欠き中々両チームとも点を取れなかったが、8回裏に登板の宮城が乱調。敬遠四球もあるが3四球。敬遠四球の次の打者を1球もストライクが取れずに歩かせてしまったのはなんともいただけない。で板山に走者一掃のタイムリー3ベースヒット打たれてしまう。むぅ。まあ負けが確定したわけではないが、相撲が見たいので、野球はそこまで。今見たら吉野に交代したが、吉野がタイムリーヒットを打たれてもう1失点したようだ。

今日の相撲は何か展開が遅いな、と思ったら、幕下が7人で優勝決定戦だったり十両も4人で優勝決定戦をやったようで、そのせい。で高安 vs. 朝乃山が2分を超える大相撲だったりしたから、どんどん時間が過ぎて行って、もうとっくに終わってる筈の時間なのにまだ結び前。これより三役の後に2敗の安青錦と3敗の熱海富士という興味深い取り組み。熱海富士が体を利して圧勝。これで優勝決定戦に成ることは確定。で霧島 vs. 琴櫻の大関対決は霧島が制して、巴戦に成ることが確定。もうこの時点で5時40分過ぎ。放送延長は確定だな。で決定戦は、熱海富士が霧島を圧倒でまず王手。が、安青錦が上手さを見せて熱海富士に勝ち。霧島はもう一度チャンスが巡ってきたが、安青錦が力強さを見せて勝利。大関復帰どころか優勝。今の制度に成って陥落大関の次の場所の関脇が優勝したのは初とか。安治川親方曰く安青錦は普通に相撲を取れる状態ではなかったそうだが。そんな状態で1日三番とったわけだ。小泉純一郎が総理大臣杯を渡すのだったら、また「感動した！」と大騒ぎしたかもしれないな。熱海富士が最初の一番を制した時は、熱海富士優勝でいいじゃないか、とも思ったが、やはり安青錦が勝って小生も感動した。もう一度横綱を目指しましょう。霧島は来場所も綱取り場所だとの審判部の声のようで、来場所の横綱昇進は無いということだな。熱海富士は来場所大関が掛かるそうだ。すんなり行くといいが。若隆景は今場所の結果次第で大関と言われていたが、結構深刻な病気で、手術してようやく歩けるようになった所らしいから、来場所も休場かな。神様は試練を与えるな。頑張れよ。

で今日は土用の丑の日だから、鰻を食べないと。和食さとで特上鰻を、と行きたいが、暑くて、僅か5分程度の距離を歩くのが億劫。で閃いた。椥辻にも和食さとがあったな。場所を調べて、車で向かうことにする。が、ちょっとトラブル。新十条通の開始点を過ぎたらメガドンキが目に入るが、そっちに気を取られて通り過ぎてしまった。「外環一本道」の交差点の少し北だと覚えていたが、目の前の信号に「外環一本道」の看板が。バックミラーを見たら和食さとの看板が見えた。どっかで右折して戻ろう、としたが、結構狭い道に入ってしまった。幸い対向車は来ず、信号の無いT字路を右折する必要があったが、幸い大した通行量でなくすんなり行けた。で新十条通まで出られて、右折、右折で外環状線に出られて、メガドンキが見えたらまさにその真向かいに和食さとがあった。で店に入って注文しようとするとまたトラブル。タブレットに特上鰻が中々出てこない。やっと見付かったと思って頼むと、ちょっとしたら店の人が来て、「テイクアウトの分ですが、すぐお焼きしてよろしいですか？」と。間違えてテイクアウトの物を注文してしまったようだ。で注文しなおして来たものを見たら、こんなに小振りだったかいな？と思った。店の人が「上」と言ってたような気がしたが、気のせいか？まあ関西風のパリパリなものでなく、ふわっとした関東風の焼き方のようで美味しいので良かった。鹿児島産だしな。レジに行ったらちゃんと特上に成ってたから、大丈夫なのだろう。で帰りにセブンイレブンで買い物。袋を持って行ったので、余分なお金を払わずに済んだ。

有理点探しは引き続き続行中。でもう一つやってることがあるが、そっちも有理点探しをしないといけない。パラメーターは今探してるやつよりも大きいのだが、有理点はすぐ見付かって、整数点の決定も出来た。やる前に何が起こるか分からないから研究は面白いのだ。パラメーターごとに全然様相が違うのも不思議で面白い。さあ探してる方はいつ見付かるんでしょうか？

あ、勝又の連続試合出塁が止まってしまったようだ。残念。オールスター明けからまた仕切り直しましょう。再開後の最初のカードは Giants と。大きく負け越してるので、どうにかしましょう。幸い今日 Tigers が Giants に勝ったので、同率首位での折り返し。この前 Tigers には負け越したし、Giants に勝ち越せばちょっとは面目が立つかな。頑張れよ。

6月加入のビドは5回無失点で勝利投手に（連敗は3でストップ）

寝不足だし寝ないと、と思ったそばから調べたいことが出てきた。ペル方程式に関すること（同じことだが実二次体の単数に関すること）なのだが、SageMath や PARI/GP で調べたら、あることが成り立ちそう。む、と思って手近の本を調べるも、英語の本だとパラパラと眺めただけでは見付からない。眠いしやめよう、ということで寝た。

起きたら2時過ぎ。もう野球が始まっている。するとすぐ筒香のソロホームランが出て1点先制。Dragons の先発は涌井だが、横浜高校の先輩、後輩対決、だが筒香の方が後輩。筒香の先輩はもうあまりいないだろう。4回に松尾にホームランが出て2点目。Baystars の先発ビドは何度かピンチを作るが、5回無失点で降板。四球4つはちょっといただないが、まあ一軍デビュー戦だからいいのでは。5回に筒香がタイムリーヒット、7回蝦名が2点タイムリースリーベースヒットを打って5点差。勝負あった。今日は Dragons のライトを守ってるボスラーの所に難しい打球が何度も飛んでいた。2つばかりダイビングキャッチを試みたが、いずれもちょっと届かなかった。解説の鈴木孝政さんが今日のボスラーは大変ですねと言ってた。

ヒーローインタビューでビドの声が聞けるかも、とも思ったが、相撲が気に成る。熱海富士 vs. 獅司の3敗同士の対決は熱海富士が制して可能性を残した。2敗安青錦と3敗尊富士の対決は尊富士がいい感じに攻めていたが、安青錦が体を入れ替えて寄り倒しで勝利。これで優勝の可能性があるのは2敗安青錦、3敗霧島、熱海富士の3人に絞られた。明日の割はどうなってるかな？後で調べておこう。

昨日横綱の負け越し云々を書いたが、豊昇龍は今日から休場。上に霧島3敗と書いたが、今日は不戦勝だった。明日勝って優勝したら横綱昇進はどうなるのでしょうか？ハイレベルな優勝をと言われていたが、明日勝っても12勝3敗で、うち一番は不戦勝というのがどういう評価に成るか？大の里は勝ち越した。ということでフル出場の横綱の負け越しは今場所は無くなった。横綱と大関の勝ったも負けた方も8勝6敗とは寂しい限りだ。奮起してくれないと。

相撲終了後気に成ってたことを調べようとして閃いた。二次体に関することは高木貞治「初等整数論講義」に大概出てる、と思って調べたらすぐ見付かった。何を調べたかったというと、Q(√(2p))（p は p≡5 (mod 8) である素数）の基本単数のノルムは －1 である、という事実。PARI/GP は二次体に特化した命令があるので、その内の二つを使って調べたらそうっぽい。で「初等整数論講義」にしっかり問題として出ていた。ちょっと考えたくないので、まだ考えてないが。明日やる。でインターネットを調べたら、初等的な証明が出ていた。成程簡単。Q(√p)（p は p≡1 (mod 4) である素数）の基本単数のノルムが－1であることも同様に初等的に証明出来ている。素晴らしい。誰が作ってるサイトだ？と思って見たら、ガロア理論の本を出したが、もの凄く誤植やそれ以上の間違いがたっぷりある本を書いた人だ。小生も一つ間違いを見付けて報告した。一般に L/K, K/F がガロア拡大でも L/F はガロア拡大とはならないのに、なると勘違いする人は多い。その本にも “証明” が載っていた。著者の略歴を見ると博士課程まで出た方のようだが、ちょっと褒められた本ではないし、薦めたくはないな、というのが実感。誤植の直ってる版が出たら再度購入するかもしれないけど。ということで人の書いたものにはケチを付けるが、自分のことは棚に上げる小生であった。

今日も40度超えた所があったようだ。京都は39.2度と際どかった。京田辺は39.7度と言ってた。とんでもないね。明日は37度だからましか。いや、これでましと思ってはいけないな。東京は来週最高気温34度の日があると聞いて羨ましくなってしまった。34度も相当暑いが、もう感覚が麻痺してきてる。30度を割ってくれればまあ暑くないと言ってもいいか。30度も暑いか。まあ兎に角感覚がおかしくなってきてるのです。秋が恋しい。

有理点探しは続いてるが、さっきコンピューターのことでお世話に成ってるウィザードという会社の方がお得意さんに書いた LINE を見ると、PC や周辺機器は25度±10度であるという想定で作られているそうで、部屋に放置しておいただけで壊れることがあるとか。先週の水曜日から有理点探しのため回しっ放し。大丈夫でしょうか？何にしても今の日本は暑過ぎる。前にうちにいた人が夏の様子を「お湯の中を歩いてるよう」と書いていたが、どなたかが「鍋の中を歩いているよう」と言ってたが、現状はそっちの方が正しいな。嫌なこってす。

霧島は安青錦に負けて3敗で、横綱は遠のいたか？

呑み呑み色々やって、また変な時間まで起きていた。昨日書いた通り昼起きてても暑くて仕方ないので。でまた相撲を途中から。今日は横綱を狙う霧島と大関復帰が決まった安青錦の2敗対決。霧島が攻め込んだが、土俵際で安青錦が逆転。これで安青錦が単独トップ。霧島は3敗では優勝しても横綱昇進は厳しいか？3敗は他に熱海富士、尊富士、獅司。熱海富士は三役で連続9勝だったが、ついに十番勝った。大関を目指しましょう。明日は霧島は豊昇龍と、安青錦は尊富士と、熱海富士は獅司と。さあどうなる？問題は両横綱。13日を終えてまだ勝ち越してない。明日の結果次第だと、千秋楽の結びの一番の横綱対決で勝った方が勝ち越し、負けた方が負け越しとなるのが最悪のシナリオ。皆勤横綱の負け越しは大乃国、3代目若乃花の2例だけだそうだ。問題だな。琴櫻はカド番を脱出出来たが、八角理事長は苦言を呈していた。こんな相撲ではまたカド番になってしまう、と。引いて勝ったのが数番あるからね。さあどうなるでしょう？

6時から野球。今日はエンカーナシオンのソロホームランと松尾の犠牲フライで2点リードしたが、その後チャンスを何度も作ったのに潰してしまう。Dragons も細川のソロホームランで1点取ったが、満塁の好機を活かせなかったりと、どちらも決め手を欠いた。満塁はレイノルズが四球3つ（1つは申告敬遠だが）でだったのだが、まあ抑えたけど。その直後に Baystars も満塁のチャンスを潰した。こんな試合は引っくり返されるぞ、と思ったら案の定で、ボスラーのあわやホームランという当たりは3塁打で同点にされただけで済んだが、結局バウンドの高い内野ゴロを打たれて the end。好調だとか言ってたが、今日の負けで3連敗。まあ3連敗はあることなので、明日、明後日は勝たないと。今日のセ・リーグは勝って欲しくないチームばかり勝ってしまった。不愉快。まあいいです。明日は久し振りのデーゲーム。ドームだからね。今の暑さの名古屋で屋外のデーゲームは無理。ナゴヤ球場でやってた頃は流石にナイターでやったのだろうな。まあ当時は今ほど暑くはなかったと思うが。明日やり返しましょう。先発は、ビド？知らんな。6月に加入したんだそうだ。二軍では4試合10イニングで2失点。うまくいけば勝てるな。最近実績の無い投手の方が勝ってる。そのジンクスに期待しよう。

今日も暑かったようだ。明日どこかで酷暑日があると、5日連続で、史上初とか。異常だ。京都は大丈夫だろうか？今月中に一度タイミングを見て職場に行こうと思っているが、駐車場からウェストウィングまで歩くのが嫌だ。ウェストウィングの近くに停めるようにするには結構遅く行かないといけない。まあ伝票を事務に回すだけだから、別に短時間でも構わないけど。上に書いた通り明日の野球はデーゲームで、その後6時まで相撲を見るから、明日は行かないな。今月はまだ1週間あるから、まあどこかで行く。印刷したいものもあるし、住処で同じ本が2冊あることが分かったので職場に持っていったりと、複数用事があるので。来週は少し暑さが収まるようなことを言ってた。まあ34度とかだが、ちょっとはマシかな。

京都の最高気温は39.7度と酷暑日にギリギリ成らなかった

またしても変な時間まで起きていて、夕刻に起きた。生活リズムが無茶苦茶だが、昼起きてても何もする気が湧かないので、いいのではないかと。苛烈な暑さの屋外で働いてる人には申し訳ないが、「災害級の暑さ」とか「不要不急の外出は控えてください」と言われると外出しないよね。

で今日もまた相撲を途中から。安青錦は昨日10番目の白星を得て安心したからか、琴勝峰に負けた。霧島は結びで今まで10戦して勝ったことのない横綱大の里と。ちょっと押し込まれたかに見えたが、見事なとったりで勝利。2敗を守った。霧島、安青錦、宝富士、獅司が2敗で並んだ。明日は霧島 vs. 安青錦の直接対決、西13枚目に関わらず宝富士は大の里と、西14枚目の獅司は大関琴櫻と。明日終わったらガラッと戦況は変わってそうだ。さあどうなる？

9時過ぎに銀行へ行く、ということにしていたが、昨日の晩調べたら、Book Off の営業時間が10時まで。売りたい本が結構ある。ということで9時少し過ぎに車で出発。関西みらい銀行までは5分も無いので、暑いからといって車で行くほどではない、と思っていたが、ついでに Book off に寄るなら、ということで車にした。でちょっと必要な額より余分に卸しておいた。Book Off で結構な数の本を出したが、いつもの通り値段の付かない本が結構あった。まあ何かの景品に付いていたような本が売れたりとかよかった。英語勉強本ももういいや、と売ったが50円で売れたものがある。嬉しい。まあ総額190円だが、本棚に空きを作りたかったのでこれでいいです。メルカリかなんかで売った方がよい、とアドバイスされたこともあるが、箱詰めがどうしたとかそういう面倒なことをやるのは嫌いな性分なので、安くてもこれでいいです。で出口で150円で飲み物を購入。ほぼ全部吹っ飛んだ。が、ビックリした。駐車場で精算手続きをしたら300円の表示。何を！店員が「駐車場のご利用はございますか？」と聞いてきた時に「はい」と答えた気がするが、駐車場の割引券を貰ってない。急いで戻って、さっきの定員さんに頼んで、60分無料にしてもらった。よかった。

帰ってきてから払い込む額を調べて、払い込み用紙を持ってセブンイレブンへ。諸事情で年に数回結構な額を払わないといけないが、もっと多くの額が戻ってくるので、仕方ない。ついでに呑み物を買ってきた。仕事が無いと呑んでしまうな。まあ仕方ない。明後日が学生のレポート提出の締め切り日なので、日曜日以降採点する。昨晩 moodle＋R の使い方を調べて、学生が提出したレポートがダウンロード出来た。これで採点が出来るようになった。まあ中途半端にやっても仕方ないので、日曜日以降やるが。まあ一日で終わるだろう。自力で考えたとか本を調べたとか AI に聞いたとか「貢献度」を書かせることにしてて、何かのソースからの丸写しは最初から低評価、自力で考えたのは多少変でも高評価、とするようウェイトを付けてあるので、楽になる。嘘を書いたら即 F 評価にする、とも書いてあるので、嘘は付けないでしょう。案外簡単に嘘ってばれるものです。ということで明日、明後日はボーっと過ごす。

今日も日本中暑かったようで、40度を超えた場所があったが、関西のニュースなのに京都の話題が無いぞ、今日の京都は酷暑日だと予想されていたが？と思って結果を聞くと、京都市の最高気温は39.7度。おぉギリギリセーフ。いや、酷暑日みたいなもんだがな。しばらくこんな陽気が続くようなので、職場に行く気も無くなるし、映画を見に行く気も湧かない。いつも行ってる映画館のある BiVi 二条なら車で行ってもいいが、京都市の中心部に車で行くのはちょっと怖い。駐車場は屋内なので、出すときも車内が暑くなってないのでよいが。イオンモール草津の駐車場は室内だろうか？あそこにも映画館があるし、車で行く以外の方法が無さそうな所だから、イオンモール草津にしようか？調べてみよう。

6時開始の学科会議の終了は10時近く

またしても訳の分からない時間まで起きていた。日が出る前に買い物に行ったが、あまり暑くないな、という気がしたが、冷房の効かせ過ぎで寒いような気がしていたのが原因のようで、「おはよう朝日です」の情報だと、5時の京都は28度あると言ってた。大学に行っている頃にアルバイトで機械を酷使する仕事で、冷房を滅茶苦茶効かせていて、皆上着を着ていた。休憩に成ると冷房を止めて窓を開けて、紙コップの暖かいコーヒーを競って飲んだのを思い出した。

で起きたらもう夕刻。またしても相撲は途中から。安青錦は見事に勝ち、10勝目で、来場所の大関復帰が決定。よかった。1敗で単独トップに立った。10勝したら休場か？と思ったが、優勝が狙えるなら出続けるかな？カド番の琴櫻は昨日、今日と連勝で6勝5敗となり白星先行に。残り4日。どうなるでしょう？

で6時から野球、と言いたいが、そうはいかない。6時から学科会議。本当は先週の水曜日に予定だったが、重要な議題に関係する人が何人も欠席する、ということで金曜日はどうだ？と学科長に聞かれたが、その日は小生が試験監督で6時近くまで手が開かないとか、どこかに出張でフライト中の人がいたりとかで、またしても延期に成り今日に。6時開始だったのはどなたか重要人物の都合に依存するのだろうか？で重要な議題が目白押しで、全員参加の議題終了後、教授、准教授陣で議論、さらに教授だけ居残りで議論と続き、終了したのは9時半を回っていた。野球を音声を消して流していてチラチラ見ていたが、高橋遥人から2点取って、藤浪は5回途中を1失点と、もしかしたら勝てるかも、という感じ。が、1イニングに3点まとめて取られひっくり返された。それでもしぶとく同点に追い付いたが、結局勝ち越されて負けた。むう。まあ Giants が負けて2位に落ちたのでいいです。Swallows が連敗を止めたので、Baystars と Swallows の差は再び3ゲーム。明日は試合が無い。今週は月曜日に試合があったので、ホッとできる日が無かった。明日は一日穏やかな気持ちで行こう。

Yahoo!の野球速報の頁を見てビックリ。Buffaloes が22失点とか。先発の片山楽生（「らいく」と読ませるそうだ）が1アウトも取れず4失点で降板、Hawks の得点は1回から8回まで4、3、2、7、0、1、2、3。投壊だな。Eagles 創設の年に Marines 相手に25－0で負けたと言う試合があったが、それ並みの結果だ。勝率は丁度5割だが、最近 Hawks が走っているからか、自力優勝が無くなったとか。今年の春先はよかったがな。

有理点探しは1週間経過した。前に見付かるまで2週間掛かったことがあったが、もっと掛かるかもな。Heegner point のことをほぼ知らないので分からないが、求めるためには色々複雑な計算をするのだろう。それでもいわゆる naive な方法で点を探すよりは早いのだと思う。何しろ canonical height が800を超えてるだろうから。Height が800って大したことないと思うかもしれないが、log をとったのが800だからね。桁数は滅茶苦茶多いよ。完全に機械任せにしないで何とかしないととは思うが、まあもうちょっとだから。全部終わったら考える、かもしれないし、考えないかもしれない。

今日も暑かったようだ。京都の最高気温は39度。勿論日本のどこかで40度を越えたろう。たまらんこってす。名古屋で相撲をやってるが、名古屋は暑い所。IGアリーナってどの辺なんだろうか？駅の近くならいいけど、遠かったら行き来だけで大変。観戦中にお酒を呑んでる人はいるだろうから、脱水症状にはくれぐれもご注意あれ。勿論小生も気を付けないとね。