やっぱり遅くなると元気に成ってくる。で昨晩もそこそこ遅くまで起きていた。で今朝は11時半くらいにようやく起きた。シャワーを浴びて12時くらいに出勤。弁当は2店舗で各1個ずつ残っていた。100円引いてくれるというので、エビマヨ弁当を買って食べる。
1時から「数学IV（線形代数）」。今日は対角化をザーッと。春学期に行列の対角化はやってあるので、まあこれでいいか、という程度ね。で隣接3項間漸化式の話をしたら時間に成ってしまった。定数係数の線形常微分方程式はまあ時間的に無理だな、と思ったら、やっぱりそうだった。しゃあない。残りは年明けの1月6日と20日の2回。13日は成人式なので、うちにしては珍しく祝日閉校日。モチベーション上がらないが、まあ仕方ない。来年から95分×14週に成るが、年明けは1回だけということに成るのだろうな。いよいよモチベーションが下がる。
個研室に戻って、講義の後始末。幾つか証明を飛ばしたものがあるので書いておこうということと、3項間漸化式をやっても難しくしただけで全然有難味が無いだろうから、4項間漸化式とかもっと項数が多くても簡単に一般化出来るし、ということを書いておこうと。色々裏でやった仕事の資料からコピペしたりとか、財産があるのは大きい。こっちに来た頃は何のストックも無かったので大変だった。が、残り2回でやる内積はちょっと貯金が乏しいので、ゼミが終わったら続きをやろう、ということでゼミの時間。
今日のゼミは簡約2次無理数を軌道分解して、それを使ってイデアル類群を求めたり基本単数を求めたりという話。基本単数の方は大きい（heightが？Mahler measureが？）例が出ていたが、類数は2とあまり面白くなかった。もっと類数が大きい体でやりたいところだが、実二次体の類数は中々大きくならない。Q(√82) だと類数が4だから面白いと思うが。気が向いたらやってみよう。ただ、簡約2次無理数を全て求めるのは割と大変。徒手空拳でプログラムを書こうと思うとある整数の約数を全部吐き出すという難しいプロセスがあるが、まあ SageMath を使えば。いや、SageMath には既に出来合いで簡約2次無理数を吐き出す関数くらいあるのでは？という気がするので、今度調べてみよう。でゼミは大団円を迎えた。長い旅でしたな。後は書くことに集中してください、と言ってお別れ。いや、明日の講義でも会うのかな。
で線形代数の続きをやって、10時くらいまで職場にいた。コーシー・シュワルツの不等式と三角不等式の等号成立条件を書いてる本って殆ど無くて、前に調べて TeX 化しておいたものを読んでみたが、何書いてっかよく分からない所多数。雑に書くといけないね。ちゃんと整理して、次回の講義の終了後には manaba＋R に上げて恥ずかしくないものにしないと。でちゃんぽん亭で味噌味を食べて、11時過ぎに帰宅。
「過ぎるTV」で兵庫県川西市のことをやってるが、行ったことないな。古田敦也の出身地と知ってるくらい。で案の定古田が出ている。下手な芸人より古田の方が面白いぞ。流石関西人。関西は町行く人が皆面白い。関東は知らんぷりするからね。まあ小生のように自分勝手に生きたい人間は周りが知らない人ばっかりだと楽だけど。商店街のど真ん中で生まれて、駅に行くまで何回も頭を下げるのは本当に嫌だった。今の所は周りの人で小生の名前と顔が一致している人はまずいないだろう。管理人さんは知ってるみたいだけどね。まあ死んだら誰にも気付かれずに数日どころかもっと放置、ということに成るのが確定しているので、悲しいが。今日は「激レアさんを連れてきた。」も「キョコロヒー」も無いようだ。年末特別体制かな。「テレビ千鳥」はあるようだが、これは随分前のを遅れて放送しているから関係無いのだろう。明日は講義は2時40分からだが、保健センターに行かないといけないので、いつもよりは早く寝て早く行かないと。
