Beamer に馬鹿にされ続け呑み呑み徹夜（無事解決）

昨晩はその後 pdf をいじって大苦戦。Beamer で pdf ファイルを作るとしおりが出たり出なかったりするのは何故？と皆目見当が付かない。Web からサンプルの .tex ファイルをコピペして pdf ファイルを作ると出るのに、小生の作ったファイルでは全然出ない。おかしい。何が違う？いやいや、何これ？と一晩中本をひっくり返したり net 検索したり。で何か悪さをしているクラスファイルがあるのでは？とさらのファイルを作って、ちょっとずつコピペすると、何としおりが出る。おかしい。で結局全部コピペし終わって完成したファイルはちゃんとしおり付きに。意味が分からん。「おはよう朝日です」の占いで今日の山羊座は12位だったので、やめて寝ることにした。

途中オリンピックは気にしていた。男子バスケットボールはフランス相手に大金星、まで残り40秒くらいで追い付かれてしまい、延長戦で逆転して力尽きた。残念。

適当に起きて腹ごしらえ。コンピューターに馬鹿にされ続けた件はやる気が起きない。まだ眠いな。野球が始まるまでもう一回寝るか、ということにして、ABC の放送音を流したまま横に成った。6時半近くまで寝てしまったが、Tigers vs. Giants の音声が。Tigers が押し出し四球で先制して、その後3得点。1回裏に4点とは、幸先が良い。まあ目的は Carp vs. Baystars なので、そっちに合わせる。が、やはり今日もけたくそ悪い展開に。この前 Carp 相手に今シーズン初黒星を付けられた東が今日も2失点してしまう。Carp はここまで9勝の床田。1点取るのが精いっぱいで、これで7連敗。交流戦で7連勝して貯金を作ったのを全部吐き出して、これで借金2。苦しく成ってきた。まあ今日で7月は終わりだし、8月は大勝ちしてもらおう。8月に強いのがここのところの Baystars の芸風だ。横浜スタジアムでも無類の強さを誇る。まだまだ。

しかし暑いな。ちょっと払い込まないといけないので、野球が終わってから銀行に行ってきたが、帰ってきたら汗だく。冷房を消さないで行ってよかった。夜でこの暑さ。昼は外出したくなくなる。この仕事をしていると、8月はあまり外出しないで済むのがよい。だけど今週は土曜日にちょっと昼近くに区内で用事があって、来週は火曜日に職場に行かないといけない。出掛けるの嫌だな。まあ仕方ないな。諦めよう。

しおりの件だが、その後完全に解決した。そういうことでしたか。分かってしまえば何でもないこと。昔後輩K君（相撲部出身）がコンピューターの前で唸っていて、突然壊れたことがあった。何だと思ったら PARI/GP version 1.39 で for ループを回そうとしていたんだが、意味不明なエラーメッセージが出ていたらしく、それが突然うまくいった、ということでキレたようだ。聞いてみると、for ループの変数を小文字の i にしていたのを j にしたら動いた、と。そう、当時の PARI/GP は小文字の i は虚数単位なのでした。それを言ったら物凄い脱力していた。その後 PARI/GP は文法がガラッと変わり、虚数単位は大文字の I に成った。やはり同様のことでクレームが多かったのだろう。for ループで i を使うのは、前世紀の遺物 FORTRAN のせい。FORTRAN はよく知らないが、変数の使い方に色々制限が多く、そのせいで BASIC でプログラムするのにも i を使う人が多かった。数学でも Σ を使う時に i を使うことが多い。何でもいいんだけどね。SageMath は予約語でも何でも上書き出来てしまう。虚数単位は i でも I でもいいんだが、前者を for ループで使って、後者を単位行列にしてしまう人は結構多いのでは？後で元に戻せるので問題は無いんだけど。小生は単位行列は  E を使う主義だが、SageMath だと E(n) は 1 の原始 n 乗根を返す関数に成ってる。こういうメジャーな一文字を関数にするのはやめていただきたいが。Maple は D を微分作用素として使ってしまっているので、判別式を取り敢えず D に入れておこうと思ってエラーメッセージが出て焦ることがある。気付いた時勘弁してくれと思う。

まあ兎に角うまくいったので、その後ボーっとニュースを見ていた。イスラム vs. イスラエルは泥沼。最高指導者を殺しておいて「汚物を排除した」はないだろう。酷過ぎる。関東では大雨。東京、埼玉は大変だったようだ。Hawks のマジックナンバーが消えた。Marines が Lions に開幕から負け無し13連勝の新記録。Lions の借金は何と34。勝率は .311。昔 Whales や Swallows が滅茶苦茶弱かった時、首位打者篠塚（Giants）とどっちが上？みたいなことをよく言っていたが、セ・リーグの首位打者サンタナ（Swallows）の打率は .315、パ・リーグの首位打者近藤（Hawks）の打率は .323。こりゃ本当に首位打者の打率より勝率が下回っちゃうな。結局当時は Whales も Swallows も最終的には .390 くらいの勝率には成っていたが、今年の Lions にはそれが望めそうにない。どうなるでしょう？

最近ちょっと酒が過ぎるし、土曜日に呑むまでやめておくか。昨晩も訳が分からなくて、呑み呑みやっていたが。今思い出したが、科研費の申請書を書かないといけないのだった。8月28日が締め切りだと言ってたな。福岡から帰ってきてからやるか。また呑みながらやりそうだな。やはり定期的に職場に行く用事があるのは大事だな。秋学期は火曜日も講義があるし、どんなスケジュールに成るだろう？月～金毎日出勤は勘弁して欲しいが。ゼミが3つあるからちょっと大変なんだよな。まあこっちはもうちょっとしたら考えよう。

8月に成る前に Hawks にマジックナンバー42が点灯

寝よう寝ようとして、つい YouTube で京阪京津線の動画を3本も見付けてしまい、見てしまった。三条京阪のホテルに泊まってる時に、宿から浜大津行の電車をよく見ていたが、浜大津ってどこ？遠かったら嫌だな、と思い乗らないうちに、三条から御陵までが廃止に成ってしまっていた。山科に住むように成ってすぐに、今の四両編成に成った京津線の電車で琵琶湖まで行って、おお、琵琶湖だよー、と思った覚えがある。面白い電車なのは知っていたが、想像を絶する面白さだった。久し振りに乗りたいが、暑くて京阪山科駅まで行くのが嫌だ。前は1時間に4本だったが、昨日仕入れた情報によると1時間3本に減ったらしい。コロナもあったが、元々ガラガラだったから仕方ない。暑い中長時間電車を待つのは嫌だ。大谷駅がもうちょっと開けた所にあったら、MLB と協賛で盛り上がったり出来そうだが。でそんなことをしているうちにプロレスが始まってしまい、内藤 vs. 鷹木の同い年対決で盛り上がってしまい、その後NHKに回してオリンピックの体操を見てたら、中国を大逆転で下して金メダル！凄い。その後女子バスケットボール日本 vs. アメリカが始まったが、オリンピック7連敗、55連勝中のアメリカには敵わなかった。でようやく寝た。

起きてはま寿司も何も、結構な時間だったから、結局カップ麺。4時半から重ための会議。今日は早目に任務が終わってよかった。後はボーっと聞いたり内職したり。睡眠は十分だったので、最後まで持ち堪えた。8月は特にすることが無くなった。よかった。それでもまだちょっと直さないといけないが。

で直す一環と、福岡で話す件の資料を作るため、Beamer について調べごと。Beamer は数年前に「数学展望」で話す資料作りのために先輩にサンプルファイルを貰って、それを修正しいしい使っているが、あまり分かって使っているとは言えない。で調べたら色々分かった。が、肝心なことは全然分からない。同業者からメールが来ていたので、返事するついでに聞いてみたが、今のところ返事は無し。まあ細かいことだし大急ぎでは無いので、ゆっくり調べることにする。

会議中に野球が始まっていた。今日から Carp とマツダスタジアムで。今日は濱口だが、ちょっとかわいそうだった。味方がぽろぽろとエラーを、三本間にランナーを挟んで追い詰めたと思ったら、3塁への送球がそれて、ランナー2、3塁にしてしまい、そこから失点。結局6点のリードを許して最終回。玉村に完封されてしまうか？というところで意地を見せて、牧が3ランホームランを打った。それでも玉村はプロ初完投。ちょっと前に貯金5で今シーズン最高、と言ってたと思ったが、Swallows に悪夢のサヨナラ負けを食らってからロクでもなく6連敗で借金持ちに。うーむ。

で早々とオリンピックに切り替えて、野球のことはさっぱり忘れたが、「相席食堂」の始まる前に6チャンネルに切り替えたが、「報道ステーション」でヒロド歩アナ曰く、Hawks にマジックナンバー42が点灯とか。まだ7月は2日残ってるのに。幸い Giants は Tigers に一方的に負けたようだ。もうこうなったら Tigers に Giants を打ち砕いてもらって、Tigers の優勝でもいいや。Carp でもいいぞ。この前書いたが、アドゥワにビールかけを味わってもらいたのもあるから、Carp でもいいや。Giants が日本シリーズに出てしまったら、パ・リーグのチームを全力応援だ。勿論まだ諦めてはいない。ギリギリまで Baystars を応するし、3位以上に成れば日本シリーズに出られる可能性はあるのだ。めげずにいきます。

成績付け業務は全て終了

昨晩はオリンピックを流しながら採点作業。まず「数学III（線形代数）」の点数を入力。97人分の入力だと流石にミスがあり、一人入力してなかった。何度も何度も点検する機会を与えてくれるシステムなので、ミスには確実に気付く。で無事終了。その後「代数学I」のレポートの採点。こちらはオンライン提出なので、紙の束は無い。ダウンロードして採点。70名弱だが、結構面倒。線形代数と違って証明問題ばかりなのでね。ちゃんとこうしてね、と言ってるのに、重要なことを書いてないので不合格に成った学生が1名いた。文句言ってくるかもね。まあいいけど。ファイル名は「学生証番号_氏名.pdf」にせよ、と言ったのに、「代数学Iレポート」みたいなタイトルを付けてるのが3人。これも指示を守ってないから不合格、でもよかったが、まあ大目に見ましょうということにした。で終わらせて、成績を入力して、3時くらいには終了。セブンイレブンに食料と飲み物と呑み物を購入しに行く。「マルエフ」というビールのCMをよく見るが、考えてみれば呑んだこと無いので買ってみた。美味しかった。でダラダラとオリンピックの続き。女子スケートボードは日本の金銀フィニッシュ。「恋」と書いて「ここ」と読ませるそうだ。難しいな。プロ野球選手には「れん」と読ませる選手がいる。子供の頃いじめられたりしなかったろうか？いいけど。で東京オリンピックの時は13歳の日本人が金メダルだったが、今回は14歳。岩崎恭子の記録が霞むね。柔道は阿部一二三が無事金メダル。フェンシングの加納虹輝が金メダル。190センチを超える選手に170センチちょっとの選手が勝ったというのはいいこと。ちょっと違うが「柔よく剛を制す」というやつだな。

で適当な時間に寝て、夕刻に起きて、その後ダラダラと。こういう日があってもいいです。今日は「過ぎるTV」も「キョコロヒー」も「テレビ千鳥」も無いからもう寝ようかな。明日は夕刻からきっつい会議があるので、今晩はちゃんと寝ておかないと。消耗戦に成るので、飲み物とつまみ食いをするものを買っておいた方がいいな。昼に出掛けるのは嫌なので、今晩中に買っておこう。京都は昼39度までいったようだから、今の時間でもまだ暑いかな。

京急百貨店で鰻を買った人が食中毒とか。多分京急百貨店て上大岡にしかないはず、と思って画面を見ていたら、見覚えのある「Keikyu」のロゴ。実家に帰るとよく食べていたが、心配だな。まあ少し営業停止期間とかあるかもしれないが、無事に復活して欲しい。やはり暑さで食中毒の原因となる菌が増殖したのだろうか？明日の昼飯ははま寿司にしようかと思っていたんだが、やめようか。車で現地まで行くので済むから、暑い中歩く時間は極めて短いのでいいと思ったんだが。カップ麺で済まそうか？

照ノ富士10回目の優勝。隆の勝は残念。

昨日は早起きして、はま寿司で昼食を摂って、職場に忘れた物をとってきて、のつもりだったが、起きたらもう結構な時間だった。一昨日の晩、ヒルベルト記号の計算をするべく2次形式を平方完成させたのだが、何か変。展開しても元に戻らない。で結局 SageMath に頼る羽目に成り、どうにか平方完成は出来た。で肝心のヒルベルト記号の計算がまたおかしい。こういう時は大抵の人はセールの「数論講義」とか、ボレビッチ－シャファレビッチの整数論の本を見るんだろうが、小生はそうはしない。隔年で大学院生相手に p 進数のことを講義してる。だからそれを見た。小生の講義ノートは微に入り細を穿ち、と同僚が呆れるくらいにくどく書いてあるので、何かの時には凄く役に立つ。で無事片付いた。いや、あと二つ三つ示さないといけないのだが、「朝まで生テレビ」が終わったので、いい加減寝よう、と。で起きたのが遅くなったわけ。

で相撲が終わったら即職場へ向かうつもりだったが、その前にネットニュースを見たら、何と「山崎康晃プロ初先発」の一報。本来は平良だったが、腰を痛めて2時間前に急遽、ということだったようだ。で2回1失点。まあ形は作ったが、解説の大魔神佐々木氏は厳しかった。塁が空いているのに8番バッターに勝負にいって、打たれたから、ということ。まあいいです。2番手は森唯斗。森も1失点。新外国人のフォードにソロホームランが出て1点差にしただけに、確かに康晃の失点は大きかったな。

で野球の途中だが、8時過ぎに住処を出る。忘れ物は案の定あった。バッグに入れようと思って近くに置いたが、入れた記憶が無く、まさにその通り。ついでに伝票を経理に送る手続きもしてきた。水曜日の学科会議は無しだそうなので、当分職場に行かなくてよい。野球の結末を見て職場を後にする。

帰ってきてすぐふなごやへ呑みに。この前来ていたバイトの人の娘さんとその友達がまた来ていた。で結構盛り上がった。二人は帰っていったが、その後3人で与太話をひたすら。楽しかった。帰ってきて学生に一本メールを書いたが、酔っぱらっててまともに打ててない。前に同業者に呂律の回らないメールを書いたことがあるので、注意して打った。後で見たら特段変な所が無かったのでよかった。

で例によって中々起きられず。相撲の前には起きたが、まあ優勝に関係ある二番だけ見ればいいか、と思ったが、寝入ってしまった。隆の勝が勝った、というのは聞こえてきて、まあよかったかな、ともう一度寝たら、今度は「優勝決定戦！」の声で起きた。照ノ富士があんなにばったり手をついたのは最近見たこと無かったが。で照ノ富士 vs. 隆の勝で優勝決定戦。隆の勝はいい立ち合いを見せて攻め込んだが、そこは流石横綱。落ち着いていた。照ノ富士10回目の優勝。名古屋場所をやる体育館は来年から変わるそうで、有終の美は照ノ富士が飾ってくれた。隆の勝は目茶目茶悔しそうだった。ダイジェストは総合ではやらないが、BS ではやるだろう、と思って高を括って見なかったわけだが、見ると BS でもやらない。まあ NHK が動画を上げるからな、と思ってテレビの番組表を見てたら、明日の昼過ぎにやることがわかってホッとした。

