TeX も SageMath もうまくインストール出来ず苦戦中

TeX のインストールが終わったか、と見たら、なんとこけてる。ガーン。仕方ないので一からやり直し、と思ったが、とてつもなく時間が掛かるので、その前に Microsoft Office と Acrobat をインストール。うちのコンピューターを管轄しているところのホームページを見たが、どちらも何かよく分からない。でああでもない、こうでもないといじってたら、出来たっぽい。ぽい、というのが怪しいんだが。もっと分かるように書いてくれないと。Microsoft も Adobe も、ホームページが色々ゴチャゴチャしてて分かりにくい。でその後 TeX のインストールを仕掛けて、などとやっていたら結構な時間に成ってしまった。寝ないとまずいな、いや、徹夜か、などと考えていたら、眠くて耐えられなくなってきて、寝床へ。今日もゼミの前に面談があるから、そこそこの時間に住処を出ないといけない。が、結構寝てしまって、ダッシュで出発。幸い道路はすいてて、駐車場もいい所に停められた。鰻の弁当を買って、個研室でノートパソコンを立ち上げて待つも、来ない。面談が終わったら鰻を食べるつもりだったが、もう待ち切れないので食べ始めた。結局学生から応答は無かった。まあいいです。

1時からゼミ。今日はまず y²＝x³－9 と y²＝x³－8 の有理整数点を求める問題から。が、これが難しい。前に y²＝x³－2 を扱ったが、前者はそれとは違う環であるガウスの整数環で考えないといけないし、2と3がガウスの整数環でどう分解するかを分かってないといけない。何も考えずにやると無茶苦茶になる。で無茶苦茶に成り始めて、どんどん小生の声が荒くなる。面談をすっぽかされてちょっと虫の居所が悪かった。T 君と I 君が色々突っ込んでいるので、任せておくことにする。が、彼等もどんどんヒートアップしてきて、一つ目を片付けるのに相当掛かった。むしろ二つ目の方が易しい。で何とか終了。選手交代で、今までは Q(√－1) と Q(√－2)（の整数環）しか扱わなかったが、Q(√－d)、d≡3 (mod 4) の場合をちょっとだけやろう、という話。証明は前と同じなのでほぼ略されているが、一生懸命勉強してきたようで、話していた。いいと思います。で途中で予習が尽きたようだ。時間の兼ね合いもあって、少し早目に終了。まあいいんじゃないでしょうか。

その後線形代数をうだうだと。昨日と一昨日ちょっとやったけど、やっぱり始めると時間が掛かる。住処のパソコンがまだちゃんと使えるようになっていないので、そこそこの時間までやって、明日の講義資料と両方印刷。ま、これで大丈夫かな。

今日は何やら寒いと言っていたが、時間が無かったので急いで飛び出した。職場に着くと確かに寒い。学生も教員も皆厚着だった。ちょっと前まで冷房が必要だったが、今日は暖房のお世話に成った。今日は近畿で木枯らし一号が吹いたとか言ってた。京都の最高気温は14度。シャツ一枚じゃちょっと寒かったな。が、まだ25度近くまで上がる日があるようなことを言ってた。どうしたらいいんでしょうね？

いつもよりは少し早目に帰ってきた。新しいパソコンを使えるようにしないと。昨日 TeX が何やらエラーを吐いて止まったので、それの善後策を練るのと、Maple とか SageMath とか色々インストールしたいので。Maple はうまくいった。が SageMath が全然うまくいかない。何遍もやってるし、SageMath のページを見返したり、前にインストールした時にお世話に成ったページを覗いたり。もう今晩はやめようか？明日は面談は無いが、1時から講義だからそこそこの時間には寝ないと。明後日はきつい一日だから、今晩辺りからちゃんとしておいた方がいい。まあもうちょっと粘ろう。

新しいパソコンのセットアップ中

