1回表に1アウト目をとられる前に3得点をあげ、相川監督初勝利

色々やってどんどん寝るのが遅くなり、もう新入生歓迎企画は出なくていいや、と開き直ってウダウダと。でテレビを見ててビックリした。サッカーの日本代表がイングランド代表に勝った、との情報。凄いな。日本代表強く成ったぞ。ワールドカップ優勝、という壮大な目標は冷静に考えれば達成出来るとは思えないが、まあいい線いくのでは？という感じ。野球が残念な結果だけに、サッカーで騒げると嬉しいが。

でまた変な時間に寝て、起きたら夕刻。二日続けての寝不足はやはり堪える。今日は冷たい雨に成ると正木さんが言っていたので、外出しないで済むようにしておいたので、問題無し。大阪は昨日25度を超えた所が数地点あるそうだが、今日の最高気温は14度とか言ってた。京都、滋賀も同様寒いということで、職場に行く気は失せていた。明日は天気がいいようで、今日よりは多少暖かいそうだから、職場行こうか？学生がうじゃうじゃいるのは当然だが、年度初めの平日だから仕方ない。

であっと言う間に6時。CS のスカイAにチャンネルを合わせて、野球観戦開始。牧四球、度会ヒット、筒香先制のタイムリーヒット、宮崎四球、佐野2点タイムリーヒットと、アウトを取られる前に3点取った。開幕から繋がりを欠く打線だっただけに大きい。3回には宮崎のソロホームランで4点目。来日初先発のコックスには大きなプレゼント。落ち着いたピッチングを見せ、6回を被安打5、森下のソロホームランのみの1失点でまとめた。その後は伊勢、レイノルズ、康晃と無失点で、ついに今シーズン初勝利。よかった。Dragons は今日も負けて未勝利のまま。ということで単独5位。借金は僅かに3だからね。今日は神宮での Swallows vs. Carp が雨で中止のため、首位に半ゲーム迫った。明日も勝ちましょう。3日、4日、5日は東京ドームで Giants と。3タテして一気に浮上といきましょう。

コックスだが、オースティン・コックスと言う。オースティンは去年までいた選手だ。スティーブ・コックスとう選手も前にいた。タイロン・ウッズとの抱き合わせで来たが、ウッズはホームラン王を獲るほどの活躍で、Dragons 移籍後も猛打を奮ったが、コックスは15試合出場10安打1本塁打7打点、と何ともしょぼい成績だったようだ。上に書いた通りレイノルズという投手も投げたが、古い大洋 Whales ファンにはレイノルズと聞くとあの強肩好打の外野手を思い出すでしょう。プロ野球記録の11打席連続安打をやってのけたのは覚えている方もいるのでは？名前で騒いだと言えば、佐々木千隼を現役ドラフトで獲得した時、「Baystars に佐々木が戻ってくる」と盛り上がったがな。千隼はそこそこやってくれている。今年はまだ出てないが、一軍にいないかな？上がってきて好投を見せておくれ。

Fighters の細野晴希がノーヒットノーランでチーム初勝利をド派手に飾る

何か天気予報が悪いので、今日は職場行かなくてもいいや、ということにしてしまい、コンビニで食べ物だけでなく飲み物、呑み物を購入してしまった。で呑み呑み録画してあるものを見たりと、ノンビリした。秀吉が京都をどう再興したか、みたいなのを NHK スペシャルでやってたのを録画しておいたが、これが実に面白かった。ここ数年で調査が進んで、色々なことが分かったらしい。今はほじくり返さなくても地底のことが分かるので、調査するの面白いだろうな。番組ナビゲーターが佐々木蔵之介で、ナレーションが吉岡里帆。二人共京都出身で、佐々木蔵之介は「麒麟がくる」で秀吉を演じていて、吉岡里帆は今の大河ドラマで秀長夫人を演じている（一昨日初出場）。よい人選だと思う。

で結局夕刻まで寝てしまい、職場には行かなかった。明日以降は学生がうじゃうじゃいるので、今日行っておけばよかったが、上述の如く天気が悪かろうということでね。少し野球まで時間があったので、ちょっと数学。昨日書いた Antoniadis の証明だが、冷静に考えれば素数であることを使ってないぞ、と気が付いた。基本単数のノルムが －1 なのが証明中に書かれていたが、mod 2 で考えてるのでノルムが 1 でも －1 でも関係無い。でやってみたら確かにそうだ。Antoniadis は何故素数だと仮定したのかと言うと、彼は類数2の虚二次体との関連で調べていて、判別式の形からそう仮定したようだ。うん、一つ格好良くなった。ただ、Q(√m) の類数が3で割れないのと、基本単数のトレースが奇数であることは仮定しないといけないが。類数が3の時には確かに定理で言ってないことが起きる。基本単数のトレースが偶数の場合は、そこそこの所まで実験したが成り立ちそう、という雰囲気。3次の Thue 方程式を解く必要が出てくるが、それは Magma caluculator か PARI/GP で出来る。基本単数の形が m 毎にどう変わるか分からないから、一般的に示すのは難しそうだが。

などとしている内に6時に成った。今日から Tigers と京セラドームで3連戦。ドームだから雨の心配は無い。Tigers から移籍してきたデュプランティエが先発。やってくれると信じたいが、1回裏に早速1点先制されてしまう。む。5回裏には中野の内野ゴロの間にもう1失点。まあ5回2失点ならまずまずでしょう。次回に期待。すぐ筒香の1号ソロホームランで1点取り返したが、日曜日と同じで筒香の打点の直後に失点してしまう。坂本が2失点。その後チャンスを作るも、タイムリーヒットもホームランも出ず1－4で負けて、開幕4連敗。まあ Drgons がお付き合いしてくれているので、単独最下位ではないが。明日は勝てよ。

などとしている内にニュースが。Fighters の細野晴希がノーヒットノーラン。2023年ドラフト1位で入団の3年目。2024年は2試合登板、2025年はプロ初勝利を含めて6登板で3勝1敗と、大した実績は無い。今日は北山が WBC 明けなので先発を延期して、有原の先発の筈を新庄監督が閃いたか細野に変更したそうだ。それでこうなるから分からない。同じ Fighters だが田中幸雄という選手が同時に二人いたが、投手の方の田中幸雄がノーヒットノーランをやってる。その時は「これで完封勝ちなら監督賞だな」と全然欲をかかなくて成功した。で彼のキャリアでの完封は1試合だけ。面白いね。日曜日は栗林が惜しかったが、また是非やっておくれ。

明日から新年度。新入生歓迎企画とやらが9時半からあるそうだが、義務ではないそうだし、今年度は1回生の講義担当しないから行かなくてもいいや。気が向いたら午後から行こう。有隣社に注文した本が届いてるかもしれないしな。届いてないと論文の書き直しが出来ない。まあそれでもやることはあるのだが。午後から雨だと言っていたし、ここ数日の20度越えから一転15度にいかないそうだから、気は進まないが。行きますかね。

Antoniadis のドイツ語の論文の嘘（だと思う）に騙されて訳の分からない時間まで起きていた

昨日は結構寝不足だったのに、また無茶をしてしまった。呑んだのではなく、数学を考えていたため。数日前に書いた Antoniadis の論文の定理の証明を一つ読んでみようと。1ページ程度だし、眺めた範囲では難しいことは使ってなさそうだし。が、早速躓く。mod 8 で考えよ、というところがうまくいかない。が、これは割とすぐ解決した。奇数であることを示したく、偶数であると仮定して、とやるが、これを直接 mod 8 しても見えてこないが、偶数であるとしたので素直に X＝2Z, Y＝2W とおいて偶数因子を全て落としてから mod 8 すれば出来た。が、更に問題が。単数×整数³ の形になるまではよくある代数的整数論の演習問題で、問題はここから。単数は当然 1, 基本単数, 基本単数² のいずれかとしてよいが、これが 1 以外の時は不適、という理由がおかしい。トレースが偶数であることが従うが、この後に書いてあることが著者の勘違い。問題にしている体は Q(√p), p：素数、≡5 (mod 8) なのだが、これの基本単数のトレースが奇数、としている。ドイツ語の論文なので正確に読めているか分からないが、ここは間違っている。この形の体の基本単数のトレースが偶数に成ることはあるのだ。Q(√37) とか。そのことのお陰で寺井さんとの共著論文が書けて、学位に繋がったわけだから、この辺の事情は30年近く前から知ってる。だからこれは著者の間違い、と気持ちにけりを付けた頃にはもう「おはよう朝日です」が終わっていた。相変わらず無茶苦茶な生活をしている。コンピューターに計算させてみると、トレースが偶数の場合も主張が成り立ちそうだから、考えてみようかと思ったが、どうやっていいか分からん。もう今からでは無理、ということで寝た。

で起きたらもう夜。まだ眠い。Uber Eats に吉野家の牛丼と油そばのセットを頼んで食べて、「Qさま！！」を見てからもう一度ダウン。1時間ちょっと寝たろうか。まだ眠い。が、生活リズムが狂っている人間はこれくらいの時間から元気に成ってくる。今晩も変な時間まで起きていそうだ。取り敢えずこれから昨晩（今日の朝、というのが正確）書き散らかしたのをメモっておいて、トレースが偶数の場合をもうちょっと実験しよう。明日は年度末で、明後日からは学生がうじゃうじゃと大学にいるので、色々済ますために行っておきたかったが、何か明日は台風並みに暴風雨がどうとか言ってるので、やめておいた方がいいかな、という気がしている。Uber Eats の配達員が動けないかもしれないから、後で買い出しに行く。その時に酒を買うかどうかは考えどころ。明後日も雨だそうだから、数日行かないことにするかも。まあ成り行き次第で。

初スタメンの度会、筒香が結果を出すも、逆転負けで開幕3連敗

昨日も楽しく呑んできた。検査をするのは言った記憶があるが、もう皆酔っていたようで覚えていなかった。ということで検査の話が中心に成るか、と思ったが、もっと楽しい話の方がいいので、その話は短時間で終了した。芸能人が赤ワインと白ワインを間違えた話をしながらワインを呑むのは楽しかった。開放感というのはいいものです。

が、実は今日は1時から面談の約束を入れてしまった。講義が始まる前に終わらせた方がよかろうと、適当に日程を決めて学科の皆さんに送ってしまったが、曜日を確認しておかなかったのは失敗。皆さんやったのだろうか？色々アドバイスしたり説教したりするのに寝坊は洒落に成らんから、徹夜するか？とも思ったが、流石にしこたま呑んでしまったので無理だった。が、11時半くらいには起きられた。良かった。で12時55分くらいに Zoom を起動すると、学生はすぐ現れた。講義期間中にやると昼休みの50分間のどこかでやって、やる前か終わらせた後にチャチャっと食事をして、講義なりゼミなりをしないといけないので慌ただしいが、今日は後は予定が無いので、いつもより長時間やって、向こうの言い分も聞いて、こっちからも色々アドバイスして、で30分くらい話した。別にちゃらちゃらしたいい加減風な感じでも無く、性格的な問題は、打たれ弱いようだが大丈夫だろう、という感じだった。事務と話して色々情報を仕入れていたし、まあ大丈夫でしょう。

その後昨日帰りに買っておいたすみれの味噌ラーメンを食べて、寝床でゴロゴロしている内に野球が始まった。今日は度会と筒香をスタメンに入れ、打順を組み替えて喝を入れた感じ。すると早速度会が先制ソロホームランを打ち、効果あり。先発投手の石田裕太郎は内容はいいようだし、今日は勝てるか？などと思っている内に寝入ってしまったが、意識が戻って暫くしたら、7回に筒香がタイムリーヒットを打ち漸く2点目。その前に2死満塁で蝦名が三振、というシーンがあったのが聞こえた記憶がボヤーっとあったので、まあよかった。今日は勝てる、と思ったら悲劇が。無死満塁のピンチを作り、サンタナに走者一掃のタイムリー二塁打を打たれてしまい交代。筒香の後三塁に入っていた林が野選とマウンド付近へのフライを捕り損ねたりと、守備で目立たないといけない林がやってはいけないことをやってしまい、一気に5失点。9回にビシエドが犠牲フライを打ち1点取ったもののそこまで。開幕3連敗スタート。番長の1年目の2021年は開幕8試合を6敗2分（当時はコロナなので延長戦が無かったから2分があるわけ）で、4月4日に漸く初勝利だったようだ。その年は最下位だったが、次の年からは Baystars はずっと貯金をして、番長は監督として一つ勝ち越して終わったから、相川もめげずに頑張って欲しい。因みに1960年の大洋ホエールズは開幕6連敗から日本一に成ったし、去年の日本一の Hawks は5月の時点では最下位だった。まだまだ可能性はあります。首位までの差は僅か3ゲーム。凹む時期ではないです。気張りましょう。

今日はプロ初完封が二人。いずれもリリーフ経験豊富な栗林（Carp）と平良（Lions）。栗林は凄くて、95球完封の所謂マダックス。が、スポーツニュースを見てびっくりした。被安打1だそうだ。7回まで21人で、8回に細川がヒットを打っただけ。今調べたら、しかも無四球だったそうだ。勿体ないね。負け投手の高橋宏斗も完投で、失点1だが自責点0。痺れる試合だったろうな。見たかった。野球は一気にまとめて点が入る（今日の Swallows は8回に一挙5得点、Tigers は8回に3得点、9回に4得点）のが面白いところではあるが、痺れる投手戦というのもまた面白い。そういうのも沢山見せてもらいたい。

有理点探しのためコンピューターを走らせ続けているが、まだ見付からない。このまま見付からないで終わるんだろうか？あるのかって？うん、それは大丈夫。Analytic rank が1なので、難しい定理により rank が1であることは確定。Torsion point は無限遠点だけなので、どうにか成りそうなもんだと思うが。もうちょっとやらせておくか、整数点が無いのを示したいので、そっちをどうにかして示すか。ま、もうちょっと放っておきましょう。「コンピューターが無いと研究が出来ない輩」だからね。

相川監督はまだ勝ち星に恵まれず

今日は11時くらいに区内某所に出向かないといけないので、10時半にアラームが鳴るように仕掛けておいた。で目は覚めたが起き上がれず、10時45分に再びアラームが鳴るようにしてあったので、それで起きた。用事にはちょっと遅刻。まあいいです。でちょっと待ってから後はあっさり終了。でいつもは大抵なか卯で親子丼（450円）なのだが、久し振りに松屋にした。南草津の松屋と松のやが一緒に成った店に行く時は松の屋のものばかり頼むので、松屋は本当に久し振り。やはり券売機が進化していて、目的の物を買うのにちょっと時間が掛かった。待ってた人がいたようで申し訳なかった。爺にはああいう難しい販売機の操作は大変なのです。カルビ焼肉定食（890円）を食べて帰ってきた。

100円自販機で栄養ドリンクを買おうと思ったら、何やらエラーの表示が出ていて買えなかった。ドーピングしなかったせいか帰ってきてからも眠い。この前の「歴史探偵」を途中まで見たら限界が訪れた。

暫くしたら野球が始まった音声が聞こえてきた。今日は入江が先発。一昨年は手術明けで全休、去年は開幕から抑えをやっていて、まずまずだったが、シーズンの終盤に掛けて打ち込まれる場面が目立ち、CS では投げさせてもらえなかった。先発として再起の筈が、2回に8番に入っている投手の山野にタイムリー内野安打を打たれて先制され、3回にまとめて3失点と冴えず。攻撃は先制されたすぐ裏に林のタイムリーヒットで追い付き、3回もすぐにビシエドのタイムリーで1点取ったが、そこまで。6回は良かった吉野が7回に失点し、そこまで。まあ仕方ない。明日勝って3タテだけは免れましょう。明日の先発は石田裕太郎。やってくれると信じる。早く相川監督に初勝利のプレゼントを。3人の新監督の内で勝ち星を手にしてないのは相川監督だけだ（新監督同士の Swallows とやってて、Baystars が連敗だから必然的に池山は2勝貰ってる）。頑張れ。

その後少しゴソゴソとやって、気付いたらもう「芸能人格付けチェック」の時間。最後まで見るとふなごやが閉まってしまうから、途中まで見て、シャワーを浴びてきた。赤ワインと白ワインを間違えるのは毎度不思議に思うんだが、今回も二組間違えた。濃いサングラスを掛けて、真っ黒なワイングラスで呑むから、視覚的情報は全く無いのを差し引いても間違えるか？と思うんだが。今晩もワインを呑むだろうから、その時の話の種にしよう。

ちょこっとだけ数学はやってる。以前ダウンロードした N. Tzanakis の論文、B.M.M. de Weger の論文などに J. Antoniadis の類数2の虚二次体に関する論文が引用されてて、ダウンロードしてそれらを眺めると、小生の考えていたのの幾つかの case が既に解決済みであることが分かった。幾つか、であって、完全解決ではないのが助かる。「No problem is problem」と言う訳で、問題は残ってないと。残ってるから飯の種があるわけである。といこうことでもっと勉強しないと。まあ呑むことは呑むんで、やるのは明日以降。ということで行ってきます。

開幕戦は牧の先頭打者初球ホームランとド派手な先制劇だったのだが…

何だかんだと結構呑んでしまった。開放感とはありがたいものだ。幾つか録画してあったものを見たが、「夫が寝たあとに」は為になる。いや、お前子育て関係無いやろ、という意見はその通りなのだが、女の人の大変さを知ることが出来たので為になる、と言っている。大腸カメラ検査なんて大したことないね。男は弱いぞ。その後「おはよう朝日です」が終わるまで起きていた。岩本計介アナの出演最終日なので。明日生で特番があるので、明日までお会い出来るが。11年間お疲れ様でした。

で起きたらもう夕刻。相変わらず生活が滅茶苦茶である。今日プロ野球が開幕。Baystars は6時半から試合。6時から開幕セレモニーがあるようだ。で1回表は東が無得点に抑えて、1回裏は1番に入った牧が初球ホームランと、ド派手な先制劇。が、今日は東が何かおかしい。四死球の少ない東（去年は四球26、死球5）だが、今日だけで4四球。で2ランホームランとソロホームランで3失点。まあホームラン以外は抑えていたので、らしいと言えばらしいのだが。攻撃陣はその後は宮崎の内野ゴロの間の1点だけで、2－3で負け。まあいいです。143勝は出来ないので。去年の Tigers はあれだけ独走していても勝率は6割台前半。明日、明後日と勝てばいいのです。残念なのは去年ずっと連続試合出塁を続けていた蝦名が出塁出来なかったこと。最終回に打席が回ってきたから、チャンスでは、と思ったが、1点取らないと負けるのでバントだった。仕方ないね。今年は高橋慶彦の33試合連続安打を塗り替えましょう。

去年はどうだったかな、とブログを見返してみたら、去年の開幕戦は東で快勝したようだ。で3連戦は勝ち越した。シーズンは長いのを実感したのは、去年は Giants が開幕3連勝だったとか。で記憶が確かならば、Tigers は数試合借金生活をしていた。だからどうなるかはまだまだ不透明。実家は読売新聞と報知新聞などというロクでもない新聞を購読していたが、Giants が開幕3連勝した時の優勝率がどうしたとか、今年は優勝間違い無しみたいな記事がよく出ていた。上に書いたように開幕3連勝しても優勝出来ないことはあるのですよ。去年は最後の試合負けてたら Giants は借金持ちで CS に出なくちゃいけないことに成っていたのだからね。去年は交流戦でセ・リーグが Carp 以外の全チームが負け越した。Carp は辛うじて5割。それでも Carp は5位で Tigers が独走優勝。シーズンは長いよ。

Giants の悪口に終始するのはやめておこう。Giants の開幕投手はルーキーの竹丸。6回1失点で勝ち投手に。まずはおめでとう。が、もっと素晴らしいのが Marines の開幕投手も同じくルーキーの毛利で、5回無失点で勝ち投手。素晴らしい。最大級の賛辞を贈らせてもらおう。結局 Giants だけを褒めないで終わるのはアンチたるものの矜持。明日は負けろよ Giants。Tigers には頑張ってもらおう。最後に優勝するのは Baystars だが。

あ、Lions に移籍した桑原はどうなったかな、と思って見たら、3回にライト前ヒットを打ったそうだ。1番に入って4打席で4打数1安打。まあいいスタートが切れましたな。頑張れ。

細々とした用事をするべく職場へ

案の定起きたら2時を過ぎていた。暫くボーっとして、頭が冴えてきたところで出発。昨日書いた通り、職場でやりたいことが幾つかあったので。

で3時前に職場に到着。生協で菓子パンを一個買って齧ってから、事務に定期試験の答案を保管してもらいに行って、で学科の事務室に届いていたゼミのテキストを受け取ってから伝票を提出して。その後 TeX 打ちを少々。右から左に写してるだけなのだが、数箇所元と違う所があって、何故ミスは無くならないかな、と思いつつ、一旦終わり。また後日やることにして、印刷した物はあるが TeX ファイルも pdf ファイルも無いものをスキャンして、などとやっているうちにあっと言う間に8時半。動き出しが遅いからね。

で晩飯をはま寿司で食べるべく向かう。9時近くだが、待っている人が数名いたが、皆テーブル席を希望している客で、カウンターで一人でとなると待たされずに済んだ。今日は大切りハラミが推しらしく、それを食べて、で他にも高い物やら安い物やら食べて、例によって2000円ちょっと。昨日無罪放免されたので、気兼ねなく食べられる。嬉しい。

帰りは下道で。瀬田川大橋の工事が終わっていて、怖い思いをしながら走らなくてよくて嬉しい。年度内に決着を付けなくちゃいかなったということか。で逢坂山の峠に差し掛かる所で変事が。いや大したことではないんだが、西大津バイパスが工事をすると予告が出てて、それのための重機を積んだ大きな車が坂道を登るのに難渋して、凄く遅い速度で走ってる。前のバイク2台と四輪車と後ろの四輪車数台が登坂車線に出て追い抜いて行った。大型車に登坂車線に入って欲しいところだが。小生は登坂車線を追い抜きに使うというダサいことはしたくないので、大型車の後ろに付いていったが、速度計を見ると27km/h。そりゃ短気な関西人は我慢できないわな。小生は車を運転する時は短気に成らない。ゼミの監督をする時は超短気に成ってキレまくるが。4月からのゼミはそうならないよう気を付けないと。どれも少数精鋭のゼミだ。人間関係を悪くしないよう気を付けよう。勿論学生も本気に成って予習してきてくれないと。そろそろ学生に空いてる時間を聞かないといけないな。

さて、無罪放免されたので、ちょっと呑もう、ということにした。ホルムズ海峡のあれでレジ袋の会社が大変だとニュースでやっていたので、袋を持って買いに出る。近所の酒屋の自販機で少々買って、もうちょっと先の酒屋の自販機でも買おうと思って向かうと、酒類の自販機が無くなっていた。ソフトドリンクの販売機はあったが。呑むな、ということだろうか、と思ったが、まあいいでしょう、ということで。違法販売に成る前の時間で買うと罪の意識が無い。呑み足したく成ったらコンビニに行かないといけない。対面で買うのに酒をたくさん買うのはちと気恥ずかしい。セブンイレブンとファミリーマートで分けて買わないと。これを書き終わったら呑み始める予定。

昨晩寝る前にスマホを見ていたら、炎鵬の話題が出ていた。相撲を知らない人向けに言うと、100kgに満たない小兵力士で、ずっと幕内で活躍していた。ある時突然見なくなったと思ったら、脊髄損傷という大怪我をして、命を守るには手術しないといけないが、手術をすると土俵に100%立てなくなる、というとんでもないことに成っていたそうだ。土俵にもう一度上がるんだ、ということで手術を選ばず、必死に回復に努めたらしい。幕内でずっとやれていたくらいだから、小兵でも力は相当あるんだろうが、退院した時は握力が10kgしかなかったとか。そこから文字通り血の滲む努力をして、でもうすぐ十両、というとこで骨折したりと、七難八苦が待っていたが、先場所は6勝、今場所は5勝で、来場所十両に復帰出来るそうだ。素晴らしい。また幕内に戻ってきておくれ。兄弟子の白鵬がいなくなって、伯桜鵬が伯乃富士と改名してしまい、「鵬」の字を使っているのは炎鵬くらいしかいない。頑張ってもらおう。

さて、明日NPBが開幕。今年こそ優勝して欲しい。日本シリーズは一昨年制覇したが、リーグ優勝は1998年を最後に成し遂げていない。1990年代だし前世紀だ。いい加減頼むぜ。Swallows 相手に横浜スタジアムで3連戦、その後京セラドームで Tigres と3連戦。勢いよくスタートしましょう。まあ開幕ダッシュを決めても最下位だった年は何遍もあったので、万遍なく勝ち続けるのがよい。去年はずっと2位につけていたが、大勝ちしたのは9月だけで、5割無いのに CS 出ていいんか？と随分言われた。今年から CS のレギュレーションが変わって、ゲーム差と貯金の有無が大きく響いてくる。大失敗しないように丹念に勝ちを拾っていって、8月以降ガーっと勝つのがいいでしょう。ということで明日からまた色々忙しくなるぞ。

健康診断で「要精密検査」と言われた件を検査してもらって、特に大したことはなくてホッとした

何か色々怖くて、寝ようという気に成れなかった。何があったかというと、12月の健康診断で便に潜血が見られた、とのことを1月末に保健センターで言われて、でずっと気に成っていた。成績付けだったり例の業務だったり色々やらないといけないことがあって、ずっと病院に行かずにいたが、この前保健センターからどうなったかと問い合わせが来て、先週漸く重い腰（物理的に体重が重いという意味ではない）をあげて、近所の病院に行って今日の予約をとった次第。昨日は病院で渡された検査日の前日食を食べて、7時以降は何も食べるな、と言われていて、寝ようと思ったんだが、上に書いたような次第。14時40分に来いと言われていて、その5時間前に錠剤を服用して、それから下剤のような液体の薬をちびちび飲んで、で固形物が出なくなるまで排泄を続けよ、とのご指示。まあ大変でしたわ。飲み物は水とお茶のみ、と言われいたので、セブンイレブンでたまたま水の500ccくらいのペットボトルの割引券が2個分あったのでそれで買って、帰り道にある100円自販機で600ccの水を買ってなどして、ウダウダと。落ち着いてきたのは1時近くに成ってから。もう大変。風呂に入ってから行った方がよかろう、ということで、ざっと体を洗って着替えてから14時半くらいに出発。

行ったのは予約検査の時間で、当然予約をとってるのは小生だけ、ということで、待合室には誰もいない。問診票を受付で渡して、「熱測りますね」と言われて、阿呆や、何のために体温計買ったんだ、測って書いてくるべきだった、となったが、まあいいです。でそれから2、3ご指示をされて、検査。いやー、想像してたより大変だった。ロクでもないことが起こってないといいが、とひたすら願っていたが、幸いポリープとか癌とかそういうものは無く、憩室とやらが幾つかあって、そこから何かの具合で出血したのだろう、とのこと。ホッとした。ポリープがあったら3割負担だと2、3万掛かると書いてあったが、検査だけなので5000円ちょっとで済んだ。いや、もっと高くてもいいぞ。命が繋がったわけだし。まあホッとしたわ。ここ2ヶ月くらい色々気に成って生きた心地がしなかったが。車を買い替えろだの新年度の用事がどうしたのか身が入らなかったが、明日からちゃんとやろう。

で昨日の晩から味の付いた物を全く口にしていなかったので、100円販売機でエナジードリンクを買って、帰ってきて飲み干してから買っておいたチキンラーメン丼を食べて。当然だが今日は消化のよい物を食べよ、アルコールは控えよ、とのことで、事前にあまり脂っこくないものを買っておいた。が、昨日床屋から帰ってきた時にマンションのエントランスにいた宅配の人が小生の部屋番号を呼び出していたので、「あ、それ私です」と受け取ったわさビーフをうっかり食べてしまった。まあ一袋50gだし、多少脂っこくて山葵の刺激が、とかあるがいいだろう、と食べてしまった。でちょっと横に成って、1時間くらい寝た。もっと死んだように眠れるかと思ったが。で起きたが、やはり腹が減る。冷凍のパスタも買っておいたが、いつもより脂分控え目なものを選んでおいたので、いいかと食べてしまう。でまたわさビーフを食べてしまった。一箱に6袋入ってるのでね。まあ何か色々落ち着いてきた。もう今日は阿呆に成りましょうということで、12月にやった「タイムショック」を見た。2時間50分ものだから、中々まとまった時間が取れないと見られないので、見た次第。クイズ番組は色々知ることが出来て面白い。チャップリンが使っていた杖は草津市で作ってもらったものらしい。草津市は色々面白いことがある。群馬の草津の方が有名だがな。足立先生ほどの博識な方が「君はもう草津温泉行ったか？」とか聞いてくる始末だから、滋賀県草津市はまだまだマイナー。もっと有名に成るといいね。お前は草津市どころか滋賀県にも住んでない？その通り。

