相対判別式や相対共役差積の計算を色々試して面白がっている

今日も12時くらいまで起きられなかった。ただそれでもシャワーをざっと浴びて弁当（また唐揚げ弁当が大量に残ってた）を買って食べてゼミ、というくらいの時間はあった。もう10時半のアラームは抹消しようか？

今日は相対判別式の残りをやって、それから整数環をちょっと拡大して分母を制限した環の話。色々問題あり。「行列式の定理より」と書いてあるが、何だか調べてこなかったり、ギャップをちゃんと埋めてない所が数か所あったり。他にも集合をいじって悦に入ってる（わけではないと思うが）所があったり。もう少しちゃんとやらないと色々大変に成るよ、と言いたいが。結局最終的に自分で色々やろうと思うと、細部をちゃんと責任持たずに書いた論文は評価されないからね。まあ小生も大分危ういことはしてきたが。ちゃんとやりましょう。4時20分過ぎに終了。

ここ数回で共役差積や相対判別式を計算する術を幾つか手に入れた。Q の (2,2) 拡大で試してみようとやってみる。Q(√m,√n) の整基底を求めた結果が本の後ろの方に出てるので、それを見て簡単そうな例を試して、SageMath で検算したり。SageMath は相対共役差積や相対判別式も計算してくれるので、有難い。一つの定理を適用するには然るべき 2×4 行列の2次の小行列式を計算する必要があるが、SageMath では A.minors(2) とすれば全部いっぺんに計算してくれるので楽。帰ってきた結果は 0 と √5 の単数倍だけだから、最大公約イデアルが (√5) であるのは明らか。というわけで相対判別式は (5)。素晴らしい。m＝－3, n＝5 の場合で試していたので、3 と 5 だけ相手にすればいいので簡単だった。博士課程に進学しない学生の修論だったら、こういうのを色々やってみるだけでもいいと思う。理論をきっちり勉強するだけで大変だし、そこそこの頁数には成りそうだ。TeX 化しておく。他にも色々やってみた。具体的な計算は面白い。抽象論だけやって面白いと思う人もいるが、小生はやはりいじってみたい。計算機を奴隷に使ったりして色々出来る。こういう勉強の仕方も面白いと思うがな。

学内のあっちこっちに冷たい水が出る機械があって、フォレストハウスに講義の1階で学生が列を作って水筒に水を入れてる。最近ウェストウィングの1階で何かやってて、柱に配管がどうしたとか注意書きが貼ってあるが何だろうと思ったら、先週の金曜日にそこに上に書いたのと同様の機械が置かれていた。フォレストハウスは講義で沢山の学生が来るからか、ウェストウィングのより一回りくらい大きい。ウェストウィングも教員研究室や学生の溜まり部屋、実験室、ゼミ室、幾つかの学系の事務室などがあるので、小さいものにする必要はないと思うが。小生は使うつもりはないので1階に飲み物を買いに降りたが、その時どこかの学科の先生と思しき人が水を汲んでる姿を見掛けた。まあ使われるでしょうな。暑過ぎる夏だ、水分はきっちり摂らないと。屋外で行動する人は気を付けてください。小生は外に出るのは講義時の建物の移動と行き帰りくらいなので大したこと無いが、それでも講義の前にはポカリスウェットなりアクエリアスなりを買っていく。座って資料を見せて済むというお気楽な講義をしているわけではないのでね。そんな大変な講義も春学期はあと2回ずつ。頑張るぞ。

ABCお笑いグランプリはエバースがチャンピオンに

昨晩も楽しかった。店長が若い頃にホテルで働いてた時の話をしてくれたが、京都賞の晩餐会の時は戦場だったそうだ。その時のメンバーに選出されたのだから凄い。その後の二次会（と言うような軽いものではないが）の時は余程のことがないと入れてくれない所で腕をふるえたそうだ。バイトの人は中学時代の同級生だそうだが、信じられないと言ってた。我々のような下々が店長の作る美味しい料理を食べさせてもらえるのは幸せだ。でワインを呑んだ量はいつもより少し少なく、帰ってきてからも暫く起きていられた。が、むしろこういう状態の方が寝不足になる。帰ってきてすぐにダウンした方がよい。元気なのは考えものだ。

