帰ってきたらマンションの理事会がやっててビックリ

昨日書いた有理点探しだが、昨晩（今日だが）の4時前に終了した。30時間くらい掛かったな。で終わってすぐ気付いたので、寝る前にもう一つセットして寝た。ということで寝た時間は大体おわかりでしょう。

で12時半くらいまで寝たか。睡眠はまあ足りている。シャワーを浴びて、1時半前に出発。高速道路の入口の近くで1時半のアラームが鳴ったが、つかんな。もう少し手前の「四宮」の信号で停車したところで1時半に成ればよかったが。草津田上で出るまで止められない。鳴り続ける中運転し続けた。でまだ十分時間があるので、はま寿司で昼飯にしよう、と向かう。いつもの通り2000円強。限定の生鯖を二回頼んだ。美味しいからね。酢で締めたものはあまり好きではない。鯖は塩焼きが一番だな。

で2時40分くらいに職場着。この時間帯はウェストウィングの割と近くに停められることが多いが、今日は一杯。身障者用のスペースを除けば。他にも数か所あるし、いいでしょ、といういつもの身勝手な理論で停めた。

2時55分からゼミ。今日もヤコビ和をつついて有理点の個数を勘定する話。どうもこの手の議論は苦手だ。あまり真面目に聞いてなかった。黙って黒板に書いてる時間が長いので、どうも集中出来ない。で知らん間に平方剰余の節に入ってた。そろそろ本腰を入れて聞こう、と思ったら終わりだそうだ。記号を定義してちょっとやるだけで終わりにするなら、次回切りのいい所から始める、という方が気持ちよくていいと思うんだが。春学期中に平方剰余に入れたので、まあいいでしょう。証明が二つ出ている（じゃない方のルベーグによるものと、ガウスの第5証明をシュミットが簡略化し、さらにルソーが大幅に簡略化した証明）。それで次回終わると気持ちいいが、また中途半端に虚二次体の章に入っちゃうんだろうか？まあ基本ゼミは学生に任せてるんでね、文句は言わないよ。

その後部屋でちょっとごそごそやって、でキリが付いたところでちょっと紙の整理の為にスキャンしようとしたが、ここのところエラーメッセージが出て読み込んでくれない。7階の事務室の機械が悪いのかと思って、6階の目立たない所にコピー機が置いてあるので試すが、それでも駄目。USB メモリーがいかれたか？それとも大量のファイルが無秩序に入れてあるのがいけないのか？まあいいや、帰ったら近所のセブンイレブンで新しい USB メモリーを買おう。ということにして、7時ちょいに職場を後にした。

今日は雨だったからか、警告書は挟まってなかった。よかった。で「瀬田東－京都東 渋滞7km」の表示だったが、スイスイ進めた。で7時半くらいに住処に着いたが、マンションのロビーに多くの人の姿が。この前理事会がお流れに成ったが、代替日は今日だったか。知らんかった。マンションのポストを毎日見るという習慣が無いので、また案内文に気付かなかったのだろう。急いで車を車庫に入れて、途中から出席。まあ出ておいてよかった。勉強になる。皆さん熱心だ。そりゃ大枚はたいて手に入れた終の棲家だ。ちゃんとしないと。まあこういう人達が熱心にやってくれてるので、小生のような無関心な者には有難いし心強い。

部屋に荷物を置いて買い物に出ようとすると、理事会の2トップとマンションの会社の人が何やら話している。さっき話していた所をちゃんと見ておこうということらしい。小生の部屋から最短距離で表に出るためにいつもそこを通っているが、一度も気にしたことが無い。いけないな。他にも色々話しておられた。何度も言うが、こういう人達が二大巨頭でいてくれるとありがたい。職場の仕事と違って毎日誰かしらに重たい仕事が降ってくるわけではないので、多少無関心でも大丈夫だ。

でセブンイレブンに行って、USB メモリーと京都市指定のゴミ袋二種類とタコライスの弁当を買って帰ってきて、「Qさま！！」を途中から。今日は北関東縛りでやってた。埼玉は北関東なんだな。北関東って群馬、栃木、茨城だけだと思ってた。大学に入るまではこの3県の位置関係が覚えられなかったが、東京から茨城の取手とかに行く電車あって、それが常磐線、軽井沢に行くのに通過するのが群馬県、と知って覚えられた。正直東北もよく分かってなかったのだが、仙台行の新幹線に乗った時に盛岡を通過したので、岩手が宮城の右か、と分かって、山形新幹線に乗った時に秋田新幹線がもっと北で分岐していると知って覚えられた。九州も何度か言ったので、大体分かった。昔は鳥取と島根の場所も分からなかったが、これは毛利元就を大河ドラマで取り上げた時に覚えた。兵庫、岡山、広島の位置関係は覚えてて、で広島の毛利と島根の尼子が戦っていて、島根が広島の上か、と分かった次第。教室で勉強してるだけだと覚えられないよね。実地研修だったり余暇だったりで身に付くと思う。数学も楽しんでやりましょう。

