3戦連続1回表に相手に満塁のチャンスを与え、4失点、2失点、4失点はキツイ（3連敗しなかったのは不思議）

昨晩は店長もバイトに人も小生の顔を見るなり「同窓会ではなかったのですか？」と聞いてきた。昨日書いた通りのことを説明した。で小生に気を使ったか、店長のご友人が客として来た時に盛り上がれるよう、中高の卒業アルバムが店に置いてあり、それを3人で見ながら大盛り上がり。お二人は友達の写真を見て笑ったりしていたが、小生はそれは分からないが、当時の出来事が書いてあるのを見て盛り上がった。1988年～1994年の出来事だと小生が大学生から大学院生の頃だから、よく覚えている。目茶目茶盛り上がった。それと、今では考えられないが、当時のアルバムには全員の住所、電話番号が書いてある。車の運転が出来るように成ると行動範囲が一気に広がるが、それにより昔は分からなかった地名がどこだかというのが分かるようになる。でご学友と先生方がどこから通勤、通学してたのを見ると、結構遠方から通ってるのが分かって、ビックリした。BKC の近くから京都南部まで通っていたご学友がいらしたが、南草津駅の無い頃は通うの大変だったろうな。草津駅か瀬田駅までバスかそれともご両親による送迎で行っていたのだろうか？盛り上がった。でいつもの通りワインだが、いつも店長の好みで割と重ための赤ワインのことが多い（黒ワインとも言えるくらい色の濃いもの）が、昨日は軽めのワインを選んできたと呑んでみると、確かに軽くて、色も大分薄い。店長曰く「これを白ワイン並みにキンキンに冷やしたら、白ワインと間違える人はいるかも」とのこと。確かにこの前中田翔をはじめ3人の有名人が間違ってたからな。今度そういう企画をしてください。店長がワールドカップを見たいという理由からか、少し早目にお開きに成った。金を払ったシーンも覚えている。

呑んだ量が少ない証拠に、帰ってきてからパソコンを見て、有理点が求まってて、記録したのが記憶にある。10時間くらいで見付かっていた。でまた仕掛けて、現在続行中。一応酔ってはいたから、割と早目にダウンした。

暫く午前中に起きなくてよい、と数日前に書いたが、今日は午前中に起きてしまった。昨日の「THE 世代感」で渋谷のことがやると言っていたのを忘れて録画しなかったので、Tver で見て、それからカップ麺をすすって、などしてから、寝床でスマホをいじってたら寝落ちした。テレビを消してなかったので暫くしたら音で目が覚めた。何やら1960年代、1970年代、1980年代の夏の歌の特集をしていたが、この前関西では Tigers 戦の中継でやらなかった番組がやってるのだな、と分かって起きた。うーん、懐かしい。名曲揃いだな。1980年代の1位が井上陽水、玉置浩二の「夏の終わりのハーモニー」だったのはちょっと納得いかなかったが。1970年代の1位はサザンオールスターズのデビュー曲「勝手にシンドバッド」。成程、という感じ。面白かった。

番組が終わったのは4時50分過ぎで、相撲が始まっているのを思い出して急いで NHK 総合にチャンネルを変える。今日は関脇、大関が揃って勝って、いいぞ、と思ったら、横綱大の里が義ノ富士に負けた。大の里は不戦敗の1敗も含めて義ノ富士に勝ち無しの4連敗。素人目にも分かったが、引くという悪い癖が出た。舞の海が「琴風さんの言う独饅頭ですね」と言ってた、このフレーズは何度も聞いた。琴風さんの言う通りちょっと前までは大の里の天下だったのだから、自信を持ってやってくれないと。まあ2場所連続休場で勘が鈍っているのだろうとも仰せだったが。頑張っておくれ。

