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

また変な時間まで起きていた。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月前半だが。

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

エンカーナシオンが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時間物が二つあるので、夜更かし（朝早し？）して見るか、それとも映画に行くか。まあ今後の気分次第だな。来週の火曜日は教授会は無い筈だから、そこで見に行ってもいい。水曜日は昼から会議があって、その後講義だし行けない。まあいいや、もうちょっと経ってから決める。