今日は平日である（きっぱり）

今日も火曜日平日。10時40分からの講義に間に合わせるため9時起き。で9時50分くらいに住処を出た。が、世間は平日ではないためか、高速道路は渋滞。「京都東－草津JCT 渋滞10km」の表示。案外こういうのはこけおどしで、そんなに混んでいないんだ、と思って名神に乗ってしまったが、これが大失敗。確かに渋滞している。途中70km/hくらいが出て、「何だやっぱり」と思ったら1分後には20km/hに。うーむ、これはかなわん、というわけで、「瀬田西」で一般道に下りる。しばらくすると途中から名神と一般道が併走する区間があるんだが、そこで見るとやはり名神は渋滞している。「草津JCT」から新名神方面がまた渋滞している。やっぱり名神を見捨てて正解だった。

で講義室には3分遅れで到着。この程度で済んでよかった。で講義開始。どうも車を運転しているときに気がせっていたせいか、講義のスピードが速過ぎる。適宜 pause を置いて、学生が追い付いてくるのを待つ。一旦電話があったが、無視していた。しかし pause の間にスマホをいじってたら、うっかり折り返しで電話を掛けてしまって、仕方ないので電話に出る。学生がまだ追い付いてきていないようなので、しばし。保険会社の人だった。「お休みのところ申し訳ありません」と。「今講義中ですが」と帰したら「あ、すみません」と。立命担当の人が立命の休日事情をご存じないようではいかんぞ、と思いつつ電話を切って講義の続き。今日は早目に終わらせようかと思っていたんだが、剰余環と自然準同型写像を定義して終わらせないとキリが悪い。ということで時間一杯やってきた。

昼飯はどうしよう？と。と言うのは、今日はもしかすると教職員食堂がやってないかもしれない、学生と共用の食堂はきっと大混雑すると思って、売店でサンドイッチを買って、と思ったら、売店も大混雑。支払いするのに10分掛った。まあ何とか成った。

1時から卒研その1。今日は2次のガウス和の符号決定問題など。p が素数の時の p 分多項式が Q 上既約であることの証明が、知っているものと違っていた。Eisenstein の既約性判定を用いる証明が大抵のテキストに載っていて、小生の講義でもそれでやってるんだが、面白かった。ガウス和の符号決定も、今まで見たのとは違っていて、勉強に成った。

終了後野球の経過を見たら、凄い試合。7－0から逆転して7－8に。こんな試合は勝たないといかんぞ、と思ったら追いつかれてひっくり返された。9－8で負け。うーん、やはり下位にいるチームだな。当分浮上の目は無いか。まあ明日からも精一杯応援しませう。

どこでも言っているのでいまさらどうでもいいか、と思ったんだがやっぱり。「平成」は今日で終わり。最後の日は休日返上で「代数学I」をやって、卒研1をやって、Baystars が Swallows に負けた日と記録しておこう。「令和」初日は Baystars が勝ってほしい。講義はやらない。ゼミもやらない。これから日の変わる頃までは呑んでるでしょう。どこで呑むかまだ決めていないが、賑やかな所で呑むか静かに呑める所がいいか。まあいいや、もうちょっと考えよう。とりあえず風呂でも入るかな。いつもは朝風呂なんだが、清らかな姿で新時代を迎えるためにいいでしょう。じゃ、また来年（笑）。

Baystars 勝ったどー！

何度も書いているが、今日は月曜・平日である。ということで、「数理科学特論2」を講義に行って来た。10時に目覚ましが鳴るんだが、しかとして寝続けて、12時34分56秒を時計で確認した後起床。1時40分過ぎに住処を発つ。途中渋滞の表示があって、「うぎゃ！」となったんだが、大した渋滞ではなかった。講義の資料を印刷してから講義室へ。やはりいつもより少ない。まあキリのいい所までやって、早目に終わろう、ということで講義開始。数列 {a_n} がコーシー列であることと lim(a_n＋1－a_n)＝0 が同値とか、Σa_n が収束することと lim a_n＝0 が同値とかとかやって、p 進展開が出来るとか、p 進整数は0番目から始まるなどやって、初回にやった p 進数へのラフなintroduction がちゃんと数学的に確立できることを証明して、それで講義終わり。で時間を見ると、講義終了15分前。結構やったな。肩が痛い。明日は午前中だから、もうすぐ寝る。

講義は2時40分から。Baystars vs. Giants が始まったのが2時。講義中経過が気に成ってしょうがなかったので、何度かスマホを見る。え、「学生相手にはしまえと言っているのに、講義中に使うとはけしからんぞ」って？いえいえ、小生は鳴らないようにせよ、といっているだけで、しまえとは言っていない。それに小生の講義は速いから、学生が追い付いてくるのを待ってしばしば pause する。その pause の時間だけ見ていたのだ。だから大したこと無いのだ。最初見た時は1－0で勝っていたんだが、次に見たときは1－3と、コリャ11連敗か？講義終了後に見た時は2－3。いけるぞと思ってさくっと帰ってテレビだ、と思ったら「草津JCT－京都東 渋滞10km」の表示。仕方ないので下道で帰る。で住処着までは何度か信号ブレークが入るが、そこで携帯電話を見て情勢を気にしながら、運転中は決して見ることは無く山科区内に到着。最初がいきなり信号だから、そこで見ると、何と5－3で勝っているではないか！おし、試合終了のシーンくらいは何としても見てやる！ということで急いでもしょうがない。渋滞だからね。で帰宅して即テレビ。目出度く勝利した。これで10連敗でストップ。半月ぶりの勝ち星とか。いやー、長かったわ。もう何もやる気がわかず、土曜日にいたっては激呑みに出る気力すら失っていた。（その晩は家呑みはしたが。）よかった。これで明日は元気にやれそうだ。明日も勝てよ、Baystars！

講義の前の日は呑まない、の大原則を守るため、祝杯はあげなかった。水曜日は堂々と休めるので、明日は激呑みだ！元号の変わり目を呑みながら過ごすというのは珍しい経験だ。明日は呑みます。今日は今日登録の石川雄洋が決勝の2ランホームランを打った。明日も活躍頼みますよー、雄洋。そして楽しい気分で激呑みさせてください。

10連敗 ;_;

