久々に外で呑んできた

やっぱり一回徹夜するといけない。今日は昼過ぎに起きたんだが、まだ疲れが抜けていない感じで、もう2時間くらい寝た。昨日書いた通り、今日は「ふなごや」に行くと決めていたので、ほどほどに起きた。

で6時に「ふなごや」へ向かう。外で呑むのは何か月ぶりだろう？でビールを数杯。また明後日から閉店らしいので、名残惜しく呑んできた。「蔓防」にも困ったもんだ。

でふらふらに成るまで呑んできた。その後住処でオリンピック観戦。今日も悲喜こもごも。野球とサッカーが勝ち進んだようで、期待する。他にもボクシングなど。酔ってたんでよく覚えていない状況。まあいいでしょう。

血を抜かれた後爆睡

暑くて寝付けず。午前中に用事があったこともあり、寝ないことにした。でその後しばし数学、オリンピック観戦など。

11時過ぎに部屋を出る。今日は定期的にやる検査。中性脂肪の数値が高く、服薬している。時々血液検査をしないといけない。たっぷり血を抜かれてきた。1時前に帰宅。

しばしオリンピック。トランポリンを観戦。中々面白い。野球がある時はそのまま起き続けているんだが、今日は寝た。流石に24時間以上起き続けていると辛い。途中何度か起きたが、さっきまで寝ていた。まだ疲れが抜けたとは言えないので、今日は無理せず早目に寝て、明日は久々に「ふなごや」に行こうと思っている。またぞろ蔓延防止だと言っているので、呑み屋は閉まってしまうかもしれないので、行ける時に顔を出しておかないとね。

金曜日の深夜（だから土曜日だが）に「座王」という番組がやっている。お笑い番組なのだが、いまいちよくわからない。段々わかってきたが。で番組に一人女子アナが出ているのだが、その人の役割がよくわからない。番組の始めにゲストを紹介する他は一言も喋らない。笑っているだけ。まあ番組を華やかにするために笑っているだけの女子アナが必要なのがわからないではないが。今日も見る。確か1時からだったから、もう少しオリンピックのダイジェストを見てても大丈夫だな。今日は TBS で17時間オリンピック放送をしている。中々すごいことをやる。ニュースも何も全てすっ飛ばしてのオリンピック中継。大胆だ。

Baystars の田中健二朗がひじの手術から復活とか。今はエキジビションマッチと言うシーズンの成績に関係ない試合をやっているが、そこで投げたと。3年ぶりの1軍らしい。このままシリーズ再開後も1軍で投げて欲しい。頑張れ、健二朗。

トナーを変えたが、印刷出来ず（原因不明）

今日は久々に午前中に起きた。でそのまま出掛ければよかったのだが、暑いのでためらう。結局2時半まで住処にいた。2時半って一番暑い頃だが、職場の駐車場がパラパラと空いてきて、遠くに停めなくてよくなるので、これくらいの方がいいのだ。で案の定1箇所近くに駐車スペースがあった。個研室に行って、トナーの注文伝票を取って、生協へ。その後学科の事務室に行って伝票の処理。去年までは渡せば終わりだったのだが、今年から一枚書類を書かないといけなくなった。面倒くさい。

で個研室に戻って、トナーを交換して、さて印刷、とやったんだが、印刷してくれない。パソコンに出るメッセージには「プリンターがエラー状態です」と出ている。おかしいな、プリンターは「Ready」のランプが点いているのに。接続ミス？いやー、それは無いな。だって「通常使うプリンター」にブラザーの何某と正しく表示がある。おかしい。まあいいか、また今度やろ。来週の土曜日までに印刷できればいいんでね。

その後メールの返事を待ちながら論文読み。昔一回読んだ論文だが、全然覚えていないので、もう一度読もうと。で読んでみても思い出せない。本当に読んだんだろうか？途中で Ljunggren の結果を使う所があるんだが、その結果も覚えてない。うーん、いよいよ怪しい。Ljunggren の論文は1942年の論文。うちの図書館にあるわけもなく、取り寄せる手配をして、今日の所は終了。メールは来なかった。

昨日は土用の丑の日だったが、鰻を食べていない。ということで鰻だ！時間が10時を過ぎていたので、すき家、吉野家、なか卯くらいしかないが、今日はなか卯にした。「鰻丼豪快盛り」というのを食べてきた。店内の写真には、鰻が一匹ドーンと丼からはみ出している様子が載っているんだが、実際には3分割されている。まあ量は豪快だ。文句は言うまい。満足。

またぞろコロナの新規感染者が増えているようだ。東京には緊急事態宣言が既に発出されているが、神奈川、埼玉、千葉、大阪でもとか。うーん。京都もまただろうか？人の流れが減っていない、それはオリンピックがやってるからだ、とニュースで言った直後にメダル情報をやったりするからいかんのでは？わかんないけど。まあ昨日も書いたが、小生インドアなんで別に外に出ないのは苦じゃない。来週は論文を受け取りに行くのと、ワクチンの2回目接種以外は外出しないかも。あ、思い出した。明日午前中に用事があった。危ない、完全に忘れていた。ということで今日は寝ます。

大谷翔平がまた打ったようだ。ホームランは独走状態で、打点がトップに1差とか。うーん、2冠王取ったらMVPかな。もう少し投手としての勝ち星が必要かな。5勝ではちょっとさびしい。あと5つ、無理か。まあ3つでもいいや。8勝なら少しはさまになるだろ。

院生のレポートがプロモーションメールに回され、あわや未提出になるところだった

昨晩（？）は結局寝た時には明るくなっていた。で今日も起きたのは遅い。まあ昨日までで「線形代数学」と「代数学I」の採点は済んでいるので、急ぐ仕事は無いのでいいんだが。明日は生協にレーザープリンターのトナーを受け取りに行くので、今日は暗いうちに寝る。生協の営業時間は4時半までだが、夏休みモードに入っていて、もう少し早く閉まる可能性は無いではない。ということで2時前には住処を離れることにしよう。失策は預かり伝票を個研室に置いてきてしまったこと。生協は駐車場とウェストウィングの中間にあるので、伝票を持ってきていればスムーズに受け取れるのだが、仕方ないので生協の前を素通りして一旦ウェストに行って、生協に戻る必要がある。暑いのでいやなのだが、やむを得ない。

今日やったことは時間割関係の雑用を少々。学科に一人執行部の先生がいるんだが、その人が何コマ担当しないといけないのか、二つの書類で書いていることが違うので調査。多分明日返事があるでしょう。他は院生のレポートのチェック。メールに添付して提出、としているのだが、一人のメールがプロモーションメールに分類されていて、危うく未提出にするところだった。生協からのメールがプロモーションメールに回されてしまうことが多いので、確認したのだが、しておいてよかった。まだ全員分提出されていないが、院生のメールは甘々でつけることにしているので、提出されたそばからどんどん採点している。31日23時59分締め切りにしているのでもう少し提出されるでしょう。すぐ終わりそうである。

今日の東京のコロナの感染者は3177人。凄いことになっている。気が緩んでるね。ここで気を引き締めないといけないところだが、オリンピックをやっているので、引き締める気が起きないのが本音だろう。夏休みだしね。小生のようにインドアに出来てる人間は、多少自粛を強いられても何てことないが、アウトドア派の人間にはたまらないだろう。でもそうは言っていられない。ここは我慢をしよう。

今日はオリンピックの情報を何も仕入れていない。さっきからスマホとパソコンに速報が届いているが、体操が見事な結果を残したようだ。これからスポーツニュースのコーナー。楽しみにしよう。

ソフトボール金メダルの瞬間を観戦

昨日はブログを書き終えて、即採点スタート。徹夜するつもり満々だったのだが、採点を終えて成績を入力し終えて、というところでまだ2時ちょいだった。似たようなパターンの解答を採点したので、そんなに手間では無かったということ。(1,1)成分以外は0である実行列の全体が行列の加法、乗法に関し体を成すことを示せ、と言う問題を出したが、皆一様に分配法則やら結合法則やら証明しているだけで、行列の加法、乗法がその集合の内部演算であることを示していない解答ばかり。当然減点。もう1問は難し過ぎて、正答がほぼ無い。I が環 R のイデアルの時、I₁＝{J｜J は R のイデアルで J⊃I} と I₂＝{R/I のイデアル} の間に一対一対応が付くという問題。j を自然準同型写像としたとき、j^-1 を j の逆写像と言っている答案が多数。やはり j^-1 は記号が良くないね。一番難しかったのは、J∈I₁ に対し、f：I₁→I₂ を f(J)=j(J) と定義する、というところ。f が同型写像とか多かった。J を R の部分集合と見たり、I₁ の元と見たり、はたまた R/J の零元と見たりと、その辺の乗り移りが学生には超難しいようだ。また、j(J)＝J＋I という間違い多数。ということで正答を書いたのはほんの数名。まあ難しい所だ。乗り越えて欲しい。

その後すぐ寝てもよかったんだが、徹夜する気満々だったため、寝る気に成れなかった。で代数学Iのレポートの解答例の直しなどしながら、明るくなるまで起きていた。

で起きたのは夕方。懸案事項を事務や同僚とメールをやり取りしながら処理。どうにかなりそうで安心。年度途中にスタッフが一人いなくなるというのがこんなに面倒なことだとは思わなかった。まあ年度末にいなくなっても次年度の講義に影響が出るから、やはり大変なんだろうが。教務委員は辛いね。

7時からソフトボール、と聞いていたので、7時に ABC にあわせる。が、始まらない。どうやら番組が7時開始で、試合開始は8時のようだ。で8時頃試合が始まった。昨日に続き vs. アメリカ。先発上野がナイスピッチング。アメリカも堅守を見せる。ホームランを2発ファインプレーで防がれた。が、4回内野安打で先取点、5回にタイムリーで2点目。今日の日本には2点あれば十分で、その後後藤と再出場の上野が抑え切り、金メダル獲得。いやー、興奮した。この大会で日本が金メダルを取る瞬間を初めて見た。やはり金メダルはいいね。

試合は横浜スタジアムで行われたのだが、野球の時のピッチャーマウンドは無くなり、各ベースもホームベースに近付いていたが、どうやったんだろうか？マウンドってプレートが埋め込んであるし、ベースは棒が付いていて、地面にその棒を刺している。ということは穴があるはずだが。また野球の会場として使われるし、それまでに従前に戻す必要がある。どうやるんですかね？詳しい人は教えて。

大坂なおみは3回戦で負けたとか。残念。今日の結果をほぼ知らないので、これから情報を仕入れる。今日も寝るのは遅くなりそうだ。暗いうちに寝よう。

基礎数学担当の先生方との懇談会をした

1時からゼミの約束。目が覚めたら12時10分過ぎ。うーん、相変わらずやね。飯も食わずに飛んでいく。昼食は生協でサンドイッチを買って、ゼミ中にむさぼり付く。今日で類数1の円分体の決定は終了。その後何やら始めたが、証明中に使った複素解析に関する事実の証明。うーん、こういうのは飛ばしていいんだが、と言いたいが、まあやってきたものを止めるわけにもいかず、呆然として聞く。スターリンの公式の証明も勉強するつもりでいたようだが、「飛ばします」と宣言してくれた。よかった。3時半くらいに終了。

