銀行の駐車場が満杯のせいで路地に入り込んでしまい、久し振りにちょっとぶつけてしまった

水曜の深夜に下らんアニメがやっているのだが、何か面白くてつい見てしまう。昨日はそれだけ見て寝た。1時半くらい。しばし寝床でうだうだとやっていたが、2時くらいには寝入ったと思う。で12時半のアラームで起きた。10時間も寝ればもういいかと思うが、ちょっと眠い。まあ運転中に眠くなることはなかろうということで、1時過ぎに出発。

昼飯ははま寿司にしようと向かう。中トロがあったが、2枚重ねのやつがこの前あったので、スキップして2枚乗ったやつが案の定あったので頼む。が、その後で大トロがあるのを見付けてしまった。何だ、中トロ頼むんじゃなかった。まあ大トロも食べたけど。で何やかやといつもより多く食べてしまった。まあいいです。その後銀行に寄って、連休中の軍資金を卸しておこうと向かうが、駐車場が満車。狭い路地に路駐している車が一台いたが、銀行の駐車場が一杯だからだろうか？そこに更に停める勇気は無いので、ちょっと走って体制を立て直そう、と思ったら、結構狭い路地で、カーナビの画面を見ると結構行き止まりの所が多い。ちょっと広そうな所があったので、そこを使って向きを変えよう、と思ってやるが、ゴツン、という音がした。久し振りにぶつけてしまったか？前の車は一度もぶつけず乗り換えたし、今の車も無傷のままだったが。車検の時にトヨタの人が「傷ありませんね」と感心していたが。で何とか銀行まで戻ったが、相変わらず駐車場は満車のまま。どうすべ？と思って考えていると、一台出そうな車がいたので、待って停める。お金を卸した後車の傷を見たが、大したことなかった。これくらいの傷ならいいです。

で職場に着いたのは2時半過ぎ。「数理科学セミナー」は2時55分からだから、個研室に戻るのは半端だし、教室が前の時間使ってるかどうか確認してないので、栄養ドリンクを買って食堂の隅で時間潰し。

で2時50分過ぎに教室へ向かう。55分開始。今日はユークリッドの互除法の残りから。割り算の回数が小さい数の桁数の7倍で済む、という証明をしたので、5倍で済むよ、とコメントしたら、何とその証明を調べてきてた。書いてないことはしなくてもいい、という方針でいかないと、これから先大変だよ。後ろの方を見たら素数定理の主張が出ていたが、証明してこないよね、流石に、と思うが。ゼミのテキストにカタラン予想（ミハイレスクの定理）の主張が出てて、学生が「調べたけど分かりませんでした」と言ってた。当然。学部生だと難しい数学とはいかなものか知らないだろうから仕方ない。で最初の学生は留学生だったが、二人目は日本人。当然だが日本語で流暢に説明して、こっちのコメントもすぐ理解してくれるので楽だ。で残り10分くらいに成ったので、やめようと思ったら、ソフィー・ジェルマンによるフェルマー予想に関する定理の証明をする、と先週言ってた学生がいたので、やらせるも、10分で終わるの？と思ったら当然終わらず。中途半端に成るくらいなら最初からやらなきゃいいものを。次のコマはゼミなので、延長は出来ないから、来週一からやって、ということにして終了。帰ろうとしたら一人学生が話し掛けてきた。頼まれていたことがあったのを忘れていた。「後でやっておく」と言っておいた。

でゼミだが、二人中一人が調子が悪くて欠席。でもう一人の学生が色々準備不足で困った。「Prove or disprove the following statements」という文章を見ないで、成り立たないかも、ということを証明しようとしたり、ガロア理論の理解が危うかったり、自明じゃないことを何もコメントせずスルーしようとしたり。3時間以上やって殆ど進まなかった。まあ一人いないのでいいでしょう。疲れた。

「数理科学セミナー」の間はちょっと眠かったが、その後のゼミ中はそうでもなかった。っよく知っていることをよく知っている通りにやられると眠くなるのはむべなるかな。ということで学生から頼まれていたことを済ませてから、明日の講義でやることをちょっと眺めた。イデアルで割る話が出てくるから難しくなるだろう。が、初等整数論も剰余環を使った方が分かりやすいし、体の拡大は1変数多項式環の剰余環無しでは出来ないので、ちゃんとやっておかないと。で何だかんだと9時半までやっていた。野球の様子を見ると、作業前に見た時は2点リードしていたが、4点リードに変わっていた。ですき家で回復の為カルビ丼に大蒜が乗った奴を頼んで食べて、でスマホをちらっと見たら野球は終わっていた。篠木が初勝利だそうだ。あまり期待していなかったがよかった。プロ初勝利で、今日はご両親が観戦に来ていたそうだ。やるね。

で住処に着いて「報道ステーション」のスポーツニュースを見ていたが、Tigers はまたしても Swallows に勝った。でびっくりしたのが、佐藤輝明がいつの間にかホームランダービーのトップに並んだそうだ。暫くホームランが出なくて、「おはよう朝日です」で大丈夫かと言っていたが、福留曰く「全然問題無いです」。でその通りになってきた。現在打率・打点・ホームラン全てでトップで、所謂「三冠王」。凄いな。まあ Swallows を叩いておいてくれたのはありがたい。Baystars は明日から Swallows と3連戦。開幕カードで3タテ食らってから一度も勝てておらず、5連敗中。一つは勝たないと。いや、そんな遠慮せず、3タテしましょう。今日の勝ちで5割に成った。4月は勝ち越したそうだ。勢い付くといいが。Swallows の次の対戦相手は Carp。対照的に Carp には今シーズン勝ちっ放し。明日から6連勝と行きましょう。そうすれば一気に上位だ。期待する。しかし土曜も日曜もナイターなのは何故なんだろう？神宮でやる時は不思議とナイターが多い。大学野球か何かの関係だろうか？知らんけど。

無事帰り着いて、有理点が見付かっていて万々歳、野球も勝ったし、の筈が…

昨晩は懇親会後すぐ宿でダウンして、一旦起きて日が変わる前にブログを更新して、その後もう少し寝たが、寝坊して列車（電車ではなかった）に乗り遅れてはいけない、と思い、寝不足だが起きていることにした。実は一昨日の晩も寝不足だったのだが。待ち合わせに遅れてはいけないから、ということで。こういう無茶はしない方がよいのは分かっているのだが。先場所翠富士が全休したが、心不全、というインパクトの強い説明があった。何でも呑み過ぎだ食べ過ぎだというのが原因だったそうで、今場所は十両から出直すため出場するらしい。えーと、無理はいけないよ、という話。

でまずやったのは、足立先生の「フェルマーの大定理」を持参していたので、それのソフィー・ジェルマンのフェルマー予想に関する定理の証明を読んだ。先週「数理科学セミナー」で学生が証明しようとしてすぐ破綻して、明日またやるようなことを言っていたので、読んでおこうということで。が、これは自力では出来ないだろう、というのが実感。平方剰余に関する知識やら色々必要で、まだ合同式もやってない段階ではとても無理だろう。出来そうになかったらとどめを刺してやろう。で朝食の時間に成ったので、食べに行って、寝ないように気を付けるためにパソコンに向かって色々。9時58分の岡山行の快速に乗るので、まあ色々不測の事態もあろうかということで、用心して9時半くらいにチェックアウトした。ホテルは津山駅のすぐ近くなので、楽に間に合ったが。駅のアナウンスが丁寧で、2両編成の一番前の乗車口付近で待ってるのは一人しかいないので、 分散するために前の方に行ってくれという趣旨。お陰で座席を確保した。4人掛けのボックスシートに暫く一人で掛けていたが、途中斜め向かいに一人座り、もう少し行ったら左隣に一人座ってきた。荷物を椅子に置くという顰蹙ものな行動はしないようにしているので、どうぞどうぞ。岡山駅に近付いてきたら大分人家が増えてきた。途中岡山理科大学を発見。うちで1年だけ働いて岡山理科大に移籍した人が二人いる。で岡山駅の一つ手前の法界院駅でどっと乗ってきた。祝日だから大学生ではなかろうが。5分遅れで岡山駅に着いて、「岡山カレー」というのを食べて時間調整。11時40分ののぞみに乗れた。切符をとってあったのでよかった。1時過ぎに帰宅。

走らせっ放しにしてあったパソコンを見ると、有理点が見付かっていた。素晴らしい。Canonical height が330を超えてるごつい点。見付かってよかった。鞄から USB メモリーを取り出して、結果を記録。でパソコンを漸くリブート出来るので、再起動する。が、ネット環境は復活しない。その後何か色々変な感じなのでもう一度リブートしたら、何か「Windows を設定しています」と不穏な文が出て、買ったばっかりのパソコンのような状態に成ってしまった。え？え？ここ最近拾ってきた論文やらプレプリントやら全部おじゃん？と思って SSD の中身を覗くと、幸い残っていた。外付けの HDD を繋いであるので、急いで全部コピーして、でもうあかんな、ということでそのパソコンには撤退してもらうことにした。で鞄から旅行のお供のパソコンを取り出して、でそのパソコンを暫く使うことにせざるを得なくなった。去年の春（昨年度、ではなく、2025年の春、つまり一昨年度）の春に職場のパソコンが怪し気な攻撃を食らった時に職場にこのパソコンがあって助けてもらった。何かの時の為にパソコンを一台余分に持っておくといいな。

そんなことをしてる間に野球が始まっていた。昨日東で負けて、6連勝の後3連敗。牧が抜けて佐野が20打席くらいヒットが出てなくて、今日は宮崎が休養で欠場。4番は誰？と思ったら、何と松尾汐恩。先発投手はプロ初登板の島田舜也と、今日もあまり期待出来ないかも、という状況。相手の Dragons は4連勝中だし。で早速1回裏に先制されるも、すぐ2回表に同点に。4回裏に再び1点勝ち越されるも、5回表にすぐ同点に。今日は上位打線は Dragons の櫻井に抑え込まれ、途中1番から5番まで5者連続奪三振などを食らうが、7番京田からの4連打で2点取り勝ち越し。今日は打線は下位打線が活発で、守備では京田や打では結果の出ない佐野がファインプレーを連発して、チームを救った。9回裏に康晃が無死1、3塁のピンチを作るも、外野フライで3塁ランナーが突っ込まず（解説の鈴木孝政氏は打球が飛んだ瞬間「よし！」と口走っていた）、代走に出た1塁走者の尾田が盗塁死（余裕でアウト）、村松1塁ゴロでゲームセット。4番に入った松尾は打で結果を残せずも、島田を5回2失点とキッチリリードし、最後に盗塁をさせなかったので、合格。上位打線が結果が出ずも、下位がよく打った。一人でやる競技ではないので、皆でキッチリやればいいのです。ということで4月は勝ち越しだそうだ。明日勝てば5割。スッキリと5月に入りましょう。

で早速また有理点探しをさせている。あまりこき使うとこいつまでダウンしかねないな。そんなことにならないことを願おう。で津山高専の人からメールが来ていて、有益な情報をいただけたので、お礼のメールを書いて。昨晩酒の席で話題になったのだが、数論の専門家以外だと谷山－志村予想が完全解決していることを知らないようで、そうだと言っておいたので、その論文の出ている雑誌を知らせておいた。100ページ近い論文だし、まあかなりの専門家でないと読まないだろう、とは思う。小生？読まないよ。それを読むほど余裕は無い。論文の revise をしないといけないし、やることは幾らでもある。が、流石に眠くて、さっきまでちょっとダウンしていた。論文の直しは土曜から水曜までの連休中にやろう、ということにした。直すために重たい本を持って職場に行くのはちょっと嫌だ。明日は天気が良くないようなことを言っていたし、「数理科学セミナー」で使う本も持って行かないといけない。寝坊してもいいように、一旦持って帰ってきて、住処から持っていくシフトしにしている。そうやると大抵早起きに成り、持ってきた意味が無くなるのだが、まあいいです。明日は結構遅くまで寝てしまいそうだ。何しろ昨日、今日で結構寝不足だからね。教材を持って帰ってきてあれば、2時過ぎに住処を出ても大丈夫なので、今晩はタップリ寝る。深夜テレビを何時まで見ているかが問題だが。

さっきニュースで言っていたが、Tigers が Swallows に勝って、一日で首位返り咲き。というところまではネットニュースで見てたが、びっくりしたのが高橋遥人が完封勝ち。ここまで4試合投げて、3試合完封勝利。もう1試合は6回1失点とか。月間MVPは決まりだな。高橋は毎年故障をしていて、シーズン終盤に1軍登録されて、そこから Tigers の優勝を決定付けるような登板をする、というタイプの投手だったが。今年は1年持つのでしょうか？そうすると脅威だな。今年こそいい加減 Baystars に優勝して欲しい。開幕4連敗スタートも明日勝てば5割。5割前後で頑張っていって、ここ数年の芸風で秋の声が聞こえると強くなるので、ということになればと思っているが。それまでに Tigers に去年のような独走を許してはいけない。が、明日の先発は今シーズン初登板の篠木。去年は3試合登板で防御率10.13だから、過剰な期待は出来ない。明日は8時くらいまでゼミをやる予定なので、見られないかな。雨の予報だが、バンテリンドームだから関係無いか。篠木は今日の島田くらい投げてくれればよい。遅れず付いていきましょう。

津山高専という所に呼んでもらって話してきた（概ね好評）

何か昨日まで色々ボカシて書いたけど、今日は岡山の津山高専という所に呼ばれてて、全額向こう持ちで出張出来るので嬉々として来た次第。岡山までは京都から新幹線で1時間ちょいだが、岡山から在来線で快速電車だと1時間くらい。都会の感覚だと快速電車があるとちゃんと各駅停車が合間の駅を埋めてくれてると思うんだが、快速電車が止まらない所は2時間やそこら電車が無い、というのはビックリだった。南草津は都会よ。

呼ばれた、では分からないですね。数学の話をしてくれと言われて来てる。高専という所のことよく知らなかったが、整数論の人はいないということで、問題は初等的に理解出来て、それなりに深い話をしないと、ということで適当な題材を選んだが。そもそも難しいことはこっちが理解してないので。問題は高校生でも理解出来て、それなりの整数論（ヤコビ記号くらい）で分かるという持ち球があるので、話してきた。幾つか質問が出て、まあ面白がってくれたようでよかった。どこかで今日の beamer のファイルは使う可能性があるので、メンテナンスをしておこう。幾つか初等的なミスがあったので。

終了後は津山駅の近くで懇親会をしてくださった。小生も含めて4人で呑んでいたが、30代前半の先生方が面白い人でよかった。こういう時は数学の話でない生々しい学園運営の話が聞けて面白い。小生は数学を専門とする学科で学生を相手にしてるが、恵まれてるな、というのが実感。就職したばっかりの頃は結構荒れ狂って、同僚になだめられたりしていたが、津山高専というのも恵まれた所、というのを小生を呼んでくれた先生が言っていた。理学を教えられる高専は津山高専だけらしい。若い先生方は大変かもしれないが、頑張って欲しい。楽しかった。

