9回にオースティンが同点弾を打ち、10回に森敬斗の勝ち越し打で、交流戦2勝2敗

今朝は7時台に起きられた。例によって名神は「大津まで渋滞1km 5分」の表示だが、まあ大したことなかった。8時45分過ぎに駐車場に着き、9時からのゼミには間に合った。二日続くとしめしがつかないし、わざわざお出ましいただいているH先生に申し訳ない。間に合ってよかった。今日は判別式の計算を幾つか。判別式が square-free な例が幾つか出ていて、その場合は自明。square-free でないと色々工夫が必要、という例が多数。判別式の仮因子がある場合の例（いつものデデキントのやつ）とか、仮因子が無くても 1,θ,…,θ^n-1 の形の整数基を持たない例など。で凄くスムーズに進んで、11時くらいには終わってしまった。まあ素イデアル分解の話を来週からやるのはキリが良くていい。一人教育実習でいないのだが、あまり進むと彼も困るだろし。

表で売ってる弁当を買って掻っ込む。線形代数の計略をあれこれと練って、どんどん水増しする方法を思い付く。が、今日まで5月。あと何回講義あるんだろう？心配だ。

1時から「代数学I」。今日は P.I.D. の話から。Z は P.I.D. だが Z[√(－5)] はそうじゃないとか、ユークリッド整域は P.I.D. とか。で体上の多項式環が P.I.D. であるのを示すのに色々。ユークリッド式の割り算が出来る、ということを認めればすぐ（ユークリッド整域に成るからね）だが、一般の可換環で最高次の係数が単元の多項式でならユークリッド式割り算が出来ることを証明したいので。次数を一つ下げて数学的帰納法、というのは分かっている側としてはすぐ見えるが、延々書いてるものを写してるだけだとそうは見えないだろう。ということで随分前から「普通に筆算しているだけです」と強調することにしている。で出来て、体上の多項式環なら有限個の元の g.c.d. があるとか飯高茂先生仰るところの「合コンの定理」とか。でここで終わるとキリが良かったが、残り時間7分。まあ素元と既約元の定義ぐらいするか、と思ってやる。整域だと既約元の定義の「x＝ab ⇒ x∈R^× または y∈R^×」を「x の約元は単元であるか x と同伴であるかのどちらか」と言い換えられる、などとやった。これは昔、実名を出すが、下房一郎君という学生が「整域じゃないとこの二つが同値なの示せません」と言ってきて、う、成程、ということで次の年から「整域なら同値」に直した。彼は他にも色々考えてきて面白かった。若い頃は演習の時間をよく担当したので、仲の良い学生がいたが、最近は講義ばっかりだし、コロナのせいでゼミの学生と呑みに行くということもとんと無くなったし、名前も顔もどっちも知らない学生ばかりに成った。あ、ただ名前が印象に残っている学生はいて、今年の卒業式後の呑み会で話し掛けてきた学生に「君名前何て言うの？」と聞いて当然苗字を言ってきたが、下の名前を小生が答えたのでびっくりしていた。まあそういうこともあります。

で個研室で引き続き線形代数をウダウダと。上の書きようでお分かりの通り、大分水増しをしないといけなくなっているので、こっちに来た年に担当した線形代数の演習（当時は「数学基礎演習」という変な名前だった）の dvi ファイルをひっくり返したり、昔何かの本で見付けた固有多項式が1次式の2乗×1次式の2乗に成る4次正方行列の計算をしたりとか。時間はみるみる過ぎていく。

で大抵金曜日は4時台に職場を出て、野球を最初から、なのだが、今日も会議があった。昨日10時くらいまでやったのは書いた通りだが、決着を見なかったのと、ご家庭の事情で抜けられてしまった方の意見も聞きたい、ということで延長戦。皆さんの都合の付くのが6時以降ということで、6時開始。今日も色々意見が出たが、結局落ちどころが決まって、8時くらいには解放された。一昨年の学科長はあまり会議をやらない人で、それでよかったという側面があるので去年は小生も真似したが、やはり意見を聞くべき時には聞かないといけないね。今年の学科長が熱心な人で助かる。その後しばし密談。皆さん色々大変なのだな、と再認識。でちょっと某先生と日程のすり合わせをして、8時半くらいに談話会室を後にする。

今日の代数の講義で「Z[√(－5)] の二つの元 6 と 2(1＋√(－5)) の g.c.d. が存在しない」ということを紹介したが、証明を写させても仕方ないので、manaba＋R に上げる、と約束しておいたので、会議後上げる準備をする。青木昇「素数と2次体の整数論」に出てるので、それを要約して TeX 化する。彌永昌吉・有馬哲・浅枝陽「詳解代数入門」にも出てるな、と思って見ると、「6 と 3(1＋√(－5)) の g.c.d. は無い」だった。3 と 1＋√(－5) の l.c.m. は無い」という問題も出ていた。浅枝先生に代数を習ったが、マニアックな例が多くて好きだった。多分彌永・有馬・浅枝の環論の章は浅枝先生が分担執筆されたのだろう。整域なら「a と b が同伴 ⇔ a｜b かつ b｜a」だが、整域でないとダメ、とかいう例が出ているのはこの本くらいではなかろうか？いい本だったが生憎絶版のようだ。残念。でウダウダと9時半くらいまで職場にいた。

会議中もチラチラ、個研室でもチラチラと野球を気にしていたが、先制するも同点にされ勝ち越され、とロクでもない展開だったが、9回にオースティンが同点ホームランを打って追い付いた。一気に気分が明るくなる。10回に森敬斗が勝ち越し打を打って、よしよし、と思ったが、10回裏に登板のウィックとかいうよく知らない投手が1アウト二塁のピンチを作るも、何とか抑えて、連敗はストップ。これで交流戦は2勝2敗。まあいいでしょう。明日、明後日と勝ってください。Marines はまたしても9回に追い付き、10回にサヨナラ勝ち。引き分けを挟んでの10連勝。凄い。明日は見たいが、昼から用事があるのでそういうわけにはいかない。エスコンフィールドでの試合を見ることはあまり無いので、明後日は見よう。

などとやっている間に「探偵ナイトスクープ」が始まった。今日はキダ・タローの特集。初登場の時の映像がやっていたが、当時58歳だったそうだ。全然変わらないなと思っていたが、やはり若い。58歳の割には老けて見えたと思うが、どうだろうか。今日の会議の時に談話会室のカメラで撮っている映像を見なさんのパソコンで共有していたが、上からの映像だと小生相当薄いな。鏡だと正面からしか見ないんでよく分からなかったが。まあもうジタバタはしません。どんどん抜けてください。

あ、先週の「座王」をまだ見てないな。見ないと今日の分を録画出来ない。今から見る。「探偵ナイトスクープ」は録画してあるので、後でゆっくり見る。今晩中に Blu-ray に焼いておかないと、水曜日に野球で放送の無かった「ミラクル9」の明日放映分を録画出来なくなってしまう。色々することがあるな。よし、ブログはこれでおしまい。

山崎福也（Fighters）、投手で6番でタイムリーヒットを打った

今日は寝坊してしまった。急いで飛び出す。高速道路では瀬田東で4車線に増える辺りまでずっと追い越し車線を走っていた。下品だ。下手をすると違反切符を切られ、余計到着が遅れるかもしれないので、やめておいた方がいいのだがな。

で少々遅れてゼミ室に到着。ウェストウィングの1階でパンとコーヒーを買って、ゼミ中に流し込んだ。今日は合同式の話を Z/(m) に翻訳して云々という話。a＋(m)＝b＋(m) ⇔ a≡b (mod m) がうまく示せない。ちょい助言をしてチャチャっとやってもらった。ちょっと感心していたような感じだったが、代数学Iでやったよね、と嫌味を言おうと思ってやめておいた。で選手代わって Z/(m) の単数群の話。素数の生成する単項イデアルが素イデアルであること（とは書いてないが、そういう命題が出ている）を使おうとせず、何やら素数の定義に遡ってやっていたので、口を出した。何でも一からやるとか前にやったことを使わないでやるのは数学ではないと思うので、突っ込んでおいた。3時55分くらいに終了。

上の書きようでお分かりの通り、ロクに食べていないので、生協に行って唐揚げ弁当を買ってきて食す。今日は4時半から長丁場に成りそうな会議があるので、備えておかないと。学部長にお出ましいただいて、現状を聞いて、それでもう6時くらい。少し休憩して2回戦。学部長の話を受けての話し合いだが、どうしても納得しない人が数名。子供を迎えに行くなど、子供を理由に二人抜けられた。家庭を持っていない小生はこういう便利な言い訳が無い。子育てを愚弄するな？仰る通り。撤回します。その後も延々話し合いは続き、相手のいない綱引きをやっているというかピンポン玉をひたすら壁に向かって打ち続けているというか、そういう感じで、10時くらいまで掛かった。今年は沢山新しい先生方を迎えたが、准教授はお一方だけで、その方は最後までいらした。とんでもない所に来てしまった、と思っているかもしれない。まあうちは色々大変ですよ。最近は教授会が早く終わるが、小生がこっちに来た頃は4時20分開始で終了9時くらいということはよくあった。もっと前からいる先生方によると、弁当が支給されるくらいやったこともあったとか。今の教授会は4時半開始で、6時まで続くのが珍しいくらいだから、まあ楽に成った方です。

で10時過ぎに表に出ると雨が降ってる。一旦個研室に戻って、傘を取って帰宅。もう少し早い時間だったら途中で食事をしたんだが、もう遅いので、高速道路経由で住処へ戻って、カップ焼きそばを食すことにした。帰り道も追い越し車線に出てしまった。65km/hくらいで走っている車がいて、その前にトラックが詰まっているようだったら抜かないが、かなり遥か彼方まで前方車が無いようなので、抜いた。すぐ走行車線に戻ったが。で住処に10時半くらいに着いて、カップラーメンを食した。明日は7時台に起きたいので、もう寝る。USB メモリーを鞄から取り出すと色々してしまうので、やめておこう。

会議の途中にチラチラと野球の様子を見たが、先制されてひっくり返してひっくり返されて3ランホームランで1点差に詰めて、というところまで見たが、結論は「報道ステーション」で知った。負けた。1点及ばずか。残念。が、今日取り上げたいのは Fighters の山崎福也（さちや）。パ・リーグの投手だが打撃が良く、去年までは Buffaloes にいたが、交流戦で2年連続ヒットを打っていた。新庄監督は面白い人なので、打順6番に入ったようだ。3番だという噂もあったが、流石にそこまではしなかった。でタイムリーヒットを打って、勝ち投手に。6勝でパ・リーグトップ。Fighters の貯金は9で、独走していた Hawks と3ゲーム差に成った。Marines は今日も9回に追い付いて、連夜の引き分け。3位 Marines と 4位 Buffaloes が7ゲーム差と、上と下がパックリ分かれた。流石の Fighters も5連覇は無理そうだ。Fighters が優勝すると面白そうだし、応援しよう。昨日書き忘れたが、新庄監督が昨日 Tigers の背番号63のユニフォームで甲子園に登場したそうだ。大うけだった。岡田監督もニコニコ。ファンサービスが旺盛なのはいいことです。どんどんわかせてください。

お誕生日おめでとうございます

今日は中々起きられなかった。まあ講義には間に合うが、昼飯を食べる時間は無さそう。でいつもの通りリンクのコンビニでカレーパンを買って食す。

1時から「数学III（線形代数）」。今日は行列式は各行、各列から漏れなく一個ずつ成分を取って掛け合わせて、符号を適当に付けて足したもの、ということを示すことから。でその議論を使えば行列式は多重線形性と交代性、単位性による特徴付けられることが示せる、などと言っておいて、それを使って |AB|＝|A||B| の別証明を与えたり。で時計を見ると、もう50分以上経っていた。まあ早く進み過ぎてるのでいいけど。で余因子展開をやって、例を二つばかり。分からなければ (1,1) 成分に0でない成分を移動させて、1行か1列の (1,1) 成分以外を0にすればいいだけなのだが、二度手間三度手間だよね、と言っておく。でヴァンデルモンドの行列式をやろうと思ったが、時間が足りなさそう。ということで先に余因子行列を定義して、2×2 の場合に余因子行列を求めてなど。A に左右どちらから掛けても |A|E に成る、というのを言ったあたりでやめておいた。終了後質問に来た学生がいた。余因子行列の添え字の順序が何か変な気がする、ということだったが、合っているのだ。そう思ってくれればむしろ間違わなくていいだろう。前に一度だけ文系の大学で講義したことがあるが、その時の受講生は何かを見て覚えてきたのだろうか (i,j) 成分に (i,j) 余因子を書く、というミスをしていた。来週強調しておこう。逆行列を余因子行列を使って書く式をやるが、間違わないようにね、と。

で弁当を買って個研室で食した後、来週の線形代数の準備を。外積をやらないといけないので、色々考える。色々分かっていないことがあるんで。でまあ程々にして、固有値と固有ベクトルのことをちょっと。まあこっちは大体分かってるが、ケーリー・ハミルトンの定理の証明をきっちり理解しているかどうか怪しい。まあゆっくりやります。で野球の様子を気にしながら10時近くまで職場にいた。

もう国道一号はすいている時間なので、右折で入って右折で出る店でも大丈夫ということで、瀬田のなか卯で鰻。隣の鈑金屋が「湖南鈑金」という名前だが、「名鈑金コナン」とか寒いこと書いてるのを知った。鰻はまあ旨かった。

昨日ニュースを聞いてびっくりしたのが、Carp がセ・リーグの首位に立った、ということ。で今日の Carp は14－0と圧勝していた。Tigers が負けたので、ゲーム差1。Marines は9回に追い付いて引き分け。Hawks が Giants にサヨナラ負けを食らったので、ゲーム差は半ゲーム詰まった。Fighters が勝ったので、パ・リーグ2位は再び Fighters で Marines は再び3位。まあ面白いな。明日は早く帰ってきて観戦しようか、と思ったら、4時半からちょっと難しい用事があるんだった。色々忙しい。学科の将来に関わる件だから、ちゃんと参加しよう。後9年で定年だが、9年は考えようによっては十分長いぞ。

