リーグ戦再開の初戦は Tigers に惨敗したが、Giants が首位から滑り落ちたのでいいです。

早く寝ないといけないのに、乗法合同とか Strahl とか予想以上に分かってないことが分かって、考え始めてしまった。ああでもないこうでもないとやって、大体思っていた通りに成ってることが分かるまで結構掛かった。その過程で数冊見たが、何かどれも色々おかしい。いや、おかしくなくても分からないように書いてる？と言いたくなるくらいの書きっぷりの物もあった。結構ちゃんと整理したので、もう大丈夫だ。今の学生が聞いてくることもあるだろうが、堪えられるようにはした。来年度以降も類体論を勉強させることはあろうが、その時にはちゃんと思い出せるように TeX 化して、とかやってたらもう結構な時間だった。寝ないと。

で起きたのは10時半過ぎ。少々寝不足だが、まあいいか、と。うな松のクーポンがあるので、職場に行く前に寄って、名物一本鰻を200円引きで食べてきた。満足。うな松の唯一の欠点は駐車場が狭いこと。今日は11時半を過ぎていて、結構停まってた。が、頑張って後ろ向きで駐車したので、出る時はスムーズにいってよかった。

寝不足で腹も膨れたからか、職場に着いて暫く何もする気がわかず、ボーっとしていた。ちょっと大貧民はやったが。1時を過ぎていたので、講義室に向かう。

「代数学I」の出席者が少ないのは毎度のことだが、今日は何かいつもより少ない気がした。気にせず少し話して、レギュラーメンバーの内の数名がいることを確認した（全員いたかもしれないが）ので、レポートを出題した旨言っておいた。伝わったでしょうか？今のところ学生からの問い合わせメールが無いので、大丈夫なのかな。今日は Q 上の多項式の既約性が主題。原始多項式だとか内容（容量）だとかについて細々とやって、で Z 上の多項式が Z 上で既約だったら Q まで行っても既約とか示して、Eisenstein の既約性判定とその適用例（素数次の円分多項式の既約性とか）など。で時計を見るともうほぼ終わりの時間。Z[X] が U.F.D. であることを示すと言っておいて、主張だけ書いておいたら時間に成った。

講義が終わってウェストウィングに向かうと、毎週 S 先生に会う。2時55分からのコマに講義があるということだな。今日は隣の部屋の F 家先生ともすれ違った。先週見掛けたが、やはり講義あるのだろうな。小生は2時55分からゼミ。先週は2が判別式の仮因子である3次体（デデキントの例）で2が完全分解することの証明が中途半端な所で終わっていたが、まず無事に完了した。藤崎先生の本に書いてある例を読んできて、それをなぞっていた。うん、まあ出来たのでいいでしょう。SageMath や PARI/GP だとどんなイデアルでも素イデアル分解してくれるから、アルゴリズムは確立しているのだろう。一度勉強したいが、中々時間がとれない。Cohen の本を見ればいいのだと思うので、時間が出来たら（もしくは定年退職したら）見ておく。その後デデキントの判別定理の弱いバージョンの節に入る。弱いバージョン、というのは、共役差積をやってないので、p が分岐する（即ち p  の上の素イデアルのどれかが分岐する）のと p が判別式を割り切ることが同値なことを証明する。多元環を使ってウダウダやるが、前に代数体の判別式をやった時の議論とよく似てるので、まああまり真面目に聞いてなくても大丈夫、ということで適当に聞いて適当に茶々を入れておいた。で定理の証明の前で力尽きたそうだ。まあ教員採用試験を受けたのだから疲れたろう。あまり上首尾とはいかなかったようだが、M1 だしな。M2 の時も受けられるんだと思うがどうなんだろう？いかんせん受けたことが無いから知らない。ま、少しホッとしてください。ということで5時45分くらいには終了した。

ゼミ中にメモ用紙に使っていた裏紙を見たら、何やら奇素数と仮定して証明してる命題があったが、別に奇素数じゃくていいのでは？と気に成って個研室に戻ってから少しチマチマやったが、どうなんだろう？と思って pdf ファイルを開いてみたら、何ともう一般の素数で大丈夫だと示していた。何だ、無駄な時間を使った。見ると内職中に考えたのよりうまいことをやってた。まあ無駄なことをやるのも大事なんで。でついでだから色々見直してみた。ちょっと自明なミスがあったり、何だかぐちゃぐちゃやってるがもっとスマートにいくぞ、という所があったりで、結構時間を使った。あっと言う間に9時を過ぎてた。まあずっとやってたわけではなく、部屋を多少ひっくり返したりはしたが。で間抜けなことが一つ発覚した。原啓介さんの著書「測度の考え方」を買ってきてうちで見たら既に買ってあって、一冊は職場に置いておいたのだが、何ともう一冊出てきた。うーん。学生のいる部屋に寄付だな。他にも講義で使ったテキストの版の古いのとか色々出てきた。資料室（という名の物置部屋）に数冊移動させて、で帰宅。