閉店前にゼミが終わったので、生協にレーザープリンターのトナーを買いに行く。暑い中行ってみると、小生の欲しいものは置いてなかった。仕方ないので注文をして、後日取りに行くことになった。これで近日中にもう一度職場に行く羽目になった。来週の月曜日は予習したいのでゼミ無しにしてくれ、と頼まれたし、ワクチンを打ちに行くのは7日の土曜日。多分生協は閉まっている。ということで、届いたと連絡があったら行かないといけない。まあいいんだけどね。

その後4時半から基礎数学の担当をしている先生方とのオンライン懇談会。皆さんオンラインとのハイブリッド講義に手を焼いているようである。リアルタイム、web 講義、オンデマンド配信を全部やっている先生がいた。感動的だね。小生大分手を抜いている。真面目にやっている人の手前、小生の状況は説明しなかった。申し訳ないからね。6時前に一旦閉めたが、その後も話が盛り上がり、7時過ぎまで Zoom の前にいた。ためになった。

その後「代数学I」のレポートの採点。流石に職場で徹夜でやるわけにはいかないので、10時前にお開きにしてきた。大体同じような間違いをしているので、真剣に見なくても採点を出来るのはよかった。いや、出来が悪いのを喜んじゃいけない。憂慮すべき事態だ。「線型代数学」でもそうだったんだが、「部分空間」とか「部分環」であることを示すのに、「部分集合」であることを言っていない答案多数。違和感ないのかね。あとこれは何年も前からなんだが、「R から R への写像を考える」と言って、対応を定義せず全単射であることを示そうとする答案多数。これは何でなんだろうか？抽象的にやり過ぎなんだろうか？それと多かった間違いは、{a＋b√2｜a,b∈Z} と {a＋b√8｜a,b∈Z} が等しくないことを証明するのに、「a＋b√2＝a＋b√8 とすると」とやって「b＝2b だから矛盾」とする答案。続出。やっぱり集合に関することがわかってないんだな。環をやる以前の問題と言うことだ。出来が悪いのは小生の責任ではない！と考えることにより気楽に成る。これからもこのスタンスで行こう。さてこれからまた徹夜で残りの採点をするか。

卓球の水谷・伊藤ペアが金メダル。他にも今日はメダルラッシュだったようだ。ホームタウンでやっているアドバンテージは、やはり無観客でもあるのだろうか。明日も楽しみである。明日はソフトボールの決勝がある。vs. アメリカ。でよくわからないのが、今日も日本 vs. アメリカのソフトボールの試合があったこと。サヨナラ負けしたようだ。明日でなくてよかった、というところだな。明日は見ようかな。それには今晩中に採点を終わらすことだ。ということでスタート！

「線形代数学」のレポート採点を深夜に行う

レポートの採点は今日以降、と思っていたんだが、昨日の深夜12時くらいにうっかり始めてしまった。数枚見て、様子を確認しよう、と思ったのだが、見始めると止まらなくなってしまった。で4時間くらいかけて、100人分のレポートを全部採点してしまった。疲れた。で案の定丸写しが行われていたようで、部分空間であることを示すのに部分集合であることを示していないレポートばかり。まあテキストに出ている3条件が (i) 零ベクトルが入っている、(ii) 和に関し閉じている、(iii) スカラー倍に関し閉じている、なので、空集合でないことを示していない解答が一人もいなかったのが救い。丸写しが横行しているのがわかったのはそこではなく、剰余ベクトル空間の元を cl(a) と書いている答案が多かったから。最初のうちは何を書いているのかわからなかった。「何だ ca って？」と思って見ていたのだが、よーく見ると cl(a) と書いてあった。これはネタ元がいるな。まあネタ元は探りようが無いので、全員一律に減点と言うことで。さて、成績を入力して、寝るか、と思ったら、成績入力をするページがメンテナンスのため入力出来ない。1時間待たないといけない。仕方ないので、飯をコンビニに買いに行って、食べて時間をつぶす。成績の入力ミスはないか、2重3重にチェックさせてくれて、面倒だがありがたかった。ということで「線形代数学」の採点は終了。

でもう寝てもよかったんだが、時間割関係で気に成ることがあり、そちらの作業。テレビでオリンピック情報をやっているのも寝ようとしない理由の一つだが。やっぱり始まると見てしまうね。今もサッカー日本 vs. メキシコを放送している。早くも2－0とリード。いいですね。今日は阿部兄妹の同時金メダルがあったり、競泳でも金メダルがあったようだし、地元開催らしくメダルラッシュだ。ソフトボールも銀メダル以上確定。決勝はアメリカと。金メダル取ってもらいましょう。

院生がレポートをポツポツと出してきている。7月31日締め切りにしたから、もう少し出て来るだろう。こちらの採点は8月に成ったら始める予定。20人弱だから、すぐ済む。代数学I はもう締め切りを過ぎているので、いつでも始められる状態だが、明日は1時からM2の学生とゼミ、その後基礎数学を担当している皆さんとの懇談会があるので、今日は採点しない。意地でもしない。やりたいがしない。明日やる。

早くも金メダルと銀メダル

今日も起きたのは遅かった。が、今日は「カスペルスキー」を買って、職場のパソコンにインストールだ！と決めていたので、出掛ける。まずは Joshin に寄って「カスペルスキー」を購入。1台3年分を買う。9900円なり。Joshin に行くのは割と大回りをしないといけない。帰りも「堀川五条」方面に頭を向けて出庫しないといけない。ということで面倒なのだが、もう一度外環を北へ向かい、「外環三条」を右折。名神へ向かう。「京都東－大津 渋滞」の情報。まあ一インターくらいならいいか、と思ったが、中々の渋滞だった。

で職場に着いて、パソコンの電源を入れる。普段住処で使ってるパソコンと違って立ち上がりが早い。インストールにはちょっと手間取ったが、無事成功。前のパソコンにも「カスペルスキー」をインストールしていたので、ユーザー登録はしないで済んだ。が、パスワードを当然忘れている。ということで再設定。などなどで30分くらいは使ったろうか。その後レポートの解答作りの続き。昨日は画面とにらめっこしながら間違い直しをしていたんだが、やはり紙に写しながらでないと間違いは見付からない。相当ミスがあった。文字を変えたはずが変えてなかったりとか、主張と違うことを証明していたりと。数時間粘って、ようやく完成。本当は印刷したいところなのだが、レーザープリンターがトナー不足のため、印刷出来ない。月曜日にトナーを買う。

出掛ける前にオリンピックの男子体操を見ていたんだが、内村が失敗してしまった、という状況。見ない方がよかったか。で職場で速報が入ってきた。女子柔道で銀メダル、男子柔道で金メダル。この展開は昔田村亮子が銀、野村忠宏が金、と成ったという状況と同じ。確か明け方近い時間だったような気がするが、今回はもちろん時差無しなので、日の高いうちに結果が出た。今ダイジェストを放送している。金メダルが取れると、オリンピック開催反対の人も喜ぶのでは？と思うが、そんなことないか。反対の人はあくまで反対だろうな。まあいいでしょう。高藤選手、金メダルおめでとう。

オリンピック開会式の中継を流しながらブログ書き

昨日は職場に遅くまでいて、帰ってきたのが0時を回っていたので更新しなかった。で昨日は何をしていたかと言うと、まず xyzzy でスペルチェッカー ispell を使えるようにして、IME からの空白の入力を「常に半角」に設定、ユーザー辞書の移し替え、そして TeX のインストール。「LaTeX2ε 美文書作成入門」の付属 DVD からのインストールは2時間くらい掛かった記憶があったのだが、それは一々 DVD から必要なものをコピーしていたからのようで、今回からは必要な分を一気にハードディスクにコピーしてから、そこからインストールしていたようで、40分くらいで済んだ。小生は TeX Live に入っているエディターとコンパイラーは使わず、エディターは xyzzy、コンパイルはコマンドプロンプトで「platex ファイル名 [Enter]」とやることにしているので、関連付けを変えて、コンパイルが通るか実験。その後 dvi を pdf に dvipdfmx で変換できるかなどを実験した。うまくいったようだ。その時点でもう8時半を回っていたんだが、まだ帰る気に成らなかった。でメールチェックしたら、学生数名からレポートに関するメールが。昨日はレポートの締め切り日だったようだ。時間前に提出したが、受け付けてくれず、未提出扱いになるのは困る、と言う学生が1名。 ファイルが提出された時間を見たら、締め切りの1分前。本人の言う通り締め切り前に提出したようだから、提出と認めた。ほっとした様子だった。締め切りギリギリに出すんじゃないよ、ったく。で一人から枝葉を気にして、「こう書いたら成績に影響するでしょうか？」と言う質問。その学生のレポートを見るに、そう言う細かいことよりもっと気にすべき点が沢山あり、「件の個所は気にせず採点しますが、貴公のレポートではあまりいい成績は付けられそうにない」とメールする。すると「模範解答は発表されるのでしょうか？」という質問。模範解答などという大上段に構えたものを作る気は無い。解答例くらいなら作ってもいいが、と思い、別の学生からも解答例の要請があったので、作ることにした。レポートの解答例を教員に要望するなど、小生が学生の頃は考えられなかったが。時代は変わったということかね。

でその後フリーセルとマインスイーパーをしばし。パソコンを新しくしたので、0勝0敗からスタートできるので。でフリーセルは2ゲームクリア。その後マインスイーパーへ。これがいかん。いくらやっても成功しない。時間はどんどん過ぎ、11時30分を回っていた。正門は12時に閉まるので、急いで帰らないと大学から出られなくなってしまう。ということで心残りながら初勝利はまたに回して帰宅。やれやれ、無駄に時間を使ってしまった。

と言う事情で昨日は遅く帰ってきたわけだが。その後レポートの解答づくり。秘蔵の問題集から選んだ問題なので、コピー＆ペーストで大抵済むんだが、細かい手直しがあり面倒。あまり気乗りしないので、酒を呑みながらやることにした。ということで近所の自動販売機にレモンチューハイを買いに行く。え、12時回ってるんだろう、販売機は発売中止になってるんじゃ？えぇ、それは普通はそうなんですが、そこの販売機はビールは11時過ぎると発売中止になるんだが、何故かチューハイは売ってくれるのだよ。違法だな。500円玉1枚入れて、140円のチューハイを3缶買ってくる。でチューハイを呑み呑み解答作り。案外捗った。が、細部の直しは今日以降やることにして、適当なタイミングで切り上げた。

で今日も職場に行くつもりでいたんだが、起きたのが結構遅かったので、今日は取りやめ。やっぱり呑んでから寝ると起きられない。明日行くことにして、今日は家で解答作りの続きをちょぼちょぼと。