Facebook に登録してると、スマホのカレンダーに色々マークが付いてて、何だと思うと大事な予定のこともあるが、もう10年以上会ってない人だったり既に死んだ人の誕生日だったりする。今日はふなごやの大将の誕生日だが、それは Facebook 上では分かるが、カレンダーにはマークが付いてない。その違いは何？よく分からないことが多い。でいつも土曜日に大体呑みに行くんで今週お祝いを、と思ったら、今週の土曜日は別口の用事があって、恐らく呑むだろう。ということで先週ちょっと早いがおめでとうとは言っておいた。来年は50歳の誕生日に成るだろうから、祝ってあげられればいいが。おめでとうございます。

交流戦開幕戦は降雨コールドゲームで勝利

今日は月一の保健センターに行く日だが、何だか凄い雨が降るようなことを言っていて、どうしよう？と昨日の晩から思っていたんだが、つい呑んでしまい、行かないことが段々確定的に成ってきていて、で線形代数をやったり8月に福岡でする話の準備をしたりと、あっと言う間に「おはよう朝日です」の時間。で案の定今日は大雨らしく、阪急が止まっていたりと既に大騒ぎ。で名神の大津インターを閉鎖するかも、というようなことを言っていて、今日は行かない方がいいな、ということに決した。

でそのまま夕刻まで寝ていた。結局保健センターには行かなかった。もう野球が始まっている時間。テレビを付けると2－1と1点リードしている。その後も着々と点を重ね、3回に2点、6回に2点。7回表に先発のケイが崩れかけ、2アウト満塁のピンチ。Eagles は元 Baystars の伊藤裕季也を代打に出してきた。投手交代らしく三浦監督が出てきたが、そこで雨と風のため中断に。そのまま30分程ウダウダとやっていたが、結局降雨コールドゲーム。ケイが1失点完投勝利という結果。連敗は3でストップでまあよかった。交流戦の開幕戦は8連勝とか。去年は交流戦優勝してるしね。今年は今のところ出遅れた感があるので、交流戦で巻き返しましょう。

今「報道ステーション」を見ているが、どこも風雨が強くて大変のようだ。下村彩里アナが相変わらず外から中継しているが、大変そうだ。品川駅前の様子がやっていたが、大雨で強風。神宮でも Swallows vs. Marines もコールドゲームらしく、大変だったようだ。去年の様子をこのブログで見たら、去年も大雨の日があって、琵琶湖線が4時から運休ということになり、2時40分以降の講義が休講に成ったようだ。今回は大丈夫だったでしょうか？

上に書いた通り今日から交流戦で、中断中に試合前にやったOB対決の様子を詳しく見せてくれた。中村紀洋と Baystars、Eagles 両方の OB である福山博之との対決。福山は現役さながらの変化球やコースへの直球で追い込んだが、中村が二遊間への渋い当たりでヒット。面白かった。あ、横浜スタジアムでの試合では、4回が終了すると「ハマスタバトル」と言って、Baystars の応援チアガール diana との短距離リレーバトルをやるんだが、20勝5敗だかと、圧倒的な強さを誇っている。今日は Eagles の応援チアガールとの決戦で、いい勝負だったが、無類の強さを誇るアンカーの Aki さんが今日も凄いスピードを見せて圧勝。野球もこれくらい強いといいが。まあ今日は勝ったからいいです。

蓮舫氏が都知事選に出馬するとか。彼女は小生と同い年。青山学院付属高校の出身。何故知っているかと言うと、大学の時の友人が隣のクラスだったらしい。事業仕分けの時の「2位じゃいけないんでしょうか？」でお馴染みの通り、感じ悪いが、当時からそうだったと友人が言ってた。自民党政治を後押しする小池百合子氏に No ということらしいが、民主党政権の時のように、成ったはいいが滅茶苦茶やると成ると、皆そっぽを向くだろう。ちゃんとやれるんでしょうか？小池都政も滅茶苦茶だから、まあ変わって欲しいとは思うけどね。知らんけど。

相変わらず線形代数のことをウダウダやってる

一昨日から昨日に掛けては沢山呑んだので、眠りが浅かったから、昨晩はすぐ寝られるだろう、と思ったが、中々眠く成らない。でスマホをいじって Facebook を見たり Twitter を見たり YouTube を見たりと、随分遅くまで起きていた。でもちゃんと11時過ぎには起きて、ゼミには間に合った。弁当を食べる時間が無かったので、カレーパンを一個買ってかじる。

1時からゼミ。2次のガウス和の2乗は分かっているが、真の値を知るのは難しい。ガウスが4年だか掛かったそうだが、今日からその話。が、何やら線形代数的な議論が色々怪しくて、しょっちゅう立往生。いや、小生が何も言わなきゃドンドン進めちゃうだろうが、それは大学院生のゼミではないので。で3時間やって2頁ちょっと。真の値の決定は来週以降。まあいいけどね。

でその後個研室で線形代数をウダウダと。色々まずいことが出来していて、どうしましょう？と思っているのだが。まあテキストに書いてないことが色々あるので、補って進めばな、という気はするが、ちょっとな、という気がしないでもない。何を書いてるか分からん？いや、分からそうと思って書いてないから。でウダウダと9時くらいまでやっていた。他にもしないといけないことがあるんだがな。

王将がスタンプ二倍押しサービスをやってる、とテレビでやってたので、膳所の王将に寄った。駐車場が狭くて、第二駐車場に行かないといけなかったが、そこも道が狭くて難渋した。で食べ終わった後国道1号に右折で出ないといけないが、左右の見通しが悪い。まあ10時を過ぎていたので交通量が少ないから大丈夫だったが。やっぱり王将は多少面倒でも京都東インター店に行こう。でニンニク激増し餃子と極王炒飯の1111円コース。財布に5000円札が一枚あったので、5111円払ってきた。5000円札では飲料の自販機で買えないので、マメに1000円札に崩しておくことにしている。銀行のCDでお金を卸す時も必ず「一部両替」を選んでる。

逢坂山の峠の入り口から1車線塞いで工事をしてた。結構待たされた。で工事区間を抜けてもまだ何かゆっくり。3台前の車が40km/hくらいで走っているようだ。まあいつも言っている通り、イライラしてもしょうがないので、片側2車線に成るまで落ち着いて走った。右車線に出たが、それは追い抜かすためというより三条方面の分岐で右に行かないといけないから。まあ抜いたけど。時々これくらいの時間帯にこういうドライバーがいるが、運転が下手だから交通量の少ない時間に慣れようということなのだろうか？小生の通っていた月の輪自動車教習所は目茶目茶広くて、直線で50km/h出さないと仮免が不合格に成ってしまう所だったから、路上に出た時から十分スピードは出せていた。高速道路教習もあったし、いい教習所だった。バイクの専用コースがあるのも売りだったな。滋賀で運転免許を取るなら、是非月の輪自動車教習所へ。

帰ってきてウダウダとこんなものを書いていたら、何やら北朝鮮がミサイルを発射したという情報。AIの声だろうか、緊張感の全然無い音声だった。沖縄の人は避難してください、と言っている。相変わらずロクでもないな。北朝鮮の最高指導者の誕生日は1月8日とロクでもない日。日本の総理大臣でも1月8日の人がいた。ロクでもない。まあ物理学者のスティーブン・ホーキング氏もいるが。この前数学者でも著名な方がいらっしゃると知ったが、どなたか忘れてしまった。まあ調べれば出てくるでしょう。えーと、ミサイルの話。「報道ステーション」は内容を変えてるが、延長するんだろうか？今日の「過ぎるTV」は面白そうなので楽しみにしていたんだが、遅れるか？本当に北朝鮮はロクでもない。プンスカ。

そうそう、今小生のホームページを見て思い出したが、1月8日はガウスがレムニスケートの研究を始めると日記に記した日だった。いい日なのかな？知らんけど。

大の里、入門僅か7場所で優勝の快挙

昨晩も無茶苦茶呑んできた。色々馬鹿話をしてきて面白かった。ビールの美味しい季節に成ってきたので、ビールばっかりパカパカと呑んできた。

であんまり覚えてないが、帰ってきて何か色々計算していたようだ。起きてみると形跡が残っていた。1リットルのペットボトルの水が飲みかけで残っていた。で野球を途中から。2－3と1点負けてる状況。むぅ。その後昨日ホームランを打たれた石原にタイムリーヒットを打たれ2点差に。その後何度かチャンスを作るも点が取れずに敗戦。3タテをして5割に戻した後3タテされてしまった。後でスポーツニュースを見ると、Carp はダブルスチールを仕掛け点を取ったりと色々しているが、Baystars はただ打つだけ。何でもいいから点を取らないと勝てないのが野球だ。工夫が欲しいね。パ・リーグは Marines が引き分けを挟んで8連勝と快進撃中。Lions は今日は勝ったが、松井稼頭央監督が休養。まあ事実上の更迭やね。ナベキュウこと渡辺久信 GM が監督を兼務するそうだ。まあ15勝30敗で、早くも自力優勝消滅では仕方ない。渡辺は6年間監督をやったが、Aクラス5回、日本シリーズ優勝1回と好成績を残している。Lions が強くないと面白くない。巻き返しを図ってください。

で野球が終わったのは5時半過ぎ。相撲はもう決着が付いていて、大の里初優勝の速報がスマホに入ってきた。阿炎が優勝した時は AO 入試かなんかで職場に行っていて、解放された頃にスマホに速報が、霧馬山（現霧島）が優勝した時は相鉄・東急直通線に乗りに横浜に行っていて、確か菊名辺りでスマホに速報が入ってきたのだった。何でもすぐ情報が入り、便利な時代に成った。昔は見損なうとスポーツニュースで知る、もしくは翌朝の新聞で知る以外方法が無かったが。まあ何でも軽薄短小に成り、良くない側面もあるが。えーと、大の里の話。幕下付け出しで入門後7場所で優勝と、史上最速記録。先場所は尊富士が新入幕優勝と、上位陣は大いに反省しないといけない。来場所は誰が優勝するでしょう？宇良は初日から6連勝で一旦単独トップに立ったが、結局7勝8敗で負け越したようだ。湘南乃海も終盤失速で9勝6敗。やはり優勝は難しいのだな。ええと、大の里おめでとう。

中川虎大のプロ入り初勝利は、康晃の同点弾被弾で無くなった

どうも金曜日は無茶をしてしまうな。開放感からだろうか。「探偵ナイトスクープ」の後の女子高生が弁護士をやっているドラマを見て、水曜日にやった「ミラクル9」を見て、それからちょっと線形代数の考え事をして、とかやってるうちに朝。いけないな。

で2時の野球開始には起きられず、途中から。5－2とリードしている。2点先制されるも、打者一巡の猛攻で5得点。中川颯が逆転打を打ったようだ。が、悲劇は待っている。4回に1点、5回に2点取られ追い付かれた。中川颯は4回2/3で降板と、何とも勿体ない。ピッチャーは中川虎大に交代。抑えた。で伊藤のタイムリーヒットで勝ち越して、中川虎大にプロ入り初勝利のチャンス。が、8回に康晃が石原にホームランを打たれ、虎の初勝利はすっ飛んだ。でその後何度もサヨナラのチャンスを作るも点を取れず12回。三嶋が勝ち越しタイムリーを打たれ、代わった石川が2点タイムリーを打たれ the end。スマホで Baystars 応援板を見てたら、皆さん大荒れ。見ると、5点取った回は先頭の筒香からオースティンまで一つのアウトも無く、5点取ってなお無死満塁で佐野、筒香ともっと点を取れるチャンスだったのに、佐野三振、筒香併殺打、と相変わらずの押しの足りなさだったようだ。結局後にこれが響いたね。Hawks だったらもっと遠慮無く点を取るのだろうが。二日続けて延長戦を落としたのは明日に響きそうだ。

試合が終わったのは7時を回っていたので、相撲の結果を全く知らない。まあ今のご時世、調べればすぐ分かるが、深夜のダイジェストまでは調べないでおこう。明日は優勝が決まるシーンは見たいので、野球が長く成らないといいが。勿論 Baystars には勝って欲しい。貯金を持って交流戦、最悪5割で交流戦、は昨日、今日の敗戦で無に帰した。明日勝って、最悪借金1でいきましょう。

あ、ちょっとだけいいこと。中川虎大と坂本裕哉がプロ入り初ホールド。特に坂本は過去4年間防御率が5点台だったり6点台だったりと、ドラフト2位の期待を裏切り続けていたが、今シーズンはここまで6試合無失点。まあこれくらいはやってもらわないと。明日以降も期待。

ということでこれから自棄酒。呑み屋は Tigers ファンが多いが、昨日のノーヒットノーランをやられたことでどうだ？と思ったが、今日は Tigers は勝ったようだ。まあ楽しく呑めるかな。ということでいってきます。

延長戦、悪夢の3被ホームランで再び借金1

深夜12時にアラームが鳴る筈だったが鳴らなかった。一昨日ちょっと時計をいじった時に設定を変えたのだろうか？知らんが。鳴らないと分かってたら11時半くらいには寝たのに。まあいいけど。

で今朝も7時半過ぎに起きた。シャワーを浴びて出勤。例によって「大津まで渋滞1km 5分」の表示。この時間は仕方ないのかな。まあ間に合ったからいいけど。

