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年で日本を去った。「金で夢は買えなかった」と言っていたそうだ。まあどう成るかはその時には分からないからね。小生の書いているのはただの結果論。もうこれくらいにしておこう。

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