中川颯4年目でプロ初勝利

また徹夜してしまった。サッカーが気に成った、というわけではない。勝てばオリンピックだの場所がドーハで相手がイラクとあの時と同じ、と散々煽っていたが、それよりも USB メモリーがトラブっていて、それで時間を取られたのだ。.aux ファイルが壊れている、というメッセージが出たので、削除すればいいのだろう、と思って削除したがうまくいかず、「チェックディスクをせよ」とのメッセージが出ている。MS-DOS を使ってた頃 chkdsk 命令を意味も分からず実行して酷い目にあったことがあるから、怖いな、と思っていたが、実行後エラーは出なくなった。が、職場で数時間掛けてやった作業の前の段階に何故か戻ってしまい、プリントアウトしたものを見ながらチマチマ打ち込むという、何とも言えない無駄な時間を使ってしまった。あほ草。そんなことをしているうちにサッカーは勝って、まあよかったかな。

ここ数日関西みらい銀行からしょっちゅう電話があったが、運転中だったり講義中だったりでずっと出られなかったが、今日やっと出られた。何やら送ったが見たか？という話。後で見ます、と断ってダウン。

気付くともう野球の時間。不規則この上ない生活。見ると1点先制していた。今日の先発は中川颯。この前はプロ入り初勝利のチャンスもリリーフ陣が大逆転されフイに。で6回まで60球くらいと完投勝利すら出来そうな感じ。が、何やら肘の不調で68球で6回0/3で交代してしまった。伊勢がランナーを返してしまい1点差（ダブルプレーの間にもう1点取っていた）。がその後抑えて、康晃、森原と好リリーフ。ついに初勝利。Buffaloes では育成契約で、2軍で防御率1.38の好成績だったが、戦力外通告。Baystars は支配下選手として契約してくれて、オープン戦では無失点だった。恩返し出来た、というようなことをヒーローインタビューで言っていたが、偽らざる言葉だろう。3連敗で借金4まで落ちていただけに、今日勝ててよかった。5位タイ（要するに最下位タイ）で並んでいた Swallows も勝ったので最下位脱出とはいかなかったが、まあいいです。明日も勝ちましょう。明日は石田健大が今シーズン初登板。やってくれると信じよう。

もう5月だな。あっと言う間の1ヶ月。暑くて今日の日付が分からなくなるくらいだが、明日はちょっと涼しいらしい。調子を崩さないように気を付けないと。金曜から4日休めるので、二日間耐えよう。

祝日でもゼミには全員来て普通にやった

10時半のアラームで目が覚めて、ほぼ同時に電話が鳴った。番号を見るとマンション売れ売れ系なので無視。シャワーを浴びて、11時半前に出発。

高速道路は混んでなかった。12時前に職場に着いて、弁当を購入して食す。中華弁当という奴を買ったが、ご飯が白ご飯でなく炒飯だったので、スプーンが欲しい所だったが、まあいいです。結構旨かった。

1時からゼミ。祝日なのに皆ちゃんと来ている。もううちに来て6年目だ。慣れっこだろう。今日からディリクレ L 関数の話。で無限和の収束をいい加減に済まそうとしたから止める。絶対収束なら収束とかそういう1回生、2回生レベルの話なのによく分かっていない。その後分からないと言っていた所があったが、そっちの方がよっぽど自明。で色々示して、長い節なので選手交代、の筈が、思ったより早く進んだので、予習がほぼ出来てない、ということで早目に終了。まあいい加減にやるのが一番良くないので、予習が出来てない時はやめましょう。来週は所謂「アーベル総和法」とかやって L 関数の定義域に s＝1 を入れる話とか、L 関数の値を幾つか掛けるとデデキント ζ 関数の特殊値と一致するとか、算術級数定理とかやるのだろう。面白く成ってきた。

で時間が出来たので、線形代数の準備を色々。先週一回読んだつもりだったが、まだよく分かっていないことがあった。紙とペンを相手にゴソゴソと計算。大分分かってきた。もう大丈夫かな、という感じ。簡約化の一意性の証明をまだ読んでないが、まあ今週はいかないでしょう。その手前まで行っても、多分やる時間は無いだろうと思われるので、別のことをやるか小テストをやるか。でその後行列式の所もちょっと読んだが、他の本と色々違って面白い。|AB|＝|A||B| はまず A が基本行列の場合に示して、正則な場合に示して、その後正則でない場合 |AB|＝|A||B|＝0 を示す。でその前に A が正則 ⇔ |A|≠0 を示してしまう。去年O先生に不合格を付けられて今年受講している学生が多いと思われるが、あまりの理論展開の違いに戸惑うかもね。大学の数学はお役所の検閲が入っていないので、著者が好きに出来て面白い。|AB|＝|A||B| の証明はそれこそ何十通りも読んだ。フェルマーの小定理の証明も沢山あって面白い。別証明を考えるのが数学の面白い所で、究極は誰も考えてないことを考えないといけないから、少しくらいの理論展開の違いは頑張って乗り越えないと。まあ徐々にかな、それとも一気にかな、脱落する受講生は増えてくるでしょう。演習を担当している先生方が熱心なのが助かる。

野球はどうだったかというと、見始めた時から既に不愉快な展開。どんどん点を取られ、最終スコアは11－1と惨敗。細川に6号満塁ホームランを打たれた。うーん、Baystars にいる時にこれくらい打って欲しかったね。まあいいけど。

今日は豚カツを食べよう、ということで、南草津の松屋と松のやが一緒に成った店舗に向かう。で豚カツの食券を購入した筈が、何故かカレ牛と2枚一緒に成って出てきた。おい！といことで返金処理をしてもらう。この前ミスで2つ同時に頼んでしまった時があったが、その時に PayPay 払いだからすぐ返金は出来ない、と言われて色々したんだが、今日も PayPay 払いなのに現金で返金してくれた。890円はでかいぞ、ということでよかった。今日はやはり祝日だからか、大賑わいだった。学生みたいな感じの客が多かった。

パ・リーグは Hawks が突っ走ってる。まあ金で集めた選手の多いチームだから、とよく言われるが、そんな中2021年育成ドラフト14位というとんでもない入団の仕方をした仲田慶介選手がプロ初安打という凄いニュースも。金満球団なのか育成上手なのかよく分からないチームだ。こういう選手の活躍は嬉しい。頑張ってもらおう。で今日の Hawks は2点負けてる9回裏に柳田のサヨナラ3ランホームランが出るというとんでもない勝ち方をした。Lions は3ゲーム続けてサヨナラ負けとか。12球団で唯一10勝出来てない。セ・リーグは Swallows がまだだったが、今日は Giants を9－0と一方的に破って、10勝目。調子よくスタートを切った Baystars はまだ10勝。うーん。この前 Swallows のヤフーレを滅多打ちにしたが、今日は Giants 相手に94球完封勝利でハーラーダービートップの4勝目。月間MVPだな。明日は用事が無いし、観戦しよう。18時開始だから余裕だ。明日は勝てよ。

ほぼ1日中寝ていた

昨日は無茶苦茶呑んだ。1週間ぶりなのでね。ビールばっかり呑んだが、尿酸の値が高いので控えた方がいいのだがな。薬を飲まされてるが最近サボり気味。今晩くらいはちゃんと服用するか。

で起きた頃は野球は終盤。この前は見始めたら同点、逆転、ダメ押しだったが、今日は既にリードされていて、どんどん点を取られるという嫌な展開。まあ初登板の中川虎大（名前は「こお」と読ませる）が凄くいいピッチングをして、期待出来るのは収穫。G 相手の3連戦は1勝2敗と負け越し。チームは借金3。まあいいです。

Uber Eats に麻婆ライスを頼んで食べて、もう一度ダウン。そのまま今さっきまで寝ていた。やっぱり呑み過ぎはよくないな。まあたまには馬鹿をやらないと。テレビは付けっ放しだったが、補欠選挙で自民党が全敗したというニュースが聞こえてきた。岸田内閣はもはやこれまでか？

明日は祝日だが1時から3時間のゼミ。うちは祝日でも関係無い。高速道路は混むだろうか？少し余裕を持って出た方がいいな。帰りは何時頃が混むのだろうか？まあ水曜日の講義の下ごしらえを程々の時間までやるので、それなりに遅くなるが。遅くなると天気が悪くなると言っていたが、まあいいです。祝日は駐車場がすいているので、あまり遠くない所に停められるのがいい。高速道路の通行料も安いし。

1週間6日用事があるという週を何とか乗り切った（か？）

昨日書いた通り、今日は1時にトヨタに行く用事があったので、早目に寝る、とつもりが、「朝まで生テレビ」が始まってつい見てしまった。田原総一朗は先日90歳に成ったとか。元気やな。やっぱり寝ないとまずいので、途中で寝た。目覚ましを11時と11時半に仕掛けておいた。

が、起きられず、グズグズとしていたら電話が鳴った。トヨタから。時計を見ると1時を過ぎていた。まずっ！急いで出掛ける。勿論言葉の綾で混雑している片側一車線の道路では急ぎようがない。運よく外環三条の交差点は一つ目の信号で右折出来た。で1時35分くらいにトヨタに着いた。小生の担当である長谷川さんは別の人と商談をしていた。1時間くらい掛かるので、ちゃんと文庫本を持っていった。結構進んだ。作業完了の時は長谷川さんが来た。取り立てて問題は無しということで。そら1年やそこらで問題があったらいけない。1回リコールもあったし。食事をしてないが、住処にカップ焼きそばUFOが1つあった筈なので、それでいいかと直帰。

トヨタで文庫本の合間にチラチラとスマホで野球のチェック。2点取られている。昨日はあんな展開だったから今日も、と期待して、住処でテレビを付けて観戦。7回裏に宮崎がソロホームランを打って1点差。が、いつもの通りチャンスを潰しまくって、連勝、5割復帰とはいかなかった。まあいいです。明日も勝って、カード勝ち越しといきましょう。明後日は月曜だが、祝日なので試合がある模様。Dragons 相手にバンテリンドームでだそうだ。ということは中止は無いな。見たいが4時10分までゼミなので、帰って見ることは出来ない。勿論ゼミ中にスマホをチラチラというわけにもいかないので、ゼミが終わるまで我慢。終わったらパソコンで動画配信サービスを、というのもやめよう。職場のパソコンで職場の電気を使って見るのはよくない。見るならスマホでだ。展開によるけどね。水曜日の線形代数の下ごしらえがまだ完成していないので、月曜日にやる。野球に熱中するわけにはいかない。

さて、今週は月曜日から今日まで毎日何かしらの用事があった。ということで1週間丸々酒抜き。今日は呑みます。野球がデーゲームだったので、後顧の憂いは無い。風呂も今入ってきたし。もう大丈夫。ということで、じゃ！

8番降格の度会が満塁ホームランを含む3安打と大爆発

今朝は起きたらもう8時を回っていた。急げば間に合う、と即出発。車のCDを変えようと思って昨日の晩棚から引っ張り出したが、鞄に入れ忘れて、今日も浜田省吾のカバーミニアルバムの3枚目を聞きながら出発。いつもの通り「京都東－大津 渋滞1km 5分」の表示。何故か毎回料金所のレーンが1台閉まってる。何故だろう？まあだけど大体いつも通りで、ゼミ室に9時丁度位に着いた。

今日は代数的整数論のゼミ。O君がいないな。まあ彼は本来来なくてもいい人なのでいいが。今日は何やら線形代数的な議論で目茶目茶時間を使ってしまった。線形代数は苦手という学生は多い。行列の計算とか意味も分からず階数とか計算は出来るが、それの意味するところを理解するのは大変。1次独立とかも幾何学的な直観だけではダメで、形式的な議論がちゃんと出来ないと。それから2次体の整数環と整数基を決定する話。合同式が不慣れなようで、ちょっとイラっとした。小生は2次体をいじって論文を数本書いてるし、その過程でルジャンドル記号の計算とか Chinese remainder theorem とか相当計算したので、すいすい出来るのだが。木曜日の初等整数論のゼミで慣れてもらおう。ちょっと延長して12時20分くらいに終了。

朝食べてなかったので、弁当を買って生き返る。1時から「代数学I」。今日はイデアルをまず定義して、準同型写像の核がイデアルであるとか有限生成イデアルとか。整除性が単項イデアルの言葉で完全に言い換えられることを示して、それから剰余環。差がイデアルに入ってる時に～で結んで、～が同値関係であること、同値類が剰余類に成ってるとか示して、R/I を定義したところで時間。例が出来なかったな。来週は休みだから1週間空いてしまう。まあ再来週ちょっと復習してから始めるか。

講義後は部屋でちょっと。web に上げる問題をどうするかちょっと検討。Z のイデアルが全て単項イデアルであるということを示してないので、2問ばかり不適切な問題があったので削除してから web に pdf ファイルを上げて、html ファイルをちょっと直して、ついでに卒研のページで「過去に使用した、もしくは現在使用中のテキスト」に藤崎先生の本を追加。などなどとして、4時40分くらいに職場を後にした。

これくらいの時間なら混んでないのでは、と思ったが、もう渋滞している。「草津JCT－京都南 渋滞15km」の表示。うーん。今日は故障車があったようだ。渋滞は新名神にまで及んでいて、小生の後方から数台草津パーキングエリアの方に入っていったが、パーキングエリアで休憩したいのか、本線と違って渋滞してないだろうと踏んで入っていったのか知らないが、こちらもブレーキランプを光らせた車が微動だにしない状態で渋滞していた。H なことは考えない方がいいです。途中ちょっと空いたが、京滋バイパス方面が大分渋滞していた。結局京都東で下りるまで渋滞は続いていた。予報通りだと京都南まで続いているようだから、運転する人は大変。

で帰ってきて部屋に戻らずセブンイレブンへ。この前定期購入をやめたものがあるが、それの最後の回の支払いをしていなかったので督促状が来ていた。でこの前財布に5円玉が4枚と嫌な状況だったし、昼弁当を買った時新500円玉を手にしてしまったので、3402円支払えば丁度いい、ということで向かったんだが、財布を空けると2700円ちょっとしかない。ガーン。キャンセルしてもらって銀行へ行って卸して、再度向かう。支払ってついでにカレーパンを一個購入。期待していたほど美味しくなかった。まあいいけど。

で6時くらいに住処に着いてテレビを付けたら、もう2回裏。今日も5時半開始だったか。今日はついに打順をいじって、度会は8番、代わりに1番は桑原。3回裏に桑原のヒットからチャンスを作り、佐野の内野ゴロで先制。が5回表にセーフティースクイズを決められ同点にされてしまう。7回表に吉川にヒットを打たれ勝ち越しを許す。ここまでの体たらくとチーム防御率1.82という強力 Giants 投手陣だとまあ負けだな、という気がしてみていたが、今日は違った。8回裏にルーキー西舘に襲い掛かる。西舘はプロ入り初登板から10試合連続ホールドというとんでもないことをやっていて、無失点。あちゃー、という感じだが、桑原ヒット、石上送りバントで佐野がタイムリー2ベースで同点。牧がレフトオーバーの2塁打で勝ち越し。西舘をノックアウト。代わった船迫（ふなばさま、と読む）から宮崎がヒットで1、3塁。関根が死球で満塁。関根の体に当たったか、バットを引いたかどうかで Giants 側からリクエストがあるも判定は覆らず。1アウト満塁。祐大の当たりで牧がホームインしたかに見えたがアウトの判定。当然三浦監督からリクエスト。ビデオを見る限り捕手大城の足は離れているかに見えたが、判定はアウト。後でスマホを見たら、文句が大量に出ていた。まあそうだろう。でそこで大抵は終わるんだが、今日は違った。8番に降格させられた度会が何と満塁ホームラン！度会は左から8分ちょっとしか打てていなかったので、当然左の高梨が出てきたが、何するものぞだった。1イニング6得点で5点リード。もう大丈夫でしょう。最後は森原が抑えて勝利。いやー、興奮した。勝ち投手は森唯斗。東は7回2失点だったが勝てなかった。まあ森が勝ったのでいいです。解説は工藤公康氏で、若き日の森唯斗に随分救ってもらったのか、嬉しそうだった。ヒーローインタビューは豪華に4人。2打点の佐野、勝利投手の森唯斗、満塁ホームランを含む3安打の度会、決勝点の牧。明日はデーゲームだ。2時開始だが1時にトヨタに行くことに成ってる。開始には間に合わないかもしれないが、まあいいです。勝ちましょう。