今日の面談は住処からやればいい、ということもあり、ちょっと夜更かししてしまった。目が覚めたら12時くらいで、ちょっと焦った。一瞬面談は1時開始だったな、と勘違いしてもう一度寝ようと思って、違うぞ！と飛び起きた。間に合ってよかった。今日の面談の相手は女子学生。付属校の出身のようだ。高校で微積分をちょっと怠けたため、今苦労していると言ってた。付属校に限らず特別入試で早々と合格を決めてしまえば、そりゃ羽根を伸ばすよね、というのは分かる。全然関係無いが、付属校というと予備校の時を思い出す。東京の世田谷にある某私立大学の付属校出身の奴が数名いた。で一浪して彼らは皆その大学に舞い戻っていった。同級生だった奴が1年先輩でいるわけだ。嫌だろうな。兄者の友人は大学受験で苦労しないよう私立大学の付属校に入ったが、浪人していた。行けなかったのだろう。やはり何か目標を持って一生懸命やるというのは大事だ。今日の学生も頑張ってくれるといいが。

3時40分にインフルエンザの予防接種を職場に受けに行くことに成っているが、まだちょっと時間があるな、と寝床で寝入ってしまい、気付けば3時近く。焦った。シャワーを浴びて身ぎれいにしてから行こうと思っていたが、無理。汗臭いのだけは嫌なので、上から下まで着替えていった。で一番大きい駐車場からだとちょっと距離があるが、これくらいの時間だとウェストウィングの近くに停められるので、3時42分くらいに保健センターに着いた。問診票を昨日記入しておいたが、個研室に置き忘れた。もう一度書けばいいようなので、書く。結構何人も問診票を書いていたから、そもそも知らなかった人もいるということだろう。でちょっと待って、医者とちょっとだけ話す。要するに体調云々の問題が一切無いということの確認。で問題無いので、すぐ撃ってもらえた。個研室でちょっと待機する必要があるので、少しだけ TeX 打ち。線形代数のテキストの本文に2個のベクトル空間の和と直和が出ているが、もっと多い場合が出てないようなので、2年前の講義ノートからコピペ。で4時40分くらいに職場を後にする。

今日は新しいパソコンのセットアップをしたい、ということで、ウィルス対策ソフトをジョーシンに買いに行く、ということで下道で帰る。名神で帰ると、ちょっと嫌な合流があるので。で着いて探してみると、売り切れらしい。まあメーカーのページからダウンロードすれば買えるのは分かっていたので、いいことにして引き上げる。6時くらいに成っていたので、はま寿司に寄ることにした。住処に帰るには山科区東野の交差点を右折する必要があり、そのためにジョーシンを出てすぐ右のレーンに移らないといけないが、帰宅ラッシュの時間でそれが難しいため、左折で行けるからはま寿司にしよう、ということで。着いてみると何やら火災報知機の誤作動が起きるため、エレベーターの使用は出来ません、などと書いてある。むぅ。まあ2階だからいいです。初めてこっちの入り口から入った。で2000円弱食べて、払って、でそこでビックリ。エレベーターが使えないので、車椅子の人を階段で降ろす必要があり、お連れの2名と店員3名で一生懸命やっていた。途中に踊り場があってよかった。一気に1階までだったら誰かしらこけそうで怖い。無事に済んでよかった。ではま寿司を出る時右折で外環に出るのは大変なので、左折して相当大回りをして帰ることにしている。この前交差点を一つ間違えて、狭い道を久々に運転する羽目に成ったので、今日は注意してインターの手前の信号を右折した。でブックオフのある所で左折するつもりだったが、通り過ぎてしまった。仕方ないので、今度は山科区東野を左折して、住処に戻る時は右折で。ブックオフの前を左折すると、最後が左折で入れて嬉しいんだが。まあいいです。

