「エラー」の1話目を漸く見た

結構な時間まで起きていた。風が強いのが部屋の中でも分かる。缶・瓶・ペットボトルゴミの日だが、表に出ない方がよかろうということで1週間我慢することにした。起きる頃には台風は去った後の筈。

ということで昼過ぎまで寝ていたが、案の定天候は回復していた。停電は無かったようで、有理点探しは引き続きやってくれていた。さて食事をどうしようか？カップ麺の類は結構買ってあるが、やはりちゃんとしたものを食べたい、ということで Uber Eats で王将の頁を見ると、この前無かったニンニク劇増し餃子がある。ということで炒飯と一緒に頼む。王将がミスするのか配達の人がミスするのか知らんが、時々餃子のタレが入ってないことがある。運良くこの前二つ入っていたのでよかったが。でその後この前最終回だったドラマ「エラー」の1話目を漸く見た。日曜日10時15分からのドラマ枠は ABC でしょっちゅうダイジェストをやってるので、見なくてもどんな話か大体分かっているが、やはりちゃんと見ないといけないな。もう1話見ようかと思ったが、何か眠いな、ということで寝床に入ってしまった。今日は学科会議は無いのでよかった。来週はやると案内が来ていたが、対面だろうか？オンラインだろうか？オンラインでやって欲しいが。この前書いた通り住処のパソコンにはマイクが無いようだが、アマゾンで買ったのが届いている筈。後でポストを見に行こう。

であっと言う間に6時。横浜の天気はもう回復していたようで、定時に野球開始。今日も Eagles 戦。今日はどっちも中々点が入らない。4回表に Eagles が走者1塁の場面でセンターの頭を越えるヒットを打ったが、蝦名、三森、戸柱と完璧な中継プレーを見せて、点を防いだ。解説の今江氏は Baystars に流れが来るようなことを言っていたが、今日の Baystars 打線は全然ダメ。3回まで1四球のランナーのみ。4回裏に佐野、宮崎のヒットでノーアウト1、2塁のチャンスを作るが、筒香、度会、三森が凡退で無得点。でなんじゃかんじゃと9回表。まだ0－0。先頭の村林が内野安打で出塁。村林の名前は一輝だが、「いつき」と読ませるそうだ。知らんかった。1死後センターの頭上を越える当たりを打たれ、今度は刺せなかった。先制されてしまった。ランナーが3塁にいるので、警戒してはずそうとしたら、何と康晃が暴投して2点目を取られてしまった。むぅ。9回裏は2アウトをあっさり取られ、筒香が内野安打で出塁も、ここのところ当たりの止まってる度会が凡退してゲームセット。3安打2四球無得点と、見せ場は全く無かった。交流戦は3カード目だが、これで全部2連敗スタート。先週の2カードは2連敗後1勝して3連敗は何とか逃れてるので、明日は東で勝ちましょう。期待。

Eagles に伊藤光が FA 移籍したのは昨日書いたが、太田光をファンを応援してるのを聞くと「ひかる！ひかる！」と言ってる。伊藤光はどう応援するんだろう？と聞いてたら伊藤光が代打で出てきて、声援はやはり「ひかる！ひかる！」だった。二人とも捕手だから同時に出ることは無いし、そもそも打席に同時に立つことはあり得ないから大丈夫なのだろう。そう言えば、伊藤裕季也も Baystars から Eagles に移籍してるな。裕季也の応援はどんなのだろう？今一軍にいないようだから聞けないな。裕季也はエスコンフィールド第1号ホームランを打ってるが、Baystars 時代も含めて2023年の87試合出場で46安打が最高と大したことない。頑張ってもらわないと。

今日は6月3日だ。爺様の誕生日だったのを思い出した。が、ニュースを見ていつもその後に雲仙普賢岳の大火砕流のあった日、というニュースを聞いて、ああ、そう言えばそうだな、と思い出す。でどうでもいいが長嶋茂雄の命日だそうだ。戸郷が気合を入れて先発したのに、11球目を打者の頭にぶつけて危険球退場、という途中経過を見て笑っていたが、結果を見たら Giants 勝ってた。丸が満塁ホームランを打って逆転したとか。ロクでもない。Giants との差が大分開いてしまった。明日は Baystars が勝って Giants が負ける（断言）。この前「（断言）」と書いたらその通りに成ったので、験担ぎに書いておく。木曜日はゼミを8時過ぎまでやるので、終わった時に気分よくなれればいいが。ゼミもちゃんとしてて Baystars が勝ってれば最高。最悪の目が出ませんように。

横浜港開港記念日の試合を飾れず、Eagles に交流戦初勝利を許してしまう

