moodle＋R で作業するのに全然慣れなくて、うまくいってる自信が全く無い

はま寿司で牡蠣フェアをやってるから、昼飯をはま寿司で済ませて職場へ、のつもりが起きたのは1時半くらい。シャワーを浴びて出掛けるとはま寿司に寄る時間は全く無い。寝癖ボーボーだからシャワーで直さないわけにはいかない。ということではま寿司は諦める。職場に着いたのは2時半くらいで、生協で弁当を買って食すくらいの時間はある。で買おうとしたら、電子マネーの残高不足。現金は持ってるので大丈夫だが、何やら手間取った。土曜日に数物会のため職場に行った時に、「立命館大学正門前」のバス停で4人くらい降りていった（一人は慌ててその後についていった）が、その際にクレジットカード式だか何だかの交通系ICカードで降りようとして、運転手さんにカード対応じゃないから現金で払って、と言われていたが、現金を1円も持ってないらしい。「今回はいいけど、帰りも乗れないよ」と言われていたがどうしただろうか？現金は持ってないといけないよ。充電が切れたらどうにもならないし、スマホを落としたらどうするつもりなのだろう？多分誰の電話番号も覚えてないのだろうし、公衆電話は使い方を知らないだろうし。現金無しではタクシーで帰るというわけにもいかないだろうし。現金は携行しましょう。

2時55分から大学院向けの講義。先週は終結式と判別式の関係を行ったところで時間に成ったので、今日は2次式の判別式と3次式の判別式の話。X³＋cX＋d の判別式くらいは覚えておきましょう、と言ってから代数体の判別式に突っ込む。自由アーベル群の話をちょっとして（証明は抜き）、代数体の判別式が well-defined なことを示してから、幾つか計算して、それから判別式に関する定理を幾つか証明抜きで紹介。判別式≡0,1 (mod 4) とか符号が (－1)^{r_2} であるみたいな易しい話はちょろっと雰囲気だけ話して、それから Minkowski の判別式の評価の話（とても大変だと言っておく）、L/K が代数体の有限次拡大の時の L と K の判別式の関係（相対判別式も共役差積も定義してないから、商がどんな値に成るかは話せないが）などを話して、で既約元分解が一意でない場合がある話をしたいが、その前に U.F.D. の話をちゃんとした方がいいということで既約元がどうしたとか素元がどうしたとか話したら時間に成った。

その後部屋で講義ノートを moodle＋R にアップする作業をやろうと思うが、その前にメールを見たら、卒研配属関係の仕事を野球にかまけてサボっていて、それに関する問い合わせがあった、と連絡があった。その作業をまずやらないと、と始めるが、moodle＋R の使い方にまだ全然慣れてない。春学期にレポート出題、回収、採点をしたが、それは何とかなったが、どうやったか皆目思い出せず、教務支援に関する web ページを見て悪戦苦闘。上手くいった保証が全然無いので、配布するものだけ別にページを作って置いておいた。こっちは大分慣れてきたので大丈夫だろう。提出締め切り間際に成って「提出出来ないぞ！」とか、その後に「時間までに提出出来なかったぞ！どうしてくれる！」という趣旨のメールが来たら怖い。不安だ。

それから講義ノートを上げる作業。こっちは流石にもう慣れた。それからちょっと昨日の晩悪戦苦闘してやった数学を整理して。この方が生産性があって、気持ちも上がるし充実感がある。事務作業は嫌だ。8時半過ぎに職場を出た。

