新しいパソコンを購入

昼過ぎに起きた。若干寝不足気味だが、荷物が届くことに成っているので、止む無し。しばし YouTube を眺めたり、部屋掃除をしたり。荷物は何かというと、ノートパソコン。普段使っているパソコンの液晶が壊れてきたので、酷くなる前に見切りを付けようというわけ。で部屋掃除した理由は、ウィルス対策ソフトを探すため。確か3台にインストール出来る奴を買ったはずなので、探す。が、収拾がつかなくなるだけで、とんと見付からない。で諦めた。そんなこんなしているうちに荷物が届いた。思ったより小さいな。今これを打ってるパソコンはディスプレイがデカくていいのだが、こんどのは小さい字を見る羽目になりそう。まあ仕方ない。

でウィルス対策ソフトを買うためジョーシンへ向かう。途中ちょっと危なかった。まだまだ運転は下手やね。で適当なのを購入して、帰ってきた。その後色々インストール。まずマウスを使えるようにしないといけない。USB の口が多くなさそうなので、初めて Bluetooth 接続のマウスを買った。ちゃんと使えるようになった。で辞書の移し替え。専門用語を変換してくれないとイライラするので、単語は大量に登録している。その後 Maple をインストールして、Acrobat をインストールして、xyzzy をインストールして、CTRL キーと CAPSLOCK キーを入れ替えるなど。今 TeX のインストール中。SSD だけあって速い。Maple なんかすぐ終わった。あ、Mirosoft Office のインストールを忘れてる。事務仕事に必要なので、仕方ない。TeX が済んだらやろう、ってどれくらい掛かるか分からないが。それが済んだら SmatraPDF だな。これは一瞬で終わる。その後関連付けをしないといけない。.tex には TeX works が関連付けられてしまうが、小生 .tex ファイルは xyzzy で編集している。pdf の表示は SmatraPDF でやってる。だから色々関連付けを変えないといけない。まあこれは慣れたもんで。あ、SageMath もインストールしないと。これはこの前苦戦したから、割と覚えてる。ちょっと時間が掛かるので、先に PARI/GP をインストールしよう。SageMath には PARI/GP が含まれているが、別に起動できた方が便利なので、両方入れてる。明日は10時40分から講義で、8時半起きを目指してるから、今日は途中で切り上げよう。明後日は学科長会議が無いので、明日は多少夜更かししても大丈夫。というわけで、明日の晩完成を目指そう。

野球は見てないのかって？今日の Swallows vs. Baystars は雨天中止。昨日勝ったので、開幕カード負け越した後の負け越し無しはまだ続いてる。明日は1試合も無くて、明後日は新潟で Giants と。水曜日は無しで、木曜日は横浜スタジアムで Giants と。最下位を争う Dragons 相手に3連敗した Giants だ。徹底的に叩いてやろう。Baystars の25年ぶりの優勝も見たいが、Giants の球団史上2度目の最下位も見たいぞ。是非。

今日取り上げたいのは Fighters の田中正義（せいぎ、と読ませる）。2016年ドラフト1位で Hawks に入団も、勝ちもセーブも無かった。FA 移籍の近藤の人的保障選手として  Fighters に移籍。プロ入り初セーブを含む4セーブをあげているが、今日は上川畑がサヨナラ打を打ち、目出度くプロ入り初勝利。大器が華を開かせる頃かな。28歳、まだまだ頑張れ。

2日続けての壮絶な打ち合い

昨晩は呑んだ。休みというのはいいものです。で深夜に何やらドラマが始まった。「推しが武道館でライブしたら死ぬ」とかそんなタイトルのドラマ。主人公の女性が推しているアイドルが「まいな」という名前だった。漢字だと「舞菜」。音だけ聞くと政府が推進しているマイナンバーカードの「マイナポイント」を連想してしまうが、この言葉が無かったら可愛い女の子の名前という感じだな。昔伊集院光がラジオで「『歯痒い』という言葉が無かったら、「はがゆい」はアイドルの名前だな」とかそんな趣旨のことを言ったら、流石に伊集院光のファンは馬鹿揃いで、次の日から架空アイドル「はがゆい」のプロフィールが送られて来て、最後はライブまでやることに成ってしまっていた。小生も馬鹿だから、それを聞いてゲラゲラ笑っていた。あ、確か最初は「大島渚」監督がいなかったら、この名前からは可愛い女の子を連想する、という発言だったかな。伊集院光は昔から面白い。因みに小生と同い年。30年以上一線で活躍し続けているのは流石だね。

