4連敗であっさり日本シリーズは終了

昨晩は呑み呑みイデアルがどうしたとかぐちゃぐちゃやっていた記憶がある。例によって怪しいが。他にも、あることが成り立つかどうかの規準を証明してあったが、その規準の仮定から漏れている case で結論が成り立つか、ということをコンピューターで実験した模様。例によって「模様」なのだが。一つだけ Mordell－Weil 群が SageMath の E.gens() で求まらず、適切にパラメーターを変えても求まらず、結局 PARI/GP の ellheegner コマンドで求めて、整数点が無いことが示せて、で規準を満たさなくても結論が成り立つことが実験上は分かってしまった。「実験上」と付けないと証明出来たかのように見えるので、こう表現しているわけだが。でかなり酔いが回ってきたようで、ダウンした。いつも思うんだが、酔いって突然来るよね。呑んだ量と酔い具合の完全な相関性を見付けることが出来たらノーベル賞だと思うが。誰かやってください。いや、そんなものを見付けたら飲酒運転が増えるか。

などとして結局夕刻まで寝ていた。日本シリーズには間に合うように起きたが。1回表に佐野に2ランホームランが出て2点先制したが、見せ場はそこだけだった。4回裏に2アウト二塁の場面で栗原を申告敬遠で歩かせたが、祐大が2点タイムリーツーベースヒットを打ち追い付かれ、柳田に逆転打を打たれてしまう。むぅ。7回裏に祐大が犠牲フライを打ちもう1点取られ、そのまま見せ場なく終了。あっさり4連敗で敗退。結果だけ見れば一方的だが、1試合目から3試合連続延長戦は初だったそうだし、レイノルズが2試合抑えられなかったが、そこまではリードしていたわけだし。いや、やめよう。強かった。祐大が日本一を味わえたので、いいことにしましょう。一昨年は Baystars にいてチームは日本シリーズ制覇（日本一とは言わない）したが、祐大はシーズン終盤に死球で骨折し、ポストシーズンは出場が無かった。規定打席にもちょっと足りなかったしな。ま、これで明日から数学に集中出来る。明日、明後日は遅くまで職場にいよう。MVP は正木だったが、今日の活躍だけなら祐大でよかったのでは？という気もするが、まあいいです。ビール掛け楽しんでな。

レイノルズは逆シリーズ男への道まっしぐら

起きたら1時半くらい。シャワーをちゃちゃっと浴びれば職場に行って生協で弁当を買って食べるくらいの時間はある。が、何やらコンピューターが変な感じ。取り敢えずシャワーを浴びて、ちょっといじったら大丈夫に成ったっぽい。ちょっとこき使ってるからすねたか？ゆっくり考える暇は無いので出発。

幸いフォレストハウスの近くに停められた。生協で弁当を買おうとするも、生協アプリに課金する必要が出てきて、生協の人は不慣れらしく、ちょっとトラブった。まあそんなに慌てて食べる必要は無いくらい余裕はあったが。

講義室に行くと誰もいなくて、数分してちらほら入ってきた。多分開始時刻には3人しかいなかった。途中振り返ったら7人に増えてたが、多分初回の半分以下。学部の代数の講義の出席者の少なさを見ればこうなるのは明らか。代数の講義の出席者が少ないのは、1回生の時に線形代数を習った教員が悪いのか、2回生の群論が訳分からなかったからなのか。前者にしておくと穏当。何故かと言うと小生が担当だったからね。群論の講義に責任があると大先輩にケチを付けることになるので、やめておく。って書いてるようなもんだが。今日は素イデアル分解の一意性への枕ということで、U.F.D. がどうしたとかの復習。ガウスの整数環がユークリッド整域であることを簡単に示して、で y²＝x³－1 の有理整数解は x＝1, y＝0 のみであることを示して、でイデアルの積がどうしたとかやってたら時間に成った。来週中には素イデアル分解の一意性は終わりそうにない。まあゆっくりやります。数少ない出席者のためにも有意義な時間にしてあげないと。