はま寿司が昼でないといけない理由は何も無い。南草津のはま寿司は深夜までやってるし。ということで晩飯ははま寿司にした。タブレットのメニューを見て注文するという今風の方法だが、一ページ目に「牡蠣にぎり もみじおろし乗せ」というのがあったので頼むが、二ページ目にシンプルな牡蠣にぎりがあった。何だ。まあ100円だから、ページをめくってる内にもう一度出会ったら頼もう、ということにして適当に頼んでいくと、案の定出てきた。ということで頼んで食べて、大体2000円くらい。昼が遅かったからかいつもより少々安く済んだ。で国道一号を一路山科へ。途中膳所の辺りでガソリンを10リットル給油して帰宅。職場でちょっと探していた本が見付かったので、出ていて欲しい結果は出てるか？と思って帰宅後開いたが、出てない。うーん、p が p≡5 (mod 8) の時、x²－2py²＝－1 が自然数解 x,y を持つこと（同じことだが Q(√(2p)) の基本単数のノルムが－1であること）の証明がちゃんと出てる洋書なり論文なり見付けたいが。日本語だと高木貞治「初等整数論講義」に出てるが、論文に T. Takagi “Lectures on elemetary number theory”（in Japanese）」と書くのは嫌だ（in Chinese って書いてたり in Russian と書いてる論文は結構ある）し、Nagell の “Number Theory” には演習問題として出ているが、証明、解答は付いてないので引用しずらい。まあそこのこと以外にもちゃんと整理出来てない部分がかなり多くあるので、急がないしゆっくり探そう。

先週の水曜日は卒研ガイダンスの仕切りをしないといけないので職場に行って、土曜日も行ったので6日連続だった。明日は保健センターに行く日なので、今週は5日間職場に行く。火曜の晩は呑むことにしているが、今晩は呑みは無し。程々に寝る。血圧測るし。受付終了は3時半だから、まあ今日と同じくらいに起きればいいので、大変ではないが。あ、明後日はゼミが夕刻からなのだが、トヨタに1時半までに行く用事があった。何か夜更かしできないと感じが狂うな。土曜は床屋に行きたいから金曜の晩も呑めない。まあ土曜日から日曜日に掛けて呑むので、金曜の晩はいいけど。何かとっても暑いようなことを言ってた。今までで一番遅い夏日がどこだかで観測されるらしい。去年は9月に成ってもずーっと暑かったが、今年はそうでなくてホッとした筈。10月にまた暑く成るとは聞いてないぞ。明日は半袖かな。

ellheegner コマンドで求めた有理点は案の定ある点の3倍だった

早目に寝るつもりでいたが、2時55分までに職場に行けばいいという甘えから、つい起きていてしまう。「おはよう朝日です」を途中まで見たが、思ったより暗くなかった。まあリーグ優勝はしたわけだし。リーグ優勝を Giants にかっさらわれたりしたら酷かったのかもしれないが。ということで変な時間まで起きていたせいで、起きたのは相当遅かった。栗東にボストンコモンという Baystars ファンの大将がやってるステーキハウスがあって、Baystars ファン貸し切りの会が時々あるが、何度か行った。滋賀なのに不思議な所だ。そこは凄い所で、去年は三嶋一輝氏が来たそうだし、数年前は何とボビー・ローズが来たそうだ。で今日はそこで昼飯を食べるべく早起き、の予定だが完全に狂って、ウェストウィングの一階のパンの販売機で1個買って齧るだけの時間しか無かった。まあゼミだけで体力は使わないからいいでしょう。

で何とかゼミに間に合った。今日は整数環が Z[√(－d)] の形でない虚二次体とか、実二次体の整数環の例として Z[√2] とか。単数が無限個あるという何だか判じ物みたいなこととか。p＝a²＋2b² なる a,b∈Z が一個でもあったら無限個ある、というのをぐちゃぐちゃ計算して示してあるが、ノルムが p の元とノルムが1の単数を掛けたものが全部そうなので、無限個ある、という方が見通しがいいとおもうが、と毎年思う。ということでそう話しておく。で類数が1でない虚二次体の章に突入。分解が一意でない例はここ数年沢山例を見付けた。27＝3³＝(1＋√(－26))(1－√(－26)) みたいに立方数なのに square-free みたいな顔をした奴とか、30＝2×3×5＝(1＋√(－29))(1－√(－29)) みたいに因子の個数が違う奴とか色々気味が悪い。こういうのを知っておくと面白いよね。来週はイデアルがいい整数底を持つ話とかイデアルのノルムとかやるようだ。素イデアル分解の一意性まで行くかな？順調でよろしい。

