昨日の話から。昨日は BKC で「数物会」という名の数理科学科、物理科学科合同のOB会があった。小生が来た年は「数学物理学科」という名前の一つの学科だったので、OB会はそういう名前に成ってる。小生は1年だけ数学物理学科所属だったわけで、2年目からは数理科学科所属に成った。2時開始で、酒の席もあるので、ちゃんと寝ておかないと、と思ったが、つい金曜日の晩は変な時間まで起きていてしまう。で更に全く生産性の無い蟻地獄に嵌って、結局寝ないで行った。が、最初の1時間は数物会総会というやつで、会長の挨拶とか事業報告とかそんなのだった。筆記用具を持っていけば内職が出来たのだが、生憎忘れた。仕方ないのでスマホで野球の状況を見ながら時間を潰した。1回表に早速先制したが、1回裏にすぐ1点取り返された。Tigers は4試合目で初めての得点。山科駅で買ったペットボトルのお茶を電車、バスの中で少しずつ飲んで、数物会の会場でも少しずつ飲んでたが、カフェインを摂取すると近くなるものがあるので、ちょっと会場から離れたが、ロン毛の兄ちゃんが声を掛けてきて、誰？と思って向こうが名乗った。おぉ、ずいぶん昔のゼミの学生（修士課程まで行った）だった。当時は短髪だったので、全然印象が違って分からなかった。用を済ませてしばし立ち話。暫くしたら彼の同期の奴が現れて、3人で立ち話。小学校教員は大変だったようで、退職してほぼ無職状態だと言ってた。何の仕事でも苦労は絶えないね。一旦休憩に成ったようで、彼の同期がもう一人現れた。そいつとは2年くらい前に呑んだ。

で3時から荒井正治先生の話が始まるので、部屋に戻って、話を聴講。昔話が大変面白かった。昔は「15週」講義をやればよかったが、今は「15回」に成った。意味分かりますか？小生はすぐには分からなかった。成程。一つ分かったのは、小生と荒井先生はどちらも43年1月生まれということ。小生の43は昭和で、荒井先生の43は1943年。丁度25違うということだ。小生は31で立命に来たが、その時の荒井先生は56歳。何と今の小生より若かったのか。貫禄がおありだったな。

その後ナデシコ食堂（という名前の食堂が学内にある）で懇親会。呑み食いしながら何人かと話して、で料理を取りに移動すると、背の高い人がいたが、名前を見たらすぐ誰だかわかった。立ち方の特徴が確かに彼だ。Dp君の同期生だが、Dp君は教頭先生、彼は教育委員会だか何かに出向だかしてると言ってた。彼らの学年で一浪した学生は小生の12学年しただから、46歳か47歳。まあそれくらいの歳に成ると出世する人はするでしょう。で話し込んでたら去年物理科学科に来た先生が料理を取りに来た。ちょっと関係があって彼のことを知っていたので、話し掛けてみた。向こうもこっちに覚えがあったようだ。楽しくなさってるようでよかった。その後いつも話し掛けてこられる元高校教師の方と、さっきの背の高い彼と3人で話して、そうこうしてるうちにお開きに成った。宴席なのに学生のポスター発表があったが、全く見に行かなかった。申し訳ない。

途中チラッと野球を見たが、9回表で1点リードされている状況だったが、その刹那 Baystars に2点入って逆転。おっ！ウェストウィングに寄ってもよかったが、USB メモリーの入った筆箱を持ってこなかったので、駅に向かう人達と一緒にバスに乗った。Tigers ファンの人から怒られた。Baystars は9回表に4点取ったようだ。嬉しい。

