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が点灯。まあまだ先は長いです。諦めずに行きましょう。

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

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

代数学Iと線形代数学のレポートを採点した

昨晩は「探偵ナイトスクープ」が終わって3、4時間くらい寝た。で目が覚めて、もうそんなに眠くないので起きるか、ということにした。で昨日がレポートの締め切りだったので、manaba＋R を見てみると、代数学Iのレポート提出者は56名、線形代数学が85名、ということ。代数学Iが少ないな。まあいいか。ということで、お茶を飲んで目を覚ました後、採点開始。だらだらとやる。代数学Iのレポートは難し過ぎたか、ほとんど出来ていない。P.I.D. の二つの元 a,b が互いに素であることと、単項イデアル (a), (b) が互いに素、なんてわかるわけがないな。気に食わないのが 2^2/3＝a＋b×2^1/3 を満たす a,b∈Q が存在しない、と言う問題。これを満たす a,b が存在したら、2^1/3 は X²－bX－a の根に成る。すると X³－2 が X²－bX－a を割り切ることになり矛盾、とやって欲しかったんだが、何か両辺を2乗して何とかとか、受験勉強の癖が抜けていない。この調子だと代数学IIは理解出来ないぞ！と言ってやりたい。割合短時間で終了。

線形代数学は明日やろう、ということにして、休止。その後大谷翔平が2桁勝利2桁ホームランをかけて登板する、というので見た。6回まで1安打ピッチングと、無双状態だったのだが、7回にホームラン2本を打たれて崩れた。ビッグイニングを作られ、降板。打つ方もヒットは出ず。残念な結果に成った。まああと1勝はすぐにでも出来るでしょう。次回に期待。5試合連続2桁奪三振の日本人記録は作った。

でやっぱり線形代数学の採点をすることにした。こちらは簡単過ぎたか、よく出来ている。Oでない冪零行列は対角化出来ない、とかいう問題を出したんだが、よく出来てた。どこかに答えの出ている本でもあったか？まあいいでしょう。反射律も対称律も推移律も満たさない関係の例を一つ挙げよ、という問題も出したが、面白かった。色々考えたのだろう。面白い例が多い。実数 a,b に対し a＝b² が成り立っている時 a～b とすると、この～が要求を満たす。他にも実数 a,b に対し、a＝b+1 が成り立っている時 a～b とすると、これもそう。こんな簡単な例があるんやね。小生が編み出した例は、二次実正方行列 A,B に対し、AB≠O の時 A～B とすると、これもそう、というもの。実数上に同様の関係を入れた時は、対称律と推移律が成り立ってしまう。0でない実数全体に制限すると、同値関係に成る。行列の積は非可換だし、零因子もあるから面白かろう、と思ったんだが、こんな例があるとは思わなかった。で A+とAを乱発する結果に成った。A+は全体の1割くらいに、と言われているが、皆出来てるんだ、仕方あるまい。ということで2時間くらいで終了。

成績の入力は提出されたレポートの置いてある所と違うページでやらないといけない。エクセルファイルに書き出して、そのままインポートすれば良いようなのだが、いまいち信用していないので、手入力でやることにしている。でやろうかと思ったんだが、眠くなってきた。で仮眠を取る。起きたらもう相撲が始まっていた。2敗の逸ノ城がまず負けて、その後3敗の貴景勝が負けた。で2敗の照ノ富士は俄然有利か、と思ったら、まさかまさかで正代に負けた。いや、大関が横綱に勝って、まさかまさかは無いだろう、と言われるかもしれないが、ここの所の両者の成績を見るとそう言いたくなる。千秋楽は逸ノ城は勝ち越しの掛かる宇良と。横綱は星一つ差の貴景勝と直接対決。面白いぞ。今晩は呑むのをやめて、明日ちゃんと見よう。放送は6時2分まで。

で野球中継にチャンネルを変える。Baystars の先発は今永。どうも立ち上がりが悪い、という印象だが、今日もその通りで、ワイルドピッチで1点取られた。その後近本にタイムリーを打たれ2点差。が、Baystars の細川が今シーズン初安打となる代打ホームランで1点差。まだわからん、と思って見ていたが、新外国人ロドリゲス（もう名前覚えた）にタイムリーを打たれ2点差。そのまま試合は終わり、4位転落。借金は2。貯金を持って前半戦終了の野望は潰えた。まあいいです。明日は勝ってもらいましょう。

で他球場はどうかというと、Giants はコロナに大量感染して、Dragons との3連戦は中止。Swallows は2位 Carp と。10勝2敗1分と得意にしているので、楽勝か、と思ったら、何と1回に6点取られた。その後も点差は広がり、最終スコアは15－3で負け。今日はメジャーリーグで28－5という凄い試合があったが、どうしてどうして。この試合も凄かった。村上がこっそりホームランを打っている。33号。50本いかないかな。楽しみ。

さて、もう寝ようか。それとも成績の入力しようか。取り敢えず冷たいもの（≠酒）を飲んでから考えるか。

PARI/GP を大分使えるようになった

昨晩は呑み呑み PARI/GP の勉強。マニュアルと首っ引きで、イデアルの扱い方が大分分かってきた。が、完璧に理解した気分に成れない。まあ大体できるようになったし、いいか、ということで寝よう、とした。もう明るくなっていた。

で寝床で Twitter を眺めていたら、昨日メールした PARI/GP に詳しい人の呟きの中に、PARI/GP のページに何かの研究集会で使われたと思われる PARI/GP に関する説明のスライドが置いてある、というのがあった。おお、これは、ということで起き直して、それらをダウンロード。首っ引きで眺め、先程の理解が間違っていないことを確認できた。で結局、イデアルが単項イデアルかどうか判定出来た。無事単項イデアルだったようだ。でスライドを見たら、いかに PARI/GP について知らないかが明らかに成った。いままでほとんど行列の計算と Z/nZ の計算にしか使っていなかったが、これで代数体の計算が出来るようになる。SageMath だけが頼りだったが、二つソフトが使えると検算出来てよい。心強いね。

作業をしいしい「羽鳥慎一モーニングショー」を見ていたのだが、ピアニストの反田恭平氏が出ていた。ショパンピアノコンクールで日本人初の2位とか。で彼の人生が面白い。音楽家の親は大体音楽に対する造詣が深く、英才教育を受けているもの、というのが今までの傾向だが、そんなことは無かったようだ。たまたまヤマハの音楽教室に通い、そこで音感を鍛えたとか。でその後はピアノよりサッカーに熱中していたのdが、骨折した時に「こんな痛いものはいやだ」とやめたらしい。でその後「題名のない音楽会」でオーケストラの指揮をさせてもらえるというのに応募し、たまたま当選して指揮をしたら感動して、「絶対指揮者に成る」と思って音大に進んだら、「指揮者に成るなら楽器を一つ究めた方がいい」と言われ、バイオリンをやったが、才能が無いと言われ、腕に覚えのあるピアノにした、という、ピアニストの道一直線でなかったとか。えーと、詳しいことは忘れた。彼の自伝が出ているようなので、詳しいことはそれを見てください。面白そうなので、小生も買うことにした。あとで Amazon で注文する。

小生の仕事は一応教師と言うことになろうか。親が教育者だと子供も教育者に成ることが多いようだが、小生の親はクリーニング屋。教師とは全然関係無い。小生も別に教師に成ろうと思ったことは一度も無い。今も教師などと思っていない。スチャラカ研究者、というのが真の姿。いや、研究者ではないな。最近は研究らしきことはしていない。まあ何にしても親の仕事と子供の仕事は関係無いということだ。親は戦時中の生まれで、教育を満足に受けられなかったから、息子達には十分な教育を、くらいは思ったかもしれない。が、子供の頃はいい迷惑だった。塾行く時間があったら遊んでたい、と思ったが。親は私立の中学に行かせたかったかもしれないが、進学塾で落ちこぼれて、そのまま市立中学に行った。高校も市立。横浜市立の高校って10校もなく、大半は神奈川県立高校。これは大学も横浜市立大学に行って、小、中、高、大、横浜市立でコンプリートしようか、と思わないでも無かったが、早稲田行ってよかった。一応市大にも受かってはいたんだが。えーと、大分話が逸れてきた。この辺にしておこう。

野球は楠本のホームランで先制したが、大山、佐藤輝に2ランホームランを打たれ、その後今日一軍に昇格した新外国人（名前失念。調べるのが面倒）に2点タイムリーを打たれ、一方的な展開に成ってしまった。もう9回表。今日は負けだな。まあ全試合勝つわけは無いので、いいです。ただ、牧、桑原が途中で引っ込んだのが気掛かり。大ごとでなければいいが。

談話会で新人の先生の顔を覚える筈が…

昨晩は「タモリ倶楽部」が無かったので、早目に寝ようか、と思ったんだが、つい「ジャヒー様はくじけない」というどうでもいいアニメを見てしまい、寝たのは3時半過ぎ。呑んではいない。で今日は1時にトヨタに行くつもりであったが、起きたら1時半を過ぎていた。シャワーを浴びてトヨタに向かう。厳密に時間の約束をしたわけではないので、多少遅くなるのは問題無い。保険の更新をして、30分くらいで帰ってきた。

で帰宅後相撲を見ていたんだが、眠くなってきた。今日は4時半から談話会。4月に助教として来た先生の顔を知らない（今の学科長の配慮で、助教はあまり会議に出なくてよい）ので、是非顔を覚えておこう、と思ったんだが、4時に限界が訪れた。でダウン。起きたら7時半近く。二人の講演者の顔を覚え損ねた。まあ仕方ないです。許してもらおう。

「談話会」って何？という読者もいるのでは、と思うので、ちょっと解説。数学の世界では、研究者に数学に関する講演してもらうことをもっぱら「談話会」と呼ぶ。何故そう呼ぶのか知らないが。Colloquim の和訳かと思われる。で数理科学科の施設に「談話会室」というのがあるが、これがよく「談話室」と間違えられる。「談話室」というのは読んで字のごとく談話する部屋だが、「談話会室」は談話会をやる部屋。談話会だけでなく、講義やセミナーに使う人もいるし、今年は学科会議も談話会室でやっている。ということで「談話会」。覚えてください。

起きた後金曜日にやった「座王」を見て、随分前にやった「弁護士 高林鮎子シリーズ」を1話見た。横須賀線の中で行われた殺人事件に端を発する物語で、保土ヶ谷とか東戸塚とか、久々に聞いた。実家の近所の話なので、面白く見た。で気付くと夜の10時過ぎ。本当に何もしなかった一日だった。明日？うーん、予定無いな。PARI/GP の使い方でも覚えますか。