夏休みは住処のパソコンで有理点探しをしていた。何日も何週間も掛かるものを職場のパソコンにやらせると、経過を見に行かないといけない。8月、9月は暑いので外出したくないし、行っても結果が出てなくてガッカリ、ということが考えられるから、住処のパソコンでやっていたのだが、秋学期は週に4日以上職場に行くから、別にやらせおいてもいい。ということで前に見付けたのの追試をしているのだが、今日見付かっていた（74時間強）ものは、Magma Calculator の Generators コマンドで一瞬で生成元が見付かっていた曲線を PARI/GP の ellheegner コマンドで見付けさせよう、ということでやっていた。が、これは実は問題児。Magma Caculator で見付かった点の height と ConjecturalRegulator で求めた値に9倍の差がある。ellheegner コマンドでは正しい生成元と height 9倍の点（点としては3倍された点）のどっちが出る？と思ったら3倍された点が返ってきていた。今まで見付けたのもそうなってる可能性は大。ということで ellsaturation(E,[P],100) くらいは全部試した方がいいな。今日求まった奴でやったら、ちゃんと三分の一倍点（そんな用語があるか知らんが）が返ってきた。コンピューターが返した結果を盲目的に受け入れてはいけないな。最近の人は何かと AI に頼っているが、最後は自分で判断せあかんえ。ellsaturation だけでなく、小さい素数 p で 1/p  倍点（だからそんな用語はあるのか？）があるかどうか確認して、log height（Weil height？）と canonical height の差を求めて（SageMath で簡単に出来る）、で地味な方法でlog height が求まった bound 以下の点が無いことを確かめよう。まあ結局コンピューターに頼ることには違いないが、何も分かってないのと少しでも手触りでやるのとは違う。ということで明日からやる。

今週も水曜日に職場に行かないといけないことに気付いてしまった。二か月に一回の保健センターの日。先週は6日行ったし、今週は5日。よう働いた。床屋に行きたいが、土曜まで無理だな。映画も行きたいが、土曜日から日本シリーズだし。何故6時半開始何だろうか？6時からやって欲しいが。CS でやってる「プロ野球ニュース」は通常は23時からなのだが、日本シリーズ中は30分開始を遅らせるそうだ。まあいいです。土曜日は途中で呑みに出るし、日曜日は夜なら二日酔いでがっつり寝込んだ後でも見られる。ということでまだまだ忙しいです。事務の人にメールを書かないと。今日は数物事務室は全日閉めると言ってたから、今日書けばいいと思って放っておいた。これを書き終わったらメールを書く。ということでもう一仕事。

昨日は数物会で懐かしい人と沢山あったり、Baystars が日本シリーズに進出決定など、楽しいこと多数な週末だった

昨日の話から。昨日は BKC で「数物会」という名の数理科学科、物理科学科合同のOB会があった。小生が来た年は「数学物理学科」という名前の一つの学科だったので、OB会はそういう名前に成ってる。小生は1年だけ数学物理学科所属だったわけで、2年目からは数理科学科所属に成った。2時開始で、酒の席もあるので、ちゃんと寝ておかないと、と思ったが、つい金曜日の晩は変な時間まで起きていてしまう。で更に全く生産性の無い蟻地獄に嵌って、結局寝ないで行った。が、最初の1時間は数物会総会というやつで、会長の挨拶とか事業報告とかそんなのだった。筆記用具を持っていけば内職が出来たのだが、生憎忘れた。仕方ないのでスマホで野球の状況を見ながら時間を潰した。1回表に早速先制したが、1回裏にすぐ1点取り返された。Tigers は4試合目で初めての得点。山科駅で買ったペットボトルのお茶を電車、バスの中で少しずつ飲んで、数物会の会場でも少しずつ飲んでたが、カフェインを摂取すると近くなるものがあるので、ちょっと会場から離れたが、ロン毛の兄ちゃんが声を掛けてきて、誰？と思って向こうが名乗った。おぉ、ずいぶん昔のゼミの学生（修士課程まで行った）だった。当時は短髪だったので、全然印象が違って分からなかった。用を済ませてしばし立ち話。暫くしたら彼の同期の奴が現れて、3人で立ち話。小学校教員は大変だったようで、退職してほぼ無職状態だと言ってた。何の仕事でも苦労は絶えないね。一旦休憩に成ったようで、彼の同期がもう一人現れた。そいつとは2年くらい前に呑んだ。

