多項式環の ABC 定理の証明は去年ちゃんと理解した筈だったが…

今朝は本当に訳の分からない時間まで起きていた。数学をやったのは少しだけで、後はほぼ非生産的なこと。ロクでもない。大河ドラマだけ見たら寝ればよかったのだが、つい。大河ドラマだが、武田信玄の死は持ちをのどに詰まらせるというロクでもない死因で、高嶋政伸ほどの役者にやらせておいて、登場後10分で終了と、実に無駄遣い。山県昌景は長篠の戦で激しく散る、という展開だったが、長篠の戦はナレーションで織田軍が鉄砲で圧勝した、という事実が伝えられただけ。山県昌景も割といい役者がやってたが。昨日は松永久秀の爆死がメイン。竹中直人にやらせただけあって、結構贅沢に時間を使ってた。竹中直人は流石というところを見せてくれた。でその後何をしたかは内緒。

で寝る前にもう一つ余分にアラームを仕掛けたが、正解だった。その最後のアラームで起きた。2時を過ぎていたので、急いで飛んでいく。「瀬田西－信楽 工事渋滞7km」という嫌な情報が出ていた。新名神が工事中だそうだ。草津JCTで捕まったら大変なので、瀬田西で高速道路とさようならした。で2時30分くらいに職場に着いて、生協で唐揚げ弁当を買って食して臨戦態勢。

今日のゼミは多項式環の ABC 定理だが、一箇所引っ掛かった。おかしいな、去年は完璧に理解した筈だが。学生と小生の二人きりというのがいけない。三人寄れば文殊の知恵という言葉が示す通り、二人パニックっても一人が冷静ならどうにかなる。二人で隘路にはまり込むと抜けられない。そこは一旦飛ばして、終わりまで流れを追って、後幾つか例をやった。適用例を見て毎年思うんだが、deg(rad(ABC))≦deg(ABC) という結構雑なことやるが、これで色々示せちゃうのが凄い。元祖 abc 予想は来週。ちゃんと勉強しておこう。5時30分近くに終了した。手間取って解決しない所で時間を食ったため、いつもより少し終了が遅かった。

6時から教務員の仕事。某学部のカリキュラム改訂に関する件で関わりのある先生方と Zoom で意見交換。前に「加藤先生」という名前の出たメールが小生に届いていたが、またか、と思ったのだが、本当に加藤先生という方がいるようだ。確かにそのメールのヘッダーには小生の苗字がちゃんと書いてあって、本文に加藤先生の名が出ていたから、その時点で認識しておいた方がよかったな。まあ今日分かったのでいいです。「BKC  に戻ってきたらいいん違いますの？」という意見があったが、それが一番全て丸く収まる気がするが。今日の話を受けて明後日当該学部のお偉いさんと打ち合わせ。荒れるぞ。

思ったより早く終わったが、少し考えたいことがあったのでちょっと。前に論文に書いたことの別証明が得られる？と思っていたが、何かおかしい。適当なところで諦めて帰ってきた。

早目に帰ってきた理由は、Blu-ray のディスクを取り替えないといけないから。日曜日に大河ドラマがやってるが、月曜日に大河ドラマアンコールで「八重の桜」がやっていて、さらに「英雄たちの選択」もあって、全部見たいぞ、となるとハードディスクがいつもかつかつ。「歴史探偵」の再放送が月曜の遅くにあるから、一旦消して、で「八重の桜」を録画するディスクを入れてあるが、「歴史探偵」の始まる前にディスクを交換しないと。ということであまり遅くならないようにした次第。でどうやら全部録れる。よかった。歴史ものを見る、歴史ものの小説を読む、野球を見る、くらいしか娯楽が無いのでね。あ、相撲も見るよ。相撲は昨日終わったので、ちょっと時間が出来てよかった。

で「報道ステーション」を見てる最中に驚きのニュース速報が入った。阿部慎之助が逮捕された、とのこと。何でも娘さんに暴力を振るったとかで。酔っぱらってたとの情報もあるとか。7連勝だか何かして Tigers に肉薄か、と思ったらその Tigers に3タテを食らって4連敗と、苛々が凄かったのかも。勿論それが暴力を正当化することにはならない。さあ紳士のチームはどうでるでしょう？明日からの交流戦で球界は盛り上がる筈なのにケチが付いたな。

