スマホに「X」というアプリが入っていて怪訝に思う

3夜連続呑みをしてしまった。そのせいで一日腹の調子が悪いし、眠かった。今晩は呑まないでちゃんと寝る。食事はちゃんとしている。昼は鰻、夜はトリプルニンニク牛丼。高2の時に夏バテで夏休みだけで体重が5kgも減ったことがあったが、そんなことは無いようにしたい。まあ今の体重だと5kgくらい減った方がいいが、食べられずに体重が減るのは辛い。ちゃんと食べてちゃんと寝よう。

数学はちょっとだけした。正方行列 A を A＝\begin{pmatrix} A₁₁ ＆ A₁₂ \\ O ＆ A₂₂ \end{pmatrix}, A₁₁,A₂₂：正方行列、と区分けした時、A が正則 ⇔ A₁₁,A₂₂ が正則、という当たり前だと思っていた事実をちゃんと考えてみた。すると存外難しい。A₁₁,A₂₂ が正則 ⇒ A が正則、は易しい。問題は逆。A を正方行列とした時、AB＝E となる正方行列 B が存在したら A は正則で B＝A^-1、を使わないと出来ないようだ。斎藤正彦「線型代数入門」にもそんな風に書いてあった。ふーん。ちゃんと紙に書き出して、TeX 化しておいた。ついでに正則な上三角行列の逆行列も上三角行列、というのの証明も考えた。これは上の事実を使えば行列の大きさに関する数学的帰納法で示せる。これも TeX 化しておいた。毎日ダラダラとするのは良くない。ちょっとずつでも数学をしておかないと。「線形代数学」の採点はまだしてない。今日ちゃんと寝て、明日やろう。

スマホをいじっていたら「X」というアプリが入っていて、何だ、と思ったら Twitter の名前が変わったのだった。Twitter に因んで tweet という単語が違う意味で使われるようになり、日本語でも「呟く」と言われるようにに成ったが、どう成るんだろう？この前イギリス人が言っていたが、「X」だか「ex」だかは追い出すとか何かそんな意味に使われるようで、tweet の代わりに使われるようになるとは思えない、と。どう成るんでしょうね？

フェンシング男子団体が金メダルとか。凄いな。女子サッカーのワールドカップは決勝トーナメント進出。予選リーグは11得点無失点らしい。日本も世界に通用するようになってきたね。世界水泳はあまり良くなかったようだ。自国開催だけに随分盛り上げていたが。まあ世界に通用すると言えば何と言っても大谷翔平だが。ホームラン王獲って欲しい。

さて、明日から8月。7月の Baystars は5つの負け越しだったそうだ。5連敗もあったしもっと負けてるかと思ったんだが。去年の8月は8連勝もあり12勝ち越した。今年も行きましょう。去年の日本シリーズ覇者 Buffaloes は9月10日にしてようやく初めて首位に立ったようだ。4月は佐々木朗希に完全試合をやられていて、日本シリーズ制覇した時は夢のようだった。Baystars もまだまだやれます。明日からも応援する。

やっぱり最後は手計算

結局6時過ぎまで起きていた。でその後テレビを付けっ放しにして横に成り、結構長時間寝た。が、睡眠は浅かった。

野球の始まる前には起きた。今日も Swallows 戦。石田が立ち上がりから悪く、1回裏に2点取られた。その後も点を取られ続け、5－1 に成った時点で一方的な負けを覚悟した。が、そこから一旦 5－4 にして、守備にスーパープレーが出て、解説の立川光男氏は「流れは横浜に行きましたね」と言っていた。期待して見るも、7回、8回と抑えられ、8回裏に出てきた伊勢が村上にホームランを打たれたりと、2失点。最後は田口に抑えられ、連敗。7月は悪かったが、明日は試合が無く、明後日から8月。去年は8月大勝ちした。去年のブログを見ると、8月5日に5割に復帰し、8月24日に8連勝を記録。最終的には2位。まだまだ分かりませんで。明後日からは Carp との3連戦の後 Tigers との3連戦。一気に縮めるチャンス。頑張りましょう。引き続き応援する。

さっき YouTube を見てたら、a が実数の時 e^x/(e^x＋1) を －a から a まで積分すると a、というのが出ていた。ほぅ、と思って計算したらその通り。ビックリするくらい綺麗に行くんだが、SageMath と Maple はそうは答えてくれず、log が残る答えしか返してくれなかった。計算機は補助に使うのはいいが、全面的に信用してはいけないということを再認識。やっぱり最後は人手だな。

さて、これから呑んで久々の3夜連続呑みにしようか、と考えているが、どうしよう？こんなのは滅多に出来ないし、録画したものを見ながら呑もうか？相変わらずハードディスクの空き容量が少ないので、どうにかしたい。見ないつもりでいた「プロ野球ニュース」が始まってしまったので、終わったら買い出しに行くか。

1位と2位は引き分けで、3位が負け4位が勝つ、という状況

結局「線形代数学」の採点はしなかった。が、結構な時間まで起きていた。食事をして眠りに落ちる。

で変な夢を見て、しょっちゅう目が覚めた。不摂生は色々悪影響が出る。5時半前に起きて「ドラえもん」とニュースを見て、6時から野球。

今日も Swallows と神宮で。1回裏に塩見に先制ホームランを打たれるも、2回表に大田のタイムリーで追い付く。4回裏に村上にソロホームランを打たれる。2－1。が、この時点で先発の大貫の打たれたヒットは2本。自明ですね。6回表に牧のソロホームランで同点も、よかったのはここまで。大貫の残したランナーをエスコバーが生還を許し勝ち越しを許す。7回裏に内野ゴロの間に1点取られるも、8回表に楠本の犠牲フライで1点差。が、8回裏に村上に2ベースヒットを許し the end。またお得意の連敗ストッパーを発動してしまい、3連勝ならず。まあいいです。明日（今日だが）勝ってカード勝ち越しと行きましょう。

9時半過ぎに呑み屋へ向かう。いつもの通り店長とバイトが談笑中。Tigers vs. Carp は途中見たら Tigers が1点リードしていたが、Carp が追い付いたらしい。で3人でスマホで速報を見ていた。結局引き分け。Tigers にとっては首位キープ出来たのでよかったかな、という気もするが、勝ってる試合を追い付かれたので、よくなかったか、という気も。まあ Baystars としては上と半ゲームしか開かれなかったので、よかったかな、という気もする。が、4位 Giants が勝ってしまい、よくない。明日（今日）は勝ちましょう。

月曜日の講義が無く、火曜日の学科長会議も無いとなると、結構不摂生をしてしまう。水曜日の会議は4時からにしてくれ、とO先生から言われているので、月、火は結構いい加減に生きていて大丈夫。まあ程々にするけどね。もうちょっと起きてようという気がしないでもないが、寝た方がいいという気もする。まあブログを更新したら、後は雰囲気で。詳細は明日（今日）書く、かもしれないし書かないかもしれない。どっちやねん！

4時5分に試験本部に集合で、起きたら3時近く。間に合ったが。

昨日は「何時に住処を出ようか？」とか書いたが、迷う必要は無かった。起きたら3時ちょい前。レポートの採点等で遅くまで起きていたので、起きられなかった。シャワーを浴びて、3時45分くらいに職場着。何も食べていないが、個研室でゆっくり、という時間は無かったので、生協でサンドイッチを買って、セントラルアークに入って貪り食った。前はサンドイッチの Subway がテナントとして入っていたのでよく行ったが、Subway 撤退後はセントラルアークに行く用事が無くなった。多分それ以来一度も行ってなかったろう。学生は大していなかった。講義が終わると学生がいなくなり閑散としている、だからたまり場を、という理由で作られた建物だが、BKC は理系学部が多く、講義終了後は実験に励んでいるので、たまり場を作っても大して学生は集まらないのだろう。確か建物を作るのどうの言っている時に学部長選挙があったと思うが、一人の候補者は上に書いたことと同様な趣旨のことを言っていて、もう一人の候補者は大いに作る意義あり、みたいなことを言って、後者が学部長に選ばれた。関係あったかどうかは分からないが、印象に残っている出来事の一つ。

4時5分までに試験本部に行くことに成っていたので、4時前にセントラルアークを後にした。何年も定期試験が無かったので、試験本部の場所を失念していたが、運よく一緒に試験監督をやる人と会って、彼の後を付いていった。同じ時間に行われる試験は3つしかないようで、人は少なかった。C102が試験会場で、大きな部屋。学生は結構いた。「数理統計学」という科目の応援監督が今日の仕事。小生の他に講義をしている先生とうちの若い先生2人の計4人で監督という、結構贅沢な体制。登録96名のところ85名来ていた。30分で退出していいことに成ってが、ボロボロと抜けて行った。まあそういう学生は大抵駄目で、素人の小生が見ても分かるくらいひどい答案だった。最後まで受けたのは55人くらい。答案を整理して試験本部に持っていく。主任監督の小生以外はそこで解放で、小生は答案用紙を勘定している間待たされた。まあ5分くらいだけど。でもう個研室には行かないで帰ることにした。遅く行ったおかげで近くに停められたのはまあよかった。

で6時くらいだと高速道路は渋滞する。今日も草津JCTから大津インター間で渋滞。一番左の車線は京滋バイパス方面、二番目のレーンは京滋バイパスと別れた後無くなるので、早いうちに第3レーンに入らないといけない。が、けっこうキチキチに車間を詰めてるので、中々車線変更出来ない。まあ5kmあるんで大丈夫だが。車線変更は多少の図々しさが必要。それに親切な人はウィンカーを出すと車間を空けてくれる。逆に合流したい車がいる時は親切にしないと。6時45分頃住処着。

暑いな。車から出たらとてつもなく暑かった。で停めて、住処へ戻って、テレビの前に冷房。耐えられない。でテレビを付ける。今日から神宮で Swallows と3連戦。2回裏に古賀にプロ初となるソロホームランを許して先制されるも、すぐ3回表に宮崎に2ランホームランが出て逆転。が、6回裏青木に代打3ランホームランを打たれ、逆転されてしまう。うーん、相変わらずリズムが悪い。ここのところの展開だとこうなると負けるんだが、今日は違った。8回表に先頭の宮崎が四球を選ぶと、牧の2ベースヒットで宮崎の代走知野が一気にホームインで同点。佐野のファーストゴロで牧が3塁に進み、代打楠本。外野フライでも勝ち越しの場面で外野フライを打ったが、浅過ぎてホームイン出来ず。ここのところの感じでは同点止まりで逆転される、という嫌な感じだったが、得点圏の鬼こと代打大和がタイムリー2ベースで勝ち越し。8回はウェンデルケン。先頭を四球で歩かせるも無失点。9回は森原。塩見の打球を楠本がスーパーキャッチ。高津監督のリクエストも覆らずアウト。村上に四球を与えるも、オスナの内野ゴロダブルプレーでゲームセット。いやー、勝ちました。連勝連勝。いいですね。5連敗を取り返すくらい連勝してください。

今日から Tigers vs. Carp の首位攻防3連戦。今日は野間のまずいプレーなどで Tigers が圧勝。1日で首位奪還。Carp の連勝は10でストップ。さて明日はどうなるでしょう。

終了後ニュースを見たら、大谷がとんでもないことをやったという情報。ダブルヘッダー第1試合はリアル二刀流で出場して、被安打1の完封勝利。第2試合は打者で出場して2打席連続ホームラン。うーん、化け物だな。日本人がメジャーでホームラン王なんて、考えただけでワクワクする。是非やってもらいましょう。

さて、昨晩採点したレポートだが、流石に講義の出席者が片手で足りる程しかいないだけあって、滅茶苦茶であった。x³＝y³ ⇒ x＝y を理由無しで書いているレポートが多かったが、これは x,y が正の実数だったら成り立つが、x,y が虚数だと成り立たない。例えばよく書くように1の原始3乗根の一つを ω と書くと、ω³＝1³ だが ω≠1 だ。まして今回は有限体が相手。ちゃんと理由を付してもらわないと×にするしかなくなる。一人だけ「(－∞,∞) で連続だから」とか訳の分からないことを書いてる学生がいた。有限体やっちゅうねん。何も分かってないんだろうな。こういう学生の大半が卒業してしまう。どうにか出来ないかと思うがどうにも成らない。高い学費納めて大学に来て、遊ぶだけ遊んで学士に成る、いいんだろうか？大学院生に一人カラッキシなのがいるが、高い金払って大学院進学した意味あるの？勉強しないと、と言っておいたが、一応反省したかのようなことは言ってきた。夏休みにタップリ勉強してくれるといいが。あまり過度な期待はしないことにしますわ。

さて、「線形代数学」の採点をこれからやろうか？それとも明日以降にしようか。91人分だからな。計算問題は殆ど出さなかったので、出来は悪いだろうから、やり始めたらすぐ終わるだろうが。もう問題のことを書いてもいいだろう。2次の実対称行列全体の成す空間が複素数の全体を実ベクトル空間と見たものと同型でないことを証明せよ、という問題を出したが、出来てるだろうか？前者の次元を求めよ、というヒントが最初はあったんだが、易し過ぎる、と思って消した。残しておいた方がよかったか？と何度か思ったが、出題してしまった後ではもう時既に遅しなので、いいことにしたが。さて採点しようかどうしようか。

バウアー粘投で7勝目。久々のカード勝ち越し

一回無茶をすると回復に時間が掛かる歳に成った。今日も訳の分からないくらい寝た。疲れている時はニンニクだ！ということですき家の「トリプルニンニク牛丼」（ホクホクのニンニクにニンニクの芽、フライドガーリックを牛丼にトッピングしたもの）を食べた。元気モリモリ、とは成らず、もう一度寝てしまったが。

6時から野球。今日はバウアーが先発なので勝たないと。で3回に宮崎の2ランホームランで先制。が、5回裏に京田のフィルダースチョイスで1点取られる。が、その後どちらも点が入らず、2－1でゲームセット。相変わらずの貧打。まあカード勝ち越しなので、いいです。明日からは Swallows と。最低限勝ち越しで、離されずにいきましょう。

Carp がまた勝った。Tigers vs. Giants は現在 Giants がリード。このまま終わると Carp が首位に成る。うー、凄いな。監督が変わるっていうのは大事なことなんだな。新井監督は人望があるらしい。まあまだ7月。本番はこれからです。Baystars も負けずに付いていきましょう。8月に強いのが Baystars の芸風。まだまだやれる！やればできる（高岸風）。

明日も目茶目茶暑いようだ。明日は試験監督のため職場に行かないといけない。4時5分に試験本部に行けばいいことに成っているが、何時に住処を出ようか？試験本部はプリズムハウスにあるが、通常の駐車場からはちと遠い。3時過ぎに職場に着くようにしすれば、フォレストハウスの脇に停めることが出来る。そうしよう。試験監督久し振りだな。どうやるか忘れたぞ。前はマニュアルを印刷したものが学内便で送られてきたが、ペーパーレスということなのだろう、送られてきてない。監督一覧も送られてきてないが、こちらは web に上がっていたので見たが。夕刻に事務からリマインドメールが来ていて、それにも添付されていた。緊張するな。ちゃんと出来るだろうか？まあ大丈夫だろう、気楽に構えておくことにする。学生が余計なことさえしなければ問題は無い。無事済ませてこよう。

上に書いた通り、明日は早起きする必要が無い。よし、今から「代数学I」のレポートの採点だ。60人くらいしか出していないから、まあ数時間で済むでしょう。「線形代数学」は90人出していた。こちらは面倒そうなので、明日以降。ということで、頑張ります。呑む？いやいや、呑みたい気分ではあるが、ちゃんとやらないといけないので、呑まずにやります。

Fighters の連敗止まる

生活リズムがぐちゃぐちゃで、呑み呑み書き散らかした紙を TeX 化したり、「赤い疑惑」を見たり。で明るくなってから横に成る。夕刻にゴロゴロと雷が鳴っていたので目が覚めた。表を見ると大雨。夏だな、という感じ。呑み過ぎたようで気持ち悪く、食べる前にもう一度横に成った。

次に目が覚めたらもう野球が始まっていた。1点取られてる。…。最近ガゼルマンは良くない。で Dragons のドラフト1位ルーキー仲地に8者連続で抑えられるも、3回表2アウトでガゼルマンにストレートの四球。その後桑原四球、関根ストレートの四球と、チャンスをくれた。が、宮崎が空振り三振。結局これが響いて、仲地に6回1安打と抑えられてしまった。8回にようやく2安打目が出るも無得点。9回にようやく代打楠本のタイムリーで1点。が、ここまでで、4安打1得点と、貧打は相変わらず。途中で見たら Carp はリードしていたが、Tigers はリードされていた。Carp が首位に立つのか、と思ったら Tigers も逆転していて、順位は変わらず。これで5ゲーム差。開いたな。まあ今年はどこも大型連敗をしているので、まだまだ付いていきましょう。