ですぐ野球。篠木はこの前よかったから、やってくれると信じたが、1回表に3四球で満塁にして満塁ホームランを打たれるという最悪のスタート。苦手 Giants 相手の3連戦で3日続けて1回表に満塁にしてしまうのはキツイ。しかも一昨日と今日は満塁ホームランを打たれてるし。一昨日は引っくり返して勝ったし、昨日も2度リードした。今日もやってくれる、と信じて応援していた。すると5回裏に佐野、勝又のタイムリーヒットで2点（勝又は23試合連続安打）、6回裏に松尾のタイムリーヒットで1点差としたが、そこまでだった。2回以降は点を取られなかったので、1回表が全てだったな。苦手の井上（Baystars 相手に8連勝、今シーズンも3勝されている）から3点取ったが、勝てないと苦手意識は払拭出来ないだろうに。vs. Giants 8連敗は止めたが、大きく負け越している状況は変わらない。どうにかしないと。明後日から広島で Carp 相手に2連戦。ゲーム差無しなので最低でも1勝1敗でいかないと。

ということで気分はよろしくない。今日は気持ちよく気持ちよく成りたかったが（謎）。まあいいです。明日で春学期のレギュラーの用事は終わるので。考え中のことを整理したりと、色々やれるようになるのは嬉しい。有意義に過ごそう。

同窓会の第2報が無く、出席出来ず

結局昨晩は呑んだ。深夜にコンビニに買いに行くのはちょっと気恥ずかしいが、まあいいです。で正月にやっていた大河ドラマの名場面集みたいなのを漸く見た。竹中直人が秀吉をやったのってもう30年も前なのね。泥だらけで、大声で喋る時は口から唾が飛んで、結構視聴者から文句があったようだが、面白かった。後に「軍師官兵衛」でもう一度秀吉役をやったが、その時は涙する場面で鼻水を垂らしていた。竹中直人ならではだな。面白かった。その後もう一本見て、CS 放送でやっている「プロ野球ニュース」を追っ掛け再生。Giants 相手の大逆転勝ちは痛快だった。見てすぐ消そうかと思ったが、残しておこうということにした。で結構な時間まで起きていた。

深夜に同級生に書いたメールに返事が来ていた。今日同窓会をやると書いてあったが、何故もっと早く第2報をくれなかったかね？まあいいけど。その分山科で呑むから。

であっと言う間に野球の時間。今日の Baystars の先発は藤浪。あまり期待しないで見ていたが、案の定大荒れのスタート。昨日も今日も1回表に無死満塁のピンチを作ってしまう。むぅ。昨日は満塁ホームランを打たれたが、藤浪は2失点でこらえた。するとすぐエンカーナシオンに来日初のホームランとなる3ランホームランが飛び出し逆転。が、すぐ追い付かれた。センターに入っている蝦名が薄暮のせいで打球を見失って出塁させたのが元。まあ仕方ない。その後浜地、マルセリーノがそれぞれ無死2塁、無死1、2塁のピンチを凌いだ。浜地は昨日支配下登録されたばかり。肘を手術して、ボルトが2本入ってるらしい。育成契約からよく這い上がった。でたった今勝ち越した。よしよし。このままうまくいけば、マルセリーノはプロ初勝利から2日続けて勝利投手に成れるが。さあどうなる？

などと書いてしばし。2死満塁3ボール2ストライクまで行ったが、代打・度会は見逃し三振。残念。さあ勝てよ。

などと書いてまたしばし。中川虎大が点を取られて、マルセリーノの勝ちは無くなった。のんきなことを言っていられる状況ではなく無死1、3塁。7イニング中5度先頭打者の出塁を許してると苦しい。虎が抑えてくれると信じる。頑張れ。

などと書いてまたまたしばし。セーフティースクイズを決められ勝ち越された。むぅ。2アウトには成った。で丸を抑えて、何とか1点リードされただけで済んだ。もう一度逆転してくれると信じるしかない。頑張れ。

金曜日の講義とゼミは今日で終了

11時くらいに起床。明日から暫く午前中起きなくていいのが嬉しい。不摂生しまくろう。と言っても、胃腸が丈夫じゃないので、酒は程々にするが。でパソコンを見ると有理点が求まっていた。パソコンを一旦リブート。嫌、勿論電源を暫く落としておいて、冷えておいてもらった方がいいのだが、やはり無理をさせてしまった。熱暴走しないことだけを願って、新しい有理点探しを始めさせて、11時半くらいに職場に向けて出発。

