昨晩は滅茶苦茶眠くて、ブログの更新どころではなかった。「これ余談なんですけど…」とか一切見ないで寝てしまった。が、5時くらいに目が覚めてしまって、寝る前に今日大学に行く約束を学生としてしまったので、起きることにした。シャワーを浴びてから11時くらいに出発。
が、面倒なことが起こった。京都東インターの手前に「京都東－瀬田西 事故渋滞7km」の表示。まあ大丈夫か、と思って料金所を通って、暫くは大丈夫だったが、滋賀県に入る前に渋滞が始まった。寝不足だが集中力を切らすわけにはいかないので、必死に運転。全然進まない。後ろの車の様子をミラーで見ると、スマホをいじってる。おかまを掘られたら嫌だな、と思って心配になる。カーナビの情報を見ると、大津インターまでもそこそこ時間が掛かりそうで、大津－瀬田西の5kmちょっとに1時間も掛かるいう情報。これは嫌だ。我慢して大津インターまで辿り着いて、そこで高速道路とはサヨナラした。前の車も後ろの車も大津で降りた。後ろの車が恐いので先に行かせた。下道は大して混まず、順調。やっぱり最初から下道にすればよかった。瀬田西インターの脇を過ぎた辺りで名神が見えるのだが、渋滞してなかった。瀬田西を過ぎれば大丈夫だったのかな。ただ、途中で京滋バイパスのインター近くを通った時に、渋滞は京都南－瀬田西に拡大していた。やはり早目に高速道路から離れてよかった。で昼飯ははま寿司にしようと思って、混まない内に乗り込みたかったが、駐車場はそこそこ車がいて、これは待たされるか？と思ったが、お一人様でカウンター席でいいからということで、待たされずに入れた。ふなごやの大将が言ってたが、最近米の値段が滅茶苦茶高いらしく、そのせいかなのかそれとも気のせいなのか分からないが、シャリが少ない。具がシャリから滑り落ちてるのが幾つかあった。この前も書いた通り多少値上げされてたのと、シャリが少なくなったからなのか腹が膨らまず、2000円をそこそこ超えてしまった。店を出て大学に向かう時に鰻屋の前を通ったが、そっちにすればよかったかな、と後悔。
職場に1時ちょいに着いて、ちょっと一息ついてから学生の修論のチェック。色々気に成る。用事があって3時くらいに来ると言っていたので、その前に駐車場の利用更新とか色々野暮用を済ませる。で3時きっかりくらいに現れた。渡してから少し考え事。で1時間ちょっと経ったら、その学生が質問に来た。何かが奇数であることを示すのがうまくいかない、というかどうやったいいか分からない、とのこと。奇数であることを示すのに mod 2 で 1 と合同なことを示す、というのは経験が無いと思い浮かばないか？1 と －1 が mod 2 で合同とか、mod 4 で 3 と合同な整数から 1 を引いて 2 で割ると奇数とか、分かってしまえば何でもないことばかりなのだがな。最後の奴は、平方剰余の第1補充法則と相互法則に出てくる (p－1)/2 をどう捉えてるか、ということだろう。別の学生だが、第2補充法則を適用するのに、本当に (p2－1)/8 を計算した時は本当に頭に来た。定理が出てきた時に mod 8 で分類すればいいんだよと言ったし、講義でもそう言ったのだが。復習したりちゃんと考えたりしてないんだろうな。どう成っても知らんぞ。
その後考え事の続き。何か変だなー、と思って悶々とするも、何が変なのか分からん。偶数だと仮定しないのに偶数だという結論が出てきてしまう。でちょっと部屋を離れてみたら、原因が分かった。二つのものの一方を2倍するんだが、2倍しない筈の方を2倍してただけ。ガッカリ。まあちょっと気分転換に立ち上がるのは大事で、小生の1999年の論文のキーに成ることも、缶コーヒーを買いに行く最中に気付いた。一つのことに凝り固まってるとよくないね。気分転換は大事。行き詰ったら寝ましょう。ということで、随分前から気に成ってたことを完全解決出来た。いや、別に論文の種に成るようなことではないのだが。まだこっちに来る前に後輩のゼミに出ていたら、「同様に」と書いてあることをちゃんと同様かどうか試しておらず、足立先生に叱責されていたことで、気に成ってはいたんだが、中々考える時間が無かったので。ついでにもう一つ考え事。こっちも分かったような分かんないようなことがあったので。ちゃんとペンを持って紙に1行1行書いてみたら、やっぱりおかしなことを考えていたことが分かり、こちらも完全解決した。で気付けばもう9時半。いかん、帰るぞ。
帰る前にエポックに寄って宿泊予約を、と思って寄ったが、フロントの人が表に出ようとしているところで、で宿泊予約だと言ったら、「予約は7時半までなんですが」と言われてしまった。が、低姿勢に出たからか、渋々ながらやってくれた。申し訳ないです。帰り際にもう一度詫びておいた。次からは気を付けよう。でもう遅いので、かがやき通りのすき家へ。10時を過ぎると深夜料金を取られるが、9時59分に滑り込んで注文出来た。よかった。途中雪が降りだしたが、そんなに寒くない。凍結防止の警告音は鳴らず、外気温を見たら5度あった。まあこれくらいなら我慢出来る。来週は最高気温が4度とかいうとんでもない日がある。業務に支障が出なければいいが。道路凍結とか、電車、バスの遅延とか無ければいいが。まあそういうことがあっても大丈夫なように宿泊予約を取ったんだが。でエポックは原則2連泊しか出来ず、仕事は4日やって1日休んでもう2日、ということなので、南草津駅近くの東横インに2泊、と思って見たら、「空き室無し」の表示が続々。これは無理か？と思ったら、少し高いがツインの部屋に一人で泊る、というのが一室残っていたので、急いで押さえた。東横インは会員に成ってるので、簡単に予約出来て、少し安くなる。嬉しい。これで前半戦4日間は大丈夫。
昨日は横綱誕生のニュースがあったが、上に書いた事情で更新しなかったので、今日書いておく。豊昇龍の叔父は朝青龍だが、朝青龍の横綱昇進と同じ日に昇進したというのは面白い。足立先生が twitter に書いておられたが、朝青龍は品が無かったので、そこは真似しないように、と。見た感じではいい人のようだから、まあ大丈夫かな。
さっき「報道ステーション」を見てたら、バウアーの Baystars 復帰が決まったと言ってた。信じていいものかどうかと思っていたが、さっき球団の公式のホームページを見たら、「2025年シーズン選手契約について」というのがニュースのコーナーにあって、つついたら契約したと出ていた。バウアーのコメントも出ている。一安心。サイ・ヤング賞の受賞経験があるが、沢村賞も是非取りたいとのこと。そうしたら優勝かな。3位のくせにとか、リーグ優勝してないくせにとあっちこっちで言っている。監督もリーグ優勝出来なかったのはやはり悔しいようだし、来年は誰にも怒られないような結果を残しましょう。バウアーが一昨年くらいやってくれれば。あ、防御率が2.76だったのは正しかったようだ。球団のページに出ていた。
さて、寝不足だが、諸事情でちょっと起きていたい。まあ2時か3時には寝るけど。呑まないし。土曜日に呑んだら暫く禁酒だ。色々忙しい。成績付けは今月中には終わらないことが確定してしまった。仕方ない。それが済んでも、学生の修論が片付くまでは落ち着いていられないな。明日も大学に行った方がいいんだろうか？まあ起きた時間と、学生からの要求に依るな。数学をやる時は人に話すのもいいことだし。住処で一人悶々とやるのはあまり良くない。分からないことが分からないで質問して片を付けるのも一つの方法。勿論大して考えもせず聞くのは考え物なところはあるが。まあバランスの問題よ。締め切りまであと2週間よ。あまりノンビリしないでな。グレードの低い論文と発表で恥をかくのは己だということをお忘れなく。