ABCお笑いグランプリの音声が聞こえてきたので起きる。見るつもりではなく、野球のため。今日もリードされてる。0－1という状況。またしてもプロ入り初ホームラン献上ということをしたらしい。お優しい。が、この1点が重い。両チーム点が入らずそのまま9回へ。ライデル・マルティネスから2アウトながら2塁のチャンスを作るも、結局そのままゲームセット。3タテを食らってしまった。3試合とも無得点で、これで31イニング得点無しとか。酷いな。明後日からは横浜スタジアムで Dragons と3連戦。気付けば4位に転落していて、5位 Dragons と2ゲーム差。踏ん張らないと。

でABCお笑いグランプリを途中から見た。野球よりこっちの方が面白い。エバースがチャンピオンに成った。決勝の漫才は滅茶苦茶面白かった。まあ優勝だなと納得。関西のテレビ局が主催の大会なのに、東京周辺を走ってる東武鉄道がスポンサーについてるのは謎だ。

やはり二日続けて寝不足なので堪えらえない。寝床で YouTube を見てるとすぐダウンしてしまう。野球が負けたせいもあるが、「サンデースポーツ」を見ようという気が湧かなかった。先週は東京の選挙のため放送の無かった海外ドラマを見るために起きた。玉の輿物語だが、前回破局した。どうなるでしょうか？全6回の4回目だから、また急展開がありそうだが。

今日も暑かったようだ。一歩も表に出てないので知らないが。ゼミ室の冷房の効きが悪いので、明日の1時10分からのゼミは難渋しそうだ。デデキントの判別定理に差し掛かる辺りだし、ちゃんとしないといけない。大丈夫かな？

バウアーまたしても背信投球で、借金1に

一日おきに無茶をする生活が続いている。深夜に青春ブタ野郎が何だとかいうアニメがやってて、どうも本編があるのの劇場版みたいだが、3週続けてやっていた。CM でそういうタイトルの映画がやっていたのは知っていたが、見たこと無かった。結構刺さるセリフがあったりで、見てしまった。アニメだからといって馬鹿には出来ない。でその後どうしようかと思ったが、結局「ミラクル9」の3時間スペシャルも見てしまった。で訳の分からない時間に寝た。

野球は見ようと思って、例によってテレビを消さないでおいたが、ケーブルテレビのチューナーは一定時間経つと電源が落ちてしまう。静かに成ったので、結構寝てしまった。起きたらもう野球はほぼ終わりの時間。不愉快な展開なので、見なくてよかった。バウアー良くないな。今日も5回1/3を5失点という悪い内容。一回抹消した方がいいのではないだろうか。最高で7あった貯金を交流戦で殆ど吐き出して、昨日、今日の負けで借金1に成ってしまった。Carp、Giants にかわされて4位転落。む。明日は勝ってくれ。

寝汗を大分かいた。今日も暑かったようだ。夕刻にちょっと入り口を開けたが、ドアが熱かった。もうそういうシーズンだな。シャワー浴びてから呑みに行くか。

そうそう、近畿地方は昨日梅雨明けしていたそうだ。6月中の梅雨明けは史上初らしい。暑くなるぞ。

Z[X] が U.F.D. であることの証明は長いが、もっと長いのはいくらでもある

昨晩は本当に「昨日」のうちに寝床に入った。が、ちょっと YouTube を見るなど無駄に時間を使ってしまった。一旦寝落ちしたがまた目が覚めて、時計を見ると1時くらい。いかん、寝るぞ、ということで本格的に寝た。

最初に目が覚めたのは10時台。いい加減うな松に行きたいぞ、と思ったが、やはり起きられなかった。最終的に起きたのは12時くらい。急いで起きて出掛ける。弁当を買って食べられるくらいの時間はあったので、いつもの沢山売れ残ってる唐揚げ弁当を買って食してから講義へ。