相撲の放送は6時2分くらいまで延長したので、野球は途中から。今日もけたくそ悪い展開に。嫌に成って寝床でスマホをいじってたら、「阿部詩2回戦で敗退」の一報。うー。さっき「サンデーステーション」で放送してたが、号泣して暫く立ち上がれなかったようだ。まあ仕方ないです。勝負は残酷。かたや対照的に、女子柔道48キロ級の角田夏実が金メダル。元々は52キロ級でやっていて、この前のオリンピックは阿部詩に負けてオリンピックに行けなかったとか。階級を落として、31歳11か月でオリンピック初出場で金メダルは凄い。しかも今大会日本人初メダルで、夏季オリンピックの日本人のメダル数の通算500個目。立派。

今日はオリンピックの番組があっちこっちでやるので、NHKの「サンデースポーツ」とその後の海外ドラマは1ヶ月位放送が無いらしい。隆の勝は今日優勝してても出番が無かったので、まあよかったでしょう。数年前までは大関候補に名が挙がってたくらいの力士。もう一度盛り返して、堂々と「サンデースポーツ」に出てください。あ、霧島は何とか勝ち越した。10番勝って大関復帰、とはいかなかったが、下手をしたら負け越しで関脇すら守れなかったのだから、まあいいでしょう。貴景勝共々、大関復帰を目指してください。

天気予報によると、まだまだ目茶目茶暑いらしい。今週の京都は最高気温が39度にいく日が二日あるとかとんでもないことを言ってた。まあ幸い今週は職場に行く必要が無い。保健センター行きは確か6日だった。その日に色々用事をまとめて済ませてこよう。事務に提出する書類が二つあるが、それを出して、答案を返して、と。今年の4月までは職場の駐車場使用料は給料から5000円天引きされていたが、5月からは自分で1ヶ月、3ヶ月、6ヶ月のいずれかを選択して支払い手続きをしないといけなくなった。5月1日に3ヶ月分払ってきたから、今月で丁度期限。8月は上に書いた通り6日と、院試があって30日に行く以外は多分行かないで済むので、面倒だが行ったら1回ずつ300円支払ってこよう。この地獄のような暑さに外出しないで済む職業は有難い。福岡に行く時が暑くなければいいが、1ヶ月位この暑さは続くらしい。博多までの直通新幹線の時間を調べて、極力ホームで待たずに済むようにしよう。

山形と秋田の豪雨は想像を絶するもの

結局今日は職場に行かなかった。呑まなかったが結構変な時間まで起きていて、起きられなかった。もう1時間くらい早かったらはま寿司で昼飯を食べて、と思ったのだが。明日行こう。土曜日は契約職員の人が来ないから、ウェストウィングの近くに車が停められてよいので。暑い中外出する距離は出来るだけ短くしたいし。ということで、今晩は程々にして寝よう。先週始まった深夜ドラマは見るが。

4時頃から相撲。昨日3敗を守った豊昇龍は投げを打った際に足に痛みを覚え、肉離れのような症状があるとのことで、今日から休場。むぅ。3敗の美ノ海と隆の勝は勝って、優勝決定は明日以降。横綱も勝った。が、10番勝てば大関復帰の霧島が6敗目、カド番貴景勝は負け越しと、辛い結末も待っていた。二人とも故障持ちのようだし、先は険しいだろうが、頑張ってもらうしかない。

6時から野球。横浜スタジアムで Giants と。先制して追い付かれて勝ち越して追い付かれと繰り返し、8回に決勝点を打たれ万事休す。今日は Carp も Tigers も勝ってしまい、ちょっとよろしくない結果に。オースティンは脳震盪の症状があるとかで、特例で抹消。特例だから10日待たないで戻ってくるということだろう。代役はシーズン途中に入団したフォードだったが、送りバントを間に合いもしない三塁へ放ったりと、あまりいい所は無かった。打つ方は四球を一つ選んで出塁したが。また明日以降やってくれると信じて、引き続き応援する。しかし佐野が死球で途中で引っ込んでしまい、4位に転落と、何かロクでもないな。

その後先週の「座王」を見た。今日は何やらスペシャルがやるらしい。忘れず録画予約。その後「報道ステーション」を見ているが、山形、秋田の雨は想像を遥かに超えていた。松尾芭蕉曰く「五月雨を集めて早し最上川」というくらいで、急流のようだが、長年住んでる人もこんなことに成るとは思っていなかったようだ。自然は怖いな。暑いのも大変だが、水害で外出できないどころか家の中にいても怖い。こういうのは経験が無いだけに、想像がつかない。小生の実家のそばの大岡川という川が氾濫したことはあったそうで、お袋がよくその時の話をしていた。分水路を作って、婆さんの実家のそばまでは水量の少ない川に成ったが、そこを過ぎると何かと合流して急に水量が増える。子供心に不思議だったのを覚えている。今住んでる所のすぐ近くに小さい川が流れているが、雨の翌日は結構な流れに成る。まあ洪水には成らないとは思うが。

オリンピックの開会式はこの後の深夜にあるそうだ。いよいよ始まるな。が、フランスで高速鉄道を狙ってテロ（とは言ってないが）が起きた。気に食わないものは力ずくで妨害する、という方針は好かん。暴力の連鎖はやめましょう。連鎖は微分の連鎖律くらいにしておきたい。

「数学III（線形代数）」の採点終了

頑張って「数学III（線形代数）」の採点を終わらせた。昔はデフォルトで1枚解答用紙を配って、2枚目を必要とする学生にだけもう1枚配っていたが、事務手続きが煩雑になるという理由だと思うが、最初から2枚配る形式にされてしまった。そのせいで97人受験したが194枚の紙という大物と戦う羽目に成った。それでも採点がそんなに大変に成る問題を出さなかったお陰か、そんなに時間が掛からず採点が終わった。点取らせ問題を出しておいたお陰で、不合格は少ない。まあもっと厳しくすることも出来たが、寝覚めが悪く成るので、こんなもんでいいでしょう、ということで。でここでふと困った。答案用紙の束から成績をパソコンに入力しないといけない。どうするの？と。受講生全員の名前の書かれたエクセルファイルをダウンロードして印刷すればよい、ということを閃いたが、小生住処にプリンターを持っていない。明日職場に行くだな。幸いと言うか、一つ来週必要に成るものを忘れてきたので、取りに行くついでに。

昨日の相撲の結果を知らないまま今日見たが、昨日は全勝の横綱照ノ富士と2敗の大関琴櫻が揃って負けたようだ。2差は変わらず。今日の琴櫻の相手は、同じく3敗の大関豊昇龍。豊昇龍が土俵際で首投げを打って、琴櫻は4敗に後退。また優勝出来ずか。明日は3敗の力士同士の取り組みが無いようで、全員負けて横綱が勝つと、もう優勝が決まってしまうらしい。それは面白くない。豊昇龍、隆の勝、美ノ海は頑張ってくれないと。

野球が無いと平和だな。結構ニュースを見たが、今日は山形と秋田で凄い雨が降ったようだ。山形はちょっと知り合いがいるので心配。秋田は知り合いはいないが、大学の時の後輩（いまだに年賀状をくれる）の実家がある。何事も無ければいいが。昨日千葉県沖でジェット船が自力航行不能に成り、伊豆大島まで曳航されたという話題がやっていたが、大変だったようだ。レジャーに行く筈の人は疲れたろう。スポーツの話題はオリンピックのサッカー予選の件。南米王者で、ブラジルも破ったパラグアイと5－0で勝ったそうだ。序盤に退場者が出て数的優位だったとはいえ、凄いな。得失点差5は1点、2点取るのがやっとのサッカーでは大きいぞ。オーバーエイジ枠を唯一使ってないのが日本だそうだ。大暴れしてもらおう。しかしオリンピックだ高校野球だと、夜の番組の時間が大分遅くなってる。早起きしないでいい金曜日は久し振りなので、「やすとものいたって真剣です」と「アメトーーク！」を久々に見たいが、遅くなりそうだ。眠いな。まあそこまでして見るものではない。寝てもいいけどね。

オールスター第2戦は記録ずくめの大乱打戦

今朝は10時くらいに目が覚めた。お、名物一本鰻を食べてから職場に向かえるだけの余裕がある。シャワーを浴びて出勤。で草津田上で降りて、右折で狭い駐車場に入るのが嫌なので、大回りして左折で駐車場に入れて、さて、と思って入り口に向かって、ガッカリ。今日は事前予約のお客様限定だと。まあ土用の丑の日だから仕方ない。近くのすき家で特鰻丼を食べて我慢。土用丑の日に鰻を食べるという宿願は果たせたのでよし。

職場に12時くらいに着いたので、ちょっと楕円曲線の rank の計算の復習。うまくいかないな。ああでもないこうでもないとやっているうちに1時近く。試験監督詰め所に1時5分までに行かないといけないので、急いで出掛ける。今日は雨が降ると言ってたのに、傘を持っていくのを忘れた。ポツポツと降り出したようだが大丈夫か？

試験は「数学III（線形代数）」。1回生はまだ試験に不慣れなようで、学生証を忘れた学生がいたり、前の方に詰めよと言うのに詰めなかったり。氏名と学生証番号を鉛筆でなくペンで書け、というのを忘れていた。まあいいけど。30分経過でポツポツと退出する学生が出てくる。答案を見てみると、まあ1回生の答案だな、という感じ。因果関係が滅茶苦茶だったり、(i) がヒントに成って (ii) が解けるようにしておいたのに、暗記してきた結果を書いてるだけだったり。ま、1回生だからね。97人受験したが、どうでしょうかね。ちと不安ではある。幸い詰め所と試験会場の間を往復している時は雨が降らなかった。よかった。

3時に保険会社の人と会う約束に成ってる。ちょっと用足しに行っておこう、と思って向かうと、エレベーターの辺りに眼鏡を掛けた学生風の女性が座っていた。で個研室に戻ると、その人が立ってた。考えてみたら会うのは初めてだな。LINE でやり取りしたり電話で話したことは何度もあるのだが。S生命は割と年配の方が来るが、N生命は若い人が来ることが多い。でしばし色々やり取りして、30分強くらいかな。片が付いてよかった。

その後事務室に書類を取りに。大雨が降ってた。幸い隣の建物で、屋根の下を歩いていけるので、傘は持たなかったが。その後 rank の計算の続き。うまくいった。3進 Hilbert 記号の計算でうまくいくことは分かっていたが、ちゃんと mod 9 くらいで矛盾が出た。でその過程で D 論を見てみたが、また誤植があった。3 と書かないといけないところが p になってた。今度直そう。などとしているうちに別の事務からメール。明日か明後日に成ると言われていたものが今日出来たらしい。受け取れば暫く職場に行かなくてよくなる。今度はちょっと遠い所なので、傘を持って向かうと、雨は降っていなかった。ただ遠くから雷鳴が聞こえたので、傘はあった方がいいな。遠い所だと思っていたが、教職員通用口があり、案外近かった。

5時半くらいに個研室を出た。雨は降ってなかったが、駐車場に向かう途中に降り出した。住処に着いて暫くすると、滋賀県南部に大雨警報だの洪水警報だのが続けざまに出た。早目に帰ってきてよかった。まあオールスターを見たいからというのがあったのだが。

で6時半から放送開始。今日は5分もしないでプレーボールに成った。今日の試合は昨日以上に滅茶苦茶。パが先制したが、すぐにセが反撃。1死満塁でバッターは度会。Swallows で活躍した親父さんが観に来てる。レフトへ大きなフライ。当然犠牲フライ、と思ったら、怪我を押して出ていた3塁ランナーのサンタナ（Swallows）が生還できない。度会はサンタナに文句を言っていて、サンタナは平謝り。が、その後坂倉（Carp）が満塁ホームランを打った。1963年の榎本喜八（ロッテ）、1967年の大杉勝男（東映）だけしか打っていない球宴での満塁ホームラン！もう坂倉が MVP で決まりでしょうと思ったら、パが4回に5得点で逆転。5回にセがオースティン、村上（Swallows）のホームランで追い付くも、6回、7回、8回と、パが合計7得点を叩き出し、パは28安打16得点。しかしセも16安打10得点。1試合16得点と28安打は新記録。勿論両チーム合わせての44安打も最多。他にも山ほど記録が出たようだが、まあそれは調べてください。近藤（Hawks）が4打席連続安打で MVP か？という雰囲気があったが、佐藤都志也（Marines）が3打席でサイクルヒットに立直を掛けた。であとホームランが出れば、というところだったが、残念ながらサイクルヒットは成らず。それでも5安打で二塁打2本。塁打数だけ合わせればサイクルヒットと同じ。文句なしの MVP。坂倉も近藤も賞を貰えた。よかった。

度会はその後1塁ゴロで打点、タイムリー2ベースで打点と、親父さんの前でいいところを見せられた。よかったね。オースティンが1塁守備中に打球が口の辺りに当たったようで交代したが、ちょっと心配。ハッスルプレーでよく怪我をするが、今日のは不運。調子がいいだけにおおごとに成らなければよいが。

さっきNHKの大相撲のダイジェストを録画予約しようとしたら、総合では今日は放送が無い。何故かと思ったら、もうオリンピックのサッカー予選が始まり、その放送のためらしい。開会式はまだなのに。幸い BS1 で相撲はやるようなので、録画予約しておいた。「科捜研の女」も予約してあるし一安心。とここで発見。今日の「歴史探偵」は三好長慶と松永久秀の話らしい。こちらも録画予約しておいた。三好長慶と言えば信長より前に京都を制圧した人物。松永久秀はその部下。後に信長に付いたり離れたりを繰り返し、最後は爆死という凄い死に方をした人物（作り話らしいが）。面白そうだ。

最近現実逃避に高校の教科書を眺めることが多いが、三角関数の非自明な関係式が沢山あって面白い。それを使って 1/sin x の不定積分を求めることの別解が出来た。三角関数面白いな。いやいや、福岡で話すことは？rank の計算の復習をしたのはその一環なのだが。成績付けは明日以降やることにして、取り敢えず今日は TeX 化作業だな。

マイナビオールスターはセ・リーグが1イニング9得点の新記録で圧勝（MVPは牧）

昨晩ふいに思い出した。今日は資源ゴミの日。急いで分別。定期購入してて飲まないなまま放っておいたサプリの入ってる箱を開けて、飲まないものはゴミ袋に入れて、等としているうちにどんどん時間が過ぎていく。野菜ジュースが届いているようなので宅配ボックスを開けて部屋に運んで、それから段ボールに残り少なくなってる分を冷蔵庫に移してからその箱を解体して、とか。結構時間が掛かった。でもうそんなことをしているうちに色々やるのが嫌に成り、結局呑みながらダラダラ。適当に腹に詰め込んでから適当な時間に寝床へ。

で特に何と言うこともせずダラダラと。4時から相撲。横綱が全勝を守った。2敗で追うのは琴櫻。どう成るでしょう？十両の尊富士が気に成ったが、結果を見ると負けていて、情報によると、何やら胸を痛めて今日から休場らしい。まあ2番勝ったから、幕下には落ちないかな。才能はあるんだ。万全の状態に戻して頑張って欲しい。