講義後教授会。今日は一定数出席してないと審議出来ない議題があるので、しばし待たされて、で人数が揃わなくても出来る簡単な議題を済ませた後本題に。ちゃんと定足数に達したらしい。色々と説明を聞いたが、よく分からない。が、真面目な人というのはいるもんで、沢山話されていた。学部長が「コンパクトにお願いします」と頼んでいた。小生も同様のことで教授会で説明したことがあるが、A堀先生に依ると小生30分くらい喋っていたらしい。確かに口の中はぱさぱさだった。小生も真面目に出来てる（いや、滅茶苦茶不真面目にやることもあるが）し、初めてだったので要領がよく分かっていなかった。しかも何故か何かやる時は数理が一番最初にやらされるので、本当にトップバッターだったので、許してください。で無事終了。結構時間が掛かったと思ったが6時前だった。

ちょっと数学をしいしい野球をチラチラと見ていたが、Baystars が先制した。古市がタイムリーヒットを打ったようだ。今日は勝てよ、と帰ることにして、高速道路を走って帰宅。まだ1－0という状況だった。祐大が代打に出てきて、投げてるのは東だから、かつてのベストバッテリーが敵味方に分かれて対決。結果はピッチャーライナーで併殺打。今日の Hawks は5個目の併殺打と、凄い記録。タイ記録だそうだ。Baystars も一つ併殺打を打ってて、1試合6併殺打もタイ記録らしい。で9回裏まで進み、後1イニングで初勝利、の筈が、またレイノルズが同点打を打たれてしまった。ライトから思いっ切りバックホームした神里が倒れていて、必死だったのだな。だから誰かを攻めるつもりはないが、レイノルズは逆シリーズ男に成ってしまいそうだ。シリーズ男と言って、投げるか打つで大活躍する選手は必ずいる。一昨年の Baystars だと桑原。しかし逆シリーズ男と言って、チャンスでことごとく凡退するとか、大事な場面でリリーフに出て失点するとか。レイノルズは3試合全部放ってるが、2試合で失点して、Baystars の勝ち星を消してる。ちょっと使いづらくなってきたね。Hawks の何とかいう投手（名前失念）は1試合目に牧に同点ソロホームラン、2試合目に筒香に逆転3ランホームランを打たれ、今日はベンチ外だったそうだ。逆シリーズ男に成りそうな展開も、Hawks が3連勝した（あ、結論を書かなかったが、サヨナラホームランを打たれた）ので、何とか逃れているが。Baystars は後がなくなったが、せめて1勝はしましょ。いや、3連敗の後の4連勝というのは小生が生まれてから2回ある。1回目は2回目の受験勉強に向けて頑張っていたが経過が気に成るので、予備校でラジオを聞き聞き授業を聞いてたが、初戦引き分けの後 Carp 3連勝、Lions 4連勝だった。2回目は大学3年生（関東では3回生とは言わない）の時の近鉄 Bufallows vs. 読売 Giants だったが、Buffaloes が3連勝の後 Giants が4連勝。加藤哲郎の舌禍事件は野球ファンならご存知だろう。まだ絶望する状況ではない。こっから4連勝して、一昨年以上の激しい下克上を是非。と書いてるが、まあ負けても仕方ないかとは思ってる。そもそも借金が15まで膨れたチームなわけだし。エンカーナシオンが加入してから盛り返したが、その彼が怪我でもう帰国してしまってるのが何かを暗示しているというか象徴しているというか。ま、楽しませてください。

明日は3週間振りに職場に行かなくていい水曜日。ということで少々呑む。色々気に成ってることがあるが、録画してある何かを見るか、気に成ってる数学をするか、それとも蟻地獄（謎）を一つでも片付けるか。まあ夜は長いので、その時の気分次第で。

10月26日と言えば…