寝る前に仕掛けた有理点は10時間くらいで見付かっていた。Canonical height が182くらいに成るだろうということだったので、まあ一日掛からないかな、と思ったら半日も掛からなかった。それが終わってるのを確認して記録してから、USB メモリーのバックアップ作業。新しく買ってきた奴はスキャナー専用に使うことにしたが、旧 USB メモリーがいかれつつあるという可能性は無きにしも非ずなので、用心に越したことはない。ということで外付けハードディスク（こっちはまだ新しい）にコピペ。ちょっと掛かった。どうでもいいファイルが沢山あったり、職場で拾ってきて保存したものを住処のパソコンに移してないままになってる論文のファイルやら何やらが大量にある。時間が出来たらこっちも少し整理しないと。何にしても小生の居る所は至る所蟻地獄だ。今日車の CD を変えようとしたら、CD のケースが見当たらなくてちょっと時間掛かった。残りの講義は水、木、金に一コマずつ、ゼミは木、金、来週の月で終了だ。少し余裕が出来るので探し物を探そう。まず本棚に本を戻さないと。見付からなくてもう1冊買う、という愚かしいことを何度かやってるので、見付けて後悔しよう。住処に藤崎先生の代数的整数論の本の上巻がある筈だが、見付からない。ということでこの前買ったが。職場も同様だったのだが、絶版だった頃に足立先生の蔵書から拡大コピーしたのがあったので大丈夫だった。でこの前見付かった。急いで本棚に仕舞った（関西では「直す」というらしい）。ちゃんとします。

この前書いた Tate－Shafarevich 群の話だが、LMFDB には位数が 75² というとんでもないのが出てた。前に書いた位数が 40² の奴だがこれは LMFDB には出てない。これは 72073 が合同数かどうか調べる時に出てきたもののようで、合同数と関連する楕円曲線 y²＝x³－n²x の導手はみるみるでかくなるので、こんな大きな導手の楕円曲線は LMFDB の守備範囲外のようだ。小生が今つついてるのも LMFDB に出てないものばかり。Benett 達が Mordell 方程式の整数解を沢山求めたものを表にしてくれてるが、これも小生のいじってるものは出てない。まあ皆さんは色々工夫してやられているが、小生は PARI/GP に任せてるだけなんで、格好いいことは言えない。夏休みいっぱいで片が付くといいけど、まあ待ってるだけなんで。外出するときは冷房の電源を切らない方がいいかもな。今年は酷暑日が何度もあるという恐ろしいことを言ってた。いよいよ8月は日の高い内は外出しなくなるな。職場の駐車場の利用券の更新しないよ。月に数回しか行かないのに5000円は勿体ない。一回毎だと300円だからね。ま、平和な8月に成ることを願うよ、ってまだ7月前半だが。

あ、ブラジル負けたね。日本に苦戦してるようでは往年のブラジルに比べると力が劣っていた、ということなのかな。知らんけど。

エンカーナシオンが4安打3打点、深沢は5回無失点でプロ初勝利

昨日の晩も楽しく呑んできた。何か草津の話題に成ったが、広島の路面電車に草津駅があり、その隣の駅が草津南だったことが結構ウケた。小生は俄かだからもう殆どサッカーを見てないが、店長はサッカー部出身なので日本が負けた後もちゃんと見ていて、結構寝不足だと言ってた。カボベルデは健闘空しく敗れ去ったが、アルゼンチン相手にいい試合をしたらしい。知らん国で、滋賀県くらいの広さしかないそうだが、凄い国があるもんだ。

で帰ってきてすぐダウンしたようだ。いつもの通り「ようだ」というのが相変わらずだが。起きたらペットボトルの水が1/3くらい残っていた。水を買う時に食料を買い込んだのを思い出した。でまた深夜に女性の店員が一人で店にいたので、いいの？とまた聞いてしまった。先週の人は割と大柄な人だったが、昨日の人は小さくてか細い感じで、何かあっても抵抗できなさそうでつい聞いてしまった。