住処に戻ってちょっと仮眠。ふなごやの閉店前に行けるように土曜の夜の変な時間にアラームが仕掛けてあるが、それで起きた。でちょちょっとブログを書いて、お土産にもらったお菓子を持って出発。店に入ると同時に「申し訳ない」と言ったが、店長は Baystars は強かったし仕方ないです、と寛大なお言葉を言ってくれた。Giants に負けた場合はそうはいかなかったろうが。バイトの人はメニューの改訂作業が済んで帰られたようだ。小生が「来週は来ないかも」と先週言ったので、来ないと思っていたらしい。が、呼びましょ、と提案して、ワインを開けようとした刹那に入ってきた。やはり Tigers ファンなので、「申し訳ない」と言っておいた。でいつもの通り話が言ったり来たりするが、この前 Tigers がリーグ優勝を決めた日は逸れてもすぐ Tigers の話題に成ったのと同様、Baystars が CS を制した話に何度も収束した。で適当な時間にお開きに成った。例によって途中からあまりよく覚えてないが。

セブンイレブンで水を買って、帰ってきてぐびぐび飲んでる内にダウンしたようだ。超寝不足だったので、何度も目が覚めたが、夕刻まで寝ていた。電話が鳴って、見るとトヨタからなので出た。で起きて、昨日の「蟻地獄」の続きをしながら時間潰し。飲みかけの水のペットボトルがカレーの風味がしたが何故？と思って思い出した。セブンイレブンで一緒にカレーパン（完全めしのやつ）を買ったのだった。その辺に袋が落ちてた。で5時過ぎに Uber Eats に麻婆飯と餃子と唐揚げを頼んで、「蟻地獄」をやって暫くして見たら、店からキャンセルを食らっていた。もう。餃子を食べたい舌に成っていたので、王将メニューを頼むことにした。6時過ぎに届いて、それから一昨日と昨日のプロ野球ニュースを見た。どちらも勝つのが分かっているので、楽しく見られた。昨日の試合は森下にホームランを2本打たれ、二桁安打を許したから、昨日負けていたらどうなったか分からない展開だった。Tigers は神宮にイニング跨ぎで投げさせて大ピンチを作ったり（その時は無失点だった）、工藤を8回から投げさせて9回に打たれたりと、球児監督の勘（昔はよく「勘ピューター」という言葉が使われたのを思い出した）が鈍かったということだな。Tigers は1戦目から3戦目まで27イニング無得点だったが、それは Giants の25イニング無得点を大きく上回る結果で、Baystars の CS での6連勝は初だと言ってた。勢いに乗った Baystars は怖いぞ。待っとれ Hawks。今年の Baystars、Hawks のシーズンの成績は一昨年と全く一緒で、Baystars が CS 優勝を決めた日も2年前と同じ10月17日らしい。更に日本シリーズの初戦が横浜スタジアムというのも同じ。「安心理論」でいくと今年も日本シリーズ制覇だな。一昨年も書いたが「日本一」とは言いたくない。さあどうなるでしょう？24日（土）開幕。楽しみだ。短期決戦は長丁場のシーズンと違うのはこの6試合で証明した。今年も強者をぶっ倒してやりましょう。

「プロ野球ニュース」を見てて思ったが、短期決戦はラッキーボーイと裏ラッキーボーイが必ずいる。Baystars はルーキー片山が7回2安打無失点の快投を見せたり、シーズン中一本もホームランを打ったことのないルーキー成瀬が勝ち越しの2ランホームランを打ったりと、去年までいなかった面子がラッキーボーイだった。昨日は林が代打でダメ押し点をあげたが、林は宮下、成瀬とルーキーにショートのポジションを奪われたので必死だったのだろう。Tigers の裏ラッキーボーイは佐藤と近本だったな。2人とも殆ど打てなかったし。事前のミーティングで相手を洗い出すのは Baystars の得意とするところだが、Hawks には祐大がいる。Baystars の投手陣のことは何でも知ってる。いや、そうでもないな。片山が出てきたのは祐大が移籍した後だし、7勝をあげた尾形は祐大とのトレードで来たわけだから、勿論何も知らないだろう。ということでどうなるかは全く未知数。楽しんで見ましょう。

やった！

今日は色々あって書きたいことが多いが、やった！明日以降に詳細を書く。とりあえずこれからお詫び行脚。いや、一軒しか行かないから行脚じゃないか。卒業生に沢山あって、お菓子を貰った。学生の溜まり部屋用の大きい奴を職場に置かないで持って帰ってきてしまった。小生用の小さい奴を持っていく。嬉しいけどお詫びから始める。もう一回書く。やった！