でその後「過ぎるTV」を見てるが、京都三大都市、ということで京都、宇治、亀岡のことをやってるが、三大都市でも人口は京都が132万人、宇治が38万人、亀岡が8万人と、差が凄い。宇治は観光客が多くていいだろうが。黄檗にある萬福寺は行ったこと無いな。人が少ないのを自虐的に twitter に書いてるそうだが、今度行ってみよう。渋滞にはまると嫌だから、京都駅まで行って奈良線に乗り換えるか、六地蔵駅まで地下鉄で行って奈良線か京阪宇治線に乗り換えるかだな。暑くならないうちに行こう、と言いたいところだが、もう既に暑くなってきた。まあまだたかが知れてる。今日も30度を超えたようだが、梅雨時や真夏のようにベタベタしないからいいけど。行きたい所は幾つかある。仁和寺、石清水八幡宮、比叡山。全部電車で行くよ。仁和寺は嵐電で、石清水八幡宮は京阪とケーブルカーで、比叡山も京阪とケーブルカーで。比叡山の帰りは反対側のケーブルカーと叡山電車で出町柳、京阪で三条に出て、三条京阪から地下鉄でと、楽しそうだ。暑くなくて天気がよければね。ということで残された時間は僅かだ。酒呑むのを控えて行こうかな。今晩は呑んでしまいそうだが。あ、明日は資源ゴミの日だ。今からやらないと。

若隆景が25場所振り2回目の優勝。Baystars は交流戦前の試合を1－0で勝利。

昨日の晩は涼しかったからか、ふなごやの店長が表にいた。びっくりした。聞くと早い時間に客は皆帰ったそうだ。Tigers が勝ったのは知ってたが、こちらはテレビでずっと見ていたので、詳細を話してあげた。圧勝だったからね。で料理をいただいてから二人で呑んでた。いつもはバイトの人がいるんだが、今日は私用で来ないそうで、そのためいつもよりワインを呑み始めるのが早かった。寝不足だったので丁度いい。ジョージア州のワインははずれがないそうで、ラベルに “Ancient 8000” と書いてあったのを頼んだが、確かに美味しかった。でお開きはいつもより少し早かった。例によって途中から記憶があまり無いが、起きてレシートを見て思い出したことが。新500円玉がお釣りに含まれていたが、「セブンイレブンで使うからいいですよ」という趣旨のことを話した。セブンイレブンで水を買ったレシートが机に置いてあった。nanaco で買わなかったのはそういうことだ。

でやはり超寝不足だったからか、中々起きられなかった。起きたら4時過ぎ。野球はどうなってる？と起きてテレビを付けると、9回表。1－0 でリードしている状況。康晃が投球練習をしていた。先頭打者をヒットで出塁させるが、次の打者を併殺打に打ち取り、結局11球で抑え切り勝ち。これで通算244セーブ。藤川球児を抜いたそうだ。名球会まであと6。今年はいいぞ。先週の日曜日は石田裕太郎が1失点だが点を取れず負け、今日は逆に Baystars が1点で石田裕太郎が無失点。ここのところ点があまり取れない。少しどうにかしないと。石田裕太郎は9試合中7試合がクォリティースタートで防御率2.14だが3勝5敗。援護が無さすぎるね。どうにかしないとパ・リーグ相手に壊滅的に負けかねない。頑張れ。

で驚いたのが、今日の試合を最後にビシエドが日本を去るそうだ。家族をアメリカに置いて一人で日本に来ていたそうだが、やはり家族が大事なようだ。ポケモン何とかデーとかいうやつらしく試合終了後に何かやると場内放送が流れていたが、それを遅らせてビシエドの引退セレモニーをやってた。中々気の利いた演出だ。よかった。