寝ないといけない、と思いつつ、どうしても遅くまで（早くまで）起きていてしまう。大河ドラマを見た後、ケーブルテレビのチューナーのハードディスクがカツカツといういつもの奴で、1時間20分物くらいの手品の番組を見て、でそれをダビングしよとしたら Blu-ray ディスクの容量が足りないという間抜けな事態。何かハードディスクから消さないと、と思って、ゲストが知らない人の時の「A-studio＋」を一つ二つ消して、で「プロ野球ニュース」の録画したのがあるが、何だろう？と思って、Baystars の試合だけ見た。わざわざ録画したところを見ると、楽しい試合だろう、と思ったらそうだった。Giants 戦だが、1回に満塁ホームランを打たれた試合を終盤の猛攻で引っくり返した試合。ライトの松本剛がライトフライを前進し過ぎで万歳をして抜かれて長打にするという、草野球までやってくれた試合だ。思い出した。が、もういいや、と消した。で録画予約を見ると、数日は大丈夫に成った。よかった。で6時過ぎに古川昌希アナがこの前の「探偵！ナイトスクープ」に出た話をするかと思って、その結論を見ようと起きていて、ちゃんと言っていた。これで悔いは無くなった、ということで寝た。

で起きたら2時くらい。2時55分からのゼミに間に合えばいいから、まだ大丈夫。ただ食事をゆっくりする時間が無い。ウェストウィングの1階のパンの販売機にうぐいすパンが有ったので、一つ買ってコーヒーで流し込んでから臨戦態勢。今日は Z[√(－d)]（d は square-free な自然数で d≡1,2 (mod 4)」での素イデアル分解の一意性をやりたくて、イデアルがいい底を持つとか、イデアルのノルムが何だとか、含むのと割るのが同値とか、素イデアルって素数っぽいよね、という定理などをやった。来週はイデアル類群だろうか？素数の分解がルジャンドル記号で分かるというのが先だな。面白くなってきた。含むのと割るのが同値、と書いたが I⊂J を J｜I と思い切って書いてしまうとスッキリするんだが。そもそも整数の整除を a｜b と書かないでイデアルを使って b∈(a) としてしまう本だから、止むを得ない。コメントすればいいこと。書いた通り話せば済んでしまう本より、少しツッコミどころやコメントの入れどころがある本の方がよい。

でその後部屋でちょっとゴソゴソと。明日の講義のことをちょっと見ておいたりとか。今日は7時からマンションの理事会があるので、6時に職場を出た。高速道路は渋滞してる時間だ、と思ったら全然渋滞してなかった。70km/h を時々割るのは混んでるのが原因でなく、小生の前を走ってるトラックがゆっくり走ってるだけだった。急いでないのでいいです。

で理事会には余裕で間に合った。いつもの通り諸々議題があって、2時間近く。住人に困ったちゃんが一人いるんだが、お一方強硬派の方がおられる以外は、皆何となく軟着陸させたがっている。管理人さんと管理会社の人の顔が曇っている。強硬策に出ていいと思うんだがな。他にもマンションの大規模修繕計画の件など。そっちに金が掛かるのは織り込み済みで、マンションの会社に我々が徴収された分をプールしてあるが、機械式駐車場の修繕も金が掛かるので、そっちはいいのか？というのが最近出来した。一戸建てに住むのより分譲マンションの方が気楽な面もあるが、こっちはこっちで面倒臭いな。かと言って、前住んでた賃貸マンションに住み続ける気は無かったので、いいけど。

