玉鷲が40歳の誕生日を白星で飾る

今日は二つばかり用事があった。10時半くらいに起きようと思っていたが、ついまた寝る前に下らんことを考え始めてしまい、寝たのは4時くらい。流石に起きられなかった。11時過ぎに起きて、ちょっと遅れたがまあ大丈夫で、用事を済ませてくる。この前現金で6万ばかり払ってしまったので京都銀行で少々おろしてからなか卯で親子丼。新500円玉が財布にあったので、親子丼450円を現金で払ってきた。DCM（旧ケーヨーデーツー）でちょっとお買い物をして帰ってくる。

1時過ぎに戻ってきたが、眠いぞ。ということでもう一度横に成る。次の用事は4時半過ぎに四条烏丸に行くことだったが、起きたら4時過ぎ。テレビを消してなかったので、相撲の音が聞こえてきて、尊富士の一番だったので起きて見た。尊富士強いな。で既に出遅れているので、急いで向かう。で用事を済ませて、隣の喫茶店でドライカレーセット。1000円はちょっと高い気がするが、まあコーヒーとセットでだったらそうでもないか。

帰ってきて NHK で関西ローカルの番組を見て、その後ニュース。相撲の結果を知りたかったので。玉鷲が今日40歳の誕生日だそうだが、勝って自分の誕生日を祝っていた。素晴らしい。今日誕生日の有名人は来生たかお、オール巨人、小島よしお、村井美樹、内田有紀など。来生たかおってもう74歳なのね。内田有紀は49歳。ちょっとビックリするね。

今プレミア12がやっている。台湾相手に3－0でリードしている。森下の犠牲フライで先制したようだが、そこで三塁ランナーの桑原が好走塁を見せたようだ。素晴らしい。辰己のタイムリー2ベースで1点、源田のソロホームランで1点、という感じ。才木は6回途中無失点。ランナーを二人残して交代したが、代わった Marines の鈴木昭汰が抑えた。鈴木昭汰のことは全然知らなかったが、今年は51試合投げて27ホールド5セーブ、防御率0.73と凄い成績を残している。色々やることがあって野球の中継を見なかったり、CS でやってる「プロ野球ニュース」見ないのはよくないな。少し余裕のある生活をしたいもの。来年度はどうなるでしょう？

昨晩寝る前に調べたら、Baystars の優勝パレードは30日だそうだ。が、一瞬ドキッとした。「チケット販売」と書いてある。え？一般道で見られるんじゃないの？と思ったら、スタート地点の「ハンマーヘッド」周辺だけ有料のようだ。ビックリした。ハンマーヘッドってよく知らないけど、海の近くに出来た新しいショッピングセンターのようだ。そこから横浜スタジアムに日本大通り側から向かうらしい。ということで宿を、と思ったが、その時期の横浜は中々宿がとれない。前に相鉄線に乗りまくるために泊った「相鉄フレッサイン」も満室。で2、3調べて、馬車道の何とかいうホテルが取れた。が、うっかり喫煙可の部屋を予約してしまったようだ。まずったな。まあいいです。我慢する。でパレードは午前中のようだ。場所取りが激しいことが想定されるので、徹夜していくか。最近のビジネスホテルは、掃除してくださいという表示を出しておかないと部屋に入ってこないので、パレードが終わったら少し横浜をフラフラして、寝ればいいので、まあ徹夜でも大丈夫でしょう。金曜の晩から2泊分押さえてあるので、土曜から日曜に掛けてたっぷり寝る。そうすれば月曜の講義も問題無く出来る。ということで楽しみにして待つ。

来週末はちょと忙しいので呑めない。まだ野球の途中だが、今日顔を出しておかないと。再来週は上に書いた事情で横浜にいるのでまた行けないので。3週間も間をあけるとちょっとという気がするので、これから行く。などと思っていたら、台湾にソロホームランが出て3－1に。うむ。まあいいです。呑みながらスマホで様子を見る。ということで、いってきます。

韓国に先制され追い付いたがひっくり返されるも、しっかり逆転して韓国戦9連勝（国際戦21連勝）

先週の木曜から金曜に掛けては SageMath のインストールで寝不足だったが、昨日から今日に掛けてはまた下らん計算をしてしまい寝不足。YouTube で取り上げてたある問題が、それは線形代数で自明、で済ませていたのをつい高校数学で出来るかと始めてしまい、色々計算ミスをして大混乱。で結局最後は3次正方行列の逆行列を求めるとかやっぱり大学数学の知識があった方がいいよね、という感じで徒労。しかも逆行列をコンピューターに求めさせてるので、いよいよ高校数学じゃなくなった。大分時間を無駄に使った。

で今朝も11時40分過ぎにようやく起きた。昨日の晩の下らん計算の前にシャワーを浴びていたから、そのまますぐ出掛けた。で外で売ってる弁当も沢山あって、いつものほんのり温かい唐揚げ弁当は今日はメンチカツと唐揚げ両方のやつを買えて、メンチカツが結構美味しくて、満足。

1時から「代数学II」。今日は原始元定理（有限次分離拡大は単純拡大というあれ）を証明して、それを使って有限次分離拡大だと共役写像が拡大次数個丁度あるとか、全ての共役写像で動かないのと下の体に入ってるのは同値などを示す。でいよいよガロア拡大が定義出来て、Aut(L/K) を定義出来て、で L/K が有限次拡大の場合は「L/K がガロア拡大 ⇔ #Aut(L/K)＝[L：K]」とか、は嘘で、これは難しいので、L/K が有限次分離拡大という仮定を初めからおいておいた。これだと随分楽。で主張を書いたら大体時間。難しくなってきた。

