大体日曜の晩は「夫が寝たあとに」を見て寝る。で2時くらいなのだが、昨日はフィギュアスケートの番組があって、3時を過ぎてようやく寝た。が、疲れている筈なのに眠くならない。大丈夫だろうか?と心配した通り、今日は12時を過ぎて暫く経ってから起きるという体たらく。講義が遅れ気味なのに、5分遅刻してしまった。
今日の「数学IV(線形代数)」は、数ベクトル空間の間の線形写像の像と次元を調べる話から。で漸く表現行列の話が出来た。ちょっと難しい例が出てたが、飛ばせばよかったかという気がしないでもないが、まあいいです。3次以下の多項式の空間から2次以下の多項式の空間への微分による線形写像の核だ像だとやってたら時間に成った。どうやら来週か再来週には対角化の話が出来そうだ。まあ行列の対角化は春学期にやってあるんで、少しは慣れてるだろうから、多少急ぎ足でも大丈夫だろう。
今日はゼミが無いので、明日の講義の準備をしよう、と思っていたら、学生が修論の件でちょっと話を聞きたいというので、少々時間を使う。で1時間くらい経ったらもう一度現れた。何やら TeX のトラブルのようだが、overleaf のことは何も知らないので、対処出来なかった。Mac のパソコン(タブレットでなく)を持っていたので、インストールしちゃえばいいいのに、と思ったが、何時間も掛かる作業だから、そう軽く「やったら」とは言えなかった。こんな日に限って院生室は彼が占有状態のようで、誰にも聞けなかったようだ。その後何も言ってこなかったが、大丈夫だったのだろうか?明日の講義で会うだろうから聞いてみよう。でその後頑張って Kummer の定理の証明を完成させた。先週はこれのために2回徹夜したからな。後で元ネタの本の著者にメールを書く。気を使った文言にしないといけないし、面倒だ。まあやります。明日は2時40分からの講義までに職場に行けばいいので、早寝しなくていいから、ゆっくりやる。
例によって9時くらいまで職場にいた。寒いぞと思ってエンジンがかかった後に出る外気温表示を見ると、4度。うー。暫く走ったら7度まで上がったが。今日は都心は2度くらいまで下がったとか。アナウンサーが「秋が短かったですね」と言っていたが、その通りだな。日本は二季に成ると言っていた専門家がいたが、その通りに成ってきた。嫌だ嫌だ。で寒いので、豚カツより拉麺の方がいいぞ、ということでいつもの通りちゃんぽん亭へ。暖まった。でそのまま真っ直ぐ帰るつもりだったが、山科まで来てドラッグストアの看板が見えてきたところで気付いた。ボディーソープがほぼ無くなっていた。ということで寄って買う。食料を買い込んでおけばよかったが、まあいいです。で会計を済ませて表に出てきたら、何とスウェットの上下が売ってるではないか。去年の冬買った物は尻に穴が開いてしまって、ワンシーズンしかもたなかった。で今は夏にしまむらで買ってきたものを着てるが、流石に寒い。店に入る前に気付けばよかったが。まあいいや、明日買おう。
今日は現役ドラフトがあったそうな。Baystars からは誰が出ていくかとファンの皆さんは注目していた。神里か関根という声が多かったが、実際は上茶谷大河。Hawks に行くそうだ。むぅ、貴重な戦力だったが。Marines の平沢大河は Lions に。大河が二人。Baystars には Tigers から浜地真澄投手が来るそうだ。印象に無いがどんな選手だろう?ルールでは二人まで獲得出来ることに成ってるが、過去2回はいずれも一人だけだった。が、今回は Carp が二人指名したそうで、Fighters から鈴木健矢投手を獲得。アンダースローの投手だそうで、今年の Baystars の中川颯みたいに活躍出来る可能性はある。面白い選手に成りそうだ。Tigers の大竹や Dragons の細川のように移籍で花開いた選手がいるにはいる。大半が戦力に成ってないが。皆さん頑張ってください。上茶谷はドラフト1位だ。Baystars を見返すくらいの活躍をしてください。
で浜地を調べてみた。一昨年は52試合登板で防御率1.14、ホールド21と、活躍した年はあったようだ。現役ドラフトではないが、今年移籍してきた中川颯は相当活躍して、選手のトークショーのメンバーの一人に選ばれて、給料は大幅アップと、移籍してよかった選手の一人。どうなるでしょうかね。