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

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

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

今日は「数学III（線形代数）」。あと3回で相似、固有値・固有ベクトル、対角化、ケーリー・ハミルトンの定理をやればよく、時間があり過ぎる。が、水増しの手段は幾らでもあるので、今日は異なる固有値に対応する固有ベクトルが1次独立であることと、異なる固有値 λ₁,…,λ_r をとって、(λ_i－A)E の基本解を 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 をやっつけないと。明日、明後日は平和だ。色々やろう。

a∈I ⇒ 1/a∈I－1 は嘘なのか

寝坊した。二日続けて寝不足だったのに、結構遅くまで起きていた。で寝床に入っても中々寝付けなかった。夜中に成ると元気に成る。で起きたらもうゼミには間に合わない。飲み食いの時間を惜しめばちょっとの遅刻だが、空腹でゼミは大変なので、ちょっと許してもらうことにして、生協で弁当を買って、で遅れて開始。今日は相対判別式の話。F⊂K'⊂K の時に相対判別式がどうなっているかという定理の所で、相対判別式が (1) （まだデデキントの判別定理をやってないので、（狭義）不分岐拡大とは言えない）の時に root discrimant が不変であって、ミンコフスキーなり Odlyzko なりの判別式の（もしくは root discrimiant の）下界を表す式に矛盾する、とやって色々非存在の定理を示した話などをしておいた。他にも F⊂K の時に d(F)｜d(K) とか。いや、もっといいことは言えるが、まあそれくらいで。で2時間強やった。いや、遅れていかなければもうちょっとやれたが。申し訳なかった。

その後部屋でちょっと計算。逆イデアルのことがゼミ中にちょっと分かってないことが判明したので、考えてみる。気に成ったことその1は前に示して TeX 化してあった。「30年前のことなら覚えちゃいるが、昨日のことは忘れたな」だかなんかダウンタウンブギウギバンドの歌をもじった老人呆けの人を馬鹿にするネタがあったが、最近それを実感するね。で他に TeX 化してあるものを見たが、a∈I ⇒ a^－1∈I^－1 と書いてあるのがどうも嘘くさい。SageMath は普通にイデアルを使ってるつもりでも Fractional ideal と表示されるから、分数イデアルも問題無く使えるだろうということで、K＝Q(√－5) にして、I をいつもの (2,1＋√－5) として、I^－1 に（SageMath では 1/I と打てばよい）に 1/2 が入っているか確かめたら、False と返ってきた。意外だがそうなのだな。(a)^－1＝(a^－1) だからね。知っているようで知らないことってあるね。小生何でもコンピューターにやらせて、それを納得いくようにしたいという勉強の仕方をしてきた。そうこうしているうちに楕円曲線とか色々いじれるようになったので、どんどん実験しないと。そういうこと無しに出来るほど天才ならよかったが、もう今更無理。出来る範囲で残りの研究人生楽しまないと。

今日は降水確率100%だったが、出掛ける時は少し青空が見えていたし、帰りも地面が大して濡れてない。ほんまに100%か？と思ったが、車は濡れてた。降ったのかな、やはり。で住処に着いて30分くらいボーっとして、ちょっと表に出ると結構降ってた。金曜日まで毎日雨、というのは本当らしい。が、用事が済むと止んでた。何なんだか。まあ降ったから高すり確率が高いのは嘘じゃなかったんだな。

帰ってきてテレビを付けたら、厳島神社でロケをしている映像が流れてた。厳島神社行ったな。広島大学で学会があった時に。路面電車で港まで行って、そこからフェリーで渡る。でそこで偶然にもM林さんに会って、一緒に宮島を散策した。途中休憩に入った店に小関先生（M林さんの当時の同僚の大先生）がいてビックリしたな。帰りは潮が引いていたので、鳥居の真下を歩いた。小早川隆景が陶軍に味方に来た九州の大名だと嘘を言って、鳥居の真下を船で通ったという逸話を思い出して、ちょっと英雄に成った気分を味わえて楽しかった。また行きたいな。

