Tikz と格闘

昨日は呑んできた。日が変わるまで。日本酒旨いね。

で帰宅後は TikZ と格闘。楕円曲線がようやく描けた。で加法を定義する図を描きたいんだが、うまくいかない。綺麗な形の楕円曲線はちょっと定義方程式が変に成るので、割線と曲線の交点がよく分からない点になる。でその点をどうやって求めるか？というのがわからない。y軸に平行な直線を引かないといけないので、x座標だけ取り出したい。で Goolgle 検索かけてもそのものズバリという情報が出てこない。でいまだにうまくいってない。まあ時間はあるので、もうちょっと格闘する。で昼過ぎまで飲まず食わずで起きていた。

というわけで生活リズムはめちゃくちゃ。未だに飯を食べていない。これから食べる。数理科学特論1のレポートの締め切りが30分弱に迫ってきた。11人くらいだからすぐ採点出来る。やってしまおう。

野球の結果を見ると、Swallows が Tigers に勝ったようだ。さすがに3連敗はまずかろう、ということで頑張ったようだ。村上が自身初の1試合3本塁打。こりゃ50本どころか60本打っちゃうな。シーズンのホームラン記録はバレンティンの60本。これを日本人が塗り替えるとなるとすごいことだ。王の868本を抜いて欲しい。それくらい出来る年齢だ。いや、メジャー行っちゃうから無理か。いや、メジャーでもそれくらい打ってくれれば。とにかく頑張れ。

大谷またも10勝目はお預け

昨晩はブログを書いてから1時間半ほどダウンした。で起きたのだが、大谷が投げるのを見たいぞ！ということで起きていることにした。試合開始の時間をちゃんとチェックしていなかったが、試合開始は10時半過ぎ。8時くらいからだろうと思って起きていたのだが。本格的に寝てもよかったな。