また負けた。10連敗。まあ12連敗した年があったわけだから、まだまだ未知の領域ではない。どうせなら Marines の18連敗を更新してまえ、と若干自棄気味。ソトは珍しく2ランを打ったが、宮崎の復調の兆しが見えない。明日は講義が4時10分までなので、野球を見られるのは途中から。自棄気味ではあるが、明日も全力で応援する。

Carp の連勝は8で止まった。今日の vs. Swallows は、Swallows がソロホームラン4発、Carp が2ランホームラン1発と、ホームランの打ち合いで 4－2 で Swallows の勝利。1発はいいタイミングで出ると、たとえソロホームランでも、非常に効果的だ。Baystars の1発はあまり効果的でない。今日も 7－0 と負けているの場面での2ランだった。明日も1発でしか点は取れないかもしれないが、Swllows のソロ4発のように効果的な1発を望む。もちろんタイムリーヒットでの点も欲しいが。Giants 相手に3タテは許されない。明日こそは勝てよ。

Carp 5割復帰

今日も負けた。が、最終回に意地は見せた。ソトがソロホームランでないホームランを打って、宮崎が復調してくれれば。明日以降も必死に応援するべし。

Carp がついに5割。珍しく Swallows vs. Carp を観戦したんだが、Carp 強いぞ。Giants を捕らえる日も近い。

野球の無い平和な1日

昨日は早目に寝た。「不貞寝」という奴。スポーツニュースで菅野（Giants）が3者連続ホームランを打たれたのを見たから、割合すっと寝られた。

で今朝はというと、1度起きたがまだ眠いので、また寝て、最終的に起きたのは昼過ぎ。うーん、よく寝られる。年を取ると長い時間寝られなくなるとしたもんだが、まだ若いのかな。

その後はというと、勉強もせずテレビの前に貼り付いていた。よく知らないドラマを途中から見たが、何とラーメン屋の店員がテレビ朝日の弘中綾香アナではないか。いや、見間違えかも、と思ってドラマを最後まで見て、出演者の名前を見たらやっぱりいた。うーむ、細かい副業をしとるね。売れっ子のはずだからそんなことせんでも十分稼いでるだろうに。「激レアさんを連れてきた。」だけでは物足りないか。今時の若いもんはブツブツ。とこういう風にぼやくあたらいはもう若くないんだろうか？

で今日は野球が無いので、平和に過ごした。7時からは「ドラえもん」を見た。やっぱり面白い。で9時くらいからはパソコンの前で講義ノートの直しなど。色々ミスが見付かった。去年だったか入試で 0 と ∞ を間違えるという事件があったが、小生の講義ノートにも同じミスがあった。\lim_{n\to\infty} は \lim_{n\to0} とつい書き間違えるな。気をつけよう。

明日から世間は10連休だそうだが、うちの大学には関係の無い話だ。一昨日書いた通り、月、火と講義。月曜日は整数論を専門としない院生相手の講義。火曜日は10時40分開始。両日とも来る学生は少ないことが想像される。普通にやる積もりですが何か？何と言っても「平日」だからね。

8連敗 ;_;

昨日は「テンパブ」1周年ということで、お祝いがてら呑みに行ってきた。皆考えることは一緒で、大繁盛。最初は席が無く立ち呑みだった。いい感じで流行ってるようで何よりです、はい。で相当呑んできたが、日本酒を呑まなかったお陰か、記憶は最後まであった。

で今日は遅くまで寝ていた。起きたら野球。初回にいきなり2点取られたが、その後筒香、ソト、伊藤光のソロホームラン3発で3－2と逆転。で9回は康晃が出てきて、これは連敗は止まったろう、と思ったら、まさかまさかの逆転3ランを打たれた。で9回の裏も割合さくっと打ち取られて、ついに連敗は8。これでついに単独最下位。うーん。まあまだ取り返すチャンスはある。とは言え、やっぱり単独最下位は気分がよろしくない。まあ大丈夫、明日は負けない。何故なら試合が無いからね。まあ冗談はともかく、明後日から10連戦。まさかそれ全部負けることは無いだろうから、気持ちを入れなおしていきましょう。信じるしかないです、はい。

7連敗 ;_;

昨日は「相席食堂」が終わるまで起きていた。というわけで寝たのは12時半くらい。で今朝はというと、眠りが浅かったようで、起きてもフラフラしていた。でも最終的には11時くらいには起きて、ちゃんと12時50分頃に個研室に着いた。今日からゼミに加わる学生が待っていたので、テキストを渡し、ゼミをやる部屋に連れて行く。

でちゃんと時間通りにゼミを始めた。今日の内容は p 進加法付値と、それを使って有理数である代数的整数は有理整数であることを示したり、互いに素な平方数の積が平方数ならそれぞれが元から平方数とか示して、それを使って不定方程式を解くなど。付値を使うと議論がすっきりしてよい。そうでないと何となくピンボケな感じに成ってしまう。2次体の整数環を決定する辺りも付値を使ったほうがよい。ということで後への布石を打っておいて、2時間ほどで終了。

今日は会議が無かったが、何やら職場のパソコンにウィルスが潜入したらしく、ウィルス対策ソフトが動き出して、「残り1時間半」の表示。「ぎゃ！」ということで終わるまで待つ。部屋掃除などしながら。ウィルス対策が予定より早く終わったので、4時半頃に職場を立つ。

今日も渋滞に巻き込まれ、燃費は脅威の 34.3km/L を叩き出したのだが、もうベスト3に入らない。35km/L を出さないと無理だな。

で野球を観戦。相変わらず打てない。3－1 で負け、7連敗。うーむ、深刻だな。「今年は優勝もある」みたいなことを解説者陣が言うから、期待が大きかっただけに落胆も大きい。まあまだシーズンが終わったわけじゃないし、明日からも応援しましょう。大型連休前には連敗を止めてくれ。

で大型連休のスケジュールはというと、4月29日は通常の月曜の講義、4月30日は通常の火曜の講義をやれ、というお達し。ということで29、30の両日は野球を見られそうもない。5月1日は休みにしてくれるようだ。ただどっかの土曜日で水曜日の代わりをやれとのこと。相変わらずえげつないね。まあいいや。来週も目一杯数学を楽しんでこよう。

あー、6連敗