で起きてカップ麺をすすって、であっと言う間に6時ということで野球観戦。今日はプロ野球ニュース放送開始50年の記念ということで、野村弘樹（本名野村弘）が投げて大矢明彦が捕手、真中満が打者と、豪華な始球式だった。今日はエンカーナシオンが大暴れ。今までシングルヒットばかりだったようだが、1回表に先制のタイムリー2ベースヒット。3回もタイムリーヒットで、何やかと5－0に成った。深沢鳳介が5回無失点と、プロ初勝利の権利を持って交代。が、2番手ルイーズが制球難で2四球とヒットで無死満塁にされ、サンタナに満塁ホームランを打たれて1点差にされてしまう。むぅ。Swallows には開幕3連戦3タテを食らい、その後確か8連敗まで伸ばしてしまったが、今回は3タテのチャンス。が、相性なのか Swallows はしぶとい。1点差で9回表に成り、好調勝又が3安打目を打つも、牧が併殺打。むぅ。しかし佐野がヒットの後エンカーナシオンがタイムリー2ベースヒット（4安打目）でダメ押し。9回の抑えにはレイノルズ。不調の康晃が抹消されたので。先頭打者を三球三振に打ち取った時に一瞬康晃の時の悪夢が蘇る。四球と内野安打で1死1、2塁に成り、いよいよ嫌な感じに成ってきたが、レイノルズは流石だった。内山と塩見を打ち取り、無事3連勝。Carp が Tigers に負けてくれたので、4位に浮上した。まあよかった。3タテなんていつ以来だろうか？と思って調べたら、4月17日から19日の Carp 3連戦以来らしい。まあよかった。まだ借金は12もあるけど。神宮での試合だったのでヒーローインタビューはプロ初勝利の深沢一人だったが、横浜スタジアムでの試合だったらエンカーナシオンも呼ばれたろうな。まあいいです。火曜日からは横浜スタジアムで Dragons と3連戦。最低限勝ち越しましょう。その後は横浜スタジアムで Giants と3連戦。Giants 相手に負け越しているので、やり返さないと。Tigers には勝ち越しているので申し訳ない。やり返してやりましょう。

有理点探しは昨日の19時6分開始のものがまだ終わってない。Canonical height が大きいと予想されるので、時間は掛かるだろう。まあ急いでないので待ちます。

大悟の演技はなかなか良かった

深夜に映画の情報を調べたら、上映開始が15時50分と遅いので、チケットをオンラインで購入した。でいつもより早く（と言っても普通の人の感覚では無茶苦茶遅い時間だが）に寝て備える。で起きたら昼の1時を回っていた。まあまだ間に合うので問題無し。シャワー浴びて出発。

映画館はいつものTOHOシネマズ二条。1階のたかばしでラーメンを食べて備える。見る映画は「箱の中の羊」。大悟の演技が見たいので来た。うん、いい演技する。普段「相席食堂」や「テレビ千鳥」で見せる大悟からは想像出来ないくらいの演技だった。映画の詳細は書かないが、どうなるだろうと思っていたが、終盤は変な展開だった。まあ総じて面白かったのでいいです。「Michael/マイケル」と「免許返納！？」も見たいので、近い内にもう2回足を運ぶ予定。

二条駅にパンの自動販売機があって、毎回行くと買って食べてる。立ち食いはみっともないが、まあ旅の恥は搔き捨てということで。でホームに着くと丁度びわ湖浜大津行が出たところ。六地蔵行で帰るのは久し振りな気がする。200円得した。三条通にある銀行に寄る用事があったので、地下鉄の駅の方が三条通に近くて有難い。で振り込みをして御金を卸して、取り敢えず後顧の憂いは無くなった。

住処に帰り着いてパソコンを見ると、有理点が見付かっていた。16時間くらい掛かった。記録して早速次のを見付けるべく取り掛かる。見付かった奴は canonical height が 300 くらいで、今度見付けようとしているのは BSD 予想を仮定しての予想だと canonical height は 500 くらい。数日掛かるかな。

野球を途中から見ているが、2－1とリードしている状況。そこから3点取って、更に筒香に3ランホームランが出て只今8－1。今日勝つと約1か月ぶりの連勝とか。うーん、そんなに負けていたか。カード勝ち越しも滅茶苦茶久し振りだぞ。篠木の内容は今日はいいようだし、いけるかな。今さっき7回裏が終わった。呑みに行く前に勝ちゲームで終わってくれるといいけど。最近夜遅くに来る客が減ったらしいので、客がいないと9時半に閉められてしまう。ヒーローインタビュー込みであと45分くらいで終わってくれると嬉しいけど。

