Tigers が大逆転勝利で日本シリーズ制覇に立直

昨晩はアニメを録画して寝た。アニメの前に「水曜どうでしょう」があるのを忘れていたが、まあそこまでしてみるものでもないのでいいかと。

で一昨日から昨日に掛けて寝不足だったので、今日は12時のアラームでも起きられず、最終的には1時くらいに。それからシャワーを浴びて、1時半過ぎに出発。2時少しに職場に着いて、生協で弁当を買って食べて、2時40分からゼミ。今日も整数論のゼミのみ。Z[√－5] のイデアル P₂＝(2,1＋√－5), P₃＝(3,1＋√－5), P₃'＝(3,1－√－5) をごちゃごちゃいじる話。単項イデアルでないとか、素イデアルであるとか、P₂²＝(2), P₃P₃'＝(3) であるとか。こういう具体例をいじる話は大好き。今日学生がやってくれたことには過去に全て証明を付けているが、今日は少し簡単にする方法を教わった。面白かった。

4時20分から「数学展望」。今日は本当に出番。素因数分解が一通りに出来るのは自明ではない、ということを強調するのが目的で、Z[√－5] では6が二通りに分解できる例など。イデアルとかイデアル類群とか紹介したいが、1回生相手にはとても無理。環が定義出来てないからね。まあ有限生成イデアルと単項イデアルくらいは定義出来るのでした。でイデアルの積を定義して、2乗すると単項イデアルに成るという定理を紹介したり。ゼミでやった話とほぼ同じだ。詳しく知りたい人は卒研に来てください、と話す。で1時間くらいで終了してしまった。Beamer で作った資料を見せながら話したので、超早口だったろう。1問課題を出して、manba+R に資料を上げて終了。まだ講義の終了時間まで結構あったので、質問があるかもしれないからと待っていた。3人くらいがレポート問題を必死に考えていた。しばらくしたら「お、出来たっぽい」とか言ってた。質問には来なかったが、自力で考えたようだ。素晴らしい。来週の水曜日を締め切りにした。来週の木曜日はまた「数学展望」で話すので、そうしたらまた翌週の水曜日締め切りの課題を出す予定。6時に教室を後にする。

もう野球が始まっているが、6時だと高速道路が目茶目茶混む。晩飯を食べてから帰ろう、ということにしたが、正門をまっすぐ下っていくと、そこが渋滞。京滋バイパスをまたぐ所が渋滞しているのだろう。国道1号まで出てちゃんぽん亭に寄ろうかと思ったが、これ以上の渋滞は嫌だ、ということにしてバイパスを右折して、はま寿司へ向かう。前に祝日の6時くらいに行ったら駐車場が満車だったことがあったが、今日は結構余裕があった。頼んだ品もすぐ出てきて、7時前には1300円強食べて精算出来た。

これくらいの時間だと国道1号はまだ混んでるから、高速道路で帰ることにした。7時過ぎならそんなに混まない。「草津JCT－大津 渋滞5km」の表示だったが、新名神には渋滞ははみ出しておらず、瀬田東JCTくらいから渋滞が始まり、大津インターの手前で渋滞はほぼ解消。三条通もそんなに混んでおらず、8時前には住処に着いた。

