結局「エラー」の残り4話を見てしまい、その時点で結構な時間。考えないといけないことがあったが、それの関連で別のことを考えて、ちょっとヒルベルト理論の別のことをちょっと勉強した。学生に読んでもらった所だが、忘れてた。こんなこと成り立つんやね。代数体は標数0だから、ガロア閉包の存在がすぐ示せて、そこにヒルベルト理論を適用すると、ガロアでない拡大でも示せてしまう。面白かった。
で寝床ででウダウダと YouTube を見ていたりしたが、眠くならないな。あっと言う間に12時半を回って、腹が減ったのでカップ麺でも、と思ったらポットが空。つかん。でお湯を沸かして食べ終わって、もう1時半くらい。寝床でウダウダしてたらあっという間に2時。野球の時間だが、寝床で引き続きウダウダ。1回裏に3四球で1点くれたが、その後点が取れなかったのが響いて、あっという間に逆転された。その後全然点が取れない。牧は脚の故障で抹消されていたので、無理はさせられないからか、今日はスタメンから外れていた。やはり牧がいないと点がとれないか、などと思っていたら9回裏に代打で出てきて、何とホームランを打った。やはり牧がいないと。明日はスタメンだろうと解説者が言っていたから、かく願いたい。
でその後ちょっとだけ寝たが、超寝不足であることには違いない。が、やはり土曜日は顔を出しておかないとよくないので、今から呑みに行く。寝落ちするだろうか？案外大丈夫だったりするが。ま、どっちでもいいでしょう。ということで行ってきます。