でグダグダと起きていて、また徹夜。「赤い霊柩車」の最終回をようやく見た。片平なぎさや神田正輝はそんなに歳取った感じはせず、大村崑も最近ライザップのCMに出ていて、体を鍛えているようだから若々しかったが、若林豪の老け方はちょっとびっくりだった。殿山刑事という役を演じているが、一体何歳なのだろう？もう80超えてるのかな？「相棒」でも右京さんは一体何歳に成ったら定年退職するんだ？という感じだが、殿山刑事はもうとっくに定年退職だろう。まあ神田正輝も確か70を超えていた気がする。医学部の先生の役だった筈だが、70歳定年って早稲田くらいしかない気がするが。で早稲田には医学部は無いし。うち？65歳で定年。その後5年再雇用があったり、75まで非常勤が出来たりと、皆さん元気に働いていらっしゃる。

で2時から野球かと思ったら、今日はナイター。祝日なのに何故ナイターなんだろう？まあいいや、ちょっと寝るか、として、7時過ぎまで寝た。で起きたらもう野球は始まっていて、スマホで速報を見たら「4－3」と見えた気がした。濱口は今日もあかんのか？と思ったら、「4－8」だった。が、1－8から四球がらみで失点したらしく、見たらもう上茶谷が投げていた。やっぱり濱口はあかんかったか。でもう1点取られ、「一発出たら同点です」という不穏な実況。幸い追い付かれはしなかった。昨日のことがあるから、何点あっても安心出来ない。が、5、6、7回に2点ずつ取り、8回も1点。もうさすがに大丈夫だろう、と思ったら宮國が1点取られる。解説の五十嵐亮太氏がヒートアップしてくる。が、9回表にまた2点取り、もうさすがに大丈夫でしょう、と思ったが、宮國はフラフラしていて、9回裏に1点取られる。五十嵐が「薄眼で見ると7－6に見えますよ」とわけの分からないことを言っていた。最終スコアは7－17。ヒットは Swallows が10本、Baystars が20本。二日続けて壮絶な打ち合いだった。まあ連敗せずよかった。アナウンサーは石川が勝ち投手のようなことを言っていたが、Yahoo!のページを見ると上茶谷に成ってる。石川が勝てばプロ初勝利なので喜んでいたのだが。まあいいです。また頑張って下さい。

で速報を見ると、Giants は負けていた。で負け投手が三上。去年監督の怒りを買い、シーズン終了後戦力外通告され、Giants と育成契約。が先日支配下登録を勝ち取り、1軍登録もされていた。負け投手だが、まあ支配下に戻ってきたという実感が出来てよかったのでは？という気がする。次は勝ってください。って Giants が勝つのを願いたくはないが。

能登で大地震があったようだ

昨日はブログを書いてとっとと寝ようと思ったんだが、「やすとものいたって真剣です」で祇園の木崎がパントマイムに挑戦、というのをやると言っていて、面白そうなので見た。で12時15分過ぎにダウン。一瞬で落ちた。で今日は12時前に行ったん起きたが、流石に無理だった。でもう一度ダウン。

起きたらもう訳の分からない時間。まず YouTube を見た。鈴木貫太郎氏がどっかの大学の医学部で出題された X³＋9X＋6 を解く問題を解説していた。これは Q 上既約。だから3次方程式の解の公式に頼ることになるが、ちゃんと誘導が付いていたそうだ。誘導は略してたけど。小生の「代数学I」の1回目の講義を聞いてれば解けるね。実数解が1個、虚数解が2個の場合はいいが、3つとも実数解の場合は虚数を用いないと解が書けない、というのを昔の人を大いに悩ませたとか。虚数が市民権を得るきっかけの一つだったらしい。物理の問題が綺麗に書けるというのだけが虚数定着の理由でないことを皆さんに知ってもらいたい。講義では毎年言ってるけど。

