水曜夜から木曜に掛けてはどうも夜更かししていかんな。今朝も明るく成ってから寝た。何をしていたかと言うと、Tikz と戯れたり TeX の nicematrix パッケージで遊んだり。前者は去年描いた絵に一箇所気に食わない所があったので、そこをどうにか出来ないかと。「Tikz による LaTex グラフィックス」という本が朝倉書店から出ていて、ちょっと高いんだが、時々生協が特定の出版社の本をいつもの10％引きよりさらに勉強してくれて15％オフフェアをやってくれるんだが、その時買った。一緒に志賀浩二先生の30講シリーズをまとめて購入したり。で買ったけど全然開いてなかったんだが、見てみようと思って見たら、疑問は即座に解決。望みの絵が書けた。嬉しい。で後者は3次行列式の計算方法（サラスの方法というやつ）を書きたくて。大抵の本に出ている線をグニャグニャ曲げてる奴は上手く計算出来なくて嫌で、ダミーに左右に同じものを書いて線を引っ張るのもどこを線引くか分からなくて嫌だったが、前に線形代数の講義を担当した同僚が使っていた本（吉本武史、山崎丈明「線形代数学 －理論・技法・応用－」学術図書出版社）にいいのが出てた。求めたい行列式の右に第1列と第2列を書き足して、3本線を引くことが可能な所だけ引けばいいというもの。これだと間違えなくてよい。で去年の講義の時は黒板には書いたが、講義資料に書けなくて、ちょっと残念だったのだが、来週行列式を講義でやるので、頑張ってやってみようと思って張り切った次第。nicematrix を解説してる pdf ファイルを読み読みああでもないこうでもないと数時間。満足いくものが出来上がった。嬉しい。こういうのは時間がある時にやっておかないと。今年は今の所は割と余裕があるので、もっと色々やっておこう。
で結構変な時間まで起きてて、それから寝たが、起きたら3時半過ぎ。む。木曜日は4時40分からのゼミだけという変なスケジュールなので、大丈夫なんだが。ただ、ゆっくり食事をする時間が無いな、ということでウェストウィングの1階の自販機でパン1個とコーヒーを買って、食べてからゼミ。今日は体上の多項式環が P.I.D. なのをまず示して、それから互いに素が何だとか拡張ユークリッドの互除法とか。その後 U.F.D. であることを証明するなど、よく知った話が続いていた。まあ大体分かってるし、ちょっと気をそらしても突っ込むことくらいは出来るので、ちょっと内職で演習問題を解いたりしてた。前から気に成ってた問題が1題解けた。分かってしまえば当たり前なこと。純然たる Z の問題だが、やはり代数体で考えるとうまくいくことがある。今回のはガウスの数体程度だが。デデキント ζ 関数を使うともっといい結果が出るのは知ってるが。まあよかった。ゼミは数箇所茶々を入れれば済み程度だった。まあまだ易しいから。来週は ABC が何だとかそういう話だから、ちょっと引っ掛かるかもしれない。ちゃんと理論武装しておこう。2時間弱で終了。まあ二人の学生が毎週喋ってるので、これくらいの時間で済むのは仕方ない。段々難しく成ってくるので、時間が掛かるように成ってくるだろう。
数学の内職はしてても、流石に野球の経過を見るのは気が引けたので、ゼミ終了後個研室で見るまでは見なかった。で見ると2－0でリード。おっ！1回に2点取ってた。ちょっと代数の講義のことを考えたりとゴソゴソやりながら、時々野球。6回に三森がタイムリーヒットを打ち追加点。よしよし。暫くしてもう一回見ると、すぐ後に桑原がタイムリー内野安打を打って4－0。よしよし。でまた暫くして見るともう9回。先発の石田裕太郎が投げ続けてる。完封させるのか？と思って見てると、完封勝ちした。僅か107球。凄い。去年はどん底状態の Lions が相手とはいえマダックスをやってる石田だ。これくらの力はあろう。昨日点の取り合いになるだろうというようなことを書いたが、石田が見事に期待を裏切ってくれた。素晴らしい。試合終了時には8時10分にも成ってなかった。試合開始が5時半とはいえ、早かったな。
8時半くらいに職場を後にして、すき家でカレーを食べて、9時45分過ぎに帰宅。NHK のニュースのスポーツコーナーを見てびっくり。石田は1安打しか打たれていないらしい。見ると、四球1、安打1の二人しか出塁を許さず、29人で打ち取ったようだ。凄い。早く終わるわけだ。昨日は2桁安打打ってる Dragons 打線を沈黙させた。改めて凄い。ルーキーだった去年はいい出足だったが、失速して4勝止まり、日本シリーズ制覇の歓喜の輪に加われず悔しかったらしい。今年は去年の倍以上の勝ち星を稼いで、「横浜奪首」に大いに貢献しておくれ。で「報道ステーション」でもう一回石田の快投を見たかったが、眠くて起きていられなかった。やはり不摂生が続くとよくないな。明日は講義とゼミだから、今日はちゃんと寝ないと。大の里が勝ったのはさっきスマホをうっかり見たら出ていたので、知ってしまった。まあダイジェストは録画しておくが。他の取り組みも気に成るし。
明日からは0.5ゲーム上にいる Carp とマツダスタジアムで3連戦。勝ち越しは必須。頑張ってもらおう。広島は暑いだろうな。ジャクソンだ。大丈夫だろう。