すき家でビビンバ牛丼を食べてきた。JAF Mate に付いてた50円引き券を使ったので、昼に200円、夜50円得をした。すき家は高いとは言ってもココ壱番屋や天下一品に比べるとましだ。吉野家の割引券もあるので、次は吉野家にしよう。

ゼミが終わって暫くして野球の様子を見たら、1回表に5点取られてる。…。石田裕太郎は今まで内容はよかったのだが、今日は崩れたか。まあそういうこともあります。暫くして見たら3点取り返してたが、また暫くして見たら大量リードされてた。まあ今日は Giants が首位から陥落したのでいいです。明日明後日は連勝で、Giants が負けてくれればいいので、期待しましょう。

今日の野球の話題は Fighters が Hawks に9戦目で今シーズン初勝利したこと。それと Eagles の吉井監督の船出。相手はよりによって去年まで監督をしてた Marines。先制したようだが、結果は Eagles の負け。これで Marines は貯金1だが、何とパ・リーグ5位。交流戦でセ・リーグのチームから Eagles 以外のパ・リーグのチームが勝ち星を荒稼ぎした結果。もう交流戦は忘れましょ。セ・リーグ相手だと Giants は弱い筈。Baystars は交流戦前はずっと5割をちょい割るくらいで推移していた。どうにかなるでしょう。明日、明後日は何故か試合開始が6時15分のようだ。何があるのだろう？デーゲームじゃないのは暑さ対策かな。日曜日の日本のサッカーの試合は昼1時キックオフらしいので、サッカーと野球を両方見られる。まあ明日の呑み方次第だけど。最近金曜の晩も呑んでしまうことが多いが、明日は昼前に近所で用事があるので、やめておこう。いや、火曜日に呑んだ時に一缶呑まないでダウンしてしまったのであるが、どうしよう？まあいいや、今後の成り行き次第ということで。

天下一品の拉麺は高くなって量が減った気がする

昨晩はその後岡崎体育の曲を聴くのに一苦労。歌詞が出ているページから聴けるのかとクリックしたら、Amazon Music Unlimited とかいうのと契約する羽目に成った。まあ4か月無料なのでいいです。無料期間にたまに聴くか、と思わないでもないが、小生は CD を買って聴くという時代遅れなことをやってるので、まあ聴かないな。住処にいる時は大抵テレビが付いてるし、職場では無音で勉強なる雑用なりしてるから。でその曲は「季節の報せ」というタイトルで、いい感じの曲。テンポが良くて、言葉も聞き取りやすい。いや聞き取れなかったのでは？と言われるだろうが、歌詞を見ながら聴いたんでね。「微睡む」とか「象る」とか難しい言葉を使ってるから、歌詞を見ながらでないと分からないな。うん、まあ、何でもカタカナ語にしたり漢字を使わなくなったり（「子ども」とか「り災」とかやめた方がいいと思う）に比べたら、まあいいかな、と。

で寝たが、起きたら1時を過ぎてた。まあシャワーを浴びて行っても弁当を買って食べるくらいの余裕はある。で生協にもウェストウィングにも割と近い所に停めて、弁当を買って食堂の脇のスペースで食して、ちょっと時間潰しをして講義室へ。

今日の「数理科学セミナー」はお話が多かった。最初は mod 4 で3と合同な素数の無限性とかあったが、mod 4 で1と合同な素数は第1補充法則をやるまで証明出来ないだろうし、残りの回数でそこまで行くとは思えないので、まあ無理か。で算術級数定理の主張が出ていたが示せるわけもなく、紹介してくれただけ。で次の章は素数定理の主張が出ているが、勿論証明できない。ただ学生はそれじゃ面白くなかったか、Li(s) を使った同値な言い換えとか色々調べてきてた。ただ後で考えると、π(x) と x/log x の比が1に収束する、という主張の前に「発散のスピード」ということについて書いてあったが、学生は何もそれについては言わなかった。「発散のスピード」というのは目茶目茶大事なのだが、解析の勉強をちゃんとしてないか？まあいいけど。