明日は月2回の資源ゴミの日だった。ゴミ出ししている時は雨が止んでて欲しいが。今回は曜日の巡りがいいので、次の資源ゴミは2週間後だが、3週間空くこともある。そうすると段ボールが大量に出ている。まあ今晩は少ないだろうな。ゴミ捨て場は各自の部屋で開けられるので、閉めておけば晩のうちに出せるのは有難い。前住んでた所は京都市がゴミを収集していなかったので、365日24時間いつでも出せた。しかも京都市の有料のゴミ袋を買わないでよかったし。まあ今の住処の方が冬は床暖房だ風呂暖房だとあるのでよっぽどいいが。さ、やるか。

酷い試合だったが、昨日とは違う意味で盛り上がったろう

最近はすっかりワインづいてる。あんなもん渋いだけじゃんか、と前は思っていたが、段々分かってきた。酒じゃないが、コーヒーも苦いだけだという印象だったが、今ではブラックで飲んでも甘いと思うことがあるからね。まあピーマンは未だに苦くて食えないが。でろくに寝てないのに、元気に呑み続けてきた。楽しかった。卒業アルバムを見ても店長はすぐに顔が分かるくらい変わっていなかった。何で店に卒業アルバムがあるのか、と思ったら、時々同級生がお客さんで来るらしく、その時に色々盛り上がるのに使えるのだとか。成程。高校の卒業アルバムは実家を取り壊す前に見付けることが出来なかった。勿体ないことをしたな。中学の時のはあったが、中学の同窓会は多分無いだろうから、いいんだけど。親父殿が死んだら部屋にある諸々は処分するだろうから、大事な物はキープしておかないと。

で帰ってきて少し経ったらダウンした。例によってテレビを付けっ放しだった。で2時過ぎに野球の音声が聞こえてきた。Tigers vs. Hawks だが。いつもの通り中々起きられない。音声がゴルフに変わったので、Baystars vs.  Marines を見るために起きた。でチャンネルを合わせると、Marines の得点が10。え？と思ったら何と Baystars の得点は9。何て試合をしてるんだ。バウアーは1回に3ランホームランなどで5失点。2回も失点し、途中で降板と最悪だった。1回表終了で0－5と最悪の展開だったが、すぐ裏に3点取り返したがその後も点を取られ、3－10までになったようだが、そこから筒香のホームランなどで1点差にしたらしい。が、そんな凄い試合も見始めたら別の試合のようになり、Baystars は颯、伊勢、ウィックが好投。ウィックは8回、9回と投げたが、8回は三者連続三球三振と凄いものを見せてくれた。9回も三者凡退に打ち取った。Baystars の攻撃は8回は1番から、9回は4番からだったが、あっさり打ち取られてゲームセット。6回から無安打だったらしい。まあ仕方ない。よく追い上げました。昨日とは違う意味で現地は盛り上がったろう。交流戦は4つの負け越しとよくなかった。でここ2週間の成績は3勝9敗。が、Tigers とのゲーム差は3.5と開いていない。交流戦のセ・リーグのトップは Carp で9勝9敗。Carp が今日負けてたらセ・リーグは全チーム負け越しと酷い結果に成る所だったが、まあよかった。交流戦優勝は Hawks。開幕5連敗スタートも交流戦の勝ち越しは7で、パ・リーグ3位に浮上した。やはり力のあるチームは違うな。

今日は東京で選挙があったようで、7時からのNHKのニュースは短縮バージョン。大河ドラマが7時15分からで、その後また選挙の番組。「サンデースポーツ」も10時半までの短縮バージョンで、その後また選挙の番組。海外ドラマの放送が今日は無いと先週テロップが出てたな。まあ大事なことだからね。自民党は大惨敗するでしょうか？

大貫101球完封勝利で、2度目のマダックスを逃す（完封勝利は2度目）

結局またほぼ寝てない。一日おきに無茶苦茶寝ては寝ないを交互にやってる。いけないな。何をしていたかと言うと、また下らん計算をしたりとか。昨日の「座王」も見た。竹上アナが大暴れ。99勝してから10連敗くらいで、先に100敗してしまった武将様ことミサイルマン岩部が竹上アナの代わりにアシスタントをやらされて、1勝出来ない岩部を嘲笑うかのごとく勝ちを重ねた。結末は書かないよ。見なかった人は是非 TVer で見てくだされ。「座王」を一度も見たことない人も是非。