で3時から荒井正治先生の話が始まるので、部屋に戻って、話を聴講。昔話が大変面白かった。昔は「15週」講義をやればよかったが、今は「15回」に成った。意味分かりますか？小生はすぐには分からなかった。成程。一つ分かったのは、小生と荒井先生はどちらも43年1月生まれということ。小生の43は昭和で、荒井先生の43は1943年。丁度25違うということだ。小生は31で立命に来たが、その時の荒井先生は56歳。何と今の小生より若かったのか。貫禄がおありだったな。

その後ナデシコ食堂（という名前の食堂が学内にある）で懇親会。呑み食いしながら何人かと話して、で料理を取りに移動すると、背の高い人がいたが、名前を見たらすぐ誰だかわかった。立ち方の特徴が確かに彼だ。Dp君の同期生だが、Dp君は教頭先生、彼は教育委員会だか何かに出向だかしてると言ってた。彼らの学年で一浪した学生は小生の12学年しただから、46歳か47歳。まあそれくらいの歳に成ると出世する人はするでしょう。で話し込んでたら去年物理科学科に来た先生が料理を取りに来た。ちょっと関係があって彼のことを知っていたので、話し掛けてみた。向こうもこっちに覚えがあったようだ。楽しくなさってるようでよかった。その後いつも話し掛けてこられる元高校教師の方と、さっきの背の高い彼と3人で話して、そうこうしてるうちにお開きに成った。宴席なのに学生のポスター発表があったが、全く見に行かなかった。申し訳ない。

途中チラッと野球を見たが、9回表で1点リードされている状況だったが、その刹那 Baystars に2点入って逆転。おっ！ウェストウィングに寄ってもよかったが、USB メモリーの入った筆箱を持ってこなかったので、駅に向かう人達と一緒にバスに乗った。Tigers ファンの人から怒られた。Baystars は9回表に4点取ったようだ。嬉しい。

住処に戻ってちょっと仮眠。ふなごやの閉店前に行けるように土曜の夜の変な時間にアラームが仕掛けてあるが、それで起きた。でちょちょっとブログを書いて、お土産にもらったお菓子を持って出発。店に入ると同時に「申し訳ない」と言ったが、店長は Baystars は強かったし仕方ないです、と寛大なお言葉を言ってくれた。Giants に負けた場合はそうはいかなかったろうが。バイトの人はメニューの改訂作業が済んで帰られたようだ。小生が「来週は来ないかも」と先週言ったので、来ないと思っていたらしい。が、呼びましょ、と提案して、ワインを開けようとした刹那に入ってきた。やはり Tigers ファンなので、「申し訳ない」と言っておいた。でいつもの通り話が言ったり来たりするが、この前 Tigers がリーグ優勝を決めた日は逸れてもすぐ Tigers の話題に成ったのと同様、Baystars が CS を制した話に何度も収束した。で適当な時間にお開きに成った。例によって途中からあまりよく覚えてないが。

セブンイレブンで水を買って、帰ってきてぐびぐび飲んでる内にダウンしたようだ。超寝不足だったので、何度も目が覚めたが、夕刻まで寝ていた。電話が鳴って、見るとトヨタからなので出た。で起きて、昨日の「蟻地獄」の続きをしながら時間潰し。飲みかけの水のペットボトルがカレーの風味がしたが何故？と思って思い出した。セブンイレブンで一緒にカレーパン（完全めしのやつ）を買ったのだった。その辺に袋が落ちてた。で5時過ぎに Uber Eats に麻婆飯と餃子と唐揚げを頼んで、「蟻地獄」をやって暫くして見たら、店からキャンセルを食らっていた。もう。餃子を食べたい舌に成っていたので、王将メニューを頼むことにした。6時過ぎに届いて、それから一昨日と昨日のプロ野球ニュースを見た。どちらも勝つのが分かっているので、楽しく見られた。昨日の試合は森下にホームランを2本打たれ、二桁安打を許したから、昨日負けていたらどうなったか分からない展開だった。Tigers は神宮にイニング跨ぎで投げさせて大ピンチを作ったり（その時は無失点だった）、工藤を8回から投げさせて9回に打たれたりと、球児監督の勘（昔はよく「勘ピューター」という言葉が使われたのを思い出した）が鈍かったということだな。Tigers は1戦目から3戦目まで27イニング無得点だったが、それは Giants の25イニング無得点を大きく上回る結果で、Baystars の CS での6連勝は初だと言ってた。勢いに乗った Baystars は怖いぞ。待っとれ Hawks。今年の Baystars、Hawks のシーズンの成績は一昨年と全く一緒で、Baystars が CS 優勝を決めた日も2年前と同じ10月17日らしい。更に日本シリーズの初戦が横浜スタジアムというのも同じ。「安心理論」でいくと今年も日本シリーズ制覇だな。一昨年も書いたが「日本一」とは言いたくない。さあどうなるでしょう？24日（土）開幕。楽しみだ。短期決戦は長丁場のシーズンと違うのはこの6試合で証明した。今年も強者をぶっ倒してやりましょう。