出掛ける時はもう雨が降っていて、明日の朝に掛けて結構な降りに成ると言ってたが、昼にはもう上がっているらしい。明日は職場行くか。2つ3つやりたいことがあるし。今晩はタップリ寝るから、起きるのは2時とか3時とかかもしれないが、それでもいいです。晩飯ははま寿司にしようか？帰ってきたら呑むか？喉元過ぎれば熱さを忘れるではないが、もう不摂生する気満々に成ってる。程々にしましょう。

などと書いてしばし。忘れていたことが一つ。霧島が大関に復帰した。平幕に落ちてから大関に戻ったのは魁傑、照ノ富士と今回の霧島しかいないそうだ。今度こそ落ちるなよ。勿論上がるのはいいけど。

1月15日以来の床屋

結局昨晩も寝床で YouTube を見始めてしまい、寝たのは結構遅かった。が、午前中にアラームが鳴るようにしておいたので、11時半くらいには起きられた。それから諸事情あっての超軽い食事をして、シャワーを浴びて、で床屋が今日本当に営業しているのか、また予約でいっぱいで切ってくれないなんてことはないかを確認するため電話。3時くらいなら大丈夫だと言われたので、しばしボーっとして過ごす。通り道にあるマツヤスーパーに京都銀行の ATM があるので、軍資金を卸してから行こう、と思ったのだが、カードが見当たらない。おかしいな、ついこの間使ったばっかりだが。探してると3時を過ぎてしまうので、仕方ないのでそのまま出掛ける。自動販売機対策として千円札をしこたま持っているので、問題無く払えるからよい、ということにする。で3時丁度くらいに着いて、切ってもらう。1月15日に切ってもらって以来だから、随分鬱陶しく伸びていた。耳にもおでこにも毛が触らないというのは何とも幸せなことだ。でちゃんと払えて帰途につく。途中 DCM でトイレットペーパーを購入。「超ロング」と書いてある奴で、びっちり巻いてあるのだろう、滅茶苦茶重たい。数分だが、指が千切れるのではと思うくらい重い。で帰ってきて部屋をちょっと探したら、すぐ銀行のカードは見付かった。使い終わったら定位置に戻さないと駄目だな。今後は気を付けよう。

でお金を卸しに関西みらい銀行（京都銀行より近いので）でお金を卸して、セブンイレブンで飲み物（≠呑み物）を買って、で帰ってきて一昨日の大河ドラマを見て、であっと言う間に夕食の時間。一日短いな。晩飯も軽めに。今日はちゃんと寝ないと。

今日は全国的に温暖でいい天気だったようで、あっちこっちから桜の開花のニュースが。が、明日の関西は午後から雨だそうで、結構本格的な降りに成るとか。ちょっと外出する用事があるので、降らないで欲しかったが。まあ外出と言っても5分も歩かないので大したことないけど。自分の外出する日は降るなとはいかにも我が儘だが、まあ皆そう思うでしょう。東日本から名古屋辺りまではダムが干上がってるそうだから、降らないと。京滋地区もそんなに降ってないが、琵琶湖には日本海側の豪雪の融雪の流入があるので、心配無いらしくてよかった。梅雨時から夏にかけて少雨だと流石にまずいが。小生がこっちに来た年だか次の年だかに琵琶湖が相当水位が下がって、今は湖底に沈んでいる「太閤井戸」という秀吉が長浜の領主に成った頃の物が出てきたというニュースがあった。何にしても極端過ぎる。雨は定期的に適量ずつ降ってください。

コンピューターが無いと研究が出来ない輩なのは30年くらい前からずっと

結局昨晩はその後また寝床で YouTube をちょっと見てしまい、寝たのが遅く（早く？）、起きたのは2時ちょい前。む。まあ急ぐ旅ではないが、早目に行こうということですぐ出掛ける。2時20分の新快速野洲行がすぐにも来そうな時間に山科駅に着いたので、急いでホームに上がると、4分遅延だそうだ。何だ。新快速は12両編成だから、ホームの前の方に行く。この位置だと大抵すいてる。でその通り。南草津駅に着いて駅前ロータリーに立つと、色々変わっててよく分からない。どこに大学行のバスが来るのだろう？時刻表を見ても判然としないし、人も全然待ってないし、本当にバス来るの？と思ってきょろきょろ見回すと、何やら人が沢山いる所がある。そこに行ってみると「長寿福祉社会センター」行のバスがうちを経由するらしい。これはいけない、と急いで乗り込む。で何とか席を確保出来た。見ると、うちを通って、グリーンヒルにある松ヶ丘五丁目を通ってから長寿社会福祉センターに行くという、非常に大回りをするバスだ。まさかもう一回うちの前を通るのか？と思ったらそうではなかった。まあ大変だったが、3時過ぎには職場に着けた。でまず腹ごしらえということで、生協へ向かう。途中、ウェストウィングに割と近い所に一台分駐車スペースがあることを確認し、弁当を買って食してから車を移動して、個研室へ。

パソコンに計算をさせておいたのだが、リブートされていた。酔っ払ってる頭に微かに記憶にあるが、更新プログラムがどうしたとかメッセージが出ていたな。再起動はユーザーの意思でさせて欲しい。オチオチ計算もさせられない。住処のコンピューターも昨日帰ってきてみたら再起動させられていたし。まあ職場のコンピューターにやらせておいたのは既知の結果の再現をさせようということなので、実害は無かったが。で改めて計算を開始して、数学をやる気が起きないので、部屋の片付けを少々。ダウンロード出来ない論文や、出所不明の論文幾つかをスキャナーで取り込んで pdf 化してから計算用紙に回してなど。で懐かしい物を見付けた。1998年の整数論サマースクールの自己紹介集。見ると、今は小生のやっていることの数十倍、数百倍難しいことをやってる方が修士課程、博士課程の学生だったりしてビックリ。この人達に偉そうにレクチャーしていたのかと思うと、大いに恥ずかしい。小生ごときで役に立ったのでしょうか？で自分の書いた物を見ると、「コンピューターが無いと研究が出来ない輩」と指導教員に言われている、とか書いてあったが、そんなこと言われたかな？まあ確かにその通りなので、ぐうの音も出ないが。最初の論文は別にコンピューターを使わなかったが、その先はコンピューターの計算に激しく依存していたり、論文を読むにはコンピューターは必要無いが、書くために色々計算させたりしたからな。今も Magma 欲しいぞとか言ってるくらいだから、コンピューターに依存してる体質は変わってない。数表を作って、傾向が見えたから証明する、というのは誰でもやってると思うがな。

片付けに飽きたので TeX 打ち。TeX 打ちは趣味みたいなもんだ。2月中には終わらせるつもりの物だったが、論文の返事待ちだからやってたので、一旦返事が来たので棚上げにしてた。今は注文した本が来ないとどうしようもないので、論文書きが停滞している。年度が変わる前に片付けるのは無理そうだ。まあいいです。で7時過ぎには職場を出ようと思っていたが、昨日酒を呑んだせいで腹の具合が悪くなってきた。少し落ち着くのを待って、何だかんだと9時過ぎまで。昨日忘れていったジャンパーを着て、今日着てきたジャンパーを持って、職場を後にした。

JAF にすき家と吉野家の割引券が付いてて、で CM ですき家がまたほろほろチキンカレーを始めたとやっていたので、すき家にしようということで、瀬田のすき家へ向かう。かがやき通りの店舗だと遠回りをしないといけないので。で瀬田店に着いたが、結構沢山車が埋まってる。普段停めたことがない所に一生懸命停めたが、その最中に2、3台帰っていった。もう数分遅かったらいつもの所に楽に停められたのにな。まあいいけど。カレーは旨かった。

さて、明日、明後日はちょっとちゃんとしないといけない。理由は後日。最近プロレスをそんなに真面目に見なくなったから、今日も見なくてもいいや。「くりぃむナンタラ」が終わったら寝よう。わさビーフが明日着くとメールが来ていたが、来てもすぐは食べないな。理由はこれも後日。明日は床屋も行くよ。もう鬱陶しくて仕方ないので。新年度はスッキリして迎えたい。あ、明日教授会があるのだった。忘れないようにしないと。ということで床屋へ行く時間は自ずから決まる。まあちゃんと寝てちゃんと起きるつもりなので、大丈夫だけど。行く前に電話した方がいいな。一昨日は行ったけど予約一杯で無理だったから。そうしよう、うん。

今日（昨日だが）は卒業式

今日（もう昨日だが）は卒業式。早目に起きたらうな松かはま寿司へ、と思っていたが、もろに昼食時間帯にぶち当たってしまう時間に成ってしまったので、大学の近くのセブンイレブンでざる蕎麦でも買って、ということにした。で高速道路を降りてから正門の前を左折。が、セブンイレブンにの前にはガラの悪そうなのが数名いて、車も数台停まってた。うちの卒業式に出る学生が車で来て違法駐車をしているのだろうか？と思ったが、まあ何とか停められないことはないということで停めた。幸い出る頃には一番面倒な所に停めてあった車が出ていってた。で右折で出ればすぐ正門なのだが、坂を上ってくる車と下っていく車が絶妙なタイミングで来てしまい、右折出来ない。諦めて左折して、野路中央の交差点を右折して、でかがやき通りを通って、ですぐ着く、と思ったのだが、予想外の展開に。途中の飯屋や喫茶店のような所に入りたくて入れない車がうじゃうじゃ。卒業式の前に腹ごしらえしておこう、という腹なのだろうか？そんな店が数軒あって、かがやき通りは渋滞していた。結局セブンイレブンを出てから30分くらい掛かった。もう。で大学の駐車場は当然満車で、隣のグラウンドに停めないといけない、というのがいつものパターンなのだが、運良く数台分空きがあったようで、停められた。グラウンドに停めると、酒の席の前に移動させないと、次の日にグラウンドを使いたい学生に申し訳ないからね。まあよかった。

個研室でざる蕎麦を食べて、コンピューターに昨日書いた Bremner－Cassels の例 y²＝x³＋877x の Mordell－Weil 群の計算をスタートさせて、適当な時間に会場へ。

流石に卒業式の日だけあって、人がうじゃうじゃいる。途中花の前で写真を撮る所があったが、そこは長蛇の列。裏側は学位記のデカいのをバックに写真が撮れるように成っていたが、そっちは全然列が出来てなかった。学位記バックの方がいいと思うんだが。で式場に着く。男は大体皆同じような姿だが、女性は色々で面白い。留学生の1人は民族服のようなのを着ていた。1人はデニム生地の着物という変わったものを着ていた。後で F 家先生に話し掛けれていた。珍しい、ということでしょう。で式が始まって、学科長が挨拶の後、何か一言ずつ喋れ、とのことで、適当に喋った。大学時代の友人は長い付き合いが出来ていいよ、という趣旨のことを言っておいた。で一人ずつ名前を呼ばれて学科長から学位記を受け取るのだが、小生のゼミの学生のうちの1人の名前が呼ばれない。え？と思って後で名簿を見せてもらったが、名前が無い。うーん、卒業出来なかったか。就職活動で関東の実家に帰ったり、その度にお土産（葱味噌煎餅は絶品だった）をくれていたが。後で事務にでも問い合わせをするか、と思ったが、まだしてない。

終了後ウェストウィングに向かってる途中で、基礎教育担当専任講師だかそんな名前の職に就いてるうちの卒業生が寄ってきた。彼は形式上建築の所属らしいが、数学と色々違って面白かったとのこと。予想外に時間が掛かって、薄着で来て後悔していた。傘を持ってきてないらしく、すぐ帰りますと言って帰っていった。

4時から祝賀会、の筈だが、ちょっと式が延びたので、4時半開始、とのアナウンス。個研室で計算経過を見たが、まだ答えは出てない。Magma と PARI/GP の力の違いを見せ付けられた。で4時半に成る前に会場に行くと、もう呑んでる人がいる。今日は物理との合併での祝賀会（元々一つの学科だったので）で、物理はもう始めているということらしい。まあいいでしょう。もうすぐ会えなくなる学生と多少話して、4月から目出度くご栄転の決まった若い先生方とちょっと話した。1人は故郷の九州の大学に戻れるそうで、羨ましい。もう1人は小生の故郷の横浜の大学へ移籍。どの辺に住むのか、と聞いたら「〇〇〇〇」駅の辺りと言ってた。彼の行く大学はどの駅からも中途半端に遠いので、まあ沿線じゃなくてもいいか、とのこと。アップダウンの激しい所なので、ちょっと自転車では行きにくいと言ってた。で沿線にある小生の実家の近くの駅にはもう行ったか聞いたら、駅名を聞くのが初めてらしい。乗換案内のページを見せて教えておいた。横浜では楽しく過ごしてください。

と楽しく呑んでいたが、何だか調子が悪くなってきた。立って呑んでたからなのか、久々に日本酒を呑んだからなのか、よく分からないが、後者である可能性が高い。呑んでて息苦しくなるんだが、今までのことを思い返すと大抵日本酒を呑んだ日。また何か喋らそうと学科長が言い出したが、辛くなってきて、個研室へ引き上げた。座ると幾らか楽だったが、マインスイーパーをやるとマウスカーソウルがふらふらして、変な所を突いて爆発、というパターンが続き、これは無理だ、と、学生の溜まり部屋にあるソファーで横に成った。誰もいないようで少し寝られた。暫くすると数名戻ってきて、何やら4月からの部屋割の話をしだした。で見ると、本を入れているラックに TeX の本やら何やらあったので、小生の部屋にあるもういらない本を数冊移した。が、その時にまた尻もちをつき、まだ本調子ではないな、ということで部屋でゴソゴソと。

祝日だからとはいえ、終バスが9時半とは随分早く成ったな、という感想。で南草津駅にA堀先生と学生で計11人くらいで向かい、呑み屋に入ったが、今日は呑まないことにした。それでも1万円払ってきたけど。で終電の前の電車で山科へ。短い8両編成。次の電車は12両編成だが、まあすいてるだろうということで。それと、個研室にジャンパー（今はブルゾンって言うのか？）を忘れてきて、少々寒いので。幸いジャンパーのポケットには手袋しか入れてないので、財布もカード入れも定期入れも持ってるのでよかった。文庫本を読めるくらいには復活していた。湖西線の最終電車に接続と言ってたが、湖西線は12時前に終電が早まったと堅田に住んでる知り合いが言ってた。

12時前には住処に着いた。まだ少々苦しいので、横に成ってスマホをいじってたが、眠く成らなかった。京浜急行ネタの総集編みたいなやつで、1時間20分も掛かったが、まあいいです。その後数学ネタを見たりとかしてるうちに3時を過ぎていた。よく眠く成らなかったもんだ。いや、もう寝るよ。明日車を取りに行かないと。明後日でもいいが床屋で貰った定休日を塗り潰したカレンダーを見ると24日は塗り潰されてないので、明後日は床屋へ行きたい。幸い花粉症の具合は大したこと無い（今日も目薬と点鼻薬を持っていったが使わなかった）ので、今のうちに切っておきたい。水曜日は大事な用事（何って？さぁ）があるので無理。木曜日以降は水曜日の経過次第なのでね。何って？さぁ。

もう4時だな。寝よう。今から寝れば8時間寝ても12時くらいだ。まだ電車が混んでる時間ではないし、バスは卒業式後ということで目茶目茶すいてるだろう。ということで、数日酒は呑まないことにして、大人しくしよう。あ、わさビーフが届くかもしれないな。まあそうなっても数日は大人しくしますわ。

霧島3度目の優勝

昼過ぎに起きて、腹ごしらえをして、が、眠いぞ、ということでまた横に成ってしまった。3時半くらいに何とか起きて、床屋へ向かう。相撲は途中からだが見られそうだ。が、床屋に着くと店長が何やら詫びている。4時から6時くらいまで予約でいっぱい、とのこと。む。仕方ないのですごすごと引き上げてきた。途中 DCM でティッシュペーパー（再生紙100％利用）と体温計と、多分水曜日の朝に数回使うだけの計量カップを買って帰宅。

もう4時を過ぎていたので、相撲は途中から。今日の結果次第では優勝が決まる。明日は卒業式で相撲を見られないから、今日中に決まると嬉しいが。まず3敗の琴勝峰が新三役の熱海富士に負けて脱落。結び前に霧島は安青錦と。安青錦は負ければ初の負け越しだから必死。で安青錦が勝って、霧島が優勝するには豊昇龍が琴櫻に負けないと。が何と豊昇龍負けた。八角理事長曰く「情けない負け方」で。結局優勝の可能性のある3人が揃って負けて優勝が決まるという、何か変な決まり方だった。霧島は14場所振り3度目の優勝。先々場所が平幕だったとはいえ、これで3場所連続の二桁勝利。明日勝って13番にすると大関返り咲きは決定的。明日は琴櫻が相手。どうなるでしょうか？安青錦は結びで横綱と。明日勝てば8勝7敗、負ければ7勝8敗の天国と地獄。横綱も意地があるだろうし、どうなるのか。見たいが仕方ない。あ、義ノ富士が負け越して、入門以来初とか。何もかも順調にはいきませんな。義ノ富士の来場所以降の巻き返しに期待。

前に木村巌さんに PARI/GP のコンファレンスか何かで使われたスライドがあるページに沢山置いてあるのを教えてもらって、ダウンロードしていたが、 その内の一つを見て、楕円曲線の Mordell－Weil 群の生成元を求めている。もう3時間以上点を探し続けてる。生成元の height は相当でかいのだな。Zagier の面積157の直角三角形の3辺の件で有名な y²＝x³－157²x の生成元はその方法で割とすぐ見付かったがな。終わるまでやらせておこう。あ、Bremner－Cassels の例もあったな。今やってる計算が終わったらやらせてみるか。明日に成っても終わってなかったら明日職場でやろう。因みに Magma Calculator は後者の生成元は数秒で返してくれた。Magma 凄いな。高いだけのことはある。やはり欲しいな。購入を考慮した方がいいかも、という気に成ってる。年度が変わるまで逡巡しよう。

わさビーフは結局売ってなかったが、アマゾンで買うという裏技を思い付いて注文してしまった

結局セブンイレブンに行ったが、わさビーフは売ってなかった。むぅ。が、さっき閃いた。アマゾンで売ってるのでは？と思って検索したら、何袋かセットで売ってるものがあった。阿呆や、と思いながら注文してしまった。暫くビールのお供には事欠かない。違法販売機では違法な時間では氷結レモンか宝缶チューハイしか買えなかったが、別の自販機かコンビニでビールを買う生活に切り替えよう。いや、呑むな、というのが本当のところだろうが。今晩と明日の晩は呑まない。何故なら日曜日が卒業式で、祝賀会で学生、同僚と呑むことになろうから。明日は床屋に行きたいし。卒業式の前に行く、と何度も宣言してるが、結局今日も夕刻まで寝ていて、相撲を見終わる時間だともういつもの床屋は閉まってるから行けない。ということで明日行く。

どうでもいい話。前にクレジットカードを解約しようとしたら、ウェブページに「貯まったポイントが無効に成る」と書いてあったので、大量に買い物をしたが、その時にティッシュと間違えて買ったペーパータオルが昨日の晩ついに尽きた。再生紙100％使用だったので、罪悪感無く使えたが。今使っているティッシュペーパーは再生紙を原料にしたものではないが、これは買い間違えた。同じ所で再生紙100％のティッシュが売っていたが。今度買う時はそっちを買う。花粉症モードなので、ティッシュの使用量は多いので、すぐにでも無くなるだろう。紙は研究で結構使うので、大事にしないと。まあ我々が研究で使う紙など大した量ではないことは明らかだが、まあ気休めということで。

上に書いたように夕刻に起きたわけだが、今朝変な時間に寝たので。ちゃんと電気もテレビも消したが、やはり長時間寝られる。が、変な夢を見たので、睡眠は深くない。8時過ぎに寝床でスマホをいじってたが、1時間半くらい寝てしまった。やはりちゃんと起きてちゃんと寝ないと体には良くないな。明らかなのだが、不摂生するほど人生は楽しい。仕事の無い日の前の晩くらいはね。明日は床屋に行ってから相撲をゆっくり見たいので、昼くらいには起きるか。日曜日の式典は何時からなのかアナウンスが無かったので、学科長に質問メールを書こう、と思ったと同時に案内が来た。午後からでよかった。学内の食事をする所や売店は、日曜日だからやってない可能性が高いし、仮にやっていても食堂は混雑、売店は全商品品切れ、みたいな状況に成ってるだろうから、学外のどこかで食べてから行った方がいいな。

今「探偵！ナイトスクープ」がやってるが、岡部まりが特命局長をやってる。小生が始めて「探偵！ナイトスクープ」を見た時の秘書が彼女だった。「こんな日が来るとは思ってなかった」と言ってたが、そうだろうな。相変わらず面白い。関西にいると、こういう面白い番組がそんなに遅くなくやってるので嬉しい。関東では酷い時は深夜3時27分放送開始ということがあったからな。寛平ちゃんの視聴率調査なんか見てて怖かった。この前やってたが、今は玄関先にいる人の顔が映るから、すぐに間寛平が来たのを分かってくれるのでよいが、昔は音声だけだったからな。深夜3時だ4時だという時間に来客があったら、怪しくて普通は出ないよね。この前ニュースであったが、制服を着て、段ボールに宛先の書いた紙を貼ってある、みたいなのを装った強盗事件があったそうだから、顔が映っても気を付けないといけないことはいけないが。上に書いたようにわさビーフが数日後に来るが、その時は気を付けよう。

わさビーフ食べたいが、見た範囲ではどこも売ってない

ファミリーマートにもわさビーフは置いてなかった。もう手に入らないのかな？それでそのまま帰る程面の皮は厚くないので、多少買い物。酒も買ってしまったのは失敗。ちょっくら引っ掛けて、などとしてたら例によって「おはよう朝日です」が始まってしまった。いかん、寝るぞ。

と言っても、今日の用事は夕方の6時過ぎなので、遅くても問題無い。が、起きたらもう２時半を過ぎていた。いかん、と出掛ける。職場には3時ちょいに着いて、で割といい所に車を停められた。生協で弁当を買って食した後、本屋を冷やかす。この前目を付けた本はもう無かったが、売れたんだろうか？数セミと数理科学ともう1冊買って、レジに出して、で気付いた。1冊買い忘れた。まあいいです、また今度。

学生は4時前に現れた。作文して、署名して、印鑑を押して。で学部長のサインが必要で、役員室に行って署名、捺印していただいて終了。ついでにすぐ近くの機械で駐車場利用を4月から6月までの3か月分して、1万5000円支払い。5000円は全部旧1000円札だった。もう違法販売機が無くなったので、旧1000円札を集めても仕方ないといえばないのだが、職場にもまだ新札に対応してない自販機があるので。この前ウェストウィングの1階のコークの自販機が一台入れ替わったが、新500円玉は使えるのだが、何と札の挿入口が無い。お釣りが出る間に「お札中止」のランプが光るが、意味あるの？

その後ちょっと勉強。論文の直しはまだ本が到着してないのであまりやることは無いが、ちょっとだけやった。が他にも一つ二つ気に成ってることがあるので、それを考えたり。ちょっとというかかなり手詰まり。落ち着いたら類似のことをやってる論文を少し読んでみるか。小生は実二次体上でやってて、類似のことは有理数体上でやってるから、役には立たないかもしれないが。Mordell の不定方程式の本を読んだ時に感じたのは、Z だと1は例外で、そこから先は偶数だから二つ飛ばしで、とかそういう Z 特有の兵器が使えてずるい、と思ったのを覚えている。他にも幾つかやりようはあるだろうから、ちょっと腰を据えて、と考えないでもないがまた4月に成ると日常にかまけてやらなくなりそうだが。

はま寿司で晩飯を、ということで8時半くらいに職場を出た。9時前に着いたが、そこそこ待ってる人がいる。そうか、明日は祝日だな。でも一人でカウンター席を使うのだとそんなには待たされない。今日は忙しかったのだろうか、料理を作る人がてんぱってる模様で、大切り中トロを頼んだが、何か炙った形跡があるものが出てきた。文句を言って変えてもらう、としてもいいのだろうが、そういうのが出来るほど大物ではないので、我慢して食べる。が、やはり大切り中トロが食べたい、ということで、しばししてからもう一度頼んだ。美味しかった。で少し無駄な金を使ったので、いつもよりちょっと高くついた。まあいいです。

ガソリンスタンドへ寄ったがリッター165円で支払いは4612円。まだそんなに高くないか。これからどうなるでしょうか？

住処の前を通過して、少し先にあるローソンへ向かう。わさビーフ無いか？と思ったら無かった。でいつもの通りそのまま出てくるほど面の皮は厚くないので、ちょっと買い物。住処に着く前にいつもと違うセブンイレブンがあるので、そこ寄ろうか、と思ったのだが、ローソンから出ようとしたら止まって道を譲ってくれたバイクがいて、これこのままもう一軒寄るのはみっともないな、ということで買えることにした。そのセブンイレブンにはもしかしたら後で行くかもしれない。わさビーフ食べたい。弁当買う時に生協の売店を見たが、やはり無かった。

今日は豊昇龍 vs. 霧島の一番があったようだ。霧島が立ち合いから万全で、横綱が負けた。琴勝峰は勝ったようで、これで霧島が1敗で単独トップ、琴勝峰が2敗、豊昇龍、豪ノ山が3敗、という展開に。さあどうなるでしょう？安青錦はどうなった？と思ったら、何と大栄翔に負けて5勝7敗。綱取りの場所が入幕後初の負け越し、カド番という真逆の結果に成りそう。どこか痛めてるのか？忙しくてあまり休めてないか？明日は琴櫻。琴櫻は今日は豪ノ山に勝ったようで、勝ち越している。安青錦は大丈夫でしょうか？心配。大関は勝ち越せなかったら幾つ負けても同じことなので、もし負け越したらそこで休場した方がいいでしょう。力はあるのだ。また来場所以降万全に成って、強さをみせておくれ。

マンションの役職は無役というわけにはいかなかった

早く起きて床屋、は起きたのが相当遅かったので、水泡に帰した。変な時間まで起きて、色々やっていたので。相撲を途中から見て、霧島が単独トップに立ったのを確認。

シャワーを浴びて、7時からのマンションの会合のために6時50分くらいに部屋を出る。1階のエントランスでやるので、そんなに早く出る必要は無かったが。1時間弱退屈な報告事項を聞く。が、真面目に聞いてる方はいるもので、ちゃんと質問していた。立派。でその後来年度の役職決め。理事長とか副理事長とかそういうものに成るのは避けたい、と挑んでいたが、どちらも立候補する人がいるという、皆さん立派な方。で他の役職は立候補者がおらず、あみだ籤で決めようということになった。で結果として、無役ではなくなってしまった。次回の日程を決めたが、出られないかも、と思ったが、小生は定足数外に成ったようで、無理に出なくてもよくなった。出られれば出るけど。まだ新年度のゼミの予定を決めてないので、どう成るかは現状では未定。

8時過ぎに解放された。特に何をするでもなく、しばしボーっと過ごした。でニュースを見てたら、原油が入ってこない余波の一つとして、ヤマヨシがわさビーフを一時生産を止めるとのニュース。む。ということで、セブンイレブンに買いに行くが、無かった。今「これ余談なんですけど…」を見てるが、終わったらファミリーマートに行ってみよう。それで無かったらいいや。

明日は行かなくていいのかと思ったら、学生が何やら書いて欲しいと言ってきていて、学部長の署名を必要らしく、学部長にアポをとっておいた。折角職場に行くから、生協の本屋を冷やかして、4月以降の駐車場の入構手続きをして、論文の直しをやって、とか色々やろう。

阿呆のように寝たが、まだ眠い一日

昨晩は早く寝るつもりだったが、結局プロレスが終わるまで起きていた。ということで寝たのは3時過ぎ。相撲のダイジェストを見るには更に一時間くらい起きてないといけないが、無理だった。で寝床に入ったらすぐに寝入った。いや、プロレスの始まった頃には既に眠かったが。

でやはり二日続けての無茶は堪える。12時間以上寝てしまった。まあ用事は無いのでいいでしょう。起きて相撲。今日を終わって1敗が関脇霧島と東前頭10枚目の豪ノ山、2敗が横綱豊昇龍と東前頭5枚目の琴勝峰。豊昇龍は横綱に成っての初優勝を、霧島は勝てば一気に大関復帰かと言われているし、どちらも頑張らないと。平幕優勝も面白いので、豪ノ山と琴勝峰も是非。

相撲の途中に Uber Eats に晩飯を頼んで食べて、でまた眠く成ってきた。無茶をしてる間は大して眠くないが、目茶目茶寝た次の日が眠いのは何故なんだろうか？眠気をコントロール出来たらノーベル賞だろうな。

さて、呑みたいぞ、というところだが、明日は夜にマンションの会合がある。話し合いの最中に腹の具合が悪くなるといけないので、やめておこう。眠く成って行けないのも、話し合いの最中に眠く成るのもいけない。ロクでもない展開に成らないよう、きっちり起きて、自分には重たい職は無理、ということを強調しないと。無事終了しますように。あ、床屋も行きたいな。やはり呑むのはまずいね。鼻の調子が心配だが、まあちゃんと鼻炎の薬を飲んで、点鼻薬も処方されてるから、ちゃんと対策しておこう。卒業式前に床屋に行っておきたい。もう2か月以上行ってないから、大分鬱陶しい。早目に起きて、床屋へ行って、相撲を最初から見て、その後会合、で無難に終了、となるよう願おう。