で起き上がって野球を途中から。5点リードしている。もうもらったでしょう、と思ったら、エスコバーがソロホームランを打たれ、その後ランナー二人出して、1アウトも取れずに降板。代わった伊勢が2アウトまで持っていくも、3ランホームランを打たれ1点差。うー。9回裏は康晃。ランナーを一人出した後、長岡に2ランホームランを打たれ、サヨナラ負け。信じられん。5点リードを8回、9回で6点取られての負け。両チーム合計で11ホームランとか。記録は1試合12ホームランだそうだ。凄い試合だ。伊勢と康晃が打たれたのは良くないことだが、ソトに1号ホームランが出たそうだ。ソトは2年連続ホームラン王を獲っているが、1回目は4月いっぱい2軍だった。外国人枠の関係だったか怪我だったか、細かいことは覚えてないが。そこから40ホームランを打ったのだ。まだまだやってくれるでしょう。悪いことは忘れて、明日は勝ってください。開幕カードで負け越して以降負け越しが無いそうだ。明日、明後日勝って、記録を伸ばしましょう。まだ9敗。貯金は9もある。頑張って下さい。

能登で大きな地震があったそうだ。震度6強と言ってたな。石川には親戚がいる。と言っても一度も会ったことは無いが。石川は金沢以外の所に行ったことが無い。金沢周辺には同業者が結構いる。無事だといいが。あ、もうNHKニュースの時間だ。見よう。

ニュースを見て書き忘れていたことを一つ思い出した。Dragons vs. Giants は Dragons が1イニング6得点で大逆転勝ち。勝ち投手は福。福は Baystars の三嶋と同様の国指定の難病黄色靱帯骨化症にかかっていた。で三嶋が励ましのメッセージを送っていたそうで、いいことをすると神様はちゃんと見ていて、4日で3勝という途方もないことをやってのけた。えーと、三嶋の話じゃなかった。福は230日ぶりの1軍登板。こういうのは嬉しいね。三嶋も福も引き続き頑張れ。

宮崎のサヨナラホームランで貯金10

昨日は書いた通り呑んできた。着いた時は小生が初めての客だったが、その後何組かお客さんが来て、Uber Eats の配達員も来た。で忙しいから呑んだ量が少ないかというとそんなことはなく、アルバイトの人が小生のグラスが空に成っているのを見るたびに、「ビールいいですか？」と聞いてくるので、結構呑んだ。その後のせられて日本酒も呑んでしまう。他のお客さんとの会話も盛り上がり、相当酔った。日本酒の写真を撮ったが、Facebook に上げるのを忘れてた。前は行くたびに日本酒を呑み、毎回 Facebook に上げていたのだがな。後で上げておこう。

で帰ってきて即ダウンか、と思ったら、いつもの通り寝なくなってしまった。「おはよう朝日です」を見ていたが、内容を全く覚えてない。やはり酔っていたのだろう。二つだけ覚えている。一つは大谷がリアル二刀流で出場、相手チームにヌートバーがいる、という情報。見よう、と決めてチャンネルを NHK BS に合わせる。もう一つは逸ノ城引退という情報。この間幕内優勝したばかりだな。先場所はちょっとおいたをした影響で十両に落ちていたが、十両優勝で幕に戻ってくると発表されたばかり。腰が大層悪いらしい。まだ30歳。大器が華を開き始めたところだと思っていたが、残念。日本国籍を取得しているそうだが、相撲界には残らないと言っていた。どうするんだろう？残りの人生は長いぞ。大きなお世話だが、頑張って下さい。

で野球を見始めた。ヌートバーから三振を奪う上々のスタート。三振をばかばか奪う。5イニング4失点だが、13奪三振。アウト15のうち三振が13。凄過ぎる。で負け投手に成るかと思ったら、9回にエンゼルスが逆転。大谷は勝ち投手には成れなかったが、負けが付かなかった。まあよかった。

で投手大谷が引っ込んだくらいでメールを見たら、某大学の小生とよく似た名前の先生からメールが来ていた。大事な話だったので、真剣に返信内容を考え、ああでもないこうでもないと考え送った。学生思いの熱心な先生だ。見習おう。

