近江鉄道のICカードの換金期限が切れていて、3000円弱の損

昨日はすぐ寝られた。で今朝10時半くらいに目が覚めた。でメールを読むと、1時からのゼミをオンラインにしてくれ、というメールが来ていた。何だ、もう少し寝られる、ということで Zoom の設定をしてもう一寝入り。目が覚めると1時2分。おっと。パソコンの電源は入れっ放しだったので、起きてすぐ準備。でゼミは30分くらいで終了。オンラインだと書いてあるものを読むだけだから、通常の半分以下の時間に成ってしまう。やはりゼミは対面がいいね。

その後シャワーを浴びて、4時からの打ち合わせに備えて出勤。3時前には着いていた。上の書きようでお分かりの通り、食事を摂っていない。ということで生協に行き弁当を買う。個研室でもそもそと食べながらメールチェック。昨日出したメールに数件返事が来ていた。皆一様に驚いている。まあそうだろう。返事を書く。その後大学にある近江鉄道の案内所へ出向く。前にバスに乗った時に交通系ICカードが使えることになっていることは確認していたのだが、近江鉄道のページを見ると、バス専用ICカードが使えなくなった、とのこと。いつからだろう？換金出来ればと思ったのだが、換金の期限は3月31日だったとのこと。3000円のカードで多分2900円以上残っていたのだが、もったいないことをした。まあ仕方ない。記念に取っておこう。

4時から打ち合わせ。難しい話が続々と出てくる。解決するんでしょうか？その後場所を移して、学部長を交えて第2弾。まあ学部長がやる気に成ってくださるのはよかった。明日も別の打ち合わせがある。3時からオンラインなので、出掛けなくていいのは助かる。今月中にかたを付けないといけない、とかとんでもないことになっているので、明日の結果は重要。ちゃんと参加しよう。6時くらいに解放される。

6時から野球を気にしいしい数学。ゼミで学生がわからないと言っていたところを解明してあげよう、と思ったんだが、この前楕円積分を調べた微積分の本をつい読んでしまう。論文書きで沢山計算用紙を生成したので、それを消費しようということで。多重積分とか無限級数とか自然対数の底の存在とかフーリエ級数とか。相加平均が相乗平均の以上に成ることの証明を今まで読んだことが無いような気がしたんで、出てたので読んだ。面白かった。で現実逃避をしているうちに学生の疑問を解決する気は無くなってきた。自分でやって、ということで。

で野球をちょいちょい気にしていたんだが、いい感じで4点先制。が、3ランホームラン2発でひっくり返されるというけたくそ悪い展開に。1点取ったが今日はそこまでで、6－5で負けた。Carp に3連敗したのを Giants 相手に取り返す、というのは幻に終わった。7.5ゲーム差か。さすがにもう無理か、という感じだな。2位をキープして、横浜スタジアムで CS を行う、ということに照準を移した方がいいかもしれないね。

パ・リーグも見ていたが、こちらは応援している3位 Buffaloes が2位 Lions との直接対決を制した。1位 Hawks も負けたので、これで1位から3位までゲーム差無し。Hawks は9月に首位に立つと落ちていないそうだが、今年はそうはいかんぞ。Buffaloes 頑張れ。

10時近くまで職場にいた。表に出ると雨が降っているので、個研室に傘を取りに戻る。すき家で夕食を摂って、雨の中帰宅。山科に着いた頃には大分雨は弱くなっていた。が、まだ傘をささないと辛いくらいの雨降りだった。今日はパソコンを持っていていたので、雨にぬらさないよう傘を出して駐車場からマンションの入口まで。パソコンが無事かどうかは後で確認する。

今テレビで Boss（缶コーヒー）のCMがやっていたが、中島みゆきが出ているので驚いた。普段CMに成ると画面から目を離すんだが、たまたま見ていた。昔なんかのCMに中島みゆきが出ていたが、何だったかな？思い出せない。まあ大したことじゃないから別にいいけど。

今日はさすがに徹夜したくない。早目に寝て早起きして、床屋に行こうか？まあどうせ企画倒れに成るのは目に見えているが。秋学期が始まる前には床屋に行きたい。まあ来週だな。

K 君の知り合いに片っ端からメールを書いてたら夜が明けていた

昨日はブログを書き終えたらすぐ電話が鳴った。「K君とはもしや？」という電話。そうです、と言ったらすごくショックを受けているような感じだった。まあそれはそうだ。こっちはショックを現実として受け止められなくて、当惑しているような状況だったからね。しばし電話で話して、で11時くらい。もう呑み屋には行けない時間に成ったので、違法販売機でレモンハイを4缶買ってきて、呑み呑みあっちこっちにメール。彼と小生の共通の知り合いに片っ端から。深夜にメールを書くのは独身だけなのかと思ったら、所帯持ちの人が2時だ3時だという時間に返信をくれる。それに返信を書いてなどやっていたら、夜が明けてしまった。どうも1日おきに徹夜してるな。明日は1時からゼミなので、早目に寝ないといけないが、Giants vs. Baystars が11－0というしょうもない状況に成ったので、もう寝よう。