非分離拡大って難しいよね。岩澤先生の「局所類体論」を読むには純非分離拡大とか非分離次数とか必要なので一応勉強はしたが、その後の研究では代数体と標数0の局所体、及びそれぞれの剰余体（有限体に成る）くらいしかいじってないので、非分離拡大は本当によく知らない。Silverman の楕円曲線の本では、体は全て完全体とする、と書いてあったし。いや、完全体という言葉を知ったのは Silverman の本を読んだ時なのだが。「代数学II」でもほぼ Q の拡大体しか出てこない。よく知らないからね。整数論でも正標数の体をバリバリ扱う人はいるので、まあ色々勉強しておいた方がいいです。

2時40分から代数的整数論のゼミ。今日はまず単数規準の定義をして、それから実二次体の単数。これは小生マニアだから色々しってる。フェルマーが x²－61y²＝1 の整数解 x,y を求めてみよ、と手紙を書いた話は有名。他にも幾つか同種のものを出題していたが、解が比較的小さいものにしておいた、とか書いていたそうだ。これの最小解は相当でかいよ。いや、Q(√61) の基本単数は ε＝(39＋5√61)/2 と大したことはないんだが、求めるまでもなく一般論でこれのノルムは－1。ということで x²－61y²＝1 の最小解は ε⁶ を求めないといけないので、相当なことになるよ、と例示しておいた。まあこれは6乗だからね。Q(√199) の基本単数はそのままで滅茶苦茶大きいとか、それの近所の Q(√197) だと14＋√197 と成るなど、単数は色々挙動不審なのを教えておいた。その後アルティンによる判別式が負の3次体の単数の話。何か色々微分して関数の正負を調べたり、相加平均≧相乗平均とか受験生チックな計算をしていて面白い評価式が出るという不思議な話。数値例を予習してくる余裕は無かったようで、来週は数値例をやることから。その後はいよいよ Minkowski の理論に突っ込むようだ。多重積分の計算とか、フーリエ級数が何だとか出てくる。少し慣れておかないと。フーリエ級数は高次元の場合は知らないが、まあ普通のの類似でいいのだろう、と気楽に構えておくことにする。5時10分くらいに終了した。

時間いっぱいやると5時50分までゼミで、事務の人は5時半に帰ってしまうから、領収書の処理は来週だな、と思っていたが、ゼミが早く終わったので、今日中に済ませてしまうことにして、急いで6階に降りてもう一度7階へ。でちゃっちゃと済ませたかったが、電子帳簿保存法というやつのせいで、全部スキャンして pdf にしないといけないらしい。スキャナー持ってないので、事務の人に丸投げしておいた。事務室のコピー機も学科の会議室のコピー機もスキャナーの機能を持っているのがいい。学科長の時に午前中の会議で渡された資料を pdf に直して、会議中はパソコンの画像を画面に映して、とかやった。もうスキャナーも買わなくていい時代に成った。でもう一通メールで領収書の pdf ファイルを送ってもらったのがあるんだが、昔は印刷して云々だったわけだが、それも電子のまま処理しないといけないので、事務の人に色々聞いて、後でやることにして退散。住処に戻ってからメールを見たら、これをこうしてああしてここに送れとメールが来ていた。急いでやっても土日は休みなので、後でやることにする。

野球の「プレミア12」が放送される筈で、6チャンネルで放送するのだと思っていても始まらない。台湾でやるから少し時差があるのだろうか？と思って、しばし「ざわつく金曜日」や「かりそめ天国」を見たり、先週の「座王」を見たりとか。始まらないな、と思ってみると、4チャンネルでやっていたのだった。何だ。今日は韓国が相手。見始めた瞬間に Lions の隅田が勝ち越し打を打たれたところ。むう、と思ったが、すぐ満塁のチャンスを作って、牧が2点タイムリーヒット。牧はシーズンでは得点圏打率は決して高くなかったが、ポストシーズンでは菅野から日本シリーズ進出を決めるヒットを打ったり、日本シリーズでは3ランホームランを打ったりと、本来の感じに戻ってきたようだ。その後 Tigers の森下が2ランホームランを打ったりで、結局快勝。これで国際大会21連勝で、宿敵と言われていた韓国にも9連勝。もう「運命の日韓戦」という言葉を使う価値が無くなってきたな。明日は台湾が相手だそうだが、場所が台湾なだけにもう超アウェー状態だろう。韓国の応援も凄いがな。一度横浜スタジアムで韓国とどこだかのチーム（日本代表ではなかったような気がする）が戦った時に、兄者の仕事場の福利厚生で余ったチケットで韓国側に座って観戦したが、韓国の応援は怖かった。フォードが日本では全選手に応援歌があって凄いと言っていたそうだが、韓国もそんな感じだった。太鼓に笛に大声援。本当に怖かった。明日はそれ以上だろう。見ようかどうしようか？まあ適当なタイミングで呑みに行こう。

今何とか言うヨットのレースがやってて、白石康次郎が出ているらしく、よく報道ステーションに出ている。昔から活躍してるし、髪の毛が大分白いから小生より上なのだろうと思ったら、57歳の表示。で調べると1967年5月8日生まれだから同い年だ。鎌倉出身というからご近所さんだったんだな。奮闘しているようで、頑張って欲しい。

眠い一日

今日は馬鹿に眠かった。一旦起きても眠くてまたダウン。ゼミに遅刻するわけにはいかないので、無理矢理起きた。幸い居眠り運転はしなかったが。運転中に飲酒が原因で寝落ちし死亡事故を起こした奴のニュースが昨日やっていたが、幸いまだ運転中に前後不覚に成ったことはない。今後もあってはいけない。運転の前にはちゃんと寝ておかないと。