帰ってきてパソコンのセットアップ。まずウィルス対策ソフトをインストールしてから Chrome をインストール。メールが読めるし、Edge なんていうブラウザーを使わないで済む。でその後何をインストールしようか？とちょっと考えて、TeX Live のインストールを始めてしまった。何時間掛かるんだろう？他のものを先にやればよかったな。暇なので大貧民をコピーして、やりながら待つ。勿論そんなちょっとでは終わらないので、今やっているところ。ユーザー辞書を移してないことに気付いて、今さっき USB メモリーに吐き出したところ。TeX のインストールが済んだら、TeX ファイルを xyzzy で開けるように関連付けを変える、と言ってもまだ xyzzy のインストールをしてない。で仕事用に仕方なく Microsoft Office と Acrobat をインストールする。pdf は Smatra pdf で見るので、Acrobat を後でインストールすると関連付けをもう一度しないといけないので、時間は掛かるが、こっちが先。などとやれるのは明日帰ってきてからだろう。TeX だけで何時間も掛かるからね。新しいパソコンを買ったら、まあ使えるようにする作業は二日がかりだな。

さて、作業中にニュースを見ていたら、トランプの返り咲きが決定的とか。うむ。今日のニュースはこれ一色だろうな。世界はどう変わるのか？怖いな。

寝坊は程々に（自戒の念も込めて）

今朝も何だかんだで11時くらいまで寝てしまった。シャワーを浴びるとせわしなく成りそうなので、寝癖も酷くないしいいや、ということで適当にして出掛ける。弁当を買って、食べて、としているうちに12時20分時近く。パソコンを立ち上げて、Zoom を起動させて、学生と面談。ちゃんとした学生のようで、特段問題は無かった。でその後暫くおいて、1時から面談をもう一件。が、1時に成っても入室してこない。5分くらい経ったら入室許可を求めるメッセージが出てきた。寝坊だろうか？まあ5分くらいの遅刻はあることだが、やられるとちょっと嫌な感じするね。小生も気を付けないと。勉強はバリバリ進めているようだし、まあそんなに心配は無いかな、という感じ。まだ酒を呑んではいないだろうが、呑まれないようにね、とは言っておいた。小生も色々やらかしたし。で2時前にデスクトップのパソコンが帰ってきた。幾つかウィルスがいたようだ。SSD のパフォーマンスが10%くらい落ちてきていて、あと寿命は1年だと言われた。SSD は何の予告も無く突如落ちるそうだ。ハードディスクは徐々におかしくなってくるので、心の準備は出来るだろうが。年度の変わり目に買い替えよう。

2時40分から院生向けの講義。今日は素イデアル分解の話に取り掛かるあたり。詳しい学生には申し訳ないが、素イデアルと極大イデアルの定義とか、剰余環を用いた特徴付けとか、そんなのまでやった。でネーター環がどうしたとか、そんなことをしているうちに時間。まあ来週で素イデアル分解の一意性は示せるだろう。今日は数名知った顔がいなかったが、馬鹿馬鹿しくて来なくなったのだろうか？それとも単なる寝坊かな。まあ寝坊はいいです。自分の意志ではコントロール出来ないので。分かっててわざと遅刻するのに比べたら罪は軽い。などと言ってられるのは学生のうちかもしれないが。まあちゃんとしてください。

で個研室で線形代数。行列の行で生成される空間と列で生成される空間のことがこの前あまり分からなかったので、じっくり考えてみた。案外簡単なことだった。まあ来週きちんと説明出来るかな。で直和とかやったら線形写像の節に入れる。来週で7回目もう折り返しに来てしまう。少し急ぎたいが、雑にはやれない。まあ2回生にも線形代数科目があるから、そちらでやってもらえばいいこともあるので。ちゃんと申し送りはしないと。で何じゃかじゃと9時近くに成ってしまった。時間の経つのは早い。

晩飯は「和食さと」で。この前通り掛かった時に、牛タンフェアをやってるという幟が出てたので、食べよう、と思ったが、もう牛タンは終わってた。まあいいや、と牡蠣フライに海老フライ一本追加で、ご飯は松茸ご飯に。松茸はこの時期しか食べられないからな。牛タンは終わったけどいいや。ただ値段が2000円を超えてしまった。まあいいけど。考えてみたら、昨日は牡蠣フライカレーだったな。まあ松茸が食べたかったのでいいです。