ちょっと休憩を挟んでゼミ。二人の学生が相手だが、一人が体調不良で休むことがよくある。二人だと隘路に嵌って、どっちも冷静さを欠いてグダグダになる、ということが多いが、三人いるとどうにかなる。今日はどうでしょう？と思ったら、案の定トラブった。二次体の狭義類数の話で小生が立ち往生するのは何とも情けない。実二次体で論文を沢山書いてるんだが。降参して個研室に本を取りに行って数冊見繕ってきたが、高木貞治「初等整数論講義」がどこにあるか分からない。まあいいか、と河田先生の本と小野先生の本とを持っていく。で後者はコホモロジーがどうしたとかよく分からないので前者を見たが、そうかこういう方針だったか、と当たり前のようなことが書いてあるのにびっくりし、それを参考にして、そこそこ時間を使ったがどうにかなった。√d が総正でないのを学生が使っていたのは変なんじゃ？と思ったが、それでよかった。うん、もう大丈夫。でもう8時近かったので、学生の側から終了を宣言してくれた。やはり三人いた方がいいな。月曜日のゼミはデフォルトで学生1名なのだが、この前も下らんことで学生も小生もてんぱった。もう一人いて冷静でいてくれたらどうにかなったろうという気がする。来週は三人でやれますように。

で部屋で作業をしようと思って鞄から筆箱を出そうと思ったら無い。「数理科学セミナー」が終わった後、テキストとメモ用紙を入れた袋を車に置いてきたが、筆箱をそっちに入れてしまったらしい。USB メモリーが無いと作業出来ない。紙をスキャンするにはコピー機に USB メモリーを刺す必要があるし、困った。仕方ないのでさっきの狭義類数のことをきっちりとギャップが無い形で紙に書き出しておいた。ちゃんと復元出来たし、来年度以降同じことが何度か出てきても大丈夫だ。まあこういうことを繰り返して段々定着していくんで、行きつ戻りつするのは悪いことではない。58歳に成ってこの体たらくはちょっと人には見せられないが。って書いてるがな。

することが無いので、少し早目に職場を出た。天下一品の山科店が3月いっぱいで無くなったので、天下一品に行こう、ということで一路膳所を目指す。が、ここから幾つかついてないことが。天下一品では注文がタブレットでやるようになっていたが、タブレットが不調で席を移らないといけなくて、で前より丼が小さくなった気がしたが値段は1190円と高くなってる。まあいいけど。でガソリンが底を突きそうなのでガソリンスタンドへ入ると、いつも給油している所に車がいたので、隣の隣（左に給油口があるので、隣では駄目）に入れようと思ったら、対面から車が入ってきて、もぅ。最初の所が空いていたので、バックで戻ろうとすると、ガソリンスタンドに入ってくる車があって、しばし判断に困る。でまあ何とか入れたけど、出る時にいつもは国道1号と直交している道路に出るのだが、今日は国道1号に出よう、としたら、信号のタイミング等で少々立ち往生してたら、左を見ると歩道の上で自転車の乗り手が「邪魔やないかい」というような目で見ていた。何か色々嫌だった。いや、事故は起こさず無事に帰り着いたからいいけどさ。

ウェストウィングの1階の自販機の内の最も新しいやつで Coke ON アプリが使えるように成ってた。新500円玉は使えるが、札を入れる口がそもそも無いという困った販売機だったが、これで使い勝手が少しはよくなった。3台並んでるが、1台は新1000円札は使えるものの新500円玉が使えないという中途半端な機械、もう一台は新500円玉も新1000円札も使えないという困ったちゃん。新1000円札の使える機械はしょっちゅう釣銭の100円玉が切れてるが、両替目的で使ってる人がいるということなのだろう。あ、新1000円札の使える機械は Pay Pay 払いに対応してるが、いや、新1000円札の使えない販売機こそ Pay Pay 対応にしてもらわないと。Coke ON が使える機械が出来てよかった。明日の講義の前はその販売機でアクエリアスを買う。明日の講義は1時10分からだから、今日はそこそこの時間に寝ておかないと。今日目が覚めた時間まで寝ていたのでは休講に成ってしまう。気を付けよう。

今たまたま「数論序説」が目に入ったので改めて見たら、ちゃんと類数と狭義類数のことがちゃんと出ていた。コホモロジーなんて使ってないし、何なら二次体以外にも適用できる証明のようだ。読んでみよう。TeX 化する時はそっちだけでなく二次体限定の証明も載せておく。下手な証明も上手い証明もそれなりに得るところはある。エレガントな証明だけがいいわけではない。ことの本質は下手な証明の方が捉えてる場合はあるのでね。伊原康孝先生が書いておられるように、後の世代が洗練させた証明より原典の方がいい場合もあるのでね。小生のような鈍才というか愚才というかは徒手空拳で下手にやりましょう。

交流戦最下位は Eagles が弱過ぎて何とかならずに済んだ（その Eagles にも負け越してるが）

