またしても下らんことをして、相当な時間まで起きていた。色々やることとやりたいこととあって、寝るのが勿体ない。まあそれでも11時半起きならそれなりの睡眠時間はとれるのでいいが。でちゃんと11時半をちょっと過ぎたくらいには起きて、シャワーを浴びて出発。
が、今日は祝日。12時40分くらいに着いたが、もう弁当屋は閉店後だった。生協で弁当を買ったが、ちょっと量の少ないのものばかりだったが、仕方ない。食べないよりはまし。
今日は「数学IV（線形代数）」。何か最初に証明したことをやった覚えがあったが、後で演習の先生に送ったメールを見ると、やはり先週証明したようだ。メモ書きに惑わされたな。まあいいです。同じことを2回聞くと前より分かることはあるので。で Rn の部分空間の次元を求める方法を二通り話して、で rank(A)＝rank(tA) がついでに分かるという話をして、で W1＋W2 の次元を W1, W2, W1∩W2 の次元で書いて、というのを証明。「長く見えるかもしれないが、これくらいは大したことないです。今はそう思ってもいいから、慣れてください、と言っておく。で直和という用語を定義して、直和であることの同値な言い換えを書いて、でほぼ時間。来週はこの同値性を示すことから。まあこれは本当に大したことない。その後直和の例をどれくらい出すかをちょっと考えないと。テキストにない例は「manaba＋R に置くものに書いておくんで、自分で読んどいて」ということでいいかな。線形写像やらないといけないし。写像リテラシーをちゃんとやるのに時間を使うかな。来週で折り返し地点だ。どれくらい落ちこぼれてるだろうか？演習の先生方に頑張ってもらおう。勿論学生が頑張るのが大前提だが。
ここのところ寒いから、本来は今月末から効く筈の暖房が前倒しで今日から使えるように成ってた。学生は寒いのだろうが、こっちは暑い。むしろ夏より辛いぞ。喉を潤す飲み物は必須だな。
ですぐ次のコマがゼミ。こちらも暖房が効いてた。今日は y2＝f(x) の形の有限素体上の曲線の有理点をルジャンドル記号を使って数える話をちょっとやって、それから第2補充法則と平方剰余の相互法則の証明を一つ。第2補充法則は誰の手によるか書いてなかったが、相互法則の証明は Lebesgue によるもの。Lebesgue と言っても「ルベーグ積分」に名を残す方ではない Lebesgue。どちらも去年までは何か分かったような分からないような気がしていたが、今年はよく分かった。単純に何回も聞いてるから分かるように成ってきたのか、この歳にしてじわじわ賢く成ってきてるのか分からんが。まあまた忘れるのだろうけど。今日は一人が就職活動で来ていなかったので、早目に終了。
それから同僚にメールを書いて、事務の人にメールを書いて、それからちょっと作業。何か形態が変わってからの方が難しく成ったぞ。あれこれ頭を捻るもうまくいかず、もういいや、と7時くらいに職場を出た。
今日は祝日だったのを忘れていた。いつもの月曜なら7時過ぎは混んでないが、今日は3連休から帰ってくる車が多いのか、名神に合流してからちょっとして渋滞が始まった。大津インターの手前でちょっとマシに成ったかと思ったら、また混み出して、そのまま車列は京都南インターまで続くような予想。まずったな。しかも今日は祝日割引が無く、580円払う羽目に成った。もう1時間か2時間職場にいればよかった。
で帰って Uber Eats に食事を、は待っていられず、帰る前に食べることにした。土曜日に小野にある「魁力屋」の話が出たので、久し振りに行ってみようということにした。外環は特に混んでおらず、すぐ着いた。店もそれほど混んでおらず、読書はちょっとしか進まなかった。旨かった。
8時半前に住処に帰り着いて、「Qさま！」を途中から。石原良純が下位からの猛追を見せて優勝。今年の Hawks のようだった。その後ちょっと考え事。職場でやったらよかったな、と思ったが、まあいいです。ちょっと慣れないことをしているので、勘が鈍っている。最盛期なら「自明」と言ってしまうくらいのことが分かってない。いや、直感では明らかなんだが、直感に頼らないでやるのが数学なので、ちゃんとやる。どうにか成った。明日の講義が終わったら完成させてしまおうか？何の話だって？いやいや、分からんように書いとるのだよ。明日早いとこ職場に行ってやればいいのか。いや、どうかな。何か月曜日深夜の ABC の番組編成が変わって、「過ぎるTV」が12時までになり、30分コントの番組をやって、「激レアさんを連れてきた。」の後番組が12時45分くらいからで、「Rising sun」とかいうどうでもいい番組が始まったので、プロレスが始まるのが遅くなってしまっている。結局寝るのはまた相当遅くなってしまい、講義にギリギリ着くというパターンに成っている。まあいいけどね。「くりぃむナンタラ」が終わったら買い出しに行ってこよう。今日は酒はやめよう。
そう言えば、「ナンチャラ」という言葉をよく聞くように成ったが、関西弁ですかね？使ってる同僚は関西人ではないが。「ナンタラ」は一発でカタカナに変換してくれたが、「ナンチャラ」は出すまで一手間掛かった。どうでもいいか。