12時40分くらいに職場に着いて、弁当はもう無いかと思っていたが、何と本当に1個だけ残っていた。最後の一個だからまあ期待しないで買ったが、結構美味しかった。

1時からゼミだが、ゼミ中も眠くて。Z[√－d]（d＝1,2）の時を真似て Z[(－1＋√－d)]（d＝3,7,11）の場合をやるんだが、証明はほぼ出ていない。にも拘らず、ちゃんと考えてきていた。眠くて殆ど聞いてなかったが、時々見る限りまあ大丈夫そう。で y²＝x³－11 の有理整数解を求める問題がよく分からないと言っているので、ちゃんと意識を取り戻して集中。前に y²＝x³－9 の有理整数解を求めた時を参考にしてやろう、ということだが、何故かスマホを持ってる。何故だと思ったら、この前の板書をスマホで撮影していたようだ。今風だな。で同じ所、違う所色々あるが、小生の手元には前に解いた時のものを TeX 化して印刷したものがあったので、それを見い見い。で 3375 とか出てくると一瞬ギョっとするんだが、これは楕円曲線をちょっといじった人には見覚えのある数字。一応念のためスマホの関数電卓で3乗根を求めたが、案の定15の3乗だった。ということでどうにかなった。でまたその黒板を撮影していた。その後選手交代で Z[√2] の話。単数群を求めることだけやったら残り10分くらいに成ったので、素数がどう分解するかは来週に回すことにして早目に終了。何であんなに眠かったんだか謎だが、まあ何とか乗り切った。

で4時半からちょっと別の仕事があるんだが、ちょっと時間があるので生協の本屋を冷やかして、3冊ばかり購入。で1時間くらい頑張るつもりだったが、気に成ることがあって、1時間半以上頑張ってしまった。もう眠くなかったので、集中して出来た。式が2本で変数が2個の連立一次方程式は易しいが、どっちも3以上に成ると中々難しい。逆行列を求めるのは易しくないし、そんなことするなら拡大係数行列を掃き出した方が早い。で何度か間違えたが大丈夫だった。これで大体終了。後は本番を待つのみ（謎）。

6時くらいに個研室に戻って線形代数。3個以上のベクトル空間の直和がテキストに問題で出てるんだが、略解を見ても何か納得がいかない。これは一から考えた方が早いでしょう、と昨日寝る前にちょっとやったんだが、それを片付けて、TeX 化して、でその後色々。写像が単射とか全射とか全単射とか例を沢山用意したら物凄い量に成ってしまった。線形写像である例とかない例とかも。まあ全部講義で話すことは無いだろうが、一応10ページ分印刷しておいた。沢山載せるから読んどいてね、ということにしようと思う。で何だかんだと9時くらいまで。

今週末は久々に平和。24日（日）は朝9時までに職場に行かないといけないので、また23日は職場に泊る。30日は Baystars の優勝パレードの最有力日だと言っているので、そうしたら29日のゼミ後横浜に行く予定。色々忙しい。23日にパレードやるのでは？という気がしていたが、その日はファン感謝デーを毎年やってるそうで、今年もそうらしい。上に書いた通り24日は仕事なので、パレードだったら終わったら飛んで戻ってきて、職場に行って、と大忙しに成るかもだったのだが、まあよかった。いや、まだ30日にやるという発表があったわけでない。情報をこまめにチェックして、本当にそうかどうか見落とさないようにしよう。

祐大がゴールデングラブ賞受賞で、佐野が Baystars に残留してくれるという嬉しいニュース連発（牧と桑原はプレミア12で活躍）

程々に寝る、と昨日書いたが、やはり早起きしないでいいとなると中々寝ようとしない。で線形代数の準備をしている最中に秘蔵の演習問題集を見ていたら、TeX で遊びたくなった。前に TeX に nicematrix というパッケージがあるのを知って多少遊んだが、それの続き。nicematrix を使うと何がいいかというと、連立方程式を解くなり逆行列を求める時に区切りの点線を書きたいが、\vdots だとブツブツ切れて、array 環境を使うと繋がるが実線に成ってしまう。破線が書きたいなーと随分前から思っていたが、それを実現してくれる。まあそれは大した魅力ではないが、いいのは斜め線を \ddots を幾つか書くとブツブツに成るのがちゃんと繋がるというのがいい。でジョルダン細胞を昔ながらの pmatrix 環境で書いたものの斜め線を繋がったものにしよう、ということで色々やるが、何かうまくいかなくて、何度も何度もやり返す。300ページを超えるファイルの一箇所だけ直すのに何遍も TeX を通し直すという、冷静に成ってみれば実に無駄なことをやっていた。test.tex とか temp.tex という色々試すためのファイルを作ってあるんだから、そっちでやればいいものを。寝不足で冷静でなかった証拠だな。で何とかなったが、もう相当な時間。阿呆や。で肝心の予習はほぼ全くしなかった。