Fighters の連敗がようやく止まったようだ。Hawks は連勝。まあよかった。

豊昇龍が大関に成ったようだ。おめでとう。

今日は短いが、書きたいことはもう無いし、これでいいや。もう寝る。

Baystars の連敗、Hawks の連敗は止まるも、Fighters は続行中

昨日は早寝しようと思ったんだが、下らんことが気に成り出して結構遅くまで起きていた。何かというと、高校生は複素数 z,w に対し、「zw＝0 ⇒ z＝0 または w＝0」とか、「z＝0 ⇔ |z|＝0」とかどう習ってるんだろう？と。そもそも 1/z って何だ？とかも気に成った。でゴチャゴチャやってたんだが。保健センターに行かないといけないので、寝ておかないと、ということで無理やり寝た。

で電話とアラームで何度か起こされて、最終的に起きたのは2時過ぎだが、眠くて仕方ない。ドーピングして職場に向けて出発。これくらいの時間だとウェストウィングの近くに車を停められるのでよい。昨日から定期試験週間に入っているので、学内の人は少な目。保健センターもすいてた。というわけで早目に個研室に行けた。とにかく暑いので、着いてすぐ冷房の電源を入れた。冷房が壊れたのが今でなくてよかった。で上に書いた複素数のことを調べようと思って高校の教科書を調べたら、証明が付いていない。1/z についても特に説明が無い。高校の教科書は怖いな。まあ高校生は証明より問題が解けるかどうかに興味があるのだからいいのだろうが。不定元の逆数なんてどうやって理解したんだ？まあ有理式と有理関数は同一視されてるんでいいんだろうが。でゴチャゴチャと証明を書いて一応 TeX 化しておいた。複素解析を担当することはまあ無いだろうが、何かの時には役立つでしょうと言うことで。

6時から野球。初回から5安打で4点と、ここの所の貧打が嘘のように点が入っていた。いいですね。調剤薬局に行くため7時くらいに職場を後にした。テレビで久々の勝利を見届けよう。で住処に着いてみると5－1に成っている。桑原にホームランが飛び出したようだ。が、解説の権藤さんは、初回の4点はまぐれで、その後は貧打だ、と言っていた。好投今永を8回で引っ込め、9回は森原。が、ヒットと四球でランナーを沢山出し、2点差まで詰め寄られ、2アウト満塁のピンチ。負けが続いていたので、嫌なことを考えてしまう。ピッチャーは康晃でなく伊勢。Dragons は代打を出しそうな感じ。溝脇と高橋周平が準備をしている。高橋が代打に出てくると怖いが、と思ったら、溝脇を出してくれた。セカンドフライに打ち取りゲームセット。権藤さんは高橋を出さなかったのがご不満のご様子。まあこっちとしてはよかった。連敗は5でストップした。途中見た時は Tigers も Carp もリードされていたが、今見たらどちらも逆転している。うー、ゲーム差が縮まると思ったのに。Carp は6回2点、7回3点と取ったようだ。Tigers は6回2点、7回1点。むぅ。まあいいです。勝っていきましょう。

Hawks の連敗がようやく止まった。山本由伸を打ち込んだらしい。Fighters の連敗は伸びてしまった。Fighters は交流戦よくて、借金を5まで減らして4位に成ったのだが、借金は19まで膨れ、堂々の最下位に成ってしまったようだ。新庄監督はご陽気な人に見えるが、ああいう人の方が案外繊細なんだ。寝られていればいいが。

この前「赤い疑惑」のことを書いたが、3話以降を録画するだけして見てない。いい加減見よう、とは思うんだが、つい。ハードディスクの残りが少ないので、ダビングするものはして、見るものは見てしまわないと。講義もゼミも無いので、時間はたっぷりある。取り敢えずの用事は成績付けだが、これは締め切りは大分先。職場に行く用事は、金曜日の試験監督と来週水曜日の会議。O先生から会議をやってくれと言われたので、仕方ない。後は特にやることも無いので、少しテレビ漬けに成るか。

Hawks 悪夢のサヨナラ弾被弾で12連敗

今朝は11時くらいに起きようと思っていたのだが、9時ちょっとに目が覚めてしまった。眠くないのでいいことにして起きた。で昨日の相撲のダイジェストを見て、10時半前に住処を出た。クリーニング屋に行きたいのと「しまむら」に買い物に行きたかったので、時間があるのでついでに済ませておいた。で昼ははま寿司で。駐車場で鞄を漁った時に「義経」が入っていないことに気付いた。土曜日に出掛けた時はいつもと違う鞄を持っていったので、移しておいたのだが戻すのを忘れていた。まあいいか、と今時の若い者のようにスマホを見ながら時間潰し。途中信長のことを書いた記事に行き当たり、随分時間を掛けて読んでしまった。お腹一杯でもう食べなくてもいいのだが、記事が終わってないので、頼みもせずお茶も飲まず居座った。まあ空いている席はあったしいいでしょう、ということで。

12時40分過ぎに職場着。生協で数セミと Blu-ray のディスクを買った。前者は研究費で買ったが、流石に後者は私費で。私用に使うものを研究費で買うほど面の皮は厚くないです。

1時半からゼミ。まず円分体の場合のアルティン相互律を使って平方剰余の第2補充法則と相互法則を証明。これもガウスの証明なんだっけか？まあ有名な証明。そこで選手交代して、2次体の場合のアルティン相互律の証明。ヤコビ記号を定義したりクロネッカー記号を定義したり。クロネッカー記号が本質的にはアルティン写像であることを示した後、explicit formula を与えたりクロネッカー記号の値が－1であるような整数の存在を示したりと、ページ自体は短いが盛り沢山。核を決定するのに算術級数定理を使う。算術級数定理の証明は後でやることになっている。で2章が終了。ちょっと時間があったので、類体論のことを簡単に説明しておいた。時間的理由で類体論を勉強させることは出来ないと思われるので、まあ雰囲気を知ることが出来ただけでいいかと。で夏休みはやらないことにした。3章は雰囲気ががらっと変わって、解析的な議論が多くなる。勉強しておいてください。小生も勉強しておく。

前に論文を読んでいた時にヤコビ記号のことでちょっとわからないことがあったのだが、今日のゼミで話していた演習問題の解答を真似れば出来そう、という気がしたので、考えてみる。ヤコビ記号とかルジャンドル記号とか扱う時は大抵 square-free と仮定して一般性を失わないんだが、今日考えたことはちょっと微妙。二つのエントリーが互いに素でないとまずいので、平方因子も議論に込めないといけない。でゴチャゴチャと場合分けをしないといけなくなるが、何とか出来た。数値例で試してみてもよさそう。ということで TeX 化。学生に勉強させるとこっちも賢くなれる。大変だがいいこと。初めてやる講義も大変だが、「線形代数学」のお陰でいろんなことを知ることが出来た。暑い中行ってやった甲斐がある。学科長の仕事にも楽しさを見出したいがどうでしょうかね。明日から数週間学科長会議も教授会も無い。のんびりしよう。おっと成績付けをしないと。

で上のことを考えながらチラチラと Marines vs. Hawks の様子を気にしていた。Hawks が1回表に佐々木朗希から1点取った。で時々見ると0－1のまま。9回裏でも0－1。Marines が1アウト3塁のチャンスを作ったが、岡の内野ゴロで本塁憤死。2アウト1塁と場面は変わった。さすがに今日は Hawks 勝つだろう、と片付けをしたりしてしばし目を切っていた。で見ると、何と Marines がサヨナラ勝ちしていた。角中の代打逆転サヨナラ2ランホームラン。うー、凄い。Hawks は何と12連敗。大変だなー。

さて、上に書いたように学科長会議が無いので呑みたいところ。が、明日は保健センターに行かないといけない。暑いので出掛けたくないが仕方ない。明日の会議が無いので、水曜日は出掛けないで済むが、金曜日は試験監督。明後日から京都は連日の37度。極力外出はしないようにしよう。

森村誠一が亡くなったそうだ。「人間の証明」は面白かった。最後にこんなオチが来ますか、という感じだった。映画化されたが、オチを途中で見せてしまっていてガッカリだった。「悪魔の飽食」は731部隊のことを書いた話で、読んでて怖くなった覚えがある。集団心理というのは恐ろしいものだな、と思った。今調べたら「続・悪魔の飽食」というのもあるそうだ。が、もう恐ろしいのはいやなので読むつもりは無いが。ご冥福を祈る。

男子バレーが46年振りとなるメダルとか。昔よく土曜日の夕方に放送していた男子バレーを見ていたが、世界大会ではからっきしで、最近は全然注目していなかった。バレーボールは女子の方が強い、という印象だったが、どうしたことか男子バレーが目茶目茶強くなっていた。凄いことだ。テレビ局はもっと大きなニュースで取り上げてください。

豊昇龍が初優勝で大関確定

昨晩はブログを書いた後ハードディスクの空き容量を作る作業。まあテレビを見たということだが。「博士ちゃん」で何やら戦国武将のランキングをやる、と言っていたので録画しておいたが、面白かった。「胸アツ」な武将を平均12歳の「博士ちゃん」達が選ぶとか。まあ戦国武将のランキングと言えば、大抵信長、秀吉、家康がベスト3に成り、選ぶ人にも依るが真田幸村が上位に食い込んでくる、下の方にマニアック枠で本多忠勝とか入ってくる、と成るが、さて。で20位でいきなりビックリ。小田氏治。いやいや、誰？「じゃない方のおだ」とか「戦国最弱」とか言われて、聞いてみると城を8回も落とされてるのに、8回取り返したという剛の者。いきなり波乱の幕開け。で19位が武田信玄、18位が何と織田信長。うー。で大河ドラマの主役や誰でも知ってる加藤清正とか出てくるんだが、蒲生氏郷とか清水宗治（秀吉が備中大返しをする前に戦ってた相手）、成田長親（石田三成の忍城攻めを失敗に終わらせた武将で、映画「のぼうの城」の主人公）等が入っている。かなりマニアック。で6位が何と鳥居強右衛門。足軽だぞ。5位竹中半兵衛、4位島津義弘。いやこれだと秀吉と家康入らないぞ、と思ったらその通りで、3位が真田幸村、2位が大谷吉継（石田三成との友情話は有名）、1位が立花宗茂。関が原で西軍に付いたため柳川の領地を取り上げられるも、人望の厚さを見込まれ、2代将軍秀忠の時に柳川の大名に返り咲いた、という逸話は知ってた。が、博士ちゃん達としては、朝鮮出兵の時に加藤清正の軍が朝鮮・明の軍勢に囲まれ危機一髪のところを救った、というのが「胸アツ」だったようだ。サンドウィッチマンの伊達が「全然知らん人が1位に成ってしまった」と言っていたが、まあ大抵の人はそうだろう。マニアック過ぎて面白かったので、残しておくことにした。2時間半ものなので、ダビングに2時間半掛かる。ダビングが終わったら消さないと今日の大河ドラマが録れないので、起きていなくてはいけなくなった。まあいいか、時間はたっぷりあるし、ということで、時間の長いものを見ることにして、去年の「ゴチバトル」の決着を復習。4万円設定の所を軒並み4万6千円とか5万円とか、もの凄い額に成ってた。でもう気付いたら昼。うーん、時間を無駄に使ったな。まあいいけど。

昼飯を食べてちょっとだけ寝て、相撲の最後の方を見るべく起きる。ずっとトップを走っていた錦木は失速して、北勝富士に負けて5敗。かたや北勝富士は12勝3敗。結び前の豊昇龍 vs. 新入幕・伯桜鵬の3敗対決はは豊昇龍が貫録を見せて12勝3敗。伯桜鵬は新入幕優勝の109年振りの快挙を逃した。で決定戦。本割では北勝富士が豊昇龍を破っているがさて。力の入る一番は豊昇龍が制して初優勝。大関も確定らしい。新大関の霧島が初日から休場、途中復帰を果たすも負け越しで、全休の貴景勝と共に来場所はカド番だけに、新大関誕生は明るい話題。楽しみ。若元春と大栄翔は共に9勝で、大関獲りは一からやり直し。まあ関脇で連続勝ち越しで、力のあるところは見せた。めげずに頑張ってください。途中休場も出てきた朝乃山は勝ち越し。三賞は延べ8人と、史上最多とか。凄い場所だったね。と言えるほど見たわけではないが。

相撲の優勝が決まったのは5時40分近くで、今日の野球は何故か5時からなので途中から。Giants 相手に今シーズン無失点、2勝の平良が先発なのでやってくれると信じるも、4回に3点まとめて取られ降板。打線は相変わらず元気無く、無得点で5連敗。Tigers と Carp が勝っただけに痛い。4ゲーム差。1ヶ月前は首位だ首位だと喜んでいたんだが。6月23日のソトのホームラン以降横浜スタジアムでホームランを打っていないらしい。相手はバカスカ打つんだがな。昨日3発、今日2発献上。うーん。暑くてばてているのかもしれない。火曜日からバンテリンドームらしいから、涼しくていいでしょう。大きな球場でホームランは出ないかもしれないが、取り敢えず5本以上のヒットと得点を是非。来週は上げ潮でいきましょう。

野球中継は8時15分くらいに終わったので、大河ドラマを見た。VHS のテープに録ってた頃は、録画が終わって巻き戻して、とかやらなくちゃいけなかったが、ハードディスク録画のいい所は録画している番組を追いかけ再生出来ること。ということで録画しながら見た。今日は「本能寺の変」だが、知っている話とは色々違う。まあそこまで込めてドラマだと思って見ればいいのだが。演出の人は「村橋直樹」という名前だったが、知り合いの名前と酷似している。「高橋直樹」（髭のサイドスロー投手）とも似てるな。まあだから何、ということはないが。もう時期的に半分終わっているが、来週は所謂「神君伊賀越え」らしい。本多正信が復帰するようだ。もう時期的に半分以上終わっている筈だが、こんなペースで大坂の陣までやれるんだろうか？小牧・長久手の戦いとか、秀吉の妹を正室として押し付けらる件とか、秀吉の前で頭を下げさせらたりとか、まだまだ「どうする家康」というシーンは多いと思うんだが。結構面白い所をバッサリ略、とかするんだろうか？

で大河ドラマをダビングしながら「サンデースポーツ」を見ている。Hawks と Fighters が2桁連敗の泥沼だが、どう成ったろう？と思ったら、どちらも今日は負けた。Baystars の5連敗がかわいく見える。明日の野球は Marines vs. Hawks のみのようだが、Marines の先発は佐々木朗希らしい。厳しいね。内川が今後の展望をやっているが、セ・リーグの優勝最右翼は Baystars とか。いいですね。OB の期待通りの結果に成ってくれるのを期待。

明日は11時には起きたい。ということでもう寝る。明日はゼミのため、明後日は保健センター行きのため、金曜日は試験監督のためと、職場には結構行く。水曜日は会議をやれば職場に行くが、出来れば避けたい。暑いからね。まあ行ったら陽が落ちるまで職場にいることにしよう。あ、火曜日は調剤薬局が閉まる前に行かないといけないから、7時には出ないといけないな。7時だとまだ明るいかな？

リーグ戦再開の試合は負けで、4連敗

今日（もう昨日だが）は書いた通り12時に市内某所に行く用事があり、11時前に起きて11時半近くに住処を出た。で電車の中と色々待っている間に「義経」の続きを読んだ。ようやく「壇ノ浦」のあたり。平家滅亡も近いな。

で待っている間に眠くて仕方なくなり、住処に帰ってきて一寝入り、と思ったら結構長時間寝てしまい、目が覚めたら相撲は終わっていた。ダイジェストを見るのでいいことにして、6時から野球。今日、明日（昨日、今日だが）と横浜スタジアムで vs. Giants。石田がソロホームラン2発打たれたが、失点はそれだけ。今日1番に起用された梶原のタイムリーと、山本の内野ゴロの間に関根がホームに突っ込んで同点。関根の件は最初アウトに成ったが、リクエストで判定が覆った。こういう日はいいことがある、と信じていたが、腹が痛くてトイレに行っている間に Giants の何とか言う選手（失念）に伊勢が2ランホームランを打たれてしまう。9回裏に3番宮崎が先頭打者でヒットを打つも、牧がダブルプレー。もう駄目か、と思ったら、その後ランナーが二人出て、代打楠本。楠本はいい結果を残している。やってくれる、と信じたが内野ゴロでゲームセット。4連敗。うーん、痛い。

