寝ようと思うも、つい 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 単数の存在をほぼ示し終わっていたので、今週は加法群 Rn の部分群が格子であるための必要十分条件から。でここでちょっと紛糾したのが、ある元がある集合 Γ に入っている（情報が薄い）ことが分からない。で冷静に成ってみると、左辺が Γ に入っていることがほぼ自明に分かり、それを式変形して右辺、という思考の順序だが、左辺を式変形して右辺にして、右辺が Γ に入ってる、という書き方に成っているので分からなかったのだ。やはり書く方にはそういうことをしない気遣いをして欲しいところ。でその後 log を使って単数群を Rn に写して、行列式に関する補題をやって、で単数定理の証明は無事終了。5時50分までやることに成っているが、5時45分くらいに証明が終わって嬉しかった。色々たまっているとフラストレーションがたまるが、一個でも片付くと嬉しい。
片付けないといけないものは色々あって、年末調整の手続きを来週の金曜日までにやることに成ってる。やるか、ということにして始める。相変わらず訳が分からない。前は人事課に電話して言う通りにやっていたが、「よくある質問」に色々書いてある。いや、見ても分からないんだが、人事課の人にすれば「書いたでしょ」と言いたいのだろう。でグダグダと30分強。何とか成ったっぽいが、自信が無い。月曜日にでも人事課に電話だ。
で明日は朝8時半までにウェストウィング某所に行かないといけないので、今日はエポックに泊まることにした。生協で夕飯と明日の朝飯を購入して、7時前にチェックイン。1階に何やら騒がしそうな学生の団体がいたが、フロントの人によるとダンスサークルだそうだ。学園祭が近いので練習するということらしい。10時には終わるらしいから、まあ大丈夫でしょう。それに今いる部屋は教職員以外立ち入り禁止の場所なので、静寂が保たれるだろう。2階は学生と教職員両方泊まれる。勿論エリアを分けてはあるけど、ちょっと五月蝿い。4階でよかった。そろそろ寝よう。明日は7時には起きたい。昨晩は夜更かししたし、今日は講義だゼミだと疲れているから、寝られるだろう。「探偵ナイトスクープ」はまあ見なくてもいいし、「無能の鷹」と「座王」は昨日の晩録画予約しておいたから、明日帰ってからゆっくり見よう。いや、住処のパソコンの TeX の問題が解決していない。「数学IV」の講義資料が TeX でタイプセット出来ないのだ。メモリーが足らないとか言ってくる。1頁ものを TeX に通したら問題無かった。で秘蔵の代数問題集（250ページ強）も大丈夫だった。30頁程度の講義資料は何故駄目なのか？早目に解決しないと住処で色々出来ない。明日帰宅後はそっちだな。何時に帰れるんでしょうか？