うっかり明日の指定席券も買ってしまったので、宿のチェックアウトは10時だが、9時58分津山駅発の電車に乗らないと買った券の新幹線に乗れなくなってしまう。折角岡山に来たのに、全く観光出来ずに帰ることに成ってしまう。何とも残念だが仕方ない。まあ今回は火曜、水曜と講義が無い日をピンポイントで指定していただいて来てるので、仕方ない。木曜日は2時55分までに職場に行けばいいので、大丈夫。去年長崎から帰ってきた翌日10時集合なのに起きられなくて色々ご迷惑を掛けたが、まあ2時55分ならね。上に書いたように結構情報交換が出来て有意義だった。観光しないくらいはどうということはない。人と話すと栄養を貰えるな。人嫌いの小生だから、たまに、でないとパンクするが。

学生が原始ピタゴラス数のパラメーター表示に案外苦労していた

昨日の晩は焦った。何度も書いてるように普段使ってるパソコンがおかしいので、別のパソコンを使ってるが、外付けのハードディスクをそっちに繋いだら、何と集めたものが一部無くなってる。え？え？暫くああでもないこーでもないとして、気付いた。外付けのハードディスクがクラッシュしては困るので、定期的に買い換えてるが、いつものパソコンに繋ぎ変えて後、古い方を結構近くに放置してあって、そっちを間違えて繋ぎ変えただけだった。新しい方を見たらちゃんと雁首が揃ってる。よかった。が、その後もちょっと。USB ハブを買ったので繋いで、外付けのハードディスクやら USB メモリーやらを使っているが、重い。暫くやって業を煮やした。USB ハブをやめて直付けしたらまあ何とか我慢できる程度にはなった。それでも重いのはウィルス対策ソフトが頑張ってるんだろうか？知らんけど。で結構な時間までうだうだと色々やって、気付けばこのページの更新を忘れていた。年始には毎日頑張って書こうと思うんだが、今月だけで既に二日さぼってる。まあ日記ではないので。

ということで結構遅くまで起きてたが、今日の用事は2時55分からのゼミだけなので、タップリ寝られたが。生協で弁当を買って、掻っ込んでからゼミに臨む。素因数分解の一意性が済んだので、こうなると色々出来て楽。例えば ab が平方数で (a,b)＝1 だったら |a|, |b| が平方数とか示せる。これを使って方程式の整数解を求めるのが今日の主題。原始ピタゴラス数の決定なんかもした。x²＋y²＝z² のパラメーター表示がパラメーター表示に成ってるか（変な文章だが、分かるっしょ？）の確認で案外手間取っていて、何故かと思ったら、x と y が互いに素なのを頑張って示してる。x² と z² が互いに素なのを示すのが楽だと教えてあげる。A＋B＝C なる A, B, C に対しては (A,B,C)＝1 ⇔ (A,B)＝1 ⇔ (A,C)＝1 ⇔ (B,C)＝1 ってのはちょっと慣れてないと難しいかもね。後で ABC 定理だの abc 予想だのが出てくるが、そこでもう一回やれるので慣れるでしょう。しかし書いてる間ずっと黙ってるのはそろそろ注意しないといけないな。ちゃんと寝て行ったから特に眠くなることはなかったが、寝不足だとね。それとノートにびっしり文字が書いてあったが、ほぼ全部写してるんだろうか？自分の言葉に直して予習するのが大事なのだが。本に「かくして」と書いてあるところをそのまま「かくして」って黒板に書くからね。「かくして」なんて日常的に使わないでしょ？この2点をいつ言うかだな。まあ近いうちに。幸い来週の月曜日はうちとしては珍しく休みにしてくれる。嬉しい。

明日ちょっとお出掛けするので、早目に帰ってくるつもりだったが、結局9時近くまで職場にいた。memo.tex という名前のファイルをずっといじっていたが、最初は確かに「memo」だだったが、いつの間にか20ページを超えてる。まあ論文に出来るまではメモのままなので、いいけど。ちょっと面白い現象を見付けたが、これではまだちょっと。もう少しどうにかする。しかし論文に成ってるものにも間違いって相当あるね。レフリーはちゃんと見てるのだろうか？小生でも間違いなのが分かる程度の数学しか使ってないが。何とか間違いは潰せたが、何か見覚えがあると思ったら、別の論文でほぼ同じことを証明していて、そっちと少々違うが大筋は同じだった。引っかかってる部分は、(x＋y√m)/2 の形の元を3乗してたからで、別の論文の方では α³ という形で扱っていて、2が惰性してる二次体だから、フェルマーの小定理（の代数体への拡張版）を使えばごちゃごちゃ計算せずとも α³≡1 (mod 2) は分かるので、そっちの方がすっきりしている。初等的にやるのばかりがいいわけではないぞね。

久し振りに天下一品の拉麺でも、と思ったが、職場を出たのが少々遅かったので、膳所までにラストオーダーの9時半までは着けないかも、という気がしたので、麺屋聖にすることにした。天下一品は住処のすぐ近くにあったが、先月一杯で閉めてしまった。こっちに住み始めてすぐよく通った。結構繁盛していたが、店主がお亡くなりになったとかで一旦閉めて、経営者を変えて同じ場所で再スタートしたが、客は相当減っていた感じ。コロナで10月1日の「天一の日」が出来なくなったのも大きいかな。

さ、旅支度をしてから寝るぞ。途中乗り換えるが、電車が1時間に1本くらいしかない所に行くので、寝坊するわけにはいかない。ちゃんと寝てちゃんと起きないと。あ、明日は資源ごみの日だ。アルミ缶と段ボールだけ出してきてチャチャっと済まそう。

4月16日以来（今の言葉だと4月16日ぶり）の負け試合

昨日書いた論文のおかしな所だが、結局おかしいのではないか、との結論に成った。が、論文に書いてあるように x, y が奇数であることが従う必要はなく、偶数でも問題無く進むのだろう、と言うことで、何とか成った。もう少し考えれば x, y が奇数であることが従うのではという気がしないでもないが、今日は午前中に用事があったので、程々にして寝た。

用事は簡単に終了。松屋でカルビ焼肉定食、のつもりだったが、チキンカレーに変えた。美味しそうだったので。で帰ってきて野球までの時間にちょっと録画してあったものを見ようと見始めたが、眠いぞ。ということで1時間くらい寝ようということで横に成った。

目が覚めたらもう野球が始まってる時間だった。2回裏だが既に Giants に1点入ってる。今日は27歳のルーキー片山が先発。その後も点を重ねられ、3回途中7失点。これではもう勝てないのは確定的だが、いや、野球は何点離れていてもひっくり返ることはある、と信じ応援。すると3回裏に満塁のチャンスを作る。が、そこから押し出し四球2つの2点だけ。その後はどちらも点を取れずにそのまま終了。まあ仕方ない。昨日牧が怪我をして登録抹消されたようで、筒香、牧がおらず宮崎も休養のため出場してない。その上序盤に7失点では。まあ全部勝てるわけではないのでね。Carp に3連勝、Tigers に2連勝、昨日は Giants に勝ちと出来過ぎの1週間だった。明日勝って3カード連続勝ち越しといきましょう。

その後 DCM としまむらに買い物。何故かスマホを持って行ったが、いいことがあった。ジハンピアプリに対応した自販機があった。職場に何台かあってアプリを入れたんだが、何故か全部無くなってしまって、何のためにインストールしたんだか、と思っていたが、今朝も1台見付けて、近所に2台ある。まあよかった。

パソコンのネット環境だが、相変わらずおかしい。リブートしたいが、まだ計算が続いている。前に書いた通り別のパソコンがあるのでそっちで書いてる。このパソコンのキーボードちょっと打ちづらい。いつも使ってるパソコンの方がタッチがよくていいのだが。直らないようだったら買い換えよう。実験実習費で買うことになろうが、一昨年までは事務の人に泣きついて書類の書き方を教わっていたが、ちょっとやりづらくなった。何故かと言うと、前は学科の事務の人が時間一杯7階の事務室で働いていたが、何故か今は午前中は学科の事務室で、午後は隣の建物の理工学部事務室で働くという、謎なことに成ったので。幸い教わって書類を書いてスキャンした残骸を捨てずにとっておいたので、それを見ながらやればどうにかなるので、自力で出来るようになった。経理担当の人とも何度もメールのやり取りをして、気にせずメールで質問が出来るのでよくなった。またやろうか。リブート出来る状態に早く成って欲しい。つまりは有理点が見付かるということなので、研究が一歩前進する。ということで是非。

先週は寝過ごしてあわや呑めないという事態になるところだったが、今日は大丈夫。ちょっと早目に行ってあげよう。また珍客が来て楽しく呑めると面白いが、他の客がいなくても楽しいのは楽しいのだ。軍資金を卸した方がいいようなので、銀行に行ってから行こう。本当は買い物に行った時に隣のマツヤスーパーの京都銀行の ATM で卸してくるつもりだったが忘れていた。来週はちょっと物入りなので、少し多目に卸しておくか。ということで行ってきます。

論文に書いてあることが信用ならず、嘘くさい

昨日書いたことは解決した。2次体の性質を使わず、単に Z の世界で mod するくらいで片付いた。嬉しい、と思って寝た。今朝は起きたら11時ちょいくらい。シャワーを浴びて出勤。12時15分過ぎに到着。まだ講義が終わってない時間なので、学内の人出はそこそこ。弁当を簡単に買えて、個研室で食して準備。

1時10分から「代数学I」。整域の簡約律から始めて、体を定義して部分体がどうしたこうしたとやって、それから準同型写像を定義。核がどうしたとかやって、単射であることと核が自明であることが同値であることを示したら大体時間。来週は剰余環をやることになるので、その枕として正規部分群で群を割る話を軽く振り返ってたらチャイムが鳴った。まあ大体予定通り。

その後すぐゼミ。今日は代数的数の判別式の話。まだ整数環を定義してないので、代数体の判別式の定義はまだ先。その後アイゼンシュタインの既約性判定をやって、2項式と3項式（最高次の項と1次の項と定数項のみの式）の判別式を計算して、3次体がガロア体であること、純3次体であることの特徴付けを判別式でやって、という感じの話。一か所不思議な所があって、各自然数 n 毎に n 次体が無限に存在することを示すんだが、n が偶数の時は簡単。p を素数としてp^1/n を添加した純 n 次体を考えればよい。n が奇数の時は結構大変だったが、純 n 次体を考えればいいのでは？という気がするが、そこに書いてある証明だとうまくいかない。判別式に違う素数が含まれていれば同型じゃない、というのはデデキントの判別定理とか色々知ってるからなのだろうか？まあ書いてあることは完全に理解出来たが。ちょっと延長した。この学生はいつも時間を気にせず喋るが、まあ金曜なので慌てる必要は無い。

その後部屋で昨晩考えたことを TeX 化すべ、と思って始めるが、途中もう一か所詰めないといけない所が詰められていないことに気付いてしまった。で考えるが、何かおかしい。論文に書いてあるような一言で済むことでないと思うんだが。この人の論文はどうも信用ならん。うだうだとあーでもないこーでもないといじったが、全く埒が明かない。間違ってるのでは？という気がする。この人は何故か二つ名がある人で、そのもう一つの名前で書いた方にとんでもないのがある。x³＋117y²＝5 が整数解を持たないことを純3次体のことをぐちゃぐちゃやって証明しているが、Math. Review の reviwer が「mod 9 すればすぐ分かる」と冷たく突き放していた。こんな人の書く論文だからな。もうちょっと付き合うが、来週の出張の件もあるし程々にしておこう。ということで10時半くらいまで職場にいた。

職場を出る前にちらっと野球の情報を見たが、Baystars はまたしても勝った。相手は Giants。1点先制されたが追い付いて、延長戦に持ち込んでサヨナラ勝ち。素晴らしい。6連勝。貯金生活だ。ずっと貯金のある状態でシーズン終えられるといいが。

ガストとすき家は夜間料金の掛かる時間に成ってしまったし、「探偵！ナイトスクープ」を見たいし、ということで晩飯は買っておいたカップ焼きそばで済ますことにした。で住処に着いてすぐにお湯を入れるべくポットのボタンを押したら、お湯が出ない。何と空焚きをしていたようだ。勿体ない。腹が減ってる時に限ってこうなる。まあいいけど。さっきの続きを考えながら待って、食事が済んだらもう一度考えよう、と思ったら、明日は午前中に用事があるのだった。程々に寝ておかないと。先週は徹夜して起き続けていたが、野球のデーゲーム終了後に寝入ってしまい、あわや呑み屋に入れてもらえないという事態だったからな。今日はそれなりに寝ておかないと。

「探偵！ナイトスクープ」が終わったら寝てもいいか、と思っていたが、何だかその後新しいドラマが始まったようだ。何か不吉なスタートっぽい。また見ちゃうかも。見る物が多いと時間をとられるし、程々にしておかないとね。ただでさえ野球で3時間～4時間くらいとられちゃうから。ま、程々にね。

浅越ゴエの快進撃に仰天。録画しておくべきだった

昨晩はやはり中々寝なかった。が、それなりには寝た。で起きたら10時半くらい過ぎ。2時55分の講義までに職場に行けばいいので、昨日の「ミラクル9」の2時間スペシャルを見て、12時半過ぎに出発。はま寿司で食事。高い物を頼み過ぎたか、値段の割には皿の枚数が少なかった。

でまだ時間があったので個研室で作業をしていたが、エクスプローラーが開いている時にうっかり Del キーに触ってしまい、何か迷わず y を押してしまって、USB メモリーからファイルを一つ消してしまった。USB メモリーのファイルはゴミ箱行にならずに完全削除されてしまう。む、と思ったが、昨晩住処で作業して pdf ファイルを作ってあったので、それを見ながら復元作業。dvi ファイルを tex で生成するという時代遅れのことをやっている小生だが、そのおかげでほぼ完全に復元出来た。まあ無駄な時間だったのは間違いない。

2時55分から「数理科学セミナー」まずピタゴラス数を円のパラメーター表示を使ってやる話。t＝tan(θ/2) とおくと sin θ と cos θ が t で表される、という有名な話をし忘れた。留学生がふうふう言いながら日本語で苦心しているのをみたら、気の毒に成ってきて、早く解放してあげたい、という気持ちがどこかにあったのだろう。次の人の所はほぼお話。p がソフィー・ジェルマン素数の時にフェルマー予想の first case が成り立つ、というのを証明するようなことを言って始めたが、2分くらいで変な所があるのを気付いて突っ込んだら、1週間考え直してくると言ってた。そんなに簡単なことだったかいな？足立先生の「フェルマーの大定理」（今はちくま学芸文庫で手に入る）に出ていたので見てみよう、ということにした。6人しか登録してないのに3人目もやるらしく、ユークリッドの互除法の話をしていた。本に書いてある割り算の回数の見積もりが小生の知っているのよりちょっと悪いようなので、コメントしておいた。もうチャイムが鳴った後だったので詳しく話せなかったが、フィボナッチ数列を使って回数の見積もりは出来る。商と余りがずーっと1で続いているのが最悪の状態で、この場合がまさにフィボナッチ数列、という話をしたかったが。また別の機会にやります。

