一昨日から昨日に掛けて訳の分からない生活をしてしまった。どうせなら呑んでぶっ倒れればよかったが、呑まないので目が冴えて、ほぼ寝てない状態。でちょっと寝ては起きてを繰り返し、気付いたら今日に成っていた。何してんだかな。その間していたのは YouTube を見たり Facebook を見たりと。まあ祝日だから別に何かしなくてもいいんだが。だけど眠りが浅いからか、そのちょっと寝ている間に結構嫌な夢を幾つも見た。やはりちゃんと寝ないと駄目だね。で昨晩は早く寝ようと思ったが、やはり寝床で YouTube を見たりと、どうしようもない。まあ今日は2時40分の講義に間に合えばいいので、構わないが。
と言いつつ、今日最終的に起きたのは1時半近く。急いで出掛けて、弁当を生協で買って掻っ込んで。火曜日は院生向け「数理科学特論1」。今日は実二次体の基本単数の話の残りをやってから、Dedekind ζ 関数と Dirichlet L 関数を用いて二次体の類数を求める話の概略。p が mod 4 で3と合同な素数の時、1 と (p-1)/2 の間には平方剰余の方が平方非剰余より多い、というのの類数公式を用いない証明は知られていない、とかそういう話もして、それでもまだ数分残りがあったので、色々話してきた。実二次体の基本単数の話をもう少しすればよかったな。こちらは細々としたことを(しか、という説もある)知っているので、そうすれば面白かったかも。まあ manaba+R に上げる資料に多少書き足せばいいでしょう、ということで、15回終了。まあよかった。明日は職場に行かないで、木、金、月で講義、ゼミは終了に成る。先が見えてきた。嬉しい。
終了後 M2 の学生が修論の途中経過を印刷して渡してきた。この前メールで pdf ファイルが送られてきたが、連休の間怠けて返事をしなかったので、業を煮やしたか。明後日まで見ておく、と約束しておく。真っ赤にして返してやる。
終了後は少し金曜日の講義のことが気に成るので、資料を見てみた。何か変だな、と思ってあれこれやったが、変じゃなかった。p0, p1, p2, p3,…, pn と書いてるが n が1だったら?2だったら?という程度のこと。いや、こんな単純じゃないけど。ちょっと書き直して、続きを読んで手直しして、でこの前印刷したんだが、結構いじったのでもう一回印刷した。これで金曜日の講義はOK。残るは月曜の講義。これは明後日やる。その後ちょっと TeX のことを調べる。色々マニアックなパッケージがあるな。\left と \right で括弧を大きくすると、前後に嫌な空白が空くのでどうにかしたい、という人がそこそこいるようで、それを解消するパッケージがあった。試してみたが、成程違うな。ただ、\right) の肩に ^2 として2を乗せると、括弧と2の間に嫌な空白が空くのはどうにもならないようだ。やはり \! とか使わないと。いや、こういうのは気にしないのが健康のためにはいいんだが。\frac の横棒が短い、というのが小生気に成っているが、これの解決方法は簡単。で某氏の書いた本を見ると、分数の横棒が格好良い長さに成ってるが、この人もそれを気にする人か、と思いながら読んでいるのだがな。ま、気にしない方がいいですよ。などとしているうちに9時。
表に出たが、全然寒くない。車に乗って温度を見ると7度。国道1号に出た時は9度。牛すきはもう少し寒い日の方がいいが、年が明けてから肉らしき肉を食べてないので、いいか、とすき家へ。お袋が元気な頃は元日すき焼き、二日蟹というのが恒例だったがな。蟹ははま寿司に行って食べよう。お節も食べなくなって、数の子ももう食べることはないかと思ったが、暮れにはま寿司にいったらあった。またはま寿司行こう。蟹と数の子は必須。
帰ってきて「報道ステーション」を見ていたが、何か少し時間が窮屈だな、この時間からスポーツコーナー?と思ったら、今日は「家政婦のミタゾノ」の拡大版のため、5分くらい遅く始まったようだ。ニュースを見てると、何とか医科大の理事長が凄い不正をやった話とか、銀行で働いてた女が FX とかで10億の損失をして、顧客の金に手を付けたとか、ロクでもない話題が続いていた。前者を見てると、うちは大丈夫か?と思ってしまうが。日大もあの時は大変だったようだし、悪い噂が立つと私大は大変。ちゃんとしてくれ。
「報道ステーション」は相撲の話題をしてくれるようになった。昨日の結果は全く知らなかったが、琴櫻は昨日は負けていて、豊昇龍は勝っていたようだ。で今日は琴櫻が連敗、豊昇龍は3連勝。琴櫻の綱取りは厳しいか?いや、先場所優勝したのは琴櫻だからな。2敗で優勝か準優勝なら可能性はあるな。豊昇龍は先場所準優勝だから、こちらは優勝が必要か?
上に書いた通り明日は職場に行かなくていいので、また変な生活をしてしまいそうだが、昨晩の睡眠が充分だとは言えないし、明日は3時からちょっとリモートで面談があるし、それに「ドクターX」を見たい。18時半からの上映があるようだから、見に行く。いや、昨日行くつもりだったんだが、見てる最中に寝そうだからやめておいたのだ。今晩はちゃんと寝て、明日は体調万全にしておこう。