佐野の3ランと牧のソロホームランに依る4点で勝利（3試合連続完封勝ち）

寝ないといけないと思うんだが、キリが付くまでやってしまいたくなり夜更かし。いや、数学をやってるならまだ充実感はあるが、しょうもないことをやっているので、馬鹿臭い。まあいいけど。で起きて、11時半を大きく回ってから出発。遅く着くと外で弁当は殆ど売ってない。まあ店にしたら数個残ってても廃棄か従業員に無償で食べさせるんだろうから、1個買ってあげれば協力には成るだろう。ということで買って、個研室で食べてから1時過ぎに講義室へ向かう。

先週より大分出席者が減っていたような気がするが、卒研ガイダンスを聞いて、自分のやりたいことに体論は要らないと悟ったのだろうか？気にせず始める。今日は代数的な元を一個添加した拡大体の構造定理と、最小多項式であるのが既約であることを判定することにより分かるとかそういう話。大学入試問題を箸休めに話せば興味を持つ学生はいるでしょう、ということで、昔九大で 2cos(π/9) を根とする Z 係数の3次多項式を一つ求めて、それから 2cos(π/9) が根である Q 係数の2次多項式は存在しないことを示せ、という問題について話しておく。大学入試だと色々ウルトラCを使って示さないといけないだろうが、体論を知ったら既約であることを示せばよい、そしてそれは瞬時、ということを言っておく。代数的な元が分母にあると有理化出来るとかも。京大が変な問題出してたからね。でそういったことをやってから、拡大が代数的とか超越的とか定義した辺りで時間。来週は代数的な元の全体が四則演算で閉じてるとか、代数拡大の上に代数拡大を乗せると代数拡大とかその逆とかやって、で代数的閉包の節に突っ込む予定だが、大分訳が分からなくなってくるだろう。まあ代数的閉包の存在と一意性を示したとしても、よく分かるということはないだろうから、今年も証明略で。気分が乗れば証明を書いたものを moodle＋R に載せていいが、まあやらないな。例年大体色々やることがあってやってない。一回やっておけば使い回し出来るので、やっておけばいいんだが。ベクトル空間の基底の存在も、有限次元と仮定しない場合の証明はほぼ全員知らないだろうから、これも載せておきたいが、結局やってない。まあ残り数年だ。やらなくていいや。

ちょっと休憩を挟んでゼミ。この前ディリクレの単数定理の証明が完成したので、今日は単数規準とかやって、それから実二次体の単数の話。ここは話すことが幾らでもある。マニアだからね。その後総実でない三次体の単数に関するアルティンによる結果の話。何度も聞いているが、未だによく分かってない。まあ何か高校数学みたいなことを使って示せる、というのは知っているが。でそれを使って基本単数を求める話が書いてあって、でそれをやったあたりで6時くらい。6時15分終了だからそこでやめてくれた。

それからちょっと考えていたことの整理。少しスッキリした。論文に出来るだろうか？何か最近論文を出してもらった雑誌が小さい jorunal に成ってる（いや、あの雑誌（どれ？）の悪口を書きたいわけではない）ので、今度のはちゃんとしたいが。結果の傾向ははっきり出ているのだが、どう証明していいか分からない。Z 上でやってる人は方程式を変えても Z でやってることには違いないのでどうにかなるのかもしれんが、実二次体の整数環でやると類数だったり単数だったり色々困難があるし、Z では隣の元まで大きい隙間があるからね。まあもうちょっと出来る範囲でジタバタします。

