Hawks 打線を26イニング無得点に抑えて、3連勝で王手

今日はタップリ寝て、11時半過ぎに起きた。シャワーを浴びても弁当を買って食べるくらいの時間はある。が、12時40分くらいに着いてからだともう外では弁当は売ってないことが多い。今日もそう。生協で冷めた唐揚げ弁当を買って食す。

1時から初等整数論のゼミ。今日は先週の積み残しの P.I.D. ⇒ U.F.D. の証明。一意性の証明で両辺の一つ目の素元が同伴であることに成って、約すと単元が一個残る。それの処理をどうするのか聞いてきた。素元×単元がまた素元、というのを説明してあげた。素元の定義はそれが生成する単項イデアルの性質として書かれているので、同伴な元が生成する単項イデアルは等しい、と言えばOK。で何とか済んだ。その後 y²＝x³－2 の有理整数点を決定する話だが、ツッコミどころ満載で、結構掛かった。でその後の演習問題に y²＝x³－8 と y²＝x³－9 の有理整数点を決定する問題が出ているが、時計を見ると4時。4時10分まででは無理だよねということで、ちょっと早目に終了。

その後2、3メールを書いて、線形代数の準備に取り掛かる。基底の存在は先週ちょっと見ておいたので、割と短時間で理解出来た。有限次元の場合の次元の確定も、連立方程式の理論をバッチリやってあるので、そんなに難しくなかった。「有限次元」という言葉を定義してあるので、「無限次元」も出した方がよかろうということでメモっておいて、で連立方程式の解空間の次元を求めるくらいで時間一杯に成るだろうということで、その辺にしておく。行空間と列空間というのがまだよく分かっていないので、来週やる。

途中野球の情報を仕入れる。今日は6時開始だったようで、6時半ごろ見たらもう始まってた。試合開始が6時だったり6時半だったりするのはテレビ局の都合だろうか？1回に1塁2塁、2回に満塁のチャンスを潰すなど、見慣れた状況。3回も1アウト1塁2塁で宮崎が凡退した時は、また駄目かな、と思って少し目を切って数学をしてたら、1点取っていた。今日は筒香を7番に入れていたが、巡り合わせバッチリで、タイムリーヒット。先制した。で4回。チラッと見たタイミングで牧に3ランホームランが飛び出す。Yahoo の速報のページは、ホームランが出ると画面が派手に成る。もう興奮。中四日で先発のジャクソンは、ピンチをちょっと作った程度で、好投を見せた。7回被安打3。四球2、死球1ならジャクソンとしてはいい方。試合の終わるところくらい見たいぞ、ということで、8時半くらいに職場を後にして、ちゃんぽん亭で味噌味のを食べて、一路山科へ。もう8時半を過ぎてると国道1号は混まないので今日も高速道路を使わず帰ってきた。で駐車場で小生の停めるパレットが出てくるのを待ってる間にチラッとスマホを見たら、9回に1点取っていた。よしよし。で部屋に入ってテレビを付けると、7－0に。中川颯が投げてた。もう勝つでしょう、という感じで、すぐに終了。連敗の後3連勝。2敗した晩の Baystars 応援板はぼやく人が沢山いて、「Hawks 強い。一つ勝てれば御の字」みたいな弱気なことを言っている人がいたが、どうしてどうして。Hawks が3つも負けたのっていつ以来だろう？26イニング無得点。打も投も Hawks の方が完全に上で、刃が立たないだろう意見が多かったが。いや、もう一つ勝たないと意味が無い。あと一つ、何としても取らないと。

今日知ったのだが、昨日のケイのプレーボールから4者連続奪三振というのは日本シリーズ初だそうだ。3者連続は過去に何例かあったようだが。杉下茂とか工藤公康とか凄い名前が並んでいるが、それを超えたのは凄い。今日のジャクソンは3者連続だったそうだ。Baystars の投手陣凄いぞ。守備もいいし。昨日は牧が横っ飛びでセンターに抜けそうな当たりを押さえたし、桑原は今日も大ビンキャッチをやったようだ。いいですね。明日1日空いて、で土曜日は雨だと言っていたがどうなのだろうか？今日まで3日間ドームだったが、残り2試合は横浜スタジアムだから、結構な雨が降ったら出来ない。まあそれならそれでいいけど。順延に成って月曜日に決まると途中から観戦に成ってしまうのでちょっとな。まあ26年前のように月曜日に決まるというのも悪くは無いが。あの時は肝心の胴上げのシーンを見てない。上大岡駅に着いた時は9回1アウトで、駅のビジョンに人だかりが出来ていたが、実家は駅から数分だし、試合開始には間に合うだろうと思ったが、金村が併殺打を打って、実家に着く前に試合が終わってしまった。で玄関を上がればすぐテレビがあるが、肩から掛けていたノートパソコンの鞄が落ちて、焦った。でテレビを付けたらもう胴上げが終わっているという状態だった。パレードは祝日に行われたが、科研費の申請調書なんぞというものを書くために職場に行っていて、行っていない。今年は万難を排してでも見に行くぞという気に成ってる。土日のどっちかにやってくれるといいが。浮かれますな。まだ4勝したわけではない。引き続き応援しましょう。

ワールドシリーズは決着が付いたようだ。ヤンキースが1回に3点、2回、3回と1点ずつ取って5点リード。が、ここからひっくり返るのが野球の面白い所。ジャッジは初ホームランで浮かれたか、何でもないフライを落球。その後ショートが悪送球したり、1塁ゴロの時にベースカバーがいなかったりで、5回ドジャースが同点に追い付く、といったとんでもない展開。ヤンキースが再びリードも、ドジャースが犠牲フライ2本で勝ち越し。でそのままドジャースの勝利。大谷も山本もよかったね。まあこっちによってよかったのは、日本シリーズと同日決着に成らなかったこと。Baystars が26年振りに優勝しても、スポーツ新聞の一面は大谷一色だろうからね。舞台は整った。Baystars の日本シリーズ制覇を是非。

日本シリーズが9時半過ぎまでやっていたので、9時からのドラマが9時50分から開始で、こんな時間なのにまだ「報道ステーション」がやってる。「やすとものいたって真剣です」は12時から。「アメトーーク！」は1時20分から。野球に興味の無い人には何とも申し訳ない。野球好きでも嫌いなチームが優勝した時は「特番なんぞやるな！」と言いたくなる。まだ覚えてるぞ。Giants が優勝した時、日テレがとんでもない特番をやり、10時半放送の「進め電波少年」が1時過ぎ開始というとんでもないことがあった。あの時は腹立たしかった。去年の Tigers の特番も長時間だったが、深夜に奥ゆかしくやっていた。Baystars が優勝したら、テレビ神奈川は大騒ぎなんだろうな。神奈川に住んでる人が羨ましい。CS のプロ野球ニュース」を録画するしかないな。記念グッズをどうやって買おう？いや、だからもう1勝しないと意味が無いんだって。浮かれ過ぎないようにしないと。

日本シリーズは2勝2敗の五分に

結局昨晩はブログを更新して暫くしたら耐えきれなくなって横に成ってしまった。例によってテレビを消さなかった。で数時間経ったらもう「おはよう朝日です」の音声が聞こえてきた。日本シリーズのことをやるという音声が聞こえてきたので、飛び起きた。まあ関西の情報番組だからちょっとしかやってくれないが、桑原お馴染みのダイビングキャッチを見られてよかった。

その後ちょっと学生にメールを書いて、で下らん計算を書いた紙が出てきたので、それを TeX 化して、とかやって、もう一度横に成る。流石に今度は相当長時間寝た。何も食べてなかったが、それも気に成らないくらい。日本シリーズはバッチリ観られる。

Baystars の先発はケイ。立ち上がりから三者連続三振と素晴らしい。3回まで5奪三振のパーフェクトピッチング。4回にオースティンがソロホームランを打つ。お馴染みのライトスタンドに飛び込む打球。7回に追加点。シーズン僅か29三振の宮崎がここのところ三振ばかりして絶不調だったが、その宮崎にソロホームランが飛び出す。その後満塁のチャンスを作り、桑原が2点タイムリーヒット、再び満塁とし、オースティンにタイムリーで一挙4得点。ケイは7回無失点。シーズン中は四球を出してはイライラして失点ということが多かったが、今日は1四球と安定していた。で5－0と快勝。これで2連敗の後2連勝。五分に戻した。Hawks は日本シリーズ14連勝していたが、ついに止めた。tsuno さん情報によると、それどころか Hawks に二つ黒星を付けたのは2017年の Baystars 以来らしい。Carp は1引き分け1勝の後4連敗。Giants は2019年、2020年と8連敗。いいですね。Hawks はソフトバンク（ネット上では「やわらか銀行」などと隠語で呼ばれている）が親会社に成ってから日本シリーズ8回出場で8回優勝と言っていた気がするが、ついに止めるか？

昨日の試合は見ていなかったんだが、何やら東が言ってる。投球動作に入ったところで Hawks ファンが指笛を鳴らすらしい。で2度抗議したそうだが、小久保が笑っていて、試合後は「爆笑してしまいました」と不愉快な発言。さらに村上隆行打撃コーチが「宮城に比べれば大したことない」みたいなことを言っていたそうだが、2年間で29勝7敗と驚異的な成績を残してるのを知らないんだろうか？小久保も村上も現役時代は結構好きだった（特に村上は応援している近鉄の選手だったから）が、何か嫌に成ってきた。東が「宮城は凄いピッチャーだから、大いに参考にしてます」とチクリとやり返した。相手チームを怒らせる発言をすると、流れが傾くのは過去に何例もある。Baystars に風が吹いてきたか？土曜日に決まると嬉しいが。土曜日は呑むことが多い。祝杯に成ると嬉しいが。

明日も見たいな。ただ時間割の関係やらゼミの時間の関係やら何やらで、線形代数の予習は木曜日にやらないといけなく成ってる。今からやって、明日は早目に終わらせて切り上げてくるか。来週は基底の存在とか次元が確定するとかやらないといけないから、重たい。まあテレビを見ながらでも出来ないことはない。「チョコプランナー」まで見ると2時過ぎだからな。出来るかな。などと書いてる時間があったらやってしまおう。いや、今朝書いた学生へのメールのことをしないといけないな。結構忙しいぞ。昨日の「プロ野球ニュース」を録画してあるのを見たいし、今日のも見たいしな。まあいいや、色々考える時間があったらやろう。

イデアル類群に位数2の元を作るのに四苦八苦

どうも2時40分開始の講義の前の日はいかんな。12時過ぎに起きれば余裕で間に合うということがあるので、つい色々してしまう。昨晩は今日の講義に備えて少し資料を読んでおこう、と始めたのだが、色々気に成る所が出て来て、直したりとかしてると、やっぱり整数論は面白いぞ！ということで続き続きと読みたくなってしまう。いや、自分で作った講義資料がそんなに楽しいか？と言われそうだが、実際楽しいのだ。まあ大小取り混ぜ、間違いがあったので直したり補足説明を書き足したりとかしているうちにもう「おはよう朝日です」が始まってしまった。それから寝てもまだ7時間くらいは寝られるのだが、整数論が気に成る、ということでどんどん読む。まあ流石に Kummer の定理（多項式の mod p での分解で p の素イデアル分解が分かるというあれ）の証明はスキップしたが。

で大層寝不足の状態で、1時半くらいに住処を発つ。ちょっと早目に着いた。フォレストハウスの近くに停められたので、中途半端に個研室に行ってウダウダ、とかやらない方がよかろうということで、エンジンを切って読書。今日はうすら寒い。冷房が必要ないくらいで、車の中は寒くないから暖房もいらないので、エンジンを切った次第。冷房が必要だったら個研室行っちゃうかな。

2時40分から大学院向けの講義。今日は判別式に関する話題を二つばかりやってから、P.I.D. とか U.F.D. とか復習。素元が何だとか既約元が何だとかも説明した。本当にやりたいのは素イデアル分解の一意性だが、元のレベルだと一意性が破綻してるのをちゃんと見せないと面白くなかろうということで時間を使った。証明は殆ど付けなかったが。で既約元分解の一意性が成り立ってるといいことがあるということで、y²＝x³－1 の有理整数点を求めたり。もう少し話す時間はあったが、中途半端に成りそうだし、3分くらい早かったが終わりににした。疲れた。

無茶したのは、講義が終わったら道路が混む前に帰ってきて、日本シリーズ観戦、のつもりだったから。先週もそうやって、Baystars が勝つところを見たので。が、出掛ける前に見たら、今日は教授会がある。大事な案件があって、全構成員の3/4が出席してないといけないので、已む無し。講義が終わるのが4時10分で、教授会は4時半から。流石に帰ることは出来ない。出張の時に持ち歩くノートパソコンを最近は職場に置いていたが、名古屋に持っていって、今日は雨が結構降ると脅されていたので、持っていかなかった。デスクトップのパソコンでも参加出来るんだが、カメラとマイクを USB に刺した奴が、安定したところに置けないので、発言したいときは駄目。まあ基本黙って聞いてるだけなんで問題無いけど。で大事な案件を幾つもやって、それでも6時前には終わった。昔は8時だ9時だととんでもない時間までやっていたが、小生がうちと全然縁が無い頃は、日を跨いだりしたこともあったそうだから、良くなったのかな。事務の方が二人異動になるそうで、挨拶をされていた。お一方は来月の仕事の重要人物だったのだが、いなくなってしまうのか。心配だ。

6時くらいにパソコンで野球の情報を見たら、6時半開始と成っていた。何だ。とちょっと考え事。今日の講義で、後に U.F.D. でない整域を無限個与えてあげるから、と言ったので、その件で。U.F.D. でないものというか類数が偶数である二次体を無限個与える、というのが本当の所。類数が奇数の虚二次体の特徴付けが「数論序説」に出ているが、コホモロジー群をいじってるうちに出るという、何だかよく分からない証明。が、そんなものはいらず、m が合成数だったり、mod 4 で１と合同な素数の時は、Q(√－m) の類数が偶数である、ということを単項イデアルでないが2乗すると単項イデアルに成るイデアルが与えられる、と昔 TeX 化したのを見てみると、何か証明が汚い。m＝ab, a,b>1：square-free, (a,b)＝1 の場合を考えてたんだが、m≡3 (mod 4) の時の証明が訳が分からない。a,b は奇数で、1<a,b≦4 が示せて、a＝b＝3 と成らざるを得ず矛盾、とかやってるんだが、気に食わないのが (a,√－m) が単項イデアルでないことを示すのに (b,√－m) を援用しないといけない。もっとどうにか成る筈、といじっても堂々巡り。3の時を除きたいので、m＝15 を例外処理しておこうか、と思うも、何か例外のような気がしない。で何回も何回も繰り返して、どうにか成った。a と b に立場は対称なので、b＞a を最初から仮定しておくと、4≧5 となってしまい矛盾、とかやっぱり変な証明。不等式の評価に a,b 両方触る必要があるが、二つのイデアルを出さなくてよくなったので、まあいいです。で気付けばもう9時。教授会が終わった直後は名神が混んでる時間だから、ちょっと時間潰し、のつもりだったのだが。

いや、遅く成ったのは数学だけのせいにあらず。日本シリーズよ。試合開始後5分くらい経って見たら、1回表に1点取ってた。が、東がピンチを作って、怖いのでちょっと数学の続きをやってたら、1回裏に追い付かれてた。うむ、Hawks 強いぞ。が、5回表に見た時は1点リードしてた。桑原がソロホームランを打ったようだ。やるね。その後ノーアウト満塁のチャンスを作るも、筒香の犠牲フライで1点取れただけ。うむ、まだ怖いぞ。で9時過ぎに見たら、ポストシーズン絶好調の戸柱がタイムリーヒットを打ち3点差に。東は肉離れで離脱した筈だったが、7回105球1失点とよかったようだ、と思って見たら、ヒットは10本も打たれたようだ。が無四球なのは流石だな。最後までネット観戦しようか、と思ったが、もう10時近いのでやめておいた。

ココ壱番屋でカレーを食べて帰宅。カレーを食べ終わった後野球の情報仕入れよう、と思ったら、何やらスマホの画面が暗く、良く見えない。また変な所をいじって、設定を変えてしまったのだろうか？支払いもスマホで出来ず、Suica で払ってきた。もう10時を過ぎてた。これくらいの時間だと道路は混まないが、寝不足でスピード出し過ぎてギャ！というわけにはいかないので、抑え目に。が、前に車が走ってないと自分のスピードがよく分からないスピードメーターを見たら、50km/hを割ることがしばしば。京都に入る手前でちょっとだけ片側2車線に成るが、そこで沢山抜かれた。何とか辿り着いた。もう11時近く。

住処に着いてテレビを付けると、東のヒーローインタビューの様子を「報道ステーション」で流してるところだった。勝ったかよしよし。これで1勝2敗。まだまだ。ワールドシリーズはドジャースが3連勝したそうだ。「おはよう朝日です」の岩本アナが今晩アメリカに発ち、第5戦を取材も兼ねて観戦だと言ってたが、4試合で終わっちゃいそうだぞ。大丈夫か？

眠いな。「アンタウオッチマン」を見るにはもう1時間半くらい起きてないと。こういう時は呑むと案外起きていられるもの。「相席食堂」が終わったらちょっと買ってこよう。明日は日本シリーズを見られる。ちゃんと寝て、体調を整えておかないとな。明日か明後日のどっちか勝てればもう一度横浜スタジアムに戻れる。勝てよ。

ココ壱番屋もタブレットを使って注文出来るようになった

「夫が寝たあとに」が終わってすぐ寝る、というのが当初のプランだったが、計算が合わなかったりなんだりで、結局3時くらいまで起きていた。うむ。で起きたら11時45分くらい。まあ睡眠は十分だ。シャワーを浴びる時間は無いので、ちょっとして出掛ける。職場には12時半くらいに着いて、外で売っている唐揚げ弁当にちょっと味の違うものがあったので、そっちを買う。

1時から「数学IV（線形代数）」。基底とか座標とか色々あって、計算を適当に端折ったりちゃんとやったり。気付くともう残り時間が10分も無い。有限生成ベクトル空間の基底の存在を示したかったが、無理だな、ということで例題をやって、そこの計算は詳しくやった。基底の存在は来週。次元を確定させられるのは再来週だろうか？もう今日で5回目なのだが。まあ気に病んでも仕方ない。粛々と進めましょ。

個研室で講義資料を直す。色々ミスがあった。来週やる所にも些細なミスを見付けたので直す。で manba＋R に上げてとかやってたら、あっと言う間に4時。時間が経つのが早い。