昨日は早寝するようなことを書いたが、結局1時過ぎまで起きていた。今朝は8時半の目覚ましをスルーして、9時の目覚ましで起きた。まあ十分寝たかな、という感じ。ということで、講義に間に合うよう住処を出発。ちゃんと講義の始まる前に職場に着いた。

で火曜日は「代数学I」。今日は「体は整域」とか、「準同型写像」がどうしたとか、「イデアル」とか。「剰余環」は来週。

昼食後は卒研ゼミその1。が、1時過ぎに成っても学生が来ず、暫くしたらメイルが。「30分ほど遅れます」とのこと。うむ、まだ1度も時間通り始めてないぞ。まあ先週はこっちのせいだったわけだが。来週は時間通り始められるとよいが。で今日は「平方剰余の相互法則」の証明その1と、代数的数とか代数的整数とかいう話。面白かった。また来週か再来週辺りに「平方剰余の相互法則」の別証明をやってくれるようなので、楽しみにして待つ。

その後教授会。20分ほどで終了。火曜日は用事があってよかった。会議のためだけに出勤するのは何ともな感じ。明日は会議が無いそうだ。よかった。まあ明日も用事（卒研ゼミその2）があるので行くことになっているが。

というような事情で5時前に職場を立ち5時半過ぎに住処着。今日は渋滞に巻き込まれたため、燃費がよかった。35.3km/L。最高記録は 35.5km/L だから、かなり近付いた。2位。昨日出した 34.7km/L が早くも圏外に。暖房のいらない時期の方が燃費がいいそうだから、これからも頑張ろう。

で最初から野球を見た。上茶谷が初勝利なるか、というのが見物だと思ったら、いきなり2点取られた。その後も1点取られ、まあ5回投げ切って3失点ならいいか、と思ったら、福留に3ランを打たれた。で5回途中で降板。6失点。7回にはソトのミスからランナーを許し、そこから2点取られた。打たれた砂田が悪いような編集の仕方をしていたが、責任はソトにある。砂田かわいそう。その後佐野の3ランで応酬するも、the end。結局4併殺という拙攻が響いた。明日負けたら同率最下位に転落。気分はよろしくない。これで佐野のホームランが無かったら、ブログを更新する気さえ失せたところだが、まあよかった。水曜日のゼミも時間通りはじまったことが無いので、明日は遅れずに行こう。明日から新顔が来ることもあるし、遅れちゃいかん。ということでもう寝る。じゃ！

何か調子の悪い1日

月曜日も早目に起きようと思ってはいるんだが、昨日は選挙の特番を見ていて、寝るのが遅くなってしまった。で10時には起きる積もりで目覚ましを仕掛けておいたんだが、結局スルーして、11時30分過ぎまで寝てしまった。それでもまだ何か調子が出ない。2時40分からの「数理科学特論2」でも頭がよく働いておらず、講義中に「何かおかしい」と思う時が何度も。後で見直してみたら、あまり大きな間違いは書いておらず、こちらの脳味噌が動いていなかったのが原因だった。うむ、やはり講義の日は体調を万全にしておかないといけまへんな。ということで、明日は午前中の講義だから、もうそろそろ寝ようかと思っている。今から8時半まで寝ればばっちりでしょう。

講義が終わって住処へ直帰。暖房のシーズンでなくなったためか、車の燃費がよくなっている。今日は脅威の 34.7km/L。最高記録が 35.5km/L で、2位が 34.8km/L。今日の結果は3位。さすがハイブリッド車、燃費がいい。今度は 35.5km/L を超えるよう頑張ろう。

帰宅後は講義の復習。上に書いた通り。明日の教授会の最中も引き続き「数理科学特論2」の講義の改善のために勉強する予定。

さて、野球の話題。Baystars は5連敗。Carp に3タテを許してしまった。借金2で4位。5位 Carp とは1差と、あまり嬉しい状況ではないね。まあまだ騒ぐ時期ではないので、落ち着いていきましょう。ハマスタで Tigers 戦。今度こそ3タテいきましょう。Tigers には去年弱かったので、今年はやり返してやりましょう。

岡村孝子が急性白血病だそうだ。うーむ。白血病になる人が増えているような気がするが、気のせいだろうか。車が暴走する事故が連続して起きたり、スリランカで爆弾テロが起こったりと、何だか暗いニュースが多い。景気のいい話題が欲しいですな。

グランドビッグマック

1時からトヨタで車の定期点検を受けることになっていた。で11時くらいには起きて、ちょっとゆっくりしてから、朝昼兼用の食事を「王将」あたりでしていこうか、と思っていたんだが、目が覚めたら既に12時30分くらい。ぎゃ、ということで、着替えてから急いで出掛ける。幸いトヨタ着が1時ちょうどくらいだった。よかった。点検は1時間弱で終了。何の問題も無いらしい。よかった。でちょっと遅めの食事を、「王将」ではなく「マクドナルド」で。「王将」に行くにはトヨタを右折で出て、その後右折して入らなければいけないので、パスした。「マクドナルド」では「ビッグマック」の更にでかい奴「グランドビッグマック」を注文。どうでかいかというと、パンとパティが普通の「ビッグマック」よりでかい。食いごたえがあった。さらにパティを倍にした奴があるようだが、それは流石に無理っぽいのでやめておく。

で2時10分くらいに住処に戻って来て、野球観戦。今日は先発の井納が7失点と、いいところなし。打つほうは筒香のソロホームラン2発による2点のみ。ここ4試合の得点が1、1、1、２とか。打撃がウリのチームじゃなかったのか？お寒い限り。これで借金生活。うむ、いかんぞ。明日は勝てよ。

輪をかけてだらしないのが Tigers。これで開幕から Giants に5連敗。去年の5月を最後に Giants 相手に甲子園で8連敗とか。今日の敗戦で Baystars に勝った Carp と7勝12敗で並んだ。うむ、去年の優勝チームが徐々に上がってきて、去年の最下位チームが徐々に下がってきたか。まあ明日は Carp が負けて Tigers が勝つ（期待込みで）ので、また Carp が単独最下位に成るでしょう。

微積の問題と戯れる

9時に目覚ましが鳴るも、これは設定ミスで、10時に起きるつもりだった。ということでアラームを止めて、もう1時間寝た。その後先日の血液検査の結果を聞きに近所へ。幸いなことに何の問題も無いらしい。まあ尿酸値を下げる薬とか既に飲んでるんで、薬のおかげということでしょうかね。松屋でカレーを食べて帰ってくる。