などとしながらチラチラと野球の様子をうかがっていたが、またしても Baystars がリードしている。佐野に3ランホームランが出たようだ。Tigers は佐藤、森下がスタメン落ちとか。Baystars の先発のドラフト4位ルーキー片山が殆どヒットを打たれてないようだ。帰って NHK BS で野球を見ようか？とも思ったが、ちょっと数学のキリが悪いので、8時20分過ぎまで色々やってた。信号待ちの時に見たらもう1点入ってる。牧がホームラン。好調だね。で四宮まで来たらもう9回裏で、住処に着いたら終わっていた。Tigers 相手に3試合連続完封リレー。凄いな。ただ片山がヒーローインタビューであと一つ勝たないといけないから、油断せずにいくという趣旨のことを話していたが、大事。一昨年のことはあまり覚えてないが、Giants 相手に勝ちを重ねた後反撃を食らって大変だったようだから、浮ついてないのはいいこと。日本シリーズでも小生の生まれた後でも3連勝の後4連敗というのが二度あったし。明日は数物会のOB会に出世することに成ってて、野球はデーゲーム。見られないな。まあ明日決まってその後見られないのはいいので、一気に決めちゃってください。数物会の懇親会が終わった後どうなるかによるが、明日のふなごや行はないだろうから、文句は言われないで済む。決めちゃってください。

パ・リーグは Hawks があっさり3連勝。シーズン中から Fighters は Hawks に全く歯が立ってなかったし、しかも場所は苦手の福岡（今はみずほ PayPay ドームというらしい）。まあ仕方ないな。そんな Hawks を Baystars は一昨年コテンパンにやっつけた。今年も是非。因みに2年前と今年の Baystars、Hawks の成績は全く同じらしい。これは下克上アゲインか？とネット民は盛り上がっている。正夢にしましょう。

星君（新潟大）と話してる間に牧のソロホームランに依る1点で決着が付いていた

寝ようと思うと何かやりたくなる。でまたしても「おはよう朝日です」が始まってしまい、そこから暫く見てしまった。で起きたらもうゼミが始まる時間。「遅れる」とメールを書いて、急いで出発。夕方だから、ウェストウィングの割と近くに停められるので、まあそんなに遅れてない、とは言えないくらい遅れていたが。急いでゼミ室へ向かう。

今日は位相群の話ばかりで、開近傍がどうしたとかそういう話ばかりだった。位相群の部分群ん閉包はまた部分群に成るが、ちゃんと証明してた。自分で証明を考えたなら凄いし、何かを調べて喋ったとしてもちゃんと消化していた立派。皆やはり位相はそんなに得意でないようで、今日も早目に終了した。遅れて行かなかったらもっと早く終わったということだが、いいです。イデールに入ると大変だし。来週から本格的にイデールをやるようなので、勉強しておかないと。大昔に勉強したが、実は類体論を使う時はイデアルを用いた形式化の方しか用いたことが無いので、イデールはほぼ完全に忘れている。ゼミで使ってる本をもう一冊買って、職場と住処に一冊ずつあるので、どこでも勉強出来る。

でその後談話会室控室でやってる宴会に顔を出す。いつもは「ああ、またやってはる」と思って顔を出さないが、今日は新潟大学の星明考君が講演者の一人だったので、話はゼミの裏番組なので聞けなかったが、まあ話はしておこうと。でその後タップリ話した。内から他の大学に移った人とか、結構御大の方ととか。世間は狭いもんで、御大の話してることが室蘭工大の森田英章君の話に近いような感じなので聞いたら、よく知ってると言ってた。森田君は小生星君と同じ横浜の出身で、去年鹿児島で聞いたら星君と同じ高校（つまり小生の兄者と同じ高校）だと言っていたので星君に教えたら、森田君と面識は無いようなので、是非新潟のセミナーに呼んであげて、と言っておいた。で何だかんだと話していて、皆さん10時40分の終バスで帰るようで、10時半くらいにお開きに成った。

その後ココ壱番屋でカキフライカレーを食べて帰宅。今さっき着いた。楽しかったが、やろうと思っていたことが出来なかった。まあいいです。明日やる。いや、明日は早目に帰ってきて野球を見ようか？金曜日は6時ちょいまでゼミだから、7時に職場を出ようかな。もう帰宅ラッシュは一段落しているし。展開次第だな。昨日は2－0で勝って、今日は牧のソロホームランでの1点差で勝った（1－0ということね）。明日勝てば一気に日本シリーズに立直だ。是7時の時点での点差で今朝遅くまで考えていたことを TeX 化しに遅くまでいるかどうか考えよう。

