寝坊した。プロレスが終わった頃、今日が資源ゴミ（段ボール、古紙等）の日だと思い出してしまい、9月の第4火曜日は鹿児島にいたので、結構溜まっていた。急いで分別して、とかやってたら結構な時間に成ってしまい、今日は起きられなかった。2時55分の講義に間に合わないということだが、さて何時に起きたでしょう？
5分くらい遅刻して講義開始。今日で完備化の存在と一意性を終えて、で p 進体と p 進整数環を定義して、色々性質を示しているうちに時間に成った。4時45分までと勘違いしていて、4時半にチャイムが鳴った時はビックリした。命題の証明の変な所で終わってしまった。幸い ⇔ の ⇒ は示し終えたので、次回は逆向きの含意から。p 進展開出来ることと、p 進展開で与えた級数が収束して p 進数を定めることなどの証明が完成する予定。
大学内にファミリーマートが開店していて、そこでカレーパンとコーヒーを買う。昨晩紙ゴミを出すために近所のファミリーマートで渡されたポイントカードからスマホへの移行を書いた紙を見てやっていて、うまくいっているかどうか分からないが、緊張しながら使ってみた。すると買えた。よかった。後で近所のファミリーマートにも行ってみようか？その後講義資料を直して web に上げて、昨日の線形代数の分をやってないので、それも直して web に上げて、演習を担当している若い先生方にメールを書いて。さて、それから意を決して論文の3度目の投稿。何かうまくいったようだが、どうも英語が分かっていないので、色々変なことをやってそうだが。まあ何とか成るでしょう。今度こそ accept お願いします。でそれから事務に領収書を送って、でゴソゴソと色々やって、9時くらいに職場を後にした。雨はほぼ降ってない状況。
すき家のチーズインハンバーグカレーが気に成っていたので頼む。CM でやってるほどチーズがドバーっと出てくるわけではなかった。今度久し振りにガストでチーズインハンバーグを食べよう。ガストのは結構激しくチーズが出てきたと思う。最近ガストはから好しの唐揚げばっかりだったので、たまには違う物にしよう。から好しの唐揚げは Uber Eats 経由で食べればいいので。
10時ちょいに帰宅。パソコンの電源を入れてメールを見ると、速報メールが数通。サッカーで日本がブラジルに勝ったらしい。初めてらしい。あ、オリンピックでは若い世代が勝ってるが、フル代表で初、ということなのだろう。前半に2点取られたが、後半だけで3点取ったというのは凄い。1点目はディフェンダーが蹴る時にこけて、日本選手への最高のパスに成ってしまってのことだったようだが、ディフェンス3人のところに日本は5人攻め上がってて、ディフェンダーが迷ってのミスだと内田篤人氏は言ってた。まあ難しいことは分からんが、勝てば何でもいい。凄いな。ワールドカップで優勝を目指す、と森保監督は言ってるが、まあ何があるか分からんし、目標は高い方がいい。頑張ってもらおう。
何か凄い音がしたな、と思ったら、雷鳴のようだ。滋賀県湖北に雷雨注意報が出た。この辺は湖北には大分遠いが、まあ関係はあるかな。何事も起きませんように。などと書いているそばから凄い雷鳴。大丈夫か？停電は勘弁してよ。