違法販売機が撤去されていて、これは呑むなという点の思し召しかな

昨晩はそのまま NHK を流し続けたら「虎に翼」の総集編が始まり、つい見てしまった。面白かった。人気があったそうだが、分かるな。終わったらもう2時半を過ぎてて、その後下らん計算の続きをやって、気付けば場合分けしたのが無駄なのでは？ということになり、考え始めてしまった。相撲のダイジェストもやってるし、どんどん寝たくなくなる。もうええわ、と下らんことを続けてるうちに「おはよう朝日です」が終わって、「羽鳥慎一モーニングショー」が終わって、いよいよもうええわに成ってまう。今日の用事は夕刻に近所の某所に出向くだけなので、軽く仮眠をとった程度。食料は買い込んであったので、Uber Eats でなくお湯を注ぐだけ。どっちが体に悪いんでしょうか？

4時前にシャワーを浴びて、髭を剃って、4時40分くらいに出発。何の用事かって？さあ。まあ1週間落ち着かない日々が続くということですよ。嫌なこったな。

5時半くらいに帰ってきて、相撲を途中から。今日は横綱、大関全員勝った。安青錦は連敗が3で止まって、ひとまずほっとしているだろう。負け越さないようにね。

7時から「Qさま！！」の3時間スペシャルがあるので見た。一生に一度は見ておきたい世界の絶景、という括りで。小生基本旅はしない方なので、見ても仕方ないのだが、面白かった。小学校の時の修学旅行で日光へ行って華厳の滝を見た時は凄いと思ったが、世界にはそれと比較にならないくらい凄い滝があるのだな。ウユニ塩湖も凄かった。今日は初出場の太田裕二という、「一人爆笑問題」が大活躍。僅かなところで優勝は逃したが、凄かった。また出たいと言ってた。まあ呼んでもらえるでしょうな。

さて、上に書いた通り落ち着かないので、酒を呑もう、と悪いことを考えた。でいつもの通り違法販売機に向かうと、少し距離のある所から見てもおかしい。何だと思って近付くと、何と販売機が無くなっていた。新500円玉、新千円札非対応だったから、取り換えるのだろうか？それとも本当に撤去か？まあ取り換えるとしたら多分違法販売はしなくなるだろうから、深夜に呑みたいと思っても買えなくなってしまう。呑むな、ということだな。どうしても呑みたければ、徒歩数分の所にあるセブンイレブンでもファミリーマートでもドラッグユタカ（いずれも24時間営業）に行けばいいだけのことだが。一箇所で沢山買うと恥ずかしいから、分散して買うことに成るかも。まあいいです。今日は呑まないでおく。

その後、謎の三角関数の等式がメモってある紙を見付けて、一般の n ではどうやったらいいかわからないから、n＝2,3,4,5 で成立するか試してみた。三角関数は平方剰余の相互法則がらみで1の冪根をいじったり、円分体の部分体としての二次体の実現ということでやはり1の冪根をいじったりして、特殊値を幾つか覚えてる。sin(π/8) とか sin(π/10) とか sin(π/12) とか、大体こんな感じ、というのは頭にあるので、実際に半角の公式だったり加法定理だったりで記憶が正しいことを確認して、で実際に当該の式を計算してみると確かに成る。どうやって示すのかな？三角関数は非自明な関係式が幾らでも作れる。そもそも sin と cos を2乗して足すと1に成るのが元凶。tan を sin/cos と書き直すだけでも大量の関係式が作れる。で今年も酷い目に会ってる人達がいた。最後の最後でご苦労様でしたね。

呑むのをやめたことだし、早目に寝るか。上述の如く超寝不足なんでね。ホルムズ海峡の有事で燃料を節約しないといけないから、ちゃんと電気を消して、テレビも消して、パソコンもシャットダウンしてから寝よう。起きたらすぐ作業が再開出来るよう、パソコンをオフにしないで寝ることが多かったが。節約しましょう。車の運転も程々に。いや、職場は車で行くよ。無意味なドライブはよしておく、くらいの意味。早くアメリカには矛を収めてもらわないと。東日本大震災の直後のように計画停電とかやられたらたまらんからね。今ニュースでやってるが、引っ越し業者が大変らしい。年度末、年度始めの時期だから、トラックを沢山動かさないといけないそうで、もう見積を書いてしまった依頼主から値上げ分をもらうというわけにいかず、きついらしい。平和が一番だ。どうにかしておくれ。

侍ベスト4ならず

昨日の酒の席の話題はガソリンの値上がりとかアメリカの起こした暴挙による愚痴が多かった。皆車かバイクに乗るからね。次満タンにするの怖いな。幾らに成ってるだろう？ワインに切り替えたのがいつもより少し早い時間だったため、早目に終了。

日曜日なのに会議。11時半開始なので11時と11時15分にアラームを仕掛けておいて、どちらでも意識は戻ったが、やはり酒が残っていて、中々起きられなかった。5分程遅刻。まあ序盤の議題は形式的なものなのでいいかと。その後色々難しい話。まあそれでもそんなに長くなく終了。眠いので寝床に入ってしばしスマホいじりでダラダラと。WBC はどうなってるかと思って見ると、5－8でリードされているという状況。む。先制を許すも逆転したのだが。で YouTube を見てたら速報が。負けたようだ。残念。でもう一度ダウンした。

次に目が覚めた時はもう相撲は始まっていた。安青錦は今日も負けた。幕内に上がってから自己最多の5敗目。中日終わって3勝5敗では、綱取りどころかカド番に成ってしまう。踏ん張らないと。その後琴櫻も豊昇龍も負け、インタビュールームには全取組終了後3人立て続けで登場。ロクでもないな。今日は野球といい相撲といい、本命視されたチーム、力士が揃って残念な結果。野球は後はアメリカが負けるのを願おう。

NHK を見てたら、嵐電沿線に桜の綺麗な所がある、というのをやってた。前に見た気がするが、1年前ということだろうか。早いな。嵐電の北野線はまだ乗ったことがないので、桜が咲いたら乗りに行こう。花見の時期は花粉症なので特に催し物はしないし参加もしない。電車の中から見る分にはよかろう。電車と言えば、昨日は JR グループのダイヤ改正があった。JR 東日本は値上げをしたそうで、東京駅から新宿駅までは50円も高くなるとか。ロクでもない。JR 西日本の話題は、山陽本線の姫路駅の次の駅として手柄山平和公園駅が開業した。姫路駅と英賀保駅の駅間距離が結構あったので、地元の要請もあり作ったらしい。乗換案内ソフトの類を見ると、ちゃんと対応してる。凄い。「てがらやま」と入力しようとすると候補に「手柄山温室植物園」というのが出てくるが、有名なんだろうか？山陽電鉄には手柄という駅があるようだ。地図で見る限り近くない。暇があったらどっちも行ってみよう。

パラリンピックは今日で終わりだそうだ。全然見なかったな。まあオリンピックよりテレビで取り上げる時間も番組も少ないから仕方ない。注目されないからやらない、という選手はいないだろう。自分史上最高、というのを目指してやるのだろうからね。小生の研究も誰も注目してくれないが、疑問に思ったことを潰すだけでよい。気持ち悪さを無くすためにやっている。まあ論文が載らないのは悲しいが。地味にやります。

安青錦は4敗目で、今場所後の横綱昇進は無理

また変な時間まで起きていた。が、いいことが一つあった。一つ新しい事実を証明出来た。一般の場合だと難しいので、素数の場合で考えたら存外上手くいった。数表を眺めてそうなるだろうと思って始めたが、やはり実験は大事よね。何でも理論だけで眺めて分かる程いい地頭はしてないし、ラマヌジャンのように神は付いていないし、オイラーのように何でも手計算で計算出来るほどの能力は無い。実験しないと。

で夕刻まで寝ようと思っていたが、3時過ぎに目が覚めてしまった。もうすぐ相撲が始まるし、いいやということで起きた。コンピュータ相手に寝る前にやっていたことの続きをしながら相撲。今日は Tigers の前監督の岡田彰布氏がゲスト。相撲は結構見ているらしく、力士と個人的な付き合いもあるようだ。で今日も熱戦が多かったが、安青錦は先場所の優勝決定戦で勝った熱海富士に返り討ちを食らってしまった。これで4敗。もう場所後の横綱昇進は無くなったな。何とか残り全部勝って、来場所に希望を繋げましょう。

何か馬鹿に喉というか口の中というかが渇くな、と感じているが、空気が乾燥してるからか、と思った直後に、あ、鼻炎の薬のせいだ、と閃いた。大学の時に何か声がおかしいと指摘されたことがあったが、その日は薬を飲んでいた。そうだったか。というわけで渇きを癒すために呑みに行きます。いや、酒呑むとかえって渇くよ、という御指摘はあろうが、まあ呑むのはルーチンなので。というわけで行ってきます。

安青錦は3敗目で、綱は絶望的か？

トヨタに2時に行くことに成っていて、11時くらいには起きようと思っていたが、夜更かししてしまった。職場でやった行列の計算が間違っていたのでやり直した。似たようなことを一回やってるので、今度はそんなに時間が掛からなかった。ただ「GL_2(Z) は群だから」とか「～は同値関係だから」とかそんな判じ物が書いてあって、いやいや、そんな簡単じゃないよ、と思ってグダグダとやってたら思ったより時間を食った。結局成分を全部書いてしまえばいいだけのこと、と結論が出て、さっきと同じような計算をもう一度やって、TeX 化して、とかやってたら4時近くに成ってしまった。いかん、寝ないと

起きたら12時前。腹ごしらえしてシャワーを浴びるくらいの時間は充分にあった。外環三条の交差点を右折するが、右折矢印が出てて、右折レーンに車が一台もいない、というラッキーが重なり、矢印が消える前に右折出来た。奇跡に近い。でトヨタには1時55分くらいに着いた。トヨタが2店舗並んでるのだが、小生の用事のあるネッツトヨタの駐車場は一杯。仕方ないので隣の店の駐車場に停めたが、後で聞いたらお互い融通し合ってるらしいので、問題無かった。今日は車を買い替える話。この前車検したばかりなのだが、と思ったら、色々な問題（半導体不足とか）があって、製造出来る車が大変少ないらしく、納車は半年後だとか。ここを逃すとまた来年以降となる。まあそれはそれでいいけど。また物入りだな。

3時半くらいには帰ってきた。相撲を十両の途中から観戦。今日も熱戦が多かった。3連勝スタートだった宇良と琴櫻が揃って3連敗。安青錦は体格で勝る王鵬に決められて敗戦。3敗で横綱は絶望的か？豊昇龍は3敗でも横綱に成ったが、あの時は横綱がいなかったから少し緩かった。今は東西に横綱がいるし、厳しいかも。まあこの後全部勝てば来場所に望みをつなげる。4敗したら完全に出直しだから、気合をいれないと。入幕して一年くらいだが、一番悪い成績が11勝4敗。大丈夫でしょう。

昨日の晩（もう今日に成っていたが）ゴミ出しのついでにポストを漁ってきたが、マンション関係の書類が入っていた。いつもは大体どうでもいいことなので見ないのだが、少し前から嫌な予感がしていたので、ちゃんと見た。すると嫌な予感は当たって、来年度は管理組合の一員をやらないといけないらしい。で来週の水曜日に何やらあるらしいが、欠席裁判で妙な役職に就けられたらたまらんので、出席することにした。来年度は職場で教務委員だったり、M2 が複数いたりで色々大変だからな。何年か前にうちのマンションは町内会を脱退したようだから、前のように夏祭りが何だとかそういうことは無かろう。面倒なことに成りませんように。

4月からうちの院に進学してくる学生と会って、粗大ごみを出して、それから勉強

1時に4月からうちの大学院に進学してくる学生が会いに来ることに成っていて、11時か11時半には起きよう、と思っていたが、12時過ぎまで起きられなかった。連日の不摂生の祟り。シャワーを浴びる時間は無いが、髭だけは多少は剃っておこうということにして、ざっと電気カミソリで剃ってから出発。ウェストウィングに着いたのは12時50分過ぎ。まだ来てないかと思ったら、もう部屋の前で待っていた。散らかってる部屋に入ってもらって、テキストを渡して、院生室の場所やゼミの部屋はまだ未定だが、基本的にウェストウィングの5階から7階のどこかであるとか、講義は大体フォレストハウスかコラーニングハウスで行われるとか説明して、30分弱で帰っていった。家は大阪のどこだかで、結構遠いと言ってた。ご苦労様でした。

今日は年に2回の大型ごみの回収日。2020年に買ったとシールが貼ってあるノートパソコンと、接触が悪くなって役に立たなくなったキーボードがあったので出しに行く。行ってみると、ブラウン管テレビだったり机、椅子だったり、実験器具だったりと、凄いことに成ってた。往路で一昨年と去年仕事で一緒に成った先生が帰ってくるのに会った。この3月で定年退職だったな。で用事が済んで帰る途中に、その先生がもう一度台車を押して歩いてるのを見掛けた。ご苦労様です。

で用事が済んだので、論文の直し。レフリーから指摘されたことを参考にするが、計算ミスをしてないかも確認。投稿する前に何度もやったので大丈夫だと思うが、1箇所不安な箇所がある。で始めてみるが、間違っていないことに確信が持てるのに1時間半くらい掛かった。3^n－1 －1が入ってる式を3乗したり、それを更に3の冪で割ったりするからもう大混乱。コンピューターに頼ったが、それでもわやくちゃ。n に数字を代入してあればコンピューターはすいすいやってくれるが、n を不定元だと思った時に 3^n－1 と 3^n－2 を上手く調整して同類項でまとめるというのをコンピューターはやってくれない。適宜手計算で下拵えしないと。で何とか出来た。苦労した。昨日書いた通り目茶目茶高い本を頼んだが、それがまだ来てないので、そこで限界が訪れる。レフリーが教えてくれた本がまだ届いてないので。が、その著者が書いた別の本があったな、と思って書棚を見るが無い。前に出した気がするが、どこに置いたかいな。使ったものはすぐ戻さないと。もう一冊良さそうなタイトルの本があった。Halter-Koch の「Quadratic Irrationals」という本。河本史紀さんに教えてもらって買ったのだった。が開いて見るが、肝心なことは書いてなかった。本文で引用されていた本を見ると、小生が買おうとしている本。やはり見ないと駄目か。待つ。でただ手を拱いてるのは勿体ないので、二次無理数について理解を深めようと適当に TeX 化してあったのものを眺めるが、色々気に食わない。二次多項式の係数が a,b,c で、二次正方行列の成分が a,b,c,d。行列の方を p,q,r,s に直して、それから続きを読むと、何か変な判じ物が書いてある。GL が群だとか同値関係だからどうしたとか。そんなこと言うより書いた方が早かろ、と思って計算するが、どうもうまくいかない。論文の直しの時もそうだが、ちょっと計算がややこしくなるだけで計算ミスを多発してしまうのは衰えた証拠か。適宜コンピューターに頼ってどうにかなるまで結構な時間を食った。阿呆や。もう9時半近くに成っていた。

バカに寒いな、と思って車に乗ってエンジンを掛けると、凍結注意の警告音が。見ると3度。この前桜の咲く頃の陽気に成って、最低気温でも12、13度なんていうことがあったから堪える。ココ壱番屋でカレーをと思ったが、高速道路を通って帰って、カップ麺にしたろうか？と思ったが、正門の所で見ると4度に成ってた。これくらいなら大丈夫だな、ということで坂を下って国道一号に出て、カレーを食べてきた。二人外国人が働いていた。うちの学生かな？10時を過ぎていたので、途中で道路工事をしていた。年度末だから予算の消化に必死なのだろう。結構待った。その後原付みたいなのが車線の結構真ん中寄りを走ってたり、ウィンカーを出さずに車線変更をしたりする車があって、ストレスの溜まる時間だった。

着いてテレビを付けると丁度スポーツニュースの時間。安青錦と2日連続金星の藤ノ川の取組がやっていた。今日は安青錦勝った。よかった。WBC はどうなった？と思って見ると、アメリカは勝ち上がったそうだ。残念。強豪キューバが敗退したりと、勝負事は怖いな。日本の相手はベネズエラに成ったようだ。どうなるでしょうか？勿論日本が勝って欲しい。例によって見ることは出来ないが応援するよ。

大の里が休場、出ている横綱、大関は全員負け、野球では横綱アメリカが負けと、とんでもないことに

自分を律することが出来るような強い人間ではないので、職場に行く必要が無い＝起きる必要が無い＝眠くなければ寝るな、という安易な等式が成立してしまい、ダラダラと変な時間まで起きていてしまう。いけないな。明日は学生と約束があるので職場に行くし、明後日はトヨタに行く用事があるので、3月としては珍しく2日連続でそこそこの時間に起きる必要がある。ということで今晩はそこそこの時間に寝る予定。

ちょっとずつ論文の直しはしてるが、レフリーの提案に従うと、文献6つの内5つが小生の論文に成ってしまうという、何とも変な状況に。要するに誰も考えてないということで、マニアックな道一直線。そりゃ科研費も落ち続けるわな。レフリーの教えてくれた論文ともう一冊別の本を有隣社に注文したが、田中社長からの返信を見てビックリ。もう一冊の本の方は有隣社のホームページによると19350円だったが、実際は27470円。まあ我慢しましょう。しかし論文を書くのに必須な方の本は18730円のものが何と64440円！このまま手配していいか、と聞いてきたが、そりゃ聞くだろうな。どっちもそのままお願いしますと書いたが、64440円か。次年度はちょっと節約モードに入らないといけないな。出張を減らそう。呼んでもらえる時は旅費をお願いしようか。買い物も減らさないといけないな。買い物って殆ど本なのだが。この前生協の本屋を冷やかしてたら、面白そうな本を数冊見付けてしまった。もう今年度の予算は底をついてるんで、4月に成ったら買おうと思っていたが、390,000円の研究費の内の91,910円をもう既に使ってしまってるしな。どないしましょ。科研費が当たっていればと初めて思ったかも。

上に書いた通り変な時間に寝たわけだが、やはり眠りが浅いのか変な夢を幾つか見た。意識が戻って時計を見ると1時過ぎ。寝不足が続いているから、深夜まで寝てしまったのか、と起きて表を見ると明るい。昼の1時だったか。もうちょっと寝て、相撲の途中に起きた。昨日まで3連敗の横綱大の里は今日から休場。2場所前に痛めた肩の具合がまだよくないからだそうだ。昨日某親方のコメントが出ていたが、入門から今まで順調に行き過ぎていて、こんな経験は初めてだろうから、どう立て直していいか分からないのだろう、と。人間一度は痛い目にあわないと。などと思って見ていたら、出場している横綱と2大関が全員負けるという展開に。綱取り場所の安青錦は早くも追い込まれた。ここから全部残り勝つくらいの自力はあると思うが、彼もここまで順調に来過ぎてるからな。大丈夫だろうか？綱取りは誰でも緊張するんだな。最悪12番にまとめれば、来場所に希望が残る。故郷のためにも頑張らないと。

侍は早くもマイアミに着いたそうだ。次の試合は日本時間の日曜日だと言ってた。どうせ見られないからどうでもいいんだけど。今「報道ステーション」を見ているが、何とアメリカがイタリアに負けたらしい。序盤からホームランを打たれまくって、一時は8－0という展開に。が、そこは流石メジャーリーガーを揃えたアメリカは地力があって、6点取り返して、一発出れば同点、というところまで行ったが、ジャッジが三振してゲームセット。明日のイタリア vs. メキシコの結果次第ではアメリカが敗退するとか。そうなったら面白いな。自分達に都合のいいようにレギュレーションをいじっていじり倒して、自分達だけ時差の無い恵まれた環境で試合をしていて、それで負けたら大笑いだ。トランプもそうだが、アメリカ人は概して自分勝手だとう印象がある。負けてしまえ。

今日のニュースはやはり東日本大震災から15年、だな。あの日は横浜にいたが、結構揺れた。Facebook を見ると、横浜スタジアムでオープン戦をやってて、球場が目茶目茶揺れて怖かったと書いてる人がいた。確かに凄い揺れだった。近所の呑み屋（≠ふなごや）の大将が茨城だったか栃木だったか（この2県と群馬はよくどれがどれか分からなくなる）の人で、恐ろしかったと言ってた。もう15年も経つのだな。新快速が南草津に止まるように成ってから15年、ということだ。大体 JR グループは3月14日にダイヤ改正をするが、その日に結構な式典を駅でやる予定に成ってて、うちからも何かの団体が出席することに成っていたが、中止なったのだった。もうあんなことは起きないで欲しい、と思ったが、その後石川で大地震があったしな。日本は災害大国だ。気を付けないと。と言ってるが、小生の部屋はゴミ部屋で、今何かあったら大変だ。懐中電灯は持ってる。これは部屋に Wifi を開通させるために買ったので、災害対策ではない。保険でポイントが貯まってモバイルバッテリーと交換してもらったが、これは職場に置きっ放し。一時のモバイルバッテリーからの発火が相次いだ件で怖くなって、持って帰ってきて使おうという気に成らない。停電したら大変だ。何事も無いことを祈ろう。

いい加減耐えられなくなって耳鼻科へ

また変な時間まで起きていた。会議は夕刻からなので、夜更かし（朝早し？）でもタップリ寝られるのでいいかと。でちゃんと会議に間に合うように起きて、相撲を流して音声を消して会議に参加。来年度は違う仕事をやるので、この手の会議は最後で、あまり真面目に聞いてなかった。まだ数件面談の可能性があると言ってたが。学生主事の先生も今日で最後なのだろうか？まだ何かあるのかな。来年度の学生主事はちょっと数年前に一緒に仕事をして知ってる方。若い先生がやるのが決まりなのだろうか？うちの学科の人も過去にやったことがあるが、当時は二人共30代後半か40代前半だったろうな。ご苦労様です。

5時過ぎに解放されて、相撲の音声をオンにする。今場所は大阪でやってるが、大阪出身の力士3人とも勝った。で京都出身の藤ノ川はどうだったかというと、何と横綱初挑戦で大の里を破り金星。大の里は初日から3連敗。うーん、あんなに強かったのにな。横綱に成って5場所目で金星配給11個とか。しっかりしとくれ。幸い他の横綱、大関は勝ったが。

今日のニュースは玉鷲の幕内での出場が1470回で、最多の旭天鵬に並んだという話題。凄いな。今場所はまだ白星が無いが、まだまだやれるだろう。明日は獅司と。頑張っておくれ。

相撲終了後耳鼻科へ。去年の薬が残ってたのでそれでやり繰りしていたが、もう無理かなと。市販の目薬も効きが期待ほどではないし。ホームページを見たら6時45分までに入らないといけないようのなので、シャワーを浴びて6時20分過ぎに出発。そんなに待たされなかった。いつもは男の先生が一人でやってて、土曜日に行くと女の先生と二人体制だが、今日は二人体制で、女の先生に診てもらったのは初めて。苗字が一緒だが夫婦だろうか？お二人とも感じのいい方。最初の頃は認知されてなかったかガラガラだったが、山科駅に近いのと先生が感じのいい方たちなので段々流行ってきた。これからもずっとお世話に成ります。

薬を処方してもらってる間に買い物。コンビニに比べるとドラッグストアは安いな。1500円いかなかった。昨日セブンイレブンで買い物した時は、割引商品が一つあったのとクーポン券があったのと、買い忘れたゴミ袋をカウンターに出して、で何とジャスト3000円。ちょっとビックリした。nanaco で買うのであまり有難くはなかったが、キリがいいと嬉しい。

8時過ぎに帰ってきて、論文の直しを少々。何かよく分からない所があって、しばし考え込んだ。そういうことね、と分かるまで少々掛かった。印刷した物を見たら、赤線が引いてあった。前に読んだ時も分からかったんだな。書きようを工夫しないと分からんぞ、と思って直した。レフリーは特に何も言ってなかったが、分かったんだろうか？明日にでも職場に行って、一回書き直したものを印刷するか。いや、明後日は行くんだったな。明日はいいか。

学内のページがメンテナンス中だったり TeX に馬鹿にされ続けたりで、またしても徹夜

深夜に学生にメールを書かないといけないのを思い出して、書こうとして学生が提出したものを見ると、連絡先としてメールアドレスが書いてなくて、携帯電話の電話番号だけ出ている。学生、教員のメールアドレスを調べられるページがあるので、そこを見ると、「メンテナンス中。使用時間9時～22時」の表示。何だ駄目なのか。どうしような？と思ってウダウダと生産性の低いことをしてるうちにどんどん時間が過ぎていく。いつものこと。で論文の直しをしようかと始めると、今度は TeX に馬鹿にされ続けて再びどんどん時間が過ぎていく。newtheorem で番号の付かない環境を定義するには \newtheorem*{theorem}{Theorem} とすればいい筈だが、これだとエラーが出る。いや、普通の TeX のクラスファイルでやれば通るんだが、journal 指定のクラスファイルだとエラーが出る。む。Readme ファイルを見ると、*付きでやれば番号は出ない、と書いてあるのだが。暫く考えて、漸く分かった。使う時に \begin{theorem*}、\end{theorem*} とすればよいのだ。でもう「おはよう朝日です」がほぼ終わりの時間。うーん、何してんだが。で結局9時まで待って、メールを書いて、とかグダグダと。生活リズムが滅茶苦茶だ。大して眠くないので、昼過ぎまで起きてて、昼飯を食べたら眠く成ってきたので寝床へ。

テレビをまた消し忘れた。意識が時々戻って、下柳と誰か Tigers OB が WBC の話題をやってるのが聞こえてきて、起きて相撲を見ないと、と思ったが、起きられない。気付けばもう「帰れマンデー」の音声が聞こえてきた。起きてカップ麺をすすって、また眠く成ってきたので、NHK にチャンネルを合わせて、9時のニュースで相撲の話題がやりそうになったら起きよう、と思っていたが、気付けばもう次の番組に成ってた。相撲の結果を知りたい。Yahoo！を見ればいいが、深夜のダイジェストを録画しておいて見よう、というところで閃いた。BS で少し早目にやるな、と思って今見たら、もうすぐ始まる。録画しておいて、ABC の1時52分からのどうでもいい番組のをやっている間に見よう。

あ、明日は資源ゴミの日だ。マンション売れ売れ系の郵便だったり、ジャパネットの宣伝冊子だったり、そういうのは放っておくとたまるので、捨てないと。段ボールも数箱ある。捨てないと。今日を逃すと2週間後だ。やらないと。

学生から返事無いな。連絡先に学内メールアドレスを書いてないところから判断するに、見てないんだろうな。前もそういう学生いた。その時は電話したが、彼曰く、難しくて見方が分からないから見たことない、とのことだった。電話しちゃおうかな。流石に今掛けることはしないけど。明日一杯待ってみるか。

侍ジャパン、予選リーグを首位突破

昨日のふなごやも暇そうだった。ということで、少々早目にワインに。先週の呑み残しが目茶目茶味が変わってて、凄く美味しかった。店長もあまりそういう経験がないようで、ビックリしていた。暮れに実家に帰った時にどん兵衛の関東味を買ってきたが、食べたかと聞いたら、西日本味の物を買ってきて食べ比べたと言ってた。醤油汁はやはり西日本味に比べると美味しくないとの仰せ。ごもっとも。小生もお出汁のきいた西日本味の方が美味しいと思う。なか卯は関東にもあるが、京風うどんなんだろうか？関内駅の近くにあると兄者が言ってたので、次に帰省したら行ってみよう。で何だかんだと話と酒が進んで、例によって途中から記憶が無い。

昼過ぎに一旦起きた。水のペットボトルが半分くらい残ってた。飲み干してから Uber Eats にすき家の大蒜の乗った牛丼を注文して食べて、でもう一度ダウンした。

今日から相撲だということをすっかり忘れていて、起きたら結び前の一番が終わったところだった。大の里が若隆景に負けたらしい。若隆景は初金星とか。三役に長いこといたからね。スロー VTR で見ると、例によって引いてしまっていた。うむ。もう一人の横綱豊昇龍は、静岡出身の96年振りの三役・熱海富士に攻め込まれて、あわやというところだったが、琴風さん曰く投げに拘り過ぎで、逆襲を食らって負けた。残念。大関はどちらも勝ったらしい。綱取り場所の安青錦は若元春の立ち合いの変化を全く意に介さず、堂々の寄り切り。安青錦に奇襲は効かないのだ。

晩飯はまたしても Uber Eats で、今度はいつもの王将の炒飯とニンニク激増し餃子。前はキムチ炒飯ばっかり頼んでたが、最近無くなってしまいシンプルな炒飯を食べるしかなくなっている。味気ないがまあ仕方ない。酔いが残ってる時は白飯は案外喉を通らず、炒飯やピラフなどの味の付いた飯の方がいい。が、後で気付いた。昼に届いたすき家メニューに全く必要のない山芋、山葵、醤油が付いてきた。白飯にこれで味付けして食えば安上がりだったな。次回はそうしよう。