明日は1時10分から講義だから、今日はちゃんと寝ないと。「アメトーーク！」が終わってから先週の「座王」を見て寝よう。今日の「プロ野球ニュース」の録画を忘れないようにしないと。パ・リーグの今日の決着の仕方が凄い（2－2の同点から9回裏にサヨナラ満塁ホームラン）だから、こっちも見たい。ホームランは怖いね。まあ一遍に点が沢山入るのと時間制じゃないのが野球の面白い所だ。明日はどうなるでしょうか？

卒研ガイダンス無事終了（Baystars は Tigers に勝って1勝1敗のタイ）

今朝は8時半と9時に目覚ましを仕掛けておいたが、7時半くらいに目が覚めてしまった。買っておいたカップ麺をすすって腹ごしらえをしたが、やはり眠くて、もう一度30分くらい寝た。10時ちょい前にチェックアウト。個研室に一旦入って、11時過ぎに弁当を買いに出る。プリズムハウスの売り場に近付くと「11時30分～1時30分」と成っていて、無駄足かと思ったが、フライングで売り出す店が2軒あった。文句も言わずに買うんだけど。

何故泊まったかと言うと、12時25分からの卒研ガイダンスを仕切らないといけないから。いや、止まるほど早起きではないだろう、と言われるだろうが、普段の住処での小生の生活を考えると、これくらいの時間でも寝坊してしまう可能性は結構高いので、安全のためにね。10時で追い出されるわけだから、心配はいらない。ということで12時5分くらいに遠くのコラーニングハウスIに向かう。事務によると前の12時20分まで講義で使っているそうだが、中を見ると講義をやってる風は無く、数名学生がいる程度。数理の学生かな、ということで遠慮無く入っていく。廊下で待っていたY富先生も小生に続いて入ってきた。AV機器の主電源を入れて、大型モニターとスクリーンにパソコンの画面を映すようにして、Zoom も起動させて、でウダウダとやってる内に現場にも Zoom の待機室にも学生が集まってきて、で開始。小生が下手だから、画面に色々映ってて鬱陶しい。消し方が分からないのでそのままにしておいたが、同僚が消し方を教えてくれた。で開始したが、Zoom での録画、録音は出来てるんだろうか？不安でしょうがない。学生は次のコマに講義があるから、喋りたいのはやまやまだが、程々にしてくれ、と事前に釘を刺しておいた甲斐があってか、皆さん手短に話されていた。数ページに亘る資料を読み上げる人が必ずいるのだが、今年はちゃっちゃと流しくれた。後で web に上げておくので、読んでね、ということを言っておいて、無事1時5分くらいに終了。学生さんは1時10分からの講義に間に合うね。よかった。で Zoom を終了させると、音声を mp4 に変換する作業が始まった。これが始まったということはちゃんと記録されてるのだろう。1時10分からの講義が無い部屋を選んでもらったので、一人で作業をしても大丈夫。待ってる間に昨日の講義資料を直す作業をして、で変換が終わった後再生してみる。大丈夫そう。個研室に戻ったら web に色々上げる作業をやることにして、2時くらいに撤収。コラーニングハウスIは生協の本屋の目の前なので、思い出して数セミなど幾つか購入して戻る。部屋に戻ったら、理工学部事務室に持っていく物があったのを思い出して、行ってくる。で飲み物を買って、一息ついた。よかった、ホッとした。

ですぐ帰れれば嬉しいのだが、夕刻から密談があるとのメールが来ていた。選ばれたメンツを見ると、そういうことかな、と思ったらそうだった。重い。一国一城の主に成るというのはそういうことだ。耳が痛いし胸が痛い。自分に言われてるようにグサグサ刺さってくる。まあそういう所に落ち着きますよね。後は学科長（今回はその立場ではないが）が一汗かいてくれれば。