外で弁当を買って食して、で単位認定レポートの解答例（締め切り後にウェブにアップロードする予定）を考えて、何か変だと思ったら、素イデアルであることを示してないのが二つあった。素イデアルだが極大イデアルでないことを示せ、という問題なのだが。考え始めると、一つは容易。もう一つは何か難しそうだぞ、とかやってる内に1時を過ぎていた。

1時10分から「代数学I」。今日で最終回。まず局所化が局所環であることを示して、で Chinese remainder therom をやる。前にオイラーの定理をやった時に「3¹²¹ の下二桁は、オイラーの定理より 3⁴⁰≡1 (mod 100) だから容易。じゃあ 3⁶¹ は？」と話しておいたので、その解説も兼ねて。で可換環バージョンで示すために、イデアルの和とか積とか互いに素とか定義して、で定理を示して、Z バージョンへの翻訳を軽く。本当は時間をタップリ使いたかったが、予想外に時間が無かったので、翻訳は軽くで済ませた。で 3²⁰≡1 (mod 100) が何の計算もしないで従うことを言っておく。前に見せた時は 3¹⁰≡50－1 (mod 100) ということに気付けば後は暗算、とやったが、こんなことをしなくても φ(25)＝20 だけで済む。3である必要は勿論無いよ、とも言っておく。で大体時間に成った。疲れた。

ちょっと休憩してから M1 のゼミの春学期の最終回。今日はアイゼンシュタイン型の代数体のことを準備して、で応用として純三次体の整数基と判別式の決定。藤崎先生の本で2年続けてやってもらったが、大分違っていて面白い。藤崎先生の本では結構計算していたが、石田信先生の本だとそんなに計算がいらない。面白いな。その後部屋割り論法を使って、フェルマーの2平方和定理を示して、でミンコフスキーの数の幾何を使うといい評価が出来る不等式を部屋割り論法だけで示して、で総正な元の作る群が K^× の中で指数が 2^r₁ であることを示して、時間だし区切りも付いたので終了。まあ順調だな。一冊終わったら何をしてもらおう？まあまだこの後ディリクレの単数定理とかイデアル類群の有限性とか重たい話題が多いのだが。疲れた。

で久し振りに図書館へ。何をしたかというと、数理科学セミナーで使った本が有隣社から届く前に借りていたのと、石田信先生の本が行方不明だったので借りていたので、返却しに行った。日が暮れていたので、少しは暑さはマシに成っていた。

で部屋で解答作りの続きを少々と、いつもの通り紙をスキャンしたり。解答は大体出来た。まだ紙に書き散らかしただけなので、住処に戻ってから TeX 化することにした。もう9時を過ぎていたが、まだ暑いぞ。車に外気温が表示されるが、28度と出てうんざり。昼あれだけ厚けりゃそりゃ熱もこもるわ。

野球だが、ゼミが終わってちょっとして見たら2－4という状況でリードされてた。1回表にノーアウト満塁から満塁ホームランを打たれるという最悪のスタート。が、この展開は前に竹田祐が作ったことがある。その時は何と竹田が勝ち投手に成ったが、さてどうだろう？と思って帰る直前に見たら、引っくり返してる。6回裏にまとめて5点取っての逆転勝ち。今シーズンここまでよかった田中瑛斗が1死も取れず5失点（自責点4）だそうだ。映像を見てないのでよく分からないが、松本剛が打球を通り越してバンザイして頭の上を越されたらしい。見てたら大笑いだったな。1回表は満塁ホームランを打たれて打者10人攻撃をされたそうだが、満塁ホームランの後は失点しなかったようで、結局それが効いたかな。走者を貯めても点を取れないのは Baystars のお家芸だが、Giants が真似してくれて助かった。今日は Tigers が負けて Swallows が勝った（そりゃ Tigers と Swallows の直接対決だから）ので、首位 Tigers と 2位 Giants が1ゲーム差、3位 Swallows が0.5ゲーム差と、大混戦はまだ続いてる。漁夫の利で Baystars が上がっていけばいいが。借金は10で、3位 Swallows の貯金は僅かに3。まだまだ。