10時過ぎに帰宅。「報道ステーション」によると、もう流行語大賞の季節らしい。去年は「ARE」だったし、「村神様」が選ばれたことからもお分かりの様に、審査員が野球好きなのだろう。「50-50」がノミネートされているそうだから、まあ選ばれるでしょう。「村神様」が選ばられた時に、山之内すずだったと思うが、「あたし野球見いひんから、ピンとけーへん」と関西弁で言ってた（これは小生の記憶による関西弁なので、気持ち悪いと思った関西の方はご勘弁を）。まあそうだろう。皆が野球が好きなわけではないどころか、野球人口は減る一方。WBC を見てファンに成った人もいるようだが、サッカーとかバスケットボールとかラグビーとか色々面白いものはあるからね。相撲も。

和田毅（Hawks）が引退するそうだ。最後の松坂世代。凄い投手だった。同世代の人がいなくなると、歳をとったと感じる人はいるだろう。小生と同い年の野球選手は勿論いないが、サッカーではキングカズこと三浦知良が小生の1歳上。この前スタメンで出たらしい。まだ頑張って欲しい。

明日も面談があって、その後インフルエンザの予防接種。何だかやることが多いな。接種後30分だか1時間だか職場に留まらないといけないことになってる。まあまた線形代数の勉強だな。2回生相手に線形代数の講義は何回もやったから、そこからも題材を持ってきてとかやれば、まあ来週は線形写像には入らないかな。ゼミで学生がよく分からないと言っていたことも考えないけない。何か変なような気がするが、変じゃないような気もするし、という所なので、真剣に考えないとな。いや、小生が考えないで学生が考えないといけない筈だが。いいけど。

黒板の前のスクリーンが上がらず、黒板半分で基底の存在と次元の well-defined 性を示した

寝床に入るとつい Facebook などを見てしまう。昨晩はあの話題が次から次へと出てきて、見てたら結構な時間に成ってしまった。26年振りだしいいでしょう、ということで。横浜スタジアムが超満員だったのは当然だが、横浜公園（横浜スタジアムがある公園）も凄い人だったようだ。球場の歓声が聞こえてくるだけで興奮するのだろう。「今晩は関内から帰れるんでしょうか？」と心配していた人がいたが、まあ日ノ出町なり伊勢佐木長者町なり、歩いて行ってください。「帰らない！」という人もいた。で興奮していて、中々寝付けなかった。

10時半の目覚ましでは起きられず、結局11時くらいに起きた。シャワーを浴びて出発。祝日だから高速道路は440円。学内の駐車場はすいてて、ウェストウィングの近くに停められた。弁当は売っているが、いつもより店が少ない。成程、だからいつも売り切れてるのね。今日は12時20分から学生と面談なので、職場には12時くらいに着くようにした。弁当が売っててよかった。面談は1回生の中国人と。将来のビジョンがはっきりしていて、勉強もちゃんとしているようで、まあ問題無いでしょう。一つ気に成ったことといえば、日本人の友人がいないこと。後々のことを考えたら、日本人の友達は大事なので、つくるように言っておいた。15分くらいで終了。

1時から「数学IV（線形代数）」。教室に行くと、プロジェクターの資料を写すためのスクリーンが下がっている。何じゃ？と思って up のボタンを押したら上がったが、手を離すと下がってくる。stop のボタンを押すと止まるが、離すと下がってくる。うぉーなんじゃ？黒板が半分塞がってしまっている。どうしようもないので、半分だけでやる。いつもは計算は割とちゃんとやって見せるんだが、今日はどんどん消さないといけなくなってしまうので、計算過程は省略させてもらった。今日は基底の存在と、有限次元の場合基底を構成するベクトルの個数は基底に依らないことを示すなど、重たい話。が、色々準備してあるので、どっちも簡単に済んでしまった。連立方程式の理論というか階数というか、ちゃんと理解してれば大丈夫だが、そうでない学生が大半だろうが、仕方がない。演習の時間があるので、そっちでどうにかしてもらおう。スクリーンのことを報告しないと、と思って見たら、連絡先が書いてあった。個研室に戻って即電話。