その後「相棒」を1話見て、4月5日に職場で解いた微積の問題を TeX 化すべく、パソコンを起動。で微積の演習問題ばっかり集めた dvi ファイルを見ると、中途半端に解いたまま完答には程遠い問題が1問あったので、そちらをどうにかしようと思ってそちらから。不定積分をする問題だったのだが、前に Maple か何かに答だけは出させておいたのがメモってあったので、それを頼りにやってみよう、と思ったんだが、どうもコピーし損ねたようで、間違っている。ということで SageMath に頼ろうと思ったが、計算してくれない。ううむ。で help を見ると、SageMath の integral コマンドに  algorithm='sympy' と書けばうまくいくかもというようなことが書いてあったので、やってみたら出来た。ただコンピューターに計算させただけの値はちょっと複雑だったので、ちょっと人手を加えて整理。大分すっきりした。で TeX 化して1問終了。その後4月5日の問題を整理して、気付いたらもう6時に成っていた。

で野球だが、宮崎のソロホームランで先制。その後今永が7回まで快投。が、何故か8回に今永を降板させ、三嶋－砂田－パットンというリレーを繰り出してきたのだが、砂田が打たれ1－1の同点に。パットンは抑えて、9回もパットン。また抑える。が10回もパットンで、流石に疲れたか、ランナーを貯められ、會澤にサヨナラ打を打たれた。今日のパットンは仕方ない。3イニング目出しな。そもそも今永を引っ込めたところが今日の一番の敗因でしょうか。Carp が打てる気しなかったもんな。今永連続完封を見たかった。今日の負けは痛い。今永が先発した試合は何としても勝たないと。これで5割か。明日明日。

昨日は激呑みしてきた

昨日は激呑みに成らないよう、いつもの「ふなごや」でなく別の店に行ったんだが、結局激呑みしてしまった。何故か小生のファンというのがいて、そいつに2軒目に誘われたんで行ってしまった、というわけ。1軒目はビールだけだったんだが、2軒目では日本酒を呑んでしまった。で店長も古くからの知り合いなんで、客が全員帰った後に店長も含めて呑んだ。楽しかったが、今日は辛かった。久々に頭が痛かった。ということで今日は酒は抜き。明日も呑まない。土曜日にトヨタに定期点検に行くことになっているので、金曜日も呑まない。毎度書いているが、小生が毎日呑んでいるというのは大きな間違い。週2日呑みがほとんど。

今日の野球は、この前完封した濱口が先発。期待していたが、初回にいきなり6球で失点。その後6回まで3失点と、濱口は試合を作ったが、いかにせん打てなさ過ぎ。宮崎のタイムリーで1点取るのがやっと。3－1で負けて、4位転落。かたや勝った Dragons は、Giants と並んで2位。うーむ。まあまだ貯金が1つある。食らいついて行きましょう。

で野球中継を見い見いスマホで Giants vs. Carp をチェックしていたんだが、Carp がまた負けている。…。しかし、今日の Carp は去年までの Carp だった。9回に抑えのクックを打ち崩して、3点取って逆転。いやー、お見事だった。明後日から Carp vs. Baystars だから、あまり調子を上げられても困るんだが、まあ Giants が負けたのでよしということで。Carp に負け越すと貯金が無くなってしまうので、何とか2勝しましょう。

保健センター大混雑

火曜日は「代数学I」から。10時40分からの講義なので、余裕を持って8時半に起きるべく目覚ましを仕掛けておいたが、目覚ましが鳴る1分くらい前に目が覚めた。何かもったいない気がした。録画しておいた「プロ野球ニュース」を見て、9時50分くらいに住処を離れる。

で職場に着いたら講義まで20分くらいあった。個研室に戻って何かするほどの時間は無いので、「数学セミナー」の5月号を日向のベンチで読む。温かくて気持ちいい。そろそろ講義室に向かうかというところで、駐車場から F 先生（younger）が出てきた。しばし雑談しながらフォレストハウスへ向かう。

で「代数学II」。今日は (－a)(－b)＝ab などを証明するところからスタート。その後零因子、単元を定義して、整域と体の定義。いつもの通り例を沢山出してくる。で体が整域であることを証明しようと思ったら時間切れ。次回はそこから。

昼飯は食堂で日替わりランチを頼む。混んでいたので中々出てこない。仕方ないので「数学セミナー」の続き。色々為になる。その後1時半から保健センターへ行って、2時から卒研その1のはずだったのだが、保健センターが大混雑。先週まで学生向け健康診断をやっていた関係で、今日は久々の診療。ということで、混雑するのもむべなるかな。引き続き待っている間は「数学セミナー」を読む。で呼んでもらえた時間が既に2時。診てもらって薬を処方してもらって、既に2時25分。大遅刻。まあいいや、相手は一人だし。で今日は「平方剰余の相互法則」のステートメント、ヤコビ記号の定義、ヤコビ記号の相互法則を「平方剰余の相互法則」から導いたりと、そんな感じで終了。ようやく来週「平方剰余の相互法則」を証明してもらえる。後で別証明を与えてくれるようなので、そこも楽しみ。卒研その2でもまた違う証明を紹介してくれることになっている。楽しみにして待とう。

4時30分過ぎに職場を離れる。ドラッグストアで薬をもらって、帰宅して野球。今日は vs. Dragons。上茶谷が登板。過去2回はいい投球もリリーフが堪えきれず勝ちが付かず。今日こそは3度目の正直を、と願ったんだが、4回5失点で負け投手に。解説の権藤さんは次のように仰っていた。「こんなところで牽制してどうなるんですか。バッターに集中しなさい。これじゃ倍疲れますよ！」。その通りで、フラフラに成って降板しているようだった。リリーフで出て来たピッチャーも、大量得点差で出てきたところに牽制を繰り返す。権藤さん曰く「1塁のロペスが呆れてますよ」。その通りだな。他にも「外、内と狙ってもどうせ投げられないんだから、真ん中目掛けて放ればいいんですよ」と。権藤さんが監督をやっていたころが思い出されるね。番長にその頃のことを思い出して選手指導をしてくれるのを願う。