さて、後は月曜日にゼミがあるだけで、ほぼ用事が無い。表に出るのは月曜日と金曜日の試験監督だけ。呑もうか？いや、明日本格的に呑むからな。やめておこうかどうしようか。まあもうちょっと考える。

あ、随分前に高校1年の時の同窓会をやる、とメールが来てたな。その後続報が無いが。7月だと言ってたと思うが。メールが無いところを見ると、延期かな。後で確認してメールを書いておこう。

今シーズン初めての半袖シャツでの出勤

また変な時間まで起きていた。2時55分に講義室に着けばよいので、ついやってしまう。まあ今日で木曜日は最後だけど。で1時過ぎに起きてパソコンを見ると、有理点が見付かっていた。30時間くらい掛かった。また新しいのを仕掛けて、2時前に住処を出た。

職場に2時半前に着いて、生協で弁当を買って、脇のスペースで食す。で2時45分過ぎに講義室へ。隣の建物だから急ぐ必要は無い。今日で「数理科学セミナー」は14週目の春学期最終回。秋学期は別の先生がやるので、小生の顔を見て嫌な気分に成らないで済むので、ホッとしている学生はいるだろうと思う。今日は繰り返し2乗法の続きをやって、それからカーマイケル数がどうしたとかそういう話。その前にある底に対する擬素数が底を変えると素数でないことが分かる、という話が書いてないとおかしいと思って本を見ると、やはり書いてある。デカい数字が書いてあって訳分からずとばしたのだろうか？カーマイケル数の有難味が分からないと思うが。まあ最後だから言うけど、和訳がある。中国人の留学生の一人が和訳本を見て堂々とやっていたから、皆知ってるか？内容を正確に捉えられる自信が無いなら別に和訳見てもいいけどさ。で二人終わってまだ30分以上あったが、次の番の人が予習が十分じゃないからご勘弁願いたい旨言ってきたので、いいことにして終わりにする。14週間ご苦労様でした。ということで本と電子辞書と計算用紙を入れた袋を持ち歩くのは今日で終了。また来年度やるかもしれないから、分からなくならないような所に置いておこう。

でちょっと余裕があるので、気に成っていることをやるべくコンピューターを叩いて結果を TeX 化したりしてたらゼミの時間に成ってた。今日からイデールの章に入ったが、今日で春学期は最終回だから、何か中途半端な所で終わってしまうな、と思ってたら、今日は（三角不等式を満たすとは限らない）絶対値の話などで、まあここまでならな、という感じ。イデールの定義だけやって2ヶ月以上空くのはちょっと嫌だったから。で大分苦戦したようだ。三角不等式を満たす付値と同値だということの証明に手間取ったと言ってた。で素点を定義して、素点の全体と {素イデアル}∪{C への埋め込み} を同値類別したのが1対1に対応する話が書いてあって、で積公式の話。例が沢山出ててよかった。埋め込みを延長する話は具体例が無いと分かりづらいからね。実の埋め込みを虚の埋め込みに延長する例なんかも出てた。まあ分かり易くて良かった。実例を知ってると抽象論をやる時に手掛かりがあって助かる。まあ具体例が特殊過ぎるとそれを引きずって良くないこともあるが。で学生は物凄く早く終わったと思っていたようだが、もう7時くらいだった。タップリ2時間はやったのでいいです。ご苦労さんでした。

7時から打ち合わせがあることに成ってて、8時過ぎまでゼミだから出席出来ない、と昨日メールを書いたが、数分遅れで出席出来た。もう大分メーターが上がってて、皆さん大分ヒートアップしていた。数学の講義をちゃんとやることの大変さを分かってくれない人が多いという発言があったが、仰る通り。大学院生かポスドクの人にバイト感覚でやられせればよいのでは？くらいの勘違いをされているかもしれない、という意見があった。そうかも。非数学の人で数学の講義を全部担当するつもりだとしたら、それも危うい。もっと人を雇って、と言わないと。それと、BKC と OIC を何往復もさせる気？遠い人は彦根よ、という声も。まあ「無理！」と言えば、というのが大半の意見だったが、仕切ってるK先生は軟着陸させるのに大分苦労されていた。下手をしたら大喧嘩だからね。それこそ本当に先方はポスドクの人に講義でもやらせかねない。テストをマークシート形式にする、という暴挙を言ってくる可能性があるが、勉強の質が下がる、という恐れも。まあ何にしても大騒ぎだ。近日中に決着が付くようなことを言ってたが、怖いな。来年度は小生が矢面に立たないといけなくなる可能性がある。よく勉強しておかないと。8時過ぎに終了。