今日は代数体の判別式が well-defined であることを示して、それから2、3性質を示す。例えば判別式≡0,1 (mod 4) とか、判別式の符号が (－1)^r₂ とか。前者は行列式の置換を用いた定義が使われるという珍しい定理。前に石田信先生の代数的整数論の本を使ったことがあるが、そちらより証明が分かり易い。石田先生の本ではガロア理論を使わずに済まそうという感じだったが、藤崎先生は大胆に使っている。まあ分かり易かった。で2次体と純3次体の判別式の明示公式を示す。何か行列式の計算は苦手だようだ。1列から2列の定数倍と3列の定数倍を引いたらヴァンデルモンドの行列式が出てくるんだが、いきなりサラスの方法でやろうとしたり。来週1回生に「まずサラス、という発想は捨てよう」というつもり。4次以上だとサラスしか知らなかったらどうしようもないからね。それと前に演習の時間に出した行列式が600に成る例を見せよう。サラスでやろうとして電卓を叩いている学生が何人もいたが、1行と2行と3行に足せば3行は全部300に成る、ということを教えてあげたら、学生はビックリしていた。こういうのは見せた方がいい。それと、4次以上ではサラスは出来ないことも理由付きで教えてあげよう。0で割っては駄目、と言われて、屁理屈をこねる人がいるが、3次以上でサラスは駄目、ということだけは覚えてもらおう。それだけ覚えても試験は通らないだろうけど。11時半くらいに終了。

弁当を買って掻っ込んだ後、1時から「代数学I」。今日はオイラー関数を定義してオイラーの定理をやって、それから持ちネタの 3¹²¹ の下二桁を求める問題をやる。で 3⁶¹ だとオイラーの定理は使えないけど、さて、みたいなことを匂わせておく。その後素イデアルと極大イデアルの話。取り敢えず定義通り p が素数の時 (p) が Z の素イデアルとか極大イデアルであることとか、不定元の生成する単項イデアルは R が整域であるか体であるかはたまた成らないかで R[X] の素イデアルに成ったり成らなかったりを示す。で、「面倒でしょ」と言ってから剰余環による特徴付けを与えて、前の例の別証明をサクサクとやる。その後極大イデアルの存在をツォルンの補題を使って示して、そこで時間。難しくなってきたね。来週は P.I.D. とかユークリッド整域とかやる予定。

黒板を消してたら何やら学生が二人やってきた。一昨日の「数学III」で講義後の提出しようとしたが間に合わず、個研室のポストに入れておいたのですが、とのこと。確かに数人分提出されていた。本当に講義後に出そうとしたのか、それとも出席してなかったが演習をやったと聞いて、アリバイ作りに出したのか知らんが。

その後個研室で演習問題を web にアップロードする作業をしたり、来週やる所を少しだけ見て、4時10分くらいに職場を離れる。渋滞は途中ちょっとだけしていた程度で、5時前に帰宅出来た。

相撲は番付下位の好積力士を上位と当てたりして、大分落ち着いてきた。3敗の琴櫻と大の里がトップ。4敗多数という状況に成った。明日中には決まらない。14日目と千秋楽の割は、取り組みが終わった後するのがここの所の恒例に成っていて、明日の取り組みは教えてくれなかった。後で Yahoo! の相撲のページを見ておこう。

6時から野球。横浜スタジアムで Carp と3連戦。1回に満塁から祐大が犠牲フライを打ち1点取ったが、その後全然点が入らない。相変わらず得点力不足な感じ。で8回に小園のタイムリー内野安打で同点にされる。今日の Baystars の先発は東だが、東でしか勝たん、という状況が多かった。珍しく3連勝したので、東では勝てん、に成ってしまった。小園は東との対戦成績が目茶目茶いいらしい。サヨナラのチャンスもふいにして延長戦へ。すると悪夢が。Baystars のリリーフ陣は10試合くらい無失点だったらしいが、伊勢が小園、末包とホームランを許し、ランナーを残して石川に交代。石川が野間に2ランホームランを食らい、1イニング3被ホームランで4失点。裏に宮崎のタイムリーヒットで1点取り返したが、そこまで。スミ1で勝てるわけはない。明日、明後日勝って、交流戦に貯金を持って行きましょう。

忘れていたことに気付いた。Giants の戸郷がノーヒットノーラン。Tigers は当然0点に抑えられたわけだが、Giants も1得点。Tigers はもう少しどうにかしようが無かったか？珍しいことが起こった時は「プロ野球ニュース」は録画するんだが、今日は Giants の選手がやったからしない。

もういいか、と思ったが、書く。中尾彬が亡くなったそうだ。ずっと CM に出ていたからビックリした。で亡くなった晩に奥様の池波志乃と鈴木福君がやってる「買取福ちゃん」のCMをやっていたが、あれはどうにか成らなかったんだろうか？まあいいけど。ご冥福を祈る。

今シーズン初の3タテで勝率5割に復帰

深夜に目覚めてしまい、足が痒くて眠く成らない。浪人生をやっている時に酷い水虫に成ったが、またああ成ると嫌なので、清潔にしないと。で6時近くまで眠れなかった。

10時半と11時と11時半と11時45分にアラームが鳴るようにしてるので、ちゃんと遅刻しないで行けた。眠い。今日は1時から初等整数論のゼミ。Z 係数の多項式が Z 上既約なら Q 上でも既約とか、原始多項式二つの積はまた原始多項式とかやって、それを用いてアイゼンシュタインの既約性判定の証明。全部「代数学I」でやった、と突き放せたら簡単だがな。その後合同式の章に入る。偶数の2乗はmod 4で0と合同とか、奇数の2乗はmod 8で1と合同とか出ていて、これは合同式を使わずに前に示したことの言い換えなのにまた証明しようとしている。無駄なので止める。何でも毎回一からやるのは数学ではないです。今日は欠席者が多く、学生は9人いる筈なのに1時の時点は3人しかいなかった。二人ばかり遅れてきたが。確か一人教育実習に行ってて、もう一人は今日は教育実習の事前説明だかがあると言ってたな。で3人目の発表者がいなかったので、3時くらいに終了。まあ早い分にはいいです。

で今日は寝不足なので、高速道路が渋滞しないようゼミが終わったら直帰の予定だったが、1時間ばかり時間が出来たので、ちょっと書き散らかしたものを TeX 化してきた。4時くらいに職場を出る。で高速道路はそんなに混んでなかった。前の車がハザードランプを点灯させて減速したが、それでも50km/hくらいは出せて、ほんの1分くらい渋滞しただけだった。4時半過ぎに帰宅。

相撲を三日ぶりくらいに見たが、湘南乃海が単独トップに立っているとか。おぉ、それは面白い。今日は関脇・阿炎との一番。さて、と思って見た。攻め込んだが迂闊にも引いてしまい、優勝経験者の阿炎には勝てなかった。今日終了時点で3敗がトップ。琴櫻、大の里、湘南乃海、欧勝馬の4人。4敗が豊昇龍、阿炎、大栄翔、明生、御嶽海、琴勝峰、宝富士。解説者が全く今後の展開が読めないと言っていたが、そうだろう。面白いぞ。明日も4時くらいには職場を出よう。

6時から野球。1回表に今日4番に入ったオースティンのタイムリーヒットで先制。その後満塁にするもダブルプレーでチャンスを潰すのは相変わらず。3回先頭打者のオースティンがホームラン。4回に大和が犠牲フライ。5回にオースティンがタイムリーと、着々と点を重ねる。石田健大はナイスピッチングを続けていて、アナウンサーが石田はまだ完封したことが無い、てなことを言い出したらその瞬間に村上、サンタナに2者連続ホームランを打たれる。調べたらまだ完投勝利も無かった。球数も少ないしチャンスだったのだがな。まあ7回2失点なら上出来でしょう。その後8回に伊勢が1点取られ、2アウト満塁で目下の打点王オスナという場面。1点差で満塁3ボールと絶体絶命のピンチ。が、オスナが1塁へファールフライを打ち上げてくれて、何とかリードを保つ。で9回に森敬斗が2ベース、蝦名の内野ゴロの間にランナーが3塁へ進塁して、桑原がタイムリーヒットで1点追加。2点差で森原なら心配無い。三者凡退に打ち取り、今シーズン初の3タテで勝率5割。いいですね。3位 Giants が貯金1なので、明日にもAクラス復帰。来週からの交流戦までに貯金を出来るだけ作っておこう。

さて、明日は9時からゼミ。寝不足だしもう寝ないと。が、前にも書いた通り深夜12時にアラームが鳴ってしまう。解除の方法が分からないので、アラームを止めてから寝よう。まあ7時間くらいは眠れるのでいいでしょう。ということでおやすみなさい。

持ち運び用のノートパソコンが Wi-fi に繋がらない件は、泉社長のお陰で一瞬で解決

今日は11時過ぎに起きた。個研室に寄る時間は十分にある。ということでシャワーを浴びて12時くらいに出発。弁当を買って個研室へ。で案の定印刷した物が置いてあった。阿呆や。

で1時から「数学III（線形代数）」。今日はこの前のレポートの解答を示して、それから |AB|＝|A||B| とか、A が正則 ⇔ |A|≠0 とか、|^tA|=|A| と色々重要なことが目白押し。で最後の奴を使って、行に関する性質が全部列に関する性質に書き直せることなど。でそれを使って、列基本変形も上手に織り交ぜて計算すると楽に成る、と言っておいて、具体例の計算。でその時点で講義終了まで15分くらいある。行列式が各行から一つずつ漏れなく取って掛けて符号を調整して和を取る、というのを説明するほど時間が無いので、問題を1問出して提出させることにした。今日の初めにした話と似ているので、まあ大丈夫でしょう、ということで。3次の場合なのでサラスの方法が使えてしまうのは面白くないが。

で今日も2時40分から大学院の講義。今日は助教の H 先生に話してもらうことにした。先週の談話会では英語で喋っていて皆沈没していたので、日本語で話してもらうことと、初等的な解説も少し加えてくれるようお願いしておいた。で最初の5分くらいはまあ大丈夫だったろうが、途中からスライドが英語に成り、聞いたことも無いような用語の数々で、皆困惑していたようだ。部屋を出入りしている学生が数名いたようだが。で終わってから質問を募っても中々質問してくれない。2人ばかり質問してくれたが、まあいいでしょう。出欠を確認しておかないといけないので、終了後紙を回して記名してもらった。H 先生とだべりながら待っていたが、H 先生は Beamer を知らないという。いつもパワーポイントでやっていたそうだ。TeX で出来るんなら便利だ、と感激していた。

でそれで終わりならいいが、今日は会議もある。キツイ。重たい思いをしてノートパソコンを持ってきたが、Wi-fi に繋がらない。ウォー。まあ去年の資料をひっくり返したりする必要があったり、内職もしたかったので、持っていったこと自体は無駄ではないが。色々と難しい話が続いて、6時ちょいまで。大学当局との綱引きは難しい。去年から起こっている事態だが、昨年度はそんなに話が煮詰まっていなかったのでまあよかったが、本格化してきてしまったので、近々執行部と面談をしないといけないようだ。大変。

会議後はちょっと電話。パソコンが Wi-fi に繋がらない件をどうにかしたいので、いつもお世話に成ってる（有）ウィザードに電話。泉社長は何もかも分かっているので、一瞬で片が付いた。脆弱なフリー Wi-fi とかに繋がらないようにスイッチで切り替えられるように成っていて、それが off 側に入っていただけのこと。阿呆や。その後学生の質問に答えるためちょっと代数的整数論の勉強。何やら色々勘違いしているようなので言っておいた。考え直す、とのこと。その後線形代数の整理。今日やり忘れたことを来週の分に回したりして、完成させたものを pdf に直して manaba＋R に上げる。で来週の分の予習。外積ってあまりよく分かってないので、勉強した。ちゃんと説明出来るかな？まあまだ時間はあるので、もう少し勉強しておこう。で9時過ぎまで。

野球は気にしていた。4回にランナーを置いた場面で筒香。まあ2割ちょっとの打率だから、あまり期待はしていない。本調子に成るのはまだまだ先、などと目を離して暫くてパソコンの画面を見たら、2点入ってる。お！筒香2ランホームラン。裏にすぐ1点取られたが、ここまでフラフラで失点を重ね続けたジャクソンが6回1失点とナイスピッチング。ピンチは何度か作られたが、そこを抑えて、代わった投手陣もランナーは出すも無失点。で2－1で勝利。6安打2得点はあまり褒められた結果では無いが、まあいいです。順位争いをしている Swallows に連勝したのは大きい。Giants も Tigers もリードしていたが、気付けば Giants はひっくり返されていた。パ・リーグはどうじゃい、思って見ると、Hawks はまたも二桁得点。1回5点、2回4点、4回1点。8回にも2点取って12－0で勝利。二日で33得点。が、凄いのは無失点であること。Eagles は創設した年に Marines に26点取られた試合があったが、その日の先発の渡辺俊介は完封勝ちしたのだった。Eagles は意気地がない。明日は試合が無いようだし、ゆっくり気持ちを入れ直してください。Buffaloes は4点リードされた8回に福田が満塁ホームランを打って追い付いたが、今見たらサヨナラ負けを食らったようだ。今年の Buffaloes は冴えないな。山本由伸と山崎福也が抜けたのは大きいか。Hawks が突っ走ったら面白くないので、他のチームは頑張ってくれないと。Baystars は中畑監督の頃に交流戦前2桁の貯金を作ったことがあったが、交流戦で大負けして吐き出し、最後は5位だったか6位だったか。まだ分かりません。まだ6月に成ってないのだ。混戦に持ち込んでください。

などと書いてるうちに「これ余談なんですけど…」が始まったが、今日も兼光（元プラスマイナス）が出てる。「今日も」というのは昨日の「相席食堂」に出ていたから。1年前に上方漫才大賞を取って、79歳までローンのある豪邸を買って、800万の車を買って、奥様はご懐妊、という幸福の絶頂から、相方の意味不明な行動で解散という、地獄に突き落とされて、頑張って稼ぐと言ってた。「相席食堂」は旅人は二人のことが多く、一人の場合は何か別にコーナーがあるんだが、昨日は兼光一人で1時間だった。テレビで見る機会が増えるといいね。「座王」には最近出てないな。頑張れ。