ロクに物を食べてないので、カップ焼きそばを食して、何とか生き返った。その後ちょっと眠いので、寝床でウダウダとしてたら寝入った。「報道ステーション」の音声が聞こえてきて、「過ぎるTV」の音声も聞こえてきたが、まだウダウダと寝床にいた。で漸く起き上がってこれを書いてる次第。まあ特に書くほどのことは無いんだが、10月26日に何も書かないわけにはいかない。1998年の10月26日と言えば、横浜 Baystars 唯一の日本一決定日。その後 DeNA に親会社が変わり横浜 DeNA Baystars に成ってからリーグ優勝を一回もしてない。1998年は今の所 Baystars 唯一のリーグ優勝だな。一昨年のを日本一とはちょっと言いたくないので、Baystars が日本一に成ったのは一度だけだ。今年もリーグ優勝は出来なかったが、日本シリーズ優勝の可能性はまだある。さっき見たら、一昨年は1戦目有原、2戦目にモイネロにやられて、3戦目を東で取り返して勢いに乗ったのだった。今年の1戦目は有原と同じ Fighters から MLB に行って活躍出来ずという所が共通の上沢、2戦目がモイネロ、で明日の Baystars の予告先発は東。場所は福岡。吉兆だな。明日は4時30分まで講義後、4時50分から教授会。試合開始にまでに住処に帰り着くのは無理だな。また Tver でやるかな。途中まで見て、渋滞が収まる頃に職場を出て、続きを見るか。まてよ、Tigers との CS は1試合も見なかったら勝てたな。どうしよう？まあ状況次第ということで。

さっき寝床で「今日はガロアの誕生日」ということを Facebook に上げてる人がいて、何と小生のお袋はガロアの生まれ変わりか！と興奮して見たら1日前の投稿で、ガロアの誕生日は10月25日だった。残念。横浜 Baystars が日本一に成った1998年10月26日にはお袋の60回目の誕生日だった。数論の人は絶対忘れてはいけない日なのだが、お分かりか？この日に岩澤健吉先生がお亡くなりになった。10月27日に早稲田に行ってネットニュースを見たらそう出ていてビックリした。Wikipedia を今見たが、はっきりそう書いてある。大抵「～月～日にお亡くなりに成っていた」という感じで少し遅れて発表されるが、岩澤先生の時は全くタイムラグ無しで発表されていた。影響力のあるお方ということだろうか？「局所類体論」は読んだが、正直ちゃんと理解してるとは言えない。もう一回読みたい所。加筆英訳された本も持ってるが、Lubin-Tate 加群を使って相互法則を証明されている所は見事だと言っておられた方がいたので、そっちも読みたい。まあやることが無い時にじっくり読みます。

あ、明日は資源ごみの日だ。2週間経つの早いな。もう来週は11月だし。そりゃ薄ら寒くも成ってくるな。体調には気を付けないと。今日は時間が無くて一枚羽織らないで出掛けてしまったが、明日は少し余裕を持って出たいところだが、これからゴミの分別をしないといけないので、ちょっと遅くなりそう。まあそれは無くてもプロレスが終わるまでは大概起きてるんだが。ということでこれから一作業。

2試合続けて延長戦を落とすも、一昨年と同じ2連敗スタートでむしろ吉兆

ふなごやに着くと、店長がスマホに見入っていた。速報のアプリを見てるのかと思ったら、Tver で配信していると言っていたので、早速 Tver のアプリを起動する。先制されたが8回裏に牧のソロホームランが出て追い付いた。で初戦から延長戦に成ったが、競り負けた。残念。まあいいです。その後いつもの通り呑んで呑んでまた呑んで。ワインも呑んだ。で途中で店長が寝入ってしまったので、YouTube で下らん動画を見ながら呑んでいたが、グラスが空に成った。店長が寝ているのを幸いに、店長のワインをこっそり頂戴して、で店長が起きた後精算して終了。楽しかった。