4時20分からゼミ。先週の積み残しからだが、それが存外時間を食う。平方剰余についての理解が著しく不足している。上下ひっくり返して下側のエントリーに2を持っていったりする。別の学生の時にそれは駄目だと言ったのを聞いてなかったのだろうか？他にも色々あって、そこを過ぎても問題多数。字面を読んでくるだけじゃ駄目だと何回言ったろうか。でちゃんと詰めてない所の一箇所が全然分からない。I 君と小生の声が響き渡り、黒板の前に立っている学生は色々書いたり消したりしていたが、他の2人はどうしてたんだろう？何も言葉を発しなかったが。紛糾したまま終了。時間があったら考えよう。

であまり遅くまで職場にいないつもりだったが、明日の講義の資料を見直してたら色々直さないといけない所があったのを思い出した。で「代数学I」のノートと見比べると、変なことが書いてあるのが分かった。で直しては戻しと数回やって、印刷して、時計を見るともう9時半。まあこれくらい出来てればいいだろう、と印刷。金曜日の講義資料の印刷をし忘れることが多いので、今日ついでにやっておいた。

ココ壱番屋で近江牛のカレーを食べようと向かう。水を持ってきてくれた人に注文したら、タブレットで注文せよと言われた。最近変わったらしい。これはいい。年寄りが豚カツを頼んだり、「パリパリチキン」とかちょっと言うのが恥ずかしかったものもすんなり注文出来るぞ、と。で近江牛は柔らかくて旨かった。1800円を超えるのはちょっとという気もするが。名古屋で駐車場代を結構取られたし、今日は車にガソリンを入れないといけない。物入りだな。まあ兄者は親父殿の為にもっと色々使ってるから、贅沢を言ってはいけない。

次年度の卒研の募集の結果が出た。今の所少人数。去年は講義に殆ど学生がいないのに5人も小生の卒研を希望してきて、結果を見て、わっ！と成って、その後二次募集でもう5人来て、さらにわっ！と成った。「代数学II」の講義の最後2回は5回生が一出席しているだけという状況だったので、皆さん中々面の皮が厚いね、と思ったが、今年はどうでしょうか。二次募集で「人数の少ない所がいいので」と出してきた学生がいたが、10人に成るとは想定外だったろう。まだまだ予断は許さない。それにしてもファイルがデカいな。pdf ファイルでエントリーシートを提出することに成っていたが、多分ほぼ全員写真を撮って jpg ファイルを作り、それを pdf に変換してだから、一人頭で相当なデーター量だろう。それが約100人分あるわけだから、そりゃそうなるわな。現在ダウンロード中だが、もうちょっと掛かりそうだ。USB メモリーに保管したら、c ドライブから即消す。ダウンロードのフォルダーも忘れずに。

日本シリーズは2連敗も、松尾がヒットを打ったり、リリーフ陣が16人連続で打ち取ったりと、希望はある

昨日はちょっと早目に目が覚めてしまった。2時までにナゴヤドーム前矢田駅の近くに行けばいいので、ワールドシリーズを流しておいて色々やって、で眠くなってきてちょっと横に成ったら少しだけ寝入った。ワールドシリーズは何か物凄い決着で、史上初のサヨナラ満塁ホームランというので、仰天して目が覚めた。で時計を見るとゆっくりしている時間では無いので出掛ける。宿にホテル周辺の地図があったが、全然方角が分からないので、フロントの人に聞いてから栄駅へ向かう。で地下鉄を待っていたら、次の電車は目的地の一つ手前の大曽根行。時刻表を見ると半数が大曽根止まりのようだ。まあ次の電車も5分くらい待てばくるので、ベンチに腰掛けて読書。電車に乗って十数分で目的地。

でまた方角が分からない。セブンイレブンがあったので、買い物をしたついでに聞くと教えてくれた。すぐのようだ。が、割と大きな道路で、信号を2回待つ上に、中々青に成らないので、ちょっと待った。そこで平林先生に声を掛けられ、「懇親会は参加出来ることになりましたか？」と聞かれる。恥をかくと大変だ。で目的地に着いて、3階の講義室に入ると、人が殆どいない。2時からだと思ったら2時半開始だそうだ。1階にファミリーマートがあったので、飲み物を買いに行くと、エレベーターの前で山岸さんに声を掛けられ、「懇親会は参加出来ることになりましたか？」とまた聞かれた。まあ仕方ないな。

出し物は小松ダブルヘッダーによる数論の話2題。Tr(小松) さんの話は、D₅ 多項式の話。彼は若い時に二次体の類数の可除性のことで論文を書いていたが、その時も今回も大学の先輩の岸さんの話を発展させたもの。代数的整数論をやっているものとしてはガロア群とか類数とか研究したいが、いやー、無理っすね。その後小松啓一先生のヒルベルトの17問題にまつわる話。ヒルベルトの問題は幾つか知っているが、17問題は不勉強で知らなかった。1920年くらいに解決されたそうだが、キーとなる事実が1700年くらいに証明されていたから出来たとの仰せで、最近の望月新一氏の論文は、その1700年の結果にあたる物からやらないといけなかったので、大変だったのだ、との仰せ。うむ、望月氏の論文も読まれているのか。もう75歳くらいだと思うが、若い頃のままで頭脳明晰だな。話しも明瞭で、ただただ感動。行った甲斐があった。

その後、栄の次の駅（名前失念）で懇親会。恥をかいてまで参加したんだから、楽しまないと、ということで、小松先生の目の前に座り、色々話してきた。よかった。で栄まで電車で戻り、皆さんは番号の若い出口に向かわれたが、小生は12番出口だか13番出口だかがホテルに一番近いので、ホームでサヨナラした。駅からホテルはちょっとあるが、昼に景色を大体覚えておいたし、宿でもらった地図で方角を確認したので、迷わず帰れた。

宿に着いてすぐテレビを付ける。日本シリーズが昨日開幕で、懇親会の最中に何度か経過を見たが、0－2とリードされていた。宿に着いたらもう試合が終わってるかと思ったが、まだやってた。8回を康晃が抑えたところだった。9回にシーズン、CS と無失点だった堀岡が3失点。うむ、駄目か。寝不足だったし酔ってたしということでベッドに入るとすぐ寝入ってしまった。数時間寝た。目が覚めて、試合開始前にtsunoさんからメールが来ていたので、それに返信。で Yahoo の速報のページを見たら、何と9回裏に3点取ったようだ。一方的に黙らされたかと思ったので、ちょっとホッとした。その後もう一回寝てもよかったが、パソコンに向かって色々始めてしまい、「相棒」を見ようかとも思ったが、途中で眠くなると嫌だったので、下らんことの続き。そんなことをしているうちにワールドシリーズが始まってしまった。で途中で風呂に入って、試合途中だが11時にチェックアウトしないといけないので、宿を発つ。

一昨日書いたが、宿の向かいのコインパーキングに停めた。2泊停めたから、結構取られるな、と思ったら案の定。まあクレジットカードで払えたのでいいです。でカーナビに自宅をセットして、CD を交換してから出発。何か交差点一つ毎に右だ左だと言われ、正直混乱した。一方通行の道が多いということだろうか。で路地から信号が変わって右折したら、そこが名古屋高速のインターチェンジだった。ETC レーンが塞がっていて、一般のレーンしか入らないといけなかったので列の最後尾に付けるが、すぐ ETC レーンが通行可能に成った。つかんな。2台後ろの車以降は ETC レーンを軽快に抜けて行ったが、こちらは仕方ないので料金所の人に ETC カードを抜いて渡して、とやる羽目に成った。まあ料金は変わらないのでいいです。で右に行けの左に行けの色々言われているうちに東名阪に入った。サービスエリアで昼食を、と思ったが、まだ11時半とかそんな感じだったので、まあ土山でいいか、ということで走り続ける。途中「E1A 新名神 京都、大阪」の看板が出ていたのだが、カーナビはそっちに行かずに真っ直ぐ進めとの仰せ。いいんかな？と思ったが信じて進む。そこそこの距離走ったあたりで、「E1A 新名神 京都、大阪」の文字が。今度はそっちへ行けと言うので行く。暫く行くと、「名古屋方面はこのまま直進 亀山西JCT へ」との案内。何だか色々複雑に成ったな。土山サービスエリアは京都から名古屋方面に向かう時はくねくねと曲がって、中々入れず面倒だが、名古屋から京都方面だと楽に行けるということが分かった。食事をして、名古屋で土産を買ってこなかったので、適当に見繕う。でそのまま京都東を目指す。途中、城陽方面への分岐と城陽方面からの合流が大分出来上がっているのが確認出来た。名古屋方面へと渡る橋も結構出来てる。何だか軟弱地盤の所があったり、砕かないといけない岩があったりして、開通は遅れるとの話だったが、どう成ってるのかな？で草津JCTを通って名神に入って、もうここまで来れば何の心配も無い。が、家に着くまでが遠足だから、と言われていたのを思い出して、丁寧に運転。無事何事も無く、住処に着けた。距離はキリのいい8801。これがキリがいいと思えるのは、昭和のパソコンオタクくらいだろう。

台湾ラーメン味のポテトチップスを食べながら、木曜日の「ゴチバトル」など。中々面白くなりましたな。寝床でちょっと YouTube を見てたら眠く成ってきたので、ちょっとだけ寝た。で起きて選挙へ。小生の所の選挙区には大物がいるので、まあ誰に入れてもその人が通るだろう、と思うが、意思は表示しておかないと。選挙公報が届いていたので目を通すが、彼はいつ維新の議員に成ったんだ？と思ったが、後でニュースを見たら、選挙直前に合流したとか。元々別の党の代表を務めた人だが、そういう節操の無い人でも通るのか。まあいいけど。

6時くらいに NHK BS にチャンネルを合わせる。TBS 系の地上波でも中継があるそうだが、テレビの番組表を見ると、選挙と野球のダブルでやるようなことが書いてあり、鬱陶しそうなので NHK BS にしようと。大貫はいい立ち上がりをしたように見えたが、ランナー一人出して、山川に2ランホームランを打たれた。1回から2点のビハインド。3回にも2点を取られ、早々とノックアウト。佐々木千隼に交代したが、犠牲フライでもう1点。3回で5点リードはきついぞ。3番手濱口も1失点で6点差。うむ。が、5回に森敬斗がモイネロ直撃の当たりで出塁し、代打松尾汐恩が初球を打ち2ベースヒット、更に1番に入った桑原が再び初球を打ちタイムリー2ベースヒットで2点。7回に2番手尾形から牧がタイムリー2ベースで3点差に。投手は濱口が4回の3アウト目をとってから16人連続凡打に打ち取るという快投。それだけに序盤の失点が余計だったな。まあ完敗ですな。7年前は2連敗スタートで、そこから2連勝して、3連勝目前というところで康晃が内川に同点ホームランを打たれて、延長で負けて、という感じだった。結局そのまま寄り切られて、2勝4敗で残念でした、という結果だったが、今回はどうなるでしょう？

で選挙の情報を見ているが、自公は結構大変なことに成ってるようだ。大物が続々と落選で、大阪伝統の公明党は全員落選とか。合わせても過半数にいかないという見込み。今回は流石に世間は大分お怒りのようだ。12時近くに成ってもこんなに議席が定まらないのは異例らしい。投票率はどれくらいだったのだろう？面白いな。まあ寝不足だし、明日は線形代数の講義と3時間のゼミがあるので、寝ないと。「夫が寝たあとに」が1時からやるようだし、それが終わったら寝るかな。11時くらいまで寝ればまあ十分だ。

ちょっと見ていた YouTube が色々気に成る。大学受験生向けの数学動画をちょっと見てるが、積分計算で自分が気付いたものを「神技」と言っていたが、いやー、凄いな。うん、まあ確かに小生は気付かなかったが。物凄い数の受験問題を解いたり研究したりしているらしいが、答の出るものを考えてるに過ぎないわけで、定積分は原始関数を求めてそれで出す、という方法で出来るのは例外的なものだということをご存知なのだろうか？4項間漸化式も解いていたが、いやいや、それは線形代数を使いましょ、というのがこっちの立場。4次多項式を Z 上で因数分解するのも、普通に2次式二つの積だと仮定して係数比較、と普通のことをやってるんだが、それも何か凄いことのように話してるが。まあああいう底抜けに陽気なキャラクターは受験生にはうけるでしょうが、受験に凝り固まってると大学行って苦労するよ、と言いたい。コメント欄を見ると、こう書かないと減点されるとか色々言ってる人がいるが、現場の意見としてはそんなのは枝葉だと思うことに皆で口角泡を飛ばして議論してる。積分定数書き忘れただけで本当に5点も減点されるんだろうか？どうですか、記述式の入試をやってる大学の先生方？どうでもいいことに気を使い過ぎで、小生が講義で「1次独立」と書いたり「一次独立」と書いたりしていたら質問が出たことがある。「どうでもいい！」と返答しておいたが、それを聞いてきた学生は目茶目茶出来るやつで、3回生時の講義では的確な質問をしょっちゅうしてくる奴だった。本質が何処かを3回生に成るまでに分かったということか。因みにそれから気を付けて「1次独立」で統一している。テキストもそうなってるし、下らんことで気を使わせたのはこっちも悪いと思うので。ゼミでもこう言ったり書いたりしないと小生から文句を言われると思って渋々色々やっている様子が伺えるが、大事なのは皆にちゃんと自分の意図することを伝えるのだ、ということを意識していれば、小生の言葉くらいどうでもいいのが分かりそうなもんだが。何か a とか b とか書いたら、それがどの集合の元か、というのを明確にするのは、話している側の聞いている側へのサービスだと思うんだがな。長くなった。この辺でやめておこう。

名古屋ナウ

今朝は10時40分くらいに目が覚めて起きた。シャワーを浴びて、11時半に成る前に出発。ちょっと関西みらい銀行に寄りたいので、草津田上を降りた後、正門前を左折して、ちょっと遠回り。こっちに引っ越してきてすぐ当時の「びわこ銀行」に口座を作ったが、職場に出張所があって、住処から一番近い銀行、ということで選んだのだが、職場から CD が無くなってしまった。「びわこ銀行」から「関西アーバン銀行」に名前が変わった時は、ゆうちょと提携してくれて、職場にあるゆうちょ銀行の出張所で手数料無しで卸せていたが、「関西みらい銀行」に成ったら手数料110円掛かるように成ってしまった。今時利息で110円もらうのは大変。ということでお金を卸すときは山科か南草津店で行っている。大分遠回りだが仕方ない。で軍資金を調達してから職場に行って、弁当を買って食べて、としてちょっとウダウダとやっていたら1時。

1時からは「代数学II」。今日は既約多項式の根体を構成してから、代数的閉体、代数的閉包などを定義して、代数的閉体で上から蓋をされてる時は代数的閉包が存在することは割と容易に示せるが、じゃあ蓋の存在を仮定しなかったら？と言ってから存在定理と一意性定理のステートメントを紹介。証明は今年も無し。選択公理というかツォルンの補題というか、そういうものが必要になる、と言っておく。で今までは「L/K を体の拡大とし、t∈L を K 上代数的な元とする」と言わないといけなかったのが、「t を K 上代数的な元とする」でよくなって嬉しい。で二つの元が共役とかを定義して、K 上代数的な元 s,t が K 上共役であることは K(s) から K(t) への K 同型で s を t に写すものがあることと同値とか、更にそれの代数的閉包版を証明したりとかしてたら時間。来週は正規拡大をやれる。難しい所だが、ちゃんと理解してくれればいいが。まあ教室に来て板書を写してるだけでは理解出来ないのは当然なので、後の頑張りを期待しないと。

この前ちょっと面白いことを Facebook で言っている人がいた。「中高大と大学で英語習っても、全然喋れるようにならない」というのに対し、「小学校から高校まで12年間も運動させられたけど、全然世界記録が出せない」と言われたらどう反論する？というもの。面白いこと言うね、と思って見ていたが、まあ結局課外にどれくらい時間を費やしたかが大事、ということだろうな。小生も英語力が飛躍的に上がったのは、論文を書くように成ってから。浪人してる時は読めて、単語を沢山覚えて、偏差値は鰻上りだったが、まあ今考えると大したことなかったね。早稲田には外国人の整数論屋がよく招待されてたから、彼等相手に英語を喋って、随分度胸が付いた。Alan Baker を東大から早稲田まで連れて行ったり、Zimmer に早稲田の行き方を教えたり。得難い経験だった。数学の講義も講義外の時間で色々やらないと分かるようには成りませんぜ、と今度1回生と面談する時に言おう。

講義後は代数的整数論のゼミ。今日はオイラー関数の代数体に拡張したバージョン、それを使ってオイラーの定理を代数体に拡張したバージョン、メビウス関数の代数体バージョン、メビウス反転公式の代数体バージョンなど。反転公式は何回証明を読んだり見せられても全然分かった気がしない。今日もひたすら呆然と聞いていた。その後単数の節に入り、代数的整数が単数であることとノルムが ±1 であることが同値とか示して、さあ、というところで予習が尽きたそうだ。そろそろディリクレの単数定理の証明が始まるが、ちょっと見たが何が何だか見当が付かない、というようなことを言ってた。単数定理とミンコフスキーによる数の幾何は代数的整数論の一番難しい所だ。仕方ない。デデキント ζ 関数やディリクレ L 関数を計算する話は今使ってるテキストには出てないが、M2 の学生が勉強している本には出てる。そこも難しくて、皆フウフウ言ってた。大体整数論を卒研でやりたいと思う人は解析や幾何が苦手としたもんだ。小生もそうだが。金子昌信さんや松本耕二さんの所に進学した学生は解析的なことばかりやらされるので、大変だろうと思う。九大だからとか名古屋大学だからとか、大学受験のような感覚で進路を選ぶと大変。京大に行くと数論幾何がどうしたとかいう話に成るだろうから、今度は苦手な幾何に振り回される。格好いいことをやりたかったら、何でも勉強しないとね。小生のような数学者の端くれで終わるならいいけどね。