Hawks vs. Eagles は21－0ととんでもない試合に

どうも月曜から火曜に掛けては無茶をするな。今日は教授会が無い旨事務長からメールが来ていたので、安心して夜更かし。で呑み呑み色々。少し頑張らないといけないものがあるが、大分整理出来た。まあまだまだだが。

で相撲の途中まで寝ていた。宇良が6連勝で単独トップに立った後4連敗。少し意識したのかも。大混戦はまだまだ続く。が、明日は学科会議があり、木曜はちょっと職場に遅くまでいたいので、連日見られそうもない。深夜に放送のダイジェストを録画しても、金曜日は朝早いので見ない。ということで、土日が勝負だな。

6時から野球。今日から Swallows と3連戦。Swallows の先発は過去にノーヒットノーランをやられたり、通算100勝を目の前でやられているライアン小川。牧が抹消に成ったこともあり苦戦必至か、と思ったが、2回に林の3ベースヒットで2点先制。3回に佐野、宮崎のソロホームラン2発で4点リード。いいですね。Baystars の先発はここまで1勝のケイ。どうなる？と思ったが、今日はナイスピッチング。中々追加点を取れないが、ケイが危な気ないので安心して見ていられた。8回に宮崎の内野ゴロで1点追加、祐大のタイムリーヒットで2点と、7－0という展開に。ケイはちょっと球数が多かったので完封は出来なかったが、8回を8奪三振被安打4無失点で2勝目。よしよし。

で今日はこの話題で終わりにしようかと思ったら、Hawks vs. Eagles がとんでもない試合なので触れないわけにはいかない。4回終了時点で18－0で Hawks リードという情報。Eagles は球団創設年に26－0ととんでもない負け方をしている。その再来か？その後も Hawks は得点を重ね、23安打21得点。うーとんでもない。今宮が1イニングに3塁打2本と、2リーグ制に成った後初めての快記録。チームは4本の3塁打。今日の Baystas の試合の解説者は里崎智也氏だったが、里崎氏によると Marines は1イニング打者三順というとんでもないことをやったことがあるそうだ。大松が1イニング2回アウトに成ったらしい。流石にそこまではいかなかったが、2回に7得点、4回に10得点。Eagles のファンは見ていて辛かったろう。逆に Hawks ファンは最高だったろう。Hawks のホームゲームだったからなおさらだね。ま、1敗は1敗。Eagles は切り替えてください。

ダルビッシュ有、日米通算200勝達成

昨晩は中々眠く成らず、結構な時間まで寝床でウダウダとしていた。で今日は11時ちょいに起きたので、まあ大丈夫だろうと。シャワーを浴びて、12時くらいに住処を発つ。

で弁当を買って食べて、1時からゼミ。今日はディリクレ L 関数の幾つかの積で類数が表せる話。予習したのが少し前らしく、I 君の記憶は色々曖昧だった。簡単なことに気付かないで難しくやったりしていたが、まあいいでしょう。で算術級数定理の証明も出来て、来週から章が変わる。いよいよ最終章。色々面倒なことを準備してきたが、使えることになって楽しくなる、はず。4時10分の少し前に終了。

その後個研室でグダグダと線形代数。講義内演習をやる、と宣言したが一回もしておらず、時間の関係でレポート課題を出してしまった。講義の進捗は上々過ぎるので、明後日はちゃんとレポートの答えを教えてあげることにして、計算チェック。文字の入った分数式なので、何度も計算を間違う。こういう時は SageMath でしょう、ということで、何度も頼る。行列から行を取り出す方法があることが分かった。それで基本変形に計算ミスが無いかどうかチェックすると、まあ出てくる計算ミスの数々。大丈夫に成ったようなので清書。明日は職場に行かないで済むよう、印刷して鞄にしまう。その後もウダウダと色々やって9時過ぎまで。道路が渋滞しないようなタイミングを待つとどうしてもこれくらいの時間に成ってしまう。まあいいけど。月曜日は野球無いし。

ちゃんぽん亭で味噌ちゃんぽんを食べて、国道1号を一路山科を目指す。10時を過ぎると道路工事をしていることが多いが、今日は珍しくやってなかった。スムーズに帰宅。10時半くらいに着いた。

ダルビッシュ有が日米通算200勝達成。凄いね。高校生の時に存在を知ったが、もう37歳とか。20年くらい経つんだな。入団直後に未成年なのに煙草を吸って罰を受けたりしたが、もう大人だ。立派なもんだ。大谷翔平がサヨナラヒットを打ったとか。開幕直後はチャンスに滅茶苦茶弱く、得点圏打率5分とか寝惚けたこと言ってたが、5月は得点圏で3割台後半らしい。調子が出てきたかな。昨日書いた通り今永は絶好調だし、今年も日本の野球よりスポーツニュースのトップは MLB に成りそうだ。オリンピックも大分近付いてきたし、今年日本のプロ野球を制覇してもニュースに成らないかな。いや、だからと言って優勝しないでいいわけではない。頑張れ Baystars。ダルビッシュの話をしていたんだった。おめでとう。

で鞄を漁ったら、線形代数関係の印刷した物が入ってない。何となく入れた記憶が無いが。まあいいや、明後日早目に出掛けて、個研室に寄ろう。

昨日は中川颯の大活躍で勝つも、今日は負けてカード3連勝ならず

昨日はこのブログを書き忘れた。金曜日寝不足だったので、ちゃんと寝ようと思ったが、やはり開放感からか無茶をしてしまい、起きた時には野球は終盤だった。あ、デーゲームね。3－2で勝っていたが、何と投手の中川颯が2ランホームランを打ったとか。で勝ってカード勝ち越し。中川は2勝目。試合後の映像を見ると、中川のホームランは凄かった。狭い横浜スタジアムの最前列にギリギリ入った、ではなく、中断に飛び込む凄い当たり。高校時代は4番を打っていて、通算26ホームランの強打者だったそうだ。2ランホームランが無かったら中川は勝ち投手に成れてなかった。いやー、凄い。

でその後相撲を見て、ちょっと横に成ったら9時過ぎまで寝てしまった。土曜日は何も無かったらふなごやに顔を出すことにしているので、急いで出掛ける。客はいなかったが、メニュー更新関係の作業を昨日もしていた。でまあまた沢山呑んだわけで、あまり覚えてないが、運転免許証の更新が簡単に成った話をしていた。自宅で動画を見て、何ポイントかで見たという証拠を残せば、現地での講習が無く短時間で更新出来るとのこと。前はわざわざ羽束師（京都以外の人は分からないか？）なんていう遠方まで行かされたが、ゴールド免許なら京都駅近くで更新出来るようになり、短時間で出来るならいい。まあまだ更新は3年先だし、それまで違反をしないよう気を付けよう。羽束師には行きたくないので。

で今日は野球の割合序盤で起きた。3回裏にオースティンにタイムリーヒットが出て先制したが、4回表に追い付かれ、6回表に代打大島に、7回表に細川にそれぞれタイムリーヒットを打たれた。8回裏に祐大のヒットで1点差にするもそこまで。今シーズンは初のカード3連勝ならず。大貫は防御率2.03も2勝5敗。ツイてないね。11安打で2得点と、相変わらずチャンスに一本が出ない。6回は無死1、3塁を無得点。投手はよかった。大貫は1死1、2塁という場面で交代したが、代わった坂本はダブルプレーに切って取ったし、8回は徳山が1死満塁のピンチを作るも1塁ゴロと三振で点を許さなかった。打つ方だけだな。まあいいです。来週は神宮で Swallows と3連戦、その後横浜スタジアムで Carp と3連戦。いい結果を残しましょう。あ、木曜日に試合がある。久し振りだな。

相撲は宇良が連敗で、1敗の単独トップは大の里と宝富士。三役が5人も欠場しているそうだし、今後はどうなるか見当も付かない。琴櫻は2敗なので、まだ十分チャンスはある。頑張りましょう。

今日はそれより今永昇太の話をしないと。7回無失点で防御率は驚異の0.84。味方が点を取ってくれず勝ち投手には成れなかったが、ここまで5勝0敗。日本人初のサイヤング賞を獲れるかも。大谷のニュースをやる時「翔タイム」とか言っていて、地元のアナウンサーもそう言っているが、今日のスポーツニュースは今永の場面で「昇タイム」と書いていた。日頃見ている Baystars 応援板では「大谷はもういい。今永が見たい」と言っている人が多い。まあそうだろう。是非もっと今永に注目してください。

宇良が6連勝で単独トップに

人間がチキンに出来ているので、ちょっとミスったことをくよくよと気にして、中々寝付けなかった。まあ最悪寝ないでもいいや、ということにして、YouTube で数学の動画を数本見た。円周率を arctan を用いて求める話が幾つかあって面白かった。オイラーが手計算で20桁求めたとかやっていて、流石は計算狂だな、と感心。それから相撲のダイジェストを見たりなど。で流石に眠くなってきて、2時間半くらいは寝た。職場の正門の開くのが7時だと分かったので、通勤ラッシュ前に行くことは無理だと分かったのが寝た理由の一つ。

で8時くらいに住処を出て、例によって「大津まで渋滞1km 5分」の表示だが、今日はそんなに混んでなかった。が、まだ新名神の工事が続いていたので、瀬田西で下りたが、山手幹線が渋滞。正門は右折で入るのでずっと右車線を走ってるが、龍谷大の所とか文化ゾーンの所で右折待ちの車がずらーっと行列していて、右車線は大変なことに成ってる。でタイミングを計って左車線に出て、何とか成った。瀬田西を下りて職場に着くまで15分近く掛かった。まあゼミには間に合ったが。

で今日はまず純3次体の整数基の決定の続き。定理は示せて、前回紛糾した部分を二人に説明してもらったが、寝惚けた頭で考えながら聞いていたが、大丈夫そう。よかった。で代数幾何専門の H 先生が、2次体や純3次体の場合は分かるが、4次以上の代数体だとどうなるのか？と質問してきた。いやいや、整数基の決定は難しい問題を沢山はらんでいるので、こんなに綺麗に行くのはそんなに無いです、と話しておく。円分体なんかは綺麗にいくファミリーの一つだな。後で気付いたが Q の (2,2) 拡大なんかもうまくいくな。まあもう少し経つと判別式を用いて整数基を決定する話が出ているので、楽しみにしていてください。で判別式を定義したいんだが、色々怪しい。何か難しい終結式の計算を佐武先生の本で調べてきたようだが、誰でも知ってるような線形代数の事実を知らなくてビックリした。H 先生も苦笑。で代数体の判別式が well-defined であることの証明でも色々怪しく、もう時間が過ぎてるので次回に回してもらうことにした。

で例によって弁当を買ってもそもそと。昨日やらかした件は学科長がどうにかしてくれたようで助かった。去年は色々トラブルが持ち込まれてイラっとしていたが、立場が変わるとすぐやらかしてしまい、何とも情けない気分。まあいいです。

1時から「代数学I」。今日はまず Z のイデアルが全て単項イデアルであること、それを使って最大公約数の存在を示した後、a₁,…,a_n の最大公約数が a₁,…,a_n の1次結合で表されるとか。で更にそれを応用して、Z の剰余環の分類。フェルマーの小定理をやったあたりで時間。去年は同じ時間でオイラーの定理まで示せたが、何でだろうか？と思ったが、上に書いた通り酷い寝不足で、こういう時は気分がハイに成り、凄いスピードで書いては喋り、と成るので、途中から意図的に少しセーブしたのだった。まあいいです。来週はオイラー関数とオイラーの定理をやって、素イデアルや極大イデアルについて話す予定。疲れた。

さて、寝不足である。渋滞に巻き込まれて、眠くなりギャ！とか成らないよう、4時半くらいに個研室を後にした。5時10分くらいには住処に着けて、相撲を途中から。今日の見所は御嶽海 vs. 宇良の同期生による全勝対決。宇良に軍配が上がって、御嶽海は負け。面白かった。琴櫻と大の里の1敗対決は大の里が制した。大分荒れてきたな。誰が優勝するだろう？

6時から野球。試合開始後の最初のバッター岡林にヒットを打たれ、不吉なスタート。東は負けてないのに大丈夫か？と心配していたが、細川の犠牲フライの1点でどうにか収めた。ですぐ1回裏に反撃。1番に入った竜キラーの蝦名が早速ヒットで出るも、1軍復帰の2番オースティン、3番に入った筒香が凡退する。しかし、4番牧がセンター頭上を襲うフェンス直撃のタイムリー2ベースヒットで同点。次打者宮崎のタイムリー2ベースで勝ち越し。いいですね。ここ2試合で1点しか取ってなかったそうだから、いいかな、という感じ。が、やっぱりチャンスに弱いのは相変わらずで、2回裏は1アウト満塁のチャンスもオースティンが併殺打で潰し、6回裏は2アウト1、2塁も祐大が凡退、7回裏は蝦名が3安打目を打ちオースティンが四球を選ぶも、筒香が凡退。8回裏も2、3塁のチャンスも好機に強いはずの京田が凡退。むう。まあ今日はピッチャーがよかった。東は8回途中まで1失点。ピンチにリリーフに出た伊勢が抑えきり、最後は森原がピシャリと締めて、結局1回表、裏の得点で勝負が決するという、痺れる試合だった。東は開幕4連勝と横浜スタジアム10連勝。まあ連敗が止まったのでいいです。Dragons が最下位転落で、Baystars は5位浮上。明日、明後日も勝ちましょう。試合後は何やら物真似芸人の JP と選手がおちょけていた（関西弁？）ので、勝ってよかったね。