論文の件でエディターの某先生と2、3メールのやり取り。昨日調べた時は square-free という仮定が付いていたが、レフリーの書きようだと square-free でなくてもいいような書きっぷりだったので、それが書いてある本を有隣社に注文した。うちの図書館には無いようなので。でエディター曰く、その本では square factor を持っていてもよいような書きっぷりだとか。そうなのか。早く本が届くといいな。それまでに直せる所は直しておかないと。レフリーが相当ちゃんと読んでくれていて、小生の書きっぷりのまずさを何箇所も指摘された。大手術をしないといけないが、何とか今月中に目鼻を付けないと。まあ今度の春学期は、講義の負担が少し減るのでいいが、教務委員にされてしまったので、そっちでは忙しくなる。何とかしないとね。

WBC は本当に Netflix が厳しく出ていて、スポーツバーのような所で放送を流してはいけないらしい。さっき「有働Times」で今日の試合の結果をやっていたが、紙芝居というか野球盤というか、そんな感じの何とも締まりの悪い放送だった。「サンデースポーツ」も試合結果を言うだけ。日本以外の試合は映像付きで流してくれたが。牧が塁を出ているのを刺されたシーンとか、捕手の若月が盗塁を刺そうとして二塁へ放ったが悪送球で、そのランナーがそのまま生還してしまったのも、どちらも悔しがってるシーンの写真だけ。面白くないな。まあ仕方ない。優勝したらどこかの局が特番をやってくれるだろうし、それを録画しておいて後でゆっくり楽しもう。映画もやってくれるだろうし。少し前に WBC の第1回から前回までの振り返り番組をやっていたが、録画し忘れたのは失敗。野球マニアの名が泣く。まあ最近はそう言うのがちょっと憚られるくらい不真面目にしか見てないが。あ、結果を書いてないですな。上に書いた若月の悪送球の間に先制されたが、吉田正尚が2ランホームランを打って逆転、代打に出た佐藤輝明がタイムリーヒットの後鈴木誠也が押し出し四球を選んでもう1点。が、昨日はあっさり抑えた大勢が2本のソロホームランを打たれて1点差に成ったようだ。昨日の晩は Tigers ファン2人と Baystars ファンが大勢を応援するという変なことに成っていたが、今日も応援しないといけなかったな。種市篤暉（Marines）がいいようなので、順序を入れ替えた方がいいのでは？という気もするが、まあ監督が決めることなので、口は出すまい。今日試合前に既に準決勝に進出することが決まっていたが、今日の勝ちで首位通過。今日の試合は60年振りの天覧試合だったそうだから、勝ててよかった。今後も引き続き頑張っておくれ。

二次体屋は square-free の時は得意だが…

結局また訳の分からない時間まで起きていた。レフリー曰く、R-D type（の拡張版？）の一般論から従う、と書いてあるので調べてみたが、R-D type の定義の大前提に「square-free であって」とある。小生が扱っている場合は square-free でない場合がある（その旨論文にも書いてある）のだが。有隣社に注文してある本が届くまで待つか、と悠長に構えていていいのだろうか？ということで色々調べたが、よく分からない。まあそこ以外にもレフリーからご提案があった場所を直そう、ということにして、寝たが。もう結構な時間。

起きたのも訳の分からない時間。結局2次無理数とその連分数展開をよく分かっていない、というのが問題なのだな、ということで少し勉強し直そうと思い立ったが、まだやってない。小生二次体屋なので、m が square-free の時の x²－my²＝±1, ±4 はある程度知っているが、m が square-free とは限らない場合をちゃんと考えたことがない。過去に複数の学生が連分数のことを修論にしていたが。幸い連分数のことを書いた本は、河田敬義先生の本、小野孝先生の本（特に英訳版）、木田さんの本など結構持っているので、ま、やりますよ。

侍の試合がどうなっているか気に成ったので、シャワーを浴びる前に見たが、1回表に3点取られたが、すぐ裏に2点取り返し、更に3回裏に3点取って勝ち越し。よしよし、と思ってシャワーが済んで見たら追い付かれてる。東京ドームでやってるが、あそこはホームランが出易く、鈴木誠也が2本、大谷、吉田正尚が1本ずつ打ってる（3回裏にまとめて3本）。韓国も1本。まだ荒れるな。結局 Netflix に契約してないから、Yahoo！の速報のページが頼り。頑張れ。

さて土曜日である。呑みに行かないと。今「サタデーステーション」で WBC のことをやってるが、途中で切り上げよう。呑み呑みスマホを見ながら応援だ。

どうやら論文は受理してくれる方向のようだ

今日は車検の済んだ車を受け取りに1時にトヨタへ。特に早起きする必要は無かったが、10時ちょっとに目が覚めてしまった。もういいことにして起きて、カップ焼きそばで腹ごしらえして、12時40分過ぎに出発。

1時ちょい前に到着。今日は長谷川課長が待っていた。諸々話して、でトヨタの車の現状を話してもらって、現状アクアは難しいから、次買うとしたらヤリスに戻るみたいなことを聞いて、でカタログを貰って終了。

今日も職場へ行くことにした。夕刻から雨が降る予報なので、ちょっと嫌だったが、まあやることはあるし、行くか、ということにした。職場に着いたのは大分2時に近かったので、いい所に停められるか？と思って向かうと、全部埋まっている。折り返してもっとウェストウィングに近い所はどうか？と思ったがこっちも一杯。一方通行なので一旦外周道路に出て、生協の近くはどうか？と思ったら2台分空きがあった。で停めてからウェストウィングへ。

秘密の TeX 打ちはもう平仮名で書いてあるか漢字で書いてあるかくらいしか見る所は無いのだが、それでも結構間違えている。一通りやって、休憩のために「緊急取調室」の第1シリーズがもう少しで終わるので、見ることにした。ノートパソコンを開いて見るが、デスクトップパソコンの前に開いて置いた。で5時過ぎにメールが来て、チラッと見ると journal から。何だろう？と思って1話目が終わった後見ると、2月24日にメールを出したが、見たか？返事が無いが、という趣旨。迷惑メールのフォルダーを含む全フォルダーを見たが、届いている様子が無い。届いてない旨返事を書いて、「緊急取調室」をもう1話。第1シリーズを見終わった。でメールをちゃんと見ると、どうやら前向き査読結果のようだ。よかった。あの journal には reject を食らったことが無い。駄目だったらもう査読無しの journal でも仕方ないと思ってたが、神 journal でよかった。で referee レポートを見ると、書き直しすべき場所がてんこ盛り。まあそうだろうな。一つは「tangential」だから削った方がよい、とのことだが、「tangential」って何？と思って電子辞書を叩いたら、「脱線」という感じの意味のようだ。電車の脱線ではなく、「話が脱線する」という意味での脱線。まあ確かに、本筋と関係無いなと思って書いたのだから仕方ない。ここを除くと初等的に過ぎるから賑やかしに書いたのだが。ま、削りましょ。他の箇所は、最初に reject 食らった後に証明出来たことがあったので書いたのだが、これは有名なことで、お前が云々する程のことではない。然るべき文献を挙げておけばよいのだ、とのこと。文献の例が書かれていたが、持ってない本なので、有隣社に注文。でその後ウダウダとあーでもないこーでもないとやったが、すぐ出来そうにないので、8時半くらいまでやって帰ることにした。

ちょっと気分が良くなったので、ご馳走を、ということではま寿司へ。大したご馳走でもないがな、との仰せはごもっとも。ただいつもの晩飯の倍くらいは払うので、まあご馳走でしょう。金曜の9時前は予想外に混んでた。少し待たされたが、まあこの程度なら。いつの通り大体2000円くらい食べてきた。

10時過ぎに帰宅。先週の「座王」を見て、見終わってから消して、今晩の分を録画予約して。で「報道ステーション」はスポーツコーナー。WBC は2日目で、日本は今日から。何やら山本由伸がピンチを作って降板、という情報だが、スコアを見るとその時点で10－0で日本が一方的にリードしていた。結局13－0で7回コールドゲーム。大谷が満塁ホームランを打ったらしい。権利関係なのか、もう一度は見せてくれなかった。まあ明日以降も流してくれるでしょう。まずは上々の滑り出し。Netflix を契約するかどうか未だに迷ってるが、契約すると優勝出来ないような気がするので、やめておこうかという気にも成ってる。もう少し考えるか。

さて、論文の直しをしますかね。怪しい TeX 打ちも、書きかけの論文も一旦棚上げ。書きかけの論文はコンピューターが望ましい結果を返してくれないので、嫌に成りかけている。折角掲載に前向きに成ってくれてるんだ。真剣に直そう。出来れば今月中に終わらせたい。頑張ろう。こういうのは呑みながらやると捗るが、明日は土曜日ということで恒例の呑みの日だから、今晩はやめておくか。博士論文を書いてる時は呑み呑み深夜に作業してたが、どう説明しようなー、英語でどう書こうなー、うーん、そうだ、こんなこと書かなければいいんだ、中途半端に書かないでがっさり削除、とかやって寝て起きて見ると、何かいい感じに仕上がってるぞ、ということがあったので、呑んでやるのは正解なのだが。やめておこう。

車検のため代車のヤリスを運転するが、色々戸惑う

今日は車検のため1時にトヨタに行くことに成っていて、遅くとも12時半には起きようとアラームを仕掛けておいたが、10時半に成る前に目が覚めてしまった。まあいいかと起きて、シャワーを浴びて寝癖を直して、その後カップ麺を食べて出発。12時40分に出れば丁度いいかと思ったら、12時50分くらいに着いてしまった。混まないと早いな。停めたら女の店員が近付いていた。いつもの長谷川さんじゃないのか、という感じ。で少々説明を受けて、代車の鍵を受け取る時に長谷川さんが出てきた。昼飯だったか？長谷川さんは課長らしい。知らなかった。代車はヤリス。久し振りに乗るな。アクアは電気式のギアと、補助ブレーキは足で掛けるタイプだったが、久し振りの機械式のギアと所謂「サイドブレーキ」のタイプの車。久し振りだ。ちゃんと ETC カードは抜いておいたので、代車に差してから出発。

取り敢えず草津田上インターを目指して、それから職場の前の山手幹線という通りが岡本町南の信号から向こうに道が繋がったということで、行ってみた。片側1車線だが信号の無い通り。石部までスイスイ進んだ。合流ポイントで久々の信号。その後道がよく分かってなくて、変な車線に入ってしまった。道の駅「あいの土山」まで行って休憩して職場へ、のつもりだったが無理そう。信号を待ってる間にカーナビに職場をセットして、で細い道をしばし走らされて、国道1号に戻ってきた、と思ったら、さっき直進出来なくて右折した交差点に戻ってきただけだった。何だ馬鹿臭い。その後「名神」と「名神 大阪方面」という謎の分岐に差しかったが、左に行こうとしたら右側に行けとカーナビが。暫く走ったら分かった。左に行くと栗東インター、右に行くと栗東湖南インターの大阪方面の入り口ということだった。で栗東湖南から名神に乗って、ジャンクションで草津田上方面へ。が、これがちょっと怖かった。いつも職場に行くときに「右から合流注意！」という電光掲示が出ているが、まさにその右からの合流をする羽目に成った。追い越し車線に合流するのは怖いぞ。普通は右を気にして合流するわけだが、左を気にしながら合流するのは恐ろしい。栗東から職場に向かうには高速道路を使わない方がいいな、という結論に至った。で料金所を通って、カーナビはちゃんと「右方向です」と案内してくれた。前のカーナビは左折させたがる。謎だった。それと、草津田上インターに向かう途中に職場のすぐ脇を通るのだが、そこで「目的地周辺です」と言われて困ったことがあったが、代車のカーナビは言わなかった。カーナビも賢く成ってるのだな。で学内のゲートではナンバーをカメラで認識して通してくれるシステムなのだが、今日のはナンバーが違う。だけどちゃんと契約者はカードを渡されていて、それを機械に通せば無料で入れる。いや、月5000円払ってるんだけど。

部屋に着いたのは3時前。ちょっとメールを書いてから TeX 打ち。そろそろ終わらせたい。人の書いた物を右から左へ移すだけでも結構手間取る。コンピューターが手癖を学習してるから、それと違ってしまう。小生の書き物を見ればお分かりの通り、「～出来る」といつも打ってるが、「～できる」と打たないといけなかったりとか、そういうことに気を遣わないといけず、結構大変だった。印刷して見ると間違い多数。結構今日だけで何回も印刷した。明日はトヨタに車検終わりの車を受け取りに行くから、その後職場に行こうか、と思っていたが、明日は夕刻から雨らしい。やだな。まあどうするかはその時の気分次第だ。ケセラセラということで。

慣れない車の運転は色々大変。上に書いた通り補助ブレーキが足で掛けるタイプでないので、停める時に何度か左足で踏ん付けようとして空振りで、あ！と成った。ギアを P にするのも一瞬どうやるのか分からなくなった。いつもの車は P と書いてあるボタンを押すだけ。R に入れるのも手間取る。いつもと違って N を経由して R を経由して漸く P。やっと慣れてきたが、明日でお別れ。いつに成るか分からないが、次の車はどんなタイプでしょうかね。

今日から WBC が始まっているらしい。日本の初戦は明日。Netfilix 契約しようかどうしようかなどと思っていたが、まだしてない。どうしようかな。

注文ミスでラーメン大、追加チャーシュー、白飯、餃子を食べてきて苦しい

呼び鈴が鳴って、宅配便が届いたなと思って起きた。が、佐川急便から来ることに成っていた筈だが、ゆうパックだと言ってた。変だなと思ったら、別の荷物だった。定期購入している野菜ジュース。受け取って時計を見ると10時半前。まだ眠いぞ、ということでもう一度ダウン。1時過ぎに待望の荷物が来た。受け取ってしばしボーっとしてから職場に出発。

もう少し早かったらはま寿司に寄ろうかと思ったが、草津田上インターを降りたのはもう2時近かったので、生協で弁当を買って済ますことにした。食べてから保健センターへ。今日は血圧はまあまあだった。昨日ある件で保健センターからメールが来ていて、それはどうするのか聞かれたが、近い内にやっておきますと答えて終了。

個研室に荷物を置いて、7階の事務室へ郵便物等を見に行く。この前個研費を使って生協で買い物をしたが、研究の残高が不足しているぞ、と経理からメールが来ていたので、差し戻された伝票を持って生協へ。現金で払って領収書を貰って、それを経理に送り直す。8000円くらい私費払いに成ってしまったが、まあいいです。

それから部屋で TeX 打ち。何か謎なことをしていることを前に書いたが、それがまだ完了してないのでちょっと。それからノートパソコンにインストールしてある Blu-ray の再生ソフトをアップデートをしないといけなかったのを思い出し、やった。上手くいったかどうか確かめるために「緊急取調室」を1話見た。大丈夫だった。で7時過ぎに職場を後にした。

ドラッグストアで薬を処方してもらって、さて晩飯はどうしよう？いつもの通りなか卯か？と思ったが、そうだ、魁力屋に行ってラーメンを食べよう、ということにして向かう。適当に頼んだが、注文ミスをしたようで、味噌ラーメン大、追加チャーシュー、白ご飯に餃子、ととんでもないことに成ってしまった。味噌ラーメン並と餃子の筈だったのだが。頼み直す勇気は無いし、食品ロスを出すのはよくない、ということで完食してきた。結構食えるじゃないか、と思ったが、暫くしたらきつくなってきた。今ちょっと苦しい。早食いだと結構食べられるが、それが太る源というのは有名。ゆっくり噛んで味わえばそんなに量食べなくても満足いくらしいが、いかんせん商人の息子なもんで、合間にチャチャっと食べる習慣がついてる。気を付けよう。

帰ってからニュースを見たが、アメリカは何がしたいのだろう？船を潜水艦を使って沈没させたそうだが。トランプにしろプーチンにしろ、武力を誇示して何事かをなそうとするのはいかにも20世紀的。日本はアメリカの同盟国だ。巻き込まれる可能性が無いでは無い。勘弁してくれ。明日から WBC、6日はパラリンピックが始まるんだ。平和な中楽しませてくれるないと困る。兎に角戦争反対。

Height のデカい有理点を探すために SageMath と格闘も謎が多くて困る

深夜に成ると元気に成る。気に成ることも出てきて、どんどん時間が過ぎていく。もう寝んでいいわ、と成り、結局起きていた。

10時から面談なので、9時55分くらいに Zoom を起動。今日の学生はちょっと変な学生で、事務の人が少々、というか目に見えて不機嫌。いつもは10分も掛からず形式的にやっただけで終了なのだが、今日は30分近く掛かった。終了後しばし事務の人と雑談。色々「前科」があるらしい。ご苦労様です。メールに書いてあった文面を見るに、全理工学部の学生をお二人で担当しているようで、お一方は契約職員のようだから、実質お一人でやっておられるのだろう。お察しします。

その後 Uber Eats にマックポークのセットを頼んで食した後、SageMath と格闘。気に成っていたのはそのこと。Analytic rank が 1 の楕円曲線の Mordell－Weil 群の生成元は、何やらオプションを与えれば探してくれる筈なのに、Cremona の mwrank を使って探し始める。む。ヘルプを見たりドキュメントを見て分かったのは、mwrank を使わないでね、と頼むことが出来るようだ。が、まだ変。rank1_search というオプションにデカい数値を教えてもあっと言う間に「見付からなかった」と返事がある。おかしい。Google 先生に頼んで探しても、これといったページは見付からない。む。rank が 1 で Mordell－Weil 群の生成元の height がデカい曲線として有名な E₁₅₇：y^2＝x³－157²x でやってみると、今度は一生懸命探している。数時間経つが、まだ返事は返ってきてない。まあその方が安心だ。ちゃんとやってくれてるし。小生がやった例とこの例の違いは、位数 2 の有理点の有無。有るとうまくいって、無いとうまくいかないのだろうか？分からん。しかし Magma は E₁₅₇ の生成元を一瞬で見付けるが、どうやってやってるんだろう？SageMath はその気に成ればソースファイルを読めるが、Magma は完全なブラックボックスらしいので調べようが無いらしい。バグに苦しんでた人が同業者にいた。SageMath は割とすぐ bug fix をしてくれるらしいが、Magma は次のバージョンを待つしかないらしく、どっちがいいか分からないな。E₁₅₇ の結果が出るまで待とうかと思ったが、流石に限界が来た。

テレビを6チャンネルにしておいた。侍 vs. Tigers の放送があるので、意識が戻ってきた時の展開次第では起きて見よう、と思っていたが、ケーブルテレビのチューナー経由で流していて、いつもの通り自動で電源がオフに成ってしまった。意識が戻ったらもう9時半くらいで、起き上がってチャンネルを6に合わせると、もう9回裏。5－4 で侍がリードしてるが、Tigers に1イニングにまとめて4点取られたらしい。試合はそのまま終わった。Buffaloes と Tigers 相手に1試合ずつやって1勝1敗。まあいいんじゃないでしょうか。4点まとめて取られたのは仲地らしい。それ以外の高橋宏斗などはぴしゃりと抑えたようなので、監督の采配次第で何とか成るでしょう。小久保が監督の時の采配ミスはあっちこっちで未だに叩かれてる。井端は人格者っぽいので、多少のことでは叩かれないだろうな。予選リーグは負けても大丈夫なので、決勝トーナメントに調子が上がるように調整してもらえれば。さて、Netflix に契約するかしないか。調べたら今キャンペーン中で、安く契約出来るらしく、しかもいつでも解約出来るそうだから、WBC に目掛けて契約、終了後即解約という人は案外多いのでは？という気がする。もうちょっと考えよう。

E₁₅₇ の結果はまだ出てない。明日は保健センターに行ったり領収証の整理をしたりする関係で職場に行くが、出掛ける前に止めようか？それともやらせ続けようか？まあいいや、明日考えよう。あ、昼に宅配便が来るんだった。ということで起きるから、明日は確実に職場に行けるな。今日こそは早目に寝よう。と言っても多分「テレビ千鳥」が終わるまでは起きてるんだろうけどそれでも正午に起きるなら10時間は寝られる。ちゃんと寝よう。

訳の分からない生活をしているせいで眠い

Thue 方程式に解が無いことを小さい素数を法として考えるのはうまくいってない。素数 p を動かして mod p で、とやると悉く解があることが分かってしまい、頓挫。前にそうやってうまく潰せたことはあったのだが。楕円曲線の Mordell－Weil 群も求まらないし。パラメーター更に大きくして待つか、それとも何か他のことを考えるか、色々やってみないと。しかし PARI/GP は色々気持ち悪い。w＝√m（m>1 は square-free)、a,b∈Q の時、real(a＋b＊w) とすると  a が帰ってくる。m<0 だったらこれでいいが、m>0 の時もそう。気持ち悪いけどまあ楽に有理数部分（というのか？）を取り出せるのでいいけど。

でまた変な時間まで起きてて、変な時間に起きた。昨日は寝不足だったのを無茶したから、今日は兎に角眠い。夕食を食べた後もう一度ダウンした。が、まだ眠い。明日は10時から面談で、こういう時は面談まで起きてて終了後寝る、というパターンに成ることが多いが、眠いので無理そう。明後日は保健センター行で、明後日は車検で1時にトヨタへと、少しはまともな生活をしないと。

もうすぐ WBC ということで、今日は日本代表 vs. Buffaloes があったようだ。3－4 で侍が負けたが、1回の3失点の内の1点が牧の悪送球らしい。牧は打つが守備がな。9回に牧はタイムリーヒットを打って取り返したと言えば取り返したが。守備がああだとちょっと出番は減るかな。さっき Facebook を見てたら、Baystars の前身チームを含めての球団のホームランランキングが出ていたが、まだ5年しかやってない牧がベスト5に入ってた。それくらい打つ選手なのだから、守りが完璧なら相当な名選手なのだが。頑張っておくれ。

テレビを流しているが、算盤が衰退した理由の一つが、消費税の導入、というのは意外だった。確かに商品の値段を足すのなら算盤は優れているが、3%上乗せする時に大変だ。いや、算盤でも掛け算は出来るけど、どうやるか理解出来なかった。仕掛けの分からない物は昔から理解するのを脳味噌が拒否するのでね。一回算盤を買ってきて練習してみようか？いや、やらないな。普段計算するのはデカい整数だったり三角関数だったり二次無理数だからな。中学の時だったと思うが、計算尺というの知って、面白がっていじってた時期があったが、対数を習うと何も不思議なことではなかったので、あまりいじらなくなった。で数年前にメルカリで計算尺を買ったが、すぐ飽きてしまった。算盤も多分そうなるな。

ゴツイ係数の Thue 方程式でも Magma Caluculator は解いてくれる

昨日も沢山呑んできた。バイトの人は娘さんが家庭のことを愚痴りに来ているから来ないかも、と店長が言っていたが、いつもより少々遅く現れた。やはりお子さんが産まれると大変らしく、旦那のちょくちょくぶつかっているらしい。娘も孫も寝たから来た、と言っておられた。丁度美味しいワインの栓を抜いたばかりだったから、愚痴を聞きながら呑んだ。家庭を持つのは大変だな。小生はもう見込みが無いから他人事だが。で例によって途中から記憶が無い。いつもより覚えてる量が少ない気がするが何故だろうか？起きたらペットボトルの水が半分くらい残ってた。

で意識が戻って時計を見たら8時。夜8時かと思ったら朝だった。表が明るくてビックリした。計算が終わっていたが、例によって生成元は吐き出されていなかった。うーん。これは Thue 方程式に帰着させて解くしかないのか？という気がして、PARI/GP で試してみた。実二次体の基本単数が必要になるが、bnf で基本単数を求めたら 0 と返ってきて、え？となった。が、ちゃんと調べると quadunit という実二次体の基本単数を求める命令があった。bnf の方はどんな代数体でも通用するアルゴリズムを使っているだろうが、こういうのは概して遅い。quadunit は多分連分数展開を使っているのだろう。でさっき 0 と返ってきた実二次体を試してみたら、ゴツイ結果が返ってきた。単数規準が 190 を越えてる。これでは仕方ない。で Thue 方程式を解かせようとしたら PARI/GP が黙り込んだ。ε(a＋b√10159)³ から生じる Thue 方程式だから当然か。で試しに Magma Caluculator で同じことをやったら、何と数秒で解無しと返ってきた。数値を入力し間違えてる（正確にはマウスを使ってコピペした時に桁が落ちてる）可能性があるので、後でやり直すが。取り敢えず全部やってみよう。今まで見た Thue 方程式 F(x,y)＝m って F(x,1) の主係数が1のものばかりだったが、B. M. M. de Weger のある論文を見たら主係数が3のものを解いていたので、試しに PARI/GP でやったら解けたから勇気を貰ってやったわけだが。de Weger って不定方程式の問題を何でも Thue 方程式を解くことに帰着させて論文を大量生産していた人だが、彼自身が「On the practical  solution of the Thue equation」という論文を書いてしまい、これが KASH だ PARI/GP だ Magma だに実装されてしまい、その手の論文が書けなくなって宗旨替えしたようだ。昨日書いた小生の没論文も今では数秒で解決してしまい面白くない。今や個々の楕円曲線の整数点や Thue 方程式の解を求めても論文には成らない。パラメーター付きで解かないと。寺井さんとの共著論文も不定方程式の無限族を解いてる。無限族を導くのに3個の楕円曲線の整数点を求めればよい、というのが寺井さんの偉大なるアイデア。プロの技が光っている。ああいう論文をもう一度、しかも独力で書けるように成りたい。

今日は WBC の特番が ABC でやっていた。録画し忘れたのは失敗。面白かった。何か断片的に覚えているが、ちゃんとしたことはあまり覚えてないな。あれとこれが同じ試合だったか、とか、イチローが決勝の韓国戦で決勝タイムリーを打った年は、韓国と5試合もやったとか忘れてたな。毎回何かしらレギュレーションを変えてくるんで、どうすれば優勝出来るか毎回混乱している。まあ今年は Netflix が独占放送するらしいので、契約してないので見られないが。スポーツニュースが頼りだ。優勝しますように。

変な Thue 方程式が出てきてウンザリ

変な時間に寝て変な時間に起きてる。SageMath が結果を返してくれるのを待っている間は特にやることは無い。が、ボーっと待ってるだけではよくないので、ちょっと Thue 方程式に帰着させるという古典的な方法を試してみよう、と思って始めたが、訳の分からない方程式が出てきてウンザリ。ちょっと置き換えをすると簡単な形に成ることがあるので、昔書いて reject されそれっきりに成ってる論文を見たが、何かうまくいき過ぎてていまいち分からない。うーん、と煮詰まったところでダウンした。

野球を放送している。侍ジャパン vs. 中日 Dragons の試合。やはり侍は強いという感じ。が、前回の WBC の時は、侍に唯一土を付けたのは前哨戦での Dragons だった。ゲン担ぎで今日は負けた方がいいのでは？という気がするが、どうだろうか？

さて土曜日恒例呑みに行く。今日の話題の中心は花粉症に成りそうだ。小生杉ではあまり症状が出ない。確かに今は大したことない。桧のシーズンに成る前に耳鼻科に行っておかないと。床屋に行きたいので、症状の軽い内に手を打っておかないと。来週のどこかで行っておこう。店長は大分辛いらしい。Facebook に書いてた。鼻炎の症状がある時に呑むとかえって酷くなるが、まあ呑むだろうな。ということでボチボチ行きます。呑んでる間に一つでもコンピューターが一つでも待望の結果を吐き出してくれるといいが。

「戦国武将番付」を遅く（早く？）まで見ていたが、職場に行くのは14時でよかったのでよく寝た

起きなくていいとなると寝ない。昨晩はちょっとハードディスクの空きを作ろうと思ってうっかり「戦国武将番付」なる番組が録画してあったのを見てしまった。頭の方は記憶があって、途中見覚えが無くて、また暫くしたら見覚えのあるシーンがあって、これは呑みながら見たな、ということで結局最後まで見てしまった。でもう「おはよう朝日です」がとうに始まっている時間だった。

でも今日は2時までに職場にいけばよかったので、正午過ぎまでゆっくり寝たが。昨日、今日と職場に行ったのは、パソコンの虫取りをしてもらうため。ウィルス対策のソフトは当然入れてあるが、ウィルスも対策ソフトも日進月歩の鼬ごっこなので、手動で見てもらうのは大事。結構な額に成るが、まあ大学に払ってもらえるので。

その後論文書きのための計算をコンピューターにさせる。SageMath が音を上げたやつを Magma Caluculator に計算させたら沢山出来た。まだ残っているのはあるが、まあ数十分待ったりとかその程度は待ったうちにならないので、もうちょいパラメーターを大きくして実験してみる。それと、別のことで楕円曲線の整数点のことを考えた時のログを見たら、やはり小さい素数を法として解無しと結論出来てるのが幾つもあったので、大袈裟な計算をやる前にそっちを試した方がいいかもな。