「プロ野球ニュース」を見てて思ったが、短期決戦はラッキーボーイと裏ラッキーボーイが必ずいる。Baystars はルーキー片山が7回2安打無失点の快投を見せたり、シーズン中一本もホームランを打ったことのないルーキー成瀬が勝ち越しの2ランホームランを打ったりと、去年までいなかった面子がラッキーボーイだった。昨日は林が代打でダメ押し点をあげたが、林は宮下、成瀬とルーキーにショートのポジションを奪われたので必死だったのだろう。Tigers の裏ラッキーボーイは佐藤と近本だったな。2人とも殆ど打てなかったし。事前のミーティングで相手を洗い出すのは Baystars の得意とするところだが、Hawks には祐大がいる。Baystars の投手陣のことは何でも知ってる。いや、そうでもないな。片山が出てきたのは祐大が移籍した後だし、7勝をあげた尾形は祐大とのトレードで来たわけだから、勿論何も知らないだろう。ということでどうなるかは全く未知数。楽しんで見ましょう。

やった！

今日は色々あって書きたいことが多いが、やった！明日以降に詳細を書く。とりあえずこれからお詫び行脚。いや、一軒しか行かないから行脚じゃないか。卒業生に沢山あって、お菓子を貰った。学生の溜まり部屋用の大きい奴を職場に置かないで持って帰ってきてしまった。小生用の小さい奴を持っていく。嬉しいけどお詫びから始める。もう一回書く。やった！

佐野の3ランと牧のソロホームランに依る4点で勝利（3試合連続完封勝ち）

寝ないといけないと思うんだが、キリが付くまでやってしまいたくなり夜更かし。いや、数学をやってるならまだ充実感はあるが、しょうもないことをやっているので、馬鹿臭い。まあいいけど。で起きて、11時半を大きく回ってから出発。遅く着くと外で弁当は殆ど売ってない。まあ店にしたら数個残ってても廃棄か従業員に無償で食べさせるんだろうから、1個買ってあげれば協力には成るだろう。ということで買って、個研室で食べてから1時過ぎに講義室へ向かう。

先週より大分出席者が減っていたような気がするが、卒研ガイダンスを聞いて、自分のやりたいことに体論は要らないと悟ったのだろうか？気にせず始める。今日は代数的な元を一個添加した拡大体の構造定理と、最小多項式であるのが既約であることを判定することにより分かるとかそういう話。大学入試問題を箸休めに話せば興味を持つ学生はいるでしょう、ということで、昔九大で 2cos(π/9) を根とする Z 係数の3次多項式を一つ求めて、それから 2cos(π/9) が根である Q 係数の2次多項式は存在しないことを示せ、という問題について話しておく。大学入試だと色々ウルトラCを使って示さないといけないだろうが、体論を知ったら既約であることを示せばよい、そしてそれは瞬時、ということを言っておく。代数的な元が分母にあると有理化出来るとかも。京大が変な問題出してたからね。でそういったことをやってから、拡大が代数的とか超越的とか定義した辺りで時間。来週は代数的な元の全体が四則演算で閉じてるとか、代数拡大の上に代数拡大を乗せると代数拡大とかその逆とかやって、で代数的閉包の節に突っ込む予定だが、大分訳が分からなくなってくるだろう。まあ代数的閉包の存在と一意性を示したとしても、よく分かるということはないだろうから、今年も証明略で。気分が乗れば証明を書いたものを moodle＋R に載せていいが、まあやらないな。例年大体色々やることがあってやってない。一回やっておけば使い回し出来るので、やっておけばいいんだが。ベクトル空間の基底の存在も、有限次元と仮定しない場合の証明はほぼ全員知らないだろうから、これも載せておきたいが、結局やってない。まあ残り数年だ。やらなくていいや。