報道ステーションの始まった頃に寝床に行って、スマホをいじっていたら寝入ったようだ。と言っても30分強程度だが。まだ寝不足なのは否めない。今日はちゃんと寝よう。あ、メールに返事しないと。これからやる。「探偵ナイトスクープ」の後に何やらドラマがやっているが、この枠のドラマはつい見てしまう。今回は女子高生が弁護士をしているという妙な設定のドラマ。が、出ている俳優が知らない人ばかり。最初から出ている人だと知っているのは黒木瞳くらい。先週柄本明が出ていることが分かったのと、よく見ると高橋和也（元男闘呼組）が出ていた。黒木瞳と柄本明は主人公の祖母、祖父という、この人達もそんな歳に成ったか、とビックリ。高橋和也は主人公の同級生の父親役。こっちも歳をとるわけだな。

浪花のモーツァルトことキダ・タロー死す

今朝（もう昼だが）は中々起きられなかった。昨晩何やら鼻炎の症状が出てきて、耳鼻科でもらった薬の残りを服用したが、昼に飲む薬は大丈夫だが、寝る前に飲む薬はちょっときついようだ。で12時ちょい前にようやく起きられた。で急いで出掛ける。リンクの売店でカレーパン一個買ってゼミ室へ。何とか1時ギリギリくらいにゼミ室に到着。昨日ゼミのテキストを持って帰ってたのが功を奏して、個研室に寄らず7階へ直行出来てよかった。

今日はABC予想の紹介から。∃と∀を使わないと何を言ってるか分からなくなってしまうので使わせた。初回に発表した学生だと思うが、こういうのを使うのが好きなようなので、問題無くやってのけた。で「強いABC予想」（effective version というやつか？）を使うと大予想であるビール予想が証明出来てしまったりとか。昨日の晩多少勉強していったので、まあ面白かった。で選手代わって、体上の既約多項式の話。複素数体上や実数体上は自明。何故なら所謂「代数学の基本定理」があるからね。証明を勉強してくる余裕が無かった、というようなことを言っていたが、まあやらなくてもいいつもりでいたので、いいです。「代数学IIでやったけど、この部屋にいる人は去年その時誰もいなかったよね？」と嫌味を言おうと思ったがやめておいた。で有理数体上だと色々難しい、ということで3次の既約多項式を二つばかり挙げていた。有理数である代数的整数は有理整数に限る、ということを使って矛盾を導くが、矛盾だと結論付ける方法が人によって違って面白かった。今回の例をそのまま「代数学I」で使っているが、後で書き足しておこう、ということにした。でアイゼンシュタインの判定法とかやるのかと思ったら、予習が尽きたそうで、早目に終了。まあいいでしょう。

で個研室で先週の金曜日に破綻した件の勉強。学生が二人とも証明したものをメールで送ってきていたので読む。一人のは一箇所些細なミスがあって破綻しているので、その旨メールに書いて送る。もう一人のはよさそう。などとやってたら、破綻した証明を直したと送ってきた。若いのはいいことだ。こういうのがどんどん出来る。明日説明して、とメールしておいた。その後昨日の線形代数のことを演習を担当している先生に知らせたりとか。でその後ちょっと青くなった。何って？さあ。用事は大体同じ時期に集まるようになってて、一昨日と昨日のことで頭がいっぱいだった。大丈夫かな？まあ多分問題無い。今気にしても仕方ないないので、寝ておかないと。前にも書いたが、寝床にある時計が深夜12時（英語では midnight という。夜中、という意味ではないそうだ）にけたたましくアラームが鳴り、先週は12時前に眠りについたがすぐ起こされてしまった。今日も12時まで起きてようか？

昼に一件ありがたいメールが来ていた。8月は多分用事が無いので、引き受けようかな。去年の8月は暇だった。学科長会議が約1ヶ月無く、のびのび出来たが、何やら訳の分からない計算を延々やって時間を無駄に使った気がする。暑かったし出掛けたくないから、深夜に買い物に行って、昼中冷房を効かせて寝ていたな。今年はもう少しましに過ごそう。去年程暑くないと助かるが。九州に行かないといけないからね。出張届の出し方が色々変わったので勉強しないと。

そうそう、昼ネットニュースを見ていたら、キダ・タローが死んだというニュースが入ってきた。ついこの間「探偵ナイトスクープ」に出ていたと思ったが。上岡龍太郎が死んだ時も初代秘書の松原千明が死んだ時も番組で一報をしていたが、明日もやるだろうか？人生は儚いね。ご冥福を祈る。

数学の話4連荘で大分消耗した

今朝は流石に中々起きられなかった。10時半から学部長と学科の一部メンバーが会って話し合いをするが、参加したい方は是非、とメールが来てたが、無理だった。起きたのは11時40分くらい。まあ仕方ない。シャワーを浴びて出勤。昨日の晩髭を剃っておいてよかった。

で今日も瀬田西で下りて、職場には12時40分くらいに到着。弁当買えるかどうか、というところだったので、リンクのコンビニでカレーパンとコーヒーを買って流し込む。ちょっと早目に講義室に着いた。

水曜日は「数学III（線形代数）」。今日から行列式の章。色々説明して、多重線形性とか交代性とか証明。学生はさぞ嫌なことだろうと思うが、まあ数理科学科なんで。で10分くらい余ったが、どうしよう？新しい節に入ろうか？と思ったがやめておいて、持ちネタの x³＋y³＋z³－3xyz の因数分解を行列式を使ってやるという話をした。終了後に数名近付いてきたが、目茶目茶面白かったと言ってくれた。発想の源は何処なんですか？と聞かれたが、うーん、人のネタのパクリだからね、と正直に言っておく。こういうので学生の興味が繋げればまあいいでしょう。

でいつもならそこで終わりなのだが、昨日書いた通り今日は大学院の講義。学生にプレゼンをさせて、指導教官が突っ込んで、他の学生は質問しまくるという時間なのだが、小生のゼミの学生4人は一人も登録してないと数週間前に発覚した。で同僚に意見を求めたら、新任の先生に何か喋ってもらって、質疑応答の練習だけでもさせればよい、とアイデアをいただいて、別の方もそれがいいでしょう、と言っていたので、そうすることにした。で今日は助教のM口先生に頼んだ。内積が入ってる空間ならノルムが定義出来るけど、内積から来てないノルムはどんなんでしょう？という話。内積があれば直交することをノルムで幾通りかに言い換えられるが、それを内積が入ってない場合に直交するということにしましょう、ということで直交を幾つか定義。でそれらは同値じゃないという例を挙げてくれたり。で幾つか定数を定義して、それらを使って内積が入っている空間との乖離性を調べる、と。うー、何か面白いな。フォン・ノイマンなんていうビッグネームも研究したことがあるらしい。学生も興味を持ったか、結構質問が出た。まあ一つノルマは果たせたな。ノルムじゃないよ。来週も別の新任の先生に話してもらう。どうなるでしょう？

で会議が無いのでそこで終わり、かと言うとまだ続きがあって、今日は談話会3連荘。流石に腹が減ったので、ウェストウィングの1階でパンを売ってれば、と思ったが、無かった。遅く成るかもしれないので、生協でちゃんと一食分の弁当を買って食す。

で談話会だが、最初は助教のM永先生。うん、よく分からない。で次は准教授のS先生。ご専門は「数理最適化」だかそんなの。リーマン多様体を使って色々する話で、ヘソは分からなかったが、まあ面白かった。後で聞いたら、コンピューターに実装する時は結局多様体と言っても行列を使えるものでないと無理なので、そうすると言ってた。で次元が何万だかの多様体を使う、と。こういう話に低回生が興味を持つと色々変わってきていいだろう。まあ整数論も暗号とか色々応用があるが、小生はそういう話に疎い方なので、面白くは話せなかった。S先生に期待しよう。最後は助教のH先生。何やら英語を喋り出した。スクリーンにも英語で書かれた資料が映ってるし、さっぱり分からなかった。代数幾何の話だが、微分幾何や力学系専門の人が沢山質問してくれてよかった。4回生O君は代数幾何をやりたいそうだが、終わった後聞いたら、難しくて分かりませんでした、と言ってた。まあそうだろう。皆最初はそう。めげずに勉強してください。

終了後は隣の部屋で宴会。と言ってもA堀先生はおらず、学科長もいないので、小生が最年長ということで乾杯の挨拶をさせられた。3人の名前を言う時にM永先生とM口先生の名前を間違えた。M口先生の名前が昨日から頭にこびりついていたので、混乱した。でA堀先生がいないので、ワインが減っていかず、中途半端な状態で終わった瓶が数本。まあ呑みかけのビールは皆であけていたが。車じゃなかったら呑むんだけどね。来月もう一回談話会があるが、そこでは学科としての正規の歓迎会をやると言ってた。その時は河岸を変えるだろうから、まあ吞むかな。木曜日は頑張って電車・バスで出勤しよう。8時半頃終了と、思ったより早かった。

で時間が出来たので、明日のゼミのため勉強。ある予想の定式化が二通りでされているが、その二つが同値であることがちゃんと示されていない。で前々からちゃんと同値性を示せないと、と思って書きかけのメモを見たりしながら考えたんだが、どうもおかしい。暫く考えたがギブアップして、学生よろしくネットで調べた。で見付けた。学生はこういう時、何も考えずにレポート用紙に写して提出したり、ちゃんと吟味しないでゼミでそのまま発表したりするが、一応こちとらプロ。ちゃんと理解しないものを人前で喋るのは気が引ける。ということで真剣に理解に励む。幸い紙ならいくらでもある。でああでもない、こうでもないとやって理解して、TeX ファイルを直して、該当のページを印刷、と思ったら、うっかりファイル丸ごと6ページ印刷してしまった。紙が勿体ない。まあいいけど。一箇所テキストに「M≧0」と成っているところが「M≧1」でないと話が合わない、と思ったが、もう10時半を過ぎてたので、終わりにした。住処にもそのことを書いた本はあるので、帰って調べるとした。

途中車の走行距離が6000kmを記録した。やはりこういう数値は見ないと。6001kmも見た。こういうコンピューターオタクの心をくすぐる数値は大事。去年やっていたアニメの主人公はPC-9801マニアだったが、こういうのは嬉しいね。で11時15分過ぎに住処に着いた。「これ余談なんですけど…」はもう始まっていた。今日はまあ見なくてもいいか、と思っていたので、いいけど。明日は何時くらいまで職場にいるだろう？明日の「ぐるナイ」を録画するにはハードディスクの容量が足りないので、この前の「アド街ック天国」」を Blu-ray に焼いてハードディスクから消さないと。間に合うように帰ってくればいいような気もするが、やることは色々あるので。明日は4時10分には解放されるが。

さて、もう一頑張りする。今日より少し前に起きればいいから、そんなに早起きではない。まあ2時半前には寝るかな。

寝不足のところを長い会議で消耗

「過ぎるTV」面白かった。現役の学生が青春を謳歌しているようで微笑ましい。第一志望でなかった人も、入ったところが楽しいのならそれでよし。まあ勉強もして欲しいけどね。で見い見い色々準備。プロレスも見て、相撲のダイジェストも見て、案の定朝に成っていた。まあいいです。最初からそのつもりだったし。で何時頃ダウンしたろうか？ちょっと覚えてない。あまり長時間寝ないつもりだったので、テレビを消さなかったが、ケーブルテレビのチューナー経由だったようで、電源が落ちて静かに成ってしまったので、会議ギリギリまで寝てしまった。準備が中途半端だったのは否めないが、まあまだ完成してなくてもいいので。

で4時半から会議だったが、長かった。相撲の途中から始まって、相撲が終わって野球が始まっても延々続いた。皆さん真面目で結構だ。もう少し真剣にやらないといけないですな。

で野球は流していたが、大して長打の無いバッターに2ランホームランを打たれてしまった。その後蝦名にタイムリーが出て1点取り返したが、2－1で負けたので、一発が余計だった。まあいいです。明日やり返しましょう。

明後日のゼミのために少し勉強しないといけないが、明日の講義後にやるつもりだったんだが、考えてみるとそんな時間は無いのだった。いつもは2時半で講義が終わるとその後用事が無いんだが、明日は15週の内2週だけ担当する講義が2時40分からあり、それが終わった後新任の先生3人に数学の話をしてもらうことに成っているのだった。3人のうち2人はちょっと採用に関わった人達で、もうお一方はどんなことをやってるか興味があるので聞きたい。終わった後皆さんを囲んでちょっと軽食会があるが、明日は出ないわけにいかないだろう。車で帰ってくるから呑まないけど。今から勉強しようかな？眠いしどうしよう？

昭和の名投手清川栄治逝く

昨晩は結構線形代数が捗ってしまい、3時近くまで起きていた。で今朝は10時半のアラームで一瞬意識が戻ったが、結局起きたのは11時のアラーム。シャワーを浴びてすっきりして、11時半過ぎに出掛ける。パソコンの電源を落とす前に見たら、M2 の学生が一人調子を崩してゼミを休むというメールが来ていた。

今日も瀬田西で下りて職場へ。12時10分過ぎに着いた。早くもゲートが故障で、開放状態に成ってた。で弁当を買って、個研室で掻っ込みながらメールを見ると、もう一人調子を崩して、今日は大事な所（類数をディリクレ L 関数で表せるという話）なので、4人中二人欠席でゼミは出来ないので、無しにして欲しい、とのメールが来てた。何だ、来なくてよかったのか。まあ今日は線形代数の準備をガッツリやるつもりだったので、職場に行くつもりだったのでいいが。ただ、弁当じゃなくてよかったな。久し振りに鰻か、でなければはま寿司でもよかったが。まあいいです。ゆっくりお茶を飲んでると、4回生が現れた。金曜日に紛糾したところが出来たっぽい、と言うのだが、いきなり ipad の画面を見せられても分かるわけもなく、pdf ファイルに成ってるんだろうからメールに添付して送って、と言って帰ってもらった。