少々の休憩を挟んでゼミ。今日はディリクレ指標の群の部分群とアーベル体の部分体の間の1対1対応。他にも conductor-discriminant formula を使って p 分体の判別式を計算したり、p  冪分体の判別式を計算したり。後者は任意の円分体の判別式を藤崎先生の本を読んだ時に計算したのを二人とも忘れていて、共役差積がどうしたとかそんなところまで遡り始めた。いやいや、公式が出てるでしょ、と探させたら漸く見付けた模様。で訳の分からない計算だったが、結果が分かってるとうまくいく。オイラー関数の値を求めてしまわないで残しておく方が上手くいったのは意外だった。で色々苦戦して、予定の30分くらい前に終了。勉強になった。復習しないと。色々やることがあって中々出来ないでいるが。

その後部屋で昨晩住処で書き散らかしたものを TeX 化する作業。が、結構間違いがあった。a≡b＋1 (mod 2) としていたのに、いつの間にか  a と b の偶奇が等しいとしている愚かさ。どうやるんだろうか？と思ったが、もう9時を大きく回っていたので、やめることにして帰る。

今日（もう昨日に成ってるが）は最低気温が12度、最高気温が14度とか訳の分からないことを言ってた。うすら寒いのでちゃんぽん亭に寄って温かいものを食べようと向かう。あの店は入口のドアをちゃんと閉めない客が多くて腹立たしい。小生が食券を買っている時に一人出ていったが、ドアを閉めようともしない。食べてる最中に Uber Eats の配達の人が来たが、開けっ放しにしていて、うすら寒いので「閉めて！」と叫んで閉めてもらった。いい加減自動で閉まるように工夫したほうがいいのでは？

職場で考えてたことは m が square-free だったら二次体 Q(√m) の性質からすぐ従うのに気付いた。が、square-free でないケースでも出来るっしょ、と思ったが、まだうまくいってない。気付けばもう明日は金曜日だ。先週の「座王」を見ないと、ということでまずそちらから。いやー、凄かった。まだ見てない人がいるかもしれないが、書いちゃう。浅越ゴエが9人全員を倒して、丁度100勝に到達。座王に成るのも10回目とキリがいい。えげつなかった。最後に武将様ことミサイルマン岩部との99勝対決だったが、岩部の情けなさが目立っただけだった。あー白木が1回で7勝したのが今までの記録だったそうだが、9勝は凄い。スペシャルででもない限り塗り替えられない不滅の記録だ。いいものを見た。

昨日書いたが、いつも使っているノートパソコンのネットワーク周りの様子がおかしい。一旦リブートすれば直る程度のことなのかもしれないが、一生懸命有理点探しをしているのを止めるわけにはいかない。もう一台のノートパソコンが上手く動ているのでいいです。このパソコンには助けられていて、2年前の学生の修論の締め切り間際に職場のデスクトップパソコンがウィルスにやられたが、その時にこれ（目の前にあるので「これ」と言ってる）に助けられた。もうちょっと色々頑張ってもらわないと。来週の出張のお供に連れて行く。暫く住処に置いておこう。

あ、今日（昨日だが）は野球は中止。2カード連続の3タテとはいかなかったが、2カード連続で勝ち越した。明日から横浜スタジアムで Giants 戦。3タテしましょう。最悪でも勝ち越しを。

二日続けて乱打戦を制し5連勝で5割復帰（佐野1000試合出場、レイノルズ二日で2勝）

昨晩も寝たのは遅かった。一昨日書いた立方数であるリュカ数列の項を決定する証明を Steiner の論文を読み読み考えたが、何か色々おかしい。下らん誤植だったり、a＋b√5 と c＋d√5 が等しいとして出てくる帰結が a＝d だったり。その辺は大体逃げ切れたが、最後に「S が偶数で T が奇数」としてる所が明らかにおかしい。数値例を調べたら S が奇数で T が偶数に成ることがある。む。でちょっと考えたら S と T の偶奇が逆、と仮定すれば大丈夫であることが分かって、無事解決。という所までメモっておいて寝た。

で起きたのは結構遅い。保健センターで診察してもらえるのは3時半までだが、シャワーをざっと浴びて出掛けるが、ギリギリ間に合うかどうか。珍しく追い越し車線を結構な時間走った。一番大きな駐車場に停めたのでは間に合わない。生協の近くでも。ウェスウィング近くの身障者用のスペースに停めれば何とかなるかも、と思って行くと、なんとそこに車が停まってる。仕方ないので保健センターの医師用の駐車スペースが空いてたので停めさせてもらう。で保健センターに駆け込んだ時は3時29分くらい。まだ時間前だよね、と図々しくねじ込む。と書いたが、勿論小心者なので、平身低頭して受け付けてもらう。先生にも詫びておいた。もう白衣から背広に着替えた後で、パソコンの電源を入れ直したそうだ。マスクをしてなかったが、小林先生はこんな顔をしてるのか。思ったより老けてた。で無事終了した。助かった。用事のある前の日はちゃんと寝ないといけないね。来週の火曜日はちょっと出張だが、遅れないようにしないと。前の晩はちゃんと寝ること。当時は余裕を持って行動すること、という当たり前のことをちゃんとやらないと。

車を生協の近くの駐車スペースに移して、弁当を買って食して、で個研室で作業。昨日の晩やったことを一般化しようと試みたが、結構一般化出来ることが分かった。5 でやってるから p≡5 (mod 8) なる素数にしようかというつもりだったが、p≡1 (mod 4) で大丈夫だった。素数であることも途中までは使ってないからそこまで補題にしておいていいかも、などグダグダと。来たのが遅いからあっと言う間に時間が過ぎていって、5時45分の野球開始の時間。1回裏の途中だが既に2点取ってる。その後もう2点取って、1回裏打者一巡の猛攻。昨日の好調さがまだ残ってる。が、竹田がよくない。すぐ2回表に大山にソロホームランを打たれ、3回裏は四球、牧の捕球ミス、四球で無死満塁。打順は森下、佐藤輝明、大山のクリーンアップに回ってきて、絶体絶命。が、森下、佐藤を打ち取った。よしよし、と思ったらパソコンの画面がド派手に。ホームランが出るとこうなる。大山に満塁ホームランを打たれてしまい逆転された。最悪。そこで一旦 Google chrome を閉じた。出来た所まで印刷して、7時くらいに職場を後にする。

7時を過ぎると高速道路はすいてる。すいすいと京都東まで来て、7時半過ぎにドラッグユタカに入店し、処方箋を渡して、処方されるのを待ってる間に買い物。その後読書しながら待った。8時前には住処に帰ってきた。

テレビを付けると、1点リードしている。お！逆転されたすぐ裏に今日1000試合出場の佐野に同点ホームランが飛び出したようだ。6回裏は宮崎に犠牲フライが出て勝ち越し。が、昨日同様今日も点がよく入る試合で、7回表に追い付かれた。7回裏は満塁のチャンスを作るも㍘。5回裏も満塁で得点出来なかったようだ。大丈夫か？8回表に Tigers に満塁のチャンスを作られてしまうも、福島がショートゴロで本塁で封殺し2アウト、前川（まえがわ）のショート後方へのフライを京田がスーパーキャッチして無失点。よしよし。ピンチの後にチャンスありとは言ったもので、2死1、2塁のチャンス。勝又のライト前への当たりをあらかじめ前に守っていた森下が捕って本塁へ返球するも、少し逸れて、キャッチャーのタッチを蝦名がかいくぐり生還し勝ち越し。9回裏は今日は康晃。まだ安心出来ない。2アウト2塁から先程悔しい思いをした森下がレフト前にヒットを打つも、2塁走者は生還できず。佐藤がセカンドゴロを打ちゲームセット。これで5割復帰。勝俣は5打数2安打で5割を切ったが、まあ打撃成績が5割なんてのは普通続かないんでね。5打数2安打で打率が下がるのは普通ではないこと。コツコツとヒット、打点を稼いでください。そうすればチームの上昇は間違い無し。

などと書いている最中にパソコンのネット環境がおかしくなってきた。Wifi がいかれたか？と思ってしばし待っても回復しない。でいつも出張やら学内の会議で使っているノートパソコンを来週の出張の為に持って帰ってきていたので、そちらでやると、何の問題も無くネットに繋がった。無駄な時間を使ったな。投稿の時間が変な時間に成ってるのはそのせいです。

上に書いたように寝不足だし、もう寝ようか？明日は2時55分までに職場に行けばいいので早起きの必要は無いが、色々やることはあるので。寝坊してもいいように講義に使う物は一式持ってきてる。ギリギリに行っても大丈夫だが、大体万全の準備は役に立たない。明日もそのジンクスがいきて早起き出来たらいいな。そしたら昼飯ははま寿司だ。もうちょっとしたら寝よう。

14安打16点の猛攻（勝又が3安打4打点）で勝利（被安打も14だけど9点に抑えた）

昨晩は案の定結構呑んでしまった。途中から記憶が無い。いけないな。アルコール度数のそんなに高くないものを呑んだのだが。ダウンロードしたファイルが幾つかあったり、書き散らかしたメモがあって、途中まで TeX 化してあったり。ケーブルテレビのチューナーに録画してあるものを幾つか見たような気がする。「歴史探偵」はあまり面白くなかったという気がするが、ハードディスクの容量を空けるためにダビングしたのは覚えている。それと、「八重の桜」もダビングしようとしたが、録画されてない。ガーン、録画予約忘れたか、と一瞬思ったが、予約した覚えがあるが。チューナーは録画出来なかった時はその旨表示してくれるように成ってて、見ると放送が急遽中止に成った模様。東北で大きな地震があったが、そのニュースをやったのだろうか？

何時に寝たかも覚えてないが、宅配便で浜田省吾のデビューアルバム「生まれたところを遠く離れて」の50周年を記念してリマスターしたものを予約しておいたのが届いたので起きた。時計を見ると11時半くらい。まだ眠いのでもう一度ダウン。11時半で寝足りないということは相当遅くまで起きていたのだろう。

で次に目が覚めたのは5時過ぎ。まだ眠いような気がしたが、今日は野球が5時45分プレーボールなので、起きた。今日から横浜スタジアムで Tigers、Giants と6連戦。大事だぞ。先発は深沢。この前はまずまずだったが、今日はよろしくない。1回の1失点はまあダブルプレーの間だから仕方ないとしても、2回、3回とタイムリーヒットを打たれ1失点ずつ。Tigers 強いしな。先発は防御率 1.80 でここまで2勝と好調な才木。が、3回に牧がバースデーアーチを放ち1点差に。深沢は5回もマウンドに上がったが、走者二人を残し降板で、またしても勝ち星ならず。橋本が2番手だが、この前は深沢、橋本と繋いで橋本に勝ちが付いたので期待するが、三者連続四球で、当然二つが押し出しのため2点取られた。またしても一方的に負けるのか、と思ったが、今日は違った。すぐ5回裏に佐野タイムリー内野安打、祐大が同点となる2点タイムリー2ベース、勝又がタイムリーヒットで逆転。またしても橋本に勝ちが付くのか？と思ったら、7回にレイノルズが同点にされる。まあ渋い当たりの内野ゴロの間だから仕方ない。が、今日はまだ荒れる。祐大が押し出し四球を選び同点。勝又が2点タイムリーヒット、牧がタイムリー内野安打でもう1点。4点差付いたしもう大丈夫だろう、と思ったがまだ荒れる。伊勢が満塁のピンチを作ってしまい、森下にタイムリーヒット、佐藤輝明に2点タイムリー22ベースを打たれ1点差。が何とかそれで抑えた。今日の Baystars は大丈夫だった。8回裏に勝又2点タイムリーヒット、代打京田がタイムリーヒット、林の内野ゴロが悪送球を誘い13点目、三森が2点タイムリーヒットを打ち15点、佐野のセカンドゴロの間に16点目。7点差付いたし流石に大丈夫だろう、と思うが、まだ心配。流石に康晃は出てこず、坂本。三者凡退に抑えた。よかった。これで4連勝。開幕4連敗は取り返せた。明日勝てば5割。勝ちましょう。

しかし勝又は凄い。今日は4打数3安打1死球4打点。打率は驚異の5割。得点圏打率も5割。明日5割を狙うには験のいい数字。明日も暴れてもらおう。Tigers が勝つと藤川は監督として100勝目で、原の記録を3試合抜く最速記録だったが、原とタイ記録に成るよう明日、明後日も負けてもらって、次の試合で達成で我慢して下され。

明日は保健センターに行く日。天気は良い。暑くなるらしいが。朝は10度を割るようなことを言ってたが、日中は25度まで上がるようなことを言ってた。ドラッグユタカで薬を処方してもらってるが、8時まで（店自体は24時間営業）なので、そんなに遅くなく職場を出ないといけない。まあ上着無しで行って帰ってこられるのでいいけど。野球を途中からなら見ることが出来る。明日も応援するぞ。

計算は冷静さを欠いてる時は幾らやってもあわない。冷静に成れば一瞬

昨晩は寝たのが例によって遅かった。下らんことをして時間を無駄に使った挙句、続けて下らん計算を始めたら今度は合わないこと合わないこと。得意中の得意の2次無理数の冪乗の計算なのだが。寝ないといけないので、途中で放り出して寝た。そこに至るまでの計算が間違っていないことはコンピューターで確かめてあるので、残ってるのはその冪乗の計算だけなので、職場に行ったらやることにして、観念した。

で起きたら1時半くらいと、いつもの月曜日。ゼミは2時55分からなので全然問題無いが。過剰に急がず慌てずということで走行車線を走り、職場に着いたのは2時半くらい。弁当を生協で買って食して、ゼミ開始。

今日は最大公約数と最小公倍数をイデアルを使って定義して、子供の頃に習った定義と一致する（正確にはより強いことが示されてるが）ことを示してから、素因数分解の一意性とユークリッドの互除法など。全て Z が P.I.D. であること（特に既約元が素元であること）が効いていて面白い。2時間ちょっとやって終了。1人でやって毎週2時間分準備してくるのは大変だろうな。部屋はもう1時間くらい余分に押さえてあるが、まあ無理してやることはないのでね。