今オリンピックの開会式がやっている。選手団の入場が次々と行われていて、見ても特に仕方ない所だから、流してこんなものを書いている次第。直前にまた不祥事が発覚して、一人委員が辞めていた。何とも「呪われたオリンピック」という感じだね。明日から競技が本格化する。こうなるともう「中止だ！」と騒ぐ人は出てこないだろう。選手は純粋に、昨日の自分越えを目指すだけ。恨み言は捨てて応援しませう。

今日で春学期の講義は全て終了

今日は11時半くらいに起きた。でシャワーを浴びて出発。サンドイッチを買ってゼミ中にかじる、ということにすれば間に合ったんだが、今日も遅くまでいるつもりだったので、がっつり食おう、ということで弁当を買って食べる。でゼミには5分くらい遅刻。最後まで申し訳ない。今日は素体 F_p 上の方程式 x²＋y²＝1 と x₁²＋…＋x_m²＝1 について。中々難しい。まさか全単射の定義を始めた。まあいいんだけど。それ以外はちゃんとしていたので。ツッコミどころは幾つかあった。見逃しがちな場所。ちゃんと埋めさせた。3時前に終了。2か月空いてしまうのが残念だ。これから面白くなるのに。早く平方剰余をやりたい。

早目に終わったので、部屋で会議の準備。それが済んだら、次は新しいパソコンのセットアップの準備。準備と言っても、IP アドレスをメモしたりとか、環境変数を記録しておくとか、そんな感じ。そうこうしているうちに会議の時間。

今日の会議のメインは、次年度の講義担当者決め。何でこんな早くやる必要があるかわからんが、去年はやったようなので、今年もやった次第。one drive でファイルを共有して、それにどんどん書き込んでもらう形でやった。順調に済んで、6時くらいには大体終了。まだいくつか空きがあるので、続きは追い追い。

その後パソコンのセットアップを始める。電源を落として、コードを全部引っこ抜いて、新しいパソコンに片っ端から突っ込む。で電源を入れると、無事映って、CDも鳴って、マウスカーソルも動いてと、まずは順調。が、IP アドレスの設定に手間取る。自動取得でなく、手動で入力しないといけない。ゲートウェーや DNS サーバーの設定も手動で。中々うまくいかなかった。でうまくインターネットにつながったら、次は Google Chrome の設定。これも思いのほかうまくいかない。Gmail の設定が出来て、ブックマークを取り込むまで結構かかった。で「い加川しいページ」が見えたところで、SageMath やら xyzzy やら teraterm のインストール。さらに Maple、Adobe Acrobat、MS-Office などをインストール。大体動くようになった。が、Ctrl と Caps Lock の入れ替えが済んでいないので、大分不便。もう遅くなったので明日やることにして、10時前に退散。明日のメインは TeX のインストール。これは大分時間が掛かるので、インストール中は有意義に過ごさないと。何か勉強しよう。

オリンピックが始まった。女子サッカーはドロー、ソフトボールはコールド勝ちと、中々の出来。明日は朝からソフトボールの中継があるようだが、まあ見ないな。朝起きる、というのをしばらくしなくて良くなったので、起きない。多分起きたころには試合が終わっているでしょう。職場には昼過ぎに向かう。明日は祝日なので、学内で食事が出来ない。ということで職場に行く前に食事をしないと。まあ夕食はデフォルトが学外食なので、かまわないが。明日中にパソコンの設定を終わらせて、晩は久々に飲酒しよう。

春学期の講義終了

昨日は寝不足だったので、いつもより早目に寝た。で今朝は速達が10時半頃に着いて起こされる。もう起きようか、と思ったんだが、まだ眠いので、もう一度寝た。でアラームをスルーして、起きたら12時過ぎ。シャワー抜き、昼飯抜きなら十分間に合う。ということで出掛けた。

今日は「線形代数学」の最終日。単因子を使って、正方行列が複素数体上ジョルダン行列と相似であることを証明。ふらふらになりながらやって、2時15分くらいに準備した分が終わってしまった。時間がもっと余るようだったら Maple のデモでもしようか、と思っていたんだが、10分くらいじゃデモしても面白くない。また別の機会にやります。

ちょっとアクロスウィング（っていう建物があるんです）に用事があった。講義室のあるコラーニングハウスI（っていう建物があるんです）は案外近くなので、講義の帰りに寄った。何の用事かと言うと、Adobe Acrobat を職場のパソコンにインストールしたい、でそのためには手続きが必要、と書いてあったんで。で手続きを済ませて、ユニオンスクエア（っていう建物があるんです）にある生協に寄って、弁当を買う。暑くて死にそうだった。個研室に戻って、冷房の電源を即入れた。弁当を食べて、しばしのんびり。その後堀田良之「代数入門 群と加群」で単因子の勉強。昔読んだときはチンプンカンプンだったが、今回講義のため単因子を勉強したんでわかるのではないかと思い読んだ次第。で案の定よくわかった。数学力が昔に比べると大分上がってるな、という認識を新たにする。PID 上の加群の話と思って証明を読んだ方がわかりやすい。x-行列とかいう変な言葉を出さないで済む。勉強になった。

4時半から教授会。今日は30分弱で終わりそうになったんだが、そこで物理の先生が何やら話題を。英語の宿題が重すぎる、それは学則と符合しない時間要求をしているからだ、と。この先生は学生から情報を聞いて問題提起、ということをよくやる。数学も一度餌食になっている。まあ仰せごもっともで、確かにおかしい。で英語の先生としばしバトル。話がそれてきたところで学部長がストップをかけた。もっと上のレベルの会議で話し合いましょう、と。助かった。ということでトータル50分くらいで終了。次の教授会は9月。当分平和だ。

その後講義資料のミスプリを直したり、学生の質問に答えたり、パソコン相手に大貧民をやったり（こらこら）とのんびり過ごす。明日のゼミをやれば前期の講義は終了。長い旅だった。採点があるな。講義に出ている学生は数少ないが、レポートは大量に出て来るだろう。まあ大丈夫です。変な解答が出ないような問題にしてある。全部で3日もあれば終わるだろう。そしたら少し研究をしよう。6月から講義の準備に追われて、何も研究らしいことをしていない。論文読みをしよう、うん。

明日からオリンピック競技が始まるそうだ。ソフトボールと女子サッカー。開会式前にやるのは変な感じだが、まあそういうレギュレーションでやることなってるんだから仕方ない。あれだけもめて、ついに始まるわけね。始まったら、後は無事に終わるのを願うだけ。直前にもトラブルがあっただけに、もう何も無いようにして欲しい。そんなに真剣に見ないかもしれないが、放送してれば見るでしょう。

貴源治が大麻使用とか。うーん。双子の兄者（名前失念）は暴力沙汰で相撲をやめている。兄弟子の貴ノ岩も暴力事件で。貴乃花は何を指導していたのだろう？「貴」の字が付けば無条件で応援していたんだが、残りは貴景勝くらいに成ってしまった。貴景勝も怪我で休場と、貴乃花の弟子達はだらしない。もうこれ以上問題を起こさないでおくれ。常盤山親方ががかわいそうだ。 

“知られている最大の素数” を着て学内を闊歩する

早起きできなさそう、断水、だから東横インへ、と昨日書いたが、結局今朝は早起きした。これなら住処からでも大丈夫だったな。まあいいんだけどね。

10時にチェックアウト。とてつもなく暑い。職場には10時15分くらいに着いて、45分の講義開始まで30分もある。暑くて耐えられない、ということで、生協の本屋で涼を取りながら時間をつぶす。45分から「代数学I」の最終回。今日は合同数の話をしてしのいだ。1が合同数でないことから Fermat 予想の指数4の場合が従うとか、逆に2が合同数でないことが従うなど。出席者は4名で、3名ノートをとっていた。そんなに真面目にされたんじゃ応えざるを得ない。暑い中ふらふらになりながらやる。

昼は例によって弁当。12時55分から院生向け「数理科学特論2」の講義の最終回。いつもの二人の他に、見覚えの無い女子学生が二人。あまりの学生の少なさに講義があると思わなかったのだろう。知らんふりして始めたら、急いで出て行った。で二人相手に講義。途中一人髪を染めた見覚えの無い学生が入ってきた。最終回だけ聴いて、レポートについて情報を得ようという腹か、と思い気にせず続けていたら、何やら GTM を開いている。それに A4 のノート。もしかすると小生の研究室の M2 君では、と思って見たらそうだった。何を血迷って髪を染めたのだろうか。眼鏡を掛けていたと思ったが、今日は掛けていなかった。気に成ったが、ノートをとっている二人を無視するわけにもいかず、必死に続ける。定時の5分前に準備してあることが終わった。というわけでおしまい。

でここで終わればいいんだが、先週同様 M2 君のゼミが待っている。今日も類数1の円分体の話。終わりそうだったんだが、終盤に落とし穴が待っていて、来週に持ち越し。今日終わりたかったね。まあ Odlyzko の判別式の下界の話など、大変ためになった。あの不等式はこうやって証明するのか、と。まあこういう計算は見せられても使えるようにはならない。やはり本格的に自分で何か証明しないと。で、そんなことは一生出来ないだろうから、気楽に構えて聴いた。今日は相対類数が1である円分体を大分絞れた。次回完結するでしょう。その後はどうしましょうかね。暑いし外出したくないが、1週間に1度くらい昼に職場に行かないと、生活リズムが目茶目茶に成りそうなので、続けることにしようか。この前買ったパソコンのセットアップを夏休みにやろうか。明日、明後日は Zoom を使う必要があり、また一から認証作業は面倒なので、セットアップをやるとした明々後日以降だな。まてよ、木、金と連休か。土日もあるし4連休だ。なら一気にやってしまおう。祝日なら事務方が全く出勤しないので、ウェストウィングの近くに車を停められる。暑い中歩かないで済む。よし、木曜日から2，3日でパソコンを乗り換えよう。

しかし暑いな。札幌が35度超えたそうだ。もうずいぶん前だが8月に室蘭に行ったことがある。「北海道の夜は寒いので、覚悟してきてください」と言われていったのだが、暑くてたまらなかった。部屋には冷房が無いときている。あの時は確か32度くらいだった。あれより暑くて冷房が無いとなると、死ぬな。いや、ほんと、冗談抜きに。北海道も最早冷房が必要な土地に成ったね。

今日は学内を「THE LARGEST KNOWN PRIME NUMBER」の字と共に数字がずらーっと書いてある怪しげなTシャツで歩いていたんだが、誰も突っ込んでくれない。やはり “omit 24861808 digits” ではあかんのやろか？

東横インに宿泊中