11時過ぎに近所で用事があったが、ちょっとだけ寝て、気付くと佐々木蔵之介の声が聞こえてきた。いかん、11時や。急いで出掛ける。暑さはそうでもないか？と思ったのは一瞬だけであっと言う間に暑くなってきた。用事を済ませたら大抵なか卯で親子丼なのだが、なか卯まで戻るのが嫌で、松屋で済ませてきた。南草津の松屋と松のやの併設してる店によく行くが、大抵松のやメニューなので、松屋メニューは久々。いや、鰻だから別に松屋である必要はないんだが。そこから住処まで10分弱だが、嫌に成ってきた。部屋に入って急いで冷房を付けて、2時に野球が始まるのでちょっと仮眠。

のつもりが、目が覚めたのは3時近く。いかん。テレビを付けると、2回裏に3点取っていた。何と牧、筒香、戸柱の3者連続ソロホームランとか。うー、見たかった。現地は大興奮だったろうな。その後再び牧がソロホームランを打ち4－0。このまま終わっても面白かったが、度会にタイムリー2ベースヒットが飛び出して5－0。先発は大貫だが、今日は物凄くいい。8回終了時点で92球無失点。完封は前に一度やってると言ってたが、覚えてるぞ。その時はマダックス（100球未満での完封勝利）だった。今日もいけるぞ、と思って、2アウト。99球目の投球がピッチャー返しの当たりで、グローブを出すも捕球出来ず。内野安打。残念。それでも次の打者を2球で打ち取り、101球で完封勝利。前の完封勝利の日付を言っていたので、ブログをチェック。するとその時は、あと2勝すればハマスタで CS が出来る、と言う状況でのマダックスだったようだ。残念ながら最後の試合で東が Giants 相手に0－1で負けて、ハマスタ開催ならずだったようだ。先週は牧秀悟ならぬ負け週5だったが、今週は2勝出来た。よかった。明日勝って週5割にしましょう。明日勝てば交流戦8勝10敗。バウアーがやってくれると信じる。今日は残念ながらセ・リーグが中日以外勝ち。まあいいです。

さて、暑い中歩いたので、大分気持ち悪い。もう冷房の効いた部屋で十分落ち着いたが、シャワーくらい浴びて呑みに行く。最近 Baystars も Tigers も調子が悪かったが、今日は勝ったので楽しく呑めるでしょう。寝不足だが、案外呑んでて眠く成らない。今日も大丈夫だろう。ということで行く。

今年の交流戦は負け越し決定

流石に寝不足の翌日はよく寝られる。2度ほど目は覚めたが、結局何だかんだと11時過ぎまで寝てた。ですぐ出掛ければいいのだが、暑さが恐くて動けない。現実逃避に TeX ファイルをいじってたりしたら12時近くに成ってしまったので、観念して出掛ける。

弁当は2店舗のだけ売れ残っていた。いつもの唐揚げ弁当が大量に残ってたが、何故こんなに人気が無いかな？やはりご飯、唐揚げ、沢庵ちょっと、とおかずのバラエティーが乏しいからだろうか？早く行くとメンチカツ（関西ではミンチカツと言うのか？）と唐揚げの弁当があるが、今日は唐揚げだけ乗ったやつしか無かった。やはりおかずの種類が多い方がいいということだろうか？

今日は「代数学I」。Q 上の多項式の既約性について話してきた。まず2次と3次は根の有無で分かる、そして根の見付け方は知ってるよね？と言いつつ証明したが。で Q 上の話は完全に Z 上の話で済むことをチマチマと示して、X⁴＋1 が Q 上既約なことを示してから、アイゼンシュタインの定理。適用出来そうにない多項式でもちょっと変数変換するとうまくいく場合があるのを見せておいた。特に素数次の円分多項式とか。で Z[X] が U.F.D. であることを示そうと始めるが、U.F.D. であることをちょっと言い換えないということでやっていたが、時間に成ってしまった。まあいいでしょう。