昨晩買い出しに行った時くらいに雨が降り出した。で呑み呑み大河ドラマを見たり土曜日にやっていた「ミラクル9」を見たり。大河ドラマの主人公の小一郎を演じてるのは仲野太賀だが、配役を見てたら中野英雄の名が。親子共演か。どんな役かいな？と思って見ていると親父さん登場。小一郎が初めて総大将を任された竹田城攻めだが、その城主の太田垣輝延を演じていた。中野英雄は昔は気の弱い役をやっていた（「チョロ」なんていう渾名を付けられた役とか）が、すっかり嫌な親父の感じに成っていた。羽柴軍が城を取り囲んで城内の水が切れた頃に、隙を作って水汲みに出た部下達に紛れ込んで小一郎が城内に入ったが、太田垣の家来を思わないあまりの身勝手さに腹が立ってぶん殴る、というところが前回の見所だな。中野英雄は1回きりの登場のようだ。奥田瑛二も1回きりだったし、流石はNHKだな。で後でスマホを見てたら、盛り上がりどころは他にあって、回のタイトルが「風雲！竹田城」。あの有名番組と一文字違いなので、城主はビートたけしか？谷隼人か？と盛り上がっていた。「ちょっと年齢層高すぎんか？」という意見もあった。「風雲！たけし城」がやっていたのは小生が大学生の頃だからもう40年くらい前だ。若い人は分からないだろう。引っ越してくる前はスカパー！を見られるようにしていたが、後に「スカパー！2」っていう110度CS（若い人は知らないだろう）でのサービスが始まって、TBSチャンネルというのがあって、そのチャンネルが本家スカパー！で始まった時の最初の番組が「風雲！たけし城」だった。楽しく見たのを覚えている。今はTBSチャンネル1とTBSチャンネル2の2チャンネルに成って、2の方で Baystars の試合を全試合生放送してくれるので有難い。TBS が Baystars の親会社だった頃は最悪だったが、罪滅ぼしに放送してくれてるのだろうか？

で知らん間にダウンしていて、教授会の前に起きた。今日は時間が掛かりそうだぞ、と覚悟していたが、思った程ではなかった。沢山説明されて、投票する案件もあったし。予想外の結果に成ると学部長は焦るだろう。物理の真面目な先生が質問していたが、それの影響があったかと思われる。まあ気持ちは分かるが。

で6時にTBSチャンネル2に合わせて野球観戦開始。今日は平良が先発。抜群の立ち上がりも3回に崩れて2失点。Baystars 攻撃陣が1回、2回と先頭打者が出塁もいずれも併殺打ということをしていたから、失望感が大きかったか。それでも5回2失点8奪三振は上出来の部類でしょう。で5回裏にいいことが。松尾が空振り三振もキャッチャーが捕球出来ず振り逃げ。平良の代打に出たヒュンメルが四球を選び、蝦名が逆転3ランホームラン。今日は横浜港開港記念日だそうだ。これは是非勝たないと。が、4回裏に1死満塁から点が取れなかったり、6回裏の石上（いしかみ）の外野フライで1塁ランナーの三森が2塁を回ってしまっていて併殺打と、拙が目立つ。そうするとロクでもないことが起きる。8回表に鈴木大地の内野安打の間に2塁ランナーが長躯ホームインで同点にされ、マッカースカーとかいう外国人に勝ち越し打を打たれてしまう。解説の平石氏によれば、中川虎大がフォークボールばっかり投げてて、直球が投げづらい展開に成り、読まれたのだろうと。松尾はまだまだ修行が必要ということだな。9回表に Eagles に FA 移籍した伊藤光が古巣 Baystars 戦で慣れ親しんだ横浜スタジアムでバックスクリーンに飛び込むどでかいホームラン、更に Eagles にもいる平良選手が2ランホームランを打ち絶望的な展開に。横浜開港記念日に Eagles に交流戦初勝利をプレゼントしてしまった。ロクでもない。試合後に開港記念日を記念して花火を打ち上げることに成っていたが、試合が長かったため中止に成ってしまった。今日は横浜市民は無料で観戦出来たそうだが、楽しかったのは蝦名のホームランの所だけだったね。花火も見られないし。明日に気持ちを切り替えて、と言いたいところだが、台風が来ている。石田裕太郎が日曜日じゃない日に投げる予定だったが、残念だ。

台風と言えば、近畿は夜中に最接近と言ってた。台風が通り過ぎれば天気が良くなるそうなので、今日中止だった甲子園での試合は出来るだろう。阪神園芸というグラウンド整備のプロがいるから、100％出来るな。Baystars 戦が中止だったら Tigers 戦でも見るか。明日は地上波で放送がある。6時15分放送開始だけど。それより深夜に停電が無いことを願うよ。勿論色々大変なことに成るのも理由の一つだが、もう一つの理由は先週の木曜日に仕掛けた有理点探しがバッテリー切れで完了しないままに打ち切りに成ってしまう。停電しませんように。