今日は Z[X] が U.F.D. であることから。これの証明は結構大変。12pt で印刷したものが1ページ強。1時間弱これの証明を話すのに掛かった。で学生に「これくらいは長い部類に入りません」と言っておく。シローの定理の証明はもっと大変だった気がする。今日話した証明は結局既約元を分類したりとかその程度。シローの定理の群作用を用いた証明なんて、最初は何をやってるのか分からんしな。藤崎先生の代数的整数論の本を2年続けてゼミで使っているが、ディリクレの単数定理の証明のために1次形式を使って云々というのが学生がわけわからなくてうんうん唸っていたが。ああいう証明はすぐには出来ない。一生出来ないかも。それでも出来ることはあるので、頑張って素振りしましょう。ホームランは無理でも左中間真っ二つのツーベースヒットくらいは打てるでしょう。でその後商体の存在を示してる途中で時間に成った。来週はそれを完成させて、一意性をやった後、分母を制限した分数環をやる。局所化がやりたいからね。整数論でも代数幾何でも出てくるし、大事なもの。

暑いな。個研室で汗が引くまでボーっとしたり大貧民をやったり。でそれから講義ノートをちょっと直した。色々細かいミスがあったり、itemize 環境なんかを使って状況を整理した方が自分にとって分かり易いとか、$、$ で挟んでいた数式を \[, \] で挟む形態に直したり。で来週の証明を少し勉強しておこうとやってるうちに4時半。

4時40分からゼミ。今日はコブリッツの本。まず n が合同数 ⇔ y²＝x³－n²x の Q 上の階数が正、ということを示す。これに使う補題が結構大変。さっき言った通りそんなに長い部類には入らないが。Torsion の分類はしてあるしね。途中訳本には上田勝先生と浜畑芳紀さんによる詳細な訳注が付いてるが、学生は訳本でなく原著を図書館で借りて読んでるようで、脚注の存在に気付いてないという事態があった。原著には結構本質的なミスが幾つかあるようで、両方見ておいた方がいいと言っておいた。大学院行きたいとかその後のことも考えたら洋書に触れておくのは悪くないが、数学をきちんと出来るのも大事なので、両方見ておいて、と言っておく。で章が改まって楕円曲線の L 関数の章へ。今日は合同ゼータ関数についてちょっと。書いてあることを全部埋めてこようとするのは立派だが、地の文に書いてある凄く難しいと思しきことも考えようとしてる。小生のような不真面目な者でも色々勉強したり話を聞いたりしているので、すぐ手が出そうなことかそうでないことは多少分かるように成っているが、学部4回生ではそうもいかないのだろう。修業してください。で7時半前には終了。

その後部屋で演習問題を web に上げるか検討したが、Z[X] の話と商体の話の途中では問題が揃わず、来週 Chinese remainder theorem とか色々やってから上げることにした。で局所化に関する問題があったので考えてみる。秘蔵の代数学問題集にも出ているので、それを見ながらウダウダと。変な例が欲しいな、ということになり、極大イデアルでない素イデアルを見繕わないと、となると、一番いじってる代数体の整数環では無理で、Z[X] くらいで考えないと。(X) は Z[X] の極大イデアルでない素イデアルだ。後で考えてみよう、ということにして、程々にしてやめる。

今日から野球が再開。Baystars はというと、途中見たら0－1リードされてる。もう暫くして見たら0－4。まじか。結局そのまま負けて、またしてもライデル・マルティネスから点を取ることが出来なかった。Tigers は途中リードしていたが、帰り際に見たら追い付かれてる。お！すき家で晩飯を食べ終わって見ると、Tigers 負けた！Carp も負けた。どちらもお付き合いがよい。もう交流戦ではないので、自力で上がらないと駄目。ということで、明日、明後日は勝ってくれ。

a＋mZ＝b＋mZ ⇔ a≡b (mod m) を示すのにかなりの難渋