ということで相撲を見始めるのがちょっと遅くなった。NHK にチャンネルを変えると、むすびまえの一番が仕切りの最中。熱海富士が結び前か。そりゃそうで、霧島以外の横綱、大関は全員休場だからね。で熱海富士は勝って9番。琴勝峰も9番で、新関脇が揃って9番なのは素晴らしい。来場所も期待出来る。で結びは霧島 vs. 宇良。宇良は曲者だから難しいか、と思ったが、霧島の圧勝。結局霧島と若隆景が3敗で残って、優勝決定戦に。さあどうなる？と思って見たら、何と若隆景が圧勝。数秒で決着がついてしまった。若隆景は2回目の優勝だが、前回優勝したのは25場所も前だそうだ。優勝間隔の第3位らしい。膝の大怪我で幕下まで落ちたが、よく戻ってきた。今度こそ大関に成りましょう。3度目の挑戦。今度こそ。霧島は優勝に準ずるということで、来場所レベルの高い優勝なら横綱に、という相撲協会の声が紹介されていた。来場所もまた楽しみ。

まだ眠い。寝床でウダウダとしながら YouTube を見てたが寝落ち。目が覚めてもう一度見始めたがやはり寝落ち。結局「サンデースポーツ」が始まるまで寝ていた。千秋楽は必ず優勝力士が出演するので見ることにしている。若隆景がスタジオに来ていて、元力士の親父さんのおめでとうコメントが紹介されていた。いいですね。三兄弟全員力士なのは有名で、毛利元就の息子の隆元、元春、隆景に因んだ四股名を名乗っている。若元春も幕内力士だが、長男の若隆元は関取経験が無く、何と弟の若隆景の付き人をやってるそうだ。若隆元は張り切って関取に成り、3兄弟同時関取を実現させて欲しいが。前例有るのかな？期待するぞ。

明日は2時55分からのゼミだけが用事の筈だったが、6時からちょっとオンラインでの会議に参加しないといけなくなった。教務委員は色々大変。まあ2年任期で2年目の方の先生が仕切ってくれるのでいいけど。来年度に似たようなことがあると小生が仕切らないといけない。面倒なことが起きませんように。

先発投手が1回表に60球も投げたらそりゃぶち壊しよ

今日は昼前にちょっと近所で用事があったので、寝ておかないと、と思ったのだが、つい「ゴチバトル」の2時間ものを見たりとか色々非生産的なことに時間を使ってしまい、結局殆ど寝なかった。いけないな。用事は割とすぐ済んで、なか卯で親子丼と鰻のあいがけのものを食べて帰ってきた。1時前。野球は2時からなので、多少寝てもいいが、あまり寝られないな、と思って寝床で YouTube を見てたら寝落ちして、ちょっとだけ寝た。

で2時を過ぎていて、スマホでチラッと野球の情報を見たら、早くも1点取られてる。…。もうちょっと寝床でウダウダして、もう一度スマホを見たら3点取られてる。…。起きてテレビを付けると5点取られてる。…。もう1点とられて漸くチェンジ。先発投手が1回表にいきなり60球投げて6失点。見る気が失せる。まあ水曜日の Tigers のようなこともあるから、という気がしないでもないが、今日の Baystars 打線はからっきしで、3安打しか打てなかった。投手陣は踏ん張った。2番手の若松は2本の被安打と4の与四球も無失点。宮城、坂本、吉野も無失点で、お気付きの通り0－6での負けという、先発がどうにかしていればという展開だった。入江は大いに反省しないと。下手をしたら今後先発の機会は無いぞ。松尾汐恩もこんなことは初めてだろうから、パニックったか？1回2アウトまではあっさりいったのだが。途中桑原のFA移籍による人的保証で Lions から来た古市がマスクを被った。まあいい機会があってよかったと言えばよかったが。明日は勝たないと。借金4で交流戦と借金2で交流戦では大分違う。明日は石田裕太郎か。いい内容でも勝てないからね。先週は1失点だが打線が点を取ってくれず負け投手だった。湿り気味な打線だが、裕太郎の為に明日は大いに打ちまくっておくれ。