今調べたら、伊藤光のホームランは史上49人目の「12球団制覇弾」らしい。通算31号で12球団制覇は、大引が Swallows 時代に12球団制覇弾を達成した時の32号より少ない数での達成らしい。ふーん。伊藤光には随分働いてもらった。頑張ってくれるのは嬉しい。ただ Baystars 戦ではこれ以上はご勘弁を。

ABC 定理の証明はもう大丈夫

ABC 定理の証明は完全に理解出来た。「対称性より」という所もちゃんと確認した。TeX 化するとまた訳の分からない時間に成ってしまうので、やめておいたが。それでも寝たのは相当遅い。

で起きたらもう1時を大きく回っていた。シャワーを浴びて出発。生協でいつもの唐揚げ弁当を買って食してからウェストウィングへ向かう。

今日は先週引っ掛かった ABC 定理の証明だが、すんなり終わった。学生も小生も何かいらざる勘違いをしていただけ。この前書いた通り「三人寄れば文殊の知恵」だが、月曜のゼミはマンツーマンでやってる。二人だと二人が隘路にはまると誰も手を貸してくれない。一人冷静な人がいるだけで大分違うがな。木曜のゼミは学生は二人いるが、一人が何らかの事情で休むと混乱することが多い。最低で三人はいないとやはり駄目だな。で「刺身のつま」である abc 予想の節が始まったが、時間をあまり掛けたくないのが本音。こちらの気持ちが伝わったか、結構あっさり済ましていた。abc 予想の同値な言い換えも紹介しただけ。それでいいです。拘る学生がいたら拘るけど、拘らないならそれでいいです。で既約多項式（モニックな既約多項式を「素式」と言っている）の分類の節に突入。R や C だと簡単だが、それは代数学の基本定理を仮定すれば。テキストに主張は書いてあるが、証明は載ってない。学生が「証明読んでくるのを忘れましたので、来週やります」と言ったが、やらなくていいと言っておいた。関数論の講義でリュービルの定理を使って示されてると思うし、藤村先生（懐かしい）が幾何の講義をしていたころはホモトピーの知識を用いて証明していたようだから、今も幾何の講義でやってるかもしれない。「代数学II」でも以前はやっていたが、ここ数年やる時間が無くて出来ていない。何故だろう？で Q 上の素式の分類は難しい、と書いてあって、ガウスの補題とかアイゼンシュタインの既約性判定法など。これは「代数学I」の講義でやってあるが、テキストに証明が書いてるからやってもらう。講義と全く同じ証明が出ている。ということであまり集中して聞かなかった。まあ大丈夫でしょう。5時くらいに終了。

6時からオンラインで会議があるので、それまでちょっと時間潰しに ABC 定理の証明の TeX 化。5時50分過ぎに保険会社の人から電話。この前電話があった時はゼミ中だったので無視したが、今日は出てあげるか、ということで。ちょっと健康診断で引っ掛かった所があったのを話してあって、その件で電話をくれたりメッセージをくれたりしていたが、忙しかったり面倒臭かったりで何もしないでおいたが、大分心配してくれていたようで申し訳なかった。で6時からの会議は白熱した。そもそも OIC に行くことに無理があったのだ。OIC 唯一の理系学部のために BKC の教員は大分無理をしている。更に無理を言ってきているので、皆さん大分ご立腹だ。時間割を作る我々も大分無理しないといけない。前に教務委員をやった時は1年目が時間割だ何だと大変だったが、今はそれらの仕事は2年目の人がやるようだ。今年叩き台を作っておいていただけるので、来年度はそんなに大変ではない、と信じたいが。7時ちょいに終了。

その後 TeX 化の続き。大体出来た。微分で一箇所片付いてない所があるが。「AB'＝BA' ⇒ A＝cB となる c∈K^× が存在」は微分を有理式に拡張しておけば示せるが、多項式の微分だけで出来るんかいな？と前から気に成ってる。また考えておこう。でなんだかんだと9時半近くまで職場にいた。

ガストでから好しの唐揚げにしようか、と思ったが、昼飯は唐揚げだったな。冷めてたのを食べたから、揚げ立ての熱々のやつを、と思ったが、ここ数日で結構金を使ってしまったので、すき家でカレーにした。50円引き券もあるし。美味しかった。夜10時を過ぎると道路はすいてるが、アタオカな運転手がいて怖いこともある。今日も少し前の信号が黄色に成ったので停止線で停まったら、後ろの車が対向車線にはみ出して右折していきよった。関西の人は気が短いな。曲がった方の道路に気の短い運転手がいたら、それこそ大事故やぞ。安全運転を心掛けましょう。