今日は映画に行くも何も眠くて仕方なかった。寝たり起きたりを何度も繰り返して、夕刻からやっと調子が出てきた。不摂生してるからだろう。スマホを見たら今日は保健センターに行く日だったようだ。まあ予約を取ってるわけではないからいいけど。来週行く。薬を真面目に飲んでないので結構余ってる。血圧はそこそこ落ち着いてるから、一日二日服用しなくてもいいでしょう。もっと命にかかわるような重病ならともかく、血圧が少々高いくらいだから。いや、舐めちゃいけないよね。今晩はちゃんと飲みます。ん？朝食後服用と書いてあるが…。朝食はほぼ食べないので。

ABC で3時40分から「news おかえり」という番組をやってて、そのテーマソングの歌詞が聞き取れない。で便利な世の中で、「news おかえり テーマソング 歌詞」くらいで検索したらすぐ歌詞が載ってるサイトがあった。出だしの「♪なにげない日常こそ」は分かるんだが、その後が聞き取れない。見ると「絶景なり かくありけり」と出ていた。なにげない日常が絶景か、面白いな。その後の「紙石鹸の香りに目を閉じ」は「香り」から想像力を膨らませて「紙石鹸」？と思ったがその通り。その後がまた分からない。「さあ行かん」と聞こえたんだが、見たら「揺蕩う」。読めない、と思ったが、「さあ行かん」と子供の頃の国語の勉強の成果か、「たゆたう」？と思って電子辞書を調べたらその通りだった。面白い歌詞だ。で流れてるのは曲の頭からじゃないようだ。聞けるようだから後で聞いてみよう。歌ってる岡崎体育は知ってた。前は時々「ミラクル9」に出てたし、三井住友銀行の「オリーブ」のCMにも出てるし、「どうする家康」の時に長篠城から家康に救援を求めて使者に出た鳥居強右衛門を演じて熱演だった。1話だけの登場だったが、印象的だった。知らない人は鳥居強右衛門で検索してください。面白い人物だよ。

でいつもは「news おかえり」を7時までやるんだが、今日は6時16分から Tigers 戦の中継。何故か水曜日だけ放送がある。9時からのドラマが先週で終わったので、「報道ステーション」の前まで放送がある。試合終了まで中継があるかな、という感じ。Eagles が負ければ Eagles が交流戦最下位、Tigers が負けた場合は、7点差以上の大敗なら Tigers が最下位、さもなくば Baystars が最下位、という状況。Eagles が負けた方がいいな、と思って見ていたが、その通りに成った。前田健太が大山に2ランホームランを打たれて Tigers が先制。前田はその2失点で5回まで投げたが、その後の Eagles の弱いこと。6回無死満塁から大山犠牲フライ、高寺セーフティースクイズで2点、7回は中野、森下のヒットで2点、8回に Eagles が及川（およかわ）から3点取るも、8回に熊谷がスクイズと Eagles の守備が乱れて2点、更に福島が2点タイムリーで10－3。イニングが始まった時はセーブシチュエーションだったから岩崎（いわざき）が準備していたが、もう必要は無くなったので、最後は石黒とかいう知らない投手が出てきて抑えてゲームセット。結局 Baystars が5勝13敗で11位、Eagles が4勝14敗で12位と成った。セ・リーグは39勝しか出来ず、過去最少の勝ち数らしい。で試合は割と早目に終わったので、解説の岡田はんにアナウンサーがたっぷり聞いてたが、昨日の優勝のかかる Lions 戦で1点差なのに何の策もせず、弱い Eagles 相手で点差があるのにスクイズ2回とか、球児監督の采配に疑問を言っていた。まあさもありなん、という感じだな。それと負けてる展開で登板させた工藤（昨日は1イニング3者連続3球三振のイマキュレートイニングをやった）、及川を今日はリードしてる場面で投げさせたりと、それも疑問らしい。別に連投させるのは悪いことではないと言ってた。昔は久保田がシーズン90試合登板したことを取り上げていた。信頼してるから投げさせてるわけだからと言ってた。言いたいことは分かる。チーム愛があればこそだな。明日一日空いて、横浜スタジアムで Baystars vs. Tigers からリーグ戦再開。もう交流戦は忘れましょう。

先週の木曜日は2時55分から「数理科学セミナー」なのに2時過ぎに起きたらしい。明日はそういう慌ただしいことが無いようにしよう。今日眠かったから、早目に寝ておくか。と言ってもどうせ2時や2時半までは起きてるだろうが。ま、ちゃんとしましょ。

単位認定レポートのアップロードはうまくいったと思うがどうだろう？