6時前には解放された。6時台は渋滞するので、ちょっと時間を潰そう、と始めたが、何だかんだと（一人で）盛り上がっていて、9時過ぎまで職場にいた。チラチラと野球を気にしていたが、1回表に Baystars が先制。村上頌樹が2者連続四球をくれるという珍しいことが起き、今日4番に入った宮崎が先制打。よしよし。まだチャンスは続いていたが、暫くして見たら1点しか入ってなかった。打ち勝つチームである反面、残塁もとっても多い芸風。こんなことをしてるとまたぞろ逆転されるぞ、と思って時々見るも1－0のまま。パ・リーグは Fighters がリードしてたと思ったら、Hawks が1イニングにまとめて5点取って引っくり返してた。モイネロが不調でもこれが出来るからな。でまたウダウダとやって、どうなった？と見ると2－0に成ってた。佐野がホームランを打ったらしい。で何度かのピンチをかわして、そのまま勝っていた。9回裏は1アウト2、3塁のピンチだったようだが、レイノルズが無失点で逃げ切った。見ると、Baystars は3安打、Tigers は7安打。まあ毎度言ってるが、ヒットの数を競う競技ではないのでね。1試合 Tigers にアドバンテージが与えられてるが、これで1勝1敗に成った。パ・リーグは Hawks に2勝のアドバンテージが与えられている。Hawks はアドバンテージ込みで5勝、Fighters はちゃんと5勝しないといけない。今日の結果で Hawks が3勝リードしたことに成るから、Fighters 厳しいぞ。明日は8時までゼミだから、明日も見られないな。ゼミの裏番組で新潟のスター（一部の人には誰のことか自明でしょう）が「量子ウォークセミナー」とやらで喋りに来るが、聞けないしお相手出来ないのが残念。うちに来たことあるかどうか分からなかったので、テクニカルなアドバイス「かがやき通り経由のバスの場合は『立命館大学正門前』で降りないように」とメールしておいた。

今週は週に6日職場に行く必要があるのだった。普通行かない今日行って、土曜日は「数物会」といううちと物理科学科のOB会（昔は数学物理学科だったので）があって、職場に行く。明後日は「大学院ウィーク」というのでOBが沢山来るので、A 堀先生は3日連続酒の席か。ご苦労様です。小生は明日も明後日も車で職場に行くので、酒は遠慮させてもらおう。土曜日は電車とバスで行くけど。あ、来週の水曜日は保健センターの日だ。週5日も6日も大学行くの嫌だな。いやいや、大抵の人はやってるがな、というのは仰る通り。そういうのが嫌で選んだ仕事でもあるのでね。ただ色々違う厳しさはあるがね。ま、楽な仕事は無いですよ。

諸事情のためエポックに泊まっている

起きたら昼1時を回っていた。シャワーを浴びるくらいの時間はあったので、そうしてから出発。職場に着いたのは2時半くらい。ちゃんと食べるには中途半端な時間だがどうしよう？と思案して、結局カレーパン一個齧るだけにした。

2時45分過ぎに講義室に入る。小さい部屋 の前半分だけ電気がついてたが、後ろの角にいた学生は暗く感じないんだろうか？前の方に座っていた学生は小生の講義とは関係無い学生らしく、出ていったが、暗い所にいた学生は座っていた。で中々学生が入ってこないな、と思ってると、2時50分を回ったところで数名入ってきた。大分減ったな。大学院生向けの講義だが、「有限次分離拡大は単純拡大」というフレーズに出てくるキーワードを一つも説明しなければ、まあ学部の代数の講義の出席者数を見ればそうなるのは自明。気にせず始める。今日は整数環のイデアル（≠{0}）が階数 [K：Q] の自由加群であることを証明するために色々準備。ノルムとトレースは然るべき線形変換の行列式とトレースで定義したが、共役元の積、和に成ることをすぐ示してあげた。前者で定義するとトレースとノルムが Q に落ちることが自明、後者だと T(a＋b)＝T(a)＋T(b)、N(ab)＝N(a)N(b) などが自明と、どちらにしてもいいことがある。で一通り済んだ後、多項式の判別式に関する補足を少々。定義と f'(X) に共役元を代入したのの積×ゴミで計算出来ることを示して、終結式を定義したら時間に成った。来週は終結式を使って幾つか多項式の判別式の計算をしてみせて、それから代数体の判別式と integral basis の計算等をやる予定。