四宮の交差点で信号待ちをしている時に野球の経過を確認したが、1－0 で Buffaloes が1点リード。ゴンザレスにソロホームランが出たらしい。7回表は面白かった。ピッチャーの田嶋の打順だったのだが、何と四球。が、廣岡がファールフライ。宗はセンター前に打ち返したが、近本が捕球出来るふりをして、走者としての経験が乏しいパ・リーグのピッチャーだけあってまんまと騙され、2塁アウト。記録はセンターゴロ。これは無失点で終わるでしょう、と思ったら、森の当たりを2塁中野が後逸し、転ぶ。ライトの森下が急いで前進してくると、森が2塁を狙ったのに気を取られたか森下がボールを捕れずにファンブル。宗がホームインして2－0。Tigers は今年もエラー数はリーグ1だったとか。こんな試合は Buffaloes のもんでしょう。田嶋は7回を被安打4の無失点。が、やはり継投は難しい。代わった山崎颯一郎が打たれる。いや、不運だった。セカンドゴロを安達が1塁へ悪送球。カメラマン席に送球が入り、ランナー2塁。糸原がポテンヒットを打ち1、3塁。近本がタイムリーヒットでまず1点。中野が送りバントで1アウト2、3塁。ピッチャーはここまで好投の宇田川に交代。が、森下にタイムリー3ベースヒットを打たれて2得点。大山がセンターへタイムリーヒットで1得点。ノイジー四球、佐藤輝明ファールフライで2アウト1、2塁。もう終わるでしょう、と思ったら、坂本が前進守備のライトの頭上を越えもう2得点。1イニング一挙6得点の大逆転。昨日ピンチを1球でしのいだ湯浅が8回表1イニングを無失点で勝ち投手に。WBC で無理をしたのか、シーズン序盤で故障し、優勝にあまり貢献しなかった湯浅がここで復活したのは大きい。何か Tigers に優勝して欲しく成ってきた。土曜日に決めてくれれば、呑み屋は盛り上がっていいだろう。阪神なんば線シリーズは西宮のチームの勝ち、ということにしましょう。

さて、明日は祝日だが、うちには関係無い。「代数学II」をやるために行く。その前に12時からゼミをする約束に成っている。今日も早いとこ寝よう。で今時計を見てビックリ。もう11時過ぎてるのね。「報道ステーション」やってるから、まだ10時台だと思ってた。野球が延長したからね。今天気予報やってるが、明日の京都の最高気温は26度。富山は29度に成るとか。昨日見た予報では、富山は32度に成るかも、と言ってた。11月やぞ。きっと急に寒く成るんだろうな。暖冬だ、とは言ってたが。どう成ってもワシは知らんぞ。

白熱の日本シリーズは Tigers がサヨナラ勝ちし2勝2敗に

今日は会議をやらないことにしたので、昨晩は色々考えながら呑み始めた。ちょっと数学のことを考え始めると、案外分かっていないことが多くて困る。本を漁ったり計算したり。で上手くいったりいかなかったりで、代替策を考えたり。あっと言う間に朝に成ってしまった。まあいいけど。セブンイレブンに朝飯を買いに行って、食べてから横に成った。案外長時間寝てしまった。まあいいけど。

6時から日本シリーズ第4戦。1回裏に森下がタイムリー2ベースを打ち先制。が、すぐの2回表に紅林がタイムリーヒットを打ち同点。が、すぐ2回裏に近本のタイムリーで Tigers が勝ち越し。5回裏、先発の山崎福也（さちや）がランナーを残して交代し、代わった比嘉から大山の内野ゴロで2点差。が、7回表に宗が2点タイムリーを打ち同点。白熱の試合。その後どちらもチャンスを作るも、ピッチャーが抑えて9回裏。1アウトから近本が四球で出塁。ワゲスパックが2つ暴投をして1アウト3塁。そこで久々に見た、二者連続敬遠の満塁策。バッターは4番大山。3ボールに成ってしまうも、何とか3ボール2ストライクに。が、大山がサヨナラヒットを打ち、Tigers の勝利。これで2勝2敗。決着は土曜日以降に。面白くなってきました。前にも書いた通り Buffaloes を応援してるが、Tigers の38年振りの日本シリーズ制覇も見たいし。Tigers は佐藤輝明が冴えないのが心配どころだろう。三振ばっかりしていて、打順は5番から6番に降格。今日はエラーもし、それが失点につながった。途中で引っ込められてしまった上、代わって守備に入った糸原がいい守備を見せたり。岡田監督どう出る？