ここ数日5時半開始だったのは、試合終了後にライブをやることに成っていたから。が、1日目は延長12回のロングゲームで、10時を過ぎると鳴り物禁止、というルールがある以上勿論ライブは無理。2日目も長い試合だったし、雨ということもあり無しに成った。今日はちゃんと出来た。知らない歌手だったが歌は知ってるものが多かった。ちゃんと石井竜也氏やリンドバーグのことも触れて、去り際に米米CLUBの歌やリンドバーグの歌を軽く歌いながらだった。お客さんは楽しかったろう。

野球が終わってから先週の「座王」を見てなかったことに気付いた。いやー、面白かった。あぁ～しらきが「座王」の常連組をバッタバッタと薙ぎ倒した。鬼西田も、3連覇を狙うフルポン村上も。7連勝で初座王。凄い。決勝を闘った「日本一おもしろい大崎」改め「長崎一おもしろい大崎」も初座王が掛かっていたが、残念でした。今回は相手が凄過ぎたね。

昨日は早く寝たが、何やら11時近くからサッカーの日本 vs. カタールをやると言ってた。全然ニュースに成ってないところを見ると負けたのだな、と思って「報道ステーション」を見ていたが、何と勝ったそうじゃないか。立ち上がりに1点取ったり、相手のゴールキーパーが退場に成ったりしたのに一旦はカタールにリードを許したが、追い付いて、延長戦で2点取ったとか。日本強く成ったね。韓国はインドネシアに負けたらしい。PK戦に成って、12人も蹴り合ったらしい。ゴールキーパーまで蹴ったとか。で負けて、40年振りにオリンピックを逃したそうだ。韓国の人は怖いから、選手は帰りたくないだろう。Tigers ファンも怖いが、韓国人に比べたらマシだろう。スポーツ観戦は節度を持ってやりましょう。

初等整数論のゼミは今日も一人の学生がいっぱい喋ってた

今日も11時半過ぎまで起きられなかった。昨晩は早目に寝る、というつもりだったが、つい。まあ下らん計算もしたし、定期試験の問題に成りそうなものも考えた。いいです。

で12時半過ぎには職場に着けた。弁当を買って食べる時間もあった。割と調子よくゼミに臨めた。今日は初等整数論のゼミ。素因数分解の一意性とか p 進加法付値とか。それの応用として互いに素な数を掛けて平方数だったらどっちも平方数などをやって、幾つか不定方程式を解いたり。原始ピタゴラス数のパラメータ表示をやって、その後に単位円と (－1,0) を通る直線との交点を求めても求まる、と書いてあった。tan(θ/2) を t とおいて sin θ、cos θ は t の有理式で表せる、ということは知らなかったようだ。説明しておいた。今日も一人で沢山やったが、大丈夫でしょうか？一昨年は一人大体2頁、という変な割り振り方をしていて、定理の後に大事な注意を書いてある場合も、定理の証明が終わったらさくっと選手交代していたが。ちゃんと予習していて、まあ合格でしょう。エントリーシートやレポートを pdf に変換するのが苦手な学生のようで、レポートはほぼ判読不能だったからいい成績を付けられなかったし、エントリーシートは頑張って読んだ。そういう点からは怪し気な学生かと思われたが、想像よりはるかにちゃんとしていた。3時間掛けて通ってくる、と言っていたが、1回生の時からずっと羽曳野の実家から来ていたらしい。9時からの授業ももちろんそうしていたようだ。根性あるね。ちょっと「座王」でお馴染みの大須賀に似ていた。

4時前に解放されたので、個研室で線形代数。連立方程式に対する理解を深めようと思ったが、つい秘蔵の問題集を眺めて時間を無駄にした。変なことが沢山書いてある。2次列ベクトルの第1成分と第2成分が逆に成っていたり、2次方程式の解が全然違ったり。まあ時々こういうのは見直した方がいいので、時間のある時にやります。

暫くしたら何やら学生が訪ねてきた。物理の学生だが、大学院で数学をやりたいらしく、研究室を歩き回っているらしい。で小生は整数論をやっているとか、2次の合同式はガウスが精力的に研究した面白い分野だ、とかそういうのの研究に二次の無理数や1の冪根が使われている、そういうのを発展させた代数的整数論というのがある、と説明しておいた。その後先週「代数学I」の後に質問に来た留学生からのメールに答える。初歩的な所か書いてある本を知りたい、ということだったので、新妻弘・木村哲三「群・環・体入門」とそれの演習書などはいいかと思って教えておく。新妻氏の新著「独習 ガロア理論」もいいかと思い見てみると、ガロア理論の本だが剰余環とか商体とかも書いてあるし、秋学期の「代数学II」にも使えていいだろうと教えておく。メディアセンター（理工系の図書館の名前）の蔵書を調べたら、どれもあったが、やはり人気の本なのかほぼ出払っていた。数冊残っているのと、館内利用に限定されているものならあるので、メディアセンターで勉強するにはいいでしょう。

8時ちょいに職場を後にした。王将に寄りたいので。「給油してください」のインジケーターが光っていたので、外環三条を左折してエネオスへ。久し振りにセルフじゃない店に行った。窓を拭いてもらえてよかった、と思ったが、明後日トヨタに定期点検に行くから、その時洗車してくれるのだった。何だ、セルフの店に行けばよかったな。いいけど。で王将の京都東インター店に行って、ニンニク激増し餃子と極王炒飯で1111円。2月29日に貰った229円引き券を使って安上がりにした。

今日は滅茶苦茶暑かったようだ。昨日の講義の時は部屋のエアコンが稼働していたが、いるか？というくらいの陽気だった。明日も25度を超えるらしい。やっぱり講義室は冷房が入ってるんだろうか？水曜日の講義は1回生なのでまだ沢山出席者がいるが、明日の講義は3回生で、もうどうにでもなるのが分かっているだろうから、出席者は少ない。その方が部屋が涼しくていい。いやいや、出席者が少ないのを喜んじゃいけないね。そう言えば、水曜日の講義は教卓の前に3人留学生と思しき女子学生がいたが、昨日はいなかったな。2回で挫折したか？小生はよく喋るので、言葉が分からないので嫌に成ったか？知らんけど。昔はゴールデンウィーク丸々休みとか豪勢なことをしていて、そこで学生はだらけたが、今年はうちは4日間しか休みが無いので、まあ大丈夫かな。頑張って付いてきてください。

明日は9時までに職場に行く日。15週間続くのかと憂鬱だったが、何と来週の金曜日は祝日じゃないですか。嬉しい。目一杯怠けよう。いや、部屋の掃除をしようか？新しく買った本と、ちょっと調べ物をして本棚に戻さなかった本、飲み散らかしたペットボトルなどで部屋が収集付かなくなってる。ペットボトルは昨日そこそこ捨てたが、まだまだ。微積分の本はもう戻そう。少し真剣に読むつもりだったが時間が無い。いや、怠けなければいいだけの話だが、定期的に怠けないと。部屋に散らかっているのは書き散らかした紙もあるので、それを TeX 化したりして捨てるためにはちょっと勉強だな。まあ程々にやります。

康晃が大乱調で5割復帰を逃す

今朝も11時過ぎまで起きられなかった。本当に10時半のアラームはやめようか？何故10時半かと言えば、昔は諸事情でうちの午後の開始は12時半で、ギリギリだとバスが混むし、講義の前に食事もしておきたい、ということでの10時半だったが、今は1時開始だし、学食で食事はしないし。どうしようかな？シャワーを浴びて、12時前に住処を出て、12時半くらいに到着。外で売ってる弁当にいいものは無かったが、一度品定めしてやっぱ買わない、というのが出来る程面の皮は厚くないので、買ったが。