講義後学生が書類に押印してもらいにくると約束していたので、急いで戻る。部屋の近くで二人待っていた。印鑑を押して用事は終了。その後一つ web に上げるものがあったので、上げて、で5時前に個研室を後にする。

昼はま寿司に行けなかったので、晩飯に行こうということで早目に出た次第。まだ帰宅ラッシュは始まっておらず、スムーズに辿り着いた。駐車場も店内も閑散としている。食べてる最中に何やら店員が寄ってきたが、何だと思ったら頼んだ物が売り切れに成ってしまったので、キャンセルしておきます、とのことだった。まあいいです。で2013円食べて終了。財布の中に5円玉が3枚あったような気がしたが、調べたらそうで、1000円札2枚と5円玉3枚払って終了。

でもう一度大学に戻ってきた。何故かと言うと諸事情のためエポックに泊まっている。大した理由ではないんだが、明日は小生がいないと始まらないことがあるので。で時間があるので、日曜日の「プロ野球ニュース」を録画したのを見てないので、見ることにしてディスクを持ってきてある。パソコンで見るので電源を入れるが、何やらアップデートしないことが幾つかあるようで、それを始めるも結構とろい。終わるまで寝床でうだうだして待つか、と思ってたらちょっと寝てしまった。無事終わったようなので再起動して、で視聴開始。田尾が  Giants の松本剛のバッティングを大いに批判していた。まあ負けるべくして負けたということだな。面白かった。それから同業者から来ていたメールに返事を書いて、同僚から明日の件でメールがあったのでそれを処理して、で今日の仕事は終了。今「相席食堂」を見てるが、元卓球選手の福原愛と温泉街で出会った一人のおじさんがラリーを繰り広げてる。こんな上手い人いる？と千鳥が不思議がってた。そこで CM に成ったが、続きはどうなるのでしょう？

で CM が明けたが、おじさん（長谷川さんと言うらしい）が5点先取したが、最終的には福原愛が 11－9 で勝利した。危なかったね。

眠いな。「テレビ千鳥」が終わるまで起きてるつもりでいるが、もつでしょうか？明日は10時には追い出されるので、寝坊の心配が無いから、まあ遅くまで起きてても大丈夫かな。住処だとつい4時やそこらまで起きててしまうが、そこまではしないようにしよう。幾つか TeX 化しようと思ってやってない紙を持ってきてあるので、それを打ちながらダラダラとテレビを見ることにしよう。

祝日なので、予期せぬ時間に渋滞が起こり、巻き込まれて難渋

深夜にまたしても生産性の無いことをして、遅くなってしまった。そこからちょっと今日のゼミで突っ込む材料を作ったりしたので、寝たのはもう「おはよう朝日です」の始まる時間。でビックリした。始まったのは「おはよう朝日です 祝日版」。そうか体育の日だった。

で目が覚めたらもう2時過ぎ。2時55分からゼミだから、急いで飛んでいく。名神は大津までちょっと渋滞してた。祝日だからウェストウィングに割と近い所に停められるのでよかった。2時45分くらいにウェストウィングに着いて、腹ごしらえの時間が無いので、1階の自動販売機でパンを一個買って、コーヒーで流し込んで臨戦態勢に入る。今日は y²＝x³－2 の整数解の決定から。山崎隆雄さんの本の証明が今まで見た中で一番分かり易い。ご自身で考え出されたのだろうか？凄く抽象的で難しいことをやってる方だが、こういう具体的なことをちゃんとやれてしまうのには舌を巻く。加藤和也先生もそうだが、本物の書いた本は違うな。でその後 y²＝x³－8 と y²＝x³－9 を解く問題が演習問題として出ているが、さっき読んだばかりの証明をなぞれば結構そのまま行くのだが、何やら自分で一から考えたか、少し面倒なことをやっていた。眠いがちゃんと聞いていたが、筋は合ってる。テキストのを真似ればもう少し簡単にやれる旨コメントしたら、学生自身がやりながらそう思っていたという趣旨のことを言ってた。後でやってくれるといいけど。その後整数環が Z[√(－d)] の形に成らないケースのことが証明抜きで羅列してあるが、証明は付けてこなかったようだ。そこで質問が出た時のために今日寝不足だったんだが、まあいいです。それから Z[√2] の所にちょっと突っ込んだ所で予習が尽きたようだ。毎回大体計ったように2時間で終わる。一応もう1時間やってもいいように部屋は押さえてあるが、まあ一人でやるからいいでしょう。

