今日も2度寝で、無為に過ごした1日

昨晩はなんやかんやで4時過ぎまで起きていた。が、10時前に目が覚めてしまう。朝食後2度寝。起きたのは3時過ぎ。うーん、また無為に過ごしたな。まあいいでしょう。

というわけで特に書くことは無しです。じゃ！

教授会は4時から

今日も9時くらいに起きたが、2度寝は無し。昨日の晩は結構遅くまで起きていて、その後用足しがしたくて目が覚めて、結構寝不足のはずなんだが。2度寝したくなる時とそうでない時を区別する規準が欲しい。

昨日ゴミ出しをしている時に、JAFの月刊誌が出てきた。うむ、ほとんど毎月見ないで捨ててるな、と思ったので、ちょっと見るか、とした所、クーポン券が出て来た。吉野屋、マクドナルド、はま寿司など。はま寿司の寿司一皿無料券に一番興味があったので、今日の昼ははま寿司と決定。で1時ちょい前に住処を出て、草津のはま寿司へ向かう。大体いつも1300円くらい食べるのが標準で、今日もそうだった。が、そこから一皿無料なので、目出度く1200円未満で食べることに成功した。満足。その後職場へ向かい、領収書をリサーチオフィスに送った後、しばしお勉強。「類体論へ至る道」で集合論のことを勉強しようと思って本を開いたんだが、何が書いてあるのかさっぱりわからない。うーん、やっぱりこういう、必要最低限のことがまとめてあるものではなく、ちゃんと集合論を一から書いた本を読まないと習得できそうにないな、と実感。ということで集合論はしばし棚上げしておくことにする。

で4時から教授会。今日は出席者が異様に少ないぞ、と思ったら、4時半近くになって謎が判明。いつもの教授会は4時半からなのだ。で4時25分くらいに何名か会議室に入ってきて、そのうちの1人が「4時半からだと思ってた」と言っていた。で部屋を見回してみると、それなりの人数が出席していた。次の教授会も4時かららしい。年度内はそれで終わりで、4月になったらまた4時半開始になるそうだから、気を付けよう。確か来年度の火曜日は午前に一コマだけあるという、何とも面妖な時間割にされてしまったので、講義後のプランとしては、（１）昼食を学内でさくっと食べて、一生懸命お勉強、（２）昼食を学内でさくっと食べて、一生懸命部屋掃除、（３）学外でゆっくり昼食にして、のんびりお勉強、（４）南草津駅近くのスーパー銭湯に行って、のんびり風呂に入ってから、のんびりお勉強、などがあるが、どうなるでしょうか？もう一つ最悪のプランとして考えられるのが、（５）昼食を学内でさくっと食べて、その後教授会までマインスイーパー。これ結構ありそうで恐い。住処でもそうなのだが、マインスイーパーを1回成功させるまで意地になってやってしまうことが多く、職場でこれをやったら本当にしょうもないんで、やらないようにしている。と言いながら、今日も30分ほどやってしまったし、帰宅後も40～50分くらいやってしまった。これから寝るまでに何度かやる可能性もあるし、気を付けよう。

で教授会の最中は、ある代数の本を眺めていた。UFD上の多項式環がUFDであることの証明をどうするか、というのがここ数年課題になっていて、どうもすっきりしない。で今日手にした本は、証明が恐ろしく短い。でキーになるガウスの補題（原始多項式×原始多項式がまた原始多項式に成るというあれですわ）の証明も見たこと無い、異様に短い証明。これはどっか間違えてるだろー、と真剣に読むも、間違いが見付からず。で講義でやっていた証明を見ても、こちらも間違いは見付からず。但し手数が異様に多い。うーん。ということで、今日はこれからしばしこいつと格闘します。酒は抜き。

今日も馬鹿に眠い一日

今日は恒例・馬鹿に眠い一日。9時くらいに起きたんだが、朝食後眠過ぎて再び寝る。目が覚めたら3時過ぎ。うーん、よく寝るなー。その後色々やって7時くらい。今日は食料の買い置きが無いので、買いに出るか、はたまた外食するかのいずれか。さて、というところでまた眠くなったので、「30分位寝るか」と思ったら2時間寝てしまった。うーむ。なか卯でカキフライ定食を食べて、食料を買って帰ってくる。でもう眠い。寝ようか、と思ったんだが、明日は資源ごみの日。まだ分別してないので、これからやる。ということで今日も寝るのが遅くなり、明日も昼間中眠いでしょう。4時から教授会なので、今日のようにはいかないが。