ちょっと休憩を挟んでゼミ。この前ディリクレの単数定理の証明が完成したので、今日は単数規準とかやって、それから実二次体の単数の話。ここは話すことが幾らでもある。マニアだからね。その後総実でない三次体の単数に関するアルティンによる結果の話。何度も聞いているが、未だによく分かってない。まあ何か高校数学みたいなことを使って示せる、というのは知っているが。でそれを使って基本単数を求める話が書いてあって、でそれをやったあたりで6時くらい。6時15分終了だからそこでやめてくれた。

それからちょっと考えていたことの整理。少しスッキリした。論文に出来るだろうか？何か最近論文を出してもらった雑誌が小さい jorunal に成ってる（いや、あの雑誌（どれ？）の悪口を書きたいわけではない）ので、今度のはちゃんとしたいが。結果の傾向ははっきり出ているのだが、どう証明していいか分からない。Z 上でやってる人は方程式を変えても Z でやってることには違いないのでどうにかなるのかもしれんが、実二次体の整数環でやると類数だったり単数だったり色々困難があるし、Z では隣の元まで大きい隙間があるからね。まあもうちょっと出来る範囲でジタバタします。

などとしながらチラチラと野球の様子をうかがっていたが、またしても Baystars がリードしている。佐野に3ランホームランが出たようだ。Tigers は佐藤、森下がスタメン落ちとか。Baystars の先発のドラフト4位ルーキー片山が殆どヒットを打たれてないようだ。帰って NHK BS で野球を見ようか？とも思ったが、ちょっと数学のキリが悪いので、8時20分過ぎまで色々やってた。信号待ちの時に見たらもう1点入ってる。牧がホームラン。好調だね。で四宮まで来たらもう9回裏で、住処に着いたら終わっていた。Tigers 相手に3試合連続完封リレー。凄いな。ただ片山がヒーローインタビューであと一つ勝たないといけないから、油断せずにいくという趣旨のことを話していたが、大事。一昨年のことはあまり覚えてないが、Giants 相手に勝ちを重ねた後反撃を食らって大変だったようだから、浮ついてないのはいいこと。日本シリーズでも小生の生まれた後でも3連勝の後4連敗というのが二度あったし。明日は数物会のOB会に出世することに成ってて、野球はデーゲーム。見られないな。まあ明日決まってその後見られないのはいいので、一気に決めちゃってください。数物会の懇親会が終わった後どうなるかによるが、明日のふなごや行はないだろうから、文句は言われないで済む。決めちゃってください。

パ・リーグは Hawks があっさり3連勝。シーズン中から Fighters は Hawks に全く歯が立ってなかったし、しかも場所は苦手の福岡（今はみずほ PayPay ドームというらしい）。まあ仕方ないな。そんな Hawks を Baystars は一昨年コテンパンにやっつけた。今年も是非。因みに2年前と今年の Baystars、Hawks の成績は全く同じらしい。これは下克上アゲインか？とネット民は盛り上がっている。正夢にしましょう。

星君（新潟大）と話してる間に牧のソロホームランに依る1点で決着が付いていた

寝ようと思うと何かやりたくなる。でまたしても「おはよう朝日です」が始まってしまい、そこから暫く見てしまった。で起きたらもうゼミが始まる時間。「遅れる」とメールを書いて、急いで出発。夕方だから、ウェストウィングの割と近くに停められるので、まあそんなに遅れてない、とは言えないくらい遅れていたが。急いでゼミ室へ向かう。

今日は位相群の話ばかりで、開近傍がどうしたとかそういう話ばかりだった。位相群の部分群ん閉包はまた部分群に成るが、ちゃんと証明してた。自分で証明を考えたなら凄いし、何かを調べて喋ったとしてもちゃんと消化していた立派。皆やはり位相はそんなに得意でないようで、今日も早目に終了した。遅れて行かなかったらもっと早く終わったということだが、いいです。イデールに入ると大変だし。来週から本格的にイデールをやるようなので、勉強しておかないと。大昔に勉強したが、実は類体論を使う時はイデアルを用いた形式化の方しか用いたことが無いので、イデールはほぼ完全に忘れている。ゼミで使ってる本をもう一冊買って、職場と住処に一冊ずつあるので、どこでも勉強出来る。