で数時間寝て昼飯を食べに起きて、もう一度ちょっと寝て、4時くらいに起きた。4時半から会議なので、まあ丁度いい。相撲を見て4時半を待つ。で会議の時間に成ったので Zoom を起動。昨日の晩のうちにインストールはしておいたが、サインインしたりとかちょっと手間があって、でちゃんと会議に定時から出席出来た。今日は色々決めることがあった。あまり表に出せないものもあるが、まあ構わないのは来週の特別入試の監督決め。今年は受験生が多いそうだ。どの大学も学生を確保するために秋口から色々やっている。うちくらいでもそうなのだから、受験生の集まらない大学は大変だろう。この前ちょっと YouTube で群馬県の某所に大手私立大学がキャンパスを作り、駅も作って快速電車も止めて、とかやったのがやはり土地柄か受験生が集まらず、快速電車も減らされ、結局そのキャンパスを結構短期間で廃止した、という話題が出ていた。同時期に出来たニュータウンも大失敗で、街中を歩く人の姿も走る車の姿もほぼ無いという状態。受験生が集まらないとこういうことに成るんだな、とちょっとビックリした。まあ BKC は成功したと言えるだろうな。OIC はどうなんでしょうか？OIC って何、という人向けの解説。うちが少し前に開設した茨木のキャンパス。「大阪・茨木・キャンパス」略して OIC。

会議は6時くらいまで掛かった。相撲は流していたが、当然音声を消していたので、あまり分かっていないが、どうも大の里が阿炎に負けたようだ。むう。でその後先週やった「ミラクル9」の残り1時間くらいを見た。滋賀の名所として余呉湖を挙げていたが、行ったことないな。余呉湖とか賤ケ岳とか歴史ファンには馴染みのある地名。琵琶湖の北の方だから、行くなら今のうちだな。寒くなったら北琵琶湖は車では行けない。長浜より北は電車の本数が少ないから、電車で行くのはちょっとなという気がする。まだ異常気象で暑いから、まだ雪が降るのは先だろう。近い内に行きたい。

7時から野球の世界大会であるプレミア12。桑原が1番、牧が6番でスタメン。イケイケの桑原が四球を選んでチャンスをお膳立てし、3番辰己の犠牲フライで先制。まだチャンスが続いたが1点止まり。2回は1死満塁から2番小園の内野ゴロで1点もそれだけ。3回は2死1、3塁の場面でワイルドピッチで1点と、着々と加点も、1点ずつでちょっと欲求不満気味。が4回はショートが本塁へ悪送球している間に2得点。が、何かすっきりした点の取り方ではない。そんなこんなしているうちにソロホームランと2ランホームランで2点差にされる。むぅ。が、7回に牧がこの試合初めてのタイムリーヒットで3点差に。8回に森下に2点タイムリー2塁打、次打者栗原がタイムリー2ベースで9－3。これで決まり。オーストラリアは1回2アウトで早くも投手交代とかバタバタ気味で、2回も3回も投手を途中で替え、最終的には投手12人という凄いことをした。12人で一番放ったのは2番手投手の20球とか。必死の防戦だったのだろうが、まあ意味無かったね。監督の談話によれば慣れさせるのが目的だったようだが。明日は試合が無くて、明後日から台湾で数試合。優勝しろよ。

プレミア12では佐野は出なかったが、桑原、牧は目立った。やはりこの前の日本シリーズ制覇で気をよくしているのだろう。が、今日の Baystars はそれ以外にもいいことがあった。祐大がゴールデングラブ賞受賞。独立リーグ出身の選手の受賞は、12球団で初とか。いいですね。が、もっといいのが、佐野が残留してくれること。FA 権を行使するとか Giants が獲りにいってるとか嫌な情報があったが、FA 宣言せずに残留で、4年契約らしい。昔は横浜を離れるのが嬉しいみたいなことを言われたチームだが、最近では宮崎も桑原も戸柱も康晃も残ってくれた。嬉しいね。関西の番組では Tigers の原口、大山が FA 宣言したのが結構な大ニュースに成ってた。原口は少し前からそうすると言っていたが、大山のは寝耳に水だったようだ。去年優勝したチームが魅力的でないということだろうか？Hawks の甲斐も FA 宣言したようで、こちらも Giants が狙っているとか。90勝して日本シリーズに出たチームなのだがな。Hawks で思い出した。正力松太郎賞の候補にぶっちぎりのリーグ優勝をした Hawks の小久保監督を推す声が多かったようだが、その Hawks の会長の王さんが番長を推挙してくれたとか。王さんにしたら日本一（Hawks はリーグ優勝してるから、優勝したら日本一を名乗ってよい）に成れなかったのが口惜しいのだろうな。

そうそう忘れていたことをもう一つ思い出した。知られている最大の素数の記録が更新されたそうだ。2^136279841－1 だそうで、52番目のメルセンヌ素数、桁数は4102万4320。凄いね。何年か前にTシャツで「Lagest known prime」の下に数字がバーッと書いてあるものを見付けて買って、夏場はそれを着て学内をうろついていたんだが、誰も何の反応も示してくれなかった。まあ数字がバーッと書いてあるとはいっても「… digits omitted」とは書いてあり、全桁書いてあるわけではないが。まあそれはそうで、今回のよりは小さいと言っても物凄い桁数だからね。本にすると凄い厚みに成るので、成人男子が着るシャツに印刷出来るわけはない。印刷がちゃちでもう大分かすれてきたから、もう着ないかな。

理工学部長決まる

どうも月曜の晩は夜更かししてしまうな。先週の時点では今日は午前中から職場で用事があるのだったが、その必要が無くなったのでつい。何をしていたかといえば、下らん計算をしたりとかしていたんだが。でテレビも見たが、昨日の「テレビ千鳥」は超絶面白かった。大悟が「テストで100点をとりたいんじゃ」と言い出して、小学生の算数の勉強。で2桁の掛け算も割り算の筆算も何も知らないようだが、何と正解を出してしまう。分数と小数を足すというのの時は、7/10 のイメージ図と称して丸の少し欠けたのを書き始め、で正解してしまう。2桁の掛け算は沢山書き散らかして、そこから情報を的確に取り出したり。ああいうのを天才というんじゃないだろうか？と思って楽しく見ていた。来週続きがやるようだ。忘れず見よう。