で呑みに行くことにしていたので、9時くらいに住処を出る。呑み屋に着いてみると、いまさっきまで常連さんがいて、小生に会いたがっていたという。申し訳ないことをした。その後 Tigers の試合を店中でスマホ観戦。3点負けている状況で1アウト満塁。Tigers ファンは盛り上がっていたが、小生はこっそり負けるよう願っていた。でそのままゲームセット。Tigers と Carp がゲーム差無し、という状況。うむ。明日は Baystars が勝って、Tigers と Carp が負けるよう、今から呪いをかける。

その後呑み屋では話が右に行ったり左に行ったりと盛り上がる。V9 巨人とか知らんぞ、とか、長嶋茂雄の現役時代なぞ知らんぞ、とか、野球と関係無く、山口百恵の映像は引退コンサートでしか見たことないぞ、とか、小生の歳を感じさせる会話が多数。後今回に限らずプロ野球のオールスターは祭りなのか真剣勝負なのか、など。ラオウ杉本と九里のあれは無いだろ、という意見が出た。イチロー vs. 松井秀喜を実現させようとした仰木と避けようとしたノムさんはどっちが是か非かなども。楽しかった。赤色の「理工学部ポロシャツ」を着て行ったのだが、帰り際に「赤が似合う」とか「若く見える」と言われて、いい思いをして帰ってこられた。

さて、今確認したら、明日（もう今日だが）の大河ドラマを録画する容量がハードディスクに無いことが分かった。でCMで「科捜研の女」の新シリーズを8月からやる、という情報が。これは沢山見ないといけないな。そろそろ見ないままに成っているプロレスとか去年の「ゴチバトル」とか消さないといけなくなりそう。今から作業。明日（月曜日）はゼミをやると学生と約束したので、今日は程々に寝ないと。まあこの間までは10時40分から講義だったが、ゼミは1時半からやるということに成ったので、少し無茶は出来るかな、という感じ。類体論のおもちゃをやるので、少し勉強しておかないと。忙しいぞ！

「代数学I」も最終回で、春学期の講義は全て終了

昨日はちょっと夜更かししてしまった。お陰で最小多項式が (X－λ)ⁿ であるn次正方行列のジョルダン標準形を求める方法は完全に分かった。でそのせいで今日は起きたら12時を回っていた。ぎゃ！寝癖が酷いので、シャワーで軽く直して、12時半ちょい前に出勤。

講義室に着いたのは1時2分くらい。最終回にして遅刻とは情けない。まあ殆ど聴衆はいないのでいいです。今日は105減算の話をして、恒例小生の年齢を当てさせるクイズを出しておいた。その後代数的整数を使って3次多項式が既約であることを示す例を二つばかりやって、三角関数 cos(2π/n) と sin(2π/n) が有理数であるような自然数 n は殆ど存在しないことを示す。まだ時間があったので、ウィルソンの定理を使って「非素数判定」と「素因数を見付ける」が同値でないことを示唆し、フェルマーテストを用いた非素数判定の例など。まだ時間があったので、フェルマー数の素因数の形を群論を使って絞って、F₅ が 641 で割れることをやったあたりで時間に成ってしまった。素数 p に対し、正 p 角形が定規とコンパスで作図可能 ⇔ p がフェルマー素数、ということを話す時間が無かったが、まあこれは「代数学II」できっちり示すので、いいでしょう。15週間お疲れさまでした ＞ 小生。

お分かりの通り昨日の晩から何も食べてないので、生協で弁当を買って流し込む。2時40分からゼミの約束だが、5分くらい遅れてしまった。まあいいです。整数論の本は原始的ディリクレ指標とか導手とか。でガウス和を定義して、絶対値を調べる話が済んだあたり。超越数のゼミは e と π が超越数であることを証明してくれた。代数的であると仮定して、定義多項式の係数を含む積分を上と下から評価して、その不等式が破綻していることを示す、という方法。昔スチュワートの「ガロア理論」を読んだ時に勉強したはずだが、完全に忘れていた。粗筋は分かったので、夏休みにでもちゃんと勉強してみようか、という気にちょっとだけ成ったが、まあ読まないでしょう。15週間お疲れさまでした ＞ 学生さん。

その後部屋で講義ノートを web に上げる作業。ちょっと直したい所があったので、直して上げる。その後誰も解かない演習問題の最終回を上げておく。まだやりたいことが無いではなかったが、まあ帰って録画してあるものを幾つか見よう、ということにして、5時40分くらいに個研室を出る。で表に出たところで気付いた。サンダルを履いてる。靴に履きなおすため個研室にとって帰して、急いで履き替える。そのせいで高速道路の渋滞にはまってしまった。まあいいけど。住処には6時45分くらいに着いた。

それから7時のニュースで相撲の結果を確認。3関脇とも大関は厳しくなったね。錦木が負けて北勝富士が勝ったそうで、これで北勝富士が単独トップ。後二日、どうなるでしょう？その後録画してあって見てなかった「赤い霊柩車」を見て、先週の「座王」を見て、などとしている間に「報道ステーションの時間」に成ってしまった。「ビッグモーター」の件をやっていたが、馬鹿なことをしたもんだ。ちょっと金儲けがしたいばっかりに。会社が潰れるかもしれない。佐藤隆太がCMに出ていたが、悲しんでいるだろう。その後元 Tigers の横田慎太郎の話。Tigers 唯一の日本一の時は、球団社長が日航機の飛行機墜落事故で亡くなって、弔い合戦じゃ！と意気込んで優勝したわけだが、今年は横田の為に頑張っちゃうんだろうか？それはご勘弁を。今年は Baystars が優勝するんじゃ！何しろオールスターのセ・リーグの全得点は Baystars 勢のバットから生まれている。とか書くとちょっと格好いいが、セ・リーグは2試合で2点しかとっておらず、1点は宮崎のソロホームラン、もう1点は牧のタイムリーヒット。Tigers の投手は全員失点していた。Baystars 投手陣はバウアーが2失点しているが、他はまずまず。今年は Baystars が優勝するんじゃ！

さて、講義が済んだし、一杯引っ掛けようか、と思ったが、予定を見たら明日は昼前に出掛けないといけない用事があった。まあいいや、明日吞もう。今晩はそれなりに寝る。取り敢えず講義で使う例を作るためなどで紙に書き散らしたものを今から TeX 化する。それが済んだら寝よう。今日は「探偵ナイトスクープ」が無いし。

バウアーが万波にMVP弾を献上してパ・リーグの5連勝

今日は狂ったように寝た。やはり徹夜すると疲れるね。寝過ぎも疲れる。明日で講義は終わりだ。今日は程々に寝よう。

相撲は最初から見た。今日は関脇は全員負けた。優勝争いの単独トップを走っていた錦木も黒星。豊昇龍を破った北勝富士と錦木が2敗でトップ。さあどうなるでしょう？明日は5時50分までゼミだから見ることは出来ない。夜のNHKニュースを楽しみにしておこう。

6時半からオールスター第2戦。今日の見所はパ・リーグ先発の山下（Buffaloes）。去年までは登板が無かったが、今年は開幕投手に抜擢され、ここまで8勝で防御率1.49。今日も素晴らしいピッチングを見せた。後半戦も活躍して、Buffaloes の3連覇を是非。2回に若月（Buffaloes）の犠牲フライでパが先制。4回のセ・リーグのピッチャーはバウアー（Baystars）。全球球種を宣言して投げるという、オールスターならではの投球。それを万波（Fighters）が打ち返してホームラン。お見事。5回に牧（Baystars）がタイムリーでセ・リーグが1点返すも、7回に栗原（Hawks）が犠牲フライ、8回にマルティネス（Fighters）が2点タイムリー2ベース。関根（Baystars）が飛び込んだが、惜しくも届かず。で6－1とパ・リーグの圧勝。これでパ・リーグの5連勝とか。パ・リーグは強いね。MVP は万波。楽しめた。リーグ戦は土曜日に再開。横浜スタジアムで Giants と。負けが込んでるとはいえ、横浜スタジアムでは強い Baystars。勝ってください。

近畿地方は梅雨明けした模様。「模様」というのが怪しいが。梅雨が明ける前から暑かった。もっと暑くなるのかな。まあ明日で講義は終わりだし、昼間は極力外出しないようにしよう。と言っても来週は月曜日は1時半からゼミ、火曜日は保健センター、金曜日は何やら試験監督に割り当てられている。仕方ないが外出しないと。Uber Eats という悪いものを覚えてしまったので、食事のための外出というのが無くなったのは大きい。前は暑い中駅前まで歩いて食事に行っていたが。もしくは夜のうちにコンビニに買い出しに行って、暑い中拉麺は嫌だからカップ焼きそば、という一択だった。まあ栄養的には Uber Eats の方がいいかな。財布には優しくないが。

ちょっとだけ松坂和夫「線型代数入門」を読んだ。一般固有空間を求めるのに固有値の重複度が使える、という定理だが、知らない証明が出ていた。ほぅ、と思って読んだ。講義でやった証明も出ていた。厚い本は色々書いてあって楽しい。薄い本の方が好まれる傾向があるが、厚さを削る分色々犠牲にしているはずだ。厚い本を読みましょう。

プロ野球のオールスター第1戦はパ・リーグの圧勝

昨晩はその後大河ドラマ、「ゴチバトル」、2時間ドラマの「狩矢親子シリーズ」を見た。最後の奴は和美と夏目君が知り合う回。前に見た時は夏目君はもう普通にいたので、最初から出てるのかと思って調べたら、第3作からの登場らしい。和美を演じるのは藤谷美紀だが、調べたらもうすぐ50歳に成るらしい。この前小川範子（「はぐれ刑事」シリーズで藤田まこと演じる安浦刑事の次女役が印象的）も50歳に成ると知ってびっくりしたばっかりなのだが。子供の頃や学生の頃の記憶にある俳優はタレントが皆50だ60だ70だと成ったと知ると歳を取ったのを感じるね。

さて、と思ったんだが、手近に何故か斎藤正彦先生の「線型代数入門」があった。ジョルダン標準形の計算例が沢山出ている。講義では二つ計算したが、「一般固有空間の基底を上手に選べば」の「選べば」が講義で使ったテキストには書かれていない。出ている例は最初からいい基底が選べるというご気楽な例。固有値が λ 一つだけで、最小多項式が (X－λ)² である3次正方行列の場合は基底をどう選べばいいんだろう？最小多項式が (X－λ)³ の場合は？というわけで読んでみた。が、何をしてるのかさっぱりわからん。そもそも何でこんな連立方程式を解くんだ？でしばらく考え込む。色々やったらやっと分かった。で次は計算が分からない。斉次じゃない連立方程式の解き方ってこれでいいはずだが、と思いながらやってみると何かおかしい。しばし紙に書き散らして色々。でようやく分かった。Ax＝b の b にパラメーターが二つ入っていて、Ax＝0 の解空間の次元が2だからまたパラメーターが二つと、大分混乱した。ようやく分かった。もう昼近く。また徹夜してしまった。TeX 化して食事を食べて、一旦横に成った。

相撲は途中から。昨日は3関脇のうち勝ったのは大栄翔だけだったが、今日は負けたのが大栄翔だけ。大栄翔は大関取りの為には残り4日間を3勝1敗でいかないといけないという、中々シビアな状況に追い込まれた。どう成るでしょうか？

6時半からプロ野球のオールスター。1回表からパ・リーグがいきなり4点。先頭打者から4連打で2点の後、一人挟んでヒットと内野ゴロでもう2点。村上（Tigers）をバカバカと打ち込む。どうやったら打てるのか教えてもらいたい。その後もパ・リーグにどんどん点が入る。柳田（Hawks）、万波（Fighters）がホームラン。7回表を終了した時点で8－0。途中スマホをちらっと見たら、セ・リーグで無失点は東（Baystars）だけ、と。で宮崎（Baystars）にホームランが飛び出し、セ・リーグはようやく1点。結局8－1とパ・リーグの圧勝。MVP は柳田。3安打とファインプレーの近藤（Hawks）と、万波、宮崎が敢闘選手賞。まあ Baystars 陣は目立ったね。佐野もいい当たりを打ったのだが、頓宮（Buffaloes）のジャンピングキャッチに阻まれた。明日はどう成るでしょう？

何となくもう講義が終わったような気分に成ってしまったが、金曜日に講義があるのだった。今日、明日はちゃんと寝よう。先週の金曜日にレポートの問題について聞かれたが、嘘を教えてしまったようだ。まあいつも言っている通り、講義でやったことや本に書いてあることには絶対間違いが含まれているので、頭っから信用してはいけない。最後は自分で考えてください。今見たら「線形代数学」は6人、「代数学I」は3人既に提出している。土曜日5時が締め切りで、来週は試験週間だから、早目に提出して楽に成りたい、というところだろうか。日曜日以降にチャチャっと採点してしまおう。去年まではいいお友達がいれば得するシステムに成っていたが、今年はそうはいかなくした。どうやったかって？さあ。まあ頑張ってください。

学科長会議の最中にうつらつら

昨晩は講義が終わった開放感からか、ちょっと夜更かししてしまった。で今日は12時くらいには起きたが、眠い。学科長会議中もうつらうつら。いかん、真面目に聞かないと、と気を取り直して話を聞くも、眠いのは変わらず。会議終了後一寝入り。教授会は4時30分からだが、目が覚めたらもう5時近く。まずい、と思って急いで起きるて Zoom のリンクをクリックするも、参加させてくれる様子が無い。昨日の晩議題と資料をちょっとだけ見たが、特に難しそうな議題は無かったので、30分弱で終わってしまった、ということだろう。まあいいです。前は短時間の教授会のためわざわざ出勤していたが、そういうのが無くなったのはいいこと。Zoom なんて数年前までは聞いたことが無かったが、今では誰でも使っている。世の中変わったな。

で相撲を途中から。北勝富士と錦木が1敗を守った。豊昇龍は琴ノ若に負けて2敗目、若元春は阿武咲に負けて3敗目。若元春の大関昇進は難しくなったかな。

今日は野球が無い。いや、フレッシュオールスターはあったが。その時間を有効に使おう、思っていたんだが、マインスイーパーでほぼ潰れた。成功しないとどうしても悔しくて続けてやってしまう。昨日の晩 11111 ゲームを記録したが、今見たらもう 11316 ゲームに成ってる。5月に買ったパソコンだぞ。やり過ぎ。職場のパソコンでもよくやってるが、講義があったりゼミがあったり会議があったりでやった回数はたかが知れてるが、住処だと一晩中やってしまうことがある。今晩は「相席食堂」も「アンタウオッチマン」も無いし、録画したものを幾つか見よう。それにはマインスイーパーを1回成功しないと。ということでもう少しやる。

京都アニメーションの放火事件から4年経つそうだ。酷い事件だった。ようやく裁判が始まるらしい。極刑にしてくれ。何度も書いてるが、小生死刑はやってもいいと思っている。時代劇の見過ぎで死刑に対する感覚が麻痺しているので。大河ドラマでは武田勝頼の首を板に乗せて信長と家康の前に運ぶという、やややり過ぎの感がある演出をしていたが、昔は本当にあんなことをしていたのだろう。今回の事件の犯人にも是非獄門を。

「線形代数学」は今日で終わり

目が覚めたら9時半過ぎ。講義資料は職場の近くのコンビニエンスストアで印刷すればいいや、くらいに思って昨日寝たんだが、その時間は微妙。なので近所のセブンイレブンで印刷してきた。ついでにドリンクを買ってドーピング。10時ちょい前に住処を発つ。

今日は祝日なので、高速道路は440円。混んでもおらず、10時半くらいに職場の駐車場に着いた。10時35分過ぎに講義室へ。今日は「線形代数学」の最終回。祝日のせいか先週より少ない気がしたがどうだろうか？ある3次の正方行列のジョルダン標準形を2通りの方法で求めて、ジョルダン標準形の応用として「対角化可能 ⇔ 最小多項式が重根を持たない」を証明。ジョルダン標準形を使わなくても示せるよ、と言っておいた。その後仕方ないので複素内積をやる。長さ（ノルム）を定義して、シュワルツの不等式と三角不等式の証明。案外大変。で実内積空間の場合はベクトルのなす角に意味があるが、複素の場合は定義出来ない、と言ったが、直交することだけはちゃんと定義出来る。でやって、直交補空間とか定義して、1個例を出して、直交補空間が前にやった意味での補空間に成っていることなど書いていたら時間が来てしまった。随伴行列とかエルミート行列、ユニタリ行列などはやれなかった。まあいいでしょう。で振り返ってみると、いつも最前列で豪快に寝ている学生がいたんだが、今日は2列目に下がって起きていた。が、別の1番前に座ってる学生が寝てた。まあいいです。疲れた。