PARI/GP って何？という読者のために解説。整数論に特化したフリーのソフトウェアで、広く使われている。が、小生はあまり使い方を知らない。m＝1－2²²⁵ とした時、虚二次体 K＝Q(√m) のイデアル (2,ω)（ω＝(1＋√m)/2）の223乗が単項イデアルかどうか、ということが昨日ちょっと気に成り、SageMath で実験したんだが、単項イデアルっぽくない、という結果が返ってきた。いや、そんなずはない。(2,ω)²²³＝(N_K/Q(ω),ω) になるのでこれは明らかに (ω) のはず。でPARI/GP でイデアルを扱うにはどうするか、ということを昨日マニュアルと首っ引きで勉強したんだが、よくわからない。PARI/GP には nfinit と bnfinit という代数体を定義する命令があるんだが、後者だとメモリーオーバーに成り、計算できない。後者ならイデアルが単項イデアルかどうか判定してくれる命令があるんだが、前者だと無さそう。で PARI/GP に詳しい人にメールを書いて教えてもらったが、わかったようなわからないような。時間があるし、もう少し勉強してみよう、ということにした次第。今日も夜更かしかも。「代数学I」と「線形代数学」のレポートの締め切りが明日の筈なので、採点で忙しくなる前に PARI/GP の勉強するか。酒買ってこようか？

春学期の担当講義は終了

今日で春学期の担当講義は終わり。早目に起きて、朝飯を食べて、という計画は徒労に帰す。今日も例によって起きたのは9時過ぎ。でテレビを付けるとメジャーリーグのオールスターがやっている。シャワーを浴びずに、しばし観戦。大谷がヒットを打ったようだが、見損ねた。が、大谷が牽制球で刺されるところは見た。次の打席を見るほどの余裕は無いので、適当に出発。

代数学Iは出席者4名。一人増えた。まあ板書を写してるのは2人だが。今日はフェルマー数の素数判定やメルセンヌ数の素数判定などを話す。知られている最大の素数も紹介。今日は “THE LARGEST PRIME NUMBER” と印刷してあるシャツを着ていったので、ちょっと紹介。その後RSA暗号の話を軽く。少しくらい応用があるのを話すのもいいでしょう、ということで。でコンピューターで大きな数を計算して見せる。一つ暗号も解読した。いつもの平文が “YDBV” のやつ。YDBV って何って？Yokohama DeNA Baystars V ですよ。今年は2位に付けているが、ちょっと1位と離れ過ぎてて難しいかも。来年は是非、などとも言っておく。PARI/GP でデモをしたが、Maple も紹介しておく。折角学科の予算でライセンスを買ってるんだ。皆に使ってもらわないと。で12時10分のチャイムで終了。15週間お疲れ様でした。誰に向かって言ってる？自分にに決まってるでないの。

昼飯は例によって弁当を貪り食う。こんな生活ともしばらくお別れ。嬉しいな。

1時からゼミ。今日もヤコビ和の評価を。フェルマーの2平方和定理が証明出来たり、Weil 予想のおもちゃが証明出来たりと、面白かった。皆ちゃんと準備をしていて、感心した。これからもこの姿勢を忘れないでください。ということで5章が終わった。秋学期は平方剰余から。

今日は2時40分から教務委員関係の打ち合わせが入っていたんだが、ゼミでは仕方ない。ということで今日は W 先生に任せておいた。ゼミが終わって W 先生の部屋に行って、様子を聞いてくる。うん、まあよかったかな。一度ガツンとやられた方がいいんだ。反省してくれるといいですが。何を言ってるかわからん？いや、わからせようと思って書いてないから。備忘録ですよ。

で講義もゼミも終わったので、部屋でダラダラと。去年の今頃は何をやっていたか、去年のブログを見返す。去年は大半がオンライン講義だったため、今日の内容が終わってもまだ半分くらい講義時間が余っていた。仕方ないので色々見繕って話したのだった。思えば大変だった。秋学期はどうだったろう？と思って引き続き見ると、オンライン講義で始まったが、途中から対面に成ったようだ。今年は全部対面で出来るといいが。出席者は数名だろうが、オンラインよりやった気がしていい。準備は怠りなく行おう。

その後先日考えた演習問題に答えを付ける作業。m＞1, m≡3 (mod 4) なる合成数 m に対し、Q(√－m) の類数が偶数に成ることを証明させる問題。m の素因数の一つを p とした時、(p,√－m) が単項イデアルでなく、2乗すると (p) になる、ということを証明すればよくて、でやってみると案外トラブった。(3,√－15) などで試しながら感じをつかんで、ということをして、完了。これの他にも m>1 が square-free で m≡1 (mod 4) だったら Q(√－m) の類数が偶数であること、m>1 square-free な奇数だったら Q(√－2m) の類数が偶数であることなども同様に示せる。で p が p≡3 (mod 4) な素数なら Q(√－p) の類数が奇数であることが類数公式を用いて示せるので、類数が奇数である虚二次体は完全に分類できたことになる。種の理論は不要、というわけである。まあ実二次体はこうはいかないが。すっきりしたので、TeX にまとめておく。

やりながら野球も気にしているのはいつもの通り。4回に嶺井の2ランで先制、5回に佐野の2ランで追加点。7回に蛯名のソロで5－0。が、裏に木下に2ランを打たれ、5－2。むぅ。9回表に佐野のタイムリーで6－2。もう楽勝でしょう、と思ったら、康晃が福田にソロホームラン、大島にタイムリーを打たれ6－4。ハラハラしたが、無事逃げ切り。再び勝率は5割。Swallows は勝っていたが、マジック再点灯は防いだ。牧が故障で欠場しているだけに、今日の勝ちはでかい。明日はセ・リーグは試合が無い。録画したままたまっているものを少し見よう。

コロナは猛威を振るっているが、プロ野球界も凄いことに成ってる。Giants が選手、コーチ合わせて38人感染とか。菅野とか丸とか中田とか。Swallows が大量感染でしめしめ、と思った人はいたろうが、まさか自分の所に降ってくるとは思わなかったろう。Baystars も春先にやられた。まだまだ注意が必要やね。

さて、上に書いたように講義は全て終わったのだが、M2の学生が就職活動のため春学期は全然ゼミが出来なかったのを気にして、夏休みにゼミをやって欲しい、と言ってきた。うん、まあいいけど。取り敢えず来週の火曜日に保健センターに行くので、ついでにゼミの方が面倒じゃなくていいので、火曜日にやることにしてきた。その後は火曜日に決めよう。で他の日はどうしようか、と思ったんだが、コロナだし大人しくしてるか。手近な所で仁和寺や石清水八幡宮など行きたいところはあるが、暑いし、コロナだし。それに仁和寺は「少しのことにも先達はあらまほしきことなり」と言うくらいで、詳しい人と一緒の方が面白いだろう。家吞みを毎日繰り返し、廃人、ということだけは無いようにする。

1回に3ランホームランを打たれると、いかにチームが好調でも辛い

昨晩は呑んで寝るつもりだったが、線形代数の問題をいじり始めたら面白くなって、結局明るくなるまで起きていた。齋藤正彦「線型代数入門」が職場では見付からなかった（それだけ散らかっているということ）が、住処ではすぐ見付かったので、眺めてみる。今回の講義で初めて勉強したと思っていたことが沢山あるが、齋藤正彦本の同じ所を書いているところに沢山書き込みがしてあった。やはり1度勉強したくらいでは定着しないのだ。内積のあたりなのだが、内積を講義で担当したことは無く、演習でもこっちに来た年に1度やっただけと、定着していないのもむべなるかな。小平邦彦大先生の言葉が meigen.txt というファイルに残されていたので、紹介しておく：定理をよく理解するためには、証明を一度読んだだけでは不十分であって、何度も読み、ノートに写し、さらに種々の問題に応用してみることが有効である。

夕刻から教授会。眠くて全然集中出来ない。教授会が終わって、若隆景が勝ったのを見て、もう一度ダウン。そのまま8時過ぎまで寝ていた。

で起きて野球を見ると、2－3 と1点負けている展開。1回に石田が3ランホームランを打たれたようだ。よーいどんで3点取られたら、いかにチームが好調でも辛い。そのまま寄り切られ、1日で借金持ちに逆戻り。幸い Carp が負けてくれたので、依然2位のままだが。Swallows の連敗が今日でストップ。松元ユウイチ監督代行に成ってからようやく初勝利。Swallows とのゲーム差が1ゲーム開いたが、まあいいです。Giants が負けたので。明日は勝てよ Baystars。

明日で春学期の講義は終わり。いや、金曜日まであるのだが、木曜日は担当している講義は無く、金曜日は火曜日の授業をやれ、ということに成っていて、火曜日も担当講義が無いので、明日で小生は終わり。で昨日書いた通り木曜日はトヨタに行かないといけないので、明日は呑めない。嬉しさも中くらいなりおらが春、といったところか。まあいいです。暫くぼーっと過ごそう。レポートの採点はそんなに急いでやらなくてもよいので。まあいつまでも残っていると気に成るので、来週やりましょう。

今日の京都、滋賀は大雨だったようだ。ずーっと寝ていて外出していないので、知らなかった。JR が止まったため、午後の講義は無かったようだ。また補講をしないといけないんだろうか？まあ火曜日は担当講義が無いんで、小生には関係無いが。来週の火曜日は保健センターに行かないといけない。今日でなくてよかった。明日は天気がいいようで、また暑い。明日を乗り切ればいいんで、我慢する。その後個研室で暑くなくなるまで色々やろう。

ついに5割！2位浮上！

今日は8時10分くらいに目が覚めたが、もう一寝入り。が、何故か8時半のアラームが鳴ったのは気付かなかった。9時のアラームは気付いたが、しばし無視。で9時10分くらいに起きた。シャワーを浴びて、9時45分くらいに出発。今日は祝日なので、高速道路が混んでるといけないので、ちょっと早目に出た。が、渋滞はしていなかった。職場に着いたが生協の本屋は休み。仕方ないので、講義室で読書しながら待つ。9時からの講義で部屋が塞がれていると廊下で暑い中待つのだが、部屋が空いててよかった。

で10時40分から講義。いつもの通り聴衆は2人。ノートを取っているのは1人。祝日でも何も変わらない。で非常にキリの悪い所で終わってしまったが、「manaba＋R に上げておく」と宣言して終了。「線形代数学」はこれで終わり。

昼は例によって弁当。前に祝日に講義をやった日は、リンクの食堂が閉まってて、弁当も売っていない、という状況で、昼飯にあぶれたが、今日はリンクも弁当も大丈夫だった。が、売っている弁当の種類が少なかった。まあいいけど。午前中の講義資料の「エルミート」を全部「ユニタリ」に直した、と先週書いたが、「エルミート内積」を「ユニタリ内積」にしてしまっていた所があったので、急いで「エルミート内積」に戻した。他にも一般のベクトル空間でやっているのに、Cⁿ に成っている所が1か所あったので直す。