あ、一ついいこともあった。早稲田数学会にも連絡しておいた方がいいだろう、と思って「早稲田数学会」で検索したら、卒業生で数学者をやっている人のページが結構引っ掛かった。そのうちの一人の人の共同研究者の名前を見ると、どうもうち（この場合は立命のこと）の卒業生らしい。所属が近畿大学に成っていたので近畿大学のページに行ってみると、やはり彼だった。「外国書購読」という、学生を吊るし上げる科目が昔あったのだが、人身御供に成ってもらう学生が1名必要。初回に指名して、酷い発表をして、「ああいうのをマネしちゃ駄目だから」としようと思って彼を選んだら、えらくしっかりしていてびっくりした。その後の発表や別の科目の試験の成績もよく、大阪市立大の大学院に進学したようだ。その後一度彼の名を聞くことがあったが、それっきり忘れていた。昨日久々に名前を見た。准教授と成っているからパーマだろうか？まあ何はともあれよかった。うちの卒業生も大学で職を得られるようになってきたか。隔世の感があるね。

さて、さっき馬鹿馬鹿しくなってチャンネルを Tigers vs. Swallows がやっているチャンネルに合わせたら、Swallows が6点負けてる。このままだとゲーム差は開かない。まあよかった。今村上の打席だが、ここで一本打っても大勢には影響が無いので、打たないかな、と思ったら三振した。もういいや、寝よう。

畏友 K 君逝く

昨晩は2時前に寝て、今朝は9時半ごろ起きた。まあ少し世間からはずれているが、小生としてはまともな方。食事の買い置きが無いので、朝飯抜き。昼過ぎに職場へ向けて出発。途中トンカツを食べた。

職場には2時くらいに着いた。台風接近のため蒸し暑い。まだ雨は降っていなかったが、天気予報が悪いので傘を持って個研室へ。しばし涼んでから保健センターへ。今回もこの前と同じで、発熱外来が混んでいるそうで、3時半くらいまで待ってくれ、とのこと。ということなので一旦個研室へ戻る。ということでしばし数学。楕円関数と楕円曲線は勉強したことあるが、楕円積分はあまり知らない。楕円関数って楕円関数で定義される関数の逆関数なのでは？と思われるだろうが、最初から2重周期関数と定義してしまえば楕円積分は知らなくて済む。楕円曲線も楕円積分抜きで説明できる。ということで楕円積分はあまり勉強したことない。いざ、と思ったが、弧の長さを積分で求める方法をあまりわかっていないので、そこから。荒井先生の微積分の本を開いてみると、誤植発見。被積分関数が θ の関数なのに dt と成っている。まあ些細な誤植で、最新の版を買えば直っているでしょう。で楕円の弧長を求める積分は例にも演習問題にも無かったので、他の本を開く。あった。で求めてみるがおかしい。k と書いてある所は k² の筈。うむ、と思って「第2種楕円積分」でググって見たら、案の定 k² が正しい。今日もたまたま開いた本のたまたま開いたページに誤植を1か所ずつ見付けてしまった。小生の引きが強いのか、それとも数学の本や論文はそれだけ誤植があるということか。前もこんなこと書いたな。まあだから数学の文献を読む時は、全部嘘が書いてあると思って読まないといけない、ということだな。

3時35分くらいに保健センターへ行って、薬を処方してもらってくる。体重も測った。この前より 2kg 軽くなっていた。おかしいな。相変わらず食べて寝てを繰り返しているんだが。ここの所酒を呑んでいないのが理由かな。

6時半くらいに職場を後にする。結構強い雨が降っていた。傘を持っててよかった。高速道路を京都方面へ向けて走ると、雨は弱くなっていて、ドラッグストアに着いた時は雨は上がっていた。

で今日は呑みに行くつもりでいたんだが、Giants vs. Baystars がまだ終わらない。店は11時までだが、もっと遅くまでやってくれることしばしば。が、さすがに11時過ぎに訪れる気にはならない。今晩も酒は抜きか？

などとしていたら呑みたくなる理由が出来た。前にうちで働いていた古い友人が1月に亡くなっていた、という情報。7月メールを書いたが返事が無かった。もうこのアドレスは有効じゃないのかな、くらいに思っていたのだが、まさか。教育熱心な奴だったし、色々教えてもらった。残念でならない。野球は引き続き延長戦続行なので、呑むなら違法販売機でレモンハイを買ってきて呑むだな。早く勝ってくれ Baystars。負けて終わらすは無しよ。