暑くて駐車場まで歩きたくない。なので弁当で済ますことにした。冷めた弁当かと思ったら、この前見付けたカレー屋の車を見掛けた。そこで買うことにする。「スペシャル」と言って、熟成カレーとキーマカレーのブレンドしたものを買う。焼きカレーが人気のようだが、待ちたくないので、そっちにした。まあ旨かった。で講義の資料を web に上げる作業をしよう、と思って三角不等式の辺りを見てたら何かおかしい。講義で成り立つと言った等式が成り立たない気がして焦った。最終回に嘘を教えてしまったか、と思ってよく見直すと大丈夫だった。等号が成り立っている、という仮定で議論を進めていたのを忘れていた。最近こんなのが多い。暑さのせいかな。C² の場合にシュワルツの不等式が成立するのはガリガリやれば示せるのでこの前やった。それを TeX 化したりなど色々やっているうちに4時を過ぎてしまった。こんなのを15週間続けてしまった。まあいいけど。

4時20分からゼミ。今日は円分体の場合のアルティンの相互律。相変わらず色々問題あり。「n＝l－1 の場合に証明すればよい」とか書いてあるんだが、何故それでいいの？と聞くと答えられない。他にも「…を示せばよい」にも答えられなかったり。ずっとそういうことを気にしないでやってきた証拠だ。小生割合最初の頃から細かいことは気にしていた。「明らか」と書いてあったら、そうか？、と必ず立ち止まり、さっきのように「…とすればよい」というのも必ず気にしていた。友人に電話で「何でイデアルに1が入ったら環全体に一致するの？」と聞かれたことがあったが、そいつもちゃんと気にしていたということだろう。ページを進むことも大事だが、細かいことを気にしながら進まないといけない。で色々突っ込んだので、中途半端な所で終わってしまった。今日で講義期間は終わりなんだが、区切りまでやりたいので、来週もやることにした。ただ4時20分から7時半とか訳の分からない時間にやらなくてもいいので、学生の都合も勘案して1時半開始にした。ちょっとゆっくり寝られるかな。

今晩は「過ぎるTV」も「激レアさんを連れてきた。」も「キョコロヒー」も無いようだ。世界水泳が始まっているので。明日は学科長会議も教授会もある。ちゃんと寝ておこう。会議資料は web の然るべき場所に前日にはアップされているんだが、さっき見たら無かった。今日は事務の人が休みだから仕方ないか。ちょっと早起きしてダウンロードすればいいや。程々にして寝よう。

などとしながら「報道ステーション」を見ている。野球の速報が始まった。Baystars は相変わらずの貧打で今日も1得点。ピッチャーの床田に2ベースヒットを打たれてしまうとは。バウアーでもダメか。かたや凄いのが Swallows vs. Giants。1回裏に Swallows が6点取って菅野をノックアウトも、序盤でひっくり返される。が、その後 Swallows が再逆転したり Giants が追い付いたりで、10－10 で延長に。で最後は Swallows が寄り切った、という展開。点が入るのは見てて楽しいような落ち着かないようなだろうが、羨ましい限り。Baystars は数試合前に4点取ったが、それ以外は2得点以下が続いている。ここは耐えるしかないです。オールスター明けに大爆発してくれると信じます。

オールスター前21戦を13勝で行く、と息巻いていたが、気付けば3位転落

今朝は結局寝なかった。シュワルツの不等式の等号成立条件だけやって、三角不等式の等号成立条件をやらないわけにいくまい、と。で前に考えたものを TeX 化して寝ようと思ったんだが、何かおかしい。絶対値をかました等式を証明しないといけない筈だが、絶対値が無い。で考え始めて堂々巡りで、上手くいかない。うぉー。これは腹が減ってるからいけないんだな、と思ってカップラーメンをすする。テレビのチャンネルはTBSチャンネル2のままだったが、見てたら「赤い疑惑」というドラマが始まった。これは山口百恵が主役で、白血病に罹るドラマかな？と思ったらそうだった。小生が小学生の時に放送していたものだろう。主演は山口百恵でなく宇津井健。まあそれはそうだろう。大映テレビらしいドロドロした作り。2話続けてやったので、見てしまった。明日の早朝にも2話やるようだから、録画しておく。しかし山口百恵ってこんな田舎臭い顔してたかな？引退記念コンサートの映像くらいしか知らないが、恐ろしく美人だったと思っていたんだが。三浦友和も出ているが、今に比べると大分怖い顔をしている。「洋服の青山」のCMの顔は凄く穏やかなのだがな。まあビートたけしの映画でかなり危ない役をやっていたし、よく見れば素質はあったんだろう。

5時半過ぎに線形代数の続きを始める。色々ぐちゃぐちゃやったら示せた。もっとエレガントな方法は無いものか？と思って手近の本を調べたりインターネット検索をしても出てこない。まあいいや、と TeX 化。で R² に標準内積を入れた時にシュワルツの不等式や三角不等式を成分計算でゴリゴリやったらどうなるか、と思ってやってみる。予想以上に上手くいく。じゃあ C² に標準エルミート内積を入れるとどうなる？とやってみたら、上手くいかない。何でじゃろうな？などとしながらマインスイーパーをやったりとかしているうちに眠くなってきた。

2時間くらいで起きてしまった。昼飯を食べて見返すと、単純な間違いをしていることが分かった。シュワルツの不等式は内積の「絶対値」とベクトルの長さの積を比較するもの。実内積空間だと絶対値の2乗は何もしないで2乗したのと同じだが、複素だとそうはいかない。|z|²＝z² ではない！でそこを直してみたら、ちゃんと綺麗に行った。よかった。などとごちゃごちゃやっていたら何やらサスペンスドラマが始まって、結論が気に成りつい見てしまった。いかんな。そうこうしているうちに相撲の時間。あ、今朝の「サンデーライブ」で昨日の豊昇龍 vs. 朝乃山の一番をやっていた。テレビ朝日系は相撲のことはやらないと思ったら、そうでもないんだな。局と相撲協会で揉め事でもあるのかと心配していたが。

今日も野球は5時からなので、相撲は途中で切り上げて野球。今日負けると3位転落。負けるわけにはいかない。が、東が2回に2ランホームランを打たれてしまう。もう。が、東はそれだけで、その後はナイスピッチング。6回に代打楠本のタイムリーで1点、7回に佐野のタイムリー2ベースで同点。よしよし。などと思っていたらとんでもないことに。8回表2アウト。打球は途中からライトに入っている関根の所へ。が、何でもないフライを関根が落球。次の野間を伊勢が2ストライクに追い込む。解説の工藤公康氏がべた褒めするくらいのいい球が行っている。が、肝心の所で失投。野間にタイムリーを打たれ勝ち越される。うーん。8回裏はいいところなし。関根も名誉挽回出来ず。9回裏2アウト2、3塁。バッターは牧。レフトへ大きな当たり。お！と思ったがファール。結局三振でゲームセット。3位転落か。今 Tigers が負けた。明日の結果次第では Carp が Tigers とゲーム差なしに成る。うーん。明日はバウアーだ。やってくれる。今日ゲン担ぎにバウアーのTシャツを買った。届くのは随分先のようだが。勝ちましょう。が、ぜいたくを言ってはいけない。まだ貯金は6もある。今月は我慢の月だ。何とか5分で行って、来月大勝ちしましょう。

この3連戦は何故5時開始かというと、試合終了後にライブがあるから。昨日は「≠ME」とかいうのが、今日は「湘南乃風」。どっちも殆ど知らない。前者は何やら深夜の音楽番組でやっていたが、指原莉乃がプロデュースしているらしく、「のいみー」とか言ってた。こう略されると ≠ の意味が無くなってしまう。後者は今1曲聞いたが、ああ、この歌ね、という感じ。若い人とカラオケ行くといつも歌ってた。湘南と言えば最近は「湘南乃風」より「湘南乃海」だ。新入幕の有望株。今調べたら、名前は「桃太郎」らしい。大磯出身とか。応援しませう。

今日は割とダラダラと過ごした。先週と先々週はジョルダン標準形のことで必死だったが。明日はエルミート内積を中途半端にやってセメスター終了、ということに成りそうだ。まあいいけど。来年度は「線形代数学」はやらないことにしたい。近々来年の講義担当を決めると教務委員の先生が言ってた。今から根回ししておこうかな。まあとにかく、寝ます。12時間くらい寝れば丁度いいくらいだ。

今永は快投をするも、逆転負けで Carp とゲーム差無しに」

今日（もう昨日だが）は11時から近所でちょっと用事があり、10時にアラームを仕掛けるも、目が覚めたら10時45分。ぎゃ！が、まだ間に合う。取り急ぎ出掛ける。用事は無難に終了。松屋で鰻を食べてきた。

で帰ってきて、眠いぞ！ということで4時くらいまで寝てしまった。相撲を中入りの途中から。最後まで見たかというとさにあらず。野球が5時から。ということでTBSチャンネル2に合わせて、観戦。今永、大瀬良がパーフェクトピッチングを続ける。今永が先にヒットを打たれたが、無得点のまま。大瀬良が先に失点。今永のスクイズバントで。9回表までそのまま続き、康晃が登板。やってくれるでしょう、と信じていたら、1アウトから坂倉にホームランを打たれ追い付かれてしまう。…。ランナーを更に出して、エスコバーに交代させられてしまった。曾澤に勝ち越しの犠牲フライを打たれ、the end。Carp はビジターの土曜日にひどく負けていたそうだが、ストップさせてしまった。「相手チームの連敗ストッパー」というのがよくあることらしく、今日もか。まあいいです。明日、明後日（今日、明日だが）勝って、いい感じでオールスターブレークを迎えましょう。

8時半前に野球が終わった。呑みに行くか、ということにするが、まずシャワーを浴びておく。8時45分くらいに出発。珍しく客がいた。帰っていかれて、暫くさしで話していたが、定期的にバイトに入っている人が来て、3人で盛り上がる。二人とも Tigers ファンなので、劣勢だったが、Tigers が2点差を追い付かれて、最終的には逆転負け。大喜びは控えたが、まあ嬉しかった。Carp にゲーム差無しにされてしまったが、まあいいです。その後色々盛り上がって、今さっきまで呑んでた。昼の営業を始めたため、前のように3時、4時まで、というわけにはいかないが、まあ当然でしょう。楽しかった。

野球を観ながら線形代数のことを考えていたが、シュワルツの不等式の等号成立条件は三宅先生の本の証明から従う、ということが分かった。いや、自力で分かったわけではなく、齋藤正彦「線型代数入門」に書いてあったメモを見て分かったのだ。昔自分で書いたメモじゃないのかって？いや、どうだろう。ゼミ形式で読んだテキストなので、その時に教えてもらったのかもしれない。まあ何にしても、大幅に講義資料を書き直すのでなくてよかった。これから寝て、起きて月曜日の講義資料を完成させるか、このまま起き続けて完成させて、大河ドラマの始める前に寝て月曜の朝まで爆睡するか、これから考える。15週目だ、無難に終わらせよう。

バウアーがプラスワン投票で37万票獲得

昨日はブログを書き終わって即ダウン。徹夜した日は12時間くらい寝てしまうのがいつもで、今日も12時近くまで寝ていた。1時から講義で終了後即ゼミ。食事を摂る時間が絶対必要なので、着替えて即出発。12時半くらいに職場に着いて、食事を掻っ込んで講義室へ向かう。

1時から「代数学I」。まず局所化が局所環であることを証明。Z を (p) で局所化する例を挙げて、剰余体が Z/pZ と成ることを示せ、という演習問題を出す。その後は Chinese remainder theorem の話。一般の可換環でやるので、イデアルの和と積を定義して、イデアルが互いに素であることを定義。最大公約イデアルとか最小公倍イデアルという言葉があるが、Z の場合はまさに最大公約イデアル、最小公倍イデアルという感じだろう、と注意をしてから C.R.T. の証明。その後 3⁶¹ の下二桁は？という例を出す。(Z/100Z)^× の構造を C.R.T. を用いて調べれば、何も計算せず 3²⁰≡1 (mod 100) が分かる、ということを示す。これ実は大した計算をしないでも暗算で示せるのだが、それをやる時間が無かったので、manaba+R に上げる資料には書いておくことにして、最後にオイラー関数の乗法性を示して終了。105減算をやる時間が無かったが、来週やるかどうかはこれから考える。その後学生が色々質問してきた。レポートの問題が解けないらしい。うろ覚えで答えたから嘘を言っている可能性があるな。後で見ておこう。それと多項式 f(X) が既約であることを f(－X) が既約であることが同値、というのを示せないらしい。前は「f(X＋1) が既約なら f(X) が既約」がわからないと質問されたことがあったが、これは多分多項式と多項式関数を同一視してしまうから難しく感じるのだろう。多項式が既約であることの定義に帰ればほぼ自明なのだが。あまり時間が無かったので、口頭で答えておく。それと重大事。レポートを manba+R に提出せよ、としていたんだが、提出場所が無い、との返事。後で見てみたら、レポート問題が非公表の状態に成っていた。問題もそこに出していたんだが、幸いにも別の所にも問題を置いていたので、手に入れることは出来ていたようだ。危ない。

2時40分からゼミ。整数論のゼミは有限アーベル群とその指標群が同型であることから。巡回群の場合は大変易しいが、一般の場合は結構難しい。お気楽に「アーベル群の基本定理で巡回群の場合に帰着できる」と書いているものが時々あるが、いざやってみるとそんな一言では済むはずはない、と昔思ったが、さすがは山本芳彦先生はきっちり証明を与えていた。学生もちゃんと証明していた。よかった。これでディリクレ指標の群が既約剰余類群と同型に成ったわけで、(Z/p^eZ)^×（p は素数）の構造を調べることに話が移った。p が奇数の場合は巡回群に成るが、mod p の原始根を r とした時、(Z/p^eZ)^× の原始根は r か r＋p に成る、という証明は高木貞治の「初等整数論講義」に出ているが、今回の証明はもっと群論チックだった。p＝2 の場合も証明。例もやってくれて、まあよかった。超越数のゼミはいよいよ超越数の章に入った。まずは代数的数とか代数的整数とか、代数的数の次数とか分母とか共役とかノルムとか定義。「基本不等式」というのが出てきたが、何やらこれが与えられた数が超越数であることを示すキーに成るらしい。ふーん、と思ったら、早速使ってくれた。リュービル数の超越性など。先の方をちょっと眺めたら、色々難しいことが出ている。楽しみのような怖いような。彼が院試に受かってくれればいいが。こんな難しいことは指導できないので、うちの大学院に来るようなことに成らないで欲しい。

今日は野球が無い。月曜日が祝日で、土、日、月で三連戦をやるためだろう。で火曜日は試合無しで、水、木がオールスター。バウアーがプラスワン投票で選ばれたが、得票数は約37万票で、2位が4万弱と、ほぼ10倍の大差。皆バウアーが見たいということかな。中4日のローテーションで投げているので、オールスターでは無理をしないで欲しい。関根も補充選手で選ばれて、Baystars からは8人出場。オールスターが見たいので、来週の学科会議は無しにしたいがどう成るだろうか？

火曜日の学科長会議と教授会の資料が今日送られてきた。いつもは月曜日に来るのに何でだろう？と思ったら、さっき書いたように月曜日は祝日。事務は休むということだな。小生は10時40分から講義、4時20分からゼミと、平常営業。来週で講義が終わるが、月曜日は2回生来るだろうか？

上に書いたように野球が無いので、野球を観る時間を使って先週やった「ゴチバトル」の2時間スペシャルを見た。坂口健太郎が手品をやっていたが、岡村にカードを引かせて云々、という手品で、引いたカードは何だろう？というところで、直感で何となくハートの10だと思ったのだが、何とそうだった。変な所で運を使ったな。一人22000円前後の筈だったが、ビリを争った二人は1万4千円とかそんな額だった。折角タダで食べられるんだからもっと食べればいいのに。昨日の分の「ゴチバトル」をまだ見てない。明日見よう。

先週、先々週と月曜の講義の準備のため徹夜したが、今晩はちゃんと寝よう。呑み屋に顔を出さないといけないし。ジョルダン標準形の理解には難渋したが、もう難所は過ぎたので、明日少しと日曜日に少しやれば予習は完了ということに成るだろう。15週間長かった。もう少しだ、頑張ろう。

甲子園で今シーズン初勝利