野球が終わった後も少し BS を見ていたら、鹿島アントラーズの話題を取り上げた短い番組をやっていた。客の入るスタジアムが無い、東京から遠い、ホームタウンの人口が少ない、ということでまあ J リーグ参加は無理だろう、と言われていたそうだが、4年掛かると言われていたスタジアムを13か月で作り、ジーコを入団させチームを改革、J リーグ初年度は前期優勝。凄い話だ。スポーツニュースでジーコに抱き付くあの河童禿は何者？とアルシンドが時の人に成ったのを昨日のように覚えている。もう30年経つのだな。アルシンドはヴェルディなんかに行かない方がよかったろう。晩節を汚したな。

で寝ようかと思ったんだが、寝床でスマホをいじり始めしまう。最近 Twitter を見る時間が増えた。でちょくちょく口を出してるんだが、小生だと認識している人は少ないかも、という気がした。何しろハンドルが「烏賊が鷲」だからね。小生のホームページを見たことがある人やこのブログを見たことがある人は、これが「い加川しい」から来ていることは分かるかもしれないが。そもそも何故「い加川しい」だって？これは昔後輩が研究室のパソコンに「いかがわしいもの」というフォルダーを作っていて、小生もパソコンを買った時にそういうフォルダーを作ろうと思い、パソコンに変換させたら「い加川しい」と変換したのだ。凄過ぎるな、と思い感動して、それから使っている。「烏賊が鷲」はどこかの掲示板に書き込む時に使ってから使い続けている。えーと、あ、Twitter の話。だから「烏賊が鷲（加川）」に変えた。ついでに滋賀にある大学で数学を教えている、とも書いておいた。するとうちの職場の人から「初めまして」とメッセージが届いた。「いえ、全然初めてではないです。数理の加川です」と返事を送っておいた。であっと言う間に1時50分に成っていた。

1時55分から Baystars vs. Carp の試合の放送がある。ということで見始めたが、あっと言う間に2点取られた。これはあかんか？と思ったら眠くなってきた。やはり限界かな。でテレビを付けっ放しで横に成る。桑原がホームランを打った、という声が聞こえた。でまたうつらうつらしていると、大和が同点のタイムリーヒット。で9回裏、というタイミングで起きた。先頭打者は4割バッター宮崎。初球をライト方向に流し打ったら、打球はどんどん伸びてスタンドへ。サヨナラホームラン！凄い。これで何と貯金が10。去年は1年間やって貯金5だった。凄過ぎる。落ちてくる感じがしない。いや、中畑の時も交流戦に首位で突入して、大負けして、最終的には5位だったか最下位だったか。忘れたが。まだ先は長い。引き続き応援しませう。

途中呼び鈴が鳴ったが、祝日に来るとはロクなものではないな。また岡田か？と思って無視した。起きて確認したら、宅配だった。荷物が届いている。後で見てくる。

でちょっとジョーシン電機に行きたかったので、6時過ぎに車で行く。今日の京都市中心部は観光客で凄かったようだが、山科は平和だ。渋滞してない、と思って1号線から名神に入る口を見たら、車がずらーっと並んでいる。やっぱり混んでるんだな。でジョーシンからは左折で出て、東野の交差点を右折する関係で右レーンに入りたいんだが、いつも緊張する。で閃いた。小野の「魁力屋」に行こう、と。これなら右レーンに入らなくて済む。で東野を左折して、外環状線を小野まで。混んでるな。外で待ってる人もいた。名前を書くようになっていたので、書くと、「お客様何名様ですか？」と聞かれ、「一人です」と答えたら、一人ならカウンターですぐ食べられる、とのこと。まあ待ってもいいように「義経」は持っていったが。そんなに待つことなく拉麺が来た。旨い。北白川に本店があるそうだが、北白川で人気なら間違いない。また行こう。

