目が覚めたらもう野球の開幕戦は終盤

2日続けて寝不足の上、今朝も3時くらいまで起きていて、今日は全然起きられなかった。開幕戦を見るんじゃ！と張り切っていたのだが、目が覚めると既に6時を回っている。が、まだ起きられず。結局最終的に起きたのは8時半過ぎと、何だかよくわからない生活をしている。明日は12時20分までに職場に行かないといけないので、今日は起きたばっかだが早目に寝る予定。来週から講義が始まるんで、そろそろちゃんとした生活を始めないと。

で野球はというと、見始めた時は5－1。リードしていると嬉しいんだが、リードされている。…。宮崎が2点タイムリーを打ち2点差。1点目も宮崎が叩き出しているそうだ。今日の Tigers の先発は青柳で、宮崎は青柳を苦手にしているので途中出場らしい。Baystars の先発メンバーは牧以外全員左だったらしい。最終回は新守護神湯浅を攻め、2アウト満塁のチャンス。バッターは途中出場のソト。Tigers に8回1点を取られていて3点差。ソトに満塁ホームランが出れば、と期待してしまうが、そう甘くいかず、内野フライ。開幕勝利は成らず。残念。まあ25年前もオールスターまでは5割前後をウロウロしている感じだったし、いいです。もちろん早目に独走するに越したことはないが、ボチボチ勝っていきましょう。

今日のもう一つの注目は Buffaloes の山下舜平大。2020年のドラフト1位も、過去2年は一軍での登板は無し。開幕投手でプロ入り初登板。調べてみると、6回途中まで4被安打1失点と中々の内容だったようだ。プロ野球ニュース見ないと。すぐにでも寝るつもりだったんだが、もうちょっと起きていよう。でこれの延長が徹夜に成ってしまうんだが。今日は寝るぞ。

エスコンフィールドこけら落とし

結局今日も朝まで起きていた。色々やり始めると止まらなくなる。ちょっと気に成って区分求積法のことを調べた。色々面白い例が作れた。入試で使うべくストックしておく。答え合わせは Maple で。SageMath だとうまくいかなかった例も Maple は求めてくれたので。両者を上手に使っていくことにして、寝床に入る。ですぐ寝るかというと、そうはいかない。また Facebook やら YouTube やら見てしまった。阪大が昔 sin x の微分が cos x であることを示せという問題を出した、という動画が面白かった。旧帝大は思い切った出題をする。東大が一般角の定義を聞く問題を出したことがあったな。

でそのまま4時過ぎまで寝た。起きて sin x の微分が cos x であることを TeX 化した。まあ本を見れば出てるんだが、何かの時に使えるかもしれないので。ついでに cos x の微分が －sin x であることも示しておく。ついでに秘蔵の公式集に sin(π/2－x)＝cos x など幾つか加えておく。 

でテレビを見ると野球の話題。関西ローカルの情報番組は、開幕は3月31日という情報と阪神の話題、メジャーの開幕も3月31日、という話題ばかりなのだが、全国ニュースに成ると北海道北広島市に出来た新球場「エスコンフィールド」の話題もやってくれる。前から知っていたが、実は日本の野球の開幕は明日ではない。今日は北海道日本ハムファイターズ vs. 東北楽天ゴールデンイーグルスのみあり、これが開幕戦。もちろん見るつもりでいた。が、NHK BSに切り替える前に、エスコンフィールドの情報がやっていので、見る。ホテルが併設されていたり、お食事処があったり、サウナがあったり。野球を見ない人も楽しめるように成っているらしい。ホテルからも野球が見えるように成っていたり、色々楽しそうだ。まあ暫くは切符は取れないだろうが。

6時半から試合。の前に始球式。北海道移転後監督を務めたヒルマン、梨田、栗山の3氏による豪華始球式。梨田がキャッチャーで、ヒルマンがピッチャー、バッターが栗山、と思ったら何やらヒルマンがバッターの方に寄っていき、バッター梨田、キャッチャーヒルマン、ピッチャー栗山に成った。盛り上がった。で試合開始。開幕投手は Figehters が加藤、Eagles が田中将大。加藤が投げた1球目は記念ということで取っておくようだ。初ホームランは Eagles の伊藤裕季也。去年の途中まで Baystars にいた選手だけに嬉しい。助っ人のフランコにも2ランホームランが飛び出して、Eagles が3点リード。Fighters は田中将大にパーフェクトに抑えられていたが、5回にようやく清宮がチーム初ヒット。6回に野村が犠牲フライを打ち、1点返す。が、反撃はこれだけ。最後は松井裕樹が抑えて、Fighters は新球場初戦を飾れず。残念でした。

明日はエスコンフィールドの試合だけ無く、他球場の5試合が開幕。Baystars は Tigers と。関西は岡田監督が「あれ」をする、と盛り上がっている。が、複数の解説者が Baystars が優勝する、と言ってくれている。去年は1997年そっくりだった。8月に大勝ちして首位 Swallows に迫り、直接対決でけちょんけちょんにされ、2位フィニッシュ。で25年前はその悔しさを晴らすようにリーグ優勝、日本一。去年が25年前の再放送だから、今年は1998年の再放送をやってくれるでしょう。期待。

昨日浜崎あゆみがテレビに出ていたが、誰だか分からなかった。顔が違い過ぎる。単に老けたということでも化粧が厚く成ってるということでもなく、どっかいじったんでは？という気すらする。でさっきNHKに松平定知氏が出ていたが、こちらは単に老けていて誰だか分からなかった。髪の毛は真っ白。小生自分ではいつまでも若いつもりでいるんだが、テレビで五十半ばの人が出ると、あー、小生もあんな風に見えてるんだな、と自覚してしまう。まあ1の位を四捨五入すりゃ60だしね。10の位を四捨五入したら100歳だ。小生何でも人がやることを10年くらい遅れてやっている。来年度（明後日からだが）も大仕事をこの歳で初体験。若いつもりで頑張ります。

あ、大学に雇ってもらったのは随分若い時だったな。実力以上に評価されるのも昔から。これがしばしば不幸を招いてきた。来年度は無理せずいきます。A堀先生には迷惑を掛けてしまいそうだが、よろしくお願いします。

1日中寝ていた

昨晩は呑みたい気分だったので、例によって違法販売機でレモンハイを4缶。@140円だったのだが、値上げされてしまい@150円に。600円持って40円お釣りだったのだが、丁度に成ってし合った。で呑みながらパソコンに向かって色々。で例によって朝に成ってしまった。もう来週から講義が始まるし、こんなのはそろそろやめないと。月曜は10時40分から講義だ。

で寝る前にちょっと YouTube を見ていたら、今年京大の文系入試で出た問題「55/(2×9^1/3＋3^1/3＋5) を有理化し、分母に3乗根の記号が含まれない式として表せ」の解説動画が出ていた。以前鈴木貫太郎氏が解説しているのを見たが、とにかく一生懸命やっていた。最後は「これ分子展開しなくていいですよね」と言っていた。そうかも。展開する時にミスったら勿体ない。まあ記述式だから、ちょっとした計算ミスは許されるだろうと思うが。うちみたいに答えだけ書かせる入試だと、中間点は与えようが無いので、致命的だが。で今日見たのは古賀真輝氏の解説動画。5通りの解説が与えられていた。色々な公式を使って上手に解いていた。a³＋b³＋c³－3abc＝(a＋b＋c)(a²＋b²＋c²－ab－bc－ca) を使ったり。氏は修士課程で数論幾何を修めた人のようで、代数は当然得意だと思われる。だから、当然問題の数が a＋b×3^1/3＋c×9^1/3（a,b,c は有理数）と表されることを知っている。その上で連立方程式、みたいな解答もしていた。最後は行列式を使った解答。「x∈R³、x≠0、A：3次の正方行列、Ax＝0 ⇒ det(A)＝0」を使っていたが、これの解説がちとくどい。Ax＝0 の両辺に A の余因子行列を掛ける、とかやってたが、うんなもん det(A)≠0 ⇒ A^-1 が存在 ⇒ 両辺に A^-1 を掛けて、とやれば仕舞だ、ということで突っ込むと、すぐ返事が返ってきた。数論幾何をやっていたので、任意の可換環での議論が身に付いているらしく、そうやったらしい。小生は体上の議論しかしないんでね。まあどれでやっても、ビックリするくらいうまく行く。出題者は見越していたのだろう。流石に京大の入試。まあ古賀氏の言う通り「こんなものやらせて何に成るんでしょうね」という感は否めないが。小生ならまずコンピューターに計算させる。SageMath で K.<a>=NumberField(x^2－3); 55/(2＊a^2＋a＋5) とやれば答えは一瞬。どうしても手でやらないといけないんなら、(X³－3)f(X)＋((2X²＋X＋5)/55)g(X)＝1 なる f(X),g(X)∈Q[X] を求めて、X:＝2^1/3 とするのがよいでしょう。が、これも手計算でやる必要は無く、SageMath で xgcd 命令を使えば f(X),g(X) は求めてくれる。まあいずれにせよ、大学入試でなければ手計算でやる必要は無い、ということです。

でさっきまで寝たり起きたりを繰り返していた。途中ニュースを見ると、昨日保津川下りで起きた転覆ニュースの話題がトップニュースだった。船員が1人死んでいるが、乗客に死者が出なかったのはまあよかったというところですかね。小生も一度保津川下りは経験あるが、結構なスピードで難所を乗り切っていくので、いつ事故ってもおかしくないというのは分かっていたが、実際に起こってみると、まあそうだろうな、という気はする。暫く休むそうだが、仕方ない。じっくり検証して、その上で再開するのを待ちましょう。それを目当てで来ている外国人観光客は我慢してください。

さて、すぐ寝ようか、それとも今日ももうちょっと起きていようか。明日は特に用事は無いんで、起きていても構わないが。少し思案するか。

初の学科長会議にあわや遅刻

昨晩は早寝するようなことを書いたが、色々やってしまい、3時過ぎまで起きていてしまった。で10時半のアラームも11時のアラームもスルーして、起きたら12時。ぎゃ！1時までに職場に行かないといけない。急いで支度。12時20分の新快速に乗って、かがやき通り経由のバスに乗って、会議室に着いたのが丁度1時。初回から恥をかかずにすんでよかった。新快速が止まる前だったら遅刻だった。新快速有難し。

今日は初の学科長会議。新旧両方出席ということで、結構な人数だった。年度末ということもあり、色々あって、3時過ぎまで掛かった。普通はオンラインで行い、2時半くらいには終わるそうだが、長くなることもあるだろう。保健センターに行く日は個研室からオンライン参加の方が安全そうだ。

4時から今年度最後の教授会。1時間ばかり時間あるので、食事を掻っ込んで、その後パソコンと格闘。SageMath のバージョンが古いので、バージョンアップしようとしている。前にも書いたが、Windows のサブシステムの Linux をインストールしないといけない。卒業式の日にやったんだが、何やらうまくいかない。途中で数物会の会合、卒業生・同僚と呑みということになり、中途で放り出していたので、今日再度トライ。ダウンロードは出来て、インストールも出来て、さあ実行、という段でエラーが出る。住処ではうまく行ったんだが。住処はインターネットに直で繋がっているが、職場は学内LAN、プロキシーサーバ経由で繋がっているので、多分そのせいだろう、というのは見当が付いた。で Google 先生に頼って調べるも、よくわからない。教授会のため中断。その後も色々やるがうまくいかず、Rainbow に聞こう、ということにしたが、学内内線番号一覧に Raibow が無い。ホームページを見ると、極力質問フォームに書いての質問にしてくれ、とのことで、仕方ないので状況を書いて返事を待つ。返事が無いかと思って待つが、無い。見ると受け付けは5時までだそうなので、仕方ないか。出来れば自分で解決したい、と思ったがやっぱり無理。明日返事が来るだろうから、一旦終了。