明日は学生の1人が、何やら流行性の目の病気ということで出校停止らしいので、卒研ゼミその2はお休み。ということで、異例ですが火曜日に呑んできます。いつもよりは少なくしようと思っているが、どうでしょうかね。

タイガー・ウッズ優勝

月曜日は「代数学特論2」。2時40分からなのだが、7時半くらいに目が覚めてしまった。ということで時間を有意義に使ったか、というとそうでもない。だらだらと12時過ぎまで過ごし、その後しばし「ひるおび」でニュースを仕入れ、1時半くらいに住処を出発。個研室で講義の資料を印刷して、それからホームページに若干手入れ。2時半頃に個研室を後にする。

で2時40分から講義。今日は付値の基本的な性質をいくつか挙げた後、完備化の話をしてくる。勿論完備の定義からやるわけで、その後 R が完備で Q の完備化あることを述べた後、完備化の存在と一意性を途中まで証明。来週は続きをやって、p 進体を Q の p 進付値による完備化と定義して、Z_p を付値環として定義する。多分29日の祝日飛ばしの講義のお陰で、今月中に冪級数として定義したインチキくさい定義がちゃんとしたものであることを証明できそうである。もうちょっと掛るかな？5月6日は休みにしてくれるようなので、まあ5月13日には何とかなるかな。

今日の「報道ステーション」のトップニュースは「タイガー・ウッズ優勝」。うん、まあ大きなニュースだけど、15分以上掛けてやる内容かは若干疑問。まあいいや。ウッズおめでとう。うちで助教をやっていた人が「ウッズ」というあだ名だった。髪が短くて色黒だから、という単純な理由だった。ここ数年は「ウッズって誰？」というような状況だったから、彼のあだ名が復活するかもしれない状況になったので、まずは目出度い。今度はニュースにならないような、優勝当たり前というタイガー・ウッズの全盛期に戻ってくれ。

源田の連続出場ストップ

昨日は激呑みという気分ではなかったので、家呑みをした。500ccのビール4缶ほど。それくらいなら今日は早起きできるはずだが、昨晩は「プロ野球ニュース2019」の順位予想スペシャル（3時間番組）を見てしまい、寝たのは結構遅かった。早かった、というべきかな。で解説陣の順位予想は、セ・リーグはCarp と Giants を、パ・リーグは Hawks をトップに押す人が多かった。Baystars は、トップに予想する人と最下位に予想する人がいたりして様々。結論がどうなるかはあと半年待たないといけない。楽しみでもあり鬱陶しくもある。いい結果が出ることを期待。

で今日は vs. Carp。寝たのが遅かったため、途中から観戦。いい勝ち方だった。3点まとめて1イニングで取り、その後1点差に詰められ、またか、という感じだったが、ちゃんとソトのホームランでダメ押し。最後は康晃がびしっと締めて、Carp 相手にカード勝ち越し。3タテとはいかなかったが、まあいいでしょう。貯金3で2位。まだまだついていきましょう。

Lions の源田の連続出場がストップとか。ちゃんと試合には出たんだが、代走で出て打席に立たなかったため、連続出場の定義により記録はストップ。ルーキーから2年連続フル出場という、とんでもない記録を残していたんだが、残念。連続出場の既定には、「プレーヤーが連続試合出場を記録するためには、少なくとも自チームあるイニングの守備（回の初めから終わりまで）に出場するか、あるいは塁に出るかアウトになって打撃を完了しなければならない。代走として試合に出ただけでは、連続試合出場を記録したことにはならない」とあるそうだ。前に田中幸雄（Fighters）、川相（Giants）も同様の理由により連続出場がストップしたことがある。野球も数学と一緒で、定義と運用を間違うと痛い目にあう。気を付けて下さい。

濱口1安打完封に続き、今日は今永が1安打完封

今日から vs. Carp。昨日書いたように遠慮することはない。3タテだ！というわけで、今日は開幕投手の今永。かたや Carp も開幕投手の大瀬良。力の入る投手戦か、と思ったらそうでもなかった。大瀬良から4点取って、2番手の中村からもソトの2ホームランでダメ押し。しかし今日は何と言っても今永。1被安打と1四球でランナー2人だけという、超安定投球。見事な完封勝ち。この前濱口が1安打完封勝ちをしたが、濱口は四球7つ。今永は四球1つと、濱口以上の安定感。今永がこの出来のまま行ってくれれば、先は期待できる。後は石田と東が出て来てくれれば。それとパットンが安定してくれればだけどね。まあまだ順位だ何だ言う時期ではないのは重々承知。横浜大洋 Whales のころは、2年続けて4月首位も、最終成績は2年続けて最下位だったことがあったからね。因みに2年続けて4月の月間 MVP は清水義之だった。中畑の頃には、交流戦首位で突入も、交流戦で大負けして5割まで落ちたことがあった。その年は確か5位。だから今から一喜一憂はやめよう。まあ勝てば嬉しいので、喜ぶくらいはいいでしょう。

今日は朝から腹の調子が良くない。だから今日の激呑みは中止。明日行こう。

ルーキー大貫がプロ初勝利

水曜日は卒研2の日。ということで昨日は卒研2をやってきた。ちゃんとやっている感じで、よかった。が、2人で回すため、予習がきついとのこと。何でも1人はノート14ページ、もう1人はノート20ページ使ったとか。ということで次週から少しゆるめにしようと決定。まあ諸事情で来週からメンバーが増えるので、少しきつくてもいいか、と思わないでもないが、進学しない組なので、ゆるくてもいいか。

その後会議。学科メンバーが増えたためか、会議室は一杯。議題もてんこ盛りで、大分疲れた。終了は6時近かったろうか。今年の会議は長くなりそうだ。

帰宅して野球を途中から観戦。濱口がナイスピッチングで、1安打完封勝ち。去年は完投が1しか無かった Baystars だが、今年は早くも完投が出た。打つ方は10安打も12残塁と、あまりいいところは無かった。わずか2得点。まあ濱口は打たれる気配が無かったので、2点あれば問題無かった。

ということで野球終了後は激呑みに行ってきた。一回りしたからね。昨日は回るのが早かった。やはり会議で疲れたせいか。で今日は職場に行かなかったのだが、学生が1人訪ねてきたらしい。いなくて申し訳なかった。