わけあって、「東横イン南草津駅西口」に泊まっている。わけって？明日の朝9時から昼1時まで住処が断水なのだ。8時半に起きるということがかなえば断水に巻き込まれないで済むが、恐らく目が覚めたら9時を回っているだろう、ということで、逃げてきたのだ。何でエポックじゃないのかって？うん、まあ、宿泊理由を書かされるのと、コロナのワクチン接種会場になっているので、何となく嫌だった、という程度の理由。6時にはチェックインしておく積もりだったのだが、相撲を見てしまい、実際のチェックインは7時半過ぎ。その後ファミリーマートで弁当を買ってきて食べ、DVDを1枚見た。松本清張の「疑惑」。鬼球磨を演じるのは黒木華で、鬼球磨の弁護をする弁護士は米倉涼子。この前やっていたのは田村正和が弁護士だったので、変な感じ。まあ時節柄女弁護士もいいだろう、ということでしょう。ちょっと脚色が過ぎたかな。まあ面白かった。

で相撲だが、過去5例しかない千秋楽全勝決戦。何となく白鵬が勝つんじゃ、と思っていた。で立会いは例に寄って白鵬が変なことした。手を出して立って、そこから肘打ち。照ノ富士は白鵬のペースに乗せられた。張り手の押収など、完全に白鵬ペース。最後は小手投げが決まって、白鵬が全勝優勝。照ノ富士は残念ながら14勝1敗。まあ横綱には成れるようなので、よかった。来場所は東西横綱が並び立つ。楽しみだね。

明日は祝日だとばっかり思っていた。春学期最後の月曜日と言えば、毎年祝日をつぶしての講義と決まっていた。今年はオリンピックのため、祝日が動いているらしい。ならしゃあない。明日は文句を言わずに講義をしないといけないね。オンライン講義に手を焼いた春学期だった。それも終わるのかと思うと嬉しい。まあ夏休みは別の仕事で手を焼くだろうから、わずかしか休めないが、しばらくノンビリさせてもらおう。

プロ野球のオールスター第2戦

今日は宅配（無視）、固定電話（無視）、スマホ（熊本の友人（≠みすたあ）からの電話。出た）と、3度安眠を妨害された。ということで、目茶目茶遅くまで寝た。それでも何か疲れている感じ。まあ特に何をすることも無い1日なのでいいんだが。

でまず相撲。今日照ノ富士、白鵬が共に勝つと、史上6度目の千秋楽14戦全勝での対決に成る。わくわくして見る。照ノ富士は危なげなく勝った。で白鵬だが、何やら土俵際で仕切って、立ち合いはぶちかまさずと、怪しげな行動に出た。正代のぶちかましを恐れたか。横綱のやることじゃないね。立ち合い変わったこともあるし、白鵬の行動には色々批判が寄せられる。今日のもそうなるだろう。まあ何にしても明日が楽しみだ。

その後プロ野球のオールスター第2戦。2回表に Tigers の佐藤輝明のソロホームランでまずセ・リーグが先制。が、2回裏に Buffaloes の “ラ王” 杉本がソロホームランで同点。3回裏に Eagles の島内の2点タイムリーで1－3。そのまましばし膠着状態。8回表に Giants の坂本がレフトへ2塁打。Hawks の柳田が3塁へ悪送球。で 2－3。Tigers のマルテがタイムリーで同点。が8回裏に再び島内のタイムリーで3－4。それが決勝点で、パ・リーグの勝利。MVP は3打点の島内。今日は Eagles の本拠地で行われた試合だったので、Eagles の選手が MVP を取ったのはいいこと。盛り上がりました。

盛り上がったのは得点シーンだけではない。判定を巡ってセ・リーグの原監督がリクエスト、判定が覆るという一幕があった。他にも Dragons 大島のホームスチール。先にホームに着いたんだが、2アウトで、バッターが1塁でアウトになったため、得点ならず。残念。皆持ち味を発揮していて、面白かったです。明日からしばらくプロ野球が無い。野球を見たかったらオリンピックを見ればいい。しばらく Baystars の勝ち負けを気にしないで済むので、精神的にはよい。オリンピックの野球は、まあ金メダル取って欲しいが、過度の期待をしていないので、楽に見られる。楽しみましょう。

東京の新型コロナウィルスの感染者が相当増えているようだ。オリンピックはバブル方式とか言う万全の策を練っているらしいが、逃げ出した選手がいたり、外で酒を呑んでいる関係者がいたりと、とても安全とは思えない。オリンピックまで1週間を切っている。気を引き締めてください。

プロ野球のオールスター第1戦

昨日でかい口をたたいたが、寝坊した。うーん。まあ学科から二人出ることになっていて、一人はちゃんと行ってくださったようだから、まあ重大事ではないです、はい。とにかく早く職場に着かないと。しかし、こういう時は運転が荒くなって事故を起こしやすいだろうから、慎重が上にも慎重に。幸い、と言うと変だが、京都東－大津間で1kmの渋滞があったので、そこで落ち着きを取り戻せた。遅れるなら何分遅れても一緒だ！と開き直る。で職場に着いて、途中から打ち合わせに参加。まあ大体想像していた通りのことを話していたようなので、よかった。いや、良くないんだ。よくないことがあったからの打ち合わせ。想像していた通りというのは悪い内容。相変わらず困った人だ。

打ち合わせ終了後車へ。遅れていたので、コアステーションに近い所に車を停めたのだが、そこは停めちゃいけない所。で急いで動かそうと思っていったら、もうワイパーに警告書が挟まっていた。素早いね。急いで駐車場に車を移した。

で昼飯は外で食べようかと思ったんだが、面倒くさくなって、いつもの通り冷えた弁当。魚食を増やしなさい、と保健センターの先生に言われていたので、ハンバーグとカツ、ポークピカタでなく焼き鮭弁当にした。まあいいでしょう。

その後部屋で時間割関係の雑用を少々。あまりよくわかっていないことが沢山あって、ほとんど進まなかった。それと、通販で買ったパソコンの領収書が必要だったのだが、それを Yahoo のページからダウロードしないと行けなくなり、これが上手くいかずに悪戦苦闘。ようやくできた。その頃には既に4時近かった。今日は6時からプロ野球のオールスターを見る積りだったので、もうあまり時間が無い。ということで会議資料を読んだりと、生産的でないことに時間を使う。

6時からオールスター、と言っても、テレビ朝日のこと、試合はきっと6時半からで、放送が6時からなのだろう、と思っていたら、試合開始が本当に6時らしい。で5時半前に個研室を出たんだが、駐車場まで10分ほど、さらに「草津JCT－大津 渋滞5km」の表示。5時台は混むのを忘れていた。最近は10時頃に職場を離れることが多かったので、帰宅ラッシュのことを忘れていた。ちょんぼ。

で住処に着いたのは6時15分くらい。もう1回表が終わっていて、1回裏から観戦開始。パ・リーグの優勢で進むも、Carpの菊池涼介の逆転2ラン。が、パ・リーグが内野安打とショートTigersの中野の悪送球で追い付く。これは面白い。送りバントがあったり申告敬遠があったりと、工藤、原両監督は必死に勝負。最後はさっきチョンボした中野が押し出しの四球を選び、決勝点。5－4。見ごたえがあった。MVPは4安打1ホームランの菊池涼介。文句無しだね。Tigers近本の一昨年のオールスターからの7打席、7打数連続安打の新記録も見事だった。Lions の平良海馬とSwallows村上の同学年対決も見応えがあった。

Baystars 勢は、三嶋が1イニングをランナーを出しながらも無失点、佐野はチャンスの場面もタイムリーを打てず、悔しさが残る試合に。もう一人選ばれている康晃は今日は投げなかった。明日出て来るのでしょう。途中1塁コーチに立っていた。こういうのもオールスターならでは。明日も見る。

相撲を全然見ていなかったが、横綱白鵬と大関照ノ富士が13連勝とか。照ノ富士は先場所までの2場所連続優勝と、もう確定している今場所の優勝乃至優勝に準ずる成績（もう優勝争いは白鵬と照ノ富士に絞られている）で、横綱は確定的らしい。強い横綱に成って欲しいね。膝が悪いからあまり長いこと出来ないんでは？という雑音があるようだが、気にしないで頑張って欲しい。

運転は上品に

昨日書いた（予言した？）通り寝坊してしまった。前期のゼミは今週で最後なのだが、最後までだらしなかった。申し訳ない。今から2か月空いてしまうのは気掛かりだが、まあ本人が「資格の勉強をしたい」というのだから、その気持ちは優先してあげないと。

3時半に小生ではないK先生と待ち合わせがあったので、職場に向かう。雑用がらみで。丁寧に説明してくださり、よくわかった。これで来週の会議は乗り越えられそうだ。ありがとうございます。

その後個研室で勉強、と行きたかったが、眠いのと雑用のことが気掛かりで、勉強出来なかった。まあ来週の講義最終回はどうにかなる、という手応えがあるので、いいんだが。でだらだらと雑用をして、一歩前進。が、一歩後退したこともあったりと、いいことばかりではない。まあ夏休みにちまちまやりますわ。9時過ぎまで職場にいた。

晩飯を摂って、コンビニで定期購入しているものの支払いを済ませて帰宅。今日一番興味があったのは池袋の暴走事故のことなのだが、あまりニュースに成っている様子が無い。変だな、と思ったら、今日判決が出るのではなく、裁判が結審だった。そうか、どうりで。求刑は過失運転致死傷としては max の7年とか。年寄をいじめるな、という意見もあるようだが、人を二人死なせたのは事実。ちゃんと償って欲しいね。「ブレーキの故障」とか「ブレーキを目視して踏んだ」などと言い訳せずに。ブレーキを目視して踏む、というのはかなり無理な体制で見ないといけない。そんなこと、どう考えても無理。

しかし車は怖い。あんな巨大な金属の塊が、ものすごいスピードで突っ込んでくるのである。動く凶器だな。安全には必要以上の配慮をしないと。まずはスピードの出し過ぎをやめることが第一だと思う。今日も逢坂山で登坂車線を全速力で走って小生を抜いた車がいたが、登坂車線が無くなった後は片側1車線、しかも今日は頂上付近からしばらく工事で片側交互通行の規制が掛かっていて、抜いていった車は小生の1台前で止まっていた。抜いた意味ない。その後も、信号が変わる前からクリープで前進して停止線を越えた車があったりと、皆運転が下品。別段１分1秒を争うほど急いではおるまいに。トイレでも行きたいか？職場に行くときも、追い越し車線を全力で突っ走って抜いていった車があったが、どうせちょっと行けばトラックが80km/hくらいで走っていて、詰まるのが目に見えているのに。もっと気長に行きましょう。運転はスピードを抑えて上品に。まあそうは言っても事故は起こすもので、小生もあまりでかいことは言えない。まあ気を付けますわ。

明日は9時半までに職場に行かないといけない。いや、正確に言うと、9時半までにコアステーション（どこ？）の第4会議室に行かないといけない。ということで職場には9時くらいに着かないと。ということで8時前に起きる必要がある。昼に起きられないお前がどうして8時前に起きられるんだ？と言うかもしれないが、こういう時は小生あまり遅れない。まあ遅れたこともあるが。とにかく今日はもう寝ます。

半日雑用に励んだ

今日も目が覚めたら12時15分。まずいですね。まあ明日のゼミはオンラインなので、それくらいに起きれば問題無いんだけど。そうやって油断するともっと寝坊するから、気を付けないと。