などと書いているそばから佐野にホームランが出た。初めてイニングまたぎする大勢から。Swallows vs. Tigers が同点の状況で負けるわけにはいかない。頑張れ、Baystars。

などと書いてしばし。康晃が抑えて、2－1で勝利。Swallows 相手の3連敗は直後の Dragons 3タテで取り返したし、Carp 3連敗の分は Giants 3タテで返そう。

不摂生の繰り返しのため絶不調

ここ数日滅茶滅茶不摂生だったためか、調子が最悪。14時間くらい寝てもなお眠い。腹の調子もよくない。明日は月1の保健センターの日なので、職場に行く。今日は少し早目に寝よう。と言っても2時過ぎだろうが。

台風が来ている。近畿にも影響があると言っているが、明日は大丈夫なんだろうか？職場に行ってドクターが来ていないから診察無し、とか成ると洒落に成らないので、出掛ける前に電話しよう。

「笑わない数学」は今までやった分は全て見た。虚数の回に X³－15X－4 が出てきたが、これは小生が毎年代数の講義で取り上げている例と同じ。これ4が根なのだが、カルダノの公式で解こうとすると (－2±11i)^1/3 が出てきて困る、という有名な例。ボンビエリが (－2±i)³＝－2±11i（複号同順）であることを見抜いて、カルダノの公式でも解が出ることが分かったのだが、数学者を大いに悩ませたらしい。根が全て実数の3次式の根カルダノの公式で求めるには、必ず虚数を経由する。この辺が虚数が数学で市民権を得た理由の一つらしい。勿論所謂「代数学の基本定理」や「オイラーの公式」なども理由であろうが。「笑わない数学」は面白い。明後日は暗号理論だそうだ。RSA の話でもするのかな？何にしても楽しみだ。もう録画セットしておいた。これで大丈夫。

台風だが野球は大丈夫だろうか？と心配になったので調べてみたら、明日は東京ドームで Giants と。関東には台風の影響は無さそうだから、やりそうだ。東京ドームは雨は問題無いのだが、風には弱い。エアドームなので吊るしてあるものが揺れて、落ちる心配がある。前に風で中止に成ったことがあった。Baystars はただでさえ強行スケジュールなんだ。明日から10連戦。1日空いて9連戦。中止が1試合でもあったら大変なことだ。無事スケジュール通りにいくこと願おう。

パ・リーグの1、2、3位がゲーム差無しに（セ・リーグは1位、2位が7ゲーム差）

何時に寝て何時に起きてんのか、今日は何曜日か、もうしっちゃかめっちゃか。昨日深夜の1時くらいに目が覚めて、そのまま夜の6時くらいまで起きていて、その後寝て、さっきまた起きたという感じ。今日は「サンデーライブ」があったので、日曜日なのは分かっている。が、まだ大河ドラマを見ていない。明日（もう今日だが）見よう。

さて、上に書いたような感じで、「サンデーライブ」が終わった後、大谷が投げるというのでMLBの放送にチャンネルを切り替える。大谷は8回1失点と、超ナイスピッチング。が、味方が1点しか取ってくれず、勝ち星は付かなかった。残念。放送は1時半に成っても終わらず。

1時半から Carp vs. Baystars。2週間前に好投してホームランも打った京山が先発。自ずと期待は膨らむが、今日はダメ。4回裏にライト関根が三塁に好返球をしてランナーを刺すが、その後再び満塁を作られ、内野安打と暴投で2失点。球数が多かったこともあり、4回で降板。7回裏にさっき好返球を見せた関根が暴投して、失点。負けている状況で伊勢を上げていたのだが、裏目に出た。満塁のピンチを残して田中健二朗へスイッチ。2アウトには成ったのだが、まさかまさか、坂倉に満塁ホームランを打たれた。…。打つ方は1点も取れず、3試合連続完封負け。苦手 Carp に3タテを食らう。まあそれでも Swallows が3連戦1勝2敗だったので、1ゲームしか開かなかった。良しとしませう。

村上が51号を打った。落合博満が52本打った年があるが、それ以来とか。村上は三冠王取ってもいいが、打つのは負け試合限定にしておくれ。

野球中継の合間に「笑わない数学」を見たのだが、サッカー元ブラジル代表のロベルト・カルロスがカオス理論を知っている、ナビエ・ストークス方程式を解いてフリーキックを蹴っている、というこじつけが面白かった。まだ「笑わない数学」で見てない回がある。寝て起きたら見よう。

野球はセ・リーグばっかり見ているが、その隙にパ・リーグが大混戦。1、2、3位がゲーム差無し。首位 Hawks が .5339、2位 Lions が .5328、3位 Buffalows が .5323 と、ミクロの争い。Buffaloes は 11.5 ゲーム差を追い付いたそうだ。む、面白いぞ。Buffaloes はずっといい位置に付けていた。これは奪首のチャンス。行け！