などと書いて35分ほど。更に追加点で12－1で快勝。篠木がプロ初完投勝利で、13カード振りの勝ち越し。いやー、いい酒に成りそうだ。

6月24日以来の勝ち星

今朝は11時半くらいに漸く起きられた。ちょっとボーっとしてから出勤。職場に着いたのは12時半くらいだったが、もう外で売ってる弁当は残り少なかった。買えるか？と危惧したが何とか買えた。で個研室で食べてまたしてもしばしボーっとして、講義に向かう。

今日の「代数学I」も出席者は少ない。誰も聞いてないかもと思ったが、まあいいやと始める。体を動かして声を出すと調子が良くなるんで、健康のためと思って話し始める。今日は商体の存在と一意性をやって、有理関数体の定義。高校までは多項式と多項式で定義される関数をほぼ区別しないので、多項式÷多項式って定義されたのは今回が初めてだろう。4回生には何年も山崎隆雄さんの初等整数論の本を読んでもらってるが、そこで多項式の平方根が出てくる。多項式と多項式関数を区別してない頭では何の困難も無いだろうが、純粋に式と思って平方根を取る、というのは意味分からないと思うが。意味論関係無く定義出来てしまうのが抽象代数を用いてるがゆえ。小学生に分数を教えるのは小生には出来ない。3/4 で割るには 4/3 を掛ければいい、というのを教えるのは大変。商体を教える時は「演算の定義」で済ませてしまうのでいいけど。でそれから分母を制限した商環（S^{－1}R と書く奴）をやって、局所化とか局所環とか話してたら時間に成った。来週は局所化が局所環であることを証明して、で Chinese remainder theorem の話が一通り出来るだろう。さああと1回だ。

休憩を挟んでゼミ。今日は分岐群の話を一通り済ませてから、フロベニウス置換の性質を用いて2次体での素イデアル分解、円分体での素イデアル分解をやって、それを使って平方剰余の相互法則を証明して、と、割と重たい内容だった。まあちゃんとやってきてる。一箇所引っ掛かったが、ちょっと考え過ぎたようだ。で6時ちょい前に終了。こちらも春学期は残り1回。

その後部屋で講義ノートのミスを直して、演習問題が上げられるか確認（来週やる分があったので、無理と判断）して、伝票を財務に送る作業などをしてから、ゼミでちょっと気に成ったことを済ませて、で幾つかスキャンしたい紙があったが、うまくいかなかった。何故だろうか？よく分からない。今度もう一回トライすることにして、今日はそっちはやめておいた。途中野球を何度か見たが、1点先制されるもソロホームラン2本で引っくり返していた。また少し経ってから見たら、中川虎大が投げていて、ノーアウト1、3塁の大ピンチ。怖くて見ていられないので、他のことをやっていて、暫くして恐々見た。どうせ大量点を取られて引っくり返されてるんだろう、と思ったが、見ると同点。あの場面を1点で抑えたか。よしよし。9時ちょいに職場を後にした。

晩飯はすき家でいいや、ということにして、正門前の信号を右折して、でいつもの通り若草の交差点で引っ掛かる。野球の経過を見ようかどうしようか、と思ったが、歩車分離式の交差点で、車は縦方向と横方向（どっちが縦か知らないが）の車の信号は当然別なので、若草の交差点は待ち時間が長いのだ。すると1点勝ち越してる。お、と思って詳細を見ると、なんと更に2点追加してる。おぉ。でビビンパ牛丼を食べてから駐車場で野球の続きを見ると、7－ 2に成ってる。エンカーナシオンの内野安打と長岡の悪送球で2点、更に宮崎がタイムリーヒット。延長戦は大量点が入ることが多い。流石に勝つさ、と思って暫くして見た（勿論赤信号で止まってる最中）ら勝ってた。やはり勝つと嬉しいね。火曜日も昨日も勝つ筈の試合だった。今日も引き分けか負けだったらどうしようかと思ったが、よかった。他の試合はどうかと思って見ると、セ・リーグの上位3チームは揃って負けた。Giants は0－1で負け、Tigers は Carp をお得意様にしている大竹が5失点KO。ということで上位3チームは変わらず0.5ゲーム差。明日は Tigers 勝ち、Swallows、Baystars が負け（⇔ Baystars、Dragons が勝ち）が望ましい。野球の話で楽しく呑めるといいのでね。