ゼミが終わった後ちょっとドーピングして、名古屋へ向けて出発。住処へ戻ると、高速道路が混むので嫌。荷物を持って京都駅に向かって、新幹線で40分、そこから栄へ、と考えるだに面倒。職場から車でいけば楽。14時に名古屋に行けばいいのに、前の日から行くと成ると何か理由を書かないといけない。車で行くのも理由が必要、ということでそれら書類を出さないで済ませたいし、ホテルの領収書を事務に出すと悪巧みがばれるので、私費出張にした。いや、私費でももしものことを考えたら出張届を出すべき、と昔同業者が言ってたが、まあもしものことが無いようにすればいいので。いや、急病で倒れるということもあるぞ、と考えたらキリがない。まあいいです。で新名神、東名阪、名古屋高速と渡り歩く。新名神は3車線化工事中だが、所々工事は完成していた。が、途中の所は路肩が狭くなっていたりと、かえって怖い。大阪の中心部も京都の中心部を通らず名古屋へ向かえる、というのが新名神の趣旨だろうからな。最初から片側3車線で作っておけばこんな苦労はしないのでは？などと思って走っていた。で途中真っ暗で車が全然いない所があり、自分の車のライトだけが頼りで怖い所があった。名古屋高速はカーブが多くて怖いし。名古屋の街中はまあ何とか成ったが、ホテルが想像していた場所と違う。栄のアパホテルだから前に2度泊まった所だろうと思ったら違った。栄にはアパホテルが4つあるようだ。前泊まった所は大通り沿いだったが、今回のは狭い繁華街を抜けないといけなく、駐車場があるらしいが見付からない。で2度ほど交差点を曲がったらコインパーキングがあったので、そこでいいや、と停める。で降りたら逆側の入口が何とホテルの目の前の駐車場だった。ホテルの駐車場の入口もすぐそこ。が入口の目の前で荷物を降ろしてる人がいたので、気付かなかったのだった。ハイルーフ車用のスペースはもう埋まってるようだが、普通の車の停める余地はまだあったようだ。まあいいです。二晩コインパーキングに停めます。高く付くかな。まあいいです。

でチェックインの手続きをしたいが、アパホテルのカードは随分昔に作ったもので、読み取り用の磁気の部分が剝がれかけている。博多でアパホテルに泊まった時はカウンターの人が会員番号を手入力していたが、今日は新会員証を発行してくれて、会員番号は変わるが、貯めたポイントは引き継いでくれるという何ともありがたい申し出。ちょっと時間を食ったが、まあいいです。特にやることは無い。食事は土山サービスエリアで済ませてきた（わざわざ出先でいつでも食べられる近江ちゃんぽんを食べなくてもよかろうに、とちょっと後悔した）。明日は早くないし、のんびりしよ、ということで、ちょっとぼーっとしている。NHK のニュースと「報道ステーション」を見たが、スポーツコーナー以外のコーナーでワールドシリーズの情報をやってるが、日本シリーズの話題は後回し。気に食わんね。昨日の晩テレビの番組表ボタンを押して、日本シリーズがどのチャンネルでやるか探したが、無い。いや、流石にそれは、と思ったら、明日も明後日もちゃんと地上波で放送があるようだ。よかった。一時期でも Baystars の親会社だった TBS 系で第1戦、第2戦を放送してくれる。まあ明日は見られないけど。第2戦は NHK BS でも放送があるようだ。そっちの方がいいかな。日曜日は11時まで宿にいていいそうだから、それくらいにチェックアウトして、山科に急いで帰って、投票に行って、それから日本シリーズだ。忙しいぞ。

Baystars は社会人の竹田祐（25歳）を1位で獲得

昨晩は結局「チョコプランナー」まで見た。で寝床に入ってすぐ寝たかというとそうではなく、すまほで twitter を結構見てしまった。Baystars の CS 勝ち上がりの話題が多かったので。短時間のビールかけの動画（桑原が大活躍したという噂は聞いていた）など。横浜駅近くの百貨店などでセールをしているとか、横浜駅と関内駅は早くも日本シリーズモード全開に成っているとか、そういう情報を見てたらどんどん時間が過ぎていく。いかん、寝るぞ、と電気を消すが、中々寝られない。まあそうは言っても、結構早く寝入っているのだろうが。一時親父殿が寝られない寝られないと言っていて、それでも寝られないと言っていたらしいが、お袋曰くいびきかいて寝ていることがあったそうだ。本人が思っているよりは寝ているもの。が、それでも無茶が響いて、12時近くまで起きられなかった。シャワーを浴びたら飯の時間が無くなるので、急いで出掛けた。

で職場に着いたら、表で売ってる弁当は全て売り切れ。むう。生協で冷めた弁当を買おう、と向かう。トンカツ弁当があったので買う。で食べながらメールチェックしたら、今日ゼミで喋る番の学生が、昨日トラブルがあって医者に行くので、今日はゼミに出席出来ない、というメールが。急いできて急いで昼飯食べてゼミ無しかい、と思ったが、1時にゼミ室に行ってみた。すると、二人目の順番だった学生がやる、とのことだ。まあ一人目は P.I.D. ⇒ U.F.D を証明するだけのようなので、飛ばしても問題無い。が、二人目の学生が実は遅刻しているらしい。まあいいです。少し待ったら来たし。で二次体（と言っても Q(√－d)、d＝1, 2 の時だけだが）で素数がどう分解するかをルジャンドル記号の値で書いて、相互法則を使って完全にその素数の合同条件だけで分解の様子が分かる、という話。よく知っていることだし、眠いし集中出来ない。ちょっと他のことを考えているうちに結構時間が経っていたような気がするが、まだ黒板に主張を書いてる。書くのが遅い学生なのだろうか？証明もゆっくりゆっくり進む。数箇所ギャップのある所で詰めてきていない所があったので、眠気覚ましに突っ込んで考えさせ、同時に小生も考える。よく分からない所があったが、一人名案を出してくれて、すぐ解決。何だかんだと2時間くらいノンストップでやり続けた。疲れた。まあ眠くなくなってきたのでよかった。

ドーピングをしてから線形代数の準備。有限生成ベクトル空間なら基底が存在する、ということを証明しないといけなくなったので、勉強。何かよく分かったような分からないような証明だが、学生は理解出来るのでしょうか？という感じだが。R³ のベクトルが5本あって、そこから1次独立なベクトル系を選ぶ、という話が出ていたが、何かよく説明が分からないな、と思ったら、「1次独立なベクトルが n 個あって、もう1個のベクトルがそれらの1次結合で書けない ⇒ それら n＋1 本は1次独立」というのをさも当たり前のように使っているからだな、ということで、カンニングペーパーにその事実をメモっておいて、それと凄く当たり前だが、「b₁,…,b_n が a₁,…,a_m の1次結合で表されているとする。この時 b₁,…,b_n の一次結合で書けるベクトルは a₁,…,a_m の1次結合」というのも口頭でいいから注意しておいた方がよかろう、などなど。ラグランジュの補間公式は再来週になりそうなので、今日はその手前でやめておいた。明日の講義の資料を印刷してないぞ、と気付いてやろうとしたが、先週何処までやったか思い出せない。鞄を漁ると先週の講義資料がまだ入っていた。何処までやったかは印が付いてて、思い出せた。が、先週気に成ったことがあったんだった、と思い出して、そこを直して、それから明日の分を印刷。でもう9時くらいに成ってた。

帰ろう、と思ったら電話が鳴った。今日は2回セールスらしき電話（出なかった）があったが、この時間だと兄者だろう、と思ったら案の定。親父殿の現状に関する報告。兎に角物入りらしいので、援助を頼む、と何度目だか分からないがまた言われた。勿論構いませんて。口座番号を教えてくれるのかと思ったら、まだ必要に成るのはもう半月か1ヶ月くらい先だそうだ。で少々話して、9時過ぎに個研室を出た。今朝は駐車場を入ってすぐの所に停められたので、すぐ帰れてよかった。松屋で「リトアニア風ホワイトハンバーグ定食」というのを食べて帰ってきた。

10時過ぎに帰宅。「報道ステーション」でちょっと世情を仕入れる。ドラフト会議はどうなったろう？と思って見ると、宗山は5球団から1位指名で、交渉権は Eagles が獲得。宗山は嬉しそうだったから、まあよかったのでしょう。Eagles は御家騒動の多い球団。今江は1年で解任されてしまったし。交流戦優勝はあったがな。田尾も3年契約だったのが1年で解任だったし。まあ Eagles の話はいいや。Baystars は関西大学の金丸を指名したが、クジ引きの末涙。三菱重工 West の竹田祐をハズレ1位で指名。即戦力投手が欲しいということだな。清原ジュニアは指名漏れとか。まあ1回きりのチャンスではない。竹田は25歳だそうだし。30歳でプロに成った選手もいたな。若ければいいというわけでも上位だからいいというわけでもない。Baystars はドラフト6位の宮崎、ドラフト9位の佐野、山本祐大が活躍している。石井琢朗はドラフト外だった。元々投手で勝ち星も上げたが、打者に転向して2000本安打を打った。どうなるか分からない。今後の精進次第でしょう。

Fighters が1位籤を引き当てた選手は「柴田獅子」という名前だが、名前は「れお」と読ませるとか。Lions に行けば面白かったな。

もうどうでもいいが、梶谷が引退するそうだ。Baystars で「梶」と言えば梶谷のことだったが、今年一年の活躍で完全に梶原を指すようになった。FA で Giants に行ったが、よかったんだか悪かったんだか。行ってから数年優勝出来なかったし、今年は優勝したが、梶谷は全く働いてない。一軍出場は6試合とか言ってた。Baystars に居て、今年の CS 制覇の輪に加わった方が気分はよかったのでは？一緒に移籍した井納は、Swallows が一番いい条件を出してくれたそうだが、Swallows では優勝出来ない、と Giants を選んだそうだが、まさかそこから連覇。Giants は低迷した。2年で1勝しか出来ずに契約を結んでもらえず。Baystars なら先発の一角として投げ続けていられたと思うがね。FA ではないが、シーズン60本塁打の日本記録保持者バレンティンも Swallows を袖にして Hawks に移籍したが、大した働きが出来ず、1年で日本を去った。「金で夢は買えなかった」と言っていたそうだ。まあどう成るかはその時には分からないからね。小生の書いているのはただの結果論。もうこれくらいにしておこう。

ちょっと旅支度をしないといけない。明日は住処に帰ってくるのが面倒なので、職場から直行する。今からやる。その前にちょっとドーピングしよう。酒を呑むという意味ではない。

報告集の原稿を送って、ホッとした

「アンタウォッチマン」が終わって買い出しに行って、とそこまでは予定通り。ですぐ寝ればいいが、ちょっとゴソゴソとやってしまい、テレビを付けっ放しで寝床に入ってしまった。で熟睡出来ず、7時くらいには腹が減って起きてしまった。ちょっとボーっとしてから、報告集の直しを始めることにした。昔書いたものを見ると、間違いが多過ぎる。「less than」と書くべきところが「greater than」に成ってたり、「割り切れる」と書いた筈が「割り切れない」に成ってたり、\sqrt{\pm\varepasion} のはずが \sqrt\varepsilon に成ってたり。ということで丹念に見返すと、物凄く時間が掛かる。一度休憩したが、全部読み終わったらもう昼近く。間違いを見付けて直したり、計算を軽くチェックしたりと、相当消耗した。で昼飯を食べて、もうちょっとやってから、ちょっと寝床へ。2時間くらいしか眠れなかった。物理の先生から面倒な件でメールが来ていたので返事を書いたり、学部長選挙の第二次投票結果公示がメールで届いていたので目を通したり。教授会で建設的な発言をすると、名が通るので選ばれてしまうな。多分小生より若いと思うが、真面目そうな人だから、そりゃ上位に入るだろう。三人の名前が出ていて、もう一方は要職を色々やられた方だし、そりゃな。もうお一方はよく知らない。顔はちょっと知っているが、多分小生より年齢は上だな。頼り甲斐がありそうで選ばれたのだろうか？でもうちょっと直しを続ける。一昨日と昨日、ちょっと雑だった所を詳しくしたが、もう一箇所書き加えたい所が出て来て、ちょっと計算。どう変数変換したんだか忘れて、Mordell の不定方程式の本を見たり、ダウンロードしてあった Cassels の論文を見たりしたが、どうも思うに任せない。そこで閃いた。2000年に小生が書いたものを見れば分かる、と思って見たら案の定分かった。で SageMath で計算して、原稿に書き足そうと思って足したが、やっぱりやめた。何故かというと、TeX で18頁もの原稿を書いたのに、overfull が一箇所も無いという奇跡的な展開が続いていて、結構興奮していたが、そこを書き足すと激しく overfull してしまう。いや、やりようはあるのだが、今からやると大変なので、書くのをやめたのだ。でもういいことにして、9時くらいに pdf に変換して、念のためもう一度目を通して、まあいいでしょう、ということで岸さんにメール。いやー、話すのを依頼されてから今日まで、結構大変だったが、色々勉強に成った。一つ新しい定理を書けたし、まあよかった。たまには真面目に研究しないと、能力が腐るのでね。岸さんには大感謝だ。

作業中に7時に成ったが、何やら昭和歌謡の番組が始まった。最近こういう番組多いな。最近はご老体の方が人口比率が高いから、ターゲットは50～60代くらいだろうか。超絶面白かった。中森明菜が特集されていたが、あの歌を歌っていた頃はまだ19歳だったか、とビックリした。歌詞もそうだが、雰囲気も大人びてたな。最近車で宇多田ヒカルのファーストアルバムを聴いてるが、歌詞を聞くと相当背伸びしている雰囲気。当時は彼女は16歳だった筈だが。日曜日に竹内まりやの特集をやっている番組があったが、彼女はもう69歳だそうだ。ビックリだな。昼の番組で今日ニューアルバム発売と言ってた。日曜の番組でちょっと購買欲がそそられたので、買うか、という気に成ってる。

明日はプロ野球のドラフト会議だそうだ。何でこんな時期にやるんだろうと毎年思ってるんだが。Carp が1位指名に明治の宗山を指名してると公表してるそうだが、小生高校野球を殆ど見ないが、大学野球はもっと見ない。で宗山のプレーを「報道ステーション」で始めて見たが、凄い。Carp は菊池、矢野という凄い内野手がいるが、もう一人取るつもりか。ハンドリングはいいし、肩は強いし。打力があったら最強の内野陣が完成しそうだ。小園もいるし。肩の強いショートを言えば Baystars の森敬斗だが、凄いプレーを見せたかと思えば、とんでもない悪送球をすることもあるしな。宗山が活躍したら、森は他のチームの選手だが手本にすればいい。

26日から日本シリーズ、というのが Baystars 応援板での話題の中心だが、ニュース番組のスポーツコーナーはワールドシリーズのことばかり。同じ日に始まるが、多分ニュースはワールドシリーズ中心だろうな。27日は選挙もあるし、そっちだな。小生は勿論日本シリーズ中心で行く。月曜日の「プロ野球ニュース」で高木豊氏が、Hawks は近藤をどう使うかが鍵、と言ってた。近藤はアキレス腱を痛めて結構休んでいて、CS では DH で起用されていたそうだ。日本シリーズは横浜スタジアムで始まる。ということは近藤出られないか？モイネロは横浜スタジアムで大丈夫か？とも言ってた。数字で見ると Hawks 圧倒的有利だが、どうなるか分からんぞ。あ、思い出した。CS の好プレーの映像を全部流してくれたが、高木豊氏は牧が1アウト満塁でセンターに抜けそうな当たりを好捕して併殺打に打ち取ったプレーを取り上げてくれた。小生もやはりあのプレーが一番だろうと思っていたので嬉しかった。牧は12球団の二塁手で一番エラーが多いそうだが、CS では好守連発だった。日本シリーズでも是非。それと日本シリーズを決めたあの時のような勝負強い打撃を見せてもらおう。

ホッとしたからか、随分長く書いてしまった。今晩こそはちゃんと寝よう。今「これ余談なんですけど…」を見てるが、面白いな。「チョコプランナー」まで見ると2時半くらいに成ってしまう。限界が来たら寝よう。まあ2時半に寝ても11時半起きなら9時間寝られる。11時半ならシャワー浴びてから職場に向かうくらいの時間はあるし、弁当をゼミの前に食べるくらいの余裕はある。「チョコプランナー」まで見ちゃうかな。

ブックオフで色々売って1500円くらい

結局昨晩は殆ど寝なかった。分別作業の後、報告集の直しを結構一生懸命やってしまった。色々おかしい所目白押しで、どうしてこんなミスする？という所が沢山。それと、折角だからこれも書きたいぞ、とか始めて、どんどん時間が過ぎていく。いかん、寝ないと、と寝床に入ったが、やはり野球の結果が嬉しくて興奮しているのか、それとも報告集のためか、眠く成らない。YouTube 見ると大抵眠く成るんだがな。でちょっとだけ寝て、起きて昨晩の「プロ野球ニュース」を録画しておいたのを見たり。昨日の日テレ系の地上波放送は酷かったらしく、番長のインタビューを途中でバッサリ切って、MLB の放送に切り替えたとか。「報道ステーション」も殆ど MLB の話題で、スポーツコーナーでは一瞬取り上げただけで、車椅子ラグビーの選手の特集を長時間やったり。Baystars が優勝しても皆嬉しくないか。仕方ないけど。幸い CS の日テレG+では番長のインタビューと記念撮影、東京ドームを一同が練り歩くのを放送してくれて、まあよかった。日テレもそこまで酷くは無いということだな。テレビ神奈川で遅くまで放送されたそうだ。横浜に居たかったな。

で何だかんだと1時半くらいに住処を出る。この前本棚で数学の本を探すついでに整理したら、ラマヌジャンが主人公の映画の Blu-ray ディスクが3つあって、上杉謙信主人公の3巻ものの文庫本の第2巻だけ2冊、武田勝頼が主役の3巻ものの文庫本の第2巻だけ2冊、暗号のことを書いた文庫本の2巻ものの下巻だけ2冊と、と何だか訳の分からない状況に成っていたので、大学の近所のブックオフに寄って売ってきた。1500円近くに成った。レシートを見ると、本は10円とか20円とかなのだが、Blu-ray ディスクは700円。嬉しい。昔から立ち読みしているとお腹が痛くなるということがよくあったが、今日もご多分に漏れず。久し振りに和式トイレを使った。

2時半くらいに講義室に着いた。2時40分開始だから丁度いい。今日は大学院向けの講義。多項式の終結式を定義して、それを用いて判別式が計算出来ることを幾つか例示してやって、その後代数体の判別式について色々。自由アーベル群のことは事実だけあげて証明は自習ということで。で寝不足だとハイなので、沢山話して、ヘトヘト。道路が混む前に帰った方がよかろうということで直帰することにした。幸いフォレストハウス脇に停めることが出来たので。が、その前にちょっと生協の本屋へ。この前「大学への数学」が整数を特集していたので買ったら、理科大の加塩さんの2回続きのインタビュー記事の前編が載っていて、お！と思ったので、後編が出てる号が売ってないかと思って見たら、売ってた。買って、今度こそ帰宅。大津インター近くでちょっと渋滞していたが、大したことなく、三条通の渋滞も程々。5時半前に住処に着いた。