少し早目に終わるので近隣の部屋で入り口を開放してゼミをやっている人（何人かいる）の様子が分かるが、月曜日は特任教授の T 先生が学生一人を相手にしてゼミをやってる。誰とやっているのだろう？ここ数年代数幾何をやりたいと言う学生が増えている。助教の H 先生にやってもらえばいいと思うが、面識が無いのだろう。T 先生は2回生には群論、3回生には複素関数論を教えてるから、馴染みなのだろうな。

その後部屋で昨晩やっていた計算をやったが、すぐ出来た。冷静でない状態で何度繰り返しても駄目なのだ。冷静に成ればなんてこたあない。阿呆だった。それからリュカ数列が立方数であるのはどんな時かであることの証明を読んだが、簡単だった。いや細部で詰めてない所があるが、一般化出来そうな気がする。腹が減ってきたし、適当に切り上げてきた。

帰ってきたら「Qさま！！」が佳境に入った頃合い。カズレーザーは何でも知ってるな。最後の問題の正解は「大江健三郎」だったが、ヒントがちょっと出たら「ああ、そういうことか」と答えて、で「言われてみれば大江先生の顔でしたね」と特に興奮するでもなく答えていた。あそこまでいくと正直怖いぞ。

火曜日は職場に行く必要が無いのでつい夜更かししてしまう。明日に至っては開催予定だった教授会をやらないそうなので、いよいよ寝るのが遅くなる。月曜日の深夜は前は何か若手ミュージシャンだか何かのドキュメンタリーがやってて超絶つまらなかったし、それが終わったと思ったら韓国ドラマを1時間やる時間に成って、これまたつまらん。「くりぃむナンタラ」が終わってからプロレスが始まるまでが長い。今晩はその時間を使って郵便物を出しに薬大前のポストに向かって、それが済んだらコンビニで買い物だ。30分も掛からないから、短時間で見られるものを見て、それからプロレス。さて何時まで起きていようか？

などと書いてしばし。ABCでは月曜の深夜0時（要するに火曜日に成った瞬間）に「爆踊！アバンギャルディ 昭和歌謡の宴」という番組がやってるが、これが面白い。今日が3回目で、ゲストが渡辺真知子。デビュー曲の「迷い道」の話をしていたが、親近感湧いた。横須賀の生まれだそうで、京浜急行を利用していたとか。で「迷い道」の歌詞の「一つ曲がり角 一つ間違えて 迷い道クネクネ」というのは金沢文庫駅の車庫への引き上げ戦だったり違うホームへ移るための渡り線だったりを電車が走るのを見て思い付いた歌詞、という話。京浜急行が歌詞の由来だったとは。若い人は知らないだろうけど、声にパワーがあっていい歌手だよ。2曲目の「かもめが翔んだ日」の話も面白かった。月曜のこの時間は「月よるビッグバン」という枠で、割としょっちゅう番組を変える。コントの番組だったりただ雑談するだけの番組だったりマニアックなクイズ番組だったり M-1 王者のたくろうの初看板番組だったり。下らんものは本当に下らんかったが、今のは面白い。暫く続けてくれないかな。などと思って見ていたら、渡辺真知子編は来週もやるようだ。来週の月曜の晩はあまり夜更かしできないので、録画しておくか。 

昨日の猛攻とは打って変わって、犠牲フライと併殺打の間の2点だけ。3タテしたので文句は無いが

昨日の晩は焦った。一昨日の晩から昨日に掛けて、超絶下らないことをしていてほぼ寝てなかったためか、野球が5時半くらいに終わった後寝床でスマホをいじっていたら寝落ちした。で目が覚めたら、ふなごやの閉まる数分前。「閉まる」というのは、客がいなかったら閉店準備に入る、という意味で、新しい客を受け入れないことも意味する。焦って飛んで行って、店の前に着くともう看板は片付けらていて、電気も消えていた。恐る恐る「今晩は」と言ったら、入っていいとのことで、よかった。小生はいつも大金を落としていくので、いいと思ってくださったのだろう。が、昨晩はもっと不届きな客がいた。ちょっと用足しをしていると、何やら店から聞こえる声が賑やか。店長とバイトの人が話している声としてはデカ過ぎる、二人の声と違うのが聞こえる、と思って出ると、男女の二人組が座って呑んでいるではないか。別の店で呑んでて、かしを変えて呑むつもりで行った店が閉まってて、ふなごやのことを思い出して来たとか。前に来た事がある人らしく、店長が姓を呼んでた。もう相当酔っ払ってたようで、同じことを何回も言うし、言われたことを何度も忘れて聞き返すし。楽しかったのでいいけど。出身地の話に成り、男の人は千葉の木更津出身だと言っていてビックリ。「僕は対岸の横浜の出身ですよ」と言ったらビックリしていた。その後仕事の話に成り、言いたくないが正直に言うと、何とその人はパナソニックで働いてる人で、南草津駅からバスに乗って通っていると言ってた。「会ってるかもな」という話に成った。小生は今はバスで通うことは殆ど無いので、まあ会ってはいないだろうが。「あのベンツのバス2台繋げたの乗りたいわー」とも言ってた。「あのバスはパナソニック東口は通過しますよ」と教えておいた。でもう大分遅くなってから帰っていかれたが、バイトの人を拉致していった。女の人はしれっと逆方向に向かわれたが。小生は寝不足だったので何度か寝落ちしたし、客が大体はけたということで、お開きに成った。いつもより呑んだ量は少なく、払ったお金は少なかった。楽しい晩だった。

で流石に寝不足だったので、帰ってきてすぐダウンした。呑んだ量が少ないのとちゃんと寝たので、1時半開始の野球は最初から見られた。

昨日の Baystars は凄かった。2回に林の犠牲フライで先制したが、その後6回までは無得点。東が我慢して抑えているとチャンスが。7回に三森、勝又が連続ヒット、代打で出たヒュンメルが死球で無死満塁。そこから林、牧、度会、京田とタイムリー、タイムリー、タイムリー、2点タイムリーで5点取って、佐野凡打の後祐大にもタイムリーヒットが出て、1イニングに5安打で6得点。マシンガン打線復活か、という感じ。いや、繋がって一気に点を取ると気持ちはいいが、少しずつ点を取ってくれた方が投手としては楽だろうが。ということで大勝でカード勝ち越し決定。今日勝って今シーズン初の3連勝を是非。自明だが3タテも初めて。さあどうなる、と見始める。が、今日は一転地味。3回にヒュンメルの犠牲フライで先制、6回に宮崎のお約束の併殺打の間に追加点で、今日はタイムリーヒット無しで2得点。石田裕太郎、伊勢、レイノルズ、康晃と無失点リレーで3連勝。まあこんな勝ち方もあります。借金は2まで減った。火曜日からは横浜スタジアムで Tigers、Giants と6連戦。最低でも勝ち越しましょう。そうすれば5割だ。

しかし勝又が凄い。昨日も今日も2安打で、16打数7安打、打率は .438。しかも昨日も今日も頭を越えそうな当たりを走って走っての好守を連発。8年目で大飛躍だ。もっともっと目立っておくれ。

パ・リーグは大混戦。首位 Hawks が3位 Buffaloes に負けて、首位に上がるチャンスだった Eagles が負けたため、Hawks と Buffaloes が12勝8敗で同率首位、Eagles は11勝8敗で0.5ゲーム差。面白いぞ。その下も借金2、4、5とまだまだ。混戦の方が面白い。もっともっと混乱して遅れ。セ・リーグは Dragons が4勝15敗で最下位を独走。5位の Carp と3ゲーム差。優勝予想している解説者がいたり、Aクラスを予想した解説者が結構多かったそうだが。浅尾美和は悲しかろう。「有働Times」の途中で「サンデースポーツ」を見るために NHK に切り替えたが、どんな表情をしていただろうか？「おはよう朝日です」に出るのは何曜日だったかな？朝から暗い顔で出ないで済むよう、Dragons には頑張ってもらわないと。

今週は色々用事がある。水曜日は講義もゼミも無いが、先週は会議（完全対面制）、今週は保健センター行のため、2週続けて行かないといけない。木曜日は「数理科学セミナー」のため本を持って移動しないといけないが、雨だと言ってた。嫌だな。仕事のある日は雨が降らないと嬉しいのだが、まあそう都合よくはいかない。来週は出張があるが、その時だけは降らないで欲しいが。祈りましょう。

今日は整域を定義出来た

今朝は11時くらいまで寝てしまった。大分調子は戻ってきたが、まだちょっとおかしい。で風呂キャンで職場へ向かう。弁当を買って食して、しばし個研室でボーっと過ごす。

1時10分から「代数学I」。今日は 0x＝0, ∀x とか、(－a)(－b)＝ab などの初等的な性質を示して、それから部分環であることの定義と、部分環であることを示す簡単な判定条件などを与えて、零因子を定義してから整域を定義して、整域上の多項式環はまた整域であることなどを示したら時間に成った。体の定義が出来なかったが、まあそれは来週やるということで。準同型写像なども定義出来そう。そうすると kernel が出てきたりイデアルが出てきたり剰余環が出てきて急に難しくなるが。前の方に座っている学生が途中結構長い時間寝ていたが、早くも脱落したかと心配に成った。暫くしたらまた板書を写し始めたので、単に眠気に耐えられなかっただけかな。眠気を完全にコントロール出来たらノーベル賞だと思うが。講義中眠く成って困るのは自分だけだが、運転中に眠く成ると悲劇的な結末が待っているので、気を付けないと。

講義が終わるとすぐゼミ。他大学から進学してきたM1の学生が相手だが、まだ学生証でゼミ室が開けられないらしい。もう一人同じ大学から来た学生がいるが、彼も開けられなくて困っていると言ってたそうだ。後で事務にお願いしておくと言って、ゼミ開始。今日は共役元とか共役体とか。学部時代にアルティンのガロア理論の本を読んだそうだから、まあ心配あるまい、と思ったら、何か色々想定と違っていて困っていたようだ。アルティンの本は分かりづらかったので、途中で読むのをやめて放り出したが、先の方を見ておくか。心配に成ってきた。でトレースとかノルムとか定義したら大体時間に成った。3時間強休みなしで。講義後は疲れていて集中出来ないことが多いが、まだ今くらいの所なら大丈夫。ノルムとトレースを表現行列の行列式とトレースで言い換えるのが難しかったようだ。さもあらん。この定義のいい所は、トレースとノルムが下の体に落ちてることが自明なこと。共役元全ての和と積で定義すると、演算を保つのは自明だが、下の体に落ちてるのを示すのはちょっと工夫がいる。まあちゃんと理解して進んでるようで、大丈夫だろう。

風邪引きが多いようだ。小生もそうだが、一昨日の会議では二人マスクをしていて、1人は結構大儀そうにしていて、今日の学生も週の半分くらい風邪で潰れたと言ってた。日中は暑いが、朝夕はまだ涼しい。一枚上に薄手のを着て行ってるが、帰りが遅くなると不可欠だな。気を付けないと。

ゼミ終了後は事務にカードキーの件でメールを書いて、代数学Iの演習問題を web に上げて。web の方は学外から見えないように設定された学科サーバーのページがあって、そこに問題を置いていたが、少し前にブラック兄さん（一部で有名）から見えてる旨連絡をもらったので、今年から moodle＋R という登録者以外は見られないようになっているのを使って提供するようにした。が、moodle＋R の使い方がまだよく分かってないので、ちゃんと置けたかどうか心配でならない。本当にこれでいいのだろうか？まあいいけど。別に成績の足しにするつもりは無いしね。去年までは学外から見える秘密の URL を教えてあげるからと書いておいたのに、誰一人として聞いてこなかったから、加川の代数の講義など理解するつもりは無いのだろう。口は悪くて厳しそうなことを言ってるが、単位には甘いというのは有名なのかもしれない。いいけどね。で学内便で有隣社と生協の伝票を送る手続きをすべく7階の事務室に行って、書類を2枚書いて、のつもりが2枚目の書類が別の書類。おっと、と思って探したが、無い。「原本」と書かれたクリアフォルダーを見たが、無い。もしかして小生の手に取った府クリアフォルダーに原本を入れ間違えたか？仕方ないので書いたところを一旦修正液（随分久し振りに使った）で消して、コピーを取って書き直し。間抜けだ。有隣社に9万円強（2冊で！）払ってるから、ちゃんと手続しないと。昨晩寝る前にちょっと解読に努めたが、少し分かった。高い本だし、ちゃんと理解しないと論文の revised version が送れない。頑張って読まないと。

調子が戻ってきたし、油っこいものを食べよう、ということで松屋と松のやが一緒に成った店に向かう。が、何やら不穏な雰囲気。駐車場に物凄い数の自転車が停まってる。これは相当待たされるか？と思ったが、そこは流石はファストフード（最近「ファーストフード」と間違った言い方をしなくなったな）だけあって、10分くらい待っただけだった。確かに客は沢山いて五月蝿かった。金曜の晩だからな。学生が大量にいたということだろう。でそのまま国道一号を通って一路山科を目指すが、峠の少し前で片側交互通行の所があった。年度が始まったばっかりだし、予算浪費のための工事ではあるまい、と思ったら、警察車両らしきのが停まってて「事故」の表示。幹線道路とはいえ、片側一車線。事故は迷惑だ。気を付けないと。運転してる限り事故を起こさないとは言えないし、気を付けてても貰い事故というのもあるからな。小生も事故を起こしたことはあるので、偉そうには言えない。集中力を切らさず運転するのみだ。追突はしないように車間距離はそこそことるようにしている。教習所で高速道路教習が終わった後、「あんたら二人は車間距離が狭い！」と怒られた。別の人には前の車のリアタイヤが見えるくらいの車間距離はとらんといかん、と言われて、それから心掛けてる。高速道路は本当は相当の車間距離をとらないかんが、守ってる人はまずいないな。小生もそうだが。事故ってからでは遅いので、気を付けないと、と気持ちを新たにした。

野球の結果を見たが、Baystars は勝ったようだ。牧が勝ち越し打を打ったらしい。下位打線でチャンスを作って、一番牧が返すという、相川監督の作戦通りに成った。よしよし。まだまだ上を目指さないと。首位 Swallows が4連勝でストップして、逆に2位 Tigers は連敗ストップ。まだまだ混戦に持ち込まないと。

「数理科学セミナー」は実質今日が初回

少々調子が悪い方が早く寝床に入るので、かえって健康的かも、という気がする。今日もタップリ寝て、今朝は10時近くまで寝ていた。木曜日は2時55分からの用事という変な日で、だから2時に人が訪ねてくるよう調整したが、早起きしたのでは意味が無かったが、まあいいです。はま寿司でたらふく食べて、個研室で色々やれた。時間通りに人が訪ねてきて、寿司の後に風邪薬を飲んでおいたので、大分復活してきた。