その後ちょっと数学。複素数の平方根や対数関数は実数の時ほど綺麗でない。で予想外の結果に成り、ちょっとがっかり。逆双曲線関数は実数の対数関数で書けてしまうので簡単だが、逆三角関数を対数で書こうと思ったら引数が実数でも複素数の対数を使わないといけない。ちょっと面倒。で9時過ぎまでごちゃごちゃやってた。

外に出ると寒い。昼は温かかったし、慌てていたのでジャンパーを着ないで来てしまった。まだ夜は寒いな。それでも車に乗って見たら外気温は7度。まあ一時のような寒さにはもう成らないだろうからいいが。桧の花粉が本番だそうだ。風邪と花粉症ダブルとか成ると悲惨なので、気を付けよう。しばらくマスクだな。

和光市から湘南台行に乗る

昨日は「サンデースポーツ」を見たら寝ようかと思ったのだが、大相撲のダイジェストはNHK総合よりBSの方が前にやるな、と思って番組表を見たら深夜1時から。ならいいや、見てしまおう、ということで見た。霧馬山際どかったね。まあよかった。

でチェックアウトは11時だと言っていた気がするので、9時半にアラームを仕掛けて寝て、9時40分くらいに起きた。片付けをして、10時40分頃ホテルを出た。で馬車道から一路和光市を目指そうと思ったのだが、3本続けて渋谷止まり。まあいいや、ということで渋谷行の急行に乗った。で渋谷で森林公園行の速い電車が来たのだが、流石にそこまで遠くは行きたくない。池袋を出ると、小竹向原、和光市にしか止まらない電車だったので、和光市まで行った。で改札を出て、適当に写真を撮って、などと思っていたんだが、改札の外で時刻表を見たら、湘南台行きが1分後に来ることに成っていた。で急いで乗る。が、湘南台は昨日行ったので、二俣川で海老名行に乗り換えた。新横浜でかなりの乗客が降りて、二俣川まではガラガラだった。が、海老名行は結構乗っていた。それでも海老名まで乗り通した乗客は多くなかった。で改札を出て、吉野家で牛丼を食べて、再び駅の中へ。横浜行が何本も続いた。寒くないのでホームで読書をしながら待つ。で西高島平行に乗る。三田まで行って、山手線か京浜東北線の田町駅まで歩いて、高輪ゲートウェー駅へ行こうか、と思っていたんだが、今日は平日。遅くなると京都－山科が混むので、高輪ゲートウェーは次回にして、素直に新横浜で降りた。で案内通りに歩くと、新幹線のチケット売り場に案外楽に行けた。まあホームが深いんで、多少は歩くが、どこもエスカレーター完備なので、そんなに大変ではなかった。まあもう相鉄に乗ることはそんなにないだろうから、覚えても仕方ないんだけど。

新幹線では「相棒」のシーズン5を見た。面白かった。で京都－山科間もそんなに混んでおらず、5時半くらいに住処着。横浜に行く前にしておこうと思って忘れていた用事をして、ついでに夕飯を買ってくる。で食べよう、と思った所でこけた。椅子にマットを敷いているが、それに手を突こうと思ったらマットがずれていて、全体重を掛けてしまったので椅子に上唇付近をガン、と。幸い弁当は無事。が、お茶がどっかに飛んで行ってしまった。少々出血。幸いすぐ止まったが。この程度で済んでよかった。怪我はうっかりで起こってしまうものだから、気を付けないと。歳を取ってきて骨でも折ったら大変なことだ。もう少し慎重に成ろう。

7時から「Qさま！」。日本人の生活を変えた昭和・平成のことを特集。冷蔵庫が無い頃って大変だったろうな。伊集院光が、子供の頃同級生の何人かの家のテレビはモノクロで、友人が伊集院の家でゴレンジャーを見てびっくりした、という話をしていたが、確かに小生が小さい頃はまだモノクロの番組があったな、と思い出す。伊集院光は小生と同い年。もう年寄りの部類だな。ランキングの中に Suica があった。正解したのはロザン宇治原だが、関西では Icoca だ！と言っていた。Icoca が出たのは小生が車の免許を取ったくらいで、暫くは Icoca 定期で職場に通ったが、車で通勤するように成って使わなくなった。その頃はまだ関東と関西で共通で使えなかったのだが、やがて関西でも Suica が使えるようになった。Suica は関東の私鉄にも乗れるが、Icoca では関東は JR しか乗れなかったので、実家に帰った時に Suica を買い、Icoca は返納した。今では全国でJR、私鉄、バスと関係無く乗れるように成っているので、Icoca を持っていても問題無かったが。近江鉄道バスまでついに交通系ICカードが使えるようになった。昔は不便だった。有難いね。1位は新幹線だった。当時は東京－大阪が4時間掛かったそうだが、今は新横浜－京都だと1時間56分。速くなった。小生がこっちに来た頃は新横浜を通過するのぞみが結構あり、大抵ひかりで帰ってきてた。米原と岐阜羽島でのぞみの通過待ちだった。その後新幹線の品川駅が開業して、のぞみが品川、新横浜に全電車停車に成った。ありがたい。最後の問題が「〇〇〇〇は新幹線で」の〇を漢字で埋めよ、という問題だった。正解は「修学旅行」。小学校の修学旅行は京都・奈良だったな。とすると新幹線で行ったんだと思うが、新横浜までどうやって行ったんだろうか？新横浜まで地下鉄が通じたのは兄者が大学受験をする頃だったし、当時は横浜線の京浜東北・根岸線直通も無かったろうから、横浜まで京浜急行、東神奈川まで京浜東北線、東神奈川から新横浜まで横浜線、とやったのだろうか。仲木戸（現・京急東神奈川）から東神奈川で乗り換える、というのは当時許されてなった。（東神奈川で国鉄の切符を買い直す必要があった。）もしかすると新横浜までバスをチャーター、という方法だったかもしれない。何にしても新横浜は不便な所だった。東急・相鉄の新横浜駅開業で便利になったね。

明日は1時から会議。職場に行かないといけない。実は卒業式後職場に行ってないので、車は職場に置きっ放し。久し振りに電車とバスで行く。12時前に住処を出れば間に合う。もう少し起きててもいいが、旅の疲れがあるので、早いとこ寝よう。

東横線の相鉄線直通線が運行取りやめに成っていて、面白くなかった

9時半頃目が覚めた。シャワーを浴びてから軽く食べて、11時前に出発。

まず馬車道からみなとみらい線に乗って、横浜駅で相鉄線に乗り換える。昔の乗った時は相鉄のホームは遠かったと思ったのだが、「現代のサグラダファミリア」と言われている横浜駅だけあって、新しい通路が出来ていた。で特急に乗って海老名駅を目指す。まずJR直通線に乗ることにする。日中は30分に1本だが、そんなに待たずに乗れた。西谷で相鉄本線とお別れして、羽沢横浜国大方面へ。羽沢横浜国大を出ると、日吉方面の線路を右手に見ながらJR線に。羽沢横浜国大は元々貨物の駅だったそうで、武蔵小杉までは随分変な所を走った。で駅間は15分。凄いな。終点は新宿。もう疲れた。が、まだまだ今日の旅は終わらない。新宿で昼食を摂って、池袋まで山手線で。副都心線に乗って、和光市を目指す。和光市では一旦改札を出た。Suicaの残高が少ないのでチャージ。でホームへ戻って東横線直通に乗ろうと思ったら、日吉でポイント故障があって、東横線からの相鉄線直通は運転を取りやめている、との話。うーん、何しに和光市まで行ったんだか。東横線直通は武蔵小杉止まりに成ってしまったので、次の日吉行に乗って、日吉から湘南台を目指す。考えてみれば湘南台から出るのは東横線直通。運転してないじゃないか、と思ったら、湘南台からも南北線直通が出ているようで、赤羽岩淵行に乗る。が、もうそこそこの時間に成っているので、赤羽岩淵まで行く元気が無く、日吉で横浜方面の電車に乗り換えた。明日元気だったら、もう一度湘南台まで行って、東横線直通に乗ろう。

今日は電車の中で数セミを読んでいたんだが、長旅の為ほぼ読み終えてしまった。菊名で特急が行くのを待っている頃スマホに切り替えた。6時くらい。で速報が入った。霧馬山優勝。阿炎が優勝した時もそうだが、全く予期していない展開。これはサンデースポーツを見なくてはいけませんな。

持ってきた数セミは読み終わてしまったが、更に2冊文庫本を持ってきている。司馬遼太郎の「義経」の上下巻。去年大河ドラマを見ている時にうっかり買ってしまったもの。中々読む機会がないので、明日読み始めるとしよう。

新横浜から日吉へ東急新横浜線で行く

昨日はすぐ寝たが、やはり徹夜をしたためか、全然起きられなかった。夕刻に固定電話が鳴り続け、起きた。留守番電話をずっと解除したままに成ってるな。セットしよう。

で相撲を見た。翠富士は大栄翔に敗れた。4連敗で優勝争いから脱落。静岡初の優勝は成らなかったか。残念。優勝の可能性のあるのは大栄翔と霧馬山のみ。どうなるでしょう？

6時半くらいに住処を発つ。もう少し早くしたかったのだが、起きられなかったから仕方ない。6時54分の新幹線で一路横浜へ。今回の旅の目的は、相鉄、東急直通線に乗ること。新横浜駅と新綱島駅が新開業で、相鉄が東急へ、東急が相鉄へ乗り入れている。で東京メトロに直通していて、海老名、湘南台から埼玉への直通電車という、長距離運転。新横浜プリンスホテルに泊まって、明日は電車に乗りまくる、という予定だったのだが、新横浜に宿が取れなかった。で結局みなとみらい線の「馬車道」駅の近くになってしまった。新横浜からみなとみらい線に乗り換えるのはちと面倒。市営地下鉄で横浜まで行って乗り換えるようか。地下鉄の横浜駅と東横線・みなとみらい線の横浜駅はちと離れているしな。市営地下鉄で桜木町か関内まで乗って歩くのもいいが、雨が降っている模様。菊名まで横浜線で行くか。さて、とか色々考えたが、ここで閃いた。新横浜から日吉に出る、という新ルートが出来たのだ、使わない手はない。ということで早速相鉄・東急直通線の新横浜駅へ向かう。もっと近いルートがあるのかもしれないが、案外乗り換えは不便という感じ。でも新横浜から乗って次の新綱島で降りた人が案外いたのを見ると、地元の人は便利に成ったと思っているんだろうな。まあよかった。

ということで、明日は相鉄線に乗りまくる。東横線・副都心線・東武東上線直通電車、目黒線・南北線・目黒線直通電車、JR直通電車と、都心と海老名・湘南台を数往復する予定。一応言っておくが、毎回終点で改札口を出る。ずるいことはしませんので、念のため。

宿に着いてテレビを付けると、まだWBCの特集をやってる。まあ終わって初めての土曜日だからな。もう来週からNPBが始まる。侍のプレーに注目してください。

「アメトーーク」のWBC特集が面白かったので、ダビングして残しておくことにした

どうも一日おきに徹夜してるな。今日も。そろそろ戻さないとまずいね。4月に成ったらこんなわけにはいかないので、今月中に少しずつどうにかする。