で相当遅くまで起きていて、起きたのは1時過ぎだがまだ眠い。2時に約束があるので、職場へ向けてダッシュ。6万円ちょっと現金で払った。まあ手続きをすれば大学からお金が出るんでいいけど。

2時40分から院生向け「数理科学特論1」。今日は素イデアル分解の一意性の証明の続き。ネーター環がどうしたとか整閉がどうしたとか。で漸く証明出来るぞ、と思ったら、素イデアル分解の可能性の所に変だと思しきことが書いてあり、ちょっとストップ。時計を見ると考えるほどの時間が無いので、そこだけ飛ばして来週やると宣言して、一意性。その後代数体の整数環の場合（というかデデキント環の場合）、P.I.D. であることと U.F.D. であることが同値であることを示して、U.F.D. でない環を無限個与えてきた。Z で素因数分解の一意性が成り立つのは当たり前だと思えたのはどうしてだろう？経験則でそう思ってただけ、というのが大半じゃなかろうか。フェルマーの大定理の時もそれに纏わるミスは沢山あるようだし。

4時半から教授会。今日は学部長選挙の最終投票があるので、絶対出席しないと。でその時気付いた。住処のパソコンに Zoom をインストールしないと。明日の学科会議に参加出来なくなってしまう。まあ短時間で済むはずだから、明日やる。で教授会。まず事務室に二人来た方を紹介。その後学部長選挙。候補者3名がまず話して、それから投票。思ったよりお一方に票が集まって、一回の投票で決した。まあお三方では一番年嵩（に見える）だし、お一方は真面目であるがゆえに教授会を引っ掻き回したりすることもあるので、まあそうかな。もうお一方は何故そんなに票が集まらなかったか謎。副学部長もやったりと、経験は豊富な方だと思うんだが。これで総理大臣が石破に成り、アメリカの大統領がトランプに成りと、大分固まった。後は兵庫の知事選だな。あのパワハラ親父が選ばれるなんてことはないと思うが。名前に「元」が入ってるから、「元知事」と呼ばれるのがお似合いだ。

重たい議題があった割には教授会は早目に終わった。「数理科学特論1」の直しはすぐ済んだので、直して manaba+R に上げて、それからまた線形代数をちょっと。大体木曜日のゼミ終了後に月曜の「数学IV」の準備をするんだが、今週はちょっとゼミ後に用事が入ってしまった。まあそんなに時間は掛からないだろうけど、目鼻は付けておいた方がよいので、ちょっと。写像をどれくらい詳しくやるかだな。単射とか全射とか定義だけ見て丸覚えしただけでは何にも成らない。院生でも f が単射なのを示すのに「a≠b ⇒ f(a)≠f(b)」という示しにくい方を示そうとする。徹底的に問題演習で鍛えてもらわないと。ということで、講義では程々にして、演習の先生に頑張ってもらおう。まあ当日の時間の過ぎ具合によるな。明日は学科会議以外に用事が無いから、今日は程々に寝て、明日やるか。これからやるかもしれないが。

「報道ステーション」のスポーツコーナーは野球一色。こんなのは珍しい。まあ一番が佐々木朗希の件、二番が大谷の件、三番が六大学野球の決勝戦が早稲田 vs. 明治と76年振りの対決に成った話（早稲田が優勝）、明日から始まるプレミア12の話はその後。と言っても実質は松坂が才木にインタビューしているのが殆ど。まあいいです。明日は見るかな。明日は「相棒」が無い。やはり何でも世界戦は視聴率がとれるのだろう。

しかし新しいパソコンは使いづらい。文書の入力をする時に、学習に学習を重ねて「かん」と打てば「環」が出るようになったのを、また一からやり直し。さっき「才木」と書いたが、まず出てくるのが「再起」。次が「才気」。「才木」は随分後の方だった。沢山癖のある文章を打って、がっつり学習させましょう。まあ「基礎数理」と変換したい時に「奇素数理」となるのは仕方ないので。「投与コイン」はもう「東横イン」を登録してしまったので心配ない。色々書きます。

新しいノートパソコンの設定は終了（の筈）

何だかんだと遅くまで起きていてしまう。で12時近くまで寝てしまった。寝癖が酷いので、シャワーをざっと浴びる。で12時15分くらいに出発。職場に着いた時間だと、弁当は売り切れているかもしれないし、売っていても個研室でゆっくり食べる時間は無さそう。さてどうしよう、ととりあえず売り場に行くと、結構残ってた。買ったが個研室でゆっくり食べるのは無理のようなので、陽気もいいし表で食べることにした。人に見られると恥ずかしいが、まあいいです。

1時から「数学IV（線形代数）」。今日はまず次元が n と分かっている場合は、n 本のベクトルが基底であることと1次独立であることと生成系であることが同値という便利な命題を示して、C の基底を幾つか与える。それから行列の零空間、行空間、列空間など。基本変形で階数が変わらないことがこういうことで証明出来る、というのは面白いと思うが、学生にはそうでもないか。でベクトル空間が二つの部分空間の直和に成っていることの定義と、それと同値な条件を証明したら時間。これの証明を学生の時に読んだが、左辺が W₁ の元で右辺が W₂ の元だから W₁∩W₂ の元、というのが物凄く面白いと思ったのを思い出した。そういえば前にガウスの補題（原始多項式の積がまた原始多項式というあれ）の証明を学生が「面白れー」と感動していた。証明を追い掛けるのは辛いことばかりではないのだ、ということが分かってもらえるといいが。

