昨晩ちょっとぐちゃぐちゃと計算してたら色々示せた。が、途中で福岡で2年前に喋ったのの報告集に書いた証明に無駄があることに気付いてしまった。実二次体の基本単数のノルムが1であることを仮定しているのに、「Nk/Q(v)＝－1の場合」とか残ってて、阿呆この上ない。まあ雑誌に載った論文に間違いがあることはよくあることで、気にしても仕方ない。論文に載せられる結果に成るかどうかは不明だが、もうちょっと考えて、論文にしたら無駄の無い証明を載せよう。でそんなこんなしてる内にまた朝に成っていた。
で起きたらもう午後。冷凍のパスタを温めて食べながら先週の「ゴチバトル」を見たり。途中凄い音で雷が鳴っていたが、表を見ると相当な雨降り。今日は降ると正木さんが言ってたな。今日の京都は38度くらい行くと言ってたから、大気が不安定だったようだ。あ、昨日日本で一番気温が高かったのは大津らしく、今日の大津は昨日よりも気温が高かったらしい。大津市の観測史上最高気温らしい。草津も似たようなもんだろうな。明後日は職場に行かないといけない。猛烈に暑いらしい。嫌なこったな。保健センターに行った後3時半から会議で、2時半くらいには保健センターに行った方がよかろうから、ウェストウィングの近くには停められそうもない。駐車場から歩くのを考えるとうんざりする。まあ仕方ない。
今日は野球が無いので、「帰れマンデー見っけ隊！！」を見ながらボーっとしていた。築地を歩いていたが、魚が旨そうだ。煮付けが美味しそうだったので、食べたくなった。大戸屋あたりに無いか？と思って大戸屋の店舗を検索したが、一番近いのは一里山のフォレオだ。鯖の味噌煮はあったが、鰈の煮付けのようなものは無さそうだ。近所にまだ行ったことが無いがその手の料理を出してくれそうな居酒屋（なのかな？）があるから、今度行ってみようか？生魚系のものでいいならはま寿司だな。水曜日ははま寿司に行ってから職場に行こうかな。
昨日書き忘れたが、りくりゅうが婚約したというニュースがあった。聞いた瞬間、まあそうだよね、と思ったが、当人曰く驚いたというコメントが少なかったのにビックリした、だそうだが、まあ世間の人は皆当然の帰結と思っていたようだ。こういう目出度いニュースはいい。日光で特急に保線院が撥ねられたとか、ヨーロッパの熱波で何人死んだとか、関東で未明に大きな地震があったとか、何か暗い気分に成るニュースが多い。気分を明るく保つにはいいニュースがあるといいね。
あ、明日は資源ゴミの日だ。今から分別作業をしないと。あ、生命保険の件で何か返送せよと言ってきてたな。面倒だが今から両方やるか。