で例によって夕刻まで寝ていた。目が覚めてスマホで野球の速報のアプリを見ると、今日は6時開始だった。危ない。で Uber Eats に先週キャンセルされた店の同じ料理をしつこく頼んで食べて、で観戦開始。何だかんだと2点リードされてしまったが、ピンチの場面で松尾の賢いバント処理で併殺打に斬って取ったり、度会のお粗末な落球でノーアウト3塁のピンチを作ったのを抑えたりと、見所はあった。で8回裏に2点ビハインドの場面で、筒香が逆転3ランホームランを打った。興奮した。こんな試合は勝たないと、と思ったが、9回表に出てきたレイノルズが代打山川に場外ホームランを打たれて同点にされ、10回表に伊勢が代走で柳田に代わって出てきた川村にバックスクリーンに叩き込まれ the end。2戦連続の延長を競り負けたが、むしろいい兆候。リーグでの成績が両チームとも全く同じ成績で、しかも一昨年と同じ横浜スタジアムでの2連敗スタート。しかも3戦目の先発は東が濃厚だが、それも一昨年と同じ。福岡で東で勝ったら、それはもう Baystars ファンは大盛り上がりさ。と言うことで、負けてよかったのだ。負け惜しみではないよ。Tigers が Baystars に完璧に負けていたが、それに比べると Baystars は Hawks にちゃんと喰らい付いてる。大丈夫、明後日以降は勝てる。

何か明日はうすら寒いようだ。一枚羽織って行った方がいいな。小生は Baystars と関係無く青系が好きで、明日羽織って行く予定の上着も真っ青。カズレーザーのように鮮やかに赤一色で、というのに比べれば負けるが。どうでもいいが、カズレーザーはキムチが嫌いらしい。くりぃむしちゅー上田に見た目が凄くキムチっぽいのにな、と突っ込まれていた。キムチな、暫く食べてない。すき家でキムチ牛丼でも食うか。王将でキムチ炒飯でもいいが。山科駅前の王将の Uber Eats のメニューにキムチ炒飯とニンニク激増し餃子が無くなってしまったので、仕方なく普通の炒飯と餃子にしてるが、時々京都東インター店が Uber Eats に上がってくることがあって、その時は必ずその二つを頼んでる。近い内に帰りに寄って食べよう。膳所店でもいいな。えーと、青い話ね。明後日は福岡を真っ青にしてやりましょう。Hawks 関係者の顔面も蒼白にしてやろう。頑張れ。

日本シリーズ開幕

「真田十勇士」が終わって暫くしてから横に成った。スマホをちょといじったような気がするが、記憶は曖昧。でそのまま12時間以上寝てしまった。疲れていたのだろう。で床屋に電話したらすぐにでも切ってくれそうな感じだったので向かう。途中マツヤスーパーの京都銀行の ATM で金を卸そうとしたが、暗証番号が違う、と二度拒否された。確か三回間違うと使えなくなってしまうので、冷静に成って暗証番号を思い出すことにして床屋へ向かう。戸ちゅう正しい暗証番号を思い出した。三桁目が違うな。床屋で払うには十分な額が財布に入ってる（何しろ旧千円札だけで5万円以上あるから）ので問題は無い。で野球の話やらテレビでやっていたラグビーやらの話で結構盛り上がる中切ってもらう。スッキリした。確か院試の前だったか直後だった以来の床屋だから、2ヶ月くらいだ。最後にドライヤーやら何やらを使って入念に髪型を整えてくれるのだが、小生結構癖毛で何十年も同じ髪型をしてるから、もう固まってしまっている。ちょっといじれば元の木阿弥に成ってしまう。熱心にやってくださるので、断るのも申し訳ないからやってもらうが。でちゃんとお金が卸せた。雨が降るようなことを言ってたので傘を持って行ったが、全然降る様子が無いので、DCM で一つ買い物のつもりだったが二つ買い物が出来た。ペットボトルの500ccくらいの飲み物も一本買って帰宅。