2時55分からは「数理科学セミナー」という時間。3回生の選抜メンバーに輪講をしてもらう。先週はガイダンスだけで、実質今日が初回。まあ初回なら多少下手なのは仕方ない。しかも今日本来やる筈の学生がインフルエンザで、急遽代打をしてくれと言われたらしい。まあただそれでもこっちのメーターはつい上がってしまい、少し雰囲気悪かったかな。二人目は留学生で、日本語も英語も苦手なのか、秘密兵器（何って？内緒）を持ってきていた。うん、まあちゃんとやっている。時間が来てしまったので次回に持ち越しになった。

その後すぐまたゼミなのは結構キツイ。二コマぶち抜きでゼミだからね。今日はディリクレ指標の話。(Z/mZ)^× の指標だと見ると気楽なのだが、導手を持ち出すと面倒臭い。積を定義するのに法を揃えて、で積を取った後原始的な指標に直すので大分紛糾した。三人寄れば文殊の知恵というわけで、結構どうにかなるが。指標に対応するアーベル体の定義をして、一つ例をやって力尽きたようだ。まあ多少群論に難があるようだが、ガロア理論が出来てしまうのは不思議。で7時45分くらいに終了した。疲れた。

が、何だか調子がよくなってきた。大学時代の友人が言ってたが、風邪だったり二日酔いだったりする時にゼミをやると調子が良くなる、と。その通りだ。まあ二日酔いでゼミをやらないようにはしているが、風邪は仕方ない。晩飯も風邪薬を飲んでおいたので、明日の講義は大丈夫だろう。

最近「ゴチバトル」が無いな、と思って10chのホームページを見たら、土曜日の午前中に何故かやる。今日は野球で「グルグル99」の放送が無かったが、日本テレビのホームページも見たら、放送していた。今日の野球の放送は関西だけだったか。急いで録画予約しておいたが、ハードディスクが残量不足。「豊臣兄弟」と月曜日にBSでアンコール放送している「八重の桜」を割といい画質で録画しているので、Blu-ray にダビングすれば余裕は出来る。後でやろう。「一部の地域を除いて」というのに関西は結構引っ掛かる。原因は大体 Tigers 戦の中継。そうそう、前に酷いことがあった。スカパー！のTBSチャンネルで Baystars vs. Giants のトップナイターを7時前までやって、9時近くから「リレーナイター」の中継があると、当然 MBS で Baystars vs. Giants の放送があるかと思えば、何と Tigers の試合の放送があり、Baystars の肝心の部分が見られない。当時は今みたいにネット文化が盛んでなかったし、スマホも無かったから、本当にリレーナイターが始まるまで経過が分からなかった。でリレーナイターが始まったら大量リードされてるみたいなことがあると、気分は最悪だった。最近は TBS チャンネル2で試合開始から終了まで放送されるのでよくなった。まあ勝ってないと気分が悪いのは同様だが。

帰ってきてパソコンを見たら、リブートされてた。昨日職場を出る時にパソコンの電源を落としたら、Windows update が始まった。嫌な予感がしていたが、住処のパソコンは昨日の時点では大丈夫だったが、何やら更新プログラムがあるから再起動せよ、の指示が出ていた。今朝住処を出る時は計算続行中だったが。むぅ。腹が立つがもう一度計算を始めた。また2日、3日結果が出るまで掛かるだろう。でテレビを付けると、南丹市の事件の件。死んだ児童が「ゆき」という名前で、殺したとされる父親の名前が「ゆうき」紛らわしい。どうやら実の子ではなく養子らしい。人が死んだ件なのでよかったとは言えないが、血の繋がった実の子供を殺したのではないのはちょっと救われた。いや、人が死んでるんだから「救われた」はよくないが。元刑事という人が解説していたが、色々おかしなことがあって、警察は随分前から目を付けていたらしいとのこと。全くの素人の小生でも何か肉親に怪しい所があると感じてた。プロの目は逃れられないな。

さて、今日もいつもより早目に寝るか。上に書いた通り明日は講義だし。近隣の部屋を覗くと、パソコンを繋いでスクリーンに映す準備をしている様子だが、座って資料を見せながら喋るだけなのだろうか？楽でいいな。こっちは95分間、ひたすら喋って書いてだからね。普段は何でもないが調子が悪いと本当にキツイ。明日には全快していますように。

風邪気味。薄ら寒いぞ

昨晩はちょっと早目に寝た。調子が悪かったので。で案外眠れて、喉の辛いのはおさまったが、風邪っぽい。節々がだるかったり、頭がちょっと重かったり。喉が変だったのが軽度の風邪が原因という程度ならいいが。今日は会議を対面でやる、しかも窓の無い狭い会議室で、というのが嫌だったが、自分でメールを出した件があったので、ちょっと風邪気味程度では休めない。シャワーを浴びない方がいいかという気がしたが、寝癖があまりに酷いので、風呂暖房を付けてシャワー。今日は雨で少し気温が低いようなことを言っていた。薄手のジャンパー（死語）を羽織って出発。

会議の1時間くらい前に職場に着いた。ちょっとグダグダと作業をして、4時45分くらいに会議室へ向かう。が、何やら皆さん既に集まっている。去年の学科会議や教授会が4時50分開始だから今日もそうだと思ったら、学科長は4時40分開始と案内メールを出していたようだ。次回から4時50分開始にするとの仰せだった。今日は自己紹介と細々とした議論を少々やってから教授・准教授だけ居残りで難しい話。皆さん色々考えていらっしゃる。代数は人手不足できついのだ、ということを言っておいたので、今日はよし。現状を分かってくださっている方がいらっしゃって助かった。7時過ぎに終了。

そのまますぐ帰ってもよかったが、調子の悪い時は下道より高速道路の方がいいので、渋滞が済むまで待って、9時過ぎに職場を出た。帰ってきてカップ麺で食事。後で風邪薬を飲んでおこう。木、金とどうにかしないといけないので。明日の講義、いや、講義ではないのだが、セミナー形式の時間なので、まあ多少風邪が残ってても大丈夫だが、金曜日は正真正銘の講義。95分間立って喋って書いて。治しておかないと辛い。今日も早く寝る。幸いというのも変だが、USB メモリーを職場のパソコンから抜き忘れて、筆箱も忘れてきた。まあ USB メモリーが無くても出来る作業はあるが、無理しないでおこう。住処には筆記用具はあるので、ちょっと帰り道に考えたことを試してみよう。

さて、帰ってきて「報道ステーション」を途中から見ているが、南丹市の件は何かロクでもないことに成ってしまった。以前からちょっとずつ入ってくる情報から判断するに、親族が怪しいのでは？と小生思っていたが、その通りに成ってしまったようだ。いや、まだ逮捕状は請求された段階で、まだ出てないそうだから、疑わしきは罰せず、ということでこれ以上色々書くのはやめておく。やるせない事件に成ってしまったな。

佐野の1000本安打を勝利で飾れず

何か昨日から苦しい。食道の辺りというか喉の辺りというか、何か変。親父殿が心筋梗塞やってるが、その時は胃が痛いというようなことを言っていたそうだ。全然関係無い所に兆候が出る可能性がある。医者行った方がいいかも。明日は夕刻から会議で、木、金は講義がある。月曜も。土曜日に行くか。それまで何でもなくなるといいが。

まあだけどしないといけないことがあって、銀行に振込2件しに行った。ついでに金を卸すつもりだったが、うっかり忘れていた。ATMコーナーは8時からなので、早目に行って、で振込の確認を電話でしようと、9時過ぎに電話をしたら、出来ているらしい。よかった。もう一件の方は、ブツを発送した旨メールが来ていた。よかった。

調子が悪いせいか、寝られるがすぐ目が覚めてしまう。で気付けばもう野球が始まっていた。1点取られてるが、宮崎が珍しく1塁へ悪送球をしたようだ。その後は牧の好守があって1点で凌いだらしい。今日の試合は松山でやってて、土、天然芝のグラウンド。雨が降っててぬかるんでるから滑ったのでは？と解説の斉藤明夫氏の仰せ。4回まで小川に抑えられていたが、宮崎がやり返してタイムリーヒットを打ち同点。その後度会、宮下も続き、3連打で3点。よしよし、と思ったら、すぐ裏に3連打で追い付かれ、更に2点タイムリーヒットを打たれ勝ち越される。むう。で雨が強くなって、5回裏終了で試合が成立していたのもあるか、30分弱待ってコールドゲーム。残念。竹田祐は逆転してもらって勝ちを意識し過ぎたか。まあ仕方ない。3連戦勝ち越せば、と思ったら明日は最初から試合が無いことになっているようだ。移動日で、明後日神宮でやるらしい。開幕3タテ食らったのでやり返しましょう、というようなことをこの前書いたが、最初から出来なかったのか。まあ仕方ない。

負けたがいいこともあった。佐野が2安打で、通算1000本安打に到達。素晴らしい。ドラフト9位までこんな選手がよく残ってたもんだ。4年目からずっとシーズン100安打を打っている。10シーズン目での到達は立派。足が特段速いわけではない（むしろ遅い）からね。首位打者と最多安打のタイトルを獲ってる。まだまだやってくれるでしょう。和田一浩は30まで大して打ってなかったが、その後打ちまくって2000本安打を達成している。佐野なら出来る。頑張れ。

初等整数論のゼミ後早目に職場を出て、マンションの理事会に参加

月曜日のゼミは2時55分からと遅く、それまで用事が無い。ということでちょっと夜更かしして生産性の無いことに時間を費やしてしまった。起きたら1時過ぎ。むぅ。冷凍のパスタを電子レンジで解凍して食して、1時45分くらいに住処を出る。職場に着いたのは2時半ちょい前くらい。これくらいの時間だとウェストウィングに割と近い所に車を停められることが多く、今日もそうだった。ラッキー。

でゼミだが、月曜日のゼミは初等整数論のゼミ。今日は約数がどうしたとかいう話だが、早い内に Z のイデアルが全て単項イデアルであることを証明するのでよい。整除性もイデアルの包含関係に置き換えて、で (a)∩(b), (a,b) がイデアルであることを示した所で力尽きたらしい。まだ不慣れなためか、埋めてないで残ってる所があったり、説明の下手な所があったりで、少し突っ込んだ。まあ今日の所はまだ易しいので、いいけど。来週は最小公倍数や最大公約数の特徴をイデアルを使って示した後、ユークリッドの互除法など。まあまだ暫く大丈夫でしょう。簡単過ぎて舐めてかかると痛い目を見るが、その心配は無さそうだ。

ゼミは時間割上二コマの科目で、部屋は6時15分まで押さえてあるが、1人だけだから無理に長くやらなくていいから、と言っておいたので、大体一コマ分やって終了した。昨日書いた通りマンションの会合（理事会という名前らしい）が7時からあるので、混む前に帰ろうということで、5時半前に職場を後にした。高速道路は多少渋滞していたが、大したことはなかった。瀬田東 JCT を過ぎてからの渋滞ならまあ我慢出来る。もう30分遅いと、草津JCT－京都南間渋滞ということがよくある。京都南は小生の利用する京都東の次のインターチェンジ。要するに丸々渋滞ということだ。三条通も渋滞するし、結構大変。まあ何度も書いてる通り車の運転中はイライラしないで穏やかな気持ちでいるようにしているので、大丈夫だが。

で6時前に住処に着いて、録画してあったの物を一つ見て時間潰し。6時55分に部屋を出て、マンションのエントランスに向かう。

で7時から理事会開始。形式的な議事で短時間で終わるんでないの？と舐めてたら大変だった。再来年マンションの大規模修繕をやるらしい。小生が45歳の2月に入居が始まったマンションだから、再来年で15年ということだな。色々やることがあるらしく、結構長時間の説明だった。住所から「町」の字が落ちている所が二箇所あったので、指摘しておいた。でそれが済んだ後、ちょっとルール違反をしているヤバい住民のことで結構長時間議論。どこにも困ったちゃんはいるもんで、何度も注意して、内容証明郵便まで送ったのに、なお無視を決め込んでるらしい。管理人さんが何度か話をしているらしいが、暖簾に腕押しらしい。法的手段に訴えるか？みたいな話に成ったが、まあ次回までにどうにかする旨決まって、結論は次回以降。来月また理事会があって、今度は火曜日に成った。火曜日は講義もゼミも無く、教授会があれば住処から参加出来る。教授会は7時過ぎまでやることはまず無い（小生が来た頃は9時過ぎまでやることがあったが）ので、今日よりは慌ただしくなく参加出来てよい。野球を見られなくなってしまうのはちょっと嫌だが。

有隣社に頼んだ本が届いていた。明日は用事が無いし、呑み呑み読もうか、と思ったのだが、ゼミ中ちょっと苦しくなった。理事会の最中にもちょっと症状が出て、これは呑むなということだな、ということで酒を買いに行くのをやめておいた。が、自動販売機が酒を売ってくれない時間に成ったら楽に成ってきた。喉元過ぎれば熱さを忘れるじゃないが、コンビニに買いに行こうかなどと不届きなことを考えてる。まあもうちょっと考えよう。食料を買い込んでおきたいのもあるのでコンビニには向かうが、酒を買うかどうかはその時の状況次第。「くりぃむナンタラ」が終わった後に何やら1時間韓国のドラマをやる時間が始まったが、見るつもりが全く無いので、その最中に買ってきて、昨日の大河ドラマを見て、とかやろう。呑みながら見るかどうかは上に書いた通り未定。取り敢えず数学の勉強だな。

7回2アウトからホームラン、二塁打、二塁打、ホームランで大逆転（宮下はプロ初ホームラン、勝又はプロ初打点）

本当に広島に住んでるの？というくらいよくふなごやに現れる奴が昨晩もいた。店の前に着くと笑い声が聞こえてきて、また団体客か？と思ったら、奴も含めて3人の客が一組。店長が一緒に成って話し込んでいて、笑い声が溢れてきたようだ。銭湯に行く、という理由で10時前に帰っていった。呑んでからの風呂は気を付けないとね。その後例によってビールだワインだと楽しく呑んできた。例によって最後の方の記憶が無い。

石油がどうなるか色々不透明なので、少しくらいは節約しようと思っているが、やはりテレビと電気を消さずに寝たようだ。で9時半くらいに目が覚めてしまった。買い込んでおいたものを食べながら、昨日放送していた「ミラクル9」を録画してあったので見た。面白かった。でウダウダと色々やってるうちに野球の時間が近付いてきた。