で帰ってきてパソコンを見たら、まだ有理点探しは続いていた。で「探偵！ナイトスクープ」が始まってちょっとして見たら見付かってた。ほぼ24時間。まあまだ早い方だ。2週間待ったことがあるからね。

さて明日の昼はどうしよう？野球はナイターだしな。録画したまま見てない3時間物が二つあるので、夜更かし（朝早し？）して見るか、それとも映画に行くか。まあ今後の気分次第だな。来週の火曜日は教授会は無い筈だから、そこで見に行ってもいい。水曜日は昼から会議があって、その後講義だし行けない。まあいいや、もうちょっと経ってから決める。

類体を定義出来た

深夜にゴミ出しに出たら凄い雨降りだった。で木曜日は早起きしなくてよいので、いつものパターンで「おはよう朝日です」が始まってしまった。案の定関西は結構な雨降りで、滋賀では大津が大雨だ草津が大雨だと言ってる。今日は職場行けるの？と思ったが、昼頃には上がると言ってる。まあ大丈夫かな、ということで訳の分からない時間に寝た。

1時過ぎに起きて、はま寿司で食事をしてから職場、というよくあるパターンで行くべく出発。青空が見えてる。が、寿司を食べ終わってから表に出ると空の色が嫌な感じ。で職場に向かってる途中で降り出し、着いたら相当な降りに成ってる。俄雨があると言ってたな。午後の降水確率も高かった。学内は傘を持ってない人々が右往左往したり、建物の出口付近で雨が上がるのを待ってたり。車に傘を置いてあるので、小生は大丈夫だった。

今日の「数理科学セミナー」は偶数の完全数とメルセンヌ素数の話から。テキストに「a｜bc, (a,b)＝1 ⇒ a｜c」（飯高茂先生命名の「合コンの定理」）が定理として出ていないので、同じことを何度も繰り返してる。「p が素数で p｜ab ⇒ p｜a または p｜b」はやってて、でその1回か2回後に「合コンの定理」の主張は教えた筈だが。教えてなくても「合コンの定理」の証明を何度も繰り返してて、留学生相手だから穏便に行きたかったが、ちょっと声を荒らげてしまった。不満だったのはもう一つあって、写像が単射なのを示すのに「a≠b ⇒ f(a)≠f(b)」を示そうとしたり、挙句にそこに背理法を持ち込もうとする謎なことをした。彼は小生の代数の講義には出てると思ったが。小生の講義は何でも書いて何でも示すから、真似してくれればいいんだが。まあいいです。で選手交代して、冪乗を計算するのに繰り返し2乗法でやる話を始めたが、途中で時間に成った。次回が最終回。あまり面白い所に行かなかったな。平方剰余まで半期でやるのはやはり無理。セミナー系の科目を1年続けてやるのはしんどいので助教の先生と半期ずつやることにしてるが、彼は何の本を読ませるのですかね。まあ知らんのでいいです。

休憩を挟んでゼミ。今日は類体を定義したり所謂「第一不等式」（「第二不等式」に改称されてる、と出てたが、そうなの？）を示したり。解析的な議論をごちゃごちゃやると群指数と拡大次数の間の不等式が出る、というのは不思議。そこをどうにかしたいとイデールだ類構造（class formation）だと始まったが、何もかも解析も嫌だが、何でもイデールだ位相群だというのもちょっと嫌。バランスをとって証明をしてくれると嬉しい。で最後に存在定理、終結定理、同型定理の紹介がしてあった。素イデアルがどう分解するかということは書いてなかったが、アルティン相互律を挙げるのが無理で諦めたのだろうか？ちょっと面白くなってきたが、こちらも来週最終回。まあ勿論秋学期もあるわけで、修論も書いてもらわないといけないから、色々大変だ。8時前に終了。

先週の反省もあって、少し講義ノートに目を通しておくことにした。見てみると色々不満が出てくる。まあ同値関係であることの確認とか well-defined だとか単射であることだとか全射であることだとかそんなんばっかりだから、適当に端折ろう。全射であることは難しいから証明したろうか？と思ったが、単射であることの証明が怪しい学生がいるようだから、単射であることも一回示すか。などと考えてやってるうちに10時近かった。