デスクトップパソコンのメンテナンスのため、業者に引き取りに来てもらう。一泊二日でやると言っていたが、どうでしょう？と思って今スマホを見たら、問い合わせが来ていた。急いで返事。作業中のようだ。ご苦労様です。まあ実験実習費で支払うので、幾らでも請求してください。

4時20分からゼミ。相変わらず色々問題有。ギャップを埋めてない所が散見された。正直何を考えてるのか分からん。分かった体で話せば小生が気付かないと思っている？そこがギャップだと分からない？先に進みたい気持ちは分かるが、数学の本はそうやって読むものではないということを散々言ってきたつもりなんだが。5年半何を勉強してきたんだろうか、という感じだ。数理科学科を卒業して、大学院を修了して、という学生のアイデンティティーは、ちゃんと数学を出来るということに尽きると思うんだが。まあ人の人生だから知らないけど。

ゼミ後一通メール。まだまだ Baystars ファンは興奮している。去年は関西は結構長い間 Tigers の話題が続いていたが、横浜のチームが優勝したから静かなもの。テレビ神奈川を見たいな。この前 tvk 公式 YouTube というのがあるのを教わってチャンネル登録をしたが、後で見てみようか。いや、また寝るのが遅くなってしまう。明日も12時20分からと1時からの面談の連荘の後、パソコンが戻ってくるので受け取って支払いして、2時40分から大学院向けの講義がある。忙しいな。色々考えないといけないことがあるのだが、時間がとれない。プロ野球が終わってくれたが、来週は日本代表の試合があるようだ。牧、桑原、佐野が選ばれている。見ないと。教室のスクリーンの件だが、復旧したとメールが来ていた。来週は大丈夫だな。

兄者に依頼されていた振り込みを関西みらい銀行で済ませて、ココ壱番屋で牡蠣フライカレー、量普通、1辛、1111円也を食べようと向かう。するとついてない。国道一号を右折で入らないで済むよう南草津駅の前を通って行ったが、左折しようにも右折で出ようとする車が入り口を塞いでいて、もう一台後ろに控えている。何とか抜けると、今度は南草津病院の方からこっちへ来たがってる車がいて、更に敷地を抜けようとするバイクが数台小生の後ろに。小生バックで駐車するのが未だにど下手で、物凄い時間を使ってしまった。さぞイライラしたことだろう。まあぶつけてギャ！と成るよりましだから、待ってもらう。何とか停めた。で牡蠣フライカレーを、と思ったら季節限定の何とか言うチキンカレーがあったのを思い出して頼もうかと思ったら、もう無いらしい。メニューには載っているが、タッチパネルに売り切れの表示。まあいいや、当初の予定通りで、と食べてきた。1111円現金で払ってきた。5000円札持ってても鬱陶しいだけだから、5111円払ってきた。お釣りに新1000円札が混じっていたが、これも鬱陶しい。最近新1000円札を使える自販機は大分増えてきたが、近所でまだ対応してない所が数箇所あるので、旧1000円札は大事にしたい。まあ新1000円の使える所で小銭にくずしておけばいいか。

帰ってきてテレビを付けると、何やら駅のランキングをしてる番組がやってた。天橋立駅を紹介しているところだった。ちょっと不便な所だから、天橋立には前車で行ったが、電車で行くのも楽しいかもな。一回ダイヤを調べて行ってみよう。嵐山は当然上位。JR、阪急、嵐電と、3つの駅が近くにある所。前に京大に出張してきた数人と行ったが、あまり楽しめたとは言えなかった。もう一度行きたいが、今は観光客がウジャウジャしているだろう。鎌倉駅も上位に。鎌倉もいつも人がいっぱいだ。1位は日光。流石だな。その後「報道ステーション」を見てたらまた日光の話題をしていたが、外国人観光客の数がコロナ前に戻って、凄いことに成ってるらしい。暫く行けないな。山科だと人が多いのは毘沙門堂くらいだ。隨心院はまだそこまで有名じゃない。醍醐寺も多いか。まああそこは伏見だしな。隨心院は近い内に行くつもり。