個研室へ戻ってパソコンで Lions vs. Fighters の様子を見ると、Fighters がリードしてる。でごちゃごちゃとやりながら時々様子を見る。Fighters がリードしたまま。で結局そのまま逃げ切って、セ同様にパも3位のチームが勝ち上がり。初戦勝ったチームの勝ち上がりの可能性はセ、パ共80%を優に超えていたが、セは80%強の方に、パは20%弱の方に成った。Fighters は Hawks 相手に目茶目茶弱いから、パの日本シリーズ出場チームは Hawks だろうな。Baystars は Tigers に割といい闘いをしていたから、こちらはどうだろう？まあ希望的観測が入っているが。

7時くらいに職場を後にしたが、失敗。祝日だった。高速道路の手前の電光掲示板に「草津JCT－京都南 渋滞17km」の表示。が、草津JCTから名神への合流はスムーズに行った。渋滞が始まったのは瀬田東JCTの辺りから。かなりの渋滞だった。眠かったが耐えた。住処に食事の買い置きが無いので、外で食べて帰ろうということにして、醍醐にある某ラーメン屋へ行くことにした。ふなごやの店長がそこの店の味が酷く落ちていたのをご立腹だったが、別の店舗では大丈夫だったそうなので、そこだけか？いや、その日だけなのか？という話に成ったので、確認に行った次第。で食べたが、別に前と同じだと思ったが。たまたまだったのでは？という感じだな。店の名前は書かないけどね。餃子も一緒に食べるつもりだったが、「にんにく不使用」と書いてあったのでやめた。帰りは右折で出る必要があるが、免許取りたての頃は大の苦手だったので、いつも夜遅く行ってた。今日は8時台だが、祝日の外環状線はそんなに交通量が多くなく、丁度手前の信号が赤だったのですぐ出られた。

帰ってきてテレビを付けると「帰れま10」を回転寿司の店でやってるのが放送してた。明日の昼はまたはま寿司にしようか？しょっちゅう行ってるな。今日のように遅く起きると行けないな。まあプロレスが終わってすぐ寝れば起きられるだろう。今日は特に寝不足ということもないし。

ケーブルテレビのチューナーのハードディスクがいつもの通りカツカツなので、「日本最強の城スペシャル」をダビングしようとディスクを入れたら、何やら NHK の番組の録画が始まりそう。何だ？と思って見ると、先週の水曜日にアクシデントで録画出来なかった「歴史探偵」の再放送だ。明らかに容量が足りない。どうしようかと思ったが、数年前にやった「何曜日に生まれたの」とかいうドラマがあった。時々ダイジェストがやっていたが、あまり面白そうじゃないな、と思ったが残してあったのを消した。全話消したら数日分の録画が一気に出来るだけの余裕が出来た。見ないものは消さないと。全部見られる訳ではないので、踏ん切りを付けて消すものは消さないと。人生は有限なのでね。勉強も人のやっているのを聞いて知るというのも大事。足立先生が「すべて自分でやろうと思うと無限の時間を要する」とよく言っておられた。正直小生、ディリクレの単数定理の証明とか自分で follow してないものは幾つもある。しゅっちゅう学生にゼミで話してもらってるので、どういう感じで証明するかはよく分かってるので、それでいいのではないかと。勿論きっちりやりたいものは自分で完全にやって理解しないとまずいが。ということで学生諸子、講義は出ましょう。

あ、明日は資源ゴミの日だ。分別して出してこないと。春学期は火曜日に教授会以外の用事が無かったので、結構時間を掛けてやれたが、秋学期は講義があるので、ちょっと落ち着いてやれない。まあ講義は2時55分からなので、十分遅くまで起きていられるけど。面倒だけどやってから寝ないと。