チラッと野球を見たが、ゼミ直後に見たら 3－1 でリード、という状態だった。また暫くして見たら点差は変わらずで、9回に康晃が登板。一昨日あんなだったから今日はしゃんとしてもらわないと。と思って帰る直前に見たら同点にされてる。シーズンの序盤の康晃はよかったが。「バッターと勝負する感じが戻ってきた」というようなことを言ってたが。ここのところガタガタ。防御率5点台のリリーフエースはもう駄目でしょ、という感じだ。今日は先頭から2者四球で交代させられたらしい。後を任された宮城は可哀そうだな。悪口は書きたくないが、一回ファームで調整した方がいいのでは？と思うが。そうしないと250セーブ達成は無理だぞ。もう帰るつもりでいたので、決着は見ないで引き揚げてきた。

晩飯は住処でカップ焼きそばでいいや、ということにして、高速道路を走って帰ってきた。途中60km/hを割り込むくらいのスピードで走ってる小さい車がいて、前方を見ると別に混んでるわけでもないようだから、珍しく追い越し車線に出て抜かせてもらった。高速道路慣れてないんだろうか？交通量が少ないからいいが、昼にあんな運転したら大変だ。早目に慣れておいてください。小生の通ってた教習所は高速道路教習があったし、友人に福井まで走らされたことがあったから、すぐ慣れた。高速道路に限らず、流れに乗るのが大事よね。頑張ってくだされ。

帰ってきてパソコンを見ると、有理点が見付かっていた。Canonical height が600くらいの点というのは流石にゴツイ。丸24時間くらい掛かったが、前は height がもう少し小さい点で2週間掛かったことがあったが、どうなるかは何とも言えないのだろう。予測出来ないから研究は面白いのだ。試験問題や演習問題のように一定時間内にそれなりに答が出て、それなりの得点分布にさせたいのと研究で扱ってる問題は訳が違うのです。だから成績がよかった＝研究者として成功する、という等式は成り立たない。まあ小生がうまくいってるとかいってないとかいう話をすると口が曲がるのでやめておこう。大した事やってないから2日で reject とかなるわけだからね。ま、地味にやります。で有理点を記録とかしてたら「報道ステーション」で野球の話題が始まった。Tigers も同点だったが、負けたようだ。うむ、また Giants が単独首位に成ってしまったか。嫌なこったが。Baystars の試合はまだやってる、と言ってたので、ケーブルテレビのチューナーの電源をいれて TBS チャンネル2に切り替える。筒香がフェンス直撃の当たりを打って1塁に辿り着いたあたりから見始めたが、もう少しでサヨナラホームランだった。残念。結局その後どちらもチャンスを作るも点が入らず。12回表に走者1塁で長打を打たれて、解説の三嶋一輝氏が「あ、これやばいですよ」と言ったが、幸い3塁でストップしてくれた。Carp も思い切りが悪い。だからどちらも低迷してるんだろうが。で12回裏はランナーを2塁に進めるも柴田、戸柱と、言い方は悪いが「残りかす」の打者では点が入るわけは無く引き分け。これで10カード連続負け越し。まあ今日は牧が2打席連続ホームラン、新外国人のエンカーナシオン（難しい名前）がヒットを打ったりと、光明はあった。足から神宮で好調 Swallows との3連戦。最低限勝ち越さないと。Tigers が Carp を叩いてくれて、順位を上げる方向に行くといいが。Dragons は今日 Tigers に勝って調子がいいようだから、Giants を叩いてもらいましょう。

今日の野球のニュースは Fighters が初回先頭打者から4人連続ホームランの史上初の離れ業をやってのけたことだろう。水谷、水野、レイエス、万波。その後吉田もホームランを打って、1試合5ホームラン。Fighters 低迷してるな、と思ったら貯金が12もあるじゃないか。12も貯金があるのに3位。パ・リーグは凄い。で順位表を見て更にビックリ。Braves が5位。ちょっと前まで首位だったのでは？それでも貯金が2ある。セ・リーグが交流戦でいいように鴨にされた結果だな。Eagles が借金18もあるので全チーム貯金、ということには成らないだろうが。少し前に交流戦が明けて数試合したらセ・リーグ全部借金持ちという珍事があった。セ・リーグ関係者は交流戦怖かろう。パ・リーグは落語のような意味で「交流戦怖い」だろうが。どうにかしましょう。日本シリーズはセ・リーグが頑張って欲しい。但し Giants が日本シリーズに出たら別。パ・リーグを目茶目茶応援するよ。

甲子園での野球が中止で、急遽「ミラクル9」を放送することに成ったようで、急いで帰宅して録画予約のセット