でゼミの開始は少々遅れた。今日は原始根の存在と、xⁿ＝a の形の F_p 上の方程式について。オイラーの規準と第1補充法則の証明をしてしまったんだが、学生はまだそんな先のことは知らないだろう。ということで楽しく終了。

その後個研室で野暮用に励む。来年度の時間割関係の雑用が、こんな時期から始まる。前はもっと遅くても平気だったのだが。で分からないこと多数なので、あちこちにメールを書く。で明日も職場に行く羽目になった。明後日も行くので、今週は平日毎日職場に行くことになった。え？普通だろって？我々の業界では普通のことではない。今までは大体週休4日だった。去年から木曜日も出勤することになったんだが、今年は木曜日のゼミがオンラインなので、月、火、水だけ職場に行けばよかったのだ。注射が今週だったら週6日職場だったのだが、それは避けられてよかった。

雑用に励みながら野球のチェックも忘れない。2回に満塁から桑原のタイムリーで2点取って、幸先いいスタート。その後1点取られて1点取ってまた1点取って、8回に康晃が2点取られ1点差。なお満塁のピンチでバッターは佐藤輝明。ピッチャーは砂田に交代。ここで点を取られて追い付かれたら帰ろう、と思ったんだが、佐藤は三振に打ち取られ、帰ることが出来なくなった。9回は1アウトからストレートの四球を出すも、その後は三嶋が抑えて、一昨日のようなことはなかった。これで連勝。Tigers 相手に3連戦勝ち越しと、去年までなら考えられないことをした。対戦成績も7勝8敗と、もう少しで5割。存在感を見せましょう。幸い Giants が目茶目茶な負け方をしてくれた。どすこい山口が2回持たずに交代。いいですね。後半戦は Giants をたたきましょう。

ココ壱でカレーを食べて帰宅。今日も一応気を使ってエビあさりカレーにする。帰宅して「報道ステーション」にあわせる。メジャーのオールスターが行われたそうで、スポーツコーナーはそのニュースが主。大谷は一番DHで出場して、かつ先発ピッチャーという、何だかわからない凄さ。打つ方はいまいちだったようだが、投げては1イニングをパーフェクトに抑えて勝ち投手に成った。凄い。また一つ伝説を残したね。後半戦も活躍してもらおう。川上憲伸は「10勝50ホームランでMVP」とか言ってたが、やっちゃいそうで怖い。何にしても楽しみだ。

Baystars 1週間ぶりの白星

目が覚めたら12時15分。ぎゃ！12時25分には出ないと間に合わないので、急いで出発。幸い2分程度の遅れで済んだ。昔は意図的に5分、10分と遅れて講義室に行ってた。小生が学生だった頃は先生方は必ずそれくらい遅れて来ていた。が、アンケートに「毎回遅刻するのやめてください」と書いてあったり、学生が小生が寝坊して遅れてくるようなことをブログに面白おかしく書いていて腹が立ったこともあって、極力遅れないようにしている。おかげで講義には大幅な遅刻は無い。ゼミにはしょっちゅう遅れているが。今日は「線形代数学」。多項式を成分に持つ行列の単因子の存在と一意性。存在は割と簡単なんだが、一意性が割と難しい。階数が0でない小行列式の最大次数と一致していることなどが必要となる。他にも行列式因子が基本変形で不変であることなど。たっぷり1時間半。今日は暑くて大変だった。ふらふらになって終了。

外に出てみると雨が降っている。大した降りじゃないんだが、傘を持っていない学生を心の底でバカにすべく、傘をさす。すると雨が強くなってきた。生協に弁当を買いに行って、個研室に持っていくには鬱陶しい雨。まあ大雨と言うほどの降りではなかったので、我慢する。

勉強するには疲れているので、飯を食べてしばしゆっくり。メールの読み書きなど。1時間くらいで汗がひいてきた。でそこから遅くまで勉強、というのが毎週のパターンだったが、今日は月1の保健センターの日なので、3時半頃に保健センターへ。1か月前にやった血液検査の結果が出ていた。悪玉コレステロールが少々高いらしい。「最近肉食が多くありませんか？」と聞かれた。Uber Eats で豚カツだ、ハンバーグだとやっているわけで、その通りだった。もう少し魚を食べるよう言われたが、中々難しい。今度回転寿司に行くか。

でいつもはそのまま10時過ぎまで職場にいるんだが、今日は薬をもらいにいかないといけない。ドラッグストアの調剤薬局は8時まで。ということで7時前に個研室を後にする。その時点で Baystars が4－0でリードしていた。7時半頃にドラッグストアに着いて、薬を受け取る。調剤中に野球の速報を見たら、4－0のまま。その後近所のなか卯へ。肉が多い、と言われていたので、鰻にした。

で8時半くらいに住処に着いた。野球を見ると4－1。1点取られてなおピンチ、と言う場面。が、そこは先発の坂本が投げ切り、8回へ。藤浪がリリーフに出てきた。昨日は3者連続三振と言う、すごいピッチングをしていたようだが、今日は先頭打者に四球、その後タイムリー連発で4失点と、悪い頃の藤浪。8－1となり、ほぼ試合は決した。9回にソロホームランを打たれたが、大過無し。今日は昨日打たれた三嶋がベンチに入っていなかったそうで、大量点リードでよかった。これで引き分けをはさんでの4連敗が止まった。よかった。Carp が勝ってしまったので最下位脱出とは成らなかったが、まあいいです。今日は Giants が得意の一発攻勢を Swallows にやられ、14点取られて負け。これで Tigers が前半戦首位ターンが決定。前の東京オリンピックの年は阪神 vs. 南海の関西ダービー日本シリーズだったそうだが、今年も阪神 vs. オリックスの関西ダービーが期待される。そうなって欲しいね。おっと、まだ Baystars が日本シリーズに出る可能性が無いではない。そちらを期待しないといけないね。

野球終了後「報道ステーション」へ。酒屋に呑み屋に酒を卸すな、と国が命じた形に成っていたが、撤回したそうだ。当然でしょうね。感染を抑えたいという気持ちはわかるが、いささかやり過ぎ。権力に物を言わせれば何でも出来る、という発想を持っているとしたら恐ろしい。そういう時代ではないことを実感できたでしょう。まあ重畳ですわ。

今日はあちこちで急な大雨があったそうだ。滋賀のは大したことなかったな。

大谷がメジャーリーグのホームランダービーに出場。残念ながら1回戦負けだそうだ。延長戦も含めて28本打ったそうで、存在感は見せた。明日はピッチャーで先発だそうだ。で DH も大谷らしい。何のこっちゃ？ルールを変えたそうだ。影響力たるやすごいね。明日は見られそうもないが、楽しみだ。

オリンピックまであと10日。ごたごた続きだったが、もうやるんでしょう。野球の日本代表の面々が調子を上げているようだ。期待しよう。アメリカ代表のオースティンがホームランにタイムリー2ベース。どん底は脱したようだ。日本戦では大人しくしといてな。

2アウト無走者から4点取られてサヨナラ負け ;_;

昨日は超早寝。9時くらいに寝た。で今朝は8時半に起きた。徹夜の疲れはすっかり取れた。で元気に講義、といきたいところだったが、一番熱心に聴いている科目等履修生が「月曜日は＊＊という事情で欠席します」とメールをよこした。一気にやる気が失せる。何しろ午前中の講義でノートをとっているのは彼くらい。もう一人前の方に座っている学生がいるのだが、薄ら笑いを浮かべて、ノートをとる形跡が無い。後の学生は後ろの方で内職。というわけで、やっても仕方ないということで、フェルマーの最終定理の指数4の場合をやって、それで終了にした。午後は、元々の出席者が3名。そのうちの1名が上述の学生なため、こちらもやる気が起きない。もう1名は板書をうつしている。もう一人は整数論の学生なため、よくわかっていると見えて聴いてるだけ。ということでこちらも短時間で終了。肉体的には楽な一日だった。

で終わりならいいんだが、まだM2の学生とゼミがある。今日は類数1の円分体の証明の途中。L 関数の下界を与える話。何だかいっぱい計算している。どこがへそかよく分からないうちに結論が出ていた。1/4 で下から抑えるところは、0.254 くらいで押さえられていたりと、結構微妙。解析的な議論はやっぱり苦手だ。5時過ぎに終了。

その後齋藤正彦「線型代数入門」で、ジョルダン標準形について勉強。こちらもよくわからない。肝心なところの説明があまりちゃんとしていない感じ。例も書いてあるが、単因子の計算が結果だけ。まあ10次行列なので、真面目に計算されても困るんだが。ということで挫折して終了。数値例の計算くらい出来るようになろう！と思ったんだが、固有多項式が3重解を持つ3次正方行列の場合の計算がよくわからず、こちらも挫折して終了。また明日やります。

で例によって野球をネットで流しながら。ノーアウト満塁から内野ゴロで1点、7回に2点取って、9回は三嶋。勝っただろう、と思ったら、2アウトから4失点でサヨナラ負け。うぇー。Carp が勝っている。まずいぞ、また -0.5 差で助からないか、と思ったら、今回は無理で、正真正銘の最下位転落。Dragons が負けてくれてよかった、とか言っていられない。何しろ相手が Carp だから。明日は Baystars 勝って欲しい。その後特任教授の I 先生にメール。I 先生は Tigers ファンなので、大事な用事のメールの最後に「明日は勝たせてください」と書いてしまった。まあいいか。

今日も10時近くまで職場にいた。晩飯はどうしよう？と考え、結局吉野家にしてしまった。10時半近くに吉野家に入ったんだが、「11時閉店ですがよろしいでしょうか？」と聞かれた。何やら清掃があるらしい。まだ客は沢山いたが、あれ全員帰すんだろうか？大変だな。食事が来るまでスマホで情報を仕入れたんだが、Buffaloes が首位でオールスターを迎えることが決定したそうだ。嬉しい。こうなると優勝確率51%。案外低いな。前年度最下位からだと3例しか無いらしく、うち1回は近鉄 Buffaloes とか。いいですね。今年も行きましょう。

副反応らしきものは訪れず

副反応らしきものは何も訪れず、いたって快調。何しろ徹夜したくらい。ダラダラとマインスイーパーをやったり、ちょっとだけ数学したりしてるうちに朝に成ってしまい、「まあいいや、今晩は超早寝で辻褄を合わせよう」ということにした。その後もダラダラと線形代数。単因子とジョルダン標準形の関係がようやくわかった。2つばかり数値例を計算して、理解を深めた。これでもう線形代数学は大丈夫だな、と言う手応え。でその後 Maple をいじって、色々新しい発見。LinearAlgebra っていうパッケージがあるが、Student [LinearAlgebra] っていうパッケージもあり、前者に二つの行列が相似かどうか尋ねると true か false かしか答えてくれないんだが、後者は P^-1AP＝B となる P も教えてくれる。これはいいですよ。また線形代数の演習を担当することがあったら、答え合わせに使おう。