計算の合間がそこそこ中途半端にあったので、印刷したけど読んでない論文をばらす作業。ダウンロード出来たものは心置きなくばらせたが、ダウンロード出来ないものはどうしようか？長くない論文はまあスキャンすればいいが、それをやる程の時間は無いので、放っておいた。他にも企業の採用案内の人が置いていったチラシとか、大昔の会議の資料とかも紙ゴミに回して、大分ゴミが出たが、小生の部屋はそれで綺麗に成る程度の生易しいものではない。まだまだ掛かるぞ。定年退職間際まで続くかもしれんが、ちょっとずつでもやっておかないと、最後に大騒ぎするだろう。27年も同じ所に居座ると物はたまるね。

などとしているうちに10時近くに成っていた。すき家に入った時はもう10時を過ぎていた。夜間料金取られるな、と覚悟していたが、レシートを見ると0円に成ってた。忙しそうにしていたが、切り替えるのを忘れたのだろうか？いやそもそも手動なのか？まあ得したのでいいです。JAF に付いていた50円の割引券も使ったので、プレーンのカレーライスだが大分安く済んだ。ここのところちょっと物入りだったからよかった。明日は土曜日だから呑みに行くが、またぞろ大金を払わないと。まあ今日の多額の出費は戻ってくるのでいいけど。それの手続きをしようと思ってすっかり忘れていた。多分次に職場に行くのは水曜日。年度末の精算に間に合うんでしょうか？明日行ってやろうか？まあ気分次第だな。

2週間振りの職場

今朝は10時から面談3件、の筈が、10時半からの学生は熱があるため延期。10時と1時からと、嫌な時間の空き方だが、寝不足だけどいつもよりは寝ている。ということでちゃんとどちらもこなして終了。今日は2時に職場に行かないといけない理由があったので、昨晩はちゃんと寝たんだが。多分例の業務が終わってから行ってないから、2月11日以来だな。書いてる最中の論文にも「2月11日」と書いてあったし。

で職場に着いて、待ち合わせの時間に用事を済ませて、7階の事務室に行ってポストを漁って、で生協の本屋へ買い物。線形代数の本で面白そうなのがあったが、もう暫く線形代数は担当しないだろうから買わないでおく。数セミと数理科学（楕円関数が特集記事）と何やらの質問箱というシリーズ物を買って個研室へ戻る。その後論文書き。色々気に食わなくて直そうと思うが、やはり住処より職場の方が捗るな。テレビが無いのは結構大事。結構いじった。が、コンピューターが思うような結果を吐いてくれてないので、「（進行中）」とのメモ書きが残るが。まあ急ぐ旅ではないので、ゆっくりやる。何だかんだと8時過ぎまでゴチャゴチャやって、8時半過ぎには職場を出た。

はま寿司でノドグロフェアをやってるので、夕食を摂りに向かう。が、ノドグロは本日完売の表示。本日、だからまた昼間行けばいいのだろう、ということで近々また行くことにして、今日は大トロだキンキだと高い物から手を付けてしまい、いつもよりちょっと高かった。まあいいです。が、今はま寿司のホームページを見たが、ノドグロが無い。もうフェアは終わったか。残念。また一冬我慢だな。

帰ってきてパソコンを見ると、やはり Mordell－Weil 群の生成元は返ってきてなかった。整数点の有無が問題で、無いことを示すなら適当な素数で modulo すれば済む場合もあるので、一通り済んだらそれをやってみよう。そういう素数が見付かれば万々歳だ。前に書いたが、London－Finkelstein の x³＋117y³＝5 に整数解が無いことの証明は難しそうなことをやってるが、mod 9 すればいいだけなのを気付かなかったのは不思議。London－Finkelstein という連名での論文が幾つかある人達がそんな初手を見失うこともあるのだなと教訓にしている。そう言えば小生もちょっと恥ずかしかったことがあったのを思い出した。まだ電車・バスで通勤してる頃、行の電車で計算したら何かうまくいって、職場でコンピューターで確かめたら OK、ということでよかったのだが、寺井さんにもっとどうにか成らないかと相談したら、晩に電話をいただいて、「左辺は因数分解出来るよね」と言われて顔から火が出た。まあその時教わったことを使って幾つか論文を書いたり話したりさせてもらったので、いいけど。相談はしてみるものです。少し前に書いたが、謎なことが専門家に相談したら解決したし。興味があればそこから文献を読み進めればいいんで、共同研究はしましょう。と言っても、小生共著論文は2本しかないが。

明日も面談の筈だったが、上に書いた熱があって今日の面談をキャンセルした学生はまだ回復してないそうで、来週に持ち越しになった。が、明日も2時までに職場に行かないといけないので、今日は程々にして寝る。やりたいことは沢山あるのだが。あ、ケーブルテレビのチューナーが結構きつきつだから、寝る前にダビングを仕掛けておかないと。それとテレビに直に繋いでるハードディスクだが、「座王」が2週続きのチャンピオン大会で、消してないから、明日の「座王」の録画をする余裕が無いかもしれない。そっちもどうにかしておかないと。暇なんだか暇じゃないんだかよく分からないな。いや暇なんだろうな、こんなことを気にしていられるのは。前も書いたけど「忙」は「心を亡くす」という字だそうだから、程々に忙しく、程々に暇なのがいいな。来年度と再来年度はちょっと忙しいので、暇なうちに研究も余暇も色々やっておこう。

久々のまとまった雨の一日

今日は全国的に久々のまとまった雨だったそうだ。相当強く降った所があるそうで、なぜ定期的に少しずつ降らないかね。ということで今日は職場に行かなかった。明日は諸事情で行く。明後日どうなるかは明日の結果次第。たまには外に出ないといけないのは分かってるが、元々超インドアに出来てるもので、出掛けなくても何の苦痛も無い。大学の時の友人で大阪出身の奴は、土日は必ずどこかしら行くと言ってた。外出しないと気が変に成りそうとも言ってたかな。「加川は実家やし、話し相手がおるからええけど」と言われたが、やはり話し相手がいなくても一人でいて大丈夫な口だと分かった。明日は外出こそすれど、誰とも話さないかもしれない。レジに立ってる人と話すくらいかな。

今日も訳の分からない生活をしてるが、明日は10時から面談なので、ちょっと早起きしないと。もう眠いし、程々に寝ておこう。SageMath に楕円曲線の計算をさせてるのはその後目立った進展が無い。大抵職場に行くときはパソコンの電源を落とすが、明日は計算させておこう。と書いてるそばから一つ終わったが、生成元が見付からなかった。effort 200 じゃ駄目だな。200だと数時間掛かるが、300だとどれくらい掛かるだろう？まあやらせておいて他のことをすればいいので、いいけど。コンピューターに全面的に頼らず、他の方法を考えてみよう。まあそれも最後はコンピューターにやらせることに成りそうだが。論文を出すたびに何がしかの進展が無いと面白くないよね。最初は500以下、次は5000以下だったから、10000以下でいいかと思わないではないが、19687 と 27647 という例がポツンとあるので、30000以下に何としてもしたい。まあ急ぐ旅ではないし、ちょっとずつウダウダやります。

楕円曲線の整数点の有無が幾つか確定して嬉しい

昨晩はその後資源ゴミの分別をして、ゴミ捨て場に持っていって。古文の問題集とかが紐で縛って捨ててあったが、大学に合格したのだろうか？よかったね。その後 PARI/GP で幾つか実験。すると4つばかりあっさり Mordell－Weil 群が求まった。SageMath で PARI/GP を呼び出して、パラメーターを与える方法も分かったので、整数点も求められて、とまあよかった。その後パラメーターを変えて走らせて寝よう、としたらプロレスが始まった。正月に EVIL を破ってデビュー戦でチャンピオンに成るという最高のスタートを切ったウルフアロンの防衛戦がやる、と言うので見たが、EVIL が抜けた後でもあのチームは卑怯極まりなく、リングに上がる前に3人がかりでウルフアロンを殴る蹴る鉄柵に叩き付けると痛めつけて、試合開始後も反則技を連発し、レフリー不在の状況を作ってからさらに反則攻撃をやって、でレフリーが復活した後あっさり3カウント。5分も経たずにウルフアロンは負けてしまった。つまらん。アナウンサーも解説の高橋ヒロムも「プロレスを見せてくれ」と言ってたが、全くその通り。無駄な時間を使った。30分番組だが、先週はオリンピックで放送が無かったか、2本放送してた。終わるまで起きていた。

寝床に入ったらすぐダウン。10時半過ぎに一旦目が覚めて、職場へ行こうかと思ったが、やはり眠い。徹夜は堪える。もう一度寝床に戻って、次に起きたのは4時開始の教授会ギリギリの時間。教授会は形式的な議事だけで、15分弱で終了。やる日は随分前に決まっているので、やらないわけにはいかないのだろう。

その後 SageMath でパラメーターを増やして実験の続きをしながら、先週の「ミラクル9」を見た。「や」で始まる地名を読ませる問題に「山科」と「野洲」という馴染み深い地名が出てきてビックリした。面白かった。業務で職場に泊まっている時に録画したものとオリンピックだ何だとやりながら録画したものが溜まっているので、見ておかないと明後日の「ゴチバトル」が録画出来ないので、急いで見た次第。日曜日にやった大河ドラマもダビングする時間が無かったので消した。土曜日の再放送を Blu-ray ディスクに直録りすれば大丈夫なので。「相棒」と「豊臣兄弟」だけでなく、アンコール放送の「八重の桜」と、途中から見始め面白いと成った「50分間の恋人」も見てるし、結構大変。論文書きもしてるし。まあまだ暫く春休みなんでね。

今日は上に書いたのでお分かりの通り職場に行かなかったが、明日行こうかと思ったら、結構な雨降りに成って、雷も鳴ると言ってた。明後日にしよう。ちょっと論文の途中経過をプリントアウトして、本屋で買い物をして、伝票を経理に送って、としないと。もう年度末が近いから、研究費の使用の締め切りがそろそろだろう。やっておかないと。面倒臭いが仕方ない。明後日は面談もあるので、それが済んだら行こう。

PARI/GP で楕円曲線の Mordell－Weil 群を求めてみて、一つだけ成功（SageMath と Magma Caluculator では駄目だった）

昨晩は結局アイスホッケーを最後まで見た。3ピリオド制というルールしか知らないど素人だがな。第3ピリオドで決着が付かず、ゴールデンゴール（昔はVゴールと言ったと思うが）方式の延長戦に。20分やって決着が付かなかったらもう20分、で決着が付かなかったら更に20分と、エンドレスに続けるようなことを言ってたが、5分くらいで決着が付いた。アメリカがカナダを下して金メダルに。面白かった。その後ダイジェストをやった後、閉会式の映像が流れた。長かったので真面目に見たわけではないが、楽しそうでよかった。

で最後まで終わってから、ABC にチャンネルを合わせたら「おはよう朝日です祝日版」がやってた。そうか、天皇誕生日だな。腹が減ったので買い出しにセブンイレブンに行こうと考えていて、皆さんが働きに出掛ける時分にジャージというのはちょっと恥ずかしいかと思ってたが、祝日だからいいか、ということにして出掛ける。nanaco にチャージしたが、10000円でなく5000円にした。するとラッキーにもお釣りの1000円札5枚の内2枚が旧札。未だに新札が使えない所が結構あるから、旧札は貯めておかないと。

腹ごしらえしたらすぐ寝ようかと思ってたんだが、録画してあるものですぐ見られる30分物を二つばかり見て、とかやってたらあっと言う間に昼近く。メダリストが出てたので、つい見てしまう。でもういいかと昼前に寝床に入って YouTube を見てたらちょっと寝落ちしたが、見逃した部分を見たいと、すぐ起きてまた見てまた寝落ちして、とかやってあまり寝てない。あっと言う間に「Qさま！」が始まってしまった。今日は懐かしい形式のクイズばかりだそうで、見てしまった。あの形式の頃は皆で協力してやってたが、いつの間にか個人戦中心に成って殺伐としてきた。たまにはあの形式も面白くていい。

でまた寝床で YouTube とかやって、ちょっと寝落ちしたら起きて、とかほぼ無睡眠。明日は4時から教授会があるという案内が来ていた。職場に行って個研室から参加、にしようかと思っていたが、何か無理そうだな。明後日以降は雨降りに成るようなこと言ってたから、明日行きたいが。まあ何時に寝るかだな。

ただまた寝るのが惜しくなる事態が起きた。然るべき楕円曲線の Mordell－Weil 群の生成元を SageMath に求めさせているが、全然答が返ってこない。点は一つ見付けてて、それが生成元（あ、Mordell－Weil 群が無限巡回群であることは analytic rank を求めたりして確定している）だと思うのだが。大して height もでかくないしな。と思ってマニュアルを見ていたら、PARI/GP の関数を使うようパラメーターを与えられると書いてあった。計算中のものを止めるのは嫌なので、PARI/GP を起動させてやってみたら、すぐ答が返ってきた。う、無駄な時間を使ったな。SageMath の画面で CTRL-C を押して、PARI/GP の関数を使うよう SageMath に指令したら、確かにすぐ答が出た。PARI/GP の楕円曲線関係の命令ってほぼ使ったことが無かったが、結構いけるな。ただ、他に幾つも残っている case があるのだが、それは PARI/GP でも答えてくれない。余程 height がデカいんだな。ということで PARI/GP でパラメーターを変えて答えてくれるのを期待しながら待ってるが、今のところ駄目。もうちょっとやってみよう。一つでもうまくいけば幸い。駄目だったら寝て起きてからやろう。

あ、明日は資源ゴミの日だ。第2、第4火曜日なのだが、第2火曜日は例の業務で職場に泊まっていたので、ゴミ出し出来なかった。やらないと。面倒臭いな。まあ仕方ない。空き缶と段ボールと計算し散らかした紙を出すだけだから大したことないと言えばない。やってから寝よう。

アイスホッケー面白そうだし、これから見てみる

昨日はふなごやに客がいた。その人が帰った後聞いたら、山科駅前のホテル山楽（昔はホテルブライトンシティと言った所）の宿泊客らしく、山楽に泊まるとふなごやの食事代が割引に成るそうだ。ちゃんとそういう営業はしているらしい。その後いつもの通り3人でワイン。美味しいワインがあった。呑みながらはオリンピックの話で盛り上がった。名解説の一つで、中学生の選手がスケートボードで大技をやった時に「真夏の大冒険」というフレーズがあったのを思い出させてくれた。楽しかった。いつもは大体誰かしら寝落ちするんだが、昨日は3人とも最後まで正気で、そのせいか一本余分に開けたような気がするが、どうだったかな？例によって途中から記憶が混濁しているので。

帰宅してパソコンを見たが、まだ計算は終わってなかった。Magma Caluculator でどうにか成らなかったから、生成元の height は大きいのだろうか？Magma を持ってる専門家に頼るか？はたまた私費でいいから Magma を購入するか？ちょっと考えてしまう。夕刻に電話が鳴ったが、マンション売れ売れ系メールが来ていたところから判断するに、それだな、と出なかったが、後で見たらトヨタから。車を買い替えろってか？出費だな。Magma を買うのはもうちょっと待ってからにしようか？事務に聞いてみて実験実習費で買えるんだったら年度が改まったらやるか？まあもうちょっと SageMath でジタバタしてみよう。

今 NHK で男子アイスホッケーの決勝戦を放送しているが、アイスホッケーって点が入りにくいんだな。第2ピリオドを終了時点でカナダ、アメリカとも1点ずつ。途中アメリカが反則で二人出られなくなり、5人 vs. 3人の場面があったが、アメリカは点を失わなかった。凄い守備力だ。今までは流してただけだが、第3ピリオドから真剣に見てみようか？コンピューターに計算させてる間は特にやることは無いし。締め切り間近の書類はさっき一本書いた。後顧の憂いはほぼ無い。見てみよう。

数日振りの昼間の外出

高木美帆は結局6位だった。最後の一周を残した時点では2位だったが、1500mを走り切る体力は残ってなかったか失速してしまった。前半攻めて金メダルを狙った滑りだったようだが。結果を見ると金メダルまではほんのわずかだったが、残念だ。解説の高木菜那が泣き崩れてる映像があったが、実の妹のことだ、当然であろう。いつもは「高木選手」と意図的に中立の立場をとっていたが、その後の放送では何度か「美帆」と言ってた。まあそうだよね。で結局3時くらいには寝られた。ここ数日では早い方。

で11時半過ぎに近所で用事あるので、10時半と10時45分にアラームを仕掛けて寝た。で起きたのは10時45分のアラームの少し後。寝癖ボーボーなのでシャワーを浴びて、でマスクをするから髭はいいや、ということにして出発。日の高い時間の外出は何日振りかな？特に何事も無く終了。なか卯で牡蠣とじ丼を食べてくるつもりだったが、無さそうなので親子丼にした。食べた後外から見えるメニューを見たら、牡蠣とじ丼はあるようだが。まあまた今度食べるのでいいです。

12時半過ぎに住処に戻ってきて、でテレビを付ける。オリンピックを見た関係かNHKに成っていたので、1時過ぎからの大河ドラマの再放送を見て、思い出しておく。それから SageMath と Magma のドキュメントを見て、楕円曲線の Mordell－Weil 群の生成元の height が大きい場合にどうやればいいかをちょっと勉強。Analytic rank が1であると分かっていれば、何かしらのオプションを与えればよいようなことが書いてあったが、やはり時間が掛かる。Mordell－Weil 群の生成系が分かっている時に、それを与えることにより整数点が簡単に求まるようなので、Magma Caluculator で生成系が求められた場合に SageMath でそれをやったりとかで、幾つかスッキリした場合があってよかった。今も一つ実行中だが、数時間経ってるが答は出てない。書き終わったらパラメーターを変えてやり直してみよう。

5時半から市内某所に用事があるので、今度は髭を剃ってから出掛けた。電車乗るの久し振りだ。で用事はあっさり済んで、喫茶店でコーヒーとホットドッグで時間潰し。英語で書かれた論文を読んでる人がいた。何の論文だろうか？数式はほぼ無かったが。20分も経たずに帰途に就く。烏丸御池駅の先発の電車はびわ湖浜大津行だったが、まあいいかと乗る。六地蔵行も大して混んでないが、びわ湖浜大津行はガラガラだからね。落ち着いて読書するにはよかった。前に書いたが、昔は京阪が乗り継ぎ割引をしてくれていたが、今はどうだろう？と思って降りる時に自動改札機の窓を見たら460円。今乗換案内のページで調べたら、烏丸御池－御陵間が260円、御陵－京阪山科間が200円と、1円も割り引いてくれなくなっていた。200円余分に払ったが、まあいいです。京都市も京阪も財政は苦しいようだから、両方に寄付したと思えば。小生の向かいに座ってた人も京阪山科で降りたが、その人も承知の上でやっているのだろう。因みに地下鉄で烏丸御池－山科だと260円だから、京都市はどっちに乗ってもらっても収支は変わらない。余裕のある人は京阪に寄付するつもりで是非。

今日は暖かい一日だった。京都市の最高気温は16度を超えたらしい。明日は21度！数日前は真冬の寒さだったが、極端過ぎる。また寒くなるのだろうか？また風邪を引かないように気を付けないと。

さて、今日も土曜日恒例の呑みということで。今週はちょっと酒の量が多いし、寝不足だ。気を付けよう、と最初は思うが、呑み始めるとタガが外れる。まあ吐くほど呑むわけではないし、多少記憶が無くなるくらいなら、…、ってよくないが。まあ今日も記憶は飛ぶだろう。ということで、では。

オリンピックのために不規則な生活が続いている

女子フィギュアスケートの結果が出るまで起きていた。最後のオリンピックと決めた坂本花織が銀、前半はトップだった中井亜美は残念ながら銅、一度競技から離れていたアメリカのアリサ・リウが逆転の金メダル。坂本は悔しそうだったが、最低で銀が目標だったので、まあいいのでは、と思います。よくやりました。

で SageMath に仕掛けをして寝床に。眠く成らないので昼前に起きて、出前を頼んで食べて、寝床で YouTube を見たりとかどうでもいいことをしてウダウダ。何度か寝落ちした。あまり寝てないが、まあいいかと、晩飯も出前を頼んで、それからウダウダ。SageMath は未だに計算中。埒が明かないようなら助っ人に頼もう。Magma 買った方がいいかもという気がちょっとしてきた。

「探偵！ナイトスクープ」を見てちょっと思ったのだが、昨日の研究室無断引っ越しの夢はナイトスクープが原因かもという気がしてきた。前に何でだったか忘れたが、男の独り暮らしの部屋を空っぽにして驚かせる回があった。あれのせいかな。実際は勿論事前に案内があって、昔4階にいた同僚が強制的に7階へ引っ越しさせられたし、小生の部屋の隣に物理の先生が1年だけいたことがあるが、その人も7階に引っ越しさせられた。たまたま部屋を出るタイミングが一緒だったことがあって、ご丁寧に挨拶してくださったので、今でも会うと会釈くらいはする。あ、早稲田理工のキャンパスで結構大規模な工事をしていて、尾崎ししょぉが研究室の引っ越しをしないといけないらしい。ご愁傷様です。小生は引っ越ししないで済むといいが。あと7年だからな。今から引っ越すのは嫌だ。東大の駒場キャンパスに数理の新棟が出来る時に、その年限りで異動することに成っていた方が、半年だけのために引っ越ししたそうだが、大変そうだった。5.25インチのフロッピーディスクが結構出て来たらしく、お会いした時に「いらない？」と聞かれた。勿論いらないので、お断りしておいた。前に部屋から OHP のシートが結構出てきたが、全部捨てた。印刷してあるものも。もうあんなもの使わん。フロッピーディスクと MO のディスクをまだ捨ててないが、捨てないと。MO なんて何のために買ったのかな？一度も使ったことないぞ。すぐに大容量の外付け HDD が出たからね。2TB で数千円。パソコンを取り換える時に外付け HDD にガバーっとコピーして、セットアップ後にガバーっと戻してる。気楽な時代に成った。えーと、まあ定年までそんなに長くない。ちょっとずつどうにかしよう。

今晩はスピードスケートの1500mがある。高木美帆が金メダルを獲れるかが見どころ。初めて名前を聞いた時は高木美保のバッタ物という感じだったが、今では高木美帆の方が有名。やはり実績で黙らせられる人は強いな。さあ高木はどうなる？今晩も遅くまで起きていそうだ。今中継してるが、解説は高木菜那だな。この前のパシュートの時の日本 vs. オランダの時は目茶目茶興奮した解説をしていたが、今日はどうでしょうか？解説者の名、迷解説は後の語り草になる。新しい流行語も生まれるからね。「ゴン攻め」とか。さあどうなる？

研究室を無断で引っ越されるという謎な夢を見て不快

結局相当な時間まで起きていた。予想を検証するべくコンピューターに数値を打ち込んで、結論を待ってる間に生産性の無いことを色々してたり。SageMath では埒が明きそうにない様子なので、Magma Caluculator を頼ったが、そっちでも埒が明かない。嫌に成って変な時間に寝た。

そういうロクでもないことをやってると罰は当たるもので、変な夢を見た。職場に行ったら、個研室のドアが開いてて、中に他の人がいるという、謎な事態。何と勝手に研究室を移動させられてしまったのだ。あんな散らかった部屋いかようにして？とか相当リアルな夢で、7階の事務室に聞きに行ったりとかそういうのが全部本当の施設が出てくる。移動された場所はキャンパスの端。事務の人に、近くに車停める所あります？とか質問している光景まであった。唯一現実と遠かったのが、移動先が「3号館B棟」とかいう、うちのキャンパスに無さそうな建物だったことか。うちは「ウェストウィング」とか「イーストウィング」とか「フォレストハウス」とか「コラーニングハウス」とか変な名前の建物ばっかりだからね。目が覚めた時は本当にほっとした。それからカップ焼きそばを食べたが、その後脱力してこんな時間まで寝床でウダウダやっていた。また今日も変な時間まで起きてるコースだな。

どうせ起きてるなら、SageMath で予想を検証しようかという気に成っている。Magma Caluculator は使用時間に制限があるのでうまくいかなかった。SageMath ならパラメーターを上手に与えれば何とかなるのでは？という気がしないでもない。コンピューターに全部任せるのではなく、途中まで手動でやって、最後の詰めだけコンピューターにやらせるのでもいいかもな。まあもしくはすぐ寝ちゃうかだが。ま、もうちょっと考えますわ。

論文が reject 食らったかと焦るが、幸いそうではなかった

風邪で修論公聴会を休む、と言った男が、調子が良くなったから徹夜で論文を直すという、二枚舌もいいところ。こんな感じで大枠はいいかな、というところで journal が出してる class ファイルを使って整形して、とかやってるとどんどん時間が過ぎていく。でちょっと休憩して、投稿してあった論文はどうなってるかと思って、author page という所を見て状況を確認しよう、と思ったら、何とアクセスエラーが。これは reject 食らったか？とメールを書いた。何か色々嫌になってきてダウン。

またしてもテレビを消し忘れたか、気付けば「ミラクル9」の音声が聞こえてきた。結末が分かってはいけないので、起きてチャンネルを変えて、で油そばをすすって、もう一度ダウン。寝床でメールを見たら、reject ではなかった。Author page が見えない理由は何なのだろうか？まあホッとした。しかし二日で reject 食らわされた journal があるのに、何故何ヶ月も掛かるかな？まあいいけど。一応 journal に返事を書いておくか。

「これ余談なんですけど…」が始まっているが、起きられなかった。やはり無茶はよくない。分かっているが、寝ないで済むなら寝たくない派なんでね。さあ今晩は何時まで起きているでしょうか？近い内に一度職場に行くつもりでいるし、はま寿司が今度はノドグロフェアをやってるので、一度行くつもりだから、まあ程々の生活は一度しないと。それに土曜日は用事が二件ある。一件は午前中だから、金曜日の晩は程々にするのは決定している。ま、健康のために程々の生活とちゃんとした食事はしないと。

りくりゅうペア（三浦璃来、木原龍一）があっと驚くような高得点を出し、あっと驚くような逆転金メダル

早く寝る、と書いたが、徹夜してしまった。スキーの「スーパーチーム」だったか、二人組でやるので金メダルを狙える、みたいな話をしていたので。二人で3本ずつ飛ぶが、出だしで躓いて、2本終わった段階で6位。が、3本目に二階堂が大ジャンプをしてメダルを狙える位置に。が雪が降り出してしばし止まっていたら、何故か暫くして大喜びしているチームが。何だと思ったらここで競技終了で、2本目までの結果で順位を決めることに成ってしまい、日本は6位で終了。ガッカリ。何のために起きてたんだか。その後ウダウダと twitter でチャチャ入れなどして、時間を大いに無駄に使う。受験生が色々書いてたり、数学専門の学部生や院生が色々書いてたりするのに幾つか突っ込んだ。東大、京大を出てないと数学の研究者には成れないみたいな嘘っぱちを書いてる輩が結構いるので、そんなことはないでーす、とか、研究者は皆大学に現役合格しているのかみたいなのに、小生は一浪してるで、と書いたり。何にしても無駄な時間だった。

11時半からの会議に出ようかどうしようかとしばし考えたが、まあいつもの通りテレビを付けっ放しにしておいて横に成って、YouTube を見て寝落ちしたらそれまで、起き続けていられたり目が覚めたりしたら出よう、と思ってウダウダしてると、テレビからニュース速報の音が。岩本さんが「りくりゅうペア金メダル」と読み上げて、え！とビックリしておられた。丁度オリンピックの話題をしようとしているところでの速報。その後のテレビ番組はその話題が中心に。急遽編成し直したのだろうな。競技の映像が流れたが、解説者が目茶目茶興奮していて、「宇宙一」と言ってた。史上最高得点を得て、史上最大の得点差を逆転。凄いな。

別の番組はスキーの船木和喜氏に出てもらっていたが、「スーパーチーム」で好結果が出るのを期待してのことだろう。船木氏曰く、ヨーロッパは普通雪が降らないそうである。乾燥しているかららしい。そのために競技関係者が慣れていないそうだ。15分もしたら雪は大方止んでたし、船木氏曰く札幌でなら競技を続けてると。長野オリンピックの時も相当な雪が降った後に続行して、日本が逆転したからな。続けて欲しかった気はする。まあ済んだことだ、仕方ない。

結局そのまま起きていた。会議は短時間で終了。終了後今年度の教務委員の先生が学科長と相談ごとがあると言ってたので、次年度の教務委員としては聞いておいた方がいいだろうと、残って10分程密談。まあそういうことなら。

その後またしてもりくりゅうペアの特集を見たり、「徹子の部屋」にゴダイゴが出てるのを見たり。ゴダイゴ懐かしい。平均年齢が70を優に超えてるそうだが、去年ライブをやったらしい。新譜も出すと言ってたぞ。50代はまだまだひよっこだ。頑張らないと。