さ、ゴミ出しするか。

福田隆「重点解説岩澤理論 理論から計算まで」サイエンス社SGCライブラリ145

今日は割りとよく寝られた。で10時前に銀行の人から電話があって起きた。で昼からの会議のため職場へ向かう。会議は1時間ほどで終了。その後有隣社に電話してから住処に戻ってきた。

で大概そのあとはテレビ漬けになるんだが、今日は幾つか用事があって、北へ南へ東へ西へ（長渕剛の歌の歌詞）という感じで飛び回る。なか卯でカキフライ定食を食べて、今日のミッションは終了。7時くらい。明日は用事が無いはずだったので、今日は激呑みに行くか、と思っていたのだが、10時前に起きる用事が出来てしまったので、激呑みは明日する。

そうそう、忘れるところだった。有隣社に電話した後生協に寄った。数セミを買う積もりだったのだが、もう売ってなかった。何でい！ということでスルーするつもりだったのだが、そこで

福田隆「重点解説岩澤理論 理論から計算まで」サイエンス社 SGC ライブラリ145

が売られているのを発見した。即買った。で北へ南へ東へ西へをやっている最中の移動時間とか待っている時間などを使って、眺めてみた。うん、これはいい。何となく当たり前にされている本が多いような部分にもきっちり解説が付けてある。時間を作って読もう。と言ってもいつもの通りいつ手を出すことか。現状やりかけのことがあるんで、それが済んだら考えよう。

北海道で地震

二日間結構な寝不足が続いたためか、今日は10時くらいに起きたのだが、眠くて仕方ないのでもう一度寝る。4時くらいまで。でとりあえず腹に詰め込んで、さて、と思ったんdがやっぱり眠い。もう一度寝て8時過ぎまで寝ていた。流石にもう眠くない気がするが、これはまた今晩よく眠れないことを意味するので、明日も眠い一日なりそうだ。昼から卒研の学生が卒業できるかをチェックする作業があるので、夕方まで眠るというわけにはいかない。いや、待てよ、10時に銀行の人が訪ねてくるんだったな。無理でも今日は早く横になるか。寝てばっかだけどいいや。

ニュースの途中で北海度で地震があったとの速報。何か北海道は寒すぎたり地震があったりと、色々悲惨だ。大きな被害が無ければいいけど。速報が入ってくるところは大きな被害が無い所ばかりで、阪神大震災の時は京都の情報ばかり入ってきたが、実際に酷かったのは神戸だった。今回はそんな大きな被害が無ければいいが。

前から疑問なのだが、「一道一都二府四十三県」と言う。で東京都は通称「東京」、京都府、大阪府は「京都」、「大阪」、で県、例えば滋賀県は「滋賀」と言うが、北海道のことを「北海」という人はいない。これは何故だろうか？相変わらず大したことでないことばかり疑問に思うんだが、右京さん風に言うと「細かいところが気になるのが僕の悪い癖」ということだ。まあそんなことはともかく、北海道に大きな被害が無いことを願うばかりである。

修論公聴会はやっぱり午後から

昨晩は2時くらいまで寝られず、起きたのは5時30分過ぎ。間違いなく寝不足なんだが、修論公聴会に最初から行こうかと思って、寝ないで起きていた。が、10時にauショップに行きたくなって、寝癖ぼうぼうだから風呂入って、10時半頃auショップへ行く。修論公聴会は9時半からだから、既に遅刻決定。auショップへは行っただけ無駄足であった。たまたま見た星占いによると、今日は諦めが肝心とか。ということであっさり諦める。で11時過ぎにはもう職場に行けるモードだったんだが、午前に1つだけ聞いて昼休み、その後1時から再開、という運びだったので、12時過ぎてから住処発。やっぱり午後からだったか。まあいいや。