で1時くらいから線形代数。明後日から行列式の所に入るが、例を豊富に出さないと沈没するのは明らかなので、色々計算。テキストの例は値が680とかに成る例だが、まあこれでいいか、と。第4列が5で括れるぞ、と思ったが、その時点ではまだ行に関する性質しかやっていない所だったので、数が大きいのを我慢して計算するしかなかった。だから、後で転置をとっても行列式が変わらないことをやってから、もう一回同じ例をやり直すのがいいな。それと、第3列には0が二つあるので、余因子展開をやったらそういう計算もやろうと。で何故か2次正方行列の正則性に関して全く書いていないので、補った方がよかろうと。いや、正則という言葉を定義した直後に演習問題として出ているが、折角行列式をやったんだから。理解が深まってよかろうと。他にもあれを補い、これも補いと色々考えて、どんどん時間が過ぎて行った。

4時前に気付いた。数セミが発売されてるな。ゼミをやると4時10分くらいにようやく解放されて、生協の本屋は4時半までだから慌ただしいが、ちょっと余裕があったので出掛ける。ついでに数冊購入。時間があったので物色出来てよかった。

で個研室に戻って線形代数の続き。少し先まで読んでおこうと。行列式の定義が1行に関する展開を用いて帰納的にやるというものなので、勝手知ったる本とは色々違って面白い。ああでもないこうでもないとやって、何だかんだで9時過ぎまでやっていた。今日は早く帰るつもりでいたんだが。

表に出ると寒い。車のエンジンを掛けると外気温が表示されるが、10度の表示。雨と寒さで車はぐっしょり濡れていた。ガラスが曇ってるし、少し待つかな、と思ったが、まあいいか、と出掛ける。学内を走ってるうちに曇りは取れた。駐車場のバーは降りていてたが、直したのだろうか？

寒いから拉麺でもいいな、と思ったが、やっぱり面倒だからすき家にしてしまった。いつものカルビ焼肉丼にホクホクの大蒜が乗った奴。持ってきた店員さんはこの前研修中で先輩に色々指図されていた人だったが、今日は伝票をちゃんと置いていった。が、会計の時にTポイントカード改めVポイントカードを出したら、古式ゆかしきカードなので、また同じ人がパニックていた。別の人が出てきたが、しばしカードを裏表。まあ大丈夫だった。で途中工事で片側交互通行に成っていたが、運良く止まらずに進めた。逢坂山峠の入り口の温度計は10度。この前は9度だったから、今日はまだましだったのかな。

で10時半過ぎに住処に着いた。「報道ステーション」によると、今日はどこも寒かったようだ。明朝も寒いらしく、広島の荘原という所は最低気温3度だと言ってた。が、日中は天気が回復して暑くなり、最高気温26度とか。わけわからん。体調を崩さないように気を付けないとね。

広島で思い出した。清川栄治氏が亡くなったというニュースが。清川って誰？という人が殆どだろう。広島つながりで思い出したというくらいで、Carp の横手投げ左腕の名投手。リリーフ一筋で、確か連続無先発登板の記録を作った。まあその後岩瀬とか宮西とか凄いリリーフ投手が出てきたので、もう記録は塗り替えられたかもしれないが。いい投手だった。今調べたが、リリーフで15年438登板。通算13勝10敗12セーブだが、記憶に残る投手だった。色々な球団でコーチをして、今シーズンは Lions の投手育成アドバイザーという立場だったそうだ。Tigers はこういう身内に不幸があった時は強かったが、Lions はどうだろうか？いい出足だったと思ったが、今は最下位に沈んでいる。清川さんの為にも是非優勝しましょう。お前はどこのファンだって？いや、まあそうなんだが。まあ11球団どこが優勝してもいいので。Lions は強くないと。Hawks に突っ走られるな。

などとしているうちに「過ぎるTV」が始まってしまった。この前関関同立のOBタレントがバチバチとやっていたが、今日は産近甲龍でやるそうだ。面白そうだ。明日までにちょっと目鼻を付けておかないといけないことがあるが、見ながらやろうか？いや、ながらはいけないんだが。まあいいでしょう。ということで、両方ともスタート。

大相撲初日は、関脇、大関、横綱が総崩れ

昨日は楽しく呑んできた。ちょっと高い料理を頼んで贅沢な気分。いつもは料理一つと酒たんまりなのだが、二つ頼んだから、大分払ったのだろう。覚えてないが。楽しかった。

でセブンイレブンで水を買ってきて、帰ってきてからグビグビと飲んでたが、眠くて起きていられなかった。まあ当然。でそのまま結構長時間寝てしまった。時計を見ると2時を過ぎてたから、野球が始まってる。起きたいが、起きられない。結局4時半過ぎまで寝てしまい、起きたらもう8回。0－1で1点負けている。9回裏に宮崎がヒット。1日の欠場で済んでよかった。代走森敬斗が盗塁。さあ一打同点、サヨナラで、バッターは4番牧。昨日のこともあるし期待するが、キャッチャーへのファールフライでゲームセット。残念。才木に完封を許してしまった。大貫は8回を1失点、被安打わずか2も負け投手。これで2勝4敗。防御率2.10の投手の成績ではないな。今までで一番悪い内容でも5回3失点。常に相手が好投する。運が無いな。

でまだ眠いから、もう一度寝ようかと思ったところで気付いた。相撲が始まっている。両チーム合わせて得点1、ピッチャー3人なので、試合が終わったのは割と早いので、結構早い割から見ることが出来た。今日は大荒れ。関脇、大関、横綱が全員負けた。関脇はともかく、初日に5人以上の横綱、大関総崩れは昭和以降初とか。明日以降はどうにかしてください。特に琴ノ若改め琴櫻。名前に恥じないよう頑張ってくれないと。

さて、昨日 Giants が負けるようふなごやの店長と呪いながらスマホで様子を確認していたが、残念ながら1点差で勝ってしまった。で Giants が首位に立ってしまった。むぅ。今日も Swllows vs. Giants だけナイターだったので、見ようかと思ったが、寝入ってしまった。さっき見たら Giants は負けた。よかった。Tigers が Baystars に勝ったので、首位は1日で交代。首位 Tigers の貯金が4で最下位 Swallows の借金は3と、まだまだ大混戦状態。明日一日無しで、明後日以降は Giants は Baystars と富山、福井で2連戦、Tigers は Dragons と豊橋で1試合の後バンテリンドームで2試合。どうなるでしょう？交流戦までそこそこで行ってくれれば、去年優勝している交流戦のこと、まだまだ。

考えてみたら、今週は色々しないといけないことがある。呑んだり寝たりしてる場合じゃなかった。水曜日の講義は行列式の章に入るし、初等整数論のゼミも難しい所に入るので、しっかり準備しておかないと。金曜日のゼミで紛糾した部分は、学生がどうにかしたらしく昨日メールが来ていた。読んでおかないと。火曜日は某会議。準備をしておかないと。取り敢えず線形代数からやろう。

8回裏に蝦名（2ラン）、筒香、牧の3発で大逆転勝利（今日の「出没！アド街ック天国」の舞台は関内）

どうも金曜日は寝ないな。今日も YouTube 見たりとか色々やって、そこで仕入れた数学のことをゴチャゴチャとやってたら、あっと言う間に「おはよう朝日土曜日です」が始まってしまった。今日は11時過ぎに区内某所に用事があったので、寝たらだめだな、ということでやめた。用事は1時間くらいで済んで、なか卯で親子丼を食べて帰宅。12時半くらい。

野球は2時からだが、起きていられない。4時過ぎまで寝た。でテレビを付ける。今日はNHK総合で放送がある筈なので、チャンネルを変えるとやってた。スコアを見ると、Baystars が7点、Tigers が9点。今日は中川颯が先発だと言っていたと思ったが、打ち込まれたということだな。暫くチャンスを潰し続け、Tigers に好プレーが飛び出したりで、敗色ムード濃厚。が、今日は違った。8回裏に猛攻。森敬斗凡退、代打桑原ストレートの四球。バッターは好調蝦名。ここで奇跡が。蝦名が同点2ランホームランを打った。おぉ！興奮が収まらない。関根凡退の後バッターは今日3番に入った筒香。宮崎が怪我で打順を入れ替えたということだな。で筒香が打った瞬間もう確信。勝ち越しソロホームラン！凄い。続く牧もホームランで、1イニング3ホームランで4得点！最後は森原が抑えて、3回表終了時点の2－9からの大逆転劇。Tigers には近本の満塁ホームランが飛び出したとか。野球は怖いな。ヒーローインタビューは5打点の京田、同点弾の蝦名、決勝弾の筒香。いやー、興奮した。今日は「出没！アド街ック天国」で関内のことをやるそうだ。ファンの皆さんは楽しい思いに浸れる中見られて楽しいだろう。小生も本来なら見られないはずだった。関西ではテレビ大阪で放送されるが、普通のテレビ視聴モードでは山科では映らない。が、今の所はケーブルテレビの J：com と契約していて、テレビ大阪が映るのだ。ということで録画しておく。前に上大岡を取り上げた時も高田馬場を取り上げた時も録画してある。後で楽しんで見よう。プロ野球ニュースも録画しておかないと。

さて、というわけで呑むしかないでしょう。大分寝不足だが、大丈夫。呑み屋は Tigers 応援モードの人が多いが、今日はいいです。Giants が勝ってしまうと首位が入れ替わるので、店長と一緒に呪いを掛けよう。ということで行ってきます。

忘れちゃいけない。今日は親父の誕生日。93歳。母の日と親父の誕生日が近く、一方だけ祝うわけにもいくまいというわけで、昔から極力気付かないふりをしていた。母親が死に、親父と遠く離れていると、もっとちゃんとしておけばよかったな、という気はする。健康で長生きしてください。

純3次体の整数基の計算で破綻するも、SageMath で確かめたら大丈夫そう

今日は暑くなるぞ、と昨日の天気予報で言ってたので、素直に薄着で出掛けた。が、住処を出たのは8時15分くらいで、十分涼しいぞ、と思ったんだがな。で名神は例によって「大津まで渋滞1km 5分」の表示。が今日は今までに比べると大したことなかった。料金所をくぐってもまだ渋滞の列は出来ておらず、本線合流のちょっと手前から程度。合流後も割とすぐ渋滞は解消された。が、「瀬田西－信楽 渋滞10km」の表示も昨日まで通りで、結局瀬田西で下りた。9時からゼミだが、駐車場に着いたのが8時50分ちょい前。まあ間に合う。ウェストウィングの1階で飲み物を買って、いざゼミへ。

でちゃんと9時から始められた。今日は純3次体の integral basis を決定する話だが、序盤から案外トラブった。H 先生が適宜助け舟を出して下さり、まあよかった。と思ったのも束の間。ある数が27で割れることが示せない。何かゴチャゴチャと寄ってたかって計算したが、なんちゃらの9倍、というこうが出て来て、大いに煮詰まる。H 先生もオブザーバーの O 君も沈黙した。結局時間一杯やって破綻したんだが、小生が一つ提案。後でコンピューター走らせて確かめる、と。mod 27 だから多少パラメータは多いがたかが知れてる。それに、パラメータは全部3で割れない。となるといよいよ回す数がたかが知れてる。しかも SageMath には与えられた数と互いに素である数をリストアップする機能があるので、何の工夫も無く for ループを回せば楽勝、ということで、まあいいや、と。

で弁当を買って個研室で掻っ込む。講義までちょっと時間があるので、for ループを回したらすぐ終わった。ゼミのメンバーにメールを出しておく。

1時から「代数学I」。今日は R/I に演算を入れて、R/R が零環とか R/{0} が R と同型とか自明な例の後、R[X]/(X) が R と同型とか、R[X]/(X²＋1) が C と同型とか。定義通りだと面倒だよね、と言ってから準同型定理を出して証明。で使ってみる。さっきの例がいくらかでも簡単に成ったと思えればいいが。R/I って I に入ってる元を潰す（消す？殺す？）だけだから、結論はすぐ見当が付き、どんな準同型写像を用意すればいいかも分かるでしょう、と言っておいて、Z[√(－5)]/(2,1＋√(－5)) が Z/2Z と同型、というのもすぐ分かるように成る、と言っておく。まあこういうのは代数的整数論で瞬殺だけどね。ということで2時28分頃終了。来週は Z の剰余環のことをチマチマ調べる。合同とかもやる予定。元々出席者は多くなかったが、やはり中1週間空いたからか、減っていたような気がする。確かに天気予報通り、講義中は結構暑かった。

その後事務に問い合わせのメールを書いたり、web に載せる演習問題を考えたり。金曜日は早起きなので疲れる。今日は4時半くらいには職場を後にした。多少渋滞しても野球に間に合うので。ただ車の中が暑かったので、ちょっと窓を開けて冷房を回して数分ボーっとした。

で草津田上インターを入ったが、今日は京都・大阪方面は渋滞してない。本線合流も簡単に出来た。が、信楽方面は大渋滞していた。暫くは瀬田西で下りないと。瀬田西は3月後半から ETC 専用に成った。使ってる人はそんなにいないだろう。うちに来る人は昔は瀬田西で下りるしかなかったが、草津田上が出来て瀬田西を使う人は減ったろう。調べたら草津田上インターが出来たのはもう19年くらい前らしい。最初は「何だこのインター？」と思ったんだが、新名神が出来て納得がいった。で5時10分過ぎには住処に着いた。

