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 が独占放送するらしいので、契約してないので見られないが。スポーツニュースが頼りだ。優勝しますように。