1回表が40分くらい掛かったのに、その後どちらも点を取れなかったからか、5時ちょっとには終わってしまった。相撲を見よう、とNHKにチャンネルを合わせる。今日は優勝に関わる力士陣の直接対決が多かった。3敗の義ノ富士と4敗の藤凌駕は藤凌駕が制し、義ノ富士は一歩後退。3敗同士の若隆景 vs. 琴栄峰は若隆景が格の違いを見せて圧勝。結びは2敗霧島と4敗の伯乃富士。霧島が土俵際まで追い詰めるも伯乃富士が驚異的な粘りを見せ、勝った。霧島は3敗で、若隆景と並んでしまった。千秋楽にこの二人の直接対決があると面白いが、もう既にやってしまったので、明日は誰と？2横綱3大関だが、4人休場しているので、霧島の相手が分からない。明日の割はまだ発表されていないので、予想では伯乃富士か？とのNHKのアナウンサーの仰せだったが、今調べたら霧島の相手は何と宇良。東前頭11枚目が千秋楽結びの一番を任せられた。今日勝って10勝4敗だから、まあ優勝に関わりがあると言えばある。明日霧島と若隆景が揃って負けたら宇良も圏内に入ってくる。若隆景の相手はやはり4敗の藤凌駕。4敗の義ノ富士と琴栄峰が直接対決。伯乃富士は7勝7敗の藤青雲と。藤青雲は勝ち越しが掛かってるから必死だろう。どうなる？

で相撲が終わってそのままNHKを流しておいて、ニュースが終わったら野球が始まった。Giants vs. Tigers。1回表がほぼ終わってるところから中継開始。Giants の1番打者がショートフライを打ち上げた、と思ったら、ショート、サード、レフトがお見合いというかそういう感じで二塁打に成ってしまった。で1アウト3塁に成ったが、前進守備の内野ゴロで三塁走者がホームに突っ込みアウト。そのまま Giants は点が取れなかった。勝ってるチームと勝てないチームの差が出たか？Giants の外国人投手が三振を取りまくっていて、どうだろう？と思ったら、さすがは Tigers。ルーキー立石が2点タイムリーヒットで先制。立石はついこの間一軍デビューだったが、4試合連続安打。昨日は猛打賞とプロ初打点で、今日は2安打2打点。こういう選手をドラフト1位で指名出来るのが凄い。見る目があるというのと籤運が強いの。Tigers の先発村上は1回の先頭打者を不運な形で出塁させるもその後21打者連続で打ち取るという快刀乱麻を断つ投球。結局被安打3、無四球の完封勝ち。110球だったのがちょっと残念。マダックスいけるか、という感じだったが。Swallows の勝ち越しが11、Tigers は10。明日は Baystars が勝って、Giants が負ける（断言）から、首位交代だな。

さて呑みに行きます。超寝不足だが、まあ付き合いなんで。寝不足でも案外寝落ちしない。この前は久し振りにちょっと寝てしまったが、まあ大丈夫でしょう。もう野球が終わったが、客がいなかったらスマホで随時チェックしてご機嫌だろう。Baystars が Swallows に負けたので奪首出来なかったのは残念だろうが。まあ気持ちよく呑めますわな。ということで、洗濯機を回して出発。

あ、そうそう、1イニングで一人の投手が投げた球数の最多は確か64だと言ってたと思う。Tigers の吉野だそうだ。先発投手が1回表に60球も放ったのは初とか。まあそういうことだ。切り替えましょう。

講義14週のうち7週終了

今朝は10時半前に一旦意識が戻ったが、結局もう一度寝入ってしまい、何度もしつこく鳴らすように設定してあるアラームの何回目かで目が覚めた。11時くらい。起きてパソコンを見ると有理点が求まっていたので、然るべき後始末をしてからしばしボーっとして、11時半くらいに出発。12時くらいに職場に着いて、弁当を買って食して、またしてもしばしボーっとする。

1時10分から「代数学I」。先週より出席者が減った気がするが、こんなもんだったかいな？「数理科学セミナー」にいるでかいが気が弱そうな留学生の姿が見えないが。1時10分にチャイムが鳴ったので、気にせず始める。今日は素イデアルがどうしたとか極大イデアルがどうしたとか。剰余環を使った特徴付けをやったが、分かったでしょうか？分からないだろうな。剰余環が難しいし。極大イデアルの存在をツォルンの補題を使って示したが、いよいよ訳が分からんだろう。で P.I.D. を定義して、ユークリッド整域を定義して、Z と Z[i] がユークリッド整域であることを示して、というあたりで大体時間。ユークリッド整域は P.I.D. と板書して、「証明は来週」と言った後に気付いた。Z の時と同様、と書いて済ますつもりだったのだ。じゃあそう書いてから終わりにすればよかった。まあいいです。見ると上に書いた留学生はいた。バスが遅れたとかその程度のことだろう。真面目そうな学生だ。日本語は苦手らしいが、頑張ってくだされ。