今日も野球観戦。ドラフト3位の大貫がプロ初勝利。目出度い。Tigers 戦は初戦に痛い目を見たが、昨日、今日と完勝。これで貯金2。Giatnts がトップだとばっかり思っていたら、いつの間にか Swallows が首位に立っていた。Swallows とは1差、Giants とは0.5差。まだまだ付いていきましょう。

しかし Carp が酷い。昨日は延長に入ってから12点も取られたそうだ。菊池が2失策とか。今日もまた負けて借金6。うーん、浮上の兆しが無いな。今日は松山がエラーしたそうだ。うーむ、堅守だったはずなんだがなー。明日からは vs. Baystars らしい。武士の情けはいらないので、3連勝させてもらいましょう。

新年度初の教授会

火曜日は10時40分から「代数学I」。で8時半頃に起きる積もりだったのだが、眼が覚めたら9時45分。嘘っ！と思ったら、アラームが8時半に設定されていない。急げや急げ、ということで朝飯を食わずに住処を出る。が、まだ時間には余裕があったので、そんなに飛ばさずに走る。1回だけ追い越し車線に出たが、それは前の車が60km/hくらいでゆっくり走ってるから抜いただけ。普通はあまり追い越しはしない。

で10時35分頃講義室に到着。間に合った。でチャイムが鳴り終わってから講義開始。今日はまず introduction として3次方程式の解法を教える。「な、役立たないだろう？」と言ってから本編開始。今日は環と可換環の定義を教えて、零元の一意性などをちまちま示してから、環の例をどばーっと挙げて終了。昨日よりはゆっくりやった積もりだが、それでもやはり速かったか。終わったらフラフラ。肩に痛みが。来週はさらにゆっくりやるかな。

講義終了後は昼食を挟んで、卒研ゼミその1。院進学希望の学生なので、洋書でゼミ。洋書使うのは久し振り。英文和訳ではなく、ちゃんと内容を理解して、噛み砕いて自分の言葉に言い換えて話してるようなので、合格点。来週からもこの調子でいきましょう。

その後新年度初の教授会。今日から新学部長の下での教授会。流石に場数を踏んでおられるだけあって、落ち着いた雰囲気で進む。今年の教授会はいい感じで進みそうだ。

で帰宅。住処着が6時10分くらい。ということで途中から観戦。vs. Tigers。

B 0 0 0 3 4 0 1
T 0 2 0 1 0 0

こんな感じで楽勝モード。ルーキー上茶谷の初白星か、と思って見ていたんだが、最終的には

B 0 0 0 3 4 0 1 0 0
T 0 2 0 1 0 0 3 6 ×

こんな感じ。決勝点はソトの何でも無いライトフライのエラーだが、後から見直せば、2度の三振ゲッツーなど、相手に流れを渡してしまうプレーが幾つかあった。それに監督自慢の中継ぎ陣が、四球などで簡単にランナーを出してしまうのはいただけない。今日は8回裏2アウトから康晃が出て来た。無理使いする時期なんだろうか？もう少し首脳陣は考えて欲しい。

まあ今日の試合は面白いこともあった。Tigers の梅野がサイクル安打。最初に3塁打を打ったんだが、これが最初はソトのエラーとジャッジされた。その後記録が訂正されたのだ。最終打席は、3塁打に成りそうだったのが、ナバーロが本塁を無理やりおとしいれようとしてアウトになって、3塁に向かって走っていた梅野がボールデッドのため2塁打、ということになったのだった。いや、ナバーロがヒットを打ってなかったら、そもそも梅野に打順が回らなかった。ということで、梅野がヒーローインタビューで言ったとおり「ナバーロのお陰」だな。因みに梅野は左足の薬指を骨折している。よく3塁まで全速力で走ったり、2塁に全力でスローしたり出来るもんだ。まあ今日は梅野おめでとう、ということで。

春セメスター講義開始

今日から2019年度春セメスターの講義が始まった。月曜日は「数理科学特論2」という、大学院向けの講義。p 進体の性質を講義するのが内容で、整数論専門の学生がいない中ではやるのは虚しいが、まあ完備化とかそういうのをきっちりやったり、最後の方は射影極限による p 進体の導入をやるので、そこでは general topology もやる積もり。よって解析や幾何が専門の学生でもためになることがあるでしょう、ということで、頑張ってやることにする。幸い開始が2時40分なので、あまり早起きしないでいいいのがいい。まあそうは言っても、あまりギリギリに着くわけにもいかないので、1時くらいには職場に着くようにしようかと思っている。

で今日の講義だが、まだペースがつかめず、随分マシンガントークになっていた気がする。腕も辛かった。まあ大学院生相手だから、多少の無茶は慣れているだろうということでよしとする。明日は初対面の3回生相手だから、気を付けてやることにしよう。

東京では、今朝小田急線が全線ストップでひどいことになったらしい。で夜は京成線が止まっているとか。京成線がおかしくなると、直通運転をしている京急線のダイヤもおかしくなる。都営浅草線も、北総開発鉄道も。芝山鉄道、とか言うのとも直通運転をしていたと思うが。で京急のページを見たら、弘明寺－井土ヶ谷間で事故があったとかで、京急も止まり、今でも大幅にダイヤ乱れが出ているとか。ウィング号運転休止。うーむ、大変だなー。まあ今は関係ないからいいんだけど、早稲田に通ってるころだったら怒り狂うな。まあ怒ってもしょうがないんだけど。渋滞には寛容だが、ラッシュはそうでもない。まあ渋滞は周りに人間がいないからいいが、ラッシュとはちと違う。東京は辛いね。

球団通算4000勝

今日も vs. Giants。昨日同様快勝。貯金1。Ginats の貯金が3だから、1ゲーム差ということになる。まあこの時期に1ゲーム差だの順位がどうのと言うのは馬鹿げているので、浮かれているのはこの辺で。

今日の勝利で Baystars の通算勝ち星（もちろん前進球団の勝ち星を含むが）が4000。70年で4000勝だから、あまり褒められた数字でもないが、まあ暗黒時代があったことを考えればこんなもんでしょうか。これからも5000勝、10000勝を目指して頑張っていきましょう。

野球終了後選挙へ。自民党にお灸をすえなくてはいけないので、ちゃんと棄権しないで行ってきた。結果はどうなるでしょう？明日になればわかると思うので、今日は結果を見る前に寝ようと思っている。明日から講義だしね。