しかし暑いな。個研室に戻って暫く何もする気が湧かなかった。喉を潤しながら大貧民をしばし。そんなこんなで大分マシに成ってきたので、講義の後始末を少々。レポート問題を上げた筈だが、学生が上がってないと言っていたので見る。すると、一回やり直したので、公開にしものがまた非公開になっていたためらしい。急いで公開になおして、それから誰も解かない演習問題を上げたり。FTP に使ってるソフトが色々不便だと思っていたら、やはりそれくらいのことは出来るよねという感じで、やり方が分かったことがあってよかった。それからちょっと線形代数。来週やる所で tr(AB)＝tr(BA) を使う必要があるが、大抵の本ではこれは A,B が同じサイズの正方行列と仮定している。が実は A が m×n 行列で B が n×m 行列だったら m≠n でも正しい。前に TeX 化したと思ったがしてなかった。で書き始めたら何かゴチャゴチャしてうまくいかない。三宅敏恒「線形代数の演習」という本に書いてあったのを思い出して引っ張り出してくる。すると Σ を使わずに解答してある。気に食わないね、ということでやってみると、今度はうまくいった。TeX 化しておいて、とかやってるうちに4時半近く。4時40分からゼミなので、一旦終わりにして、飲み物を買いに行って、ゼミスタート。

今日は判別式の計算を沢山。2次体はよく知ってる。純3次体は整数基をもう決定したので、計算だけ。その後色々計算。判別式の仮因子があるのは何の本を見てもデデキントの例が出ている。随分前に一つ新しい例を見付けたが、メモ紙を失くしてしまったので、もう一度考えないと思ってそのままにしてある。まあそのうちやります。それと児島君（一部で有名）がデデキントのを含むものを見付けたとこちらも随分前に聞いたが、その時にちゃんと聞いておけばよかったな。彼は多分もう数学をしてないだろうから、聞こうにも聞けない。勿体なかった。でその後仮因子は無いけど 1,θ,…,θ^n－1 の形の整基底（power basis と言うのかな？）を持たない例もあるということが出ていた。面白かった。昨日同様ゼミ室はかなり暑かったが、面白かったのでまあ我慢出来た。その上早目に終わってくれたのでよかった。

その後個研室で線形代数の続きをしたり代数の続きをしたり。もうレポートの出題とか色々面倒なことは済んでるし、講義は残り数回だし、ということで気楽に成ってきた。これで Baystars が勝ってくれると言うこと無しなんだが、今日はケイが珍しく序盤に崩れた。クォリティースタートじゃなかったのは今シーズン2回目のようだ。今日の負けで今年の交流戦は負け越し決定。残念。帰ってきて「報道ステーション」を見てたら、Tigers がお付き合いしてくれたという情報が。助かった。今日はセ・リーグは5敗。Hawks が交流戦優勝マジック1らしい。優勝の可能性があるのは他に Fighters とMarines。まあ今年はパ・リーグにやりたい放題やられたな。仕方ない。せめて明日、明後日は勝ってくだされ。

Hawks のモイネロが今日も奪三振ショーで、交流戦の奪三振数が今までで最多に成ったらしい。日本では中継ぎでスタートしたが、最初から先発やらしてたらどんな活躍を見せたろうか。ちょっと勿体なかったね。

今晩の「座王」は楽しみ。いつも笑ってるだけで何もしてない竹上萌奈アナが何と回答者として参戦とか。笑ってるだけ、と書いたが、女子アナをいじるネタが出た時には千原ジュニアにフリップとペンを渡されて、書いたものが結構毒舌で思いっ切り女子アナをディスってる（今時の言葉を使ってみた）。これが結構面白い。スタジオでも爆笑が起こる。この前何とお笑いライブのようなことをやったらしいし。面白いだろうな。いつもより放送時間が5分長いらしい。Blu-ray に残しておくためにケーブルテレビのチューナーに録画してあるが、この方法だと最後5秒くらい切れてしまうので、テレビに繋いだハードディスクにも録画してある。両方見よう。見られない地方の方は Tver で是非。「座王」面白いよ。

暑い話はもうやめようと思ったが、少しだけ。今日の京都市は35.8度までいったらしく、6月に3日連続猛暑日は異例なこと。一番暑かったのは豊岡で、37度を超えたとか。明日は出掛けないようにしようと思ったが、昼前に近所で用事があるのを思い出した。嫌だな。まあ仕方ない。今晩は呑まずにちゃんと寝よう。