流石に起きていられず、寝床で YouTube を見ながらダウンした。テレビは相変わらず付けっ放しだったが、結構寝られた。聞こえてくる音声は大体りくりゅうのもの。もうええて、と思うが、何度も流したくなる気持ちも分かる。で起きてやってると見ちゃうしね。見事だし。あんな離れ業よく出来るな。目茶目茶練習して、それ以外にも目茶目茶筋トレもしてでないとあんなのは無理だな。それよりも、174cmの大男に空中に放り投げられて、平気でいられる精神力たるや。考えられない。まあ何でも人間業と思えないようなことをしないと一流には成れないわけで。小生は数学では一流には程遠いが、まあ一応一軍の試合には出てるかな。学生によく言うのは、160km/hの球を放れたりバックスクリーンを越えるホームランを打とうと思ったら、素振りだキャッチボールだランニングだウェイトトレーニングだといったつまらんことをやらんといけないわけで、1回生の時点では嫌に成るのは試合に出る前にやめてるわけで、本当の面白さはまだ全く分かってないわけだ。我慢してやってれば面白いことは待ってるよ。「大学の、特に数学を専門とする学科での数学のカリキュラムは、現代の過度に抽象化された理論体系の解説と習得に終始しがちで、対象を触っているという実感が乏しい」ということを書いてあるのを見掛けたが、結局素振りをしているうちに学部生の期間が終わってしまうのが悲しいところ。最近色々いじってるが、対象を触るようになると面白いのだ。だから嫌に成らずに続けて、大学院に行ってみるという選択肢をとってもいいのでは？と思うが。まあ面白くないのにやるのは無理なので、嫌なら辞めるのも正解だが。数学以外も面白いことはあるからね。見付けてください。高い学費を払ったのは対価としてはバカに成らないだろうけど仕方ない。昔から学費以外でも「授業料」という言葉を使うが、まあ「授業料」だよね。ということで、楽しく人生過ごしてください。

風邪を引いたようで、パブロンを買ってきて服用

今日は10時から面談だったので、昨晩はちょっと早目に寝た。で、9時半前には起きてシャワーを浴びて、のつもりだったが、目が覚めてから中々起き上がれず、結局9時40分くらいに成ってしまった。まあ間に合ったのでいいです。寝癖をチャチャっと直して、臨戦態勢。今日も面談は2件だが、1件目と2件目の間が30分と短いお陰で、途中で寝床に戻ろうということにはならず、ちゃんと2件ともこなせた。よかった。鬱病の類は怠けてるだけと思っている人はいるようだが、今日の学生は字が読めないような状態に成ったと言ってて、服薬してゆっくり過ごして、大体大丈夫に成ったようだ。最初の頃は凄くいい成績だったから、数学が分からないのが原因で鬱状態に成ったわけではないようだし、れっきとした病気なのだろう。糖尿病も自堕落や贅沢が原因だと見ている人は多いだろうが、元 Tigers の岩田稔投手のような「1型糖尿病」というそういうのと関係の無い病気もあるし。岩田は糖尿病が原因で社会人チームが入社、入団を拒否したことがあるとか。病気に対する理解はちゃんとしないと。大分前にうちで研修があって聞いたのが「発達障害」というやつ。よく分からなかったが、あれも色々大変らしい。芸能人でも一流大学（という言葉は嫌いだが）の出身者でも発達障害はいるそうだし。えーと、何の話だっけ？あ、鬱病ね。竹脇無我の書いた本を読んだことがあるが、無理しないといけない仕事だから大変だったらしい。休学出来るんだから、休みましょう。多少卒業が遅くなるのは仕方ない。ちゃんと理由を言えば企業の就職担当者も分かってくれるのでは？

で11時前には自由の身に成ったが、何かだるいぞ。昨日は寝てて寒くて何度も布団を掛け直したし、腰が妙に痛かった。風邪だな。解放されたので油断したか？風邪薬なんて随分服用してないから、多分住処にある奴はとっくに有効期限切れだろう、ということで買いに出掛けようと思ったが、面倒臭い。だるいことはだるいのだが、まあ大したことないと言えば大したことない。昼飯をはま寿司にして、車で出掛けて帰りにドラッグユタカに寄る、ということにした。この前「大切り銀鮭」と「蒸し帆立」を食べ損ねたので、復讐しに行きたかったので。12時台は混むだろうということで、腹は減ったが1時くらいまで待ってから行った。案の定そんなに混んでなかった。でお目当ての物はどちらもあった。「銀鮭」というくらいだから本当に鮭なのだろう。回転ずしのサーモンというのは大抵鱒だそうだから。旨かった。

しかし相変わらず運転が上手でない。はま寿司に寄る前に京都銀行の ATM でお金を卸したが、中々道路に出られない。結構引っ切り無しに車が来るので、左折で出るのにも一苦労。トラックが譲ってくれて出られた。帰りは五条通を走っている時に前にハザードを出したタクシーが停まっていたが、慣れた車は右のレーンにすいすい出ていくが、これまた引っ切り無しに来る車列に恐れをなして、中々車線変更出来なかった。クラクションを鳴らして道を譲ってくれた人がいてよかった。まあ最悪、そのタクシーが出るまで待ってもよかったけど。普段は片側1車線の道路ばっかり走ってるので、苦手感は拭えない。高速道路は大丈夫。皆同じようなスピードで走ってるからね。まあもっと精進しないと。今の年齢でこんなことを言ってるが、もうすぐ老人だ。上手に成った頃には免許返上しないといけなくなるが。

ドラッグユタカで風邪薬等幾つか購入。今時はちょっとした薬でも説明を受けないと買えないのだな。パブロンぐらいでこうなのだから、もっと強い薬だと色々面倒そうだ。で帰ってきてパブロンを飲んだら、少し楽に成った。今晩も早目に寝よう。明日は会議があるとメールが来てたが、「有志」の言葉に甘えて欠席しようか？明後日は修論公聴会で、終了後に打ち上げがあるとの案内があったが、欠席させてもらおう。今年は小生の所には M2 がいないし、車を置いて帰ってくると後日電車・バスで行って取りに行かないといけないし。卒業式はちゃんと出るよ。4回生4人に「卒業式で会おう」とゼミの最後の回に言ったので。まあ静養しますわ。

1週間前は雪だったのに、今日は桜の咲く頃の陽気

昨晩は全然寒くなかった。まあ道で寝たら風を引いてしまうだろうが。「緊急取調室」の映画の話やら選挙の話やら色々してきた。店長とバイトの人は選挙速報を遅くまで見ていたらしく、前原誠司に中々当確が出なかったと言っていた。自民党の圧勝ぶりは異常で、沖縄では全選挙区自民党の勝ちだったとか。それ以外にもグダグダとあーでもないこーでもないと話してきた。やはり定期的に発散しないといけませんな。前にどこかで聞いたのだが、「忙」という字は「心を亡くす」だそうだから。7日間連続勤務はきつかった。で例によって途中から記憶が無い。いつもより少し早目に終了だったのは微かに記憶にある。払ったお金も少なかった。で表が全然寒くなく、セブンイレブンに行く気に成った。一番寒い時はほんの数分の距離を歩くのが嫌で、セブンイレブンに寄らないで直帰したがな。

ここ数日バカに眠かったのは書いた通りだが、今日は全然眠くない。寝た時間自体は少ないのだが。眠気と排便をコントロール出来たらノーベル賞だろうな。風邪の特効薬でノーベル賞がとれるとはよく言われる話だが。それだけ人間に限らず生物、生物に限らず食物などの生のあるものの研究は本当に大変だろうと思う。遣り甲斐はあるよね。勿論そんなのに全然関係無くても数学は遣り甲斐があるが。そう思えない人の方が多いか。実際、小中高と算数、数学が得意中の得意で数学を専門とする学科に入っても、僅かな期間で数学が嫌いに成る学生は多い。大学入っても数学が面白くて大学院に上がって、そこでまた嫌に成る学生も一定数いるだろう。成績がいいのと研究で力を出すのは別問題だからね。運に恵まれず研究をやめてしまう人もいる。時と運が味方に付いてくれるとは限らないのが難しい。小生は色々ついてる。さっきメールが来て、来年の九州ツアーの研究集会は沖縄だそうで、喋れとの仰せだが、いやー、ちょっとスケジュール的に難しいな。沖縄行ったこと無いので行きたいが。何かしら立派な結果を残して乗り込むのだと格好いいが、現状ではちょっとな。金曜日の講義と火曜日の講義を休講にしないと行けなさそうで、その分土曜日に2コマ補講をやるのはちと辛い。まあもう少し考えることにして、取り敢えずボヤーっとした返事を書いておこう。

眠くは無いが、何か調子がおかしい。花粉症の時は何かだるかったりするらしいが、それだろうか？今日は桜の咲く頃の陽気だったそうだから、さぞかし花粉は飛んでることだろう。1週間前は雪が降ったのだが。本当に意味が分からん。明日は面談が2件ある。ちゃんと寝ておかないと。もうだらしないことは出来ない。ちゃんとしないと。

またしてもバカに眠い一日だが、定期的に呑みに行かないといけないので行く

今日もバカに眠い。昼過ぎに起きて食事をして、ちょっと「ゴチバトル」を見た後ダウンした。ちょっと予定もあったが、キャンセルした。規則正しい生活（ずと寝不足気味）の後に不規則正しい生活（tsunoさん命名）をするからやはり体が悲鳴を上げてるか？しかし昨晩も遅く成ると段々調子が上がってきたから、やはりただ単に生活が極端な夜型というだけなのだろう、ということにして、深く考えないようにしよう。

ということで、シャワーを浴びて、銀行に軍資金を卸しに行ってから呑みに行こう。銀行に行くと結構遠回りだが、一度セブンイレブンで降ろした時に、手数料の高さにビックリしたので、勿体ないことはしたくないので、銀行に行く。京都銀行には流石に行きたくないので、関西みらい銀行にしよう。ということで、でわ。

バカに眠い一日

今日も眠くて仕方ない。昼過ぎには起きて、Uber Eats にすき家メニューを頼んで食べて、で会議の時間に成ったが、兎に角眠い。こんなに眠いのは本当に久し振り。会議に全然集中出来ない。気付くともう終わっていた。チャットの欄を見ると、何やら小生が答えないといけない話があったようだが、全然気付かなかった。国会議員が本会議中に居眠りしていてよく文句が出てるが、小生には文句を言う資格は無いな。

で会議後また寝て、で夕飯の時間だということで起きて、またしても Uber Eats に頼んで食べて、でまた横に成って、で10時近くに漸く起き上がった。まだ眠いぞ。明日の用事は夕刻からなので、明日こそタップリ寝よう。が、夜は久し振りに呑みに行って、でまた日曜日は訳の分からない時間まで寝ているのだろう。月曜日にまた面談がある。今度こそだらしないことは出来ない。気合を入れないと。

一昨日書いた篩い落とせなかった件だが、専門家からお返事をいただけた。とある虚二次体の類数が3で割れないと嬉しいのだが、悉く3で割れてしまい、そうなのか？と思って質問したのだが、どうも常に3で割れてしまうらしい。さっき起きたばっかりで添付された pdf ファイルをまだ読んでない。これから読んで返信しよう。最後に一つ向こうからの質問が書いてあったが、それは正しいことは前に示したような気がする。調べておいて、合わせて返信しよう。

連日の寝不足はやはり堪える

程々にして寝よう、と昨晩は思っていたが、またしても遅くなってしまった。何故かと言うと、線形代数の本に一箇所無駄な議論があったのを思い出して、著者に報告しようと。が、何かおかしい。A が正則行列、というのが効くはずなのだが、正則性が全く必要無く示せてしまう。え？え？と何度考えても正則性がいらない。おかしぞー、とテキストの前の方を読み返したり、三宅敏恒先生の本を見たり。が、やはり昔より数学のスキルは明らかに上がっている。こういう A が存在したら、正則性を仮定しなくても、正則性が従ってしまうのでは？と閃いた。で腰を据えて考えたら、割とすぐ示せた。テキストでは「正則な上三角行列の逆行列は上三角行列」と一瞬では示せない（と思うが）ことを一言注意するだけで済ませていたから、明らかに小生の議論の方が easy。ということでメールを書いて。著者のいる大学は今滅茶苦茶忙しい時期なのでちょっと気が引けたが、言っておかないと忘れそうなので。お暇に成ったら見てください、と書き足しておいたので、まあいいかと。

でこの時点で結構な時間に成っていて、寝たら面談に間に合うように起きられない気がしたので、起きていようということにした。で昨日（もう一昨日だが）書いた類数に関することを専門家に聞くためメールを書いたり、論文のそこ以外の点を直したり。で一件目の面談の時間に成り、無事終了。二件目まで2時間以上ある。気合で起きていよう、ということで、11時くらいに Uber Eats に王将メニューを頼んで食べて、で12時半から面談なのだが、12時前に眠気が襲ってきて、眠いだけなら我慢するが、腰が痛くなってきて、ちょっと横に成ろう、としたのが運の尽き、寝落ちしてしまった。意識が戻った時はもう面談開始の時間を過ぎていた。まあ事務の人がやれば大体のことは問題無いので、いいか、と思ったが、そういう訳にはいかない。急いで Zoom を起動して、途中から参加。終了後事務の人に平身低頭詫びた。やはり連日の寝不足は堪える。その旨言うのも忘れずにおいた。

で寝床に戻って、YouTube を見たりとかしてたら、また寝落ちした。気付けば夜。「徹子の部屋」のスペシャルがまたやるので、途中から見た。が、この前の時は宇多田ヒカルと話してる時に腹の具合が悪くなって、途中から見ておらず、今日は宇多田ヒカルの話の時に Uber Eats に頼んでおいたから好しの唐揚げ弁当が届いてしまい、またしても邪魔が入り、で受け取ってとかしてるうちに番組のエンディングテーマ曲が流れ始めた。むぅ。この前のは Tver に置いてなかったが、今日のがあるからだろうか？終わった後また寝床に入ったら、またしても寝入ってしまった。気付けば12時を過ぎていた。やはり寝不足が続くと堪えるな。明日（今日だが）は1時半から学科会議だとメールが来ていた。職場に行くのと住処で参加するので寝られる時間が1時間くらい違うので、明日は住処から参加だな。大事な議題があるので、出来れば現地で参加したいが。まあ起きた時間次第だな。すぐにでも寝ようかと思っていたが、今日の「アメトーーク！」は絵心ない芸人。小生も絵は下手なので、気持ちは分かる。マエケンが今年も参加している。マエケンの絵は凄いからな。笑わしてもらおう。

一大業務は無事終了

今朝も変な時間に起きてしまった。昨晩の「相席食堂」は面白かったので、つい見てしまったが、いつもと違うのは短めのが幾つか続くのだったので、途中で寝た。それでも寝不足には間違いない。まあ朝食べる物は買ってあったし、ドーピングもしたんで大丈夫でしょう、ということでチェックアウト。今日は久し振りに雨。エポックの近くに車が停めてあるが、まあ今からではウェストウィングの近くには停められないだろう、とそのままにしておいたが、後で気付けば今日は祝日。まずったな。まあいいです。荷物を放り込んで出発。

今日で全てが終わりなのだが、この前の分に色々問題があったらしく、絞られた。厳重に点検させられ、ボスなので最後まで残された。まあそれでも人海戦術でやって、大方の人は4時前に、ボスでも4時半には切り上げさせてくれた。疲れた

D論の公聴会は5時からなので間に合った。昨日書いた通り全くの門外漢だし、1人目は副査が外国人なので、英語で話していた。いよいよ分からない。途中楕円曲線がどうしたとか言い出したが、「elliptic fibration」と聞いた瞬間に挫折した。ちゃんと勉強してない所だから。二人目は日本語で話していたが、まあ分からないわ。ビックリしたのは、beamer で作った資料を見せるから、当然パソコンを繋いで、かと思ったら、タブレットを持っていて、そこから映像を流しているらしい。ペンで画面に書いたりと、時代は進歩したというか小生が古い人間のままなのかというか。でその後判定会議。まあ文句無しでしょう。専門家が立派だと言っていたし、質問に対する回答もちゃんと的を射ていて、新しい結果も出ている。希望に満ち溢れていていいですな。後はちゃんと職を見付けられるかだが。小生が学生だった頃より今の方が色々大変だからな。幸多からんこと願っています。

その後部屋でちょっと数学。投稿した論文の返事がまだ無いが、もう一本まとめておきたいものがあるので、それの作業。今朝エポックでちょっとコンピューターを走らせたら、新しい例が見付かったので、最初の論文で500未満、次の論文で5000未満、今度は10000か、と思っていたが、新しい例が2万7千なんぼなので、30000にしよう、ということで頑張ってみた。新しく開発した（と言っても一昨年九大で喋らせてもらった時はもう出来上がってたが）規準を使って、結構篩い落とせた。が、サバイバーが想定よりちょっと多かったが。もう一つ規準がある（それも一昨年には出来てた）が、前に開発した規準で篩い落とされた奴を分別しようとしたが、何と全部篩い落とされてしまった。もしかしてこんなことが成り立つ？いや、まさか、という感じ。ちょっと専門家に聞いてみよう。凄く簡単なことなのかもしれないし、もしくは超難問？考えたことが無い種類のことなんで、全然勘が働かない。成り立っちゃったらちょっと困る。篩い落とすのに新しいことを考えないといけない。12ポイントの文字で打ってるから4ページ半くらいだが、ジャーナルの規定通りにすれば多分4ページで収まるだろうと思う。大した論文じゃないので、ページ数を増やしたくない。もうちょっとどうにかしよう。で9時半くらいまで職場にいた。

雨は上がっていた。天気予報では午前中に上がると言ってた。ということで近くに停めてなくても大丈夫だった。ちょっと今日はご馳走だ、ということではま寿司へ。大したご馳走じゃないが、ガストだすき家だというのに比べたらね。着くと「大切り銀鮭」と「蒸し帆立」があると幟が出てたので、おぉ、と思ったが、夜なのと今日が祝日だったのもあってか、どちらも「本日完売」だった。「本日」が付いてないものは本当に完売のようだから、また近い内に行けばあるかな。あまり遅くない時間に行こう。

ということで無事終了して、道路工事にも巻き込まれずに無事帰ってきた。「これ余談なんですけど…」が始まる前に住処に着けた、と思ったら、オリンピック中継で今日は無いようだ。何だ。女子モーグルがやっていたが、3人残して3位という際どい状況。次の選手がほんの数ポイントリードして、4位以下が確定してしまった。残念。で最後の選手がこけてしまったので、本当に非常に勿体ない4位だった。まあまだ参加する競技があるようだし、悔しさはそちらで晴らしてください。

さて、呑みたいところだが、明日は10時から面談。その後12時半からもう一件。続けてやることにしてもらえると助かったが、微妙に2時間くらい空いてしまう。10時過ぎくらいなら今から呑んでも起き続けていられそうだが、2時間空くのがな。無理せず呑まずに寝ておくか。

「これ余談なんですけど…」はこれからやるようだ。関西ローカルの番組だから、テレ朝の事情と関係無く放送出来るんだな。水曜日の晩はその後「かまいガチ」とかまいたちが続くんだが、「かまいガチ」は東京だとこっちより少し早い時間にやり、その時間にオリンピックの番組をやってるので、今日は無しのようだ。まあ早く寝られるからいいです。寝坊しないようにしないと。何だったら起きてるが。

大杉連の泣きの演技は凄い

今朝も変な時間に目が覚めてしまった。少々寝不足だが、いいことにして起きた。食べる物が無かったので我慢。9時半過ぎに出発。ウェストウィングの1階のパンの自販機を見たら、幾つか在庫があったので、買って食して、で詰所へ。

今日から最終盤。ボスに成ってしまったので、気合を入れる。うん、まあこの程度なら。他の班は大騒ぎになってた。こういうのはあかんて、と思ってるもののテンコ盛りのようだ。今回は総じてついてたな。多分明日はどこかを応援しないといけなさそうだ。まあいいです。4時くらいには解放された。

で部屋でちょっと色々やろうと思っていたが、隣の部屋の若い先生が5年の期限終了ということで、部屋の片付けをしていて、小生も真似することにした。でやってると、昔の京大の数理解析研究所の講究録をコピーしたと思しきものが二つばかり出てきた。一つは伸ちゃん（一部で有名）の、もう一つは岩澤健吉大先生のもの。著者名とタイトルを入れて google 先生に頼ったら、案の定どちらも数理研講究録に載っているものだった。ダウンロード出来るので早速して、でホチキスを外して、とかやったり。他にも大昔の予算執行マニュアルとか出てきたのでこれも捨てて。で1999年の学内報が出てきたが、新任教職員紹介の所を見たら、小生が載ってた。おぉ。何を言ったのだろうと思って見ると、「横浜スタジアムに行けなくなるのが残念です」と書いてた。住所が載っていたが、今はもう跡形も無い生家の住所「横浜市港南区上大岡西1－14－26」が書いてあって、「近日中に京都に引っ越し予定」とも書いてあった。上大岡の住所は、最早その番号が存在しなくなっている（14番の大半と15番でひとまとめにして、でかいマンションに化けた。14番はホテルとりそな銀行以外はない筈）が、京都の住所はそこに住んでる人がいるだろうから、書かないけど。一緒に赴任した先生に結構お歳の方がいらしたが、見ると小生より20歳上。ということはあの時51歳だったか。今の小生より年下なのだな。びっくりした。凄く貫禄があったし、結構鬢に白いものがあった気がしたが。まあ人によって白く成ったり薄く成ったりと色々なのだがな。えーと、だからそれは捨てずにとっておいたが、まあ最終的には興味のある所だけスキャンして捨てるだろうな。他にも幾つか捨てたが、全然片付いた気がしない。30年近い時間で増えた物は多いな。明日以降もジャンジャン捨てよう。

6時半くらいに止めて、リンクスクェアの売店で晩飯と明日の朝飯を買おう、として寄る。するとうちの学科の院生が二人いた。ウェストウィングに割と近い所にユニオンスクェアという食堂やら売店やらある建物があるのだが、結構長期間に渡って工事をしていて、遠くのリンクまで来ないといけないのは大変。早く工事が終わるといいな。

でエポックに入って、カップ麺をすすって、「緊急取調室」を2話見た。2話目は凄かった。故・大杉漣の泣きの演技には引き込まれた。見ていたこっちまで泣けてきた。シリーズ化するものはやはり初期の頃から面白いな。「科捜研の女」もこの前ファイナルが放送されてたが、まだ見てない。今度見よう。

さ、もう寝るぞ。明日で終了だが、解放されてすぐ帰れるかというとそんなことはなく、D論の公聴会が2本ある。どっちも門外漢なので全く分からないだろうが、まあ立派だったということにして賛成すれば問題は無いので、それでいいことにする。で帰ったら呑めるかというとそれも駄目で、明後日は10時から面談2件。金曜日は学科会議があるが、まあ住処から Zoom で参加かな。土曜日はちょっと用事。土曜日の晩は呑むよ。何しろ1月31日の晩（呑み終わったのは2月1日に成ってからだが）以来。が、気を付けないと。16日（月）も午前中から面談がある。忙しいな。面談は短時間で終わるが、起きるのがちょっとな。まあいいです。最悪徹夜で。まあ兎に角、今日は寝ておかないと。頑張るぞ。って寝る前に言うことではないな。

対角化出来ない行列がちゃんと対角化出来ないのを示してくれて（しかも二人）嬉しい

やはり住処だと落ち着く。枕がいつものだとういうこともあり、タップリ寝られた。が、ちょっと予定以上に寝てしまい焦った。シャワーを浴びる間も、髭を剃る間も無く出勤。京都東インター手前に「草津JCT－亀山西 雪通行止め」、「草津JCT－四日市 雪通行止め」と表示されていた。これは瀬田西で降りないといけないことを意味する。草津田上は新名神のインターチェンジ。前にそれに気付かず、やむなく栗東まで走るのを迫られてしまい、学生とのゼミの約束に遅れたことがある。もう間違わない、ということでちゃんと瀬田西で降りた。が、やはり多少のタイムロスで、ギリギリ間に合うかどうか。集合場所はプリズムハウスのどこかと思っていたが、見るとフォレストハウスだった。そのせいもあって、更にタイムロス。1分くらいの遅刻。まあいいでしょう。

今日の仕事は院試の面接。賢い学生というのはいるもので、対角化出来ない行列知ってる？と聞いたら、捻りだせる。素晴らしいね。捻りだせなかった学生も、行列を一つ与えて、「対角化出来ます？」と聞いたら、計算して出来ないことを示してくれた。立派だ。今回は受験生が多かったので、二部屋に分けて面接したが、もう一方の部屋の先生方に上のことを言ったら驚いておられた。こっちの方が出来がよかったらしい。まあいいんじゃないでしょうか。

その後ウェストウィングに戻って、ちょっと会議。少人数だったので、最近あまり使ってない狭い会議室で議論。ちょっと紛糾しかけたが、ちゃんと司会の F 家先生が仕切ってくれたので、そんなに掛からず終了。その後部屋でちょっと宿題。何か計算したくないなという感じの式が幾つか出てきて、Maple に頼った。結果が分かってから手計算でちゃんと結果が一致したことを確かめて、まあいいかと。でちょっとフィボナッチ数列がらみで気に成っていたことがあったので、その手のことを書いた本を開いてみる。知らんことがまだまだあるな。勉強になった。

リンクスクェアの売店でどん兵衛とパンを買ってからエポックに向かう。で部屋でさっきの計算の検算。何か勘違いしているのでは？という気がしたので、もう一度確かめたが、大丈夫だった。さっきの嫌な計算の一つは二次無理数をがりがり計算することだったが、いや、二次無理数の計算を嫌がってたら小生の研究は全く成り立たないので、頑張って手計算してみた。何か出てくる結果が綺麗過ぎると思ったが、冷静に成れば 3－2√2 は 1－√2 の2乗。何も考えずに有理化していたが、それに気付けばもっと楽に計算出来たな。言い訳としては、3＋2√2 が 1＋√2 の2乗、ということは見慣れている。今日のは共役だったからね。ノルムが1であることを先に計算しておけば単数だと気付けたが、しなかったのも敗因。まあいいです。明日は大丈夫。

などとしながらニュースを見ていたが、中道改革連合は凄い負け方をしたようだ。枝野、岡田、小沢、安住、馬淵といった党の顔だった連中が揃って落選。東京の全ての選挙区で自民党が当選して、中道は比例代表で二人当選させるのが精一杯だったらしい。野田佳彦は総理の時に勝てるはずの無いのに解散して惨敗、今回は公明党と組んでも勝てるわけはないのに無理やり合体して惨敗と、時宜を読む能力が無いのかな。しかし前の選挙であれだけ痛い目にあった自民党が、今度はビックリするほどの大勝。岸田でも石破でもなくて高市ならいい、ということなのだろうか？日本人は節操が無いね。まあ小生も他の所ならいいかという程度で、あまりちゃんと考えていないのででかいことは言えないが。

昨日書いた小生の選挙区の大物とは前原誠司のこと。当選したが、思ったより苦しかったのでは？という感じ。いつもは圧勝するが、今回は得票率35.7%だからね。あっち行ったりこっち行ったり節操が無いが、地元の祭りの手伝いをした時に、わざわざ挨拶しに来ていたのを見てびっくりしたのを覚えている。ああいうことをするから、まあ票は集まるわな。ちゃんとしたことをしてくれれば文句は言わないので、やってください。

この時期の積雪は去年もあったし、覚悟しておかないと

今日は寒いぞー、雪だぞーと脅されていた。でまた早く目が覚めてしまった。表を見たら大したことない、と見えたが、もう一度見たらそこそこ降り出していた。あまりギリギリに成るとまずそうだ、ということで、9時くらいには東横インを後にした。チェックアウトはカードキーを機械に挿入すれば終わるので楽。が、何故かホテルマンに呼び止められた。何だと思ったら、昨日高知に東横インがオープンして、これで47都道府県全てに東横インが揃ったそうで、お菓子をくれた。ふーん。まあ流行ってるのはいいことやね。

で9時半前に職場に着いた。無事何事も起きなかった。今日は日曜なので、ウェストウィングに割と近い所に停められる。嬉しい。個研室で一作業してから作業場へ。昼飯はリンクスクエアの食堂でだが、食券を持っていって身分証明をしないと食べさせてもらえないが、うっかり作業場に置き忘れてしまった。一緒にいた人の口添えのお陰で食べさせてもらえたが、後で食券を持ってくれと言われて、食べ終わった後もう一往復。すると雪が目茶目茶強くなり、風も吹いてきてもう大変。親子連れが二組ばかりいたが、子供は雪が楽しいのだろうな。童謡にもあるな。で3時半くらいには解放された。

その後個研室でもう一作業して、暗くなる前に帰ろうということで、4時半くらいに個研室を出た。雪のピークは過ぎたか、と思ったがまだ結構降ってて、車には結構積もってた。去年は晩に雪が降って、朝はフロントガラスが凍り付いてて難渋したが、今日の雪は凍り付いてなかった。ワイパーを動かしたらすぐ雪が飛んだ。高速道路も混んでおらず、スムーズに帰れた。走っている最中に見たら、外気温は－1度。名神は大丈夫だったが、京滋バイパスは久御山淀－巨椋間が雪で通行止めとか。名神の吹田までの所要時間は通常通り45分の表示だったが、中国道方面（西宮名塩と吉川）は時間が表示されてなかった。降ってる所は降ってるんだな。