日本シリーズが今日開幕だが、6時半開始なので少々時間がある。ニュースを見たりして時間を潰して、で横浜スタジアムでの試合だから CS の TBS チャンネル2で放送があるのかと思ったら、流石に日本シリーズだけあって地上波でしか放送が無いようだ。TBS 系で放送があるとのことで、MBS（関西では4ch）に合わせる。解説は番長と工藤公康。番長は始球式で投げるらしく、一旦放送席を離れた。で6時半に時間通り開始。雨が少々降ってるらしい。台風の影響で関東は暫く天気が悪いようなことを言ってた。まあ今日、明日出来れば火曜日から3試合はドーム球場で出来るので、持って欲しいところ。先発は Baystars が石田裕太郎、Hawks が上沢。1回は両チームとも得点圏に走者が進んだが無得点。特に Baystars はノーアウト1、2塁でその後満塁としたのに併殺打でチャンスを潰した。監督として経験豊富な工藤氏曰く、日本シリーズでは特別なことをしないのが大事、だそうだだ、久し振り（2ヶ月以上）の梶原を起用して併殺打だから、ちょっと嫌な感じ。2回以降は両投手好投を見せている。が、今6回表だが、Hawks の栗原が2アウトから二塁打を打ちピンチ。柳田が打席だがさてどうなる？

などと書いてしばし。柳田を打ち取った。6回表終了で0－0。熱戦だ。どちらも CS では打ち勝ってきたチームだが、投手がいいとこういう展開に成るな。ふなごやが閉まってしまうので途中までしか見られそうにないが、スマホでチェックすれば成り行きは分かるのでいいです。勝ってくれよ。

位相に熱中してる内に寝るタイミングを失い、徹夜で講義だゼミだとこなしてきた

位相を鍛えよう、と始めたが、予想より遥かに鈍く成ってる。そもそも距離空間での開球が開集合であることも閉球が閉集合であることも示せない。位相は20年以上前に一度だけ講義をしたことがあるが、学生が何故代数の講義を専らにしている小生が担当する？と学生が不思議がっていた。別に位相空間は幾何の為にあるんじゃないんだよ、と言っておいたが、通じたか？で結構一からやり直して、で開基だ直積位相だとやりたいが、結局辿り着かなかった。開球を使って説明していることを近傍で書き直すとどうなる？開集合で書き直すとどうなる？とか結構楽しい。何とか開基に辿り着けないか、とやってる内に寝るタイミングを逸した。もうええわ、と適当にシャワーを浴びて、うな松の混む前に行くことして、10時半過ぎに草津に向かうべくスタート。

高速道路を下りて職場の前を左折して、で何やら渋滞している。昼の11時過ぎに道路工事で片側交互通行に成ってる。何故こんな時間にやるかな。ちょっと想定外だったが、まあ腹が減るのでいいことにして、苛々はしないことにする。11時10分過ぎくらいに到着して、いつもの通り名物一本鰻を食べてきた。LINE のお友達登録をしておくと、割と頻繁にクーポンが来るので、今日も200円安く食べられた。クーポンが無くても JAF の会員証を見せれば100円引きなんだが。

12時ちょい過ぎに個研室に到着。閉球が閉集合であることの証明は住処を出る前に出来たつもりだったが、職場でもう一度考えたら何かおかしい。寝不足だし冷静さを欠いてるな。d(x,y)≦d(x,z)＋d(z,y) は何の迷いも無く使えるが、d(x,y)≧d(x,z)－d(z,y) とか出てくるから訳が分からなくなるのだ。もう1時に成っていたので、中途で渋々講義室へ向かう。

どんどん受講生が減っていくが、気にせず始める。今日は代数的な元を二つ足したり掛けたりしても代数的、0でない代数的な元の乗法逆元も代数的とか示すのに色々準備。思いっ切り抽象的にやったが、実際に多項式を求められた方がいいよね、ということで具体的な計算もやって見せる。でそれから拡大 L/K と中間体 M を取った時に、「L/K が代数的 ⇔ L/M, M/K が代数的」を示すが、片方の implication は超自明。何の本でも「自明」、「容易」と書いて証明してないだろうが、ちゃんとやって見せる。「ごちゃごちゃ書いたけど、大したことやってないから。後で見といて」と言って逆を示す。こっちはちょっとトリッキー。時間が少々掛かったが、「こんなのは長い証明に入らないから」と言っておく。3回生だから来年度は卒研でもっと大変なことをさせられるだろうし、これくらいは何でもないと思ってくれないと。で代数的閉体を定義して、C が代数的閉体であることを事実だけ紹介して時間。来週は代数的閉包の存在と一意性を結果だけ話してから、…、と大分訳が分からなくなってきただろう。存在と一意性の証明を勉強して書いて web に上げようか、と思わないでもないが、位相を究めるのが先なので、今年もいいことにする。ゼミで色々嘘を付いたのを詫びて、正しい情報を学生に送りたいし。