で帰ってきて、今「認知度調査ショー」だかそんなタイトルの番組をやってる。80代に聞いたスポーツ名場面、というのの6位が Giants 9連覇。あの頃は強かったよね。9連覇の最後の年が小生小学校に入った年だから、殆ど覚えてないが。まあある程度の歳の人に Giants ファンが多いのは仕方ない。でその人達のために Giants 戦を中継していて、若い人でも Giants ファンがある程度多いのは仕方ない。が、野球以外にスポーツ娯楽が増え、地上波で殆ど野球中継が無くなって、Giants 以外のファンは増えたろう。大谷の活躍もあるので、日本の野球を見ないで MLB ばかりという人もいると思うが。3位だったか、王貞治のホームラン世界記録。これは小生もよく覚えている。で1位はこの前の WBC。最近のことだからだろうと思ったら、「日本がアメリカに勝ったのが凄い」と80代ならではの意見だった。昔日本選抜 vs. MLB 選抜みたいなのをオフシーズンによくやっていたが、全く歯が立たなかった。 Hawks の柳田（やなぎた）がバカバカ打って、アメリカに圧勝した時は小生も嬉しかったのを覚えている。柳田は怪我さえなければメジャーで大活躍していたろう。もうメジャーに挑戦する歳ではないな。残念だが。

「認知度調査ショー」に早見優が出てる。車を乗り換える時に探していた早見優の CD を見付けたので、新車ではずっと彼女の CD を聞いてる。小生彼女がブリブリアイドルをやっている頃の曲より、アイドル全盛期を過ぎてあまり売れなくなった頃に出した CD が好き。得意の英語を活かして、ロックだったりユーロビートだったりに乗せて歌うのは中々格好いい。大学生の時に彼女が横浜駅の近くだったと思うが、お年玉付き年賀状の抽選をやって、その後ライブをやる、というのを聞きつけて見に行った。客席の殆どの人が彼女のライブが目当てだったようで、盛り上がった。懐かしい。でこの間 Facebook を見ていたら、昔は有名人を主人公にした漫画が結構あったようで、早見優とか堀ちえみとか松本伊代とかの漫画の一部が紹介されていた。確か堀ちえみは本名（「ちえみ」が漢字だが）、松本伊代も本名だが、早見優は当然芸名。昔の話を載せるのに芸名を使うのは無理があるのでは？と思って見たら、思いっ切り「かずみ」と本名が書いてあった。こういうプライバシー丸出しのものが出版される時代だったね。

さて、今まで読んだ方はお分かりの通り、殆ど寝てない。今日は寝よう。でまた明日徹夜するか、って何だかよくわからない生活をしているが。普通なら金曜日は講義とゼミがあるが、流石に明日は無い。たっぷり寝てやる。

サイヤング賞投手バウアー、初登板を白星で飾る

昨晩は早く寝るようなことを書いたが、やはり遅くまで起きていた。次の日用事が無いと寝るのが勿体ない。休息はちゃんととらないといかんのだがな。

で起きたらもう野球は途中。0－1という状態。今日の先発はサイヤング賞投手のバウアーだが、2回にソロホームランを打たれたようだ。が、4回裏に桑原の内野安打で同点。5回裏は勝負強い楠本にタイムリーが出て勝ち越し、6回裏は関根にタイムリー、佐野が押し出し四球を選んで2点。4－1。結局バウアーは7回1失点で勝ち投手に。デビュー戦としては上々か。小生が見始めた後はカーブとスライダーしか放ってなかったように見えるが、サイヤング賞投手ってあんなもんなのかな？ソローホームランを打たれたと書いたが、その球は速球だったようだ。速球を痛打されたから変化球中心にした、ということかもしれないが。まあ連敗せんでよかったわい。

2位 Tigers は Dragons に1イニング6点のビッグイニングを与えてしまっていた。当然 Dragons が勝ったのだろう、と思って今見たら、何と Tigers がサヨナラ勝ちとか。8×－7。うーん、ゲーム差離せないな。まあ Tigers が弱いと関西は暗いので、ほどほどに勝ってくれるのはいいが。Buffaloes も勝ったようだし、明日の関西の朝の番組は楽しげな雰囲気でしょう。

さて、ゴールデンウィークである。日曜まで何もすることが無い。取り敢えず今晩は呑む。約束したからね。ということで行ってきます。

康晃が満塁ホームランを打たれ、連勝ストップ