1時から「数学III」。行列の分割と結合の残っていることをやってから連立方程式の章に入る。行基本変形をやるが、念のため「x とか y とか ＝ とか { とか書くの面倒だよね」と言って行列でやることにしたので、まあ何をやってるか分からない人はいないだろうと思うが。が、基本行列とか階数とか、ちんぷんかんに成った人もいるだろう。今日は行列の操作だけで済んだが、来週から連立方程式を本格的にやるので、大分沈没するだろう。解の自由度とか言われても、という感じだろう。例を沢山出しておかないと。難しいことが書いてあるのを理解出来るのは、結局数値例を沢山やったかどうかによるからね。

講義が終わってから事務から来ていた予算の処理に関して少々。Amazon で買った時の立て替え払いの仕方が去年のインボイス制度導入の時期から変わったそうなので。知らなかった。でちょっとゴチャゴチャやって出来た感じ。メールを送って返事を待つ。それから線形代数の補足プリントを web に上げる作業。簡約化出来る、というのは講義では証明しなかった。あんなもの訳も分からず写しても何にも成らないからね。後で読んでください、ということで。自分でこれくらいの証明が出来ればよかったが、うまくいきそうにないので昨日の晩住処で本を漁ったが、三宅敏恒「線形代数概論」という培風館から出ている本に証明が出ていた。読んでみると特段難しいことはしてない。まあこういう手順で出来ます、とは言っておいたのでいいでしょう。実際掃き出しの手順を数学的帰納法で整理しただけなので。で証明を TeX 化して、他にも array 環境で色々微調整。久し振りに TeX の本を開いた。で web に上げて、それから来週の「数学III」の準備をしようかと。連立方程式って難しいよね。分かってはいるのだがきちんと説明するのは大変。ということで理解を深めておかないと。大分分かった。もう少しやった方がいいな。「代数学I」はどうにでもなるので、「数学III」に注力しよう。

勿論野球は気にしていた。6回まで伊藤将司にノーヒットに抑えられていて、1点先制されていたので、まさか降雨コールドでノーヒットノーラン？それはご勘弁を、7回に佐野がヒットを打ってホッとした。でチャンスを作って、祐大が2点タイムリーで逆転、石上のヒットをライトの森下が後逸してもう1点。よしよし。中川颯のプロ入り初勝利を、と願っていたが、9回に悪夢が。康晃がヒット3本打たれノーアウト満塁にされる。で死球で押し出し、1点差。徳山に交代。ヒット、押し出し四球。2アウトにするも再び満塁で、タイムリーを打たれ2点差。むう。9回裏1アウトから祐大がヒット、大和の時に雨でグラウンドに土を入れる作業があって、投手が集中力が切れたか大和は四球で出塁。さあ度会だ。打て、と応援も虚しく三振。二日続けて同点・逆転の場面で三振。むう。勝って5割の筈が借金2。Dragons が Giants に勝っていたので、1位で Tigers と Dragons が並ぶ、と成る筈だったのに。まあ仕方ないです。防御率0.00のピッチャーはいない。今日はネット上で康晃叩きが凄まじいだろう。見ない方がいいな。昨日は石井竜也他がライブの予定、今日はリンドバーグがライブの予定だったが、二日続けて長い試合でどちらも中止。ツイてない時はこんなもんです。雨の中観戦した皆様はお疲れだろう。渡瀬マキのノーバウンドでの始球式を見られたのでいいことにしてください。

職場を出たのは10時過ぎ。今日は王将のつもりだったが、面倒なのでちゃんぽん亭にした。貸し切り状態だった。閉店は12時だそうだが、少し早目に閉めた方がいいかもね。10時を過ぎると道路工事で、今日も「音羽台付近工事」の案内が出ていたが、雨だからかやってなかった。スムーズに帰ってこられてよかった。住処着は11時過ぎ。疲れた。野球のせいかと思ったが、今日は講義をしたのだったな。明日はゼミだけだからまあ楽だ。いずれにせよちゃんと寝ておかないと。ゼミ後はまた線形代数をやるつもり。何故か明日も Baystars は試合が無いので、集中出来る。明後日から横浜スタジアムで vs. Giants 3連戦。やってやりましょう。

5月からの車での入構の方法と4月からの研究費の使用の説明を受けたが、どっちもよく分からない

結局「相棒」もプロレスも見てしまった。悪の団体の一員である EVIL から鷹木信悟がチャンピオンベルトを奪取したので、まあよかった。ということで気持ちよく就寝。

で起きたら昼を大きく回っていた。まあ多少遅い方がウェストウィングの近くに車が停められるのでいいが。4時前に保健センターに行かないといけないので、そこそこの時間に出発。今日は血圧はまずまずだった。この前血液検査をしたが、中性脂肪の数値が高目らしい。3月の末にはもう学科長会議で宿題を出されなくなったり、4月の講義の始まるまでは開放感に浸って結構呑んでしまったので、そのせいだろうか？まあいいです。

個研室で作業をしようと思ったが、昨日マウスが壊れたのだった。急いで生協へ向かう。電池が目茶目茶持つ奴があったので購入。戻ってパソコンに繋いだらうまく動いた。でマインスイーパーをやって使い心地を確かめたり。

4時半から会議だが、教授会の前に4月からの学内への車での入構の仕方について説明があった。何かよく分からなかったが、ナンバーを読み取る機械があるそうで、一々駐車券を機械に差し込んで、とかやらなくていいそうだ。が、当然疑問が出て、車検で代車に乗っている時、新車に買い替えたので新しいナンバーを登録して待っている時はどうする？と。その時は駐車券を使えばいいそうだ。正門の所の守衛さんがいなくなるようだが、学生が入れちゃうのは大丈夫なのか？という質問もあった。まあ何かよく分からなかったが、いいです。その後「親和会」という奴の総会が数分あって、4時50分くらいから教授会。今日はあまり難しい議題がなく、短時間で終わった。終了前に学部長が、会議後は新しい予算システムについての説明会があるという案内をしていた。参加して聞くことにする。3月末の学科長会議でこの件についての案内があったが、急遽のことで説明している副学部長が理解する時間が無かったらしく、ざっとした説明だった。Amazon で本等を買う時は、今までは立替で払っておいて、領収書を印刷して事務へ送る、という方法だったが、これからはそうしなくて済む、と言っていたのでこの前1冊買ったが、立て替え払いをせざるを得ず、どうやるんだか知りたかった。で説明を聞いて大体分かったので、試してみた。ある本を生協のオンライン書店で買おうとしたが品切れと出ていたので Amazon で買おうと。で多少苦戦したがどうにか成った。ついでにもう1冊購入。研究費の残高も表示されて、大丈夫そうだ。よかった。来週もう1回同じ内容の説明会があるようなので、来週も話を聞こう。参加している人が「かえってややこしくなったような気がする」と言ってたが、まあそうかな、という感じもする。慣れていきましょう。

今日の野球は5時半からだった。会議が終わってネット観戦をしばし。1点先制した。祐大やるね。調剤薬局に行かないといけないので、7時過ぎに職場を後にする。薬を待っている間は文庫本を読んでいたが、キリのいい所でスマホを見ると、同点にされていた。むぅ。薬を貰ってなか卯で親子丼を食べて、8時半過ぎに帰宅。テレビを付けると同点のままで、9回裏2アウト1、2塁、バッターは祐大。やってくれる、と信じたが内野ゴロ。その後10回、11回、12回と毎回サヨナラのチャンスを作るも、一本出ず引き分け。12回は1アウトから祐大が四球を選び、解説の大魔神佐々木主浩は「ここは絶対バント」と言っていたが、そうはせず大和はライトフライ。次の桑原がヒットを打って1、3塁に成っただけに送っておけば、というところだったが。まあいいです。12回裏は森唯斗が締めた。やはり通算127セーブは伊達じゃないね。最初の試合は目茶目茶打たれたが、これで防御率2.25。戦力に成りそうだ。

今日ロッテ球団が1万試合目だったそうだ。先発はプロ入り後4月負けなしの佐々木（今年から「佐々木朗希」と言う必要が無くなった）。さあどうなる、と思ったら負けた。残念でした。Buffaloes が今シーズン初の貯金生活に。セ・リーグは Tigres が首位だし、段々本命が上がってきたね。明日は Baystars に Tigers を破って欲しいが、下手をすると Giants が首位に成ってしまう。Giants の相手は Dragons だが、首位だったと思ったら5連敗、23イニング無得点で3位転落。まあ続くまいとは思っていたが、こうまで早いか？明日は Baystars も Dragons も勝つ、というのが理想。頑張ってください。

Lions に「村田怜音」という選手がいるのを知ってびっくりした。何故なら著名な整数論学者に「村田玲音」という方がいるから。村田先生は今は明治学院大学の学長らしい。昔色々お世話に成った。西武の選手は「れおん」だが、明学の村田先生は「れお」。アルファベットで書く時は「Leo」と書いておられるが、ローマ字で L は使わないな。いいのか？まあ「Nakamula」と名乗っている方もいるし、「Nakkajima」という方もいる。戸籍にローマ字での登録は無いので、何でもいいのでしょう。小生も「Taka-aki」にするべきと言われたことがあるが、「Takaaki」で論文が既に出ていたので、そのままにしている。それに「Taka-aki」にすると、「T.-A. Kagawa」とされてしまい、一生 TA は嫌だったので。Baystars のオースティンは「TA」と略されている。「タイラー・オースティン」なのでね。Lions の村田選手は2軍で6打数4安打という凄い成績を残している。1軍で活躍してください。玲音先生もお元気で。

再双対が元の群と自然に同型であることの証明に紛糾

そこそこ夜更かしした。NHKでやってる海外ドラマだが、昨日が最終回。5話とは短い、と思ったら、6話以降は予定が決まったらお知らせします、とのこと。来週から何やらフランスのドラマらしく、ご陽気であることが期待出来る。でその後20分程のドキュメンタリー番組がやって、それから「ピタゴラスイッチミニ」という5分ばかりの番組がやる。「ピタゴラスイッチ」は面白い。あんな仕掛けよく出来るもんだ、と思って見入ってしまう。知り合いの息子さんも画面を凝視していると言ってた。で1時からCSのフジテレビ1でプロ野球ニュースが始まるから見ようか、と思ってチャンネルを合わすと、何やらゴルフの番組がやってる。表彰式が始まるような感じだった。実況のアナウンサーが解説の人に「おばさん」と言っているような気がしたが、まあ気のせいか、平瀬プロ、と言ってるし。で1時近くに成って番組が終わった、と思ったら、何やら優勝したゴルファーを呼んでインタビューする、と言ってる。で謎が解けた。解説者は優勝したゴルファーの母親のお姉さんらしく、確かに「叔母さん」だったのだ。そうでもなければ女性に向かって「おばさん」とは言わないわな。苗字が「尾羽」というタレントがいたので、その類かと思っていたんだが。で全然放送が終わらないので、プロ野球ニュースは諦めて寝ることにした。

で今朝は11時15分くらいに起きた。もう10時半にアラームを鳴らすのはやめようか？シャワーを浴びて、12時ちょい前くらいに出発。今日はまだ外で弁当が売ってた。買うと悲劇が。500円なのだが、お釣りが新500円玉。変えてもらうのも気が引けるし、晩飯の時にでも使うか、ということで。

1時からゼミ。今日も指標群の話だが、相変わらず色々怪しい。行間を埋めてこない。この連中とは徹底的にやることにしているので、突っ込んで詰まってを繰り返し、どんどん時間が過ぎていく。で再双対が元の群と自然に同型であることの証明で紛糾。自然な写像が単射であることは容易、みたいに書いてあったが、そうか？という感じ。いや、結論が分かってるから自明に思えるだけで、全然自明じゃないぞ。で単射であることを示して位数を比較、と成っているが、全然分からない。双対の話は堀田良之先生の本に詳しく書いてある筈、と頼ることにした。で個研室で本を取ってから戻ってみると学生が、指標群は元の群と同型で、指標群の指標群は指標群と同型、だから元の群と指標群の指標群は同型、じゃいけないんですか？というようなことを言ってた。それではいけない。その後に指標の直交性を示すが、それには自然な写像が同型写像であることを言わないと。が、問題文にはそう書いてなかった。成程。まあ双対の双対は元と自然に同型、は線形代数の講義でやったが、自然に同型とか標準的に同型、というのは心が分かるまで時間を要する。で堀田先生の本では全射であることを示してから位数の比較をやっていた。成程これなら分かる、ということで学生に説明しておいた。で指標の直交性が済んで、ようやくディリクレ L 関数の話に入れる、と思ったら、(Z/mZ)^× の指標を Z からの写像に自然に誘導する方法が分かっていないことが分かったので、徹底的にやる。こういう時 K 君が色々口を出すようになってきたのはいいこと。小生が一人でガーっとやって、時々 I 君が冷静に口を出す、という構図が続いてたが、ちょっと良くなってきた。教員志望だそうだが、少し自覚が出てきたかな。

でゼミの最中にちょっと困ったことを知ったので、終了後同僚にメール。何だかよく分からない返事が返ってきたので、他の皆さんにもメールを書くが、返事が無い。まあ大体学科の皆さん宛のメールは返事が来ないことが多い。小生も昔はそうだった。学科長をやって少し皆さんの苦労が分かったので、諸々のメールには極力早く返事するようにしている。

その後線形代数の作戦練り。簡約化出来ることの証明が出てないが、どうしようか、とちょっと考えたが、階段行列に変形出来るのは行列のサイズに関する帰納法（多分列数か行数のどっちかでよい）で示せる気がしたが、ちょっとゴタゴタしそうなので一旦ペンディングにした。その後掃き出しの計算を沢山やったが、答えが全然合わない。計算力が著しく落ちてるね。困った時はコンピューターに、だったのだが、マウスが故障してしまい、パソコンに頼れなくなった。2つ計算するのに何時間も掛かった。気付けば9時半過ぎ。いかん、帰るぞ。

昨日 JAF メイトを見たら、吉野家の鰻各種80円引き、という有難い券が付いていたので、吉野家へ向かう。で鰻丼2枚盛りを頼む。値段を見たら2021円。去年は1700円くらいだった気がしたが、値上がりしたな。80円引き券様々。新500円玉を使いたいが、財布の中身と相談したら使えそうにない。それと1000円札が少ない。しかも5円玉が4枚ある。ということで10000円札と小銭で1000円札を増やして5円玉を消費。新500円玉は山科に着いてからセブンイレブンで使おうということにする。

帰ってきたらもう10時半過ぎ。セブンイレブンで伊右衛門を買って、500円玉と5円玉を使ってきた。でニュースを見ようとABCに合わせたら、サッカーがやってる。今日は「過ぎるTV」も「キョコロヒー」も無いようだ。先週もそうだったかな？何やら深夜に「相棒」をやるようだ。見ないで寝ようかな？それとも線形代数の続きか。あ、明日は資源ゴミの日だ。分別しないと。まあ明日は保健センターに4時までに行けばよく、会議は4時半からだから、早寝する必要は無いしな。呑むのはやめておこう。血圧を調べられるんでね。薬を服用して寝て、明日起きてからももう1回分飲もう。

今日26歳の誕生日の牧が3打点で連勝

昨晩の LINE はふなごやの店長からではなかった。セールス？詐欺？いや、だったらもっと騙されるようなことを書かないと。全く意味不明なので、「…が退会しました」が大量に上がっていて、小生ももちろんサクッと退会。その後店長とグダグダと話して、楽しかった。やっぱり Basytars と  Tigers の両方が勝った日はお互い上機嫌でよい。まあ最後は Baystars に優勝して欲しいのだが。

出掛ける前に CS で放送の「プロ野球ニュース」を録画予約しておいた。昨日の Swallows vs. Baystars は Swallows 寄りのフジテレビ1での放送で、Baystars の攻撃シーンがあまりダイジェストに上がってこなかったので、見たくて。ついでに Tigers の猛攻も。で見てダウン。

昼過ぎに起きて、Uber Eats にマクドナルドのチキンタツタセットを頼む。待っている間と食べている間は昨日放送した「ミラクル9」を見た。2時間スペシャルなことが多いが、昨日のは1時間だったので、あっと言う間に終わった感じ。日本で路面電車のある県は16もあるそうだ。滋賀は京阪京津線、京都は嵐電があるが、大阪に阪堺電車があることを忘れていた。阪堺電車はまだ乗ったことが無い。暇を見つけて行こう。「半壊電車」と変換された。ロクでもない。で今日の昼、Tigers vs. Dragons の試合の中継がある、と「ミラクル9」の間のCMで見たので、ABCにチャンネルを合わせたが、雨で試合開始が遅れている、とのこと。で何やら Tigers の昔のことを振り返っていたが、昔 JFK という凄いリリーフのトリオがいたが、6回終了時に勝っていると、何とその際の勝率は9割を超えている、とのことで、73勝もしたそうだ。そりゃ優勝するな。Baystars も1998年の時は、6回でリードされていたらまず無理、と思われていた。大魔神佐々木主浩がいたからね。もちろん島田直也など他のリリーフ陣も凄かったが。で試合が始まりそうにないので寝床へ向かうと、また寝てしまった。で暫くしたらアナウンサーが絶叫。0－0の6回に佐藤輝明が3ランホームランを打ったようだ。でその後降雨コールドで、Tigers が首位に立ったとか。オープン戦絶不調、開幕して25イニングだか点が取れなかったときは関西の情報番組はお通夜状態だったが、明日は大騒ぎだろう。

Swallows vs. Baystars だけナイター。Swallows の先発は一週間前にひねられているヤフーレとかいうピッチャー。ナイツ塙が読み間違えそうだ。が、今日は酷かった。先頭の度会にいきなり死球。で1イニング2四球2死球。ヒットは伊藤の1安打だが3得点。2回は先頭の投手大貫がヒットで出て、度会がヒット、関根がセーフティーバントで無死満塁。佐野ヒット、牧内野ゴロ、宮崎ヒット、楠本内野ゴロで4得点。ヤフーレをノックアウト。4回に牧がホームランで8点目。今日牧は26歳の誕生日。プロ入り4年目で2度目のバースデーアーチとか。で大貫は6回2失点で今シーズン初勝利。勝った勝った。解説の斉藤明夫氏は Baystars が牧のホームラン以降淡白だったと言っていたが、雨が降っていてノーゲームに成るのが怖く、早打ちだったということだろう。今日は Carp vs. Giants も降雨コールドゲームだった。Giants が1点取ったが、雨が強く成りイニングが完了せず、0－0で引き分けという結論だったようだ。3試合ともコールドだったら面白いな、とは思ったが、まあいいです。

明日から土曜日まで用事が目白押し。いや、月、水、木、金はいつもの通りだが、火曜日は保健センターに行く日で、教授会の前に5月からの学内駐車場の新ルールの説明をしてくれるそうだから、サボれない。いやいや、そうでなくてもサボっちゃいかんて。で土曜日はトヨタに愛車の定期点検。ということで土曜日まで一切酒抜き。まあいいけど。29日は祝日だが、うちは恒例の授業日。祝日に担当講義があると、事務から注意喚起のメールが来る。今年から来た先生は面食らうだろう。5月6日は休みにしてくれるようだが、どこかの土曜日で一回月曜日の穴埋めをしないといけないようだ。15回何が何でもやらないといけないという縛りは結構きつい。まあだけど大変なのは学生さんだな。早くうちのシステムに慣れて下さい。

どうでもいいが、晩飯はから好の唐揚げだった。昼はチキンタツタだったから、別の物がよかったな。明日の晩飯は吉野家かなか卯で鰻だな。

連敗は5でストップで最下位脱出

結局呑んだが、テレビを見てボーっと、はせず、何やら群論をずーっとやっていた。色々分かってないな。秘蔵の問題集をパソコンのハードディスクから USB メモリーに移して、職場でも群論が出来るようにした。pdf ファイルを見るだけでなく、田谷さんと佐藤篤さんの代数系の本を読んだり等。気付けばとんでもない時間に成っていた。

でそこから寝て、結構長時間。目が覚めると野球が始まっていた。昨日最下位に落ちたことは書いたが、何故そんなことに成っていたかというと5連敗していたそうだ。職場に行く日数が多かったり木曜日に野球が無かったりしたのでちゃんと見ていたわけではないが、確かに勝ってなかったね。で今日は1イニングまとめて5点取ったりと、久々に打線が繋がった。無事勝利して、多分最下位は脱出出来る筈。まあよかった。借金は2。まだまだ。Dragons は Tigers に大敗して、一時の勢いが無くなってきた。混戦は続くで。

試合が終わると同時くらいに LINE に新着メッセージが届いた音がした。見てないが、多分ふなごやの店長だろう。来い、ということだな。暇なのだろう。ということで今から行きます。まあそんなに長時間には成らないと思う。今日は祝杯があげられて嬉しい。美味しい酒に成りそうだ。ということで、じゃ！

何と Baystars 最下位転落

昨晩は早く寝ないと、と思いながら結局1時過ぎまで起きていた。で今朝は7時半を過ぎても起きられず、慌ただしかった。今朝も「京都東－大津 渋滞1km 5分」の表示。この時間は仕方ないのかな。まあそれでも過去2週間よりはスムーズに本線合流出来て、8時45分くらいには駐車場に着いた。まあ物を食べる時間は無いが。

で9時丁度位にゼミ室に。フルメンバー揃っていた。一人は昨日熱があってゼミを休んだが、大丈夫だろうか？と思ったがあまり大丈夫じゃないようで、予習があまり出来なかったようだ。で早々に選手交代。integral basis の存在証明だが、色々怪しい。大丈夫か？と言いたくなる場所が散見された。M2の学生には結構こういう時は手厳しくやっていたが、新任の H 先生もいることだし、控え目にしておいた。で予習がいまいちらしく、11時10分くらいに解放された。

鰻を食べに行こうか？とも思ったが、折角駐車場のいい所に停められているのに勿体ない、ということで学内で弁当を買うことにした。唐揚げ弁当を売ってくれるキッチンカーを見付けたので、そこで買う。しばらく待たされたが、まあ時間はたっぷりあるので。

1時から「代数学I」。今日は零因子の定義をして、整域と体を定義。体は整域であることなど証明。それから部分体を定義して、部分体であることの簡単な判定条件を紹介。まあいいや、ということで演習問題にしておいた。これが後で悲劇を招く。その後準同型写像や同型写像などを定義して、像と核を定義。像が終集合（と言うの？）の部分環であることを示したあたりで時間。来週は準同型写像が単射であることと核が自明であることから始めて、イデアルなどをやる予定。核がイデアルであることなどを示して、剰余環になだれ込む予定。終了後留学生らしき学生が基礎的な所から書いた本が知りたいというようなことを言ってきたが、同じ部屋で〇んこ君が講義をするので余り時間が無いし、うろ覚えで言うのも申し訳ないので、小生のメールアドレスを教えておいた。写真に撮っていたが、彼が去った後見たら「ritmei」に成ってた。メールが来ないのはそのせいか？これくらいの間違い分かりそうなもんだが。もう一人、小生の言ったことで聞き損ねたところがあったようで、答えておく。演習問題をダウンロードしたいが出来なかった、とも言ってたが、「学外から見たい人は、kagawa@se.ritsumei.ac.jp までメイルを下さい。学外から閲覧可能な URL を教えてあげます。」と書いてある注意書きを読んでないのだろうか？毎年同じ質問が来るが。メールちょうだい、と言っておいたが、彼からも来ないが。教えてなくてもホームページに書いてあるし、小生の名前で検索すればすぐ見付かるので、特に教えなかったが。

部屋に戻って今日の内容に即した演習問題をホームページに載せるべく pdf ファイルを見てみた。今日の範囲で解けそうな問題が大量にあるので、(2) と (3) を上げた。何で一回2頁以下にしたんだっけかな？と思ったが、昔は両面コピーして配っていたからだな。(2) と (3) を合わせて (2) にしてもよかったな。そうすると4頁くらいに成るが。載せる前に一応点検のため全部解いてみるか、と始めて、名神が混む前に帰って野球を見たいから、4時半前に職場を出よう、というあたりで学生が一人訪ねてきた。進路相談やら色々。1時間弱話したろうか。高速道路が混みそうな時間に成ってしまったので、ちょっと代数のことを考えよう、ということで秘蔵の dvi ファイルを見ながら色々。環から環の写像で f(x＋y)＝f(x)＋f(y), f(xy)＝f(x)f(y) を満たすが f(1)＝1 を満たさない写像を組織的に作る方法を見付けた。零環じゃない環から同じ環への全ての元を0に写す写像とかそういうのも特別な場合として含んでいて、面白くて気分を良くする。そこでやめておけばいいのだが、上に書いた演習問題にしたことをちょっと考えてみた。数年前は小問2つに分けていたが、1つ目が何か変だぞ、と思ったので、二つ目の問題だけにしてみたが、一つ目無しで本当に示せるのか？そもそも一つ目は？などと考え始めて、どんどん時間が過ぎていく。久し振りに彌永・有馬・浅枝の代数の本を引っ張り出したが、流石にちゃんと出ていた。怪しいぞ、と思った問題は怪しくないことが分かった。二つ目は何かうまくいかない。いや、部分群であること（部分集合で、親玉の演算で群である、が定義）と同値である簡単な判定条件の同値性の証明を上の本で読んだが、何かゴタゴタしている。小生の考えが足らなかったのだろうか？などとしながら野球をチラチラ。2点先制したが、3－3に成っていた。東が追い付かれた後は1アウト満塁のピンチを凌いでよしよし、とか確認して引き続き代数を考えたり。もう9時近いし帰ろう、と思ったあたりで村上に勝ち越しホームランを打たれてしまい、ガッカリ。いかん、帰ろう。

今日は王将のつもりだったが、面倒なのですき家にした。鰻を食べたいぞ、ということで。で着いてタブレットで注文したが、見付からない。去年までは鰻で一つのカテゴリーに成っていたが、と探してみたらあった。去年は「特鰻丼」と言って、デッカイ鰻が白米に2枚乗ってるのがあった筈だが、無かった。小さい鰻一切れの物だけで、調整できるのは飯の量だけ。ガッカリ。まあ食べたかったので食べたけど、物足りない。来週は吉野家かなか卯で鰻だな。

10時過ぎに辿り着いて、ちょっとニュースを見た。イランとイスラエルの件がトップニュース。で気付いた。先週の「座王」まだ見てなかったな。で見るといつも30分のところを40分やる、と言ってた。見ておいてよかった。面白かった。消去して、今晩の分を録画予約。

さて、どうしよう？今日は激務だったから早く寝てもいいが、呑んでもいいな。明日も土曜日恒例ということで外で呑むだろうが、調べたら明日の野球はナイター。呑みに行くのが遅くなる。明日の予定を確認して、何も無いようだったらちょっと酒の買い出しに行くだな。で明日の予定を見た時にビックリした。Baystars 最下位転落。まあまだ借金3だから。明日は勝てよ。

初等整数論のゼミは今日から

起きたら9時前だった。まあいいか、起きよう、と起きて暫くテレビを見ながら、今日の昼は鰻だな、などと考えていたが、やっぱり眠い。で寝てしまう。11時45分のアラームでも起きず、結局12時10分くらいにようやく起きた。で寝癖も直さず出勤。

1時からゼミだが、ウェストウィングに辿り着いたのが12時59分くらい。パンとコーヒーを買ってゼミ室へ向かう。昨日テキストを見付けておいてよかった。初等整数論のゼミは今日から。約数がどうしたとかイデアルが何だとか Z のイデアルが全部単項イデアルだとか。それを使って最大公約数と最小公倍数を定義して、(a,b)＝1 ⇔ ax＋by＝1 を満たす x,y∈Z があるとかやって、最後にユークリッドの互除法。互除法が何かを説明しないで例をやろうとして、挙句に面倒だから略、みたいなことを言い出した。いやいや、地の文は読んで説明しないと駄目よ、と言って、飛ばそうとした例もやらせた。今日は何故か一人が延々やり続けていたが、もっと細切れでにして交代していいんだよ、と言っておく。今日の所はそんなに難しくないからいいが、どんどん難しくなってきて、1ページ進むのもやっと、ということも起こり得るからね。いい加減にやってページ数だけ稼ぐのが一番良くない。気を引き締めて掛かってくれればいいが。まあ今日はよく出来た方かな。

終わってから部屋で線形代数をゴソゴソ。去年学科長の仕事の現実逃避に下らん計算を沢山やったが、そのうちの1つが役に立ちそう。で pdf にしたものを読んでみたら、何やら数学的帰納法で証明している。いやいや、この結論にどうやって気付いたかが大事でしょ、と色々試してみたが、固有値と固有ベクトルを求めることに成る、と分かったが、固有方程式が重根を持ってしまうのでややこしい。結局思い出せなかった。出ていそうな本を探したが、見付からない。計算してそれっきりにしていた紙とか、出したまま片付けてない本とか、昔の卒研エントリーシートとか大量に出て来て、嫌に成った。ですぐにでも引き上げようと思ったが、ちょっと講義で使っているテキストの演習問題を解こうとし始めてしまい、ドツボにはまる。上三角行列、という仮定があるのを見落としていた。が、成分が有理整数、という仮定はどこで使うんだろう？と考え込んでしまう。実数でも複素数でも大丈夫なはず、と考えてたらあっと言う間に9時。いかん、また時間を無駄に使った。

疲れている時はニンニクだ、ということで王将に行くつもりだったが、遅くなってしまったのでもっと手近で済まそう、というところで思い付いた。すき家のカルビ丼にニンニクの乗ったものがある。それだ! ということで瀬田方面へ。鰻があった。昼食べてないから食べようか、と思ったが、もうニンニクの舌に成っていたので、当初の予定通りにする。旨かった。

住処着10時過ぎ。明日は可能なら7時起き。ゆっくりしている時間が無いが仕方ない。「いたって真剣です」と「アメトーーク！」は見ないで寝よう。筒香の入団会見を「報道ステーション」でやるかもしれないから見よう。

新年度初の学科会議は結構長時間

昨日ちょっと無茶をやったので、今朝は中々起きられなかった。10時半のアラームでは無理。11時も11時半も無理。11時45分にも仕掛けてあるが、流石にそれを過ぎると色々無理に成ってくるので、辛いが起きた。去年は12時にも仕掛けてあったが、最悪11時45分で何が何でも起きることにしている。でシャワーを浴びて12時15分くらいに出発。

職場には12時45分くらいに着いた。飲まず食わずなのでどうにかしたい。が、表で売ってる弁当は売り切れ。キッチンカーで買う時間は無く、生協で買ったが、食べる時間が無い。仕方ないので食事は講義後にして、講義室へ向かう。

今日は1回生向け線形代数。零因子とか転置とかやって、正則行列の定義。逆行列の一意性を証明したが、これは何のためか分からない人は多いだろう。いつもの通り「加川の兄貴って、二人以上いたら誰をさすか分からないよね。一人だけだったら「あー、博敏（実名）のことね」と成るよね、と言っておく。で零行列でなくても逆行列が無い場合があるとか、2次正方行列の逆行列のこととか。「これくらいは覚えておいた方がよい」と言っておいた。その後行列を分割する話。さも成分が数の場合のように掛け算出来る、と板書したが、証明はしないことにした。苦労してノートに写して、うぉー、訳わからん、では逆効果だと思うので、manaba＋R にちゃんと載せておくから、と約束。その後列ベクトルに分割したり行ベクトルに分割したりする話などしてたら時間。また中途半端な所で終わってしまった。来週気持ちよく連立方程式から始めたかったが。まあいいです。終了後2組ばかり質問に来た。

個研室へ戻って昼飯。1階で「生茶」を買ったが、数日売り切れに成っていたのはパッケージが変わったからか？その後 manaba＋R に載せるべく TeX ファイルの編集。喋らなかったけどこれは載せておこうか、それとも削ろうか、演習担当の人が問題選びに困らないよう載せないでおくか、とウダウダと悩みながらやって、時々現実逃避のマインスイーパー等。であっと言う間に4時半近く。

4時半から新年度初の学科会議。新人の紹介をやるから、出来れば全員来て欲しい、と学科長からメールが来ていた。談話会室に行くと大勢いた。新人だけ自己紹介するのかと思ったら、全員やった方がよかろう、ということで、結構長時間。その後A堀先生が実験実習費に関する説明を詳しくしてくれた。知らないことが多かった。実験実習費のことは学科長が気にするはずなのだが、A堀先生が長いこと主に成って気にしていて、色々制度を変えてくれた。ゼミのテキストの購入とか講演者の招聘とかも出来るように成った。だからA堀先生が一番詳しい。昨年度も完全に任せておいた。その後も2、3他の先生方から話があり、教授、准教授を残して一旦終了。もう6時くらい。それから難しい話を1時間程。7時近くに終了と、大変だった。新しく准教授として来られたS先生はどう思われたろうか？ここ2年ばかり学科会議は少なかったが、今年度はどうでしょう？

会議後は野球を気にしいしい線形代数の続き。演習担当の若い先生方に今日の様子を詳細に説明すべく、長～いメールを書いた。manaba＋R に資料を上げたり。野球はと言うと、牧にようやく1号ホームランが出て先制していたが、濱口は相変わらずで押し出し四球で3回同点にさせてしまう。4回は最悪で、先頭打者にヒットを許し、ピッチャーへの送りバントをエラー。次のバッターのピッチャーへの送りバントもまたまたエラーでノーアウト満塁にし、そこから2失点。5回は代わった上茶谷が2失点。打線はというと、相変わらずチャンスを作るも点が取れず、5回の2アウト1、2塁で桑原が三振。6回は1アウト満塁も祐大がサードゴロ、桑原がまたまた三振。9回も1アウト1、2塁のチャンスを作るが、度会が三振、関根がレフトフライでゲームセット。13安打も牧のソロホームランの1点のみ。まあ負ける時はこんなもんでしょう。明日はどうにか、と思ったら明日は試合が無いようだ。暫く木曜日は試合が無いのが続くらしい。谷繁元信氏曰く、こういうスケジュールの間にたっぷり貯金を作っておかないと、終盤のスケジュールの混んできた時に辛くなる、だから早いうちに貯金をたっぷり作っておかないと優勝は覚束ない、だそうだ。何とか借金生活から早く脱出しないと。セ・リーグは Dragons が早くも10勝で貯金6、2位が Giants で貯金3、3位が TIgers で借金1、4位で Baystars と Carp が並んで借金2、最下位は Swallows で借金4という状態。まだ大丈夫。去年は4月首位だったが、5月の途中で2位に落ち、Tigers に5ゲームもの差を付けられてしまったが、交流戦優勝で盛り返し、一旦は Tigers を抜く、という感じだった。Dragons がこのまま行くとは思わないし、今のうちに何とかしておけば。

筒香の復帰会見は明日だそうだ。もう今日から横須賀・追浜の二軍施設（通称 Dock）で早くも練習したそうだ。筒香が活躍してくれないと困る。いや、やはり牧とか佐野とかもっと打って欲しい。

ウダウダとやりながら、ちょっと高校の教科書をひっくり返したりしてみた。高校を卒業した時点で何を知っているか把握しておかないと色々まずいこともあるので。で見てびっくりした。RSA 暗号のことが書いてある。課程が変わって整数の単元が無くなってしまったが、こういう話題が載っているのか、とビックリした。合同式も出ているし、フェルマーの小定理なんかも出ている。まあこういうのは入試で出ない、という理由で教えていない可能性が高いが。まあ出てるよね、教わってるよね、と入試問題を作っても怒られないだろう。点数が出そうにないので、却下される可能性は高かろう。正の約数の個数とか正の約数の総和を求めよ、という問題が出せなくなったのは何としても痛い。また入試問題を作る時は考えないと。

来る時に気に成ったのだが、駐車場の一角で学生と思しき数名が煙草を吸っていた。そこは喫煙所なんだろうか？帰りも同じ場所に数名いた。数台車を停められないようにしてあるが、喫煙所を設けるためとは思えないが。まあ突っ込んで恥をかいたら嫌なので黙っておいたが。で吉野家の親子丼を食べようと向かう。前に食べた時に美味しかったが、期間限定だったのか次行ったらもう無くなっていた。復活したようなので頼んだが、前ほど美味しくなかった。もう頼まないな。鰻があったので、今度食べよう。昼しかやってない鰻屋があるが、そこで食べればいいのだが、1時からの用事に間に合わないように行かないといけなくて、今朝の通りの体たらくなので、まあ無理。吉野家かすき家で食べよう。

さっき愛媛、高知で震度6弱の地震があった。「これ余談なんですけど」の途中に警告音が鳴り、その後も速報が断続的に入ってきて、今ついに報道特番らしきものに変わってしまった。津波の心配は無いようなので、まあよかった。であっと言う間に「これ余談なんですけど」が再開した。その程度でよかった。最近地震が多いな。元日早々大地震があったし。日本は地震大国だ。気を付けないと。住処も職場も無茶苦茶散らかってるので、停電でもしたら怪我無く歩けるかどうか、という感じ。暇が出来たら片付けたいが、中々ね。職場は数年前に本棚から落下しないよう手を打ってくれた。大阪で割と大きめの地震があって、OIC は図書館やら何やら大変で、数日キャンパス閉鎖、ということに成ったからの処置だと思うが。とにかく気を付けよう。

筒香が Baystars に戻ってくることに成った

結局プロレスまで見たが、色々事務的な手続きをしながらだったので真面目には見てなかった。Amazon での購入を研究費でする時に立て替え払いをしなくてよくなる、と告知があったので、買い物をしたが、どうやったらいいか分からない。事務から来た案内を見てやったがよく分からない。で分かってきたぞ、と思ったら、深夜は手続きが出来ないようで、うぉー、ということに成り、やけくそ。呑み呑みやっていたが、明るく成ってからやる、ということでまたしても朝まで起きていた。ロクでもない。結局立て替え払いで買う羽目に成った。まあいいです。他にも、この5月から車での入構のルールが変わるようで、その案内を読んだり。

で朝までやっていて、それから少々ダウン。「徹子の部屋」が終わったくらいに起きて、MBS にチャンネルを変えて「ゴゴスマ」を見た。ギャンブル依存症の話をしていたが、大変なものだ。今も MBS でその話題をやっているが、こういうのを見るたびに国内にカジノを作るのはやめた方がいい気がするのだが。横浜市はカジノに反対を表明している知事が選ばれて白紙に戻ったようだが、大阪はどうなるでしょう？維新の会は導入に積極的なようだが。

4時半から会議。数学の人も物理の人も真面目で、時間が掛かった。面倒なことだが、まあ学問をやってればいいんで、学科長よりは楽しい。

で野球を途中から。見始めた時は3－1で2点負けてる。が、見ない方がよかった。一気に5点取られ8－1に。ピッチャーの床田にタイムリーヒットを打たれたり、押し出し四球があったりと、ロクでもない。攻撃は相変わらずの得点力不足で、ノーアウト満塁からルーキー井上の内野ゴロで1点取るのがやっと。寝不足なので不貞寝モード。結局11－2で負けて、借金持ちに成ってしまった。まあまだ3位です。明日から盛り返しましょう。

筒香の Baystars 復帰が決まったそうだ。明後日入団会見をやると言ってた。よかった。低迷モードから脱出するためのいいカンフル剤に成りそうだ。Giants に持っていかれなくてよかった。期待しちゃうぞ。

指標群が元の群と同型なのを示すのに紛糾

「寝ろ、ということかな」と書いたが、中々寝ようとしない。二次体で気に成ることがあって、高木貞治「初等整数論講義」を読み始めたんだが、面白くて。で途中でNHKで昔の朝ドラ「ちゅらさん」が始まった。1話からだっので、つい見てしまった。朝のご家庭に流して、昼に再放送ということだから、明るくて楽しいドラマがいいぞ、ということだろうか、面白い。昨晩放送の分が終わったのが3時半くらい。いかん、寝るぞ。

で10時半にアラームが仕掛けてあるが、起きられるとは思えない。というわけで11時と11時半と11時45分にも仕掛けておいて寝た。で起きたのは11時45分くらい。もう限界なので起きる。寝癖ボーボーなので、シャワーで直して、12時20分くらいに出発。職場に着いたのは12時50分くらいで、外で売ってる弁当はもう終わっていた。生協で買ったが、食べる時間が無いので、飲まず食わずは辛いから、ウェストウィングの1階でパンとコーヒーを買って流し込む。

で1時からゼミ開始。今日はディリクレ L 関数のことをやる節に入ったが、有限アーベル群の指標に関する準備だけで3時間掛かってしまった。例によって色々怪しい。試行の順番通りに書いてないので突っ込んだら、よく分かっていない、と言う。何で分かってないことを分かったフリして済まそうとするかな。基礎知識が大分不足している。折角だから徹底的にやった。で有限アーベル群とその指標群が（標準的ではないが）同型、ということを示すが、これが難しい。アーベル群の基本定理を使って巡回群の場合に帰着させるが、直積の指標群が指標群の直積と同型に成る、というのが昨日の晩頑張って示せたと思ったが、間違っていた。群と指標群の位数が等しい、というのは巡回群の場合にしか示せてないのに巡回群とは限らない場合のを使ってしまっていた。で暫く頑張ったら出来た。もう4時を過ぎていた。続きをやると時間超過に成りそうなので、そこで終了。最近 K 君がよく口を出すように成ってきた。いいことです。活発にやりましょう。

で弁当を食べて、事務室に行って領収書の処理。立て替え払いにすると面倒臭い。これから気を付けよう。で線形代数の勉強を開始。まだ少し先だが、階数とか解の自由度とか難しいな。ちゃんと分かるように伝えるのは難しいぞ。例を沢山出すのと、演習を担当している若い先生方の力量に期待だな。勿論小生も頑張るが。まあ沈没する学生は沢山いるだろうな。この前買った「大学数学ガイダンス」にも書いてあったが、2単位の授業の為には90時間の学習が必要、と成っているので、講義だけで分かるわけはないのだ。家庭で学習したり、電車で遠距離通っている人は電車の中でも勉強しないと。小生はそうした。敢えて一番早い快速特急でなく急行で帰って勉強時間を増やしたり、貧乏だけど200円で座席確保できる「京急ウィング号」というやつで帰ったり。整形外科で首を治療している時も勉強してたな。スマホを眺めてる時間のいくらかは勉強に回しましょう。余暇は大事なので、スマホを使うな、とまでは言わないが。

9時過ぎに職場を後にする。幸い雨は降ってなかった。明日は雷を伴う結構な雨に成ると言ってた。明日は外出する必要が無いので良かった。明日の予定は4時半からの会議のみ。ちょっと準備しないといけないものがあるが、今からやるか明日早起きしてやるかどっちにしよう？早起きしないでいいと夜更かし（朝早し？）してしまうのが小生の悪い所。まあ「激レアさんを連れてきた。」、「キョコロヒー」は見るかな。プロレスはどうしよう？まあ見るかな。そうするとやっぱり3時過ぎまでは起きているな。まあいいや、少し作業するか。

森唯斗は味方の守乱に足を引っ張られ、1イニングを7失点（自責点は1）

昨晩は久々に呑んでて眠くなった。最近は殆ど寝てない状態で呑んでも大丈夫だったが。やはり金曜日の9時起き、昨日の午前中起きが響いたか。店長に強制終了されて、いつもより早く切り上げられたのはまあよかったか。いつもの通りセブンイレブンで1リットルの水を買い込んできたが、殆ど飲まずに就寝。

野球は2時からで、それに間に合うように起きられたが、起きない方がよかった。1回表に2番に入っている村上に1号ホームランを喫してしまう。4回に赤羽（あかはね）の内野ゴロでもう1失点。大貫は6回途中被安打5の2失点とまずまずの好投。徳山に交代も満塁のピンチを作ってしまう。が、徳山は抑えて無失点。解説の五十嵐亮太氏が「これで流れが変わりますよ」と言ってたがそんなことは無く、毎回のようにチャンスを作るも、相変わらずの得点力不足。7回に Hawks から移籍してきた森唯斗が初登板。先頭の塩見を三振に打ち取るも、その後は Baystars 内野陣が守乱で1イニング3失策。悪夢の11人攻撃で7失点。森の自責点は1。8回は昨日悔しい思いをした上茶谷が、五十嵐が褒めるくらいのテンポのいい投球で三者凡退。9回も上茶谷が抑えたが、如何せん点が取れない。無得点であっさり敗戦。勝率は5割に。まあいいです。まだ借金があるわけじゃなし。大貫に早く勝ち星を付けてあげてください。防御率2.20で3敗は辛いぞ。

もう途中から見る気が起きず、音だけ流して Facebook などを見ていた。筒香がどう成るか？という話題で Baystars ファンは持ち切り。Giants に決まり、という記事が出ていたかと思えば Baystars に決まり、という記事が出たり、ファンはやきもきしている。何か Baystars 投手陣の防御率で2.25（two two go）の人が多い、皆筒香を待っているのだ、という論調だが、どうなんでしょうかね。オースティンが怪我したから、1塁か外野で守る場所はあるのだが。戦力に成るでしょうかね。アメリカに行く前数年は成績が落ち気味だったので、MLB ではまあ活躍出来ないだろうな、と思っていたが、大丈夫でしょうかね？最悪のシナリオは Giants に入って Baystars 戦でバカスカ打つ、というものだが、これだけはご勘弁を。

明日のゼミで突っ込めるよう少し勉強したが、群の内部直積のことが案外分かってないことが判明した。昔講義で使った dvi ファイルを見たが、何かおかしい。異なる部分群同士の元が可換である、という条件が抜けている。嘘を教えたくさいが、まああの時は有限アーベル群の指標群の話だから、嘘ではないか。ただ内部直積の定義は一般の群でやっていたので嘘だな。ベクトル空間の直和のことがあったからそう講義したのかも。勉強しておいてよかった。明日は自信を持って突っ込める。

今日は不愉快なので「サンデースポーツ」を見ないで、ABC でいつもより1時間遅く始まった「サンデーステーション」を見た。スポーツニュースのコーナーではプロ野球は Dragons が6連勝ならずという話題と佐々木朗希が勝ったという話題だけ。今時読売 Giants のことをやるのは日テレ系だけ、ということ。Giants は最早憧れられる球団では無い、ということだな。井納は優勝したいと思って Giants に移籍したらしいが、一番いい条件を出していたのは Swallows だったそうだ。Swallows では優勝は無い、ということで Giants を選んだそうだが、そこから Swallows が2連覇してしまい、マジか、と思ったらしい。西勇輝はやはり人気球団の方がよくて Buffaloes から Tigers に移籍したのだろうが、まさか Buffaloes が4連覇するなんて思ってなかったろう。まあ去年 Tigers が日本一に成ったのでよかったろうが。筒香も人気だけでチームを選ばず、「漢」を見せてください。

NHK 総合で夜11時から海外ドラマをやっているが、今回は舞台が戦時下のウクライナということもあり暗い。しかも吹き替えでなく字幕なので、流して他の作業、ということが出来ない。今やってるところだが、何をやってるのかさっぱり分からない。寝ろ、ということかな。明日の用事は1時からのゼミだけだが、野球が無い日なので終了後は線形代数の講義の作戦練りをするつもり。夜には雨に成ると言ってた。昼は暑いらしいが朝晩はまだまだ結構涼しい。何を着て行くか考えないと。

先発のケイが6回途中まで好投も、一気に崩れて3位転落

昼前に近所で用事があったのだが、寝たのは結構遅く、起きたのは11時過ぎ。ちょっと急いで出掛ける。用事は割とすぐ終了。なか卯で親子丼を食べて、12時半前に帰宅。

ちょっと書き散らかした紙が多いので、TeX 化すべく作業。考え中だったものはちょっと考えたり計算したり SageMath で確かめたり。また SageMath の使い方ちょっと分かった。昨日書いた零行列の所に単位行列を書いていた件は、零因子であることを示すには一方だけ零行列にしておけば問題無いな、と気付いたが、まあ両方の因子とも零行列にしておいた。で余因子行列はどう成るだろう？と思って SageMath で検証。行列のサイズに依らず同じ結果に成ったのは興味深い。ただどうやるんだろう？という感じ。n 次正方行列の余因子って n－1 次の行列の行列式だから、ちょっとすぐ分かりそうにないな、と TeX に起こして「？」マークを付しておいた。が、そこで一つ問題。nicematrix で綺麗に仕上げようと思うと、200ページ近い dvi ファイルを毎回 pdf に変換しないといけなくなる。まあ仕方ないか。でそうと成ったら思い切って、Tikz で描いた図もそちらに載せることにした。まあ公開するものではなく自己満足なのだが。

などとしているうちに野球の時間。今日は2時から。2回裏に石上のタイムリーで先制。まだチャンスは続いていたが、桑原のサードへの当たりを村上がノーバウンドで捕球してダブルプレーか否か、ということでちょっと一悶着。結局判定通りでチャンスを潰した。が、4回裏にその桑原が犠牲フライを打ち 2－0 に。先発のケイは5回まではナイスピッチング。6回も二者連続三振で2アウト。そこから塩見ヒット、不振で4番から2番に移っていた村上が四球、オスナにタイムリーヒットを打たれて、ケイは交代。代わった上茶谷はサンタナ相手に解説の飯田哲也氏が惚れぼれするようなカットボールで追い込むも、そこから10球粘られ歩かせてしまう。満塁。で青木のレフト頭上への当たりを、今日レフトの梶原が捕れず。グラブには当てたんだが。それで走者一掃で逆転を許してしまう。7回にはここまで開幕からホームランどころか打点も無い村上にヒットを打たれ、今シーズン初打点。そのまま抑え込まれ負けた。上を行く Dragons と2位で並んでいた Giants が勝ってしまい、3位に。まあまだ貯金は1ある。明日勝ってカード勝ち越しでいきましょう。まだ13ゲーム終わっただけ。

と書くために野球の情報を仕入れいてたが、山川穂高（Hawks）が2打席連続満塁ホームランの離れ業をやってのけたそうだ。凄い。山川の活躍もあって、Hawks は早くも貯金5で単独首位。2位の Marines と Fighters が5割で、貯金を独り占め状態。むう。まあまだこちらも14試合終わっただけ。混戦には成るでしょう。まだまだ目が離せない。

月、水、木、金と職場に行く必要があり、今日は用事だったので、ちょっと酒を呑んでない。もう野球は終わってるし、これから行くことにした。まだちょっと早いが、途中のクリーニング屋に寄りたい。卒業式の日に着た背広とワイシャツをいい加減持っていかないと。7時半閉店なのも今から呑みに行く理由の一つ。ということで行ってきます。

代数的整数論のゼミの1回目は、まあ満足いかないな

昨晩は結局「報道ステーション」は全部見たが、「いたって真剣です」の途中で寝て、12時前には電気を消した。が、今朝は7時40分過ぎまで起きられず、寝癖を急いで直す時間くらいしか無かった。で8時10分過ぎに住処を出た。高速道路は先週と同様「京都東－大津 渋滞1km 5分」の表示。が、少し先週よりましで、渋滞の最後尾は料金所くらい。暫く走ったら渋滞は解消。で草津田上に着いたらまた渋滞している。ETC の料金580円が表示されている状態でストップ。後ろの車が入ってこられない、ということだろう。正門前も右折したい車が数台待っていたが、運よく信号待ちは1回で済んだ。

9時からゼミ。本来のメンバーの I 君と K さんの他に、昨日来た O 君と、隣の部屋の代数幾何専門の H 先生と、勿論小生もで、計5名。狭い部屋だが、まあ大丈夫。で宣言通り2章から始めて、代数的数、代数的整数、代数体等を定義。初回だから大人しくしてようと思ったが、つい突っ込んでしまい、そうなるとエンジンが掛かってしまう。予習不足の所があったり、証明中である加群が有限生成であることを示したが、それが何のためか分かっていなかった模様だったり。言葉を尽くして説明したが、どうも分かっていない模様。K さんは分かっていたようなので、後で教わっておけばいいでしょう。で数学の本の読み方など色々言って、12時10分に終了。まあ初回だからこんなもんでしょ。H 先生はうちの学生をどう思ったでしょうか？

大半の自動販売機で使えない新500円玉を使って弁当を購入し、個研室で掻っ込む。1時から「代数学I」。今日はアーベル群の自己準同型写像の環と零環を例示して、それから0に何を掛けても0とか (－a)(－b)＝ab とか細々としたことを証明。それから部分環の話。部分環の定義は、親玉の環の演算（の制限）で環に成っていて1を共有している、にした。これだと部分環のそのまた部分環は一番の親玉の環の部分環に成ることが自明でよい。簡単な判定条件を書いたが、そこで一言。「こういうのを当たり前だとか思って証明しないのは駄目です。自明じゃないですよ」と言ってからきっちり証明。感想やいかに？和と積で閉じて加法逆元も入っていることと、差と積で閉じていることが同値、というのは流石に面倒臭くなって、証明せよと言っておいたが。自明じゃないですよ、と強調しておいた。最後に単元と単元の群を定義して時間。来週は零因子の定義をしてから整域と体の話に進む予定。準同型写像とか同型写像とかに続く予定だが、まあまだそんなに難しくない。本格的に難しくなるのは剰余環が出て来てからだろう。出席者は多くないので、来ている学生が得をするよう、色々サービスをするつもり。まあ関係無いだろうけど。

講義後生協の本屋で買い物。今日は数セミの発売日なので。特集は「あの頃に出会った本・出会いたかった本」。面白そうだ。それから「大学数学ガイダンス」という、数セミの編集部編の本も購入。よこえもん氏が原稿を寄稿した、と言っていたし、この手の本は面白いので。「大学数学の心構え」とか「セミナーの準備はここまでしておきたい！」というのは新入生だったり新4回生だったりに読んで欲しいが。高校まで数学が得意だった、とか学部3回生まではほぼ全部AかA＋だった、という連中が大学に入ったり卒業研究が始まったりすると、大いに躓く、というのはよく見る。この手の学生は是非ともこういう本を読んで心を新たにして欲しい所。

ちょっと思い出したことがあった。随分前の卒研のことだが、割と成績のいい学生が丸っきりと言っていいほど駄目だったことがあった。その学生は他大学の大学院に合格出来るくらいテストでは点が取れる。で1年後くらいに新たな指導教員に会った時に聞いたら、「彼には手を焼いています」と言ってた。効率よく勉強して、好成績を収めて、というのと数学をきちんと理解しているかは必ずしも相関関係は無いのだ。FaceBook だったか Twitter だったかに書いている人がいたが、入試では見たこと無い問題は解かなくてよい、とかいう結構とんでもない指導をしている向きがあるようだが、研究するというのは見たこと無い問題に気合を入れて取り組まないといけない、ということだ。受験と研究は違うのだ。伊原先生がお書きに成っていたが、同級生の中では成績がいい方だから研究者にも成れるさ、というのは大間違いだ、と。まあ偉そうに言えるほどの研究成果は残してないので、この辺にしておこう。

その後個研室で来週の講義のことを考えたりしたが、来週の分にとんでもないミスがあった。零行列を書かないといけない所に単位行列が書いてある。いやいや、これじゃ零因子に成らんて。今までこれを話していたんだろうか？毎年やっていたのに誰も気付いてない。黒板の前で話す時は、ノートを見ないで説明して修正していたのかも。が、講義に来ている学生は殆どおらず、manaba＋R から pdf をダウンロードして自習していた筈。誰も勉強していなかった、ということかもしれない。少なくとも今日ゼミに出ていた3人は「代数学II」の最後の方はいなかった。まあ軽微な誤植は残ってしまうもの。いつも言っている通り、書いてあるものを信用してはいけません。

高速道路が混む前に、ということで4時45分くらいに職場を後にした。が、「瀬田東JCT－大津 渋滞3km」の表示。先週は「草津CT－大津 渋滞10km」だったようで、渋滞は新名神にまで溢れていたので、それよりはマシ。5時半前には住処に着いていた。

6時から野球だし、丁度いいや、ということで先週の「座王」を見て、さて野球と思ったら5時57分くらいなのに1回裏。何だと思ったら試合終了後に何かやるようで、試合開始が15分早かったようだ。まあいいです。1回裏のチャンスは潰した。2回表に度会が打球を見失い出塁を許し、先制されてしまう。が3回裏に石上の盗塁で得点圏にランナーが進み、佐野が同点タイムリー。4回裏には度会にタイムリーが出て勝ち越し、5回裏に祐大が押し出し四球を選び2点差。盗塁も絡めて、去年までとは違った点の取り方。ただ相変わらずなのは12安打なのに得点が3点と少ない。まあいいです。連敗は3で止まった。東は6回1失点と好投。またしても祐大のお陰。

Giants は途中見た時は Carp にリードされていたが、何と1イニング7点取って逆転していた。うーん。首位 Dragons は Tigers 相手に引き分け。2引き分け目。これで首位 Dragons、1ゲーム差で Baystars と Giants が並んでいるという状況。まあまだ12試合終わっただけです。順位云々はまだまだ先。

東、と言えば、Buffaloes の東がプロ入り初黒星。一昨年は1勝0敗、去年は6勝0敗、今年はここまで1勝で来ていたが。よりによって1－0での負け。残念。プロ初勝利からの負け無しの記録は確か中田良弘（Tigres）の18だったと思うが。シーズン負け無しは間柴（Fighters）の15勝と、田中将大（Eagles）の24勝がある。新しい記録は出来た方が面白いので、東には期待してたが。残念。

で野球が終わって「報道ステーション」に回すとトップニュースは水原一平「容疑者」の話。何か想像を絶する酷さで、被害額は当初の報道より遥か上。信頼していただけにショックは大きいだろう。懲役30年とか言われているがどうなんでしょう？嘘に嘘を重ねてのことだったようだが、人間嘘を一つ付くと後で大変なことなる。身に覚えあり。「嘘は付かない そう心に決めて 嘘を付き続けて俺生きている」という長渕剛の歌があったが、まあその通りだな。嘘と言い訳は最小限にしましょう。勿論無しで行くのが理想だが。

曙太郎死す

今朝は10時ちょいに目が覚めた。昼飯を外で食べる余裕があるぞ、ということで馬鹿の一つ覚えではま寿司へ。魚は食べた方がいいです。青みの魚も大事だぞ、ということで鯖など。いつもの通り大体1700円。満足。

1時からゼミ。昨日書いた通り今日はテキストを配るだけ。進め方を多少話して終了。一人来ていなかったようだが、まあいいです。

で個研室へ戻って、線形代数の講義の準備等。行列を分割して計算するのって、うまく説明しないと面倒なことをやってるだけだと思われてしまう。適切な例を探したり等々。途中ゼミに来なかった学生がメールを寄越してきた。詫びの一言の後、お手すきの時間にテキストを受け取りたい、とのこと。今からでもいいぞね、と返事。ちょっと用足しに行って帰ってきたら、どうも小生の個研室の方と思しき角度から学生が一人。小生の顔を見ても何も言わないことを見ると、関係無い学生かな、と思ったら、先程訪ねたが留守だった、とのメールが来ていた。ちょっとはずしてただけだから、今からでいい。暫くいる、と書いたら、来た。何だ、さっきの学生じゃないか。小生の卒研を志望しているのに小生の顔を知らないのか、とちょっと憤慨。まあいいけど。その後別の4回生が訪ねてきた。代数的整数論のゼミに出てもいいか、と。まあ別に問題は無いので、いいと言っておく。でそれからまた線形代数。どうもすぐにでも連立方程式の章に入ってしまいそう。ちょっと早いな。昼Y富先生が微積分の講義を終えてウェストウィングに戻るのに行き当たったが、微積も進度が早いと言ってた。少し工夫しないと学生が沈没してしまうな。まあ線形代数は演習の先生が丁寧にやってくださっているようなのでいいです。数値例は出した方がいいだろうと、テキストの例を計算してみる。行列の簡約化するには、1番上の行の出来るだけ左に1を持っていくのがいい。でテキストの例は(1,1)成分が0で(3,1)成分が1だったので、まず1行と3行を交換、と思ったら、(2,1)成分が２なのを(1,1)成分に移して行を2で割る、とかやってる。何かよろしくない感じなので、違う手段でやる。結果が同じに成ることは理論的な証拠が得られているので、大丈夫、と思ったら答えが違う。本が間違ってるのかこっちが間違ってるのか？SageMath の echelon_form 命令で検算すると本が合ってる。で何度かやり直した。苦労した。もう結構遅かったので、TeX 化するのは後日にして、職場を後にする。

すき家で明太マヨチーズ牛丼という奴を頼んだが、マヨとチーズが強くて明太子の感じがあまりしなかった。で残念な気分で忘れていたのが、JAF Mate に付いていたすき家の牛丼割引券を出すこと。むう。まあいいです。帰りは一般道で帰ってきたので、高速道路代580円浮いた。

元横綱の曙が死んだそうだ。54歳。若いな。心臓が悪かったようだが、やはりでか過ぎたのだろうか？プロレスなんかやって、横綱の看板を汚した気がしたが、まあ色々あったのだろうから、言うまい。ご冥福を祈る。

さて、明日は9時からゼミ。隣の部屋の先生も参加するようなことを仰せだったし、上に書いた通り一人参加者が増える。寝坊するわけにはいかないな。高速道路の混雑や正門前の右折のこともあるし、8時には住処を出たい。ということで7時起き。早いとこ寝よう。「いたって真剣です」と「アメトーーク！」は見なくてもいいや。野球は Baystars は試合が無くて、他は若干不愉快な展開に成っていたようで、スポーツのコーナーも見なくていいや。もう少しニュースを見たら寝よう。

小園健太、プロ入り初登板は2回2/3を5失点

水曜日は「数学III（線形代数）」。1時からなので10時半くらいに起きてゆとりを持って、のつもりだが、起きたら11時過ぎ。まあそれでもシャワーを浴びて職場に12時過ぎに着いて、弁当を食べるくらいの時間はある。12時55分くらいにF206へ向けて出発。

着いてドアを開けると、学生が山ほどいる。こんなに学生のいる講義は久し振りだ。web に講義ノートを置くというサービスをやってたから、出席者数は5を割ることが続いていたので。で1回生は当然線形代数なんて聞いたことも無いだろうから、色々話す。で早速始める。行列はこんなもんだとか、サイズがどうしたとか、等しいってどういうこと？とか、加法とかスカラー倍とか乗法とか。転置行列もやった。新入生ガイダンスの時にA堀先生が「講義では証明をやります」と脅してくれていたが、転置の転置が元に戻るとか自明なことばかり証明していてつまらん、と思ったろう。が、積の結合法則の証明は難しいぞ。理解出来た学生はいるだろうか？今回は web にテキストに載ってなかったが喋ったことや、理解の助けに成ることを上げよう、ということしたので、A,B,C が2次正方行列の時の (AB)C＝A(BC) の証明を書こう、ということにした。一般のサイズだと Σ が2重に出て来て、それを入れ替える、という所が難所だが、2×2 で見れば少しは分かりやすかろう、ということで。

で講義が終わったら直帰。床屋に行きたいので。3時半前に住処に着いて、ちょっとゴソゴソとやってから4時過ぎに出掛ける。調べてみると前に床屋へ行ったのは2月8日だった。やっぱり2ヶ月が限界だな。でサクサクと切ってもらい、スッキリした。5時過ぎに終了して、久し振りに新福菜館によって真っ黒いラーメンを食してくる。最近はいつ行っても閉まっていたが、Uber Eats の店舗一覧に出てくるから、潰れたということではないのは確実。店の前で見ると、15時から17時までは閉まっているようだ。それでか。その後ドラッグユタカに寄って、ボディーソープを購入。

で6時前に帰ってきて、野球を見るべく TBS チャンネル2に合わせる。今日は3年目の小園健太がプロ入り初登板と聞いていたので、始めから見た。先頭の三好を三振に打ち取っていいスタートが切れた思ったのも束の間、四球、内野ゴロ、四球とランナーがたまり、細川がタイムリーヒットでプロ入り初失点。2回はちょっと不運な当たりなどもあり2失点、3回はピッチャーの松葉にタイムリーヒットを打たれたりと立ち直りの気配無く、そこで降板。代わった石川がランナーを返してしまい、2回2/3を5失点とほろ苦いデビューとなった。打つ方はというと冴えず、3回に代打梶原のヒットでの出塁をオースティンの2塁打で返すものの、その後7回までヒットが出ず。8回に2アウト満塁のチャンスを作るも、牧のいい当たりが取られてしまい無得点。でそのまま終了。3連敗。まあいいです。まだ貯金は一つある。5割前後で行ってればよい。去年は4月首位だったが、最終的には3位。この時期の順位はまだどうにでもなる。大型連敗だけはしないようにしましょう。

今日の光明は3番手の中川颯。5イニングを1失点と、いいところ見せた。8回に不運な当たりなどでノーアウト満塁のピンチも、中田を三振、細川をダブルプレーで無失点。よくやった。次回に期待。

今日は一つ審判にしっかりせい、と言いたいプレーが。高橋の1塁ゴロを併殺の判定だが、誰がどう見てもオースティンの足は離れている。いや、離れている、というと際どいプレーのように見えるかもしれないが、1mくらいベースから離れてる。何が併殺打なもんか。それでグダグダとやって小園のリズムが狂ったのもあるかも。その後四球で先制打、と成ったからね。審判は集中してやってください。

オースティンがタイムリー2塁打を打ったのは書いた通りだが、その際何やら足を痛そうにしていて、途中交代してしまった。オースティンは怪我が多い。またか、という感じだが、幸い明日は試合が無い。ゆっくり休養してください。それにしてもオースティンが引っ込んだ後1塁は大和で、途中京田に交代した。大和も京田も本職はショート。控え内野手は他に林、柴田、石上と、ショートばかり。もう少しどうにか成らないものかと思うが。

さて、明日で全部の講義が一回り。木曜日はゼミしか無いが、まだテキストすら渡せていない。ということで、明日は1時から学生にテキストを渡して、進め方を説明したらもう用事が無い。まあやることはあるので、遅くまで職場に残ることでしょう。上に書いた通り野球が無いので、9時やそこらまではいようかと。読売テレビで Tigers の試合が放送されるようで、「ゴチバトル」は無いのか。が、ABC で Tigers 戦の中継がある時は関東では放送されず、しれっと「ミラクル9」がやっている。まあ土曜か日曜に放送してくれるのでいいが。読売テレビと日テレで同じことをやる可能性あり、ということで念のため日テレのページを見たら案の定。で読売テレビの番組表を調べたら、日曜日に放送してくれるようだ。よかった。ゲストは大泉洋らしく、面白そうなので放送が無かったらどうしようと思っていたが。録画しておいて後でゆっくり見よう。

何と Dragons が首位に

昨晩はブログを書いた後ダウン。「報道ステーション」も「過ぎるTV」も見ないで寝たが、「激レアさんを連れてきた。」の前に起きた。昨日のは面白かった。その後「テレビ千鳥」を見たりプロレスを見たり。でちょっと気持ちに余裕があるので、「グレイトギフト」の残り2話を見ることにした。よくこんな話考え付くもんだ、というとんでもないオチだった。で最後にまた怖いシーンがあったが、それは深掘りしないで終わっていたが。期待外れのドラマの上位に挙がっていたが、個人的な感想としては面白かった。

でまた結構とんでもない時間まで起きていたが、教授会に間に合うくらいまで寝たので、睡眠はまあ十分。で新年度初の教授会。まず恒例の今年度着任した人の紹介。いつも数理がトップバッターをやることに成っていて、准教授のS先生から。S先生の専門は「数理最適化」だそうで、何やら多様体上でやると言ってた。多様体なんて何の役にも立たないような気がするが、数理的な応用があるのは面白い。学生が興味を持ってくれるといいが。数理は4人抜けて、助教3人、特任助教2人、基礎教育担当専任講師1人が新加入と、大分メンバーが変わった。活発に成るといいですね。教授会自体は5時15分くらいには終わった。

6時から野球。今日の Baystars の相手は Dragons。勝てない勝てない、立浪辞めろ、と雑音が激しかった Dragons だが、今日の結果次第では首位に立つらしい。で先制されるも祐大のタイムリーで追い付く。しかしジャクソンが粘り切れず2点勝ち越され、そのまま終了。上に書いた通り Dragons が首位。浅尾美和は喜んでいるだろう。今回のカードは今日、明日の2連戦だそうで、カード連続勝ち越しはストップということだ。残念。まあまだ順位を云々しても仕方ない時期。明日勝ってカード負け越しなしでいきましょう。

今日は凄い天気だったようで、風だ雨だと大変だったようだ。富士山では「スラッシュ雪崩」とかいうのがあったと言う。何か異常気象だな。明朝は寒いらしいが、日中はいい天気で、気温はそこそこ上がるようだ。職場に行く必要の無い日に天気が悪く成って、行く日に天気が良くなるのは日ごろの行いがいいということだろうか？知らんけど。今日はちゃんと寝よう。講義が終わったら直帰して床屋へ行く予定。多分2か月以上行ってない。鬱陶しく成ってきたので、もう限界。1回生の前に出る前に行っておきたかったが仕方ない。卒研ゼミの前には行っておこう。

時計の見間違いにより寝不足

昨晩は程々に寝ようと思っていたが、ちょっと多変数の微積分で気に成ることがあって、本を読み始めてしまった。であっと言う間に3時くらい。いかん、月曜日は1時からゼミだ、寝ないと。と寝る。で目が覚めて小さい時計を見たら、「11時34分」と見えた気がして起きた。寝癖ボーボーなので、シャワー浴びよう、と入って、で給湯器の時計を見たら、6時43分、と見えた。ん？時計が狂ったのか？と思ったら狂っているのは小生。何だ、まだそんなに早かったのか。阿呆や。3時間ちょっとしか寝てないが、寝癖を直してもう一寝入りで寝癖復活はダメ。ということで仕方ないが、起きていることにした。で微積分の続きをちょっと。大体分かったので、土曜日に放送された「ミラクル9」の2時間スペシャルを見て時間潰し。10時半過ぎに住処を発つ。

学内で弁当を買おうかとも思ったが、丁度11時くらいだし、どこの店もランチ営業が始まる頃だろう、ということでちゃんぽん亭に向かうことにした。期間限定で「肉吸い」とかいうのがあったので頼む。ついでに餃子。で職場に着いてもまだ12時前。もうちょっと何かしよう、ということで杉浦光夫「解析入門I」を開いてみた。住処にもあるはずなのだが、何故かII巻しか見付からなかった。この本って無限積のことを勉強した時に開いたくらいだったが、面白そうだ。時間が出来たら読んでみたい。偏微分の定義とか滅茶苦茶一般的にやってて、先の方を見るとこの定義の都合のよさが分かるんだろうが、ちょっと楽しむ余裕は無かった。

1時からゼミ。今日は円の m 分体で m が素数とは限らない場合の話。が、相変わらずの体たらく。ガロア群の定義は？って質問を同じ学生に3回も4回もしてるが、未だに全然理解してない。自己同型写像の定義は？って所まで遡らないといけない。定義が分からないでどうして証明出来るの？といつも不思議に思うんだが。突っ込んでみると証明してない箇所多数。そんなのは予習と言わない、という趣旨のことを少し抑えて言ったが、どうだろうか？短い § だから油断したか？結局2ページ弱に2時間半以上掛かった。で選手交代なのだが、次の学生が何やら調子が悪く、ちゃんと声が出せないとかで、3時半ちょいに終わりに成った。来週の所も突っ込みどころ満載に成りそうだ。ちゃんとしてくれればいいが。こっちもちゃんと勉強していく。

4時半から生命保険会社の人が訪ねてくることに成っている。でそのために少々準備が必要で、部屋をひっくり返す。探してたものは何とか見付かった。でちゃんと時間通りに来て、色々密談。何だかんだで1時間半くらい居座られた。まあ得するかもしれない話なので、いいけど。その後明後日の線形代数の講義の準備を少々。ちゃんと読んでみると、行列 A に対し －A という記号を使っているところがあったが定義してないことが分かった。－A:＝(－1)A とすればいいだけなので、忘れないようメモっておく。－A＝O－A とか証明しようかどうか思案したが、やった方がいいな、ということにした。でちょっとプリントアウトして、その後の作戦を練ったりして、8時過ぎまで職場にいた。

昼に餃子を食べたが、疲れている時は追い餃子だ！ということで王将へ。極王炒飯とニンニク激増し餃子。伝票を見ると1111円。暮れに実家の近所の王将で見たな。餃子の値段を見ると400円を超えていてビックリ。学生の頃は炒飯に餃子で600円だったが。餃子が200円だった。まあだけど、暮れから今日までの間は値上げしてないということだな。しかも、今日は秘密兵器が。2月29日のニンニクの日にもらった229円引き券を使って安く上げてきた。だから贅沢してキムチ炒飯でなく極王炒飯にしたのだが。9時過ぎに帰宅。

さて、すぐにでも寝ていいんだが、明日は資源ゴミの日だった。これから分別しないと。明日の用事は4時半からの教授会だけ。去年は1時から学科長会議があって大変だったが、今年は平和だ。春学期は月、水、木、金と職場に行かないといけない。保健センター行きがあったら週5日毎日行かないといけなくなる。秋学期は火曜日に講義があるな。平日毎日出勤しなくていいのが今の仕事のいい所なのだがな。いいけど。

今日は日本中暑かったようだ。確かに蒸したな。雨も降ってるし。明日は通勤時間帯の近畿地方の天気が相当悪いようだが、職場に行かなくてよくて助かった。教授会がオンラインに成って本当に良かった。明後日は講義だから天気が悪く成らないで欲しい。学科会議をやらないそうで、2時半の講義が終わったら直帰しよう。それから床屋だな。

気持ち悪い一日

先週の土曜日の「ふなごや」は大忙しだったそうだが、今日は一転暇モード。野球が終わってから行ったわけだが、店長はカウンターに座って、スマホをいじっていた。バイトの女の人も来てないし、しばし店長とグダグダと喋り喋りしていると、バイトの女の人が客として来た。でそこから相当長時間呑んだ。で帰り際のことを覚えていない。セブンイレブンに寄ったかどうかも記憶に無いが、起きてみると殆ど口を付けてないペットボトルの水があった。寄ったのだな。正直未だに気持ち悪い。まあいいでしょう。

昼を大きく回ってから起きた。野球は昨日がナイターだったから今日もだろう、と思ったら、スマホが鳴ったので画面を見ると野球の情報。え、デーゲームなの？と思って、急いでチャンネルを日テレG＋に合わせる。3点負けてる。大貫が序盤から失点したようだ。最終回に大勢を攻めて満塁のチャンスを作るも凡退で、3－0で負け。Giants は勝った試合は全て完封とか。後ろが万全のチームは怖いかも。まあ Baystars は3カード連続勝ち越しと、中々の結果。3連勝こそ逃したが、いいです。この調子で行ける所まで行きましょう。

何故今日の野球がデーゲームだったかと言うと、終了後女子高校野球の決勝戦があったようだ。夏優勝の神戸弘陵が連覇したようだ。「ようだ」と書いているのは、気持ち悪くて寝て、音声だけ聞いていたので。始まるまで何やら Giants の名場面みたいなのを延々流していて、正直不愉快だったが。まあいいです。

今「サンデースポーツ」を見ているが、色々知ることが出来てよい。Jリーグは新加入の町田が好調で首位。町田市は横浜市のお隣なので、調子がいいと嬉しい。応援しよう。

nicematrix パッケージで遊んでいるうちに明るくなっていた

昨日職場を出る前に、TeX の array 環境で気に成ることを一つ見掛けた。で帰宅後野球が終わって試してみたが、エラーメッセージを吐いてうまくいかない。デマだったか、と思うも、Google 先生に頼って色々調べてみた。すると、TeX の行列に関することで「nicematrix」という、その通りナイスなものを見付けた。TeX で行列を簡単に書けるが、不満だったのは \cdots や \vdots を並べて点線を沢山書こうと思っても、連続的に成らないこと。それを解決してくれるのが nicematrix。他にも、こっちに来た年に線形代数の演習を担当した時どうにか成らないかと思ったのが、連立方程式を書く時の拡大係数行列に縦の点線で区切り線をいれたいが出来ず、実線に成ってしまうこと。nicematrix ではこれも解決してくれる。素晴らしい、と思ってドキュメントを読む。PGF を使っているので、タイプセットは数回行え、とのこと。というこは pdf に変換しないといけないのだな。ちょっと面倒。が、まあいいか、と始めてみても何かうまくいかない。TeX は通るのだが、pdf に変換する時にメッセージを吐いて、おかしな仕上がりに。うぉー、と暫く格闘したり Google 先生頼ってみたら、例題を沢山載せてくれているページに出会った。すると \documentclass の所に dvipdfmx を書いてないからだ、と判明。それを書き足したらうまくいった。おぉ、感動。この前書いたが、行列の掛け算をビジュアルに訴えた形のものを Tikz で描きたいが、無理そうなので、Google に「Tikz 行列の積」で検索したら、それを描いたものを見付けたが、何をやってるんかさっぱり分からなかった。が、nicematrix なら割と簡単に実現出来そう、という手応えを感じてやってみた。1時間強格闘したろうか？出来た。各ステップで何をやってるか分かるし、後で手直しも出来る。いいですね。色々出来そうだ。今度試そう。何しろそれが完成した頃はもう「おはよう朝日土曜日です」が始まっていた。いかん、寝るぞ。

で今日は床屋に行くつもりで昨晩呑まなかったんだが、起きたら結構とんでもない時間。呑んでないのに腹の調子がよくない。今日も床屋行きは無理だ。来週にしよう。

6時から野球。1回裏に先制され嫌な展開。グリフィンに3回までパーフェクトに抑え込まれる。が、4回表に相手のエラーでオースティンが出塁すると、佐野、牧連続ヒットで満塁。宮崎が逆転の2点タイムリー2ベースで逆転。よしよし。が、4回裏に宮崎のフィルダースチョイスで同点にされ、犠牲フライでひっくり返される。またしても嫌な展開。が、5回表に佐野のタイムリーヒットで追い付き、宮崎、関根が2者連続押し出し四球を選んで勝ち越し。7回に宮崎がタイムリー2ベースで3点差。もう勝負あったろう、という気がしていて今に至るが、9回裏に1点取られたところ。森原抑えられるか？

TeX の行列環境と言えば、この前 mathtools というパッケージも見付けた。行列を pmatrix 環境などで書くと、成分が中央揃えに成ってしまい、右詰にしたいときなどは仕方なく array 環境を使っていたが、mathtools にある pmatrix＊ 環境を使えばお手軽に出来ることが分かった。あと、psmallmatrix という、行列を小さく書いて、括弧で括ってくれるという便利なものもあった。前は smallmatrix と \right, \left を組み合わせてやっていたが、やや面倒な感が拭えなかったが、色々楽に成った。TeX は何年使っても知らないことが出てくる。数学と TeX は一生勉強だな。

などと書いているうちに試合終了。何とか抑えきった。最後は岡本の1塁ベンチ前へのファールフライを祐大がナイスキャッチ。これで3カード連続勝ち越し。明日勝って3タテといきましょう。順位表を見ると、いつの間にか Dragons に貯金が出来て単独2位。Tigers は5割。まだまだ混戦は続くね。

腹の具合はよろしくないが、呑みに行こう。先週顔出さなかったからね。毎回程々にするつもりで行くんだが、結局それなりに無茶呑みしてしまう。まあ春学期は月、水、木、金と出勤なので、酒量は自ずと減るでしょう。土曜日くらいはね。ということで行ってきます。

今日から講義

今日は7時起きのつもりでアラームを仕掛けたが、寝坊にびくびくして、深夜に何度も目が覚めた。最終的には6時55分くらいに起きた。ちょっと寝不足だが、まあいいでしょう。買い込んであったカップ飯を食べて、さて、というところでうっかり数学を始めてしまった。いや、大したことではないんだが、ちょっと SageMath に検算させようと。ところが思いの外時間を食った。括弧のネストが合わず一苦労。SageMath は emacs と同様に、括弧の対応を教えてくれるんだが、それでも中々合わず、やっと合ったと思ったら答えが違う。もう。で気付いたらもう7時45分くらい。ようやく想定通りになった。急いでシャワーを浴びて、8時15分に成るちょい前くらいに出発。が、これくらいの時間だとやはり渋滞するのか、「京都東－大津 渋滞1km5分」の表示。これ大したことが無いように見えるんだが、大抵料金所の外まで渋滞が伸びている。今日もそうで、四宮の信号を通り過ぎたらすぐ渋滞。しかも何故かゲートが一つ通行止めに成ってる。もう。で本選合流できたのは8時半くらい。まあ何とか間に合うな。9時からの用事は講義でなくゼミだから、多少の遅れなら。で8時50分くらいに漸く駐車場に着いた。ゼミ室には9時ちょいに着いた。が、今日やるのはテキストを渡して、進め方をちょっと話すくらいなので、5分くらいで終了。大学院進学希望の2名が相手で、テキストは藤崎先生の「代数的整数論（上）」。小生この本で代数体のことを勉強したが、テキストに使うのは今回が初めて。山本先生の本や小野先生の本は面白おかしく書いてあるんだが、分かってない人には辛い、というのがここ数年で分かったこと。藤崎先生の本はカチッと書いてあって、むしろゼミのテキスト向きか、ということで選んだ次第。気持ちよく読み進めてくれるといいですが。

で次の用事は1時からの講義なので、時間がタップリある。こういう時は普段出来ないことを、ということで Tikz でお絵描きを沢山。この前長方形を書いて塗りつぶしたが、一つの辺だけ線が出ないのは何でだろう？ということがあったが、web で調べたら解決方法が出ていた。他にも原点を通る直線に関する折り返しの一次変換の図を描いたり。「Tikz 備忘録」というページを見ながらいつもやっているが、そこに垂線の足を求めさせる例が出ていたので、それを真似して。ちゃんと直角に交わっていることを表す四角（何のことか通じてますか？）も描けたりと、中々格好いい。TeX の picture 環境で描くことを考えたらすごく楽で簡単。随分捗った。まだ正射影の絵が描けてないが、これからやるか、また今度やるか。昼飯はどうしよう？と思ったが、早く来たお陰で割といい所に停められたので、動かすのは勿体ない、ということで弁当を買って済ませた。

1時から「代数学I」。今日がセメスターの最初の講義日なので、学生はまだシャキッとしてないかと思うが、気にせずバリバリ進める。まず3次方程式の解の公式を紹介。で4次方程式にも解の公式があることを口で言って、5次だとそうはいかないのだ、と言っておく。でそのことを深く掘り下げたのがガロアだと言って、introduction は完了。その後テキストは使用しない、出席は取らない、単位はレポートで、演習問題は時々小生のホームページに載せる、など事務的なアナウンスをしてから、早速本編の開始。まず環を定義して、0と加法逆元の一意性を証明。線形代数でも群論でもやったよね、と言ってはおいたが、もう一回証明した。1の一意性は演習問題にした。まあ半群？モノイド？未だにどっちがどっちだか知らないんだが、まあそれで考えれば0の一意性と1の一意性の証明は全く同じなのだが。小生がこっちに来た頃同僚に半群の専門家という人がいて、群は半群の特殊なもの、という教え方をされていて、嫌な感じだと思ったことがある。1回だけ群論の演習を担当したが、言葉が増えて学生は消化不良を覚えている感じだったのを思い出す。他にも随分難しい教え方をされる方だったので、ちょっとテストをやったら、大半の学生の答案がカラッキシだった。まあどう教えても群論は難しいのだが。むしろ環の方が群より易しい。でその後例を沢山出してくる。うちと物理が数学物理学科だった頃物理の学生が時々受けに来ていて、そのうちの一人が大学院で小生の指導を受けたいと進学してきた。面接で小生の講義は例が多くていい、と言ってくれたので、ずっと例を沢山出すことだけは怠らないようにしている。今日挙げた例は Z, Q, R, C, M_n(R), R[X], Map(S,R) とか。来週は End(G) と {0} を例示する。そうしてから0に何を掛けても0とか、(－a)(－b)＝ab とかやる予定。部分環をやると Z[i] とか C^∞(I)（I は区間）とか出せて面白くなる。

講義終了後二人ばかり来た。一人は、単位認定レポートを manba＋R に上げる、と言ったが、演習問題も manaba＋R に上げるのか？と聞かれた。いや、小生のホームページに上げる、と言っておいた。小生の名前で検索すればすぐ出てくるから、と言っておく。もう一人は、何やら代数的整数論を勉強したい、類体論をやりたい、とか凄いことを言ってた。今は Atiyah－MacDonald の本を読んだり、雪江先生の整数論の本を読んだりしている、とか、これまた凄い仰せ。ホモロジー代数とかやった方がいいのか？と聞かれたが、あんまり難しいことはいらないので、そこまでしなくてもいいのでは？と言っておく。いや、整数論でも凄く難しいことをやるんなら、そういうのもバリバリ出来た方がいいと思うのだが、類体論を目標とするならね。でそうこうしているうちに〇んこ君が入ってきた。次の講義は彼が担当か。去年もそうだったよね？と言ったらそうだと言ってた。事務の人も仕事を増やしたくないのか、部屋は極力変えないようだ。まあ今年は情報理工学部が BKC から出ていったから、少し部屋に余裕はあると思うが。

その後部屋で色々。今年は講義ノートを web に上げるサービスはしないことにした。講義室に学生が一人しかいない、というのは精神的にめげるので、板書を写すのは大変だろうが、学生には来てもらう。出席は取らないとは言っておいたので、来なくなる学生はいるだろうが。だから去年までやっていた講義ノートの直しはやらなくていいので、Tikz で引き続き絵を描いたり、ゼミのテキストの領収書の処理をしたり。学生に小生の名前で検索してね、と言ったので検索したら、案の定小生のホームページは上位だったが、その直下にこのブログが出てきた。「見てます」と言う学生が案外多いのはこのせいか。少し書くことを気を付けないと。そんなことをしてたら、線形代数の演習を担当する先生からメールが。2、3情報交換をしておく。で5時前に職場を離れた。

5時前なら名神は混んでないだろう、と思ったが甘かった。「草津JCT－大津 渋滞10km」の表示。この時間はいつもこんなに混むんだろうか？それとも京滋バイパスで事故があって渋滞しているから、京滋バイパス経由で大山崎から先を目指す人が名神に流れてきたのか？来週からは少し考えないといけないな。講義終了後直帰することにしようか？住処に着いたらもう6時だった。疲れた。

テレビを付けて日テレG＋に合わせる。度会が1塁ベース上にいた。少しヒットから遠ざかっていたが、1本出たらしい。が、何故か2番がオースティンでなく桑原。オースティンどうした？ホームランを打ったりして割と好調だったのに。ベンチにはいた。で桑原がダブルプレー。もう。Baystars の先発は開幕投手の東。本調子じゃないのか2回に先制される。が、その後は粘って、そうこうしているうちに度会にタイムリーヒットが飛び出し同点。度会は初タイムリーだそうだ。ここまで5打点だが、3ランホームランと2ランホームランだったな。7回に無双状態の関根がタイムリーヒットを打ち、これが決勝打。東は7回を94球被安打5の1失点。ビジターだからヒーローインタビューは一人だけだな。関根？と思ったら東だった。今日もお馴染み「祐大のお陰」が出て、スタンドが映ると「祐大のおかげ」と書いたタオルを持って応援している人がいた。こんな応援グッズもあるのか。度会が開幕戦で「最高でーす！」を連発していたが、「最高でーす！」タオルも販売すると言ってた。商魂逞しくて結構。どんどん勝ちましょう。

Marines の小島（おじま）が完封勝利一番乗り。しかも1－0の勝利というのが凄い。一昨年は防御率3.14も援護無く3勝11敗。去年は一昨年より防御率が悪いが10勝。今年は今日で1勝1敗、防御率1.93。ロッテ球団はもう50年首位でペナントレースを終えたことがないそうだ。一度日本一に成ってるが、あの時は3位からの下剋上。リーグ優勝が1位のチームではなくプレーオフを勝ち進んだチームに与えられるというよくわからない制度だったので、リーグ優勝はしている。今年は横浜 vs. 千葉で湾岸シリーズをしましょう。お前は Buffaloes ファンだろうって？うん、まあそれはそうなんだが、5連覇は流石にいいでしょう、という気がする。山本も山崎福也も抜けたし。まだまだ先が楽しみ。

さっき「報道ステーション」で何やら土地・家屋の相続のニュースがやってた。あんまり真面目に見ていなかったが、自宅をリフォームしようとしたら100人くらいに了承を貰わないといけなかったり、明治22年に登記されてそれっきり手付かずの土地をどうするか？というようなことを言ってた。小生の住んでるすぐ近所に空き家が2件あるが、どうにか成らないのか？と思っていつも見ていたが、同様の状況なのかも。確か「科捜研の女」でもその手の話題があったな。小生の生家は「再開発」の美名のもと最早跡形もないし、親父殿が死んだ後は役所勤めの長い兄者が適切に処理してくれるだろう。小生も兄者も子供が出来る可能性は最早皆無。兄者より先に死んだ方が楽だな。山科で細々暮らして、ひっそり死んでいこう。

関根大気の打ち出の小槌バットからヒット大量生産。チームは2カード連続勝ち越し

早目に寝て早目に起きて床屋、という野望は水泡に帰した。SageMath で Kronecker 記号を計算させたんだが、何かおかしい。Q(√6) と Q(√(－6)) での素数の分解法則が同じに成ってしまうが、確か二つの代数体が等しいことと完全分解する素数全体が等しくなることが同値、だった筈。Q 上ガロアっていう仮定くらいはいるんだっけか？とそれは調べなかったが、まあ2次体なのでそこはどうでもいい。兎に角なんかおかしい。PARI/GP でも Kronecker 記号は計算出来るが、SageMath と同じ結果。むむ、と思ってしばし時間の無駄遣い。引数が二つあるが、一つ目と二つ目を逆にしていたのが原因と分かるまで随分掛かった。あほくさ。手計算の結果とようやく同じ結果になり安堵した。その時にはもう「おはよう朝日です」が始まっていた。いかん、寝るぞ。で目が覚めたら結構遅い時間で、鼻と腹の調子がよくないので、床屋はやめた。

で早くも6時。野球の時間。今日まで京セラドーム大阪で Tigers と。初戦は取って昨日は負け。さあ3戦目。Baystars の先発は中川颯（なかがわはやて）。去年 Buffaloes から戦力外通告を受けての移籍。今までの1軍マウンドは2021年の1イニングのみ。オープン戦では無失点と好調だったが、さてどうなるでしょう？3回まで無失点も、4回に梅野のヒットと木浪の内野ゴロで2失点。途中佐藤の3塁への走塁とホームへの生還を巡って岡田監督が2度リクエストすると、どちらも判定が覆りセーフに成ってしまう。こういう日はロクでもない結果が待っていることが多いので嫌な予感。が、6回にチャンスを作り、3試合連続猛打賞と大当たりの関根がタイムリー2ベースで1点返し、代打・楠本の技ありのセンター前2点タイムリーヒットで逆転！いいぞいいぞ。中川颯の後は上茶谷、伊勢、ウェンデルケン、森原、康晃と繋いで勝利。2カード連続勝ち越しで、通算4勝2敗。いいですね。明日から東京ドームで Giants と。土曜日もナイターのようだ。土曜日の昼床屋へ行くことにしよう。

昨日書いたが、3時間掛けて通ってくる剛の者がいる。それで思い出したが、予備校でバイトしている時に知り合った女の子は、横浜から埼玉大学まで2時間半掛けて通ってたな。確か最寄り駅は根岸線の磯子駅だった思うが、浦和のどこかまでなら乗りっ放しでいいん違うの？と聞いたら、時間が掛かり過ぎてそれだとどうしようもないと言ってた。横浜で東海道線に東京で山手線か京浜東北線に、上野で東北線に、と乗り換えると言ってたと思うが、今は上野東京ラインというのが開通して、東海道線の電車がそのまま東北線に突っ込んでいくので、それがあったら楽でよかったろう。1月6日の埼玉でライブはさいたま新都心駅が最寄りのさいたまスーパーアリーナだったが、横浜から乗りっ放し1時間だったので楽だったが、京浜東北線だと1時間半以上掛かる。磯子から浦和までも同様だったのだろう。えーと、そう、3時間掛けて通ってくる学生はどこから来てるんだろう？機会があったら聞いてみよう。

さて4月4日である。車の免許を取って21年。気分を新たにいきましょう。4月4日は兄者の誕生日でもある。58歳。年取ったな。定年まであと数年。健康に過ごして下さい。兄者は酒が呑めないので、その方面で体を壊すことは無いので安心だ。

で明日から春学期の講義が始まる。1時から「代数学I」だけの筈だったが、昨日書いた通り9時からゼミをやる。9時に職場に着くには、普通なら8時20分に住処を出れば問題無いんだが、この前と同じで正門に右折で入る車列が出来てて、中々正門を入れないので、余裕を見ておかないと。8時には住処を出るか。7時起きだな。もう寝るか。こんなのが15週間続くと思うと嫌だが仕方ない。のっけから寝坊はまずいので、もう寝る。「いたって真剣です」は見なくてもいいや。「アメトーーク！」も。いや、録画しておこうか。しても見ないことが多いからな。まあいいや。兎に角もう寝よう。

その前に関根大気についてもう一言。3試合連続猛打賞の大当たりであることは昨日書いたが、昨日から今日に掛けて5打席連続安打。途中打率が7割5分を超えた。最後の2打席は凡退したが、それでも打率は驚異の .667。去年も春先はレギュラーでチームを引っ張ったが、今年は開幕スタメンの座を逃した。しかし自らの力でぐっと引き寄せた。去年は自身初の規定打席到達だったが、今年も是非。

Tikz でお絵描きを沢山

10時にアラームが鳴るようにしていたが、起きたのは11時近く。まずい、と急いで出掛ける。勿論いつもの通り言葉の綾で、走行車線を80km/h弱で走ってたが。で12時前に着いて事務室に行ってみるともぬけの殻。もう昼休みだろうか？仕方ないので一旦個研室で時間潰し。12時半過ぎに事務室に行ったら人がいたが、小生に用事があると言っていた人がいない。「談話会室じゃないでしょうか？」と言われたので行ってみる。火曜日から明後日まで、何やら確率論の国際研究集会をやっているようなので、それの手伝いかな。行ってみるといた。7階に上っていき、印鑑を押して、今日の任務は終了。やれやれ。生協で弁当を買おうかと思ったら、唐揚げ弁当を売ってるキッチンカーが近くにいたので、温かい飯にありつけた。

さて、まず卒研の時間を決定しようということで、皆の予定をすり合わせる。9人もいると中々 unique な解に成らない。午前中にやりたいという意見が数名から上がっていたが、一人3時間掛けて通学しているという強者がいて、9時開始だと6時に家を出るとか訳の分からないことに成ってしまい可哀想、10時40分から1コマやって昼休みを挟んでまた1時から1コマ、というのはだらけて良くない。ということで強権発動で木曜の1時から2コマと決定し、皆に通知。で大学院進学希望者のゼミはどうしよう、と該当者にメールを書くと、何と午前中しか空いてないという学生がいて、諸々考慮して金曜の9時からやることにした。1時からは「代数学I」の講義ある。キツイな。まあ仕方ない。酒の量が減っていいだろう。ちゃんと勉強してきてくれて、機嫌よくスムーズに講義に移れればいいが。

その後 Tikz と格闘。絵を幾つも書いた。前は x 軸から30度正の向きに回した長さ2のベクトルを書くのに \draw[->] (0,0)--(1.73205080756888,1); とかいう生産性の低い書き方をしていたんだが、調べてみたら座標を与えて、それを θ だけ回転させた点を求めて、2点を結ぶベクトルを書いて、とか出来ると分かった。そのベクトルから更に φ だけ回転させるとか出来るので、ぐっと楽に成った。毎回 1.732 とか書くと角度を変えたいとき大変面倒な上汎用性が無い。分かってよかった。他にも領域を塗りつぶすことが出来て、教材が結構出来た。後でもうちょっとやってみる。

で8時過ぎまで職場にいた。6時頃から野球の様子を気にしいしいやっていたが、初回にオースティンにホームランが出て先制。2回にルーキー石上（いしかみ）がタイムリーヒットで追加点。よしよし。石上は5試合中4試合でヒットと、度会の派手な活躍に隠れてはいるが中々の働き。今日も勝てるか？と思いはま寿司へ向かう。夜の8時過ぎのはま寿司は結構混んでて、待たされた。読書をして待っていたが、途中スマホを見ると逆転されてる。濱口！まあいいです。まだ一つ勝ち越している。この時期は上位から大きく離されず5割前後で行ってればいい。去年は4月終わった時点で首位だったようだが、最終的には3位だった。まだまだ頑張って粘りましょう。

昨日書き忘れたこと。今永昇太がMLB初登板初白星。5回まで完全試合だったそうだ。6回被安打2の無失点と、上々のデビュー。去年はよくホームランを打たれていて、今年のオープン戦でも一発病だったが、ちゃんと対応したということだな。山本由伸も2試合目は5回無失点と上々だったようだし、今日は鈴木誠也がホームランを打った。期待しましょう。

さて、「報道ステーション」を見ているが、台湾で大きな地震があったとか。沖縄に津波警報が出たらしいが、皆素早い避難で被害は無かったようだ。素晴らしい。そうかと思えば宮崎では高校生が雷に打たれて大変だったようだが、こちらは雷注意報が出ているのに練習試合を続けてしまったとか。駄目ですね、注意報とか警報とか軽んじては。ちゃんと受け止めて対処しないと。明日も雨だ雷だと言ってるから、気を付けないとね。明日は床屋へ行こうかと思ってるが、どうしようか？天気次第だな。午後には天気がよくなると言ってたし。兎に角今晩は呑まないことにしよう。

赤チャートに熱中して徹夜

結局昨晩は呑んでしまった。ちょっと昨日考えてもうまくいかないことがあって、職場から赤チャートを持って帰ってきたのだが、ちゃんと出てた。成程、こうやって示すのか、と分かった。チャート式面白い。結構熱中してしまった。呑み呑みやってたんだが、気付けばもう10時近かった。まあ無茶をしたが、いいです。金曜から講義が始まるので、それからは少しちゃんとする。

食事をして寝床に。ちょっとYouTubeを見たんだが、京大の去年だかの入試でチェビシェフ多項式のことを知らないとどうしようもないものが出ていたが、それの解説が面白かった。成程、cos(nθ)＝f(cos θ) を満たす多項式 f(x) をチェビシェフ多項式と言うわけだが（他にもあるが）、こうやって存在を示すのか、と分かった。まあ示せるでしょう、と思ってちゃんと示したことがなかったが、これは示せない。昔寺井さんと共著論文で数列のことを書いたが、その後にチェビシェフ多項式と言うもの存在を知って、それから興味を持っていた。チャート式にもチェビシェフ多項式関連の問題が出ていて、熱中してしまった理由の一つはそれ。面白かった。で寝たが、目が覚めるともう野球の始まっている時間だった。

今日から Tigers と3連戦。CSのスカイAというチャンネルで放送があったが、いくらチャンネルを合わせようと思ってもスカイAに成らない、という変な夢を見た。嫌な予感がしたが、何と1回に4点取って、5－1とリードしていた。その後2点取られ、9回はサヨナラのピンチだったが、康晃が抑えきって勝利。今日のトピックは9回に2年前のドラフト1位、松尾汐恩がプロ入り初安打。よかった。3勝1敗で単独首位に。まあまだ順位を云々する時期ではないが、まあ気分はいいです。Dragons は Giants 相手に3点差をひっくり返してのサヨナラ勝ちで今シーズン初勝利。細川が19打席目での初安打がサヨナラホームラン。凄い。Giants は中川が早くも2敗目。今年こそ最下位にしてやりましょう。現状最下位は Tigers だが。まあまだ順位を云々してもしょうがないのは書いた通り。これもしょうがないが、山本祐大が首位打者。気分はいいです。

もう学科長じゃないのだが、何か積み残しがあって、印鑑を押してくれ、とメールが来ていた。明日の午前中に職場に来てくれ、と。面倒臭いな。仕方ない、行くか。今日も呑んだろうかと思っていたが、やめよう。「アンタウオッチマン」が終わったら寝よう。印鑑押したらどうやって時間潰そう？TeX の picture 環境と Tikz で絵でも描くか。

暑い新年度初日

昨日は無茶やったから、今日は起きられないだろう、と思ったが、一応8時にアラームは仕掛けておいた。で7時55分くらいに目が覚めた。9時半からの新入生ガイダンスに参加出来る。ということでシャワーを浴びて出勤。随分前に新しい靴を買って何となく変えそびれていたが、今日から気分一新ということで新しい靴で行くことにした。新しい靴はきつい。慣れるまで少し掛かるだろう。

高速道路を出たのが9時少し前。案の定というか、正門前に車列。右折で入らないといけないが、対向車が引っ切り無しに来るので、右折矢印が出るまで曲がれないことがしばしば。で右折矢印が出てる時間が短く、3台くらいしか入れない。結局信号3つ待った。まあいい時間潰しに成った。

部屋はC108だ、と思い込んでいたが、行ってみると生命科学部の会場に成っていた。ん？とスマホを見ると、C205だった。C108って何だ？と思ったら、3月の学位授与式の会場だった。メモっておいてよかった。9時半に式開始。学科長の K 先生、ってこれでは unique に定まらない。小生も K だし、今日から助教に成った人の一人も K 先生だ。えーと、確率論の K 先生でも unique でないな。ペルー人の K 先生、とするか。まあ面倒臭い時は「学科長」と書くことにしよう。学科長の挨拶から始まり。長い。小生は話を上手に作る自信が無いので、去年は凄く短かったと思う。その後小集団科目（というのがあるんです）担当の先生方が紹介される。新任の S 先生（は unique かな？）も紹介されていた。その後「数学学修相談会」の宣伝や、学生が数名喋って、数学研究会の紹介。顧問の A 堀先生も喋って、それから今日から閑職の F 本先生も喋って、というところでお開きにされてしまった。「学科の教員紹介」とあったから、小生も何か喋らせてもらえるのかと思ったが。まあいいです。来週の水曜日から線形代数の講義で1回生と顔を合わせるが、その時に今日皆さんが喋っていたことなど踏まえながら講義をしよう。

一旦個研室へ戻る。荷物を置いて、少し経ってから食事へ。こういう日はいつもの鰻屋がいい。銀行に寄ってから行こう、ということで少し遠回り。が、銀行の駐車場は一杯。口座開設のお客様など、新年度モードで大忙しいらしい。臨時駐車場を紹介されたが、方向音痴の小生、航空写真など見せられても皆目見当が付かない。「出直します」と言って鰻屋へ向かう。店に着いたのは11時10分くらい。丁度良かった。いつもの一本鰻を頼んで、JAF の会員証を見せて100円引き。旨かった。

今日は暑かった。少し表に停めただけなのに、車内は暑い。ハンドルも結構熱を帯びていた。滋賀はどうか知らないが、夏日に成ったところがあるそう。暫くこんな陽気が続くらしい。が、最低気温は結構低いので、まだジャンバー（死語）無しで行くのは無理だな。まあ冬物はもうクリーニング屋に出してもいいかな。

で職場に戻ってきた。割といい所に停められた。生協に寄って Blu-ray のディスクを買う。いつもの通り「校費ですか？」と聞かれたが、「いえ、私費で」と言い返し購入。個研室へ戻って、事務に1年間預けていたも（何でしょう？）を返してもらい、奨学金関係の件で使った USB を返却して、少しのんびりしてから、学生とメールを1往復半。その後ちょっとベクトルの勉強。2回生の線形代数ではもうベクトルが何だとか言わないでよかったが、1回生を相手にするから、少し理論武装しないと。まあシラバスに「2章からやる」と書いたので、勉強する必要は無いんだが。まあいいです。高校の教科書を見ながら勉強。そうか、ベクトルってこういう定義なんだな。位置ベクトル、とかよく分かっていないで勉強していたことを思い出した。いつの間にか点とベクトルを同一視していた。昨年度からか今年度からか忘れたが、ベクトルを習うのは高校3年に成ってからだから、消化不良で来ている学生は多いと思われる。そういう学生に手取り足取りやらないといけないか？という疑問には「No!」と答える。入試要項に数学Cをやっておくように書かれているので、やってない学生は知らん。午前中にA堀先生が「手取り足取りやってくれるのは今週だけで、来年からは放っておかれます」と脅しておられたので、いいでしょう。

その後結構長時間やった。随分前に高校の教科書から3次元空間内の平面の方程式のことが載らなくなっていたが、細々ながら復活したようだ。線形代数の演習を担当した時に「x＋y＋z＝0 で定義される R³ の部分空間の基底と次元を求めよ」という問題を出したが、基底も求まって次元も2だと分かったのに、「どんな図形？」と聞いたら「直線」という答えが返ってきてガッカリしたことがあった。何故か聞くと「一次式だから」との答え。うーん。どっか工科系の学科の線形代数を担当した時にも直線と答えてきた学生がいたが、「いや、左辺を (1,1,1) と (x,y,z) の内積だと思ってみ」と言ったら「ああ、平面か」とすぐ納得してくれた。題材が多過ぎると混乱する、ということでどんどん内容を減らしているのかもしれないが、ちょっと考えれば分かることくらい載せてもいいと思うんだが。それと違うが、少し前の課程では高2の微積分で xⁿ の導関数が nx^n-1 なのを n が3以下に限定していた。証明出来ないからなのか何なのか分からないが、いらぬ混乱を招くだけでロクなことないと思うんだが。小生の頃も3年生に成るまで証明抜きで使ってたぞ。数学IIIを受験科目に課さない大学は苦労しただろう。平気で x⁴ の微分とか x³ の積分とか出してる大学もあったけどね。

で用足しに表に出て気付いた。暗い。まだ6時くらいかと思っていたらもう7時半くらいだった。学科長の用事と関係無くこういうことに時間を使えるのはいいな。先週までは月曜の晩は学科長会議のことを気にしいしい行動していたが、今日からは気楽に出来る。さっき12時55分のアラームを解除した。嬉しい。今日は呑んでもいいぞ。いや、無茶が過ぎるとよくない。やめようかどうしようか。まあもうちょっと考える。

文献の鬼（って誰も呼んでないか？）のY村さんが昨日付で定年退職だそうだ。メールをいただいた。初めてお会いしたのは30年以上前だな。色々お世話に成った。実家が近所だったということもあり、かわいがっていただいたが、色々失礼も働いた。永年ご苦労様でした。関西大学にいる先輩に去年ちょっとメールを書いたが、定年まで6年半と書いてあった。皆歳をとったな。かく言う小生ももう定年まで10年ない。隣の隣の部屋のO先生が「学科で最年長に成った」言われていてビックリしたが、そうだな。歳はとるのです。仕方ない。年寄りは年寄りで頑張ります。