明日こそ本当に「数学展望」は出番。パソコンと USB メモリーを忘れないようにしないと。まあ準備はもう出来てる。早目に起きて、髭を剃って、シャワーを浴びて、とうまくいくでしょうか？2時40分からゼミがあるから、まあ「数学展望」に遅刻することはあるまい。髭は今晩の内に剃っておこう。「これ余談なんですけど…」は見るとして、アニメはどうしようか？この前「緊急取調室」の2019年度に放送した分を全部 Blu-ray に焼いたので、ハードディスクには余裕がある。録画しておいて寝るか。ちょっと失敗したのが、2014年の分の最後の2回が月曜日に放送していたんだが、日曜の晩眠過ぎて録画予約する余裕が無く、月曜日は結構ギリギリに起きて遅く帰ってきたので、録画し損ねた。ということで8話分 Blu-ray に焼くか、このままハードディスクに残しておいて、次に放送するのを待つか。まあまたハードディスクが苦しく成ったら考えよう。

今日から11月だ。クリスマスがらみのコマーシャルが始まったり、年賀状の販売開始のコマーシャルがあったり。ヒートテックのコマーシャルをやってた。寒くなるのか、と思いきや、また夏日が来るらしい。夜は結構寒いので、服装に困る。風邪をひかないよう気を付けよう。

完全アウェーの Buffaloes が1点差の接戦を制し2勝1敗

昨晩はプロレスの始まる前には寝た。で今朝はちょっと早目に目が覚めてしまった。まあいいか、ということにして、大河ドラマと「笑わない数学」を見て時間潰し。結び目理論は大学4年の時に野口廣先生に習ったような気がするが、あまり真面目に聞かなかったため、何も覚えていないに等しい。面白そうだったが、幾何は苦手なんで。昔の数学者が何億とか訳の分からない数の結び目を分類しようとして、多過ぎて挫折した話とか、アレクサンダー多項式とかジョーンズ多項式とか、面白かった。どっちだか忘れたが、t^-1 とか入っていたが、ああいうのも多項式と言うんだろうか？

1時から学科長会議。短時間で終わりそうだったが、ちょっと学生が怪我した件の報告が案外時間が掛かった。まあ重要な案件だ。仕方あるまい。数学は制作物で人が怪我することは無いので、気は楽だ。研究が下らなくても罵倒される程度。いや、程度ではないか。まあ物を作る時は安全にしてください。

その後やはり眠く、2時間程昼寝。教授会は無かったので、もっと寝てもよかったが。起きて色々メールを書いて、少しゴソゴソとやった。大したことはしてない。

6時から野球。初戦と2戦は6時半からだったが、何故今日は6時なのか？謎。今日から甲子園で3試合。Tigers が先制するも、Buffaloes が Tigers のエラーからチャンスを作り、4点リードという展開。Buffaloes の東は1軍デビュー以来負けていない、というジンクスが今日も生きたか。が、7回裏に Tigers が3点取って1点差。山岡が今日も打たれた。が、代わった宇田川がフォークボールを空振りさせ、ピンチを逃れる。Tigers のリリーフ陣は流石で、Buffaloes に追加点を与えない。9回裏、抑えの平野が先頭打者に四球を出したりと、2アウト1、2塁のピンチを作る。甲子園で Tigers の応援と成ると、物凄い怖いものがある。が、平野が4番大山をフォークボールで三振に切って取った。宇田川も平野も、ピンチでフォークボールがあるといいえね。往年の大魔神佐々木もそうだが。これで Buffaloes 2勝、Tigers 1勝。さあどうなるでしょう？

上に書いた通り今日の Buffaloes は完全アウェーだった。Buffaloes が3点取ったイニングでは宗が2点タイムリー2ベースヒットを打ったが、その時カメラが Tigers ファンの中に一人だけ Buffaloes のユニフォームを着てる女性を抜いた。宗のタオルを持ってて、一人大歓声。怖くなかったろうか？いや、Tigers ファンが怖い、というのは大きな偏見かも知れない。Tigers がリーグ優勝した日に今成氏が深夜の大阪の街中でパインアメを配っていたが、Giants のユニフォームを着たカップルには、今成氏と一緒にいたファンも皆優しかった。Tigers ファンは怖くないのだろう。そういうことにしておく。