1時から院生向け「数理科学特論1」。先週書いたようにもうやることが無いので、コンピューターを持ち込んで、Sage/Math でデモ。が、整数論を専門にしている学生が聴衆にいないため、皆つまらなそうだった。が、類数公式から面白い無限級数が出てくるので、そのうちの幾つかの値が求まることを示したら、少し食い付いてきた。線形代数もやった。皆 TA をやっているだろうから、「答え合わせするのに使えばいい」と言っておいた。「行列を計算するのが目的なら手計算でやらないといけないが、行列の計算が目的への通過点なら、どんどんコンピューターを使えばよい」とも言っておいた。5桁の数同士の掛け算を手でやる人はいないよね。3桁の計算を教育課程から削ったから、計算能力が落ちている、という記事を見た気がするが、まあ3桁は出来た方がいいかな。でちょっと早目に終了。「数理科学特論1」もこれで終わり。

その後個研室で線形代数の資料の直し。1回講義したことなら軽微なミス以外は残っていないと思われるが、講義していない所をウェブに上げるのはちょっと気が引けた。で真剣に読んでみた。説明が下手な所、雑な所が数箇所あり、さらにミスもあった。一生懸命資料とテキストにかぶりつきながら直す。で途中で焦った。ユニタリ行列だ、と上げてある例がユニタリでない。二つの列が直交してないぞ！と思ったら、ミス。(1,i)∈C² の長さが0、実際 1²＋i²＝1－1＝0、と同じミスをやっていた。二つ目の成分は共役を掛けないといけないのだ。ただ一つよかったことが。例によって自分の計算が信じられず PARI/GP を使ってユニタリ行列であることを確かめたが、conj 命令は複素数の共役を取るだけでなく、conj(A) とやると複素行列 A の成分を一斉に共役に変えてくれる、ということがわかった。また演習問題を作る際に検算に使える道具が増えた。でうだうだと10時くらいまでやっていた。

今日は祝日なので、野球に間に合う時間に帰ろうと思うと混むだろう、ということで野球はネット観戦にしていた。線形代数の資料を直しながらチラチラと。今日から vs. Dragons。ロメロがいきなりノーアウト満塁のピンチを作る。「もうっ！」という気分なので、しばし数学。見るともう3回に成っていた。1点しか取られていない。犠牲フライの1点で済んだようだ。よかった、と思ったそばから佐野が2ランホームラン。凄い。で今日の得点はこれだけ。後は貧打なのか投手が好投したのか分からないが、まあ勝ってよかった。これで勝率5割。一時借金は9まで膨れ上がったが、よく返した。オールスター前に貯金を持って迎えられるか、これからが正念場。頑張ってください。Carp vs. Tigers が雨でノーゲームだったので、2位浮上。まあまだ分からないが、気分はいい。今後もこの調子で。

Swallows vs. Giants も同時に気にしていた。菅野が1回に満塁ホームランを打たれる。これで Giants は4試合連続満塁ホームランを打たれたことに成る。これって新記録なんじゃ？騒がない所を見るとそうでもないのかな。Swallows の連敗もいよいよ止まるか、と思ったら、逆転されてるではないか。うーん。その後8－8に成ったが、再び2点リードを許す。で9回。大勢を攻めて2アウト1，2塁。バッターは代打内川。これは、と思ったが、残念ながら点は入らず。1回に満塁ホームランを打たれて勝つとは。Giants しぶといな。ずるずる落ちるかと思ったんだが。まあいいです。首位までの差がちょっと詰まった。10.5ゲーム差。まだ遠いな。まあ2位に成れればよい、というのが現実だ。欲張らず2位を目指しましょう。優勝は来年。

すき家でトリプルニンニク牛丼を食べて、11時くらいに帰宅。これから少し呑む。明日はトヨタに行く予定だったが、営業の人がちょっと都合が悪い、とのことなので、木曜日に行くことにした。いや、営業の人は明日どなたかに分かるようにしておく、と言っていたので、明日行けるんだが、今日は呑みたいので。が、ちょっと失敗。水曜日で講義が終わるので、水曜の晩は呑みたかったが。まあ仕方ない。また木曜日に呑む。

講義が終わったらレポートの採点が待っている。講義には数名しか来ないが、レポートは数十名出してくる。出席は取っていない以上、全員公平に採点しないと。何かのテキストに出ている、という種類の問題は選ばなかったつもりなので、真剣に考えないと出来ないだろう。友人の多寡が問われるかもしれないが、友人を選ばないと嘘八百を書き並べたレポートに成ってしまう。気を付けてください。去年の代数学IIでは [Q(2^1/4)：Q]＝8 とかいうのが乱発したが。昔は学生の情報はどんどん入ってきて、賢いと皆から思われているが実はバグだらけ、という学生が必ず居たのを知っている。その学生のレポートを写してくるもんだから、ひどかった。若かった頃は相当荒れたが、今は達観している。穏当に採点するつもりなので、ご安心を。

ついに借金1に

昨日は Tigers が負けたのを確認した後呑みに行った。遅かったので、酒の量は少なかったが、眠かった。ビール少々とウィスキー少々、それにレモン酎ハイ1杯。帰ってきて2時間ほどダウン。

その後起きてしまい、「サンデーライブ」が終わるまで起きていた。それから数セミを少々読んだ。今月は公理についての特集。面白い。が、途中で眠くなってきた。難しいものを読むと眠くなる。で4時過ぎまで寝た。

で相撲。逸ノ城は琴ノ若に負けて2敗。カド番の正代が3連勝で4勝4敗の五分に戻す。大関の地位を守れるでしょうか。結びは照ノ富士 vs. 若元春。長い取り組みに。まわし待ったが掛かるタイミングで若元春が寄り切ったか、と思ったら、まわし待ったの状態から取り直しの裁定。その後照ノ富士が勝ち、若元春は残念でした。行事の前代未聞の失態、と舞の海が言っていたが、その通りだな。まあ照ノ富士はついてた。

で相撲中継は6時4分まで。TBSチャンネル2に切り替えたらもう試合が始まっていて、ピンチの場面。村上とオスナにタイムリーヒットを打たれ2点先制される。うむ、という感じだったが、1回裏に桑原のポール直撃のホームランで1点返す。いいですね。3回は佐野、宮崎のタイムリーで逆転した後、戸柱に2点タイムリーが飛び出し、5－2。5回は宮台（東大卒）に抑えられたが、6回はその宮台を攻め、代わった杉山からもヒットを放ち一挙5点。これで10－2。日曜日は2回しか勝てておらず、ましてやハマスタでとなると今シーズンの日曜日は勝てていない。そんなことを忘れるような痛快な勝ち方だった。解説の槇原氏曰く、「デーゲームが良くなかっただけではないでしょうかね？」。その通りかも。これで借金1。Giants は今日も Carp に満塁ホームランを打たれ、ついに5位転落。明日からの3連戦は Baystars が Dragonsと、手負いの Swallows はどん底の Giants と、調子の上がっている Carp は4位 Tigers と。大きく順位が動きそう。Swallows は Giants 相手なら勝てるだろう。Giants にはがっちり5位に成ってもらい、Baystars は3連勝で。オールスターまでの残り6試合を4勝2敗で行けば貯金が出来る。頑張れよ。

明日は祝日だが講義日。講義2本とゼミ。野球は6時からだが、その時間は3連休から現実に戻される人々が高速道路に大渋滞を作ってるだろうから、野球を見るために帰るのはやめた方がいいだろう。ということで多分9時過ぎまで職場にいる。野球の結果はスポーツニュースで見よう。さ、寝るか。

Baystars の借金が2に

今日は何やら謎の訪問者に起こされた。呼び出し音が鳴るので答えてみたが、どこの人が何の用事で来たかさっぱり分からない。一応玄関を開けて、部屋の前まで来てもらうと、何やら部屋に入れてくれ、と言う。部屋の売り出しをしていないか、と聞かれて、さっぱり意味が分からないので、「そんなものはしていない」と言って帰ってもらう。その後もう一度寝る。

で3時から木田さんの話を聞くために、少し前に起きた。Zoom につないで話を聞く。デデキントの ζ 関数が等しいが、共役でない代数体を作る、という話。何やら群論臭くて、いまいちわからない。それで終わりかと思ったら、例を作ってくれた。巡回体が円分体の部分体であることだったり、クンマー理論を使ったりと、整数論でよかった。一冊本を紹介されていたので、それを有隣社に注文。ちょっと学生の修論のネタとしては難し過ぎるかと思うが、まあ勉強に成ってよかった。4時半くらいに終了。

そこから相撲を見る。1敗の翔猿と全勝の逸ノ城が負けて、混戦模様。逸ノ城は正代に負けた。大関が勝って番狂わせというのは変だが、今場所のここまでを見ていると番狂わせと言われてもおかしくない。正代はそう言われないよう頑張って欲しいものだ。

6時から野球、のはずが15分遅れ。やはり雨のため。途中中断があり、最後までやるかどうか怪しかったが、どうやら最後まで出来た。ソトの2ランホームランで先制も、村上の2ランホームランで追い付かれた。その後どちらもチャンスを作るも決定力を欠き、同点のまま9回裏へ。桑原が四球で出塁。佐野のセンターへの2ベースヒット。桑原は三塁ストップ、のはずが、中継に入った西浦がボールを地面に豪快に叩き付けた。それを見て桑原はホームへ。サヨナラ勝ち！やった。今日負けたら Swallows に再びマジックナンバー点灯だったのだが、良かった。で昼に2位 Giants が Carp に11－4と大敗している。今日 Baystars と Tigers がナイターで勝てば、Giants は一気に5位転落。いいですね。と思ったら、Tigers は1－0で負けてる。まあ仕方ないか、と思ったら、Tigers が9回裏に追い付いた。よしよし。まあ Tigers は勝てなくても、Carp 2位、Baystars 3位となる。いや、勝率の関係で Baystars は5位のままか。こうなったら Tigres に勝ってもらい、4位浮上と行きたい。これからは Tigers を応援する。しばし風呂に入ることにする。

等と書いてしばし。Tigers は負けた。が、冷静に考えれば Carp 2位、Baystars 3位、Giants 4位、Tigers 5位に成るはず。でその通りになった。まあ重畳ですね。2位とはゲーム差無し。明日も勝って、3位をがっちりキープと行きたいところ。Carp が負けると結果次第では2位だが、まあ Giants が負けた方が楽しいので、Carp は明日も Giants に勝っておくれ。

無駄に過ごした一日

昨日は眠くてダウン。こういう時は大抵2、３時間で目が覚めるんだが、今日は違って、９時近くまで寝た。で起きて昨日の「ぐるぐるナインティナイン」を見た。「ゴチバトル」だったが、相変わらず面白い。で11時くらいに Uber Eats に昼食を頼む。食べてテレビを見てたら眠くなってきた。でもう一度寝て、起きたら4時過ぎ。折角ゼミが終わって、有意義に過ごすつもりだったが、案の定そうは成らなかった。