昨日「程々に寝る」と書いたが、徹夜してしまった。コーシー・シュワルツの不等式と三角不等式の等号成立条件が気に成り、考え始めてしまった。三宅先生の本には書いてない。実内積空間の場合は有名な ||xa＋b||² の判別式を考える証明が出ているが、これをちゃんと使えば等号成立条件は導ける。これは知っていた。が、複素の場合は本に出ている証明をどういじっても出そうにない。で色々調べてたら、東北大の高橋淳也という人が書いた資料にぶつかり、そこの証明を理解すればよさそう、ということに成った。が、1か所どうしても分からない所があり、しばし立往生。で冷静に成ってみれば簡単なこと。等号が成立している ⇒ a,b は1次従属、を証明していたのを忘れていた。駄目だな。それで分かって、TeX 化して、とかやってたら朝。うーん。銀行の人は1時に来ることに成ってる。朝飯を買い出しに行って、食べて、とかやってたら寝る時間は無くなりそう。ということで起きていることにした次第。で色々やろうと思い、昨日の雑談で行列の基本変形を＝で結んだり、行列式の計算を→で結ぶことなどが話題に成っていたが、それに関して田中、小島、星、折田、印南、吉原「要点明解 線形数学」（培風館）に注意書きが出ている、というので見てみた。この本は献本として培風館から送られてきていたので。確かに出てる。著者達も苦労されているのだろう。この本は証明が全然付けられていないので、小生がテキストに採用することは無いが、色々使えそうな例が出ているので、役立てよう、と思った。で1問演習問題を解いた。然るべき3次正方行列 A とパラメータ a の入った3次正方行列に対し、(i) rank(B) を求めよ、(ii) AB, BA を求めよ、(iii) rank(AB), rank(BA) を求めよ、という問題があった。rank(AB)≦rank(A), rank(B) をこの前気にしたので、それに関する問題か？という感じだったので。(i) はパラメーターに依存した結果で、(ii)  は 147 とか出てきてぎょっとしたが、AB, BA の掃き出しは綺麗に進み、(iii) はパラメーターに依らず 2、という結果。まあそれはそうで、問題には無いが rank(A)＝2 で, AB, BA の2次の小行列式に0でないものがあるのは一瞬で見て取れる。ということで掃き出しをやらないでも求まる。まあやってみて面白かったので、よし。TeX 化しておく。 

昨日酒席が済んで事務に一通メールを書いたが、それの返事が来たら即動き出さないといけない件があるかも、というのが起きていたもう一つの理由。案の定9時ちょいにメールが来た。でそんなに慌てなくてもいい、ということに成った。が、分からないことが多いので、去年の学科長にメールを書いたりなど色々。そんなこんなしているうちに、あっと言う間に昼。食事をして銀行の人の来るのを待ちながら色々。銀行の人は1時丁度くらいに来た。前の営業担当の男の人（羽山さんという人だった）が熱心だったので、色々契約して、今回はその件について。今回は女の人なので、まあちゃんとした格好はするつもりは無いが、肌着では失礼だろうということで、肌着でないTシャツで応対。髭を剃ってなかったが、まあマスクをすればいいかと。でごそごそと30分強。前は紙にペンで色々書かされたが、今回は全部タブレットでやればよく、署名を何回かしたが楽だった。羽山さんは紙を大量に持ってきていて鞄がパンパンに膨れ重そうだったが、今回はそうでもなかった。まあ紙ゴミが出ないのはいいことです。

その後事務からの返事を待ちながらテレビで大雨の様子を見ていた。凄いことに成っているようだ。昨日は高島市（滋賀県）で並木に雷が落ちて倒れたようだ。朝の情報では湖西線の近江今津－近江塩津間が止まっている、という。湖西線はすぐ止まる。こんなのが続くかと思うとぞっとする。悪天候は程々にしてもらいたい。

4時から相撲。昨日から大関霧島が出ているが、入れ替わりに横綱照ノ富士が休場。腰椎の椎間板ヘルニアと言ってた。1ヶ月の加療を要する、ということなので、来場所は出てくるかな。大関を狙う若元春は先場所中盤から連勝を続ける錦木と。寄り切りで敗れ2敗。大関取りには12勝とか言われていたが、まあ一発で上がろうと欲張らなくていいでしょう。今場所はちゃんと10番勝って、来場所に望みをつなぐのでいいと思う。そりゃ関脇3人が一気に大関、というのは楽しいが、欲張るのはよしましょう。昨日は霧島勝ったが、今日は翔猿に不覚を取る。1勝2敗2休。勝ち越しは厳しいかも。いや、やってくれると信じる。

6時から野球、の筈が、やはり西宮も降ったらしく、試合開始は6時40分の予定、とのアナウンス。今日は Baystars が石田、Tigers が村上と、嫌な感じの先発投手。が、石田はランナーを出すも持ちこたえ、5回の自分で2点タイムリーヒットを打ち先制。ピッチャーに3ランを打たれたり、ピッチャーのヒットを足掛かりに失点したり、と不愉快な点の取られ方をした石田だが、今日はやり返してやれた。6回に京田のタイムリー、8回に牧のソロホームランが飛び出し4－0。8回裏に伊勢が満塁のピンチを背負ってしまう。1アウト満塁。渡邊を浅井センターフライに打ち取り2アウト。木浪の当たりがすわ満塁ホームランか？というような当たり。幸いフェンスは越えず。で9回裏は康晃が三者凡退に抑えた。蛯名がファインプレーを魅せた。ファームの首位打者梶原にも1軍での今シーズン初ヒットが出てと、点には成らなかったがまあよかった。これで今シーズンは甲子園初勝利。ゲーム差は2。まだまだ勝ちましょう。

さてお分かりかと思うが、野球の開始が40分遅れているので、終わったのは10時すぎ。今日は早寝しないとまずいので、もう寝る。野球がもうちょっと早く終わって欲しかったが、まあ勝負事、仕方ないです。もう眠くなってきたので寝る。明日は10時半起が大目標。今から寝れば大丈夫だろう。もう限界。寝ます。

談話会に出席して、呑まずに酒席に参加

今日は4時半から新人のI先生による談話会。保険会社の人が面談を申し込んできて、2度職場に行くのは馬鹿臭いので、今日の2時にした。談話会の後酒席があるだろうから、電車＋バスで行こうか、とも思っていたが、起きたら1時半近く。ぎゃ！結局車で飛んでいくしかなくなった。

個研室着いたのは2時1分過ぎくらい。冷房が直った旨のメールが昨日来ていて、ほっとする。保険会社の人は2時5分くらいに現れた。契約内容の確認など。兄者の誕生日がおかしかったので、直してもらう。3時前には帰られた。その後某先生が訪ねてくる。ちょっと直してもらいたい書類があったので修正してもらって、それを事務に持っていって、一仕事終了。

書いた通り4時半から談話会。グラフゼータ関数の伊原表示の話。「グラフ理論は知らない人いないと思うんですけど」といきなりまいった。まあ幸い必要なグラフのことは解説してくれたので、まあよかった。門外漢がいるから、導入は丁寧に、ということを言われていたのか、それとも講演経験豊富な方なので、そんなことは言われなくても当たり前だったのか。で色々ゼータ関数が出てくるんだが、整数論屋の小生としては収束域がどうかとか、特殊値や留数のことが気に成る。後でまとめて質問しよう、と思っていたら、色々な人が質問していて、「形式的冪級数として考えています」と言われて、質問することが無くなった。それでも橋本喜一朗先生の名前や森田英章君の名前が出てきて嬉しくなる。まあ感想はいつもの通り「ごつかった」しか無いのだが。終了後しばし数人で雑談。基礎数学担当専任講師、という職があるのだが、それをやっているA先生他数名と。2＋3＝5 っていうのは学生がこっちの思っている通りに理解していない、ということを twitter に呟いておられたので、その件で。だから行列の基本変形をする時等号で結んだり、行列式の計算をする時に矢印で結んだりするわけだな。車で来ておられるとのことで、酒席が始まる前に帰ってしまわれた。

酒席は6時過ぎから。しばし講演者のI先生と雑談。最初は室蘭工大におられたので、森田君とか長谷川雄之君とかよく知っていると言っていた。長谷川君は寡黙な人という印象だそうだが、そんなことは無いのでそう言っておく。それからF家先生としばし。個研室は隣なのだが、いつもは会釈するくらいで殆ど話をしない。学科主催の呑み会をコロナのせいで全然やっていなかったので、こういうのは貴重だ。その後F家先生とA堀先生を中心として大声で談義。うちの大学の立ち位置はどうか？ということで両者熱くなられていた。10年経つと5人いなくなっている。若い人がどう考えているか興味ある所だが、誰もいなかったので、想像で喋るしかないが。学科長をやってると色々書類が回ってきて、何人かの先生の誕生日を知ることが出来たが、皆思っているほど若くないな、というのが実感。10時過ぎまで議論は続いた。1滴も呑まないでよく付き合っていられたもんだ。小生が全然呑まないので、皆びっくりされていた。昔うちにいたN氏も京都から車で来ているらしく、呑んでいなかったようだが、F家先生と反対隣の部屋の先生は呑んでおられた。今日は泊まると言ってた。山科に住んでいるそうで、今度呑む約束をしてきた。楽しかった。10時半過ぎに職場を後にする。

この前買った理工学ポロシャツだが、ここいらに置いておいた筈だが、見付からない。おかしいな。まあ昨日洗濯したから、前に着ていったのを着ればいいや、と着て行った。何かゴワゴワするし暑いな、と思っていたんだが、帰ってきて脱いだらポロシャツを2枚着ていたことが分かった。眼鏡の上からサングラスを掛けた人の話とか、そういうのを聞くと、「あー、呆けるのは嫌だな」くらいの感じで流していたが、自分がこういうのをやるとショックだ。まあ55歳とも成れば昔だったら大年寄り。仕方ないな。

で普通なら今から吞むんだが、明日は銀行の人が住処に訪ねてくることになってる。呑むわけにはいかない。今日も程々に寝る。まだ月曜日の講義の準備が出来ていない。もうジョルダン標準形は終わったのだが、最終回に複素内積空間をちょっとだけやるのも何か半端だから嫌な感じだが、ジョルダン分解の話とかやっても仕方ない気がする。どうしよう？とりあえずある3次行列のジョルダン標準形の求め方の残っている2通りと、最小多項式と対角化可能性の関係をやって、それからのことはこれから考えよう。

バウアーが球団外国人投手初の月間MVP受賞

今日は12時半過ぎまで寝てしまった。学科長会議は1時からなので大丈夫だが。今日は特別宿題は出なかった。明日も学科会議をやらないで済む。いいことです。が、明日は2件用事があるので、職場に行かないといけないのだが。

会議終了後山科署へ向かう。落し物が届いている、とのことなので。山科署は前に行ったことがある（引っ越した時に運転免許証の裏に新しい住所を書いてもらうため）ので、まあ大丈夫だろう、と思って行ったら、何か違うっぽい。間違えたか？と画面を見たら、どうやらこれで行けるらしい、という手応え。でちゃんと着いた。手続きはすぐ終了。職場に電話があったのだが、何に書いてたんだろう？と思って受け取ったものを見ると、日本数学会に会費を振り込む時に作った振り込みカードを登録する時に職場の電話番号にしたようだ。住処の固定電話は最近ずっと留守番電話にしてない。メッセージが一杯で消さないと録音出来ないんでやろう、やろうと思ってずっとそのままに成ってる。いつかやろうとは思うんだが。まあいいや。住処に掛かってこなくてよかった。で食事をしてないので、帰り道にどこかに寄ろう、ということで、目的地を自宅にセットせず走り出したんだが、訳が分からなく成ってしまった。どんどん狭い道に迷い込む。これだから京都は困る。適当なタイミングで自宅を目的地にセットしてカーナビに案内させる。しばらく細い道を走り続けた。そのままではすれ違えないくらいの道。左に寄せて止まって待って、を数回繰り返す。途中危ないことがあった。最近の車はぶつかりそうになるとアラームがけたたましく鳴り、ブレーキを掛けてくれる。小生のように鈍い者には非常にありがたい。これからはどんどん高齢化が進むんだ。こういう機能は標準装備にしてくれないと。で「300m先右折です」の声。地図を見ると「R1」と見えた。ようやく国道1号に出られる。「山科大塚」の交差点に出た。右折してガストに寄ることにする。でガストで冷麺を食べてきた。疲れた。

4時前に帰ってきた。相撲は幕の内の全取り組みを見ることが出来た。関脇は大栄翔だけ勝った。横綱は翔猿に不覚を取る。膝を痛そうにしていたが、大丈夫だろうか？霧島が明日から出る、という朗報も。明日は見られないのが残念。まあダイジェストを録画しておいて観ますわ。

相撲終了後野球を観るべくNHK BSにチャンネルを合わせる。今日から Tigers 3連戦。CS ではスカイAか Gaora でやるんだろうか、どっちも Tigers べったりなので、不愉快。NHKなら中立な立場で放送してくれるのでいい。解説は伊藤勤と、どちらのチームとも関係無いので、いいかな。先発は Baystars が笠原、Tigers は青柳。笠原はフラフラしていて、1回裏に2アウト満塁のピンチ。が、そこは外野フライに打ち取って無失点。2回裏も2アウト1、2塁のピンチもピッチャーゴロで無失点。3回裏は佐野の悪送球などで1アウト満塁のピンチ。梅野をピッチャーゴロに仕留めたまではよかった。次の8番バッター木浪に満塁一掃の2ベースを打たれ3点先制される。が、4回表に佐野、牧、宮崎の3連打で2点取り返す。が、よかったのはこれだけ。5回表のノーアウト1、3塁の場面を潰すと、4回から登板していた上茶谷が3点取られる。木浪は5打点。8回裏にノーアウト満塁のチャンスを作られ、ダブルプレーを打たせたのでこれで大丈夫か、と思ったら、次のバッターの時にワイルドピッチ。9回表にランナー二人を出すも無得点、ゲームセット。2ゲーム差に成ってしまった。まあいいです。明日、明後日と勝って並びましょう。

と書いたが、明日、明後日は苦戦が想像される。今年の Baystars vs. Tigers は本拠地のチームが全勝しているという、超内弁慶シリーズ。今日は倉敷マスカットスタジアムだったが、明日、明後日は甲子園。今までのジンクスだと明日、明後日は勝てない。どうなるでしょうか？今日は岡山だったわけだが、地元佐野は得点につながるヒットを打ったが、エラーもした。故郷に錦、というわけにはいかなかったね。柴田は岡山理科大付属高校の出身。いいところ見せたいところだったが、今日は出番無し。残念でした。

バウアーが月間MVPに成ったそうだ。まあ当然だろうね。4登板4勝。本領発揮だね。それと Buffaloes の頓宮がパ・リーグの打者部門で月間MVP。首位打者を余裕で取れそう、と思って今見たら、3割4分近くだった打率が .326 まで下がってきて、パ・リーグの3割打者は頓宮だけだったのだが、柳田（Hawks）が .310 まで上げてきた。頑張れ、頓宮。去年の松本剛（Fighters）のように突然変異で首位打者を獲れ！パの投手は山崎福也（Buffaloes）、セの打者は岡本（和）（Giants）。いずれも文句無し。

昨日書いた件で学生からメールが来ていた。その件よりも普段の予習の様子を腹立たしく思っていたので、ゼミの準備の進め方を書いたページ（tsunoさん、木田さん、河東先生）のリンクを貼っておいた。皆さんのような厳しい要求はしないが、それでも徹底的にやるのには変わらない。頑張って勉強してくれたまえ、ということもあり貼っておいた。高い学費払って大学院入って、何も分からず修了、というのでは全く意味が無い。有益な時間にしてくれないといけない。昨日は珍しく質問をしていたので、それは褒めておいた。飴と鞭じゃないが、まあ褒美は上げないとね。とにかく頑張ってくれるよう願う。

ジョルダン標準形の存在と一意性の証明をやり終えた

昨日はその後11時くらいまで起きていた。「サンデースポーツ」の終わり近くにセブンイレブンに印刷に行った。早起きすればいいんだが、無理そうなので。

で今朝は9時半近くまで寝ていた。8時半のアラームも9時のアラームもスルー。やはり徹夜明けは早寝しないといけないな。