切羽詰まった用事が無いし、数学の本や論文を読む気が起きないから、SageMath の勉強でもしようと。ダウンロードして来てあるものを見たり、google で検索してためになりそうなものをダウンロードしたり。色々新しいことを知った。IntegerModRing(7) と打っていたが、Integers(7) でいいようだったりとか。で少し格好いいことがしたくなり、for ループで書いていたスクリプトを sum 命令を使って1行にしたりとか。虚二次体の類数公式は Σ_{n=1}^d n＊(n/d) とするより、Σ_{n=1}^{d/2} (n/d) という表示を使った方が速くなるだろうから、そう書いてみて数値実験したりとか。「数論序説」は conductor が素数の二次体しか扱っていないので、虚二次体の類数公式は Q(√－p) (p は mod 4 で３と合同な素数）の場合しか書いていない。kronecker_symbol は legendere_symbol で十分だが、一般の虚二次体だと kronecker_symbol が必要になる。でしばし SageMath と格闘。kronecker_character と kronecker_symbol が別の命令だとわかるまで少し掛かった。有意義な時間だった。

10時半からメジャーリーグ。大谷は1回表に3連打され、ノーアウト満塁。そこからが凄かった。3者連続奪三振で0点に抑えた。その後も三振を重ね、11奪三振。6試合連続2桁奪三振。球団記録はノーラン・ライアンの7試合連続だそうだ。また一つ伝説を作りそうだね。で6回2失点だったが、Angels は無得点。で負け投手に成ってしまった。ベーブルースの記録は遠いな。頑張ってもらおう。

その後もニュースを見ながら SageMath の使い方を勉強したり、TikZ の使い方を勉強したり。KDDIが200円くれるんだと。ふーん。まあ小生は迷惑しなかったからいいけど、仕事に使っていた人は当日大変だったろう。200円でいいんでしょうかね？TikZ はまだよくわからない。楕円曲線のグラフが書きたいんだが。秋学期に1回生相手に楕円曲線の話をしなくちゃいけないので。アーベル群を知らなくても、結合法則が成り立つという意味はわかってくれるだろう。無限遠点の説明が難しいが。まあまだ余裕はあるので、追々やることにする。

さて、上に書いた通り寝不足。さっき30分くらい寝たが、お腹が痛くなり目が覚めた。もう寝ようかな。明日はふなごやに顔を出すつもりなので、たっぷり寝ておきたい。相撲は終わってるし、Baystars の試合は無いから、明日も SageMath と TikZ の勉強でもしようか。レポートの締め切りは明後日の23時59分だから、まだ採点できないし。Z/nZ の乗法群の構造を調べる方法は分かったんだが、代数体の整数環/イデアル の乗法群の構造ってどうやるとわかるんだろうか？そもそもその環は構成できるのか？という疑問がある。調べてみよう。やることは色々あるな。まあ暇はしないで済みそうだ。頑張ろ。

Tigers がついに貯金1。Swallows 相手に勝っての貯金とは気分がいいだろう。首位 Swallows と単独2位の Tigers とのゲーム差は10。その下のゲーム差はは1、1、1、3とまだまだ混戦だ。おいていかれないよう頑張らないと。と言っても、あと二日試合は無いんだが。

「笑わない数学」

昨晩はわけのわからない時間まで起きていた。何をしていたかと言うと、テレビを見ていた。NHK でこの前やった「笑わない数学」の「無限」の回を見て、面白いと思った。いきなり濃度の話から始まるあたり、いい加減な番組ではないな、と悟った。監修が小山信也氏であるところを見ると、本格派だな、と。連続体仮設の話もあった。証明出来るか出来ないか、どちらでもない、というあたりは数学基礎論を知らないとわけわかめだろう。まあ小生も数学基礎論をきちっと勉強したことがないので、意味する正確な意味はわからいが。で初回の「素数」の回を見逃していたので、NHK オンデマンドで見られないかと思い、しばし格闘。中々思うようにいかなかった。で見てみると、素数定理の話や、リーマンゼータ関数 ζ(s) のオイラー積展開の話などもあり、面白い。今晩は昨日やった「四色問題」の回を見る。学生がこの番組を見てくれると面白いが、まあ見ないだろうな。こういう話を聞いて数学って面白いと思って欲しいが。まあ無理だろうな。

石川五右衛門が濃度の概念を知っていた、という話は有名。「石川や 浜の真砂は尽きるとも 世に泥棒の種は尽くまじ」というのは、泥棒と浜辺の砂の対応付けが出来ない、という句である。濃度のことを講義でやる時は、是非この話をしてもらいたい。

高校野球の話題がそろそろ本格化している。まあ小生は見ないので関係無いが。それでも神奈川県代表のことはやはり気に成る。昨日の話だが、横浜 vs. 東海大相模の激戦が行われ、横浜が1×－0で勝った。東海大相模は原辰徳の母校だ。負けるよう呪ったが、通じたようだ。京都と滋賀はどうなるだろう？まあ見ないんだけど。

明日は大谷がW二刀流らしい。起きて見るか、このまま起き続けるか、どっちにしよう。明日から日本のプロ野球が再開するが、Baystars vs. Giants の3連戦は Giants にコロナ陽性者が大量に出ているため、延期するとか。じゃあ大谷の投げてるのを見るため徹夜し、ナイターの時間に寝ればいいか、とも思うが、どうしよう。

マイナビオールスター第2戦は柳田の決勝ホームランで決着

今日は昼過ぎに起きた。4時半から会議がある。対面とオンラインのハイブリッドで。職場に行こうかどうしようか迷っていたんだが、外がみるみる暗くなり、落雷の音。外を見ると大雨。これは行くな、ということだな。しばらくしたらやんだが、外は無茶苦茶暑い。いよいよ行くな、ということだ。ということでオンラインで会議に参加することにした。

会議の前にメールを見ると、間抜けなメールが。「立替払いでご提出いただいたウイルス除去作業につきまして、どのお部屋の件かお伺いしたく、ご連絡いたしました。」と。何を言ってる？ウィルスなんてパソコンのに決まっておろうが。その旨返事を書く。納得してくれた模様。「コロナを気にしているためか、頭からお部屋のことだと思い込んでおりました」との返事。今度同様の依頼をする時には「パソコンのウィルス除去作業」と書いてもらわないと。

会議は1時間弱で終了。マイナビオールスターの開始は6時半からなので、大分余裕がある。よかった。

で6時半からマイナビオールスター。パ・リーグの先発は佐々木朗希。また何か伝説を残してくれるのでは？と期待して見る。二人目のバッターにヒットを打たれ、3イニング9奪三振パーフェクトの伝説は早くも終わった。佐藤輝明の犠牲フライで先制点を許した。佐々木は1回で降板。もっと見たかった。162km/hの速球は大谷翔平と並ぶ最速記録。やっぱり凄かった。パ・リーグは2回に佐々木の女房役松川虎生（こう）のタイムリーで追い付く。その後点が中々入らなかったが、6回に柳田（やなぎた）のホームランでパ・リーグが勝ち越し。そのままパ・リーグが抑え切った。パ・リーグの9回はモイネロ、松井（裕）、益田と豪華リレー。2アウトから牧、近本の連続ヒットで1塁2塁。バッターはセ・リーグ首位打者佐野。何かあるのでは？と期待したが、何もなかった。フォークボールをバットに当てて、ピッチャーゴロ。パ・リーグの連勝。まあ今日も面白かった。柳田のホームランは清宮のバットで打ったとか。清宮はレフトの守備でフェンスに当たりながらキャッチと、今日も存在感を見せた。プラスワン投票で選ばれたわけだが、見事だった。かたやセ・リーグのプラスワン投票で選出されたのは小林誠司。いいところがなかった。Giants の選手は活躍しなくていいです。

その後ふなごやに呑みに行こう、と思って行ったら、看板が出てない。ん？と思ったらシャッターも降りてる。何だ休業日か。まあいいや、家で呑もう、ということにした。これから違法販売機でレモンハイを買ってくる。いや、今の時間はビールを売ってるし、ビールでよかろう、と言われるかもしれないが、レモンハイを呑むのが習慣に成ってるので。4缶で560円と安いし。いや、まずビールを呑んで、後でレモンハイを買いに行こうか？まあいいや。販売機の前に行くまで考えよう。ということで呑みます。

マイナビオールスター第1戦は清宮のサヨナラホームランで決着

早寝して早起きして、回転寿司で食事を済ませて、の予定は全て狂った。寝たのが遅くて起きたのも遅い。12時からゼミをやる約束で、住処を出たのは11時過ぎ。昼飯はどないしよ？と思ったんだが、弁当が売っていた。理工は定期試験が無いが、やる学部もあると言ってたから、そのためでしょう。リンクの食堂も開いていた。

飯を掻っ込んで、12時からゼミ。学生の就職活動のため全然ゼミをしていなかったので、テキストが行方不明。小生の部屋はゴミ部屋である。食い散らかした弁当、飲み散らかしたペットボトル、計算用紙、線形代数や代数の本が層をなしている。仕方ないのでテキストを持たずにゼミ室へ向かう。すると、学生が数ページ写真に撮って、ゼミの最中にテキストを見たくなったらそっちを見ます、ということでテキストを貸してくれた。ありがたい。久々のゼミなので予習の具合はどうだろう？と思ったが、立派立派。テキストの証明がよくわからないから、別証明を考えてきた、と。やはりM2ともなると4回生とはだいぶ違う。楽しいゼミだった。

ゼミは1時半過ぎに終了。その後領収書の処理のため事務室へ行き、その足で保健センターへ。が、発熱外来に多数患者が押し寄せているらしく、ドクターがそちらに行っているため、診察は3時50分くらいまで待ってくれ、とのこと。うむ、困った。4時に保険会社の人と約束があるんだが。仕方ないのでそちらを3時半前か、もしくは4時半過ぎに回してもらうよう手配し、しばらくダラダラと。3時過ぎに電話があり、即用事を片付けてくれる、とのことなので、済ます。担当者が変わったので、契約内容の確認など。まだ BKC に一度しか来たことがないそうで、部屋のある建物を聞かれたので、ウェストウィングだ、と答えておく。3時40分くらいに解放された。即保健センターへ。待っている人が3人いた。同じ事情で待たされたのだろう。

処方箋をもらって、個研室へ戻りしばし勉強。2次無理数をあまりよく分かっていないことが判明したので、しばしテキストと睨めっこ。色々勘違いしていたことがあったが、まあわかった。簡約2次無理数とか簡約2次形式とか、定義したのは誰なんだろう？これが2次体のイデアル類群と関連付くと見抜いていたわけではあるまいに。凄いね。

で5時半頃職場を離れて、7時からのマイナビオールスター（プロ野球のオールスター）に間に合わせるつもりだったのだが、2次無理数の勉強を時計を見ずにやったため、気付いたら5時50分。いかん、と慌てて飛び出す。まあ佐々木朗希が先発じゃないからいいか、と思ったんだが、高速道路は混んでおらず、6時半くらいに調剤薬局に辿り着いた。薬の処方もちゃっちゃとやってくれ、住処に着いたのは7時前。おお、奇跡だ。最初からオールスターが見られる。

1回表に牧が犠牲フライを打ち、セ・リーグが先制。2回表にはビシエドにホームランが飛び出し、2点リード。が、2回裏に山川にホームランが飛び出し1点差。6回に伊勢大明神から宗がタイムリーヒットを打ち同点。その後点が入らず9回裏2アウト。バッターは清宮。森下の直球が左中間へ跳ね返される。これは？と思ったら、ホームランテラスに飛び込んでパ・リーグのサヨナラ勝ち。MVP はもちろん清宮。プラスワン投票で最後の一人として選ばれながら一番いい場面で結果を残した。清宮持ってるね。これを機会にもっと伸びて、清宮、村上で全日本の中心に成ってくれると嬉しいが。まあ面白かった。

Giants の選手が出てくると、どうしても応援したくなくなる。セ・リーグを応援しているというより、11球団を応援している感じで、普段と変わらない。戸郷が失点すれば嬉しかったが、抑えてしまった。残念。明日も Giants を呪う。

どうしてだか忘れたが、中村憲先生のホームページを探して見た。どうして見たんだろう？まあ動機はいい。「代数学と計算」の報告集があったので、ダウンロード。一度この研究集会で喋っているが、TeX のソースファイルを紛失していたので、急いでダウンロード。他にも数名分の報告集をダウンロードした。当時は pdf が今ほど広まっていなかったので、TeX のソースファイルが置いてあったり dvi ファイルが置いてあったりした。dvi ファイルは漢字コードの関係か読めないので、ソースを拾ってコンパイル。tar.gz ファイルもあったが、これはダウンロードして、ffftp で大学の Unix サーバーに送って、Teraterm でログインして、gunzip で溶かして、tar でファイルをほどいて、それから ffftp でソースファイルをダウンロードなど。読める dvi ファイルが出来上がったので、勉強させてもらおう。

秋葉原無差別殺傷事件の犯人の加藤某に死刑執行したとか。前にも書いたが、小生時代劇で「市中引き回しの上打ち首獄門」というセリフを聞き慣れているせいで、死刑執行には特段反対していない。ひどいことをしたんだ、それなりの報いを受けるのは当然、というのが小生の考え。先進国の人の意見とは思えない？まあそうかな。

無駄な一日を過ごす

今日は用事が無いし、相撲も野球も無い。ということで一日無駄に過ごした。食事も Uber Eats でと、もう廃人そのもの。明日はゼミ、保健センター、生命保険会社の人と面談と、職場で用事がある。暑いので嫌だが、仕方ない。ということで今日は早目に寝る。たまにはまともな時間に寝ないと。

サル痘に感染した人が日本国内で出たとか。うむ。大ごとに成らねばいいが。

逸ノ城初優勝

昨日はその後成績入力をした。トータル140人程度だから、大したことは無い、ということで。で画面を二つ見比べながら、ポツポツと入力。入力ミスがあってはいけない、と丹念に見直し。すると提出してない学生にA+を入力していることがわかって、焦る。急いで直す。その他は大丈夫だった。で1時間ほどで終了。これで残るは1科目。数理科学特論1は院生向け科目なので、レポート試験が出来ない。7月31日23時59分までにメールに pdf ファイルを添付して送れ、としているので、あと1週間、手も足も出せない。成績処理はそれで終了に成るのだが。まあ仕方ない。今のところ提出者は1名。どうしようもない。

で12時前に寝た。数日寝不足だったので、狂ったように寝た。何時間寝たか？秘密。

今日は相撲の千秋楽。逸ノ城は宇良に勝った。12勝3敗。この時点で4敗の貴景勝の優勝は無くなった。結びは3敗の照ノ富士と4敗の貴景勝。熱戦。貴景勝が押すと、照ノ富士の足が土俵を割った。その後足を戻して突き落とすも、行司はしっかり見ていた。貴景勝が勝って、逸ノ城の優勝が決まった。初優勝。逸ノ城は過去何度か優勝のチャンスはあった。14勝1敗とか13勝2敗の場所があったが、多分白鵬がそれ以上の成績を残していたのだろう。14勝1敗の時は白鵬が全勝だった気がする。まあよかった。前頭2枚目での優勝となると、上位陣を悉く食ったことになる。価値ある優勝だ。足立先生が今場所は逸ノ城を応援していたそうだが、ご慧眼感服した。「サンデースポーツ」では優勝力士のインタビューがあるが、楽しみ。あと30分くらいで始まる。楽しみ。

6時から野球。今日でオールスター前は最後。今日は勝たないと。負けると借金3に成ってしまう。4回に大山の犠牲フライで先制される。まあ1点ならいいでしょう、と思って見ていたのだが、この1点が重かった。2回、3回、4回、5回と先頭打者が出塁も点に成らず。5回は1、3塁にしたのだが…。結局点を取れず1－0で負けた。5割に戻してから3連敗。うーん。かたや Tigers は5割。Carp は Swallows に負けて5割。Swallows が勝って Baystars が負けたため、Swallows にマジックナンバー41が点灯。まあまだ先は長いです。諦めずに行きましょう。

今日は呑みに行こうかと思っていたんだが、やめた。コロナが凄いことに成ってるし、「サンデースポーツ」も見たいし。呑みたくなったら家呑みにしよう。

桜島が噴火したとか。大ごとに成らないといいですが。