それからちょっと TeX 打ちをして印刷して、紙を処理するべくスキャンして、で部屋の隅から出てきた大量の紙を学生の部屋に計算用紙として使ってね、と置いてきたり。何だかんだと9時過ぎまで職場にいた。

最近東門から出る方法を覚えた。去年何かの用事で日曜日に職場に行った時に、正門方向へ向かって大量の車が走って渋滞していたので、東門から出てみよう、と試した。その時は曲がる所がよく分からなくて変なことに成ったが、この前ちょっと明るい時に走ったらちゃん「出口」の文字に矢印が書いてあって分かるように成ってた。かがやき通り方面に向かう時はこっちの方が近いし混まなくてよい。今日は昨日に続けてかがやき通りのすき家で晩飯にするつもりだったので、東門から出た。ですき家で予定通り「トリプル大蒜牛丼」を食べた。スタミナつくぞ。

職場でチラチラ野球を見てたが、先制されて追い付いて勝ち越してだったが、出る直前に見たら逆転されてた。中川虎大がホームランを打たれたようだ。まあいつも抑えるわけではないし、ホームランも打たれます。負けることもあります。ということで7月初敗戦。まあいいです。明日から Giants と。Tigers がうまいこと Giants に勝ち越して、ちょっとシュンとしてるかもしれないから、勝ち越しましょう。Swallows が外国人投手3人のリレーでノーヒットノーランをやったそうだ。途中スマホに Swallows のウォルターズが6回までノーヒットノーラン継続中の情報が入っていたが、代えてしまったのか、勿体ない。まあウォルターズは来日初勝利だそうで、まだ実績が十分でないから仕方ないな。継投でのノーヒットノーランは6度目だそうだが、外国人リレーだと初らしい。ふーん。その6回の内に日本シリーズでの Dragons の山井－岩瀬の完全試合リレーは入ってないんだろうな。アメリカでも継投のノーヒットノーランは時々あるようで、この前今永が先発の試合でやってた。まあ一人でやられても何人かでやられても、やられた方は屈辱だな。そのおかげで Carp が負けてくれたので、Baystars との順位がひっくり返らなくてよかった。

あ、そうそう、近畿は昨日梅雨明けした。今日は京都は35度、大津が33度とか早速とんでもないことを言ってたので、今シーズン初めて半袖シャツで出勤した。今日はゼミ形式の講義とゼミだけだったので、座ってればよかったので大したことないが、明日は書いて喋ってを95分やらないといけないので大変。明日も勿論半袖シャツで行く。今日のシャツはそうでもなかったが、引っ張り出してきた半袖シャツは皺くちゃだから、一度洗濯した方がいいな。また土曜日に呑みに出る前に仕掛けよう。まあその後は月曜日のゼミと金曜日の試験監督以外は職場に行かなくていいんだが、街中をあまりにみすぼらしい恰好で歩くのはよくない。T シャツ類も少しどうにかしておこう。夏本番だ。嫌なこった。

筒香の上昇に合わせてチームも浮上。7月負け無し（まだ借金は10あるけど）