今日も横浜スタジアムで Carp と。今シーズン初の連勝、初のカード勝ち越しが掛かる。石田裕太郎は1回はよかったが、2回はヒットで出したランナーをワイルドピッチで二塁に進めてしまい、更にセカンドゴロで三塁に走者が行き、犠牲フライで先制を許す。4回にヒュンメルが素人かい！、というような落球をし、そこからタイムリーヒット3本を打たれ4点差に。しかも最後のタイムリーは投手床田に打たれた。床田は去年 Baystars 戦は4割越えの打率を残していたらしい。石田は過去2試合は終盤まで好投するも、そこから崩れる、という展開だったが、今日はエラー絡みとはいえ、5回4失点。今年は10勝する、そうしないと優勝出来ない、と意気込んでいたがな。ヒュンメルは男を落としたが、すぐにソロホームランで取り返した。この前幻のホームランを打っているが、今日はセンターへの堂々たる当たり。ここのところヒットが続いてるようだ。祐大にもタイムリーヒットが出て2点差。2番手平良、3番手中川（虎）が好投していると、チャンスが巡ってきた。7回2アウトからルーキー宮下朝陽（あさひ）が昨日のプロ初ヒットに続いて今日は初ホームラン。1点差。蝦名が二塁打で出塁後、投手から打者に転向後育成契約から這い上がってきた勝又温史が8年目でプロ初打点をあげ同点に。レフトのライン上に落ちる渋い当たりだった。その後代打で出た度会が2ランホームランで勝ち越し。繋がる時は繋がるな。その後レイノルズがソロホームランを打たれ1点差とされたが、無事勝利。良かった。Carp と0.5ゲーム差に成った。よしよし。ヒーローインタビューは7回に打点を上げた3人。度会はルーキーの時のヒーローインタビューで調子に乗り過ぎて、心無い自称ファンから色々言われていたが、今日は大人しいヒーローインタビューだった。火曜日から Swallows が相手だそうだ。開幕カードは3タテを食らったが、やり返さないと。やり返せば一気に5割だ。まだまだ。

Fighters が Hawks 相手に開幕から5連敗とか。去年優勝を掻っ攫われたが、まだアレルギーは続いているのだろうか？が、ちょっと嬉しいニュース。Hawks の勝ち投手は上茶谷。3番手で登板して、3イニング無失点だったそうだ。現役ドラフトで去年から Hawks に移籍したが、Baystars にいた頃はよかったシーズンもあった。ドラフト1位だしね。Hawks が勝つのは気に食わないが、かつての仲間が活躍すると嬉しい。濱口は黄色靭帯骨化症に成ってしまい、Hawks では何も出来ずに引退してしまったが、こちらもドラフト1位だった。もっとやって欲しかったけどね。上茶谷は引き続き頑張って遅れ。まだ29歳だ。期待する。

書き散らかした紙を TeX 化している時に、おかしなことを書いてあるのに気付いた。－1 の冪乗が出てくるが、指数の偶奇が逆に成ってた。数学的帰納法の一つ上げる所は間違ってないんだが、一番最初が間違ってる。これでは数学的帰納法をやっても示せない。数値を代入して計算するのは大事だな。それと、一歩目が間違ってても番号を一つ上げる時に成功することはあるのはちょっとビックリだった。気を付けないとね。

明日から4回生相手にマンツーマンのゼミが始まる。どうだろうか？人間関係を悪くしないように気を付けないと。時々つい余計なことを言ってしまうことがある。複数の学生が相手なら、連中が呑み呑み愚痴るネタを作ったので良いと言えば良いが、1人だからね。気を付けよう。でゼミ後用事が無いと嬉しいが、明日はマンションの会議があって、7時には住処に戻ってこないといけない。6時に職場を出れば間に合うが、その時間は一番渋滞する時間。ゼミが何時に終わるか分からないが、1人だから早目に終わるかな。そしたら急いで帰ってこよう。

漸く今シーズン4勝目

またしても変な時間まで起きていた。フィボナッチ数列とリュカ数列の性質で示せていないことが幾つかあるので、どうにかしたくて、手を変え品を変えやってみた。で5つ残っていたののち4つ出来た。が、二つはよく見たら論文に出ていた。全く同じ証明をしたのはちょっと嬉しい。地力があるということだ。あと一つはどうやるのだろう？簡単に出来るようなことが書いてあるが。もういいことにして寝ることにした。さて何時でしょう？

で起きたらもう野球が始まっていた。3点リードしている。よしよし。が、見始めた途端に東が2ランホームランを打たれた。何やら牧がチョンボをして走者を残してしまった後の失点とか。相変わらずエラーの多い芸風なのは変わらずだな。牧に限らずエラーが多い。どうにかしないと。が、次の回はレイノルズが三者三振に斬ってとり、9回は康晃が抑えた。この前康晃は一発を打たれていて、今日の最後の当たりも大きい当たりでヒヤッとしたが、幸いフェンス前で失速してくれたよかった。昨日 Dragons が負けて Baystars は中止だったので、いつの間にか単独最下位は脱出していた。これで4勝8敗。まだ借金4。頑張ってもらおう。

一昨日の晩探していた有理点がまた一つ見付かって、数日電源を入れっ放しだったパソコンをようやく落とせた。で昨日職場に行く前にまた新たな有理点探しを始めたが、PARI/GP のスタックを幾つにしたか忘れてしまい、何度かエラーが出て、漸くエラーが出なくなったので職場に出発したが、昨日帰ってきてパソコンを見たら、エラーが出て止まっている。もう。ブログを見たら、前は 1024MB にしたら OK だったと出ていたが、今度は 2048MB でもエラーが出る。で昨晩思い切って 8192MB にしたら大丈夫に成った。現在計算中。昨日の22時45分にスタートさせたから、まだ当分終わらないな。まあこれから呑みに行くので、引き続きやらせておく。これからシャワーを浴びて、すっきりしてから出掛ける。今週は久し振りに働いたから、酒が旨かろう。ということで、じゃ！

「代数学I」と M1 相手のゼミは今日開始

書いたように一昨日から昨日に掛けては変な夢を見たりで眠りが浅かったので、昨晩は割と早目に寝床に入って、すぐ寝付けた。で今朝は10時半に成る前に目が覚めた。この時間ならうな松に寄れるな、ということですぐ出掛けて、11時ちょい過ぎにうな松に入れた。まだ客は来ていなかったようで、一番乗りだった。いつもの通り一本鰻を頼んで食す。スマホに定期的に届くクーポンはこの前期限が切れてたな、と思ったが、JAF の会員証を出せば100円引いてくれるので、そうすると「鰻おにぎりプレゼントクーポン」というのが届いてる筈、と言われて見たらその通りで、小振りのタレで味の付いた握り飯に鰻が乗ってるのをくれた。仕事が終わってから腹ごしらえに食べよう、ということにした。嬉しい。

が、職場に着いたら悲劇的なことが。一番大きい駐車場がほぼ満車。いやもっと丹念に探せば停める所はあるのだろうが、嫌になってきて、もうええわ、と幾つかある身障者用のスペースに停めよう、と悪いのを承知でした。まあ雨が降ってるし、普通の駐車場よりもウェストウィングに近いしな。警告書を挟まれるけどええわ、ということにする。

で講義まで個研室で作業をしようか、と思ったが、やはり講義のことが気に成ってしまう。軽く眺めただけだが、それで大分違う。自信を持って講義室へ向かう。

金曜日は1時10分から「代数学I」。結構大きい部屋だが、半分くらいかもっと少ないかくらいしかいない。まあ後ろに方に張り付いてる連中へのサービスだ、ということでマイクを使った。今日はまず3次方程式の解の公式を作って見せて、な、役に立たないだろ、ということにしてから、出席を取らないとか単位はどうするかとか学生が一番興味ありそうなことを伝えて、早速本題へ。環を定義してから例をドバーっと挙げる。まだ部分環を定義してないし、部分環であることの簡単な判定条件も与えてないから、例はたかが知れてるが。来週はそういうのを定義するので、例は一気に倍くらいに増えるでしょう。整域と体を定義出来るだろうか？

で次のコマはゼミ。新M1が相手だが、他大学から来たからなのか、それとも内部進学したM1もそうなのか知らんが、部屋を学生証で開けようとしたら reject されたらしい。で小生の教員証で開けてあげて、ゼミ開始。今日は代数的数の定義から。で代数体を定義して、原始元定理とか証明して、など。前の大学ではアルティンのガロア理論の本でゼミをしていたそうで、体の拡大だのヘチマだのというのは心配無いようだ。ただ、アルティンの本には代数的閉包という用語が出ていない、と言ってて、そう言えばそうだな、ということで定義を教えてあげる。要するに示したい命題が同値な言い換えなのだが。去年の夏鹿児島で村林さんに会った時に、あの本は合成体をどこで考えてるか分からんのだよ、との仰せだったが、確かに全ての体を含む親玉が無いと合併は出来ないわな。藤崎先生の本やそれに影響を受けた小生の講義ではまず L/K を体の拡大として、で α∈L を取ってきて、K と α を含む L の部分体で最小なものを K(α) とする、としている。これ L に依存しないと言わないといけないと違うの？という気が最近してきているが、まあ例を出す時は大体 K が有理数体で α は複素数としているので問題は起こらないだろうが。ゼミの話ね。まあちゃんと予習はしてきているようだし、詰まった所も少々言ってあげれば分かったようなので、大丈夫そうだ。長谷川武博さんのご指導の賜だ。6時半前に終了。

で作業をする筈が、つい来週の「代数学I」のことが気に成ってしまう。演習問題を時々 moodle＋R に上げると約束したが、去年使ってたものを見ると、まだ今日の講義の進度ではやれない問題が幾つもあったので、やめておく。で来週の講義の分をちょっと眺めたら、来週の終了後なら問題その1は上げられそうだ。でそれから出張先に別刷りを数部持っていこうと本棚を漁り始めると、何やらちょっと中身の入っている封筒が出てきた。何だと思ったら、色々な所で喋った原稿。手書きの物で、まあこの話もその話もあの話もすることは無かろうということで計算用紙に回すことにした。寺井さんとの共同研究をどこかで話したお時のものは証明の臍に成る部分だけ取っておいたが。紙の量が凄いので、どんどん計算するなり考えごとをするなりしないと。紙は増えていくが、髪は増えない。こっちはもう気にしないことにしてるんでいいけど。で何だかんだと9時半過ぎまで職場にいた。

すき家でホロホロチキンカレーを食べよう、と思って向かうと、何ともう終わっていた。この前まで CM をやっていたが。仕方ないのでカルビ丼にホクホクの大蒜が置いてあるのを食べた。

10時40分くらいに帰り着いて、先週の「座王」を見てないことに気付いたので急いで見て、で消して、今晩の分を録画予約しておいた。でこれからちょっと作業をしようかと思っている。ちょっと昨日の頑張りでいい感じには成りつつあるので、一時やってたほどの大手術はしないで済む。もう少しどうにかするけど。院生が何やらメールで言ってきてるので、そっちの返信を先にするか。来週は細々と面倒なことが多いので、済ませておかないと。

今日は雨だったが、横浜も雨だったか野球は中止だった。他の試合の結果をまだ見てない。先週の「座王」を見るために「報道ステーション」を見なかった。今時はすぐにネットで結果が見られてよい。これから見る。ロクでもない結果に成っていませんように。

「数理科学セミナー（代数）」はガイダンスだけ

木曜日は2時55分から「数理科学セミナー（代数）」。3回生相手に初等整数論のゼミをする時間。今日は初回なので、ガイダンスをして、時間話す人を決めてもらって、とかやるだけで、短時間で終了。強調したのは「英文和訳ではない！」ということ。勘違いしている学生が時々いるからね。「ギャップを埋めてくる」というのも言っておいた。来週から大丈夫でしょうか？留学生も結構いるから、ちと心配ではある。配布資料を web に上げてあるが、去年まで使っていた授業用の manaba＋R というのが使えなくなって、moodle＋R というのを使えと言われてるが、上手くいった自信が全く無い。学生が特に何事も言ってなかったので、大丈夫なのだろう。

で実は起きたのが2時近くで、シャワーを浴びて出掛けると、昼飯の時間が僅か。まあ遅いから、生協か講義棟の近くに停められるだろう、と思って、生協で弁当を買うのに便利なように生協の近くに停めようとするが、埋まっている。む。バックで暫く走って、講義棟の脇に行くが、そこも一杯。身障者用のスペースまで埋まっている。む。もう時間が無いぞ。仕方ないからUターンして、埋まっていない身障者スペースに停めよう、と思ったら、うまい具合に出ていきそうな車が一台。こっちは向こうの、向こうはこっちの様子を窺っているが、そこに停めたいのだ、という意思を表すべくハザードランプを点灯させたら、意を汲んでくれたように出発してくれた。よかった。講義には2分くらい遅刻だったが、まあ上に書いたようにガイダンスのみなのでいいです。

でガイダンス終了後生協の売店で弁当を、と思ったが、もう3時半を回っている。晩飯までそんなに時間が無いので、軽く済まそうということでざる蕎麦にした。個研室へ戻ってしばし作業。

次のコマはゼミ。今日から違う本をやることに成っている。年度が改まったところで色々新鮮でよい。今日は有限アーベル群の指標の話だが、2回双対を取ると元の群と自然に（標準的に）同型、という事実の証明でやや紛糾した。今日は睡眠はばっちりだが、上に書いた通り食事がいい加減なので、頭が動いてなかった。まあ大体分かったのでよかった。次回はディリクレ指標の話らしい。Conductor－discriminant formula とか出てくるが、証明は他の本に譲っていた。やるかやらないかは読む方に任せるということで。で2時間くらいやって終了。

昨日書いたように今日は野球が無いので、作業に励む。明日は「代数学I」の講義があるが、最初の方は別に何も準備しなくても出来るので、明日の資料を印刷するだけ。で作業が案外捗る。たまには論文書きでも講義の準備でもないことをすると気分が変わっていい。ゼミもやったから、セメスターが始まったな、という感じ。講義だゼミだと時間がとられるのはちょっと嫌ではあるが、その分集中出来ていいのかもな。で何だかんだと9時半近くまでやってた。

今日はガストでハンバーグを食べることにして向かう。ガストは10時を過ぎると深夜料金を加算されるので9時半くらいに出たわけだが。ハンバーグは予想より小さくて、ちょっと残念だった。まあ1000円ちょっとだからね。

今日は夜から雨、と言っていたが、職場を出る頃は降ってなかった。地面は濡れてたから、降るのは降ったのだろう。ガストを出て暫くしたら降り出した。で住処に着いて「報道ステーション」を見たら、広島での試合は中止で、甲子園での試合は降雨コールドゲームに成ったようだ。試合は成立して、Tigers の高卒4年目の茨木（いばらぎ）がプロ初勝利。これで今年最初の1位、2位対決は Tigers の2勝。首位は8勝3敗で最下位タイは3勝8敗。まだまだ混戦に持ち込まないと。Baystars は明日から Carp と横浜スタジアムで。3タテといきたいが、最悪勝ち越しましょう。今年はまだ連勝が無い。連勝しましょう。いや、明日勝ち、明後日負けし明後日勝ちだと勝ち越しだが連勝ではない。明日、明後日勝ち、明々後日負け、とどっちがいいだろう？明日負け、その後連勝だと、昨日と明日で連敗だからちょっと嫌だな。まあ最後は貯金が幾つあったかだから、どこでやっても同じなのだがね。理想は残り全勝だが、それはあり得ない。借金を無くすのを目標にしましょう。2勝1敗ペースだとあと15試合やらないと無理なのか。やはり大型連勝が欲しいな。ま、こっちは応援するしかないんでね。頑張って下され。