でその後談話会室控室でやってる宴会に顔を出す。いつもは「ああ、またやってはる」と思って顔を出さないが、今日は新潟大学の星明考君が講演者の一人だったので、話はゼミの裏番組なので聞けなかったが、まあ話はしておこうと。でその後タップリ話した。内から他の大学に移った人とか、結構御大の方ととか。世間は狭いもんで、御大の話してることが室蘭工大の森田英章君の話に近いような感じなので聞いたら、よく知ってると言ってた。森田君は小生星君と同じ横浜の出身で、去年鹿児島で聞いたら星君と同じ高校（つまり小生の兄者と同じ高校）だと言っていたので星君に教えたら、森田君と面識は無いようなので、是非新潟のセミナーに呼んであげて、と言っておいた。で何だかんだと話していて、皆さん10時40分の終バスで帰るようで、10時半くらいにお開きに成った。

その後ココ壱番屋でカキフライカレーを食べて帰宅。今さっき着いた。楽しかったが、やろうと思っていたことが出来なかった。まあいいです。明日やる。いや、明日は早目に帰ってきて野球を見ようか？金曜日は6時ちょいまでゼミだから、7時に職場を出ようかな。もう帰宅ラッシュは一段落しているし。展開次第だな。昨日は2－0で勝って、今日は牧のソロホームランでの1点差で勝った（1－0ということね）。明日勝てば一気に日本シリーズに立直だ。是7時の時点での点差で今朝遅くまで考えていたことを TeX 化しに遅くまでいるかどうか考えよう。

明日は1時10分から講義だから、今日はちゃんと寝ないと。「アメトーーク！」が終わってから先週の「座王」を見て寝よう。今日の「プロ野球ニュース」の録画を忘れないようにしないと。パ・リーグの今日の決着の仕方が凄い（2－2の同点から9回裏にサヨナラ満塁ホームラン）だから、こっちも見たい。ホームランは怖いね。まあ一遍に点が沢山入るのと時間制じゃないのが野球の面白い所だ。明日はどうなるでしょうか？

卒研ガイダンス無事終了（Baystars は Tigers に勝って1勝1敗のタイ）

今朝は8時半と9時に目覚ましを仕掛けておいたが、7時半くらいに目が覚めてしまった。買っておいたカップ麺をすすって腹ごしらえをしたが、やはり眠くて、もう一度30分くらい寝た。10時ちょい前にチェックアウト。個研室に一旦入って、11時過ぎに弁当を買いに出る。プリズムハウスの売り場に近付くと「11時30分～1時30分」と成っていて、無駄足かと思ったが、フライングで売り出す店が2軒あった。文句も言わずに買うんだけど。

何故泊まったかと言うと、12時25分からの卒研ガイダンスを仕切らないといけないから。いや、止まるほど早起きではないだろう、と言われるだろうが、普段の住処での小生の生活を考えると、これくらいの時間でも寝坊してしまう可能性は結構高いので、安全のためにね。10時で追い出されるわけだから、心配はいらない。ということで12時5分くらいに遠くのコラーニングハウスIに向かう。事務によると前の12時20分まで講義で使っているそうだが、中を見ると講義をやってる風は無く、数名学生がいる程度。数理の学生かな、ということで遠慮無く入っていく。廊下で待っていたY富先生も小生に続いて入ってきた。AV機器の主電源を入れて、大型モニターとスクリーンにパソコンの画面を映すようにして、Zoom も起動させて、でウダウダとやってる内に現場にも Zoom の待機室にも学生が集まってきて、で開始。小生が下手だから、画面に色々映ってて鬱陶しい。消し方が分からないのでそのままにしておいたが、同僚が消し方を教えてくれた。で開始したが、Zoom での録画、録音は出来てるんだろうか？不安でしょうがない。学生は次のコマに講義があるから、喋りたいのはやまやまだが、程々にしてくれ、と事前に釘を刺しておいた甲斐があってか、皆さん手短に話されていた。数ページに亘る資料を読み上げる人が必ずいるのだが、今年はちゃっちゃと流しくれた。後で web に上げておくので、読んでね、ということを言っておいて、無事1時5分くらいに終了。学生さんは1時10分からの講義に間に合うね。よかった。で Zoom を終了させると、音声を mp4 に変換する作業が始まった。これが始まったということはちゃんと記録されてるのだろう。1時10分からの講義が無い部屋を選んでもらったので、一人で作業をしても大丈夫。待ってる間に昨日の講義資料を直す作業をして、で変換が終わった後再生してみる。大丈夫そう。個研室に戻ったら web に色々上げる作業をやることにして、2時くらいに撤収。コラーニングハウスIは生協の本屋の目の前なので、思い出して数セミなど幾つか購入して戻る。部屋に戻ったら、理工学部事務室に持っていく物があったのを思い出して、行ってくる。で飲み物を買って、一息ついた。よかった、ホッとした。