台風が近寄ってるらしいが、まだ雨は降ってないし風は吹いてない。明日は職場に行く用事が無いので、住処でおとなしくしているつもり。夕刻の教授会も Zoom で開催されるから、職場に行かなくていいのは助かる。学部執行部の面々や事務の人は出勤だろうか？ご苦労様です。住処にいて Uber Eats で食事、というパターンが明日は出来ないかもな。天気によるが、配達パートナーが外出したくないような天気だったらね。帰りにドラッグストアでちょっと食事を買い込んできたが、もう少し買い出ししておきたいので、これからセブンイレブンやらローソンやらに買い出しに行く。インスタントの食べ物や飲み物や呑み物。一軒で沢山買うと恥ずかしいから店舗を分けるという作戦。賢明な読者はお気付きだと思うが、いつもはセブンイレブンかファミリーマート、なのにローソンに成ってるのは何故でしょう？答は単純で、飽きてるから。ローソンの方がカップ麺の種類が豊富なのでね。セブンイレブンとファミリーマートは歩いていくが、ローソンはちょっと遠い。セブンイレブンもいつもの店舗でなくローソンと住処の間にある店舗に行く。木、金はまあまあの天気のようなので、心置きなく仕事をして外食して帰ってくるので、二日分ね。「過ぎるTV」が終わったら行こう。ナフサ不足が言われているご時世だけに袋は持参でね。と言っても、さっきドラッグストアでは袋を貰った（正確には買った）が、それを持っていくだけのこと。気休めよ。

あ、そうだ、この前若隆元、若元春、若隆景の3兄弟のことを書いたが、若隆元は引退するそうだ。3兄弟同時関取はならなかったな。残念。元就の息子は、隆元は元就の存命中に死んでるし、吉川元春は秀吉の九州攻めに従軍中に死んでて、一番活躍したのは三男の小早川隆景。大波3兄弟（若隆元たちのことね）も三男が一番活躍してる。小早川隆景は天下をとれなかった。若隆景は大関、横綱と駆け上がって、天下を取ろう。もう若くないんだ。今度のチャンスを逃しちゃならねえぞ。今場所は霧島以外の横綱、大関は初日から休場だったり怪我して休場だったり負け越して休場だったりと冴えなかったので、強い大関は大歓迎だ。霧島も優勝を逃したが、来場所の結果次第では横綱だ。どっちも頑張れ。

尾形崇斗が Baystars 初登板（プロ入り初先発）を勝利で飾る

昨晩のふなごやはまあまあ忙しそうだった。一組はコースの客だったそうだが、コース後にちまちまと呑み物だったり軽めの食事メニューを頼んで結構遅くまでいた。でいつもの通り最後は3人で。先週プレミアムモルツの景品だった缶に当てると細かい泡が発生してビールが美味しくなるものをあげたが、美味しくビールが呑めて嬉しいと言ってもらえた。よかった。小生はすっかり面倒臭がりに成り、ビールをグラスに注ぐことはなくなった。グラスを洗うのが面倒だという下らん理由で。でちょっといいシャンパンを呑んできた。何故かと言うと一昨日が店長の誕生日だったから。いい色をしていて、味も良かった。で久し振りに金を払ったシーンが記憶にあったが、結構な額だった。昨日は随分金を使った。まあいいけど。楽しかったので。

やはり帰ってきてすぐにダウンしたが、そんなに寝ないで起きてしまった。食べ物の買い置きが無いので、例によって Uber Eats に適当に頼んで、でまだ野球まで時間があったので、ちょっと寝床に戻ってうだうだと You Tube を見たり。野球の情報を見たら、日曜日なのに先発が石田裕太郎じゃない。何故？尾形崇斗（しゅうと）が祐大との交換トレードでやってきてから初登板。今までの90登板は全てリリーフで、プロ入り初先発。まあ大きな期待は出来ないかな、と見ていたが、どうしてどうして。150km台後半の直球をビシビシ決めて、四球、死球でランナーを複数出したイニングはあったが、被安打2で5回無失点。湿り気味だった打線は今日は点を重ね、3回に1点、4回に2点、5回に1点、7回に2点で6得点。11安打。今日みたいな試合はいいね。結局6－0で6連勝中だった Lions を止めた。で順位表を見ると、いつの間にか Hawks が交流戦の首位に立っていた。5勝1敗。Lions も1敗だが一つ引き分けがあり4勝1敗1分。Baystars は2勝4敗で9位。まだまだ。火曜日からはセ・リーグの本拠地で3連戦を2つやるそうだから、横浜スタジアムで勝ちまくらないと。まだ交流戦勝ちの無い Eagles と火曜日から3連戦だから、大チャンス、と思ったら、台風が来ていて、火、水は試合出来ないかも。交流戦はスケジュールがタイトだから、どっかで穴埋めをするんだが、それまでに借金を減らしておかないと。