昨日はブログを書いてすぐ寝ようと思ったんだが、また夜更かししてしまった。ちょっとつまらん線形代数の問題が分からなくなった。何かというと、行列 A とベクトル c を与えた時、連立一次方程式 Ax＝c の解の全体がベクトル空間を成す ⇔ c＝0、ということの ⇒ が示せず焦った。c≠0 なら解を二つ取って、A(x＋y)＝Ax＋Ay＝2c≠c、というそれだけのことなのが、標数2の場合は怪しい、等として隘路にはまった。標数2でも 2c≠c ですね。何だ。まあ代替案として、ベクトル空間なら 0 を含むから、c＝A0＝0 でもいいか、と。で寝ようと思ったら、YouTube で難しそうな定積分が話題に成っていて、SageMath に答えさせよう、と思ったら答えてくれない。未だに答えは出ていない。で業を煮やして Maple にやらせたら、やはり考え込む。数分経ったら答えが返ってきたが、何やら atan と atanh だけでなく、楕円関数の特殊値を含んだおぞましい答え。手近の関数電卓に数値を求めさせたら、こちらも少し掛かって、0.5707962268… と見覚えのある答えが。で観念して解説を見ると、こんな置換積分誰が思い付くんだ？というようなことをしていて、答えは π/2－1。成程、0.57 なんぼだな。ふーん、とかしてて遅くなった。ゼミで興奮したりつまらんことを考えたりで、中々眠くならず、徹夜しちまうか？と覚悟を決めたら眠くなってきた。まあそんなもんだ。

で目が覚めてデジタル時計を見ると「105」と見えた気がした。1時5分？学科長会議遅刻だ！と焦って起きて、事務長からのメールを開いて、Zoom の URL をクリックしても参加させてくれる様子が無い。そもそも「遅刻したようだがどうした？」というメールも届いてない。パソコンの時刻を見ると「7：10」の表示。何だ7時か。さっき見たのは「705」だったか。阿呆や。もう一度寝る。

で何時に目覚ましを仕掛けたが覚えてないが、何度か起こされた。で最終的に12時55分の目覚ましで起きた。間に合う。でちゃんと学科長会議に参加。1件集約依頼があったが、明日は祝日なのでもちろん会議無し。来週やるかどうかちょっと考える。来週は学科長会議が無いので、やるとしたら今日の件と先週の件を決める会議に成るが、やるほどのことも無いかという気もする。後で同僚にメールを書いて、様子をうかがおう。

で変な時間に起きたせいで眠い。もう一度横に成る。で目が覚めたらもう教授会が始まってる時間。やば、と思って急いで Zoom の URL を突くも、招待してくれる感じが無い。もう教授会は終わってしまったか？去年は随分教授会をサボってしまった。今年はちゃんとしよう、と思っていたんだが、早くもダメか。まあいいです。

6時から野球。今日から横浜スタジアムで Carp と。1回裏に1アウト満塁のチャンスを作るも、桑原がダブルプレーで無得点。すぐの2回表に坂倉が犠牲フライを打ち、Carp が先制。6回裏に関根がタイムリーヒットを打ち同点。7連勝しているし、横浜スタジアムでは9連勝。期待は高まる。が、12残塁とチャンスをつぶし、9回表に康晃が秋山に勝ち越し打を打たれ、挙句に坂倉に満塁ホームランが出る。うーん。まあいいです。こんなこともあります。今日負けてもまだ勝率は .667。優勝チームの勝率は大抵6割未満。いいですいいです。明日の先発投手はサイヤング賞投手のバウアー。期待しちゃいますね。テレビ神奈川でも放送があるそうだ。バウアーが2軍の本拠地、横須賀・追浜で放る時は、2軍の試合にも関わらず満員大入りだったようだ。バウアーが引っ込んだらかなりの数の客が帰ったらしいが。明日はどうなるでしょうね。楽しみだ。明日はちゃんと見よう。

今日はジョーシンに行くつもりなのを忘れていた。振り込まないといけないものもある。明日に野球はデーゲームだし、終わったら行こう。夜は呑みに行く約束をしている。今日はちゃんと寝よう。

「線形代数学」に3分遅刻