そんなこんなしてるうちに2時。野球の時間。今日まで vs. Dragons 3連戦。3タテだけはされちゃならねー、というわけで1回表に幸先よく先制。が、例によって追加点が取れない。そんなこんなしてるうちに、6回裏にまとめて5点取られる。何となく昨日までならここでしゅんとしてしまうのだが、今日は違った。8回表に牧のホームランなどで3点、9回表に佐野のタイムリーで1点取り追い付く。最後は三嶋が1アウト満塁のピンチを作ったが、木下拓哉をホームゲッツーに打ち取り、引き分け。5点取られた時にあきらめなくてよかった。贅沢を言えば勝ちたいところだったが、真上のチームに3タテを食らわなかったのはよし。明日からは Tigers 3連戦。存在感を示しておくれ。

首位打者はオースティンだとばかり思っていたら、いつの間にか佐野に成っている。6月は4割打って月間MVPを獲得したオースティンだが、今月の打率は何と .080。.340 を超えていた打率は .320 を下回っている。いつの間にか3位に落ち、4位の桑原が猛追。オースティン、頼む。あと3試合は元気に打ってくれ。オリンピックでは大人しくしてくれてかまわないから。

晩飯は Uber Eats で「から好し」の唐揚げ、と決めていたんだが、近くに配達パートナーがいない、という情報。小生がいつも頼む店は全滅。仕方ないので久々の出前館に。駅前の王将の「にんにく激増し餃子」といつもの「キムチチャーハン」。間違いの無い味。今日はエネルギーを全然使ってないから、麻婆豆腐は無しにした。今度王将の店舗で頼む時は、ジャストサイズ（普通の量の半分）を頼むことにしよう。

ワクチン接種1回目を済ませてきた

前にも書いたが、今日はワクチン接種の1回目。5時40分に予約を入れてあったので、5時半頃にエポックを目指す。で手続きの時に「2回目の予約は取られてますか？」と聞かれた。「2回目の予約を取られていないと受けられませんが」と言われた。どうすんだ？と思ったら、今予約できる、とのこと。何でい。でさくっと予約を取って、接種可能状態になった。院生の F さんも現場にいたが、同じことをしていたようだ。もっとわかりやすく書いて欲しかったね。その後無事接種を受ける。会場に15分待機、と言われて、「18時2分まで」と書いた紙を渡される。で18時1分くらいに、「もういいだろう」と思って立ち上がったら、「もう1分待ってください」と言われた。そこまで厳密にやらなくても。で別段副反応らしきものは出なかった。もしかすると明日以降出るかもしれない。明日1日はいいが、明後日には普通に戻っていますように。

その後個研室で勉強。同じ本で勉強すると飽きるので、齋藤正彦「線型代数入門」のジョルダン標準形のところを読もう、ということで読み始める。途中まではよくわかったんだが、途中からさっぱりわからなくなった。今日の所はめげて、月曜日に読み直そう、ということにして終了。その後「代数学I」の準備をちょっとだけ。PARI/GP で楕円曲線の analytic rank を計算させようとしたら、「そんな命令は知らない」とすねられる。おかしい、出来るはずだが、と思ったら、PARI/GP が2013年のもので、まだその命令が搭載される前だった。ということでアンインストールして、新しいバージョンをインストール。すぐ出来た。で資料をアップデートして印刷。これで月曜日は駐車場から講義室へ直で行けばよくなった。

その後ちょっとネットサーフィン。で見付けたのが「教員免許の更新制度廃止へ」という話題。何だ、ついこの間更新制度が出来たばっかりじゃないか。教諭が夏休みに大学へ行って教習を受けるのが負担、それを忘れて免許を失効してしまう教員が結構いる、もしもの時に臨時教員を頼まれるはずの人達が失効してしまう例が多数、など。臨時教員がいないので、教頭先生が現場に立っている例もあるとか。でもう一つ大きな理由。教習は役に立ったか、と言う声に「No」と言う答えが多数。それならいよいよやる意味無いね。自動車の運転免許と違って、間違えても危険じゃないし。いや、間違いはあかんのよ。ただそれは免許を持っているかどうかと独立なはず。本人の心掛けしだいだからね。それに生徒にいたずらするとか盗撮するとか、そういうのも免許があるのとは独立な事象だし。変質者は何の仕事にもいるもんだ。ということで廃止大賛成。

10時過ぎまで職場にいて、「すき家」でエビチリ丼を食べて帰宅。帰ってきてテレビを付けたら、何やらコアな野球ファン達が出ている番組が。「プロ野球魂」。なるほど、もうすぐオールスターだし、この時期にこういう番組をやるわけね。知ってたら録画しておいたんだが。途中からだが楽しく見た。「幻のイチロー vs. ゴジラ松井」と「山本和範涙の決勝ホームラン」が同じ年だったというのが面白かった。他にもコアなネタ多数。後で配信してくれるようだから、それで見ようかな。

マインスイーパーで8が出た

昨日は早寝するつもりだったのだが、つい起きていてしまった。で遅く寝て、今朝は電話で起こされた。銀行の人から。この前担当が変わったばっかりだと思ったら、また変わるらしい。その挨拶に来たいと言うが、今日はパス。来週の金曜日も午前中に会議があるので、またパスするでしょう。で一旦起きたんだが、やっぱり眠いのでもう一寝入り。2時くらいまで寝た。

で飯を食って、さて勉強、といきたいところだったが、どうも集中出来ない。1箇所疑問を解決した以外は、目立った成果は無かった。まあいいです。来週の分のめどは立っている。再来週の分を来週仕上げれば、それで夏休みなので、来週の月、火、水で気合を入れます。

今場所初めて相撲を見た。照ノ富士 vs. 逸ノ城が大型力士同士で面白いのでは？と思って見ていたが、照ノ富士の圧勝。同じ時期にモンゴルから日本に来た両者だが、すごく力の差が付いている。逸ノ城も強かったがな。白鵬も勝って、全勝は白鵬と照ノ富士だけ。1敗が沢山いたんだが負けに負けて、琴ノ若が唯一1敗。白鵬の復活Vか、照ノ富士が連覇で綱取りか、というところに早くも興味が絞られた感じ。明日以降はまた見られないだろうから、深夜のダイジェスト版を見ることにする。

5時45分から野球だが、相撲を結びまで見たので、見始めたのは5時58分くらい。今日の先発は国吉との交換トレードでやってきた有吉。国吉を出してまで取りたかった投手はどんなもんじゃろかい？と思って観戦。6回2/3を2失点といい内容だった。これくらい投げてくれるなら文句は無い。今後もいい内容を見せてもらおう。結果は負け。打線が1点しか取れなかったので仕方ない。これで4位 Dragons と2.5ゲーム差。またちょっと開いたね。明日、明後日と勝って、再び0.5ゲーム差にしてもらおう。で6位 Carp が勝っていたので、まずい、0.5ゲーム差だ、と思ったら、9回裏に Swallows が追い付く。おっ！というわけでインターネット観戦を Swallows vs. Carp に切り替える。申告敬遠で満塁。バッターは代打・内川。センターへのタイムリーヒットでサヨナラ勝ち！よかった。これで最下位 Carp とは1.5ゲーム差のまま。明日、明後日も Swallows に頑張ってもらおう。でもう1試合の Tigesr vs. Giants だが、Tigers が3点リードの場面で降雨コールドゲーム。これで1位と2位は3.5ゲーム差。しばらくは順位の変動は無いな。よかった。

今日はやたらとマインスイーパーをやった。でついに出た。8。そう周りを全部爆弾が囲んでいる状態。7は割とよく出るんだが、8は2回目。前は Windows 付属のやつで、今度は https://www.afsgames.com/mine.htm で。8は最後まで開けないから、中々出会う機会は無いんだが。今日は爆発した後に画面を見ていて気付いた次第。今までも気付かないだけで何回か出ているのかもしれない。とりあえずスクリーンショットを撮って、Word を開いて貼り付けて、Acrobat で pdf に変換。見たい人がいたら言ってください。mine8.pdf と言うファイルを作ったんで、いつでも差し上げます。

明日も雨だそうだ。京都の最低気温は25度で、最高気温は32度。ウェー。蒸し暑いだろうな。嫌だ嫌だ。

木曜日は燃料切れ

相当寝坊。どうも月、火、水と頑張り過ぎるためか、木曜日にパワーが残っていない。待たせて申し訳なかった。今日から連分数。面白くなってくるぞ。

でゼミ終了後もう一度横に成ってしまった。やはり燃料切れ。食欲より睡眠欲が優先してしまった。で目が覚めたらもう相撲が終わっていた。今日は久々に相撲の時間に住処にいたのに、残念。野球も久々に見た。桑原の3ランホームランで先制するも、その裏にすぐ2ランホームランを打たれて1点差。その後内野ゴロの間に1点取られ同点に。打線はと言うと、点が入りそうにない感じ。そんなこんなのうちに長野に2ランホームランを打たれて3－5に。最後は栗林に抑えられて負け。うーん、最下位相手に勝ち越したかったところだが、1勝1敗1分か。まあしゃあない。明日明日。4位 Dragons が勝って、再び1.5ゲーム差。順位を上げるというのは難しいもんだ。

今日は調子が出ない。なんもしてない。今日は早目に寝るか。明日は1日用事が無い。有効に使わないと。土曜日にワクチン接種を受けるので、日曜日は副反応でだるいかも知れないので、明日色々しないと。

オリンピックだが、首都圏は無観客に成ったようだ。横浜スタジアムはオリンピックのために大々的に改修して、収容観客数を増やしたのだが、意味が無くなってしまった。まあ仕方ないです。コロナが収まったら、横浜スタジアムには超満員の観客が来る。それを楽しみにすることにしよう。

1が合同数でないことの証明を完成

目が覚めたのは11時45分くらい。今日はシャワーを浴びたかったので、飯抜きでシャワー。職場には12時50分くらいに着いたんだが、昼飯を確保すべく生協へ行ったため、ゼミには遅刻。毎週好例になりつつある。いけませんな。反省。

今日はオイラーの定理、フェルマーの小定理から。オイラーの定理から先に証明したので、フェルマーの小定理は系。しかし何故かフェルマーの小定理の証明をえっちらおっちら始める。まあいいんだけど、系だからね、ということで突っ込む。わかってくれた模様。その後はメルセンヌ数とフェルマー数の素因数の形が制限されることを示して、実際に素因数を見付ける話。メルセンヌ数が出てきたから、現在知られている最大の素数についてコメントしておく。3時前に終了。4章は飛ばして、来週は5章。

その後個研室で講義の作戦練り。1が合同数でないことの証明は、本に書いてある通りだと出来ないことがわかった。4で割れる、と書いてある数が mod 4 で 2 と合同であることがわかってしまったので。昔読んだ時にこの証明は間違っている、と思ったのを思い出した。その時はどう修正したか覚えていなかったので、何とかしようと踏ん張る。で色々試したり駄目だったりで、6時過ぎに修正が終わった。無限降下法で証明という大筋は合っていた。途中はかなり細かい議論の繰り返しで、もう一度一から読み直して、大丈夫であることを確信した。こういうことが出来ると、自分も捨てたものじゃないと思う。長年の修練の積み重ねの結果だ。もっと励もう。その後線形代数やら院生向きの講義やら。