ということで午後から公聴会に参加。と言っても、大半は内職していたんだが。回ってきた修士論文に軽く目を通して、「うん、立派」という感想を持ってするりするりと議事は進行していく。確率論の学生は皆修論を英語で書いてきていて、発表のスライドも beamer で作っていて、大変立派。もうちょっと指導教官が静かにしていてくれるといいんだが。で最後に微分方程式専門の学生が2人発表。1人目の修論が結構分厚い。うむ。で2人目はもっと分厚い。170ページ強！どこまでオリジナルかよくわからないが、打ち込んだだけで立派。発表はあまりカンペを見ないでやっていた。ただただ立派。博士課程に進んで研究を続けるそうだから、今後が楽しみ。

終了後は形式的な会議。5時40分頃終了。6時から修論ご苦労様パーティーをするそうだが、今日は寝不足ということもあり、さくっと逃げてくる。車を取るためだけに職場に行くのは面倒なんでね。帰宅後はいつもなら激呑みの水曜日なんだが、今日はやめておく。もう寝よう。

今日はカレー2食

昨晩は1時頃には寝付けた。でそのまま深い眠りにつけるかと言うとそうではなく、7時前に目が覚めてしまった。朝食を食べてワイドショーなど見ているうちにまた眠くなる。でもう一度寝た。ここまではいつもの通り。今日は1時間くらい寝たら目覚ましが鳴って、それで起こされる。まだ寝不足には違いないが、もう起きていることにした。これで明日は修論公聴会を最初から聞けるかもしれない。今日はもう寝るかな。

正午頃に昼食に行こうと思ったんだが、「ヒルおび」を見ていたらテレビから離れられなくなった。いくつかニュースがあったが、そのうち12時45分頃から始まった「首都高を自転車が走っていた」というニュースが気になって仕方なかった。構造上ちゃんと自転車が入り口をスルー出来るようになっているらしい。自転車に乗っていたのは外国人とか。仕方ないか、と思ったが、去年も一昨年も一定数高速道路を走る自転車があったらしい。人が入ることもあったとか。運転する側としては気をつけないと。しばらくは出口から入らないように注意だな。逆走は恐いぞー！

で1時ちょい前に住処を離れる。宣言どおりココ壱へ行くために。「手仕込ヒレ勝つカレー」を量は普通で1辛で。美味かった。満足。帰り道に西友に寄って、二つ三つ買い物をしてくる。住処へ戻ってからauショップへ出向く。iPad を最近全然使っていないので、解約しようかと思って。多分5年前の年度末に予算の余りを使って買ったんだったと思ったが、その通りだった。ここ1年半くらい充電すらしてない。でしばし待たされて、諸々手続きして終了。でこれでおさらばかと思ったら、「wifi 環境下では使えますので、お持ち帰り下さい」とのこと。本当だろうか？と思いつつ充電させているところ。

で帰宅後しばしメイルで事務的なやり取りをして、一段落着いたところでマインスイーパー（こらこら）。でそんなこんなで夜も7時半に成ってしまった。ということで晩飯の時間。食ってばっかりだ。今日はカレーが食べたい、ということで、近所の「ナマステタージマハル」といういかにもな名前のカレー屋に行ってきた。カレー3種にライスにナン、それに辛いせんべい（名前忘れた）、サラダと来たからもうお腹は一杯。未だにちと苦しい。一番辛いのを頼んだんだが、「ヒマラヤ」のカレーの普通くらいの辛さだった。「激辛」を謳うにはいまいち。まあ本当の激辛だと胃腸が悲鳴を上げそうなので、これくらいでいいでしょう。

さっき「クローズアップ現代＋」を見ていたら、スマホのいじり過ぎは脳に相当悪いらしい。中毒状態に成っている人は、全然脳が休まっていないんだとか。まあ細かいことは忘れたが、何事も程々に、ということだな。詳しく知りたい人は自分で調べてください、ってこっちがスマホ中毒を深める原因を作ってどうする。

今日は数学は一切やらなかったが、精力的な一日だった。明日の修論公聴会はわけのわからない話ばかりだろう（確率論を専門としている院生が圧倒的に多いため）から、適宜内職をしよう。毎年確率論専門の院生は立派そうに見える修論を書いてきて、確率論を専門としている指導教官以外の先生方は何もNGを出さないところを見ると、本当に立派なんでしょう。ということで、終了後の会議では諸手を揚げて修士の学位を与えることに賛成しよう。