で帰ってきて少しボーっとして、「ちびまる子ちゃん」を見てから投票へ。まだ雪は相当降ってた。皆用心しているのか、通行量は少な目だった。救急車が通ったが、転んだ人がいる、ということだろうか。投票所では生年月日を言うのだ思っていたが、月日だけでいいようだ。が、小生の前にいた人は年も言ってた。1938年生まれ、と言ってたから、小生の30歳上だ。亡き母親と同い年だな。お年寄りが頑張って投票に来ているんだ、小生も頑張っていってよかった。まあ京都2区は大物がいるので、結果は日の目を見るより明らかなのだが。帰りも救急車が走ってた。さっきのが帰ってきたのかと思ったら、同じ方向へ走っていった。大丈夫だろうか？寒いので久々に天下一品でこってりを食べてきた。美味しかった。

などと思っていたが、開票速報を見ると結構とんでもない結果に。中道改革連合は全然認知されてないようで、旧立憲民衆党の面々は大苦戦。安住が森下千里に負けるというとんでもないことに。他にも大物が次々落選している。野田佳彦代表も際どい。旧公明党の支持者（要するに某学会の信者の人々）が昨日の敵に票を入れるのを躊躇ったのが大きな原因とか。まあそうだろうな。上に書いた大物は中道の人ではないが、党を作っては潰し、移籍しては潰し、を繰り返した人物。通るんでしょうか？苦戦してるが。小沢一郎も落選とか。結末を見たいが、明日は院試面接で11時半までに職場に行かないといけない。程々にして寝よう。

今日程度の寒さならまだ大したことない

今日はここ3日間で一番よく寝られた。買っておいたパンを食べて、9時半前に職場に向けて出発。ちょっと時間があったので、詰所に行く前に個研室でちょっと作業。

今日の仕事も大して大変ではなかった。慣れるまではちょっと迷うことはあったが、まあ大丈夫だった。途中とある先生が小生の名前を呼んでいたが、小生の名前と顔が一致していなかったらしい。小生がこっちに来た頃にはもういた人だったので、小生の顔は飽きるほど見ていると思うが。まあ有名でない方がいいことは多い。執行部の一員にさせられたりと、そういう面倒を背負わないで済む。今の副学部長の内のお一方は2回目の副学部長だと思うが。小生と同時に教授に昇進された方。多分小生よりは若いだろうと思われる。末は学部長だな。総長か？

4時半くらいには解放されて、で個研室で一作業。ちょっと自分で書いた論文の別刷が見たくなったので、探したが見付からない。などとしているうちに何だかんだと部屋掃除を始めてしまった。寒くなるぞー、雪だぞーと脅されていたから、早目に職場を出るつもりでいたんだが。まあ今日の寒さはまだまだ大したことはなかったが。今日は土曜日だったから、職場に行く人は少ないだろうと目算していたが、案の定で、ウェストウィングに割と近い所に停められたから、寒い中歩かなくて済んだのはよかった。食堂も学生がいないから、昨日、一昨日より広く使えてよかった。

車を停めて、宿に入る前にファミリーマートで明日の朝飯のパンを買い込んでおいた。で宿に戻って、カップ麺をすすってからちょっとゴソゴソ。で「緊急取調室」を1話見た。段々と馴染んできて、呑み屋で仲良く呑むように成った。やはり難事を一緒に解決すると絆が深まるんだな。我々も個人プレーなことは割と多いが、やはり皆で仲良くはしたい。頑張りましょう。

昨日の晩からオリンピックの競技はやっていたが、開会式は今朝早くだったようだ。アイスホッケーを昨日、今日と見ているが、面白いな。滅多に見ないものを見られるのがオリンピックのいいところ。昨日はイタリア相手に辛勝だったが、今日はドイツに5点リードされるという展開に。む。「緊急取調室」を見終わってから音声をオンにしたが、2点取り返した。あっという間に5点取られたということは、あっという間に5点取れるということだ。頑張ってもらおう。

さて、もう寝よう。明日の天気がどう成るか怖いから、余裕を持って行動しないと。事務からは普通通りにやると通知が来ていた。チェックアウトと駐車場の精算をする必要があるし、大学までの上り坂でトラブルがある可能性がある。余裕を持って行動しないと。アイスホッケーが終わったら寝るか。

東横インで「緊急取調室」を2話見たが、とにかく面白い

今朝もちょっと早く目が覚めてしまった。まあいいか、と起きた。買っておいたパンを齧った後、パソコンの前でちょっと作業。去年までは脳味噌を休めようということで、テレビをボーっと見たり、持ってきた DVD なり Blu-ray なりを見てたんだが、今年は何かやる気に成ってしまう。変だな。こっちに来る前の話だが、情報学科にちょっと変な学生がいて、足立先生の部屋に出入りしてたが、「躁病」というのらしくて、周りに迷惑を掛けていたとか。親御さんが何やら言ってきて、休学することに成ったんだったかな？小生も躁病だろうか？知らんけど。

9時40分くらいにチェックアウトして、荷物を車に放り込んで、詰所へ向かう。今日も元気に働けた。昨日、今日くらいの労働だと丁度いいな。明日はどうなるでしょうか？

で何もしない筈なのに、個研室で二作業くらいしてしまった。5時半くらいに職場を出て、東横インへ向かう。エポックは2連泊しか出来ないのでね。いや、何かすれば出来るんだろうとは思うが、まあいいか、ということで。渋滞が始まっている時間だが、そんなに掛からず着いた。6時前。ちょっとコンピューターを開いて作業をして、7時前に近所のファミリーマートに行って、弁当やらお茶やら明日の朝食やらを買い込んできた。食べながらニュースを見てたが、明日の最高気温は今日より7度低いとか。日曜日はそこそこ雪が降るようなことを言ってたが、大丈夫だろうか？去年も一回あったな。2月のこの時期は仕方ない。受験生の移動に支障が無いのを願うだけだ。

ニュースを見終わった後、「緊急取調室」を2話見た。だんだんおばはんが皆に馴染んできた。「もつ鍋」コンビとはまだ仲良くない。もうちょっと先かな。2話目に小芝風花が出てた。一瞬分からなかった。若い。それはそうで、2014年のものだから。杉咲花がおばはんの娘の役で出てるが、これも若い。映画では成人して消防士に成っている設定だった。おばはんも年を取るな。1話目で45歳の誕生日を迎える設定に成ってて、映画で生年月日を言ってるシーンがあったが、実際の天海祐希より2歳若いということに成ってた。さばを読みたいお年頃よね。小生と同い年だから。とてもそうは見えないが。

さて、若い先生とちょっと話したんだが、彼曰く「今時の学生はお作法がなってない」とのこと。その通りだな。随分前に線形代数の演習を担当した時に、配布するプリントに毎回「ベクトルは太字で」と書いたのに、やらない学生が多かった。今年線形代数の演習を担当していた若い先生によれば、3分の1くらいの学生はベクトルとスカラーの区別がついてないらしい。まあ慣れちゃえば別に太字にしなくてもいいが、上に書いた通りお作法だからね。最初のうちは従ってもらわないと。高校でベクトルを習った時は上に矢印乗っけたよね？と聞きたい。そういうところからちゃんとしないから、環論で一般の環と実数体が区別できなくなるんだ。お行儀よくしましょう。まあこじれると、掛け算の順番に対する議論みたいに成りそうなので怖いが。まあお行儀よくしましょうよ。ね。

「緊急取調室」は第1シリーズから面白い

4時半前に目が覚めてしまった。まあ5時間くらいは寝てるし、いいかな、と起きた。脳味噌を疲れさせないようにしたいが、つい校正作業を始めてしまう。よくないな。で適当にシャワーを浴びて、9時40分くらいに出発。

10時集合なので余裕で間に合う。学内に泊まった利点。今日の仕事は割と楽だった。寝不足でもきつく感じなかった。まあ例によって仕事の質は低いのだが。で4時くらいに解放された。

昨日書いた通り、外付けの Blu-ray ドライブを取りに一旦住処に戻った。5時前に職場を出たので、高速道路はまだ混んでなかった。実家に帰った時に使った鞄を見たら、案の定入っていた。イヤホンも入っていた。両方まとめて鞄に入れて、思い出したので目薬も入れて。であまり早く出ると逆方向のラッシュがあるのでは？という気がしたので、住処で少々ウダウダと。ルーチンで毎晩やってることがあるが、昨日の晩は出来なかったので、時間潰しにやる。で6時15分くらいに再び職場へ出発。正門の前を左折して、カップ麺やら何やらを買い込んで、7時前にエポックに入る。

でカップ麺を食べた後、昨日見るつもりだった「緊急取調室」の第1シリーズの第1回を見た。面白いな。初回からこんなに面白かったら、そら続くな。1話目だけにしておいた。明日、明後日と続きを見よう。業務中に第1シリーズを見終わってしまいそうだ。

その後校正作業を少々。原本の孫コピーのそのまたコピー、みたいのものだと思うが、大分画質が割るい。打ち込んだものは小生の漢字の打ち癖が変に入ってるので、原本に合わせて直す。明らかに変な所はこっちの一存でどうにかしてしまうが。でもう寝よう。明日はチェックアウトしないといけない。荷物を片付ける時間が必要。と言っても、チェックアウトの時間は10時だが、詰所に集合するのが10時なので、ちゃんと起きれば荷造りする時間は十分にある。とにかくもう寝よう。

エポックに泊まっている

やはり寝不足が続くと持たない。昨晩も結構な時間まで起きていて、起きたらもう夕刻。明日からはちゃんと起きないといけない日々が続くので、今日こそは早く寝ないと。

で5時くらいに住処を出る。何のためかと言うと、明日の早起きに備えてエポックに泊まるため。「大津－瀬田西 渋滞2km」の表示だったが、全然そんなことはなかった。で個研室にちょっと荷物を置いて、印刷するものを幾つか印刷して、でエポックへ向かう。途中生協の無人の売店で食料を調達しよう、と思ったが、普段22時までの営業が春休み短縮営業に成ってしまい、終わっていた。むぅ。仕方ないので学外のセブンイレブンでカップ麺と飲み物を買って再び職場に戻る。

でカップ麺をすすってから持ってきた「緊急取調室」の Blu-ray を見ようかと思ったが、パソコンに繋ぐ Blu-ray のドライブが鞄に入ってない。むぅ。暮れに実家に帰る時に使った鞄と今日使った鞄は別物だったので。留学生入試の為に泊まった時にパソコンは移したが、Blu-ray のドライブを移し忘れていた。阿呆や。明日も泊まるから、仕事が終わったら一旦取りに戻ろう。さっきまでインターネットに繋がらなかったので、ポケット Wifi も持ってこないといけないかと思ったが、何故かさっき繋がるようになった。何なんだか。まあそっちも念のために持ってきておくか。脳味噌を明日以降に備えて休めないといけないから、数学は全然しないつもりだったのだが、Wifi が繋がってない時はちょっと校正作業をしてしまった。もうやめよう。文庫本が終わりに近付いてきたから、終わりまで読んで寝るか。

京都の1月の降水量は0mm（今日は僅かな降水を記録）

またしても訳の分からない時間まで起きていた。ちょっと計算しようと思って始めて、何だか分からなくなって収拾が付かないぞ！ということで諦めて寝たが。であまり長時間寝られなかった。明後日からは厳しい日々が続くので、今晩はちょっと早目に寝ないと。

であまり良く寝られなかったが、まあいいことにして、起きて計算の続き。数値例を探すだけなら訳の分からない計算をしなくても、SageMath で for ループを回せばよいだけのこと。で寝る前にやっていたことはあっさり終了。阿呆や。で紙を見てて、ん？これは！ということがあった、と思ったら、6n＋2 と書くのを 6n＋1 と書き間違えてるということで、興奮は一瞬だった。またしても阿呆や。まあそれでもちょっと前進したと言えばしたので、いいことにしておく。

などとしながらニュースを流していたが、1月の京都の降水量は0mmだったらしい。そういえば傘を持って外出したこと無かったな。まあ降水量0mmは全く降らなかったという意味ではないらしく、確かにちらほらと雪が舞った時があったな。今朝ゴミを捨てに表に出たが、傘をささないといけないくらい降ってた。1か月以上ぶりの降水だな。降ると鬱陶しいが、全然降らないのも困る。口の中がすぐぱさぱさに成るし、顔は痒いし。東北や北陸は滅茶苦茶降るのにな。明日、明後日と暖かく成るらしいが、また週末は寒くなるとか。もう入試が始まってる。影響が無いといいですがね。BKC で受験に使う部屋は通りから大分離れた所にあるので、選挙カーが五月蝿いということは無いだろうが、衣笠はどうかな？OIC は行ったことないので知らんが。APU は1回だけ行った（大学の用事でなく、整数論の研究集会があったので行った）が、あそこも少し通りから引っ込んでいるので大丈夫だろう。投票日は寒いそうだが、投票率はどうでしょうか？豪雪の降ってる所は大変だぞ。

Nothig special な一日

昨日はちゃんと寝不足だったのだが、結構遅くまで起きていた。本棚を整理したり、奥から出てきた論文のコピーをばらす作業をしたり。で段々というかどんどんというか収拾が付かなくなってきて、いい加減やめることにした。

で起きたらもう夕刻。しばらくウダウダとやってから、Uber Eats にいつもの麻婆丼、餃子、唐揚げを注文。ここにはよくキャンセルされるが、今日は届いた。が、スプーンが入ってない。まあプラスチックのスプーンを使うより、住処にある金属製のスプーンを使った方が環境に優しいのでいいけど。と思って更に見ると、餃子のタレが入ってない。仕方ないので何もかけずに食べた。まあいいです。

その後特別なことはせず、ウダウダと YouTube を見たりとかしょうもないことをして過ごした。二日続けてちゃんと寝てないので、何度か寝落ちした。生活リズムを整える整えないは兎も角、ちゃんと睡眠時間はちゃんととらないと。今日から「報道ステーション」の後にオリンピック関係の短時間の番組があるようだし、隔週でやってるセレッソ大阪を応援る番組があるので、プロレスが終わるのが結構遅い時間のようだ。プロレス見ないで寝ようかな。

いや、大事なことがあった。昨日の晩外出しようとしたら、鍵が見当たらない。ちゃんと酔っ払っても帰ってきてて、財布やらカード入れやらはすぐ見える所にあったので、その辺にある筈、と探したが見付からない。いや、スペアはあるからいいんだが、やはり何か嫌だ。昨晩飲み物（≠呑み物）を買いに行くときはスペアのキーで出入りしたが。探そう。

などと書いて20分程。ありそうな所に無いので、部屋の中の密林地帯（そんな所がある）に落としたな、と思って探したら、案の定あった。よかった。これで安心して外出できる。

「外出」で思い出した。2ch の好きな友人が色々教えてくれたんだが、「概出」という2ch用語があるとか。これは「既出」を間違えて書いた人がいて、その人をお笑い者にするために以降意図的に使われたとか。まあ漢字は間違って伝わるもので、「年棒」とかね。正解は「年俸」で、読みは「ねんぽう」。「独壇場」という言葉は普通に変換してくれたが、足立先生に昔教わった。「独擅場」が正解。読みは「どくせんじょう」。カタカタ英語だが、「フューチャーする」は間違い。「フィーチャーする」ね。スペルは feature。あ、「パーテーション」という言葉を使う人が多いが、綴りが partition なので、「パーティション」の方が正しい筈。イを小さくしないで「パーテイション」と書いたのが原因かな。言葉遣いには気を付けましょう。1回生の試験の講評に「『表せれる』という日本語は無いから。『表せる』ね」と書こうかどうしようか未だに迷ってるが、どうしよう。

2月1日と言えばプロ野球のキャンプイン

昨晩も楽しかった。まあ例によって途中からほぼ記憶が無いが。バイトの人が先日誕生日だったので、記憶があるうちにおめでとうを言っておいた。我々の仲間入り（謎）だが、2年でまた小生が仲間でなくなってしまうが。

またしてもテレビを消さずに寝たようだ。「徹子の部屋」の50周年番組を見ようと起きた。黒柳徹子は芸人を何人も呆然とさせていた。明石家さんまの言葉を借りると、「芸人を何人も殺してきた」。芸人じゃない人とは真面目に話しているが、何故芸人相手だとああなるかね。いや、真面目に話してるからああなるのかな。宇多田ヒカルと一緒に藤圭子の時の映像を見ていたが、藤圭子にとっては自慢の娘だったようで、宇多田ヒカルが13歳の時の歌声を楽しそうに聞いてた。亡き母親の映像を見ている宇多田ヒカルが楽しそうだった。途中で腹の調子が悪くなって、そうこうしているうちに番組が終わってしまった。さっき Tver を見たが、見逃し配信が無かった。明日に成れば上がる可能性があるので、また見てみよう。

さて、2月である。2月1日と言えばプロ野球のキャンプイン。この時期はどこも優勝しそうだし、助っ人外国人（と今は言わないか？）は皆活躍しそう。オリンピックの開会式は5日後だそうで、スポーツニュースは賑やかになるな。

1週間後は選挙である。NHK は選挙だと大河ドラマを潰してしまうが、今回の投票は超急に決まったので、7時15分くらいに繰り上げてやるのでは？とNHKの番組表を見たが、やらないようだ。オリンピックもやってるから、オリンピックの録画をまずやって、8時前から案の定選挙の番組。日を跨いでやるようだ。2月9日は大学院入試の面接があり、11時半までに職場に行かないといけないので、速報番組は見ないで寝る。5日から11日まで7日間連続で仕事。辛い。例年院試の日を例の超重要業務と同じ日にやるというとんでもないことをしていて、数学と非数学人の間で軋轢を起こしていたが、流石に当局も考え直してくれたようだ。が、そのための7日連続仕事なわけだが。今日から禁酒する。生活リズムを正しくするかどうかは考えてないが。多分しないな。仕事の前の晩くらいはちゃんと寝るけど。今年はM2がいないのでいいが、来年はM2がいて、教務委員だから大変だな。覚悟しておかないと。

TeX でキリル文字を頑張って入力した

結局また訳の分からない時間まで起きていた。書き散らかした紙が沢山出てきたので、例によって TeX 化を多数。捗った。その後録画したものを幾つか見てダウン。

でまた訳の分からない時間まで寝ていた。起きてから戦国武将のランキングをしたものを見た後、TeX でキリル文字をどうやって出すか調べて、やっと見付けた有益なページに書いてある通りに入力。対照表を見ながらやったが、上手くいってる自信が無い。来週職場に行ったら印刷して比較する。何をしてるのかって？この前書いた通り、出来上がったら教えますって。待ってて下され。2月中には終わらせるので。

さて、髭を剃って、シャワーを浴びて、呑みに行く。来週は呑めないので、今日発散してきますわ。お祝いしないといけないこともあるんでね。ほいでわ。

寝る前にメールを見たら今日の予定はキャンセル。なので気合を入れてTeX打ち（一応完了）

もう寝ようか、と思っていたが、メールを見たら今日の予定は延期に成った。む、ということで超寝不足だったが対して眠くないので、昨日書いた TeX 打ちを終わらせて、幾つか書かないといけない図を Tikz で頑張って書いて、一気に終わらせてしまった。もう「おはよう朝日です」が始まっていた。が、流石に寝不足で、寝床に入ったらすぐダウンした。でそのまま結構長時間寝た。起きて食事をして、とかしたが、流石に眠い。もう1時間くらい寝たが、まだ疲れが残っている。明日例の業務前のラスト呑みをするので、今晩はちゃんと寝ないと。ということで起きてからは特に何もしてない。

今日も首都圏のJRは大混乱だったようだ。常磐線が快速も緩行線も止まったとか。ちょっと前に山手線と京浜東北線のトラブルがあったばかり。首都圏は人口が多くて電車が短い間隔でバンバン出てるから、ちょっとトラブっただけで大変。この前のは人為的なミスだったが、今度はどうなんでしょうか。JR東日本にはしゃんとして欲しい。まあ今の小生の生活には関係無いが。

今朝「おはよう朝日です」で「明後日からプロ野球はキャンプ入りです」と言ってたのを聞いた時に、ビックリした。もう明後日から2月か。オリンピックの開会式まで1週間らしい。時間の経つのは早い。ボーっとしてる間にオリンピックが終わって、WBC が終わって、野球が開幕して、春学期の講義が始まって、とか成りそう。それまで有意義に過ごさないと。2、3たまってることがあるので、それを終わらさないと。一つは論文だが、2月に成ったら問い合わせてみよう。

成績付け終了

気張って線形代数の採点など色々済ませた。で疲れたかちょっと寝坊してしまった。いけないな。明日も用事がある。今日はちゃんと寝る。「アメトーーク！」面白そうだが、録画しておいて寝よう。

ちょっと現実逃避に前からやろうと思っていた TeX 打ちを始めてしまうが、捗ること捗ること。見たものを打ち込むだけなのでね。何をしてるかって？まだ秘密。完成したら何らかの形でお教えするのでお楽しみに。前はうちの教授会等で分厚い書類（通称「文書」）が配られたが、どんな人が打ってるんだろうと前から不思議だった。数十ページ、意味の分からないカタカタ語が並び、見ると誤字の嵐。小数点を , にするのはドイツ語だけでいいです。日本語では ．ですよ、といつも言いたかったが。「防臭」って何だろう？と思って読んでみると「募集」のミスらしい。面白い物なら打ち込みながら楽しめるが、上層部の決めた謎の決定を打つ事務の人は大変だろうに。最近は配られないけど、教授会の資料が格納されている所を見ると、やはり恐ろしいページ数の書類が置いてある。副学部長が要点を掻い摘んで説明してくれるが、目を通してるんだろうか？大変やね。

YouTube で数学科あるあるみたいな動画が時々上がってるが、「成生」という間違いが一定数ある、と話題に成っていた。そんな書き間違いするか？と思っていたが、一度ゼミで学生がそう書いて、線形代数の答案に結構あった。結構、というのは印象だけで、大した数じゃなかったかもしれないが、想像よりは多かったということ。いかがですか ＞ 同業者の皆さん。

寒いぞー、雪だぞーと脅されているが、今日ではなくて明日らしい。いや、日本海側はずっと凄い降りのようだ。酸ヶ湯では1月の観測史上初の5mの積雪に成る見込みとか。かたや太平洋側は全然降水が無く、津久井湖（神奈川の人以外はあまり知らないか？）はほぼ干上がっているらしい。東京は10日連続乾燥注意報が出ているらしい。一口に日本と言っても相当違うな。関東に程々の降雨を。そして日本海側はそろそろ雪が降りやみますように。

寒い中籠れるよう諸々準備しに職場へ

昨日書いた通り面談だ追試だと用事があって、しかも寝不足だったから、ちょっと早目に寝た。と言っても普通の社会人よりはかなり夜更かしだが。

12時半くらいには起きられた。TeX 打ちをして12時55分くらいまで時間潰し。Zoom を起動して、事務の人と雑談しながら待つ。が、1時に成っても学生が現れない。電話してもらって、数分後に現れた。学生の内は数分の遅刻くらいは何でもないのだろうが、大人に成るとそうはいかないよ。まあ小生も全てオンタイムで物事に参加出来てないので、でかいことは言えないが。有意義な留学生活を送ってきたようで何よりです。後は卒研で気張ってください。

その後シャワーを浴びて、2時前に出発。高速道路を降りてしばし草津駅方面に走って、いつものはま寿司へ。大トロは「本日完売」と成っていたが、まだおおもとには残っているのだろうか？まあとても小さいのでいいけど。100円でやるにはデカく出来ないわな。

3時少し過ぎに職場着。学生から質問があったら電話があることになっていたので、3時に運転中だったのはちょっとよろしくなかったな。電話が無かったからいいけど。追試を受ける申請をしたけど、欠席で受験者0ということがあるようで、そういう場合は連絡があると言ってたが、何も言ってこないので、1名の受験者はちゃんと受験したのだろう。4時を過ぎて、答案を受け取りに来てくれというメールよ早く来い、早く来いと思って、メールが来るたびに見たが、中々来ず、結局5時10分を過ぎていた。5時半までに受け取りに来い、ということで、急いで向かう。今日受け取らなかったらまた行かないといけないからね。採点はすぐ終了。1人分だからね。

明日から暫く住処に籠るので、その間に色々考えようと、幾つか印刷してきた。まあ部屋をひっくり返したら裏の白いA4の紙が凄い量出てきたので、ガンガン印刷しないと、と思ったので印刷したのもあるが。講義期間中だと毎週講義で喋るものを印刷していくので少しずつ減っていく。この秋学期は講義が3コマあったので大分減った。来年度の春は講義科目一コマ、セミナー形式でやる科目一コマなので、あまり紙を使わない。ということでどんどん研究してどんどん使う。いや、裏白くても再生紙の原料にしてしまえばいいのだが、何か貧乏くさくて出来ない。授業アンケートの残紙も大量にあったが、これは学生の溜まり部屋に置いてきた。あと7年だ、ちょっとずつ片付けないと。今年は5年勤めた助教の先生が二人任期切れで辞めて、小生が人事に関わった助教がお二方ご栄転に成る。皆部屋掃除に必死だろう。頑張ってくだされ。

9時前に職場を出た。麺屋聖に寄ることにして坂を下りる。職場の気温は3度で、凍結注意の警告音が鳴ったが、国道一号まで下ったら4度で、警告音は鳴らなくなった。限定のまぜそばを食べてきた。旨かった。ちょっと難点は葱が凄く多くて、最後に残ったのは大量の葱とチャーシュー。もう少し計画的に食べればよかったな。で外気温は5度に成っていた。逢坂山に近付くと再び3度まで下がって、再度凍結注意の警告が。今日は雨が少し降ったので、凍結する怖れはあるかと思ったが大丈夫だった。明日は京都市でも雪みたいなことを言ってたから、これから冷えるのかな。山一つ越えた敦賀は目茶目茶な降りに成るらしい。折角の新快速も近江舞子か近江今津止まりだろうな。

明日も面談がある。学生さんも色々大変だ。事務の人は沢山そういう学生がいるのでとても大変らしい。こっちは一言二言喋るだけだから、大したことない。起きるのがちょっと面倒なくらい。明日は午後からだからまあいいです。来週の後半からはあれ以外は何もしない。面談とか全部2月12日以降にする。今月中に片付けられるものはやらないと。気張るぞ。

ロクでもない一日

昨晩はその後今日は資源ゴミの日やないかい、と思い出して、でそんなのは呑みながらじゃないとやる気が湧かないぞ、ということで呑み始めてしまった。書き散らかしたものを TeX 化して再生紙に回して、野菜ジュース数缶を冷蔵庫に放り込んで段ボールをばらして、それから昔定期購入していたがもう使わなくなった某物の入ったまま積み上げられている段ボールの中身を出してゴミ箱に入れて段ボールを解体して、とかやってたら相当な時間に成ってしまった。最後のゴミを持っていった時はもう管理人さんがゴミ置き場の整頓をしている時間だった。ということで時間はお分かりだろう。2時の用事まで起きていようと思ったが、無理だった。

2時ちょっと前に偶然目が覚めた。オンラインでの用事は5分ちょいで終了。そこからもう一度寝て、気付けばもう教授会が終わっている時間だった。またサボってしまった。後で会議資料に軽く目を通しておいた。うちの若い先生が2名ご栄転なのが報告されていた。5年任期のところを2年で落ち着く先を見付けたのは素晴らしい。ご活躍を期待します。それと4月から来る若い先生の名前が紹介されていた。1人はうちの博士課程の学生だからよく知っているが、もう一人の人は知らんな。4月に成ったら分かるのでいいけど。

カップ焼きそばの買い置きがあったので食べて、それからまた寝床に戻って YouTube をダラダラと見て、と本当にロクでもない一日。明日は1時からオンラインでの面談があって、その後追試の答案を職場に受け取りに行く予定。ちょっとマシな一日に成るかな。「数学IV（線形代数）」の採点をいい加減やらないと。もう例の業務は来週だ。そろそろしゃんとしないと。採点を終わらせておかないと。昔は両方同時にやっていたが、どっちも消耗するので同時は避けたい。今週中に済ませる。気張らないと。

レポート2科目分採点完了

昨日書いた通り2時までに区役所に行く用事があった。用件は何かというと、マイナンバーカードの受け取り。粗方の手続きはスマホで二次元コードを読み取って、写真を送って、でいいんだが、流石に身分証明書の代わりに成るものを郵送してくれるわけがなく、更に暗証番号の設定もするから、対面で受け取らないといけない。代理人が受け取るということも出来るようだが。で起きたらもう12時半を過ぎていた。シャワーを浴びて1時過ぎに出発。椥辻駅を降りたのは1時20分過ぎ。ちょっと早いので、松のやで厚切リブロースの定食を食べて時間潰し。松のやは南草津にもあるし、Uber Eats でよく頼むんだが、厚切りリブロースの揚げ立てはまだ食べたことが無かったので。美味しかった。

