昨晩はブログ更新後眠くて一旦ダウンしたが、2時間もしないで起きてしまった。むぅ。でその後少しゴソゴソとやって、4時半くらいには寝た。相変わらず生活リズムがぐちゃぐちゃである。で起きたのは1時半くらい。2時から学生とオンラインで面談の約束なので。が、5分過ぎても10分過ぎても来る様子が無い。2時半に成ったので Zoom を終わらせて、仲介をしてくれた事務の人にその旨メールを書いて、カップ麺を食べて腹ごしらえしてメールを見ると、忘れていたらしい。向こうの希望で面談をしようと思ったのに何なんだか、と思ったが、3時からやって欲しいと言ってきているようなので、まあいいか、と。で再び Zoom を起動すると、今度はちゃんと3時前に現れた。説教してもいいが、やめておいた。色々精神に不調をきたしたりしていたことがあったようなので、やらないでおいてよかった。で話を聞いたりアドバイスをしたりと、20分くらいは話したがな。一応やった甲斐はあった。
その後メールを見ると、またしても面談の日程調整のメールが。オフィシャルな面談なので今日とは違うが、今月いっぱいでオフィシャルな面談をしなくちゃいけない件の手続きは終わりだそうなので、来週の面談で一旦打ち止めだろうか。もう6月に成るしな。
4時40分からゼミなので、3時半過ぎに住処を出る。4時過ぎに職場に着いて、ウェストウィングに割合近い所に車を停めて、その後個研室で30分ばかりボーっと過ごす。でゼミ開始。今日は多項式環 R[t] での ABC 定理。まず証明だが、何ステップにか分かれていたうちの第1ステップで示すべきことを間違えていたらしく、しばし立ち往生。その後も数回引っ掛かっていた。見ていると、何でも頭で考えようとする学生なので、取り敢えず何でも書かせることにした。足立先生が「書いてみてごらん」と色々な学生に言っていたのを思い出した。書いてみればすぐ分かることはある。で何とか終了。高校生でも理解出来るくらいの証明。で休憩を挟んで応用例を幾つか。ビール予想とかカタラン予想の関数体類似など。Z の方では凄く難しい。カタラン予想は解決してるが、証明はわけ分かんないし、ビール予想は何も分かってないようだし。ビールを呑んで銘柄を当てる方が易しいかもな。で演習問題が2題ばかり出ていたが、一箇所 ＝ で結んだところがあったのだが、それは怪しい、と突っ込む。X5＋Y5（X, Y は不定元ではなく、X(t), Y(t) という t が不定元の多項式の不定元を略したもの）の次数を max{deg(X5),deg(Y5)} としたが、X, Y の次数が等しくて、主係数の符号が逆だと ＝ じゃないよね、と言ったらしばし呆然。が、その後の証明を見てるとそれは使わなかったので、大丈夫だった。今日はよく分かった。8時まで時間はとってあるが、7時ちょっとには終了した。
その後野球の様子を見ながらちょっとゴソゴソ。1－1という状況。牧にソロホームランが飛び出し追い付いていた。後で聞くと Baystars の得点は36イニングぶりとか。丸4試合だな。で群論の下らんことを考えて、秘蔵の群論問題集（群論の講義はあまりやったことがないので、非常に poor）を見たり。「多分成り立たない」とメモ書きがあったが、本当だろうか？その上に証明しようと努力した後が残っているが、確かに破綻している。反例は見付かるだろうか？と探したが、ちょっと出てこない。群論は苦手だ。などとしてから野球を見ると、7回裏2死満塁でフルカウント。まあ点は入らないでしょうな、と思って見てると、代打宮崎が押し出し四球を選んで勝ち越した。その後石上に2点タイムリーヒット。度会のホームへの生還が微妙だったようでリクエストがあったが、判定は覆らず。9回に祐大に犠牲フライが出て、5点目。よしよし。最後は入江が抑えて、連敗は3でストップ。よかった。明日から Swallows と横浜スタジアムで。取り返しましょう。
9時前に試合が終わったので、いつもよりちょっと早目に職場を出た。木曜日は行くのが遅いから一日短い。雨が降ると言ってたが、地面が濡れてる様子も無く、降らなかったのかな、と思って車に辿り着くとフロントガラスが濡れてた。降ったのかな？走り出して暫く経つとちょっと降り出した。大したことは無かったが。久し振りにココ壱番屋で食事をして、工事の始まる前に大津を通り過ぎて、10時前に外環三条の交差点を通過したが、洗剤の残りが僅かだったのを思い出し、ドラッグユタカに寄ってきた。この4月から24時間営業に成ったので、無理に寄る必要は無かったが、帰ってから再度行くと面倒なので。ついでに幾つか買い物をしてきた。
今「いたって真剣です」を見てるが、昭和100年がどうしたとかいう話をしている。小生が生まれたのが昭和43年だが、その頃と今で大分違う。今は平成でも既に37年だからね。1994年（昭和69年と言ってた）と今でも色々違って面白い。やすともが言ってたが、昔は風呂のお湯を張るにも気を使ってて、それどころか適温のお湯を出すのも一苦労だった。今は風呂はお湯が適量に成ると止まってくれるし、シャワーから設定通りの温度でお湯が出てくる。当時に比べ色々楽に成ってるはずだが、何でこんなに忙しいん？と。そうだよな、昔は洗濯は全部手動、ご飯を炊くのはお釜に米と水を入れて、火の加減をずっと気にしいしいやらないといけなかったのが、どちらも全自動に成ったし。料理を温めるのは電子レンジでいいし、食器も自動的に洗ってくれるしね。何故それなのに人間はこんなに忙しくなったか？ちょっと反省した方がいいかもな。
まだ5月も終わってないのに、大学の事務からここ数日来たメールは7月に関すること。学科長をやって初めて知ったのが、次年度の計画を4月中から始めないといけないということだった。我々の実態を知らない人は、週に3、4日の出勤で済んで羨ましいとか、長期休暇があってえーのー、ということだろうが、我々も結構忙しいのです。次年度の時間割作り担当に成ると、もう7月から動き始める。さっき twitter に書いてあったやり取りだが、「思ったほど研究に没頭出来ない」というのは本当のところ。まあ今年はここ数年で一番忙しくないのでいいけど。来年度はどうなるでしょう？鬼が笑うな。この辺にしておこう。