埼玉県の蕨市で立て籠もり事件があった。さっき犯人が確保されたそうだ。銃を持ってたそうだし、人質にされた人は怖かったろう。被害者は出てないようだし、まあ重畳。もちろんこんなことは無い方がいいが。何かあった時には人を巻き込まないでください。死ぬなら勝手にしてください。

明日から11月だが、九州は夏日とか。大阪は11月3、4、5と25度に成るらしい。暑い日講義はご勘弁願いたいのだが。まあ木曜日の「数学展望」はスライドを見せながら話すだけだからまだいいけど、金曜日は祝日なのに普通に講義をしなくてはいけない。汗だくでやるのはかなわん。それに受講生は殆どいないし。あ、そうか。金曜は12時から「数学展望」の振り替えのゼミがあったな。うぉー、面倒臭い。11月23日も祝日だが、その日はゼミをやらないといけない。うちにいる限り祝日はほぼ関係無い。もう慣れたが。我々には事務から「授業日です」というメールが来るが、学生は何も言わなくても来るだろう。仕方ないな。

足首が痛いのは痛風か？

今朝は9時半くらいに一旦目が覚めたが、流石に無理で、10時半のアラーム、11時のアラーム、11時半のアラーム全てスルーして、最終的に起きたのは11時50分くらい。まあ飯を食わないことにすればシャワーを浴びるくらいの時間はある。ということで寝癖を直して、12時15分くらいに出発。

講義室に行ったら電気が点いていない。すわ出席者0に成ったか、と思ったら3人くらいいて、誰もいないのですわ休講か？と思って焦っていたらしい。いや、喜んでたのかな。でそこそこ人は来たので始める。今日はヘンゼルの補題から。ステートメントを書いて幾つか例。例えば p が奇素数の時は、a∈Z_p が平方数 ⇔ x²≡a (mod pZ_p) を満たす x∈Z_p が存在、とか、a∈Z₂ が平方数 ⇔ a≡1 (mod 8Z₂) とか、p 進整数環には1の p－1 乗根がすべて含まれるとか。ヘンゼルの補題の証明は割と早く済んだので、上の例を踏まえて、平方剰余の話をすることに。原始根をまず定義、の前に、巡回群の定義なんかも復習した。代数得意な院生はそういないだろうから。が、有限体の乗法群が巡回群であることは「代数学II」と冷たく突き放したが。でルジャンドル記号とか平方剰余、非剰余という言葉を定義したら時間。来週はルジャンドル記号の簡単な性質と、第一、第二補充法則、相互法則などを証明する。時間があったら Q が p 進付値に関し完備でない、∀p、とか証明する。まだ5回しか終わってない。それにしちゃ進んでるな。

弁当を買って講義室で掻っ込む。講義の終盤に一箇所パニックって分からないことがあったが、そこを考えてみる。簡単なことだった。序盤だったら少し考えるんだが、時間が無かったので。来週話す。他にも軽微な直しをして、web に上げた。

で4時20分からゼミ。今日も相変わらずで、未消化のまま説明しようとしている。イデアルのノルムの定義を先週知らなかったが、今日も答えられない。全般に本に書いてある通り説明しようとしているが、はっきり言ってどうしようもない。こんな調子のまま修士課程を修了しても何の意味も無い。大学院生と学部生の違いって、勉強や研究に向く姿勢だと思うんだが。修論書けなくてもわしゃ知らんぞ。

7時半に終了して、学科長の仕事を、と思ったがやる気が出ない。明日の学科長会議が終わったらまとめてやろう、ということにして、ちょっと書き物。今日のゼミで未消化だった部分が多かったし、多分全員しっかり整理出来てないだろうから、書いてやろうと。腹が減ってきたので、9時過ぎに止めて帰ることにした。後で続きをやろうと。

