昨日書いた通り、今日は祝日だが平常営業。11時半くらいに起きて、シャワーを浴びてから職場へ向かう。祝日のいい所は、高速道路がいつもより140円も安くなること。ETC だけなんだろうか？知らんけど。駐車場も空いてて、出口近くに停められる。もしかするとウェストウィングの近くの駐車スペースが空いてるかもしれないが、まあそれに賭けるよりは手頃な位置に停められればいいということで。
1時から大学院生とゼミ。まず2次体のイデアルの話の残り。色々分からない所があったようだが、前は分からない所を分かったフリしてやってたが、最近は正直に分からなかったと言うようになった。説明してあげれば分かるので、まあいいでしょう。途中で選手交代。こっちは大分怪しい。脚注に書いてあることをやらないで済まそうとしたので突っ込むと、読んできてもいない模様。そこを読まずに分かってたり、自分で埋められてこられればいいが、そんなことはなく、立往生。いや、本も良くない。単項イデアル (a) のノルムを N(a) と書いて、元 a のノルムを Na と書いたり。N(a) と書いてることもある。面倒でも NK(a) と NK/Q(a) は書き分けて欲しい。まあ読むほうもちゃんと読んでたら疑問に思う筈。まだ書いてあることを読んでるだけ。M2 のこの時期にそれでは何とも心許ない。どうにかして欲しい所。で、今週の土曜日は月曜の講義をする日に成ってるけど、土曜日にやるのと、授業期間を終わってるが来週の月曜やるのとどっちがいい？と聞いたら月曜の方がいいという意見。ということで来週の月曜も職場へ。火曜日までに事務に提出するものがあるが、月曜に済ませてしまえば火曜日は行かなくてよくなる。よかった。
その後個研室で Maple をいじって遊ぶ。線形代数をやる時は with(LinearAlgebra) としてから始めるが、前に Student[LinearAlgebra] というのの存在を知ったので試してみる。Student じゃない方に入ってる命令で入ってないものがあって、意味無いか、と思ったら、凄いものを発見。行列の簡約化を1ステップずつやる方法があった。他にも色々あってよい。で SageMath と両方起動させて答え合わせしたり。Maple まだまだ知らないこと多いな。色々見せたら90分くらいすぐ経ちそうだが、一応少しだけ理論も教えるつもりなので、まあ1時間くらいかな。
今日の野球は5時45分から。Carp 相手に横浜スタジアムで。Carp の先発はアドゥワ誠。2勝を献上しているし、Baystars の先発は不安定感一杯の濱口なので、ちょっと嫌な予感。案の定1回表に2番バッターを四球で歩かせてしまう。この前は結構な援護をもらいながらも、4回まで100球を超える球数で交代させられてしまっていた。今日もか？と思ったが、その後2者連続三振。いい感じかな？で1回裏に梶原ヒット、度会ヒット、佐野タイムリー2ベースと、3人で1点先制。牧が四球を選らんで、宮崎犠牲フライでもう1点。が、ノーアウト満塁から2点しか取れなかったので、まだ心配。濱口は2回にも一人歩かせるも、大丈夫。2回裏に1アウト満塁のチャンスを作り、佐野が犠牲フライで1点追加。3回裏は森敬斗のタイムリー2ベースで4点目。4回表に濱口はノーアウト1、2塁のピンチを作るも、空振り三振、ショートライナーで走者が飛び出していてダブルプレーと、今日はツキがありそう。4回裏に牧が2ランホームランで6－0。アドゥワを4回で引っ込めたった。その後 Baystars は得点を挙げられずも、濱口は森敬斗の悪送球の間の1失点だけで、何と完投勝利。課題の四死球は合わせて3個と、上出来。いつもこういう投球をしてくれるといいが。で昼 Giants が Tigers に負けていたので、これでまたしてもゲーム差無しに。明日にでも奪首といきたいですな。
アドゥワはちょっとかわいそうな投手で、Carp が少し前に3連覇した時に中継ぎで結構活躍した。が、19歳だったためにビールかけに参加出来ず。二十歳を過ぎたと思ったら、今度は Carp が低迷。今調べたら、2020年から2022年は1軍登板無し。クビに成ったか？と気に掛けてはいたが、去年投げているのを見て、正直ほっとした。今年は先発で5勝と、復活している。アドゥワにビールかけをさせたいとは思うが、やはり Baystars が優勝した方が嬉しいので、今年は諦めてください。
試験監督の割り当てはどう成ってる？と気に成ってさっき調べたが、どうやら小生の担当科目以外の監督はしないで済むようだ。よかった。うちに加古川先生という方がいるが、名前があって、一瞬ドキッとした。昔は「加川」はパソコンの辞書に登録されておらず、一回「加古川」と打って「古」を消してから単語登録していた。後輩の古本君は、「ふるほん」と打って出す方が早いと言ってたな。何年か前に東京に出張で行った時、酒の席で珍しい苗字の人数名と席が近くに成り、皆まずパソコンを買ったら自分の姓を単語登録すると言ってた。小生の苗字は今は最初から入ってる。「貴章」も昔は入ってなかったが、今は最初から入ってる。何回か学習させれば、後は気持ちよく使える。まあ専門用語はジャカスカ登録しないとストレスがたまるので、未登録の単語はどんどん登録するが。うちの部屋の「基礎数理第2」を入力する時に「奇素数理第二」と成ってしまうのは仕方ない。ちゃんと「基礎」と「数理」を分ければいいだけのこと。「奇素数」の方が圧倒的に使うんでね。「代数的兵隊」とか「湯煮たり行列」とか出るともう凄い不機嫌。ジャカスカ登録しましょ。