例によって野球はオンライン観戦。ホームラン2発で3点取ったが、そこからがよくない。ノーアウト満塁のチャンスで1点も取れず、1アウト3塁はランナーがホームに突っ込んでアウトと、相変わらずの決定力不足。そんなことをしているうちに追い付かれて、今日は引き分け。4位 Dragons が負けだけに勝ちたかったところ。まあいいです。これで4位まで0.5差になった。明日にも4位浮上。いいですね。

で Buffaloes 戦の経過も見ていたんだが、5－1とリードしている。今日ももらったか、と思って気を抜いていて、しばらく経ったら5－6になってる。おい！9回2アウトから浅村にタイムリー、島内に3ランホームランを打たれて追い付かれ、さらに岡島のソロホームランでひっくり返されたそうだ。うーん。まあ仕方ない。明日明日。いつの間にか Marines が5連勝で2位に成っている。2.5ゲーム差。まだちょっと大丈夫だな。

東京はまた緊急事態宣言だそうだ。オリンピックは大丈夫なんだろうか？緊急事態宣言下でもオリンピックはやる！と前に高らかに宣言していたので、やるんでしょう。やるからには選手一同頑張って欲しいね。

1が合同数でないことの証明の理解に手間取る

目が覚めたら12時8分。12時25分に住処を離れれば何とか間に合うので、急いで出発。何とかなった。

12時55分から「線形代数学」。心配された出席者は15人。コロナ対策で200人くらい入る教室を使っているので、実にスカスカ。まあ楽しくやろうと決めていたので、気にせず進める。今日はジョルダン分解の一意性から。色々準備が必要で、思ったより掛かった。その後単因子。x-行列とか言う新しい言葉が出て来る。対馬先生のオリジナルかと思ったら、元は齋藤正彦「線型代数入門」のようだ。いかに齋藤正彦の本を読んでいないかがばれてしまう。この本では標準化の前までしか読まなかった。また時間を作ってじっくり読みたいところ。で x-行列の逆行列とか基本行列とか基本変形とか定義したら時間が来てしまった。来週は単因子を定義して、標準形に変形できることや一意性を証明する予定。

で疲れて個研室に帰ってきたら、ポケットに何か異物が入っていることに気付く。何じゃ？と思ったら、マイクを持って帰ってきてしまったのだった。しかも傘を講義室に置き忘れている。あほくさいが、4限の講義が終わる頃に講義室にもう一回行かないといけない。まあいいか、ということで、それまで勉強。で4時に部屋を出て、C203講義室へ向かう。が、また忘れ物。マスクをしていない。このご時世にマスクしないで歩くのは十分異常者だ。顰蹙を買っているだろうと覚悟しながら歩く。で用事終了。

その後来週の「代数学I」の準備。合同数をやろうと決めていたので、勉強する。合同数であることが連立 Pell 方程式の可解性と同値であることの証明で案外手間取る。でそれが片付いた後、1が合同数でないことの証明に手間取る。ある本の訳本を見ながらやっていたんだが、1本の式に二つ誤植があるという、悲劇的な状況。1ページに3か所誤植があった。幸い原書も持っていたのでミスプリに気付いた。危ない。最初の方にあんなに誤植があるんでは、後ろの方はもっと絶望的か。まあいいんだけど。で1が合同数でないことの証明の完全理解とはいかず。1箇所どうしてもわからない。まあそこをクリアしたことにして、続きの準備。次は2が合同数でないことの証明。これはフェルマーの大定理の指数4の場合に帰着される。で楕円曲線の階数の言葉に翻訳するんだが、そんなことをやっては難し過ぎる。でちょっと頑張って、A が合同数 ⇒ y²＝x(x－A)(x＋A) に y≠0 なる有理数解がある、とすれば簡単、ということがわかった。そこまでやって、色々いじくって、今日も10時近く。毎日充実しているな。明日も多分そうなるでしょう。

で野球の状況は定期的に確認していた。今日から最下位 Carp と3連戦。気付いたら6時を30分以上過ぎていたんで、急いで見ると、0－2という状況。うむ、Carp 相手に落とすわけにはいかんぞ、と一旦数学へ戻る。で再び野球に戻ると、同点。オースティンが2ランホームランを打ったようだ。その後再び数学。で改めて見ると、バッター佐野でランナーが一人いる状況。ちょっと注目。すると出ました、佐野の2ランホームラン！そのまま逃げ切って4－2 で勝利。2ランホームラン2発で4点か。らしい点の取り方やね。まあ勝ち方はいいんで、5位以上安泰くらいまで行ってもらおう。実は4位 Dragons と1ゲーム差なのだが、今日の Dragons の相手は Giants。どっちも応援したくない気分。まあ Tigers が勝って首位安泰になってくれればいいんでね。ということで見ていたら、Dragons が逆転勝ち。Tigers は勝った。ということで Tigers の首位は安泰。よかった。明日もインターネットで観戦予定。

相撲を見てないな。まあ仕方ない。楽しい講義の方が優先。今場所は相撲をほぼ見ないでおわりそうだ。

最近コロナの話題をよくするためか、「観戦」と変換したいのに「感染」がまず出て来る。「要請」が「陽性」、「院生」が「陰性」と、癖がすごい（(c) ノブ）。「再開」より「最下位」が先に出て来るのはコロナとは関係ないか。まあ何にしても、辞書の学習機能にも困ったもんだ。「い加川しい」とは昔本当にコンピューターが変換したので、採用しているが。「いかがわしい」を何のために打ったかって？さあ、忘れた。

午前の講義の出席者は6名、午後は2名

 昨日は反省も踏まえて、やる気が出ないので早寝。で今朝は6時半に起きた。で、ζ の正の偶数での特殊値の求め方を勉強した。大学院向けの講義で割愛するつもりでいたんだが、そんな難しくなかった記憶があったので、間に合いそうだから今日の講義でやろうかと。でもちょっと時間が掛かって、8時半過ぎまで掛かった。計算力の衰えを感じた。で珍しく朝食を摂って、シャワーを浴びて、10時ちょい前に住処を離れる。間に合うのかって？ええ、今日の分はもう印刷してあったので、間に合う。

で講義室に5分くらい前に行ったら、一人しかいない。もうちょっとして一人入ってきて、時間ギリギリに4人来た。ということで今日の出席者は6名。…。まあもう延長戦なのでかまわないが。ということで徹底的にマニアックに行こう、と決意を新たにした。今日は RSA 暗号を復号化してみる、というところから始めて、素数 p≡1 (mod 4) が2つの平方数の和で表されることを、Z[i] の既約元の分類をすることで証明。その後 Zagier の one-sentence proof を紹介。来週は無限降下法を用いた証明を紹介しよう。で10分ほどあったので、Maple を使ってデモ。ガウスの整数の計算パッケージがあるので、それを用いて遊ぶ。面白かった。

昼はいつもの通り弁当を買って掻っ込む。で午後の講義室に1分くらい遅れて到着。部屋には3名。が、うち2名は、この部屋では講義は無いに違いない、と踏んでいた学生で、受講生ではなかった。ということで一人しかいない。午前中の講義に来ている科目等履修生の学生が大学院の講義も聴きに来ているので、彼を待つ。本当は整数論をやっている二人を待っていたんだが、来なかった。ということで二人相手に講義。今日は上述の如く ζ(2n) の値を Bernoulli 数を使って書いて、それから Bernoulli 多項式の話。整数の k 乗和の値が Bernoulli 数で書けることを Bernoulli 多項式を使って証明。でここでも Maple 登場。Bernoulli 数や Bernoulli 多項式、及び Σ 1/n^k を Maple に計算させて楽しむ。やってる方が楽しくやらないといけないね。昔からよくわからない話を聞かされるのは慣れているが、話してる人が楽しそうだと聞く気が湧く。ということで何事も楽しく話そう、というのが最近のポリシー。だから来週も楽しく、よりマニアックにやる。講義終了後質問攻めにあう。

で個研室に2時35分くらいに戻る。2時40分から会議。当初出席できない旨伝えていたんだが、ゼミが無くなったので出席出来た。今日は超重要議題のある会議だったので、ゼミが無くなったのは御の字。（まあそのために講義の出席者が1名減ったわけだが。）で聞いてみたが、難しい。1回ではわからなかった。もう1回復習する必要があるな。明日以降時間を作ってやろう。会議終了後 Y 富先生と密談。色々作戦を練った。まあ今日は二人とも忙しいので、明日以降と言うことでお開き。

その後講義の作戦練り。まずは明日の「線形代数学」から。明日は何人出席することやら。でもそれはそれ、これはこれで、楽しくやりましょう。「線形代数学」は7時半くらいに終わらせて、次は来週の「代数学I」の作戦練り。マニアックに行こう、ということで Fermat の大定理の指数4の場合から、1と2が合同数でないことが出てくる、と言う話でもしよう、と決めて準備を始める。が、予想以上に手間取った。4次曲線と3次曲線の間に双有理写像を作ろう、ということなのだが、これは20年以上前に一度やったことあるが、目茶目茶大変。が、運よく一方が与えられていたので、逆を求めようと。が、うまくいかない。こんなに大変だったかな？と言う感じで何度も計算のやり直し。ようやく求まった時にはもう10時を回っていた。結果が求まってしまえば簡単で、こんなもののために何時間も使っていたのが馬鹿馬鹿しく思えたが、楽しくやろう、と言ったのは誰だ？ということで気持ちを入れ直す。11時近くに職場を出て、吉野家で牛丼を食べて、帰宅した。このブログを見ればお分かりの通り、相当遅くなった。まあこんな日もいいかと。

ただ相撲を見ていない。昨日のダイジェストを録画したのに今朝見なかったので、後で見る。今日の分はまた録画して明日見る。明日も職場に遅くまでいようと思っているので、明日も同パターン。野球は明日から Carp 戦だそうだ。最下位相手に勝って、突き放したいところ。心配は雨だな。今パ・リーグの結果を見たが、いつの間にか Buffaloes が2位に4.5ゲームの差を付けていた。で Eagles は勝率の関係で4位転落。むむ。これは Buffaloes 行っちゃうのか？まあ Tigers も一時 Giants に大差を付けていたが、今や風前の灯火に成っているので、Buffaloes も油断できないぞ。どんどん勝ちましょう。

vs. Giants 初勝利

どうも土曜日の晩は遅くまで起きている傾向がある。今日も相当な時間まで起きていた。講義の準備をしよう、と思って起きていたんだが、全く捗らなかった。早く寝て、今日早く起きて準備の続き、とした方がよかったのは明らかだ。今後はそうしよう。

