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勝しか出来ず、この前戦力外通告を受けた。（それでもファームの日本選手権に帯同し、登板してくれたのは有難いが。）だから織田君もね、自分に正直にいくのがいいでしょう。受験生もそうだが、希望の所じゃなくてもいいことはあるのでね。自分で心を閉ざすのが一番良くないと思う。まあ小生のように、第一志望の大学に入れて、で割とちゃんとした所に就職出来たものが言ってもあまり説得力は無いが。第一志望でも不満を持つ人はいるから。しつこいけど自分の信じた通りにやりましょう。

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

保健センターに滑り込みセーフ

保健センター行の日だが、またしても起きたら相当遅い時間。シャワーを浴びる間も無く、脱兎のごとき出立。勿論スピード違反はしないよ（いや、まあ、誤差の範囲内ではしてるかも）。で何とか受付終了前に着けるだろうとなったが、学内を長時間歩くと間に合わないかも、とウェストウィングの近くに停められる場所があることを願って向かうが、またしても身障者用のスペースに停める羽目に成った。人間身勝手に考えるもので、「他にも同様の場所があるからいいじゃねーか」と思ってしまう。余裕があったらもう一回別の場所を探すが、余裕が無かったので。許してください。で血圧は少々高目。慌てていたからかもな。

その後部屋で少々数学。ちょっと整理出来たことがあったんで、その続きを。まあまだ論文に出来る程ではないが。他に幾つかしたいことがあったが、時間の関係で断念。処方箋の受付は8時までなので、7時くらいに個研室を後にする。身障者用のスペースに停めてると警告書がワイパーに挟まってることがあるが、今日は無かった。ただコーンが運転席側のドアの前に置いてあったのは、警告書の代わりか？それとも義憤にかられた自称「警察」が意地悪で置いたのだろうか？今後は気を付けます。で渋滞してない高速道路を通って、無事薬を受け取って今日の任務は終了。

ちょっと途中で閃いたことがあったが、勘違いだった。mod 8 で 5 と合同と仮定しなくてもそう出てくるのに、仮定していると思い込んでいた。が、もう一つ mod 8 で 5 と合同と仮定して示していた所があったが、そこで追加した別の仮定「基本単数のトレースが奇数」を仮定しなくてもいい気がしたが、それも勘違いだった。上手くいきそうにない。これ元々はある論文で証明されていた結果だが、そこではトレースが奇数と仮定してないのに証明を読むと仮定しているように見える。m∈N が square-free で m≡5 (mod 8) である時、Q(√m) の基本単数はトレースが奇数な時が多いが、時々偶数に成る。m＝37 が最小の例。これのお陰で論文が書けて学位が貰えたから、忘れるわけがない。ネタ元の論文は m＝29 までしか確認しなかったか？実験したが、トレースが奇数と仮定しなくても成り立ってそうなので、何とかしようと昔格闘したが上手くいかなかった。もう一回格闘してみるか。あ、明日は1時半前にトヨタに行かないと。ゼミは4時40分からだが、あまり遅くまで起きていられないな。まあいいか、職場に早く着けるということだから、その後に考えるか。水曜の深夜は変なアニメがあって気に成るが、録画しておくか。例によってケーブルテレビのチューナーのハードディスクはカツカツなのだが。「相棒」が今日始まったが、Blu-ray のディスク直録りした。明日の「ゴチバトル」はハードディスクに録れるが、日曜日の大河ドラマは無理。明日はゼミが終わるのは8時（20時ね）だから、早く帰ってこられないので、今日の「ミラクル9」を見ることは出来ないな。大体金曜日は訳の分からない時間まで起きてるが、今週は床屋へ行きたいので、程々にしておかないと。日本シリーズも始まるしね。ということで色々悩ましい数日間である。

moodle＋R で作業するのに全然慣れなくて、うまくいってる自信が全く無い

はま寿司で牡蠣フェアをやってるから、昼飯をはま寿司で済ませて職場へ、のつもりが起きたのは1時半くらい。シャワーを浴びて出掛けるとはま寿司に寄る時間は全く無い。寝癖ボーボーだからシャワーで直さないわけにはいかない。ということではま寿司は諦める。職場に着いたのは2時半くらいで、生協で弁当を買って食すくらいの時間はある。で買おうとしたら、電子マネーの残高不足。現金は持ってるので大丈夫だが、何やら手間取った。土曜日に数物会のため職場に行った時に、「立命館大学正門前」のバス停で4人くらい降りていった（一人は慌ててその後についていった）が、その際にクレジットカード式だか何だかの交通系ICカードで降りようとして、運転手さんにカード対応じゃないから現金で払って、と言われていたが、現金を1円も持ってないらしい。「今回はいいけど、帰りも乗れないよ」と言われていたがどうしただろうか？現金は持ってないといけないよ。充電が切れたらどうにもならないし、スマホを落としたらどうするつもりなのだろう？多分誰の電話番号も覚えてないのだろうし、公衆電話は使い方を知らないだろうし。現金無しではタクシーで帰るというわけにもいかないだろうし。現金は携行しましょう。