今朝起きたら右の足首が痛かった。寝違え、って足首でもあるんだろうか？それとも痛風か？最近尿酸値を下げる薬をあまり真面目に服用していないからな。にもかかわらず講義後唐揚げ弁当を食べ、夕飯は松屋でクーポン券を使ってカルビ焼肉定食と、体に悪そう。土曜日はビールをしこたま呑んだし。食生活は簡単に改まらないだろうから、取り敢えず薬だけでも飲んでおこう。

沢村賞は山本由伸に成った。いや、東の方が勝率はいいし、完投数も多い筈だが。勝ち星は16勝同士だし。やはりチームが優勝した、ノーヒットノーランをやった、というのが大きいのだろうか。審査委員が Baystars の試合を見てなかった、ということかもしれない。もう1勝してれば東だったかも。最終戦は1－0で負けてしまった。勝ってればチームは2位に成っていたし、大きい1敗だったかも。まあチャンスはまだあります。ベストバッテリー賞は東と祐大が取りました。いいでしょう。

昨日の裏返しで、8－0 で Buffaloes が圧勝

昨日は野球が終わって、ヒーローインタビューも聞かずに呑み屋へ行った。珍しく客がいたが、常連さんで店長もバイトの人ものんびりとスマホで野球を見ながら楽しい時間を過ごしていたそうで、そろそろ小生が来る、と噂していたらしい。常連さんは程なく帰っていかれて、いつもの通り3人でグダグダと。先週同様「これ余談なんですけど…」みたいな感じで呑み呑み会話を弾ませてきた。結構遅くまで呑んでた。

帰り道でセブンイレブンに寄り、カップ飯を買ってきて、しばしテレビを見ながらカップ飯を食べたりと。日本シリーズに備えて寝よう、と思って寝床に入るも、うっかり YouTube を見てしまった。大阪メトロの日本橋（にっぽんばし）から東京メトロの日本橋（にほんばし）へ改札を通らずに行く、といかいう動画が、長かったが面白かった。東京の日本橋のある東西線は JR 中央線と直通運転しているので、改札を通らず JR に乗り換えられれば理論上OK、と言っていて、さてどうすんだ？大阪の地下鉄事情は詳しくないので、真剣に見てみた。日本橋のある大阪メトロの線は阪急に乗り入れていて、阪急と阪神が高速神戸駅で改札を通らず乗り換えられる、阪神と近鉄が大阪難波駅で改札を通らず乗り換えられる、近鉄と JR が三重のどこか（津駅だったかな？）で改札を通らず乗り換えられる、で JR で名古屋へ。名古屋から東京なら新幹線を使えばすぐだが、それは改札を通るので違反、ということで東海道線でテレテレ行くのか、と思ったが、そんなことはしてられないということで、特急で塩尻まで行き、そこから珍しい千葉行の特急あずさに乗り換えて立川へ、立川で中央線快速、中野で東西線と乗り換え、ミッション完了、ということだった。あずさが事故で遅延して、結局日本橋（にっぽんばし）－日本橋（にほんばし）を13時間30分というとんでもない旅。が、偉いのは一切キセル乗車しなかったこと。阪急阪神ワンデー切符とか有効に使っていて、最後に日本橋（にほんばし）で中野－日本橋間だけ精算していた。面白かった。

でそんなことをしていたらもう11時を過ぎていた。お腹がすいてきたので、Uber Eats にマクドナルドのハンバーガーを食べて食事。もう寝よう、ということで横に成る。途中一旦腹が痛くなって目が覚めたが、そのまましばし寝た。

起きたらもう野球が始まってる時間。起きて見る。1998年の Baystars のマシンガン打線を彷彿とさせる連打連打で、Buffaloes が一方的な展開に。昨日は0－8で Tigers の勝利だったが、今日は裏返しで、8－0で Buffaloes の勝利。昨日は Tigers の村上が7回無失点だったが、今日は Buffaloes の宮城が6回無失点。本当に裏返しだった。シーズン途中に Giants から移籍してきた廣岡が活躍。トレードされてよかったね。ダメ押し点はゴンザレスの3点タイムリー2ベースヒットだったが、ホームランと思ったか、最初真面目に走ってなかった。偉いのは1塁ランナーの紅林で、まったくスピードを落とさずホームイン。解説の伊東勤氏が褒めていた。明日1日休みで、明後日から甲子園で3連戦。Tigers は甲子園で胴上げを決めるには3連勝しかない。逆に Buffaloes は1勝でもすれば京セラドーム大阪に戻ってこられる。どうなるでしょう？