でしばらく何もせずぼーっとしていたんだが、適当な時間にテレビを付けた。でNHKにチャンネルをあわせると、相撲がやっている。おや？相撲は第2日曜から始まるのでは？と思った。オリンピックの日程に合わせるためかな？まあいいや、ということで途中から観戦。綱取りの照ノ富士は無事勝利。進退をかける白鵬も無事勝利と、まあ無難なスタートかな。5時45分から野球が始まるので、途中でCSのTBSチャンネル2にあわせる。

今日も vs. Giants を神宮で。昼 Tigers が負けたそうなので、今日の結果次第では Giants が首位に立ってしまう。Giants 相手の今シーズン初勝利もあるし、今日は負けちゃならねえ。まず2回表に Giants がスクイズで1点。しかし3回裏宮崎の2ランホームランで逆転。その後膠着状態が続く。7回に佐野のタイムリー2ベースで待望の追加点。9回表に三嶋がソロホームランを打たれただけに、佐野のタイムリーはでかかった。これで今シーズン Giants に初勝利で、Tigers の首位陥落を防げた。よかった。これで4位 Dragons と1ゲーム差。すぐにでも4位に上がれる状況になってきた。どんどん上がっていきましょう。

炭谷銀仁朗が楽天へ金銭トレード。憧れの Giants に FA で移籍して、わずか2年半。何のための FA 移籍だったのか。人的補償で Giants を離れた内海の心境やいかに？FA で Giants に行っても、江藤のように人的補償で Lions へ移ってしまった例もある。FA 移籍をするなら、我慢して古巣にいた方がいい場合が目立つ。日本流終身雇用は悪いものではないな。FA 移籍は程々に。

オースティンがオリンピックのアメリカ代表に選ばれたそうだ。横浜スタジアムで康晃 vs. オースティンという対決が見られるかもしれない。楽しみだ。

熱海で凄い土石流が起きた

今日は12時までに市内某所に行くことに成っていたが、起きたらとても間に合いそうにない時間。電話して聞くと、12時半まではOKだそうなので、急いで出掛ける。12時20分に現地着。まあいいでしょう。で待っている間にテレビを見ていたら速報が。熱海で凄い土石流が発生した、とのこと。うーむ、おおごとでなければいいが、とその場はとりあえずスルー。

1時半前に山科に戻ってきた。なか卯でカレーを食べた後、いくつか野暮用。振り込みや、髭剃りの替え刃を買いに行くなど。1件電話。この前通販で頼んだものが来る様子が無いので、問合せ。で聞いてみると、凄く不思議な状態。住所と電話番号は登録されているが、品物を発送した履歴が無い、とのこと。何のこっちゃ。まあ金だけとられて品物はもう送った、ということではなかったので、もういいことにした。今度同じ商品が紹介されていたら買う、ということで。

途中水曜日に野球中継のため放送されなかった「ミラクル9」を途中から見たが、番組の最中に報道スタジオに画面が切り替わった。何じゃ？と思ったら、熱海のニュース。土石流の映像が流れていたが、凄かった。思わずあんぐりと口を開けてしまった。何たるこっちゃ！これはただ事ではないぞ！ここ数年雨のレベルが違う。大雨だったり、それなりの強さの雨が長く降り続いたり。山にへばりつくように家を建てているところが多いのが日本だ。山科も他人ごとではない。今日出歩いた時に橋を渡ったが、川がかなり増水していた。まあ2階に住んでるし、マンションだから、そんなに心配は無いとは思うが。避難場所くらい確認しておいた方がいいな。今度やろう、ってやっぱり緊迫感無いな。「天災は忘れたころにやってくる」と言うからな。本当に確認しよう。

その後 Tigers の結果が気に成るので、NHK に回して Carp vs. Tigers の様子を確認。Tigers が勝っている。今日の首位陥落は無さそうだ、と思って見ていたら、さすがは NHK。熱海の件でニュースが割り込む。何度見ても凄い。自然をなめてはいけないね。

5時45分から Baystars の試合。今日は7敗3分といい所の無い Giants 戦。神宮で。阪口がまずまずのスタートを切ったか、と思ったんだが、3回にソロホームランを2発、4回にもソロホームランを打たれ、0－3。うーん。8回に1点取るのがやっとで、1－3と負け。10安打は打ったんだが。ヒット3本で1点、と言う効率の悪さが相変わらずの課題。最後の佐野の当たりは、映像を見ると「行ったか？」と言う感じなのだが、平凡なセンターフライ。ボールをどアップにして期待を持たせるカメラマンはひどい。ボールのアップなんて映して何が楽しいんだ？もっと休場のワイドさがわかる映像を撮って欲しい。これで Giants 相手に8敗。Giants の貯金は14。力水をつけちゃってるね。このまま Tigers が首位から陥落するようなことがあったら、全責任が Baystars にあると言っても過言ではない。明日は勝て！そして Tigers も勝て！

終了後「報道ステーション」にチャンネルを合わせる。再び熱海の情報。明日も雨だそうで、益々危険。堪えてくれるといいが。その後八街の児童にトラックが突っ込んだニュース。飲酒運転らしい。うーん、飲酒運転ねー。そこまでして酒って呑みたいもんだろうか？京都で呑めないから、わざわざ滋賀まで出向いて呑んでる人もいるようだが、そういうのは気持ちがわからん。酒くらい我慢しなさい！そういうお前はどうなんだ？と言われるかもしれないが、いつも言っている通り、小生はアル中ではない。もう1週間以上呑んでない。ログを見ると、6月24日～25日の晩に呑んだのが最後のようだ。来週の週末はワクチン接種だし、もう1週間呑まないな。いや、2週間かな。とにかくしばらく酒は呑みまへん。

大谷翔平が29号、30号と、2打席連発。日本人の記録はゴジラ松井の31本だそうだから、もう達成するのは間違いない。その上今日は、盗塁、そして激走でサヨナラのホームを踏んでいる。大谷を見てると楽しくなる。嫌なことを忘れさせてくれる。Baystars の負けでくさくさした気分だったが、気が晴れた。さ、仕事するぞ！

Tigers は明日にも首位陥落

午前中に近所で野暮用。10時半くらいに起きるつもりだったが、起きたら10時45分くらい。まあいいでしょう。で野暮用をサクッと済ませて、1時くらいに職場へ向けて出発。買いたい本があったので、途中でフォレオに寄るつもりだった。が、「瀬田大江町」を左折するはずが直進してしまったので、「瀬田月輪町」で左折。途中に学園通りに復活するルートがあるはずだが、わからないので、一旦国道一号まで出る。でもただ出ては面白くないので、途中で左折。教習所の卒業検定で走ったコースを走ってみようと。途中時速制限40km/hのトラップがある以外は、一番簡単なコースと言われるコースを走れてよかった。同じ組だった二人は、一人は右折が出来ず不合格、もう一人は信号の無い横断歩道をスルーして不合格と、一歩間違えれば小生が不合格だった。楽なコースでよかった。で国道一号まで出て、学園通りへ。フォレオに目当ての本は無かったが、まあいいか、ということで2冊ばかり購入。フォレオを出る頃に凄い大雨が降り出した。職場に着いた頃一番激しい降り。生協の本屋で雨が弱まるのを待とう、ということで、本を物色。欲しいものは無かった。まあいいや。

まだ雨は強かったが、個研室へ移動。で勉強しようと思ったら、今日は種本を住処に忘れていた。うーん、間抜け。メディアセンター（図書館のことね）にあることはわかったので、すぐ借りに行く。大分雨は弱まっていた。で借りてきた本を読み読み勉強。単因子からジョルダン標準形が出るのが、どうもまだよくわからない。まあ今まで準備したことを見れば、そこは再来週になるだろうから、我慢強くやることにする。月曜の講義の準備などもして、10時過ぎまで職場にいた。今日は Baystars vs. Giants が雨で中止だったため、気にしなくてよかったのはでかかった。

夕食は滋賀で済ませてきた。頼んだものが出てくるまでスマホで野球チェック。Tigers が負けてしまった。これで Giants に1.5差。まずいね。明日、明後日 Baystars が Giants を破らないと。今シーズンはまだ Giants に勝っていない。いい加減にしないと。明日の結果次第では、Giants が－0.5ゲーム差でトップらしい。引き分けが多いからね。Giants が10、Tigers が3。今年のシーズンは引き分けに翻弄されるね。

Buffaloes はまた勝った。これで2位に2ゲーム差。混戦だと言っていたが、いつの間にかセ・リーグより差が開いた。こちらはしばらく安泰だな、と安閑としてはいられない。幸い打つ方では吉田正尚、杉本が好調、投げる方は山本由伸が好調。まあ大丈夫でしょう。

Tigers と Giants が2ゲーム差に

今日はちゃんと11時過ぎに起きた。で12時55分からゼミ。が、眠くて仕方ない。ゼミ中も半分気を失っていた。オンラインゼミならではだな。ゼミ終了後もう一度寝た。目が覚めたら6時過ぎ。いかん、野球が、と思ったら、今日は Baystars は試合が無いようだった。何だ、もう少し寝ててもよかったか、っておい！

で Tigers vs. Swallows が地上波でやっていたので、流しながら作業をしよう、というところで筆箱を開けたら USB メモリーが無い。昨日抜かないで帰ってきたようだ。もう少し早く気付いていれば職場に取りに行って個研室で勉強、というモードになるが、いかんせんもう6時半過ぎ。今から遅くまでいるのはなんなので、明日行くことにした。明日は午前中に近所で用事があるので、それが済んだらその足で向かおう。ということで今日は勉強したことを紙に書くことにして、それを見ながら明日打ち込もう。

Tigers vs. Swallows だが、8回終了時点で1－1の同点。が、9回表で試合が壊れた。Swallows が一気に5点取って1－6。そのまま終了で Tigers の負け。で2位の Giants と言えば、菅野が4点取られてノックアウト。これはいいですよ、と思ったら、2イニングで2点、4点とまとめて取って、逆転してしまった。Carp 弱い。結局10－4で Giants が勝ってしまった。これで Tigers と Giants は2ゲーム差。やばい感じになってきました。今年は Giants を優勝させちゃなんねー。頑張れ Tigers。Carp は自力優勝が無くなったそうだ。確か Baystars ももう無くなってるから、早くもペナントレースから2チーム脱落か。まあ4位と2ゲーム差まで上がってきたから、とりあえず4位を目指しましょう。その上までいけたら御の字。ぬるっと上がりましょう。

Lions の平良海馬が39試合連続無失点の日本新記録達成。藤川球児を抜いた。凄い。どこまで記録伸ばすだろうか。不滅の記録を目指して欲しいね。50試合まで行けばもう破られないでしょう。頑張れ。

ワクチン接種を金曜日に予約しよう、と思ったら、もう金曜日は一杯のようで、仕方ないので土曜日にした。月曜日は重労働の日だから、それまでに副反応がおさまっていればいいが。翌日、翌々日は就業免除になる、と書いてあるが、それは事務職員の話だろう。まあ最悪休講にして、後日補講すればいいんだろう。副反応が出ないよう、願おう。