で相撲を見た。1敗力士が次々と負けて、1敗は翔猿のみに成った。逸ノ城は今日は御嶽海を破って6連勝。凄い。逸ノ城は前々からもっとやりそうだったが、ようやく本領発揮と言う感じ。時間が掛かったね。照ノ富士は玉鷲に3連敗だったのだが、今日は勝った。照ノ富士と貴景勝が4勝2敗。これ以上取りこぼしはしませんように。

6時から野球、のはずだったが、雨で開始が遅れている。6時20分開始予定、と出ていたが、雨が強くなって再延期。その後雨は止まず、結局ノーゲーム。今日は手負いの Swallows に勝って、Giants とゲーム差無しと行きたいところだったが。残念。その後先週の「座王」を見る。で終わったら野球がやるはずだった「TBSチャンネル2」で Baystars のシーズンダイジェストがやっていた。いつもは野球が終わって「吉田類の酒場放浪記」の始まるまでのわずかな時間で先月の分を流してくれるだけなのだが、今日はたっぷり時間があったので、6月の分だけなく5月分、3・4月分も流してくれた。勝った試合しか流さないので気分が良い。その後先週の「カッコウの許嫁」を見るなど、今日は本当に何もしなかった。明日は木田さんの話を聞くためオンラインゼミに参加するので、寝坊しないようにしないと。ということで今日は呑まずに寝る。

今日の関西地方は天気が不安定だったようで、相撲を見ている最中に滋賀県南部に竜巻注意報、という情報が。今日は滋賀に行かなくてすんでよかった。明日の天気はどうなるんだろうか？来週の月曜、水曜は雨のようだ。パソコンを持って行くが大丈夫だろうか？月曜は祝日？うん、そうなんだが、うちは毎年講義最終週の月曜日に当たり、講義をやるのが通例。ただでさえ出席者が少ないのに、祝日で雨となったら全然来ないかも。まあいいけどね。こちらは粛々とやるだけ。出席者0だったどうする？それはやらないな。まあ30分待つけどね。いずれにせよ3か月半続いた講義もようやく終了。まずはほっとした。来週は呑むぞ！まあ明日も呑むが。

昨日書き忘れたが、大谷が勝ち投手に成った。Angels は大谷の投げる日しか勝っていない。大谷は9勝目。去年は1年で9勝だったが、今年はもう9勝。ベーブルース以来の二桁勝利二桁ホームランは今年こそ達成出来そうだ。その後はどこまで成績を伸ばすかが見もの。今年もMVPに成れるでしょうか？

などとしながら野球の様子を気にしている。4位タイの Tigers は勝ったようだ。同じく4位タイの Carp だが、Giants 相手に延長戦。2アウト満塁に成って、電卓を叩いて勝率を気にしていたら、何と磯村が満塁ホームランで Carp 4点リードの展開に。このまま行くと Tigers と Carp が3位で並び、Baystars が5位転落だが、まあいいです。Giants とのゲーム差が縮まる。上を狙うには目先の順位よりも2位との差が縮まった方がありがたい。Carp 頑張れ。

Swallows のマジックナンバーが消えた

昨日は呑み呑みゆっくりテレビでも、と思ったのだが、ついうっかり Pepin の判定法（フェルマー数が素数かどうか判定する方法）の証明を読んでたら、予想外に手間取り、理解するのに明るくなるまで掛かった。フェルマー数って 2 の肩に 2ⁿ が乗ってるんだが、Pepin の判定法って 3 の肩にフェルマー数が乗る。ということで混乱して、指数法則がぐちゃぐちゃに成り、相当手間取った、というわけ。自明な主張を理解するのに手間取ったわけだが、わからないまま何となく放っておく、ということは出来ない。分かるまで考え続ける、という方針で数学を勉強してきたので、今回も時間が掛かってもその通りにした。で理解出来た。疲れた。で証明を TeX にまとめようと思ったんだが、指数が複雑なので、これも手間取る。終わったら6時を回っていた。うーん。

で横に成って、適当に寝たんだが、胃の辺りが痛くて目が覚める。その後しばし悶絶。二日くらい便秘だった上に呑んだのが原因であることは自明。治まったが腹が減らない。もう一度横に成り、しばし寝て、ようやく腹が減ってきた。カップ麺をすすって飢えを凌ぐ。

で気付いたら4時前。相撲を見よう、ということにして NHK にチャンネルを合わせる。今場所は横綱、大関陣が不調で、勝ちっ放しは平幕の3人のみ、という状態に成っていた。が、そのうち二人が負け、勝ちっ放しは逸ノ城のみ。今日の逸ノ城の相手は横綱照ノ富士。照ノ富士には全くと言っていいほど歯が立たない逸ノ城。早くも勝ちっ放しはいなくなるか、と思ったら、今日の逸ノ城は違った。横綱を相手に長い一番を乗り切り、見事な寄り切りで勝利。足立先生は今場所逸ノ城を応援しているそうだが、よかったですね。大関はと言うと、御嶽海は宇良に、正代は若元春に不覚を取った。貴景勝は玉鷲を破り、横綱大関全員負けという事態は逃れた。よかった。明日も見よう。

6時から野球、のはずが、広島地方は雨で、試合開始が30分遅れた。今日の Baystars の先発は先日支配下登録を勝ち取った石川。Baystars で石川と言えば石川雄洋の印象が強いが、この石川は達也。1，2回はナイスピッチングだったが、3回1アウトから失点。そこで交代。代わった宮國がタイムリーヒットを打たれ、石川は2回1/3を2失点デビューと、いまいちだった。3点先取していたので、3－2。が、その後追い付かれる。そうは言っても3番手京山は3イニング1失点とまずまず。その後牧に1か月以上ぶりのホームランが出て、エスコバー、伊勢、康晃とつないで1点差を守り切った。京山が今シーズン初白星。よかった。3位浮上で、何と Swallows のマジックナンバーが消えた。Swallows はコロナのせいで監督をはじめ大量離脱。やはりつらいか。まあそれでも2位 Giants が Tigers に負け、ゲーム差は12.5のまま。Giants はついに借金持ち。2位以下は全て借金持ち。こんな状態で CS をやる意義が問われそうだ。まあいいです。Baystars に貯金生活に入ってもらい、5チーム借金持ちと言う事態は避けてもらおう。

さて、昨日の話。書こうと思って忘れていたので。膳所付近で前の車が何やらゆっくり走っている。40km/hくらい。途中黄色信号で止まり、前の車と間隔を開けた。で50km/h を越えるくらいで走れたが、峠道の手前で追い付いた。2台前の車がめちゃめちゃゆっくり走っている。40km/hを割っている。小生の前の車は相当焦れているらしく、その前の車にぴったり付けプレッシャーをかけているようだ。そんなに焦っても仕方ない。ゆっくり行きましょ、と思ったが、小生が前の車の立場だったらどうするか自信は無い。そのままレーンが二つに分かれるまでゆっくり走っていて、ゆっくり走っている車は何を血迷ったか右レーンに車線変更。抜かそうと思って右レーンに入った車は、急いで左レーンに戻って左から抜いていった。小生？同じく左から抜いた。ゆっくり走っても構わないんだが、事故を起こしたくはないんでね。その後はスピードを出せたが、あっと言う間に40km/h制限の道に成るので、その後はゆっくり。初心者マークこそ付いていなかったが、運転に不慣れなのだろう。自動車教習所を卒業後は、実地で訓練するしか方法は無いので、多少のことは仕方ない。その車の運転手も運転に慣れてもらうしかない。頑張ってください。事故だけは起こさないように。

今日は東北と九州で大雨だったとか。京都はそうでもなかったようだ。明日も天気が悪いらしい。梅雨に逆戻りしたような感じ。暑くないのは歓迎だが、雨は嫌だ。月曜日と水曜日は職場にパソコンを持っていくので、雨が降らないといいんだが。

Tigers vs. Giants は13－0と一方的な試合に

昨晩は「相席食堂」の途中で寝たが、今朝は中々起きられず、9時半近くに。シャワーを浴びる時間は無く、飯も食わずに出勤。

今日は「代数学I」。いつもの通りの３人。部屋の前後に冷房があるが、後ろの冷房は明らかに無駄なので、電源を落とす。その代わり前の出力は上げさせてもらった。今日はオイラー関数の乗法性を証明してから、105減算。小生の年齢を当てさせるクイズを出す。159という答えが返ってくるが、人間の年齢を105歳で見誤ることは無いだろうから、54という答えが出てくるはず。若く見えるでしょうか、それとも老けて見えるでしょうか？昔は年齢より上目に見積もられることが多かったが、今はどうでしょう？その後代数的整数を定義して、幾つかの Q 上の多項式の既約性を証明して、cos(2π/n) と sin(2π/n) の無理性など。まだ時間があったので、非素数判定法を。ウィルソンの定理の対偶を考えれば、「非素数であることを証明 ⇔ 素因数を見付けること」ではない、と言って、フェルマーテスト。まだ時間があるので、フェルマー数 2²ⁿ＋1 の素因数を見付ける話など。オイラーによる大きな数 4294967297 を扱わなくても 641 で割れることがわかる証明を書いている最中にチャイムが鳴った。でそれだけ書いて終了。最終回はもう少し素数判定の続きの話をして、それから RSA 暗号の話でもしよう。コンピューターを持ち込んで、大きな数を計算して見せよう。

昼は例によって個研室で弁当を貪り食う。今日は講義資料に取り立てて直すところが無かったので、昼休みはぼーっと過ごす。

1時からゼミ。部屋に着いたら黒板に沢山書いてある。時間の節約ということだろうか。書いてあるものを読み読み説明してくれたが、それでも30分くらい掛かった。先週は10分しか残っておらず、これの証明が出来ないので早く切り上げたが、確かに10分では無理だった。でよく見ると一人いない。何故かと思ったら、コロナの濃厚接触者に成ったためらしい。うーん、まだまだコロナは予断を許さないね。その後ヤコビ和などを定義して、ヤコビ和の絶対値の評価など。一人いないため20分くらい早目に終了。今回も学生と呑みに行くのはやめたほうが良さそうなので、来週ゼミが済んだらしれっと夏休みにする。