6時半から6チャンネルでマイナビオールスターゲーム（以下オールスターと略す）の放送開始。テレビ局の都合で大体数分遅れて始まるが、今回はそれ以上で、10分くらい遅れて開始。今日はエスコンフィールドでやるということもあり、パ・リーグの先発メンバーは Fighters の選手か、他球団に移籍した元 Fighters 選手ばかり。で Fighters の選手は歴代のユニフォームで出場。どえらい懐かしいユニフォームがあり、old fun としては嬉しいところ。で先発は山崎福也だが、交流戦では6番を打ったくらいの打撃の持ち主なので、今日は2番 DH を兼務。1回にヒットを打った。が、満塁で点が入らず、山崎は塁上にずっと残っていて調子が狂ったか、次の回に大乱調。オースティンの先制タイムリーから始まり、細川（Dragons）にタイムリー2ベース、小園（Carp）1塁ゴロで1点、祐大のタイムリー、丸（Giants）2ランホームラン、牧2者連続ホームラン、村上（Swallows）3者連続ホームランと、1イニング9得点。今まで1イニング8得点はあったそうだ。牧はもう一発打ってMVPを取ったが、慣れない1塁を守っていたからかファールフライを落球し、生き延びた岡（Marines）がホームラン。ちょっとケチが付いたね。まあいいです。オールスターは3回目の出場だが、ホームランは初めてで、しかも2発。牧と佐野がホームランを打つと「デスターシャ」というパフォーマンスをやるが、それの本家の YouTuber サワヤン氏がスタンドにいて、大いに盛り上がってた。Baystars 陣はオースティンが2安打、祐大がタイムリーヒット、東は1イニング無失点、宮崎は守備で好プレー、度会はウイニングボールを捕ったりと、目立っていた。オールスターでいいところ見せたチームは後半戦いい。Carp が赤ヘル旋風で初優勝した年は、衣笠と山本浩司がアベックホームランと大暴れだった。金曜日以降の Baystars に期待したい。金曜日からは横浜スタジアムで Giants と。叩いてやりましょう。

オースティンと言えば、最後の打席は代打を出された。が、これが気に食わない。代打は床田。野球に詳しくない人向けに言うと、床田は投手。打撃はいいが、ちょっとな、と言う気はする。まあ山崎福也に負けずにヒットを打って盛り上がったのでいいけど。

途中ちょっとどうでもいいことを閃いた。xⁿ の微分って二項定理を使って示してることが多いが、xⁿ－yⁿ＝(x－y)(x^n-1+x^n-2y＋…＋xy^n-2＋y^n-1) を使った方が簡単に示せる。これ避けてる理由は、高校でこの因数分解をやらないからなのか？知らんけど。こういうのはどんどん TeX 化して、使える機会が無いか探すが、まあ無駄なんだけどね。英語で言うと in vain ってやつだな。

昨日は東海道新幹線が止まって大変だったようだ。リニア新幹線や北陸新幹線を早く大阪まで通せ、という意見が出ていた。調べてみると臨時のサンダーバードを2本走らせたようで、敦賀まで北陸新幹線で出て、サンダーバードで新大阪へ、という方法があったようで、まあよかった。多部未華子が大阪での催しに出なくちゃいけなくて、飛行機で何とか大阪まで辿り着けたようだ。飛行機も臨時便を出したと言ってた。大変だったね。で明日以降沖縄に台風が来るようで、沖縄で足止め食らってる人が相当いるようだ。夏は暑いし台風だしで大変だ。暑さが尋常じゃないからね。テレビでコメンテーターが「昔は寒くて死ぬことはあるが暑さで死ぬことは無いだろうと思っていた」と言っていたが、その通りだな。昨日足止め食らった人は暑くて大変だったろう。復旧工事の人はカンカン照りのもと頑張っていたわけだが、大丈夫だっただろうか？明日は今日より暑くないようだが、雨が降るようなことを言ってた。試験の日の雨は嫌だ。集合場所から教室まで答案を持って往復しないといけない。まあ大体重たい物は若い先生が気を使って持ってくれるが、その人達がかわいそう。そのタイミングだけ雨が降らないといいがな。

補講日で学生が少なく、弁当が結構余っていた

昨晩は程々に寝た。で9時半頃一旦目が覚めて、お、これは久々に一本鰻を食べる時間があるか？と思ったが、もう一旦寝てしまい、最終的に起きたのは11時半くらい。シャワーを浴びて出勤。