講義室に10時35分くらいに着いた。一人何やら質問してきた。レポートに手を付け始めた、ということだろう。で10時40分から「線形代数学」。出席者は大分減った。今日は冪零の場合のジョルダン標準形の一意性から。ご気楽に書いてあるが、ちゃんと証明しようとすると結構大変。幾つかの補題は書くのが面倒なだけで簡単な内容なので、「容易」と書いて済ませた。その後一般の場合のジョルダン標準形の存在と一意性。これもお気楽に書いてあるが、真面目にやると結構大変。数学の証明はここまでやらんといかんのです、というお手本を見せているつもりだが、まああまり意味は無い。大半の学生に取っては写すのが面倒なだけだったり、ゴチャゴチャうるさいくらいにしか思っていないだろう。それでも毎年少々だが真面目に勉強してくれる学生がいるので、懲りずにやる。である3次正方行列のジョルダン標準形を3通りの方法で求めようと思ったんだが、1通り終わったところで時間に成ってしまった。まあセメスター中にジョルダン標準形を教える、という目標は達成出来る。が、レポートの問題を解くのに必要な定理が来週に残ってしまった。レポートの締め切りは来週の土曜日。大丈夫でしょうか？まあ今時の学生はインターネットで何でも調べるんで、大丈夫でしょう。6月中に1名提出していたが、まあ出来てた。大量殺戮して甘くない所を見せようという目論見だったが、まあそんなことをすると寝覚めが悪いので、程々にしましょう。

昼ははま寿司へ。前から気に成っていたんだが、店の看板には「HAMA-SUSHI」と書いてある。が、CMでは川口春奈が「はまずし」と思いっ切り言ってる。大した問題ではないような気もするが、人の苗字の場合は濁るか濁らないか正確にしないと失礼だ。康晃は「やまさき」。Swallows の山崎も月亭方正も「やまさき」。Tigers にいた赤星を金村義明氏が「あかぼし」と言っていたが、「あかほし」が正解。小生1度だけ「かかわ」と書いたメールをもらったことがある。「『かがわ』です」と言い返した。Discord が何やら id をどうとかすると言ってきたが、「KAKAWA KISHOU」でどうでしょう？と提案された。もちろん一蹴して「KAGAWA TAKAAKI」にしたのは言うまでもない。えーとはま寿司の話。「大トロびんちょう」というやつがある、とCMでやっていたので、食べてきた。まあ美味しかった。いつもの通り1400円くらい食べてきた。

その後銀行振り込みをする必要があったので、南草津の関西みらい銀行に行ったが、駐車場が一杯。今にも出そうな人がいたのでちょっと待ったが、その人は銀行の中に消えていかれた。広い道路なら路駐でもいいが、狭い路地に入ってしまったので、Uターンして国道1号に戻る。さて、郵便局で振り込もうか、と思ったが、京都銀行に振り込むので、京都銀行からやるのがいいだろう、ということで、瀬田駅近くの京都銀行へ向かう。が、ちょっとトラブル。駐車場こんなに狭かったけか？ということと、植木を剪定している人がいて、作業用の車が駐車場に止まっている。うー。仕方ないので停めて振り込みを済ませてきた。で駐車場からバックで出て、どうにかなった。ちょっと小さいミスはあったが、まあいいでしょう。

で1時半過ぎに個研室に戻ってくる。冷房の修理は明日やるそうなので、今日は我慢。隣の部屋の先生がちょっと訪ねてきたが、隣の部屋も1日冷房を使えない日があった。小生の部屋はまだ使えないので、気の毒がられた。その後メールを見ると、事務からある件でメールが来ていた。何やら面倒そうだな、と思ったが、行ってみると大した問題ではなかった。戻ってきてその件で同僚にメールをするも、まだ返事が無い。早く終わらせてしまいたい用事なのだが。その後講義ノートを直して web に上げる作業。昨日一日で仕上げたためか、細かいミスが少々。直して3時半くらいにはアップロードした。その後ちょっと誰も解かない演習問題を作った。が、さっき気付いた。アップロードしてない。まあ住処でも出来るし、後でやろう。

4時20分からゼミ。今日も色々問題あり。「自由アーベル群」という言葉が出てきて、分数イデアルの全体が素イデアルの全体に生成される自由アーベル群であることを示そうと思っているようだが、書いてることが頓珍漢。で自由アーベル群の定義を聞くと、全く違うことを言ってる。一生懸命ひねり出そうとしているが、定義を知らないで出てくるわけがないので、調べさせる。すると「基底を持つアーベル群」と返事したので、「じゃあ基底って何？」と聞くと答えられない。色々やろうとしているが、知らないで出来るわけがない。ベクトル空間の基底知ってる？と聞いたら、それはどうにか成っていた。ただ有限次元の場合にしか通用しない定義だったので、無限次元の場合の定義を教えてあげる。でそれをヒントにして自由アーベル群の基底の定義はどうにかわかったようだが、分数イデアルの群が自由アーベル群であることを示せない。うーん。で一事が万事そんな感じで、示してきてないことや、難しそうな日本語の意味が分かっていなかったり。今日も中途半端な所で終わってしまった。一人の学生が終わっていないのに片付け始めたので、ちょっと説教。小学校の時にチャイムが鳴ると片付け始めるのを先生が怒ったことがあった。終わりを宣言するまで終わりじゃないんだ、と。高校の時の音楽の先生（高橋克典の実父）は全校生徒のうち一人でも喋っている生徒がいたらピアノを弾き出さなかった。そういうのを考えると今日の学生の態度は大層失礼。頭に血が上っていたのもあって、一言いってしまった。まあいいでしょう。7時40分過ぎに終了。

その後運よくA堀先生とばったり出会ったので、ちょっと密談。それに関して事務にメールを書く。もう当然事務の人は帰ってるだろうから、返事は明日でしょう。もう一件メールを書いて、暑いので帰ることにした。9時前。

松のやでトンカツと海老フライ、という舌に成っていたので、向かう。松屋と松のやが一つの店にあるのだが、松屋でも鰻丼を始めたようだ。うむ、そうだったか。まあ鰻は今度だ、ということして、予定通りに頼む。揚がるのを待っている間は「義経」。屋島へ向けて発つ当たり。いよいよ大詰め。

今日も九州で大雨だったそうだ。昼仕事をしながら時々メールを気にしていたが、佐賀ともう一箇所どこだか忘れたが佐賀でない所で崖崩れとか。滋賀は昼過ぎに降ったようだが、その間はずっと室内にいたので関係無かった。今週中にも近畿は梅雨明けらしい。講義の最後の方は灼熱の中やるのだが、「代数学I」の残り2回と「線形代数学」の最終回は暑そうだ。8月に実施する院試は受験者がいるらしい。夏休みなのに行かないといけないのだな。覚悟しよう。

明日は資源ゴミの日だ。今から分別する。明日も学科長会議があるので、中途半端に成っても寝ないと。その後山科署に行くので、寝不足は避けたい。「キョコロヒー」が終わったら寝る。「過ぎるTV」の間に分別しよう。

延長12回表の牧のソロホームランの1点のみで勝った

呑み呑みジョルダン標準形の存在証明を考えた。テキストに「固有値を引いた変換」とかいうのが出てて、それの固有値は0のみ、と出ているが、最初にこのテキストを使った時に「そうか？」と思いチマチマ証明を付けた。が「線形代数概論」にはその記述がバッサリ無くなっている。いらない？と思って考えてみたら、いらないことが分かった。で講義資料からバッサリ削除したんだが、一意性を考える時に必要に成る気がしてきて、「あー、削除するんじゃなかった。せめて%を付けてコメントアウトにしておくべきだった」と後悔。前はそうしたら頑張って復旧させるしかなかったんだが、最近は前の年の講義資料は終了時点での状態で残してあって、新年度に成ったら別フォルダーを作ってそっちで作業している。だからすぐ復旧出来る。で考えてるうちに眠くなってきて寝た。もう明るくなっていた。

やはり無理は出来ず、結構寝た。もう野球（デーゲームね）は終盤。どちらも無得点。どちらのチームにも長打が出ていないとか。ヒットは Baystars が5本、Giants が3本。ピッチャーがいいのか打線が悪いのか。ここ3連戦 Baystars は2点、０点、そして今日は11回終了時点で無得点。このまま引き分けちゃうのか、と思ったら、12回表に出た。牧のソロホームラン。初の長打がいい所で出た。で12回裏は康晃が三者凡退に抑えてゲームセット。Carp が勝ったようなので、まあ重畳。Tigers は6時からのナイターで、今 Swallows と戦ってる最中。7回裏 Tigers の攻撃中だが、こちらも0－0。今日の結果次第では同率首位。頑張れ Swallows。

さて、野球が終了したら晩飯を食べて、線形代数の続き。今朝復活させた所はやっぱりいらない？という気に成ってきて、考えてみた。いらない感じがしてきた。 もう少し考えたいところだが、明日は8時半起きを目指している。もう少し考えるが、「サンデースポーツ」が終わるくらいには寝ようと思う。

相撲が始まっているのを忘れていた。NHKの7時のニュースで結果をやっていたが、「大関不在」と言ってた。え、と思ったら貴景勝も霧馬山改め霧島も休場。霧島の活躍を期待していたのだが、何とも残念。このまま出なかったら来場所は早速カド番か。頑張ってもらわないと。大関が掛かる3関脇は揃って勝ったそうだ。まあよかった。横綱も勝った。連続優勝を是非。

などとしているうちに大河ドラマが始まってしまった。武田は案外あっさり滅亡した。信長を富士山見物で接待している。確か武田滅亡と本能寺の変って同じ年にあったはず。暢気なものだ。武田はもう少し耐えれば何とか成っただろうに。家康ももう少し堪えれば信康を死なせず済んだはず。後の時代から見れば何とでも言えるが、まあ現場は必死だったのだろう。明智光秀はいかにしてキレるかがこれからの楽しみ。光秀をやっている俳優が何とも嫌な感じで、「麒麟がくる」とは大違い。今までの光秀役の中で一番嫌な感じである。どうなるでしょうか？などと書いているうちに大河ドラマの終わりの時間が近付いている。まあ真面目に見てないんで、後でもう一度見るけど。

などと書いているうちに Tigers が1点先制してしまった。負けろー、負けろーと念を送りながらもう少し線形代数をやろう。

床屋へ行ってきて、頭が軽くなる

トヨタには1時半に行く予定だったが、目が覚めたら既に1時半を回っていた。昨晩は水曜日にやった「ミラクル9」を見てしまったので。「谷津遊園」の「コークスクリュー」が出ていて、懐かしかった。叔父が京成線の船橋市の駅（名前忘れた）の近くに住んでて、小学生の時に兄者と二人で遊びに行った。京急の都営浅草線直通特急で「押上」まで行き、そこで叔父と待ち合わせ。「谷津遊園」に行ったり、わざわざ「京成上野」まで戻って、特急「スカイライナー」に乗って成田まで行ったり。楽しかったが、叔父は祖母の死んだ後親戚一同から顰蹙を買う行為をして、それっきり疎遠に成った。叔母（母の姉）は連絡を取り合っていたようだが。叔母が生きている時に叔父はもう死んでいるということを聞いた。幸せだったかどうかは分からん。因みに叔父の名前は「宏」と言いました > tsuno さん。

えーっと、トヨタに行く話。納車されて2か月ちょっとだが、早くもリコール。まあアクアが小生の乗ってるモデルにチェンジしてからもう数年経っているので、開発早々というわけではないのだが。30分くらいで済む、と言っていたので、「義経」を読むながら待っていた。で、上の書きようで分かるように食事がまだなので、帰りにガストに寄った。ハンバーグを食べてきたが、「ふなごや」の方が旨いな。また来週行こう。

車を駐車場に停めて、その足で床屋へ向かう。2か月以上伸ばしてたから、結構鬱陶しかった。今日を逃すとまた1週間くらい行かなくなりそうなので、暑いが行ってきた。幸い雨は降っていなかった。待たされることなく切ってもらえた。頭が軽くなってスッキリ。いや、元々頭は軽かろう、という突っ込みは却下。床屋のテレビで先週の水曜日にナイター中継のため放送されなかった「ミラクル9」が流れてた。録画しておいたが、結果が分かってしまった。まあいいや、後で見ます。

帰ってきていい加減、一般の場合のジョルダン標準形のことを勉強しないといけないんだが、ウダウダとやっているうちに野球が始まってしまった。野球を流しながらゴソゴソと勉強を始めたが、肝心の所に差し掛からない。で野球がどんどん不愉快な展開に成り、勉強する気が湧かなくなり、結局今に至るというわけだが。救いは Carp と Tigers が負けたこと。Tigers は勝ち越しの犠牲フライ、という場面で、3塁ランナーがホームに着くより2塁ランナーの大山が3塁でアウトに成った方が早く、勝ち越しならず、という珍プレーをやってくれた。結局 Tigers も負けて、1ゲーム差のまま。が、Baystars に勝った Giants が Carp と並んで3位浮上らしい。うむ。今日 Baystars が勝って Tigers が負けていれば同率首位だったそうだ。残念だった。明日は勝ちましょう。東がまたやってくれるはず。来週は Tigers との3連戦がある。アウェーの Tigers 戦はまだ勝っていない筈。勝ちましょう。明日勝って Tigers 戦勝ち越しは最低ライン。頑張ってください。

今日は線形代数の勉強のため呑みに行かなかったのだが、結局まだ手に付いていない。いい加減始めよう。呑みながらやりたい気分だが、どうしよう。買ってくるか。

今永15奪三振（7者連続を含む）の快投で、Giants との初戦を制す

今朝は10時半のアラームで起きられず、11時くらいの銀行からの電話で起きた。シャワーを浴びて、11時40分過ぎに住処を出た。

1時から「代数学I」。もう出席者の数は気にしないことにした。今日は商体の一意性を示して、整域はその商体の部分環であることや、商体が最小の体であることなどを説明して、有理関数体 K(X) を定義。多項式を多項式で割る、というのは一般には定義されていなかったわけだが、これで定義出来た。有理数の定義も Z の商体を構成することにより説明、と子供にやるわけにはいかないだろう。算数は何でも意味付けて教えるから難しい。掛け算の順序に関する水掛け論を Facebook や twitter でよくやっているが、どうなんだろう？数学は意味論と関係無く出来るからよいのだが。その後積閉集合を定義して、分数を制限した分数環を定義。また同値関係で割るわけだが、同値関係であることをしっかり説明した。来ている学生の利益に成るよう、web に上げる資料では「演習」と成っているところをきっちり証明。で全商環、局所化を定義。何故「局所化」と言うのか？ということで局所環を定義。可換環が局所環であるための簡単な判定方法を証明したところで時間。「局所化」が局所環であることを来週証明する。今週で13週目が終わった。講義はあと2回ずつ。暑いが頑張るぞ！

その後すぐゼミ。今日はヤコビ記号を定義して、ルジャンドル記号の時と同じく第一補充法則、第二補充法則、相互法則が成り立つことを証明。その後ディリクレ指標。彼は x（えっくす） と χ（かい）を書き分けられるんでしょうか？と見ていたが、何となくそれっぽく区別はしていたようだ。mod m のディリクレ指標って、(1) a≡b (mod m) ⇒ χ(a)＝χ(b)；(2) χ(ab)＝χ(a)χ(b)；(3) χ(a)≠0 ⇔ (a,m)＝1、が定義だと思っていたんだが、テキストには (i) a≡b (mod m) ⇒ χ(a)＝χ(b)；(ii) χ(ab)＝χ(a)χ(b)；(iii) χ(1)＝1；(iv) (a,m)≠1 ⇒ χ(a)＝0、と成ってる。「同値なの？」と学生に聞いたら、同値であることを証明してくれた。またしても「(a,b)＝1 ⇒ ax＋by＝1 となる x,y∈Z が存在」が役立った。本当に強力な定理だな。a に χ(a) の複素共役を対応させる指標が χ の逆元に成ることの証明に少し手間取ったと言ってた。値が1の冪根に成ることを示さないといけないが、テキストには全く書いてなかった。ということで、あまり進まなかったが、まあいいでしょう。超越数のゼミは ζ(2)、ζ(3) の無理性の証明。前者の系として「π が無理数」を上げていた。どうやって証明するんだろう？と見ていたら、二重積分と三重積分を巧みに使う証明。最後は無理数であることを示すのに使ういつもの手を使って完了。うーん、ごつい。整数論の本を読んでる方の学生も呆然としていた。どうしたらああいう証明が付けられるのか、さっぱりわからんが、まあそればっかりやってる人には標準的な方法なのかもしれない。4時半前には終了。もうすぐ超越数の章に入りそう。難しそうだな。