しかし Eagles と Carp は弱いな。交流戦6連敗。Carp はセ・リーグ5位だが、Dragons は交流戦好調で、0.5ゲーム差に成ってる。Eagles に至っては一時首位に立った筈だが、今日の結果で5位と5.5ゲーム差で6位に沈んだ。どうなるでしょうね。交流戦は同一リーグの全チームが勝ってしまうことがあるから、自分で頑張っても中々順位は上がらない。逆に自分のところだけ負けということもある。頑張らないと。

昨日いつもびわ湖浜大津行ばかり来ると書いたが、烏丸線の電車もレアものだった。急行近鉄奈良行。前は結構走ってた筈だが、今は土曜日は朝に数本と夕方の5時台、6時台に30分間隔で2本ずつと減った。珍しいのに2本続けて出会ってしまうとは、何かの運を使ってしまったということでなければいいけど。

先週の月曜日のゼミで多項式環の ABC 定理の証明で一箇所不明な点があったので、考えておこう、と思ったが何もしてない。いけないな。これからやるか。明日は2時55分までに職場に行けばいいので、多少遅くまで起きていても大丈夫だし。あれ高校生が証明したというが本当かな？まあ多項式の微分（実は一箇所有理式の微分を使わないと無理な筈だが）くらいで出来るからね。abc 予想の解決が途轍もなく大変なことなのはご存知の方は多いだろう。まあああいう論文を理解しようとは思わない。読んでもそこから何か考えられるとは思えないし、やりたいことは幾らでもある。理解するだけで何年（どころではないかも）掛かるか分からないし、定年までの時間はそう長くない。ということでやれることをやります。

東西線で帰ってこようとすると、何故か毎回びわ湖浜大津行に当たる不思議（1時間に3本しか走ってないのに）

ポストを見たら書留が届いていて、不在だったので再配達の手続きをせよ、とのことを書いた紙が入っていた。今日の2時から4時を受け取り時間にした。それくらいの時間だと早起きしなくていいし、そうしておいたが、案の定夜更かし（朝早し？）してしまった。呼び鈴で起こされた。急いで飛び起きて、受け取って。で時計を見るともう野球が始まってる時間。テレビを付けるとリードされてる。…。更に追加点を取られ、まだ眠いぞということ、音声を聞きながら横に成った。するともう一度寝てしまい、Baystars が完封負けをした音声で不愉快ながら起きた。

用事が無ければ起きる必要無いんだが、5時半に市内某所に用事があるので、出掛ける。用事は短時間で済んで、いつもの通り隣の喫茶店でホットドッグとアイスコーヒー。夜中に間食してから何も食べてないので、猛烈に腹が減っていた。ソーセージはちゃんとパンの溝に入れておくれ。パンとソーセージを別に食べる羽目に成った。で烏丸線から乗り換えて東西線のホームへ。不思議と毎回びわ湖浜大津行の電車が来る。1時間に3本しか走ってないんだが。まあ京阪電車に乗れば、東西線で苦戦している京都市と京津線で苦戦している京阪の両方に貢献出来るのでいいけど。200円ケチりたければ六地蔵行を待つが、まあいいです。

腹減ったな。流石にホットドッグ一個齧っただけでは辛い。ふなごやに早目に行って晩飯とするか。シャワーだけ浴びてから行くか。今日は店長は Tigers が勝った以外にも機嫌がよい理由がある。何でしょう？正解は明日。

代数体の整数環で素イデアル分解の一意性が成り立つ証明は慣れたもの

今朝は起きたら11時を過ぎてた。シャワーを浴びてちょっとしてから出勤。職場に着いたら12時40分を過ぎてて、もう外では弁当を売ってなかった。仕方ないので生協で弁当を買って食した。ちょっと今来たこの道を戻らないといけなく、買った後個研室へ行ってもゆっくり出来ないので、売店の脇の机で食そうかと思ったが、流石に昼休みだけあって混んでる。天気がいいから表でいいか、と思ったがちょっと暑い。まあ真夏と比べれば全然マシなので、いいか、と表で食べて、まだちょっと時間があったので、生協の本屋を冷やかした。また面白そうな本が出ていた。買わなかったけど。