今日も水曜日なのに出勤。学生にプレゼンさせる講義が2時55分からあって、4時から会議。会議に遅れる旨事務にメールを書いておいたので、まあ大丈夫。で先週と今日は小生のゼミの学生が喋る番。結構質問が出たり鋭い指摘があったりと、まあ盛り上がった。いや、小生が口を出し過ぎたか、という嫌いはあったが、まあいいでしょう。人前で、しかも非専門家の前で話すという経験は早目にしておいた方がいい。緩急の加減が段々分かってくるからね。早目に済んだので会議にちょっと遅刻で済む。個研室へ戻ってノートパソコンを持って、コアステーション2階の大会議室へ向かう。学科によって教務委員が一人だったり二人だったりするようだが、一人で全部やるのは大変よ。うちは他学科や他学部の講義やTAのことも世話をしないといけないし、二人制でないと持たんよ。今は教務委員2年目に時間割のことをやるようだが、前は1年目にやらされた。要領が分からないので大変だった。今年中に少し勉強しておきます。5時半過ぎに解放された。

部屋に戻ってちょっと気に成ってたことを計算して確かめたり、それを TeX 化したり。野球をチラチラ気にしながらやっていた。1点リードされてしまったので、嫌な気分に成ったので、新規購入の USB メモリーにスキャン出来るか試すべく紙の束を持って7階の事務室へ。案の定沢山スキャン出来た。何故か学生が群論の演習問題のコピーをくれて、それをスキャンしたり、大昔に志村五郎先生がうちに来た時に沢山学生向けの教材を作ってくださり、それのコピーをいただいたのでスキャンしたり、先輩がセミナーで喋った難しい話の資料をスキャンしたりと、結構な枚数に成ったが、余裕で出来た。で個研室に戻って pdf ファイルを結合させて、とかやって野球を見たら逆転してる。お！筒香が逆転ホームランを打ったようだ。よしよし。で計算の続きをやって、見たらもう9回だったが、1点取られてる。レイノルズがソロホームランを打たれたようだ。随分長いこと無失点だったが。怖いので作業をして、で見たら終わってた。勝った！7月負けなし。暫くしたら Tigers が Giants に勝って、再び2チーム首位で並んだ。Baystars はまだ借金が10もあるからでかい顔は出来ないが、ちょっとずつでいいので上がっていきましょう。1997年はオールスターの時は最下位だったと思うが、8月に大勝ちして首位 Swallows に迫ったのだった。上が潰しあってくれてるうちに上がっていきましょう。明日も Dragons 戦で、明後日から Giants と3連戦。やってやりましょう。

などとして9時半近くまで職場にいた。飯はすき家でいいや、と向かうと、大蒜の芽の牛丼があった。お！夏だね。でダブル大蒜牛丼を頼んだが、後で見たらトリプル大蒜牛丼もあった。明日はそれにしよう。

で帰ってきて「報道ステーション」のスポーツコーナーで情報を仕入れたが、筒香は7月に入ってから3割5分を超える打率を残して好調らしい。やはり筒香が打つといい結果が出る。明日も是非。大谷が MLB 300号ホームランとかサッカーの話題が勿論日本の野球より先にやる。アルゼンチンはまたしても際どい勝ちを拾ったようだ。メッシが胴上げされていたが、まだベスト8に勝ち上がっただけだぞ。9試合連続ゴールと逆転勝ちが嬉しいのは分かるが。所謂「ドーハの悲劇」の前の試合で日本代表が涙ぐんでたのを思い出した。もう行けた、と思ったとしたら油断だしな。最後まで締めていきましょう。こればっかりで申し訳ないが、一昨年の Carp は9月1日時点で首位だったのに9月に20敗して、最終的には4位で CS にすら行けてない。近鉄が日本シリーズで3連勝した後4連敗したとか、Tigers の中村勝広監督がロードに出る前に甲子園のファンに「大きなお土産を持って帰ってきます」と言った次の日から負けまくったとか、前例は沢山ある。まだまだ終わってないのです。

2、3メールを書かないといけない。面倒だ。まあ明日は2時55分までに職場に行けばいいので、ゆっくりやります。その間に有理点が見付かればいいが。昨日の夕方6時45分くらいからやってるが、まだ見付かってない。やはり2万を超えると時間が掛かるように成るな。まだ10個以上あるし、一番 canonical height のでかい奴は800を超えてる。まあ夏休み中に終わればいいかな。気長にやります。

石田裕太郎が1安打完封勝利と、ちょっと惜しかった