明日は天気が良くないそうだから、セブンイレブンに買い出しに行きたいと思っていたが、やっぱりちゃんと食べたいということで、Uber Eats に王将メニューを頼んで、食べて、で流石に眠いぞということで寝床へ。ちょっと YouTube を見てたら、今度こそ眠く成ってきた。高木貞治「解析概論」を勧めてる動画だったり勧めていない動画だったり、まあ色々だな。テレビを付けっ放しだったので、西田敏行追悼ということで「ドクターX」の特別版を放送することに成っていたのの音声が聞こえてきた。録画してあるので、いいです、ということで寝続けて、さっき起きた。ということで更新が日を跨いでる訳だが。あ、途中一回目が覚めて、起きようかと寝床で YouTube を見たが、うちの2020年くらいの入試に「ノーヒントだと京大並みの難問」というのの解説をしていたが、面白かった。よく数値が練られていて、うまく答えが出る問題を作ったもんだ。うちの入試はヒント目白押しなので、どんなだろう？とさっき起きた後検索して見たが、成程こんなに誘導付きか、と。前に多項式が重解を持つ云々という問題が出ていたが、採点の会場で凄くうまく出来ているのを採点するうちの一人が感心していたが、まあ入試とはそういう風に作ってるからね。今日の講義で多項式が重根を持つのと、その多項式と導関数が共通解を持つのは同値、という話をしたが、これは高校生でも理解出来る程度のことなのでちょっと話しておいたが、いかがだったですかね？でまだ眠いので、もう一度寝た次第。

もうこんな時間か。今晩は呑まないことにしよう。名古屋に金曜日に行くが、土曜日の懇親会までは禁酒としよう。体調も整えておかないと。起きたばっかりだが、程々にして寝よう。買い出しはまだ行ってないので、「アンタウォッチマン」だけ終わったら行って、それから寝よう。

日本シリーズ出場決定で、「横浜進化」はまだまだ続く

10時45分くらいに起きた。シャワーを浴びて、11時半に成る前に住処を出た。が、高速道路の入り口の手前で「草津JCT信楽方面渋滞」の字。うむ、と思ったが、更に悪い表示。「京都東－栗東 事故渋滞17km」。まあラッシュの時間は過ぎてるから大丈夫だろう、と思って名神に乗ったが、結構渋滞している。春学期に朝酷い渋滞だったことがあるし、これは大津で降りて、下道を行った方がよかろう、ということで大津インターで名神とはサヨナラ。やっぱりこの道は混んでなくてよかった、という感じで、スイスイと職場へ。12時15分くらいには職場に着いた。弁当を買って食べて。

1時から「数学IV（線形代数）」。今日は基底の定義に差し掛かるので気合を入れて臨んだ。が、1次独立、1次従属に慣れてもらわないといけないので、色々やって、その後も準備に色々時間を使ってしまい、定義して、基本ベクトル e₁,…,e_n が Rⁿ の基底であることを示したら時間に成ってしまった。むぅ。まだやることは一杯あるんだが。今日で4回目だぞ、いいのか、という感じだ。もう少し演習に任せて突き進んでもいいのかもな、という気がする。終わった後学生が一人来て、何だと思ったら、シラバスに講義内演習をやると書いてある、と言ってきた。やる時間あるでしょうかね。取り敢えず「まだやってない」と答えたら帰っていった。

その後個研室で事務作業をウダウダとやってたらあっと言う間にゼミの時間。他にやらないといけない事務的な雑用があるんだがな。福岡の話の報告集は金曜日が締め切りだし、そっちもやらないと。

今日のゼミは狭義イデアル類群の 2-part の話の続きから。ちゃんとやってきている模様。一箇所よく分からなくて三日考えたと言ってた。前は分かってんだか分かってないんだかよく分からない状態で喋っていることが多かったようだが、姿勢が改まってきたようでよい。分かる分からないの問題というより姿勢の問題だからね。そういう意味ではまだ失格の学生もいる。字面を読んでくるだけで、ちゃんと理解してない。突っ込むと案の定立往生。もうそろそろどうにかしないとね。

さて、野球だが、6時開始で、ゼミは7時半終了。途中で始まってしまう。ちょっと途中で小用を我慢できなくなり一旦ゼミ室を離れて、その時にチラッと見たら0－2とリードされている状態。うむ。でゼミが終わって個研室でパソコンを見たら、同点に成ってる。お！まだ8時前だが、帰ることにした。帰って優勝する瞬間を見てやるねん。

高速道路は渋滞しておらず、8時20分頃に住処に辿り着いた。テレビを付けると、まだ同点の状態。満塁でオースティンが凡退したりと、相変わらずの拙攻が続いている。が、リリーフは中川颯、伊勢としっかり抑えて、期待が持てる展開に。Giants は菅野をリリーフ登板させて、意地でも勝ってやるというところを見せてきた。が、9回に森敬斗がヒットで出て、代打柴田が送って、桑原のサードゴロの時に2塁ランナーの森が好走塁で3塁へ進み、遂に出た！牧のタイムリーヒット！最後は森原が抑え切って、日本シリーズ出場決定！皆さん「26年振りの日本一」と騒いでいるが、いやいや、リーグ3位で「日本一」はおこがましいでしょう。シーズンの成績は貯金僅か2で、今までの日本シリーズ出場チーム最低の勝率 .507。「日本一」はちょっとね。「日本シリーズ制覇」なら問題無し。チーム三度目の日本シリーズ制覇を目指しましょう。日本シリーズは横浜スタジアムで開幕。ということで、一方的な展開にでも成らない限り横浜スタジアムで優勝が決まることに成るでしょう。26年前の再来を是非！

Giants の先制点は森の悪送球が原因だったようだ。が、その後タイムリー3ベースヒット、好走塁からの決勝のホームインと、十分挽回したな。送球を安定させないと、また心無いファンが色々言う。日本シリーズでは安定したプレーをお願いしますよ、ほんまに。

しかし見ている時に濁声で「抑えろー、抑えろー」とずっと言っていたので喉がちょっと痛い。唸り続けると抑えてくれることが多いんで、ゲン担ぎにやってるわけだが。「打てー、打てー」もやってるんだが、あまり打ってくれない。まあ10回に3回打つと超上成績な競技だから、仕方ないな。まあよかった。今晩はちょと呑ませてもらおうかな。明日は2時40分からの講義しか仕事が無いのでね。早目に寝れば大丈夫でしょう。あ、明日は資源ゴミの回収の日だな。呑みながら分別するか。火曜日に講義が無いと分別作業をタップリ出来るんだがな。保健センターも講義の後の前だと落ち着かない。いや、1時から講義で終了後保健センターというのも嫌だぞ。来年度の時間割作成はどう成ってるんだろうか？教務委員の先生から何やらメールが来ていたが、違う件だった。時間割は中々確定しない。だから教務委委員は辛いんだが。学科長は火曜日が駄目だったりとか、小生のように私用で外してくれとか皆色々言ってくるからね。役職決めはいつやるんだろう？そろそろじゃないかと思うんだが。まあ暫く学科長は無いので、ちょっと安心している。今年もちょっと面倒な仕事をしてはいるが、学科長や教務委員に比べればそうでもない。来年度がどう成るかによってこれから色々やれるかどうかが変わってくる。閑職につけますように。

嫌な展開に成ってきた…

昨日は嫌な負け方だったので、ブログを更新する気に成れなかった。ふなごやに荷物を持っていく必要があったので、試合終了後車に荷物を積んで向かう。今の所に引っ越してきた頃は、隣が病院で、その病院の駐車場が住処の北側にあり、車が通れなかったのだが、病院は無くなり、駐車場も無くなって、今はそこに数軒家が建ってる。でその時に少し道が広がったので、北側に車を走らせられるように成った。ということで、前よりは短い移動距離で旧三条通に出られるのでよい。ちょっと雨が降っていたが、まあいいです、ということで向かって、荷物を渡して、一回住処に戻ってきて、それから再度向かう。勿論今度は歩いて。でいつもの通り何だかんだと結構遅くまで呑んできた。いつもは店長とバイトの女の人と三人で呑むんだが、バイトの人が娘さんを連れて来ていて、親子水入らずで呑んでいて、小生は店長と二人で呑んでいた。で母娘は割合早目に撤収されたので、その後店長とワインを呑んだり。いつもより酔ったな、と思ったが、いつも三人でワイン一瓶くらいなのが、昨晩は二人で呑んだからだろう。でいつもよりちょとだけ早目に撤収。楽しかった。

で例によって中々起きられなかった。相当寝たので体調は十分に成った。野球までちょっと時間があったので、この前の「ミラクル9」を途中まで見ていたので、続きを見て時間潰し。面白かった。

で野球だが、今日も嫌な負け方。殆どヒットを打たれなかったが、1－0で負け。得点はプロ入りしてまだ公式戦でホームランを打ってない選手に打たれたソロホームラン。むう。Baystars の方がヒットが多かったが、1アウト3塁での内野ゴロで本塁憤死で、その後盗塁死と、拙攻が続いている。まあ Giants 相手に3連勝はしたが、点があまり取れていなかった。明日こそどうにかしてくれ。明日は7時半までゼミ。その時点で Baystars が大量リードしていてくれればいいが。兎に角明日は絶対勝つ。7年振りの日本シリーズへ是非。パ・リーグは7年前の相手だった Hawks が Fighters 相手に3連勝であっさり勝ち上がっている。是非リベンジしたい。

有働由美子のやってるニュース番組を今見ているが、ピーコが死んだという速報が入ってきた。ビックリ。79歳だそうだ。おすぎは寂しかろう。西田敏行の話題が今やってる。米倉涼子は死ぬ二日前に食事を一緒にしたそうだ。人間死ぬ時は急だな。親父はまだもってる。兄者から最初に電話があった時は数日しかもたないようなことを言っていたが。福岡から帰ってきた二日後くらいに電話があったから、もう二ヶ月だな。もう相鉄沿線の施設に預けることが決まったそうで、兄者には苦労を掛ける。金の助けくらいしか出来ないので、遠慮無く言ってくれ、とは言ってある。そうそう横浜には帰れないんでね。振り込むしかないわけだが。去年だったか同僚のご尊父様がお亡くなりに成ったが、彼は死に目に会えたそうだ。小生は無理だろうな。母親の時も職場で教務委委員の仕事をしている最中に電話があった。幸い成績付けとか例の業務は終わっていて、M2 の学生は修論を提出した後でよかった。教務委員の仕事は事情を話して放り出させてもらったが。修論発表会の日が葬式だったが、幸い午前中に終わり、小生の学生は夕刻が出番だったので間に合って、実家から Zoom で参加した。コロナで悪いことが沢山あったが、色々オンラインで出来るように成ったのはよかったな。

明日の関東は寒いらしい。都心の最低気温が12度。が、週半ばはまた暑く成るらしい。京都は今日の最高気温が19度だったらしいが、また週半ばに夏日に成るとかとんでもないことを言ってる。体調には気を付けないとね。

オースティンの2試合連続弾で追い付き、ワイルドピッチが決勝点（ヒーローインタビューは中川颯）

8時前に目が覚めてしまった。寝不足だがいいか、ということにして、先週の「座王」を見たりして時間潰し。10時45分くらいに住処を発つ。

で少し時間があるので、はま寿司へ行こう、と思ったが、ちょっと混み始めた時間で、注文したものが5分、10分と出て来ないことがあって、嫌に成って1200円ちょっとしか食べてないが職場に向かうことにした。荷物を個研室に置いて、ちょっとお茶を飲むくらいの時間は欲しかったので。

で1時から「代数学II」。今日は前回積み残した単純拡大の話を幾つかして、その後有限次拡大は代数拡大とか、代数拡大に代数拡大を乗せても代数拡大とか。寝不足だとハイに成っていけない。今日も色々口走ってきた。疲れた。

が、休めない。2時40分から代数的整数論のゼミ。今日は同じイデアル類に入っている条件を加群の同型の言葉で言い換えることから。が、これが想像以上に難しい。で何だか二つのベクトル空間がであるということが書いてあって、ん？と思ったが、片方がもう片方の部分空間で、次元は自明に同じだったので、いい、ということになった。何だか騙された気分だった。その後代数体の整数環の合同式の話とか既約剰余類が何だとか。でフェルマーの小定理の整数環バージョンが出ていて、その後 Z でのフェルマーの小定理が書いてあったが、不思議なことに次に出てくるウィルソンの定理にはちゃんと「ウィルソンの定理」と名前が書いてあるのに、フェルマーの小定理の方には何にも書いてない。まあ有名な定理だからいいということだろうか。で5時半ちょいに終わったので、ウィルソンの定理の初等整数論的な証明をちょろっと話したり、ウィルソンの定理から素因数を一つも見付けないでも素数でないということが分かるよね、とかフェルマーテストとか、冪乗の早い計算法（指数を2進展開してやるというあれ）のことをちょろっと喋ってきた。寝不足でハイである状況が続いていたので、気分良く話してきた。まあ発表がちゃんとしていたからというはあるが。分かっていない所は結構あったが、分かっていないのを分かっているのでいいです。

で6時ちょい前に職場を後にする。もうこんなに暗いのか。そりゃもう10月も後半だもんな。高速道路は混む時間だな、と思ったら案の定。「草津JCT－京都南 渋滞17km」ととんでもない表示だったが、大津インターが近付いた頃に70km/h出せるくらいに成って、また京都東が近付いたら混み始めたが、まあもう大した距離ではないので。三条通も混んでいたが、まあ想定の範囲内。で右折してマンションの敷地に行くと、小生の車を入れる立体駐車場で、入庫作業中の人がいた。親子連れで何やらもたもたしていた。いや、別に苛立ったりはしないが、小生の後にもう一人待っていたので、ちょっと申し訳ないなという気に成ったので。で6時45分くらいには部屋に入った。駐車するまでの待っている時にスマホで野球の情報を見たら、0－1でリードされている状況。うむ。でテレビを付けると、岡本に一発打たれたようだ。が、吉野は3回1失点なら上出来でしょう。その後オースティンが同点ホームランを打った。で勝ち越し点は思わぬ展開から。オースティンの打席でランナー3塁。すると、Giants の投手の赤星がワイルドピッチ。労せずしてホームイン。でこれが何と決勝点。今日も2点しか取れなかったが、まあいいです。昨日の結果を見ると、併殺打を5本も打って勝ったようだし、今日も豪打炸裂ではなかったが、戸郷、菅野のエース級から勝ち星を奪い、ローテーションの谷間で勝つとは、何とも儲けもの。もう1試合勝てば7年振りの日本シリーズだが、まだ油断してはいけない。往年の近鉄ファンとしては、あの3連勝の後4連敗食らったシーンはまだ脳裏に焼き付いている。それに、前に Giants は CS ファイナルステージで Dragons に3連敗を食らった後3連勝仕返して日本シリーズ進出ということもあったそうだし。まあだけど、明日決まって欲しいな。明日は 10.19。近鉄ファンとしてはこの日は忘れられない日だ。もう近鉄 Buffaloes は無いし、後継球団であるオリックス Buffaloes は今年は惨敗だった。もう 10.19 の新しい思い出は、Baystars が CS 進出決定、しかない。明日も応援しよう。

で気付いた。10.26 は Baystars ファンには忘れられない日だが、今年の日本シリーズは 10.26 から。CS があるから、10.26 が日本シリーズの最終日ということは無いだろう。去年の日本シリーズは11月5日に終わったようだ。さ、どうなるでしょうね。

野球が終わった後、報告集の直しをちょっとしていた。ちゃんと読んでみると気に成ることが続々出てくる。25日が締め切りだが、25日の晩に名古屋に乗り込むし、今日と同じで昼から講義だゼミだと時間が無いので、木曜日には送ってしまわないと。月曜日の講義の準備を大抵木曜日にやってるから、そっちのことも考えないといけない。後1週間、色々やることあるな。若い先生に質問されている件があるが、そっちも片付けないと。やっぱり野球は明日決まって欲しい。まあ結果はどうあれ、明日は呑むけど。ちょっとふなごやに持っていくものがあるので。来週は名古屋だから行けないので、明日届けないと。

菅野からオースティンが決勝ホームランを打ち2連勝

やはり無茶は堪える。今日は12時近くまで寝てしまった。急いで出掛けるも、もう外で売ってる弁当は売り切れだった。仕方ないので生協で冷めた唐揚げ弁当を買う。まあ慌てず食べるくらいの時間はあったのでよかった。

1時から初等整数論のゼミ。今日は先週出来なかった平方剰余の相互法則の別証明から。ガウスの第五証明をシュミット、ルソーが改良、簡易化した証明だそうだが、何だかよく分からんうちに証明されてしまった。平方剰余はやっぱり難しいな。西来路さん達の書かれた本を紹介するのを忘れていた。その後ユークリッド整域が単項イデアル整域であることの証明。代数学Iでやった、でいいんだがな。ただ前から気に成ってるのが、(R,N) がユークリッド整域であるのの定義に∀x∈R [N(x)＝0 ⇔ x＝0] を課すかどうか。講義でやってる時は無くても大丈夫だと思うんだが、今日の証明を聞いていると必要だという気がしてくる。時間が出来たらゆっくり考えよう。少なくとも来年度の講義の前にはどうにかしないと。で今日は一コマで終了に成ってしまった。まあ線形代数の予習がしたかったので、早く終わる分にはいいです。

で線形代数のことを考え始める。来週は基底の定義をしないといけないが、まだ基底の個数が一定（つまり次元が well-defined であること）はもうちょっと先に成りそうなので、そんなに手間は掛からなそうだ。4時半前に昨日書いた通り学生が訪ねてきた。色々考えているようで、まあ整数論は大変だよと覚悟をさせた。色々勉強しないといけないが、楽しくやるには今のうちにタップリ勉強しておいた方がいい。楕円関数なんかも知っておくと面白いよ、と勧めておいた。1時間弱いたかな。ちょっと体論の質問もついでにしてきた。講義より先を行っているようで頼もしい。真面目そうな感じだし、大丈夫でしょう。チャラチャラしないで地道に勉強するのは大事です。

その後線形代数の続き。まあこれくらいで次回はいいでしょう、という感じに成った。でちょっと座標（基底の一次結合で書いた時の係数を縦に並べたベクトルをそう呼んでいる）を書くのに TeX で使ったことない書体をテキストで使っているので、TeX の本をひっくり返す。何か新しいパッケージを読み込まないといけないが、それもどうにかなった。ということで7時半くらいに線形代数は終わりにした。福岡で喋った件の報告集書きの続きを始める。来週の金曜日が締め切りだ。そろそろ慌てないと。で昨日の晩思ったのだが、文献を二つ追加して、定理を一個追加しようと。木田さんの業績を横取りするのは申し訳ないからね。で木田さんの証明を写せば済むんだが、何処に行ってしまったか分からない（住処にあるとは思うが散らかってるから）ので、計算してみる。一回目と二回目で結果が違ったが、二回目と三回目は一緒だったので、多分合ってるでしょう、ということで TeX 化。8時半くらいに成ってた。野球の様子を見たら、1点先制したところまでは知っていたんだが、2－1でリードしている展開に変わっていた。追い付かれたが、オースティンにホームランが飛び出したようだ。よしよし。もうちょっとで試合が終わるので、結論を見守ることにした。今日は森原が登板していた。よかった。でちゃんと抑え切り、連勝。二日とも2得点だったが、まあ勝てればいいです。しかも戸郷、菅野相手に2勝したのはデカい。明日もやってやりましょう。明日は吉野か。まあ過剰な期待はやめよう。印刷して帰ろうと思った所で気付いた。明日の講義資料を印刷しないと。先週の二の舞はごめんだ。