で今日は昼少し寝て、夜ガッツリ寝る、のつもりだったのが、寝床でスマホを見てたら気持ち悪くなってきた。ずっと近く見てたからかな。起きて冷たいものを飲んで、少し直ってきた。でテレビを付けたらWBCの特集。帰国後の会見だったり、ヌートバーのお母さんに話を聞いたり、大いに盛り上がっていた。で番組が変わってもまだWBCの話題。今度はブルペン捕手をやっていた、Fighters、Hawks で活躍した鶴岡慎也氏に代表の裏話を聞いていた。鶴岡慎也知らない？もぐりやね。セ・リーグファンだと鶴岡一成は知ってるか。Baystars から Giants にトレードで移籍して、FA で Baystars に戻って、最後は大和の人的保証で Tigers に移籍した捕手だ。Giants にいる頃はよくテレビに出ていた。その鶴岡じゃなくて、鶴岡慎也。面白かった。

でそんなことをしている間に相撲の時間に成ってしまった。翠富士の連敗で優勝争いが混沌としてきたので、見た。2敗の大栄翔は今日も勝って2敗キープ。翠富士は3連敗で、これで大栄翔が単独トップ。明日は大栄翔 vs. 翠富士らしい。楽しみやね。明日見られるだろうか？というのも、明日からちょっと2泊でお出掛けの予定。相撲が終わってから出掛けてもいいが。まあ起きた時間次第だな。今日はもう寝るが、徹夜した次の日は平気で14時間くらい寝るからね。

でお出掛けの前に録画用のハードディスクの空きを調べたら、かなりいっぱいいっぱい。一つダビングして、もう一つ見て消そうか、と思ったのだが、もう一つというのが2月28日に放送された「アメトーーク」のWBC特集。面白かったので、ダビングしておくことにした。もうちょっと高画質で録画しておけばよかったけど、まあいいや。内容はというと、これ本当にWBC前に収録したもの？というくらい予言の嵐。「大谷 vs. トラウト、あるかも」とか、「大谷がMVPを取る」とか、「吉田正尚が大活躍して、メジャーリーグのシーズン前に大ブレークする」とか、ヌートバーの “ペッパーミル” パフォーマンスを取り上げていたりとか。鈴木誠也の離脱は流石に予見出来なかったようで、4番は鈴木に成っていたが。他にも面白い話が盛り沢山。栗山の現役時代の映像もあった。老後の楽しみに残しておくことにした。権利の関係もあって難しいかもしれないが、今回のWBCの総集編みたいなDVDを売り出したらすぐ買うな。

さ、寝るぞ。

tsunoさんが京都に来ている

昨晩は寝不足だから早く寝られるだろし寝よう、と思っていたんだが、寝床でついまた Facebook を見てしまった。WBC の話題で目茶目茶盛り上がってたんで、片っ端等見て、寝たのは3時半とか4時とかそれくらい。何してんだか。で今日は電話が鳴ったとかそういうのも全然気付かず、5時過ぎまで寝ていた。長時間寝られるのは若い証拠といも言うが、どうなんでしょう？

で相撲を途中から見たが、翠富士が負けた。昨日も負けたそうだ。これで大栄翔と翠富士が2敗で並ぶ展開。さてどうなるでしょう？

その後先週の「ミラクル9」の2時間スペシャルを見て、再生が終わると「アメトーーク！」のスペシャルがやっていた。「絵心無い芸人」の最中。マエケンは相変わらず凄いな。

で9時前に電話。今日は tsuno さんが京大に来ているので、遅くなるが呑みに行こう、という約束をしていた。9時半くらいに「ふなごや」に入る。同業者と呑む機会がとんと無かったので、楽しい。学生に色々実験させて卒論を書かせている、という話は羨ましいの限り。いや、まあ、仕事が増えるだけだという節もあるので、卒論は書かせなくてもいいかな。有理整数環で定式化されていることがガウスの整数環やアイゼンシュタインの整数環ではまだよくわかっていない、というのは面白い。うまくやればオリジナルな論文として発表出来るかもしれない。難しい理論を勉強させて終わり、というのも一つの大事な仕事だが、やはり論文は書かせたいね。

昨日はバス、電車で職場から帰ってきて、今日は上に書いた調子なので、職場に車を起きっ放し。明日取りに行こう。ということで今日は程々に寝る。まあもうちょっと起きてるかん。

WBCは日本が優勝

昨晩は早く寝ようと思ったんだが、興奮してるのか眠くならない。5時くらいまで録画してあったものを見たり、数学をやったり。で5時くらいに横に成った。テレビは付けっ放し。野球が始まった頃はぼーっと起きていた。今永がホームランを打たれたのは微かに聞こえた。で村上についに1号が出た、というあたりで起きた。ヌートバーの内野ゴロで勝ち越し。6回には岡本にホームランが出て、もう大騒ぎ。が、8回表にダルビッシュがホームランを打たれ1点差。うむ。9回は大谷。やってくれると信じて見ていた。で抑え切って、優勝！やっぱり侍は強かった。

インタビューを見たりしているうちにもう12時。13時40分までに職場に行かないといけないので、シャワーを浴びて、13時前に住処を離れる。シャンパンファイト見たかったな。

14時10分から学科別学位授与式。小生の役目は名前を呼ぶこと。難しい名前が多いが、ちゃんと読みがカタカナで書いてあって助かる。留学生の名前もカタカナで書いてある。性別も書いてあるんだが、ここは男女平等でいこうということで、全員「君」で呼ぶ。彼はこういう名前だったか、とわかってよかった。

その後ウェストウィングに会場を移して、数物会の催し。アナウンス期間が短かったようで、現地参加、オンライン参加合わせても大した数じゃなかった。一応3月31日までは色々自粛してくれと言われているので、まあ仕方ない。来年の卒業式はもっと派手にやれるかもしれない。

寝不足の上に酒を呑んでるので眠い。今日は久々にバスと電車で帰ろう。車は明後日にでも取りに来る。

平和な期間はもう1週間もない。事務からも色々メールが来るし、もう既に平和でないかもしれない。1年間頑張るぞ！

不振の村神様がサヨナラヒットを打って、明日はアメリカと決勝戦

昨日は早く寝よう、と思っていたのだが、つい遅くなってしまった。またしても ChatGPT をいじめた。情報を増やすと回答が改善される、と言っている人が多かったので、「cos x＝2 を満たす x を求めて」を「cos x＝2 を満たす複素数 x を求めて」にしてみる。すると、「x が実数の時は cos は－1から1の値しか取らない。よって cos ｘ＝2 を満たす複素数 x は存在しない」と謎の解答。そうか。じゃあ「cos i を計算して」とやったら、何やらオイラーの公式を持ち出して、結論は cos i＝0。いやいや、cos i＝cosh 1＝(e＋e^-1)/2 だってば。当然の如く cos(i×log(2＋√3)) には何やら謎の答えを返してきた。覚えてないが、2 でなかったことだけは確か。cos z＝2 という虚数はあるのだ。そんなことをしてたら1時を過ぎていた。いかん、寝るぞ。

8時にアラームを仕掛けてあったはずなので安心して寝ていたが、アラームが鳴らない。目が覚めると8時50分くらい。がーん。まあいいや、途中から見るか。などと見始めると、佐々木が3ランホームランを打たれてしまった。うーん。眠いな。テレビを付けっ放しにして横に成る。眠っているような眠っていないような状態で音声を聞いていたら、吉田に3ランホームランが出た。うわ！起きた。が、見始めると点を取られる。山本が失点し、代わった湯浅もタイムリーを打たれ2点差。3点目のランナーはホームでタッチアウト。よかった。山川に犠牲フライで1点差。腹が減ってきたし、Uber Eats に食事を頼むことにして起きる。大勢が9回表を0点に抑えて9回裏へ突入。大谷が初球を打って2ベース。ヘルメットを放り出して2塁へ滑り込み、雄叫び。吉田が四球を選んで、代走周東。打席に立つバッターは今日3三振の村上。ここは代打では？という意見もあったと思うが、信じた栗山監督が偉かった。逆転サヨナラヒット！これで決勝進出。相手はアメリカ。今永が抑えてくれるでしょう、と信じて、明日は最初から見よう。目覚ましを仕掛け忘れずに。

忘れてはいけないのは、明日は卒業式。小生は式の始まる30分前に会場に着いていないといけない。優勝したらその後色々あるだろうし、余韻を楽しみたいが、まあ仕方ない。負ければ後腐れなく行ける？いやいや、そんなことはない。勝ってください！

新4回生に超越数を勉強してもらおうと決める

毎度のことながら、寝不足で一日無茶をやると起きられない。今日は学生と Zoom で面談をする約束に成っていて、それに間に合うように起きないといけない。髭を1週間くらい剃ってないので、その分の時間も必要。でどういうつもりだったかは忘れたが、2時に設定していた。12時くらいには起きようと思ってアラームを仕掛けておいたんだが、起きられなかった。起きたのは1時半くらい。寝癖ボーボーだが、シャワーを浴びてる時間が無い。髭だけは剃った。で1時50分くらいに Zoom を開く。学生は1時55分くらいに現れた。慶應の大学院に行って、超越数を勉強したい、と言っていた。塩川先生の超越数の本を買って読み始めた、とのことなので、じゃあゼミのテキストはそれにしよう、と言っておく。来年度の卒研生は2人なので、色々融通がきいていい。もう1人には山本芳彦先生の整数論の本でも読んでもらおう。ということで20分くらい話したかな。まあよかった。

その後管理人さんに車庫証明を頼みに行く。前と様式が変わったな。車の大きさなんて前書いたかな？カタログをトヨタからもらっているので、それを見て書く。運転免許証のコピーを添付せよ、とのことなので、セブンイレブンにコピーしに行く。ついでに昼飯を購入。ここで気付いた。nanaco を持ってきてない。仕方ないので現金で払う。書類を提出して、「ゴゴスマ」を見る。明日の WBC の話題が主。盛り上がってるね。8時試合開始だから、今日は早寝しよう。その後相撲。今日も翠富士は勝って、初日から9連勝。凄い。1敗の大栄翔も勝った。初日から5連敗と最悪のスタートを切った若隆景は4連勝で4勝5敗。勝ち越すかな。

相撲が終わって、寝巻を買いに行く。穴が開いてしまったので。しまむらが近くにあるので、歩いて行く。手頃なものを買ってきた。で録画したまま見てないものが幾つかあるから、見ようか、と思っていたんだが、「激レアさんを連れてきた。」のゴールデンスペシャルがやる、という情報が入ってきたので、そっちを見ることにした。ゲストは上沼恵美子と加賀まりこ。面白そうだ。で案の定面白かった。若林が両者にラベリングしないといけないのだが、困っていた。大先輩だからね。二人とも規格外の人生を歩んできていることがわかった。でないとあんな大物には成らないかな。

さて、もう少ししたら寝よう。まだ疲れている。明日は考えてみれば祝日だな。事務からのメールは無いだろうから、野球が終わったらビデオ漬けだな。

ChatGPT をいじめ倒す