その後部屋で講義資料を直して web に上げる作業。色々細かい所が気に成る。その後月曜日の講義の作戦練りを少々。固有値 λ に属する一般固有空間に線形写像を制限すると、固有値は λ のみ、という何だか判じ物みたいな証明を読んだが、面白い。 他にも幾つか読んでみたが、冪零でない場合のジョルダン標準形に対してはまだ理解出来たとは言い難い。先週は徹夜で理解するのに努めたが、明日はトヨタに1時半に行かないといけなくて、床屋にも行きたいから、今日はあまり遅くなく寝るつもり。とにかく個研室の冷房故障により暑くて捗らないので、6時前に個研室を後にしよう、ということで5時45分くらいに支度をして、さて、というところで電話。留守番電話に成ったらすぐ切ったので、セールスかマンション売れ売れ系の電話だろう。留守番電話のメッセージを聞いたら、何やら山科署から電話があったようだ。落し物が届いている、と。最近財布を開いた時に色々落とすが、その類だろうと思って電話してみる。案の定カード類と言ってた。クレジットカードと銀行のカードは財布に入れてないので、多分昔行って行かなくなった病院の診察券とか、王将のスタンプカードとか宿場蕎麦のスタンプカードとかそんなのだろう。月～金の朝9時から午後4時までに取りに来い、との寝惚けたことを言ってる。月曜日は10時40分から講義で、用事が終わるのが7時半。無理。まあ早起きして、山科署に寄ってから出勤することは出来るかもしれないが、自信が無い。午前中の講義が終わってからゼミまでたっぷり4時間あるから、職場と山科署を往復することは可能だが、面倒臭い。火曜日は学科長会議の終了後は予定が無い（⇔ 教授会が無い）ので、火曜日に行こう。ということで6時を過ぎてしまった。

6時を過ぎると名神が混む。案の定「草津JCT－大津 渋滞10km」の表示。うぇー。幸い草津 JCT の外まで渋滞ははみ出しておらず、新名神から名神への合流はスムーズにいった。そこからしばらくして渋滞が始まる。京滋バイパスは瀬田東から渋滞しているという情報だったが、そうでもないようだった。こんな観察が出来るのは名神が大渋滞のため。大津までの渋滞は、大体が所謂「サグ渋滞」で、あるポイントを過ぎると嘘のように流れ出す。来週は冷房が直ってるだろうから、この時間も勉強し続けて、渋滞を避けるようにしよう。

7時前に帰宅。野球を観る。今日から東京ドームで vs. Giants。甲子園の試合は雨で中止、という情報。職場を出る頃にちょっと降り出したが、住処に着く頃は結構な降りに成ってた。兵庫は少し早目に雨が来た、ということかな。ということで今日は勝たなあきまへん。1－1という状況。今永は岡本（和）にソロホームランを打たれたようだが、それ以外は圧巻で、見始めた時は7者連続奪三振の途中。セ・リーグ記録と Baystars（前身の Whales を含む）の記録は8者連続だそうだ。期待して見るも、中田に外野フライを打たれて、7連続で終了。残念。去年佐々木朗希の13者連続三振を見たが、あの時は興奮した。ただ、7者連続奪三振は2度目で、7者連続奪三振を2度やったのは西口文也（元Lions）だけだったそうだから、まあいいか。今永は結局7回15奪三振1失点の快投。最後のイニングは1アウト2、3塁のピンチも連続三振に切ってとった。バウアーばりに吠えてた。こういうキャラではなかった筈だが。戸柱がソロホームランを打ち、2－1に。勝ち投手の権利は今永にある。こういう日は勝たないと。8回は伊勢。最近ちょっと危ないことが多いが、大丈夫か？と思ったら大丈夫だった。9回は康晃。ヒット1本と柴田のエラーでランナー二人。うむ、と思ったが、最後のバッターをショートゴロに切って取り、無事勝利。いやー、よかった。これで首位と1ゲーム差。まだまだ付いていきましょう。幸い Carp は負けた。Dragons の細川が大暴れしたようだ。嬉しいね。Baystars 戦の時はお手柔らかにお願いします。

何やら望月新一氏の「宇宙際タイヒミュラー理論」の間違い探しに懸賞金を掛ける人が出たようだ。懸賞金は100万ドルだったかな。やる人いるんだろうか？数学を研究してる人って大体目先の興味のある問題を解くのに必死だし、理解に何年も掛かる、ということには関わりたくない、というのが本音だろう。小生も勿論手を出そうとは思わない。来週の講義が一番の関心事。その後は学科長のことだったり、秋学期の講義のことだったり、来年度4人に修論を書かせないといけない件だったりと、やることは一杯。やりたい人はやってください。

バウアー魂の完投勝利

昨日は寝不足だったのに、寝たのは深夜3時過ぎ。で流石に起きられなかった。まあ用事は特に無いからいいけど。学科長の仕事関係のメールが幾つか来ていた。一つはすぐ決着の付くもの、一つは小生には cc で届いていて、本当に用事があるのは別の人。で一つ、少し面倒なメールが来ていた。ちょっと一人で判断するには重たいので、数名に相談メールを出す。まだ返事は来ていないが、どうなるだろうか。学生の指導が厳しいのは今のご時世に合わないのかもしれないな。小生も少し気を付けよう。まあ小生の場合は院生が相手なので、ちょっと事情は違うか。何を書いてるか分からん？いや、分かるように書いてないから。

6時から野球。今日はバウアーが先発。勝たないと。1回裏にノーアウト2、3塁のチャンスを作るも無得点。最近こんなんばっかり。3回表に先制される。嫌な感じ。4回裏は1アウト満塁のチャンスだが、またも無得点。このまま3連敗しちゃうのか？と思ったら、5回裏に Swallows が草野球をやってくれた。楠本の飛球をライトを守るサンタナが落球。1アウト3塁。で桑原が同点タイムリーヒット。2アウトに成りバッタはーは牧。セカンドへのフライを武岡が落球。ソトに2点タイムリーヒットが飛び出し勝ち越し。1イニング3点以上というのは相当久し振りらしい。が、まだ打線は本調子ではない。7回裏に2アウト2、3塁のチャンスを作るも無得点。もう少し点を取りたいね。8回表にサンタナが名誉挽回のタイムリーヒットで3－2と、またしても厳しい状況に。が、バウアーが9回まで投げ切り、完投勝ち。素晴らしい。序盤にパカパカとホームランを打たれ大量失点、ということはもう無いだろう。防御率は3点台まで下がってきた。どんどん勝ってくれるでしょう。まだまだ首位戦線には付いていけてる。Baystars は偶数月（4月と6月）は良かったので、8月もいいと信じましょう。今月粘っていければ。

線形写像の階数と表現行列の階数が等しい件だが、三宅「入門線形代数」には出ていないが、「線形代数概論」には出ていた。基底を取ることにより n 次元空間が Kⁿ と同型に成ること、線形写像 f：U → V と表現行列による線形写像 Kⁿ → K^m が comaptible であることを使えば難しくはない。すぐ出来そうなので、講義ではきっちり説明することにした。明日は1時から講義でその後すぐゼミだから、12時半前には職場に着いて昼飯を食べないといけない。ということで、もう少し講義資料と睨めっこするが、程々にして寝る。

明日は目茶目茶暑いようだ。京都は37度、大津36度とか寝惚けたこと言ってる。1時から2時半の講義は大丈夫だろうか？個研室の冷房は来週の火曜日に修理に入るとメールがあった。明日は個研室にいる時間は短くしよう。ゼミが終わったら速攻で退散だな。

松坂和夫「線型代数入門」が面白くて読み耽る

昨晩はその後大河ドラマと「日曜の夜ぐらいは…」の録画してあったものを見た。大河ドラマは築山殿と信康が死んだ。家康が豹変する？という感じの予告編だった。「日曜の夜ぐらいは…」は最初の方を見ていないんだが、深夜に毎晩のようにダイジェストをやってて、日曜日にやったものの再放送を土曜日にやっているのをたまたま見て、何か面白そうだ、と思ったので、途中から見た。何やらうまくいきすぎで面白くない、という意見もあるが、単純な方がストーリーとしては面白いのでよし。色々うまくいってなかった人生がある出会いで面白くなり、好転する、というのはあること。小生も小中高とあまりいいことが無かったが、浪人した頃から人生面白く成ってきた。大学生に成ると酒が呑める（いや、入学してすぐ呑んだらいかんのだが）ので、付き合いが広がる。いい友人が出来た。未だに大学時代の同期生から年賀状が来る。もう何十年も会ってないが、どうしているだろう？大学院に入るとまた付き合う相手は変わり、その頃の先輩、後輩とも楽しくやってる。まあ悪い友達が出来たり酒のせいでへまをしたことも大分あるが、まあトータルではいい方向かな、と。「日曜の夜ぐらいは…」を見ていて、そんなことを思った次第。

でまた朝に成ってしまった。寝る前にちらっと松坂和夫「線型代数入門」を見たら、昨日気に成ったことが書いてあった。眠いので、一旦寝て、それから見ることにする。大谷が投げてる、いう情報があったので、テレビを付けっ放しにしておいた。今日は大谷の29歳の誕生日だそうだが、良くなかったようだ。まあそううまくはいきません。

で適当な時間に起きて、線形代数の勉強。表現行列や基底の交換行列を然るべき図式が可換に成るように定義していて、こういう風にやると議論が凄くスッキリする。ゴタゴタした計算がいらなくなるので、議論がクリアーに成るが、初めて読む人はチンプンカンプンだろう。小生は線形代数を斎藤正彦「線型代数入門」で勉強したが、この本も松坂先生の本と同様の書き方をしていて、何が書いてあるのか皆目理解出来ず、1年生の春休みにそこばっかり読んでた。手垢でそこだけ汚れている。結局分からなかったのだが、後で読んだら、何だ、こんなことだったか、と思った覚えがある。一つことをずっとやるより、色々やって数学力が付いてから見直すと簡単だったと思えることは結構多い。気長にやりましょう。

で野球の時間に成っていたんだが、線形代数の勉強が面白くて、テレビで野球は流していたが、そっちのけで勉強していた。線形写像の階数と表現行列の階数が等しいことは rank(AB)≦rank(A), rank(B) を使って証明していた。これは線形写像の階数を経由しないで証明するのは難しいと思う。あと言われてみれば当たり前だが、ちょっと知らなかったことがあった。こういうのを知ることが出来るから、色々本を読むのは面白い。いや、新しい数学上の発見はこんなことをしていても得られないんだが、そっちは辛いんで、講義も学科長の用事も無い時にやります、はい。

で野球だが、ほぼ音声を聞いていただけ。今日も不愉快な負け方をした。最後の最後、延長12回にパスボールした伊藤に全責任を負わせるつもりは毛頭ない。先発の石田にも問題はある。この前はピッチャーに3ランホームランを打たれるという大失態を演じているが、今日はピッチャーが2塁打で出塁し、そのランナーをホームに返すという、同じくらいの大失態。石田はまだ2勝しかしていないが、開幕投手がこれでは、という感じ。打線も8回から12回まで毎回三者凡退。誰だ、Swallows 相手なら楽勝、とか言ってた奴は。3連戦負け越しだぞ。頑張ってくれ。

日本のプロ野球のオールスターの監督推薦選手が発表されていた。Dragons の細川が選ばれた。毎年戦力外か？と言われていたのが噓のような活躍。よかったね。細川と同じく現役ドラフトで移籍した大竹（Tigers）も選ばれ、今日プロ入り初完封勝利。環境が変わるというのは大事なことなんだな、と思わされた。大学時代の友人でしょっちゅう引っ越している奴がいた（4年の秋とかにも引っ越してた）し、大学をコロコロ変える偉い先生もいるが、合わなかったらその方がいいかもね。小生のように散らかし放題の奴は引っ越せない（こっち来て最初住んだ所は13年住んだ）し、偉くないから大学を移ろうにも移れない。まあ今の職場にはまあそんなに不満は無い（全く無いわけではないが）し、残り10年頑張って働きますわ。

事務から冷房に関しメールが来ていた。昨日は小生の並びの6部屋全部冷房使用禁止にされていたが、今日来たメールを見たら、一部屋を除いて使ってよい、という内容。でその一部屋とはよりによって小生の部屋。部品交換とか大騒ぎに成りそうなので、職場には極力行かないようにしよう。

「西園寺記念奨学金」の授与式のため、暑い中背広を着て出勤

今日は10時に起きるつもりだったが、目が覚めたら10時半。まあいいです。シャワーを浴びて、背広に着替えて出勤。今日の用事は「西園寺記念奨学金授与式」。学科長はこういうのにも出ないとあかんのです。別に正装で来いとは言われなかったんだが、ジーパンはちょっとな、という感じで、ジーパンでない服は背広しかない、ということで一択。12時20分開始だが、12時くらいに会場に着いた。学生が沢山いて、教員は雛壇に座らされた。学部長の隣に成ってしまい、緊張したが、色々話しかけてくれたので、こっちからも少々。学科の懸案事項を一点言っておいた。学科長会議も教授会もオンラインで、要望を言うには作文しかないのか、と思っていたので、まあよかった。えーと、「西園寺奨学金」の話。知っている人は知っているだろうが、うちの創設者は西園寺公望。その冠を付した奨学金。名誉あるもの。学生も正装が殆どだった。GPA（成績を数値化したもの。A+＝5、A＝4、B＝3、C＝2、F＝0とする）で4.5とかいう凄い成績を取っている学生ばかりが集まっている。勉強＝点数を取ることではないと前に書いたが、まあここまで成績がいいと文句は言えない。皆賢そうな顔をしていた。学部長のお言葉の後に各学科の学生に学科長が表彰状を渡して、その後しばし雑談をせよ、との仰せ。普段学生の顔を見て喋ることが少ない（講義中は黒板が話し相手）ので、緊張した。留学生が3年連続で奨学生に選ばれてることが分かって、感嘆した。うちのゼミの留学生もちゃんとやってるし、日本人とは心構えが違うのかな。12時50分くらいに解放される。

で1時から学科長会議。わざわざ来たのに、会議はオンライン。まあ仕方ない。一つ二つ宿題を出された。2時10分くらいには終了した。

昨日書いた通り個研室の冷房が故障している。暑いし、帰って住処で冷房を効かせて4時半からの教授会に参加、と思わないでもなかったが、弁当を買いに行っただけで挫けた。この日照りの中駐車場まで歩くのは無理。多分うちは建物全体にうっすら冷房が効いていて、表から帰ってくると割と涼しい。個研室も表に比べたらまし。ということで教授会は個研室で参加することにした。割合早目に終了。

その後少しダラダラとしてから、冪零の場合のジョルダン標準形の一意性証明を理解するべく勤める。色々分からないことが多い。行間が広いな。で苦労して証明は理解出来た。問題はここから。これが証明出来ると何故主張が証明できたことになるかイマイチ分からない。線形写像の階数が表現行列の階数に等しい、ということが示せればよい、と分かったが、何故だろうか？いや、当たり前なんだが、ちゃんと書こうと思うと難しい。何でも演習にしてしまう先生がいるが、小生はそうしない主義なので、色々考える。何かうまくいったようないかないようなもやもやした気分。途中明日の学科会議をしない旨メールを書くなど現実逃避。するとそれに返信があって、色々しなくてはいけなくなり、勉強は中断。で10時近かったので、帰ることにした。

と書くとずっと真面目に勉強したり学科長の仕事をしていたように見えるが、例によってマインスイーパーはたっぷりやった。あと野球も気にしていた。昨日応援掲示板に「Swallows 相手なら楽勝」みたいなことを書いてたしなめられている人がいた。週末の Dragons との3連戦も苦労して1勝1敗1分。Dragons はお得意様にしていたのに、である。で今日は負けたのだが、色々原因はある。が、やはり1回裏の攻撃が全てだったろう。1イニングに2度満塁のチャンスを作り、取った点数はわずか1点。これではピッチャーが可哀想だ。打率も得点もリーグトップだそうだが、内容が伴っていないということだな。交流戦開けオールスターまで21戦あるそうだが、番長監督は「13勝する」とか息巻いていたが、無理でしょう。まあここで力まなくても、混戦から振り落とされなければどうにかなる。今日は Tigers と Carp が直接対決していて、負けるわけにはいかなかったのだが。Tigers が負けたので、首位まで1.5差は変わらず。まだまだ。

衣服用洗剤が切れている、と数日前に書いた気がするが、まだ買ってなかった。帰り道で気付いたので、ドラッグストアに寄ってきた。前は11時閉店で、最近11時半閉店に成った。まあ11時閉店でも間に合う時間だったが、余裕があるのはいいこと。適当に買ってきた。そこそこ客はいたが、駐車場はガラガラ。怖い思いをせず停められた。