9安打9得点で Giants 相手に快勝

いやーな夢で目が覚めた。親父殿に何十年かぶりにビンタされそうになった。怖っ！まだ7時前だったが、耳鼻科と床屋に行きたいので、そのまま起きていた。で9時過ぎに耳鼻科へ向けて出発。結構混んでいたが、「前回と同じ薬が欲しい」に丸を付けたためか、割合早目に呼んでもらえた。その後床屋へ。さっきブログを調べたら2ヶ月ぶりだった。さっぱりした。その後1年ぶりに「熟豚」へ。名前からお分かりの通りトンカツ屋。メニューを見ると「エビフライ定食」とか「カレー」とかあるが、ここはやっぱりトンカツを食べないと。が、カレーも食いたい。見るとカレーのトッピングにトンカツがあるので、カレーにヒレカツトッピングを頼む。が、カレーがドライカレーのような水分の少ないカレーで、カツを乗せてもカツカレーに成らない。しかたないので、カツは別に食べる。ということで、「トンカツ with カレーライス and キャベツ」というものを食べたことになった。美味かった。今度は普通にトンカツ定食を食べよう。ヒレカツにするかロースカツにするかはその時の体調次第。

で帰ってきて、2時から野球。今日も vs. Giants。初回にいきなり1点先制されるも、裏に1点取り返すという、昨日と同じような展開に。3回表にさらに1点取られるも、4回裏に4点とって逆転。その後も着々と加点し、最終スコアは 9－2。Baystars も Giants も9安打だが、Giants は四球を多く出し、しかもエラーもあった。ということで、出したランナーを無駄なく帰したのが7点差に出ている。ようやく Giants を止められた。明日も勝とう。明日は1時からだ。頑張って起きよう。

野球についてもう少し。今日の勝ち投手は先発の京山ではなく、2番手の国吉。京山は5回まで投げられなかったので、勝ち投手の権利が無かった。国吉は逆転したあと出てきて、2イニングを無失点。161km/h を記録した球があった。変化球もよく切れていた感じ。国吉のピッチングをこんなに安心して見られたのは初めてかもしれない。明日以降も同様のピッチングを期待。

でタイトルは「国吉 161km/h」でよかったんだが、大船渡高校の佐々木投手（下の名前失念）が、非公式とは言え 163km/h を出したとか。すごいなー。こういうピッチャーがプロに入ってすぐ活躍できればいいんだが、そうはいかないところが辛いところ。まあ幸い甲子園に出てないそうなので、肩・肘は大丈夫だろう。ドラフト会議の時までに下の名前を調べておこう。

ソロホームラン2発でソロホームラン3発に負けた ;_;

今日は10時半からの新入生向けの「就職ガイダンス」に就職委員として出席。学生に大学院進学を勧める、という内容。緊張していてあまりちゃんと話せなかったが、小生の後に2人院生が喋った内容が小生の話の足りなかった部分をちゃんと補ってくれたので、まあよし。11時半頃に解放される。

その後個研室で一仕事してから、「はま寿司」へ回転寿司を食べに行く。今日はちょっと豪勢なネタばっかり食べてしまったが、大丈夫だろうか？と思ったら、いつもより100円程度高いだけで済んだ。その後再び個研室へ戻って、2、3メイルを出して、微積分の問題を一問解いてから4時半くらいに帰途に着く。

名神は相変わらず渋滞、と思ったら今日は事故渋滞だったようだ。別に車線規制されてるわけではないから、多分「見物渋滞」だろう。皆相変わらず急いでいるが、慌てても仕方ない。ということでいつもの通りいらいらせずに待つ。

住処に着いたのは5時半くらい。それから野球の始まるまで少し間があったが、何ということもなく時間を過ごした。で野球だが、1回表にいきなり坂本、丸のソロホームラン2発で先制される。が、1回裏にソト、筒香のソロホームラン2発で追い付く。その後今永、菅野が好投して0行進だったのだが、7回にゲレーロにソロホームランで勝ち越しを許す。その後菅野が調子を上げてきて、全然打てる気がしないまま終了。というわけで、ソロホームラン2発で2点取ったが、ソロホームラン3発の3点に負けた。何という淡白な。いい加減 Giants を止めないと突っ走られるぞ。明日は勝て。

淡白な試合の後チャンネルを変えて、Swallows vs. Dragons を途中から観戦。8回裏 Dragons 1点リードで Swallows がランナー1、2塁と攻め立てている状況。その後満塁として、西浦の2点タイムリーヒット。思わず「よしっ！」と声を上げてしまった。Swallows と Dragons のどっちが好きかと問われると Swallows なんでね。理由？うーん、わからん。9回表は Dragons が攻め立てたが、石山が無事に抑えて Swallows の勝利。いやー、興奮した。明日は Baystars に興奮させてもらいたい。

話が前後する。4月1日も今日もだが、近江鉄道のバスの行き先表示が「祝！ご入学」に成っている。うむ、近江鉄道に取ってはうちはドル箱だから、それくらいしてもらってもいいでしょう。出来れば「野路れる」ように運賃を元に戻して欲しいんだが。無理か。いつまで「祝！ご入学」を出すのか見物。来週は講義の1週目だから、まだ入学ムードなのかも知れんが、学生は1発目の講義でギャフンと言わされることだろう。まあ小生は3回生相手と院生相手の講義しかないんでいいんだが。

佐野恵太、脅威の4打数4安打8打点！

今日も vs. Swallows。序盤は取ったり取られたりで、6回終了時点で 4－4。が、7回。まずソトにソロホームラン。その後ランナーをためて満塁のシーンで代打の切り札佐野。初球をセンターバックスリーンへの満塁ホームラン！これで開幕から出場4試合、4打席4安打で、8打点。うーん、凄い、凄過ぎる。その後山田のホームランで1点取られたものの、ソトが2打席連続ホームランで再び1点取り返し、10－5 で3勝3敗に。いいんじゃないでしょうかね。この調子で行きましょう。

カルロス・ゴーンのニュースだが、どこまで彼がやったのかは判断がつきかねる。が、もし訴えられた罪状を全てやったのだとしたら、相当な面の顔の厚さだな。まあ報道から情報を仕入れているだけなので、本当のところはわからない。とにかく早く決着を付けてください。