やはり3時間番組は見るのがキツイ。先週やった「ミラクル9」を途中まで見て、プロレスを見て、で「ミラクル9」の続き。最後のクイズが懐かしくて楽しかった。が、もう相当な時間に成ってた。呑みながらだったが、終わった後の記憶がちょっと無い。で知らん間にダウンしてた。テレビの電源は消したようだ。冷房と電気は点いてたが。

やはり記憶が無くなるほど呑んではいけないな。起きたらもう野球が始まっていた。まあ点取られてるよね、と思ってたが0－0という状態だった。が、凄いことが起こりそうになってきた。石田裕太郎がランナーを出さない。5回に四球で一人出塁させるまでヒットも四球もエラーも無かった。7回には四球で二人出塁させたが未だノーヒット。が、石田の日はあまり援護がない。3回に牧が10号ホームラン（プロ入り以来6年連続2桁ホームラン）、4回に石田裕太郎が内野ゴロを打って2点目。さあノーヒットノーランか？と思ったが、8回の先頭打者にヒットを打たれてしまい残念。しかしその後は三振とダブルプレーで無失点。で9回に漸く援護点。松尾、梶原、宮下の3連打で1点。石田が送って勝又がタイムリーヒット（18試合連続安打を最終打席に打つあたりは流石）。で9回は三者凡退に斬ってとり、被安打1の完封勝利。被安打1は勿体ないが、本人もそう甘いものとは思ってなかったというので、まあいいでしょう。中央大学の先輩の牧に打って欲しいと言ってたそうで、その通りに成ってよかった。牧は5回に好守も見せていた。まあよかった。石田は4勝8敗だが、14登板でクオリティースタート10、防御率2.69だからもっと勝っててもいい。これからは投げた試合全部勝つ、と言ってたが、それくらいの意気込みで是非お願いします。打線は篠木の時みたいに援護してな。まあ今日も10安打で5試合連続二桁安打だそうだ。これで4連勝。ここ3試合は篠木、深沢、石田裕太郎と若い投手で勝ってる。いいことだ。明日は東だ。勝たないと。

昨日の夜9時過ぎに仕掛けた有理点探しは今日の昼3時前に終わってた。それくらいなら我慢出来る。パラメーターが3万以下で実験したいが、漸く2万に突入した。勿論1万個全部試すわけではない。mod 24 で23と合同な素数なので、そんなに多くない。Magma calculator が見付けてくれたものもあるので、残りはもう少し。まあ何度も書いてるが急いでないので、ちまちまとやります。いや、やるのは小生でなくてコンピューターだが。

今日は6チャンネルでドラマが始まったため、「相席食堂」がちょっと遅く始まってる。西川忠志が出てるが、相変わらずテンションが高い（英語で「テンション」をこういう意味では使わないそうなので注意が必要）。58歳と言ってるから小生と同い年かと思って調べたら、昭和43年（1968年）4月20日生まれだそうだから1学年下だな。早生まれの人は分かるだろうが、昭和42年生まれと昭和43年生まれのどっちが同級生か分からなくなる。清原は昭和42年8月18日生まれの同期生だが、野茂は昭和43年8月31日生まれだから1学年下。何となく野茂が同期生と勘違いしてしまうが。小生と同い年の伊集院光が今年の正月に「来年還暦」と言ってて、ああそうか、と思った。来年高校の同期会を企画してるそうだが、そこでも「還暦を迎える年に集まりましょう」と書いてあった。小生は1月8日生まれなので、60歳に成るのは再来年。まあ年が明けて一週間で歳が変わるので、大した差ではないが。桑田真澄は同期だが4月1日生まれと、一番遅い生まれ。と書いててふと気に成った。年度が改まって初日に年齢が1増えるわけだが、定年退職が年度内の3月31日だったら、64歳の内に定年退職に成るのだろうか？それとももう一年余分に働かされるのだろうか？詳しい人がいたら教えて。もしくは4月1日生まれの人は教えて。

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

昨日書いた有理点探しだが、昨晩（今日だが）の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月前半だが。

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