どうも水曜から木曜に掛けてもやってしまう。昨晩は4次正方行列で固有値の片方の重複度が3であるのが欲しくて、手近にある本を片っ端から漁る。すると、大学生向けのチャート式に出ていた。ちゃんと数研出版から出ている。マセマとかいう所から出てるのシリーズは色々怪しいらしいが、チャート式は加藤文元氏という数学の世界でも名の通った人が責任を持って書いているようで、信頼出来る。買っておいてよかった。勿論計算して確認はする。で割と基本変形を素直にやればちゃんと1次式の3乗が括り出せた。固有空間も求めて、TeX 化して、とかやってるうちに例によってどんどん時間が過ぎていく。今日は4時40分までに職場に行けばいいという変なスケジュールなので、寝る時間はたっぷりあるのだが、つい下らんことをやってしまう。TeX の新しいクラスファイルをここ数年で幾つも見付けて、それに合わせてソースの書き直しとか。本当にどうでもいい。Emacs と似たキーバインドのエディターで編集していて、Ctrl キーを多用するのに日本語キーボードは変な所に Ctrl キーがある。CapsLock キーなど使わんぞ、ということで CapsLock と Ctrl を交換してある。で Ctrl d で削除を大量にやっていると、大抵左肩が痛くなる。今朝もそうで、そうなって少しで止めた。もう結構な時間。

雨だぞ雷だぞ警報だぞと脅されていた通り、凄いことに成っていたが、気にせず寝ていたが、寝過ぎるといかんので、例によってテレビを付けていた。で起きたら結構ヤバい時間。いかん、と出掛ける。まあ大丈夫なので安全運転で。生協で弁当を買って食べるくらいの時間はあった。もうちょっと余裕があればキッチンカーで温かい唐揚げを買えたんだが。掻っ込んでゼミ室へ。

先週から合同式の章に入っているが、まだ簡単だった。今日から本格的に難しく成る所。a＋mZ＝b＋mZ ⇔ a≡b (mod m) を示さないで流そうとするので、止めてやらせる。すると案の定と言うか何も出来ない。m＝3 の時の例が直後に出ていて、それを見て「そうだよね」と思ってやってこなかったのだろうか？まず集合が等しいことが示せない。等しいどころか部分集合であることを示せない。こういうのが出来ないというのは勉強不足と言うか演習不足と言うか他に言葉が無い。何事も「そうだよね」で済ませてきたのだろうか？そりゃ例題の解法を覚えてチャチャっとやれば単位は取れたろうが、そうすると卒研で落とし穴が待っているのだ。1ページ進むのに優に1時間強。正直こうなるとは想像してなかったろう。その後も色々怪しいので、徹底的にやった。7時過ぎまでやったが、数ページ進むのがやっとという感じだった。この先は集合だ写像だとガンガン出てくるから、心しておいて、と脅しておく。

今年の卒研生は4人だが、2名はどこかのゼミで抽選漏れで第2志望で小生のゼミに回ってきた学生。代数ちゃんとやってないんだろうという気がしたので、昨年度のレポートを見てみると、1人は何と代数学Iも代数学IIもレポートを出してない。そうなのか。第2志望とはいえ、何を考えて小生のゼミを選択したのだろう？整数論は何かパズルみたいで楽しそう、ということなんだと思うが。高校の教科書に出ていることや大学入試問題と実際の整数論のギャップは大きいのだ。代数をちゃんとやってないということは集合をいじってどうこうというのは本当に不慣れである可能性がある。大変だぞこれから。もう一人のレポートを見たが、Q(√m,√n)＝{a＋b√m＋c√n＋d√mn｜a,b,c,d∈Q} なので拡大次数は4、という解答。いやいや、示さないといけないことが沢山あるでしょ、と突っ込んでしまった。3回生までの講義で何が問題で何を示さないといけなくて、ということが分かってる筈だと思うんだが。色々仕入れた情報や数セミなどの記事を見ると、ギャップは沢山残しておいて、そこを埋めることに自力で気付かないといけない、と書かれているが、それが出来るのはあなた達が賢い人だから。凡人はちゃんと見せてくれないと分からないんだよ、と思っているので、小生は講義では徹底的にギャップを埋めている。ノートのページを食うだけとウンザリしている学生はかなりいるようだが、一部から感謝されているので、続けている。前に院生が写像が単射であることをロクに示せなくて、正直うんざりしたことがあった。a≠b ⇒ f(a)≠f(b) とか示そうとして、即止めた。f(a)＝f(b) ⇒ a＝b を示す方が圧倒的に楽な場面が多い。そういうのを分かってないのは、経験が不足していると断じざるを得ない。講義で手本を見せられてないから出来ない、という面もあると思う。兎に角、定年まで徹底的にやります。