役所に入ると、マイナンバーのコーナーはかなりの混雑。予約しないで来ている人がいたが、新規作成は待たされるがやってくれる模様。受け取る人は予約しておかないと駄目な筈だが。受け取りはマイナンバー専用の場所（京都駅近く？）か、各区役所で出来るとのことで、指定した場所にブツを転送しておかないと受け取れないので、予約しないと駄目だと思う。誕生日までに更新手続きをしないといけないので2025年中にやっておいたが、受け取りは今日まで待たされた。先週保健センターだ調剤薬局だという時にマイナンバーカードの新しいのを受け取る前だったので、ちょっと面倒だった。これで次からは大丈夫。

3時前に帰宅。週末に締め切りにした3回生向け「代数学II」と院生向け「数理科学特論2」のレポートの採点を始めた。1回生向け「数学IV（線形代数）」は数が多いので、ちょっとずつ慣れようということで、「数理科学特論2」、「代数学II」の順番でやる。前者は代数系専門の学生が殆どいないため、まあ二極分化だな、という感じで、案の定そうだった。まあ解析系の学生のために「a_n＋1－a_n → 0 だがコーシー列でない {a_n} を沢山挙げよ」とか出しておいた。あ、勿論 R に通常の距離を入れておいての話ね。で新しい例を幾つか教えてもらった。まあこんな感じ、ということで短時間で終了。「代数学II」は色々問題あり。「K が C の部分体の時、Gal(K(ζ_n)/K) が (Z/nZ)^× の部分群と同型であることを証明抜きに認めてよい」と問題文に書いておいて、「Gal(Q(ζ₉)/Q) が (Z/9Z)^× と同型なことを証明せよ」とか、「Gal(Q(ζ₃₆)/Q) が (Z/36Z)^× と同型なことを証明せよ」としていたら、当然「Gal(Q(ζ_n)/Q) が (Z/nZ)^× と同型」というのは使っちゃいけないと読んでくれると思うんだが、「円分体の一般論より」みたいなことを書いてある答案多数。苦し紛れで、それでも評価されるかもと淡い期待を抱いてるんだろうか？当然駄目。それと、p が3以外の素数なら Q(p^1/3,√(－p))/Q がガロア拡大じゃないことを示すのに、ヒントのために付けておいた「m,n,mn が平方数でない時に [Q(√m,√n)：Q] を求めよ」というのの結果を使った学生が一人もいない。何か判じ物がグチャグチャ書いてあって、p＝3 が従い矛盾、みたいな答案ばかり。ということで全般的に低評価。勿論ちゃんとしたのもあったけどね。ということで7時前に入力まで完了した。後は「数学IV（線形代数）」だが、作業中にメールをチェックしたら、追試が発生してしまったようだ。まあいいや、その答案を受け取ってから採点しよう、ということで今晩はやらない。

ということで呑もうか、としてもいいのだが、明日は2時過ぎに用事があることを思い出さされた。またしてもリマインドメールで。何か細々とやることがあって嫌だな。明後日は1時から職場の用事で面談があるし。もう気付けば例の業務が来週からだ。この時期の我々は案外忙しいのだ。教務委員の先生方からはよくメールが来る。来年度は小生の番。嫌なこったな。学科長も忙しいが、教務委員も中々大変。まあ学科長は来年度とその次は決まっているので、まだちょっと大丈夫だ。定年退職まであと1回やるくらいかな。60過ぎたら学科長もやらないで済む、と成ったら嬉しいが、そうはいくまい。学科のスタッフはそこそこの人数だが、期限付きの若い人が多いので、少数の教員にどうしても皺が寄る。あと7年。平和に暮らしたい。住処の役員の順番もそろそろ回ってきそうだし、平和な日々は中々訪れないな。

安青錦が新大関の場所で優勝と、白鵬以来の快挙

昨晩も楽しかった。「おいしい給食」という面白い番組を教えてもらい、過去の放送を一回見た。市原隼人面白いな。その後の記憶はほぼ無い。寒くてセブンイレブンに寄らず、ショートカットして帰ってきたのは覚えているが、それだけ寒かったのだろう。氷点下だったようだ。

相撲を見ないといけないので、例によってテレビを付けっ放しで寝るという地球に優しくない生活をした。序ノ口の優勝決定戦の音声が聞こえてきた。起きて見ようかと思ったが、無理だった。優勝したのは旭富士。凄い四股名を貰ったと先場所の途中に思ったが、早くも優勝か。大物に成るぞ。で中入り後の三番目くらいから見た。熱海富士が欧勝海に勝って、4敗力士の優勝は無くなった。安青錦が負ければ熱海富士の優勝、安青錦が勝てば優勝決定戦、と成った。解説の琴風さんが琴櫻にも先輩大関として意地がある、と言ってたが、結構あっさり負けた。で優勝決定戦に。安青錦の当たりは相変わらず強く低い。が熱海富士が圧力を掛けて起こされたが、強烈な首投げで熱海富士が転がって、安青錦の優勝。先場所は新関脇で優勝、今場所は新大関で優勝。凄い。新大関での優勝は9例目（だったかな？）で、白鵬が10年前にやって以来らしい。来場所優勝で一気に横綱に成るか？解説者の年末の予想では今年中に横綱か、と言っていたが、今年中どころか3月で横綱に成ったら本当に凄いな。土俵下での優勝インタビューでは四方に頭を下げて、日本人より日本人らしい。21歳だぞ。人格者過ぎる。

熱海富士は二度目の優勝決定戦だったが、一歩及ばずで残念だった。四股名で分かる通り静岡の熱海出身だが、静岡出身の力士はまだ優勝してないそうだ。同じ伊勢ヶ濱部屋で静岡出身の翠富士が優勝決定戦を花道で見ていたが、翠富士も前に優勝を逃したし、静岡出身の力士はついてないな。熱海富士も人格者で、「まだ時期じゃないのかな、と相撲の神様が言っているのかもしれないですね」と言っていたそうだ。「油断なんですかねえ…」とも言っていたそうだが、まああそこで首投げが来るとは思わないな。安青錦は義ノ富士も首投げで倒してる。豪栄道が苦し紛れの首投げで何度も墓穴を掘ってたが、安青錦は足腰が強いのかな。何にしても面白い場所だった。

明日は用事が無い、と思っていたが、役所に行く用事があったのを忘れていた。最近何でもリマインドメールというのが来るが、こういう風にボーっとしている奴がいるから出すのだろう。有難い。明後日は教授会。いつもは4時50分からだが、明後日のは4時から。事務長のメールに「時間注意」と書いてあった。気を付けないと。議題表を見るとさしたる議題は無いようだが、まあ出ないと。出る、と言っても住処から Zoom で参加するのでいいけど。追試が無ければ今月はもう職場に行かないで済む。まあ多分木曜日か金曜日くらいに諸事情で行くけど。あ、土曜にしようかな。駐車場がすいてるから。木曜か金曜なら少し遅めに行って、ウェストウィングの近くに停められるようにしよう。あ、いい加減採点もしないと。

安青錦は豊昇龍は目茶目茶強いが、大の里にはからっきし駄目

今日は昼前にちょっと近所で用事があったので、10時半くらいに起きた。で用事を済ませて、昼飯を食べて、銀行に寄って、帰ってきた。

その後録画してあるものでも見ようか、と思ったが、下らんことと下らん計算（前に書いた通りこの二つは別物）をしてたら相撲の時間に成っていた。今日は霧島 vs. 熱海富士の3敗対決と、結びの大の里 vs. 安青錦に注目。霧島は大関経験者だが、熱海富士のデカさに圧倒されて負け。これで脱落。安青錦は豊昇龍には初顔合わせからの5連勝だが、逆に大の里には勝ててない。さあどうなる？と思って見る。結果は大の里の一方的な勝利。パワーの差が凄い。流石の安青錦でもどうにもならなかった。明日の取組はどうなっているか今見たが、安青錦は番付通り大関琴櫻と。熱海富士は4敗の欧勝海と。欧勝海にはまだチャンスが残っていた。さあどうなる？

その後下らん計算の続き。Mordell の不定方程式の本は証明があまり詳しく書いてないので、苦労する。まだ完全に分かっていない所がある。まあ必要な部分は昨晩のうちに理解出来たんだが、Corollary の証明が1行で書いてあるのを理解出来ないのが気に食わない。そろそろ呑みに行く。一旦やめよう。

「サンドウィッチマン＆芦田愛菜の博士ちゃん」を計算しながら見ていたが、漢字博士ちゃんが難読苗字を出題してた。サンドウィッチマンも芦田愛菜も答えられない問題を小生瞬殺した。いや、単に知っていた、というだけだが。「一口」。読めますか？昔うちにこの苗字の学生がいたし、車の免許取り立てのころ久御山の方に走りに行った時に信号の所の地名表示とバス停に出ていたので知ってる。サッカー選手にもいるようだ。正解は「いもあらい」。読めないよね。

明日は雪が降るようなことを言ってたが、何時頃降り出すんだろうか？傘持っていった方がいいかな？食べ物、飲み物は買い込んであるので、明日は1日部屋に籠ろう。「明日も」だな。月曜日は役所に行かないといけないので外出するが。追試はあるとしたら来週の水、木で、予備日が金曜日。受ける学生がいたら一回職場に行かないといけない。まあどっちにしろ諸事情で来週一回行くつもりだが。天気がいい日を選んで、そんなに早くない時間に行こう。ちょっと前に年が明けて、この前歳を重ねたと思ったら、もう1月も終わりが近い。嫌なこった。まあ憂さ晴らしをこれからしてくるわ。相撲の優勝が決まる時には起きていたい。まあ多少呑み過ぎても大丈夫だ。M-1 は敗者復活戦から見られたし。ま、程々にね。

安青錦は横綱豊昇龍相手に5連勝で2敗キープ

昼前に一旦起きて、で飲み物を飲んで、としたが、眠いな、ということでもう一度横に成る。眠いのは寝不足だ飲酒だと続いたのも理由の一つだが、鼻炎の薬を服用したせいもある。まあ気にしないことにする。で3時くらいに目が覚めて、近くにあったスマホでメールをチェックすると、面談2件のうち1件がキャンセルに成っていた。学生も色々忙しいようだ。事務にメールをしてそっちは来週の水曜日にしてもらうことにする。月曜か水曜かの二択だったんだが、月曜日はちょっと用事で山科区役所に行かないといけないのだが、そちらの予約時間の裏番組に成ってしまうので。

で起きて、4時半から面談。ちょっと変わった苗字なので記憶にあったが、成績表を見ると中々の出来。小生の担当科目は全部 A＋。印象に残っていた理由の一つはそれだな。顔は覚えが無いが。ビジョンが明確で、これだけしっかりしているのは素晴らしい。ちょっと一言だけ言っておいて、事務の人が手続きについて説明して、5分強で終了。

もう相撲が始まっている。今日も興味深い取り組みが多かった。熱海富士 vs. 阿炎の3敗対決は熱海富士が勝って10勝目。3敗の欧勝海、朝乃山はそれぞれ若元春、高安に敗れて4敗に後退。霧島 vs. 獅司の3敗対決は霧島が勝った。結びは豊昇龍 vs. 安青錦。4敗の豊昇龍は負けて優勝戦線脱落とはいきたくないだろうが、2敗の安青錦に敗れた。これで優勝決定戦を含めると安青錦の5戦全勝。豊昇龍は対策を練らないといけないね。まとめると、安青錦が2敗で単独トップ、霧島、熱海富士が3敗で追う展開。明日も楽しみだ。

今日も下らんことばかりやってる。ちょっと書き散らかした紙を眺めて、別証明が思い付いて、それに必要になる定理を Mordell の不定方程式の本で証明を勉強した程度。仕事は締め切りが近付かないとやらない派。「明日出来ることは今日やらない」というのがポリシーなので。2月の業務の前に終わらせればいいのだ。あ、明日レポートで成績を付ける二つの講義のレポート提出締め切り日だ。23時55分締め切りにしてあるので、やるなら明後日以降だ。明日の晩は通常通り呑むんでね。来週はちょっと真面目に働こう。

安青錦はまたしても二桁勝利で、単独トップに

寒いぞー、寒いぞー、と散々脅されたが、そうか？という感じ。床暖房は前から入れてるがな。と思って、ちょっと寝巻の上の前後が逆じゃないか？と思って一瞬脱いだが、凄く寒かった。昨日買ったフリースで出来たジャージ（死語）を着ているおかげか。ほんの数千円でこれだけ暖かく成るなら安いもんだ。暖房を掛けると空気が乾燥して髪の毛バチバチだが、そういうことなく過ごせて、実に有難い。

で暖かいから色々やって捗る、だといいんだが、ずーっと下らんことをしていた。下らんことはいつもやってるだろうって？いえいえ、いつもやってるのは下らん計算。今日やっていたのは数学ですらない。何してたかって？内緒。

相撲は見た。安青錦は並んでトップの熱海富士と。あれだけでかい相手に全く怯むことなく、低く低く攻めて、圧勝。またしても二桁勝利。凄いな。阿炎が負けて、霧島が豊昇龍に勝って、朝乃山、欧勝海、獅司が勝ったので、安青錦が2敗で単独トップ、3敗で霧島、熱海富士、阿炎、獅司、朝乃山、欧勝海と、かなりの混戦。明日の割は結びの一番後に決めるとのことで、中継では教えてくれなかったが、もう決まってるだろうな。後で調べておこう。

あ、大の里は勝って、入門以来の勝ち越しが続いている。これも凄いことだ。でなければこんなスピード出世はしないわな。

夕食はどないしよ？と思って表を見ると、天気がいい。スマホで気温を見たら1度。む。まあいいでしょう、ということで Uber Eats にから好しの唐揚げ弁当を頼んだ。割と短時間で来てくれた。寒くて外出するのが嫌だという人が多いだろうから、稼ぎ時かな。CM でも寒い中無理して出ていって酷い目に会って、Uber Eats で、というのをやってる。まあ大雪だったり台風だったりだと流石に配達パートナー諸氏も手をあげないだろうな。今日は寒いだけだから。いや、そんなこと言うなら飯屋まで歩いて行けって？仰る通り。

明日は夕刻から面談2件。職場に行かなくても出来るのは有難い。明日は天気はいいようだが、寒いのは続くらしい。ニュースを見ていたが、京都の日本海側、福井、彦根、米原などは大変な降雪だったようだ。山科は平和だ。草津はどうだったでしょうかね。明日まで定期試験日。天気が悪くて試験を受けられないと大変だ。まあ追試はあるわけだが。何事も無いことを祈りましょう。小生の担当科目は暖かい月曜日でよかった。追試があるか否かはいつ分かるんだろう？追試の試験監督はしなくていいが、答案を受け取りに職場に行かないといけない。行くと色々したくて遅くまでいてしまい、凍結注意の警告が出てギャ！と成るので、この時期は極力行かないでおきたい。まあ2月は7日連続出勤なので仕方ないから行くけど。本当に明日行かないで済むのは嬉しい。これから「ゴチバトル」を録画しておいたのを見て、「アメトーーク！」を見たら寝よう。今日も寝不足だしな。まあ面談は夕刻からなのだが、明日は仕事しないと。

天気予報の言うほど京都市南部、滋賀南部は大したことない

昨晩は寝る前に寝床で YouTube を見ていたが、結末を見る前に寝入って、途中から見てやはり寝入る、ということを3回繰り返した。未だに結論は分からない。でそんなこんなで、起きたら12時半を過ぎていた。まあはま寿司で食事をしてから保健センターに行くには充分早い。ということで、シャワーを浴びて、はま寿司で大トロ100円やら何やらを食べてから職場へ。

職場に着いたのは2時を過ぎていて、割といい所に停められた。まず個研室へ寄って、ここ数日計算していたのを TeX 化してあったので印刷して、でウダウダとやってから3時近くに保健センターへ。血圧が高いぞ。ここ数日の寒さのせい、ということで気にしないでおく。ちょっと健康診断の結果に関して医師から気に成ることを言われたが、どうだろうか？結果は学科の事務室に届いてていて、個研室に封を開けずに置いてあるので、もう一度6階に行って、拾ってから帰る。

流石に4時前だと高速道路も三条通も混んでおらず、4時半くらいにドラッグユタカに到着。処方箋を窓口で渡して、買い物をしてから読書をしながら待つ。待ってる人はほとんどいなかったが、結構待たされた。処方箋を Fax で事前に送っておくという方法があるので、それをやった人がいるということだろうか。今時 Fax を使うのは日本ぐらいよ、と知り合いのイギリス人が言っていたが、そうなのだろうか？まあ読書が進んでよかった。

住処に帰り着いたのは5時半前。相撲を途中から見た。大の里は流石に4連敗はしなかった。各界に入門して4連敗はしたことがなかったそうだから、まあよかった。2敗で安青錦、熱海富士、阿炎、3敗で豊昇龍、霧島、獅司、朝乃山、欧勝海と混戦状態。どうせなら熱海富士に優勝して欲しいな。時点は安青錦。どうなるでしょう？

天気が悪いぞー、荒れるぞー、と言われていたが、小生が出歩いていた時間は大したことなかった。出掛けた時の気温が6度、帰りの気温が5度。まだ凍結注意の警告が出るほどではない。天気予報を見てたら、この先荒れるらしい。京都市でも積雪があるとか。明後日まで定期試験があるが、大丈夫ですかね。ドラッグユタカで「マイクロフリース上下セット」というのを買ってきた。昨晩まで来ていたジャージ（死語）はズボンが冬対応のものでなく、外出すると結構寒かったが、買ってきたものは凄く暖かい。商品名の通り軽いし。暫くこれを着続けよう。幸い暫く職場に行かなくていいので、一日中着ていよう。食べるものは結構あるし、寒い中 Uber Eats の配達員に頑張ってもらわなくていい。栄養が偏るのは仕方ない。数日の我慢。

今「これ余談なんですけど…」をやってるけど面白い。オリンピックに命懸けで出た人の話は面白いな。何でも最先端に辿り着いた人の話はためになる。だからこそ、大学院で整数論をやりたい人は、うちなんかにいないで、出ましょう。小生、後7年で定年だ。若くて世界の最前線を行ってる人に指導してもらいましょう。下らん事ならやることはあるけどね。下ること（そういう言い方するか？）をやりたい人は、どんどん他流試合を挑んでください。

千葉美加が浜田省吾の「風を感じて」をカバーしてるとは

試験監督が終わったし、呑むぞ、と呑み始めてしまったが、今日は10時半から面談がある。さて、と思ったが、こんな時は寝ないに限る、ということに成ってしまった。いけないのは分かってるんだが。まあやることは幾らでもあるんでね。ということで、昨日印刷してきたものを見返したが、何か色々簡略化出来た。いや、この程度のことではすぐ論文に出来るわけではないが。まあ地味に始めないと。

合間にちょっと下らんこと（数学でないこと）をしたが、その途中で、え？というようなことが。千葉美加という歌手がいる（今でも歌手をやってるのか知らんが）が、「風を感じて」というタイトルの歌を歌ってる。「風を感じて」と言えば浜省の初期のヒット曲だが、YouTube の動画があったので見てみると、浜田省吾の「風を感じて」のカバー。え？知らんぞこんなの。調べると、千葉美加が自転車の大会のキャンペーンガールだか何かをしていて、その際にカバーしたらしい。浜田省吾ファンの間では結構知られていることのようで、何人か彼女のことを書いてる人がいた。カップリング曲が「幻想庭園」というこれまた浜田省吾の歌らしく、この曲は知らん。「マインドスクリーン」という、浜省が詩が書けなくて絶不調の頃のアルバム。名曲「いつわりの日々」になぞらえて「煮詰まりの日々」と言っていた。売れないと、という焦りがあった頃で、女性作詞家に何曲か書いてもらうという、浜省本人が「廃版にしたい」と言ってるアルバムのうちの1枚。聞いたことはほぼない。何故この歌が選ばれたかと言うと、詩に自転車が出てくるかららしい。ふーん、知らんかった。久し振りに開口に行って、店長に知ってるかどうか聞いてみよう。

であっと言う間に10時半近く。Zoom を起動して待つ。去年から知ってる学生だが、底抜けに明るい学生で、有意義な留学生活をしてるようだ。もう半年休学するそうだが、数学やっておいてね、と言っておいた。幾何の先生から小林昭七「曲線と曲面の微分幾何」を読むよう薦められているようで、持っていったが、難しいとちょっと音を上げていた。それでも楽しそうにしているので、いいかと。

今日は寒いぞーと脅されていた。天気予報に依れば、昨日の最高気温より今日の最高気温が11度も低いとか。スマホを見ると昼飯時の天気と気温はまだ言うほどでも無かったので、Uber Eats に王将メニューを頼んで食す。事務からの返事を待ってるが返事が無いので、一旦寝ることにした。数時間寝て起きてメールを見ると返事があった。面倒なことには成らずに済んだ。でシラバスを直して、もうこれでいいかな、という感じに成ったので、終わりにすることにした。

でもう相撲が始まっている。大の里はやはり肩に問題があるのか、熱海富士と同体取り直しの末負けて、3連敗。異例のスピード出世で横綱に成ったが、そんなにうまくはいかないね。横綱は大関と違って陥落することが無いので、かえって辛かろう。まだ若いんだ。万全の体調に戻して、来場所以降踏ん張ってもらおう。今場所は休場した方がいいのでは？という気がする。どうなるでしょう？

明日は保健センターに行かないといけない。相撲の後30分関西のローカルニュースの番組、その後京都のローカルニュースの番組がやるが、それらによると、明日は夕方以降天気が悪くなるようで、それまでは寒いがそんなに天気が悪くないようだ。早目に行って、早目に帰ってくるか。保健センターの診察は3時半までで、いつもはウェストウィングの近くに車を停めるべく遅めに行くんだが、明日はそんなに遅くならないようにしよう。はま寿司で大トロフェアをやってるようなんで、昼をはま寿司にして、それから職場に向かうことにしようか？明後日以降また暫く職場に行かなくてよくなるので、何とか乗り切ろう。学生はまだ数日試験があるようだが、天候に左右されずに全力で臨んでくだされ。追試を受けないといけない学生が多数出るかな？小生の担当科目が暖かい日でよかった。追試を受ける学生がいませんように。

数学IV（線形代数）のテストは無事終了

ちゃんと寝る、と昨日書いたが、やはり何だかんだとそこそこの時間まで起きていてしまった。で今朝は8時半くらいに目が覚めてしまい、まあ見張ってるだけだから脳味噌は使わんさ、ということでいいことにして起きてしまった。早く起きた時ははま寿司かうな松だ、ということになるが、今日はうな松にした。一日6食限定の一本鰻を食べるのが常だが、12月1月限定のミルフィーユ鰻にしようか、と迷ったが、後者にした。一本鰻は3300円、ミルフィーユ鰻は4500円。まあ割引券があるので。ただ前に食べた時の記憶だと、結構な量だったと思ったが、どうだろうか？と食べ始めたが、案の定多かった。鰻が2匹使われていて、ご飯も多い。でも鰻の成瀬の一番高い奴より遥かに旨いので、いいです。で割引券を使おうとしたが、「使用済み」の表示。考えてみれば、誕生日（今月）行ったな。が思い出した。その時に100円引き券を貰っていた（紙のもの）。そっちを使ったので、4400円で済んだ。体力はバッチリつけた。

職場には11時半過ぎに着いた。試験期間だからか、表で弁当が売ってて、キッチンカーも来ていた。売れるかな？個研室でしばし時間を潰して、集合場所に1時5分までに行くので、1時ちょい前に個研室を出た。

今日は「数学IV（線形代数）」の試験監督。125人も登録している学生がいるので、補助に3人も付いてくれた。うちの学科の若い人達なので、あまり気を遣わずに出来た。が、皆線形代数は当然熟知されてるから、問題を値踏みされてるのでは？という気がしてちょっと怖いと言えば怖いが。問題を作ってる時は興奮してるから、最高の問題が出来た、と思うんだが、当日見ると何か変な問題だなという気がしてくる。「基底でないことを示せ」と言われて学生は出来るんだろうか？「同型でないことを示せ」、という問題も出したが、途中退出した学生の答案を見ると、全員ちゃんと書いてある。去年も出したからかな？過去問の研究はするのだろう。問題を回収してないからな。嫌がる人は解答用紙に問題を刷って回収してしまうが、まあ学生の頃を思い返せば過去問の研究はしたな、と言うことで回収はしてない。試験を受けたのは113人で、全員に2枚ずつ配ってて、1人だけ4枚使ったから、228枚。結構な量だ。事務が諸々点検した後学生証番号順に並べ替えてくれて、それを受け取るので、今日中には受け取れなかった。明日か明後日行かないといけないが、幸い明後日は保健センターに行く日なので、その時に、…、と思っていたんだが、何か水曜日以降は目茶目茶天気が荒れるようなことを言ってる。天気予報を見ると、滋賀南部や京都市にも雪雲が掛かりそう。この前一回キャンパスに雪が降った日があったが、その日は短時間で止んでくれた。明後日はどうでしょう？嫌なこったな。

3時くらいに部屋に戻って、それから採点に使うためにテストの問題と解答、それと学生の名簿を印刷して、それからちょっと前に考えていた下らんことを考える用に TeX ファイルを印刷して、事務に聞きたいことがあるのでメールして、とか細々としたことをやって、7時前に職場を出た。住処着7時24分くらい。NHK のニュースで丁度スポーツコーナーだろう、と思ってスイッチを入れると、横綱が二人共負けた、という音声が聞こえてきた。む。横綱が二人揃って2連敗というのは、曙と貴乃花の時（28年前だったか？）以来らしい。大の里は力が入ってないように見えたが、肩は大丈夫だろうか？昨日寄り切られた後顔をしかめていて、花道を下がっていくときも左腕を動かしてなかったが、痛いんだろうか？大丈夫と言っていたらしいが、横綱の責任から出た言葉のような気がする。まだ先は長いから、大きな怪我でなければいいが。

その後ちょっとダウンロードした pdf ファイルを適当に見てたら、何か面白そうな論文を見付けてしまった。参考に成るかもしれないので、ちょっと読んでみる。結構前の論文だが、数学は古い研究が役に立つことがあるから面白い。ガウスの DA をこの21世紀に文献表に挙げてる人がいたり、ハッセとガウスの結果を系として含む結果を出す人がいたり。日進月歩の工学系の世界ではそういうことは無いだろうな。二次体をいじる時に一番役に立つのは結局高木貞治「初等整数論講義」だったりするし。最新の研究を追い掛けて凄い結果を出せて何かの賞を貰えるのは極一部の人なので、そういうのと縁の無い小生はマイナーな分野のマイナーな論文を読んで、地味にやりますわ。

横綱、大関が全員負けるというとんでもない中日

昨晩はちゃんと忘れ物をせずにふなごやへ行った。年が明けて初めて行ったので、盛り上がった。いつもの通り途中から記憶が無いが、日本酒を口にしたような気がする。上物のワインを呑んだ後だったような。だから今日は何か調子が変なのだろうか？

一旦昼前に起きた。Uber Eats にマクドナルドのハンバーガーのセットを頼んで食して、やはり眠いぞ、ということでもう一度横に成った。相撲が始まるくらいに起きた。今日の相撲は酷かった。横綱、大関4人が全員負けるというとんでもない展開。むぅ。大の里は先場所痛めた肩を痛そうにしていたが、大丈夫だろうか？これでトップは1敗の霧島と阿炎。二人共優勝経験者だ。緊張して崩れるということはなかろう。横綱、大関陣は頑張ってくれないと。

相撲を見ながら夕食。頼んだ店は日曜日だとキャンセルされることが多いが、今日は大丈夫だった。何故キャンセルされるかもしれないのに注文したかと言うと、先週平日なのにキャンセルされて、それ以来食べたい舌に成ってたから。満足した。

昨日、今日と共通テストだったが、電車に多少遅れが出て開始を遅らせた所が幾つかあったようだが、天候不良だったり金曜日の東京での大規模な交通の乱れだったりは無かったようでまあよかった。電車の遅れに巻き込まれた受験生は気が気ではなかったろうな。受験生だった時のことで思い出すのは、不慣れなラッシュで気分が悪くなり、もう受けなくてもいいや、と思って電車を降りてしまったことがあったことだ。10分後の優等列車を待って気を入れ直して向かったが、幸い間に合った。それが1回目の受験だったか2回目の受験だったかは記憶が定かでない。1回目だったら行っただけ無駄だったということで、2回目だったら苦労して行った甲斐があって合格した。多分1回目だな。保育園、小、中、高は徒歩で行ってて、定期券を初めて持ったのは予備校に通うように成ってから。混んでると言っても大したことは無かったが、それでも電車に乗るのに慣れたが、1回目の時は電車そのものが苦手だったからな。受験生の皆さんは体調を整え、全力を発揮してくだされ。

明日は定期試験の監督をしに職場に行く。ということで今晩はちゃんと寝ておかないと。まあ60分の試験監督くらい大したことは無い。問題は遅刻しないようにしないといけないことだ。何しろ小生の担当科目の試験だからね。いや、何でも遅刻はいかんのですよ。気を付けよう。