その後個研室で色々。A²＝A を満たす複素正方行列は対角化可能、という事実がある。証明は易しい。で2次行列で A²＝A を満たす無限族は簡単に作れるので、それを対角化して遊んでみる。例によって計算ミス続出で、コンピューターで検算しいしい進める。結構掛かった。その後3回生の代数の演習問題の解答を考えたりと、あまり生産的でないことに時間を使う。野球の様子をチェックしいしいと、あまり真面目にやっていたとは言えないが、まあいいでしょう。生産的なことは講義が終わったら、って本当にやるかどうかは怪しいが。でふと気付いた。今週は金曜日のゼミが無い。ということはもう職場に来なくていい、ということ。ということは月曜日の午前中の講義の資料を印刷しておかないと、もう一度来る羽目になる。ということで急いで印刷。危なかった。野球は負けた。スミ1では勝てない。1日で4位転落。が、ちょっと気分のいいこと。Giants が Tigers に惨敗。13－0。初回に3点、2回に3点、3回に1点と、実に無様。4、5回は0点だったが、6回に1点、7回に1点、8回に4点と、もう Tigers のやりたい放題。よかった。今日はプロ野球ニュースを見ないつもりだったが、見てやろうか？などとしながら9時過ぎまで職場にいた。

帰ってきて「報道ステーション」を見ると、コロナの感染者が増えているとの情報。うむ、やはり呑み会は無理だな。昨日の埼玉の大雨の件もやっていた。埼玉、というより鳩山町、と言った方が正解のようだ。局地的な雨だったらしい。映像を見ると凄い雨だったようだ。日本は災害が多い。いつ我が身に降りかかってくるかわからない。気を付けよう。それにはもっと部屋を片付けないと。無理だな。今日は宮城で大雨だったらしい。明日は近畿でも大雨の恐れとか。今晩中に買い出しに行っておいた方がよさそうだ。

さて、今日は少し呑みますかな。今週はイレギュラーな用事で時間を取られた。金曜日は休みに成ったので、どう過ごしましょうかね。数セミを買ったのはいいがまだ読んでいないので、読もう。それから、…、まあいいや。ゆっくり考えよう。

苦手 Carp に勝ち、3位浮上

昨日は2時には寝るつもりでいたんだが、資源ゴミの仕分けに案外手間取り、しかもプロレスを見てしまったから、寝たのは3時過ぎ。今朝は10時半の目覚ましで一旦目が覚めたが、そのままもう一度寝て、起きたのは11時くらい。今日は11時45分から打ち合わせがある。危ない。急いで出掛ける。

職場の駐車場には11時半くらいに着いたが、コアステーションが存外遠い。コアステーションに着いたのは11時40分過ぎ。危ない。でまず作戦を練って、それから生命科学部のスタッフと。面倒なことに成ったものだが、一教務委員でどうにか収めることではないようで、結局理工の高山学部長と生命科学部の若山学部長が乗り出すことに成った。去年面倒があった時はもう一人の教務委員のY富先生が色々やってくれたので、今度は小生の番か、と覚悟を決めていたんだが。まあよかった。来週もう一度集まることに成った。トラブルメーカーというのはいるもんだな。

若山先生は前に書いたが、同じ年に理工学部に赴任している。楽しく昔話に花を咲かせたいところであったが、今日は面倒な件で。向こうは責任者。ゆっくり話す余裕は無かった。まあ同じキャンパスにいるんだ。いつかはゆっくり話したいところ。

で飯を食べていない。学外に出て、回転寿司、と考えていたんだが、雨が降っていてもう一度駐車場に行くのが面倒。そこで今日初めて見るフードトラックが。タンドリーチキンライス、なるものが売っていたので、それを買う。いつもと違って温かい。旨かった。

その後色々やろうと思ったんだが、眠い。帰ろうにも居眠り運転しそうだ。昔は研究費でソファーが買えたそうだが、今は無理。まあ小生の場合勝っても置くところが無いのだが。眠い時に寝られないのは困る。仕方ないので学生の部屋で眠らせてもらうことにして、誰もいない部屋へ入って、1時間ばかし寝た。大分調子が良くなった。コーヒーで目覚ましして、線形代数を少し。前見て「ほう」と思った問題があったので、それを考えてみる。存外簡単だった。で TeX にまとめようと思ったのだが、面倒臭かった。式が長いので、適当な所で行を変えたりしながら align* 環境で縦揃え。さらに \boldsymbol というのが長くて入力が面倒臭い。取り敢えず \boldsymbol は後でコピペするとして、ベターっと入力。画面を見ながらもう一度ペンを走らせて、入力ミスや計算ミスのチェック。どうやら大丈夫らしい。ということで \boldsymbol をどんどんコピペ。ようやく完成。やれやれ。他の問題も解いて、随分時間が掛かった。野球を気にしいしい9時半過ぎまで職場にいた。

野球はというと、初回に2点取った。3回にも1点取って、3－0。が、5回、6回と1点ずつ取られ 3－2。が、7回に嶺井がソロホームラン。4－2。8回には2死満塁のチャンスから再び嶺井。ランナー一掃のタイムリー2ベースヒット。7－2。もうもらったでしょう、と思ったのだが、8回に満塁のピンチを作られ、坂倉がタイムリー、長野のところで暴投。3点差でランナー二人。一発でも出ようものなら同点じゃないの。はらはらしながら見ていたが、長野は三振。よかった。9回表に2アウト満塁のチャンス。ここで点が入ればいよいよ決まり、というシーンだが、神里が内野ゴロ。神里は一時勢いがあったが、続かなかったな。最後は康晃が締めて勝利で、3位浮上。よしよし。残念ながら Giants が勝ってしまったので、2位とのゲーム差は縮まらず。Giants は借金持ちに成る危機を何とか逃れて貯金1。Swallows はコロナに監督をはじめとして多数感染で2試合中止だった。で今日は、というと雨で中止。Swallows にしたら助かった、と言いたいところでは。

晩飯はまたしてもすき家で。シンプルに牛丼と卵、と思ったのだが、トリプルニンニク牛丼なるものを頼んでしまった。ニンニクには弱い。旨かった。

で帰ってきてニュースを見ると、今日は埼玉が大雨とか。足立先生は大丈夫かいな。後で twitter を見ておこう。

明日は10時40分から講義。ということで8時半起きを目指す。寝不足だしもう寝るか。「相席食堂」が面白そうなのだが、まあいいや。って言って見ちゃうかもしれないが。まあその時はその時で。残り2回。遅刻無しを目指そう。

永田雅宜先生の線形代数の本のミスプリで悩む

昨晩は選挙の結果が気掛かりで、ちょっと遅くまで起きていてしまった。京都は激選で、自民と立憲民主が勝ち。維新と立憲民主の候補の差は僅か。ABC は随分早いこと当確を打っていたが、大丈夫だったんだろうか？「京都のことは京都で」を合言葉に維新の「侵略」を許さず、で頑張っていたが、まあよかった。維新は大阪で頑張ってもらいましょう。

で今朝は9時20分頃起きた。当然朝飯の時間は無し。シャワーだけ浴びて出発。

10時40分前少し前に講義室へ行ってみると、5人もいる。「線形代数学」の出席者は2人だけだったはずだが。講義中にチラチラ様子を見ると、ノートを取っているのは2人だけ。後の3人は涼みにでも来てるんだろう。今日は複素計量線形空間の話。テキストでは「エルミート空間」と言っているが、色々調べるとこの呼称を使っているテキストやネット上の記事は無く、「ユニタリ空間」が優勢。ということで「ユニタリ空間」にする、と宣言して開始。シュヴァルツの不等式や三角不等式など。直交補空間などもやる。残りはあと1回だが、切りのいい所まで行きそうにないが、まあいいか。後は自習ということで。12時8分くらいに終了。来週はエルミート行列やユニタリ行列などをやる。

で例によって弁当を買って、個研室で貪り食う。食後は午前中の講義資料の「エルミート空間」を全部「ユニタリ空間」に直す作業。

1時から院生向け「数理科学特論1」。教室の前に行くと馬鹿に賑やかだったが、どうもこの部屋では講義は行われない模様、と踏んで雑談をしていた学生が数名いた。こちらが粛々と講義の準備を始めると、慌てて出ていった。今日は実二次体の単数群の構造決定をやって、基本単数を気合で探そうと思っても中々見付からない例（小野孝「数論序説」に出ている Q(√199) の例）を挙げて、連分数を使うといいんだよ、と言っておく。証明は出来ないが。その後二次体の類数公式の話。Dedekind ζ 関数や Dirichlet L 関数を定義して、特殊値として類数が出てくる、という話。ありがちな Leibniz の公式 ⇔ ガウスの整数環が P.I.D. なども話しておく。充分時間があったので、p が p≡3 (mod 4) の場合、1 と (p－1)/2 の間には平方剰余が平方非剰余より多く存在する、そしてそれの類数公式を用いない証明は知られていない、などを話して時間。やりたいことも全部終わった。来週は祝日だし休講、とはしなかった。SageMath や PARI/GP、Maple などを使って色々見せてあげようということにした。

講義終了後は駐車場へ向かう。明後日まで4万弱振り込まないといけないので、麓の関西みらい銀行を目指す。振込カードがあるので楽、と思ったら、何故か振込カードを受け付けてくれない。仕方ないので手入力。無事支払いを済ませて、大学へ戻る。

その後個研室で色々。線形代数の演習問題を上げる前に、答えをチェック。でやってみると、どうも有限次元と仮定しないと答の出ない命題があった。まあ有限次元と問題に書いてしまえばそれでOKなのだが、何となく気に成るので、有限次元でない場合に証明が書いてある本は無いかと探す。するとあった。永田雅宜「理系のための 線形代数の基礎」という紀伊國屋から出ている本。読んでみると成程、という感じ。で TeX にまとめようと思ったら、何かおかしい。二つの集合が等しいことを言うのだが、「逆に」と書いてある方が逆じゃない。A⊂B を示して、逆と書いて A⊂B を示している。何度か気分を入れ替えながら見返すも、やっぱりそう。永田先生でも間違うことがあるんやな、という結論に落ち着いた。それにしても、たまたま開いた本やたまたま開いた論文の、それもたまたま開いたページにミスプリがある、というのを何度も経験しているが、これは小生の引きが強い、ということだろうか？それとも世の中に出版されている数学の印刷物にはそれだけ間違いが散見している、ということだろうか？後者ならいよいよ心して掛からなければならない。書いてあることは全部嘘、と思って読む、という意を強くした。まあ元々それくらいのつもりで読んでるんだけど。水曜日のゼミで使ってる本も間違いの多い本だが、版が進んで大分減った。この前一つ見付けたけど。金曜日のゼミの本はミスプリだらけ。Plenum から出ていた本だが、絶版に成り Springer から再発売されたところを見ると、ミスプリが無くなることは無いのだろう、という感じである。まあ仕方ない。学生は心して読んでもらおう。などとやって10時近くまで職場にいた。