ココ壱番屋に美味しそうなビーフカレーがあるようなので、食べに行く。うん、スパイシーで美味しかった。肉増しがオプションであったが、追加すればよかったな。肉がちょっと少なかった。次回はそうするか。いや、近江牛のビーフカレーもあるようだし、次回はそっちかな。まあただ、ココ壱番屋は高くなったな。あっと言う間に1000円超えてしまう。この前牡蠣フライカレー、1辛、両普通で1111円だった。まあ高くてもこういう値段だと嬉しい。王将で極王炒飯とニンニク激増し餃子も1111円だ。ゾロ目とかキリ番とか嬉しい。この前大学の同級生が facebook で「キリ番ゲット」と512番の札を写していたが、これをキリ番というあたりは流石だ。

帰宅して「報道ステーション」を見ていたが、トップニュースは西田敏行死去のニュース。何かついこの間まで元気にしていたが。ある程度歳行くと急に容体が変化することがあるからな。幸いにも「ドクターX」の完結編の映画の撮影が済んでいたようだ。蛭間院長の役は大層気に入っていたそうで、終わるのが残念、という内容のインタビューが流れていた。一仕事やり終えての大往生だ。ご冥福を祈る。その後スポーツコーナーで CS の内容をやっていたが、オースティンのホームランは同点に追い付かれて5分後に出たとか。Giants ファンを奈落の底へ突き落すのには最高の一打だったな。明日も是非。

佐野のホームランと筒香の技ありタイムリーヒット、ケイの6回1被安打の好投で1勝1敗に

福岡で話した件の報告集書きを昨晩から今朝まで掛けてやった。何となく眺めると気付かないミスが幾つも見付かった。3 の筈が 5 に成ってる所とか、明らかに文章のおかしい所とか、数え切れないくらい出てくる。やっぱりちゃんと紙に写しながら読まないと駄目だな。そろそろ院生は修論書きを始めてる人もいそうな気がするが、真剣にやらないと駄目ですよ。と言いつつ、小生の昔書いたものを眺めるとミスばかり。「以下」が「以上」に成ってる所とか、例を挙げておいて「存在しない」とか訳の分からないことを書いたり。物を書くというのは大変なことだ。世の中に出回ってる本には相当誤植があるが、何百頁もあるものから誤植を根絶するのはまあ不可能だな。で一区切りついて、ちょっと書き散らかした紙をどうにかしようと思って、TeX 化しようとしたが、何か上手くいかないことがあって、考え始めてしまう。有限個の元が互いに素であることを定義する時って、悉く0でない元に対して定義するのだろうか？それとも0でないものが一つでもあればいいのだろうか？講義ノートを見ると、Z の元に対しては0でないものが一個でもあればいいとして定義していたが、後で U.F.D. の元に対して定義する時は悉く0でないとしている。うむ、Z（でなくて P.I.D. でいいが）の時は生成されるイデアルが (1) であることと互いに素であることは同値なので、0でないものが一個でもあればいいことになるな。さて？自分の話したものに整合性を持たせるのも難しい。時間のある時に考えないとな。などとしているうちに朝。うむ。

4時半から会議なので、4時くらいまで寝た。まだ眠い。会議は何やら簡単に済みそうなことが揉めに揉めて、その件だけで40分くらい掛かった。眠かったので、全然頭に入ってこない。まあ後で W 先生が収拾を付けてメールしてくれるでしょう、ということで。でその後も幾つか議題があったが、そっちは程々に済んだ。

でもう一寝入り。気付くと6時を過ぎていたが、眠いぞ。スマホで野球の速報頁を開いて、寝たり起きたりしながら見ていた。短時間でも寝ると夢は見るもので、Baystars が一方的にリードされている展開だったり、過去の映像を今の映像と勘違いしたり、と、全部嫌な夢。で7時を過ぎてしまった。スマホを見ると1点先制している。お！ということで起きた。宮崎が映ってたから、宮崎がタイムリーヒットでも打ったか？と思ったら、佐野がホームランを打ったらしい。よしよし。Baystars の先発はケイだから、まだ安心出来ない。ここのところ5失点（自責点4）、6失点（自責点6）、3失点（自責点2）と安定した内容ではないので。通算成績も6勝9敗、防御率3.42。が、今日は違った。6回無失点で、打たれたヒットは1本だけ。が、リリーフの安定度を考えると全然安心出来ない。7回に代打筒香が苦手の高梨からタイムリーヒットを打ち、2点目。打った瞬間ガッツポーズ。低めの変化球を三遊間に巧みに流すという、筒香らしからぬ小技。が、まだ安心出来ない。2番手の康晃が2アウトを取るもランナー二人を残し坂本に交代。三塁へ強烈な当たりを打たれたが、運よく真っ正面でピンチ脱出。8回は堀岡。Giants 時代は結果を残せなかったが、今日は古巣相手に東京ドームで無失点に抑えてガッツポーズ。で9回は当然森原、の筈が今日はベンチに入っていないらしい。故障か？東が登録抹消されているし、この前は宮崎がおんぶされてベンチに下がるという嫌な感じのことが続いていた。幸い宮崎は今日出ていた。で代役は伊勢。三者凡退に抑えて、これで1勝1敗（Giants には1勝のアドバンテージ有り）。戸郷から2点しか取れなかったが、抑えればいいのです。明日は大貫と菅野。大貫はシーズン最後の登板がよかったから、明日も期待しましょう。

スマホで明日の予定をチェックしたら、何やら片仮名2文字が書いてある。ん？と思ったら、学生と会う約束だった。名前は書かないが、片仮名2文字みたいな漢字の苗字の学生。前「探偵！ナイトスクープ」に、電車の中から見える家の表札に「カス」と書いてある、というのがあったが、その人は「力久」という苗字だった。読みは「りきひさ」。石田靖が探偵だったと思うが、「カスはお前らの方じゃ」と二人の依頼者に突っ込んでいた。当該の学生も変な読み方されたり、変なあだ名が付いたことがあったんじゃないだろうか？えーと、学生とちょっと来年度の卒研について話すことに成ってるのだった。長時間話さないといけないだろうか？線形代数の準備する時間あるかな？野球を諦めて遅くまで職場でやるか。

講義のある日の保健センター行きは落ち着かない

昨晩も何だかんだで結構遅かったが、今朝は10時ちょいに目が覚めてしまった。寝不足だが、保健センターに一番で受付をしたかったので、もういいことにした。うな松の100円引き券があるので、名物一本鰻を食べるべく、10時半くらいに出掛けた。うな松に11時ちょいに着いた。いつもここの駐車場で結構凄い音を発生させてしまう。歩道の窪みが狭くて、底をこすってしまってるんだろうか？しょっちゅうやってる。この前定期点検を済ませてきたが、特に何とも言われなかったので、大丈夫なんだろう。で食べて、100円引いてもらった。いつもは JAF の会員証を見せて100円割引なんだが、大抵どこでも2種類のクーポンを同時に使えないので、今日は JAF の会員証は見せないでおいた。

12時前に職場に着いて、1時までちょっとボーっと。で12時57分くらいに保健センターに行って、1時まで待って手続き。一番乗りだった。よかった。診察は1時半からなので、ちょと個研室へ戻って多少作業。1時25分くらいにもう一度保健センターに行って、すぐ呼んでもらえて、講義に影響が出ない時間に全て済んだ。よかった。やっぱり火曜日は講義が無いようにしてもらいたいな。今年時間割を作る先生に頼んでおこう。

2時40分から院生向け「数理科学特論1」。今日はノルムとかトレースとか。t のトレース、ノルムは、x に tx を対応させる線形写像のトレース、行列式と定義した。これだと値が下の体に入っていることは自明なのでよい。で共役元の和と積に成ることを示そうと思ったが、何かおかしなことが書いてある。ちょっと直して話す自信が無いので、来週話すことにして、その続きを話す。で一箇所おかしな所があって突っ込まれた。そこは単なる書き間違いだったので、すぐ直して済ます。その後多項式の判別式についてちょっと。来週は終結式の定義からやる。今日は2次式の判別式が b²－4ac に成るとか、x⁴＋x³＋x²＋x＋1 の判別式の計算だけしてきた。

で個研室に戻ってから、講義資料の直し。変なのの原因は、文字が x だったり t だったり α だったりしたのをどうにかしようと数年前にいじっておかしくなったのだと分かった。突っ込まれた件も一箇所を t にして、別の箇所を t に直し忘れたのだと分かった。うむ、やっぱり酷いな。原始元を θ にすると、学生は何か特別な意図があってやってるかと思うかと思って避けているが、θ でもいいかもな。まあこの秋学期はいじらないでおこう。再来年やる前にもう一度どうにかする。まあ大学院生だから、文字が t だろうが x だろうが a だろうが α だろうがあまり気にしないだろうが、中学生、高校生だとちょっと考えないといけない気がする。大学生でもそうかな。小生のこっちに来た頃の講義は、多項式を f(x) で書いたのに多項式環から別の環への写像をまた f で書いたりと、今考えると酷いことこの上なかった。少しは気にして色々やったが、大学院生相手だとちょっと油断してしまう。また考えよう。で今日の分の直しをして、web に上げて、それからちょっと福岡で話したのの報告集の直し。来週が締め切りなので、そろそろ完成させたい。が、作文が上手くいかなかったり、ちゃんと読んでみると数学がおかしかったり。こっちも真剣にやらないといけないな。あ、来週名古屋に行く件でちょっと予約を取り直さないといけない件があった。電話するのを忘れていた。明日やろう。

で根を詰めたいところだったが、調剤薬局の受付が8時までなので、7時には職場を後にした。高速道路の手前の電光掲示板に「草津JCT－瀬田東JCT 事故車あり 注意」の表示。またおおごとに成るのか？と焦ったが、もう最混雑の時間は過ぎていて、路肩に1台停まっているだけだったので大丈夫だった。調剤薬局には7時半くらいに着き、35日分処方してもらってくる。何年か前に、一週間分の処方箋しか出せなくなると見たような気がしたが気のせいだろうか？気のせいだろうな。今日は35日分だったが、夏休みは診療のインターバルが長く成るので、60日分くらい一気にもらうこともあるし。

帰ってきてテレビを付けると、サッカーがやってた。眠かったので音声だけ流して横に成ったが、暫くしたら日本がオウンゴールで今大会初失点、と聞こえてきた。まあ毎回は勝てないよね、と思って暫く経ったら追い付いたという音声。結果はドローだったが、こういうところで負けないのが昔と違う所だな。

でその後メールを見たら、明日は会議があるようだ。むぅ。まあまた住処から Zoom で参加するのでいいです。で講義中に届いたと思しきメールを見たら、大事な件を忘れていたことが判明してしまった。今日何かあると先週言ってたな。こういうのは当日でなく、せめて前日までに教えて欲しいが。去年は学科会議のある無しは毎回前日に報告していたが、今年の学科長は最初の頃は教えてくれなかった。オンラインカレンダー共有してね、という趣旨だったが、小生そういうのが全く分からない。「せめて前の日には教えてください」とメールしたら、その後は教えてくれるように成ったのでよかった。明日はある、ということで、覚悟します。

あ、明日から東京ドームで Giants をボッコボコにする日々だったな。6時からのようだ。会議は4時半開始だから、最初から見られるかもしれないしそうならないかもしれないし。ファーストステージはロクに見なくて勝ったから、今回も見ないことにしようか？と思わないでもないが、やはり見たいな。見よう。

明日から「相棒」が始まるらしい。勿論野球を見ると決めたからには優先なので、「相棒」は録画しておく。前に第8シリーズまでまとめて買ったが、ようやく第6シリーズに入ったところ。先は長いな。まあある程度から先は見ているので、もう少しだ。名古屋は近過ぎるので、見る時間は無い。また実家に帰る時だな。ってそれはもしかするとという場合だが。当分帰らないで済めばいいが。

祝日講義日も1回生はほぼ出席している

結局「夫が寝たあとに」の後も暫く起きていた。色々やりたいことがあっていかん。最終的に目をつぶったのは4時近く。で当然中々起きられず、11時半過ぎにようやく起きた。シャワーを浴びて、12時ちょいに出発。

今日は祝日なので、京都東－草津田上間はいつもより140円安く440円。駐車スペースにも空きが結構あって、ウェストウィングの近くに停められた。が、いいことばかりでなく、表で売ってる弁当が目の前で丁度売り切れた。まあ生協に弁当の在庫が十分あったのでいいが。多分祝日講義日は幾つかある食堂の一部が休業なのだろうな。個研室には12時半ちょいに着いたので、割とゆっくり食べられた。

1時から「数学IV（線形代数）」。今日は有限個のベクトルで張られる部分空間とか、有限個の部分空間の和空間とか。でその後1次独立、1次従属など。春学期に連立方程式について詳細にやってあるが、その時の知識がガンガン役に立つ。嬉しい。連立方程式の解の自由度とか基本解とかそういうのをやるのに1次独立、1次従属についてはやっているので、まあまあ慣れているでしょう。が、1個のベクトルが1次独立なことと零ベクトルでないことの同値性の証明は面喰ったろう。数ベクトルの時は両辺の成分を比較すればよかったが、 a＝1a＝(k^-1k)a＝k^-1(ka) とかやられてもね、という感じだろう。慣れてください。祝日だけど出席者は多かった。春学期に祝日潰しが何回かあったろうから、1回生とはいえ慣れたものなのかな。秋学期は月曜の祝日が多いぞ。成人の日以外は全部講義日に成るので、覚悟せよ。

個研室に戻って、講義資料をちょいと直して、manaba＋R に上げて、来週の作戦練りをちょっと。当たり前みたいなのを何も考えずに済ますとえらい目に遭うので、ちゃんと説明しようと考え出すも、存外面倒くさい。うまくいかない内に4時10分くらいに成っていた。ゼミの前にちょっと用足しに、と思ったら、演習を担当している若い先生にちょっと捕まった。ちょっと先の所だが、何かうまく説明がいかない所があると言う。考えておく、と話して、勘弁してもらう。

4時20分からゼミ。今日もイデアルのノルムとかコホモロジーがどうしたとか。こちとら河田先生の本で有限群の Tate コホモロジーを勉強した身。自明だ、と言ってしまえればいいが、そういうわけには流石にいかない。で考え出すと存外面倒だ。それと、あるコホモロジー群が消えることの証明が出ていたが、Hilbert 90 を使えば一発なのだが、くどくど書いてある。証明はちゃんと理解しているようだから一通り話させて、その旨コメントしておく。結構高級な議論が平気で出来た。皆こうだと助かるが。で選手交代。最近とみに真面目に成ってきた学生で、色々理解が怪しかったりするところはあるが、分かることと分からないことの区別がちゃんと出来てきているので、まあいいです。本の書きようで一箇所気に食わない所があった。あるコホモロジー群が狭義イデアル類群の 2-Sylow 部分群と関係ある、という定理があって、その後コホモロジーの位数がどうとか書いてあるのに、この二つを関連付けた主張が書いてない。いけないよな、と思ってコメントしておいた。まあまあ順調で、予習が尽きたのが丁度7時半くらい。ちゃんと自分がどこで沈没したか分かっていたので、まあいいでしょう。来週は続きをやって、で段々大団円が近付いてきた。長かったが終わりが見えると嬉しい。頑張ってください。

個研室に戻って、今日の線形代数の講義の進捗を若い先生に教えて、卒研のことで相談があるという学生のメールに返事を書いて。どうやら卒研は二人以上は確保出来た。多過ぎるのも大変だが、0名だと講義を沢山やらないといけないので辛いからね。正直今年度はここ数年で一番沢山講義をやってるが、どの講義がどこまで進んだか、混乱することしばしば。今日も開始前に学生にノートを見せてもらった。まあこのブログに色々書いてるので、思い出すにはいい。で9時過ぎに職場を発つ。

吉野家で牛丼100円引きがやってるので、狼川の吉野家へ向かう。でビックリした。今牛丼って通常は498円（税込）なのね。小生が学生の頃は300円しなかったと思うが。いや、300円は超えてたかな。いつも新大久保の神戸らんぷ亭（牛丼一杯280円）に寄ってたから、そっちと混同してるかな。398円で美味しく食べてきた。

今日ゼミで喋っていた学生の一人は Fighters のファンだった。今日は Baystars は試合が無いのでいいが、Fighters は試合があった。ゼミ開始直前には2－2だったが、ゼミ中に一区切りついたところで見たら、Fighters が2点リードしていた。ゼミ終了後に見たら、5－2で Fighters が勝った。帰ってきて「報道ステーション」で結果を見たが、清宮が活躍したようだ。前半はもう清宮駄目だな、と思ってたんだが、後半は大当たりだった。クビか、よくて現役ドラフト要員だろうと思ってたが、これなら大丈夫だな。アメリカではドジャース vs. メッツで、大谷 vs. 千賀が。千賀はこんなにコントロール悪かったかいな？というくらい四球を連発していて、豪打ドジャースが送りバントを多用していた。シーズン10だったかと、超少ない攻撃的なチームだが、今日だけでバント二つ。でいずれも得点に結び付けた。やっぱり短期決戦は送りバントは大事だな。Baystars もシーズン終盤はバントを結構していた。Giants の試合でもやった方がいいだろうな。よし、横浜スタジアムで日本シリーズが出来るよう願おう。パ・リーグは是非 Fighters に。エスコンフィールドも横浜スタジアムも満員に成るぞ。頑張れ。

CSファーストシリーズ突破！

例によって結構遅くまで呑んできた。でいつもは帰ってきてすぐダウンするのだが、ちょっとやりたいことがあったのと、それが済んでからも数学の下らんことを考え始めてドツボにはまり、無駄に使うこと数時間。いかん、寝るぞ、と寝床に。

が、ちょっと気に成ることがあってスマホでメールを見る。何が気に成ったかというと、今日は津田塾大学で数学史のシンポジウムがあって、そこで足立先生が話すことに成っていた筈。で確かにそうだったが、Zoom で参加するには事前登録が必要で、もう随分前に申し込みの期限は過ぎていた。足立先生は長崎で話されたが、ご本人が twitter で長崎の時はちょっと未完成で、その後気に入る所まで話を詰められたと書いておられたので聞きたかったが。まあ仕方ない。26日に名古屋で小松ダブルヘッダーがあるが、こっちも懇親会の申し込み期限が過ぎていて、うーむ、と思ったが、主催者の一人に連絡をとったら、懇親会参加OKと言われて嬉しかった。このブログを読んでいる一部の方はご存知の通り、赤っ恥をかいたが。