パットンまたも打たれる

今日は卒研関係で1用事、さらに車両入稿の件で1用事あって、職場に行ってきた。急ぐ用事ではないので、昼飯を食べて、シャワーを浴びて、髭を剃って、「相棒」の再放送を見て、4時近くに押っ取り刀で出勤。用事はあっと言う間に終了。で職場を出たのは5時半頃。もう野球を試合開始から見ることは出来なくなっている時間なので、渋滞にもいらいらせず、落ち着いて運転。渋滞を早く抜けようとして追い越し車線を一生懸命走っている車をせせら笑いながら。

でコンビニで夕飯などを買ってきて、6時20分くらいから野球観戦。1回1点に先制されたが、4回にソトのホームランや相手のミスなどで4点取ってひっくり返す。濱口が2回からは好投で、3点リードのまま三嶋が抑えて、8回からパットン。が、悪夢は繰り返す。パットンが雄平に3ランホームランを打たれて同点にされ、9回は三上が乱調で3四球で逆転サヨナラを許す。うむ、打たれたパットン、押し出しサヨナラの三上を攻めるのもあると思うが、ここは4点取ったきり点を取れない打線を攻めたい。1イニングにドバっと点を取って、それ以外のイニングに点を取れないで逆転勝ちを食らった試合は、去年から見飽きるくらい見ている。今日は監督の采配にも疑問をはさむ。なぜまだイニングがあるのに筒香に代走を出した？逃げ切れるつもりということだろうか。リリーフ陣には自信がある、と監督が言っていたからね。点は取れるときに取って、リリーフの負担を軽くしないといけない。明日は勝てよ。

それにしても寒いな。明日の朝は5度を割るらしい。が、日中は16度くらいと、大分暖かくなる。そろそろ冬物のジャンバーを洗濯に出したいんだが。まだ背広を洗濯に出していない。明日にでもまとめて持って行くかな。

ルーキー上茶谷、堂々のデビュー

今日はいよいよルーキー上茶谷がデビュー。ということで野球観戦。7回1失点と、堂々のデビュー。プロ初登板初勝利か、というところで、監督自慢のリリーフ陣登場。が、パットンが誤算。まさかの4失点。うーむ、今年は押さえて勝つ、というはずだったのだが…。まあ切り換えていきましょう。

今日は長嶋茂雄氏が Giants vs. Tigers の伝統の1戦を観戦したようだ。もう氏は83歳にも成るらしい。脇を抱えられたりと、大分痛々しかった。もうそろそろ長嶋人気に頼るのはやめたらどうですか、Giants さん。

令和

今日は9時集合、と言われていたんだが、事前に回ってきた資料を見ると、9時35分に現場にいればいい、ということがわかったので、堂々と8時起き。その後朝飯を食べて、シャワーを浴びて寝癖を直してから、背広にネクタイで押っ取り刀で出勤。ちゃんと現地に9時25分頃着いた。計算通り。で9時35分くらいから全教員が一人ずつ自己紹介。色々なことを言っていた。小生はどこで仕入れたか忘れたが、「数学はRPGだ」と言っておく。もう一つ大事なこと。「書く時間と考える時間は等しいらしいので、勉強する時は紙を開いて、本なりノートなりを写しながらしてください」と言っておく。10時45分くらいに解放された。

その後個研室でサンドイッチを食べて昼食。それから講義で出すのに適切な例を探すため、数冊本漁り。いいのが出てた。さすが荒井先生の本。それから部屋掃除。例に寄って紙ごみが大量に出た。また昔の出席簿が出てきたが、M1とM2が同時にいた年があったようだ。すっかり忘れていた。彼らと彼は1歳しか違わないのか。ちょっと意外。ということでシュレッダー行き。で新年度に卒研の部屋取りをしようと思ったら、もうあらかた取られていて、ゼミ室が確保できない！さあ困った、ということで右往左往。正規のゼミ室でない部屋をゼミ用に使っていい、とのことなので、どうやらどうにかなりそうだ。後期は早目にちゃんと押さえないと。

で何だかんだで6時過ぎまで職場にいた。その後小野のココ壱でカレーを。「鯖カレー」とかいう怪しいのが、鯖街道にちなんで京都、滋賀、福井限定であって、4月15日までとのことなので急いで食べてくる。あんまり美味しくなかった。生臭いんだよね。鯖は好きだが、生臭いのはごめんだ。

で帰りはいつもの通り、とは行かなかった。今日から「山科」－「鴨川東」インターが無料になったので、その影響で「新十条通」の所の外環状線の車線が変更された。今までは左レーンが直進、左折、右レーンが直進専用だったのだが、今日から左が左折専用、右が直進専用に成っていた。で右側の車線が渋滞しているので、左に入ってみたらあーらまずい、直進できないじゃないの、ということで小生もはまった。小生の前2台は、強引に直進レーンに割って入ったが、小生は運転が下手でチキンなので、そのまま左折した。でまあ数キロドライブだと思って、遠回りして帰った。これから気を付けよう。

さて、今日の最大の関心事は新年度でも高速道路の通行料金の改定でもなく、新元号。もうご存知かと思いますが、「令和」と決まった。出所は万葉集だそうだが、MS-IMEの辞書に既に登録されている。何だ、早速登録しようと思ったのに、もうあるのか、とちょっとつまらない。単語登録して辞書をがんがん賢くするのが昔から大好きな小生である。が、ちょっと困ることもある。「基礎数理」と入れたくて「きそすうり」を変換させると100%間違いなく「奇素数理」と変換される。まあ登録すれば、「とうよこいん」が「投与コイン」に成ることなく「東横イン」に成るんで、概していいんだが。

えーっと「令和」の話だった。「平成」の30年間は小生に取ってはひたすら数学をやる時代だった。卒研配属が平成元年。30年分数学に強くなったかと思うとそうでもない。「令和」が何年続くがわからないが、「平成」より数学に強くなりたい。「令和」ね。早く慣れよう。あ、あと1ヶ月は「平成」だな。書類を書くとき気を付けないといけないね。しかし「平成」が31年目に突入したお陰で、「平成」と「令和」の換算は割としやすい。「平成」－30が「令和」だ。運転免許証の期限くらいだがな、換算する必要があるのは。「令和」ね。早く慣れよう。