講義後個研室でうだうだ。年末調整の手続きが首尾よく済んだかどうか気になるのと、どこに提出すればいいか分からないので、人事課に電話しようと思っていたが、学科の事務室からメールが来ていて、提出する場所は分かった。だからまあ大丈夫だということで、人事課に電話するのはやめて、コアステーションの1階の某所に提出に行く。一つ済んだ。で暫くしたら、個研室のドアをノックする人が。何だと思ったら「配達」と言っているように聞こえた。すると、Amazon に注文した本をわざわざ個研室に持ってきてくれたようだ。いつもは学科の事務室に配達されるのだが。不在にしている時間が多いから、持ってこられても困るんだがな。随分前に個研室のドアがポスト付きのものになったが、時々見ないといけないのは面倒。レポート提出されても気付かないぞ。まあ今時はレポートは何でもオンライン提出になったが。

4時20分からゼミ。今日は種の理論の話を少々。これって二次形式だと何か意味があるのだと思ったが、二次体だと何だかよく分からない。Genus field というのがあるから、二次体じゃない場合だと何かあるのかもしれない。不勉強なのでよく知らないのが本当のところ。どうにかしましょう。その後実二次体の単数の話。今日は一人就職活動でおらず、連分数のところを二人で分けて担当するのに今日あまり進んでは可哀想、とのことで、早目に終わらせた。ただちょっと早過ぎたし、それと Q(√6) とかの基本単数を求めるのにペル方程式の右辺が ±1 両方やるのは効率悪い、ということで、－の方は答えが無いのが第1補充法則より従う、ということを言って、ついでに x²－my²＝±4 の x,ｙが奇数になるのは m≡5 (mod 8) の時のみとか、色々教えてあげた。ただ失策が、m＝37 の時は mod 8 で5と合同だが基本単数のトレースは偶数だよね、というのを忘れていたこと。この例外のお陰で小生は論文が書けた。言っておかなかったのは失敗。まあいいです。

住処のパソコンに一つインストールしないといけないものがあった。これが無いと MathSciNet を見ることも住処から職場のサーバーにログインしてホームページをいじったりも ftp で演習問題を送ることも出来ない。でやろうと思って昨日の晩始めたが、何か手続きをしないといけないらしく、それの時間が夜の10時まで。ということで、9時前に職場を出て、晩飯はカップ麺で済ませることにして帰ってきた。で9時25分くらいに職場に帰ってきて、無時出来た。MathSciNet を見たが大丈夫。他にもインストールしないといけないものは無かったろうか？というところで気付いた。PARI/GP。いや、SageMath に同梱されてるからいらないんだが、別に起動したい場合もあるので。これで全部済んだかな。でちょっとディスプレイの設定をいじった。馬鹿に字やアイコンがでかいな、と思っていたんだが、拡大率が設定出来るようで、推奨の150%に成っていたものを125%に落としてみた。すると、デスクトップに散らかってるアイコンは左の方に寄り、字の大きさも程々に成った。壁紙に美女の画像を設定してあるが、よく見えるようになって嬉しい。一晩大学に泊ったせいもあるが、水曜日から始めてようやく一通り済んだ。新しいパソコンを買うと大変だ。職場のパソコンをもう少し経ったら新しくしないといけないし。年度の合間にやるのがいいな。

また相撲を忘れていた。NHK の9時のニュースのやってる時間に帰ってきたので、今日の結果は分かった。大関は今のところいい模様。横綱はまたしても休場のようだ。怪我に病気にと、大変だ。出ればやる人なんだが。大の里でも琴櫻でも、早く横綱に成って照ノ富士を安心させないと。頑張っておくれ。

「ちびまる子ちゃん」の新しい声優の声が TARAKO の声に酷似していてびっくり

昨晩のふなごやは忙しそうだった。昼からずーっと客がいたようで、晩飯は弁当を買ってちゃちゃっと済ませたらしい。最近は週末忙しいと言ってた。で日本シリーズ制覇記念で売り上げに協力しようということで、昨日書いた通りオマール海老のヴァプールを食べた。目茶目茶旨かった。食べ散らかして大分汚くなった。店からすると織り込み済みのようだが。大体皆結構勿体ない食べ方をするそうだが、小生はちゃんと食べた方らしい。で他の客がいなくなった後、いつもの通り3人で楽しく呑んできた。ビール呑んでワイン呑んで日本酒呑んで。いやー解放感とはいいものです。いや、明日からまた頑張る。今日はいいでしょうということで、ほぼ一日寝っ放し。ちょっと夕食を食べに起きただけ。金曜日の晩に「座王」を外付けハードディスクに録画したが、その時に8チャンネルにチャンネルが変わったままに成っていたか、久しぶりに「ちびまる子ちゃん」を見た。TARAKO が死んだから、まる子の声がどうなっているか心配だったが、菊池こころという声優さんの声は TARAKO そのものでびっくりした。これで「ちびまる子ちゃん」も心配無いな。

「数学IV」のファイルを TeX に通せない問題はまだ解決してない。他のファイルと見比べても何が悪いのかさっぱり分からん。まあ職場のパソコンでは大丈夫だからいいんだけど。やはり気になる。何とかしたいところ。

あ、相撲が始まってるんだった。忘れてた。「サンデースポーツ」も見てないから、結果を知らない。ダイジェストを録画しておいて明日見よう。今場所は横綱は出てるんだろうか？新大関の結果は？気になる。見ないと。

などと書いてしばし。エラーが出る行をコメントアウトすると、エラーが出なくなった。意味わからん。でどうも \dots でエラーが出るようだから、試しに \ldots としたら通るようになった。\dots は … を自動判定して適切なものを出す命令のようだから、\{1,2,3,\dots\} は TeX には判定出来ないということだろうか？まあうまくいったので、いいです。これから気を付けよう。