呑み呑みテレビを見たり録画したものを見たりして、ボーっと不摂生。プロレスは関西は月曜深夜だが、関東では土曜にやってるらしく、日曜日の全国ネット前の放送が昨日やっていたのだろうか、日曜日の放送を見るよう煽る内容が放送されていた。結果が気に成るので、調べてしまった。ウルフアロン勝ったらしい。よかった。「夫が寝たあとに」を関西ではたまにやってて、ハードディスクに余裕を作らないとと思って1時間ものを一つ見たが、ゲストは滝川クリステルで、大臣との結婚秘話や、義父の小泉純一郎の話が面白かった。総理大臣やってる頃って50代だったのね。髪の毛白いからもっと歳だと思ってたが。今の小生とあまり変わらない。ビックリした。でもう「おはよう朝日です」の時間に成ってしまい、新人アナウンサーがテレビ初登場、と言ってたが、起きていられなかった。ABC は結構無茶をする局で、入社して間もないアナウンサーを「おはよう朝日です」に起用することがよくあるが、今年もやるんだろうか？

起きたのは1時くらい。冷凍のパスタをすすってから、レポート問題を web に上げる作業。moodle＋R のことは何も分からないが、やはり小生のような IT 弱者だったり人に聞けなかったりする人の為に「教務支援」というページが作られてて、そこを見ながら悪戦苦闘したらどうも出来たような感じだがどうだろうか？告知文も載せておいて、そこに「見えないなど問題がありましたら *** までメールください」と、勿論メールアドレスを明記して書いておいた。今のところ何も言ってきてないが、どうだろうか？金曜日の講義の時に口頭で言うので、その後見た学生が何か言ってくる可能性はある。去年だったか一昨年だったかに公開に切り替えるのを忘れて、見えないぞと文句を言われた。manaba＋R だと公開する方法は知っているのですぐやったが、moodle＋R だとどうだろうか？上手くいってますように。

それから流しておいた「警視庁・捜査一課長」と「相棒」をボーっと見て、ニュースを見てとかしてたらあっという間に7時。レポートを上げた以外は何も仕事らしいことをしてない。まあいいです。7時からの「プラチナファミリー」が高嶋ちさ子の家族の話らしく、面白いので見ようと思っていて、ちゃんと見た。面白かった。母親も父親もあの人の親だな、という感じ。お母様はもう亡くなっているそうだが、お父様はご健在。ビートルズの日本でのライブを成功させるために色々無茶苦茶やったという話が面白かった。Tigers vs. Lions を見ようかどうしようかと思っていたが、「プラチナファミリー」を見てよかった。

Tigers vs. Lions だが、0－1 で Lions が勝った。で Lions が交流戦初優勝。勝率 .824（14勝3敗1分）は過去最高の勝率とか。今日の1点は桑原のタイムリーヒットによるらしい。Marines とやった時はソトに目茶目茶打たれたし、出ていった選手が活躍してる。祐大は今怪我してるが、Hawks が上向いてきたのは祐大のお陰な部分が大きいだろう。逆に交流戦で Baystars が負けまくったのは祐大がいなくなって経験不足の松尾に任せないといけなかったからというのが大きい。明日 Eagles が勝つと Baystars が交流戦最下位とか。勝ち負けは同じに成るが、対戦で負け越してるのが効いて最下位に成ってしまうらしい。Tigers 応援しないと。Tigers は今日負けて、Giants とのゲーム差が1に成ってしまった。明日勝って0.5差にしておきたいだろう。ということで明日は Tigers を応援する。リーグ戦再開後の最初の相手は Tigers だが、そこでは Baystars が3タテして、Giants が3タテしてくれる、というのが一番良い。Giants にだけは優勝させちゃならねー。

昨晩沢山ダビングして、幾つか見て消したので、今週分の録画は全部出来るようになった。「歴史探偵」や「英雄たちの選択」で秀吉に関係した人物が取り上げられることが多く、竹中半兵衛だったり荒木村重だったり。先週の「英雄たちの選択」で荒木村重を取り上げていたのを知らず録画し損ねたが、明日再放送があるので助かった。まあ NHK オンデマンドと契約してるんで、見ることは出来るが。荒木村重という人物は昔から興味がある。信長に叛旗を翻した挙句、一族郎党を残して城から逃亡し、皆殺しにされても逃げ延びたというのがどう描かれるでしょうか？トータス松本がやってるが、いい味出してる。でちょっと調べたら、遠藤周作が荒木村重を主人公にした小説があるようなので、さっき Amazon で買った。「反逆」というタイトルの2巻もの。新しい本がどんどんたまっていく。少し Book Off に売りに行くか。明日の「歴史探偵」は竹中半兵衛と黒田官兵衛の話のようだ。こちらも興味深いので見る。菅田将暉演じる竹中半兵衛は一昨日の放送で最後だが、病気で弱っていく感じを出すために減量したらしい。何キロ瘦せたかは公表されてなかったが。頬はこけて腕はカリッカリに細かった。相当無茶をしたのだろう。菅田将暉ちょっと見直した。プロだな。