CS第1戦は関西のNHK地上波で放送していたが、今日はNHK BSで放送する、ということでチャンネルをあわせておいて横に成った。が、全然起きられなくて、時々聞こえてくる音声を頼りにしていた。有利に進んでいる模様。ジャクソンは今日もいいようだ。で暫くしたらもう違う番組の音声が聞こえてきたので、スマホで見ると勝ったようだ。これでCSファーストシリーズを下剋上で突破。よしよし。明日は祝日だがうちは普通営業。試合があったら2時開始で、2時は講義中。その後一コマ空いて4時20分からゼミだから、試合の決するのはゼミ中になる予定だったが、今日決まってよかった。水曜日から東京ドームで Giants と決戦。今度もやってやりましょう。

「サンデースポーツ」を見ようと思って、漸く起きた。1点先制されたが、その後あっさり逆転。少し停滞気味の状況が続いたが、代打フォードのホームランで勢い付き、7回に一挙6点で勝負あり。シーズン途中に計算が立たない新外国人を獲得するのには少々懐疑的だったが、CSではジョーカー的な働きをしている。獲っておいて正解だったな。今後も更なる活躍を期待する。

パ・リーグは Fighters がサヨナラ勝ちで1勝1敗。9回裏の時点では Marines がリードしていたが、万波に同点ホームランが飛び出し、10回に淺間のサヨナラヒットで勝ちという展開に。明日はどうなるでしょう？

監督人事もここ数日で色々あった。Tigers は岡田監督が退任。最初から2年問という約束だったようだ。退任の話題が少し前に出ていたが、矢野の時のように大事な戦いの前にこういうデリケートな話題があると選手の士気が上がらないというか動揺するのか分からないが、いい結果は出ないな。後任は藤川球児。コーチ経験すらないが大丈夫だろうか？Buffaloes は岸田護、Lions は西口文也。藤川は44歳だが岸田は更に若く43歳。一気に若返ったな。西口は何歳だろう？多分これで12球団全ての監督が小生より年下に成った筈。歳をとったな。

上に書いた通り、明日は平常営業。高速道路が安く成るのくらいしか魅力は無い。早く行かないと弁当が売り切れているかも。「夫が寝たあとに」が終わったら寝よう。

CS第1戦は3位の Baystars と Marines が勝利。

今日の予定は4時にトヨタに行くだけ。半年に一度の定期点検のため。ということであまり早起きしなくてよいため、つい深夜に下らんことを考え始めてしまった。いや、超自明なんだが、と思ったらそうでもない。一般の環では無理（反例あり）で、代数体の整数環相手でも怪しいぞ、と。で結局「おはよう朝日土曜日です」が始まってしまった。阿呆や。結局よく分からなかった。後で TeX 化しようとして、メモだけ残して横に成る。

で起きたらもう CS が始まっていた。Baystars が1－0でリードしている状況。先発の東は好投していたが、何故か5回で交代。調べるとヒットを打った際に左足を痛めたとか。うむ、全力プレーは大事だが、投球に影響が出ると困るな。この後の出場はどうなるでしょうか？で4時近く成ったので、後ろ髪を引かれながらトヨタへ。

定期点検は1時間程掛かる、といつもの通りを言われていて、担当の人が今日は不在だそうなので、話し相手がいないということで文庫本を持っていく。大分進んだ。車が不調をきたしたときに置く三角のやつ、何て言うの？それを持ってるか聞かれたが、持ってない、と答えると、何やら車の上に磁石で貼り付けて、ランプを点滅させるという代わりに成る奴を4000円くらいで買わされた。まあいいです。野球の様子を見ると、まだ試合終了前。オースティンが2点タイムリー2ベースヒットを打ったようで、3－0に成っていた。

住処に戻って見ると、試合は終わっていた。3－1。抑えの森原が1点取られたようだ。まあいいです。勝つのが大事。明日勝って、月曜日は講義の後始末とゼミに集中したいので。

その後下らんこと考えて時間を無駄に使ってしまった。で NHK の7時からのニュースで CS の様子を流してくれるだろうと思って見たが、ドジャースがパドレスに勝ったというニュースと政治、ノーベル平和賞の話だけで、教えてくれなかった。深夜の「プロ野球ニュース」を録画しておいて後で見るか。でチャンネルを回したら「キングオブコント2024☆」がやっていた。途中から見ている。面白い。ロングコートダディが決勝に残った。さて結論は？最後まで見るか。ふなごやには終わり次第行こう。

大山のぶ代死す

早寝しようと思ったが、つい福岡で話した件の報告集が気に成って、直し始めてしまった。画面を見たり印刷した物を眺めるだけだと見付からないミスが、ペンを持って書きながら見ると、まあ後から後から雲霞の如く出てくる出てくる。全部目を通したら何時に寝られるか分からないから、二つの話題を話したが、一つ目が終わったら寝る、と決めて、3時前には寝床に入った。が、今度はスマホをいじり始めてしまい、4時近くに成ってしまった。やばい、ということでいい加減寝た。

で今朝は起きたら12時を回っていた。やはり8時間くらいは寝てしまうな。急いで出掛ける。で運転している最中に気付いた。今日の分の講義資料を印刷してないぞ。正門前の交差点の赤信号は長いので、鞄の中身をチェックする時間があったので、見てみたらその通りだった。さて、飯を食う時間が無いくらいのタイトな状況だったので、個研室へ行って印刷して、という時間は無い。フォレストハウスの各階に「プリントステーション」なる物があることを知っていたが、パソコンとコピー機のような物がある。これで pdf くらいなら印刷出来るのでは？と思ってやってみた。USB メモリーを差し込んだらちゃんと認識してくれて、viewer の印刷ボタンを押してみたら、何やらうまくいきそう。ただ印刷された物が出て来ない。学生証を置け、という場所があるのに気付いたので、教員証でも大丈夫だろう、とやってみたら出来た。よしよし。で講義室には5分程遅刻。

金曜日は「代数学II」の講義。今日は単純拡大の構造定理。代数的とか超越的とか定義して、最小多項式の定義、最小多項式であることには既約性を示せばよい、とか順にやって、最後に代数的な元を一個添加した時は拡大次数が最小多項式の次数と一致することを証明して、幾つか例をやったら時間に成った。もう5分あればキリのいい所まで行ったのだが、上に書いた通り5分遅刻していた。残念。で後で気付いた。Q(2^1/3) は {a＋b×2^1/3｜a,b∈Q} ではない、と強調しておかないといけないのだった。まあいいです。来週覚えてたら言う。

講義中は適宜飲み物で喉を潤すんだが、今日は飲み物を買う時間すら無かった。口の中がパサパサに渇いている。食事もしないといけないから、生協で冷えた唐揚げ弁当を買って、5分弱で流し込んだ。5分くらい遅れてゼミ室へ。

代数的整数論のゼミは2時40分開始なのだが、2時45分頃に行ったら今日喋る筈の学生が来てない、とのこと。うむ、もう少しゆっくり食べられたな。5階に常駐しているようなので、もう一人の学生が様子を見に行って、戻ってきた。寝ていたらしい。疲れているな。まあいいけど。で今日は素数 p に関するアイゼンシュタイン多項式の根 α を添加した体 K＝Q(α) では p が完全分岐するとか、(O_K：Z[α]) が p で割れないとかを示して、例を幾つか。判別式が49に成る例が出ていたので、判別式の絶対値は必ず1より大きいということをコメントしておく。でその後イデアル類群の定義をして有限性を示した。M2 の学生に読ませた本では代数的整数の定義が中々出て来なくて、その後イデアル類群までちょっと掛かる。昔石田信先生の「代数的整数論」を読んでもらった時もあるが、この本はイデアル類群が相当先に成らないと出て来ない。 どの本にも面白い所というか、著者のマニアックさ度合いが色々出るので、面白いんだがな。山本・藤崎・森田「数論への出発」に証明がもっと書いてあるといいのだが。まあ副読本として見てもらうにはいいかな。イデアルの2乗を計算するとかが沢山出てて、実際に手計算する時は滅茶苦茶役に立ってるからな。藤崎先生の本は計算例が多いので嬉しいな。結局何かやる時には計算出来ないとどうしようも無いのでね。5時50分まで時間は取ってあるが、5時25分くらいに終了した。

報告集を昨晩結構直したので、印刷して6時前に職場を発った。上に書いた通り講義前の時間がタイトだったので、大きい駐車場の奥の方に停めたら間に合わないということで、フォレストハウス脇の「講義車用駐車スペース」と書いた所に停めたので、近くてよかった。パイロンを戻しておかないといけなかったが、後ろの車も後退ランプが光っていて、左側に通行したくて待っている車がいたので、パイロン戻しは省略。まあいいでしょう。高速道路は案の定渋滞していた。高速道路を下りた後もそこそこ混んでたが、まあ先週の悲劇に比べたら大したことない。6時40分くらいには住処に辿り着いた。

その後報告集の直しの続き。紙に書き書き読んでみると、相変わらず妙なことが沢山書いてある。赤入れして直して、の繰り返し。25日が締め切りなので、そろそろどうにかしたいところ。20頁以内にしてくれと言われているが、現状16頁。まあ大丈夫でしょう。大筋は固まっているので、増えてももう1頁くらい。やるぞ！

「報道ステーション」は日本被団協がノーベル平和賞受賞の件を長いことやっていた。日本は唯一の被爆国だし、まあ当然かな。もうあんなことはあってはならない。その後大山のぶ代死去のニュース。90歳。やはり彼女と言えばドラえもんだな。実は「サザエさん」のカツオの声の初代だったらしい。知らなかった。最近ドラえもんを見ても違和感を感じないなと思ったら、もう今の声優に成って19年も経つらしい。最初は確かに何か違うな、と思っていたが。時代劇ファンにとっては、「江戸を斬る」のお咲の役も印象的だったな。金四郎のお婆さんのお付きということで、金四郎の役宅に一緒に上がり込んで、何かとやるという感じの変な役だった。用人の原田喜左衛門との寸劇が面白かった。まあ世間の人にはドラえもんの声だろうな。ご冥福を祈る。

弁当は冷めた唐揚げ弁当でなく、900円のハンバーグ丼

今朝は11時半過ぎまで寝てしまった。まあ睡眠をタップリとれたので、よかったかな。シャワーを浴びて、12時15分くらいに出発。駐車場は今日も激混みで、相当奥にでないと停められなかった。で昼飯を食べる時間が無いので、ウェストウィングの一階でパンを買って、コーヒーで流し込んで臨戦態勢。

今日は平方剰余の相互法則の別証明をやる筈だったが、予習する所を勘違いしてきたと、訳の分からないことを言ってた。仕方ないのでそこは来週に回して、虚二次体の章に入ることにした。今日は共役が何だとかトレースとノルムが何だとかやって、Q(√－d)（d は square-free な自然数）の整数環を d≡1,2 (mod 4) の時に決定する話など。途中黒板に軽微な書き損じをしていたが、それに聴衆の一人が何やら噛み付いていた。その程度のことは見逃しましょ。毎年そうだが、何やらマウントを取りたがる学生は必ずいる。そういう学生がいて便利なこともあるが、ちょっと雰囲気を悪くすることもあるし、まあ穏やかにいきましょうや。でその後 d＝1, 2 の時は Z[√－d] がノルムに関してユークリッド整域に成ること、d＞3 の時はそうは決して成らないことを証明して終わった。来週は E.D. ⇒ P.I.D. ⇒ U.F.D. を証明するようだ。毎年思うんだが、「代数学Iでやったからバッサリ略」とやってくれて構わないんだがな。まあ代数学I, IIとも出席している学生はほぼ皆無なので、やったのを知らないのかもしれない。苦労して web に講義ノートを上げたが、読んでいないということだろう。今年から web に上げるサービスはやめたので、去年よりは出席者が多いな。そういえば過去に体の拡大の原始元定理を「証明は講義と全く同じなのでスキップします」と言った学生が一人いたな。卒研では代数体の勉強をしたが、大学院では多重 ζ 関数とかやったようで、全然関係無かったと言ってたな。今調べたらちゃんとパーマな職に付いてる。ただあまり恵まれた環境では無いようだが。期限付きの職を渡り歩いて、ようやく今の職に就けたという感じだ。今の若者は大変だな。

ゼミ終了後は事務にちょっと書類を提出に行って、それから食事。生協で冷めた唐揚げ定食でも、と思ったが、キッチンカーで売っているメニューにちょっとそそられたので、そっちに。一番安いメニューでも600円くらいで、ステーキ丼は1100円。これでは学生は買うまい、と思って「まだあります？」と聞いたら、案の定ある。1100円はちょっと高いから、900円のハンバーグ丼にする。うん、美味しかった。でその後線形代数の講義の準備。昨晩ちょっとやって多少目鼻は付けておいたから、今日は少しだけ。まあ調子のよろしくないのもあるが、「ゴチバトル」を録画予約したか定かではないため、7時前に住処に着きたいというのもあった。6時過ぎだから高速道路は渋滞しているに違いない、と思ったら、存外空いてた。60km/h をたまに割る程度。でちゃんと6時45分くらいに住処に着いて、確かめたら予約してあった。何だ、じゃあもうちょっと職場にいてもよかったかな。まあいいです。

で Uber Eats に王将メニューを頼んでから、先週の「座王」を見て、届くのを待っている間にちょっと気に成った二次体のこと。Q(√－21) のイデアル類群を決定させる問題がゼミの本に出ているが、Minkowski bound が6未満なので、ノルムが5以下のイデアルを見れば十分。で前にこの問題を解いた時はノルムが5以下のイデアルの関係式を一生懸命探したが、考えて見れば素数が3つ分岐してるから、2-rank は2。でノルムが5以下で単項イデアルでないイデアルは4つしかないから、何も考えずにイデアル類群はクライン四元群 V₄ と同型、と出来る、とゼミ中に閃いた。真面目に聞かないで内職に励んでいたわけだ。が、これじゃ面白くない。やっぱりイデアルが同値であることを直接単項イデアル倍の差しかないことを試したいぞ、と。で前にやった時の解答を見たが、どうも SageMath で色々補助の計算をして解答を無理くり作った感があった。二次体の二つのイデアルが同じイデアル類に属するかって連分数で判定できるのだった、と昔のことを思い出して、高木貞治「初等整数論講義」を引っ張り出して眺めたが、あまりよく分からない。昔やった時は単項イデアルの生成元を求めるんだから簡単だったのかな？類数1の体しか扱ってなかったから、最初から単項イデアルであることは分かり切っていた。まあいいや、後日やろう、という所で飯が来た。

食べながら林修先生がやってる番組を見てたが、色々小生の育った昭和の頃と令和の今では常識が変わっているらしい。風邪にはビタミンC、というのは意味が無いらしい。他にも風邪を引いたら無理やり寝て汗だくに成って、治った、ということではないとか、色々やってた。ふーん、という感じ。面白かった。階段は昇るのより下る方が筋肉を付けるにはよい、というのは前から知ってた。「所さんの目がテン」で大昔やってたが、サンシャイン60を1階から最上階まで苦労してリレーで上がると、各選手フラフラで、下る方は余裕綽々だったが、次の日に地下で待ち合わせると、昇った人は楽々下っていたが、下った方の人は筋肉痛が酷く降りられなかった、というのを思い出した。まあ歩きで昇ると心肺は鍛えられていいだろうという気はする。秋学期の講義は月曜と木曜の講義を3階でやってる。歩いて昇ってるよ。個研室は6階なのでさすがにエレベーターを使うが、山科の部屋は2階で、車を停めてからエレベーターに行くより、通用口から入って歩いて昇った方が何分も節約できるし、2階だからね。ということでエレベーターは普段は使わない。重たい宅配便の荷物が不在中に届いた時はエントランスにある宅配ボックスから取り出してエレベーターを使うが。で思い出した。一昨日荷物が届いてたな。起きられなくて、まあいいや、と寝続けて、昨日は忘れていてまだ取り出してない。後で行ってこよう。

明日は1時から講義で、2時40分から3時間くらいのゼミ。講義の前に食べておかないと、本当に飲まず食わずに成ってしまう。今日も程々に寝ないと。土曜日はトヨタに車の半期に一度の定期点検。4時からにしてしまったが、土曜から CS が始まり、調べたら2時からのようだ。うむ、試合の結末は見られないか？で夜は呑むだろうから、日曜日は見られない可能性があるし、月曜日は祝日で試合があるが、うちには祝日は関係無い。全く見ないで終わるか？まあ土、日と Tigers を破ってくれれば、月曜日は講義とゼミに集中出来る。逆は嫌だけどね。Baystars の結果によって小生の講義やゼミでの機嫌が変わる、とこっちに来たばっかりの学生は思っていたようで、試験の答案に Baystars がどうしたとか書いている学生が結構いた。そんなことは無いですよ。そう言えば中学の時の国語の先生は前の晩 Giants が負けると露骨に機嫌が悪かったが、ああは成りたくないね。

卒研ガイダンスに行かずにちょっと失敗したなと思った

昨晩は流石にフラフラ。横に成ってスマホを見てたら眩暈が。眩暈って言うのかな？分からんけど、何やら地球が回り出した気がした。ちょっとちゃんと寝ないとまずいな、ということで、「相席食堂」も「ロンドンハーツ」も「アンタウォッチマン」も見ないで寝た。

で今日は卒研ガイダンスがあって、シャワーを浴びて出掛けても間に合うが、まだちょっと調子がよろしくないので、まあ Zoom で参加すればいいか、ということにした。が、始まってみると、皆さんちゃんと職場に行かれていたようだ。H先生が心配してメールをくれた。教務委員のN先生が司会をしていたが、心配されていたのだろう。来年はちゃんと行くことにしよう。で最後に話すことに成った。1時を過ぎると3回生は講義があるだろうから、手短に済ませないと、ということで、ちょろっと喋ったが、これじゃ来年度は少ないな。昨年度は講義に殆ど来てないのに、5名も希望者がいてぎょっとした。更に二次募集をしたが、「あまり学生の数が多いと緊張してしまうので、人数の少なそうな所を」と書いていた学生がいたが、何と最終的には10名に膨れ上がり、更にぎょっとした。その学生も当てが外れて困ったことだろう。来年度は少ないな。まあ一人はいそうだ。何故なら去年募集してきた10名のうち、一人は単位不足で卒業研究を履修出来なかったため、出直してくるでしょう、と思うので。一人もいないと講義を余分に二コマ持たないといけないので、辛いので。どうなるでしょうか？