夕食はすき家で麻婆丼。旨くて安いので言うこと無し。で食べている最中に気付いた。今日から1週間、草津田上インターは夜8時から朝の5時まで閉まっているのだった。新名神の集中工事のためらしい。今日の朝は「草津JCT－信楽 渋滞13km」の表示が出ていた。13km じゃなくもっと小さい数字だったかもしれないが、詳細はともかく目の前まで来て足止めを食らってはかなわんので、今朝は瀬田西で降りた。瀬田西で降りても、草津田上で降りても（もし新名神が渋滞しなければだが）5分くらいしか違わない。140円も違うから、急がない時は瀬田西で降りるのが得策なのだが、つい草津田上に行ってしまう。まあいいけど。えっと、夜草津田上が閉まっている話だったな。で帰りは下道で帰ることにした。瀬田西への最短経路を知らないので、大分大回りしないといけない。それが煩わしくて。が、下道には下道の煩わしさがある。原付がゆっくり走っている。自転車もいるぞ。信号もあるし。まあいいんだけど。

さて、いつもの月曜日はこれから一杯呑む、となるのだが、明日は昼前に職場に行かないといけない。ちょっと憂鬱なのだが、行かないわけにはいかないので。ということで今日は程々にして寝る。明日は資源ごみの日なので、段ボールとアルミ缶を出す。早いとこ済ませてしまおう。あ、「激レアさんを連れてきた」と「アンタウォッチマン」は見る。ということで2時には寝るでしょう。

桑原のスーパープレーと森のジャンピングキャッチでピンチを免れ延長戦を制す

昨晩は「ミラクル9」の3時間スペシャルを見た後、深夜2時から「プロ野球ニュース」。濱口がナイスピッチングをしていい勝ち方をしたようなので見てやろう、と思ったら、あまり長時間取り上げてくれなかった。まあいいけど。で寝たのは4時過ぎ。

11時前に呼び出し音。宅配便。眠い。また寝たら、30分もしないで今度は郵便局。もう。でもう一度寝た。3時前にスマホが鳴る。パソコンのウィルス除去が終わったと。もう野球も始まっていることだし、起きて待つ。野球を見ると、3点リード。お、よしよし、と思ったら、あっと言う間にソロホームランと2ランホームランを打たれ追い付かれる。うーん。

などとしているうちにパソコンが届く。今回もあまりいい機械でなかったようで、すぐにでも動かなくなるかも、と脅される。前の機械はいつハードディスクがクラッシュしてもおかしくない、と言われた。やはりケチらない方がいい、ということだな。取り敢えずすぐバックアップを取った。まあ最重要ファイルは大抵 USB メモリーに避難してあるから、多少のことがあっても大丈夫だが。

でバックアップを取りながら、野球の続き。8回。2アウトをすぐ取ったが、満塁に成ってしまった。でセンター前にヒット性の当たり。桑原がダイビングキャッチ！スーパープレーでチャンスを逃れた。9回裏は1アウト1，3塁のピンチ。中田の当たりがショートの頭上を襲う。が、森がジャンピングキャッチ！1塁ランナーが飛び出しておりダブルプレーで延長へ。助かった。で10回表は蛯名が2ベース、桑原はバント。が、中田が3塁へ放ってしまいフィルダースチョイス。佐野が犠牲フライを打ち勝ち越し！牧が3塁岡本のエラーで出塁。関根がヒットで満塁。代打大和がもう1本犠牲フライを打ち2点差！さらに伊藤光がセンターの頭を越す2ベースで2点！もうもらったでしょう。10回裏は康晃が三者凡退に抑えて勝ち。いやー、よかった。今週は3勝2引き分け1中止と負け無し。いい1週間だった。

今日から相撲が始まっているが、野球が終わったのは6時過ぎで、もう相撲中継が終わっている時間。選挙特番で「サンデースポーツ」も深夜の「大相撲幕内全取り組み」も無いようだし、今日は相撲はインターネットで結果を見るしか無いのか。待てよ、BS で「大相撲幕内全取り組み」をやるかもしれないな。後で調べよう。

7時過ぎに選挙に向かう。今日は雨だと言っていた気がしたが、降った様子が無い。で雲が多くて、そんなに暑くない。まあよかった。前は投票所は薬大で、近くてよかったんだが、薬大の体育館建て替え工事の時に今の投票所に移ってしまった。大分遠いのだが、まあいい。暑くないからね。で投票を滞りなく済ませてきて、天下一品でラーメン。暑くないからね。「超こってり」というのが出来ていたが、もう今日の分は売り切れとか。まあ最初からこってりを頼む積りだったのでいいんだが。

で帰ってきてテレビを付ける。8時5分前からNHKは選挙特番。ということで今日は大河ドラマは無し。頼朝が死んで、合議制が出来上がる回だから面白かろうと思ったのだが。まあいいです。で開票速報を見ているが、当選確実がどんどん出て、自民・公明が過半数確実とか。うーん、面白くないね。もう少し野党が抵抗を見せるかと思ったんだが。関西は京都以外はもう当選確実が出ている。問題は京都。自民の新人と、立憲民主の現職、日本維新の会の新人の有力3候補が2議席を争う、という構図。出口調査の様子を見ると、自民の候補がちょっと抜けているが、立憲民主と日本維新の会はいい勝負。衆議院の京都の大物と言えば国民民主の前原誠司だが、その前原氏が元の同僚立憲民主の候補の応援でなく、日本維新の会の候補の応援に回ったというから、よりカオスに成っている。最後の一票まで争うのではないか？という感じだが、さてどうなる。

でちょっとスマホで Baystars 応援板を見ていて気付いた。今日は日曜日。日曜日と言えばまだ1勝しかしていなかったのだが、今日は危ない状況からよく勝った。今日の勝ちで借金は4。3位 Carp まで0.5差、2位 Giants まで2差。いいですね。火曜からマツダスタジアムで Carp と3連戦。Carp は苦手にしてるが、今度こそは3タテといきたい。そうすれば2位が見えてくる。行けっ！Baystars。

パソコンがウィルスに感染

昨日は寝不足だから早く寝るつもりでいたんだが、予定が狂った。というのも、使っているパソコンがウィルスに感染したようなので、ウィルス対策ソフトを買って、フルスキャンしたんだが、うっかり外付けのハードディスクをはずすのを忘れてしまい、そこまでフルスキャンされてしまったのだ。2Tのハードディスクなので、相当時間を食った。でフルスキャンを終わっても、まだウィルスに感染した状況は変わらなかったので、いつものウィザード（膳所にあるパソコン110番みたいな所）に電話しようと、と思って調べたら、受付は9時から。ということで9時まで起きていて、電話。いつもの泉社長が電話に出る。状況を話したら、しばらく待てば引き取りに来てくれるという。ということで引き続き起きている。で泉社長が来て、パソコンを渡して、一寝入り。2時過ぎに電話が鳴った。やはり感染している、とのこと。ということでお願いする。でそこから寝た。

でさっきまで寝ていた。野球はどうなったろうか？と気になり調べると、2－0で勝った、とのこと。濱口がナイスピッチングをしたようだ。よしよし。二日続けての延長12回で大分ピッチャーがくたびれていたが、今日は濱口と伊勢の二人だけで済んだようだ。いいですね。明日も勝って、カード勝ち越しといきましょう。明日は見る。

今まで読んだ方はお分かりの通り、飯がまだ。昼も食べていない。ということでこれから Uber Eats に頼む。さて何を食べようか？

安倍晋三撃たれる

結局今日も超寝不足状態になってしまった。11時前に近所で野暮用があって、それに遅れたくなかったので。で用事は予想外の短時間で済み、なか卯で鰻を食べる時間があった。「鰻丼豪快盛り」と言う奴があったので、それを頼む。さらにその上があった（名前忘れた）が、ちょっと無理そうなので、豪快盛りにしておく。

で12時前に住処に戻ってきて、時間があったので職場に行く前にJoshinに寄った。相当大回りをしないとJoshinに行けないので、時間があるうちでないと行けなかったので。

で12時40分くらいに個研室着。メールチェックしよう、とパソコンを立ち上げたら、「安倍晋三前首相撃たれる」のニュース。えっ！まさか。日本の話か？という感じ。ちょっと状況がよくわからないままゼミの時間。

院進学ということもあり、夏休みもある程度やるつもりでいたんだが、学生がどうもやりたくなさそう、という感じ。まあこちらに学生を拘束する権利は無いので、学生に任せる。で平方剰余相互法則の証明が終わったら夏休みにしたい、というので了解した。で今日はルジャンドル記号を (Z/pZ)^× の位数2の指標として定義して、オイラーの規準や第1、第2補充法則。そこまで案外時間が掛ったが、相互法則の証明は終わりそう。で来週に1ページだけ残すというのも何なので、ちょっと延長して無理やり終わらせた。これで来週の金曜日は職場に行かなくてよくなった。夏休み前なのにいいのかって？うん、いい。この時間は本来学生にやる義務は無く、こちらとしても超過勤務手当無しでやっているので、無しなら無しで問題無い。まあ大分数学の勉強の仕方がわかったろうから、夏休みの自学自習に任せましょう。

で個研室に戻ってしばし別件の作戦練り。5時45分くらいに職場を後にした

で草津田上インターに近付くと、「草津JCT－京都南 17km渋滞」の情報。…。いつもは大体京都東までで、渋滞は5kmくらいのことが多いんだが。今日は本当に混んでいた。たまに50km/hくらい出せるんだが、大抵30km/h以下だった。それでも30分くらいで着くから、下道を通るよりはまし。寝不足だけど、居眠り運転しなくてよかった。

で住処に着いてテレビ。今日は Giants と東京ドームで。日テレ系のチャンネルで見るのか、と思ってうんざりしていたんだが、昨日仕入れた情報によると NHK BS1 でも放送するらしい。そっちの方がずっといいので、NHK BS1 にチャンネルを合わせる。2アウトから牧が2ベース、宮崎がタイムリーで1点先制。その後今永がナイスピッチングを続けていて、8回被安打1、無失点でピッチャーを康晃に任せて、2アウト。さあ勝ったでしょう、と思ったら、唯一のヒットを打っていた吉川がホームラン。うーん。昨日は延長12回0－0だったが、今日も延長戦。で関根のタイムリーで2点取った。佐野のホームインはかなり際どかったが、セーフの判定が出るあたりついてる。でピッチャーは平田。平田はセーブあったろうか？と調べようかと思ったら、まさかポランコに2ランホームランを打たれて、また同点に。その後どちらもチャンスを作るが、結局今日も延長12回を戦い3－3。2試合続けての延長12回で、明日はデーゲーム。うーん。今日は Swallows のマジック対象チームは Baystars だったそうで、Swallows が負けたので、マジックは一つ減って49。うーん。

で時間を見たら、もう10時過ぎてるじゃないか。今日は NHK 総合のニュースを最初から見られそうだ、と思っていたのだが、もう「報道ステーション」も始まっている。で急いでチャンネルを ABC に合わせる。安倍晋三死去、のニュース一色。MBS もニュース特番で、今日の「A-Studio＋」は無しのようだ。関テレだが「座王」やるかな？などと思いつつニュースを見ている。当然誰の口からも蛮行を非難する声が。安倍晋三は嫌いな政治家だったが、それと殺してしまうのは別問題。こんなこと許されていいわけはない。全容を早いとこ解明してくれ。