1時10分から「代数学I」。相変わらず部屋はスカスカ。今日はユークリッド整域が P.I.D. であることを示して、体上の多項式環がユークリッド整域であることを示して、飯高茂先生命名の「合コンの定理」を体上の多項式環で示して、で素元だ既約元だと定義したら大体時間。来週は P.I.D. だと 0 でない元 x に対し「x が素元 ⇔ x が既約元 ⇔ (x) が素イデアル ⇔ (x) が極大イデアル」など諸々示してから U.F.D. に進む予定。今日で8回目が終了。大分訳が分からなくなってきたろう。

休憩を挟んでゼミ。今日は代数体で素イデアル分解の一意性が成り立つことがメイン。割と順調に進んで、で分数イデアルの素イデアル分解とか、イデアルの和が最大公約数の類似、共通部分が最小公倍数の類似であることや、Chinese remainder theorem をやって、イデアルのノルムとかオイラー関数とかの性質を示してる最中に力尽きたらしい。まあ難しい所だ、ゆっくりやりましょう。毎回 TeX で打ってきたと思しき紙を見ながら話してるようだが、それくらい真剣にやってるようでいいことです。

でよく分かってる所だったので、多少内職しいしいやっていた。いや、激しく内職したわけではなく、テキストの演習問題をメモって、簡単に出来そうなものは解いたり方針を考えたりしていた程度。一問ちょっと誘導を付ければ「代数学I」の単位認定レポートに使えそうな気がしたので、考えてみる。結構手頃な問題になった。代数的整数論を使えば瞬殺な問題だが、まあやってる学生はいないだろうから、いいかと。帰ってから TeX 化しようということで、程々に切り上げてきた。野球を見たら大差でリードされてた。しくしく。

すき家で適当に食べてきた、失策。なぜすき家に行ったかと言えば、JAF Mate に付いてたクーポン券を使うつもりだったから。が、すっかり忘れてしまった。車を走らせてる途中に気付いた。まあいいです。もう一つ一瞬焦ったことがあった。財布とカード（クレジットカードと nanaco を入れてある）を尻ポケットに入れているが、運転してると尻が痛くなってくるので、途中で大抵出して助手席に置くんだが、カード入れがポケットに入ってない。すき家で V ポイントカード（未だに T の字が印刷されてるやつ）を使って、忘れてきたか、と焦るが、車に乗った時に鞄に入れたようで、見付かった。焦った。無かったらどこかですき家に電話しないといけなかった。前にスマホを高田馬場のキリンシティに忘れてきて焦ったことがあったが、その時は大分酔ってたから。幸いレシートを持って帰ってきていて、住処の固定電話から電話したらあったので、着払いで届けてもらった。あ、前に川崎に行った時に財布を紛失したことがあったが、クレジットカードは別にしていたので、新幹線の切符は買えて、帰ってきて留守番電話を見ると川崎のタクシー会社からのメッセージが入っていた。クリーニング屋のスタンプカードに固定電話の電話番号を書いてあったので電話してくれたらしい。そうだ、もう一回あったぞ。職場の留守電に山科署から電話が来ていて、何かと思ったら落し物が届いているとのこと。酔っぱらって自販機で飲み物を買った時に財布の中から零れ落ちたらしい。この時も幸いに電話番号を書いたものがあった。何かと思ったら、関西みらい銀行から日本数学会に会費を振り込んだ時の振込カードに職場の電話番号が書いてあったからのようだ。昔から持ち物には名前と連絡先を書いておけと言われたな。まあ気を付ければいいだけの話なのだが。

今「探偵！ナイトスクープ」がやってるが、倉庫から巨大な桶を取り出すという依頼。それを見てる最中に上に「書いて桶」と変換されてあまりの偶然に笑ってしまった。パソコンの予想外の変換には笑わされる。「投与コイン」は最高傑作だ。小生のホームページや色々なところで使ってるハンドルネーム（handle だけで名前の意味があるが、和製英語の「ハンドルネーム」を使った方が分かり易いだろう）のもとに成った「い加川しい」もパソコンがそう変換してくれて、気に入って使っている。「い加川しい」と「烏賊が鷲」は中々結び付かなったようで、Twitter のユーザー名は最近は「烏賊が鷲（加川）」にしてるが。早稲田の楫元先生は「Ka-dimentional space」という名前のホームページを開設されてるが、これは「Ka-jigen」ということなのだろう。色々ダジャレが聞いてる人がいて面白い。「い加川しい」は小生の手柄ではなくパソコンの手柄だが。

忘れていた。今日から交流戦は Lions 戦だが、FA 移籍した桑原が開幕から好調だったのに肉離れで離脱した。が、もう復帰していたようで、今日の試合では手痛い一打を食らってしまった。やはり桑原が抜けたのは大きいな。明日、明後日は程々にしてくだされ。