怒涛の一週間を乗り越えて、これから Baystars 日本シリーズ制覇の祝杯をあげにいく

昨晩はちゃんと11時過ぎには寝た。寝坊が怖いのか何度か目が覚めた。最初は4時台、次は5時台。6時半のアラームでも意識が戻ったが、まだ眠いので寝入ってしまう。で7時のアラームは全く気付かず、最終的に起きたのは8時少し前。8時半に集合だからまだ間に合う。が、寝癖を直したいので、シャワーをざっと浴びて、8時20分頃にエポックを後にする。車に乗ってエポックの前からウェストウィングの近くに。土曜日だし朝早いし、停まっている車は殆ど無い。で集合場所に8時28分くらいに到着。危なかった。

今日は大事な仕事。1時間半やって、30分休んで、1時間半やって、昼飯休憩1時間、1時からもう1時間半やって、30分休憩して会議。皆さん真面目でいらっしゃる。解放されたのは4時過ぎ。ちゃんと寝てあったので、特に眠くなるでもなく、無事終了。個研室に戻ってから一作業。住処に帰ってからやってもよかったが、片付けられるものはやっておきたいので、ちゃちゃっと済ませてメールを書いて。でその後ちょっと数学の気になっていたことを片付けよう、ということでやり始めたが、あまり遅くなりたくないので、そっちも程々に。7時半前には職場を後にした。

ちゃんぽん亭で味噌味の肉スペシャルを頼む。店に「虫が入るからドアを閉めてください」と書いてあるのに開けっ放しにする輩のなんと多いことか。今日ぐらいの陽気ならいいが、もっと寒くなったら大声で「寒い！」と言ってやろうか？道路は特に渋滞してなかったが、何やら峠の頂上付近から暫く40km/hを割り込む状態に。事故か？と思ったがそのスピードのまま進んで、暫くしたら大丈夫になった。でこれで無事完了、と思って路地を入ると、郵便局の車が停まってる。避けてからいつものようにバックで停めるべく少し余分に前へ進んで、というところで面倒くさいことが。さっきの郵便局の車が小生の車にビターっと付いてる。バックランプを光らせば下がってくれるか？と思ったがびくとも動かない。むう。仕方ないので進んで、さて直進か左折か？と後ろを確認するとウィンカーが光ってるので、ちょっと直進して、その後バック。これだけの距離をバックで走るのは大変。バックモニターとサイドミラーを見ながら、脱輪しないかぶつけないか気にしいしい必死でどうにかなった。疲れた。無駄なエネルギーを使った。気持ちよく一日終わりたかったが。

まあまだ一日は終わっていません。一週間振りの酒を呑みに行く。もう夕飯は食べてしまったので、まあ適当に食べながら。そうだな、日本シリーズ制覇をまだ祝ってないので、オマール海老の何とかいうのがあるから、それ食べようか？確か3300円だったな。エポック一泊3000円だから、それより高い。まあこんなことでもないと食べないから頼んでみよう。

あ、この前 tsuno さんと正力松太郎賞の話をしたんだが、まあ番長が選ばれるでしょう、という予想が当たった。去年は Buffaloes の中嶋監督だったし、大体日本シリーズを制覇したチームの監督が選ばれるでしょう、という結論になり、案の定そうだった。Baystars の南場オーナーを選んではどうか？という意見は tsuno さんに限らず結構あったが、そうは成らなかったか。TBS が親会社の頃はまさに「暗黒時代」だったが、そこを立て直したのはオーナーのお陰は大分ある。まあ TBS は CS で Baystars の試合を放送し続けているし、日本シリーズも数試合地上波で放送したし、日本シリーズの4勝目をもう一度 CS で放送してくれてるし、何処かに申し訳なさがあるのだろうか？何処かで聞いたような気がするが、TBS が Baystars を手放したタイミングで新潟に本拠地を移す、という怪情報があった。その時 TBS が横浜から本拠地を移すなら手放さない、と言ったとか言わなかったとか。残ってくれてよかった。新潟には二軍限定だが新しいチームが出来たし。Jリーグに負けず NPB も地域密着をしましょう。

何か最低気温が凄いことになってる。日中はまた夏日近くまで気温が上がるようなこと言ってるし。どうせいちゅーねん。今晩の帰りは遅くなる（早くなる？）だろうから、一枚羽織っていこう。ということで、いってきます。

SageMath のインストールに成功したのは深夜4時くらいで、午後1時からの講義に少々遅刻