昨日の深夜に久々に Tikz と格闘した。この前は楕円曲線のグラフを書いて、然るべき場所に接線を引いたのだが、その際は接線の方程式は別途計算して描いていたのだが、これでは生産性が悪い。接点の x 座標だけ与えて、y 座標を求め、接線の傾きを求め、接線の方程式を求め、それでその直線を描く、とやりたくなり、一生懸命調べる。中々要領を得る答えが見付からなかったが、ついに見付けた。3点を与えると、その3点を通る円と内接する三角形を描く、というもの。まさか方程式を与えるとか、そういうことはしていまい、と思って見たら、\tikzmath という環境に入れば存分に計算出来るということがわかり、やってみたら出来た。まあまだ接線の傾きを求めるところ（要するに微分係数を求めるところ）が手動に成っている。ここを自動化すれば完全自動化が完成するのだが。まあ暇を見付けてやろう。今回はこれくらいで勘弁しといたろ。

村上50号ホームランを打つ

結局徹夜してしまった。徹夜しても大したことはしてないのだが、寝るのが勿体ない気分に成ってしまう。まあ今晩は長時間寝るわけだが。

一応野球の前に仮眠を、と思ったんだが、ほとんど寝られなかった。で6時から野球。今日から相性の悪い Carp と3連戦。Carp の先発大瀬良はここの所不安定で、二軍で調整をして、二軍で放らず、ぶっつけ本番らしい。が、いいピッチング。Baystars の大貫もいいピッチング。が、6回に1点取られる。今日は自慢の打線が火を噴かず、大瀬良の前に凡打の山。8回には入江が1点取られ、今日の Carp 投手陣の調子だとこれで the end、という感じ。最終回に先頭の宮崎が3塁打を打つも、代打オースティンが三球三振。大和もキャッチャーフライとチャンスを生かせず 2－0 で負けてしまった。Swallows が勝っただけに痛い1敗。まあいいです。今月は過密日程なので、エスコバーと伊勢を休ませたと思えば。明日やり返しましょう。

宮崎が3つのファインプレー。2塁打に成りそうな当たりを2つ防いだ。宮崎ゴールデングラブか？

野球の後しばし不貞寝。さっき起きた。

村上が50号ホームランを打った。史上最年少で。日本人で50本となると松井秀喜以来20年振り。今のペースだと60本行くらしい。見たいような見たくないような。ここの所四球で歩くかヒットを打つかのどちらかという感じで、打率が下がってこない。三冠王決まっちゃった感じかな。今年はどのチームが優勝しても村上がMVPの気がする。55本打った時点で決まりだろう。60本打てば文句無し。そうなると Swallows は優勝だな。うーん、複雑。

MVPと言えば、アメリカで大谷かジャッジか、というのが論争に成っているらしい。大谷は史上初の2桁勝利＋30号ホームラン、ジャッジは60本ペースでホームランを量産。どうなるでしょうか。大谷は13勝（ベーブルースが2桁勝利2桁ホームランを達成した時の勝ち数）を超えれば確定、という声があるがどうだろうか？ジャッジは歴史を追っているが、大谷は歴史そのもの、という声が現状をよく表しているだろう。何にしても見ものである。

9月の第1ゲームはしっかりとり、Dragons 相手に3タテ

昨晩はすぐ寝るつもりだったのだが、つい「タモリ倶楽部」を見てしまった。関西では「タモリ倶楽部」は深夜の1時40分から。なので随分遅くまで起きていたことになる。そのため今日は起きられず。野球が始まっても何度もダウンした。途中５分の中断、55分の中断があったため、音声は球場の様子のみだった。よって静かに寝られた。その後も起きたり寝たりを繰り返し、起きた時は6－0と一方的な試合に成っていた。その後もう1点取り、7－0で Dragons を3タテ。Swallows に3タテ食らったが、何とか取り返せた感じ。ゲーム差は6。まだまだ。ロメロの「ウンチョコチョコチョコピー」が久々に聞けるかと思ったが、今日は違う一発芸だった。「I ☆ YOKOHAMA」のタオルを掲げて「I love Yokohama」と叫ぶのがお約束だったのだが、桑原がふざけて「OK愛してるよ横浜！」と叫んでんから皆そう言うようになってしまった。今日はロメロだったが、ロメロもそう言っていた。まあそう言うようになってから調子がいいので、このまま続けて下さい。

もう9月に成っていた。8月は18勝6敗という驚異的な数字を残した。今月は9連戦、1日置いて10連戦という過密日程なので、辛いと思うが、今月もいい成績を残して欲しい。

明日は昼前に近所で用事がある。このまま起きている、というのがいつものパターンだが、今日は眠い。プロ野球ニュースが終わったら寝よう。