やはり寝不足は堪える。8時半のアラームを完全スルー。9時台に何度か目が覚めたが、寝続ける。9時22分という時間を見た記憶が微かにある。今起きればシャワーを浴びられる、と思ったが落ちてしまい、最終的に起きたのは10時ちょい。まず！急いで出掛ける。3分遅刻。まあこれくらいならいいでしょう。

10時43分に「線形代数学」開始。今日はベクトル空間を定義して、線形写像を定義して、次元を定義して、と1回生の頃にやっているであろうことの復習。が、1回生の時のテキストには「同型」という言葉が出てこない。なので定義。幾つか同型写像の例を与える。単射と全射、全単射の定義はしなかった。そこまで面倒見切れません。「写像が単射とか全射とか、息をするように示せないとダメ」と言っておく。来週は同型であることと次元が等しいことが同値なことを示したり、部分空間をやったり、という予定。かなりの数の学生が沈没していると思えるが、それでも2回生は真面目で、多数の出席者がいた。ゴールデンウィークなのに。3回生は来週は受講者のさらなる減少が予想される。まあいいけど。

今日の昼飯は松のやで。ロースかつと海老フライの定食。この前よりすいてた。ゴールデンウィークだからだろうか？

1時ちょいに大学に戻った。生協で Bluetooth のマウスを買おうと思ったが、売ってなかった。明日ジョーシン電機に行くことにして、すごすごと引き上げる。個研室で講義ノートを多少修正して、web ページに upload して、演習問題を考える。ベクトル空間でない例、って出てない本が多いので、幾つか挙げておく。例えば Z は Q ベクトル空間でないとか。Q は R ベクトル空間でないとか。閉じている、というのが一番大事である、ということを思い知らせる例。来週部分空間をやるので、部分空間でない例を来週の演習問題にする予定。夕刻エレベーター前で傘を持っている学生を見掛けた。「降ってるの？」と聞いたら「はい」という返事。午前中はカンカン照りで暑かったが。事務の人と会ったが、雨に降られたようで、濡れていた。

4時20分からゼミ。今日も色々怪しい。言葉の定義が分からないで証明を理解できるわけはないのだが、そういう予習の仕方をしてくる。何故こういうウルトラCが出来るのか、皆目わからん。今日も声を張り上げてしまった。3時間で1頁ちょい。まあいいけど。同値関係の例として数の合同を知っているか、とか、剰余環の例として Z/mZ をちゃんと理解しているか、というのが代数体の整数論をやる時も大事。そもそも小生は学部の時はこの2つくらいしか理解していなかったと言っても過言ではない。体の拡大とか、代数体の整数環の剰余環とか、代数多様体の座標環とか、そんなのはちゃんと分かっていたかどうかは怪しい。が、少ない具体例でもちゃんといじったので、すぐ対応できたが。抽象論だけで理解が出来る程頭は良くないんでね。圏とか大好きでいじっている人の気が知れない。

その後たまっている領収書を処理して、メールを読んだり返事を書いたり。知り合いが整数論メーリングリストに公募情報を流していた。あの人も人事主査をやるような歳に成ったか。もう50近いのかな？でちょっと状況を聞こうとメールを書く。参考にさせてもらった。9時くらいに職場を後にする。

雨は上がっていて、うすら寒かった。スマホを見ると気温は12度。日較差が大きい。風邪をひかないようにしないと。で暑くないので晩飯は拉麺にすることにした。膳所に新しいラーメン屋が出来たようなので。こってりとしていて、背脂多めにしたから、いかにも体に悪そう。で高い。まあ1回行ったからいいや。またそのうち。最近山科をあまり探検していないが、新しい店が幾つか出来たようだし、ゴールデンウィークのうちに調べておこう。明日は小野の「魁力屋」に行ってみよう。

さて、明日も学科長会議がある。月曜日はつい夜更かししてしまう。ゼミで興奮するので中々寝付けないのも理由の一つだが。学科長会議で終わりなら徹夜してもいいんだが、明日は教授会もある。水曜日は呑みに行くと約束してしまったので、明日はちゃんとしておかないと。来週は学科長会議が無いようだ。来週の月曜日は夜更かししよう。呑み屋に聞いたら来週の月曜は休みらしい。まあいいや、家呑みだ。