明日は映画を見に、と書いたが、会議がある可能性があるのを忘れていた。が、明日は会議は無いそうだ。どうすっかな？まあ二条駅の近くの映画館だから、思い立ってすぐ行けるが。勿論上映開始時間を調べておかないと痛い目に会うがな。そうそう、この前 YouTube を見てたら、滋賀県から無くなったものを取り上げた動画があったが、浜大津アーカスの映画館ってもう無いのね。浜田省吾の浜松の渚園でのライブ（1988年にやったもので、見に行った）を映像化したものを見に行ったが、あそこがもう無いと思うと悲しい。イオンモール草津にも映画館はあるようだが、近江大橋の向こうまで映画を見るためだけに車で行くのは地球に優しくない。いやいや、テレビを付けっ放しで電気も冷房も消さずに寝る方がよっぽど地球にはよくないけど。パソコンの電源は落とせない。有理点が見付かってないからね。この前 Windows update を勝手にやられてからはリブートされてない。見付けて記録するまで持ちますように。

元の位数が群の位数の約数なことは知ってますかね？

昨晩はその後松本清張原作の「点と線」の映画化したものをダビングしながら大河ドラマを見て、で「点と線」をハードディスクから消して、で今日やる「張り込み」を Blu-ray ディスクに直録りするようにしたら、取り敢えず水曜日までの録画予約は全部大丈夫に成った。ということでもう4時近くに成っていた。NHK にチャンネルを変えたらサッカーの番組がやっていたが、「キックオフまで45分」という字が出ていたので、見ないで寝ることにした。

起きたら12時半過ぎ。はま寿司で昼ご飯を食べる時間があるので、シャワーを浴びて出発。もう大切り銀鮭も鰹も無かったが、まだ大トロがあったのでいいです。で最後は大抵鰻なのだが、今日は大トロをもう一度食べることにした。でそれのせいで2000円をちょっと超えた。まあ今日は安くて2貫乗ってる皿を多めに注文したので、値段の割には沢山食べた気がした。満足。

で職場に着いたのは2時を過ぎたくらい。個研室で少々無駄に時間を使って、2時55分からゼミ。今日はまずメルセンヌ数とフェルマー数の素因数を少々効率よく見付ける話（F_n＝2²ⁿ＋1 の素因数は mod 2^n＋1 で1と合同とかいう程度）をして、で章が変わって原始根の話などをしていたら力尽きたらしい。原始根であることを確かめるのに2乗、3乗、4乗 … と真面目にやっていたが、元の位数が群の位数（今は (Z/pZ)^× でやってるので p－1 の約数）ということを知らないのかな、と思って本を見たらその旨のことが書いてあった。例で出たのはせいぜい p＝11 の時くらいだから大したことないが、101 とかだと賢くやらないと大変だよと言っておく。昔ゼミ中に内職で 2 が mod 101 の原始根であること、5 が mod 101 の原始根でないことを手計算で試したことがあったが、ちゃんとその時は賢くやったよ。大学入試でよく整数問題が出ている所があるが、実験する時に p－1 の約数限定で済むと思うと楽だし、精神衛生上もいいと思うので、それくらい教えておいていいかも、という気がしないではない。答案にはそんなことは知らんけど偶然見付けた、とのフリをして書いておけばいいので。で5時くらいには終了した。

その後レポート問題の点検の続き。問題自体には不備は無さそうだ。この前も書いたが、同時に解答例も作っている。で気付いた。別解の一部に説明不足があるな。まあ別解だから気にしなくてもいいけど。問題自体は不備は無いし、別解じゃない方法で解けるので。でもう飽きてきたから、いつもより少し早目に帰ることにした。

7時半過ぎに帰宅。6チャンネルを見たら、宮島をタカアンドトシ、アンガールズ、国仲涼子が歩いてる番組がやってた。宮島行ったな。広島大学で学会があった時だった。広島駅から路面電車でゆっくり行って、でフェリー乗り場で偶然にも村林さんに会って、二人で山の上まで行ったり潮が引いた後で鳥居の下を歩いたりとかで、凄く楽しかった。また行きたくなった。今は広島大に知り合いがいない（最盛期は3人も知り合いがいた）ので、行くなら観光オンリーで行かないといけないが。今年岡山に行ったが、切符を買ってあったのと乗り継ぎの時間に余裕が無かったので観光を一切してこなかったが、倉敷の美観地区を回ってきてもよかったかという気がする。まあ岡山なら新幹線で1時間で、倉敷は在来線でちょっとみたいだからその気に成ればすぐにでも行けるが。新幹線の新倉敷で降りるのは多分賢くないのだろうと思うが、どうなのだろうか？いやそんな遠くよりも、京都でも滋賀でも行きたい所は沢山ある。中学校の国語で習った仁和寺（「仁和寺にある法師」の書き出しでお馴染み）とか、石清水八幡宮とか、比叡山とか。比叡山は石山から登って、歩き回った後に八瀬方面のケーブルカーで下りてくる、というのが楽しくてよさそう、と思ってるんだがな。観光じゃないが見たい映画もある。火曜、水曜は職場に行かなくていいので映画なら行けるんだが、つい呑んでしまうからよくない。今週は金曜まで Baystars は試合が無いから、水曜日は映画行くか。明日？酒を買ってきてしまったので、これから少々呑む予定で、呑むと次の日は腹の具合が悪くなるから、明日の映画は無し。