寝ようと思うも、つい SageMath をインストール出来るまで頑張ろう！と成ってしまい、それから上を下へのお騒ぎ。実行ファイルが出来てうまくいったのかと思ったら、何かメッセージが出て起動してくれない。Windows Linux サブシステムでやってるが、要するに Unix。ちょっと腕に覚えがあるので、頑張って何度もやって、これは Ubuntu を一回アンインストールだな、と思ってやると、今度はインストールが出来なくなってしまった。うぉー！という訳で Google 先生に質問を投げて、出てきたページを見ると、皆さん色々苦労してはる。で暫くやって気付いた。前の時は Ubuntu はマイクロソフトのアプリショップだかそんな所から無料でダウンロード出来た筈、と思って見ると、一番新しい Ubuntu が入手出来て、Linux が起動出来ない問題は解決。がまだ問題山積。SageMath のページを見ると、何だか conda とかいう命令を使っていたのでやってみたが、そんなコマンドは知らないという。今度は conda で検索。すると anaconda とかいうのが沢山候補に出てくる。でどうもその anaconda をダウンロードしないといけないらしい。が、ここでまた問題が。Linux のターミナルからダウンロードってどうやるの？Windows でダウンロードしたとして、保存されている「ダウンロード」ってフォルダーにどうアクセスするの？Web を見てると、「Download」というディレクトリーが出来るようなことが書いてあるが、ない。で cd / とやってみて「mnt」というディレクトリーがあることを発見。ここで Unix のスーパーユーザーをやった経験が活きて、閃いたのでこのディレクトリーを見てみると、C と D というディレクトリーがある。ガッツボーズ。C の User 以下にある Download を見てみたら、あった。でこれを実行。少し掛ったが、conda は使えるようになった。が、まだこれで終わらない。SageMath のホームページにある通りに conda を実行したら、その情報が古いらしく、SageMath が手に入らない。が、今は便利な時代で、困ったら何でもキーワードを入れるとどうにかなる。「conda sage インストール」くらいで調べたら、有益な情報が得られ、その通りにやって、漸くインストール完了。起動前に毎回何やらターミナルで打たないといけないが、まあ仕方ない。それをメモって、コピペをどうやるのかとかグダグダやって、漸く終了。気付けば4時近く。いかん寝るぞ。

が、寝床に入ってうっかりスマホをちょっといじってしまった。すると素晴らしい情報。CS の「TBS チャンネル2」で Baystars が日本シリーズ制覇した試合を放送してくれるという。おっ！飛び起きて未使用の Blu-ray ディスクを突っ込んで、録画予約。最高画質での録画は無理だったが、二番目にいい画質で録画出来る。嬉しい。ということで、今度こそ寝る。

起きたら12時15分を過ぎていた。ギャ！急いで出掛ける。弁当を買って食べる時間が無い。講義室に着いたのは1時2分くらい。まあいいです。今日は「代数学II」。今日は標数の定義をしてから、多項式と拡大の分離性。導関数で色々分かるという話をまず。(F(X)G(X))'＝F'(X)G(X)＋F(X)G'(X) とかもちゃんと証明。で「L/K が分離拡大で K⊂M⊂L ⇒ L/M, M/K も分離拡大」を証明したら大体2時半。逆も成立するけど、それは非分離拡大を結構真面目に勉強しないと証明出来ないので、紹介だけ。

で生協で弁当を買って、個研室で掻っ込む。2時40分からゼミだが、5分遅刻。今日はディリクレの単数定理の証明の続き。先週一次形式をちまちまといじって、いわゆる Minkowski 単数の存在をほぼ示し終わっていたので、今週は加法群 Rⁿ の部分群が格子であるための必要十分条件から。でここでちょっと紛糾したのが、ある元がある集合 Γ に入っている（情報が薄い）ことが分からない。で冷静に成ってみると、左辺が Γ に入っていることがほぼ自明に分かり、それを式変形して右辺、という思考の順序だが、左辺を式変形して右辺にして、右辺が Γ に入ってる、という書き方に成っているので分からなかったのだ。やはり書く方にはそういうことをしない気遣いをして欲しいところ。でその後 log を使って単数群を Rⁿ に写して、行列式に関する補題をやって、で単数定理の証明は無事終了。5時50分までやることに成っているが、5時45分くらいに証明が終わって嬉しかった。色々たまっているとフラストレーションがたまるが、一個でも片付くと嬉しい。

片付けないといけないものは色々あって、年末調整の手続きを来週の金曜日までにやることに成ってる。やるか、ということにして始める。相変わらず訳が分からない。前は人事課に電話して言う通りにやっていたが、「よくある質問」に色々書いてある。いや、見ても分からないんだが、人事課の人にすれば「書いたでしょ」と言いたいのだろう。でグダグダと30分強。何とか成ったっぽいが、自信が無い。月曜日にでも人事課に電話だ。

で明日は朝8時半までにウェストウィング某所に行かないといけないので、今日はエポックに泊まることにした。生協で夕飯と明日の朝飯を購入して、7時前にチェックイン。1階に何やら騒がしそうな学生の団体がいたが、フロントの人によるとダンスサークルだそうだ。学園祭が近いので練習するということらしい。10時には終わるらしいから、まあ大丈夫でしょう。それに今いる部屋は教職員以外立ち入り禁止の場所なので、静寂が保たれるだろう。2階は学生と教職員両方泊まれる。勿論エリアを分けてはあるけど、ちょっと五月蝿い。4階でよかった。そろそろ寝よう。明日は7時には起きたい。昨晩は夜更かししたし、今日は講義だゼミだと疲れているから、寝られるだろう。「探偵ナイトスクープ」はまあ見なくてもいいし、「無能の鷹」と「座王」は昨日の晩録画予約しておいたから、明日帰ってからゆっくり見よう。いや、住処のパソコンの TeX の問題が解決していない。「数学IV」の講義資料が TeX でタイプセット出来ないのだ。メモリーが足らないとか言ってくる。1頁ものを TeX に通したら問題無かった。で秘蔵の代数問題集（250ページ強）も大丈夫だった。30頁程度の講義資料は何故駄目なのか？早目に解決しないと住処で色々出来ない。明日帰宅後はそっちだな。何時に帰れるんでしょうか？

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過ぎた人だし穏当に済ませようとは思うが、それでもやはりな。まあもうちょっと暇が出来たらやります。来週は講義の合間を縫って学生と面談を多数して、インフルエンザの予防接種を打ちにいつも職場に行かない水曜日も行かないといけないし。土曜日は朝早くから昼過ぎまで捕まるので、エポックに泊まる予定にしているし。一週間とにかく突っ走ります。