で少しのんびりしようということで、「芸能人格付けチェック」を見た。3時間も時間が取れる時は中々無いので。いつものように浜ちゃんの料理を舌鼓を打つ芸能人が多くて面白かった。高級鰻とスーパーで売ってる鰻を間違えるのはまだしも、ド素人の作ったドジョウ料理を高級鰻と間違えるのはどうかと思うが。「ぐるぐる99」でも岡村、錦鯉の長谷川、ザ・マミィ酒井のど素人が1時間掛けて作った料理と、一流料理人が10分で作った料理で前者の方が旨いという人は結構いるからな。シチュー作るのに市販のルーを使えば誰でもそれなりの物は出来るな、と思いながら見ているが、ドジョウと鰻はどうかな。

ちょっと調子が戻ってきた。この前買った「手を動かしてまなぶ フーリエ解析・ラプラス変換」を読んで見た。頭から読まなくてもフーリエ級数の所から読めるかと思って読んだ。昔シンセサイザーの原理って色んな波を合成して作る、その背景にフーリエ級数というのがあって、と聞いた時は面白そうだな、勉強したいな、と思ったが、大学生の時は解析の講義は真面目に出席しなかったので、今後悔している。保型形式を勉強した時に、と言っても実は SL_2(Z) の場合しか殆ど知らないが、その場合でも周期1なので、フーリエ展開出来て、とか言われた時にぎょっとしたのを覚えている。それでもちゃんと勉強しないで今日に至り、今学生に読ませてる本にフーリエ級数が何だとか、パーセヴァルの等式が何だとか出てくるので、ちゃんとしておかないとと思って読んだ次第。証明はあまり気にせず、計算出来ればいいという感じの本なので、乗って読んだ。バーゼル問題をフーリエ級数を使って解けるのは知ってたが、初めて読んだ。面白かった。興が乗ってきて、何時間も掛けて読んでしまった。

7時から「EIGHT-JAM ゴールデンSP【昭和平成令和50年分！サビ名曲ベスト100】」という番組が始まった。これが超絶面白かった。録画しておけばよかったな。タイトルとは違って、2000年以前と以後に分けてランキングしていたが、2000年以前って小生が産まれた時も2000年以前なら、31に成ってこっちに来た時も2000年以前だぞ、ということを気付かされてビックリしたのが本当の所。プロが選ぶランキングなのでただの人気投票ではなく、選び方が渋い。あみんとかクリスタルキングとかランクインしてて、懐かしいね、と思ったら、宇多田ヒカルが2000年以前に2曲入っていた。宇多田ヒカルのデビューって1998年だからね。2000年以降は知らない曲ばかりだろうと思ったら案外知ってた。車を運転出来るように成ってから暫くはよくラジオを聴いてたし、テレビのCMで流れるサビだけを知ってるという歌も案外あった。2000年以前の1位が小田和正の「ラブストーリーは突然に」なのはちょっと意外。プロが選ぶとそうなるのかな。

ちょっと頑張り過ぎたか、またちょっと調子が悪く成ってきた。明日は1時からゼミを3時間弱やるだけだから、まあ大丈夫でしょう。金曜日は1時から講義があって、その後3時間くらいゼミをやるから、今日、明日で何とか戻しておかないと。明日は月曜日の講義の準備をしないといけないな。まあ程々にやるは。

野球の日本代表に佐野恵太が選ばれた。代表初選出らしい。順当なら祐大も選ばれる筈だったが、まあ骨折してしまったからね。打撃成績を見たら、ランキングに入ってない。そうか、規定打席に届かなかったか。今調べたら403打席。あと30くらいで打率5位には入っていたのに。勿体なかった。東が選出されなかったのはちょっと謎。防御率2.16（6位）、13勝（2位タイ）だが。13勝で並んでいる才木（Tigers）が選ばれてたのにな。まあ東は CS で頑張って日本シリーズも行く（断言！）から、休めた方がいいかな。

寝不足でハイに成って講義をしてヘトヘト

今日は月に二回の資源ゴミの日。で色々見付からないもの（例えば目薬）があって、ゴミを分別して大量に出せば見付かるだろう、と思ったが、全然見付からない。紙ゴミとかアルミ缶とか段ボールとか。で相当な時間に成って、奥深くから出てきた。よかった。火曜日は2時40分から講義があるので、そこから熟睡したら講義の時間に職場に着けないかもしれない、という恐怖から、深く寝ないことにしようということで、テレビを付けっ放しにして横に成った。で案の定しょっちゅう目が覚めた。で1時過ぎに最終的に起きて、1時半ちょいに住処を出発。これくらいの時間だとウェストウィングに近い所に停められるのでいい。食事は生協で冷えた唐揚げ弁当でも買って食べよう、と思ったのだが、職場に着いてみると何やらグラウンド（クインススタジアムという名前らしい）で何かしているようで、正門の所から警備の人や来客と思しき人が大量にいた。で生協に行ってみると、弁当はほぼ売り切れていた。グラウンドにいた人達が買ったということだろうか？仕方ないので、ざる蕎麦を買って食べた。

で2時40分から大学院生向けの講義。ちゃんと寝てないとハイに成って講義をしてしまうのでいけない。今日も結構突っ走った。運よく2度質問があったので、適度にブレーキを掛けてもらったが。質問してきたのは多分A堀先生のゼミの留学生だろう。体の拡大とか多分よく分かっていない学生だと思うが、ちゃんと理解しようとしているのはいいこと。説明不足な所は後で書き足しておいて、再来年度の講義に役立てることにする。

4時半から教授会。今日は色々大事な議題がありそうなので、ちゃんとしよう、ということで個研室で Zoom を起動して待つと、何やら副学部長が話し始めた。普通は司会は学部長がやるのだが、副学部長が学部長のコメントを読み上げた。どうしてもはずせない私用がある、と言っていたが、身内の不幸か何かだろうか？で色々あって、6時近くまで続いた。ちゃんと参加すると疲れるな。

その後、講義の資料を直して、次回の分を読んでたら面白く成ってきて、つい講義資料を読み込んでしまった。斜め読みはよくないので、ちゃんとペンを持って、紙に書き書き読んだ。すると、色々ミスプリがあったりまずい所があったりで、やっておいてよかったな、という感じだった。寝不足だから早目に帰ろうと思っていたが、結局8時半過ぎまで職場にいた。まだ直した方がよいと思われたので、後日更にやることにする。いや、福岡で話した件の直しをやるつもりだったのだが。まあそれは明日やろう。明日は卒研ガイダンスがある。水曜日は講義が無いので、職場に行かないのが普通だが、どうしよう？去年は行ったんだが、Zoom で参加している先生方が結構いらして、何だ、と思ったな。まあ起きる時間に依る。今日はちゃんと寝たいから、12時に起きて Zoom を起動することに成るかもね。

寝惚けて聞こえてきたテレビの音によると、東京は昨日と明日で最高気温が10度も違うそうだ。そういうのは堪えるだろうね。近畿も結構ここ数日で気温の上下が激しい。帰り道で車に表示される外気温を見たら18度だった。ほんの数日前まで熱帯夜だ猛暑日だと言っていたが。今年は年の三分の一が猛暑日で、半分が真夏日（夏日だったかな？）らしい。これで一気に寒く成って、大雪が降ってギャ！とか成りそうで嫌なんだがな。業務に支障が出ないでくれると嬉しいが。

で帰ってきて「報道ステーション」を見ているが、袴田巌さんの無罪が漸く確定したそうだ。冤罪で何十年も酷い目に遭ってたことを考えると、何とも気の毒でならない。もっと楽しい人生があったろうに。もう八十代後半だそうだ。お姉さんは91歳の今でも弟さんのために頑張っていた。よかったというわけにはいかないだろうが、生きている内に汚名が晴らせたのはせめてもの救いだったな。お姉さん曰く、後10年は生きて欲しい、と。大分弱っておられるようだし、楽しい余生が過ごせるかどうかは分からないが、まあよかったですね。いや、よくはないがな。

二軍が日本一に成ったのを書き忘れたので、今日書いておく

今朝も起きたら11時過ぎ。中々起きられない。まあそれでも、シャワーを浴びて、弁当を買って個研室でゆっくり食べるくらいの時間はあった。

1時から一回生向け「数学IV（線形代数）」。先週ベクトル空間の例を挙げたが、今日はベクトル空間の例を更に幾つか。テキストには無限次元ベクトル空間（まだ次元という言葉は出してないが）の例が出てないので、多項式環とか閉区間上定義された Cⁿ 級の空間とか出しておく。で部分空間の節に入って、連立方程式の解空間とか。で今書いてて気付いた。自明な部分空間のことを言うのを忘れていた。まずったな。まあいいや、来週やろう。で有限個のベクトルで張られる空間を定義して、さて部分空間であることを証明、と思ったが、ちょっと時間足りなさそうなので、R² の二個のベクトルで張られる空間の例を幾つかやって、二つでギリギリの場合と足りない場合を出したりして、ちょっと基底をやる時に分かるようにしようと。で数分早く終了。

ちょっとお偉いさんに用事があったので、講義後出向く。大事件かと思ったら、大したことではなかった。すぐ済む話。よかった。で外国人にメールを書いて、講義の後始末をちょっと。その時は自明な部分空間のことには気付いてなかった。色々講義資料を直してからアップロードして、もうあっと言う間に4時。4時20分からゼミなので、後片付けを少々して、飲み物を買って、ゼミへ向かう。

今日は Rabinovich の定理の証明の残りから。が、色々詰めてない所があって、突っ込みまくって、ちょっとだけの筈が遥かに1時間を超えていた。先週突っ込んだ時に使った定理をまた突っ込んだり。今日も色々言うが、ボーっとしているだけでメモしようとしない。それでまた同じミスをするのだから、いい加減言っておいた。メモとらんなくていいの？と。すると黒板をスマホで写し出した。写真を撮るのはいいが、うちに帰って見るだろうか？見ないなら何しても意味無いが。まあいいです。で選手交代。狭義イデアル類群の 2-part を調べる話だが、久々にコホモロジー群が出てきた。復習を軽くやってから、狭義イデアル類群の定義から。で有限次ガロア拡大の時に共役なイデアルを全部掛けると、イデアルのノルム（剰余環の元の個数と定義したやつ）が生成する単項イデアルに成る、という所で予習が破綻したそうだ。分かってるのと分かっていないのを区別出来るのが大事なので、分かっていないのは問題無い。で一緒に考え始めるも、何かうまくいかない。で大体見当が付いたところで7時半に成ってしまった。来週までに詰めておいてね、と言って退散。

その後個研室でちょっと福岡で話した話の直し。沢山時間があると思ってたが、気付けばもう締め切りまで二十日を切っていた。Kraus の定理を有理数体に特殊化した時の証明を理解して書こうかと思っていたが、やめることにした。もう本質的な部分は出来ているが、細部の日本語をちゃんと書けなくてトラブっている。理系に進む人間は作文は苦手としたもんだ。英語で何本も論文を書いたりしてるので、そういう言い訳は出来ないが。これからチマチマ直す。もう9時近かったので、印刷して帰ることにした。

大分涼しく成ってきた。土曜日は長袖で三条京阪に繰り出したし、今日も長袖で講義した。が、部屋は冷房が掛かっていて、講義後「外気温が30度を超えています」と放送があったが、本当か？涼しいぞ。講義終了後は雨は降っていなかったが、帰りは降ってた。ちょっと蒸しっとするかな。まあラーメンを食べようという気に成るくらいの陽気。関東は暑かったようだが、明日は一気に最高気温20度くらいに成る、と言ってた。関西はまだ25度を超えるようだが、25度なら大分涼しい。明日は大学院生向けの講義をやる。雨が降るようだし、蒸し暑くなければいいが。

昨日書こうと思って大事なことを忘れていた。Baystars の二軍が Hawks を破って日本一に成った。素晴らしい。関根が大活躍したり、オースティンが故障した時に一軍でちょっとだけ出たフォードが2ホームラン、育成の庄司が6回無失点（MVPに成った）。が、忘れちゃいけないのが、もう退団が決まっている大田、楠本、西浦がいい働きをしたらしい。最後まで頑張ってくれて嬉しいね。楠本はまだ29歳だし、雇ってくれるチームがあるだろう。大田と西浦はもうそこそこの歳だしな。どうなるか分かりませんが、ご苦労様でした。もう一回大田の「横浜サイコー！」を聞きたかったな。

セ・リーグは全日程が終了

一昨日書いた通り、昨日はワインの試飲会に誘われたので行ってきた。三条京阪の近くの何とか言うホテルの地下で行われた。ワインと一括りに出来ないくらい味が違って、大変面白かった。説明してくれた人は割と若い人だったが、知識が豊富で、説明も素晴らしかった。よく研究され、よく準備されている。人に何かを話す時はしっかり準備しないとね、と当たり前のことを再認識した。で試飲させる目的は何かというと、買わせること。書き忘れたが、一緒に行ったのはふなごやの店長とバイトの人。店に置くワインを選ぶのだから、店長は必死だった。でカードで払って、何だかんだと3時間くらい。ちょっとずつ呑んだが、結構な数のワインを呑んだので、真っ昼間からちょっと酔った。

流石に三条京阪は山科より遥かに賑わっている。中心地に出るのは本当に久し振りだったので、ちょっと新鮮だった。その後ステーキを食し、山科に戻ってちょっと買い物に付き合った後、喫茶店でコーヒー。ラクトに前は大丸が入っていたが、撤退して、その後無印良品が入った。考えて見たら、無印良品が入ってからラクトに入るのは初めてだな。前より賑わっていた。そりゃ大丸行くなら山科でなく四条烏丸だよね、という感じ。

5時前にふなごやに行って、早くも呑み始める。6時くらいに4人組が入ってきて、その後二人組が来て、暫くしたら何やら大忙しに成った。出前館から8品一気に注文が来たそうだ。パーティーでもやるのだろうと思しき注文だった。配達員が来てからもしばし待ってもらうくらい大変だったようだ。ご苦労様。一区切りついた後、例によって3人で楽しく。いつもより呑み始めが早いので、少々早目に終了。と言っても結構な時間だったが。

野球はどう成っているかスマホでチラチラ見ていた。Dragons は Baystars に負けると3年連続の最下位。勝っても夜 Swallows が勝てば最下位。さてどうなる？と思ったら、上茶谷がサヨナラ打を許してしまい、Dragons は首の皮一枚繋がった。ナイターでは Swallows が負けたので、結果は今日に持ち越し。さて、と思ったが、中々起きられず。途中スマホで経過を見ると、Baystars が2点勝ってる。漸く起き上がったら、もう7回だった。引き続き Baystars が2点リード。京田が2点タイムリーを打ったらしい。その後点は入らず、最後は中川颯がピンチを作るも、抑え切ってプロ初セーブ。でセ・リーグは全日程が終了で、 Dragons は最下位。残念でした。最後の打者は細川だったが、サヨナラホームランを打てば去年のホームラン24本に並んだのだが。まあ細川はよく頑張ったよね。立浪に引導を渡したのが、「戦う顔をしてない」とか訳の分からないことを言われて立浪から嫌われてトレードに出された京田だったのが面白いところ。京田のトレード相手だった砂田は今年限りで引退だそうだ。砂田は Baystars 時代はよく投げてくれたけど、Dragons に行ってから冴えなかったね。来年は井上2軍監督の昇格がほぼ決定しているらしい。もういい加減どうにかしないとね。

オースティンは昨日の1打席目にヒットを打ち、打率首位に立ったそうな。規定打席に到達したのが初めて。2021年はもう数打席で規定打席だったな。その年は 28 ホームランで打率 .303 だったが、今年は 25 ホームランで打率 .316。いい成績だ。Swallows の村上が 33 ホームランでタイトルを獲ったが、オースティンは村上より170打席くらい少ない。フルに出られればホームラン王を獲ってたな。来年は一年間フルに働いてください。5位、6位の Swallows、Dragons からタイトルを獲った選手が沢山いる。高橋宏斗は最優秀防御率だが、最下位チームから最優秀防御率の選手が出たのは初だと書いてあった。Dragons はもっと点を取らないと。逆に Baystars は打撃は凄いが、投手の成績が悪過ぎた。来年はどちらももっとバランスのいいチームにしないと。

パ・リーグは、Buffaloes の宮城が9回途中まで放れば規定投球回数に達するのだったらしい。7回1/3を自責点0か、8回1/3を自責点1ならよかったそう。6回1失点とよかったのだが、降雨コールドと運が無かった。初タイトルはお預け。涙が止まらなかったそうだ。中嶋監督の退任も発表されて、今年の Buffaloes は散々だった。来年は Buffloes vs. Baystars で BB 日本シリーズをしましょう。

御陵－日ノ岡間の事故で片側交互通行に成り、京都東インターから外環三条の2km以下を1時間半

起きられないなー。今日も起きたら12時近く。何もせず急いで飛び出す。で職場に12時45分くらいに着いて、弁当を買って食べる時間があるか微妙だったが、雨のせいか沢山売れ残っていたので、買ってあげることにする。大抵の弁当は随分前に作ったか目茶目茶冷たいんだが、この店はほんのり温かいのでよい。で5～6分で掻っ込んで講義室へ。

講義室に向かってる途中にチャイムが鳴った。小生の腕時計は電波時計なのだが、何故か2分くらい進んでいた。だから余裕だ、と思ったんだが、チャイムが鳴った時は時計が1時を指していた。おかしいな、電波でも変わったか？それとも大学の時計も2分進んでるんだろうか？まあいいけど。で1回生の講義と3回生の講義のどっちかがF304教室、もう一方がF305教室で、どっちだったかいな？と迷ってF305の扉を開けると物理の清水先生が教卓に立っておられたので、今日はF304が正解だったようだ。一回書けば覚える。月曜がF305、金曜がF304。どっちも3階なので昇るのもっとキツイかと思ったが、そうでもなかった。特に呼吸が乱れることなく講義開始。

上に書いたように今日は3回生向け「代数学II」。今日は拡大体がなんだとか拡大が何だとか定義することから。L/K と書くが、剰余環とは何の関係も無いと一言言っておいて、拡大の基底とか拡大次数とか。[L：K]＝1 ⇔ L＝K とかもちゃんと示した。で [L：M][M：K]＝[L：M] とか基本的なことを幾つか示して、添加する話。然るべき族の共通部分と定義するのがいいのかもしれないが、難しく映るような気がするのと、結局その後添加する元を有理式に代入したものに成ってるということを示すので、最初から後者を定義にしておいた。勿論これだと最小性を示さないといけないが、まあいいです。で最小性を示してから、それを使って Q(√2,√3)＝Q(√2＋√3) とか。他にも最小性だけを頼りにして示す問題を幾つも出したら時間に成った。2回続けて綺麗に1節ずつで終わっているが、いつまで続くでしょうか？来週は代数的な元を一個添加した時の構造定理から。