えーと、その後「Qさま！！」が始まったが、伊集院光は動物に詳しい。あと一歩で優勝だったが、ピンポイントで三浦奈保子の知識が出て勝ってしまった。伊集院光は同い年なので昔から応援してる。20代の頃の深夜放送が面白かったのを覚えてる。何者だろうと思っていたが、落語家上がりだと知ったのは随分後のこと。これからも博識ぶりを見せておくれ。

サッカー盛り上がったようだ。先制されて追い付き、勝ち越されて追い付きで、2－2のドローらしい。強豪相手の勝ち点1は充分価値があると解説者が言ってた。スポーツバーみたいな所で結構な時間までテレビを見てた人が、店で背広に着替えて出勤する様子が流れていたが、大丈夫でしょうかね。まあ気が張ってるから今日は大丈夫かな。今晩ちゃんと寝れば明日以降も大丈夫でしょう。次の試合は昼1時からだと言ってたから、平和に見られていいですな。確か日曜日だと言ってたが、来週の日曜日の Baystars の試合はナイターのようだ。ということは両方見られるか？いや、気力が続かないかな。まあその時の気分次第だが、一応両方見るつもりにはしておこう。

全カード負け越しで、交流戦は5勝13敗で終了

昨晩も楽しかった。結構呑んだのが記憶にあり、今日は二日酔いっぽい。酒って呑んでる時は楽しいが、次の日は色々大変。後悔するくらいなら呑むな、と酒を呑めない人は言うが、呑める人は呑む気持ち分かってくれるよね？

で野球の始まる前に起きたが、途中まで見ていたが、寝床に再度入ってしまった。相手に点がどんどん入る音声が聞こえてきて、結局負けた。交流戦は全カード負け越しで5勝13敗と、何とも惨めな結果に成ってしまった。Tigers が2試合、Eagles が1試合残してるが、2チームの結果次第では最下位タイに成ってしまう。むぅ。交流戦嫌いのセ・リーグのチームのファンは多いだろうな。セで勝ち越したのは Giants だけ。交流戦前は Giants とのゲーム差が気に成ったが、下の Carp、Dragons とのゲーム差が気に成るように成った。本当にまずい。金曜からリーグ戦再開だが、相手は Tigers。厳しいな。Tigers に勝つのは容易ではないのと、いつの間にか G に首位を奪われていたのを取り返しに必死だろうし。まあ数日野球のことは忘れましょ。

晩御飯を食べに一旦起きたが、またすぐ横に成ってしまった。テレビを消し忘れた。有働由美子の声が聞こえていて、暫くしたらプロレスの音声が聞こえてきた。ウルフアロンがベルトを取り返せるか、と思っていたが、寝入ってしまい、気付けば辻陽太が何やら大々的に喋っている音声が聞こえてきた。ウルフどうなったんだろう？Google 先生に頼れば教えてくれるだろうが、まあいいや、明日の晩もプロレスはあるようだから、その時分かるだろうしいいや。

ケーブルテレビのチューナーのハードディスクが相変わらずカツカツ。明日二つばかり録画することに成ってるが、全然容量が無い。取り敢えず今日の分の大河ドラマを見て、で幾つかダビングして、とやらないと。寝るのが遅くなるな。まあプロレスを見ないで寝たので、起きていられるだろう。明日は2時55分までに職場に行けばいいから、多少の夜更かしは大丈夫だ。あ、大河ドラマは消して、土曜日の再放送を録画してもいいか。でも竹中半兵衛の登場は今晩で最後だから見たいな。録画し忘れる可能性も否定出来ない。まあいいや、これから考えよう。

勝又のプロ初ホームランなどで16得点して圧勝（篠木は勝ち投手だが5回5失点はいただけない）