ヒュンメルのホームランの筈の当たりがファールと判定されたのがケチのつき始めで、根尾に初勝利をプレゼントしてしまった

昨晩はちょっと早目に寝床に入って、何か変な夢を見たりで眠りは浅かったが、9時くらいには起きた。でパソコンの前に座って作業。が、途中何やらメールがちょこちょこと断続的に来る。応答したりと、ちょっと鬱陶しかった。で食事休憩以外はずーっとパソコンの前に張り付いて作業。論文を読み読み紙に書き散らかしたものを TeX 化。分かっていたつもりで分かってなかったことが結構あった。もう完璧に理解出来たと言えるくらいまでにした。でそれを話の原稿に掻い摘んで書くべく、引き続きパソコンに張り付いて考え事。数学屋の前で話すが、整数論のプロはいないようなので、どこまで予備知識を仮定してよいかとか結構悩ましいし、詳細に話しても仕方ないけどあまりに端折り過ぎるのもどうかな、という感じで、延々やり続けた。気付けば野球の時間。我ながらかなりの集中力だ。

野球が始まっても作業は続く。テレビを流しておいて、要所要所を見たり。1回表に2点取られるという嫌なスタート。が2回裏にヒュンメルの2ランホームランで同点、と思ったら、何とファールの判定。いやいや、それはないでしょ。リクエストしても覆らず。ヒュンメル激怒。これがケチのつき始め。3回裏に筒香の2ランホームランで同点にしたが、6回表、8回表と1点ずつ失点し2点ビハインド。が、8回裏にヒュンメルが2点タイムリーヒットで追い付く。ヒュンメル大興奮。が、9回裏の一打サヨナラの場面ではヒュンメルは凡退し延長戦に。11回表に1死満塁のピンチを作ってしまい、ボスラーの一塁前への内野安打で勝ち越され、さらにファーストの守備に付いていた三森の本塁への送球が悪送球に成りもう1失点。11回裏に1死1、2塁のチャンスを作るも、三森、祐大と凡退でゲームセット。寄りにも寄って根尾昴にプロ初勝利をプレゼントしてしまった。何とも気前の良いことを。ヒュンメルのホームランがファールと判定された時点でこの珍事に落ち着くのが運命付けられていたかのようだ。まあいいです。佐伯貴弘氏の解説が気持ちよく、どちらのチームのいいプレーには惜しまず賛辞を送っていたし、放送終了前に「根尾投手おめでとう！」と言ってた。まあ今日はいいことにしましょう。さあ明日こそ、と思ったら、何故か明日は無いそうだ。木曜日は遅くまでゼミなので、試合が無いのはむしろ有難い。ゼミが終わったら作業の続きをしよう。遅くなると雨に成ると言ってたが仕方ない。明後日は昼くらいに風だ雷だと荒れるらしい。講義は1時10分からで、講義終了後ゼミ。土曜日は天気がいいそうだから、早目に天気が持ち直すと嬉しいが。

野球で面白い話題があった。Marines が前身の毎日オリオンズ時代からの通算成績が4934勝4935敗408分で球団史上初の借金とか。最高で323あった貯金を吐き出してしまったらしい。12球団で借金を1度も作ったことがない球団が一つだけあるそうだが、どこでしょう。まあ Giants だよな、と思ったら違って、何と Tigers だそうだ。0勝1敗という状態も含めるんだろうか？Baystars は2012年までに4522敗している。村瀬秀信「4522敗の記録 ホエールズ＆ベイスターズ涙の球団史」という本がある。まだ読んでないが読もう。番長は選手としては滅茶苦茶負け越してるが、監督としては一つ貯金がある。よかったね。

深沢鳳介、プロ初登板は4回1失点と上出来（勝ち投手はプロ初勝利の橋本達弥）

難しいメールを書くのに大分時間を使った。途中録画してあった「歴史探偵」を見たり、近々話しに行かないといけないのでその準備をしたりして現実逃避。で目茶目茶長いメールを書いてしまった。普段人と喋らない分、何かあるとドバーっと放出してしまう。まあこんなものを書いてるのでお分かりだと思うが、人の顔を見ないと能弁に成る方なので。

この石油不足が言われてる時代にテレビを消さないで横に成ってしまった。途中意識が戻った時にリビングの電気を消すくらいはした。起きなくてもリモコンで出来るんでね。

4時50分から教授会だが、起きたら4時58分くらいだった。いかん、と思って急いで起きる。まあ初回は新任教員の自己紹介なので、いいと言えばいい。が、うちに二人来た新人の内の一人は知らない人なので、顔を見ておきたかった。まあいいです。

教授会は5時半過ぎに終了。野球は6時からなので、最初から見ることが出来た。今日の先発投手は当初デュプランティエの予定だったが、何故かプロ初登板の深沢鳳介（おうすけ）が先発。デュプランティエは去年の後半故障で投げられなかったが、早くも故障か？と思ったらインフルエンザだそうだ。よかったというのは変だが、まあよかった。初回にいきなり点を取られたが、併殺打で凌いで1失点で済んだ。打線は金丸を打ちあぐねていたが、深沢のプロ初打席初安打でちょっと勢いが付いたか、4回に猛攻を見せた。無死満塁のチャンスを作り、蝦名が今シーズン初打点となる2点タイムリー2ベースヒットを打ち逆転。その後2アウトに成りちょっと嫌な感じだったが、牧が2点タイムリーヒット打ち追加点。牧はここまで2打点だったが、1番に置くのは勿体ないと解説の谷繁氏が言ってた。まあ塁に走者が溜まれば、そこは流石。で深沢は4回でお役御免。急遽の先発を4回1失点なら合格。しかもプロ初登板だからね。その後橋本、坂本、伊勢、レイノルズが無失点に抑えて、8回に石上が今シーズン12打席目での初安打を打ち1点追加。セーブシチュエーションでないが、ここまで出番の少なかった康晃が登板。登板が少ないのも当然で、まだチームは2勝しかしてないからね。が、康晃は1塁に投げるのは苦手で、ピッチャーゴロを1塁へ悪送球。その後2ランホームランを打たれた。嫌な予感だったが、後は何とか抑えて、漸く今シーズン3勝目で、横浜スタジアム初勝利。良かった。Dragons との2勝7敗対決を制したので、単独5位。まあよかった。勢いに乗って3タテといきましょう。勝ち投手は2番手の橋本達弥で、プロ初勝利。深沢も橋本も故障で育成契約だったのが這い上がってきた。今後の活躍に期待。深沢は次回初勝利を是非。

今日は首位 vs. 2位、3位 vs. 4位、5位タイ同志の対決で、2位 Tigrers が勝って1位と2位の差は0.5ゲーム、4位だった Carp が勝って Carp 3位、Giants 4位に、という展開。明日以降も目が離せない。首位を快走していた Swallows だが今日は酷かった。4失策の上、失策後にホームランを打たれたりと散々。先発の小川は5失点だが自責点0とか。こういうことをやってると落ちてくるぞ。Tigers は先発の才木が1試合16奪三振のセ・リーグタイ記録を達成。江夏以来とか。9回も投げてれば新記録を達成したかもしれないが、才木も監督も記録のことを知らなかったらしい。なら仕方ない。次もやれるでしょう。「おはよう朝日です」でサトテルのホームランが無いことを取り上げていたが、漸くホームランを打った。Tigers 今年も強いか。

その後は月末にちょっと出張があるので、その件でメールを書いたりホテルを押さえたり出張届を書いたり。話す内容を詰めないといけないが、どうしますかね、という感じ。Cohn の論文の概略をちょっとくらいは話した方がいいな。今だったらコンピューターに楕円曲線の整数点を計算させてどうだ、というくらいの定理だが、それでは誰も分かった気に成らないだろうしな。昨日その関係で一本論文を読んだが、もう一本読んで感を掴んでおくか。幸い明日も職場に行かなくていいので、時間はある。やるか。今日は呑まずにやろう。呑んだ次の日は腹の具合がよくないんで、二日以上続けての呑みは極力やらないようにしている。勿論出張した時などは交流のため数日続けることはあるが。前も書いたが幸い違法販売機が無くなったので、買いに行くならコンビニで対面で買わないといけない。変な時間に、しかも沢山買うと恥ずかしいので、やめておこう。

明日の朝は寒いそうだ。今朝の夜明け前に管理人さんに提出するものがあったので、ポストに入れに表に出たが、生暖かった。「おはよう朝日です」によると朝5時過ぎに18度あったそうだが、明日の最低気温は一桁らしい。何にしても色々極端で困る。明日、明後日は天気がいいそうだが、金曜日は雨らしい。講義のある日は雨が降らないでくれると嬉しいが仕方ない。程々の降りなら我慢します。冬場は雨が殆ど降らなかったが、その敵討ちとばかりに雨が降ってる。まあダムが干上がらないように雨が降るのはいいこと。程々ならね。また大雨になるんじゃないかと怖いが。

講義開始だが、行った時間の関係で人混みには会わず

何だかんだと夜更かししてしまい、今日は12時過ぎまで寝ていた。2時55分まで職場に行けばいいので余裕だが。シャワーを浴びてから出発。草津田上インターを降りてから大学の前で左折して、南田山で右折、のつもりがうっかり野路中央の交差点の手前の右折レーンに入ってしまった。まあそれでも問題無く目的地に行けるのでいいけど。松屋と松のやが一緒に成った店に行って、ちょっと豪華めな豚カツに海老フライが一本乗った奴を頼む。もう1時半を過ぎていたから大分すいてた。それでも揚げ物だけあって待たされたが。

で職場に着いたのはもう2時半近く。まだ講義の真っ最中なので、講義開始日なのにキャンパス内はそんなに人がいない。2時45分過ぎに行くと凄いことに成っていただろう。で学生にゼミのテキストを渡して、簡単に説明して今日の用事は終了。それで帰っても良かったが、流石に馬鹿臭いのでもう少しいることにして、お勉強。フィボナッチ数列の平方元を決定した J. H. E. Cohn の論文が数本あるが、一番昔の奴を読んでみた。何か最後の定理の証明が変な感じだった。これを受けて証明を改良したのだろうと思しき論文もあるが、それはまた今度。「加法定理」、「倍角公式」、3回に1回偶数に成る、というのを巧みに使って、ヤコビ記号の計算などを織り交ぜるという、いかにも初等整数論という内容。一番難しいのはヤコビ記号の計算（のうちの第一、第二補充法則に当たるもの）なので、易しい。後に一般化した時は難しい不定方程式の結果を引用していた。Cohn や McDaniel－Ribenboim の結果はパラメーターが奇数なので、偶数だとうまくいかない。上に書いた3回に1回偶数に成るというのを使えないので。じゃあどうしよう、というわけで寺井さんと共著論文が書けたわけだが。パラメーターが偶数に成る最初の例が何と37。小生と言えば37である。44もいいけど37もいいよ。33とか29とか好きな数は色々ある。こういう好きな数を持っているのが整数論やだと思うが。橋本先生は好きな素数を持てと言っていたかな。

帰り道にドラッグユタカに寄ってきた。ビオレのボディーソープは何か洗った気がしない。やっぱり洗面器に垢がドバーっと浮いてくれないと。ということで実家で使っていたのと同じのを買ってきた。ついでに飲食物を少々と呑み物一缶。

ちょっと難しいメールを書かないといけないので、酒を買ってきた次第だが。さっき自動販売機で買える内に数本買い足してきた。これを書き終えて、すぐ終わりそうなメールを書いてから呑み呑み難しいメールの文案を練る。今晩中に出そう。人生相談は難しいのだ。人の相談に乗れる程偉くないのでね。まあ考えますわ。幸い面白くなさそうな番組が少し続くので。「過ぎるTV」では何やら阪神 Tigers のことをやってるので見ちゃうかも。その間に面倒じゃない方をやれ、ということだな。

首位と5.5ゲーム差か…

昨晩も楽しく呑んできた。前に高校の同級生の3人組がよく来ていたが、そのうちの1人はアメリカの大学院に進学して、この4月からは半年間東大に籍を置いて研究するらしく、上手くいけばどこかの大学に就職出来るかも、みたいな話だった。大学生だったが、もう30を越えてるらしい。ビックリだな。他にも色々楽しく話をした。この前同様、1週間前に封を開けたワインを呑んだが、やはり美味しく成っていた。酒は面白いね。で例によって記憶が半分以上無い状態で帰ってきた。セブンイレブンの割引券の期限が迫っていて、水をそれを使って安く買ってきた。

12時半にアラームが鳴ったが、何だと思ったら先週は1時から面談があったので、そのためだな。解除しておかないと。で何度か寝たり起きたりを繰り返し、起きたら4時くらい。夢で野球のことを見て、嫌な予感がしてテレビを付けると、2点負けてる。むぅ。最終回に去年は開幕から30試合以上無失点だったライデル・マルティネスから1点取ったが、そこまで。佐野のホームランで先制したが、伊勢が代打で出た大城に3ランホームランを打たれて逆転されたとか。ホームランは怖いな。Swallows は7回表終了時点で0－5で負けていたのを7回裏に一気に7点取ってひっくり返したとか。まだ始まったばかりとは言え、首位 Swllows と最下位の Baystars、Dragons は5.5ゲーム差。幾ら始まったばかりとは言え、ちと厳しくなってきた。まあそうは言っても何があるか分からない。しつこいが一昨年の Carp は9月1日現在首位だったのが月間20敗という体たらくをやって、CS にすら出られなかった。メーク何とかいうのもあったし。変わらず応援しよう。

明日から講義日。暫くは学内は混雑する。ユニオンスクェアの工事は終わったのだろうか？食堂がオープンすれば去年のリンクスクェアとナデシコ食堂以外に選択肢が出来るので学生にはいいだろう。まあ小生は学外で食べてくるか弁当を買うかだが。月曜日はゼミだけで、開始が2時55分と遅いので、早起きしないで済む。まあやることは色々あるので、そんなに遅くなく行くつもりだが。有隣社に頼んだ本が届いているといいな。そうしたらそれを読んで、論文の直しをするのが最優先。Editor はこの間大学を定年退職された方だが、referee との仲介はその方がやってくださるそうだ。ご迷惑を掛けないためにも早く完成させないと。木曜日に使う本も有隣社に注文したが、それも届いてない。こっちはメディアセンター（という名の図書館）にあるので、明日届いてなかったら借りておこう。