明日は床屋に行こうかと思っていたんだが、呑みたくなってきた。呑むと次の日は腹の具合が悪くなるので、床屋に行けない。いや、翌日より大体1日おいて腹が痛くなる。ということで明日も明後日も床屋には行けないだろう。金曜日は仕事、土曜日はトヨタ。トヨタのついでに床屋行こうか？この前言っていたが、野球はこれから暫くデーゲームは無いそうだから、トヨタの後床屋に行く時間はありそう。横浜スタジアムでのデーゲームは今シーズン13勝2分と無類の強さを誇っていただけに残念。暑いからね。少し前から暑い中やっていたが。えーと、まだ大河ドラマ見てないし、明後日「ミラクル9」のスペシャルがあって、先週の分の「ミラクル9」を土曜日に放送してくれるようだ。ハードディスクに余裕が欲しい所。呑みながら幾つか見るか。その前に上に書いた線形代数のことを解決したい。ということで、やります。じゃ！

個研室の冷房がエラーメッセージを吐いて、涼しくならない

今日は9時10分過ぎに起きた。しばしボーっとするが、あまりゆっくりはしていられない。9時50分くらいに住処を出る。職場に着いたのは10時20分くらいなので、ちょっと生協を冷やかす。

10時40分から「線形代数学」。今日は冪零の場合のジョルダン標準形の存在。ここ数日一生懸命やって、池田氏の本や三宅「線形代数概論」のお陰でよく分かるようになったので、自信を持って講義した。で一意性をやる前に計算例をやった方がよかろう、と判断して、講義の順序を入れ替えた。まあ一意性の証明をまだちゃんと理解出来ていないので、時間が欲しいこともあったが。丁度例を計算し終えたところで時間。

昼飯は「ビッグボーイ」でハンバーグ。この前「ふなごや」のことを書いたが、考えてみれば「ビッグボーイ」に行ったことは無かった。早稲田の周辺では「でかお」とか言って、随分悪口を言われていたので、どんなもんだろう？という興味もあって。で食べたが、成程、この程度の味か、と言う感じ。もう行かなくてもいいや。今度は「ガスト」でハンバーグを食べよう。

1時10分過ぎに個研室に戻ってくる。暑いので冷房を付けるが、あまり涼しくならない。何でだろう？と思っていたら、何やら来客。小生の個研室の冷房がエラーメッセージを吐いてるらしい。一旦電源を落としてもう一度入れたらエラーメッセージは消えたそうなので、帰られた。その後、相変わらず涼しくならない。で冷房の電源を見ると、エラーメッセージが出ている。暫くするとさっきの人が来た。やはりおかしいらしく、クレオテック（大学が出資してる子会社で、学内の雑事全般を取り仕切っている会社）に頼めば扇風機くらいは貸してくれるかも、と言ってた。うー、つらい。まあ風は出ているので、回しておけばいいかと。

でそんな中、冪零の場合にジョルダン標準形を求めてみた。講義で話した通りやれば出来る、という確信があったが、まだ完全に理解していないことが分かった。それでも何とか答えは出た。SageMath はジョルダン標準形を求めてくれる。で帰ってきた結果は、1である成分が一つで、他は0。何か間違ったか？と思ったら合ってる。J(0;2) 一つと J(0;1) 二つの直和（J(λ;m) で固有値 λ の m 次ジョルダン細胞を表す）っていうのが手計算の結果だが、J(0;1) って1行1列の行列 (0) のこと。J(0;2) は(1,1)成分のみ1で他が0、という2行2列の行列。苦労して計算して、0が大量に吐き出されてくるのは、正直ちょっとがっかりだったが、まあいいや。 学生向けの演習問題に入れておこう。もういくつかやりたかったが、4時を過ぎていた。ということで、一つで終了。また気が向いたら後日やるということで。

4時20分からゼミ。今日も色々問題あり。写像の定義をしないで議論をする、という学生は一定数いる。試験の答案で「写像 f：R₁ → R₂ を考える」と書いて定義せず、それで像や核が求まったり、同型であることが示せたりするものがあったりする。何故そんなことが出来るのか、皆目見当が付かん。それに忘れちゃいけないのは、R₂ への写像なんだから、結果は R₂ に属していないといけない。それを確認しない学生が大多数。今日もそんな感じで1ページくらいしか進まず、(0) でない分数イデアルの全体が群に成ること、(0) でない単項分数イデアルの全体がその部分群に成ることを示せた。でイデアル類群を定義するのか、と思ったら、力尽きたらしい。まあ今日の出来じゃ続きをやったところで悲惨な結果に成るのは目に見えているので、やめて正解だと思う。7時半まで時間は取ってあるが、7時くらいに終了した。

ちょっと用事があるので、時間が出来てむしろ助かった。メールを見ると、事務の人が心配してメールをくれていた。「明日の11時までですが、大丈夫ですか？」と。大丈夫なので、その旨メールを書くも、もう帰られているだろう。事務作業をしばし。最近は何でも自動化されているので、あまり考えなくても大丈夫。考えるのは数学だけにしたい。9時前に終わらせて、「格納しました。ご確認を」とメールしておく。その後学生向けの演習問題（誰も解かないが）をアップしておいて、9時過ぎに職場を後にする。

この前 Facebook を見ていたら、「小学生に特殊算を教えるのは必要か？」みたいな記事が出ていた。書いているのは「必要」という人。脳味噌を鍛えるのに是非とも、という意見だった。コメントしている人は「あんなものの為に表で遊ぶ時間や睡眠時間など、随分削られている。方程式を教えればあんなものは知らなくても解けるから不要！」とのご意見。どっちの言いたいこともまあ分かる。小生中学は公立に行ったが、親に塾通いを強いられ、お受験組と一緒に勉強させられた。確かに鶴亀算は嫌だった。今解説を見てみると、非常に平易なことをやっているのが分かった。あの「全部鶴とせよ」という手筋を、何の説明も無く覚えさせられるのが、嫌われる原因。必要という人の意見は、色々実験させよ、という意見。そうです、全部鶴とするのでなく、当て勘で答えさせ、そこから鶴と亀を取り換えるたびに足の本数がどうなるか？というのをさせればよい。で、当て勘は難しいでしょ？だから極端な場合を考えて、そこから調節していく、ということを分からせるのが大事。そんな時間は無い？そうです、問題はそこ。小学6年生に受験させるために知識を詰め込み、所定の時間内で点数をある程度取る、そういう訓練はよくないです。それの為に遊ぶ時間が減るのは確かに問題。勉強＝点数を取る仕事、という図式が出来ているのが不幸。昔講義で「1次独立」と書いたり「一次独立」と書いたりごちゃ混ぜにしていた時があるが、学生から質問があった。「どっちでもいい！」と答えておいた。彼にしたら点数が心配なのだろう。ただ、その学生はそういうの関係無く無茶苦茶出来た。講義終了後にその日の講義の内容を質問してくる。そういう学生でも減点を気にするのは不幸。ゼミでいつも「その a っていうのはどっから取ってきたの？」と突っ込んで書かせているが、それを小生が文句言ったから書いた、というのはおかしい。分かるためには元はどこから取ってきたか分からないと困るから言ってるのだ。目的は先生を満足させることではない筈。自分が分かろうという意識がまず大事。そう思って本を読めば、ギャップがどこにあるかすぐ気付き、証明しないと気持ち悪くなる筈。「減点」より「分かりたいという原点」が大事です。

長くなった。明日は12時くらいに職場に行かないといけないので、今日は無理せず寝る。明日は背広を着ていかないといけないのだが、天気予報によると明日は目茶目茶暑いらしい。京都は37度とか言ってた。個研室の冷房がいかれているとは書いた通り。暑い中会議に参加して、終わったら冪零の場合のジョルダン標準形の一意性と、冪零とは限らない場合のジョルダン標準形の存在証明をきっちり理解、それから教授会、その後勉強の続き、と思っていたんだが、冷房の具合と学科長会議の終了時間によっては、学科長会議終了直後に職場を出よう。

今栗山英樹監督とトム・ホーバス日本男子バスケ代表監督が対談している。「信じる」が共通の信念。『信』は『人が言う』と書く、というのは何とも含蓄のある言葉だった。小生も少し信じてみよう。まあ裏切られるんだろうけど（もう既に信じてない）。

連敗止まって、首位と1.5ゲーム差、3位と2ゲーム差

昨日は10時過ぎに寝た。で熟睡。が、11時頃電話で起こされる。明日職場に保険会社の人が来ることに成っていたが、何やら都合が悪くなったと。それで予定を変えてくれ、とのことで、変更した。メモってもう一度寝た。

で起きたらもう結構な時間。野球は終盤。1点リードしている。よしよし。2点先制したが、東が2ランホームランを打たれ追い付かれて、楠本の犠牲フライで勝ち越した、と言う状況だったようだ。最後は康晃が三者凡退に抑えて、ようやく連敗が止まった。よかった。Giants vs. Tigers はどうかというと、同点。でそのまま引き分けた。昨日は Tigers が勝って Baystars は引き分け、今日は Baystars が勝って Tigers が引き分けと、二日間で全てチャラに成った。1.5差か、まあいいでしょう。交流戦終了時より1ゲーム縮まっている。まだまだ。

まだ何か眠いので、床屋はやめることにした。水曜日か木曜日に行こう。でジョルダン標準形の勉強の続き。説明のしようというのはあるもので、去年までよく分かってなかったところがよく分かった。お金の許す限り本は持っておいた方がいいな。まあ図書館で借りてもいいが。違う人の説明でより分かりやすいものはあるし、同じ人の書いた本でも、前書いた時の反省からか、説明が詳しくなっている時がある。「線形代数概論」なんかまさにそうで、講義のテキストより格段に分かりやすくなってる。買ってよかった。学生はゼミの予習で他の本を見ているだろうか？それとこんなに根を詰めてやってるだろうか？あまり自分が懸命にやってるんだから、お前もやれ、みたいなことを言うと、すぐパワハラに成ってしまうから気を付けないと。こっちに来た年に担当した「外国書購読」では学生相手に随分キレた。あの時に随分我慢強くなった。が、去年から今年に掛けて、ゼミで相当キレてる。もう少し辛抱するようしよう。

でジョルダン標準形はよく分かった。野球の様子を見ると、Carp は Swallows に負けた。よかった。1週間前は首位に立ったが、下手をすると昨日か今日に3位転落という状況だった。まあまだ順位を云々しても仕方ないが。「サンデーステーション」が終わったらセブンイレブンに明日の講義資料を印刷に行ってくる。結局職場には行かなかった。30分くらいあるので、明日締め切りの事務仕事を終わらそう。

傷だらけの引き分けで連敗止まらず

今日は「ふなごや」に呑みに行くつもりでいたので、早目に寝よう、と思ったんだが、ジョルダン標準形の存在証明がどうもよくわかっていないので、頑張ってしまう。抽象論だけ追っかけてても分からないので、例が一つ出ているからそれを頼りに、としてどうにか成るか、と思ったんだが、何かおかしい。k≧1 に対して s_k というのが定義されてるんだが、s₀ というのが出てきてしまう。うぉー、と色々小さめの数で計算したりしても、何かおかしい。でちょっと前を見たらわかった。s_k-1 は s_k+1 の誤植。だから s₀ でなく s₂ だったのだ。それなら分かる。他に分からない所は「線形代数概論」に分かりやすく説明されているのを見て、合点がいった。まだちょっと分かってない所があるが、どうにか成りそうなので、昼飯を食べに行く。

いつもは大抵 Uber Eats なのだが、今日は「ふなごや」がランチのハンバーグ定食を始める日。一番乗りしてやろう、と12時に住処を出て行くと、既に一組客がいた。残念。でハンバーグはと言うと、旨い。分厚くて、肉肉しくて。ガストやビッグボーイとはわけが違う。色々味があるようなので、また行くと約束してくる。今晩は来ないと、宣言し、代わりにしばし雑談をしてきた。

2時から野球。今日は凄い雨降りに成るようなことを言っていたので、横浜も中止か？と思ったら、いい天気のようで、定時に試合開始。今日はバウアーだが、1番バッターの初球を2ベースヒットにされ、4球で失点。もう。幸いその後の2アウト1、3塁のピンチは凌いだ。2回も失点。が、2アウト満塁のピンチは凌いだ。バウアーは立ち直ってきた。打線はと言うと、新外国人のメヒアを打てず、2回にソトがヒットを打ってから凡打の山。6回表に珍プレー。2アウト1、2塁で岡林がセカンドゴロを打つ。ランナーが挟まれて、チェンジだろう、と思ったら、キャッチャーと内野手の連携が悪く、ランナーに戻られ、満塁にしてしまう。バウアー怒った。F〇ck を連発。声が聞こえるほど。勿論口の動きでもわかる。高橋周平をピッチャーゴロに仕留めて、1塁へ送球、しない。すごい勢いで1塁ベースへ向かって突っ込んでいく。誰も信用できないのか、ベースを踏んで、なお F〇ck を連発。裏に代打が出て、バウアーは6回2失点と、立ち上がりを見れば、まあこの程度で済んでよかったな、と。相変わらずメヒアを打てず。今日も負けか？と覚悟したが、8回裏にソトが久々のヒット。2ベース。大和四球でノーアウト1、2塁。ここで番長が勝負に出る。代打宮崎。が、三振の少ない宮崎が珍しく三振。続けて代打楠本。タイムリーヒットで1点返す。三者連続代打の戸柱。四球を選ぶ。関根が内野ゴロ。ゲッツーでチェンジか、と思ったら、1塁セーフで、その間に同点。いやー、よかった。リリーフ陣が今日はよく、Dragons の打者を15人連続で打ち取る。9回裏は1アウト満塁のチャンスを作るも、柴田のショートライナーで牧が飛び出してしまいダブルプレー。サヨナラ成らず。10回裏は三者凡退。11回裏は桑原が先頭で出塁も、知野がバント失敗、牧三振。で神里の場面でアクシデントが。桑原が塁間で立往生。脹脛の肉離れから2週間弱で復帰はやはり無理だったか、歩けない。これは緊急事態なのだ。10回裏開始時点で残ってる野手は蛯名とキャッチャーの山本だけ。で豪勢に蛯名を代打で使ってしまったから、残ってるのは山本だけ。12回表の守備は1塁を守っていた知野を外野に回して、山本に1塁を守らせる、という不安な状況。幸いショートフライ、三振、三振で山本の守備機会は無し。よかった。12回裏はマルティネスが出てきた。今シーズンまだ自責点0（失点は2）。昨日は三者連続三振に打ち取られた。期待出来ないな。案の定あっさり2アウト。が、ここから粘る。柴田がヒット。楠本のセンターへの当たりを岡林が判断ミスし、ヒットに。2アウトながら1、3塁。バッターは戸柱。やってくれる、と信じて見る。ショートへの難しめなゴロ。が、溝脇が上手く捌いて、1塁へ送球し、ゲームセット。うーん、連敗止まらなかったか。相変わらずもう1本出てれば、という展開だった。まあ執念は見せた。明日はやってくれる。

Tigers はというと、勝ってしまった。むぅ。Carp の試合は18時開始。今途中経過を見たら、Swallows に3点リードされている。サンタナが1回裏に3ランホームランを打ったようだ。よしよし。3位転落は免れそうだ。1週間前は「奪首だ！」とか喜んでたんだが、1週間でこうも変わりますか、と言う感じ。まあ Giants を含めて4チーム団子、というのも面白くてよかろう。勝負事は最後まで分からない。一昨年のパ・リーグは Marines が残り3試合全勝すれば Marines の優勝、一つでも負ければ全日程を終了している Buffaloes の優勝、と言う展開で Marines が負けて Buffaloes の優勝。去年は Buffaloes と Hawks が勝ち負け引き分け全て同じも、直接対決の結果で Buffaloes が優勝。Hawks がリードしていて、あちゃー、ダメか、と思ったそばから逆転を許し、Buffaloes が勝って優勝、という感じだった。こういうのも面白くていいです。独走してくれた方が楽でいいけど。

さて、考えてみたら、昼飯は12時過ぎに食べてる。野球に熱中したりこんなものを書いたりしてるうちにもう7時だ。晩飯だな。食べたらジョルダン標準形をもう少し勉強しよう。大分直したんで、昨日印刷してきたものでは講義は出来ない。明日職場に行って印刷するか、それとも pdf にしてコンビニのコピー機で印刷するかのどちらか。床屋にも行きたいしな。まあ程々に寝る。上の書きようで分かるように、徹夜している。明日の起きる時間によっては床屋も職場行きも全部おじゃんに成ってしまう。野球すら見られないかもしれない。適当に切り上げないと。