それと選挙も別問題。自民党に同情票を入れるのも大間違い。冷静になって、自分の信じたとおりに投票してください。

延長12回戦うも0－0で引き分け

今日は1時に起きるつもりだったが、起きたら1時半。まあ予定には間に合った。しばしパソコンをはさんで面談。形式的なこと。何をしたかって？仕事とは関係ないプライベートな件なので、内緒。終了後 Uber Eats に飯を頼んで貪り食う。

その後もう一度寝た。徹夜明けは辛い。やはり無理がきかない歳に成ったな。徹夜するたびにやめようと思うんだが、どうしてもしてしまう。明日は10時50分から近所で野暮用があり、その後職場でゼミと、少々忙しい。今日も早目に寝よう。

野球の途中に起きる。またしても Uber Eats に食事を頼もうと、スマホをいじる。で職場のメールを見たら、何やら面倒そうなメールが来ていた。先日書いたトラブルメーカーの件。人を不愉快にさせるのが上手な人というのはいるもので、本人は分かっていないんだろう。一度ガツンとやられた方がいいだろう。ということで来週はまた面倒臭い仕事が増えそうである。学問をやって学問で食っていくべく今の仕事に就いた筈だが、学問と関係無いことで時間を食われることが増えた。浜田省吾の「Midnight Blue Train」という歌に「描いた夢と 叶った夢が まるで違うのにやり直せもしない」というフレーズがあるが、それを感じる昨今。

今日は CS で Baystars vs. Dragons、BS で Giants vs. Swallows、地上波で Tigers vs. Carp がやっていたので、CMの度にチャンネルを切り替えて様子を見ていた。Tigers は Carp 相手に苦戦し、3－1 で負けた。近本の連続試合安打は30でストップ。日本記録ならず。残念。Giants は Swallows の連続勝ち越し記録を昨日止めたが、今日はやりかえされて一方的に負けている展開。いいですね。で 3－11 と一方的な敗戦。石川雅規が182勝目。200勝行くでしょうかね？頑張って欲しい。Baystars vs. Dragons は延長12回までやり、0－0 の引き分け。長時間お疲れ様でした。

大谷翔平が8勝目、打っては決勝点の活躍。いいですね。大谷を見ていると楽しくなります。どんどん活躍してもらおう。

牧がオールスターにファン投票で選出された

昨日はブログをちょろっと書いた後少しだけ寝たが、大して眠くないので起きていることにした。ということで今日もほぼ徹夜。「代数学I」と卒研ゼミがあるので大丈夫か？という気もしたが、まあ寝坊するよりよかろう、ということにした。で講義資料を直したり演習問題を作ったり。朝飯を食べて、シャワーを浴びて、9時45分くらいに住処を後にする。

で職場に10時20分くらいに着いた。暑いので生協の本屋で立ち読みをして涼む。今日は最高気温33度とか言ってたな。10時35分くらいに生協を後にして、アクエリアスを買って講義室へ。着いたら学生が誰もおらず、カバンが二つ置いてあった。いつもの定位置付近なので、二人は来るだろう、としばし待つ。10時40分に成る前に二人来た。もう一人いつもはいるんだが、今日はいない。ついに諦めたか。と思って講義開始。今日は局所化が局所環であるという、よくわからない事実を証明。その後 Chinese remainder theorem（CRT と略）。そのあたりでもう一人学生が来た。局所化の話と CRT は関係が無いので、まあいい所で入ってきた、と言えよう。で、CRT を一般の可換環でやる。イデアルの和と積と、イデアルが互いに素であること、イデアルを法とする合同を定義して、証明。その後 Z に翻訳したものを紹介して、3⁵⁰¹ を 10000 で割った余りなどを求めたら時間。オイラー関数の乗法性まで行かなかった。何か中途半端に残ってしまったな。まあいいや。あと105減算もやろう。演習問題に x²＋42x＋21≡0 (mod 105) を解け、という問題を挙げておく。

昼休みは例によって弁当を買って貪り食う。1時まで午前中の講義資料に幾つか軽微なミスがあったのを直す作業。

1時からゼミ。今日は原始根の存在や、幾つかの有限素体上の曲線の有理点の勘定など。「方程式 xⁿ＝a の F_p における解の個数を N_n(a) と書く。すなわち N_n(a)＝|{x∈F_p | xⁿ＝a}|」とか全部書くんだが、小生なら「すなわち」の後だけ書く。学生は全般的に言って、本に書いてあることをそのまま板書しようとする。労力は削った方が利口だと思うんだが。あまり冷房の利かない部屋で汗まみれに成っても意味は無い。さぼれるところはさぼろう。4時くらいに選手交代に成ったんだが、半ページの証明が数学的帰納法をきちっと展開したら2ページくらいに成ってしまい、あと10分では時間が足りない、ということなので4時終了。10分得した。で個研室に戻って講義ノートの直しの続き。数学的帰納法で証明、と宣言した(1)と(2)のうち(1)が全然数学的帰納法じゃなくてもいけるんで、そこを直して、帰納法で証明するという宣言文を(2)の頭に移して、などをやる。4時半から会議なので、4時25分に中断して談話会室（会議をやる部屋）へ向かう。

今日の会議は重たい話題があった。教務委員経験者は事の重大さが分かっていると見えて、色々意見が出た。結局、現状とても無理だが、こういう制度を作ればどうにかなるかもしれない。協力してくれ、という趣旨で終結した。会議終了後は学科長と W 先生としばし密談。考えてみると小生数理科学科のメンバーでは古株に成っていて、小生より前から学科にいるのは O 先生と A 堀先生くらい（T 先生は情報学科から移籍してきたのが小生が来た次の年くらいだったので、衣笠時代を知っているが、学科メンバーとしては小生の方が古い）。で W 先生に昔のことを色々教えてあげた。6時30過ぎまで密談。

今日は寝不足だったこともあり、早目に切り上げてきた。高速道路は渋滞していなかった。前のトラックが75km/hくらいでゆっくり走っていたので、その後ろを走ってきた。追越車線には一度も出ず。

帰ってきて野球観戦。職場を出る前にスマホで速報をチェックしたら、3－1 で勝っている。初回に3点取ったようだ。で帰ってきてテレビを付けると、3－1 のまま。大貫がビシエドの打球を肩甲骨の下くらいに食らって、コーチ、トレーナーが駆け付けているシーン。5回なので、このまま抑え切らないと勝ち投手に成れない。ということでその後頑張って二人のバッターを打ち取る。で試合はそのまま 3－1 で終了。得点シーンを全く見ることが出来なかった。いや、正確に言うと、ヒットを打つシーンを殆ど見ていない。Baystars は4回のソトの四球以降8回の牧の2ベースまでランナーすら出なかった。まあ今日はピッチャーが良かった、ということでいいことにしましょう。Dragons 相手だと強いな。

他球場の経過だが、ついに Tigers が Carp に勝ったようだ。近本が30試合連続ヒット。凄い。33を抜くだろうか？楽しみ。で Carp と Tigers が1差、Tigers と Bastras が0.5差と、3位が現実味を帯びてきた。明日も勝てよ。

試合中にオールスターのファン投票で牧が選ばれた、という情報。山田（Swallows）、菊池（Carp）を押さえての選出は凄い。などと浮かれていたら気に食わない情報。一塁手は Giants の中田。うむ、何を考えて選んだんだろうか？わからん。パ・リーグの先発投手は佐々木朗希、キャッチャーは松川。高卒ルーキーでの選出は大谷翔平以来とか。まあ完全試合をやってのけたんだ。バッテリーで選ばれて当然だな。今からオールスターが楽しみだ。

明日は2時からちょっと用事がある。オンラインでやるので、出掛けないでいい。2時前に起きるかどうかだけが問題。もう寝て、明日は1時くらいに起きるつもり。ということでおやすみなさい。

何もしない一日

よくこんなに眠れるなー、と言うくらい寝た。で何もしてない。野球も無かったので、書くことが無いので、今日はこれだけで。

第2回教務委員会開催される

今朝は8時半くらいに目が覚めたが、9時半近くまでもう一度寝てしまった。で飯を食べる時間は例によって無かった。講義には間に合った。

「線形代数学」は先週は2人だったが、今日は3人いた。ノートをとってるのは2人。レポート問題を公表してあるが、それを見て何もわからず焦ったのかもしれないな。まあ今日は来て正解だったでしょう。何故って？さあ。今日は冪零行列のジョルダン標準形を求める問題を一つと、冪零とは限らない場合のジョルダン標準形について。ジョルダン標準形と最小多項式の形に関係があることを解説し、3次行列くらいだと一生懸命基底変換行列を求めるより最小多項式を見る方が早い、という例を挙げる。最後に「対角化可能 ⇔ 最小多項式が重根を持たない」を証明して、特性多項式が重根を持たなければ対角化可能、という有名な事実を証明してあげる。これ、1回生の時に使うテキストに出てないんだよね。対角化出来ない行列の例は幾つか出ているが、固有多項式が重根を持つことに疑問を抱かなかったろうか？まあいいけど。

昼は例によって弁当を貪り食う。2時40分からの会議の資料をダウンロードして、講義が終わったら即 Zoom 会議に参加出来るように、URL の書いたメールを開いておく。で講義資料を印刷して、講義へ。

院生向け「数理科学特論1」はいつものように女子2人。しばらくしたら男子が1人、もうしばらくしたら女子がもう1人入ってきた。やはりレポート情報欲しさだろうか？今日は y²＝x³－20 の有理整数解の決定と、x²＋5y² の形で表される素数の決定から。どちらも Q(√－5) のイデアル類群に関する情報が必要。前者は実は類数が2であることを知っていれば十分だが、後者はイデアル類群の代表を知らないと出来ない。イデアル類群の有難さを分かってくれたでしょうかね。その後単数群の話。有理数体や虚二次体の単数群は面白くない。じゃあ実二次体ではどうか？ということで基本単数の存在と一意性を示すのだが、今日は部屋割り論法を用いて1より大きい単数が存在を示したところで時間。来週は全ての単数が基本単数の冪×(±1) を示す。で L(1,χ) で二次体の類数が求まることなど話すつもりだが、どうも1週間余る。まあ最終回は18日の祝日だし、気楽に聞ける話、ということでSageMath の紹介でもするか。うちの学科と専攻の学生はMapleを自由に使えるので、Mapleのことも紹介するか。そうすると時間に成るだろう。最終回が祝日に当たるというのは何とも不運、と思ったら、7月の第3月曜は毎年祝日だから、毎年こうなのだろう。覚えてないな。まあいいや。