寝不足である。早く寝ないといけないが、先週書いた通り11時からの医療ドラマが見たい。ということでもうちょっと起きている。まあ12時ちょいに寝て、10時半か11時くらいに起きるのならもう睡眠は十分。明日は1時から講義で、1コマ置いて4時20分からゼミを3時間。ちゃんと寝ておかないと。あと1時間半、何とか耐えます。

「耐えます」と書いて思い出した。以前深夜のテレビで「耐子の日常」という短いアニメをやってた。面白かった。原作はコミックらしいが、そちらは見たことないが。声優の人が耐子の雰囲気にピッタリでよかった。もう1回やらないだろうか？CSでは「笑ゥせぇるすまん」がしばしばやってる。あれも大平透氏の声が喪黒福造のイメージ通りで面白い。アニメは声優の声、アニメを実写化する時は俳優のイメージが違うと面白くない。難しいと思うね。

「サンデースポーツ」が終わった。さ、もう少しだ。

山本由伸が Tigers に滅多打ちを食らい7失点

今日は昼前に用事があったのを昨日の晩思い出した。で早目に寝ようかと思ったんだが、何やら新しく始まったドラマを見てしまった。相葉雅紀演じる普通のサラリーマンが、殺し屋に成ってしまい、二丁という伝説の殺し屋に間違われてしまうという話。何だか荒唐無稽だが、ちょっと面白かった。来週からも見てみよう。

で用事には間に合った。30分程で終了。なか卯で炭火焼親子丼というのを食べて帰ってきた。1時前に帰宅。

眠いぞ、ということで横に成った。そのまま5時半過ぎまで寝てしまう。うーん、ロクでもない。もっと何かやりようがあるだろうに、という感じだが、まあ祝日だからいいかと。昨日書いた通り学科の皆さんの意見を伺うメールを出さないといけなかったが、昨日はやらず、今日もやらず。まあ明日やりましょう。あっと言う間に6時半。

6時半から野球。Buffloes vs. Tigers の日本シリーズ。Buffaloes の先発は山本、Tigers が村上。途中まで結構な投げ合いだったが、先に山本が崩れた。5回に4失点、6回に3失点。7失点なんて経験あるかな？それくらいのピッチャーだが。ただいま9回表、Tigers の攻撃中。1アウト1塁3塁。バッターは4番大山。さあどうなるでしょう。終わったら呑みに行くつもりなので、早目に終わって欲しいのだが。

等と書いたら、大山が四球を選んで、佐藤輝明の内野ゴロでもう1点。9回表は終了。もう勝負あったでしょう。というところで呑みに行こうか、と思ったが、まあいいや、試合が終わるまで見よう。

大谷翔平は凄い奴だと再認識

2時間くらい寝ただけで目が覚めてしまった。眠いような眠くないような感じで、腹ごしらえしてちょっとボーっとしていたら眠く成ってきた。寝坊したらまずいので、深く寝ないようにしよう、ということで、いつもの通りテレビを付けっ放しで横に成った。10時半のアラームで目が覚めた。約束は12時からなので、はま寿司に寄る余裕があるかな、と思ったが、遅れたくないので、学内で弁当を買って食べることにした。

昨日書いた通り、本当なら起きなくていいのに、仕方なく12時からゼミ。ドーピングして臨む。やはり難しいな。専門外のことはよく分からない。が、進学後の先生との約束があるので、真剣に聞いたが。1時から講義なので、その前に終わらせてもらう。

