データーベースが壊れていると昨日書いたが、何だか想像を超えている。こんな筈はない、と思って xyzzy の下の方のファイル名を見ると、どうやらバックアップとして作ってコピーしておいた方のディレクトリー（今の人はフォルダーと言った方が通じるか？）をいじっていたようだ。ホッとした。無駄な時間を使ったな。寝不足だったので、急いで横に成った。
で今朝は全然起きられず、時計を見ると12時を過ぎてる。やば！急いで出掛ける。講義室には数分遅れて到着。今日はまず線形写像が単射なのと核が自明なのが同値なのを示して、それから次元定理、次元が等しいベクトル空間の間の線形写像が単射なのと全射なのが同値（よって同型写像であることも同値）とか、同型なのと次元が等しいのが同値とか。表現行列をやれなかった。それどころか数ベクトル空間の場合は像の次元と核の次元が対応する行列の階数で分かるというのも出来なかった。今日で10週目だが、大丈夫か？
お分かりの通り飯抜きだったので、講義後食べた。まあ冷えた唐揚げ弁当だな、と思ったら、キッチンカーで旨そうなものを提供しているのがあったので、そこで頼む。サーロインステーキ丼1100円。旨かった。で個研室で講義の後始末をして、などとしてたらあっと言う間に4時を過ぎていた。時間の経つのは早い。
4時20分からゼミ。今日は実二次体の類数を連分数で求める話。いつもの通り突っ込みどころ満載。いつも思うんだが、A＝B∈C とか A＝ac＞0 とかは上手く説明しないとぐちゃぐちゃになる。この前は B∈C は全然自明じゃないが、A∈C は超自明だったので、B＝A∈C と書いて欲しいと思ったが、今日は A>0 と a>0 から c>0 従う、という話だったのに、A＝ac＞0 と書かれちゃうと何のことか分からなくなる。ということで、「A＝ac で、A＞0, a＞0 だから c＞0」と書き直させた。最初のように書いていると、書いた時はいいんだが、後で見返して、ん？、と成るのは必定。人間そんなに頭よくないよ。ということでウダウダと続け、7時25分くらいに終了。もうちょっとだ。
はま寿司で大切り中トロ100円を食べるべく、いつもより早目に職場を後にした。クーポン券があって、100円皿1枚無料なの使おう、と思って見たら、有効期限は11月29日。何だ。まあいいです。旨かったから。
どうも車のメーターのキリ番を見忘れる。今日も気付いて見たら9701kmだった。9800 は見なくてもいいから 9801 は見たい。昭和のパソコンマニアとしてはね。勿論 9999 も 10000 も見たいが。いずれにせよもう少しだ。忘れないようにしよう。
今日から新しい保険証が発行されなくなるそうだ。小生は随分前にマイナンバーカードは作っていて、少し前に医者に言われて保険証としても使っているのでいいけど。ただ多くの方が勘違いされているが、マイナンバーカードでない保険証が今日から使えなくなるのではないということ。従来の保険証を捨てちゃった人もいるらしい。情報はちゃんと仕入れないと。で「報道ステーション」でやっていたが、数年前の「マイナポイント」につられてカードを作った人が一斉に有効期限を迎える時期がくるそうだ。カードは10年に一回、電子証明書は5年に一回更新する必要がある。後者は数年前に区役所に行って更新してきた。で数年後に一気に28万人だかが更新するタイミングが来るとか。そうすると役所の人は大変だね。もっと時間を掛けて浸透させればよかったものを。よく ETC カードを引き合いに出されるが、休日どこまで行っても1000円キャンぺーで大分広まったとはいえ、まだ現金で払ってる人はそこそこいる。ふなごやのバイトの人も車に機械は付いてるが、まだカードを作ってないと言ってた。ETC 専用の料金所は大分増えてきた（近隣だと瀬田西と信楽）。時間を掛けて切り替えを薦めても切り替えない人はいるんだ。マイナンバーカードももう少しどうにか出来なかったか？
その後「流行語大賞」の話題をしていたが、野球関係者が選考委員に多いのか、前は「神ってる」とか「村神様」とか「ARE」とかあが大賞に成ったので、今年も「50－50」だろう、と思ったら、「ふてほど」らしい。何それ？と思ったが、どうも「不適切にもほどがある」というドラマのタイトルの省略形らしい。ふーん、とい感じ。前にも書いた気がするが、「村神様」が選ばれた年に、山之内すずだったと思うが「あたし野球見ーひんから、村神様とか言われてもピンときーひん」みたいなことを言ってたが、まあそれの逆パターンに小生が成ったわけだ。自分の知ってることをみんなが知ってると思ったら大間違い。そうそう、一つ思い出した。吹石一恵の紹介に「父親はあの近鉄の吹石徳一選手」だかなんか見て、いやいや、吹石徳一なんて誰が知ってるの？近鉄よ、と思った。小生は知ってた。勉強しながら野球の情報を仕入れるには、テレビよりラジオの方がよくて、よくニッポン放送「ショーアップナイター」を聞いていたが、「二番吹石の時に大石が盗塁」というのを飽きるほど聞かされた。だから知ってる。実家にいる時は眠くならないとプロ野球の選手名鑑をしょっちゅう見てたので、昔の野球選手はよく知ってる。最近も「週ベ」（週刊ベースボールのことをマニアはこう略す）の選手名鑑号は買うが、殆ど見ないで一年終わってしまうことが増えてきた。もう買わないかな。また2月に成ったら考えよう。