26年振りの日本シリーズ制覇！

昨晩は例によって結構呑んできた。でまたテレビを付けっ放しで寝てしまった。駅伝をやってるようだ。毎年11月3日にやってるな。うちは大抵講義日なので、見られないのが普通。その後寝たり起きたりを繰り返し、4時くらいに電話が鳴ったので起きた。またマンション売れ売れ系だろうと思ったら兄者から。明後日親父殿を病院から施設に移すらしい。9月に見舞いに行った病院は桜木町からバスで少しだったが、今の病院は滝頭という、実家から行くには割と大変な所。そこまで行くのが結構大変な上に、いずみ野という相鉄沿線までタクシーで行くので、かなりの額に成るだろう。それに色々買わないといけなくて、相当物入りだったらしい。金の協力ぐらいしか出来ないので、口座番号を聞いておいた。明日にでも振り込もう。

で日本シリーズの中継は5時45分から。験を担いでカツを食べようということで、松のやメニューを Uber Eats に。いつものロースカツ定食にしようかと思ったが、黒毛和牛を使ったメンチカツというのが目に入ったので、そっちにする。6時試合開始で、暫くしたら食事が届いた。食べながら観戦。先発は大貫。スライド登板だが、大貫でラッキーみたいなことを Hawks ファンが言ってたとか。黙らせてやりましょう。で1回裏に早速ノーアウト1、2塁のチャンスを作ったが、無得点。嫌な感じだが、2回に筒香がホームランで先制。その後2、3塁のチャンスを作るも、大貫の打順で三振。まあ仕方ない。が、この男の打順。桑原将志。2点タイムリーヒットで、日本シリーズ記録の5試合連続打点。3回に森敬斗が押し出し四球で追加点。4回に柳田に2ランホームランを打たれただけに、森の1点は大きかった。大貫は4回2失点。まあいいででしょう。5回は濱口が三者凡退に斬ってとる。派手に吠えて、その後大谷張りに客席を煽る。するとそれが効いたか、1アウトから戸柱ヒット、森四球、代打佐野がヒットで満塁。桑原が押し出し四球を選んで、梶原が2点タイムリーヒット、牧凡退の後、オースティンが押し出し死球、筒香の満塁の走者一掃のタイムリー2ベースヒット。宮崎にもタイムリー2ベースヒットが飛び出し、一挙7得点。もう決まったっしょ。濱口の後坂本が2イニング無失点、伊勢が8回を三者凡退に抑えて、9回は森原。周東、今宮が連続セカンドゴロ。で柳田が三振して、歓喜の優勝！26年振りの日本シリーズ制覇！何度も言ってるが、日本一とは言いたくない。貯金2の3位だからね。番長のインタビューを聞いてて嬉しく成ってきた。強いチームを倒して優勝したい、とFA移籍をせず残ってくれた。現役時代は98年の優勝だけだったが、監督として4シーズンでAクラス3回、日本シリーズ優勝と、いい結果ですな。来年はリーグ優勝を是非。そして「日本一」と言っていいくらいの成績を残して欲しい。下剋上（下克上？）は1回でいいです。

さて祝杯、といきたいところだが、今晩は呑まない。明日は1時から講義がある。月曜の祝日はうちには関係無いのだ。で学生と面談をする用事は火曜日以降にしていたのだが、一人明日がいいと言ってきた学生がいるので、12時くらいには職場に着かないといけない。仕方ない。普通は水曜日は用事が無いので、火曜日の晩に呑むことが多いが、今週の水曜日はインフルエンザの予防接種をうってもらうという用事を入れてしまった。学生との面談もあるし。土曜日は朝から用事があるし、土曜の夜まで我慢だな。