が、その前にタップリ3時間強のゼミがある。寝不足だが大丈夫か？と思ったが、ずーっとちゃんと聞いてた。この前ディリクレの単数定理を示して、今日は総実な3次体とか Q 上素数次巡回拡大体の場合とかそういう時に単数がどうなってるか見るというのをやるのだが、重い。石田信先生の本でゼミをやるのは恐らく3度目だが、前の時はこんなに苦労しなかったと思うが。小生が真面目に聞いてなかったということだろうか。いけないな。今日は結構しつこく聞いたり時間を使ったりしたので、一箇所を除いて全部分かった。一箇所は学生とああでもないこうでもないとやったが、紛糾して埒が明かないので、そこは飛ばして先をやってもらって、で問題の箇所はもう一週間考えてもらうことにして、6時15分に終了。長い一日だった。

が、すぐには帰らない。高速道路が渋滞しているのでね。で位相の続きをやる。閉球が閉集合であることはすぐに示せた。やはり冷静なのが大事。それと全然違うことに脳味噌を使って、活性化されたのがよかったか。ついでに色々やって TeX 化してとかやってる内に8時に成ってた。帰ろう。

案の定大して渋滞してなかったので、サクッと帰宅。食事はカップ麺で済まそうということにして、待ったり食べたりしながら一昨日の「ミラクル9」を見た。面白かった。日本で一番漁港の多いのは北海道だそうだ。あれだけの面積だからまあ当然だろうが、2位は？と問われて、結構答が上がってたが、長崎だった。まあむべなるかな。海無し県は最初から除外されてたが、滋賀が入っていたのは琵琶湖の漁港を数に入れたということだろうか。面白かった。

で「報道ステーション」を途中から見たが、エンディングの時に言っていたが今日のトップニュースはゴジラ松井が読売 Giants の監督に就任というニュースだったらしい。もっと大ニュースがありそうなもんだが。PHP のセキュリティーホールのニュースはどうした？学内のホームページ類も PHP 使ってるんだろうか？小生のホームページは html  べた書きだから、まあ心配無い。少し前までは TeraTerm 起動させてサーバーにログインして、emacs（mule?）で直接ソースを編集してたが、それを許してくれなくなったので、ftp ソフトでソースを全部ダウンロードしてある。更新する時はそれを書き直して ftp ソフトで upload とやってる。鬱陶しくなった。いいけど。

「探偵！ナイトスクープ」が終わったら寝ようと思っていたのだが、その後に短い番組を一本挟んだ後のドラマ枠で「真田十勇士」が始まるらしく、見ることにした。真田ものは面白いからね。ふなごやの店長が Amazon Prime か何かで大河ドラマ「真田丸」を集中して見ていたようで、「見始めた」と言ってた次の週には「もう半分越した」、次の週は「見終わった」と、50話もあるドラマを2週間ちょいで見てしまうというのでも真田ものの面白さは知れよう。というわけで1時半くらいまでは起きてる。明日は床屋に行きたいので、程々に起きる。雨降りらしいが仕方ない。2ヶ月くらい行ってないから鬱陶しい。行くぞ。

織田翔希を Giants が強行で1位指名してビックリ

昨日書いた通り今日はトヨタに行った。12時くらいに起きればいいと思ったが、10時半前に目が覚めた。アニメを見ないで寝てよかったか。が結局時間があるので、録画してあったアニメを見た。昨晩見て寝て、今朝遅く起きたのと結果としては同じだが、まあいいです。でトヨタに行って、諸々手続き。結構時間食った。