休憩を挟んでゼミ。今日は n が素数冪の場合の n 分体の判別式と整数基の話から。結構大変だが、一般の n に対する円分体の Q 上の拡大次数が φ(n) であることはもう示してあったので、まだ楽だった。でその後イデアルの定義とかイデアルの和とか色々イデアルの細かいことをやって、分数イデアルを定義してから代数体の整数環がデデキント整域であることを示した辺りで力尽きたようだ。テキストに書いてある文章を一つ見逃して、それを使えば簡単に示せることの証明に苦労して時間を無駄にしたと言ってた。まあそういうことはあります。来週は素イデアル分解の一意性などをやる予定。石田信先生の代数的整数論の本を使っているが、この本のよくない所は二つあって、代数的数に一章使ってしまうので代数的整数の定義が中々出てこないこと、それとイデアル類群が相当先までいかないと出てこないこと。どの本も帯に短したすきに長しで、「数論序説」は代数的整数を平方剰余の相互法則を示すのに使うため早目に出てくるが、代数体という言葉が相当やらないと出てこない。分かってる人が拾い読みをするには適しているが、ゼミのテキストにはちょっとという気がした。連分数とかコホモロジーとか最初の方に出てるのに、使うのは本の大団円が近付いてきてから出し。正多角形の作図可能性も余計。藤崎先生の代数的整数論の本は細かいことが色々書いてあるのが嬉しいが、細か過ぎることも多いので、初心者にはきつい。ガロア理論の本もそう。小生が学生の頃はガロア理論の本は3冊もので、1巻の途中の体の拡大の所から読み始めて2巻のガロア理論の基本定理まで読んで終わり、ということにすればまあいいのだが。読み通そうとすると大変だし、実体とか付値論とかガロア理論とは関係無いことも出ているので、真面目にやり過ぎる学生は大変。まあ本のタイトルが「体とガロア理論」であって、「ガロア理論」ではないので。

今日で講義14週のうちは7週が終わった。もう半分か。始まったばかりだと思っていたが早いものだ。津山で喋る件や論文の直しなど結構慌ただしかった。まあ今年度は来てから1度も欠かさずやってる講義と、初等整数論の本を使ったセミナー形式の科目だけで、講義の準備に使う時間が短かったのでよかった。残りの7週間はどうなるでしょう？