2時55分から大学院向けの講義。先週は終結式と判別式の関係を行ったところで時間に成ったので、今日は2次式の判別式と3次式の判別式の話。X³＋cX＋d の判別式くらいは覚えておきましょう、と言ってから代数体の判別式に突っ込む。自由アーベル群の話をちょっとして（証明は抜き）、代数体の判別式が well-defined なことを示してから、幾つか計算して、それから判別式に関する定理を幾つか証明抜きで紹介。判別式≡0,1 (mod 4) とか符号が (－1)^{r_2} であるみたいな易しい話はちょろっと雰囲気だけ話して、それから Minkowski の判別式の評価の話（とても大変だと言っておく）、L/K が代数体の有限次拡大の時の L と K の判別式の関係（相対判別式も共役差積も定義してないから、商がどんな値に成るかは話せないが）などを話して、で既約元分解が一意でない場合がある話をしたいが、その前に U.F.D. の話をちゃんとした方がいいということで既約元がどうしたとか素元がどうしたとか話したら時間に成った。

その後部屋で講義ノートを moodle＋R にアップする作業をやろうと思うが、その前にメールを見たら、卒研配属関係の仕事を野球にかまけてサボっていて、それに関する問い合わせがあった、と連絡があった。その作業をまずやらないと、と始めるが、moodle＋R の使い方にまだ全然慣れてない。春学期にレポート出題、回収、採点をしたが、それは何とかなったが、どうやったか皆目思い出せず、教務支援に関する web ページを見て悪戦苦闘。上手くいった保証が全然無いので、配布するものだけ別にページを作って置いておいた。こっちは大分慣れてきたので大丈夫だろう。提出締め切り間際に成って「提出出来ないぞ！」とか、その後に「時間までに提出出来なかったぞ！どうしてくれる！」という趣旨のメールが来たら怖い。不安だ。

それから講義ノートを上げる作業。こっちは流石にもう慣れた。それからちょっと昨日の晩悪戦苦闘してやった数学を整理して。この方が生産性があって、気持ちも上がるし充実感がある。事務作業は嫌だ。8時半過ぎに職場を出た。

はま寿司が昼でないといけない理由は何も無い。南草津のはま寿司は深夜までやってるし。ということで晩飯ははま寿司にした。タブレットのメニューを見て注文するという今風の方法だが、一ページ目に「牡蠣にぎり もみじおろし乗せ」というのがあったので頼むが、二ページ目にシンプルな牡蠣にぎりがあった。何だ。まあ100円だから、ページをめくってる内にもう一度出会ったら頼もう、ということにして適当に頼んでいくと、案の定出てきた。ということで頼んで食べて、大体2000円くらい。昼が遅かったからかいつもより少々安く済んだ。で国道一号を一路山科へ。途中膳所の辺りでガソリンを10リットル給油して帰宅。職場でちょっと探していた本が見付かったので、出ていて欲しい結果は出てるか？と思って帰宅後開いたが、出てない。うーん、p が p≡5 (mod 8) の時、x²－2py²＝－1 が自然数解 x,y を持つこと（同じことだが Q(√(2p)) の基本単数のノルムが－1であること）の証明がちゃんと出てる洋書なり論文なり見付けたいが。日本語だと高木貞治「初等整数論講義」に出てるが、論文に T. Takagi “Lectures on elemetary number theory”（in Japanese）」と書くのは嫌だ（in Chinese って書いてたり in Russian と書いてる論文は結構ある）し、Nagell の “Number Theory” には演習問題として出ているが、証明、解答は付いてないので引用しずらい。まあそこのこと以外にもちゃんと整理出来てない部分がかなり多くあるので、急がないしゆっくり探そう。

先週の水曜日は卒研ガイダンスの仕切りをしないといけないので職場に行って、土曜日も行ったので6日連続だった。明日は保健センターに行く日なので、今週は5日間職場に行く。火曜の晩は呑むことにしているが、今晩は呑みは無し。程々に寝る。血圧測るし。受付終了は3時半だから、まあ今日と同じくらいに起きればいいので、大変ではないが。あ、明後日はゼミが夕刻からなのだが、トヨタに1時半までに行く用事があった。何か夜更かしできないと感じが狂うな。土曜は床屋に行きたいから金曜の晩も呑めない。まあ土曜日から日曜日に掛けて呑むので、金曜の晩はいいけど。何かとっても暑いようなことを言ってた。今までで一番遅い夏日がどこだかで観測されるらしい。去年は9月に成ってもずーっと暑かったが、今年はそうでなくてホッとした筈。10月にまた暑く成るとは聞いてないぞ。明日は半袖かな。