職場に着いたのは3時過ぎ。4時40分からゼミで、今日からイデールに突っ込む筈なので、ちょっと事前に付け焼刃で勉強した。が、全然勉強が足りなかった。イデールに位相を入れるが、そもそも直積位相が分かってない。でうっかり直積位相の定義として「箱型積位相」の定義を言ってしまった。まあ制限直積にする分には関係無いからいいけど。でもやっぱり開基がよく分かってなくて、3人揃ってああでもないこうでもないと、大分混乱した。結局1ページくらいしか進まなかったが、まあいいでしょう。来週までに位相を鍛えておくことにする。

で8時ちょいに終わって6階に下りる（ゼミは7階でやってる）と、またぞろ宴会をしているのが聞こえてきた。星君が来たのってもう1週間前か。早いな。まあ先週は土曜日に数物会があったし、昨日は処方箋を書いてもらいに職場に行ったから、いつもより忙しかったのは間違いない。明後日は床屋に行きたいから、明日も早目に寝よう。講義の後6時過ぎまでゼミだから結構疲れる筈なので、夜はすぐ寝られるでしょう。

今日はNPBのドラフト会議。横浜高校の織田翔希はMLBを目指すかアメリカの大学で鍛えるかどっちか、と表明していたが、読売 Giants が強行で単独指名。うん、まあそれに関してはとやかく言うつもりは無いが、織田君は自分の信じた通りにしましょう。大谷翔平（奇しくも「翔」が入ってる）も Fighters の強行指名に難色を示していたが、結局は栗山英樹という理解のある人の指揮するチームだったので、二刀流の基礎をしっかり作ってアメリカに行けた。どっちに目が出るかは神のみぞしるということでね。

強行指名を断った例は幾つもあって、例えば元木大介が Hawks を頑として固辞し1年後に Giants に入った。菅野智之は Fighters を断って Giants に行ったが、元木は期待ほど働かなかったという感じだが、どうですか、ファンの皆様。菅野は Giants に入って成功したが、もう一人忘れられないのは小池秀郎。野茂に並ぶ8球団からドラフト1位指名も、絶対行きたくないと言ってたロッテ Orions（まだ川崎にいる頃で、千葉ロッテ Marines ではない）が籤を引き当て、絶望したような表情が映し出されたのは未だに忘れられない。ロッテ球団は指名しないでおこうとしたらしいが、金田正一監督（所謂カネヤン）が強行せいと指示したとか。ロッテは何度も説得行ったが、結局翻意せず社会人に進んだ。でその後近鉄 Buffaloes（まだ「大阪近鉄 Bufalloes」ではない時）に入って、一度は15勝で最多勝こそ獲ったが、まあ期待ほどではなかった。どうなるか分からないよ。Baystars 関係の話だが、ドラフト下位で指名された佐野、宮崎、祐大（もういないが）は凄く活躍している。ドラフト下位からで活躍した選手は枚挙にいとまがない。上位だからと言って未来が約束されているわけではないのだ。小園、というと Carp にいた（いた、というのが悲しいが）が有名だが、Baystars にも小園はいた。ドラフト1位で入って、番長の後継者ということで背番号18を背負ったが、1軍では1勝しか出来ず、この前戦力外通告を受けた。（それでもファームの日本選手権に帯同し、登板してくれたのは有難いが。）だから織田君もね、自分に正直にいくのがいいでしょう。受験生もそうだが、希望の所じゃなくてもいいことはあるのでね。自分で心を閉ざすのが一番良くないと思う。まあ小生のように、第一志望の大学に入れて、で割とちゃんとした所に就職出来たものが言ってもあまり説得力は無いが。第一志望でも不満を持つ人はいるから。しつこいけど自分の信じた通りにやりましょう。

結局代数的閉包の存在と一意性の証明を読んでないな。まあいいや、また今度やる。