講義終了後は、上に書いた通り会議。第2回教務委員会。今日の話は時間割がらみのことが多く、もう一人の教務委員に参加して欲しかったんだが、どうしてもはずせない別件が入ってしまったため止むを得ず。後日聞かれることもあろうから、しっかり復習しておこう。2，3発言した。確認したいことがあったので。4時10分過ぎに終了。

その後講義資料の直しと、アップロード。色々気に成ることがあったので、直した。が、さっき気付いた。一箇所直していない所がある。これを書き終わったら直そう。演習問題も作ったが、アップロードし忘れた。まあいいや。後でやろう。その後線形代数の勉強。ジョルダン標準形についてよく分かっていないところがあるので。テキストの例は何ともご気楽な例ばかりで、一般固有空間の基底をどう取ればいいか、その取り方が書いていない。固有ベクトルを基底に含めるのは当然として、他の基底の元をどうとればいいのか？ということをうだうだと計算したり本を読んだり。結局よくわからなかった。まあ苦労すれば求まるので、苦労した。久し振りに同次でない連立1次方程式を解いた。拡大係数行列を考えたのは本当に久し振り。色々忘れていた。1回生の線形代数をそろそろやらないと、勘が鈍るな。まあ来年度は引き続き2回生の講義を担当させてもらうことにして、再来年あたりから久々にやろうか？その後行列の冪乗を求める問題を少々。2次の行列はジョルダン標準形に直してしまえば、冪乗は簡単に求まる。勿論基底の変換行列が必要に成るので、上で計算したものを用いたが。固有値が1でないと1乗、2乗、3乗とやっても見当が付かない。やはり標準化しないと。その計算から中々間違いが消えず、結構計算した。何だかんだと10時近くまで職場にいた。

実はまだ晩飯を食べていない。この時間だとカップ麺くらいしか選択肢が無い。いや、近所に牛丼屋が2件あって、どっちかに行ってもいいんだが、面倒臭い。お湯はあるので、これから食べる。明日は4時半から教授会だが、職場に行かなくていいのは有難い。コロナのお陰で30分の会議のため出勤するということが減ったのは助かる。「コロナのお陰」はいささか不適当な表現という気もするが、まあいいでしょう。ということで晩飯を食べたら久々に飲酒でも。牛丼屋は面倒なのに酒を買いに行くのは面倒じゃないのかって？まあまあ、そう細かいことは言うなって。まあ程々にしますわ。

小生スマホは au。通信障害で何か問題があったかというと、あった。最近多段階認証というやつが普通に成ってきているが、ログインしようとしたら SMS が送られてくるが、来ない。その時点では通信障害のことを知らなかったので、「うぉー、何でじゃー？」となり諦めた。でニュースで知って、117 に電話してみたら、確かにつながらない。が、小生いまだに固定電話に契約している。こんな時は有難い。連絡先をスマホで見て、固定電話で発信すれば、こちらから掛ける用事は問題無く出来る。ということで、引き続き固定電話には契約し続けることにする。

Swallows の小澤（こざわ）にプロ初勝利を許す

昨日は呑まなかったが、遅くまで（早くまで？）起きていた。で今日は床屋へ行こう、と決めていて、行った。が、起きたのが遅かったのと、床屋が混んでいたため、切り終わってもらったのは5時30分過ぎ。今日はちょっと涼しかったので、帰りに新福菜館に寄る。今日は拉麺だけにしておいた。今度は炒飯も食べよう。隣の席の人が炒飯を頼んだらしく、若い店員が作っていたが、結構豪快に米粒をこぼしていた。で炒飯を見ると、やはり黒い。これが新福菜館か、ということは分かった。また今度、涼しい日に行こう。流石に38度が最高気温とか言う日に行くのは気が引ける。

で6時ちょい前に住処に帰ってきて野球。Swallows 相手に存在感を見せて、京山は今シーズン初勝利、といきたいところだったが、1回裏にいきなり5点取られた。うーん。相手のピッチャーはプロ4試合目の登板、プロ初先発の小澤。彼は Marines の小島（おじま）の逆パターンで、「こざわ」と読むそうだ。何とか5回までに3点返したが、やはり初回の5失点がでかすぎた。結局11－4で大敗。13安打は打ったんだが。小澤に7年目のプロ初勝利を許してしまった。さらに丸山にはプロ初ホームランと、相変わらずお優しいチームだこと。マジック対象は Carp だったらしく、Carp が負けて Swallows が勝ったので、マジックナンバーは51。さらに14カード連続勝ち越しと、Swallows のいいところばかり目立ってしまった。まあ仕方ないです。

試合後メールを見ると、とある先生のことを学生がクレームを付けに行っていた、というメール。調べてみるとまたあの先生か、という感じ。トラブルメーカーというのはいるもので、そろそろ何か考えた方がいいんではないだろうか？という気がしないではない。まあ個人の信条にまで踏み入る権利は無いのだが、多少の注意はした方がいいかもしれない。教務委員としては気の重い所。まあ一人で考えるのはよしましょう。何か動くべし、と言われたら考えるとして、しばらく忘れよう。

今日はもう寝よう。大河ドラマは録画しておいたので、明日見る。日曜日の野球が夜中心に成る時期だが、そうなると大河ドラマを見ると遅くなってしまう。まあ秋学期の月曜の講義は物理との兼ね合いで2時40分からに成ってしまったので、見ても大丈夫そうだが。春学期の月曜の講義は後数回だ。頑張って早寝して、頑張って早起きしよう。

Swallows にマジック点灯を許す（53だそうだ）

今日は徹夜して野暮用に行こう、と決めて、起きていた。初等整数論の演習問題を考えながら時間を潰す。が、どうしても堪え切れず、8時前にダウン。11時ちょい前まで少々仮眠。

でシャワーを浴びて、11時20分前に出掛ける。そんなに暑くないじゃないか、という感じ。昨日の最高気温はやはり38度だったようで、今日もあまり変わらないな。が、野暮用を終えて表に出ると暑い。お日様がてっぺんまで上がると凄い。帰りに昼飯を食べて床屋、と計画していたんだが、暑過ぎる。で予定を変更して直帰。食事は Uber Eats で。昼食後テレビを付けっ放しで横に成る。

で野球が始まったが、まだ眠い。どっちでもいいから点が入ったら起きよう、ということにしたが、中々点が入らない。7回に大田のホームランで Baystars が先制。先発の濱口は好投していて、このまま抑えるか、と思ったら、8回に塩見にタイムリーが出て同点。引き分けでは今日のマジック点灯は無い、ということで抑えるのを願いながら見続ける。ちょっと消極的に成っていた。で延長戦。10回裏に1アウト満塁のピンチ。まあピッチャーは伊勢大明神だ、抑えてくれるさ、と思ったが、塩見にサヨナラの内野安打を打たれてしまった。これで Swallows にマジック53が点灯。まあ仕方ないです。明日勝って、連続カード勝ち越しを止めて、存在感を示しましょう。やはり牧が復調しないと勝ちは遠いな、という感じであった。

さて、今日は呑まないことにした。明日床屋へ行こう。切ってもらってる最中に腹が痛くなるのはかなわない。やはり呑まないのがベストだな。10日は選挙だから、来週の晩も呑まないかも。まあ来週は火曜と木曜は空いているので、月曜日の晩に少々呑むかな。

などと書いてしばし野球の情報を見ていたら、何とセ・リーグ2位の Giants が貯金が無くなったようだ。これで貯金は Swallows の独り占め。うーん。3位 Carp が Giants に0.5ゲーム差。幸い直接対決なので、2位以下全チーム借金という事態は明日は成らない。束に成って Swallows にかかっていくしかないね。頑張ろう。近本はまたヒットを打ったようだ。高橋慶彦の記録を塗り替えられるか？

Swallows 相手に存在感を見せる

今日は10時20分くらいに電話が鳴り起こされる。銀行から。当分都合が悪い、と言って電話を切り、もう一寝入り。が、12時過ぎまで寝てしまった。急いで職場に飛んでいく。生協でサンドイッチを買って、コーヒーで流し込む。

1時からゼミ。今日は代数的数の全体が体に成ることを証明してから、アーベル群の指標の話。指標の全体が群を成すこと、巡回群の場合は指標群が元の群と同型に成ることを証明。（一般の有限アーベル群の場合は後程。）色々怪しい所があるので、逐一止める。やはり写像の成す群というのは難しいようで、大分難渋した。対称群やガロア群は積を写像の合成とするが、今回は定義域と値域が違い、合成出来ない、というところでも躓いた。アーベル群の自己同型環や、空でない集合から環への写像の環等も例としては挙げているんだが。まあ難しいのかな。

その後個研室で線形代数の勉強。が、どうもやる気がわかない。金曜日のゼミ後は大体こうなる。水曜日のゼミより消耗する気がする。沢山突っ込んでるからかな。で結局やったのは手頃な演習問題を探すこと。「対角化可能かどうか判定せよ」という問題があり、沢山行列が出ていたから、それを「最小多項式を求めることにより対角化可能かどうか判定せよ」という問題に作り替えた。問題が沢山出来た。計算？Pari/GP に任せた。2行2列の行列は手計算でやった。3行3列は1問だけ手計算でやったが、それは上三角行列だったから。で TeX にまとめたところで、6時くらいに職場を離れた。

7時前に住処に着いた。野球にチャンネルを合わせる。今日から vs. Swallows 3連戦。結果次第ではマジックナンバー点灯らしい。ここは存在感を示すしかない。勝てよ、と見始めたら同点に追い付かれたところ。うむ。しかしその後2点勝ち越す。1点取られて1点差で9回表。Swallows はプロ入り初登板の市川を登板させるという余裕っぷり。が、やはり荷が重かったか、1失点。2点差で9回裏、ピッチャーは康晃。もらったでしょう、という場面でよくがっかりさせられていたので、今日も手に汗握り観戦。好プレーが飛び出し、無事3人で切って取った。これで4連勝。マジックナンバーの点灯も遅らせた。いままでは7月6日というのが一番早いマジックナンバーの点灯日だったそうだが、1日でいいから遅らせましょう。存在感を示して、Aクラスを狙っていこう。3位 Carp が2位 Giants に勝ったので、3位まで1.5ゲーム差、2位まで3ゲーム差。まだまだ。

今週は5日間大学に行った。珍しい。明日は昼から四条烏丸で野暮用がある。ということで今晩も呑まない。明日の野球はナイターだそうだ。野球の展開次第だが、明日も呑みに出ないかも。1週間酒を抜くとなると年末から年始に掛けて以来かな。まあたまにはそんなことがあってもいいでしょう。そうだ、明日は床屋へ行こう。四条烏丸から帰ってきたら、その足で床屋へ行く、うん、それがいい。野球は夜だし、床屋から帰ってきてから野球だ。新福菜館にも行きたいところだが、暑い中拉麺はちょっとな。まあ昼は山科駅前の松屋だな。

で今天気予報を見ているんだが、明日の京都の最高気温は38度。ほげー。