昨晩は呑んで帰ってきて、ウダウダとやって寝床へ。で最近悪い習慣が付いているのが、twitter や Facebook を見てしまうこと。で何やら ChatGPT が話題に成っている。少し前にテレビもやっていた。学生が宿題をしなくなるのではないかと。で試しに登録して、log(－1) を求めよ、とか、cos x＝2 となる x を求めよ、とかやらせてみる。前者は、対数関数の引数は正の実数でないとダメ、後者は cos の絶対値は1以下でないとダメ、と返してきた。複素関数論は知らないか。後意地悪で、1/(x²＋1) の原始関数を求めよ、やってみた。高校数学では求められないことに成っている。結論は、1/((x＋i)(x－i) とやって、部分分数分解して log で返してくるというものだった。小生が受験生の時夢想していた奴やね。まあ大学数学には対応してないか、ということで一旦就寝。

そんなに長時間寝られず起きてしまった。でまた twitter を見る。TeX が何がいいのかわからん、ということを呟いて、それに同調している人が結構いる。ラベルを振って、定理や式を \ref や \eqref で引用できるのがいい所では？と反論を書いておく。で TeX ユーザーの反論の中に、「TeX を覚えると ChatGPTと会話出来るからいいですよ」というのがあった。え？ChatGTP って TeX 理解出来るの？で早速試してみた。pmatrix 環境で行列を教えることに成功。\begin{pmatrix} 1 ＆ 1 \\ 0 ＆ 1 \end{pmatrix} を対角化して、とやってみた。手順が次から次と出てくる。固有多項式を求めて、とか。で対角化された。が、いかん。この行列は対角化出来ない。じゃあジョルダン標準形を求めてもらおう、と思ったら、単位行列が答えで返ってきた。うーん。そうか、対角化出来ないことを証明して、とやってみたら、固有値1に対する固有ベクトルが存在しないので対角化出来ない、という謎な解答。ダメだな、使えん。が、そうなったらもっと意地悪がしたくなる。複素解析と線形代数が駄目なら、1回生の微積分でどうだ、ということで、コーシー列が有界であることを示して、とやったら、何やら ε だのなんだの出てきて、正しくやってるっぽい。おぉ。じゃあ次は位相だ。[0,1] がコンパクトであることを証明して、とやったら、コンパクト ⇔ 有界閉集合を知っている。で有界閉集合であることを示し始めた。が、やっぱりだめ。「[0,1] という一つの開カバーで覆われる」と謎の一言。[0,1] は開じゃないって。有限個の開被覆で覆われればコンパクト、という間違いはよく学生がやって、その定義だと任意の集合がコンパクトに成ってしまう。位相もダメ。じゃあ代数だ。偶数位数の群は位数2の元を持つことを証明せよ。何やら x と x^-1 を組にして、とかやってるところをみると、出来てるっぽい。じゃあ p が有限群 G の位数の素因数なら、G は位数 p の元を持つ、というコーシーの定理を証明させてみた。1頁くらいで証明してきたが、まあ見るまでもなく間違ってる。これはシローの定理の証明のように群作用で証明したり、もしくは最初アーベル群の場合に証明して、アーベルとは限らない場合は中心とか正規化群とか持ち出して、アーベルの場合に帰着させる、という証明をするしかない。難しい定理だ。待てよ、ここは一発、奇数位数の群は可解群であることを証明せよ、とやったら、これも1頁くらいで証明してきた。そんなわけない。これは Feit－Thompson の定理と言って、Pacific Journal of Mathematics 一冊丸々使ってようやく証明が出来るという超ド級の定理。いよいよ信用ならんね。位数15の群は巡回群であることを証明して、とやったら、15は素数、とかわけのわからないことを言ってきた。滅茶苦茶だな。位数8の群を決定して、と言ったら、巡回群と四元数群の存在を教えてくれたが、二面体群は無視された。「決定する」という言葉の意味はお分かり？群論は分かった。環論をやろう。R[X]/(X²＋1) と C が同型であることを証明して、と。何やらイデアルとか剰余環とか kernel とか知っているようだが、Ker(f)/(X²＋1) とかやりだした時点でもう見る価値無し。体論は？代数学の基本定理の証明を教えて、と命令したら、まず定理のステートメントを紹介してくれて、その後証明を始めるが、滅茶苦茶。f(X)∈C[X] を取って、その根 z∈C を、とか始める。いやいや、そういう z が存在することを証明するんじゃない。これはガウスの頃の数学者が同じ間違いをしていて、ガウスに指摘されても意味が分からなかった、という逸話を思い出させる。次は整数論だ。φ(100) を計算して、とやったら、1～100 で 100 と互いに素なものを数え始める。うーん。じゃあ p,q が相異なる素数の時、φ(pq) を求めて、とやったらこれは出来た。出来ることもあるんやね。2¹⁸－1 を素因数分解して、とやったら x²－y²＝(x－y)(x＋y) を用いるまでは良かったのだが、x³－y³＝(x－y)(x²＋xy＋y²) は知らないようで、中途半端に分解して終了。513は素数じゃないぞ！そうだ、2³²＋1 が素数じゃないことを証明してもらおう。641が素因数であることならそんな苦じゃないんじゃないだろうか？と思ったら、何やら意味不明なことを始めて、謎なことを吐き出して終わり。うーん。2¹⁶＋1 が素数であることを証明してもらおう、とやってみる。二つの方法がある、といって、2⁸ 以下の素因数を持たないことを示す、でそういうのは無い！と言ってくるんだが、信用できない。もう一方はいよいよ信用できない。奇数 n に対し、2^n-1≡1 (mod n) ⇒ n は素数、という大嘘命題を使ってきた。ダメやね。

そこいらで一旦休止。相撲を見る。翠富士が幕内唯一の8戦全勝。今日は大きい碧山が相手だったのだが、見事だった。部屋の横綱照ノ富士（今場所休場）には「優勝いけるぞ」と言われたとか。高安は2連敗。またしても優勝できないんだろうか？

で相撲が終わったら、引き続き ChatGPT をいじめる。非分離拡大の定義を教えて、とやったら、全ての元の最小多項式が重根を持つ、という謎な答え。∀を否定すると∃になることが分かっていないのか？最小多項式か、面白い、と思って、e^2πi/7 の有理数体上の最小多項式を求めて、とやったら、x⁷－1。うーん。cos もやってみよう、ということで、cos(2π/7) の有理数体上の最小多項式を求めて、とやったら、cos(2θ)＝2cos²θ－1 を用いて、とかやられて、係数に思いっ切り無理数が残っている。7 だからいけないんだな。今年のうちの入試でも出てたが、7 だけじゃ点が出ない、という配慮か、5 もやらせていた。ということで cos(2π/5) の最小多項式も求めさせたが、全く同じことをやっていた。が、この場合はまだ求められるということか、小数表示してきた。が、cos(2π/5) が負に成ってしまった。うーん。で1の冪根とか三角関数と言えば、クロネッカー・ウェーバの定理だ。ステートメントを教えて、とやったら、何やらアーベル拡大が何のかんのと言ってくる。が、そこはかとなくおかしい。クロネッカーつながりで、クロネッカーの青春の夢について教えて、とやったら、クロネッカーの書いた哲学書、という出鱈目もいいところな解答。この哲学書について縷々述べてくるが、もう読む価値無し。

そこで一旦やめて、また twitter を見てしまった。日曜数学者 tsujimotter 氏が自分のことを ChatGPT に聞いたら、何やら氏の妙な本名を返してきたらしい。予備校の先生が自分のことを聞いたら、出鱈目なことが返ってきた、と呟いてた。これは面白そうだ。加川貴章って何者？と聞いたら、凄いことに成った。小生岸田内閣で文部科学大臣を務めたことがあるらしい。うーん。で色々有名な数学者の名前を試したら、もう出鱈目そのもの。佐武一郎先生の名前を入れたら、特定不能なので、もう少し情報をくれ、と言ってきた。で「佐武一郎（数学者）」とやってみる。何やら数学者のことを返してきたが、佐武先生は微積分で大きな業績を残したことに成っている。そうか？で「加川貴章（数学者）」でやってみると、小生何やら代数幾何の研究をしていて、東大教授と成っていた。後進の育成に熱心、と書いてあったが、大学院進学後はドクターまで行って、研究者に成りたい、と言っていた K 君を「うちは整数論流行ってないから、もっと院生の多い所に進学した方がいい」と追い出したことがあるし、留学生からの申し出も、うちより京大や名古屋大に行った方がいい、と断り続けている小生のどこが熱心なものか。で加藤和也先生の名前を入れたら、何やら人気の俳優だと返ってきた。加藤和也なんて俳優いたかな？さっきのように「加藤和也（数学者）」とやったら、そんな数学者知らない、という失礼な返答。「加藤和也（整数論）」でもうまくいかない。最後の手段。「加藤和也（素数の歌）」とやったら、あ、そうです。素数の歌の作詞、作曲者、と返してきて、素数の歌を勝手に作ってきた。加藤先生の作品とは似ても似つかない。ついでに「加藤和也（美空ひばりの息子）」とやったら、さも知っていたかのように、美空ひばりと加藤剛の息子、というとんでもない答え。こちらの加藤和也氏は美空ひばりのお兄さんの実の息子で、養子にもらった、という顛末だったはずだが。

もっと世界的に有名な人だといいのも、ということでイチローのことを聞いてみた。すると、大体合ってるかな、という感じ。ただイチローが愛媛出身に成っていた。（実際は愛知。）大谷翔平についてもまあまあ。が、佐々木主浩がいかん。1974年生まれ、という時点で既に間違い。氏は小生と同い年。1968年2月22日生まれ。で何やらシーズン30勝したことがあるという、抑えの切り札の彼とは思えない成績。新人王を取った、と書いてあったが、大嘘。氏は1年目に2塁ベースに滑り込んだ時に足を骨折し、以後シーズンを棒に振っている。活躍し出したのは2年目から。でここでふと思い出した。昔知ってる人が「数学のめり込み度チェック」とか言うのを書いていて、そこに「王貞治を『おうていじ』と呼んでしまう」というのがあった。で高木貞治を引いてみると、案の定というか「たかぎさだはる」と成っていた。で類体論の父が代数幾何で大きな業績を残したことに成っている。滅茶苦茶やね。

もう飽きた。結論：ChatGPT 使えん。まあレポート問題を出題する前に、正解を出されないか確認する時くらいしか使わんね。無駄な一日だった。

相鉄・東急直通運転開始

今日は何とか11時に起きた。でシャワーを浴びて野暮用。用事が思いの外長引いたので、お腹がすいてきた。で昼飯を山科駅まで済ませて帰宅。そこで気付いた。印鑑証明をもらってくるんだった。まあいいや、もう1回駅前に行こう、ということにして、出向く。350円。区役所まで行かなくていいのは有難い。区役所は地下鉄で2駅。案外面倒。印鑑登録する時、パスポートを作りに行く時、マイナンバーカードを作りに行く時、マイナンバーカードの情報を更新する時、これくらいしか行ったことない。地下鉄が出来る前はバスで行くしかなかったろう。市役所は未だに行ったことがない。市役所は地下鉄で10分強。地下鉄が出来る前は京津三条から歩いたんだろうか？そもそも市役所に行かなくちゃいけない理由って何だ？

さて、今日は全国で電車のダイヤ改正が行われている模様。関西一番のニュースは、大阪駅のうめきた地下ホームの開業だろう。関空特急はるかなど、大阪駅に止まらなかった電車がうめきたホームに停車で、大阪駅が便利に成る。一度行ってみよう。が、個人的に興味あるのは、相鉄・東急が直通運行を始めるというニュース。新横浜経由で相鉄の電車が渋谷・目黒方面へ直通し、和光、川越、浦和方面へ直通。綱島在住の友人がもう乗ってきたようで、嬉しそうだった。近いうちに乗りに行くか。母親の一周忌が明日だったら、ついでに行くんだが、乗りに行くにはわざわざ行かないといけない。28日を過ぎるといい加減新年度モードに入るようだから、その前だな。卒業式が22日。24日にちょっと用事があるので、25日にでも乗りに行くかな。

さて、さっき印鑑証明をもらいに行く時に呑み屋の大将に会ってしまった。「今晩行きます」と言った以上行かないわけにはいかない。ということで今から呑んできます。

「赤い霊柩車」シリーズファイナル

昨日寝る時点では、早寝して、早起き、アクティブに過ごす、というつもりでいたんだが、やはり2日続けて無理をしたためか、10時の目覚ましでは起きられず、10時半のアラームでも起きられなかった。新4回生が Zoom で面談を希望していて、それを今日の2時にしようか、と思いメールを書いたら、来週の方がいい、という返事があった。ということでそれも気にせず寝続ける。で寝続けていたら、来客。ガス漏れ報知器の交換を今日にしておいたのだった。でようやく起きた。交換自体はすぐ済んだ。で湯沸かし器の点検をしてくれたのだが、どうも怪しい、とのこと。交換した方がいいと言っていた。このマンションは建って10年。そろそろ何かあってもおかしくないだろう。

でその後もダラダラと。でちょっと計算しよう、と思い立つ。高3の頃だったか、浪人しているころだったか、こんなことを考えた。1/(x²－1) の積分は、部分分数分解することにより log で表さることがわかる。じゃあ 1/(x²＋1) は？これの原始関数が tan^-1x であることを知っていたので、多分浪人している時だろう。1/(x²＋1) は虚数を使えば部分分数分解できる。じゃあ tan^-1x は複素変数の log で表される？これを考えていた時は上に書いたように受験生だったから、大学に合格することが最優先なので深く考えなかった。今時の学生ならすぐ google 先生に頼るだろう。が、当時はそんな便利なものは無かったので。で大学に受かっても日々のことで忙しくて、忘れていた。関数論を習った時は、その面白さに魅了され、もう 1/(x²＋1) とかどうでもよく成っていた。そのまま忘れること数十年。今日思い出したのだ。でやってみる。求まって、取り敢えず x に実数を代入してみたが、一致しない。 まあ複素変数の log は色々難しいしな。それに定積分は下限を幾つにするかにより結果が異なるから仕方ない。が、そこでまた閃いた。tanh^-1x は、tanh x が exp(x) で書けていることにより log で表せる。tan x は exp(ix) で表されている。じゃあ tan^-1x も書ける？とやってみる。出来た。今度は一致してそうだ。まあ偏角をどう取るかにより結果は異なるだろうが、－π<arg(z)≦π くらいにしておけば問題無いだろう。ということで TeX 化。

思い出して相撲を途中から見た。若隆景が昨日まで5連敗。今日漸く初日が出た。去年は優勝したし、大関候補の最右翼の筈だったが、どうした？霧馬山あたりに先を越されそうだ。先場所優勝争いをした琴勝峰は未だ初日が出ず。貴景勝は昨日まで3勝2敗。どこか怪我しているらしく、今日も御嶽海相手にいい立ち合いだったのにあっさり負けた。3敗か。場所後の横綱は絶望的だな。横綱への道は険しいな。

その後しばし Facebook を見たり。でその時気が付いたのが、昨日の WBC のことで書き忘れたことがある、ということ。大谷がセーフティーバントをした。大胆なシフトを敷いていたイタリア守備陣の裏をかく3塁線への見事なバントだった。その後岡本に3ランホームランが出ているので、大きかったな。カズレーザーが「3ランホームランじゃなくてバントが新聞の一面に成るんですね」と言っていたそうだが、まあそうだろう。ダルビッシュがホームランを打たれたが、入っていないのは？という疑惑が。ヌートバーが審判に何やら言っていた。チャレンジしてもよかったんじゃないか？という気がしないでもないが、まあ点差があったからね。アメリカに行ってからは今までより厳しい試合になるだろうから、チャレンジは適切にしてください。その後前に見た √tan x を 0 から π/4 まで定積分する、という動画が出てきたので、改めて見た。難しい積分をやってしまうところがは流石なんだが、ちょっとツッコミどころがあった。tan x の導関数を 1/cos²x にしていたが、これはいけない。1/(1+x²) を x＝tan θ と置いて置換積分をするんだが、dx＝(1+tan²θ)dθ＝(1＋x²)dθ とした方が見通しはいいはず。それと、うちで前に出た入試だが、I_n を tanⁿ x を 0 から π/4 まで定積分したものとした時、I_n の満たす漸化式を求める問題だが、これは tan x の導関数を 1＋tan²x だと覚えておかないと出来ない。tan x の導関数は 1/cos²x＝1＋tan²x だと覚えておこう。それともう1箇所ツッコミどころがあった。(2－√2)/(2＋√2) を有理化して 3－2√2 と求めてから、もう一回 3－2√2＝(1－√2)² と気付かせている。こんなもん有理化する時に分子を展開しなければ済むだけのことだ。何ともセンスが無い。難しい問題を解けるのも大事だが、こういう所を馬鹿にするようではいかん。受験生に偉そうにするなら、もう少し修行しておくれ。

片平なぎさ主演でお馴染み「赤い霊柩車」シリーズが今日でファイナル。30年続いたそうだ。片平なぎさってもう64歳なのね。そりゃ終わるわけだ。名取裕子、宅麻伸でお馴染み「法医学教室の事件ファイル」も長く続いたが、もう終わってるんだろうか？息子が中学生の頃からやっていたと思うが、もう社会人に成ってるからね。渡瀬恒彦でお馴染みだった「タクシードライバーの推理日誌」は渡瀬恒彦が死んだので強制終了。こちらも中学生だった娘が出来ちゃった結婚をするかしないかなんていう話に成っていたから、随分続いたね。東ちづるでお馴染み「温泉若女将の殺人推理」は2019年で終わっているようだ。今調べたら、最初は若女将は大島智子がやっていたようだ。東ちづるに成った後の昔のものを見たら、温泉の跡継ぎをやらず刑事をやっているバカ息子を松村雄基がやっていたことがあった。どうも中村梅雀の印象が強い。面白かったな。また放送してくれないだろうか？最近2時間ドラマは衰退気味だ。真野あずさも色々やってた。録画したまま見てないものをひっくり返してみるとするか。ってそれほど暇でもないが。

侍アメリカへ

また朝まで起きていた。いかんね。そこから寝て、昼過ぎまで。昼飯を食べてもう一度横に成る。相撲は見損ねてもWBCは見たいぞ。ということで。

でちゃんと寝られたとは言えないが、まあそこそこ寝た。でドーピングしてWBCに臨む。イタリアは侮れないぞ、と脅されていたので、真剣に応援。先発大谷は上々の滑り出し。日本は初回からランナーを出すも、無得点。嫌な感じがしていたが、3回裏に4番吉田のショートゴロで先制。岡本に3ランが飛び出し、4点先行。大谷は調子良さそうだし、もうもらったか、という気がしたが、やはりイタリアは侮れない。Do.フレッチャーが2点タイムリー。2点差。嫌な感じに成ったが、5番に降格した村上に初タイムリーが飛び出し追加点。岡本が2点タイムリーで5点差。もう大丈夫だろう。7回裏に吉田がホームラン。右手小指を骨折しているはずの源田にもタイムリーが飛び出した。大谷の後、伊藤、今永、ダルビッシュと継投。が、ダルビッシュがDo.フレッチャーにホームランを打たれる。それでもダルビッシュはその1失点に抑え、最後は大勢。結局9－3で勝利。無事アメリカに行けることに成った。よかった。21日（祝日）に準決勝、22日に決勝。どちらも朝8時試合開始とちょっと早いが、見る。いや、決勝は日本の結果次第だな。午後から卒業式がある。今日案内が来ていたが、ちょっと早目に行かないといけなくなったので、慌ただしい。日本が優勝するのを見届けたい。

明日はちょっと用事がある。駅の方に行くので、ついでに印鑑証明をもらってこよう。その後マンションの管理人さんに一つ頼みごとをする。気が向いた時でないと物事をしない男なので、明日は色々やろう。メールの返事も明日書こう。今日はもう寝る。

眠い一日

一昨日から昨日に掛けて徹夜したが、昨日の晩はうっかり呑んでしまった。で流石に眠くなってきて、4缶買ったが3缶呑んだ時点でダウンした。で目が覚めて時計を見ると9時59分。すわ、夜か？と思ったら朝だった。が、まだ睡眠は十分でないので、もう一度寝た。で2時くらいに起きて食事。相撲を見よう、と思ったが、また眠くなってきた。でそのままもう一度寝て、8時くらいに起きるという、何だか訳の分からない生活をしてしまった。明日は相撲とWBCを見たいので、今日は程々にして寝よう。

起きてメールを見たら、沢山来ていた。そろそろ新年度モードに入ってきたようで、メールが沢山来ていた。忙しくなるな。返事を書けるものは今晩中に書いておこう。

さて、上に書いた通り1缶残っている。今晩も呑もうか？明後日は午前中から用事がある。明日はダラダラと過ごしてもいいな。いや、また事務から大量のメールが来る可能性があるので、パソコンの前に張り付いていた方がいいか？まあそろそろ新年度の講義の準備をするし、一日中作業するだろうから、パソコンの前から離れられないか。まあ程々にしましょう。

国会に一度も出席せずクビに成った議員がいる。出席しないといけないというルールなら守らなければいけないのは当然。まあ多様性を重視するこのご時世、オンライン参加出来るよう制度を改めた方がいいという気がしないでもないが。コロナのお陰、というのも変な気はするが、教授会がオンラインで行われるように成った。教授会の為にわざわざ大阪での用事を切り上げて、新快速で駆け付けたことがあるが、型通りの議事を進行して30分で終了、という時は何とも馬鹿馬鹿しく感じたものだ。こっちへ来た頃は4時20分開始で8時半終了、なんて時もあったが、それも嫌だった。短くてオンライン、最高だな。国会はどうするでしょうか？

12345

今日は伊東先生に血圧を見てもらう日なので、ちゃんと寝よう、と思ったのだが、また無茶をしてしまった。三角関数の入った積分を二通りに計算して、見た目では等しいとは思えない二つの答えがしばしば得られて、暇つぶしにやったやつは t＝tan(x/2) と置いて書き換えると、t の式として等しくなった。で今度もそうだろう、と思っても等しく成らない。グラフを書いてみた。等しくなかった。が、同じ関数の原始関数なので、当然定数の差しかない。その定数も x＝0 と置けば立ちどころに求まる。で万々歳、とはいかない。そんなことしないでも三角関数の公式を巧みに使えば証明出来るはず、と思って計算し始める。cos x の入った式で t＝tan(x/2) と置いて計算したが、結構大変。で計算は無事遂行され、予想通りの結論に成った。よかった。tan の半角の公式なんて使ったこと無かったが、役立った。そんなことをしているうちに11時近くに成っていた。うーん、また徹夜か。12時から会議なので、急いで出掛ける。草津田上インターに着くちょっと前に12345kmを見ることに成功した。

この前書いた通り、持ち運び用のパソコンがいかれたので、買ってからセットアップだけして殆ど使ったことないパソコンで Zoom を使えるようにしよう、と思い、会議に持って行く。学科会議のURLは毎回同じなのだが、学科長のメールには「いつもと同じ」と書いてあるだけで、毎回古いメールから見付けて Zoom 会議に参加している。来年度は毎回 URL を書くことにしよう。で会議中に SumatraPDF のインストールもした。機能を絞った軽いソフトなので、一瞬で終了。小生に関係ある話が幾つかあったので、内職は程々にする。太平楽でいられるのもあと2週間か。やだな。

会議終了後は部屋でパソコンのセットアップの続き。今月中にもう一度横浜に行きたいので、新幹線の中で Blu-ray を見られるよう、再生ソフトのインストール。いかれたパソコンに入っていた再生ソフトは、1月に有償でアップグレードしたばかりなので、何となくまた買うのも馬鹿馬鹿しいが仕方ない。ネットワークエラーで2度失敗したが、何とか3回目に成功。外付けの Blu-ray ドライブ（私費で買った）を繋いで、「鎌倉殿の13人」の総集編を少しだけ見る。無事再生出来た。で次は SageMath をバージョンアップする作業。前にインストールした時は、インストーラーをダウンロードして実行するだけだったのだが、それは出来なくなってしまい、Windows 用の Linux をインストールして、それから Linux を起動させて命令を打ち込んで、と面倒臭い。で Linux のインストールもネットワークエラーで一度失敗。大学の無線 LAN がしょぼいと困る。で二度目の最中にバッテリーが上がってしまった。仕方ないので、保健センターに寄って処方箋を書いてもらって、生協の本屋に寄って、4時半くらいに職場を後にした。これくらいの時間だと渋滞しない。寝不足でも大丈夫。京都東インターを降りた時は5時くらいだが、まだ明るい。春に成ってきた証拠だな。ドラッグストアも混んでおらず、薬はすぐもらえた。

で5時半前に住処に着いた。ACに繋いでさっきの続き。ソフトバンク光は速い。小生スマホは au なのだが、何故かインターネットはソフトバンク。まあ色々あるのです。で Linux のインストールはたちまち済んだ。さて SageMath。ホームページを見て色々やってみるもうまくいかない。普段使いしているパソコンにインストールするのにこんなに苦労しただろうか？で色々見ても何だか分からない。ここで閃いた。「SageMath インストール」くらいで Google 検索を掛けたらどうだ？と。いや、若者はまずそれを試すんだろうが、いかんせん人間が古い。中々 Google 先生を頼ることを思い付かない。でよさげな記事を見付けて、その通りやったら出来た。が、ファイルが巨大なので1時間くらいは掛かったろうか。その間に Maple を起動して、ヘルプファイルを見た。午前中に見た時に気に成ることを見付けたので。双曲線関数を exp で表示する方法がある、と。で改めて見たら、凄いことが分かった。前に Maple は tan(π/8) を √2－1 と計算してくれない、と書いたが、これも実はちゃんとそう表示させる方法がある、と。前に Tr(Komatsu) さんに cos(3度) は作図可能、と教わったが、実際に cos(π/60) と打った後にその命令を実行したら、ちゃんと √ が沢山入った式が返ってきた。Maple は高いだけのことはあるな。SageMath も arctan(√2－1) を計算してくれないと思ったら、これも後で simplify をやればちゃんと帰ってきた。うーん、そうだったか。どっちも使えるな。でそんなことをしているうちにインストールは終わっていた。Google 先生に SageMath のことを聞いたおかげで、字の色を変える方法が分かった。デフォルトだとちょっと字の色が暗くて見づらかったのだが、変更出来た。設定をするのに emacs が欲しかったが、標準では入っていないようだ。が、出てきたメッセージを見たら、簡単にインストール出来そうなのでやってみた。すぐ出来た。これでも UNIX のワークステーションの superuser をやった経験があるのだが、昔は色々面倒だった。ソースを拾ってきて、OS に合わせて makefile を書き直して、make、make install。そうしないと使えないんだから仕方ない。SIMATH もそうやってインストールした。あの頃は SIMATH 無しで研究は出来なかった。まあ SageMath のインストールはその頃より面倒だったけれど。Mathematica や Maple、Magma 等の高価格な高機能ソフトに取って代わるフリーソフトを目指しているそうだが、もっとインストールを簡単にさせてくれないと、理想の現実は遠いだろう。

帰り道に朝計算したのはもう少し簡単に成るのでは？という気がしたので、さっきやってみた。cos x を t＝tan(x/2) で表すより、tan(x/2) を半角の公式を使って cos x で書いた方がすぐ済むだろうと。その通りで、計算量は半分くらいになった。cos は1の冪根の実部だから一番扱いやすく、sin は分母に虚数単位が出てくるので、ちょっと扱いづらい。tan はその比だから、もっと扱いづらい。あまり入試問題に tan は出てこないな。次作る機会があったらそういう問題を出してみよう。あ、院試では過去にあったな。早稲田の後輩が早稲田でない大学の院試を受けて、「p を奇素数とする。Gal(Q(sin(2π/p))/Q) を求めよ」という問題が出た、と言って、翌日の面接対策で尾崎ししょおに質問していた。その時たまたま持っていた数セミに昔の院試の問題が出ていて、同じ状況で Gal(Q(tan(2π/p))/Q) を求めよ、というのがあった。ちょっと考えればわかるが、Q(sin(2π/p)＝Q(tan(2π/p))。tan の方が前に出題されているところが妙にセクシーだという感想を抱いた。cos(2π/p) と sin(2π/p) は代数的整数ではないので、代数的整数にするために不自然に2倍する必要があるが、tan(2π/p) はそのままで代数的整数。更に最小多項式が素数 p に関するアイゼンシュタイン多項式になる。だから tan の方が綺麗なのだが。まあ加法定理にせよ倍角の公式にせよ半角の公式にせよ、覚えている人は少ないだろう。cos と sin の公式を合わせればたちまち得られるので、覚える必要は無いが。やっぱり入試で出そう。

考えて見たら、今日は途中からだが相撲を見ることが出来たな。忘れていた。さっき昨日の分のダイジェストを見たが、正代強いじゃないか。大関に上がった頃のような相撲を取っている。前頭筆頭だから、勝ち越せばまた三役に戻れる。頑張ってもらおう。御嶽海はだらしない。もう駄目だな。

持ち運び用のパソコンが壊れてしまい、ブログの更新が出来なかった

母親の一周忌のため土曜日から実家に帰っていた。何故このブログを更新しなかったかというと、パソコンが壊れたため。新幹線で「相棒」を見ようと思っていつもの持ち運び用の軽量パソコンを持っていったのだが、電源を入れると液晶がいかれてしまっていて、画面の半分くらいしか見えない。うーん、ショック。まあいいや。中古で買ったパソコンで、買った時期の関係で私費に成ってしまい、大学とは一切関係が無いので、廃棄しても誰にも怒られない。ということで廃棄。買ったきり殆ど使っていないパソコンがあるので、それを持ち運び用にすることにする。で行きの新幹線の中では読書。新横浜から上大岡まで地下鉄で30分くらい掛かるので、そこで読もうと思っていた本があったのでよかった。

で実家に着いたら野球は終わっていた。チェコ相手に10－2で快勝。一周忌は11時からで、10時15分にタクシーが来るというから早目に寝た。

一周忌は実家を出て帰ってくるまで1時間半くらい。その後カップヌードルをすすって、WBCが始まるまでダラダラと過ごす。で7時過ぎからWBC開始。プールBの1位をかけてオーストラリアと。苦戦するかな、と思ったら、1回表に大谷が3ランホームラン。うーん、凄い。自分の顔の写った看板を直撃する特大の当たり。もう勝負あったかな、という感じ。2回に好調のヌートバー、近藤にタイムリーが出て2点。4回に大谷が押し出し四球を選んで1点、5回に中村悠平がタイムリー2ベース。9回裏に高橋宏斗がソロホームランを打たれたが、大過無しで4連勝。プール首位で通過。準々決勝は16日にイタリアと。イタリアは野茂とバッテリーを組んでいたので有名なピアザが監督。中々抜け目ない野球をやるようで、油断できないかも。ここから先は負けたら即終了なので、頑張って欲しい所。で22日の決勝戦は卒業式の裏番組で見られないのかと持ったら、卒業式は2時からで、野球は朝8時から。見られる。日本が決勝戦に出れば応援出来る。日本には是非頑張ってもらおう。

明日12時から会議があって、更に15時までに保健センターに行かないといけないので、今日山科に戻ってきた。新幹線は久々に隣に人がいるという状況だった。「相棒」を見るのだったら隣に人がいない方がいいが、まあ読書なら関係無いか。本は静岡県内を走っているうちに読み終わったので、京都までちょっと勉強しようかと。数日前にブログで書いた三角関数の入った有理式の積分だが、ちょっと別解を考えようかと。前の解答では t＝cos x とおいたのだが、三角関数の入った有理式では t＝tan(x/2) とおくと上手くいくので、それでやってみた。結果は見た目は違うが等しいんだろう。三角関数を含む公式は沢山あるので、見た目では等しいかどうかわからないことが多い。うちの入試であった問題だが、x^2－(sinθ＋cosθ)x＋sinθ・cosθ＝0 の解なんて誰がどう見ても x＝cosθ, sinθなのだが、因数分解せず解の公式を使うと (sinθ+cosθ±√(1－sin2θ))/2 が解になる。ということは複号のどっちかが sinθ で他方が cosθ なのだが、そうは見えませんね。三角関数は大変なのだ。数式処理ソフトを使って見た目の違う等式が等しいと判断できる場合はあるが、出来ない場合もある。そういう時はグラフを書いたり、変数に適当な値を代入したりして正しそうだと思えたり。三角関数の特殊値で比較的簡単な代数的に書ける値はそんなに知らないが、数式処理ソフトだったら出鱈目な値を代入しても数値計算してくれるのでよい。が、さっき書いた通りパソコンは壊れてしまったので、メモしてきてさっき確認した。他にも双曲線関数のことを考えたり。双曲線関数はあまり知らない。三角関数と似ているが、指数関数を使って簡単に書けてしまうので、興味が湧かない。まあ暇つぶしだ、ということで色々。そんなことをしているうちにもう新幹線は山科区内に差し掛かっていた。

住処に戻ってきてテレビを付けると、「10万円で出来るかな」をやっていた。サンドウィッチマンは3年に一度卒業した高校でライブをやっていたそうなのだが、コロナのせいでここの所やっていないらしい。で久し振りに Kis-my-Ft2 のメンバーと一緒に母校を訪れる様子を放送していた。高校生大興奮。母校に有名人がいるといいですね。小生の卒業した大学はもちろん多くの有名人がいるが、中学、高校と成るとほぼいない。高校の2年後輩の苅部俊二氏は陸上でならした選手なので、知っている人はいるかもしれない。中学の方は、最近知ったのだが、ゆきぽよが小生の母校・横浜市立港南中学校の卒業生。ゆきぽよの名前で検索したら、上大岡駅前の写真が上がっていて、「久々上大岡、あがるー」とか書いてた。小生がフィールズ賞でも取って有名人に成れば格好良かったが。犯罪で有名人に成る、というのは嫌なので、残りの人生品行方正に生きよう。

宿敵韓国戦は13－4であわやコールド勝ち

昨日はその後数学。「受験問題の積分の問題は Maple や SageMath ですぐ答えが求まるのでつまらん」と前書いたが、そうでない奴があったので、それから始める。x・sin x/(3＋sin² x) を 0 から π まで定積分する問題が数年前日大で出題されたようで、Maple と SageMath にやらせてみる。すると、前者は dilog の入ったおぞましい複素数を返してきて、後者は諦めたか入力をそのまま返してきた。うむ。しかし日大の問題はちゃんとヒントが付いていて、そのヒントも誘導付きに成っている。でその通りやると、件の積分は (π/2)sin x/(3＋sin² x) を 0 から π まで積分したものと等しくなることがわかり、これの原始関数は log と cos だけで書ける、というわけで求まるのだ。で TeX 化してそれで終わり、では面白くない。dilog って何？ということで調べ始める。こういう時 Google 先生の存在は有難い。もう一つポリログ Li_s という奴があり、di って2を想像させるので、dilog って Li₂？と思って更に調べ始める。すると違った。まあ簡単な関係式で結び付くようだが。で調べたことを TeX 化しようと思って見たら、前に dilog のことをちょっと TeX 化してあった。何でだっけか？と思ったら、一昨年M2の学生が Washington の円分体の本を読んでる時に出てきたんだった。いや、Washington の本に直接書いてあったのではないが、ちょっとある定積分を上から評価する式が出ていて、この程度の積分、初等関数で書けるのと違うの？と思って Maple で調べたら dilog が出てきたのだった。で dilog の特殊値とか幾つかメモっておいた。どうやって求めるんだろう？と思って。で dilog と Li₂ の関係からそのうちの一つは ζ(2) と一致していることが明らかで、一つ謎が解けた、というわけでよかった。でそれで終わらしては面白くない。リーマン ζ が出てくると次に出てくるのがガンマ関数。で色々調べて、とかやってるうちに明るくなってた。うーむ、一日おきに無茶してるな。明日は横浜に帰らないといけないので、程々に起きないと。

で昼飯を食べて、少し寝ようかと思ったんだが、スマホ依存症に成り始めてるのか、Facebook を長時間見たり YouTube を長時間見たり。YouTube では数年前に東工大で出題された難しい関数方程式みたいな問題を解くのを見ていた。何度も繰り返して大体頭に入れてやってるんだろうが、殆ど淀みなく問題を解いていく。計算力が凄いね、と感心。動画を作る時間を幾らかでも研究に回していれば大数学者に成れたかもしれないな、と思うとちょっと残念な気がしたが。他にも今年の東工大の整数問題を鈴木貫太郎氏が解いている画像など。東工大は計算力も思考力も問われる問題を出していて面白い。数学の時間はどれくらいなんだろう？うちは100分だが、もっとかもしれないな。

などとしているうちに WBC の時間。今日は宿敵韓国と。3回表に2ランホームランとエラーからの失点でダルビッシュが3失点。韓国強いのか？と思ったら、その裏にヌートバーがタイムリーヒット、近藤がタイムリー2ベース、吉田正尚が2点タイムリーであっさり逆転。強いぞ侍！5回裏に近藤がホームラン、吉田が犠牲フライで6－3。いいぞいいぞ、と見てたら、6回表2番手で好投を続けていた今永が一発食らって2点差。韓国しぶといか？6回裏に近藤が押し出し四球を選んで、大谷が変わったピッチャーの初球のフォークボールを叩いてタイムリー、村上が犠牲フライ、吉田がタイムリーヒット、岡本タイムリーで1イニング5得点のビッグイニング。7回は大谷の打席でワイルドピッチで1点、吉田が押し出し四球を選んで、13－4のワンサイドゲームに。韓国はここの所国際大会でいい結果を残しておらず、国内の野球人気は急落傾向、という記事が出ていた。ダルビッシュから3点取ったあたりではそんなことはない、強いぞ、と思って見ていたが、やはりそうでもないのか、という感じ。明日はチェコ戦。佐々木朗希が先発と言ってたな。見たいところだが、起きる時間にもよるが試合の時間は新幹線の中だろう。早く出て実家で見てもいいが、今日は徹夜状態なので、明日は早起き出来ないだろう。まあいいや。明後日は一周忌が11時からだと言ってたから、実家で見られるな。オーストラリア戦のようだ。オーストラリアは韓国に勝ってる。油断出来ないね。

ヌートバーは打つだけでなく、守備でも走塁でも活躍。今日も5回1死からの内野と外野の間に落ちそうな当たりをダイビングキャッチ。ライト前へのヒットをライトが3塁へ送球したのを見て、抜け目なく2塁へ進塁。訳の分からないメジャーリーガーなんか使って大丈夫か？と正直思っていたんだが、小生見る目無かったね。現役メジャーリーガーの凄さをまざまざと見せ付けてくれた。プレーで日本中を魅了したね。もう彼抜きの侍は考えられない。凄い。凄過ぎる。

すっかり忘れてたんだが、日曜から相撲が始まるようだ。今場所はどれくらい見るだろうか？先場所はあまり見なかった。録画してあったダイジェストもあんまり見なくて、ハードディスクに空きを作るためこの前見ずに消した。見所は幾つかある。照ノ富士休場も、貴景勝の綱取りは？初日十両の朝乃山が幕内で取る、小結に止めおかれた若元春の活躍は、等。初日の分のダイジェストは録画予約しておこう。

さ、寝るぞ。WBC は終わるのが遅くてかなわん。

WBC初戦は8－1で中国に勝利。

また訳の分からない時間まで寝てしまった。不摂生はいけないね。

6時からWBCの中継だが、試合開始は7時過ぎ。終了は10時50分過ぎ。テレビ局の都合は分かるが、野球は長いのだから、6時に試合を開始しないといけないと思うのだが。試合は初回先頭打者のヌートバーが初球ヒット。その後3者連続四球で押し出し。押しに押していたが、初回はその1点だけ。4回に大谷がフェンス直撃の2点タイムリー2ベースヒット。が、6回に2番手戸郷がソロホームランを打たれる。何か空気が重たい。が、そこを切り開いたのは牧。7回にライトへソロホームラン。お馴染み「デスターシャ」を披露。8回に牧から代わった山田がタイムリー、源田が押し出し四球、甲斐が2点タイムリー。終わってみれば8－1だが、案外苦労した感じ。まあいいです。勝ちは勝ち。明日は韓国戦。6時から放送、と言っているが、試合開始は7時なんだろうな。長い試合が予想される。今日もちゃんと寝ておきましょう。

ちょっと上に書くスペースが無くなったので、改段落して書く。投手大谷は4回無失点と流石。湯浅（Tigers）は三者三振の好投。戸郷も一発は打たれたが、三者連続三振があったりと、まずまず。そして “たっちゃん” ヌートバーは初回の初球ヒットに加え、ファインプレーもあった。侍は期待通りの仕上がりを見せている感じ。優勝するでしょうか？決勝の日が卒業式。ここ数年コロナのせいで最低限の人数しか出席が許されておらず、職場に行かなかった。謝恩会も無くなったし。が、今年は行かないといけない。決勝戦は何時開始なんだろうか？卒業式の裏番組に成らないといいが。

途中兄者から電話があった。日曜日に母親の一周忌をやるので、その件で。土曜日に帰る、と伝えておいた。火曜日に学科会議があり、更に保健センターに処方箋をもらいに行くので、月曜日には山科に戻ってこないといけない。忙しいな。まあ実家にいてもご馳走が出るわけではないし、落ち着かないので、いいのだが。親父殿が死んだらいよいよ横浜に帰る理由が無くなってしまう。親父殿には長生きしてもらわないと。

ペル方程式は知っているが、連立ペル方程式はあまり知らない

昨日は凄く寝た。どれくらい凄いかというと、一昨日から昨日に日が変わるくらいに寝て、起きたらもう暗かった、というくらい。電話が鳴ったようだが、無視した。で晩飯を食べてもう一度寝て、起きたら深夜3時くらい。うーん、凄い。呑んだ後ならそれくらい寝たこともあったが、一昨日の晩は呑まなかった。何でこんなに眠れるんだか。若い証拠だな。

で早稲田の集会にいい加減参加しよう、ということでそれからずっと起きていた。対面とオンラインでのハイブリッドのようで、よく声が聞こえない。ということで一つ目の話は挫折。2つ目は日大の藤田氏が連立ペル方程式の話をするので、真面目に聞く。難しかった。今まで避けてきた論文の結果をガシガシ使われた。やはり覚悟して読まないとダメだな、ということを実感させられた。頑張ろう。

で昼休みにちょっとやりかけの計算問題を解こうと思って始めたのだが、計算力の低下著しく、全然結果が合わない。分数の計算が出来ない大学生、という話が一時はやったが、大学教授でも計算出来ないのだ。それは何とかクリアして、別の問題を始めた。が、今度は別の種類のことで引っ掛かった。√(1－sin²θ)＝cosθ とやってるんだが、cosθ≧0 なのか？と。√x²＝x とやる受験生は多い。問題をよく読むと定義域が x<0 になってるのに、である。受験生のような間違いをしてはいけないので、注意深く考えた結果、－π/2≦θ≦π/2 であることがわかったので問題無かった。よかった。でそんなことをしているうちにもう研究集会の最後の話に成っていた。何だかよくわからないが凄い話だった。6時過ぎに終了。いつも最終日は早く終わるんだがな。

終了後テレビを付けたら、栗山監督がインタビューに答えている映像が流れていた。WBC は今日開幕なのだが、侍の初陣は明日。で栗山監督が、明日の先発投手は大谷、と宣言していた。リアル二刀流で行くらしい。それは楽しみ。中国相手だとちょっと役不足かもしれないが、まあ後々のローテーションを考えればそうなるのでしょう。昨日は村上と山川がホームランを打ったようだ。皆万全の状態で臨めそうで何より。楽しみだ。

晩飯を食べながらこの前NHKでやった番組を録画したものを見ていたら、面白い番組を見損ねたことがわかった。腹腔鏡手術をやるあれ、何て言うんだろう？あの細かい手みたいなやつ。あれで鶴を折る選手権をやったのを放送したらしい。「DOCTORS 最強の名医」で高嶋政伸演じる森山先生が患者集めのためホームページに鶴を折る動画を載せる、という場面があったが、まさか大会に成ってるとは思わなかった。見たかったな。「第1回」と書いてあったから、またやるのかな。次は見られるようにしたい。

随分職場に行ってないな。明日は雨だと言ってたし、WBCもある。明後日は日韓戦だ。行かないな。土曜日に一旦実家に帰って、月曜日に戻ってくる。火曜日は保健センターに行く。それまで職場行かないな。12345kmまで少し。多分火曜日に到達する。見逃さないよう気を付けよう。

大谷翔平異次元のパワーを見せつける

結局寝ずに色々やっていたら、あっと言う間に「おはよう朝日です」の時間に成ってしまった。で飯を食って、しばしテレビ。で早稲田の集会は10時からだろう、と思って見たら、12時から。何だそうか、と思って寝ようとしたが、眠くならない。でうっかりスマホで Facebook を見てしまったのが運の尽き。危険運転の動画が沢山上がっていて、片っ端から見てしまう。まあ勉強だと思って。ウィンカーを出さないでの急な車線変更、無理な右折、路地からの急な飛び出し、など。予測して運転しないといけませんな。車間は十分に。それと多いのが煽り運転の動画。何が原因で煽ってくるか全くわからないのもあったが、追い越し車線をゆっくり走っているのに苛立って煽り始める、というのが多いようだ。あと無理な割り込みに腹を立ててクラクションを鳴らすと、割り込んだ方がクラクションに腹を立てて煽り始める、というパターンも結構多い。腹を立てないのが一番だな。クラクションは鳴らすまい、と誓った。後多かったのが、猛スピードで追い抜いて自爆、という映像。やはり追い越し車線をゆっくり走っている車に腹を立て、右へ左へと危険な車線変更をして、カーブに猛スピードで突っ込んでいって、曲がり切れず左の壁から右の壁へと、というパターンだった。カーブでは減速しましょう。今日見たのではないが、峠を攻めて自爆、というのもあった。まあ総じて言えることは、道路はサーキットではないのだ。スピードを緩めずカーブを曲がりたい人はレーサーに成ってください。レーサーに成る程の自信は無い？じゃあ何故道路では走り切れる自信があるの？教習所で初日に「カーブではしっかり減速」と言われたのが耳に残っている。いいんです。基本に忠実に行きましょう。制限速度を守ってね。

昼飯を挟んでそんなことばっかりやっていて、早稲田の集会には参加せず。職場へも行かなかった。気付いたらもう野球の時間。今日からメジャーリーガーが参戦。見ないわけにはいかない。テレビを付けて6チャンネルに合わせる。1番は “たっちゃん” ことヌートバー。いきなりヒットで出塁も近藤がダブルプレー、大谷が三振でまずは0点。侍の先発は山本由伸。上々の立ち上がり。その後ヌートバーのタイムリーで先制。やってくれそうな感じやね。近藤が歩いて大谷の打順。ここで信じられない光景が。落ちる球に泳がされ、膝を突いて、なんとその状況で特大3ランホームラン。流石大谷。次元が違う。岸田総理が異次元を連発しているが、そっちは大したことない。大谷は本当に異次元だ。次の打席もランナーを2人置いた状況で大谷。またしても信じられない光景。詰まった当たりが、何とセンターへの2打席連続3ランホームラン。後で聞いた話では、バットは折れていたとのこと。うーん、凄い、凄過ぎる。吉田正尚にもヒットが出て、1打点。山本が近本にソロホームランを打たれたが、まあ大過なし。解説の松坂大輔に依れば、今日はカットボールを放っていないらしい。球種を絞って、様子見だろう。本番ではこんなことはあるまい。でそのまま高橋奎二、この前乱調だった松井祐樹、湯浅京己、栗林良吏が0点に抑えて、8－1で勝利。まあ大谷のお陰で勝ったという感じ。明日は Buffaaloes とだが、少し違う展開を期待しよう。

今日はもう寝る。寝不足だ。また Facebook のせいで深夜まで、とかいうことだけしないよう気を付けよう。

無駄な一日

金曜日早く寝るようなことを書いたが、しばし寝床でスマホをいじっていたら時間がどんどん過ぎていって、中々寝なかった。でスマホがOSのアップデートをするか？と聞いてきたので、する、と答えて、しばし放置。そうしている間に寝入り、で3時頃目が覚めてしまった。OSのアップデートは終わっており、そこからまたしばしスマホいじり。で時間を無駄に使い、気付いたら「おはよう朝日土曜日」の時間。見ながら朝食。

で8時に放送が終わり、さて、何しよう？と思って、名案が思い付いた。暮れにやった「探偵ナイトスクープ」の3時間25分ものを見よう。これだけ時間がまとまってある日はあんまり無い。一気に見てしまった。面白かった。盲目の人が車を運転するネタなど、感動的なものが幾つかと、どうしようもなく下品なものもあった。面白かった。

で昼飯を食べて、大河ドラマの先週の分を見て、など、無駄に時間を使う。それから何したか覚えてない。とにかく大したことはしなかった。で久々に「クレヨンしんちゃん」を見て、「ドラえもん」を見て。でシャワーを浴びて、7時くらいに呑みに出る。ここ数週間忙しかったので、呑み屋は久々。住処では数回呑んだが。でパエリアを頼んで、ビール。人と話すのは久し振りだったので、大いに話してきた。そうこうしているうちに時々バイトに入る女性が来たので、3人で日が変わるまで楽しく話しながら呑んできた。

で帰ってきてダウン。それからは起きたり寝たりを繰り返した。12時くらいに一旦起きて、「TVタックル」でWBCの話題がやっていたので見る。江川が読売系以外のチャンネルに出るのって珍しいな。江川は優勝確率70%と予想。かたや平成の三冠王松中は優勝確率100%と。何にしても楽しみだ。昼食を食べてもう一度ダウン。

でテレビが付けっ放しだったこともあり、眠りが浅い。何度も目が覚めた。「サタデーステーション」が始まったので起きる。夕食を Uber Eats に頼む。でもう一度ダウン。1時半くらいまで寝ていた。無駄な一日だった。さて、これから寝るか、起きているかは気分次第。明日から早稲田で整数論の研究集会があり、オンラインで参加する。しかし一度大学へ行かないといけない。明日早速サボって行ってしまおうか？と考えているが、それには寝ないと。まあいいや、もうちょっと起きてよう。

狂ったように寝た

昨晩は思いの外眠くなく、ウダウダと2時くらいまで起きていた。よくこんなに起きていられるもんだ、と思った。で寝たが、やはり2日無理をしたため狂ったように寝た。何度か目が覚めたが、また寝入って、無理やり起きるため Uber Eats に夕食を注文。で8時半過ぎに届いて、テレビを付けると野球がやっていた。侍ジャパン vs. Dragons。丁度 Dragons が逆転するシーンだった。その後も侍は失点を重ね、7－2 で侍の負け。まあ膿は早目に出た方がいいです。本番でなくてよかった。

その後もう一度寝て、これを今日中に書くために起きた。よく寝られる。今日も早いとこ寝よう。先週の「座王」をまだ見ていないので見ないと。で今晩の分の予約録画をセットしないと。それだけやったら寝よう。明日は呑み屋に行く。解放感に浸って呑もう。

学生に年輪の違いを見せ付ける

約束通り深夜12時くらいにメールが来た。大分直したと言うが、色々おかしい。ダメ出ししては直しが送られて来てを何十往復しただろうか。もう大変。数学の文章を書き慣れていないというのはこういうことか、とういう感じで、仮定と結論の間に言葉を挟んだり、ロジックがおかしかったり、余計なことを書いたり。で途中寝られてしまい、メールに返事が無くなる。その間も何通もメールを出す。しばらくしたら起きてきた。その後も直しの応酬。で最後の定理に差し掛かったのだが、何だかさっぱりわからない。「n は偶数で m の倍数だから n＝2m」とか謎のことを書いてる。4m でも 6m でも 8m でも何でもいいではないか。そこだけ直そうと思っても無理なので、証明を理解しようと努める。が、何だかさっぱりわからない。テキストを見るとあまり書いていないので、真剣に考えたんだろう。わずかな情報から証明を完成させるべく、数時間。途中牛丼を食べながらも考え続け、証明を完成。この瞬間の充実感たるやなかった。学生は根本から間違えていた。実力の差を見せつけたね。こちとら昭和の昔から数学やってるんだ。年輪が違う。その後数値例を二つばかり付け加えたが、作ってる最中に焦った。テキストは近似分数の分母の q_n が q₀＝0 から始まるんだが、SageMath は q₀＝1 に成ってる。番号が一個ずつずれてるんだよな。で x²－61y²＝－4 と x²－61y²＝4 を数値例として提供した。後者は割と基本解が大きい。x²－61y²＝1 となるともっと大きく、フェルマーが世界の数学者に「比較的解の小さいものを選んでおいた」と言い、性格の悪い所を見せた問題として知られている。で何やかやで21時くらいに終了。いやー、疲れた。これで解放された。今晩は呑まずにゆっくり寝よう。呑むと眠りが浅いから、疲れが抜けない。呑むのは土曜日にする。いい加減呑み屋に行かないと。

えーと、払い込みをするものがあったな。確か2月28日までだった。明日払おう。明日まで大学に提出しないといけない書類がある、とリマインダーメールが来ていた。寝る前にやるか。事務に印鑑を渡す用事があるが、月曜日にしよう。科研費の採否を自分で調べよ、というメールも来ていた。これからやるか。どうせはずれてるんだろうけど。あ、車のリコールの案内が来ていた。明日トヨタに電話するか。一つ大変なことがあると、色々後回しになってしまう。こんなんで来年度は大丈夫なんだろうか？心配。

昨日中学校に刃物を持った男が殴り込むというとんでもない事件があった。自由に学校に入れてしまうのが問題、と言ってた。が、それを言ったら大学はどうなる？早稲田は入試の時期は入構が色々制限され、年末年始は入れない。が、うちが1年365日入れる。入試の入構制限もない。学内にバス停があるからね。早稲田理工はキャンパス内に地下鉄の出口が出来たが、閉校の日は閉まっている。うちに比べると厳重だ。最近都立大の先生が襲われた事件があったし、以前中央大の先生が学内で刺殺された事件があった。大学も気を付けないと。

あとまたぞろ車の暴走事故があった。逆走した挙句歩道を全開で走り、壁に激突。歩行者が2人死亡、というとんでもない事故。運転手はくしゃみをしたら意識が飛んだ、と言っているようだが、どうなんだろうか。暴走事故は怖い。池袋の暴走事故のように、華々しい人生を送っていた人が一瞬で罪人に転落してしまうこともある。気を付けないとね。最近の車は急アクセルでは発車しないように成ってる。小生の車もそう。路地から三条通に出る時に、車間が空いたがすぐ後続車が来そうなので焦ってアクセルを踏んだら、ブレーキが掛かった。ハンドルを切ってたから急発進しても問題は無かったろうが、ハンドルが甘かったら対向車線に突っ込んでぎゃ！ということもあり得る。安全装置の付いてない車に乗るのはやめよう。古い車に乗っている人は、速やかに最新車に乗り換えなさい。

Twitter で原啓介氏の名前を見付けた

寝ずに点検作業。ダメ出しを沢山して、メールを沢山出す。で朝9時39分に「12時頃には送れるようにします」とメールが来たので、12時を待つが、一向にメールが来ない。1時から学科会議で、来年はこんなことを気にしなくちゃいけなくなるのか、とちょっと不安。

でメールが来ない。3時過ぎにドーピングしようと表に出る。暑い。20度近くまで行ったらしいが、ジャンパー要らなかったな。4時、5時と、一向にメールが来ない。そこで気付いた。12時って noon でなく midnight のことか、と。midnight って「深夜」って意味ではなく、「深夜12時」のことだそうだ。前にイギリス人に教わった。何だそうか。馬鹿臭い。飯を食って一寝入りすることにした。そうだと分かってれば学科会議後半日近く寝られたのに。で7時過ぎに寝入ってさっきまで寝てた。今日も徹夜だ。頑張るぞ。

メールを待ってる間は Facebook を見たり Twitter を見たり。そんなことをしてる時間があったら勉強しなさい！とこの前ここに書いた気がするが。まあいいです。「素数の歌が聞こえるbot」というのがあり、加藤和也先生のお言葉が挙げられている。加藤先生の素数や ζ に関する愛がうかがえる。清史弘という人がいるが、受験数学のプロ。面白いことを書いてる。この人は早稲田理工数学科の先輩。向こうは小生のこと知らないだろうが、小生は随分前から知っている。氏が昔書いた受験参考書は中々タメに成り、結構持ってる。受験生向きのメッセージが多いが、全然関係無いことも書いてて、「東京ドーム〇個分、という例えは関東地方以外の人に通じるんだろうか？」と書いてたから、「うちは “甲子園球場15個分” と言ってます」と返信したら、いいねをもらえた。そんなこんなで見ているうちに「原啓介」という人物を発見。おぉ懐かしい。氏は昔うちにいた人で、教授になった翌年にコンピューター会社に移籍し、会社を立ち上げ、お偉いさんに成り、40代半ばで隠居生活に入った、という剛の者。呟きを見ると、読書とか朝風呂とか食事とか、昔のブログと同じように優雅なことが書いてある。フォローしておいた。

まだ返事が来ないな。もう一寝入りするか、と思ったら「これ余談なんですけど…」が始まった。準優勝芸人さや香と ZAZY が出てる。面白そうだ。見よう。