やっぱり深夜に成ると元気に成ってきて、中々寝ようとしなくなってしまう。昨晩も結局3時過ぎまで起きていた。で11時くらいには起きないといけなかったのに、起きたら12時半を回っていた。まあ予定はあるが、簡単に振り替えられる用事なので、電話して6時過ぎに変更してもらった。
で起きて、カップ麺を食べてから床屋に行った。暮れに切ってもらって以来だからもう2か月以上。最近殿様商売をするように成って、12月に5時半くらいに行ったらもう閉店した後で、その次の週に4時45分くらいに行ったらもう閉店の準備をしていた。実家に帰る前に切って欲しかったから、嫌そうな顔をしていたが無理にやってもらったが。今日は早かったので大丈夫。スッキリした。DCM で買い物をしてから帰ってきて、しばしテレビ。ドラマ「フォレスト」が面白ろそうで録画してあったが、3話までしか見ていなかったので続きを見て時間潰し。あるシーンで後ろの方見覚えのあるY字型の照明が。横浜スタジアムだ。横浜が舞台のドラマだったか。MBSでやってる「まどか26歳、研修医やってます!」というドラマでは横浜スタジアムで応援しているシーンがあるという情報があったので、1話から録画してある。まだ全く見てないけど。横浜はドラマの舞台によく成る。「あぶない刑事」なんかもそうだし。バイト先であったのが、昼飯を食べに行って中々帰ってこない奴が遅れて戻ってきて、「あぶない刑事」のロケをやっていたのでつい見てしまったと言ってたことがあった。別のドラマだが、ロケ終わりの世良公則を見たことがある。後日見たら、その時の店の近くが写ったから、あの時のがまさにそうだったのだな、ということもあった。「フォレスト」面白く成ってきた。明日、明後日くらいで一気に最後まで見てしまおう。有理整数環
Z で c|ab、(a,c)=1 ⇒ c|b を示すのは易しい。ax+cy=1 となる x,y があるので、これの両辺を b 倍すれば終わり。飯高茂先生名付けるところの「合コンの定理」という奴。この証明はそのままユークリッド整域でも通用する。が、U.F.D. でも同じ結論は当然言えるが、文字に起こそうとすると案外面倒だ。いや、昔学生が言ってた「脳内演習」というレベルのものだが。ぐちゃぐちゃと書いてみたが途中で破綻した。後でゆっくり考えてみる。時間があるとこういうことが出来ていい。これから呑みに行くので、やるのは明日以降。昨日書いたが、来週は東京出張だし、再来週も行けないかもしれないから、今日は行っておかないと。ちょっと物入りで手元が大分不如意だ。昨日泉社長に現金で払ったからだな。もう新年度の実験実習費が使える時期に成っている。立替払いも然るべき手続きをすれば実験実習費で処理してくれる筈だから、やっておこう。幸い銀行にはまだ金が唸ってる。明日卸に行こう。まあ東京出張は新幹線もホテルもカードで払えばいいから、現金はそんなに持ってなくてもいいけど。ということで呑んできます。