「ロンドンハーツ」は下らないのだが、つい見てしまう。結局昨晩も見てしまった。が、「テレビ千鳥」は流石に眠くて起きていられなかった。一応録画してあるが、見るでしょうか？で今朝は10時半前に一旦目が覚めたが、やはり眠い。徹夜に近いことをやったら、12時間近く寝ないと。で最終的に起きたのは1時半くらい。シャワーを浴びてから急いで出発。
職場に着いたのは2時半近く。3時から健康診断だが、問診票を記入しないといけなかったり、色々やることがあるので飯抜きで。で2時50分くらいに受付場所に行ったが、「もう少し時間があるので、待ってください」と言われた。見ると椅子の手前に「2時45分～3時の方」と書いてあった。3時からと成っている人は本当に3時に成らないと受け付けてもらえないようだ。で3時きっかりに成ったら受け付けてくれた。結果はまずまず。視力が去年より良くなっていて、腹囲が去年より大きくなっていて、血圧はまずまず。血液検査は、小生贅肉がタップリ付いているので血管が出づらく、針を刺されたままグリグリされたり、一回抜いて刺し直したりというのがよくあるが、今日の人は一発で血管を見付け、ちゃんと血が出てきた。素晴らしい。細かいことは後日結果が送られてくるので分からないが。結果を印刷した物を送ってくれるのは今年度までで、ペーパーレスのご時世ということで、来年度からは自分で pdf を見るなり印刷するなりしないといけないようだ。まあ保険の契約だのなんだの言う時に保健センターに再発行をしてもらわないといけないので、その方がいいかな。3時半過ぎに終了。
菓子パンを一個自販機で買って食べてからクロネッカー積の勉強。昨日職場でちょっと google 先生に頼ったら、ラプラス展開と言う言葉で余因子展開をさすこともあるようだが、必要なのはそっちじゃないので、金子晃先生の線形代数の本を数年振りにひっくり返して、定理の意味するところを勉強。で4次の正方行列の行列式を計算してみて、コンピューターに頼って合ってることが確認出来て、ラプラス展開は分かった。で肝心の正方行列二つをクロネッカー積した時の行列式の公式の証明を高木貞治「代数学講義」に出ている証明を理解しようとしたが、何書いてんだかさっぱり分からん。高木貞治の本は全般的に読みづらい。専門用語が今と違うこともあるし、「初等整数論講義」も「代数的整数論」も今風の代数の言葉が使われてなくて、難渋したのを覚えている。「代数学講義」もまた然り。具体例を調べたりして、ちょっとだけ分かってきたが、まだサッパリ。具体例の計算で全然一般化出来なさそうで、9半近くまで粘ったが諦めて帰ることにした。帰ってから考えようということにした。明日のゼミは1時10分からなので、そこそこ夜更かししても大丈夫なので。ココ壱番屋でカレーを食べて帰宅。
今日は寒くなるぞと脅されていた。健康診断は隣の建物でやるから、まあ薄着でいいだろう、と思ったが、レントゲン撮影のために屋外に出ないといけなかったり、保健センターに行くのに表を歩かされたりと、薄着で行ったことを後悔した。帰りは風が結構吹いてて、結構寒かった。車に乗って外気温の表示を見ると5度。うむ。瀬田川大橋と逢坂山峠の入り口の温度計は3度をさしてた。こりゃそろそろ凍結注意のランプが光るな。今まで冬タイヤに履き替えたことはない。積もる程の雪が降るのは年に一度か二度だし、凍結も早目に帰れば問題無いので。長期予報の結果に依るが、一度トヨタの人に相談してみるか。
さ、もうちょっとしたらクロネッカー積と格闘するぞ。