寝不足だし、渋滞しないであろう時間まで待って、その後早目に職場を出た。昨日「ミラクル9」の3時間スペシャルを最低画質で、「歴史探偵」を標準画質で録ったので、ハードディスクがカツカツである。「緊急取調室」のスペシャルを標準画質で録ったものを前に見付けたので、急いで帰って Blu-ray にダビングしようというのが急いだ理由の一つ。9時ちょっと過ぎに着いた。でテレビを付けると中森明菜が歌ってる映像。「サザンウィンド」だったが、年齢を見てビックリ。18歳だったか。大人っぽかったな。彼女は今年還暦だから、42年も前。小生は中三か高一だな。時は流れたな。でダビングをセットして続きを見る。渡哲也が吉永小百合のピアノ伴奏で「くちなしの花」を歌っていた。渡哲也が「てっちゃん」と呼ばれていた。その後キャンディーズがピンクレディーの歌を歌っていて、そこにピンクレディーの二人が合流して5人で歌う映像。豪華だ。昭和の映像が流れると嬉しくなるのは歳を取った証拠だな。もう飽きてるだろうが今年は昭和100年。昔の映像が流れる番組が多い。またかと思いつつ見てしまう。テレビ局の思う壺だな。

今日は早目に寝よう。明日は「代数学I」の講義とゼミがある。明日はコブリッツの本の番だな。まだ保型形式に入っていないので分かる。保型形式をもうちょっと勉強しておけばと今更ながらに思うが、もう今から勉強してバリバリ研究する気力は無い。考えたいことはあるので、チマチマやって論文にしよう。

リンクスクエアの売店で弁当を売っているのを発見して、食事を済ませてから講義が出来た

どうも夜更かししてしまう。「ロンドンハーツ」は見ないつもりだったが、TeX 打ちが終わってないので、流していた。するとビックリ。ロンドンブーツ1号2号が解散するそうだ。で色々と話していて、ザキ山とフジモンがいると悪ふざけを始める。淳は「田村淳」でいけば問題無いが、亮はどうするのか？と。田村亮と言えば田村正和の弟で俳優をやっている人とどう区別するのか？と。亮は本名だそうだが、田村正和の弟の方は芸名らしい。調べてみると「幸照」というそうだ。悪ふざけとは亮に「幸照」と名乗ったらどうだと薦めたザキ山とフジモンが亮のことを「幸照さん」と呼び続けること。悪ふざけが過ぎるな。で「キョコロヒー」が始まる前には寝床に入ったが、今度は YouTube を見始めてしまう。何やら数学科の理想と現実みたいな動画があって、小鳥みたいなのが数学科の授業に出てて、微積分の講義の1回目でデデキントの切断が始まって呆然、線形代数は前期を乗り切ったが、後期に成ってベクトル空間が何のかんので呆然、という内容だった。面白い。何でも現実は違うもので、畏友K君（故人）が情報理工学部の演習の時間で学生が言っているのを聞いたそうだが、情報理工学部ってプログラミングをバリバリとやって、コンピューターグラフィックスみたいなのが画面を踊っているのと思っていたそうだが、実際は数学だなんだと嫌気がさしているらしい。物理は実験が好きで始めたのに、大学ではやれベクトル解析が何だとか微分方程式がどうしたとかそんなのが延々続く。嫌なら辞めれば？と言う程簡単ではないよね。予備校だ何だと大枚はたいて、入試の検定料だ入学金だ授業料だと大金払って、はい辞めます、とはね。まあ我慢してやってれば面白いことも出てくるから。いつも思うんだが、バットを振るまでには体づくりをしなくちゃいけなくて、試合に出るには守備練習もするし、やっと試合に出られるとなっても内野の頭を越すのがやっとでは面白くない。大谷のようなどでかいホームランを打ちたかったら、基礎練習はしっかりしないとね。