2時40分からゼミ。今日は二次体での素数の素イデアル分解がルジャンドル記号（引数に2を許してるから、クロネッカー記号と言った方が正確か？）の値で分類出来るとかやってから、d_F(θ)＝(Z[θ]：O_F)²d_F（θ は F の原始元である代数的整数）と書いた時の (Z(θ)：O_F) を割る素数の素イデアル分解とか。これあんまりやったことなかったんだけど、まあ結構大変だった。コンピューター向きではないな。準同型写像の然るべき同値関係による同値類と素因子が一対一に対応していて、その代表の準同型写像の核を求めないといけない。整数基の元同士の代数的な関係が必要に成るし。コンピューターではどういうアルゴリズムでやってるんだろう？興味はあるが、まあ暫くは勉強しないでしょう。来週はアイゼンシュタイン多項式の根を添加した場合はどうなるか、という話から。5時50分まで時間は取ってあるが、早目に終了した。

5時くらいには職場を後にした。これくらいだと高速道路はそんなに混まない。すんなり新名神から名神に移れて、瀬田東－大津間でちょっと渋滞したくらい。野球を開始から見られるかも、と思ったらそこから悲劇が。料金所をくぐって三条通方面と五条通方面の分岐点があるが、そこを過ぎたらもう渋滞が始まっている。時計を見ると5時33分。まあ野球には間に合う、と甘く考えていたのだが、全然動かない。2車線に成っているが、右の車線はやがて無くなる。で我慢しきれず右に出る車多数。勿論大津方面へUターンする方向へ行きたい人や、四宮で右折したい人もいるだろうから、いいが、結局もう一度合流する羽目に成る人達は何でそんなに急ぐんだろう？と思うが。で時々ちょろっとずつ進むだけで、本当に酷い。小生はこういう時はイライラしないようにしている。音楽を聴いていれば楽しいさ、ということでね。ただ、ブレーキがゆるんで前の車にゴン、とか成らないようにしないといけないので、パーキングブレーキをかけてギアも P に入れたが。で四宮の交差点にようやく着いて、道路情報を見ると、「四ノ宮四ツ塚線 御陵－日ノ岡間で事故 片側交互通行」の表示。納得。「48系統 山科駅」の京阪バスがいたが、大変だ。駅に着く前に「48系統 藤尾・小金塚」のバスとすれ違った。本当は小生の後ろを走ってるバスが折り返すのではなかったかと思うが。でトロトロと進んで、外環三条の交差点に来た時はもう7時。2km弱の距離が1時間半掛かったことになる。帰ったら Uber Eats に出前を頼んで野球観戦、というのは無理。なにしろ道路が混んでるから、配達員も動けないだろう。バイクか自転車なら大丈夫かもしれないがね。でその方法は取らずに、外環三条を左折してはま寿司を目指す。川口春奈が大トロ大トロとCMでしつこく言っているので、食べてやろうということで。外環状線は混んでなかった。金曜日の夜だからはま寿司は混んでるかと思ったが、それほどでもなく、しかもカウンターで一人で食べるから、すぐ食べられた。1804円。いつもは PayPay で払うんだが、渋滞の中で野球の経過を見たくてスマホをポケットから出して戻し忘れたので、仕方なく現金で。1000円札が沢山あったが、新一万円札を崩した方がいいぞ、ということで10004円払ってきた。帰りはまだ渋滞するか？という気がしたので、三条通をあまり走らない経路で帰ってきた。8時半前に住処に着いた。疲れた。

昨日の Baystars の試合は横浜スタジアムの最終戦だったようだ。大和や大田など、退団する選手のセレモニーがあったようで、見ればよかったな、と思ったが、もう遅い。今日は Dragons 相手にバンテリンドームで。この前台風で流れた3連戦が今日から代わりで、それで今シーズン終了。台風で流れた時は、京田、オースティン、ジャクソンなどが早目に名古屋へ行こうと新幹線に乗ったが、運転打ち切りになり新幹線に9時間閉じ込められて、深夜に横浜に戻ってきたというニュースがあった。ジャクソンの奥さんは妊娠していたそうで、大変だったろう。ということで今日に成ったわけだが。途中車の中で見た時は1－0でリードしていて、帰り着くと2－0に成っていた。で9月以降好調だった桑原にソロホームランが飛び出して3－0に。このまま完封リレーかと思ったら、ちょっと内野にまずい守備が出て1点取られた。今日は幾つかエラーがあったようだが、今日はもう順位が確定しているからか控え組がメインだったので、あまり心配はしてない。オースティンは首位打者が掛かってるので出ていて、今日は猛打賞で .314。首位打者のサンタナは .315 で、登録抹消されたそうだから、もう打率は上がらない。オースティンはチャンスだ。やってやろう。

明日、明後日はデーゲームだな。明日は昼からワインの試飲会に行こうと誘われているので、見られないな。日曜日のシーズン最終戦は明日の呑み方次第だが、起きられないかもな。まあいいです。

Dragons は明日負けたら最下位確定らしい。勝っても Swallows 次第でやはり確定。今年は春先に貯金5で首位に立ったが、続かなかった。浅尾美和が喜んでたが、糠喜びだったね。新人監督の3年連続最下位は過去3例しかなく、52年振りとか。Dragons の浮上はいつなんでしょうね？

今日は大分涼しかった

今朝も起きたのは結構遅かった。いけないな。洗濯機を回して寝たが、もう洗濯が済んで乾燥も終わっていたので、取り出してジーパンを洗い立てのに取り換えてから出発。今日は雨だからなのか、駐車場が超絶混んでて、停めちゃいけないゼブラゾーンの所に停めてる車が何台もあった。で停める場所が見付からない。フォレストハウスの近くに「講義車用」と書かれたコーンが立ってる所があるが、まあそこなら、と行くが、そこむ埋まっている。うーん。仕方ないな、身障者用のスペースに停めるしかないのか、ということになり、已む無く停める。たまにそこに停める時があるが、帰りに見ると警告書がワイパーに挟まってることが時々あるので、今日も怒られるだろうと覚悟しておく。

で12時50分過ぎにウェストウィングに着いた。弁当を買って食べる時間は無いが、幸い1階のパンの自動販売機にタップリ在庫があったので、パン一個とコーヒーを買って個研室で流し込んで、1時からゼミ。

木曜日は初等整数論のゼミ。有限体素体上の曲線 y²＝f(x) の有理点の個数をルジャンドル記号を使って書いて、それから第二補充法則と平方剰余の相互法則の証明。有限体素体上の曲線の有理点を数えたのが役に立つ。フェルマーの小定理やオイラーの規準も使って、中々面白い。小生が良く講義で話す証明は、(p/q) と (q/p) が mod q で合同であることを示して、値が ±1 だから≡は＝に変えられて、という証明だが、今日の証明は mod 4 で比較していた。面白い。で次の節で別証明が与えられるのだが、順番の学生が来ていないらしく、出来なかった。まあいいです。3時半前に終了。

弁当を買ってきて本格的に腹ごしらえをして、ちょっとボーっとしてから線形代数の予習。そろそろ（と言っても始まったばかりだが）大量に脱落するだろう。まあ本格的に脱落するのは次元が well-defined であること辺りからだろうが。連立方程式のことをちゃんと分かってないと難しいだろう。いつも書いてるが、料理の材料は学生に提供します、後は自分で料理してください、というのが小生のポリシー。無理に課題を出したりとかはしない。大学生が相手だからね。それにこっちも色々やることあるし。野球を気にしいしい9時くらいまでウダウダやってた。でメールを見ると、お偉いさんから1件。返事をしておく。それと、この前長崎で泊まったホテルが滅茶苦茶高い所だったから、規定額を超えているが、どうする？とメール。何かそのホテルでないといけなかった理由を作文すればどうとか言ってきてるから、面倒なので規定額だけ払ってもらえればいいです、ということにした。で9時過ぎに職場を後にする。が、ここで一つミス。車を走り出してしばらくして、尻が妙に椅子にフィットするな、と思ったら、財布が尻のポケットに入ってない。阿呆や、ということで取りに戻る。まだ学外に出る前だったので、割と短時間で済んだ。今日は入り口のバーが故障らしく、一日中開放に成っていた。ちょっと涼しくて、半袖で来ない方がよかったかも、という気がした。

すき家でカレーを食べて、膳所のガソリンスタンドで給油して、10時半くらいに帰宅。明日は1時から講義の後、休憩無しでゼミを3時間やるから、今日はちゃんと寝ておかないと。考え事をするとまた寝るのが遅くなってしまうので、今日は程々にしよう。春学期の金曜日は9時からゼミだったから、「アメトーーク！」を見ないで寝ていたが、秋学期はそれは回避できたので、見ることが出来る。嬉しい。面白い時は物凄く面白いからね。「激レアさんを連れてきた。」にしても、「これ余談なんですけど…」にしても、結構当たりはずれは激しい。面白い時は超絶面白いからね。今日はどんな話題だろう？

昨日書いた通り、セもパもAクラスの順位は確定。で今日はセもパも2位と3位の CS 前哨戦。結果はどちらも2位の勝ち。下剋上はそう簡単には起きないよね、という感じだが、どうだろう？Tigers の雨男と言えば、「雨柳」こと青柳だが、今日先発の大竹耕太郎も「大雨耕太郎」という別名があるようだ。今日も途中雨で中断があったようだが、もうスケジュール的に無理をいけない時期なので、無理してでも試合をやったのだろう。セ・リーグは日曜日で、パ・リーグは来週の月曜で全日程終了。今年も長かった。もう少し楽しめるのは嬉しい。難しいだろうけど、下剋上起こしてください。

Baystars の CS 進出決定（3年連続6度目）

昨晩は寝床で中途半端に寝てしまい、その後一旦目が覚めて、その後中々眠く成らなかった。YouTube で久々に数学動画を幾つか。3^a－2^b＝1 を満たす自然数 a,b を決定させる問題が昔何処かの大学で出たらしく、それの解説が面白かった。こういうのとフルの Catalan 予想の差は相当でかいが。この手の入試問題を「整数問題はこうやれば絶対解ける」みたいに言っている人に真の整数論を味合わせてあげたい。どんな顔するだろうか？などとしているうちに4時を大きく回っていた。いかん、寝るぞ。

で起きたらもう午後。飲み食いせず床屋へ出発。会議には間に合うように帰ってこないと。8月10日に行って以来だから、約2ヶ月振り。切ってもらうとスッキリしてよい。頭が軽くなった。元々軽いのでは？というツッコミは却下。

会議は大事な議題があった割には短時間で済み、1時間程度。そうか、あの人は有名人だが、まだ安定した職に就いていなかったのだな、とちょっとビックリした。こき使われないよう気を付けて、もっと安定した身分に成ってください。

6時から野球。Giants が相手。山崎伊織に二桁勝利させるわけにはいかない。ここのところよくない石田裕太郎が先発だが、頑張ってもらわないと。と思ったが、3点のリードを許してしまう。眠く成ってきたので、横に成った。短時間とはいえ結構ちゃんと寝入ったようで、オースティンがホームランを打ったのに全く気付かなかった。で1－3に成ってるのかと思ったら、1－4だった。むぅ。その後1点取ったが、結局そこまで。が、Carp が負けてくれたので、Baystars のAクラスが確定した。よかった。同一監督での3年連続Aクラスは権藤さんの時以来らしい。ラミレスでも出来なかったのか、と思うと、番長の健闘ぶりは讃えてもよいだろう。この前も書いたが、一歩ずつ前進している。来年こそ是非。

Carp の失速ぶりは何度も書いたが、Yahoo! で仕入れた情報によると、9月突入時に首位だったチームがBクラス finish と成るのは初めてとか。それはそうで、9月頭から5勝22敗とか。最大14あった貯金も使い果たし、66勝70敗。Dragons に8勝16敗と大きく負け越したのが結局大きかったのだろうか。Dragons 戦はビジターで12連敗。無様だ。昔から Carp は失速癖がある。4月終了時に首位も5月に大負け、というのが小生の若い頃はパターンだったが、優勝間近での失速はちょっと記憶無いな。あぁ、去年は Tigers が最後派手に勝ちまくったが、2位の Carp が負けまくったのが「アレ」が早目に決まる呼び水に成ってたな。Carp はキャンプでの練習がキツイそうだが、それも少し考えた方がいいのでは？暑い広島を本拠地にしているのだから、消耗は激しかろう。少し抑え目にして、最後に体力を残しておかないと。

「これ余談なんですけど…」が始まった。ガダルカナル・タカが出ている。頭でちょと流れた映像で、ゆうちゃみが口を押さえて驚いている映像の直後にタカが「いや、クイズだから」と言っている映像が流れた。「お笑いウルトラクイズ」の話かな？面白そうだ。見よう。

院生向け「数理科学特論1」は今日から

昨晩は「テレビ千鳥」が終わってちょっとしたら寝床に入った。が、暫く YouTube を見てしまう。スポーツニュースでは Baystars の勝ち試合はちょっとしか流しておらず、宮崎が2ランホームランを打った、との報道だけだったが、スマホを見てたら「打ち直し」と多くの人が書いてて、何だ？と思って見ると、まあ見事だ。ほんの数10cmの差でファールだった。番長のリクエストも実らず。だったが、その後宮崎が正真正銘のホームランを放って、見事な打ち直しホームラン。Baystars の打ち直しホームランというと、佐伯貴広の槇原からの打ち直しホームラン。ライトフライだったが、槇原の投球がボークと判定され、打ち直しで佐伯が見事なホームラン。この試合は確か14－12だったか14－13だったかの乱打戦、逆転また逆転の凄い試合だった。と書くといかにも見ていたようだが、実は見てない。この日は整数論サマースクールだった筈。優勝後に出たビデオを何度も見て記憶に残っているというのが事実。VHS のテープだが、今度優勝したら DVD か Blu-ray で再発売してくれないだろうか？

でちょっと寝るのが遅くて、起きたら11時45分近く。ぎゃ！12時20分から面談。が、幸い1時からの講義は無く、2時40分からだから、住処から面談出来る。ということで Zoom を開いて待っていたが、来ない。おかしいな、結構礼儀正しくお礼のメールを寄越していたくらいの学生なのだが。肝心な所で起きられないから単位が少ないのかな。まあいいです。

1時くらいに職場へ向けて出発。今日から駐車場の契約が復活するので、駐車券を取らないでもゲートが開いた。よかった。で生協で弁当を買って、食べてから少しのんびり。2時40分から大学院生向け「数理科学特論1」。何をするかというと代数的整数論の基本的なことをやる。今日は代数的数、代数的整数を定義して、有理数であって代数的整数であるのは普通の整数に限る、だから普通の整数を「有理整数」と呼ぶのだ、とか、代数的整数であることと最小多項式が有理整数を係数に持つ多項式だとか。「代数学Iと代数学IIの内容は遠慮なく使わしてもらうから」と宣言して、今日も沢山使ったので、来週から受講生はがた減りでしょう。まあ (a,b)＝1 と書きながら「互いに素」と言ったり、原始多項式の定義を書いたり、アイゼンシュタインの既約性判定のステートメントを書いたりしたから、大分サービスした。来週は代数的数の全体が体で代数的整数の全体が環であることを証明することから。疲れた。

その後個研室で講義ノートを web に上げる作業。昨年度一杯でこのサービスはやめるつもりで、現に1回生と3回生の講義ではやっていないんだが、単位認定を講義中に五月雨式に出す問題を最後にまとめてレポートにしてもらってそれで判定、と成ると、どんな問題が出たか分からなくてはどうしようもないので、サービスすることにしたのだ。友達がいれば問題無いが、そういうのが苦手な学生もいるだろうしね。で一箇所ちょっと変な所があったので、それを直して上げて、と。でその後博多で話した件の報告集の直し。何か色々直す所があって面倒に成ってきたが、いやいや、そうはいかない、真面目にやらないと、とペンを持って紙に書き書き作業した。でそうやってみると、色々間違いがある。やはり面倒でも真面目にやらないと。で何だかんだと9時まで作業していた。

途中チラチラ野球の様子を確認。今日は3位 Baystars と4位 Carp の直接対決。1点先制されていたが、暫くして見るとひっくり返していた。よしよし。で Baystars が勝ったのを確認してから職場を離れた。昼の弁当が覚めた唐揚げだったので、ガストによってから好しメニューを食べてきた。この前ふなごやの大将が、唐揚げと牡蠣フライを白米の上に乗っけた丼があると言っていて、注文した後メニューを見てそれを見付けて、しまった、と思った。今度食べよう。帰り道に車の走行距離が 8000km に成った。普通ならキリ番を見てそれでおしまいなのだが、コンピューターオタクとしては 8001km も見ないと、ということでもう少しチラチラ。夜の10時近くともなると交通量は少ないので、多少目を切っても追突の心配は無いので大丈夫。でちゃんと両方見た。次の目標は 8801km。これもコンピューターオタクはね。それで 8888、9000、9801、10000 と目標は高く。

帰ってきて「報道ステーション」のスポーツコーナーを見たが、Baystars の勝ち投手のジャクソンは今日で規定投球回数に届いたらしい。25試合登板で8勝7敗、防御率2.90とまずまずの結果を残してくれた。貯金は1しかしてないが、クォリティースタート14と、もっと勝ってておかしくない成績。打線との兼ね合いかな。来年もやってください。あ、明日勝てば3位確定。明日は Giants 相手だ。CS で当たるかもしれないから、ガッツリ勝っておきましょう。

パ・リーグは Marines が3位確定。これでAクラスは全て決まった。佐々木朗希（もう佐々木でいいのだが）が完投（自身3回目）で初の二桁勝利。防御率2.35はさすがだが、投球イニング111は物足りない。MLB 行きたいんだろ？もっと投げないと。

この時期は順位争いの話題もだが、引退、戦力外の情報も聞こえてくる。Baystars は大和が来季契約してもらえないという情報は随分前にあったが、今日は大田泰示、楠本泰史のダブルたいしが戦力外との情報。大田は34歳ともうそこそこ歳行ってるが、楠本はまだ29歳。契約してくれる所はあると思う。頑張ってください。Giants に行かなかったら応援する。

明日は講義が無い日。気を付けないと火曜日は毎週酒に成りそうだ。が、明日は会議が4時半からあるし、床屋に行きたい。ブログを見ると、8月10日に行ったようだ。もう2ヶ月くらい経つ。鬱陶しいから行ってこよう。会議の後だと床屋が終わってるかもしれないし、野球も見たいから、会議前に行こうということで昼くらいには起きたい。酒はやめよう。