今日は補講日で、職場は大分閑散としている。弁当の販売業者にはその旨伝わってないんだろうか、12時半過ぎても結構売れ残っていた。唐揚げ弁当を買って、個研室で食べて、1時からゼミ。今日は Q(√199) の類数が1であることの証明。で相変わらず色々問題ありで、突っ込みまくる。結構大声を出してしまった。どうしてだかというのを詳細に書きたい気分だが、やめておく。Baystars 応援板で、肝心な所で失点した投手やエラーした選手を滅茶苦茶に書いてる人がいるが、はっきり言って不愉快。名指しはよくない。名指しじゃなくても表現の仕方に問題がある人が多い。だからこれ以上は書かないが。兎に角どうにかしといて、と言っておいて、春学期のゼミは終わり。いや、Q(√(－199) のイデアル類群が位数9の巡回群であることを言ってから終わると気分がいいんだが、今日はもう4時くらいに成っていたし、来週は順番の学生が都合が悪いそうなので。夏休みの間に徹底的に復習して、ちゃんとやってください。M2 なのにバカンスだからと羽を伸ばしてはまずいよ。ワーカホリックに成ることはないが、まあ程々に。

で小生のワーカホリックの一日はまだ終わらず。明日までに提出しないといけないものがあるが、それだけの為に暑い昼に出勤するのは嫌なので、今日中にやってしまおう、ということで。が、頭に血が上っているのと暑いので集中力に問題ありで、やる気が起きない。ちょっとだけ手直しして事務へ。いつもより早い時間に行ったので、人がいっぱいいた。暑い中ご苦労様です。担当者のパソコンのデスクトップにはアイコンが大量に散らばっていたが、やること多いんだろうな。繰り返しますがご苦労様です。

どうでもいいが、人に会う度に「お疲れ様です」と言う人が時々いるが、これちょっとカチンと来ることあるんだよね。仕事が終わった後言われる分にはいいが、これからまだバリバリと働かないといけない夕方4時とかに言われると、ちょっとな。大学の時にバイトの終わりに言われるのが習慣に成ってるからかもしれないが。知らんけど。

でまあ明日は職場に行かなくてよく成ったので、福岡での話に関することをちょっと。昔整数論サマースクールで話した Q 上 EGR を持つ楕円曲線の無いことの証明を読んだが、鬱陶しかった。まあこの証明でもいいけど、結局 Kraus の結果に頼ってるからね。福岡では y²＝x³±1728 の有理点が (±12,0)（複号逆順。\mp が出せないんで）だけなことを使った証明にしよう。で Kraus の定理の証明を理解しようと思うが、どうも思うに任せない。Cremona の楕円曲線の大きな表の出ている本を読んでみたが、ちょっと分かった。うまいこと mod 12 で x³≡x となる値だけ出てくるもんだ。

でちょっとその後コンピューター関係で気に成ることがあったので、業者に電話。小生どうも余計なことをしたらしい。素人が出過ぎるとロクなことが無い。明日は職場に行かないでいいが、明後日は試験監督、で明々後日はその件で職場に様子を見に行かないといけなくなってしまった。幸いプロ野球のオールスターは明日、明後日だ。明後日は試験監督が終わったらサクッと帰ってこよう。あ、保険会社の人と会うことに成ってた。まあ6時半プレーボールだし、テレビ局の都合で2、3分遅れるだろうから、間に合うな。渋滞に巻き込まれないといいが。

「代数学I」のレポートの採点をしたいが、どうしよう？呑みながら？いやー、流石にそれは。線形代数のテキストのことを著者にご注進したいが、それをやろうか？それとも Kraus の結果について理解を深めようか？まあいいや、この後の気分次第だ。

明日も暑いらしい。ゼミ中に雷が鳴ったが、何やら滋賀県には記録的短時間大雨情報が出たとか。大津市の映像がニュースで流れていた。草津は降らなかったのか、地面は特段濡れていなかったが。暑くて外出する人が少ないらしい。ふなごやは最近 Uber Eats やら出前館やら沢山注文が来ると言ってたが、暑いからだろう。今日の晩飯は松屋と松のやが一緒に成った店でだったが、Uber Eats の注文が4件も来ていた。高くつくから頼みたくないんだが、外出したくない。W 先生と会った時に言っていたが、ふなごやのランチに行きたいが、暑くて、と。一件山科駅の近くで美味しい店を教わったが、山科駅まで行くのが嫌だ。九大に行く頃は暑くなくなってればいいが、まあ無理だろうな。福岡も暑いだろうし。嫌だ嫌だ。

二日続けてとんでもない試合

結局昨日は負けた。ノーアウト2、3塁のチャンスを作ったが、その後3人が凡退。最後の打者の当たりはサード方面への強烈な当たりだったが、捕球されてしまいゲームセット。まあいいです。

でその後呑みに。ふなごやの大将は元々はフランス料理のシェフなので、CHEF-1グランプリを見たいと言ってたが、仕事を休んで見るわけにはいかない、さて、と言っていたが、TVer かなんかでやるでしょ、と先週入れ知恵をしておいたが、ちゃんと見たようだ。TVer では予選から全て収録されているらしい。で知り合いが予選に出てたと言ってた。暫くするとバイトの人が客として登場して、いつものように与太話をひたすらしてきた。楽しかった。

帰りにセブンイレブンで水を買ったが、シャインマスカット味が付いたものを買ってしまった。シンプルに水がよかったんだが。でそれから「ゴチバトル」を見たり。

でまた結構長時間寝た。起きて相撲。照ノ富士が中日を全勝で折り返した。対照的に錦木は8連敗。十両落ちちゃうかな。2場所前に幕内最高優勝の尊富士は、怪我のため先場所全休だったので、十両に落ちていた。今場所も休場していたが、今日から出てきた。このまま全休だと幕下に落ちてしまうので、出てきたのだろう。で何と今日勝った。立派だ。幕内に復帰して、また大暴れして欲しい。

6時から野球。今日は酷い試合だった。あまり詳しく書かないが、2点リードされている状況で9回だったが、オースティンが起死回生の同点2ランホームラン。そのまま延長戦へ。で11回に佐野が2ランホームランを打ち、もう大興奮。が、今日でオールスター前で少し無理して森原を早目に出して2イニング投げさせたので、坂本が出てきた。坂本セーブ上げたことあったかな？と調べたが、こういうことをやるとロクでもないことに成る。エラーだ何だとランナーを出してしまい、京山に交代。京山も送りバントの処理を誤って、ランナーをためてしまい、満塁でオスナ。で最悪の結末。まあ仕方ないです。オールスター前に貯金が３あって、首位との差は2.5ゲーム。8月に大勝ちする芸風だから、暑い夏に盛り返しましょう。

まあそうは言っても、今日もエラーが結構あって、それが失点につながっていた。守備だけでなく、攻撃面でも問題あり。オースティンのライト前の浅い当たりを、1塁走者の梶原の判断が遅く、3塁を陥れられず、次打者のヒットでホームで憤死。解説の高木豊氏がご立腹だった。9回に先頭打者でヒットを打って、今度は判断良く2塁に進んだが、高木豊氏曰く、「さっきも出来たでしょう」と。まあこういうあたりが勝ちが伸びない理由の一つだな。火、水とオールスターで、一日空いて金曜日から再開。少し穏やかな気持ちでいられる。取り敢えず採点をするだな。昨日が「代数学I」のレポートの締め切りだったが、70名弱だから、ちょっと頑張れば数時間で終わる。明日やるか。「数学III（線形代数）」は水曜日がテストで、事務が答案を受験番号順に並べ替えてくれるので、金曜日くらいには受け取れるだろう。そしたら採点。こっちは100人以上いる筈だから、ちょっと大変かな。福岡で喋る話も詰めないといけないし、やることは色々ある。野球が無いのは助かる。相撲はあるが。オリンピックも始まるな。忙しいぞ。

1回表に打者3人で2点取った試合を落としそう（9回表開始前に中断）

さて、昨日で担当している講義は終わったが、今日は5月6日の振り替え休日の代わりの月曜日の講義をやれ、とのお達し。小生は幸い月曜日は院生とやっているゼミだけで、院生は今日やるより来週の月曜日にやりたい、とのことで、今日は行かないで済んだ。ということで、開放感から呑んでしまった。下らん計算をしたり、この前やってた「CHEF-1グランプリ」を見たり。何とも残酷な結末に成った。まあ勝ちと負けは必ず出るんで仕方ないけどね。

で結構長時間寝て、相撲を見たり野球を見たり。野球は只今中断中。1回表に打者3人で2点取ったが、こんな試合は勝たないといけないが、康晃と中川虎大がオスナに1発ずつ食らって、逆転された。で9回表は1番の梶原からなので何とか成らないかと思っているが、凄い雨なので、このまま終わってしまうかも知れない。まあ仕方ない。昼 Giants が勝ってしまったので、今日勝っても首位浮上は無かったが。Tigers vs. Carp は双方無得点で延長に入ったという情報だったが、今見たら Carp が1点取って勝っていた。ということで今日は Baystars の結果に関わらず順位に変動無しだな。どう成るでしょう？土曜日恒例の呑みの日なのだが、まだ行けない。あ、始まりそうだ。さて、どう成る？

8回の柴田のタイムリーが無かったらと思うとぞっとする

起きたら8時を回っていた。中々眠く成らないので、ちょっと寝床で YouTube などを見てしまったのが失策。ちょっと見た数学動画は面白かった。Z 係数の多項式を Q 上で因数分解するのに因数の候補をどう選ぶかはご案内のことと思うが、主係数と定数項に因数が沢山あると大変。そこで、自明な理由で選ばないで済むものが結構あって、楽をしましょう、と言う話。要するに、有限素点と無限素点で局所的に考える、ということだ。話してた人は整数論の人では無いようだから、「局所的」という言葉の受け止め方が小生とは違うだろうが。受験のプロの動画は結構為に成る。

で慌てて出掛ける。慌てていたので、車の窓に日よけを付けるのを忘れていた。後で悲劇的なことに成った。で今日は分数イデアルのノルムがどうしたとかいう話の後から始めて、分岐指数と相対次数を掛けて総和を取ると拡大次数に一致する、という定理を次に。ノルムの完全乗法性が示してあるので、証明は最早簡単。でその後準同型写像と素因子の一対一対応が何とかだ、という話だが、昔読んだ時はさっぱり分からなかった記憶があるが、学生はちゃんと証明していて、「これ同型写像だから当たり前ですよね？」みたいなことを聞かれたが、そういうのが分かるのは力があるということだ。で多項式の mod p の分解で (p) の素イデアル分解が分かる定理、の前で終了。面白く成る所なのだが。昨日ちょっとだけ平方剰余のことをやったので、2次体の場合だと (p) の分解と平方剰余の理論が関連して面白いよ、と言っておく。夏休みはどうしようかと相談したかったが、こちらが言う前に休む気満々だったので、まあ夏休みは無しでいいか、ということにした。11時半前に終了。

弁当を買って食べてから、雑務を諸々。来週までの宿題に目を通したり。1時からの講義のことも少々。

で1時から「代数学I」の最終回。今日は Chinese remainder theorem の主張をもう一度書いて、それからイデアルの話をちょっとやって、証明に入る。で Z version は知ってるかもしれないが、話しておく。で105減算とかやって、残りが10分ちょっとだったから、Z version の時は一個ずつ順番に解いていって、どんどん代入して、と話すつもりが、混乱して訳が分からなくなってきて困った。ガウスによる鮮やかな解法も見せたかったが、こちらもさっきの混乱で冷静さを欠いていたためか、無茶苦茶に成り、発散して終了。後で manaba+R に上げておけばいいや、ということにして、気にしないことにした。

生協の本屋でちょっと買い物をしてから、個研室で講義中にトラブった話の計算。まだ冷静でないのか、それとも暑さのせいか、全然うまくいかない。3、4回は計算をやり直して、何とか出来た。ガウスの解法は高木貞治「初等整数論講義」か松坂和夫「代数系入門」辺りに出てるが、ちょっと落ち着いてきたか、見ないでも再現出来た。まとめて pdf にして、manaba+R に上げる。それと、演習問題を作って上げているが、今年は去年よりちょっと教えたことが少ないので、最終回の分からその手の問題を除いて、pdf にして web に上げて、として、4時半前には職場を後にした。

で駐車場までが無茶苦茶暑い。で書いた通り車に日よけを置かなかったので、車中は死ぬような暑さ。ハンドルも暑い。窓を全開にして冷房を最強にしてしばし。飲み物を買っておいたので、喉を潤しながら待つ。車に外気温が表示されるが、36度の表示。ウォー。高速道路は「草津JCT－大津 渋滞4km」の表示。まあそれでも新名神にまで渋滞は及んでおらず、本線合流も割合簡単に出来た。渋滞もそんなに長距離ではなく、割合サクッと京都東まで行けたが、問題はそこから小生宅までの2kmほど。三条と五条の分岐点を過ぎてから車列が出来始め、四宮の信号を2、3待った。で結局2kmを20分近く掛かった。たまらん。もう30分早く職場を出ておけばよかったな。計算がトラブったのが原因。もっと計算力を付けないと。

相撲は終盤戦から。霧島は初日から3連勝したのだが、2日ばかり見てなかったら3勝2敗に成ってる。今日も負けて3勝3敗。10勝で大関復帰だが、厳しいな。勝ち越せるかどうかも怪しい。霧馬山と名乗ってた頃の方が強かった。豊昇龍は宇良に攻められ、負けか、と思ったら、宇良の足が出るのと同時で取り直し。再戦は一方的な相撲。最初からそうやればいいものを。カド番の貴景勝は若元春に負けて2勝4敗。むぅ。横綱は翔猿に圧勝。1敗だった力士（翔猿を含む）が悉く負け、全勝の照ノ富士と2位以下は早くも2差。照ノ富士宿願の10回目の優勝成るか？

6時から野球。今日から Swallows と。2回表に梶原の2点タイムリー、オースティン2ランホームランで一気に4点。こんな試合は楽に勝たないと、と思ったが、先発のジャクソンが不調を訴え、急遽佐々木が登板。ちょっとかわいそうだったが、逆転を許してしまった。それでもすぐ梶原のタイムリーで追い付き、オースティンが再び2ランホームラン。2点差。が、中川虎大がオスナにソロホームランを打たれ1点差。8回にチャンスを作り、バッターは宮崎、と思ったら、柴田に交代していたのだった。期待薄、と思って悪かった。タイムリーヒットを打って、再び2点差。今シーズン2打点目。9回に抑えの森原が1失点しただけに、柴田のヒットはでかかった。両チーム合わせて33安打の乱打戦は8－7で Baystars が制した。途中上位陣がどう成ってるか見なかったが、スマホの充電をする前に見たら、Dragons vs. Giants が1－0、Tigers vs. Carp も1－0という状態だった。で見ると、そのままのスコアでどちらも終わっていた。Carp の得点はシャイナーの無死満塁での内野ゴロによる1点のみ、Dragons の得点は細川のソロホームランによる1点と、どちらも大変だったようだ。これで Carp が首位、ゲーム差無しで Giants が2位、0.5ゲーム差で3位 Baystars、2ゲーム開いて4位 Tigers。Baystars は明日にでも首位だな。楽しみ。

何か今日はコンピューター関係でおおごとがあったようだ。ウィルス対策ソフトの不具合が原因かのようなことを言ってたが。もうバグは fix した、という情報があった。こういうものに不具合があると困るね。まあバグの無いプログラムを作るのは不可能だが。ウィルスにやられたということでなかったのはまだいいかな。どんな優秀なウィルス対策ソフトでもウィルスは入り込んでくる。定期的にメンテナンスした方がいいですよ、と「ウィザード」という会社の泉社長に言われて見てもらうと、案の定うようよいたようだ。怖いね。今はインターネット無しで何も出来ない時代だから、自衛策は過剰になるくらいとっておいた方がいいです。現金も持ち歩きましょう。

平方剰余の章に入ったが、相互法則のステートメントまでは行かず

今日も11時半過ぎまで起きられなかった。少し早寝しないとな。明日は9時からゼミ。今日はちゃんと寝ないと。

でゼミだが、今日から平方剰余の章。相互法則の主張が割合すぐ出てくるので、楽しみにしていたが、オイラーの規準辺りで躓いていたようで、大して進まなかった。p が奇素数で a∈Z が p と互いに素だと、a^(p-1)/2≡±1 (mod p) だが、これが示せなかったようだ。割と物知りな学生が一人いるが、今日はいなかったな。もう一人いないような気がした。皆大体定位置に座っているので、いないとすぐ分かる。サボりだろうか？知らんけど。ということで、案外早く終わってしまった。

で遅く職場に着いたので、カレーパンを一個買って齧る時間しか無かったのだが、ゼミが早目に済んで、食事を早く買いに出られてよかった。表は滅茶苦茶暑いが、冷めた飯より温かい方がいいぞ、と思って、唐揚げ弁当を売ってくれるキッチンカーで買おうと思ったら、「完売御礼」の札が。前もあったが、唐揚げはあるのだが米が無いということのようだ。仕方ないので生協で冷めた唐揚げ弁当を買って食べた。

で色々やる時間があるが、昨日の晩教務委員の先生から、分担で担当している科目の成績集計をしたいので、送ってくれ、とメールが来ていたので、その処理から。エクセルファイルにパスワードを掛けないといけないが、正直どうやるか覚えてない。まあ最近はヘルプ機能が発達しているので、「パスワード」で調べたらすぐ分かった。でメールを送って、さて、来週締め切りの仕事を、と始める。紙とボールペンを相手にしばし格闘。いいんじゃないかな、と言う感じ。やってる最中に何回かメールの届いた音がしていたが、見ると、さっきパスワードを掛けたファイルを送ったつもりだったが、ファイルを添付し忘れたようで、要求された。阿呆や。ちゃんと送った。それが済んだら、昨日の晩ちょっと整理したものを読み返してみる。去年の夏現実逃避に下らん計算を沢山やったお陰か、ちょっと賢くなったな。下らん計算、と言っても、2行2列の行列の計算だったので、今年線形代数の講義を担当するために例を豊富にしたくてやったのはあったので、まあ役には立ってる。それが済んだら、今度は福岡で話すことを考える。でそのために昔書いた論文を読んだり。何か色々変なことが書いてある。ちゃんと考えて直さないと。あと1ヶ月くらいだ。まあ大丈夫だとは思うが。バックボーンと言うかモチベーションと言うか、そういう話が長いので、中々肝心な話に成らないが、まあマニアックな話を延々聞かされるより、知らない世界を知ることが出来た方がいいだろう、ということで、いいことにする。で何だかんだと9時過ぎまで職場にいてしまった。明日は朝早いから早く帰ろうと思っていたが。相撲の結果を全く知らない。野球？今週の月曜日が祝日だったので、いつも野球の無い月曜日に試合があったため、今日は無し。こういう日は穏やかな気分でいられてよい。明日から神宮で Swallows と3連戦。それが終わったらオールスター。勝負はこれからだ！

晩飯はどうしよう？と考えたが、この前ちょっと豚カツの話題に成り、「○○○は衣が粗挽きでザクザクしてるのはいいんだが、その分衣が油を吸っててちょっとな」という意見があったので、そっちに行ってみた。衣に関する批評はその通りだったが、そんなに脂っこくはなかった。ヒレカツだからだろうか？知らんけど。右折で入って右折で出ないといけないので、まあもう行かないだろうな。もっと遅い時間ならいいけど。松のやは入る時は右折だが、出る時は左折でいいので、松のやの方がいいな。

もう来週からオリンピックだそうだ。始まると結局見ちゃうんだよね。昨日の「これ余談なんですけど…」で大阪の人にオリンピックの名場面を聞いていたが、言われるとちゃんと覚えてることばかり。金満だの利権がどうしたの何のと言われても、選手は一生懸命やってるだけだからね。何時頃の放送がメインなんだろうか？まあもう夏休みに入ってるので、多少の夜更かしはいいでしょう。相撲だ野球だオリンピックだと、大変に成るな。福岡？そうそうそれもあるからね。まあ程々に見ますわ。

「数学III（線形代数）」は今日で最終回

今日は11時過ぎに目が覚めた。が、すぐには起き上がれず、しばし寝床でウダウダ。11時半くらいに意を決して起きて、シャワーを浴びて出勤。12時半ちょいに職場に着いた。で外で弁当を買おうとしたら、案外残りが少ない。小さめの弁当しか無かったが、いいか、と。食べながらパソコンでメールをチェックしたら、会議をやるのやらやらないのやらと、面妖なメールが来ていた。

で1時から「数学III（線形代数）」の最終回。やることはもう特に無いが、何かやろうと探したが、A,B が同じサイズの正方行列の時に AB の固有多項式と BA の固有多項式が等しいのでも証明しようかと。これどっちかが正則だと簡単（AB と BA が相似に成るので）だが、そうじゃないと結構難しい。でそのために幾つか準備して、で証明終わり。時間を見るとまだ45分くらいある。予定通り Maple の使い方を教えておいた。私語をしてる学生もいたが、興味深そうに聞いている学生もいた。まあいいでしょう。Wolfram Alpha と、スマホでもアプリがあって色々出来る、と話しておいた。行列の計算を身に付けるのには手で計算した方がいいだろうが、もっと壮大な目的のための中途計算に行列式を求めたり連立方程式を解いたりするには、間違い間違い時間を掛けてやるより、コンピューターに頼ってサクッと答えを出して、先に進んだ方がいいのでね。ドリル的な計算を一生懸命やるののもう一つの目的は、恐怖感を取り除くためもある。今年うち来た S 先生は何千、何万という次元の多様体で計算すると言ってたが、そういう所での計算は全然手計算向きでないので、コンピューターを使うのは当然。でプログラムを組むのに数学の理論を知らないといけないし。ということで、理論と計算機による実験などは、上手にバランスを取ってやるのがいいでしょう、などとも言っておいた。

個研室へ戻って色々やるか、それとも住処に帰るかしばし悩んで、生協の本屋を冷やかした後スマホでメールを見たら、会議をやるという案内は来てないので、帰ろう、ということにして、3時前に職場を後にした。

相撲を十両の途中から見始めた。野球が5時45分だから、幕内の途中でチャンネルを変える必要がある。まあ仕方ない。朝乃山が変な倒れ方をして膝を痛めたようだが、大丈夫だろうか？大の里は早くも3敗。しっかりしんしゃい。

で今日は中止に成らず Baystars vs. Carp が行われた。東と森下の投手戦。Baystars は何度かチャンスを作るも、いつもの通り。で東がノーアウト2、3塁のピンチを作るも、浅い外野フライ2本で2アウトに。これは乗り切れるか、と思ったら、何とか言う知らない外国人に3ランホームランを叩き込まれてしまった。0－3で負けただけにこの一発が無ければ…。東は今シーズン初黒星。横浜スタジアムでの連勝も11でストップ。齋藤雅樹を抜いての単独トップとは成らなかった。東はホーム球場が横浜スタジアムなので連勝の機会は当然あるが、齋藤雅樹がそんだけ勝ったのは、Baystars（まだ Whales か？）が弱かったということだな。

オールスターのプラスワン投票とやらで Baystars の度会と Fighters の水谷瞬が選ばれたとか。度会は目立つ活躍をすることがあるので、まあ選ぶ人もいるだろう。ただ今日は満塁のチャンスで三振してるんで、ガッカリだった。オールスターで気分を入れ替えて、また一時のような活躍を見せてくれるといいが。水谷は交流戦首位打者で、現在 .310 と好成績。去年までは Hawks にいたが、一軍出場無しだったそうだ。古巣を見返すいいチャンスだ。ガンガン活躍してもらいましょう。

昔書いた論文で二か所くらい場合分けを一生懸命やったり素イデアルを選んで modulo したりした議論を、その論文が掲載される前に統一的に扱えるようにして論文にしたものがある。後で見返すにはその二つをミックスして、一本の論文としよう、と数年前にやった。remix.pdf とか変なファイル名にしてある。そこに可換図式を一つ載せたが、前は amscd というパッケージを読み込んで \begin{CD}、\end{CD} で挟んでやっていたが、矢印が短かったりなんだりと、結構不満だった。が、Acta Arith. に載った論文は矢印が長くなってる。他にも行列が小さく成ってたり。それと行列の成分が中央寄せでなく右寄せに成ってたり。行列の方は少し前に mathtools というパッケージを読み込むと簡単に解決出来るとわかったのだが、可換図式の方は分からなかった。が、ちょっと某打ち合わせの時に同僚から XY-pic というのを教わった。体のハッセ図も簡単に書けたりと、いいものを教わった。色々やろうという気に成ってる。夏休みに試そう。

今日の「これ余談なんですけど…」に里崎が出ている。CM を見るとあの G.G. 佐藤のエラーについて触れるようだ。G.G. 佐藤は一生言われるだろうな。面白そうだ。楽しもう。

奪首は明日以降に持ち越し

昨晩は月曜の晩恒例の、呑み呑み色々。でメモ書きを見たら、何か変なことをやってる。x>0 を言うのに、何やら平方完成してゴチャゴチャやってる。気に成って一から読み始めたら、大丈夫だった。x×(判別式が負の x の2次式)＝平方数、とやってるので、x≧0 が従う、諸事情で x≠0 が分かるのでOK、ということだった。焦った。その後他にもゴチャゴチャと。Maple いじりもした。でまた明るく成るまで色々やってた。「晴れ風」という新しいビールがあるが、呑んでみた。余分な味がしないで、シンプルに苦くて美味しかった。

でそこから寝て、目が覚めると結構遅かった。教授会を2回続けて欠席してしまったが、今日は出席した。大事な議題があるので、ハイブリッド開催にして欲しい、という要望があったようで、学部長は多分コアステーション2階の大会議室にいたんだろう。うちの W 先生や物理の先生が発言していたが、バックの様子を見るとお二方ともやはり大会議室にいたようだ。今日は半期に一度の教員の親睦をはかる酒の席を琵琶湖の遊覧船の上でやるようで、会議を長引かせられないので、ちょっと消化不良だな感じだった。小生はこの交流会には一度も出席したこと無いので関係無いが。席を籤で決めるらしく、全然知らない先生と近くに成ったら面倒なのが出席しない理由。

教授会は4時半からなので、相撲は途中まで見て、音声を消して教授会に参加していた。流していたが、相撲は全然見ていなかったので、どう成ったろう？5時半前には教授会は終わったので、後半戦は見ることが出来た。5時45分から野球なので、途中でチャンネルを変えたら、野球は中止の模様。ということで結びの一番まで見ることが出来た。今日の Baystars の試合はキッズナイターということで、子供にユニフォームを配ったりと、色々やる予定だったので、やりたかったところだろう。スマホで応援板を見てたら、結構ギリギリまで中止の発表が無かったそうだ。子供に野球を見せたかったということだろう。

野球が無いので、もう一回寝た。今日 Giants が Tigers に負けると Baystars が首位に成るので、起きて途中から見ることにした。CS の日テレG+を見るのは胸糞悪いが、まあいいか、とうっかり BS に切り替えるボタンを押してしまったが、NHK の BS でやってることが分かった。伊東勤と大野豊が解説のようなので、偏ってないだろうから安心して見ることが出来た。1回に Giants が2点取って、2回に Tigers が1点取ったようだが、その後はどちらにも点が入らず、結局 Giants は勝ってしまった。まあ0.5ゲーム差なので、明日首位に成る可能性は十分ある。楽しみにしておこう。

明日は MLB のオールスターがあるようで、今日はホームランダービーなどがあったようだ。今永が出るので見たいが、明日9時から放送があると言ってた。まあ起きられないだろうな。1時から講義があるので、途中で住処を離れないといけないし。後でスポーツニュースを見ればいいや。それよりも Baystars が首位に成って欲しいところ。学科会議の案内が無いところをみると、明日は無いのかな。帰ってきて最初から見ようか？先発が東だし期待出来る。Carp に引導を渡して、首位に立ちましょう！

4回までに6点取って、苦手のアドゥワをノックアウトして、再び首位とゲーム差無しに

昨日書いた通り、今日は祝日だが平常営業。11時半くらいに起きて、シャワーを浴びてから職場へ向かう。祝日のいい所は、高速道路がいつもより140円も安くなること。ETC だけなんだろうか？知らんけど。駐車場も空いてて、出口近くに停められる。もしかするとウェストウィングの近くの駐車スペースが空いてるかもしれないが、まあそれに賭けるよりは手頃な位置に停められればいいということで。

1時から大学院生とゼミ。まず2次体のイデアルの話の残り。色々分からない所があったようだが、前は分からない所を分かったフリしてやってたが、最近は正直に分からなかったと言うようになった。説明してあげれば分かるので、まあいいでしょう。途中で選手交代。こっちは大分怪しい。脚注に書いてあることをやらないで済まそうとしたので突っ込むと、読んできてもいない模様。そこを読まずに分かってたり、自分で埋められてこられればいいが、そんなことはなく、立往生。いや、本も良くない。単項イデアル (a) のノルムを N(a) と書いて、元 a のノルムを Na と書いたり。N(a) と書いてることもある。面倒でも N_K(a) と N_K/Q(a) は書き分けて欲しい。まあ読むほうもちゃんと読んでたら疑問に思う筈。まだ書いてあることを読んでるだけ。M2 のこの時期にそれでは何とも心許ない。どうにかして欲しい所。で、今週の土曜日は月曜の講義をする日に成ってるけど、土曜日にやるのと、授業期間を終わってるが来週の月曜やるのとどっちがいい？と聞いたら月曜の方がいいという意見。ということで来週の月曜も職場へ。火曜日までに事務に提出するものがあるが、月曜に済ませてしまえば火曜日は行かなくてよくなる。よかった。

その後個研室で Maple をいじって遊ぶ。線形代数をやる時は with(LinearAlgebra) としてから始めるが、前に Student[LinearAlgebra] というのの存在を知ったので試してみる。Student じゃない方に入ってる命令で入ってないものがあって、意味無いか、と思ったら、凄いものを発見。行列の簡約化を1ステップずつやる方法があった。他にも色々あってよい。で SageMath と両方起動させて答え合わせしたり。Maple まだまだ知らないこと多いな。色々見せたら90分くらいすぐ経ちそうだが、一応少しだけ理論も教えるつもりなので、まあ1時間くらいかな。

今日の野球は5時45分から。Carp 相手に横浜スタジアムで。Carp の先発はアドゥワ誠。2勝を献上しているし、Baystars の先発は不安定感一杯の濱口なので、ちょっと嫌な予感。案の定1回表に2番バッターを四球で歩かせてしまう。この前は結構な援護をもらいながらも、4回まで100球を超える球数で交代させられてしまっていた。今日もか？と思ったが、その後2者連続三振。いい感じかな？で1回裏に梶原ヒット、度会ヒット、佐野タイムリー2ベースと、3人で1点先制。牧が四球を選らんで、宮崎犠牲フライでもう1点。が、ノーアウト満塁から2点しか取れなかったので、まだ心配。濱口は2回にも一人歩かせるも、大丈夫。2回裏に1アウト満塁のチャンスを作り、佐野が犠牲フライで1点追加。3回裏は森敬斗のタイムリー2ベースで4点目。4回表に濱口はノーアウト1、2塁のピンチを作るも、空振り三振、ショートライナーで走者が飛び出していてダブルプレーと、今日はツキがありそう。4回裏に牧が2ランホームランで6－0。アドゥワを4回で引っ込めたった。その後 Baystars は得点を挙げられずも、濱口は森敬斗の悪送球の間の1失点だけで、何と完投勝利。課題の四死球は合わせて3個と、上出来。いつもこういう投球をしてくれるといいが。で昼 Giants が Tigers に負けていたので、これでまたしてもゲーム差無しに。明日にでも奪首といきたいですな。

アドゥワはちょっとかわいそうな投手で、Carp が少し前に3連覇した時に中継ぎで結構活躍した。が、19歳だったためにビールかけに参加出来ず。二十歳を過ぎたと思ったら、今度は Carp が低迷。今調べたら、2020年から2022年は1軍登板無し。クビに成ったか？と気に掛けてはいたが、去年投げているのを見て、正直ほっとした。今年は先発で5勝と、復活している。アドゥワにビールかけをさせたいとは思うが、やはり Baystars が優勝した方が嬉しいので、今年は諦めてください。

試験監督の割り当てはどう成ってる？と気に成ってさっき調べたが、どうやら小生の担当科目以外の監督はしないで済むようだ。よかった。うちに加古川先生という方がいるが、名前があって、一瞬ドキッとした。昔は「加川」はパソコンの辞書に登録されておらず、一回「加古川」と打って「古」を消してから単語登録していた。後輩の古本君は、「ふるほん」と打って出す方が早いと言ってたな。何年か前に東京に出張で行った時、酒の席で珍しい苗字の人数名と席が近くに成り、皆まずパソコンを買ったら自分の姓を単語登録すると言ってた。小生の苗字は今は最初から入ってる。「貴章」も昔は入ってなかったが、今は最初から入ってる。何回か学習させれば、後は気持ちよく使える。まあ専門用語はジャカスカ登録しないとストレスがたまるので、未登録の単語はどんどん登録するが。うちの部屋の「基礎数理第2」を入力する時に「奇素数理第二」と成ってしまうのは仕方ない。ちゃんと「基礎」と「数理」を分ければいいだけのこと。「奇素数」の方が圧倒的に使うんでね。「代数的兵隊」とか「湯煮たり行列」とか出るともう凄い不機嫌。ジャカスカ登録しましょ。

1回表に菅野から4点取って、快勝

昨日も野球は不愉快な展開。まあルーキー吉野光樹（てるき、と読むらしい）を投げさせた時点である程度負けは覚悟だったかな。まあプロ初登板で5回2失点だから合格ですね。打てなかったのとその後の中継ぎ陣が踏ん張れなかったのが痛かった。

で不愉快だったので、ブログを書かずに呑みに出てしまった。Tigers も世にも不思議な負け方をしたので、店長もバイトの人も不愉快そうだった。Facebook に美味しそうなメニューが上がっていたので頼む。鱧久し振り。タプナードソース、という初めてのものを味わった。こういうのは余程のことが無いと食べないので、よかった。で野球の結果は不愉快だったが、3人で楽しく呑んできた。美味しい白ワインがあるというので開けて呑んだが、確かに美味しかった。で結構な時間まで呑んできた。

帰ってきて少し起きていたが、眠くて、テレビを付けっ放しで寝た。何やらトランプが撃たれたというニュースが聞こえてきた。安倍晋三の時もそうだが、気に食わないものをこういう形で除こうとするのは良くない。耳の辺りに怪我をしたが、防弾チョッキを着ていたらしく、命に別状は無いようだ。が、集会に来ていた一人が死亡、二人が重傷とか。犯人は射殺されたらしい。銃社会は怖いな。

で2時から野球だが、2時少し過ぎに何とか起きた。見ると既に4点取ってる。おっ！今日の Giants の先発は7勝で防御率1点台の菅野だというから苦戦すると思ったんだが、1回表に打者8人の猛攻で4点とか。いいですね。Baystars の先発ケイはここのところずっと安定しているので、安心して見ていられる。6回に牧がソロホームラン、9回に宮崎がソロホームランで 6－0。いいですね。ケイは8回2被安打無失点と、最高の結果だった。9回は今日一軍に戻ってきた康晃が抑えて、完勝。3タテを食らわなくてよかった。Baystars は何年間も Giants に3タテされていないとか。これで Giants と1差。3位だが、2位の Carp は今日は試合が中止で0.5ゲーム差。いけますね、まだまだ。4位 Tigers も勝ったようだ。1－1 で延長戦に成ったが、10回に一挙5得点したようだ。原口の勝ち越し打の後、足のスペシャリスト植田海が満塁走者一掃のタイムリースリーベースを打ったりとか。1位2位、2位3位、3位4位の間が全て0.5ゲーム差。まだまだ大混戦。

今日から相撲。先場所優勝の新関脇大の里、3大関が揃って黒星。横綱照ノ富士も苦戦したが、平戸海を何とか破って、先場所の様に横綱、大関全敗の初日とは成らなくてよかった。北の富士勝昭さんが今場所も出てないな、と思ったらビデオでコメントを寄せていた。ちょっと小さく成られたようだが、重病でなければよいが。舞の海が「大関の体たらくに北の富士さんはお怒りでしょう」と言っていたが、そうだろうな。

明日は天気が悪いらしい。今週中に梅雨明けのようなことを言っていたがな。大気が凄い不安定らしい。今も注意報が出ているようだが、さっき飲み物を買いに出た時は雨は落ちておらず、地面も濡れてなかった。雨は降るのはいいが、駐車場と個研室の間を移動している時は降らないで欲しい。明日？祝日じゃないよ。うちは毎年海の日は平常営業。5月6日が振替休日に成ったこともあり、土曜日も月曜の講義をやれ、との仰せ。まあ小生は月曜日は院生のゼミだけなので、明日皆にどうするか聞こう。月曜日は線形代数の先週があるようで、明日で最後だから水曜日の講義は適当にやろうと思っていたが、土曜日に演習の時間がある、ということだな。で数日前その旨担当の若い先生二人にメールを書いたら、そんなにきっちりやるつもりが無いようだから、まあ水曜日の講義は適当でいいでしょう。ちょっと話してから Maple と SageMath と WolframAlpha の紹介をしよう。パソコンにソフトをインストールしたという経験の無い学生は多いだろうから、WolframAlpha に少し力点を置くかな。日本語を使えるし、いいだろう。

名神の故障車渋滞のせいで住処から職場まで1時間20分強（順調なら30分弱）

金曜日は朝早いので、早く横に成ったが、Facebook や Twitter でサヨナラ勝ちの話題が多数出てて、つい読んだりして、興奮してきたか、寝付けなかった。腹が減ってきたので、起きてカップ麺をすすって、それから先週の「座王」を見て、とか。で寝床に戻って、YouTube で京浜急行ネタを見付けて、見ているうちに眠く成ってきた。

で凄い寝不足だが、7時半くらいに起きた。7時35分過ぎに星占いのコーナーがあるが、山羊座は12位。嫌な予感。これが当たった。8時くらいに住処を出たが、四宮の交差点付近で見える名神の情報は、いつもは大体「大津まで渋滞1km 5分」なのだが、今日は「京都東－瀬田西 故障車渋滞4km」の表示。まあ4kmくらいなら、というのが甘く、交差点をちょっと行ったところからもう渋滞している。で全然進まない。ゲートをくぐるまで軽く30分掛かって、本線合流も中々出来ず、「蝉丸トンネル」に辿り着いたのが住処を出て45分。大津インター付近でもう既に8時50分過ぎ。カーナビの情報を見ると、草津JCTを通過するのが9時25分くらいという予想。もう絶対間に合わない。ゼミには H 先生にも出てもらっているので、スマホからメールを書くか、と思ったが、流石にそれはまずかろう。事務に電話して、H 先生に遅れる旨メールしてもらおう、と思って電話。全然動いてないから、まあ電話するくらいは大丈夫だろう、ということで掛けると、業務時間外の声。数年前に働き方改革の一環で、朝早くと夜は外線は通じないことに成ったのだった。つかん。9時以降に掛けろ、とのことなので、しばし待つ。その間に動いた距離は僅か。大津出口・サービスエリア方面の分岐の辺りで掛けようとしてダメで、9時過ぎは大津インターからの合流の辺り。むう。ようやく電話が通じた。もう暫く行くと、追い越し車線が規制されてる。故障って追い越し車線上で起こったの？走行車線なら頑張って路肩に移してもらえば、こんなことには成らなかったろう。追い越し車線にボンネットを開けた車が鎮座してた。バッテリー上がりか？  でそのポイントを抜けたら、一気に90km/h出せるくらいに成った。で職場の駐車場に着いたのは9時20分過ぎ。順調なら30分掛からない所を1時間20分以上掛かった。とんでもない。

で個研室に着いてゴソゴソしてから廊下に出たら、H 先生が部屋から出てきた。書いてなかったかもしれないが、H 先生の個研室は隣の部屋。音が聞こえたのだろう。状況を説明しながら7階へ向かい、ようやくゼミが始められることになった。やれやれ。

で今日はデデキント環のイデアルのことを色々。分数イデアルに (0) でないあるイデアルを掛ければ単項イデアルに成るとか、イデアルが高々2元生成であるとか。でそういったことを使って、イデアルのノルムが完全乗法的だとか。これ、院生に読ませてる本だと Chinese remainder theorem を使って素イデアルの冪の場合に帰着させ、で完全代表系を書き出して、という証明が出ているが、こっちの方が面白いな。で色々無駄な議論をしているところがあったりと、結構苦戦していた。分からない時に一から自力で考えるのは悪いことではないが、先人の努力を理解しようとするのも大事。新しいことを生み出そうとしている時は自力で考えないといけないが、今はまだ体力づくりの段階。そういうつもりでやってください。

11時半過ぎに弁当を買いに行って、食べながらメールを見たり書いたり。寝不足で頭がよく回らないので、ほぼ何もしなかったに等しいまま12時55分くらいに。

1時から「代数学I」。先週整域の商体をやったので、今日は分母に制限を付けたもの。要するに S^-1R をやったわけ。で局所化を定義して、局所化が局所環であるとか。局所環は整数論にも代数幾何にも出てくる。いや、代数幾何はちょっとしか知らないが、そのちょっとで出てきたのだから、大事なのだろう。で案外あっさり済んで、仕方ないので Chinese remainder theorem（CRT） の節へ。環の直和を定義して、イデアルの和や積を定義して、CRT の主張を書いた辺りで時間に成った。来週もう一回 CRT の主張を書いて、証明して、古典的な Z バージョンを挙げて、恒例年齢当てクイズの問題を出したり。講義後見たら、55歳の時の問題に成っていたので、直しておかないと。

寝不足で渋滞は嫌なので、個研室に寄らずに帰ることにした。生協に寄って数セミと、原隆「手を動かしてまなぶ 群論」を購入。後者は Facebook や Twitter を見てると、著者から献本があったと書いている方が数名いたが、小生には届かなかった。一応原さんと面識はあるのだが。まあいいです。まだ開いてないが、裳華房のホームページに書いてあるのを見ると面白そうだ。これを書いたら見てみる。

6時から野球。眠いが、奪首するのをこの目で見るんじゃ、ということで頑張って観戦。途中まで1点リードしていたが、やはり満塁のチャンスを潰したりしてるといつかしっぺ返しが来るぞ、というわけで追い付かれて、サヨナラ負け。坂本も京山も気にするな。こんな日もあります。坂本が追い付かれたわけだが、勝ち越してプロ初勝利を付けてあげようじゃないの、と思って見ていたが、そうはうまくはいかなかった。まあいいです。明日、明後日勝って、奪首といきましょう。

ここに来て新型コロナの感染者数が増加しているとか。やはり暫くマスクは欠かせないな。暑いし嫌なんだが。来週で春学期の講義は終わるし、取り敢えずそれまで、で済まない。再来週はテストがあり、監督して、後採点。で成績を付けたら、今度は福岡に出張。まだまだ健康には気を付けないと。

最近金曜日に呑むことが多いのだが、先週も今週も土曜日に用事があり、呑めない。今日は寝不足だし、昼前に起きないといけないので、「探偵ナイトスクープ」が終わったら寝よう。もう「座王」は見たし。

Ogg の論文を初めて読んだが、間違いがあった（たまたま読んだ所に間違いがあるといういつものやつ）

今日も11時半過ぎまで起きられなかった。11時45分のアラームで覚悟して起きた。シャワーを浴びるか昼食を摂る時間を取るか考えて、昼食にした。で職場に12時半前に着いて、弁当を買って個研室でモソモソと。

食べておいた正解だった。今日の卒研は大変。ヤコビ和を使って有限体上の代数曲線の有理点を数える話の続きだが、節が長いので、途中で分けたようだ。まあここで分けるのは自然かな、という感じだったが、二人目の方が大変だった。Σ と Π を幾つも書いて、で足す範囲と掛ける範囲を書くのが一々大変そう。フウフウ言いながらやってた。で何と章が終わった。来週から平方剰余の章に入るが、来週が春学期最終回。まあ相互法則の主張をやってくれれば、こちらは手ぶらでも説明出来るので、来週は楽しくなるな。

でその後部屋で Ogg の “Abelian curves of 2-power conductor” という小生が産まれる前に書かれた論文を読んでみた。Q 上 EGR な楕円曲線は存在しない、ということの証明が初めて載った論文。この事実は昔証明を書いたことがあったが、一応読んでおかないとな、と読んだんだが苦戦。何かおかしい。3｜x とすると矛盾が生じるようなことが書いてあるんだが、そうか？という感じ。で昨日寝る前に Silverman の一番最初の楕円曲線の本（鈴木治郎氏による翻訳が去年出たやつ）を眺めていたら、このことを示すのが演習問題に出ていたので、思い出して見てみる。職場には鈴木氏が送ってくださったものがあり、住処でも読めるよう一冊買っておいたが、正解。で読んでみると、3｜x はやっぱり間違いで、割り切れても割り切れなくても矛盾が出た。x≡5 (mod 8) という結論が出てくるが、x が平方数か3倍の平方数に成るので、x≡1, 3 (mod 8) となり矛盾、という感じ。分かってしまえば簡単だった。九大の研究集会は報告集を出すようなので、頁に余裕があったら若者の便利の為に証明を書こう。初めて見た論文に間違いがあるといういつものパターン。今日のゼミでも p≡1 (mod n) とするはずのところが n≡1 (mod p) に成っていたのを疑わずに進めようとしたので、止めた。著者には報告済み。で何じゃかじゃで7時半を過ぎていた。野球をチラッと気にすると、1回裏に牧がタイムリーヒットを打って1点先制していた。でその後ちょっと線形代数。列基本変形には一つ落とし穴があって、i 行の c 倍を j 行に足すという操作の行列を右から掛けると、j 列の c 倍を i 列に足す、と逆に成ってしまうのだ。昔小生が線形代数の演習を担当した時、講義をした先生が間違えていて、学生が混乱していたのが思い出される。で頭がゴチャゴチャに成りそうなので、ちゃんと紙に書いてから SageMath で検算。出来た。で TeX 化するが、SageMath には latex という命令があって、これを使うと TeX にそのまま貼り付けるだけで使えるコードを吐き出しくれるのだ。勿論そのままやると冗長に過ぎるので、適宜 { } を除いたりはした方がいいが。で大体済んだ。金曜日は朝が早いので、8時台に職場を出ることにする。

でその前に野球をチラッと見たら、逆転されてた。4回表に高橋周平に同点打を打たれ、その後石橋がセーフティースクイズを決めたらしい。むぅ。で9回2アウトランナー無し。投手はマルティネスだし、今日は駄目か、と思ったら、オースティンが四球を選び、代走知野。で4番牧がタイムリー2ベースを打ち同点に！よっしゃあ。まだランナー2塁で宮崎だが、三振で延長戦に成った。宮崎は三振が少ないんだがな。遅く成るのでそこで帰ることにした。勝ちますように。

すき家でまたシーフードカレー。いつものホクホク大蒜が乗った奴があるので食べるが、カレーの強さに大蒜が負けてしまい、有難みを感じなかった。やっぱり今度はトリプル大蒜牛丼だな。

10時前に住処に着いた。今日はそんなに暑くなさそうなので長袖のシャツで行ってしまったが、やっぱり暑い。でまず冷房の電源を入れて、テレビの電源を入れて、ケーブルテレビのチューナーの電源を入れて、と見ていたが、通販のCMが長い。もう試合終わったか？と思ってパソコンを開いてみると、サヨナラ勝ち！京田がサヨナラヒットを打ったようだ。よっしゃー！貯金5で今日ゲームの無かった Giants にゲーム差無しの2位に浮上！明日からその Giants と東京ドームで3連戦。首位に成りましょう！

東、球団56年振りの開幕から8連勝を完封勝利で飾る

11時45分のアラームまで起きられなかった。12時にでなく11時45分に仕掛けたのは大正解だな。シャワーを浴びる時間があった。で12時15分くらいに出発。職場に着いて、残り数少ない外で売ってる弁当を買ったが、食べる時間が無い。個研室に置いて、傷まないよう冷房を仕掛けて講義室へ向かう。

水曜日は「数学III（線形代数）」。今日でケーリー・ハミルトンの定理の別証明も完了してしまい、本当に終わってしまった。まあここ数日書いたように、幾何的な話を色々。2次に限定したが、直交行列はベクトルの長さ（高校では大きさと言うようだ）を変えないとか、長さを変えないのと内積を変えないのが同値とか、直線に関する折り返しがどうしたとか、正射影がどうしたとか、一生懸命話してきた。写像も習ってないし、単射という言葉も知らない1回生にはちょっと難しい気がしたが、正則であるのと行列で定まる1次変換が単射であるのが同値とか、「写像」という言葉も「単射」という言葉も出さず、「潰れる」とかで誤魔化した。まあ秋学期にやるので、その時を待て、ということで。で2時29分くらいまで話してきた。

個研室に戻ってから色々。来週の講義で何を話すか考えて、演習を担当している二人の若い先生から送られてきた pdf ファイルを眺めたり。でまあどうにかに成りそうなので、いいことにした。時間が余ったら Maple の使い方でも教えれば時間を潰せる。例題を用意しておかないと。であれこれと9時過ぎまで職場にいた。

野球は勿論気にしていたが、2回、3回、4回と1点ずつ加点。東は今日もよかったようで、自己最多の124球を投げて完封勝ち。開幕から無傷の8連勝で、球団では島田源太郎以来56年振りの快挙らしい。小生が56歳だから、勿論知らない話。左腕での開幕からの8連勝は山本昌、菊池雄星に並ぶ記録だとか。凄いね。祐大は今日も先制のタイムリーヒットを打ったりで、大活躍。東の口からは例によって「祐大のお陰」が出たらしい。見たかったな。他の試合の様子を見ると、Tigers は逆転勝ちしていた。Carp vs. Giants は雨で4回途中でノーゲームに成ったらしい。これで首位 Giants、2位が0.5ゲーム差で Tigers、3位は2位とゲーム差無しで Baystars、4位が Carp だが3位と0.5ゲーム差。こんなの今まであったろうか？随分前だが、パ・リーグの上位3チームが0.5ゲーム差でシーズン終わったことがあったと思うが。その時の勝率は優勝チームとしては最低だったような。今の Giants の勝率は .533。どこが優勝するか分からないが、記録を更新するかも。いや、Baystars がここから怒涛の勝ちまくりを見せて、優勝する、と信じることにして、引き続き応援する。Eagles は今日は Marines 相手に18失点。1回に8失点、4回に6失点、6回に4失点。この前20失点したが、それに迫る。とても交流戦で優勝したチームとは思えない。

すき家でこの前食べ損ねたシーフードカレーを食べてきた。ふなごやでカレー風味の料理やカレー味のパスタは時々食べるが、カレーライスとなると物凄く久し振り。ココ壱が結構高くつくようになって、随分行ってない。それと、Uber Eats だガストだなか卯だはま寿司だすき家だ松のやだと、口に出してメニューを言うことが少なくなった。何か気恥ずかしいので、ココ壱は暫く行かないだろうな。ガソリンスタンドに寄って給油しているうちに雨が降り出した。

住処に着くちょっと前に一旦雨は止んだが、駐車場に入れてる間に一瞬で結構な降りに成った。今「報道ステーション」で見たが、京都には大雨警報が出ているらしい。明日はどうなんだろう？1時からゼミがあって職場に行かないといけないが。雨だったら嫌だな。外出する日は降らないとありがたいんだが。まあ今週は月～金と毎日職場に行って、土曜日もちょっと用事があるので外出しないといけない。面倒だ。福岡に行く日は降らないで欲しいな。九大は博多から遠く成ったし、キャンパスの中を結構歩くので、降られると面倒臭い。パソコンを持って行ったりしないといけないし。8月22日から8月24日だけは福岡県の天気はいい天気でありますように。宿は昨日の晩押さえた。出張届も出したし、後は話す準備をするだけだな。頑張ろう。

等と書いてしばし。「報道ステーション」のスポーツコーナーを見ていたが、東は横浜スタジアム11連勝の新記録だとか。凄い。Eagles の1回の8失点は、1アウトも取れずの9者連続出塁とか。凄過ぎる。先発の松井友飛（ともたか、と読むらしい）は0/3イニング打者9人、被安打8、与四球1、失点8（自責点7）という、何とも残酷な結果に成ってしまった。まだ3年目の24歳。チャンスはあります。大投手の大野豊（Carp）も確か1年目の防御率は100点を超えていたとか。めげずに頑張ってください。

蒼彗天（誰？）のサヨナラホームランでスターナイト1試合目を制した

昨晩は呑まなかったが、結構遅くまで起きていてしまった。で今日は昼を過ぎても起きられず。まあ今日の用事は、保健センター（4時まで）と、会議（4時半から代理出席）だから、早起きする必要は無かったが。で職場には3時半くらいに着いて、車をウェストウィングの近くに停められた。降りて暫くしたら雨がちょっと降り出した。ウェストウィングが近くてよかった。

で保健センターでまず血圧を診てもらう。今日は中々いい値だった。ちゃんと薬を服用したからね。で会議まで30分くらい時間があったので、パンを一個自販機で購入。1050円入れて150円の品を買ったが、100円玉が9枚返ってきて、でそのうちの一枚が転がって自動販売機の奥の方へ行ってしまった。むぅ。まあいいけど。で個研室でメールをチェックしたり。4時半からの会議は正直数理科学科にはほぼ関係無い話題。こんなのでも委員を出さないといけないのは何かな、と言う気もするが。パソコンを持ってこいと言われていたので持っていったが、紙の資料が配られていたのと、pdf 化した資料の置き場を事前に教えてもらっていなかったので、パソコンはいらなかったな。まあ内職に励めたらいいけど。何だかんだと6時近くまで捕まっていた。

6時台の高速道路はそこそこ混むので、7時くらいまで時間潰し。今日の野球は5時45分開始だったようで、もう2回だった。ちょっと作業して、チラッと Yahoo! の速報のページを見たら、Baystars に3点入ってる。佐野が3ランホームランを打ったようだ。いいですね。でピンチの場面だったが、ここだけ見終わったら帰ろう、ということにすると、セカンドライナーで Dragons のランナーが飛び出していてダブルプレー。よしよし。

でドラッグストアに7時半前に着いて、チラッと野球を見たら4－3。祐大にホームランが出たが、石田裕太郎がプロ初被弾。むう。薬を貰ってから、なか卯で「鰻丼豪快盛り」。今日はロクに食事をしてなかったんで、豪勢にいこうということで。名前に偽りありで、年々鰻が減っている気がするが。待っている間は読書だが、キリのいい所でスマホをチラッと見たら5－4と状況が変わっている。で住処に戻ってテレビを付けると、同点に成ってる。むぅ。石田の初登板から4戦4勝というチーム記録は達成出来なかった。残念。で何度かチャンスを作るも延長戦に。11回表にビッグプレーが。徳山が先頭打者の龍空を二塁打で出塁させてしまったが、高橋周平がバントし損ね、ランナーが飛び出したのを祐大が見逃さず、二塁へ送球してタッチアウト！高橋周平が四球で出て、今度は二盗を祐大の好送球で封じ、宇佐美四球の後岡林が凡退して無得点。解説の平田良介氏の言う通り、何もしなかったらノーアウト満塁だった。儲けた。で11回裏2アウトからオースティンがセンターバックスクリーン横へ叩き込んでサヨナラ勝ち。序盤に4点リードした試合を落としたら痛いから、よかった。オースティンは6月の月間MVPとか。連続試合ヒットは途切れたが、まあよかった。徳山はあれだけフラフラだったのに勝ち投手に。プロ初勝利。ツイてる人はツイてるもんだ。

他チームが気に成るが、Carp と Giants が直接対決なので、これは気に食わないので Giants に負けて欲しい。が、勝ってしまった。Tigers は1－0という状況だったが、アナウンサーが「近本に2点タイムリーサヨナラ打が出ました」と伝えてくれた。むぅ。まあいいです。4位のままだが、2位、3位、4位がゲーム差無し。Giants は首位と言っても2位以下と1ゲーム差しかない。セ・リーグ40勝一番乗りは時間差で Giants に奪われたが、いいです。明日も勝ちましょう。明日は東だ。期待出来る。

今日の横浜スタジアムの試合は、毎年恒例「スターナイト」。特別なユニフォームでやる。今年のは派手で、帽子には「横濱」と書いてあり、背中には名前が漢字で書いてある。外国人もね。オースティンは「蒼彗天」。このユニフォームで3連勝しませう。

学科の予算で Maple を購入してるが、学科の情報交換のページを見ると、Maple のページが無い。使う人が少なくて、買うのをやめたのか？と思って書いてみると、購入しましょうと学科のメーリングリストに流れてきた。購入してくれるのか。よかった。線形代数の講義の時間が余ったら、学生にちょっと使い方を教えて時間を潰そうと思っていたのでよかった。SageMath と Maple では得意とするところが違うので、両方あった方がいい。他にもクラウドの TeX 環境である OverLeaf のライセンスも、という意見が先日出ていた。これは使ってないのでどっちでもいいが、使いたいという人が多いようだし、まあライセンスをとっておくのがいいでしょう。うちは実験機械とか化学薬品買うとかそういうので予算を使わないので、使うことがあるなら使いましょう。

数年振りの出張申請に大いに手間取る

今朝は12時ちょい前まで起きられなかった。寝癖ボーボーなので、シャワーを浴びて直して、でちょいと急いで職場へ向かう。リンクの売店でカレーパンを買って、ゼミ室へ向かう。

ゼミは5分くらい遅れて開始。今日は素数導手の虚二次体の類数の話から。ルジャンドル記号の和だけで書けてしまうのはいつ見ても不思議。で 1 と l/2 の間にある平方剰余と平方非剰余の個数の差だということが書いてあり、l≡3 (mod 8) の時はその差が3の倍数で割れる、という不思議な事実について触れてあったが、どうせならもう一言。この事実の類数公式を用いない証明は知られてない、まで書いてくれると嬉しかった。勿論コメントしたけど。でその後 Q(√(－199)) の類数を求めよ、ととんでもない問題が出ている。勿論ちゃんとやってこなかったが、まあいいです。ただルジャンドル記号を幾つか手計算したようなので、いいです。二つばかり紹介してくれたが、途中 21 を分母（と言うのはまずいが）にサクッと回したが、一応突っ込んでおいた。ヤコビ記号をやったので問題無いが、ルジャンドル記号の分母（だからまずいんだって）は素数じゃないとダメだからね。で選手交代して、二次体のイデアル類群を計算する話。二次体だとイデアルのいい底が取れるが、それについてチマチマと。一箇所定義を間違えていたので突っ込む。で割とちゃんとやってきていて、順調に行き過ぎて早目に予習が尽きてしまった、と言ってた。まあいいです。来週はイデアル類群の計算を幾つかやるのだろう。今日はよかった。声を荒らげないで済んだ。

で生協に弁当を買いに行って、食べてから線形代数。もう明後日やることは大体出来てるんだが、まあもう一回やりましょ、ということで。で話したいことが色々出てくる。正方行列が標準内積を変えないことと標準ノルムを変えないことが同値、というのは昔は結構苦労して理解した覚えがあるが、今回は何も見ないで示せた。まあ覚えてしまっている、というのが本当の所なのかもしれないが、よく考えればそれだけ行列だのベクトルだの内積だのの議論やら性質やらに慣れてきたのだろう。でまあいいでしょう、というところで代数的整数論。本に Q(√(－199)) の類数は9だが、巡回群なのか位数3の群二つの直積なのかは類数だけ分かっても駄目だからやってみよう、と言う感じのことが書いてあり、来週やるのだと思うが、そんなに大変か？という気がしたので、始めてみようと。Minkowski bound は8.9とちょっと。じゃあノルム8以下のイデアルを全部書き出せばいいだけだから、簡単じゃないか、と思ったが、2, 5, 7 が分解していて、ノルム4のイデアルが3つ、ノルム8のイデアルが4つと、結構ある。しかも 2, 5, 7、どれの上にある素イデアルも単項イデアルじゃなくて、ノルム4のイデアルも (2) 以外は単項じゃない、ノルム7のイデアル、ノルム8のイデアルどれも単項イデアルでない、と、想像より大変だった。でまあいいか、とやめておいた。その後8月の出張申請をした。コロナ前に出張して以来どこも行ってなく、出張申請の方法が2度変わってしまい、訳が分からなくて困った。研究部から配られている冊子を見ながらウダウダとやって、30分以上掛かった。九大は伊都キャンパスで、住所は西区元岡、まで入力したが、必要だったのか分からないが。いくらかかるかは事務が計算してくれるようで、まあよかった。去年学科長をやったおかげで分かったことは、出張は自宅出発、自宅帰宅で良くなったこと。前はキャンパスから行くことに成っていて、その分のお金はどう成っていたか謎。出張後の手続きはどうやるかはまだ分かっていないので、出張が済んだら勉強しよう。

で9時過ぎまでウダウダとやっていたが、10時を過ぎるとどこの飯屋も夜間税を取るご時世だから、急いで職場を後にした。すき家でシーフードカレー、のつもりが、テーブルの上のタブレットを叩いたら、何やら買えなくなってた。売り切れだろうか？仕方ないから馬鹿の一つ覚えでトリプルニンニク牛丼にした。この前1986オメガトライブの「君は1000%」が流れていたが、今日も流れていた。店内放送は月単位で変わるのかな？確か1986年はハレー彗星が接近した年で、歌詞に「ハレーの滴」というのがあったと思って聞いていたが、その通りだった。1986年は浪人生をやっていた年だが、歌番組を見る余裕などあったんだろうか？謎。

昨日も書いたが、明日は出掛けないといけない。面倒だ。今「報道ステーション」で天気予報をやっているが、明日の天気は曇りに成ってた。週末に見た天気予報では火曜日は雨と成っていたが。まあ雨が降らないと暑いんだろうが。ウェストウィングの近くに車を停められるよう、少々遅めに住処を出よう。でさっき気付いたが、線形代数のテキストを職場に忘れてきた。明日は忘れないようにしないと。そうすれば明後日は個研室に寄らないで講義室に直接行ける。まあ昼飯抜きに成るということだが。万全の準備は大体無駄に成るように出来ているので、テキストをちゃんと持って帰ってくれば、明後日は昼飯を食べてから講義を出来るでしょう。

今永がMLBのオールスターに出るとか。いいですね。大谷が出るのは当然としても、今永が出るのはやっぱり嬉しい。7勝2敗だからね。まあ当然でしょう。派手に活躍しておくれ。

ABCお笑いグランプリではM-1王者が強さを見せた

ふなごやに着いたら、何やらグラスとかデキャンタとかが沢山カウンターに置いてあって、四人、二人、二人と3組の客が帰ったところらしく、大忙しだったそうだ。ランチ営業が終わったのも遅かったらしく、ロクに食べてないと言ってた。片付けが済んだ後、バイトの人と二人でまかない食を食べ始めた。疲れたと言ってた。で小生はほぼ呑み物しか頼まないので、その後は二人も呑み始め、例によって楽しく相当な時間まで呑んだ。やはりプロと意見を交換するのは楽しい。帰りにセブンイレブンに寄って、水と黒のボールペンをちゃんと購入してきた。

で例によってテレビを付けっ放しで寝たようだ。ABCお笑いグランプリが始まったようなので、起きて見ることにした。面白かった。M-1 王者はやはり強い。

で6時から野球を見た。佐野、祐大、京田の3連打で3点先制、佐野犠牲フライ、祐大犠牲フライと着々と加点したが、今日は守備が酷くて、宮崎だったり度会だったり牧だったり。でそれが悉く失点につながり、最後もミスでサヨナラ負けを食らってしまった。6カードだか連続で負け越し無しだったが、この3連戦は1勝2敗。オースティンの連続試合ヒットも22試合で止まり、最悪の結果に成った。Carp は負けてくれたが、昨日追い越されていた Giants が勝ってしまい、恐らく Giants が首位、Carp が2位、Tigers が3位、Baystars が4位という結果に成ったろう。悔しいので見てないが。Facebook の応援板に依れば、首位から4位まで1ゲーム差らしい。度会は悔しさを忘れず、また気持ちを新たに活躍して欲しい。オースティンもやり直しということで。

今日は東京都知事選挙があったようだ。20時で投票は終わるが、例によって20時5分くらいには当確の一報が出た。小池百合子が3選とか。むう。蓮舫は3位らしい。投票率は例によって低かったようだ。で今日は特別番組体制で、大河ドラマは休止、サンデースポーツは20分遅れ、11時からやってる海外ドラマも30分遅れ。大事なことだから仕方ない。しかし色々問題があった選挙だったようだ。日本一の都市の知事を決める選挙で面白半分で売名行為をするのはやめて欲しい。公職選挙法では対処出来ないそうだ。法改正した方がいいね。

今日は一日数学を一切しなかった。まあこんなことがあってもいいでしょう。明日は野球無いのかな？9連戦が近い内あると言ってたが、来週の月曜日が祝日なので、多分そこでやるのでしょう。ということで明日は無しで、来週の月曜日試合有りということだろう。明日は一日数学に励もう。

Carp にゲーム差無しにするチャンスだったが惜敗

昨晩は呑まなかったが、また変な時間まで起きていた。「Shimura's elliptic curve」で調べたら色々出てくる。が、小生の論文や木田さんの論文が多数引っ掛かってきて、役に立たない。昔知ったかぶりで色々書いたのを補強したくて調べたんだが。まあいいけど。で昔書いたものを見たら、色々ミスが発覚した。±ε と書かないといけないところが ε に成っている論文があったり、金沢で喋った時の報告集は酷く、「3で割れる」と書くところが「3と互いに素」に成っていた。割れると割れないを間違えたわけだが、昔素数判定のことをちょっと書いたが、そこに「途中で割り切れたら素数」とか訳の分からないことを書いて大恥をかいたのを思い出した。D論では不等号が逆向きに成っていて訳の分からない主張をしていた。もう提出したものは書き換えられないが、小生のホームページに置いてあるのは直して新しいのに置き換えた。あともう一つ。「Graduate Texts in Nath.」というみっともないのもあった。こういう所にミスがあるのは気付かないよね。小生ではないが、著者の名前にミスがあるというものもあった。大学時代の同期生は「Linear」を全部「Liner」にしてたな。

で昼前に野暮用で駅の方へ。暑い。用事を済ませて、セブンイレブンでボールペンを買って、なか卯で親子丼。帰ってきてしばし寝た。

で4時くらいに起きて、「ゴチバトル」を見て。で6時くらいに成ったので野球。昼 Carp が負けたので、今日勝てばゲーム差なしに成る。勝率の関係で首位には成れないようだが。1回表に1番の梶原がヒットで出て、盗塁を決めて、とそこはよかったのだが、牽制で刺されてしまった。勿体ない。まあそれでもオースティンのホームランで1点先制したが、逆転を許してしまう。今日は久々の先発の森唯斗だったが、まあ2失点なら仕方ない。この前 Hawks 戦に登板した時は滅多打ちだったからね。2軍で実績を残して、まだまだ戦力に成ることは分かったのでいいでしょう。結局負けたわけだが、まあまだ Carp には1ゲーム差。明日勝ちましょう。

Tigers は先制されると14連敗だったそうだが、今日でその変なジンクスは止まったね。岡田監督が Tigers の監督としての最多勝に成ったそうだ。止まったと言えば、Baystars の先発投手に負けが付いたのは約一ヶ月振りとか。その時の先発も森唯斗だったそうだ。ツイてない人はツイてないものだ。

さて、野球の前に風呂に入るつもりだったが、うっかり夕飯を Uber Eats に頼んでしまい、来た頃には野球が始まっていた。今から入って呑みに行くと遅く成るので、風呂は明日入ろう。さっき書いた通りボールペンを買ったわけだが、暑くてボーっとしていたか、さっき見たら赤色を買ってしまっていた。呑んだ帰りにセブンイレブンで水を買うのが習慣に成っているが、覚えていたらボールペンの黒のやつをちゃんと買ってこよう。覚えてるだろうか？

代数体の整数環がデデキント整域であることの証明が終わった

今朝は7時半くらいに目が覚めた。で初めて7時台に住処を出た。高速道路が渋滞してない！30分早かったからか、それとも単なる偶然か？来週はどう成るでしょうか？

ゼミは一人が体調不良で欠席。今日は代数体の整数環がデデキント整域であることの証明なのだが。まあ仕方ない。今日は（相対）次数という言葉が出てきたが、分岐指数の方が後なのか。ちょっと意外。面白く成ってきた。夏休み前に素数の分解が多項式の分解が分かる、というあれをやれればいいが、まあ無理かな。チラチラと見ると、ミンコフスキーの数の幾何の前にイデアル類群の有限性を証明するようだ。まあ実際に計算するにはミンコフスキー定数が explicit に書かれていないとどうしようもないが。11時前に終了。やりたいことが色々あるので、時間があると助かる。

で11時過ぎに弁当を買いに行って、食べてから楕円曲線の勉強をちょっと。C₄, C₆∈Z が (C₄³－C₆²)/1728∈Z－{0} を満たす時、Z 係数の Weierstrass 方程式で c₄＝C₄, c₆＝C₆ であるものがあるか、ということについてちょっと。Cremona の本を見ると割合明確に書いてある。これを使えば Q 上至る所 good reduction を持つ楕円曲線が無いのを示せる。小生が昔書いたものを見たら、全然違う証明をしていた。色々証明があって面白い。

1時から「代数学I」。朝来た時から既に暑かったが、昼の1時近くと成るとかなりのもの。フォレストハウスが遠く感じた。で少人数相手に講義。まず Z[X] のイデアル (2,X) が単項イデアルでないことを示す。その後商体の話をゴチャゴチャと。で存在と一意性を示した後、有理関数体 K(X) を多項式環 K[X] の商体として出す。ここで問う。多項式を多項式で割る、ってどういうこと？これ多分説明出来ないでしょう。前にも書いたが、高校までは多項式と多項式関数を同じと思ってるので問題無いが、単なる式と思うとどうなんでしょうね？卒研で読ませている本に √F(X) （F(X) は多項式）なんてのが出てくるが、皆平気でスルーしている。これも式と写像を同一視してるから問題無いんだろう。数年前に疑問に思ったのだが、複素数÷複素数って高校の教科書には定義が出てない。あれは (a＋bi)/(c＋di) を普通の式のように計算すればよい、でなく、(a＋bi)/(c＋di)＝{(ac＋bd)＋(bc－ad)i}/(c²＋d²) を定義にしないといけないと思うが。

で個研室で少々講義資料の手直し。打った時に面倒くさくて適当に書いた所を次年度のことを考えて書き足す。その後ゴチャゴチャとやってから、4時半前に職場を離れた。駐車場まで遠く感じた。目茶目茶暑い。で「瀬田東JCT－大津 渋滞3km」の情報だったが、60km/h くらいは終始出せてたので、大したことなかった。

住処に帰ってきてから、ちょっと福岡で話す件について考える。昔書いたものを見返したりしたが、何かよく分からない。講義ノートや紙に起こしたものなどはくどいほど証明を細かく書く小生だが、論文の場合はそうでもない。大抵の論文はあまり詳しく書いてなく、小生もそのスタイルを真似ている。勿論英語の能力の低さもあるが、世界中の有能な数学者が読んでくれる（と信じてるが）ものに馬鹿にしたような細かいことは書きたくないしね。後で読み返して分からないのはまあ仕方ない。研究ノートを見付ければいいが、探すより考えた方が早いさ、ということで今日も見付けてない。

考えてる最中に野球は始まっていたが、楕円曲線が気に成って集中して見られない。音声は聞こえてくるので、経過は知っていた。3回表に牧がレフトフェンス直撃のタイムリー2ベースヒットで1点先制するもその後点が取れない。で7回裏にショート森の1塁への送球が悪送球に成ったというミスから失点して、追い付かれていた。ジャクソンの勝ちが消えてしまったが、仕方ない。坂本には責任は無い。森が悪い。その後も森は送りバントが出来なかったりと、久々のスタメン出場に花を添えられなかった。それでも10回にオースティンの連続試合安打が伸び（21試合だったかな？）、キャッチャーの梅野が僅かにはじいた隙に2塁ベースを勝ち取り、牧が内野ゴロで3塁にランナーを進め、佐野が前進守備を嘲笑うかのようなゴロヒットで決勝点。いいですね。Carp が負けたので、首位まで1ゲーム差に成った。明日勝てば首位かな？勝率を計算しないと。まあ首位に成る成らないはともかく、明日勝てばリーグ40勝1番乗り。こういうのは気分がいい。Tigers 相手に勝つとちょっと呑む時の雰囲気が悪くなるが、そんなの関係ねー、ということでね。

今日の野球はNHK BSで見ていたが、アナウンサーが関西の人らしい上に解説が藤川球児と、NHK にしては Tigers 寄りだった。今年は甲子園球場が100周年らしく、今週は NHK でスペシャル番組をやったりと、まあそういう状況なら仕方ないかな。CS のスカイAよりはマシでしょう。Tigers ファンに思い出のシーンをアンケートして出た答えの1位は、例の「バックスクリーン3連発」だったのは笑った。槇原が打たれたのが印象的だが、掛布と岡田にはクロマティーの背番号49が一番記憶に残ってるらしい。まあこの時の槇原はまだ背番号が54と売り出し中だった頃だが、どっしり主戦力に成った後の新庄の敬遠四球サヨナラヒットの方が小生には笑えるな。

ちょっと表に飲み物を買いに出たが、とてつもなく暑い。夜の11時だというのに。昼はマスクをしてると暑いが、今でもコロナに感染する人がいるので、注意するに越したことはない。昨日東京で行う予定のセミナーが講演者のコロナ感染により中止にする、と来ていた。8月に福岡で喋るまでは元気にしてないと。いや、罹らないようにしないと。帰ってきてテレビを付けた時にコロナ後遺症の人のことをやっていたが、2年近く寝た切りの人がいるとかで、馬鹿には出来ない。気を付けよう。

最近金曜の晩と土曜の晩と二日続けて呑んでしまうパターンが多かったが、明日は昼前にちょっと外出しないといけない。だから今晩は我慢しよう。月曜日の晩も呑んでしまうことが多いが、来週の火曜日は職場に行かないといけないので、呑まないようにしよう。来週も土曜日に用事があるようで、一週間毎日何らかの用事があるのは辛いな。暑いし。

平良拳太郎11年目でプロ初完封勝利

今日は9時半頃一旦目が覚めて、それからちょっとしたら宅配便が届いた。で荷物を受け取って、早いし、はま寿司でも行こうか？と一瞬思ったんだが、もう少し寝たい。ということで11時半過ぎまで寝てしまった。熱帯夜だったようで、結構汗かいてたので、シャワーを浴びて、12時15分過ぎに出勤。はま寿司どころか弁当を買って食べる時間すらない。仕方ないのでいつもの通りカレーパンを一個買って、コーヒーで流し込んでゼミに向けて出動。

木曜日のゼミは初等整数論のゼミ。ヤコビ和を使って方程式の解の個数を数える話の始まり。整数論くさくて面白いところだ。が、予習がイマイチで、しょっちゅう止めた。それと連立方程式を行列で書いて掃き出す、という考えを最早完全に忘れてしまったか、何やらゴチャゴチャやって、解無しに成っている case はよく分からないと言ってた。2次正方行列の逆行列の式を忘れてしまっていたり。で拡大係数行列を掃き出す、というのを思い出させるようにやったら、喋ってる本人の反応はイマイチだが、聴衆は分かっていた模様だ。低回生でやっていたことはこういう時に役に立つというのが分かってくれてよかったろう。3時半くらいに終了。休憩無く突っ走ったので疲れた。

それから弁当を買って、ちょっと線形代数をやろうか、と思ったが、捗らない。で現実逃避に直線に関する折り返しの行列の固有値、固有ベクトルを代数的に求めてみた。幾何的な直観で分かるものと同じものが返ってきて嬉しい。でその後3等分点の体に判別式の3乗根と1の原始3乗根が入っていることの図を TeX で書いたり。この前教わった何とか言うパッケージを使ったら、思いの外簡単に書けた。D論を書いた時は一生懸命 picture 環境で書いたがな。巡回群のコホモロジーの六角形の可換図式も書けるかも。今度やろう。などとダラダラと8時半くらいまで。

明日は朝早いのでちょっと早目に切り上げたわけだが、はま寿司に行きたいぞ、ということで行った。平日とはいえ、夜の8時過ぎは家族連れが多くて、ちょっと待たされた。100円の大トロを食べるのが目的なので、まず頼む。その後色々頼んで、赤貝を頼んだら1300円を超えていた。いつもの通り鰻でしめよう、と思ったが、赤貝が中々出て来ない。先に鰻が来てしまった。赤貝でしめるのは不本意と言えば不本意だが、思いの外美味しかったのでよかった。赤貝初めてかな？今度も食べよう。

例によって野球はチラチラ見ていたが、2回に無死1、3塁のチャンスから京田の内野ゴロの1点のみで終わってしまうあたりはらしいやね。帰ろうと思った辺りで牧にタイムリー2塁打が出て2点目。寿司を待っている間は読書をしていたが、キリのいい所でチラッとスマホを見たら、8回裏に佐野のタイムリーヒットが出て3点目。帰り際に見たら3－0で勝ってた。で帰ってきてNHKのニュースのスポーツコーナーを見てたら、何と平良が完封勝ちしたそうだ。うー、見たかった。山口俊が FA で G に移籍した時の人的補償で Baystars に来たわけだが、いい選手に来てもらった。ちょっと怪我勝ちでフルに働けないシーズンは多いが、投げると結果を残してくれる。今年も故障明けだが、長いイニングを投げられることが分かったし、次回もやってもらおう。Tigers が負けたので、再び2位浮上。Tigers と Carp の対戦だったので、Carp が勝ったということだが、2ゲーム差は変わらず。明日から Tigers と甲子園で3連戦。一気に踏み潰しましょう。去年は交流戦後一度首位に立ったが、すぐ失速した。今年は粘れそうだ。26年振りの優勝、まだまだ期待しまっせ。

今日は暑かったが、明日も暑いようだ。大津は34度と言ってたから、草津もそんなもんでしょう。京都は36度とか。明日は朝8時台に住処を出るので、一番暑い盛りは避けられる。1時からの講義は大変だろうが。今「報道ステーション」で天気予報をやってるが、東京はこの時間でまだ29度あるとか。大変。兎に角、暫く用事の無い時は外出しないようにしよう。と言いたいが、明後日はちょっと昼前に野暮用があって外出しないといけない。来週は普通なら外出しない火曜日に保健センター行きと会議があって出ないといけない。面倒だ。まあいいです。夏休みに成ったらインドアな生活を楽しみます。

物理の学生がコンタクトを取ってきた

ちょっと無茶をすると中々起きられない。今日も寝坊してしまった。急いで出掛ける。今日の「急いで」は言葉の綾でなく、結構長い時間追い越し車線を走っていた。前も書いたような気がするが、これ交通ルール違反なので、やらない方がいいんだがな。で講義にはちょっと遅刻。

水曜日は「数学III（線形代数）」。今日はケーリー・ハミルトンの定理の証明から。が、その前に、多項式 f(x),g(x),h(x) が f(x)＝g(x)h(x) を満たしていれば、x に正方行列 A を代入しても f(A)＝g(A)h(A) が成り立っていることを注意した。これコッソリ使ってるので。でついでだから、行列の冪を求めるのに固有多項式で割った余りを使えばよいことを言っておいた。でそれから証明。ちゃんと準備していったので、澱みなく出来た。で案の定結構時間が残っているので、上三角化を用いた別証明をした。途中、n 次元数ベクトル空間の1次独立なベクトルの系が与えられていれば、それを拡張して n 個の1次独立なベクトルが取れることが必要に成るが、これは色々やるより「秋学期にやる」と宣言しておけば十分だろうということでそうした。三宅敏恒「入門線形代数」に、固有値が全て実数なら直交行列を用いて上三角化可能、という事実が出ているが、これではシュミットの直交化法を使って1次独立な系を得ている。まあ何にしても、ちょっと高級なことがいるのだな。で残り2週間。何とかします。目聡い学生が一人シラバスを見せながら試験のことを聞いてきたが、適当にぼかして返事しておいた。

昼飯を食べてないので、生協で弁当を買おうと思い向かうと、唐揚げ弁当を売ってるキッチンカーを見付けたので、そちらで購入。やはり温かいものの方がよい。で買って個研室で食べながらメールを読むと、物理の学生からちょっと話がある旨来ていた。前に訪ね歩いてた学生だろうか？と思ったが、この前の学生はあまり数学を知らなかったようだが、今回のメールの学生はちゃんと数学を勉強してそう。12時半前に、大学に来ているので、訪ねて行ってもいいか、と聞いてきていたが、メールを見たのは3時近く。断る明確な理由は無いので、今からでもいいから来て下さい、と返事。暫くしたら訪ねてきた。やはりこの前とは別の学生。H 先生とは既にコンタクトを取ったらしく、それなら、ということでいいことにした。後で署名してメールする、と言って引き取ってもらった。パスワードを入力する必要があったので、一生懸命メールを探して入力。

その後線形代数。来週何をやるか考えないと。ちょっと幾何的な話をしようと思って、回転行列、直線に関する折り返しの行列、正射影などのことを考えた。回転と折り返しは前に Tikz で書いた絵があるので、そのまま流用。正射影はまだ書いてなかったが、いつか書こうと思っていたので、ちょこちょこっと書く。割と簡単に書けた。で固有値を求めて、固有ベクトルは幾何的な直観で明らかに分かる、としておいたが、幾何的なバックボーン無しで計算するのをやろうかと思ったが、面倒臭いので後回し。でつまらん計算をちょこちょこと。最近暑いので、腕時計をしていると汗をかくので外していることが多いが、気付けば結構な時間に成っていた。で9時過ぎに職場を後にした。

この前すき家のカルビ丼にホクホクの大蒜が乗った奴を UberEats で頼もうと思ったら、無かった。で帰りにすき家に寄ったら、確かに無かった。が、前見た時は鰻は小さいのがちょこんと乗った奴しかなかったが、特鰻丼があったので、それを食べることにした。食べながらチラッと見たら、大蒜の芽牛丼がまた開始したようだ。今度はそっちを食べよう。シーフードカレーも旨そうだ。それもまた今度。

野球は勿論気にしていたわけで、チラッと見たら3点取ってた。1回裏に牧が3ランホームランを打った。が、その後じわじわと追い上げられてた。濱口はこれだけの援護があったらもっと投げないと4回2失点で引っ込められてしまった。ディアスは抑えたが、京山が今シーズン初の自責点で追い付かれ、9回に森原が2失点で逆転されてしまった。1回に3ランホームランが出たと言っても、チームの安打数は4。これでは仕方ない。中継ぎが疲弊してきてるだろうか？ちょっと心配。暑いしね。そろそろ実績のある中継ぎがファームから上がってきて頑張らないと。坂本も徳山も中川虎大も大分投げてるからね。ウェンデルケンとか伊勢とか康晃とか、救世主に成らないと。入江は手術したという情報があるし、上茶谷は足の捻挫の治り具合が心配。踏ん張りどころです。

糖質オフのビールで豊川悦司が中条あやみの父親を演じてて、ちょっと前にふなごやでその話題に成り、豊川悦司が62にも成ってることに一同ビックリしていた。でそのCMに常盤貴子が出るように成った。小生は見なかったが、豊川悦司と常盤貴子による名作ドラマがあったようだ。その二人が一緒に出ているというんでビックリした。ちょっと二人の名前で Google 検索を掛けたら、すぐ出てきた。3度目の共演で初の夫婦役とか。いいですね。まあ小生は糖質オフビールは呑まないが。って中条あやみと常盤貴子に説得されそうだが。

自分が昔書いたものを見て感心する

結局昨晩は呑むことにして、呑みながら福岡でする話のことをチマチマ考えた。ちょっと進んだ。で楕円曲線の reduction のことを大分忘れてるので、Silvermanの本（鈴木治郎氏が和訳したもの）を眺めたり。が、reduction のことを一番詳しく書いてるのは、小生がこっちに来る前の年の整数論サマースクールで喋った奴だろう、ということで、伊吹山先生のホームページからダウンロード。流石に小生の書いたものだけあって、マニアックなことが一杯書いてあり、微に入り細を穿ち。小生賢かったな。勉強に成った。他にも Ogg が有理数体上の導手が2冪の楕円曲線を決定した論文を眺めたり。Q 上至る所 good reduction を持つ楕円曲線の非存在の証明が初めて載った論文だが、Tate curve か何かを使った難しい証明だった気がしたが、見ると合同式でチマチマとやった証明だった。今度読んでみよう。で何だかんだで結構な時間までやっていた。

今日は教授会があったのだった。学科長じゃなくなると無責任に成ってしまい、つい忘れてしまう。資料を見ると、また面倒なことに成っていた。まあ仕方ない。やりますけど。他にも時間の掛かりそうな議題があったようで、今日は長かったろうな。来週は教授会は無いが、同僚に頼まれて会議に代理出席しないといけない。職場に行かないといけないが、保健センターに行くのを来週にしておいたので、4時半からの会議だけにわざわざ行くとは成らないので、まあいいけど。

6時から野球。今日から横浜スタジアムで Swallows と3連戦。序盤から猛攻を見せて、度会の2打席連続タイムリーなどで6－0とリード。が、その後は残塁の嵐。強力打線の Swallows に2点差まで詰められたが、何とか逃げ切った。中川虎大、ウィック等、ここの所ちょっと冴えなかった投手が好投した。石田裕太郎がデビューから3戦3勝。度会と二人でルーキーがお立ち台。盛り上がった。で Carp が負けたので、2ゲーム差に。さあ首位は見えたぞ。

プロ野球のオールスターのファン投票選出選手が発表された。Baystars からは牧と筒香と祐大。筒香ちょっと下がり気味だが、やはり皆見たいのかな。祐大は当然。59試合の出場で打率は .297。最早セ・リーグを代表するキャッチャーに成長したと言っていいでしょう。去年は日本代表にも選ばれてるし。パ・リーグは Fighters から9人選出。今日勝って折り返して貯金1の3位はは大健闘。オールスターの1試合がエスコンフィールドで行われることもあるし、盛り上がるでしょう。楽しみ。

学生が実二次体の類数公式の面白さをよく分からないと言ってた

今朝は11時半過ぎまで起きられなかった。寝癖ボーボーなので、シャワーを浴びて、でパソコンの電源を落としてなかったので、ちょっとメールチェック。今日は何か凄い雨に成るようなことを言ってたから、電車が止まって学生が大学に行けなくなってるかも、と思って。でそういう学生はいなかったが、一人何だか酷く体調が悪いらしく、欠席すると。変な天気が続いてるから、体調を崩すこともあろう。

で急いで出掛けて、12時40分過ぎに職場に着いた。弁当が残っているか微妙な時間だが、幸い少しだが残っていた。650円の弁当を500円で売ってくれた。儲けた。で弁当を食べ終わって、1時にゼミ室へ向かう。4人のところ一人欠席で3人、の筈が二人しかいない。最初に喋る筈の学生が来てない。まあいいけど。5分も経たないうちに来たし。今日はデデキント ζ 関数をリーマン ζ 関数と幾つかのディリクレ L 関数の積で表すことの証明を完成させて、選手交代で素数導手の2次体の類数を有限和で表す話。今日は一人いないし、虚二次体の場合は色々大変なので、実2次体の場合だけやると言ってた。が色々混乱していて、実2次体の基本単数の中に1より大きいものがあることをちゃんと分かっていなかったり、単数規準のことがよく分かっていなかったり。まあ分からないものは分からないと言ってくれれば問題無い。どっちもちょっと説明したら分かってもらえた。で基本単数の冪が円単数で書けることを示したが、本に「面白い式である」と書いてある。が、これの面白さがイマイチ分かっていないようだった。導手が13の場合をうちの入試（学部！）で出したので、それを見せたらちょっと分かってくれたようだ。sin(nπ/13) を幾つか掛けたり割ったりしたら √13 が出てくる、というのはちょっと非自明。まあよかった。ということで2時半くらいには終わってしまった。まあ明後日の講義の準備をしたいので、時間が出来たのはいいことです。

三角化を使ったケーリー・ハミルトンの定理を理解しようと始める。昨日住処で読んだ時はあまりよく分からなかったが、腰を落ち着かせてじっくり読んだら、そんな難しいことじゃなかった。TeX 化しておく。久し振りに Nicematrix パッケージの命令を使って、上三角行列を書こうと思ったが、何か歪で嫌な感じだが、まあこういうのの微調整は暇な時にやりましょ、ということでいいことにしておいた。テキストに書いてあるケーリー・ハミルトンの証明を解説して、それからちょっと脱線して、時間があったら今日勉強したことを話せば、明後日は大丈夫だろう。そうすれば残りは2回。何とでもなる。で他にもグダグダとやって9時過ぎまで。

駐車場に向かう途中で忘れ物をしたことに気付いたが、まあいいか、ということにして車に乗り、土曜日に松のやのトンカツの話が出て食べたくなったので、行くことにする。やっぱりトンカツは美味しいな。で国道一号を京都方面へ走らせる。大津駅の辺りで小生の車と同じナンバーの車が走っていた。書かないが、日本人があまり付けたがらない番号。同じ趣味の人がいるとはびっくりだ。

帰ってきて筆箱を開けたら USB メモリーが無い！またか。取りに行こうかどうしようか。忘れ物を一つしてるし、どうしよう、ともう一度筆箱を開けたら、USB メモリーあった！さっきのは何だったのか。まあいい。作業が出来る。明日は出掛ける用事が無いし、今日は夜更かしだな。呑むかどうかはこれから考える。

今日は結構あっちこっちで雨だったようで、米原市の伊吹地区で土砂崩れがあったとか。「こんなことは初めて。非常に怖い」との見出しだが、相当なことだったのだろうか？金曜日に見たら、今週は毎日雨の予報だったが、土曜日にふなごやで見たら水曜だけ降らないという予報に変わっていた。ふなごやは水曜日が休みで、店長はバイクに乗りに行くようなことを言ってた。降らないといいですね。