で起きたら12時くらい。ぎゃ！シャワーをチャチャっと浴びて出勤。12時50分過ぎに職場に着いて、もういつもの通りカレーパン1個買って齧ろう、と思ったら、いいことを発見した。リンクスクエアの売店で弁当が売ってる。隣が食堂なので、机を一箇所占拠して食べるくらいの時間はあったので、食べて、少しノンビリしてから講義室へ。

今日は「数学III（線形代数）」。あと3回で相似、固有値・固有ベクトル、対角化、ケーリー・ハミルトンの定理をやればよく、時間があり過ぎる。が、水増しの手段は幾らでもあるので、今日は異なる固有値に対応する固有ベクトルが1次独立であることと、異なる固有値 λ₁,…,λ_r をとって、(λ_i－A)E＝0 の基本解を i＝1,…,r まで全部取って並べると1次独立、ということまで示した。数値例が多いと嬉しいので、沢山挙げておく。それで時間を使ったわけだが。来週は対角化可能かどうかの判定法とか話して、またしても例をドバーっと挙げる予定。正方行列の冪乗（累乗？）に応用出来るとか挙げればまあいい感じでしょう。ケーリー・ハミルトンもまた話すことがあるので、大丈夫。そもそも定理の証明が結構時間食うだろうしね。シンプルな見た目と証明のごつさの違いを味わってもらった方がいいだろう。暑いのには「暑熱順化」と言う言葉があるくらいで、徐々に慣れないと大変。数学も難しいものに順化していきましょう。ジョルダン標準形の存在証明はもっと大変だしね。去年の卒研で1ページにも満たない証明を「くそ長い」と言っている学生がいたが、大したことないよ。

個研室に戻って、汗が引くのを待ってから今週の講義資料を直して、その後来週の作戦練りを少々。4時50分から短時間で済むが大事な会議があるので、談話会室へ向かう。まあいいんじゃないでしょうか。フランス人の名前は読めないな。次回は再来週やるそうだ。まあ水曜日は職場に行ってるのでいいけど。

それからまたちょっと線形代数の続き。対角化可能かどうかの判定だったら固有ベクトルは求めなくてよく、λ_iE－A の階数の総和を取るだけでOKなのだが、いや、そういう細かいことは知らなくてもいいでしょ、固有ベクトル求めてほら足りないよね、でいいので、そう教えようと。勿論 rank の総和の方もやるけどね。

はま寿司で九州フェアをやってるので、いつもより少し早目に職場を出て、8時頃に京滋バイパスと国道1号が合流する辺りの店へ。まだそれくらいの時間だと結構混んでて、待たされた。8時半を過ぎて漸く順番。大切り藁焼き鰹たたきは売り切れ。「本日完売」と書いた物と「完売御礼」と書いた物があったが、鰹は前者だったので、また近い内に昼に行くことにして、長崎・佐賀の生鯖、鹿児島の活〆カンパチ、鹿児島産そでいか等々。いつもの通り2000円程度食べて、ご馳走様。

9時半を過ぎるともう国道1号は混まない。10時を過ぎると工事が始まるが、まだ大丈夫だった。10時前に住処に着いた。今日は「ミラクル9」が3時間で、もうちょっと早く着くと放送が終わってなかったから、丁度よかった。3時間の結果だけ見るというのは何とも馬鹿臭いからね。近い内見る。で「報道ステーション」ではのっけから吐き気のするようなニュース。大越キャスターの声音が尋常じゃなかった。教師は聖職者と言われてるが、今日捕まった奴らは「生殖者」だ。いや、それも満足に出来ないからああいうことをやったんだろうが。気色悪。その後今日の大雨のニュースなど。近畿は大したこと無かったようだが、お隣の岐阜は凄かったようだ。明日は近畿もかなり降るようなことを言ってた。気を付けないと。一時にドバーっと降ると言ってた。木曜日は変な時間から用事だが、雨の降ってない時間に出掛けないとな。後で調べておこう。

夕刻からちょっと長目の会議（住処からオンラインで参加）