春学期の水曜日は担当講義もゼミも無い、とは言えなかった。14週間の内の2回だけ担当するものがあって、今日と来週が出番。2時55分からだが、その前に OIC と結んでのオンライン会議があったので、10時半とか11時とかに何度もアラームが鳴るように仕掛けておいて、でちゃんと11時くらいには起きられた。シャワーを浴びて出勤。職場に着いたのは学生が昼休憩に入る前だったので、弁当を楽々買えて、で個研室で食してから会議。28年度に行われることの関係で、小生は来年度も教務委員なので、ちゃんと聞いておく。発言はしなかったが。ちゃんと後で文書にしたものを送ってくれるそうなので保存しておかないと。この前の分も来てる筈だな。後で探しておこう。1時間の予定だったが、当然もっと掛かった。まあ講義には間に合うが。

2時55分からの講義は「科学技術表現」とかいう変な名前の院生向けの科目で、前は数学はすっとぼけてやってなく、基礎理工学専攻の物理は開講してるからいいでしょ、ということだったのだが、ばれてしまって始めた科目。M2 にプレゼンの練習でもさせましょ、とタイトルと違う内容の科目だが、まあいいのではないかと。学生は自分の担当は1回だけだし、他はボーっとしてれば単位がもらえるので。で今日と来週は小生のゼミの学生がやる番だったというわけ。書類上は3人学生を持ってることに成ってるが、一人はうっかり裏番組のTAをやることにしてしまったので、2人。2人共今日やったら来週はどうしようかと思っていたが、幸い今日は1人だけやるそうで、まあよかった。代数的整数論の話をされてもチンプンカンプンな学生が大多数だろうと思うが、案の定殆ど質問は無かった。整域、商体、イデアル、素イデアル、さあ何人の学生がこれら用語を勉強したでしょうか？小生の講義は殆ど出席者がいないからね。それで単位を出していいの？というのが実情だが、まあ仕方ない。今年度からちょっと厳しくすることにした。出席者が両手とちょっとくらいしかいないのに沢山単位を出すのが癪に成ったということですわ。ということで今日は終了。

部屋でちょっと作業をするつもりだったのだが、野球の頁を見たら今日の甲子園での試合は中止らしい。で ABC の頁を見たら、7時からの「ミラクル9」の3時間スペシャルが野球が無いということで放送すると成っていた。録画予約してないし、そもそもハードディスクに3時間物を録れる余裕は無い筈。ということで飛んで帰ってきて、「歴史探偵」を2回分ダビングしながら、一つ2時間物を見て、で何とか録画出来るようになった。「歴史探偵」はちょっと高画質で録画してあったので、45分物を二つ消して、最低画質で録ってあった2時間物を消したので余裕が出来たというわけ。明日の「ゴチバトル」を録画する余裕も出来た。「英雄たちの選択」の荒木村重の回もダビングすれば、日曜日の大河ドラマは録画出来るな。アンコール放送の「八重の桜」は Blu-ray ディスクに直録りをするので、暫く大丈夫だな。で「ミラクル9」を追っ掛け再生で見ようかと思ったが、「歴史探偵」のダビングした奴はまだ見てないので、そっちを見た。それから NHK でニュース。Baystars の試合が無い日は精神が穏やかに成ってよい。他の野球の結果でちょっと不機嫌ではあるが。

有理点は着々と見付かっている。寝る前に仕掛けたのは14時間半掛かった。帰ってきた時には見付かっててくれて嬉しい。で早速次のをやってるが、只今6時間強経ってるが、まだ結果は出てない。まあパラメーターが大きく成れば成るほど時間は掛かるように成る（一概にはそうは言えないが）し、今やってるのは BSD 予想を仮定すると canonical height は約 600 と、とんでもない時間が掛かることは覚悟してる。まだまだ残ってるのは沢山あるけど、別に急いでるわけではないので。今回の資格審査は問題無く通るくらいの業績はここ数年ちゃんと上げたし、次の審査（最後である）までは5年あるので、ゆっくりやるす。

日本サッカーも Baystars も追加点を取れないのが響いて敗戦