今日は京都府知事選の日だった。すっかり忘れていた。昨日呑んでる最中にその話に成ったが、出馬している3人の顔触れを見ると、まあ現職の人があっさりトップ当選だろうな、という話に成り、そのまま記憶から消え去っていた。で案の定そうだったようだ。久し振りに選挙をさぼってしまったな。まあいいです。京都は財政面で色々厳しい状態。どうにかしてくれるといいけど。

兄貴の60回目の誕生日

またしても訳の分からない時間まで起きていた。深夜のテレビ番組が面白くなさそうなので、先週やった「芸能人格付けチェック」を見てしまおうということにして、3時間半くらい見続けた。相変わらず面白い。正しくない方を選んだ人が偉そうに蘊蓄を傾けるのを見てると笑えてくる。弦楽八重奏曲をプロが演奏したものと、子供が演奏し、しかも八体の楽器中三体が弦を一本ずつ抜いてるというのに間違える。小生はすぐ分かったぞ。西友で買った安くてしょぼいスピーカーしか付いてないテレビでも。堤幸彦監督の映像とたくろうの映像の見極めとかも正しく出来た。芸能人は金持ちなのだろうが、大したことないね。中田翔が「食べる物には億の金を掛けた」と言ってたが、最高級の鮪の味が分からなかったり。チームを組んでた番長は放送日の翌日に野球の解説をやると言ってたが、説得力はあったでしょうか？まあ面白くてよかった。でそこで寝ればよかったが、ちょっと数学を考え始めてしまい、書き散らかした紙を TeX 化したりで、寝るのが遅くなった。

起きたらもう野球が始まってる時間。1点リードしていた。その後もう1点取ったと思ったら、すぐその裏に2ランホームランを打たれて同点にされ、Giants が猛攻を仕掛けてきたのを耐え切れずに失点を重ね、負けた。見てなかったが1回表の攻撃は打者一巡で3点取ったとか。そんな試合は勝たないと。打者一巡で3点、ということは満塁のランナーを残塁で終わった、ということだな。もう1点でも取っておけば展開は変わったろうに。相変わらず攻撃が下手ということだな。仕方ない。明日勝ってカード勝ち越しといきましょう。カード勝ち越しを重ねて行けば借金はすぐにでも返済出来る。明日明日。

でヒーローインタビューを見るのはけたくそ悪いので、隣のチャンネルに切り替えたら、Carp vs. Tigers がまだやってる。雨で開始が1時間遅れて、途中更に1時間中断があったらしい。Carp が押してる感じで、更にソロホームラン2本でもう Carp の勝ちだろうと思ったら、9回に追い付いて、延長戦で勝ち越して勝利。今年も Tigers は強そうだ。呑み屋の大将はウハウハだろう。Baystars も Tigers も勝って楽しく野球の話、といきたかったが。まあいいです。

今日は4月4日。何の日かというと兄貴の誕生日。ついに60歳。電話でも掛けたろうかと思わないでもないが、忙しい中のんびり過ごしてるだろうから、邪魔するのも悪いな。メールアドレスを聞いておけばメールの一通でも書けたが。まあいいです。還暦おめでとう。

4月4日はもう一つあって、小生が車の運転免許を手にした日。昔は免許証に本籍地が書いてあって、44番地の奴が4月4日に取得したとなると面白かろう、と狙って4月4日に取りに行った。教習所を卒業したのが3月の半ばくらいだったので丁度良かったが。が、いつの間にか本籍は書かれなくなったので意味無しだが、まあいいです。44は好きな番号。京急の上大岡駅のステーションナンバーも44だし。泉岳寺を1番にしないで品川を1番にしてくれたのは奇跡に近い。45だと面白くなかったからね。

さて、ボチボチ呑みに行きますかね。月曜日から講義のある日々が暫く続くので、英気を養っておくということで。別に理由が無くても土曜日は呑むんだが。ということで、じゃ！

新年度のスケジュールが漸く固まった

特に目覚ましを仕掛けることなく寝たので、中々起きられなかったが、1時過ぎに固定電話（全然使ってないのに未だに契約している）が鳴って、随分前から留守番電話をセットしてないので、結構長いこと鳴り続けた。起きろ、ということだな、と起きて、シャワーを浴びた。パソコンを見ると、またしても有理点を1個見付けてくれた。嬉しい。寝癖を直してから職場へ。食事は草津のはま寿司で。

学内の人の出はそんなではなかった。もうガイダンスが終わって帰ったのか、それともまさにガイダンスが続いていて缶詰にされてる状態なのか？

個研室に着いてパソコンの様子を見ると、この前走らせっ放しにしておいたものはパソコンの勝手なリブートで跡形も無くなっていた。まあいいです。でメールを見ると、荷物が届いている、とのことなので7階の事務室に行ってみると、Amazon に注文したのが二つ届いていて、有隣社に頼んだ物はまだ来てない。論文が直せない。来週のセミナー形式の科目に持っていく本が来ない。まあ仕方ない。外国から取り寄せるんだから、少々掛かるよね。後者はメディアセンター（という名前の図書館）にあるので、借りて行けばいいや、ということで鷹揚に構えておくことにする。昨日書いたように学生二人に連絡をとりたいが、メールアドレスが分からない。前は学生、教員のメールアドレスを調べる頁（流石に学生はアクセス出来ないと思うが）があったが、昨日見たらあった筈の場所を見ても無いので、事務に聞いたが、二人の内一人は連絡する必要が無くなり、もう一人は別の方法で調べられた。まあよかった。その後返信があり、ゼミの予定は全て決まって、新年度は滞りなく始められる。また変なスケジュールに成ってしまったが仕方ない。

それから色々 TeX 打ち。一つは前からやってるやつで、右から左に写してるだけなのに、何かちょっとずつ間違ってる。あまり長時間掛けないことにしているので、一回やって今日は終わり。それから別のこと。ちょっと話に行かないといけないので、それの準備も兼ねて理論武装。初等的な話でも難しい物は難しい。もうちょっとどうにかしよう。で出来た所まで TeX 化。TeX 打ちばっかりしてる。まあ趣味みたいなもんなので。

野球が始まってる時間をとうに過ぎてた。見ると1点リードしてる。よしよし。暫くしてまた見ると3点差に。よしよし。相手は Giants。叩かないと。で TeX 化の合間にチラチラ見るが、1点取られてなおピンチ、という場面だったが凌いだ。でもうちょっとやりながら見ると、9回裏。ピッチャーは康晃。2塁にランナーがいる。去年までの康晃だと「あかん」と思ってしまうんだが、今年は良さそう。でちょっと他の作業をしてから見ると終わっていた。今シーズン2勝目。よしよし。今日の東は無四球だったらしい。流石。明日勝てば Giants に並ぶ。まあまだ順位を云々してもしょうがない時期だが、上にいるに越したことはないので。

9時半前に職場を出て、ガストでから好しの唐揚げを食べて帰宅。「報道ステーション」が終わって、今「探偵！ナイトスクープ」がやってるが、観客から思わず悲鳴が。それはそうで、で流石にそこまではやらないで、でどうなる？人は残酷だぞ、と思ったが、最悪の結果には成らなかった。ホッとした。見せ方とはいえ、怖かった。何でも切り取り方次第だな。ネットニュースの類は悪意に満ちた切り方をしたものを上げている可能性があるので、気を付けないとね。

実はもっと怖かったことが今日はあった。帰りに国道1号と国道161号が合流する所があるのだが、国道1号の京都方面も滋賀方面も車が来てないと思ったか、こっちが青信号で161号側が赤信号なのに、交差点に進入してくる車が。向こうが気付いて停まったからよかったが、あのまま突っ込んでこられたら大事故だぞ。小生の後ろに何台かついてて、対向側も数台こっちに向かってきた。あの車は対向車線にはみ出して進路妨害をしている状況だが、その後どうしたんだろう？気を遣って道を譲ってもらったとしか思えないが、迷惑極まりない行動だ。自転車から罰金をとるのもいいが、ああいう車は厳重に取り締まってくれないと。この前富山で赤信号を猛スピードで突っ込んだ阿呆がいたが、教習所習った時に「こういう時は巻き込まれた方の人が死ぬことが多いんです」という通り、富山の事故では突っ込まれた方に乗っていた車の人が死んでる。今日のはゆっくり交差点に進入していたが、車列が途切れたからいいとでも思ったんだろうか？勘違いしないでくれ。赤信号は「止まれ」ですから。関西の人が勘違いしているのは「黄色は注意して進め」ではないです。規則を守って楽しく運転。気分を新たにする33年目の春であった。

探してた有理点漸く見付かる（整数点が無いことを示せた）

結局また訳の分からない時間まで起きていて訳の分からない時間に寝て、夕刻に起きて職場には行かず仕舞い。明日こそ行っておこう。

起きて何をしていたかというと、楕円曲線と格闘していた。y²＝x³＋k の形の曲線の整数点が欲しい（要するに Mordell 方程式を解きたい、もしくは解が無いことを示したい）。またしてもパソコンが勝手にリブートされたのでやり直し。この曲線から y²＝x³－27k へ Q 上定義された3次の isogeny があるので、Magma のそれを使うっぽいコマンドを試して、やはり駄目で、とか。で Zimmer 達の書いた Mordell 方程式の論文を見たり、Bremmner と Cassels による height のデカい有理点を持つ楕円曲線のことを書いた論文を見たり。閃いたのが、Magma に ConjecturalRegulator という命令があって、名前の通りのことをやってくれる。で実験してみたら、予想通りだと regulator が 400 だ 500だいうのは当たり前で、940 を超えるのもあった。これは Mordell－Weil 群を求めて整数点を求めるのは実際的でないな、と思ったが、まだやってないことがあった。PARI/GP に Heegner point を求める命令がある。でやってみたが、スタックがオーバーフローするので、値を変えて再実験。PARI/GP のスタックの容量を変えるなんて初めてやった。1024M にしたらエラーが出なくなったので、寝ることにする。

で起きたら4時過ぎ。もうこういう生活はそろそろやめよう。月曜から講義期間だし。しばしグダグダやって、カップ麺で腹ごしらえをして、野球の時間。

今日は昨日の真逆で、1回にいきなり3点取られた。竹田祐は去年の後半から1軍で投げるように成り、毎回いい内容のピッチングをしていたが。その後もキャッチャーの松尾が悪送球したりで4失点。その後3点取り返しただけに、最後の悪送球が余計だった。まあヒット3本で満塁、その後内野ゴロで1点取って、その後併殺打、と攻撃下手な芸風は変わらない。2カード割って1勝5敗か。嫌な感じ。明日からは東京ドームで Giants と3連戦。勝ち越しましょう。3タテが理想だが。

が、いいことがあった。パソコンの画面を見ると、何かデカい数値が出てる。え？有理点見付かったの？と思って見たら、ごつい有理点が出ていた。調べると canonical height は260超。うー、凄い。嬉しい。これのために随分時間を食った。Conjectural regulator と canonical height が一致しているから、この点が生成元に間違いあるまい。念のため saturation をするコマンドで実験するも、saturation する様子は無い。大丈夫だろう。いや、まだ心配。が、Mordell－Weil 群が無限巡回群なので、出来る筈。大昔にやった記憶がある。思い出してからやろう。取り敢えず conjecural regulator の小さい順にやってみる。整数点が無いのを示すのにちょっと大掛かり過ぎるのがちょっと気に食わないと言えば気に食わない。他の考えられる手段を試すのもやってみる。あと問題は Magma を買うかどうかだな。

4回生一人から連絡が無いのと、新M1の学生と連絡をしたい。ということで彼等のメールアドレスが知りたいが、メールアドレス検索のページが前にあったと思った所に無い。おかしいな。まあ色々あるので、事務にまとめて聞くか、とメールを出しておいた。上にも書いたが、来週の月曜からもう講義期間に突入するので、スケジュールを確定させたいが。明日事務からの返事がどうなるかだな。兎に角、今晩はそれなりの時間には寝て、それなりの時間には起きて職場に行く。

1回表に1アウト目をとられる前に3得点をあげ、相川監督初勝利

色々やってどんどん寝るのが遅くなり、もう新入生歓迎企画は出なくていいや、と開き直ってウダウダと。でテレビを見ててビックリした。サッカーの日本代表がイングランド代表に勝った、との情報。凄いな。日本代表強く成ったぞ。ワールドカップ優勝、という壮大な目標は冷静に考えれば達成出来るとは思えないが、まあいい線いくのでは？という感じ。野球が残念な結果だけに、サッカーで騒げると嬉しいが。

でまた変な時間に寝て、起きたら夕刻。二日続けての寝不足はやはり堪える。今日は冷たい雨に成ると正木さんが言っていたので、外出しないで済むようにしておいたので、問題無し。大阪は昨日25度を超えた所が数地点あるそうだが、今日の最高気温は14度とか言ってた。京都、滋賀も同様寒いということで、職場に行く気は失せていた。明日は天気がいいようで、今日よりは多少暖かいそうだから、職場行こうか？学生がうじゃうじゃいるのは当然だが、年度初めの平日だから仕方ない。

であっと言う間に6時。CS のスカイAにチャンネルを合わせて、野球観戦開始。牧四球、度会ヒット、筒香先制のタイムリーヒット、宮崎四球、佐野2点タイムリーヒットと、アウトを取られる前に3点取った。開幕から繋がりを欠く打線だっただけに大きい。3回には宮崎のソロホームランで4点目。来日初先発のコックスには大きなプレゼント。落ち着いたピッチングを見せ、6回を被安打5、森下のソロホームランのみの1失点でまとめた。その後は伊勢、レイノルズ、康晃と無失点で、ついに今シーズン初勝利。よかった。Dragons は今日も負けて未勝利のまま。ということで単独5位。借金は僅かに3だからね。今日は神宮での Swallows vs. Carp が雨で中止のため、首位に半ゲーム迫った。明日も勝ちましょう。3日、4日、5日は東京ドームで Giants と。3タテして一気に浮上といきましょう。

コックスだが、オースティン・コックスと言う。オースティンは去年までいた選手だ。スティーブ・コックスという選手も前にいた。タイロン・ウッズとの抱き合わせで来たが、ウッズはホームラン王を獲るほどの活躍で、Dragons 移籍後も猛打を奮ったが、コックスは15試合出場10安打1本塁打7打点、と何ともしょぼい成績だったようだ。上に書いた通りレイノルズという投手も投げたが、古い大洋 Whales ファンにはレイノルズと聞くとあの強肩好打の外野手を思い出すでしょう。プロ野球記録の11打席連続安打をやってのけたのは覚えている方もいるのでは？名前で騒いだと言えば、佐々木千隼を現役ドラフトで獲得した時、「Baystars に佐々木が戻ってくる」と盛り上がったがな。千隼はそこそこやってくれている。今年はまだ出てないが、一軍にいないかな？上がってきて好投を見せておくれ。