6時から野球だが、少し時間があるので、TeX 打ちを少々。で今日から Tigers 3連戦。近本に先頭打者ホームランを打たれ、嫌なスタート。が1回裏、初スタメンの1番神里が凡退した後、関根四球、佐野死球、牧四球、宮崎四球と、何もしないで1点もらえた。が、筒香凡退、祐大凡退で、あれだけ滅茶苦茶な青柳から1点しか取れなかった。これが後で悲劇につながる。6回表に大山、井上と連続タイムリーで2点取られる。しかも井上の当たりは3塁の前でイレギュラーバウンドし、3塁手の宮崎の顔か頭に直撃し、宮崎は動けなくなり担架が出された。周りを布で隠して、大事でなければいいが。がすぐ6回裏、宮崎の後5番に入った森敬斗が3塁打。筒香の左中間への当たりをセンターとレフトがまずい守備をしてくれて、3塁打に成り1点差。祐大四球の後京田がタイムリーヒットで同点。まだ無死1、2塁なのだが、東がスリーバント失敗、代打蝦名が三振、関根がショートフライで勝ち越せない。これが響いて、9回表に森原が1点取られてしまう。「今日は取られるとすぐ追い付いてますから」とアナウンサーは盛り上げていたが、今日は駄目だった。1点差で負けて、借金2。うーん。まあいいです。明日、明後日と Tigers に勝って、カード勝ち越しで5割といきましょう。まあ Giants が今日勝ってしまっていたので、Tigers が負ければ首位が Giants という不愉快な状況に成るところだったのでいいです。明日、明後日は Giants にも負けてもらおう。

今情報を見たが、宮崎は頭部打撲だそうだ。目隠しの布は、しておかないと怪我人が外部からの刺激で避けたい反応や動きが起きてしまうことがあるため、だそうだ。まあよかった。明日は宮崎が休んでも勝てるよう頑張りましょう。

ちょっと気に成って龍谷大学のことを調べた。見ると、京阪の中書島駅や、JR の大津駅、大津京駅からのバスというのがあるようだ。うちも中書島からのバスはあるが、大津駅からのバスは無くなった。草津駅からのバスも土日祝日は無くなった。南草津は新快速が停まるが、瀬田は停まらないのの差だろうか。一番見たかったのは、瀬田キャンパスの最寄りを瀬田西・瀬田東にしてるか草津田上にしてるかだったのだが、その情報は無かった。瀬田西で下りてるせいで龍谷の近くはよく通るが、どっちからでも微妙な距離だと思う。知ってる人がいるので、今度聞いてみよう。

夜9時半過ぎの逢坂山峠の気温は9度

昨晩も何だかんだで2時過ぎまで起きていた。今朝は11時くらいに起きたので、まあ大丈夫。で適当に出掛ける。

今日も「瀬田西－信楽 集中工事渋滞10km」の表示なので瀬田西で下りた。1時からゼミだが、弁当を買ってゆっくり食べるくらいの時間はあったので、少しのんびりした。

1時からゼミ。今日は多項式環の ABC 定理の話。証明は存外簡単で、今回はちゃんと準備されていて、非常に分かり易く説明してくれた。その後 ABC 定理を使って、多項式環上の不定方程式を幾つか解いた。面白かった。定理を使う時に仮定を満たしてるか確認してなかったが、時間も無いしいいか、ということにしてスルーした。まあ自明なので。

4時10分くらいに解放された。ゼミ中に一つ気に成る点があったので、ゴチャゴチャといじってみたがどうも分からない。ABC 定理の証明に多項式の微分を使うが、R や C なら問題無し。ということで Q でも大丈夫だろう。が、一般の標数0の体ではどうだ？と気に成った次第。うまくいかなかったけど、まあいいや。また時間のある時に考えよう。その後は昨日出したレポートの答え作り。3次正方行列でパラメーターが1個入ったものに関する問題。階数を求めさせて、正則である条件を書かせて、逆行列を求める、というもの。逆行列は余裕があったらでよい、と書いておいた。が、こちらとしては準備しないと。で一昨日の晩に計算したがゴチャゴチャしてきて時間が掛かりそうなので、保留にしておいた。まあ3次正方行列くらいなら行列式も余因子行列も大して手間が掛からず求められるので、やったが。で今日の答え作りはそれを見ながらやった。通分したり因数分解したりと、存外面倒くさかった。出来上がった時はもう7時半を過ぎてた。阿呆や。まあ出来た。TeX 化しながら検算したし、SageMath で検算したら正しいことが確認出来て、まあよかった。その後明日の講義の資料を眺めたり。色々気に食わない点がある。去年までは気にしてなかったんだろうか？大したことではないのだが、写像 f が準同型写像であるのを示すのに f(a)＋f(b) を変形して f(a＋b) にしているのは何とも気持ち悪い。来年度以降も講義するので、直しておいた。他にも軽微なミスプリを見付けたり。簡単な所なので、印刷したものを見ないでやってたから気付かなかったということだろう。まあいいです。で何だかんだと9時過ぎまでいた。今日は野球が1試合も無いので、平和だった。

まだ風邪から完全に回復したとは言えない状況。土曜日にふなごやに行ったが、店長が風邪気味だったり、今日は隣の研究室から咳き込んでるのが聞こえたりと、調子を崩している人は多いようだ。4回生も一人調子が悪いので休むとメールが来てたし。今日は念のため薄手のジャンパー（死語）を羽織っていったが、正解。9時くらいに車のエンジンを掛けると、外気温12度の表示。で逢坂山峠の入り口辺りの気温計では何と9度の表示。暑いんだか寒いんだか分からん。明日は講義があるが、陽気はどうなんだろうか？今「報道ステーション」を見ているが、もう少ししたら天気予報がやるから、待っている。

学内の駐車場のゲートようやくスルー出来た

8時台に一度目が覚めたが、起きられなかった。最終的に起きたのは11時過ぎ。寝癖ボーボーなので、シャワーを浴びて直す。まだ何か本調子じゃないが、まあ仕方ない。12時近くに住処を離れる。

京都東インターが近付いたところで嫌な表示が。「瀬田西－信楽 集中工事渋滞10km」。昨日から新名神の集中工事が始まっていたのだ。うわ！流石に瀬田西で下りた。まあ実際、草津田上で下りるのと瀬田西とで大きな時間の差は無いので、いいが。140円も安くなるし。で職場に着いて、ゲートが開くか、と思ったら開いた。人がこの前と違う所に立っていたが、立っていた人のせいでカメラが車のナンバープレートを写せないのでは？という疑惑がいよいよ深まる。まあこれから開けばいいです。ただ高速道路の料金所と違って目茶目茶減速しないといけないので嫌だが。で生協で弁当を買ったが、食べる時間が無いので、個研室に置いて講義へ向かう。

水曜日は「数学III（線形代数）」。嫌だが簡約化の一意性をやった。それから正方行列が正則であることの言い換えを6つばかり。まだ行列式をやってないので6つだが、近々もう一つ加わる。さて学生の頭には幾つ残ったでしょう？最後に右逆行列か左逆行列（意味わかるよね？）が存在したら正則とか。でちょっと進度が早いような気がしたので、今日は小テストだ、と思っていたんだが、思いの外時間を食ってしまい、小テストに予定していたものはレポートにした。レポートで学生を縛り上げるのは好きではないんだが、まあいいか。終了後一人質問に来た。前に言ったことと同じことを言った気がするが、分かったと言ってた。本当に大丈夫かな？

で個研室で弁当。上に書いた通り何となく本調子でないので、仕事が捗らない。大したことをしてないうちに4時半の会議の時間。

今日の会議は長かった。幾つか難しい話題があって、去年学科長としてすべきことを一つしてなかったのが暴露されてしまった。許してください。で皆さんから色々名案が出て、今回はどうにか収束。7時くらいまで会議は続いた。長かった。しつこいね。

その後学生から何やら質問のメールが来ていたので、答えるべく勉強。細々とした計算だが、ちょっと慣れてないと難しいだろう、という所。質問は二つ来ていたが、一つしか答えられなかった。9時半過ぎに個研室を後にする。疲れた。

今日は少しうすら寒い。風邪のせいだろうか？寒い時は拉麺だな、ということで、いつもすいてるちゃんぽん亭にした。着いた時は貸し切り状態。が、その後一人入ってきて、帰り際に二人組ともう一人来た。12時閉店は早めた方がいいのでは？と思ったが、やっとく価値はあるもんだな。店を出た時はもう10時を過ぎていて、途中道路工事で1車線塞がれてたが、止まらずに済んだ。10時半過ぎに帰宅。

途中ちょっと咳き込んで辛かった。今日も風邪薬を飲んで寝よう。水曜日の深夜は見たい番組が幾つかあるが、適当に切り上げよう。「これ余談なんですけど…」が終わったら寝ようか？

風邪が全然治らない。明日の講義は大丈夫か？

まだ本調子には程遠い。くしゃみ、鼻水、頭痛。明日の講義を休講にするのは嫌なので、協も早寝しよう。「相席食堂」が終わってから寝ようか？それとももう寝てしまおうか？

4時半の教授会直前まで寝ていた。今日の教授会は短く、30分程度。議題は二つだけ。前はそれだけの為に職場に行っていたが、オンラインで出来てしまうので助かる。Baystars vs. Swallows の試合は何故か昨日あって今日無しで明日あるという変則日程。ということなので、それから7時近くまでもう一度横に成って、ホラン千秋と一茂と出川がやってる番組を見た。出川が故郷横浜を案内するというので、面白そう。まず中華街。親が仕事を休める日があまりなかったので、中華街へは数えるほどしか行ってない。今度行こう。出川の実家の海苔は美味しそうだ。兄者が東神奈川駅で売ってると言ってた。今度帰ったら買おう。赤レンガ倉庫も色々変わっていて、知らない所が多かった。山手の家は滅茶苦茶豪華で、とてもあんな所には住めないな。落ち着かないと思う。金持ちに産まれなくてよかった。

その後チャンネルはABCのままだが、何やらドラマが始まった。石原さとみの父親が佐々木蔵之介なのはまあ分かる。しかし母親が石田ひかりとは。調べると石田ひかりは今年52歳、石原さとみは今年38歳。ちょっと無理があるな。もう少し若い役の設定なのだろうか？タイトルが “Destiny” というくらいで、何か暗そう。もう見ないな。火曜日は普通なら野球があるし。水曜日は「特捜9」がやってるが、毎週録画してるが前のシリーズもその前のシリーズも全く見てない。野球がやってる時期は忙しい。今年は大河ドラマを見てないのでまだ余裕はあるが。来週から相撲だ。また忙しくなるな。琴ノ若改め琴櫻に期待したいところ。他の大関、横綱はどうする？先場所優勝の尊富士は先場所の最後で怪我をしたが、大丈夫だろうか？楽しみだ。

筒香が日本復帰戦で決勝の逆転3ランホームランとド派手に活躍

今日は中々起きられなかった。10時半から数回アラームが仕掛けてあるが、起き上がれず、何度も止めては寝るを繰り返し、最終的に起きたのは4時過ぎ。よく寝たが、まだ風邪は全快とはいかない。まあ食欲はあるのでいいが。昨日のうちに食料を買い込んでいたので食べる。

6時から野球。先発のジャクソンが滅茶苦茶で、2回表に4四球で失点。因みに無安打。が、2アウト満塁から西川が三振してくれて助かった。すぐに2回裏1点リードしたが、ジャクソンは相変わらずで、サンタナに2ランホームランを打たれてしまう。暫く膠着状態だったが、7回、8回と1失点ずつで、3点リードされる展開に。まだ調子がそんなに良くないので、不貞寝だな、と横に成った。が、奇跡はそこから起こる。8回裏、佐野のタイムリーヒットで1点返す。牧三振、宮崎ヒットで2アウト1、2塁。バッターは6番に入った今日スタメンの筒香。まさかな、と思ったらまさか！逆転3ランホームラン！ほんまかいな。いやー、興奮した。アナウンサーも解説の緒方耕一（Giants にいた方で、Carp の監督をやった方ではない）も、ネット上も大興奮。こんな漫画みたいなことあるのだろうか？今日勝って勝率5割に。Giants が負けたので、15勝15敗で2位タイに上がった。どんどん貯金を作って、Tigers に追い付け追い越せだ。

今日の見所は実は他にもあって、Swallows の石川雅規が23年連続勝利投手（しかもルーキーの年から）に成れるかもその一つだが、Baystars が勝ったので、この記録は今回は成らず。でもう一つが、石川と Baystars 度会の勝負。度会の親父さんが Swallows にいて、度会はよく石川に遊んでもらったとか。度会がセンター前にヒットを打ったが、牽制球に誘い出されて憤死。まあ今日のところは1勝1敗だな。

佐野ようやく1号ホームラン

ふなごやには数組客がいた。が、バイトの人は一生懸命メニューの更新作業をしていた。客が帰ると店長と二人で何時間も掛けて。フエルアルバム（若い人は知らないか）みたいなのに貼ってある紙と写真を剥がして、紙は捨てて写真はリユース。10冊あるし写真の量は凄いしで、さながらカルタ取りのような感じ。こっちは風邪気味なのに日本酒を頼んでしまい、結構悪酔いした。まだまだ掛かりそうだ、と思って見ていたが、少し寝落ちしたのだろうか、気付いたら片付いていた。もう日が変わっていたので、12周年の記念日に成っていた。大分奢った気ががする。もうフラフラで、セブンイレブンまで随分時間が掛かった。いつもは1リットルの水を買うんだが、見付からなかった。酔ってたからだろうか？

野球が始まるくらいには起きたが、風邪気味で二日酔いで、野球を流しながら横に成っていた。佐野にようやく1号ホームラン（2ラン）が出て、牧もホームラン（2ラン）。アベックデスターシャ。その後佐野がもう一本タイムリーヒットを打って、5点差。大貫、中川虎大、康晃と繋いで零封。カード勝ち越しでよかった。再び借金1まで戻し、明日は借金2の Swallows と横浜でナイター。5割に戻しましょう。Swallows を突き放すチャンス。筒香が1軍登録されるらしい。まあ多くは期待出来ないが、盛り上がっていいでしょう。明日も見ます。