少々呑みながらドラマの最終回を追っかけ再生。ひどい筋書きを考えるもんだ。まあ思ったより悪い結末ではなかった。「探偵！ナイトスクープ」を見たままチャンネルを変えないでテレビを流してると、自然とあの時間帯のドラマを見ることに成ってしまい、1回目が面白そうだとつい見ちゃう。ずっとそう。NHK の日曜夜11時からの海外ドラマは「サンデースポーツ」の後なので見てしまう。面白いドラマに当たることはあるので、まあいいけど。でその後レポート問題に間違いが無いかどうか紙とペンを相手にチェック。よさそうだ。もう一回印刷してからにしようか、ということにするが、小生の住処にはプリンターが無い。コンビニで1枚10円で印刷出来るが、何かそれは癪。ということで月曜日に職場で印刷して、火曜日は用事が無いので月曜深夜に最終チェックをしてから上げよう。moodle＋R の使い方がまだよく分かってないので、うまく上げられるでしょうか？というところだが、金曜日の講義の時にレポートをアップロードした旨言えばいいので、数日余裕がある。ということで一旦終わりにして、呑みの続きをしながら録画したものを見ていたが、途中で眠さに耐えられなくなりダウン。テレビも電気も付けっ放し。地球にやさしくないし、この石油危機の時期にこんなことをしてはいけない。分かってはいるがな。

珍しくチャンネルが4チャンネルに成ってて、いつもと違うアナウンサーの声や、忘れかけていたトミーズ雅の声が聞こえてきたので、若干寝不足気味だがいいや、と起きた。少々ボーっとテレビを見てから、11時を過ぎたあたりで Uber Eats 経由ですき家にいつものニンニクが乗った牛丼を頼んで食べて、で少々書き散らかした紙に書いたものを TeX 化してとかやってたら、あっと言う間に2時近く。

野球だが、先週の木曜日に漫画のような大逆転勝ち、金曜日に4ホームランで Hawks に圧勝、の後6連敗していた。Hawks には初戦はとったが2連敗、Fighters に3連敗、昨日は Marines にサヨナラ負け。借金は膨れに膨れて10。そろそろまずいぞ、と思って見始めるが、Marines は昨日の勝ちで最大9あった借金を完済したそうだ。まあセ・リーグ相手にそれだけ勝ったということなのだろう。Baystars はどうやって借金を返しましょう？という感じだが、まあ一つずつ地道に返すしかないので、めげずに応援。先週の連勝の頃は蝦名に当たりが戻ってきて、復帰した牧も大当たり、という感じだったが、1週間ほぼ見てなかったが、蝦名と牧の当たりがぱったりやんでたそうだ。それでは勝てない。が、今日は Baystars 打線が大当たりで、1回表に不調だった1番蝦名が出塁して、牧が凡退したが3番佐野がタイムリー2ベースヒットで早くも先制。筒香も当たってなかったがヒットでランナーを3塁に進めて、勝又のセカンドゴロでもう1点。今日はよさそう、という感じだが、よさそう、どころではなかった。2回表は二人ランナーを置いたところで蝦名がタイムリーヒット、牧が3ランホームラン、佐野、筒香が四球で出塁し、ついに出た、勝又のプロ初ホームランで3点追加。で再び走者が一人出て、京田のレフトへの当たりをレフト、ショート、サードがお見合いしてもう1点追加。2回裏終了時点で10－0。笑える。3回は蝦名、牧、佐野が凡退したが、4回に更に追加点。満塁のチャンスを作って、足を痛めたと思われる京田の後に守備についた石上（いしかみ）が犠牲フライで11点目。ルーキー小田が四球を選んで、蝦名が満塁ホームラン。蝦名は当たってなかったのでは？15－0。篠木はこんな試合は楽に勝ち投手に成らないといけないのでは？という感じだが、4回裏に3失点、5回裏に2失点と、ちょっと油断したかという感じの失点。まあリードはまだ10点あるが、問題ありだな。7回裏に Marines の宮崎がプロ初ホームランを打って15－6、9回表にセ・リーグの打率ランク2位の度会が今日の初ヒットを打ち1点追加で16－6。でそのまま終了。連敗が止まってよかった。もっと万遍なく得点するのがいいが、まあいいです。明日勝てば交流戦初のカード勝ち越し。明日で交流戦が終わるので、気分よく終えましょう。

昨日の晩は書いた通り少々呑んだが、今晩も呑む。週に1回顔を出しておかないと。軍資金を卸してから行くので、いつもより少々早目に部屋を出る。いや、セブンイレブンで卸せば早目じゃなくていいんだが、手数料をがっぽり取られるので、馬鹿馬鹿しい。数分歩いて関西みらい銀行に行けばいいだけのこと。カードで払うのは手数料を店に払っていただくのが気が引けるということで、いつもニコニコ現金払いにしている。少々歩くのは運動にもなる。超運動不足なので、ちょっと歩いた方がいい。ということでぼちぼち出発。あ、この前保険の契約をした時に饂飩を貰ったな。今日ふなごやに持っていこうと思っていたが、職場に置いたままだ。まあいいや、来週渡そう。忘れないようにしないと。