ですぐ帰れれば嬉しいのだが、夕刻から密談があるとのメールが来ていた。選ばれたメンツを見ると、そういうことかな、と思ったらそうだった。重い。一国一城の主に成るというのはそういうことだ。耳が痛いし胸が痛い。自分に言われてるようにグサグサ刺さってくる。まあそういう所に落ち着きますよね。後は学科長（今回はその立場ではないが）が一汗かいてくれれば。

6時前には解放された。6時台は渋滞するので、ちょっと時間を潰そう、と始めたが、何だかんだと（一人で）盛り上がっていて、9時過ぎまで職場にいた。チラチラと野球を気にしていたが、1回表に Baystars が先制。村上頌樹が2者連続四球をくれるという珍しいことが起き、今日4番に入った宮崎が先制打。よしよし。まだチャンスは続いていたが、暫くして見たら1点しか入ってなかった。打ち勝つチームである反面、残塁もとっても多い芸風。こんなことをしてるとまたぞろ逆転されるぞ、と思って時々見るも1－0のまま。パ・リーグは Fighters がリードしてたと思ったら、Hawks が1イニングにまとめて5点取って引っくり返してた。モイネロが不調でもこれが出来るからな。でまたウダウダとやって、どうなった？と見ると2－0に成ってた。佐野がホームランを打ったらしい。で何度かのピンチをかわして、そのまま勝っていた。9回裏は1アウト2、3塁のピンチだったようだが、レイノルズが無失点で逃げ切った。見ると、Baystars は3安打、Tigers は7安打。まあ毎度言ってるが、ヒットの数を競う競技ではないのでね。1試合 Tigers にアドバンテージが与えられてるが、これで1勝1敗に成った。パ・リーグは Hawks に2勝のアドバンテージが与えられている。Hawks はアドバンテージ込みで5勝、Fighters はちゃんと5勝しないといけない。今日の結果で Hawks が3勝リードしたことに成るから、Fighters 厳しいぞ。明日は8時までゼミだから、明日も見られないな。ゼミの裏番組で新潟のスター（一部の人には誰のことか自明でしょう）が「量子ウォークセミナー」とやらで喋りに来るが、聞けないしお相手出来ないのが残念。うちに来たことあるかどうか分からなかったので、テクニカルなアドバイス「かがやき通り経由のバスの場合は『立命館大学正門前』で降りないように」とメールしておいた。

今週は週に6日職場に行く必要があるのだった。普通行かない今日行って、土曜日は「数物会」といううちと物理科学科のOB会（昔は数学物理学科だったので）があって、職場に行く。明後日は「大学院ウィーク」というのでOBが沢山来るので、A 堀先生は3日連続酒の席か。ご苦労様です。小生は明日も明後日も車で職場に行くので、酒は遠慮させてもらおう。土曜日は電車とバスで行くけど。あ、来週の水曜日は保健センターの日だ。週5日も6日も大学行くの嫌だな。いやいや、大抵の人はやってるがな、というのは仰る通り。そういうのが嫌で選んだ仕事でもあるのでね。ただ色々違う厳しさはあるがね。ま、楽な仕事は無いですよ。