その後寝床で Facebook を見たり YouTube を見たり。ふなごやが宣伝を書いてた。ステーキにフォアグラにトリュフというのがあったのだが、今日からグランドメニュー入り。今度頼んでみよう。

さっき風邪薬を飲んだので、ちょっと楽に成ってきた。まあ今晩は無理をしないで早寝しよう。火曜日の用事は夕刻からの教授会だけなので、まあゆっくり出来る。そしたら風邪も治るだろう。水曜日の講義の準備がまだちゃんと出来てない。簡約化の一意性の証明をもっとしっかり理解しておかないと。学生は嫌だろうが、数理科学科なのでちゃんとやる。そのためにはちゃんと説明出来るようにしておかないと。とにかく治さないと。

2安打1点で勝てるわけもなく、松山に3ランホームランを打たれて逆転負け

無茶やったからか、何か調子が良くない。喉が痛くなってきた。少しだるいような気もする。風邪かな？でも中々寝ないで、YouTube を長いこと見ていた。充電が切れたのでダウン。

1時近くに宅配が届く。定期購入している野菜ジュース。無視しないでよかった。後で重たい思いをして運ばないといけないところだった。配達員はいつもの人だが、今回から台車を使っていた。結構お歳のようだし、2階とはいえ手で運ぶのは辛かろう。

で1時半から野球。Carp が二つエラーして、大和の犠牲フライで先制。先発のケイは初回からフラフラで、満塁のピンチを作るも抑えたりと、まあいい展開ですわ。食事後風邪薬を飲んでちょっと横に成っていたが、意識を失った。記憶が戻ったらテレビから「Carp 3点のリードです」と聞こえてきた。嘘！7回に野間の内野ゴロで同点にされ、代打松山が3ランホームランを打ったらしい。流石に2安打1得点では勝てなかった。ピッチャーの森下にまで猛打賞をやられる始末。まあ仕方ない。明日勝って、カード勝ち越しといきましょう。

さて、風邪気味だが呑みたい。昨日書いた通りふなごやの12周年祝いに行きたい。呑み始めると自制心が働かなくなる小生。水曜日までに復活してればいいので、まあ大丈夫でしょう。ということで、行ってきます。

清史弘氏の本を読んで徹夜

起きないでいいとタップリ寝る、という人は多いだろうが、小生の場合は寝ようとしなくなる。昨晩も呑み呑み録画してあったものを見たり色々計算したり。清史弘という人がいて、受験会で長いこと活躍してる。早稲田の先輩で、当時から名前は知っていた。何故知っていたかは最近謎が解けたんだが、まあそれはいいことにして。でその人の書いた本を20年以上前に京都駅近くの大型書店で見付けて、面白そうなので数冊買ったのだが、最近また装いも新たに再発売されたので、購入した。「数列と数列の極限」という本が面白くて、読み読み色々計算した。k の多項式に成っているものを Σ k や Σ k² を公式を使って計算して、それから因数分解、ということをしないで、うまくやる方法が出ていて、面白かった。数学は力技でないということがよく分かった。昔3次対称群の交換子群を求めよ、という問題を出したことがあるが、交換子を36個計算した凄い学生が数名いたが、そんなことをしなくていいのに、と思ったが、まあ似たような感じ。で昼近くまで起きていた。

で仮眠のつもりで横に成ったのだが、やはり無茶をしたからか起きられず、いかん野球が、と気に成っていたが、5時近くに成ってしまった。起きて野球を見る前にスマホで経過を、と思ったら、もう終わっていた。2－0で勝利。素晴らしい。1回と2回に1点ずつ取って、それっきりだったようだが、東、伊勢、森原と繋いで、今シーズン初の零封とか。後でプロ野球ニュースを見よう。

昨日の晩飯はすき家で、カルビ丼にホクホクニンニクがタップリ乗ったやつだったが、今日はうっかり Uber Eats 経由でハラミ丼にニンニクチップが乗ったものにしてしまった。もう少し考えて頼めばよかったな。腹が減っていて本能のままに頼むのはよくない。明日は野球が1時半からのようなので気を付けて起きるが、食事はインスタントものか Uber Eats に頼むかのいずれかだな。食生活のバランスが悪い。晩飯は多分ふなごやだろう。ふなごやは5月5日で開店12年に成るとか。明日は4日だが、まあ日が変わるまで呑むだろうから、祝ってきてあげよう。

今永昇太1－0のゲームを制し、デビューから5連勝

今日も起きたのは11時半過ぎ。シャワーを省略すれば食事が出来る、ということで11時40分くらいに出掛ける。

職場に着いて、さてゲートが開くか、と思ったら開かなかった。カメラがナンバーを読み取って、それで開く、と言ってたが、それっぽい場所を守衛さんが塞いでいるのが原因では？と思ったが、渡されていたカードを機械に入れれば開くのでいいが。守衛さんのいない時間に一度試して見るか。

木曜日は初等整数論のゼミ。指数が4の場合のフェルマー予想の証明から。フェルマーがやった通り x⁴＋y⁴＝z² に自然数解が無いことを無限降下法で示すが、学生がちょっと「あれ？」みたいなことを言ったので何だと思ったら、右辺が z⁴ だと思って予習してきてしまったと言ってた。まあ素数が z を割ることを示したかったので、2乗でも4乗でも関係無い。先週素数の生成する単項イデアルが素イデアルであることを言ってあるので。でそこからは問題無し。その後多項式環のユークリッド式割り算とか体上の多項式環が P.I.D. とか。拡張ユークリッド互除法をやったくらいで時間に成った。複数のイデアルの共通部分がイデアルに成るかとか、突っ込んでやらせようかと思ったが、 まあ Z の場合と全く同じなのでいいでしょう、ということにした。4時10分丁度くらいに終了。簡単な話をずっとしていて退屈だったので、内職で色々計算した。答えが合わないなと思ったが、特性多項式が重根を持っているという仮定を忘れていただけだった。阿呆です。

さて、線形代数だ、と思ったら、保険の外交員が訪ねてきた。今日会うと約束したのを忘れていた。何だかんだとあって、1時間くらい居座られた。この前契約したお礼にビールを持ってくる、と言ってたが、500ccのスーパードライの缶を渡された。スーパードライのような味の無いビールは好きじゃないんだが、まあこういう時は何処でもスーパードライなんだろう。その後線形代数。簡約化が基本変形の仕方に依らないことの証明を読もうかと思ったが、連立方程式の応用に有限生成ベクトル空間の次元が well-defined であることの証明があると学生に言おうと思ったので、その証明を読んだ。齋藤正彦大先生の本同様にやっていた。連立方程式を使わない証明も出ていたが、よく分からないままに成ってる。時間のある時に読もうと思ってそのままになってる。まあいいです。で何だかんだと9時過ぎまでいてしまった。8時半前には帰ろうと思っていたのだが。

京都銀行で卸そうと瀬田支店に向かうが、つかんのが ATM コーナーが9時までだったこと。やはり8時半前に出ておくべきだったか。明日から大型連休だから、お金を卸せないかもしれない。後で調べよう。一応部屋に多少のお金はあるので、卸せなくても問題無いが。それに最近はキャッシュレス決済が増えていて、色々手段があるから、まあ4日くらいは大丈夫だ。呑む時もクレジットカードで払えばいいや。

今日はプロ野球が無い。なのでスポーツコーナーは MLB の話題が中心。いや、最近はプロ野球があっても MLB の話が長いが。今日は前田健太、山本由伸、それに今永昇太と、日本人3投手が同じ日に勝ち投手に成るという史上初の快挙があった。今永の投げた試合は1－0という試合で、最後はランナーが3塁にいる場面で外野フライを打たれたが、外野手の好返球で本塁もアウトに成ってゲームセット、今永勝ち投手、という凄い試合。今永は5勝負け無し。石井一久がデビューから6連勝と派手にやったようだが、今永並べるか？

明日は祝日で、うちとしては珍しく休みにしてくれる日。ということで9時からのゼミも1時からの講義もどっちも無い。7時起きしなくてよくて嬉しい。目覚ましを解除しておこうか。まあとりあえず今晩は呑みます。久し振りに「アメトーーク！」を見よう。録画して見てない物が幾つかあるので見るか。とりあえず暫く TeX 打ち。計算してきたものを忘れないうちにね。色々やろうと思って職場から持って帰ってきたが、やるだろうか？結構小生ワーカホリックだから、やるかもね。まあ程々に休んで程々に数学して、たまには車の運転もするかな。京都はどこでも混むし、滋賀に行ったら気を付けないと渋滞に巻き込まれる。飯を食べに行くくらいかな。最後は Uber Eats にしてしまうかも知れないが。

今日から学内の入場ゲートが稼働

今日も11時半過ぎまで起きられなかった。今日からうちの入構のルールが変わるので、深夜に事務長から「時間に余裕を持って出勤してください」とメールが来ていた。何かよく分からないが、出掛ける。

正門ではいつもの通り入構許可証を見せて、暫く行くと随分前に設置されたゲートが降りていた。人が立っていたので聞くと、入金していないので、コアステーションのクレオテックで手続きせよ、との仰せ。何だかよく分からないが、駐車券を取って駐車場へ。弁当を買ったが食べる時間が無いので、個研室に置いて講義室へ向かう。

水曜日は「数学III」。今日は連立方程式を解く話から。簡約化とか主成分とか分かってないとどうしようもないだろう。復習してきてくれたでしょうか？まあ解いて勘を掴んでから一般論を読むと分かるでしょう、と思うので、幾つか数値例を挙げた。方程式に戻せば何てことないことだからね。で1次独立とか1次従属とかを応用例として挙げる。来週は簡約化の一意性をやらないと駄目みたいなので、後で勉強しておくことにして終了。すぐ学生が飛んできたが、何だと思ったら「これ何ですか？」と黒板をさす。「左」という文字が読めなかったようだ。小生の字が汚かったからかな。

USBメモリーが怪しい挙動を示したので、生協に寄って買う。64GBのものが数千円で買える。最初買ったのは32MBだったが3000円位したし、1GBのは40000円もした。安くなった。個研室へ戻って、学生が一人用事があるとアポを取ったので、話す。大学院に行くのはいいが、数学の研究ってどんな感じ？というのが見当が付かないようで、まあ修士は勉強すれば終わっちゃうから、と言っておく。出願する時に「研究計画書」というのを書かないといけないが、立派なものを書けるわけがないので、類体論とか類数公式とかヒルベルトの理論とかキーワードを教えておいて、Google 先生に頼って適当に書けばいい。うちの大学で整数論をやってる人はほぼいないし、まずいこと書いて不合格に成った前例は無いから、気楽に構えておくよう言っておいた。

それから飯を食べて、USBメモリーの移し替え。全部ハードディスクにコピーして、終わったら新品に取り換えてからペーストするが、時間が掛かる。仕掛けてからクレオテックに出向く。今までは給料から毎月5000円天引きされていたが、これからは一々入金手続きをしないといけないそうだ。1ヶ月、3ヶ月、半年とチャージ期限が選べて、1ヶ月5000円と言われた。半年やっちゃえばいいが、財布に30000円あるかどうか怪しいので、3ヶ月にしておく。定期的に大金を持ち歩かないといけないのか。面倒だな。帰りと明日からは別段手続きをしなくていい、とのことなので、まあいいか、と。

で個研室へ戻るとまだコピーの最中。少し面倒なメールを書かないといけないので、文面を考えながら待つ。学科長の間に色々依頼メールを書いたが、いくらやっても慣れない。随分時間が掛かった。途中でUSBメモリーを取り換えてなど。何とか書き終えて暫く待ったら、やってもいい、との返事。快諾してくれて助かる。USBメモリーのことも済んで、さて線形代数だ、と始める。簡約化の一意性の証明はそんなに長くないが、まだ勘所が掴めない。うちの学科以外のの学生相手だったら証明は端折るが、数理科学科なんでね。来週まで何度も読んでおこう。

などとやっているうちに6時を過ぎていた。野球はどう成ってるだろう？と見ると、1回表だったがもう4点取ってる。佐野が先制タイムリーヒットを打った後、牧に3ランホームラン。今シーズンここまで僅か2失点の涌井を攻めた。その後も猛攻が続き、イニング10人目の桑原が2点タイムリー、11人目の蝦名が2点タイムリー、12人目の佐野が2点タイムリー。涌井は2/3イニング9失点。もう勝負あり。3回も蝦名タイムリー、牧2点タイムリー2ベースで12－0。今季初登板の石田健大は細川のソロホームランの1失点のみで、7回1失点と初勝利。よかったよかった。Swallows も勝ってしまったので今日も最下位脱出成らずだが、まあいいです。明日は試合が無い。明後日からはマツダスタジアムで Carp が相手。0.5ゲーム差だ。ひっくり返してやりましょう。

蝦名は4安打。ここ3試合2安打、2安打、4安打で、驚異の11打数8安打、打率.727。蝦名達夫。覚えてください。「蛯名」でも「海老名」でもなく「蝦名」です。かたや度会は開幕初のスタメン落ちで、出場も無し。正念場ですな。

で線形代数の演習を担当している先生方に今日の進度をメールで知らせたが、その時気付いた。演習があるのは月曜日だが、来週の月曜日は祝日。うー、連立方程式解かないのか。心配だ。

帰りは特に手続きしないでいい、と言っていたのは本当か？と疑問だったが、そのまま駐車場を出て、ゲートの所まで行く。高速道路のETCのようにスムーズではなかったが、ギリギリまで近付くとゲートが開いた。ナンバーが登録されていて、読み取るカメラがあると言ってたから、大丈夫なんだな。明日は何もしないで通れると言ってた。どうなるでしょう？