3ランホームラン一発の3点のみで何とか勝利（交流戦初勝利）

どうも遅くまで起きていてしまうな。でそのせいで起きたらもう2時くらい。2時55分に「数理科学セミナー」を開始出来る状態にしないといけない。取るものもとりあえず出掛けよう、と思ったら、有理点が見付かってる。急いで USB メモリーにコピーして、2時10分に成る前に部屋を出る。が、ついてない。立体駐車場が何やら作業中。人がいなかったが、「車出したいんですけど」とちょっと大声で言ったら下から出てきた。二人組でやっているようで、もう一人の人にパレットが動く旨伝えていた。でパレットが動いてる最中にもう一人の人が隙間からひょこっと顔を出した。結構狭い隙間だと思ったら、人の一人くらい通れるんだな。小生はデブだから無理か。で出発してインターチェンジで渋滞情報を見ると、草津田上－信楽間で渋滞がある模様。うー、急いでるのに。実際どれくらい混んでるか分からないので、瀬田西で降りた。で生協で弁当を買って食す時間も無く、カレーパンを一個買って齧ってる最中にチャイムが鳴った。

今日の「数理科学セミナー」はフェルマーの小定理の話。が、色々いけない。主張の前に数値実験をして様子を見て、という所をやろうとしない。言うと「すぐやります」と全然関係無い話を始めて、フェルマーの小定理の証明もテキストと違ったことをやってる。言ってもやめようとしない。日本語が苦手な留学生のようだが。途中間違えている所もあって破綻しかかってるだが、やり続けている。で一通り終わって気が済んだか、と思ったので、最初の数値実験の所を飛ばしてはいけない、来週やりなさい、という旨を言って、それからテキストに書いてある証明を紹介するようにも言っておいた。皆が色々なことの別証明をしたりするので、そうしなくちゃいけないのかと思ってるかもしれないが、テキストの輪講なんだから、書いてあることにはある程度沿ってもらって、それで余裕があったら別証明をやればいいので、最初からテキストの証明を無視するのは好かん。日本人じゃないんでニュアンスが伝わるかどうか分からないし、小生元々言ったことがきつく聞こえる方なので多少は遠慮したが、十分きつかったかもしれない。まあいいです。来週はちゃんとやってください。10分くらい前に終了。

その後はゼミがあるので、学内のファミリーマートでサンドイッチを買って齧っておいた。8時過ぎまで空腹に耐えられそうにないのでね。今日のゼミは算術級数定理の証明。色々準備してあるので証明だけだが、まあそれでも大変なことには違いない。何度か証明を読んだことがあるが、時々分からないので質問する。χ が単位指標じゃない時に L(1,χ) が0でないことにデデキント ζ  関数を使った類数公式を使ったが、これの証明は大変。解析接続もしないといけないが、2年前に読んだ本では解析接続せず、留数を (s－1)ζ_K(s) を s→1＋0 した時の極限値が求まるので、という形でやっていたが、それでも大変は大変。結構何週間も掛けたような記憶がある。L(1,χ) が0でないことはもっと純粋に解析的に示せるが、その証明は正直理解したことがない。やはり代数体をいじってるんで類数公式に頼るのが一番だな。その後 Dirichlet 密度をちょっとやって8時くらい。素数全てからなる集合が密度1、という当たり前みたいなことでもやるとちょっと大変だが、mZ 中の素数の密度が φ(m) というのがやってあるので、一瞬では？と思ったが何やら始めた。要するに m＝1 の時に証明しているんだが。公差1の等差数列とか公比1の等差数列とかあまり考えないよな。いや、対比なら公差0の等差数列か。こういう極端な例も考えると大事なのだ。単位元だけからなる群とかね。あ、思い出したことが一つ。永尾汎先生の代数の本は気に食わないことがある。環の定義に0と1が異なることを要請していて、これはまあよくあるのでいいが、環 R のイデアルに R を含めてない。R/R の元は一個だけなので環ではない、ということなのだと思うが。いやいや、イデアル類群考える時に困るでしょ、分数イデアルの群はどうするの？という気がして、それから嫌に成ってこの本は開いてない。どこに閉まったかも忘れていたが、この前ひょこっと出てきた。開いてないけどね。