資源ゴミの整理は何とも面倒で、火曜日は早起きしなくていいこともあり、つい呑みながらやってしまう。ポストに届いてるマンション売れ売れ系の郵便物や、地元の広報誌に挟まってるどうでもいい宣伝チラシなどをまとめて、呑んで出たアルミ缶などを分別したり。段ボールを処理するのは面倒なので、やめた。また2週間後にやろう。で飽きたので、昨日書いた逆イデアルのことなど。答が分かってると目標があっていい。で何とか証明出来た。講義だったりゼミだったり修論だったりで色々イデアルを計算した経験が役立った。単項イデアルでないイデアルの逆イデアルを求めたのなんて初めてだ。抽象論勉強するのも面白いが、色々いじってみないとやはり面白くない。代数や整数論は抽象的かもしれないが、いじれるようになると面白い。幾何の先生が「幾何は絵を描けばいいですけど、代数の人ってどうやって考えてるですか？」と聞かれたことがあるが、正直小生そんなに難しい代数はやらないので、返答に窮した。皆さんどうやってるんですか？と聞きたいのはこっち。群論とか可換環論とか圏論とか何を考えてるんだろう？この前ちょっと位数の大きい群を考えたが、Q のガロア拡大のガロア群だったから、中間体を考えればよかったので、まあ整数論ですよ。

で変な時間に寝て、グダグダと寝たり起きたり。夕刻からの会議に間に合えばいいので、変な時間まで寝た。で4時50分から会議。職場に行かなくていいのは有難い。色々宿題を出された。まあ大急ぎでやらないといけないものはないので、ちょっと経ってからやればいいが。それに、困ったら経験者に相談すればよいので、まだ気は楽。去年やってた仕事は学会内に相談出来るのは一人だけで、メールを書いて質問という気楽なことが出来なかったので大変だった。今年は去年やってた人に堂々とメールを書ける。困ったら聞きます。

会議は6時10分過ぎに終わった。今日は Baystars は試合が無いので、慌ててチャンネルを変えなくてよくて、会議中もそんなに時間を気にしていなかった。長かったが。今日は交流戦の初日に中止に成った Marines vs. Giants だけあるのだったな。どうなったろう？もうすぐ「報道ステーション」のスポーツコーナーだから、そこで見よう。ネットで情報を仕入れるのはやめておく。Giants が負けてますように。

「天久鷹央の推理カルテ」なるドラマがやっているのを知っていたが、いつもの火曜日は野球を見ているので、一回も見たこと無かった。今日は最終回だそうだ。見てみたが、結構面白かった。最初は橋本環奈演じる主人公が偉そうで嫌な感じだったが、段々人間臭くなってきて、患者に寄り添ってる感じがよかった。最初から見たら面白かったかもな。しかし「特捜9」も「いつかヒーロー」も録画するだけして一話も見てないから、録っておかなくてよかったな。日曜10時15分からのドラマは7月6日から新番組のようだが、見ようかな？面白そうだが。野球が盛り上がってくる時期だからな。ハードディスクがかつかつだから、何か見て余裕を作らないと。「歴史探偵」とか幾つか結構高画質で録ってある番組を Blu-ray に焼けばいいんだな。が、焼くと見なくなってしまうので、見てから焼くか。今日は眠いから早目に寝るので、明日以降。幸い今日の「ロンドンハーツ」は面白くなさそうだから、「相席食堂」が終わったら寝よう。

などとしていていたら交流戦の結果をやってくれた。Giants 負けたぞ。よしよし。残念ながら交流戦最下位は Giants じゃなく Swallows だった。これでセ・リーグの順位は首位 Tigers、3.5ゲーム差で Baystars と Carp が2位タイ（貯金は僅か1）、4位が Giants（借金1）、5位 Dragons（借金5）、悲惨なのが最下位 Swallows で、借金は何と24。Tigers が38勝、Dragons でも31勝してるのに、Swallows は僅か19勝。酷いな。オスナ、サンタナはそこそこ頑張ってるようだが、村上も塩見もいないからね。規定投球回投げてる投手がいない。と言っても、セ・リーグで規定投球回投げてるのは13人しかいないが。高津は休養させられちゃうかな。日本一に成ったのはほんの数年前だが。金曜日からリーグ戦再開だが、Swallows は Tigers と。叩いてもらわないと困る。頑張れ。いや、Baystars は落ち目の Giants をやっつけないと。明日、明後日は平和だ。色々やろう。