昨日の晩ふと気付いたが、10年以上前に書いた論文で Q(√3p）(p≠3 は4を法として3である素数）上の不定方程式に関するある結果を示したが、この前やったことは Q(√3) を含む結果。ということは3が分岐して類数が奇数である実二次体は全部扱えた、と思ったら Q(√6) が抜けてた。で随分前に作ったら表を見たら、何と Q(√6) 上には解がある。そうだったか。多分すぐ出来るだろうが、寝ないといけないのでやめておいた。でゼミ後考えたが、出来た。ただ今まで奇数の場合しか相手にしてなかったので、6 はちょっと違った。そうだったか。面白かった。Q(√2p) の場合にどうにか出来ないかと思ったが難しそうだ。数表を眺めてると解がある場合はあまり多くないようだが。急ぎでやらないといけないことは特に無いので、また適当に時間を作って考えよう。

今日はちょっとボーっとしてる。晩飯を松屋と松のやが一緒に成った店で食べたが、自分の番号が呼ばれたのを少し気付かなかったり、赤信号に気付かずに突っ込んでしまったり。前者は店に迷惑が掛かるが、まあ大した時間ではなかったのでいいでしょう。後者は多分赤信号に変わったばかりのタイミングだったが、何にしても危険極まりない。少し先で工事をしてるという看板に意識がいってしまっていた。こういうのが年を取ると増えてくるのだろう。老人に成ったら（もう十分老人なのかもしれないが）気を付けないと。

などと書いてしばし。ちょっとびっくりしたことが。スピードスケートの高木美帆氏に国民栄誉賞授与を検討、というニュースを「報道ステーション」で言ってて、いいことだ、是非にもそうしてくだされ、と思って調べたら、何と今日は高木美帆の誕生日だそうだ。「報道ステーション」では言ってなかったが。凄い誕生日プレゼントに成ったね。オリンピックで10個もメダルを獲ったんだ。文句無いだろう。嬉しいね。色々不安にさせられるニュースが多い。いいニュースもないとね。

度会の通算安打数が親父さんの15年分を超えた

10時ちょいに一旦目が覚めて、お、これはうな松で割引券を使える、昨日の500円オフを食べ損ねただけに是非にも、と思った瞬間にまた落ちて、次に目が覚めたら1時ちょい前。あかんわ、今日も生協の弁当だ、と成ってしまった。「徹子の部屋」を見終わってからシャワーを浴びて、2時くらいに出発。こんな時間に出勤出来るのは贅沢なことと言えば贅沢なことだが、こんな時間に職場に行かないといけないのは不幸なのかもしれない、などと思ってから出発。パソコンの画面に「小雨」と文字が出てたが、入り口に近付くとザーザーと聞こえてきた。大雨じゃないか。

幸いフォレストハウス脇に停められたので、生協へ向かって弁当を買って食して、2時50分くらいに講義室へ向けて出発。今日は「数理科学セミナー」。先週から合同式を始めたが、今日は一人で終わってしまった。1次合同式を解く話だったり、n 次の合同式の（互いに合同でない）解の個数は法が素数だったら高々 n 個とかそういう話。学生は地の文を読まない習慣があり、2次合同式なのに解が4つある例を「この合同式の解は … の4つだけです」と流そうとする。何のためにそんな例が出てるか考えないと。色々本を読んでるだろうが、前書きとか章の頭に書いてある導入的な文章は是非読まないといけないが、そういうことの大事さがまだ分かってないのだろう。それと直訳する。よく日本語訳された本に「線形方程式」という言葉を見掛けるが、こんな用語使うか？「1次方程式」と訳せばいいのに。今日は「non-linear congruence」を「非線形合同式」と訳していた。一番いい訳語は「1次でない合同式」だと思うが、いかが？で色々話してたら、先週書いたことが当たっていた。今日喋っていた学生に Z の剰余環のこと、零因子の無い可換環のこと（零環でない、は意図的に言わなかった）を何ていう？と聞いても答えられず。何故かと言うと「代数学I」を登録してないとのこと。衣笠での教養系の科目の時間とぶつかってるので出られないという。まあ教養系の科目は幾つか単位を取らないと卒業出来ず、「代数学I」は必修でも何でもないので、取らなくても卒業出来る、ということなのだろうか？知らんけど。シラバスに挙げてある本を自習してるようなことは言ってたが、今日の話の感じでは講義より大分遅れてるな。秋学期は「代数学I」の知識を既知として「代数学II」をやるのでよろしく、という趣旨のことを言って帰ってきた。

休憩を挟んでゼミ。今日はディリクレ級数とディリクレ L 関数の話。アーベル総和法とか色々などのディリクレ級数に関する準備をして、ディリクレ L 関数の初等的な話。単位指標でなければ定義域に s＝1 を含められたので、それを使えば算術級数定理が証明出来るが、今日は結構手間取ったので、算術級数定理は来週。その後は密度のことをやるようだ。完全分解する素数の密度が 1/[L：Q]  とかやるのだろう。完全分解する素イデアルの全体が拡大を特徴付ける、なんていうのはまだ先かな。面白くなってきた。7時50分過ぎに終了。

その後部屋でここ数日考えたものを TeX 化して印刷。色々分かってきたが、もう少しどうにかしたい所があるにはある。まあ全部全て分かるわけはなく、且つ分かってしまったら面白くないので、もうちょっと考える。昔考えて論文にしたことの別証明が出来そうなので、考えてみる。途中チラチラと野球の様子を見ていたが、先制したのにひっくり返されて、負けていた。Carp 相手では無類の強さを誇っていたが、そろそろメッキが剝がれてきたか。決勝点が内野のエラーという、相変わらずの守乱ぶり。上がるにはこういうところをどうにかしていかないと。犯人捜しをするつもりは無いので名前は書かないが、期待して使ってもらってるんだ。成長しないと。まあ今日のは授業料ということでね。幸い Giants が負けてくれた。離されなかったのは救い。いいニュースもある。度会がヒットを打って、親父さんの博文氏が Swallows で15年現役続けて稼いだヒット数173を上回る174本目らしい。.310 は堂々のセ・リーグ2位。もっと打ちまくっておくれ。明日は謎なことに Baystars vs. Swallows だけ試合が無い。ゆっくり職場で勉強してこよう。明日は講義とゼミで、終了は一番遅くても6時15分。その後部屋で3時間くらいグダグダやろう。

雨は大学を出た時はまだ降ってたが、晩飯を食べたらほぼ止んでた。が、車を走らせてる内にまた降ったり、止んだりを繰り返して、住処に着いた時は傘が不要だった。明日は近畿は降らないという予報なので、もう大丈夫かな。明日は傘を持たないで行けそうで嬉しい。講義は1時10分からで、その時間だと一番大きいが遠い駐車場に停めないといけないので、雨降りは嫌だ。蒸し暑くなければいいが。前は6月半ばまで冷房が使えないと杓子定規なことをやられてたが、ここ数年の暑さで考え直してくれたか先週から冷房が使えるようになってる。何度も書いてるが、座ってスライド見せて講義という楽なものではないので、暑いのは堪える。8月いっぱいと9月の大半講義が無いのは日本の気候を考えると素晴らしい制度だ。夏休みは用事が無い限り日の高い内は外出しないことにしている。夜外出すると言っても近所のコンビニエンスストアに買い物に行くか呑み屋に行くくらいだが。食事は Uber Eats で。持ってきてくれる人は暑い中大変だろうが、まあお金に成るので頑張ってください。ふなごやの大将の知り合いが Uber Eats だけで月35万稼いだことがあると言ってた。協力しますよ。

Tigers の打線に物の怪が付いてきたよう（Baystars は4連敗でストップ）

結局相当遅くまで起きていた。論文から解放されたので、テレビを見たり計算したり。計算してて気付いた。昨日 mod 4 で 3 と合同でいいじゃないか、と書いた件だが、なぜ mod 4 で 3 と合同なのかは実は第一補充法則だ、と。だったら m が mod 4 で 3 でなく、m が mod 4 で 3 とう合同な素因数を少なくとも一つ持つ、でいい。冷静にやってると色々見えてきていい。Wiles が言っていたことだと思うが、最初は部屋は真っ暗で何も見えないが、少しずつ目が慣れてきて、電気のスイッチの場所が分かって、でスイッチを入れるとよく見える、というのはこうゆうことか？と。いや、7年屋根裏部屋で研究を続けた人と小生ごときを一緒に論じるのは無礼だな。短時間で問題を解いて点数稼ぐのとは違う面白味がそこにある。我慢強く数学をしましょう ＞ 学生諸子。

で起きたらもう相撲が始まってる時間。眠いが霧島 vs. 若隆景を見たくて必死に起きていた。やはり大関に返り咲いた霧島と、何度かの大関昇進のチャンスを逃した若隆景の差が出た一番だったな。昨日の時点で2敗が6人でトップだったようだが、今日の結果で2敗が3人という状態になったようだ。さあ誰が優勝するでしょう？

結びの一番の前に眠気がもう一度限界に来た。琴櫻が負け越した音声が聞こえてきた。今場所は調子がいいという事前情報があり、琴櫻のお爺さんの方の琴櫻の弟子だった琴風さんが残念がっていた。うーん。で野球を最初から見るのは無理だった。起きたら7回で1点リードしていたが、すぐ同点にされた。が、そこを1点で抑えたのでよかった。今日2安打の松尾がチャンスの場面で打席に立って、そこで初球スクイズ。代走に出ていた三森の好走塁も効いた。4連敗でストップしてよかった。借金1に戻した。明日は東だ。やってくれる。

今日の Tigers は凄かったようで、7回表終了時点で7点リードされていたが、7回に4得点、8回に3得点で追い付き、9回裏にここのところ不調だった森下がサヨナラホームラン。98年に Baystars が優勝した時に打線を権藤監督が「物の怪がついたようだ」と言っていたが、今日の Tigers はそれを連想させる。こういう年は勢いが付いてフィニッシュ、ということがあるかもしれないが、Swallows の優勝も面白い。今日は Swallows は最初から予定が入ってなかったようで、Tigers は Swallows に0.5ゲーム差に成ったようだ。どうなるでしょう？Swallows は土曜日から Baystars と2連戦。金曜日に試合が無いのが謎だ。

しかし Dragons 弱いな。去年までは投手陣が売りだった筈だが、今日は投壊。一瞬最下位を脱出したが、見るといつの間にか Carp と3ゲームも差が付いてる。ホームランテラスだか言うのをバンテリンドームに設置してホームランを出易くする、というが裏目に出ているのでは？という気がする。パ・リーグもいつの間にか Eagles が最下位に成ってる。4月には一旦首位に立った筈だが。快調なスタートを切った Hawks が借金2で4位、出遅れたと思った Lions が一度は首位に立ったり（今日 Buffaloes が首位を奪い返した）、長丁場だからどうなるかはまだまだ分からない。それにもう来週から交流戦だ。去年はそこで Hawks が盛り返して、出遅れを一気に取り返して日本シリーズまで制覇した。分からんぞまだまだ。

不規則正しい生活を繰り返しているので眠い一日

またしても訳の分からない時間まで起きていた。ちょっとある事実を一般化できるのでは？と思い付いたので。mod 4 で1と合同を仮定していたが、これは方程式が偶数解を持たないことを合同式を使って示すのに使っていて、いや、偶数解が無いことを合同式なぞ使わないでも示せるぞ、と閃いた。でやったらその通り。でそれを使って示していた事実も一般化出来て、嬉しい。もう一つ気付いた。mod 8 で 3 か 7 と合同、としている箇所があったが、これ mod 4 で 3 と合同、でいいじゃん。ちょっとすっきりしてやはり嬉しい。でもう「おはよう朝日です」が終わりそうな時間。うまくいったと喜んでたら、占いで最下位に成ってしまった。まあいいです。でその辺でダウンした。

起きたらもう相撲の時間。が、やはり眠い。中々起きられず、途中から見たが、結びの一番で霧島が負けたのを見てもう一度ダウンして30分くらい寝た。

7時からマンションの理事会なので行かないと、ということで起きて、少々シャキッとさせてから出発。出発と言っても2階の部屋から1階のエントランスに行くだけだからすぐ。今日は困ったちゃんが出席するかもという話だったが、予定が合わずに来ないとのこと。予定があっても来ない気がするが。でその人の件でまたしても30分くらい使ってしまった。皆さんもいい加減どうにかしたいと思っているようで、何としても次回に決着を付けましょう、そのために管理会社の人よろしく、ということに成った。その後マンションの修繕についての話。建築について詳しいご老体がいて、その方がアンケートに専門用語を使うのはやめた方がよい、という適切なアドバイスをしていた。で幾つか意見が出て、結局8時半近くまで掛かった。途中やはり何度か眠くなったが、居眠りするわけにはいかないので、耐えた。

部屋に戻ってきて野球を見ると、またしてもリードされてる。9回に1点取るのがやっとで、ここ数試合貧打なのが目立つ。Giants が勝ってしまったが、幸い Tigers も勝って、Giants の2位浮上はならなくてよかった。明日は結構強い雨があっちこっちで降るようなことを言ってたから、明日は数試合中止だな。Baystars の面々は大分疲れてるから、休息した方がいいかも。ということで広島は雨降らないだろうか、と思ってみたら、やりそうな天気だ。まあいです。やるからには勝ってください。

上に書いた通り明日は雨で、ここ数日ほどの暑さには成らないと言ってた。ただ雨ということで当然蒸すらしい。嫌なこったな。木曜日も雨だそうだ。強い雨でなくて風が無ければ我慢する。金曜日は曇りの予報だが、木曜日の帰りに雨が止んでると嬉しいけど。

今眠いが、これから段々目が冴えてくるんだろう。生活リズムがそうなってるからね。昨日も書いたが、明後日も早起きの必要は無い。が、少数の学生と TA だけのセミナー形式科目で居眠りというわけにはいかない。ちゃんと寝よう、と今は思ってるんだがな。「不規則正しい生活」という名台詞を言われた方がいるが、まあそうなるな、多分。金曜日の講義は1時10分からだから、木曜の晩は多少早目に寝てるけど、普通の人の感覚では十分遅い時間だと思うが、さて何時でしょう？