その後ちょっと伝票を経理に送る作業。この前学科の事務室に行ったら、その手続きをする用紙が無くなっていたので、事務の人に言っておいたらファイルを送ってくれた。印刷して送る手続きをして終了。その後ちょっと数学。何か色々気に成ることがある。腹が減ってるので、ちょっとでやめた。野球の様子を見ると、3－1とリードした状況で9回表。康晃がランナーを二人出してしまったが、数分後に見たら終わってた。併殺打、ピッチャーゴロで打ち取って点を取られなかった。良かった。今日は3点取ったが、代打京田の3ランホームランのみの得点と、相変わらず。まあ勝ったのでいいです。3タテ食らわなかったし、東が Buffaloes 戦初勝利でシーズン5勝目。いいでしょう。今日の交流戦はセの勝ちが Baystars と Dragons のみ。Dragons がセ唯一の3連勝、Baystars と Giants が1勝2敗、Swallow が2敗1分、Carp、Tigers が3連敗。今年もパ・リーグが強いな。昨日 Swallows が引き分けたお陰で、セ・リーグの順位は分かりやすくなった。Tigers と Swallows が勝ち負け引き分け全て等しい。勝率の差でどっちが上とか分かりづらい。分かりやすくなった。

今日は栄養が足りてないから、ガストでハンバーグを食べることにした。JAF メートに付いてた割引券を使いたいのもあって。一回目はどうやるか分からず、店の人に聞いても彼女も首を捻っていた。見たことが無い割引券だと言ってた。二回目は順序を間違えて使えず、今日こそは使ってやる、ということで。でハンバーガーを頼んだが、失敗。ご飯とセットなのかと思ったら、セットが欲しかったらそう頼まないといけなかった。急いでご飯だけ頼む。すぐ来た。うん、まあ、期待したほどの味ではなかったが、まあいいです。肉は年をとっても食べないといけないそうだし、食べ続けるよ。割引券がちゃんと使えて嬉しかった。

今日は結構な雨に成るようなことを言ってたが、車を停めた時も「数理科学セミナー」が終わった時も帰りもガストで食べ終わっても降ってなかった。が、車が濡れてたので降ったのだろう。などと思って走っていると、時々降る。こういう中途半端なのは嫌だ。湿度は高いし、非常にやな感じ。明日は雨は降らないようだが、暑いようなことを言ってた。明日の講義は歩いて書いて喋っての「代数学I」だから、暑いと嫌だ。まあ我慢するけど。明日も新名神の工事は続いてるから、ちょっと早目に住処を出られるようにしたい。それには早寝だが、つい夜更かししてしまうからいけない。程々にしよう。USB メモリーを取り出して作業すると遅くなってしまうから、鞄に入れたままにしておこうか？それでもやれることはあるんでね。そうしよう。いや、有理点探しさせたいから、やっぱり USB メモリー（作業メモが入ってる）は出すか。あまり難しいことを考えなければいいんだな。そうしよう、うん。

明日遅く帰ってきてもいいように先週の「座王」を見ておこう、と思ったら、「アメトーーク！」が終わってからでは遅くなる。今週は「ゲーム大好き芸人」というくくりのようで、あまり面白くなさそうだ。「座王」見るか。先週「ソフトテニス芸人」というのをやってたが、もうあれから1週間経ってしまったか。1週間早過ぎる。小生ソフトテニス（軟式テニスと言いたい世代）の経験は少しだけある。小生が大学生の頃は卒業するために体育の実技と講義で一定の単位取る必要があった。1年目は抽選に漏れて、水泳という超キツイのをやらざるを得なかった。が、一浪して太ったのが大分元に戻って嬉しかったが。ラッシュの電車に揺られて消耗していたのも体重が減った理由の一つだが。で2年の時は軟式テニスをやった。水泳は文学部のキャンパスまで15分ほど歩いて行かないといけなくて大変だったが、軟式テニスは理工のキャンパスで出来るので良かった。幸い友人が軟式テニスのラケットを持ってたので、1年間貸してもらった。面白かったのでよかった。最後サーブを規定数打って、規定数インに成ったら単位を出す、と言われいたが、小生といつも一緒に組んでくれた人（4年生だった）も小生もサーブが超下手で、確か3点マッチをやって、小生が3本サーブミスして向こうのゲーム、向こうが3本サーブミスして向こうのゲーム、小生とコンビを組んでた人が3本サーブミスして向こうのゲーム、と、助手に就いていた人が「駄目だ、もっと練習しなきゃ」と怒られた。で試験の日はコートの隅で二人でサーブ練習をしまくって、小生は無事一発合格したが、相方は結構ミスしていて、大丈夫かいな、と心配して見ていたが、球拾いをしていた奴が阿呆で、ミスした球をどんどん籠に戻すからエンドレスに成ってしまい、先生激怒。一からやり直しに成って、相方は緊張が解れたか無事合格。よかった。昭和の昔の思い出だ。数学科なのに物理実験と化学実験が必修で、これらは最高に嫌だったが、体育は楽しかった。えーと、「アメトーーク！」の軟式テニス芸人の回、結構面白かったんで、見てみてください。まだ Tver でやってるかな。