久々に外で呑んできた

やっぱり一回徹夜するといけない。今日は昼過ぎに起きたんだが、まだ疲れが抜けていない感じで、もう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の学生とゼミ、その後基礎数学を担当している皆さんとの懇談会があるので、今日は採点しない。意地でもしない。やりたいがしない。明日やる。