予定通りサッカー観戦した。地上波では8チャンネルでやるが、この前 NHK を見てたら本田圭佑が目茶目茶盛り上げていたので、NHK でもやるのだろう、と思って番組表を見たら、何と総合ではウィンブルドンテニスをやる。BS は？と思って見たら、やってくれる。本田圭佑の解説が面白いそうなので、8チャンネルではなくそっちを見ることにした。確かに面白い。選手の名前を「さん」付けで呼ぶのが彼の流儀なのだろうか？で前半に先制した時はもう凄かった。日本のコンパクトな守備にブラジルが嫌がっている、との仰せだった。が、後半に成るとブラジルが猛攻。凌ぐのが精一杯で、あっちこっちからボールが日本ゴール前に迫ってくる。すると耐え切れず失点し、延長戦突入かというアディショナルタイムに決勝点を奪われてしまった。むぅ、残念。まあ延長に成っても30分耐え切れなかったろうな。残念だがまだブラジルとの差は大きい、という感じだ。小生素人なのでよく分からんが。疲れた。

大分呑んでたので、何時に寝たかよく分からんが、テレビも電気も冷房も付けっ放しだった。いけないな。今日の京都は32度だか33度まで行ったそうだから、冷房無しだったらすぐ起きてたかもな。教授会には間に合った。会議資料は凄いページ数だが、まあいつものこと。見てる人はどれくらいいるでしょうか？自分の学科の分くらいは目を通した方がいいのだとは思うが。教務委員としては見ておかないといけないのだが。教務委員は2年任期だから来年度もやるので、勉強しておかないと。5時40分くらいには終了した。

今日の野球は新潟で。最近6時15分プレーボールという謎なことをやっていたが、やはり6時開始の方が分かり易くてよい。2回裏に宮下の内野安打で先制後、牧にも2点タイムリーが飛び出し幸先よく先制。牧は長野の生まれで、ご両親が新潟まで車を飛ばして観戦に来ていたそうで、いい所を見せられてよかったですな。しかしその後点が取れず、2点返されて9回。康晃が先頭打者を三球三振で打ち取ったので、あっさり勝てるか、と思ったら、次打者がヒット。その後は康晃の独り相撲で、死球、四球、四球で同点にされてしまう。伊勢に代わったが、2点タイムリーヒットを2本打たれて、ビッグイニングにされてしまった。伊勢は可哀そうだったな。投げる準備はしてたろうが、心の方の準備が出来てなかったかも。9回裏は Carp の守備のミス（記録は3塁打）の後内野ゴロで1点返したが、そんな点の取り方をしても大量点にはならずゲームセット。新潟では暫く勝ってないらしい。サッカーも野球もそうだったが、先制点を取って守りに入るのではなく、追加点を取っておかないといけなかったね。まあ仕方ない。明日は試合が無く、木曜日は横浜スタジアム。8カードだか連続負け越しらしいので、木曜日は何とか勝って変な記録は止めないと。何でも Dragons の自力優勝が消滅したとか。6月やぞ。Baystars も危ないな。借金が膨れ続けてる。明後日は勝たないと。

有理点探しだが、サッカーの開始直後に一つ見付かった。今時のサッカーは試合中に給水タイムがあるようで、その間に記録して、パソコンを再起動してから次の点探しを始めた。まだまだ沢山見付けないといけないので、コンピューターに頑張ってもらってる。只今10時間くらい経過。勿論手を拱いている訳ではなく、待ってる間に色々やってはいるが。でさっき昔書いた論文に一箇所ミスがあることに気付いてしまった。例に挙げたものの符号が逆に成ってる。まあ正しい方にも整数解が無かったので問題無かったが。ミスのない物を書くのは大変だ。本や論文にミスがあるとつい文句を言いたくなるが、まあ寛容にしましょう。読む側にはいい修行の機会が与えられたということです。そう思わないとね。

今「報道ステーション」を見てるが、サッカーは色々荒れてるようだ。ドイツとオランダが予選リーグ初戦敗退らしい。が、一番荒れてるのは韓国。比較的楽な組だと言われてた予選リーグを勝ち上がれず敗退。空港での映像が流れていたが、ホン・ミョンボ監督に怒声、罵声が飛んでた。韓国は何でも激しい。サッカー協会に国が特別監査をすると訳の分からないことを言ってた。韓国は野球もサッカーも弱くなったね。日本では同じようなことには成らないかと思ったが、城がガム嚙んでて目茶目茶言われたし、野球では弱い当時のダイエーホークスの王監督に生卵が投げつけられてたり、「王 頼むからやめてくれ」という横断幕が出たりしてたな。Giants が最下位に成った年はどんな感じだったろうか？まだ子供だったので当時の記憶は無いので、もう一度最下位に成ってください。まあ今年は無理そうだが。