1時から「代数学II」。コラーニングハウスIIに向かう途中に数学研究会所属の3回生を見掛けて声を掛けたが、「代数学II」は登録してないらしい。代数幾何やりたいって言ってたような気がするが。代数幾何と体の拡大は関係無いとでも思っているのだろうか？まあいいけど。C606教室は相変わらず閑散としている。前の方に座って板書を写している学生が一人いて、もう一人関係者がいるので、真剣にやる。今日は代数的拡大がどうしたとかそういう話。代数的な元の全体は四則演算に関して閉じてるとか、代数拡大の上に代数拡大を積み重ねるとまた代数拡大とか。そこは割とあっさり済んだ。で次は所謂「根体」の存在を示して、代数的閉体とか定義して、所謂「代数学の基本定理」を紹介して、代数的閉体であることと代数的な拡大が自分しか無いのが同値とか、既約多項式が1次式か無いのが同値とか。代数的閉包を定義する直前で時間に成った。来週は存在と一意性を述べるけど証明はしない予定。うまくいけば正規拡大に入れそう。最小分解体は再来週かな。

部屋に戻って、今週の演習問題をどうするか、と思って去年のを見てみたら、代数的閉包を定義しないとダメな問題ばかりだったので、今週は上げないことにした。が、一応解いてみた。まあ来週は上げられるな。その後講義ノートにちょっとだけ手を加えて、manaba+R に上げた。でどうしようか、と思い、昨日住処で考えて解答を付けられた問題を TeX 化しようか、と思ったら、解答が思い付かない。おかしいな、昨日分かったんだが。うちに帰って調べよう、ということにして、教職員の帰宅時間前に職場を出たいので、5時15分くらいに職場を後にした。

学内は混んでなかったが、高速道路は混んでた。新名神まで渋滞がはみ出している。相変わらず車線変更に苦労したが、小生の前にかなり堂々と割り込んでくる人の姿を見ると、まあ多少は図々しくても大丈夫、ということにして、車線変更。前に一度クラクションを鳴らされたことがあったので、やっぱりあまり図々しくは成れない。まあもう少し修業を積むか、帰る時間をもっと早くするか遅くするかすればよいのは明らか。が、忘れてまた今日と同じくらいの時間に帰ってしまうのだが。

帰宅後昨日の晩書き散らしたメモを見てみた。成程、こうだったか、と。a,b が square-free で互いに素なのに、a＝b＝3 が帰結されてしまうという変な証明。合ってるのかな？不安だ。でよく見てみると、細かい所で気に成る所があった。で別の演習問題を思い付いた。自明かと思ったが、一つ条件を付けないと成り立たなかった。SageMath で実験してみたらその通り、というわけで TeX 化したり。

などとしているうちに「タモリステーション」が始まった。大谷翔平の特集をやる番組なので、録画してあるので後でゆっくり見るが、一応作業をしながら聞いていた。王貞治氏に依れば、大谷の場合は飛ばそうと思わなくても打球が勝手に飛んでいく、だそうだ。凄い話だ。メジャーリーガーが大谷に賛辞を送っていた。プロから見ても凄い選手なのだろう。明日にでもゆっくり見る。

さっき学科長会議の資料を見ていたら、ちょっと学科の皆さんの意見を聞かないといけないことがあったのを忘れていることに気付いた。これから書くか、明日書くか。まあもうちょっと考えよう。

明日から日本シリーズ。59年振りの関西ダービーで大阪は盛り上がっているようだ。59年前はやはり1回目の東京オリンピックに客を奪われ、甲子園は2万人を切る観客動員だったそうだ。今年はいいでしょう。まあひっそり一人で NHK BS 1 を見て盛り上がりますけど。パ・リーグは Buffaloes 推しだから Buffaloes を応援したいが、Tigers は38年振りの日本一が掛かるし、周りは Tigers ファンが多いので、Tigers でもいいかな、という気もするが。まあそういう悩みをしないで済むよう、Baystars には優勝して欲しかったが。何度も書いてるが、来年は是非。