住処で使ってるノートパソコンの back space キーが取れかかっていたのだが、取れてしまった。文字の消去が超絶やりづらい。仕方ない、新しいの買うか。まあ大学のお金で買ってもらえるのでいいけど。今から探す。色々インストールしないといけないので、面倒なことになるが、まあいいです。Windows 10 のサポートが切れることもあるしな。SSD 512MB だと色々いれると結構きつい。1TB のを探そう。いや、外付けのハードディスクを有効に使えばいいんだな。2TB のを繋いでるが、まだ1.75TBくらい残ってる。いいのが無かったらそうしよう。

今日の日本シリーズは雨で中止

金曜日に呑むことが多い。1週間突っ走ってきた後だから、ついね。面倒なメールを書かないといけないのが原因の一つ。ウダウダとやってるうちに、まあいいや楽しいことをやろう、ということで、Baystars が勝ったが見られなかった日本シリーズの日に録画しておいた「プロ野球ニュース」を2晩分見て、でその後近くにあった書き散らかした紙を見たら、そうだ、これを考えよう、ということになってしまい、メールはどうでもよくなった。で考えている間に眠くなってきて、そのまま寝床に入って寝入った。例によってテレビは付けっ放し。

途中何度か意識が戻った。テレビの音声が聞こえなくなったので、ケーブルテレビのチューナーの電源がオフに成ったのだろう。でスマホを見ると、今日の日本シリーズは中止。屋外球場での日本シリーズの中止は21年振りとか。先発の大貫、有原はそのまま明日へスライドらしい。今日の雨はめちゃめちゃ凄かったようだ。山科はどうだったのだろう？さっき飲み物を買いに表に出たが、もう雲の切れ間が結構あるくらいに回復していた。長崎では線状降水帯が発生したと言ってたし、松山や今治では一時間当たりの降水量の新記録が出たり、広島は24時間の降水量が歴代最多とか言ってる。東海道・山陽新幹線も一時止まったようだ。明日はどうなのだろう？明日 Baystars の優勝が決まって欲しい。昨日書いた通り来週は目茶目茶用事があるので、祝杯は来週の土曜日に成るが。ロサンゼルスでは36年振りの優勝パレードらしい。エンゼルスは数年前にワールドシリーズを制覇しているが、コロナ禍でパレードは出来なかったそうだ。横浜でやると26年振り。こちらも盛り上がるだろう。行きたいな。

これから呑みに行く。昨日呑んだがいいでしょう。名古屋土産を持っていくのも理由の一つ。車で名古屋に行ったので、土産物を買えそうな所には行かなかったが、土山サービスエリアで適当な物が売っていたので買っておいた。名古屋土産を滋賀で買うとはこれいかに、といった感じだが。今「サタデーステーション」を見ているが、ドジャースの話題。これが終わったら行こう。

多項式の分離性の定義は？

今日は11時半近くに目が覚めた。寝ないといけなくなると色々したくなり、結局寝るのが遅くなる。いつものこと。で飯を食べる時間を確保したかったので、シャワーを浴びずに出掛ける。弁当はいつもとちょっと違う奴を買ってみた。まあまあだな。

1時から「代数学II」。今日は正規拡大を定義して、で最小分解体を定義して、正規拡大であることと同値な条件を幾つも出して、で例を沢山出して、という感じ。最後に K⊂M⊂L で L/K が正規拡大だったら L/M も正規拡大を示した。ちゃんと M/K が正規拡大に成らない例、L/M, M/K が両方正規拡大でも L/K が正規拡大と限らないという例も出しておいた。来週は標数を定義して、それから分離性へ。多分原始元定理（有限次分離拡大は単純拡大というやつ）は時間的に無理かな。