ellheegner コマンドで求めた有理点は案の定ある点の3倍だった

早目に寝るつもりでいたが、2時55分までに職場に行けばいいという甘えから、つい起きていてしまう。「おはよう朝日です」を途中まで見たが、思ったより暗くなかった。まあリーグ優勝はしたわけだし。リーグ優勝を Giants にかっさらわれたりしたら酷かったのかもしれないが。ということで変な時間まで起きていたせいで、起きたのは相当遅かった。栗東にボストンコモンという Baystars ファンの大将がやってるステーキハウスがあって、Baystars ファン貸し切りの会が時々あるが、何度か行った。滋賀なのに不思議な所だ。そこは凄い所で、去年は三嶋一輝氏が来たそうだし、数年前は何とボビー・ローズが来たそうだ。で今日はそこで昼飯を食べるべく早起き、の予定だが完全に狂って、ウェストウィングの一階のパンの販売機で1個買って齧るだけの時間しか無かった。まあゼミだけで体力は使わないからいいでしょう。

で何とかゼミに間に合った。今日は整数環が Z[√(－d)] の形でない虚二次体とか、実二次体の整数環の例として Z[√2] とか。単数が無限個あるという何だか判じ物みたいなこととか。p＝a²＋2b² なる a,b∈Z が一個でもあったら無限個ある、というのをぐちゃぐちゃ計算して示してあるが、ノルムが p の元とノルムが1の単数を掛けたものが全部そうなので、無限個ある、という方が見通しがいいとおもうが、と毎年思う。ということでそう話しておく。で類数が1でない虚二次体の章に突入。分解が一意でない例はここ数年沢山例を見付けた。27＝3³＝(1＋√(－26))(1－√(－26)) みたいに立方数なのに square-free みたいな顔をした奴とか、30＝2×3×5＝(1＋√(－29))(1－√(－29)) みたいに因子の個数が違う奴とか色々気味が悪い。こういうのを知っておくと面白いよね。来週はイデアルがいい整数底を持つ話とかイデアルのノルムとかやるようだ。素イデアル分解の一意性まで行くかな？順調でよろしい。

夏休みは住処のパソコンで有理点探しをしていた。何日も何週間も掛かるものを職場のパソコンにやらせると、経過を見に行かないといけない。8月、9月は暑いので外出したくないし、行っても結果が出てなくてガッカリ、ということが考えられるから、住処のパソコンでやっていたのだが、秋学期は週に4日以上職場に行くから、別にやらせおいてもいい。ということで前に見付けたのの追試をしているのだが、今日見付かっていた（74時間強）ものは、Magma Calculator の Generators コマンドで一瞬で生成元が見付かっていた曲線を PARI/GP の ellheegner コマンドで見付けさせよう、ということでやっていた。が、これは実は問題児。Magma Caculator で見付かった点の height と ConjecturalRegulator で求めた値に9倍の差がある。ellheegner コマンドでは正しい生成元と height 9倍の点（点としては3倍された点）のどっちが出る？と思ったら3倍された点が返ってきていた。今まで見付けたのもそうなってる可能性は大。ということで ellsaturation(E,[P],100) くらいは全部試した方がいいな。今日求まった奴でやったら、ちゃんと三分の一倍点（そんな用語があるか知らんが）が返ってきた。コンピューターが返した結果を盲目的に受け入れてはいけないな。最近の人は何かと AI に頼っているが、最後は自分で判断せあかんえ。ellsaturation だけでなく、小さい素数 p で 1/p  倍点（だからそんな用語はあるのか？）があるかどうか確認して、log height（Weil height？）と canonical height の差を求めて（SageMath で簡単に出来る）、で地味な方法でlog height が求まった bound 以下の点が無いことを確かめよう。まあ結局コンピューターに頼ることには違いないが、何も分かってないのと少しでも手触りでやるのとは違う。ということで明日からやる。

今週も水曜日に職場に行かないといけないことに気付いてしまった。二か月に一回の保健センターの日。先週は6日行ったし、今週は5日。よう働いた。床屋に行きたいが、土曜まで無理だな。映画も行きたいが、土曜日から日本シリーズだし。何故6時半開始何だろうか？6時からやって欲しいが。CS でやってる「プロ野球ニュース」は通常は23時からなのだが、日本シリーズ中は30分開始を遅らせるそうだ。まあいいです。土曜日は途中で呑みに出るし、日曜日は夜なら二日酔いでがっつり寝込んだ後でも見られる。ということでまだまだ忙しいです。事務の人にメールを書かないと。今日は数物事務室は全日閉めると言ってたから、今日書けばいいと思って放っておいた。これを書き終わったらメールを書く。ということでもう一仕事。