昨晩はその後松本清張原作の「点と線」の映画化したものをダビングしながら大河ドラマを見て、で「点と線」をハードディスクから消して、で今日やる「張り込み」を Blu-ray ディスクに直録りするようにしたら、取り敢えず水曜日までの録画予約は全部大丈夫に成った。ということでもう4時近くに成っていた。NHK にチャンネルを変えたらサッカーの番組がやっていたが、「キックオフまで45分」という字が出ていたので、見ないで寝ることにした。
起きたら12時半過ぎ。はま寿司で昼ご飯を食べる時間があるので、シャワーを浴びて出発。もう大切り銀鮭も鰹も無かったが、まだ大トロがあったのでいいです。で最後は大抵鰻なのだが、今日は大トロをもう一度食べることにした。でそれのせいで2000円をちょっと超えた。まあ今日は安くて2貫乗ってる皿を多めに注文したので、値段の割には沢山食べた気がした。満足。
で職場に着いたのは2時を過ぎたくらい。個研室で少々無駄に時間を使って、2時55分からゼミ。今日はまずメルセンヌ数とフェルマー数の素因数を少々効率よく見付ける話(Fn=22n+1 の素因数は mod 2n+1 で1と合同とかいう程度)をして、で章が変わって原始根の話などをしていたら力尽きたらしい。原始根であることを確かめるのに2乗、3乗、4乗 … と真面目にやっていたが、元の位数が群の位数(今は (Z/pZ)× でやってるので p-1 の約数)ということを知らないのかな、と思って本を見たらその旨のことが書いてあった。例で出たのはせいぜい p=11 の時くらいだから大したことないが、101 とかだと賢くやらないと大変だよと言っておく。昔ゼミ中に内職で 2 が mod 101 の原始根であること、5 が mod 101 の原始根でないことを手計算で試したことがあったが、ちゃんとその時は賢くやったよ。大学入試でよく整数問題が出ている所があるが、実験する時に p-1 の約数限定で済むと思うと楽だし、精神衛生上もいいと思うので、それくらい教えておいていいかも、という気がしないではない。答案にはそんなことは知らんけど偶然見付けた、とのフリをして書いておけばいいので。で5時くらいには終了した。
その後レポート問題の点検の続き。問題自体には不備は無さそうだ。この前も書いたが、同時に解答例も作っている。で気付いた。別解の一部に説明不足があるな。まあ別解だから気にしなくてもいいけど。問題自体は不備は無いし、別解じゃない方法で解けるので。でもう飽きてきたから、いつもより少し早目に帰ることにした。
7時半過ぎに帰宅。6チャンネルを見たら、宮島をタカアンドトシ、アンガールズ、国仲涼子が歩いてる番組がやってた。宮島行ったな。広島大学で学会があった時だった。広島駅から路面電車でゆっくり行って、でフェリー乗り場で偶然にも村林さんに会って、二人で山の上まで行ったり潮が引いた後で鳥居の下を歩いたりとかで、凄く楽しかった。また行きたくなった。今は広島大に知り合いがいない(最盛期は3人も知り合いがいた)ので、行くなら観光オンリーで行かないといけないが。今年岡山に行ったが、切符を買ってあったのと乗り継ぎの時間に余裕が無かったので観光を一切してこなかったが、倉敷の美観地区を回ってきてもよかったかという気がする。まあ岡山なら新幹線で1時間で、倉敷は在来線でちょっとみたいだからその気に成ればすぐにでも行けるが。新幹線の新倉敷で降りるのは多分賢くないのだろうと思うが、どうなのだろうか?いやそんな遠くよりも、京都でも滋賀でも行きたい所は沢山ある。中学校の国語で習った仁和寺(「仁和寺にある法師」の書き出しでお馴染み)とか、石清水八幡宮とか、比叡山とか。比叡山は石山から登って、歩き回った後に八瀬方面のケーブルカーで下りてくる、というのが楽しくてよさそう、と思ってるんだがな。観光じゃないが見たい映画もある。火曜、水曜は職場に行かなくていいので映画なら行けるんだが、つい呑んでしまうからよくない。今週は金曜まで Baystars は試合が無いから、水曜日は映画行くか。明日?酒を買ってきてしまったので、これから少々呑む予定で、呑むと次の日は腹の具合が悪くなるから、明日の映画は無し。
えーと、その後「Qさま!!」が始まったが、伊集院光は動物に詳しい。あと一歩で優勝だったが、ピンポイントで三浦奈保子の知識が出て勝ってしまった。伊集院光は同い年なので昔から応援してる。20代の頃の深夜放送が面白かったのを覚えてる。何者だろうと思っていたが、落語家上がりだと知ったのは随分後のこと。これからも博識ぶりを見せておくれ。
サッカー盛り上がったようだ。先制されて追い付き、勝ち越されて追い付きで、2-2のドローらしい。強豪相手の勝ち点1は充分価値があると解説者が言ってた。スポーツバーみたいな所で結構な時間までテレビを見てた人が、店で背広に着替えて出勤する様子が流れていたが、大丈夫でしょうかね。まあ気が張ってるから今日は大丈夫かな。今晩ちゃんと寝れば明日以降も大丈夫でしょう。次の試合は昼1時からだと言ってたから、平和に見られていいですな。確か日曜日だと言ってたが、来週の日曜日の Baystars の試合はナイターのようだ。ということは両方見られるか?いや、気力が続かないかな。まあその時の気分次第だが、一応両方見るつもりにはしておこう。