講義が終了してからウェストウィングへ戻り、すぐ2時40分からゼミ。今日は単数に関すること。次数と共役元が全て一定数で押さえられる整数は有限個ということを示して、1の冪根あることと共役の絶対値が全て1以下であることが同値とか示して、その後いよいよ単数定理の節に突っ込む。ジーゲルがゲッチンゲンでやった講義の内容とかで、まず1次形式に関する補題を幾つか。ディリクレの部屋割り論法が効いているな。面白い、と思い始めたあたりで予習が尽きたそうだ。まあ5時10分くらいまでやったからいいでしょう。その後学生とちょっと密談。いや、君が気に病むことではないでしょ、と言いたかったが、ちょっと言い出しづらかった。後でメールしよう、ということで。その後少々話していた。うん、まあ、という感じ。どうしましょうね？

野球が無いけど6時くらいに職場を後にした。渋滞するだろう、と思ったが案の定。が、何やら表示がいつもと違う。「草津JCT－南郷 渋滞」の表示。南郷インターっていうのは京滋バイパスのインター。名神に合流する所まで来たら謎が解けた。京滋バイパス方面の車線は渋滞しているが、京都、大阪方面はそんなに渋滞していない。京滋バイパス方面が1番左の車線なので、跨いでいかないといけないので、草津JCTにまで渋滞が溢れている、という仕掛けだった。でその後多少の渋滞はあったが、京都東を6時40分くらいには降りられたので、まあ大したことない。

帰ってきてから先週の「座王」を見て、録画予約して、ちょっと代数。この前学生に新妻弘「独習ガロア理論」の多項式の分離性の定義が何かおかしいと言われたので、手近にある本を2、3調べてみた。藤崎先生の本と雪江先生の本は「重根を持たない多項式を分離多項式という」という小生が採用しているのと同じ定義。が、桂利行先生の本は、既約因子に分解した後、その因子が重根を持たなかったら分離的、という定義。新妻先生のと同じ定義のようだ。これだと (X－1)² は分離的ということになる、というのが学生が不満を言ってきた点。まだ見付けてないが、分離非分離云々するのは既約多項式だけという流儀もある筈。まあ拡大の分離性を定義する時はどっちでも問題無い。最小多項式の分離性が問題で、最小多項式は既約なので。もうちょっと調べてみよう。

最小多項式で思い出した。小生「K 上の最小多項式」と言っているが、この前京大の入試をもう少し高い立場から眺めましょう、みたいな感じの本を買ったのだが、そこで「K 上最小多項式」という文言を見付けた。うちの学生でもゼミ中にそう言っている学生がいて、「K 上の最小多項式ね」と直させたが、京大ではそう教えているんだろうか？と思って雪江先生の本を見たら、「K 上の最小多項式」と成っていた。よかった。別の本でもそうなっていたし、「の」が入るのが標準的なのだろう。院試の問題で「R 上ベクトル空間」というのがあったので、「R 上の、ですよ」と突っ込んだが、好みの問題ということでスキップされてしまった。線形代数の本を徹底的に調べて、ぐうの音も出ない程に言ってやろうと思ったが、まだやってない。数冊見た範囲では「R 上のベクトル空間」だけだった。やはり突っ込んだ方がいいな。今度何か本を書くとの仰せだったから、用語はちゃんとしてもらわないと。その人が線形代数の講義をして小生が演習担当だった年に彼の作った資料をもらっていたが、気に成ること多数だった。成分を a_i,j と , 付きで書いていたが、, 無いのが普通ですよ、とご注進に行ったら、え！とビックリした表情で本を調べ始めていた。まあもう60過ぎた人だし穏当に済ませようとは思うが、それでもやはりな。まあもうちょっと暇が出来たらやります。来週は講義の合間を縫って学生と面談を多数して、インフルエンザの予防接種を打ちにいつも職場に行かない水曜日も行かないといけないし。土曜日は朝早くから昼過ぎまで捕まるので、エポックに泊まる予定にしているし。一週間とにかく突っ走ります。