やっぱり早起き出来ない。今朝は11時を過ぎてた。11時11分11秒を見てから起きようということにしてしばしウダウダ。明日は11月11日だ。明日こそ見るべきだ。起きられるでしょうか？
12時10分を過ぎたくらいに職場に着いた。住処を出てすぐ気付いたが、名神の集中工事が8日から始まっている。大丈夫かいな、と心配に成ったが、草津JTCを過ぎた辺りから車線を規制しているのか、栗東湖南－蒲生が渋滞しているとの情報。前は全区間車線規制とかとんでもないことをやられて、いつ職場に着くんだ、ってくらい渋滞してたがな。Kaz 先生に会ったら、「今日酷い目に会いませんでした？」と聞かれたのを思い出した。吹田－小牧間で集中工事だそうだが、ちょっとずつ規制ならまあ大したことないかと思うが、気を付けないと。名古屋まで新名神を経由すると2時間ちょっとのようだが、名神だと3時間以上掛かるとの情報だった。気を付けよう。場合によっては下道も選択肢に入れておいた方がいいかな。正門の前の通りがちょっと混んでたのは、栗東湖南のちょっと先に行きたい人が山手幹線の延伸した部分を使って行こうとしているのかもしれない。
弁当を買って10分掛からず食べ切って、面談の準備。名前では男女どちらか分からなかったが、男子学生だった。苗字が女の子の下の名前のようで、名前もどっちか判断出来ない。今頃の名前は難しいな。割合ちゃんとした学生のようで、単位も揃えてるし、講義も付いていけてると言ってた。大学の講義にウンザリしている学生には色々言ってあげなきゃいけないが、まあこれなら問題無いでしょう、ということで10分くらいで面談終了。
1時10分から講義なので、ちょっとゴソゴソしてから向かう。今日はまず2個の部分空間の直和の話をやってから、もっと沢山の個数でも出来る旨紹介して、証明は自習、ということにしておく。それから写像リテラシーをみっちり。いや、もっとやってもいいんだが、講義でやりたいことは多いし、演習があるので。で結局線形写像を定義する前に時間が来た。今日は7回目で、これしか進んでなくていいのでしょうかという気もするが、まあ何とか成るでしょう。去年は実の場合の内積すら途中までしか出来なかったが、今年はどうにかしたい。
ですぐ次のコマがゼミ。もう大体5分から10分くらい遅れていけばいいやと腹は座っている。今日は平方剰余の相互法則のルソーによる証明。3つの主張を示せばよい、と書いてあるが、何故それを示せばいいか、というのについて一言二言で書いてあるのを説明しようとしない。やはりまだ数学のやり方が分かってないな。紙とペンを必ず持参しているので、書き書き考えて、分かった。一言二言で済むような内容ではなかった。そこをほじくり返すのが数学の面白さだと思うのだが。でまたしても本に誤植を見付けてしまった。誤植は無くなりまへんな。後で報告しておこう。で平方剰余の章が終わって、虚二次体に入れるか、と思ったら、予習してきたノートを忘れてきたと言ってた。テキストがあれば思い出せるのと違うの？という気はしないではないが、まあ小生もそういう状況で講義をやれと言われるときついし、いいことにして終わりにした。外はまだ明るかった。
それから部屋でゴソゴソと。明日の講義の作戦練りなど。ベクトル空間の直和を今日やったばかりだが、明日は群の内部直積と外部直積についてちょっと触れる必要がある。外部直積は簡単だが、内部直積はちょっと難しい。普段殆どアーベル群しかいじってないし、講義もでもどうせ p 進体の乗法群が p が生成する無限巡回群と Zp× の直積に成るのが必要なので、アーベル群で問題無いんだがな。で何か面倒臭くなってきたし、腹も減ってきたので、7時過ぎに職場を後にした。
留学生から「11月12日（火）の12時30分からなら面談出来る」とメールが来ていたが、明日は11月11日（火）。どっちやねん？とメールしたら、11月11日（火）の12時半が正しいとのこと。ということで明日も面談しないといけない。が、講義は2時55分からなので、12時過ぎに起きて住処で面接してから職場に行っても何の問題も無い。いや、それどころか時間を持て余すくらいある。まあやることはいっぱいあるので、持て余すことはないだろうが。またはま寿司行こうか？まあその場のノリで決めますわ。