ゼミ室の冷房の効きが悪く、廊下の方が涼しい

今週は月曜から火曜に掛けて呑まなかったので、昨日から今日に掛けて呑んでしまった。木曜日は4時40分までに職場に行けばいいという、何やら妙なスケジュールなので。で起きたらもう2時近く。それでも暑さのせいなのか何なのか眠りが浅く、眠かったカフェインを注入して、4時近くに職場へ向かう。

閉店間近の生協でボールペンの替え芯を買って、一旦個研室でゆったりしてからゼミ室へ。冷房の電源はオンに成ってるようだが、暑いぞ。多分旧式の空調施設が使われているのだろう。全然涼しくない。まあ我慢する。今日から合同式。前から気に成ってるが、a≡b (mod m) ⇒ aⁿ≡bⁿ (mod m) が全ての n∈N に対して成り立つ、というのの定着度は案外高くない。a≡b (mod m)、c≡d (mod m) ⇒ ac≡bd (mod m) はやってるんだが。今日も a² を 7 で割った余りが何のとやってる時に、a＝7k, 7k±1, 7k±2, 7k±3 と置いて、とか始める。これ、この春に大学院を修了した学生も修論でやってた。「整数論やってて合同式を使うことを思い付かないとはお寒い限り」と添削した時に書いてしまったが、まあ言われても仕方ないよね、と思っていた。そう言えば随分前に教員採用試験の問題を持って質問に来た学生もこれが分かってなかった。だから次の年から講義で explicit にその旨書くことにした。f(X)∈Z[X], a≡b (mod m) ⇒ f(a)≡f(b) (mod m) は常識にしたいが。その後 SL₂(Z) の元であれこれやる所で、「ケーリー・ハミルトンの定理より」と書いてある所があって、毎年ここで引っ掛かっている。今日の学生はしれっと通り過ぎようとしたので、突っ込んだらケーリー・ハミルトンの定理を使わないで解決していた。まあそりゃケーリー・ハミルトンの定理の2次行列の場合ってただの計算で示せるからね。一応念のため教えておいた。で1時間半も掛からず終了。折角行ったのだが、ゼミ室が暑いのでいいです。廊下に出た方が涼しかった。

ゼミ中に出ていた計算問題やら演習問題やらをメモっておいたので、個研室でちょっと考えたり TeX 化したり。いつものように野球をチラチラ気にしながら。寝不足だからなのか、超絶易しい問題が分からず、苦労した。やはりちゃんと寝ないと駄目だな。明日は講義の後、今日に比べると大分難しい内容のゼミをやるので、早目に寝よう。「アメトーーク！」があまり面白そうもないしな。早寝するか。

今日の京都は36度まで行ったらしい。夕刻に住処を出る前のニュースでやっていて、ウゲ、と思ったが、明日は37度らしい。大津は35度だと言ってたから、まあ草津もそれくらいか。講義室の冷房はゼミ室のよりは効きがいいと思ったが、どうだろうか。暑過ぎると効かないかな。とにかく飲み物を持っていって、飲み飲み講義をしないとぶっ倒れてしまうかもしれない。幸いというのも変だが、受講生は多くないので、聴衆の熱気で暑いということはない。明日終われば講義期間は残り3週。もう少し耐えればいいので、頑張る。

野球だが、久し振りに Baystars が負けて Tigers が勝つという展開に成ってしまい、3.5ゲーム差に成ってしまった。まあまだオールスター前だし、大丈夫でしょう。Tigers が直近3勝7敗なのにゲーム差はあまり開いてないのは救い。まあただ、交流戦は残り全部勝っても9勝9敗。今年はよくなかったな。明日から今シーズン低調な Marines。交流戦はここまで5割とよくはない。何とかしましょう。

Fighters の北山が7回途中まで走者を一人も出さない投球をしていて、7回2アウトからの走者は四球だったので、9回1死までノーヒットノーラン。お！と思ってニュースを見ていたが、大城にホームランを打たれてしまったようだ。残念。まあ1安打1失点はお見事だ。今年の Fighters は強いぞ。パ・リーグ首位で、交流戦でも2位タイ。いよいよ新庄野球が身を結ぶか？