完全アウェーの 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 には優勝して欲しかったが。何度も書いてるが、来年は是非。

「数学展望」は今日、来週、でなく、来週、再来週だった。間抜けだ。

例の変なアニメをまた見てしまった。「俺は98でしかゲームを作らない！」という姿勢から折れて、98用とWindows用両方作る、という所で折り合いを付けた、という展開だった。でまた現代にタイムスリップしてしまったようで、そこでおしまい。また続きが気に成る。このアニメの怪しい所はテーマソング。タイトルが「65535」。この数字で何だか分かる人はコンピューターオタクだね。65537だったら作図オタクかもしれないが。で歌ってるのが中川翔子。オタクの姫君を持ってきましたか。面白いね。

で起きたら2時近く。まあゼミは2時40分からなので間に合うが、今日はちょっと1回生の前に顔を出さないといけないので、寝癖くらいは直そうということで、ざっとシャワーを浴びて出発。今日は整数論のゼミのみ。Z[√m] が U.F.D. と仮定して、素数の素元分解を調べるという話。m＝－1,－2,2,3 の場合をやって、m＝－5 の場合はダメ、という辺りでおしまい。m＝3 の場合にユークリッド整域に成るか少し怪しかったが、どうなんだろうか？時間が無いので、あまり突っ込めなかった。まあいいです。

で4時20分から「数学展望」。これは1回生に多少でも専門的な香りをかがせてあげよう、という講義だが、まあ無理がある。それでもどうにかしているが。前は1回だけ担当していたんだが、教務委員をやった時にお一方次年度がサバティカルで担当出来なくなったので、小生は2回担当することに成った。で教室へ行くと、何やら学生が微妙な反応を示している。大して気にもせずパソコンを繋いで、映るかどうか確認出来たところでTAの学生が入ってきて、あれ？というような顔をされる。今日はO先生の番ですよ、と。え？しばらくしたらO先生が入ってきて、あれ？というような顔をされた。何だそうだったか。去年の10月27日と11月3日にやっていたから、今年は10月26日、11月2日だとばかり思い込んでいた。間抜けや。超越数のゼミを金曜日にやってもらうことにしたんだが、今日出来たじゃないか。今更学生に来てもらうわけにはいかず、金曜日は3週間連続早起きに成ってしまった。もう。

で部屋に戻ってどうしよう？と思ったんだが、一応資料の最終チェックをしておくかと。もちろん日付は1週間ずらしたが、他はどうだろうか？と。よく学生が、A＝C と B＝C を示すのに A＝B＝C と書くことがあるが、これは気に食わない。A＝C＝B と書き直させている。で小生の資料にもその気に食わない所が2か所もあったので、直す。他にも Z[√(－5)] のイデアル (2,1＋√(－5)) が単項イデアルでないことを示すのを「演習」とかしていたが、本当に出来るの？と思ってやってみた。√(－5) が虚数であることくらいしか使わないで済む。でついでに気に成ったのが、m＞0 が square-free な合成数の時、Q(√(－m)) の類数が偶数であることの簡単な証明。種の理論とか使いたくないんで。m≡1,2 (mod 4) の時は出来たが m≡3 (mod 4) 時がうまくいかない。整数環が Z[√(－m)] でないのが原因。具体例をいくつかいじったら、平方剰余くらい使う程度でうまくいったが、全く一般の場合だと色々怪しい。煮詰まったところで終わりにして引き上げてきた。何にしても間抜けな一日だった。

昨日書き忘れたこと。一昨日の「相席食堂」で旅人の一人が大津市内を歩いていて、その途次に膳所本町の「美富士食堂」を訪れていた。昔「探偵ナイトスクープ」で松村邦洋が行ったことがあった。まだ亡き畏友K君がうちで嘱託講師をやっていたころだから20年くらい前かな、嘱託講師軍団で行ったことがあるらしい。小生は行かなかったが。凄い大盛りで、松村邦洋が食い切れずに残していた。その時はかなりのご高齢の老夫婦が営業していらしたが、もう流石にご他界されたろう、と思ったら案の定だったが、今のご主人も70歳過ぎていた。食堂の近所の膳所高校の運動部の生徒たちのオアシスだから、まだまだ続けて欲しい。お前は行かないのかって？いやー、行かないな。ココ壱番屋のご飯300gでも結構きついからね。若者で行きたい人は是非。

ドラフト会議の結果を今放送している。Baystars はこの前話題にした度会を指名したが、3球団重複指名。で見事引き当てた。横浜高校出身だ。3年前のドラフト会議では指名漏れだったそうだ。よかったね。やってくれると信じる。勿論下位指名の選手も腐らずやって欲しい。Baystars のキャプテン佐野はドラフト9位。そこから首位打者や最多安打のタイトルを取るまでになった。今年最多勝、勝率2冠の東の女房役を見事に勤め、ベストバッテリー賞を獲った山本祐大も9位。1位でもロクでもなかったのはけっこういた。小桧山とか那須野とか矢野とか。育成ドラフトからメジャーリーガーに成った人もいるこの時代。今後の鍛錬に期待する。

さて、上に書いた通り、明日は超越数のゼミを講義の前にする。オンラインで10時40分から、ということにしていたんだが、学生が「講義の前の12時から対面でどうでしょう？」と言ってきた。まあそっちの方がいいか、と返事をしておいた。来年度から某大学の大学院に進学するが、指導教員に成る予定の先生から、ちゃんと指導しておくよう釘を刺されたので、真剣に聞かないと。ということで体調はバッチリにしておきたい。が、「アメトーーク！」も見たい。ま、程々の時間に寝ますわ。

あ、そうそう、これを忘れてはいけない。今日は10月26日。25年前の今日 Baystars が日本一に成った。母親の誕生日でもある。生きていたら85歳。死んだのは去年の2月だから、年女だったのだが、誕生日前に死んでしまったので、83歳だった。結構な歳に成るまで朝の散歩は欠かさず、2kmも3kmも歩いていたが、弱る時は早いもの。あっと言う間に歩けなくなり、起き上がれなくなった。最後は親父殿が抱えて食卓の前に座らせ、食べさせていた。逆だったら無理だったな。お袋の細腕で親父殿の介助は無理だったろう。まあ幸い親父殿はどうにかやっているようだし、兄者が近くにいるので安心だ。えーと、あ、Baystars の話。来年は是非！度会の活躍も期待。

談話会だったのをころっと忘れていた

昨日はその後メールを書いて、ちょっとほっとしたので呑んで、とかで一晩過ごした。学科会議はやらないことにしたし、まあ明日（今日のことね）はのんびり出来るし。で結構変な時間に寝て、変な時間に起きた。結構遅い時間。メールを見るまで忘れていた。今日は談話会があったのだった。リマインドメールは当日でなく前の日に出して欲しい。

で今日は特に何もしなかった。珍しく「ミラクル9」がやっていたので、見たり。昔は別の番組を録画しながら、既に録画した番組を見るとか出来なかったが、いい時代だ。「ミラクル9」を追っかけ再生しながら「相棒」を録画していた。「相棒」いつ見るのでしょうか？出張行く時に新幹線の中で「相棒」を見るのが習慣化していたが、出張全然してない。金沢の集会は12月末にやっていたが、今年は11月にあるようだ。平林先生がオーガナイザーから外れていたが、そのためだろうか？11月だと行き辛いな。サンダーバードで京都－金沢乗りっ放しで行けるのは今年で最後なので、行きたかったが、まあ仕方ない。諦めよう。

明日はNPBのドラフト会議のようだ。MLBではワールドシリーズ出場チームが決まったりと、野球界は賑やかだ。土曜日から日本シリーズが始まるし。また楽しくなるな。何やら野球はアジア大会があるようで、Baystars の牧がWBC組で唯一代表に選ばれたらしい。井端監督はいいスタートを切れるでしょうか？こちらも楽しみ。

明日と来週は「数学展望」で出番。まあ特に準備しなくても大丈夫だ。何年もやってるし。日付が去年のままだったのは直したし、いいや。パソコンとUSBメモリーを忘れないように気を付けよう。

学科長会議も教授会も90分を超える長さ

今日は例によって1時から学科長会議。が、昨晩色々気に成って中々寝付けず、結構寝不足状態だった。会議には間に合うように起きたが、眠くてあまり集中していたとは言えない。それでも幾つか出た宿題はちゃんとメモしたので、大丈夫でしょう。最後は何やら当局が怪し気な行動を取ってる件につき説明があったが、教授会でもう一度やる、と言っていたので、あまり真面目に聞かなかった。結構長くて、2時半くらいに終了した。

教授会まで寝よう、と思い、横に成る。起きたら4時半を少し過ぎていた。学科長会議で事務の人が3名ほど配置転換に成る、と言っていて、その3人の挨拶で少々時間を取られるだろうから、まあ多少寝坊してもいいかと。大事な投票事案件にはちゃんと間に合ったので、まあよかった。今度は自分があんなことをしないといけないのか。憂鬱だ。こちらも長く、6時過ぎに終了。まあ今日は大事な案件があったので仕方ない。

その後カップ麺をすすりながら、この前やった「格付けチェック」を見るなど。この前は浜ちゃんの作った料理を旨いと選んでいた人が結構いたが、今回はいなかった。それでも大半が「写す価値無し」に成ってしまった。面白かった。野球が無いと3時間強結構まとめて時間が取れる。野球は長いからね。日本シリーズは土曜から。またテレビ局の都合だと思うが、中継は6時半開始。試合終了は10時くらいかな。土曜日は呑みに行くのが遅くなりそう。

さて、これからちょっと重たいメールを書かないといけない。言葉を選ばないといけないし、気を使わないといけない。書きようによっては小生の人格にも関わること。時間を使って、丁寧に書きます。さ、やるぞ。

勉強の仕方に問題ありだが…

昨日は寝不足だったが、つい12時過ぎまで起きていてしまった。「サンデースポーツ」を見た後何となく NHK にチャンネルを固定してるんだが、11時から始まるアメリカ発の医療ドラマが気に成って、見てしまう。真剣には見ていないが。

ということで今朝も中々起きられなかった。10時半のアラームも11時のアラームも起きたが無視。12時ちょい前に起きた。シャワーを浴びる時間が無い。仕方なくそのまま出発。

12時40分くらいに職場に着いた。まあ弁当を食べる時間くらいはあるか、ということで、外で弁当を買う。鯖のみぞれ煮の弁当があった。美味しかった。

1時から院生向け「数理科学特論2」。馬鹿に出席者が少ないな、と思ったら、開始して暫くして数名来た。昔は講義は遅く始めることにしていたが、学生がアンケートで文句を書いていたので、ちゃと時間通りに始めることにしている。先週 p 進体 Q_p を Q の p 進付値による完備化、p 進整数環 Z_p を Q_p における p 進の付値環として定義したが、今日は Z_p が 環だとか、Z の Q_p での閉包が Z_p だとかから始めた。で色々証明して、pZ_p が唯一の極大イデアルとか、剰余体が素体と同型とか。次にコーシー列であることと a_n+1－a_n の極限値が0であることが同値とか、Σa_n が収束 ⇔ a_n→0 が同値とか。でそういった準備の下、p 進展開で与えられた級数がちゃんと収束して p 進数を定めるとか、逆に Q_p の任意の元が p 進展開出来るとか。まあ退屈だろう。が、数学的な基礎付けはしっかりやっておかないと。来週はヘンゼルの補題とかやる。平方剰余も近い内にやれる。楽しく成ってきた。やっぱり ε－δ より合同式ですよ。

その後部屋で講義資料をアップしようと思ったが、講義中に色々気に成ったので直す。書き方がよろしくなく、分かりづらいな、と思った場所が数箇所あったので。あと lim a_n＝a ⇒ lim v(a_n)＝v(a) （v は付値。アルキメデス的でもいい）を使ったが、これ示さなくていいのか？と思ったり。いや、まあ三角不等式より自明、ということでいいが、一応書いておいた。他にもこちょこちょと直した。

4時20分からゼミ。今日も色々問題あり。判別式とかイデアルのノルムとか出てくるが、どちらも定義を知らないような感じ。メールで質問が来ていたが、全然消化出来ていない。いやなのだが「定義は？」とか「じゃあそれどうして？」とか聞きまくる。こういうのがちゃんと出来るようになるのが数学をやることなのだと思うが、違うのだろうか？定義なんかどうでもよく、何か計算できれば単位は揃ったろうが、大学院ではそんなのは通用しない。徹底的にやる。グダグダと7時半くらいまで。

もうちょっと書かせてもらおう。数学が「出来る」と言われている学生と「出来ない」に分類されている学生ってそんなに脳味噌に差は無いと思う。少なくとも理系の大学には入っているんだし。問題なのは、きちっとやれるかどうか、そういう習慣が付いているか、だけだと思うのだが。駄目、に分類される学生は概して「超越的な議論」をやる。前も書いたが、1 と虚数単位 i が R 上一次独立であることを示すのに、行列 (1 i) を掃き出すとか訳の分からないことをしたり。他にも正方行列 A と ベクトル x に対し、長さ |Ax| は、と議論している時に行列式だと思って |Ax|＝|A||x| とかしたりとか。どっちも定義通りやれば大したことないことばかり。が、何でも定義に戻ればいいのではなく、例えば x,y∈R² が一次独立かどうか調べるには2次の正方行列 (x y) の行列式を調べる、というのを使うのがお手軽だが、こういうのを知らなかったり。まあとにかく、勉強の仕方を間違ってるんですよ。子供の頃からの習慣なのだろうから矯正するのは難しいだろうが、大学院を修了したと人に自信を持って言えるような学生を輩出するのが我々の仕事。もっとしつこくいきます。

もう少し。保険会社の人が小生に保険商品をすすめてくるときは、その商品の内容を完全に暗記している。銀行の人が金融商品をすすめてくる時も。小生今年車を乗り換えたが、最初に買った車種と違うものにしたが、それは何故かと言うと、車屋が自信を持ってすすめてきたから。前の車種との違いは澱みなく話してくれたし、ギアが機械式から電気式に成ることなど。ギアの違いはすぐ慣れます、と言ってくれた。こういう時に自信無さげだったら間違っても車は変えない。数学の話を人前でするというのも同様。ちゃんと準備して、堂々とやらないといけない。学生時代はそういう時のための準備をしているのだ。別に数学でなくてもいいが、自分のやっていることをちゃんと説明するように成らないと。もうやめようかと思ったが思い出したので。この前深夜に何やら高校生が「研究発表」する、という番組をやっていたんだが、専門家から質問されると、時間の関係で話せなかったと思しきスライドを次々見せて、ちゃんと質問に答えていた。そういうのが研究発表なのである。準備にはたっぷり時間かけないと。セミナーの準備の仕方を書いている人は多いが、多くが「ノートを見てはいけない」、「分からないは禁止」とか書いてる。そこまで厳しいことを小生は要求するつもりはない。何しろ自分が出来てないからね。最低限のことさえ出来ていないのだ。もっと口汚く罵りたい気分になることもあるが、下手をすると人格否定につながりかねないことを口走りそうなので、我慢しているが。十分口汚いかな。はい、おしまい。

もんたよしのりが死んだそうだ。「ダンシングオールナイト」は80年代で一番売れたレコードらしい。子供の頃テレビやラジオでしょっちゅう流れてた。谷村新司とか財津一郎とか、スターがどんどん死んでく。まあ小生も歳をとったということだな。この前「これ余談なんですけど…」で関根勤が財津一郎の話をしていた。よく似た人に声を掛けられた、と言っていて、もうお亡くなりに成ってると思ったが勘違いで、まだご存命だった。失礼なことをした、とかそんな話だった。放送時期がずれなくてよかったね。お三方のご冥福を祈る。

野球が無いので「CHEF-1グランプリ」を見ることが出来た

結局昨晩は無茶苦茶呑んでしまった。いつものメンバーで野球の話から。皆野球が好きなので、凄く盛り上がった。その後そこからどんどん発展して、色んな話。さながら「これ余談なんですけど…」の感じで。余談をひたすら放送する、というのを考えた人は偉いね。で結構な時間まで呑んでしまった。まあいいです。

帰ってきてしばらくは起きていた。「サンデーライブ」を見てたら、今年のドラフト1位の候補に度会（わたらい）という選手がいる、という話。度会、という字面を見ると、野球マニアは  Swallows にいたな、と思い出す。古田が彼が幼少の頃から知ってる、と言ってたが、その度会の息子らしい。そうだったか。親父さんはドラフトで指名された時、一同「誰？」と思ったそうだ。中央学院大学出身だが、無名の大学。箱根駅伝に出たんで有名に成ったが。親父さんはそんな感じだったが、息子は堂々のドラフト1位候補。どうなるでしょうね。

暫くしてからダウン。が、テレビを付けっ放しだったので、凄く眠りが浅い。「CHEF-1グランプリ」が始まるまで何度も寝たり起きたり。で「CHEF-1グランプリ」を見た。面白かった。4人から2人に絞り、そこから決勝なのだが、最初のバトルが無茶苦茶点が低く、「革命と言っているが、全て想定の範囲内」とか滅茶苦茶言われ、Gackt から10点満点の3点しかもらえない、といった体たらく。もう1バトルは所謂「ジャイアントキリング」が起こった。さあ決勝戦は、と思ったら、一回戦で実力を発揮出来なかったシェフが流石というところを見せて優勝。まあ詳しくは書きませんが。去年、一昨年2位だったシェフは今回は低評価で、「無冠の帝王」の冠は返上出来なかった。残念。番組の最後に、Tver だかなんかの配信サービスで全バトル配信、という情報が出ていた。テレビでは準決勝からしか放送が無かったが、まあテレビで全てやる、という時代では無くなったということだな。時代の波には抗えないね。

で大河ドラマを追っかけ再生で見ようか、と思ってケーブルテレビのチューナーの電源を入れる。昨日まで CS を見ていたため、チャンネルが NHK BS 1 に成っていた。「球辞苑」という面白い番組があるが、それをやっていた。ハーフスイングの話。相変わらずネタがマニアックだね。それが終わってから大河ドラマ。いよいよ家康と三成の関係が悪化してきた。前田利家も死に、いよいよ関ヶ原か、という感じ。来週の予告を見ると、鳥居元忠と家康が話しているシーンがあった。伏見城の攻防戦を来週やるのだろう。関ヶ原は再来週かな？面白くなってきた。

「サンデースポーツ」を見ているが、昨日書いた通り59年振りの関西ダービーだが、59年前って1回目の東京オリンピックの年、と言っていて、そうか、そうなるか、と思った。東京では10月10日からオリンピックで盛り上がっていたが、関西は同じ10月10日から南海 vs. 阪神で盛り上がっていたそうだ。結果は4勝3敗で南海の勝利。それはそうで阪神 Tigers が日本一に成ったのは昭和60年の1回だけ。Tigers が日本一に成ると38年振り。小生 Buffaloes 推しなのだが、今年は Tigers を応援しちゃおうかな。

5年後のオリンピックでまた野球をやるそうだ。野球は長いので見ない人が多いのだろうが、時間で終わる競技ではなく、点数で決まる競技でもないので、終盤にドラマが起こり面白い。この前の Marines vs. Hawks のように、10回表に3点取ったが、10回裏に4点取られてサヨナラ負け、ということがある。こんなのは野球だけだろう。あ、もちろん類似のルールでやってるソフトボールもそうだが。というわけで皆さん、野球を見ましょう。

Buffaloes が勝ち上がりで、日本シリーズは59年振りの関西ダービー

また下らん計算をして、遅くまで起きていてしまった。床に座り込んで計算していて、椅子に座り直してパソコンで計算するのが面倒だな、と思ったところで閃いた。スマホに Maple Calculator が入っている。それで計算させればよい。(x＋y)⁸ とか計算したかったが、すぐ出来て嬉しい。(x＋y)⁴ くらいは覚えているが、8乗と成ると流石に無理。パスカルの三角形を使えば求められるが、沢山数字を書くのが面倒。ということで計算機が使えるのは便利。まあ下らん計算は SageMath でやれば一瞬で出来るんだが、手計算で勘を養うのも大事。Wiles がフェルマー予想を証明する時に計算機を一切使わなかった、というのを思い出して手計算を頑張ってみた次第。が、計算機で実験するのも大事で、ちょっと面白そうな現象に気付いた。どうやったら示せるでしょうか？後で考える。

でいい加減頭がフラフラしてきたので寝た。今日はちょっと職場に行った方がよかったんだが、無理は禁物ということで。そのまま夕刻まで寝て、まあ調子は大丈夫そうになった。

6時から野球。Buffaloes は今日勝つか引き分けで日本シリーズ進出。1回裏に森が高目のボール球をスタンドに放り込み、2点先制。先発の宮城は好投で、6回無失点。7回は阿部が無失点。が、8回に山崎颯一郎が藤原にソロホームランを打たれ2点差。8回裏にちょっと心配なことが。杉本が走塁中に足を痛めた模様。紅林が試合前に傷んだらしく、こちらも心配。9回抑えれば日本シリーズ進出、というところで平野が登板。が、ポランコにソロホームランを打たれ1点差。むぅ。が、最後は抑えて、Buffaloes が日本シリーズ進出決定。これで関西ダービーに成った。59年振りとか。よかった。1週間後に京セラドーム大阪で日本シリーズが開幕。楽しみ。

CS の最優秀選手は、Tiges は木浪、Buffaloes は杉本。が、杉本は表彰式に出ていない。心配だ。

さ、呑み屋に行こう。Tigers の優勝おめでとうを言いにいかないと。明日は試合が無いことに成ったので、多少呑み過ぎても大丈夫。が、明日は「CHEF-1グランプリ」の決勝を放送するらしいので、程々にしておく。上に書いた通りちょっと無茶もしてるんで。ではいってきます。

Tigers があっさり CS 勝ち抜け

今朝は10時前に目が覚めた。昨晩はそこそこ遅くまで起きていたんだが。ちょっと寝不足だな。まあいいです。ドーピングしてから出掛ける。

12時前に職場に着いた。もうちょっと早ければはま寿司に行ったんだが。弁当を買って掻っ込んで、昨日の xⁿ＋yⁿ が x＋y と xy の Z 係数多項式で表せるということの証明が完了。合ってるかどうか SageMath で確認して完了。sum 命令を使えば、高校でやるような Σ の計算は簡単に実装出来る。有難い。

1時から「代数学II」。今日は代数的な元を1個添加した拡大の構造定理。最小多項式を定義して、次数が最小であることが既約性に言い換えられることを証明。Q 上だと色々既約性を示す方法があったよね、と言っておいて、それから構造定理を証明。有理化出来るのが素晴らしい、と言っておく。高校では2次拡大の場合しかやらないけど、代数的なら何次でも出来るんだよ、と。で具体的に有理化をやる手順も示しておく。ユークリッドの互除法が役に立つ。小生が大学院生の頃住処で使っていたコンピューターはメモリー640kB、ハードディスク無し、という今考えるととんでもない代物。UBASIC は使えて、UBASIC は1変数多項式を使えたので、この手順をプログラムした。大学に行けば UNIX のワークステーションがあり、小生一応スーパーユーザーをやっていたから、PARI/GP とか KASH とか勝手にインストールしていたので、大学ではプログラムせずに色々なことが出来た。今大学で使ってるパソコンにも住処で使ってるパソコンにも PARI/GP、SageMath、Maple をインストールしているので、特に大したことをせずにどんどん実験出来る。学生さん、数学の勉強をするにはコンピューターで実験して実感するのが大事ですよ。

講義後個研室で色々作業。今日の講義の内容を踏まえて演習問題を web に上げる作業。一応全部解いてみた。今日までの講義で教えたことを使えば全て解ける。大丈夫、ということで上げる。で何だかんだで5時半くらいまで職場にいた。

5時半過ぎだと大学の中が渋滞する。事務の人の帰宅時間に重なってしまうので。失敗したな。もう少し早くか遅くにすれば大学の中は混まない。遅くすると高速道路が混んでしまうが、まあまだ6時前だし大丈夫だろう、と思ったら、入り口近くに不穏な情報が出ていた。「草津JCT－瀬田東JCT 緊急工事 渋滞4km」。何だ「緊急工事」って？渋滞は新名神にまで伸びていて、中々合流出来ない。名神に合流後は、この前書いた通り急いで2車線右に移らないといけないが、中々うまくいかない。結構緊張して、どうにかなった。が、その後は 60km/h くらいしか出せず、大津インターを過ぎたあたりで「この先渋滞」の表示。暫くすると「京都南まで渋滞4km」の表示。まあ小生は京都東で降りるので、関係無いが。でインターを出たら、五条と三条の分岐点で五条方面の車が渋滞して、左の車線をふさいでる。右の車線に出て、四宮の交差点まで来たが、そこから先は例によって大渋滞。結局職場を出てから住処に着くまで1時間くらい掛かった。もう少し帰る時間を考えないといけないな。

野球は途中から。パ・リーグを全試合 NHK BS 1 で放送、と言っていたのでチャンネルを合わせると、セ・リーグの試合がやってる。番組表を見たらパ・リーグの試合はサブチャンネルで放送していた。そちらに合わせて観戦。Marines は所謂「ブルペンデー」という奴で、先発は澤村、そこから1イニング、2イニングでどんどんピッチャーを変えてくる。国吉が出てきた時はうっかり Marines を応援してしまった。例によって四球でランナーを出したりしていたが、ピッチャー返しの打球をスーパーキャッチでピンチを凌いだ。国吉が引っ込んでから再び Buffaloes を応援。全然点が入る雰囲気が無く、8回表終了時点で 0－0。8回裏に Buffaloes が2アウト3塁のチャンスを作り、若月が先制のタイムリーヒット。9番宜保の所で代打は帰ってきたパ・リーグ首位打者の頓宮。長打性の当たり。1塁ランナーは足の速くない若月だが、激走を見せて2点目のホームイン。最後は平野が抑えた。これで3勝1敗。明日にも決まる。よしよし。

セ・リーグの速報は逐一入ってきた。Carp が先制するも Tigers がすぐひっくり返し、しかし Carp も追い付きと熱戦。6回裏に坂本のタイムリーで Tigers が勝ち越すと、7回裏は森下が押し出し四球を選んで2点差。もう勝負ありか、と思ったら、9回表岩崎（いわざき）がランナー二人許してピンチ。が、そこは甲子園球場、あと一人コール、あと一球コールが響き、Tigers が勝利。これでセ・リーグは Tigers が CS を勝ち抜け日本シリーズ進出。Carp は Baystars 相手に強かったが、Tigers には敵わなかった。見てないけど、結構粘ってはいたようだ。まあそれでも寄り切る辺りは流石の Tigers だった。このまま日本シリーズでも強いのでしょうか？去年のペナントレースでは Swallows が目茶目茶強かったが、日本シリーズでは敗れた。Tigers はどう成るでしょう？日本シリーズ優勝したのはもう38年も前だそうだ。38年、と聞くと Baystars ファンは反応してしまう。38年か、長いな。1998年に Baystars が優勝した時、軽口で「38年後が楽しみですね」とか言ってしまったが、もう25年経ってしまった。あと13年は流石に我慢できない。小生68歳に成ってしまう。来年は是非にも。

明日の大阪の最高気温は20度、とか言ってた。少し前に猛暑日がどうしたとか言ってたんだが。体が付いていきませんぜ。すぐ冬に成ってしまうな。多少寒いのはいいから、今年の1月のような大雪は勘弁してくれ。

今日は「探偵ナイトスクープ」が無いようだ。「CHEF-1グランプリ2023」の準決勝をやるらしい。日曜日に決勝を放送すると言ってたが、関西以外では準決勝は前に放送したのかな。まあいいや、流しておいて色々やろう。

10.19、因縁の一戦再び？

昨晩は昨日書いた「妙なアニメ」を見てしまった。1話目は1992年にタイムスリップした、という設定だったが、見なかった2回目で主人公は現代に戻ってしまっていた。が、3話目ではまたタイムスリップして、今度は1996年。1992年と1996年の大きな違いは、Windows95 があったか無かったか。「俺は9801でしかゲームを作らない。Windows なんてまっぴらごめんだ」というセリフがあった。面白いね。パソコンの裏側を見せて、「これが何のポートか当ててみろ！」というセリフもあった。あの頃はシリアルとかパラレルとか、色々あった。マウスはマウスでまた別だった。今は何でも USB に成っていて便利。そのお陰でノートパソコンは小さく薄くなった。いいことです。

で夜更かししてしまったので、起きたら既に2時近く。まあ2時40分までに職場に行けばいいので、大丈夫だが。飲まず食わずで出掛ける。通りに出る時に見たら、粗大ゴミは無事回収されたようでよかった。

2時40分からゼミ。整数論のゼミは、何やら「R が U.F.D. ⇒ R[X] が U.F.D.」を証明し始めた。代数学I で R＝Z の場合をやった、それと同様、ぐらい言ってくれればよかったんだが、1から証明するようだ。Z や Q の場合は内容（容量）を正に取っておけば全て一意的に決まってスムーズなんだが、一般の環ではそうはいかないので、一々同伴であることを断らなくてはいけなくて、色々繊細な議論が必要に成る。それをちゃんとやった。素晴らしい。まあそうは言ってもあまり真面目には聞かなかったが。本の先の方をチラチラ見ていたら、面白い例が出ていた。X³＋X²－X＋1 の根を Q に添加した体 K の整数環と判別式を決定する、というもの。この多項式の判別式は －44 なので、K の判別式は －11 か －44。が、前者だとするとミンコフスキーの定理による判別式の評価に矛盾してしまう、というもの。メモっておいて、後で TeX 化しようと。p が奇素数 ⇒ cos(2π/p), sin(2π/p) は代数的整数でないことを示せ、という問題もあった。cos の方は昔示したな、ということで、後で秘蔵の問題集を見よう、ということで、こちらもメモっておく。超越数のゼミはリンデマンの定理とかいうやつの証明。代数的と仮定して、Q に添加して、とか、ノルムがどうしたとかだ整数環がどうしたとか、そういう議論が多くて、面白かった。今までで一番ピンときたかも。

で個研室に戻って、cos(2π/p) が代数的整数でないことの証明を見たが、例によって何をしてるのかさっぱり分からん。もう1回最初から考えてみよう、と考え始めた。で xⁿ＋yⁿ を x＋y と xy の Z 係数多項式で書く、ということがヘソであることが分かり、これは論文を書く時に使った公式があったな、思い調べたら、あった。が、式に分数が出てくる。これ有理整数に成るの？と SageMath でちょっと実験したら成りそう。ただどうやって示すのか分からない。まあ当初の目的なら n に関する数学的帰納法くらいで証明出来そうなので、後でやろう、ということにする。Q(ζ_p) の整数環が Z[ζ_p] であることを使えばすぐ出来る、と帰り道で気付いた。後でまとめて TeX 化する。

もちろんいつものように野球を気にしいしいだったが。ネット上では「10.19、Buffaloes vs. ロッテ、因縁の決戦」とか盛り上がっていた。いや、当時は近鉄 Buffaloes vs. ロッテ Orions、場所は川崎球場と、因縁も何も無かろう、と思ったが、まあいいか。それが頭にあるのか無いのか、熱戦だったようだ。取っては取られて。1回表に Marines が先制するも、1回裏に Buffaloes が3点。6回表に Marines が3点取り逆転。が、7回裏に Buffaloes が2点取り再び逆転。そこいらで職場を後にして、晩飯を食べて、で駐車場でスマホを見たら、Marines が9回表に2点取って再逆転。そのまま Marines が勝った。山岡が打たれたらしい。まあこれで2勝1敗。盛り上がってきていいです。

セ・リーグは Tigers がサヨナラ勝ち。Tigers は日本シリーズ進出に王手。どう成るでしょう？

日大揉めてるね。私立大学はこういうのがあると痛手だ。巨大な大学なので潰れることは無いだろうが、痛いのは間違い無い。アメフト部は名門だが、どう成るでしょう？昔関東学院がラグビーで強い時期があったが、なんか似たような事件（大麻所持じゃなかったかな？）で出場停止だったか何かを食らって、一気に斜陽に成ったことがある。一人の問題では無いのだ。やる方も考えてやって欲しい。

CS ファイナルステージは Buffaloes、Tigers が先勝

今日は結局職場には行かなかった。呑み呑み遅くまで三角関数のことを考えていて起きられなかったので。三角関数難しいぞ。ましてや逆三角関数なんていよいよ分からん。最新の数学を研究するのは大事だが、こういうのに思いを馳せるのも大事だと思うが。まあ論文は書かないといけないんでね。

で起きてしばしニュースなど。6時からCSのファイナルステージだが、セを見るかパを見るかでしばし思案。Buffaloes の先発は山本由伸だったな、ということで、Buffaloes vs. Marines を見ることにした。普段 Baystars の試合ばっかり見てるので、山本由伸が投げてるの案外見たことない。快刀乱麻を断つ無双の投球ぶりを見てやろうじゃないの、ということでチャンネルを NHK BS1 に合わせる。が、先頭打者のピッチャーゴロみたいな当たりを取り損ね、次のバッターもピッチャーゴロみたいな当たりだったが、上手く捕れずセンター前に抜けてしまう。送りバントの後2点タイムリー2ベースを打たれ、その後1死満塁に成り、ダブルプレー崩れの間にもう1点。どうした山本？打線は Marines の美馬に3回までほぼ完璧に抑えられるも、4回裏に一気に同点に追い付いた。紅林の2点タイムリー2ベースと、宗の訳の分からない3塁線へのヒットで。やはり地力の差か？と思ったが、山本はピリッとせず、6回表に荻野にタイムリーヒットを打たれ、再びリードを許す。が、やはり地力の差か、杉本がタイムリー2ベースで同点。セデーニョが1塁から巨体を揺らして激走。紅林のタイムリーヒットで勝ち越し、若月の内野ゴロ、中川のヒットで7－4という展開に。が、山本は相変わらずで、ポランコに特大の犠牲フライで、今日5失点。もうちょっと伸びてたら同点3ランだった。危ない。山本は今シーズン4点が最大の失点だったそうだが。何しろシーズンで27失点（自責点は22点）で防御率1.21だからね。8回裏に若月がタイムリー2ベースを打ち3点差。最後は平野だから、まあ大丈夫でしょう。で実際大丈夫。Buffaloes が先勝。明日は Buffloes が田嶋、Marines がメルセデス。どうなるでしょう？

セ・リーグの試合はネット観戦。Carp が先制するも、森下のホームランで Tigers が追い付き、チャンスの場面でまさかピッチャー村上がタイムリー2ベース。その後も得点し、4－1 で Tigers が先勝。夢の関西ダービーへの実現に一歩近付いた。明日は Tigers が伊藤（将）、Carp が大瀬良。さてどっちを見ようか？あまり遅くまで職場にいないで帰ってこよう。

今日から「相棒」が始まっている。野球の終わる前に始まってたので、録画してある。いつ見るでしょうか？今日は少し長いようで、「報道ステーション」の始まるのが遅い。ということで NHK で「歴史探偵」を見た。今日の主役は織田信雄。この人物には昔から興味があった。「虚けの舞」という小説を前に読んだことは書いたが、「織田一族の全て」なる本を昔買って読んだこともある。それによると、秀吉から改易されたり、家康から改易されたりしながらも、子孫が大名として生き残ったという、面白い人物。色々知っている話はあったが、面白かったのは今年になって見付かった信雄自筆の手紙のこと。こういうのが出てくるから歴史学者はやめられないんだろうな。面白かった。再放送の日付を確認して、録画することにした。

さて、先日粗大ゴミの引き取り手続きをしたことは書いたが、ようやく明日引き取ってもらえる。コンビニでシールを買って、そこに名前か手続き番号を書いて、引き取ってもらうものに貼ることになっている。これからやる。ものが大きいので、収集場所まで運ぶのが大変だ。エレベーターで1階まで下りるか。

そういえば、先々週何やら妙なアニメが水曜深夜に始まって、毎週見よう、とか書いたが、2回目の先週、見損ねたことに気付いた。ならまあもう見なくてもいいや。明日は2時40分までに職場に行けばいいが、早目に寝るか。

竹山美宏「数学書の読みかた」森北出版

どうも夜更かししてしまうな。昨晩も結構遅かった。プロレスは見なかったけど。プロレス録画してあるけど、全然見てない。もう録画するのやめようか？

で12時55分のアラームで無理くり起きた。学科長会議に間に合う。この時間にアラームを仕掛けたのはいいひらめきだった。今日も色々難しい話があったが、明日は学科会議をやらないで済みそう。W先生が何やらやると言っていたが、職場に行こうか？それとも Zoom で参加しようか？土曜日にも何かあるようなことを言ってたから、明日行くと週6日職場に行くことに成ってしまう。今日も保健センターに行く必要があったので行ったし。まあいいや。明日起きた時間次第だ。

保健センターには3時ちょいに行った。大して待たずに診てもらえた。この前の血液検査の結果が出ていたが、特段問題無いようでよかった。前は γ-GTP が結構高かったが、多分酒の呑み過ぎだったのだろう。悪友と縁は切ったし、最近は週2回呑めば多い方。まあ程々にしますわ。

その後個研室で昨日の講義のノートの直し。昨日は紙に赤入れしたが、結構気に成る所があり、真っ赤に成った。で今日はそれの TeX 化。昨日の晩は結局やらなかったので。で直してそれで終わりかというとそんな手抜きはせず、もう1回読んでみた。もちろん画面と睨めっこするだけでなく、ペンと紙を相手に書き書き考えた。やっぱりおかしな所があった。これでずっと講義してた筈なんだが。今年はゼミのテキストに色々新たな問題を見付けたりと、今まで何やってたんだと思うことが多い。「代数学II」のノートももう一回真剣に見直した方がいいかもな。後10年、間違いはしないよう頑張りたい。

春先に某大学の院生から、学振PDの受け入れ教員に成ってくれ、と依頼が届いていた。彼の指導教官は小生の大学時代の先輩。色々書類を書いたりしたが、不採択だった、と報せが届いた。そうか、残念だった。来年度はM2が4人もいるから、少し引き受けてもらおうかと思っていたんだが。縁が無かったということで、丁重にメールを書いておいた。

昨日職場のポストを見たら、森北出版の目録が届いていた。中を見ると、竹山美宏「数学書の読みかた」という本が目に入った。この本は既に買っている。ブログを見返してみたら、2回買ってる。1回目に買ったのは行方不明だが、2回目のは住処にある。で昨日帰ってきてからチラチラと眺めた。面白そうだ。章の終わりに何やら二人で会話しているのが収録されているが、為に成る。一人がもう一人に「本に書いてあるから正しいはダメってこと？」と質問していたが、当然ダメ、という答えをしていた。ゼミで学生には、本にはしばしば嘘が書いてある、と言ってる通り、およそ数学について書かれたもので100％正しいものは無い。小生が学生の時に読んでいた本に、濃度アレフ0の集合から濃度アレフの集合への全射が構成されている証明があった。本に書いてある証明では修正のしようが無く、色々調べた。今学生に読ませてる本も間違いが多い。中島和文先生が「自分が正しいと思ったこと以外は信用してはならない」とよく仰っていたが、その通り。うちのOB会である「数物会」のページに「数学・物理まなびはじめ」というコーナーがあり、OBや現職の教員、他の大学に移られた教員が文章を書いているが、そこに今東京理科大にいる卒業生の新田君が中島先生の話を書いてた。厳しい方だった。数学をちゃんとやるのは大変なのです。やりたくなくなるのもむべなるかな。大学院に進学したらその厳しさは享受しないといけない。頑張りましょう

珍しく「マツコの知らない世界」を見ている。火曜日は大抵野球を見てるんだが、今日は無いので。アメリカ出身の人が和製英語の話をしている。日本で使ってるカタカナ語は殆ど外国人には通じない。「コンセント」とか。「ユニーク」を「面白い」という意味に使うのは日本人だけ。数学では本来の意味で使っている。和製英語ではないが、「サウスポー」が外国人に通じたことが無い。必ず聞き返される。日本語が達者な外国人が、「何故俺が南極なんだ？」と聞き返してきた。「サウスポー」が定着したのはピンクレディーのお陰かな。野球の実況アナウンサーが良く言ってたのもあるだろう。面白いね。

パ・リーグの CS は Marines が大逆転勝ちでファイナル進出

例によって遅くまで起きていてしまった。色々気に成ることがあって。Maple に計算させた結果を TeX に起こして、いい加減寝ないとまずい、ということで寝た。

で今朝起きたのは11時半くらい。もう10時半のアラームは全く気に成らないように成ってしまった。そもそも何故10時半かと言えば、バスが学生で混まないうちに職場に行きたい、講義の前に食事をしたい、ということだったのだが、もうバスは乗らないし、食事も講義とゼミの間の空いたコマで食べればよい、ということにしてしまったので。念のため12時に仕掛けてある。12時に起きれば1時の講義には間に合うからね。

で1時から「数理科学特論2」。今日は完備化の存在と一意性から。これの証明に丸1時間掛かった。学生にしてみたら「ものすごく長い証明」なのかもしれないが、一言言っておく。「この程度の証明は長い部類には入りません」と。で p 進体を Q の p 進付値による完備化、p 進整数環を付値環として定義した。初回にやった冪級数による定義と一致することはこれからやる。疲れた。

生協でトンカツ弁当を買って、包装をひん剥いて、さて、というところでソースと辛子が見当たらない。うぉー。仕方ないがプレーンで食べた。食べ終わったら見付かった。まあいいです。間抜けなのはこれだけではない。講義ノートを直して web に上げようと思ったが、筆箱が鞄に入っていない。パソコンの電源を落とした記憶はあるが、USB メモリーを抜いた記憶が無い。筆箱を鞄に入れた記憶も無い。松屋の割引券を忘れないように、とかつまらんことに気をつかっていて、忘れてしまったようだ。まあいいです。講義中に色々変な所だったりよくわからないことがあったりしたので、紙に向かって真剣に考える。いつもなら1か所ずつ TeX 化するんだが、仕方ないので今日は紙に赤入れして、帰宅後直すことにする。1か所分からない所が残ったが、もうゼミの時間に成ってしまったので、一時中断。

4時20分からゼミ。今日も色々問題あり。何故定義が分からないでやろうとするのか、未だに理解出来ない。原付で高速道路入るか？打って3塁へ走るか？それに近いレベルのことなのだが。大学1年生ならいいわ。M1やぞ。こんな調子で修了出来るつもりでいるのだろうか？自分の番じゃないときはひたすら黙っていて。I君は色々口を出すが、他の面子は何をしているのだろう？学生は皆小生より後ろに座っているので、分からない。いい加減にして欲しい気分だ。暴言の一つや二つ吐きたいところだが、何でもパワハラに成ってしまう時代。気を付けているが、まあここに書いたら同じか。イライラしながら終了。

その後部屋でさっきの続き。要するに何故 ε/2 より小さいかが分からなかったのだが、とり方より 1/n より小さかったので、n をデカくすりゃ ε/2 より小さいか、というだけだった。この前も書いたが、人間そんな賢くない。徹底的にメモしておかないと。困ったら何でも演習にするという同僚もいるが、小生それが出来る程面の皮が厚くない。これから直して web に上げる。9時過ぎに職場を後にする。

出る前に野球の速報を見たが、0－0。引き分けでも Marines がファイナルステージ進出。どうなるでしょう。で上に書いたように松屋の割引券があったので松屋へ。定食が出来てくる前までは例によって「覇王の家」を読んでいた。食べ終わってから野球の速報を見たら、まだ0－0。凄いな。

住処に帰ってきてから野球の速報を見たら、3－3 に成ってる。え、と思ったら、10回表に Hawks が3点取ったのに、10回裏に藤岡が3ランホームランを打ったようだ。白熱してるね。でこれを書いていて、さっきチラッと見たら、Marines が 4－3 とサヨナラ勝ち。Hawks は悔やんでも悔やみきれないね。打たれた津森は暫く悪夢にうなされるかも。これで水曜日から Tigers vs. Carp、Buffaloes vs. Marines が行われる。小生関西にはもう24年住んでる。半分関西人みたいなもんだ。ということで、Tigers と Buffaloes を応援する。Marines が日本シリーズに行くと谷保さんがまだ仕事出来るが、Buffloes ファン歴も結構長いので。と言っても当時は近鉄 Buffloes だったが。

明日は保健センターに行く日だった。学科長会議は例によってあり、教授会は無いので、学科長会議が終わってから職場へ行き、処方箋を受け取ってから7時過ぎまで色々しよう。講義ノートの直しは明日やろうか？まあいいや、少し考えよう。出さなきゃいけないメールがあるから、そっちからやるかな。

などと書きながら「報道ステーション」を見ているが、ラグビー盛り上がってるね。接戦ばかりで面白かったろう。昨晩色々やりながら1試合流していたが、相当な熱戦だった。見ておけばよかった。何故日曜日の深夜にばかりやるのだろう？仕方ないけど。

「横浜頂戦」はあっさり終了

昨日は書いたように野球が済んだ後すぐ呑みに行った。珍しく客がいた。たまには客が来ないと潰れてしまうからね。いいことです。でいつもは来ているだけのアルバイトの人が働いていた。11時前に客は帰り、その後いつもの通り3人で。で例によって呑み過ぎ。今日は気持ち悪くて中々起きられなかった。

電話が鳴り起こされる。番号を見るといつもの番号だから出ないでおいた。野球の速報を見たら1点負けてる。しばらくしてまた電話。五月蠅いな。野球はもう1点取られている展開。いけないな。起きて応援することにした。すると関根にタイムリー、代打ソトが犠牲フライで追い付く。浅いセンターフライなのに代走知野がよく走った。が8回裏、不運な内野安打やフィルダースチョイス等でノーアウト満塁のピンチを作ってしまう。代打田中が初球をタイムリーヒット、秋山が犠牲フライで2点差にされてしまった。そのまま抑えられ、「横浜頂戦」はここであっさり終了。残念だ。来年こそは是非にも優勝を。

明日もし試合があれば、先発はバウアーと発表されていた。呑み屋から帰ってきてから洗濯機を回したが、着替えとしてゲン担ぎにバウアーTシャツを着ていたのだが、幸運は訪れなかった。バウアーは来年は Baystars にいるのか？今永は？残って欲しい。

Uber Eats に王将メニューを頼んで食べながら、水曜日やった「笑わない数学」を見た。コラッツ予想の話。小生は「角谷の問題」という名前で最初知った。手を出してはいけない問題の代表例だが、フェルマーの最終定理のように解いてしまう人がいるので、どうなるかは分からないが。色々やった人はいることが分かって、面白かった。

6時からパ・リーグの試合を流しておく。正直ガッカリして見る気が湧かなかったが、結果は気に成るので。Hawks が1点先制も Marines がすぐ追い付く。が、3回表に柳田の変な当たりがタイムリー2ベースに成ってしまい、中村晃もタイムリーヒットで2点差。でそのまま決着が付いて、1勝1敗で決着は明日。谷保さんがもう1試合出来てよかったでしょう。

昨日書いた「失点」の件だが、見てみると去年も書いていた。毎年思っているんだな。一昨日書いた「代数学II」の演習問題も去年一所懸命考えていたようだし。色々忘れるように成ってきた。歳だな。

箱根駅伝の予選会があったらしい。東京国際大学が3秒差で本選出場を逃したらしい。外国人ランナーが転んでいたが、それが無ければ、という感じだった。最近常連校に成って、見せ場を作っているので、出場できないのは残念。来年度の巻き返しに期待。来年正月の大会は何回だか忘れたが記念大会だそうで、関東以外の大学にも門戸が開かれる、ということだったが、ニュースに成らない所を見ると、関東以外の出場は無かったということだろう。うちと立教で「立立戦」とか冗談で言っていたんだが、実現しなかったか。立教は出場権を得られたようだが。今年は中央が好成績だったので、「来年は早稲田と中央でやりあいましょう」と中央OBの亨ちゃん（一部に有名）と Facebook で盛り上がったが、現実に成るといいですね。

CS 初戦を落とした

「探偵ナイトスクープ」が終わったら寝る、と書いたが、現実はさにあらず。円の25分多項式が Q 上既約であることを示すのに手間取った。25より一般的な p²（p は素数）の場合の証明を TeX 化してあったが、何書いてるか分からん。必死に成って穴を埋めた。で TeX 化したものをより詳しくする。学生にいつも言っているのは、元をどこから取ってきたか明確にせよ、だが、これ書いておかないと後で分からなくなるから言っている。人間そんなに頭よくない。上に書いたこともその時は分かったのだろうが、あとで見ると分からない。ということで、詳しく書いておくに越したことはない。ちゃんと書きましょう、としつこく言う。

で遅く寝て、目が覚めたら1時を過ぎていた。Carp vs. Baystars は1時開始なので、急いで起きる。床田、東の投げ合いで、5回終了時ではどちらも無得点。6回表に宮崎が2ランホームランを打ち先制。が、6回裏に西川が犠牲フライ、8回裏に菊池にスクイズを決められ、追い付かれる。8回裏の攻撃は、四球、初球送りバント、初球盗塁、スクイズと、往年の Carp を思い出させる攻撃だった。新井って4番バッターでバカスカ打つ選手という印象だったが、結構こういう緻密なことも出来るんだな、と感心。かたや Baystars は1アウト3塁も無得点と相変わらず。投手陣は8回、9回、10回、11回と連続で先頭打者を出すも凌いできたが、最後はウェンデルケンが力尽きて秋山にサヨナラヒットを打たれてしまった。さあ追い詰められた。明日は今永だそうだが、大丈夫だろうか？最近は序盤に失点することが多い。バウアーが投げられる状態に成ったそうなので、明日はバウアーの方がいい気がするが。まあ監督の決めたこと。外野はやいやい言うまい。明日も応援する。

上に「失点する」と書いたが、これは正しい。最近アナウンサーで「失点を許す」という人が多いが、「失」という字が入っているので、これは明らかにおかしい。「得点を許す」、「得点を失う」なら分かる。変な日本語を使わないように。

6時から Marines vs. Hawks がやっているが、Marines が1回裏に荻野、ポランコの2発で先制、3回裏は Hawks がミスし2失点、6回表に柳田のどでかい2ランホームランで2点差にするが、すぐ6回裏に3得点と、Marines が優位に進める。今8回表で7－2。今日 Marines が勝てば、谷保（たにほ）さんの出番がもう1試合増えるのでいいでしょう。頑張 Marines。

先週の土曜日は日曜早起きのため呑めなかった。野球が終わったら行く。雨が降ってるので鬱陶しいが仕方ない。住処で呑むにしても買いに出ないといけないから、呑み屋に行くか、と思っている。後8回裏、9回表を残すだけなので、9時ちょいには行けそう。楽しんできます。

今日の「代数学II」は大丈夫だった

結局「アメトーーク！」は見てしまった。ナイツ塙が主役。面白かった。で寝たのは遅かったのだが、朝は9時前に目が覚めた。昨日粗大ゴミの件で電話する時間が無かったので、起きて電話して手続きを済ませた。その後昨日の「ゴチバトル」を見ていたんだが、やはり眠かったので途中で横に成ってしまった。まあ目覚ましは何重にも仕掛けてあるし、大丈夫でしょう、ということで。で最終的に起きたのは11時半過ぎ。間に合う。で職場に12時半前に着いて、弁当を買って、個研室で掻っ込む。講義をやる部屋はコラーニングハウスIIにあり、ちょっと遠いので、早目に個研室を出た。それでもコラーニングハウスIIの階段を昇っている最中に1時に成ってしまったが、まあいいです。

先週は「代数学II」をやらなかったので、先々週に比べると出席者が大分減っていた。お怒りだろうか？それとも1回目で早くも挫折か？まあいいけど。今日は拡大の基底と拡大次数を定義して、K⊂M⊂L ⇒ [L：K]＝[L：M][M：K] とか示して、有限生成拡大を定義して、単純拡大の定義。C/R と Q(√2,√3)/Q が単純拡大であることを示して、元が代数的とか超越的とか定義して、例を挙げたら時間に成った。来週は代数的な元を1個添加した場合の構造定理をやる予定。イデアルと剰余環が出てくる。復習しといてね、と言っておけばよかった。

生協で本と Blu-ray ディスクを買って、個研室に戻って、講義ノートと演習問題を web に上げる作業。講義ノートはちょっとだけ直した。演習問題は、昨日1問結構精査したが、今日見たらもう一題気に成る問題があったので、考えてみる。単純拡大の構造定理を使わないでどれくらい出来るか、というのが今回の問題の眼目で、まあその問題は大丈夫そうだ。が、もう一問、構造定理を使わないと難しい問題があった。Q(2^1/3)≠{a＋2^1/3b｜a,b∈Q} を示せ、という問題だが、これは難しい。1, 2^1/3, 2^2/3 が Q 上1次独立であることを使えば簡単だが、これはちょっと難しい。いや、京大が学部の入試で示させていたくらいだから、出来ないことはなく、実際小生の秘蔵の代数問題集にも解答がある。が、これは小生は思い付かなかった。「大学への数学」に出ていた解答を TeX 化しただけ。ということでこの問題は除くことにした。来週の講義でやる所を見ていたら、それを示せという問があったので、まあいいかと。どうせ誰もやらないんだけど。でウダウダと5時半くらいに職場を離れた。特にやることは無いし、これくらいの時間なら高速道路は混まないだろうということで。瀬田東JCT－大津間が3km程渋滞していたが、まあ大したことはなかった。三条通はそこそこ渋滞。最後は右折する必要があるが、むしろ車がビターっと止まってる時の方が右折はし易い。大したことも無く帰宅。

で「ゴチバトル」の続き。こういうオチですか。まあ面白かった。Uber Eats に夕食を頼んで、食べてからまた演習問題を考えた。今日の問題に円の8分体に関するものがあったが、V₄ 拡大なら12分体でもいいだろう、ということで、秘蔵の問題集を調べてみたら、案の定あった。何年経っても同じ事ばかり考えている証。確か定期試験に出したんだな。だから e^πi/6 を a＋bi, a,b∈R の形に表せ。但し cos, sin は用いないこと、みたいな問題があったわけだが。で単位認定レポートにしようか、という問題を思い付いた。が、そうすると全部 V₄ 拡大がからんでしまう問題に成り、面白くないかな、という気もするが。まあ学生に公表するにはまだ時間があるので、もう少し考える。もっといい問題を考えよう。

などとしているうちに9時を回っていた。スマホにサッカーの速報が来たので、テレビを付けて見ると、カナダ相手に 4－0 でリードしているという状態。終了間際に1点取られたが、まあいいでしょう。これで代表は5連勝とか。5試合連続4得点以上。昔は日本は形だけ作るのにパス回しばっかりしたり、肝心の場面でシュートをはずしたりという感じで、解説者陣が随分苦言を呈しておられたが、3戦連続4得点と、今の代表は凄いね。伊東純也が感動的なパスを見せていた。「ワールドカップでの優勝を狙ってる」と答えていたが、それくらいの意気がないといけませんな。

明日から日本の野球は CS ファーストステージ。セ・リーグは1時からだそうだ。今日はちゃんと寝ておかないと。Carp が床田、Baystars が東。いい試合に成りそう。パ・リーグはナイターで、Marines vs. Hawks。Marines は佐々木朗希が27日振りの登板とか。Hawks はスチュワート・ジュニア。今シーズンは14試合登板で3勝6敗。Marines 有利かな。楽しみ。どちらも NHK BS1 で放送するそうだ。CS の J SPORTS 1 だと Carp 寄りの放送なので、NHK BS 1 を見よう。「探偵ナイトスクープ」が終わったら寝るかな。

とうにゅう？

昨日書いた通り2時40分に職場に着いていればいいので、起きたのは1時過ぎ。昨晩はうっかり「水曜どうでしょう」とか見てしまい夜更かししてしまったので、起きられなかった。カップ焼きそばをすすって、2時くらいに出発。途中腹が痛くなり、コンビニに寄ったのでタイムロス。ウェストウィングの近くに停め、2時40分にエレベーターの前に到着、という感じで、ゼミは5分遅れて開始。整数論のゼミは Z[√m] が U.F.D. であることを仮定して、素数がどう素元分解するかという話。U.F.D. では既約元は素元とか、(a,b)＝(1), (a,c)＝(1) ⇒ (a,bc)＝(1) とか色々よく知ったことを話していたので、あまり真面目に聞かず、この前気に成った京大の院試の解答を完成させた。Q(p^1/3,√(－3))（p は5以上の素数）が Q の S₃ 拡大であることを使ったが、使わない方法もあるかも、と思ったが、まあいいことにする。超越数のゼミは相変わらずごつい。不等式の評価は苦手だ。α が 0 でない代数的数なら e^α は超越数、という定理の証明なのだが、途中で沈没したようだ。アドバイス出来るほど解析には強くないので、頑張ってもらうしかない。この定理の系として e, e^√2, π（＝log(－1)/i）、log 2 などが超越数であることが一気に従ってしまうという凄い定理だ。証明が難しいのも止む無し。こういう定理があっても、なお e＋π と eπ が無理数であることすら証明されていないのは不思議だ。

木曜のゼミの学生は二人いて、どちらも中国人なのだが、日本語は上手。が、色々おかしいこともある。整数論の本を読んでる学生は a と b が合同であることを「a と b が合同する」とか言うし、今日は「a と b が同伴する」とも言ってた。超越数の本を読んでる学生は「証明」と言っているのが全部「しゅうめい」に聞こえるし、今日は「とうにゅう」と言ってたが、どうやら「導入」と言いたいらしい。まあ「投入」でもいいかな、という気もするが。「豆乳」は明らかに変だが。まあそうは言っても、日曜日にやった留学生入試の面接試験の受験生に比べれば卒研生の日本語の方がずっと上手。何年も日本語に浸っていればああなるのかな。

ゼミ後は部屋でさっきの京大の院試を TeX 化したり、「代数学II」の演習問題を考えたり。代数的な元を一つ添加した拡大の構造定理を使わずに Q(√2)＝{a＋b√2｜a,b∈Q} を証明するのはちょっと面倒だが、一回考えた方がいいだろうと思い、出しておく。構造定理を証明すれば自明な事実だ。理解が深まってよかろう。他にも数問考えて、9時過ぎまで職場にいた。出だしが遅いんで、大した時間働いてないが、疲れた。明日はちゃんと起きないといけないので、「アメトーーク！」を見ないで寝ようか、と思ったが、ABCのページを見てみたら面白そうな話題と分かった。録画しておいて寝てもいいが、録画すると中々見ない。寝るか、いやどうするか、もうちょっと考えよう。

「報道ステーション」で昨日の藤井八冠のことをやっていたが、永瀬拓矢氏は痛恨の一手を打ってしまったようだ。AIの予想ではその一手までは永瀬氏の勝つ確率は95％を超えていたが、瞬間に情勢逆転。打った直後にご本人も気付かれたようで、頭を抱えていた。両手を前に合わせて祈ったり。そんなこともあるんやね。勝負は下駄を履くまで分からない、というが、その通りだな。気を付けませう。

学科会議は4時半から8時まで

昔から面倒なことは酔わないとしない。ということでちょっと呑むことにした。まあいつも通りのレモンハイ4缶なので、大して酔わないが。で電子レンジをセット。実家にあるやつは最新式で、ターンテーブルが付いてなく、回らないのでも全方向からマイクロウェーブが当たって温まるのだが、小生のは安いだけあって、古式ゆかしくターンテーブルが付いてた。説明書を見ながらセットして、冷凍食品の買い置きがあったので、温めてみる。うまくいった。嬉しい。でその後粗大ゴミの手続き。今の部屋に来て一度粗大ゴミを出したが、その時は電話で手続したが、今時はインターネットで何でも出来て便利だ、と思ったら、やはり電話はしないといけないらしい。今日やろうと思って忘れていた。明日電話しよう。

で結構変な時間に寝た。学科会議は4時半からなので問題無く起きられたが。4時近くに住処を出た。これくらいの時間だと、電車・バスで行ってた頃はバスは空いていてよかったが、電車が混みだす時間なので鬱陶しかった。車で行くと道路は混んでないはウェストウィングの近くに停められるはで、いいことが多い。まあ一日無駄に成ってしまうが。

で4時半から会議。まず時間割関係でO先生から。すぐ済むかと思ったら、存外時間が掛かった。その後教授、准教授のみで議論。事情通のA堀先生が都合が悪いと言っていたので困ったな、と思ったら、途中無理して来てくれた。よかった。で色々話しているうちにお二方にスイッチが入ってしまい、激論。思想、信条の違い、低回生の講義を担当されているか暫く担当されていないかで意見が真っ二つに成り、相当時間を使った。他の方も色々発言され、現状の大学生の現状がちょっと分かった。オフィスアワーを設けていらっしゃる方は色々切実に感じているようだが、全員がオフィスアワーを設けるのは実質不可能。ゼミを幾つもやっている方、執行部の方、学科長など、皆色々忙しい。表に出せない仕事をしている方もいらっしゃる。皆大変なのだ。激論が済んで、簡単に済みそうな議題をふったら、そんなに簡単なことではないぞ、と意見をいただいた。成程、そりゃそうだ。もう一つ面倒な仕事をしてもらう人を選ばないといけなかったが、あっさり引き受けてくれてよかった。それでも終了は8時過ぎ。こんなに長い会議は久し振りだ。まあそれだけ我々は難しい課題を抱えているということですよ。週2、3コマしか授業をしていないでご気楽な稼業だと思われているが、大変なのです。

この前「和食さと」の前を通り掛かった時、牛タンフェアをやってるのに気付いた。ということで晩飯はさとで。松茸ご飯と牛タン3枚と赤だしで1700円強。高いな。牛タン3枚とローストビーフとご飯に赤だしと、さらに何か付いて1700円くらいのメニューを食べてる最中に発見した。そっちの方がよかったな。まあいいです。

9時半過ぎに帰宅。まだ会議の後始末をしないといけない。明日は2時40分までに職場に行けばいいが、明日起きてからやるか、これからやるか。呑みたい気分ではあるが、やめておこう。やるか。

藤井総太氏が史上初の八冠達成。凄い。後から後から凄い若い人が出てくる。頼もしくていいね。小生も昔の人の研究を上回ることをやってきたが、もう遠い昔のような気がする。もっと頑張らないと。

部屋のライトが切れて、苦労して取り換えた

忙しいと色々余計なことがしたくなる。秘蔵の代数問題集を見てたら、「代数学II」の単位認定レポートの問題を思い付いた。元は某大学の院試の問題で、YouTube で仕入れた。そのままではとても難しい。色々改良してヒントを付けたりして、完成。解答例も作った。この前は鈴木貫太郎氏の動画をヒントにして一題演習問題を作った。YouTube なんてものでも見るもんだな。で夜更かししてしまった。プロレスは流石に見なかったが。

1時から例によって学科長会議。12時55分のアラームで起きた。危ない。色々議題があって、1時間くらいだった。でまだ眠いので、食事をして一寝入り。教授会は4時半だが、4時25分まで寝ていた。危ない。今日は最初の方でちょっと説明しないといけないことがあり、慣例で数理科学科が1番最初なので、遅刻するわけにはいかなかった。よかった。で他学科の先生お二方にちょと面倒を掛けることになるので、理工学部のホームページで顔写真を見て、それからメールアドレスを調べて、丁重にメールを書いた。12月から1月に掛けて色々忙しくなりそうだ。その後投票の必要な件があった。うちも一人教授が増える。いいことだ。で結構長時間の会議だった。

会議の途中に部屋のライトが切れた。この部屋に住んでもう10年経つ。そろそろ切れてもおかしくないね。で外してから色々調べて、ジョーシンに買いに行こうかと思ったんだが、ケーヨーデイツーで買えばいい。ジョーシンは歩いていくにはちと遠いが、ケーヨーデイツーなら歩いて5分くらい。で売り場に行ったら、蛍光灯しか見付からず、困った。小生の部屋のはよく知らんが「シーリングライト」という奴で、蛍光灯ではダメ。うむ、と思って店内を歩くと、シーリングライトが売っているのを見付けた。幾つかあったが、まあアイリスオーヤマの商品なら何でもいいだろう、と適当に見繕ってくる。16000円以上した。高いのね。まあLEDだから10年くらい持つでしょう。これくらいなら安いものかな。で取り付けようとして大苦戦。古いライトを外したが、何やらもう一つ外さないといけないと分かるまでちょっと掛かった。どうやれば外せるか分からず、しばし難渋。外した後はどうやって付けるか分からず、またまた難渋。色々付属の部品があるが、使うんだろうか？と説明書と天井を交互に見て、どうやら部品は不要で、直接付ければいいと分かった。で付けるのにまた大苦戦。普通のコンセントのように刺せば終わりではない。落っこちてくるからね。で差込口が見えないので、勘でやるしかない。矢印が書いてあるが、もっと見易く書いてくれないと。でどうやら出来たっぽいので、壁にあるボタンを押したら点いた。素晴らしい。何だかんだで大分掛かった。前は寝床とリビングはリモコンが共通で、寝床で同時に消せたが、今度は分けないといけない。まあ普段は壁のボタンで点けたり消したりするので、リモコンは寝床に置いておこう。で案外ものは大きく、段ボールがデカい。昨日切れたら今日の資源ゴミで段ボールを出せたが、2週間待たないと捨てられない。仕方ないから使ってない部屋に放り込んでおいた。前のライトもデカく、粗大ゴミで出さないといけないだろう。電子レンジとシーリングライトを粗大ゴミで出す手続きをしよう、と思ったが、面倒臭い。やる気が起きないので、パソコンでずーっとゲームをしていた。これから手続き方法を調べる。

電気がついて明るくなってから明日の学科会議の案内メールを出した。W先生の議題は教授、准教授だけで出来そうなのでそうしようかと思ったら、O先生が助教の先生も招集してくれと言ってきたので、全員に召集を掛けた。まあ職場に行かなくても Zoom で参加すればいいからいいでしょう。昔は4時半からの会議だけのために行かないといけなかったし、行ったはいいけど30分で会議終了、という馬鹿臭いことがしょっちゅうだった。F本先生が毎週のように会議を開催したら、石井先生が若い先生の研究時間をしょっちゅう削るのは忍びない、事務に折衝して締め切りを遅らせてもらって、会議の回数を減らしましょう、と提案していた。ごもっとも。O先生が学科長の時も毎週のように会議だったが、あの時は石井先生は忙し過ぎて学科会議には殆どいらっしゃらなかった。大学は忙しい人はとことん忙しく、そうでない人は暇を持て余すということが多い。もっと学科のスタッフを増やしてもらって、業務は皆で均等にやるようにして欲しい。

色々やっていて、パ・リーグの最終戦のことを忘れていた。Eagles vs. Marines で、勝った方がAクラス、負ければBクラスという世紀の1戦。1回裏に Eagles が1アウト満塁のチャンスを作るも、岡島が併殺打で無得点。すぐ2回表に Marines が岡のタイムリーヒットで先制。4回表に安田にホームランが出て、Maries が追加点。7回表に荻野がタイムリー内野安打、8回表に佐藤都志也が2点タイムリー2ベースで5－0と成り勝負あり。小島（おじま）が10勝目。去年は防御率3.14も3勝11敗と不運なシーズンだったが、今年は良かった。これで Marines が2位、Hawks が3位。Marines は CS を本拠地で開催出来る。ウグイス嬢の谷保（たにほ）さんが今年でやめることに成っていて、シーズン終了で引退かというところだったが、これでもう最低2試合出来る。CS を勝ち上がれば日本シリーズも出来る。谷保さんのためにも頑張って欲しいという気はするが、小生パ・リーグは Buffaloes 推しなので、複雑。Marines の吉井監督は近鉄OBだし、応援したい気もする。まあ Baystars が日本シリーズに行けば、応援は Baystars 一択なので、そう成ってください。取り敢えず数日平和に過ごせる。いや、明日学科会議で、明後日はゼミで、金曜日は「代数学II」。今週はちゃんとやらないと。

さ、粗大ゴミだ。

10月8日が Baystars の優勝記念日というのを忘れていた

昨晩寝る前にスマホをいじっていたら、あー、そうか、と思い出さされたことがあった。10月8日は横浜 Baystars が38年振りのリーグ優勝をした日。頭の中は留学生入試に遅れてはいけないぞ、というので一杯に成っていて、すっかり忘れていた。日本一に成った日は母親の60回目の誕生日だったので、10月26日とよく覚えていたんだが、リーグ優勝のことは思い出したことがあまり無いな。まあだけどよく覚えている。木曜日だった。何故分かるかと言うと、今も連綿と続いている「早稲田整数論セミナー」、通称「金曜セミナー」で10月9日に小生が喋る番だったから。部屋でラジオを聴きながら準備をしていたら、「横浜スタジアムでパブリックビューイングします。入場無料！」と聞こえてきて、もうセミナーの準備どころではなくなった。まあほぼ出来ていたので、そんなに無責任ではない。で1塁側スタンドの程々の所でバックスクリーンに映し出される甲子園球場の様子を見ていた。負けていたので、つまんねえな、今日は無駄足か、と思ったら、進藤が逆転打を打って、大魔神佐々木が新庄を空振り三振に切って取り、優勝。一瞬記憶が飛んだ。近くにいた人がハイタッチしてきた。その人も小生同様連れがいなかったようなので、誰でもいいから喜び合いたかったのだろう。玉置宏さんが登場して、その後遠藤一彦氏が登場。お二人とも泣いておられた。あの感動を今年こそは、と思ったが、残念だった。が、今のレギュレーションではまだ日本シリーズ優勝があるのだ。頑張ってもらおう。

その後地下鉄で帰ると混むだろうし、根岸線で横浜駅に向かうのも混みそう。当時はまだみなとみらい線が通ってなかったので、日本大通り駅という選択肢は当然無し。ということで、いい陽気だったので、京急の日ノ出町駅まで歩くことにした。1kmくらいだからね。街中はご陽気な人々で溢れ、信号待ちをしているタクシーの運転手が顔を出して、「何、優勝決まったの？」と聞かれた。楽しい思い出だ。その後呑まずに寝て、次の日にセミナーの準備の続き。大学に行って資料をプリントアウトしてコピーして、無事セミナーは済んだ。配った資料の日付に「前日横浜 Baystars が優勝」とコメントを付けた。その資料は最早存在しない。残念だ。

今日は11時30分過ぎに起きた。10時半に最初のアラームを鳴るようにしてあるが、最早それでは起きなくなった。で念のため12時にも鳴らすようにしておいた。そのアラームを止めた後職場に向けて出発。今日は祝日なので、高速道路は440円。車をウェストウィングの近くに停められるのでよい。屋外での弁当販売は無かったが、生協もさほど混んでおらず、唐揚げ弁当を買って、個研室でお茶で流し込んだ。

1時から「数理科学特論2」。まず有理数体の p 進付値を定義して、その後付値の簡単な性質をやって、収束とかコーシー列とか完備とか定義。完備化の定義をして、実数体が有理数体の通常の絶対値に関する完備化であるという例を挙げて、最後に付値を持つ任意の体の完備化が本質的に一つ存在することの主張を書いたら丁度時間。来週は証明から始められる。よかった。今日は祝日だからなのかそれとも1回で諦めたか、出席人数は少な目。来週は定理の主張を書くというサービス精神旺盛なことをすれば親切だが、小生そこまで優しくない。証明から始める。manba+R に今日の講義ノートは置いたしいいでしょ、ということで。

講義ノートを直して、とかやろうという段に成って、TeX の proof 環境のことを知りたくなったので Google 先生に聞いてみた。前に proof 環境の頭のイタリック体の「Proof.」をゴシック体の「証明.」に直す方法を見付けたのだが、それだと \qedhere 命令が無効に成ってしまうようで、泣く泣く諦めていたが、今日調べたら両立出来ることを書いてくれている人がいた。嬉しい。直して、ついでに「代数学II」のノートの方も直した。「線形代数学」はもう来年度は担当しないのでいいや、ということにして等、色々やっているうちに4時を過ぎてしまった。

4時20分からゼミ。今日はまず有限階数の自由アーベル群の部分群はまた自由アーベル群で、階数は親玉以下、ということの証明からなのだが、何かおかしい。こんなご気楽に証明出来るわけない。一旦ペンディングすることして、次の問題。有界領域の体積を求める問題が幾つか。重積分をすっかり忘れてしまっていて、学生の説明を聞いても分からない。突っ込むと答えられない。またか。進歩無いね。本を信じちゃいけない、分かった気に成って進んじゃいけない、等、しつこいと思うかも知れないが繰り返した。試験やレポートなら適当に書いても、採点者が騙されてくれたり見過ごしてくれるかもしれないが、セミナーではそうは行かない。そもそも勘違いしているのが、説明は小生にするのではなく、参加者全員にするのだ。全員が分かってくれない説明は価値無し。で選手交代だったが、2番手の学生はいて、準備も出来ているが、何やら寒気がして調子が悪いので、来週にしてください、とのこと。ここの所の気温の急降下で体調を崩す人は多いだろう。お大事に。

で早目に終わったので、個研室で上に書いた自由アーベル群のことを調べようかと。適当な本を当たれば出ている、とは思ったが、折角だから T 教授が web に上げている「代数学序論」の講義ノートを見てみた。やっぱり大変だよな、とわかったが、それを理解する前の段階が色々面白くて、肝心な定理の証明には掛かれなかった。Torsion-free だが自由でないアーベル群の例とか上がっていた。知らないことが多いね。何じゃかじゃと9時近くまで勉強していた。

昼は冷めた唐揚げだったので、ガストでから好しの唐揚げを食べることにした。出来立て熱々で、ちょっと口の中を火傷したっぽい。まあ美味しかったのでいいです。

明日は月に2回の資源ゴミの日。電子レンジを買ってきたまままだ箱を開けてない。段ボールを出すには開けないと。前の電子レンジを粗大ごみで出す手続きをするのが面倒だな。明日教授会が終わったらやるか。

もうセ・リーグは全日程終了してるが、パ・リーグはまだやってる。今日 Hawks が Buffaloes に勝ったら2位確定だったそうだが、負けたようだ。Buffaleos の曽谷がプロ初勝利。今日3イニング放ると来年の新人王の権利が無くなってしまうので、早目に引っ込めるのでは？という声があったが、そんなのより一日でも早いプロ初勝利の方がいいでしょう。Marines と Eagles の3位争いは雨で延期。明日やるようだ。どうなるでしょうね。Hawks の近藤が26号ホームランを打ち、ポランコ、浅村に並んだ。ホームラン王も明日決まる。26本でホームラン王は寂しい。最低でも35本くらい打って欲しいね。もう無理だけど。両リーグとも3割打者は殆どいないし、投手優位の時代なのかな。

留学生入試（前期）は無事終了

その後バレーボールはスロベニアに勝った。オリンピック出場権獲得。素晴らしい。前のオリンピックでは1勝も出来なかったそうだ。今度は頑張ってくれ。で適当に寝よう、と思ったが、ついチャンネルをガチャガチャと変えてしまった。今時はガチャガチャ言わないか。するとアジア大会の男子サッカー決勝が放送されていた。開始早々1点取ったようだ。でここでサッカーのことをブログに書こうと思わなかったのが失敗。昨日書いた通り、途中経過を書いて結果を書かなければ勝つ、というジンクスだったのに。案の定韓国に逆転されてしまった。そのまま負けて、準優勝。韓国は優勝すると兵役免除だそうだから、選手の必死さが違うだろう。それと、日本は22歳以下の経験不足のメンバー、韓国は24歳以下のメンバーにオーバーエイジ枠を使って強いチームにしてきた。その差かな。などとしているうちに11時を過ぎてしまった。7時台には起きたいので、その後すぐ寝た。

で7時に仕掛けてあるアラームは全く気付かなかった。7時半のアラームで起きる。買っておいたカップ飯を食べて、それからシャワーを浴びて、余裕で間に合う、と成る筈が、つい「サンデーライブ」のスポーツコーナーを見てしまった。大谷の今シーズンを振り返っていたり、田中マー君と佐々木朗希の対談とか、面白かったので。8時くらいにシャワーを浴びる準備をして、浴びて、8時半前に荷物の片付けを始めて、8時35分くらいにチェックアウト。

集合場所に着いたのは8時45分丁度くらい。まあ大体こういうのは多少のマージンが取ってあり、小生より後に来た人が数名いた。今日は留学生入試の面接。形式的な面接を少々。皆立派に書類を日本語で書いているが、自分で書いたんだろうか？一緒に面接やった先生は Chat－GTP にやらせたのでは？と言っていた。研究者でも科研費などの申請書類を書くのに使う人がいるそうだから、そうなのかも。数学的な内容はまだまだ信用出来ない解答を返してくるので、学生さんはレポートの解答作りに使おうなどと思わないように。機械翻訳か、と思った理由は「数値分析」というフレーズがあったから。恐らく「数値解析」だと思われる。それと女性が「僕」という一人称を使っていた。まああのちゃんの例もあるから、突っ込まなかったけど。でそれからそんなに難しくない問題を解いてもらう。∫sin x cos x dx を求めないといけない問題があったが、∫sin x d(sin x) とかやる学生が複数いてびっくり。微分形式習ったか？他の部屋でもいたそうだから、留学生に数学を教える塾のようなところでそう教えているのか、それとも YouTube か何かでそう解説しているのだろうか？「線形代数学」のレポートに参考文献として「兎でも分かる線形代数」という web ページを複数の学生が上げていたが、教員の知らない所でこういうのは発展しているんだな。「ヨビノリたくみ」という YouTuber を数年前に知ったが、ついに東京図書から氏の書いた本が出たようだ。こういう安易なのばかりに頼って、自分で考える習慣を忘れちゃいけませんぜ。マニュアル頼りだと自分で判断しなくてはいけない場面で呆然としてしまうぜ。終了して集合場所へ戻って、同僚と大事な話だったりそうでもない話だったりを少々。「十禅の里」が閉店した、というのを聞いてびっくりした。確かに最近看板が点いてないな、と思っていたのだが。もう4年も前に閉めたそうだ。知らなかった。5時くらいに解放された。

昨日はま寿司へ行けなかったので、敵討ちということで行った。今日は5時半前だったので、停める所はあった。が、中に入ると受付待ちの客がウジャウジャ。が、皆テーブル席の順番を待っている人のようで、カウンター席はすいていた。まず大トロを食べて、その後色々。1300円ちょっと。もう一つ二つ食べてもよかったな。サンマがあったら食べてたんだが、無かったので。サンマはもう高級魚だ。

国道1号は混んでるだろう時間だから、高速道路で。今日は日曜だ、そんなに混んでないだろう、と思ったら、草津JCTと瀬田東JCTの間が事故により1km渋滞しているという情報。渋滞は新名神にまで及んでいて、中々合流に難渋した。1番左の車線は瀬田東インター、京滋バイパス方面なので、早目に二つ目の車線に移った。が、その車線も瀬田東JCTを過ぎるとすぐ無くなるので、もう一つ右の車線に移りたいが、中々ままならない。車列が切れない。が、事故のポイントを過ぎたらスーッと流れ出したので、車線変更出来た。見ると瀬田東JCTまでまだちょっとあった。名神に合流してから瀬田東JCTなんてあっと言う間だと思っていたが、案外距離あるんだな。三条通も大した渋滞は無く、マンションの敷地にもすぐ入れて、6時ちょいには部屋に入れた。疲れた。

その後ちょっと書き物。20代からやっていたことが一つ完結した。途中何度か危機はあったが、まあよかった。何だって？いや、自分が変質者であることを明かすことはないでしょう、ということで秘密。

7時からニュースを見ていた。世界では紛争だったり地震だったり色々あるようだ。ウクライナ戦争はまだ続いてるし。忙しいと世事に疎くなるな。うちの事務の人は大丈夫だろうか？何だか何でも田中さんがやっている気がするが。事務からは沖原さんと田井中さんからしょっちゅうメールが来るし。残業、祝日返上ということは随分あるのでは？と気の毒に成ってしまう。などとしてたら田中さんから今日の業務は問題無く終了、というお礼のメールが来ていた。昔はこんなもの来なかったが。事務長は全部関わってるのか。大変だな。今の事務長の工藤さんは小生がこっちに来た頃に理工事務にいた人だが、見ると大分お歳だ。まあ実際に歳を取られたのだろうし、気苦労のせいもあるだろう。明日は休みですかね。ゆっくりしてください。小生は講義とゼミがあるので、普通に出勤。火曜日は学科長会議と教授会。教授会ではちょっと発言しないといけないことがある。水曜日は W 先生のリクエストで会議やるし、木曜日はゼミ、金曜日は今度こそ「代数学II」の2回目をやる。ということで今週は突っ走ります。

前から疑問なのだが、FEP、って言っても何のことか分からない人が多いか、まあ変換ソフトとその辞書の話だが、一体幾つ単語が登録されているんだろう？人名でもよくあるものの他に、こんな苗字の人いるの？というような苗字が入っていたり。前に同業者が呑みの席で「パソコン買ったらまず自分の姓を登録しますよね」と盛り上がっていた。小生は昔はそうだったが、今は姓も名も最初から入っている。嬉しい。専門用語は結構貧弱なのでバカバカ登録してるが、まあ数学だから仕方ない。メジャーな分野、というのがあるかどうか知らないが、そういう分野はいいな。わざと変な文章を書いたりして、変な単語をバカスカ変換させたろ。

と書きながら男子バレーを見てるが、アメリカに1セット取られた後2セット目は逆転で取り返した。ただいま第3セットで8－8という状況。アメリカに勝てると格好いい。頑張れ。ジンクス通りなら勝つ。

などと書いて1時間ちょい。負けた。まあアメリカ相手にフルセットまで持ち込んで、一旦はアメリカを焦らせた。日本はアメリカにも背の高いチームにも互角で戦えるように成ってきたことは証明した。オリンピックで頑張れ。

などと書いているが、ラグビーがやってるな。今日は何故かラジオでしか放送が無いようだ。まあNHK総合はこれ以上大河ドラマを潰せないので仕方ないとして、せめてBSででもやって欲しかったが。これから「サンデースポーツ」が始まる。楽しみにしよう。

などと書いてしばし。アルゼンチン相手に結構いい線いったようだが、39－27と惜しい負け。決勝トーナメント進出ならず。残念でした。

エポックに泊まっている

調子は大分戻った。明日は留学生入試で8時45分集合ととんでもないことを言われているので、エポックに泊まることにした。で5時半過ぎに住処を出た。はま寿司で鮪の大トロを食べるつもりだったが、土曜日の6時のはま寿司を舐めてた。駐車場に停める所が無い。仕方ないのでそのままはま寿司を後にして、さてどうしよう、と思ったが、海鮮の舌に成っていたので、松のやでアジフライかカキフライかエビフライか、ということにした。で自販機の画面を見ると、何とこの3つが一皿に乗ってる定食があった。迷わずこれにする。美味しかった。

で7時過ぎにエポックへ。一泊分の3000円を渡して領収書を受け取る。すると「加川貴幸様」と書いてある。ワシは「貴章」だと言っておろうが。顔を見ると2月にカウンターにいた人だ。直させたんだが。「章」と「幸」って雑に書くと判読がつかない。ちゃんと書いておかなかった小生の責任だな。まあ領収書を特に何かに使うことは無いので、今回はいいことにする。

部屋に入ってテレビを付けて、チャンネルを回していたら世界の盗塁王・福本豊が出ている。掛布と対談するようで、面白そうなので見た。KBS京都でやっていたが、製作は「サンテレビ」と成っていた。関西にいてこんな番組ばっかり見てたら、そりゃ Tigers ファンにも成るだろう。でパソコンで Blu-ray でも見ようかと思ったら、バレーボールがやっているのに気付いてしまった。スロベニア戦で、1セット目5点負けてるという状況。3セットストレートで取ればオリンピック決定、と画面に出てた。ということは駄目か。まあ結果が分かるまで見よう、と思って見ていたら何と逆転した。只今第2セットで日本が8－10でリードされている。この前の女子サッカーも途中経過を書いたら勝ったので、今日もジンクスということで書いておいて、ちょっと別のことをする。結果は後程。

明日は上に書いた通り早いので、10時過ぎには寝よう。今回は Bru-lay は無し。

風邪のため「代数学II」は休講

夜中に目が覚めて、何やら調子がよろしくない。熱っぽいし、だるいし。まあ中途半端に目が覚めたからだろう、と思ったが、一応風邪薬を飲んでおく。飲んだ薬は眠くなる成分が入っているのか、よく眠れたが、寝過ぎた。2回目でいきなり休講。うーん。目覚ましは何重にも仕掛けてあったが、聞いた記憶が無い。眠くなる成分のせいか？自然休講というやつに成ってしまった。教室で待っていた学生さん、申し訳ない。昨日書いた通り、休講したらどこか土曜日で1回補講しないといけない。金曜日の講義が二日続くのか。まあ仕方ない。薬の副作用による眠さは抗しがたい。仕方ないです。はい。

でまだ何か調子がよくない。この前まで生命に関わる暑さ、とか言ってたが、急に涼しくなってきて、未だにTシャツでいるのが風邪の原因か。明後日は大事な用事があるし、月曜日は祝日なのに平常営業。明日中に治しておかないと。今日は早寝だ。これからアジアカップの女子サッカー決勝が行われるが、結果だけ見たら寝るか。いや、金曜日だな「探偵ナイトスクープ」を見ないと。「座王」はもう録画予約したからよし。まあ1時前には寝よう。

などと書いてるうちにサッカーが始まった。北朝鮮に押し込まれていたが、一瞬の隙をついて日本が先制。よしよし。

暑くなくなってきたので、久々にラーメン屋へ

「これ余談なんですけど」は面白かった。昨日は関根勤が出ていた。前に伊集院光が出た時も目茶目茶面白かった。ゲストによっては見る気が湧かない時もあるが。でその後書き物をしたり調べ物をしていたら、何やら妙なアニメが始まった。現代の若い女性が1992年にタイムリープ（今時はタイムスリップと言わないようだ）した、という設定だが、ゲームを作っている会社のパソコンが笑えた。5インチのフロッピーディスクが2枚入るように成っていて、DOS がどうしたとか 98 がどうしたとか話していた。懐かしい。面白そうだ。昨日が初回のようだし、これから毎回見ることにした。木曜日は2時40分までに職場に行けばいいので、そんなに早寝しないでよい。まあ無理なら録画するが。

で上に書いた通り2時40分までに職場に着けばいい。で大分寝坊してしまった。12時から何度もアラームを鳴らしているが、起きたら1時半くらい。シャワーを浴びて、急いで出勤。職場に着いたのは2時半くらい。お分かりの通り食事をしていない。弁当を食べる時間は無いので、生協でサンドイッチとコーヒーを買って流し込む。木曜日は卒研ゼミ。整数論のゼミは2次体の章に入った。4を法として1と合同な素数が二つの平方数の和であることは後で示す、と書いてあるのに、何故か Silverman の Freindly introduction を見て証明を勉強してきていた。まあいいけど。彼は毎回例をガッツリ省略するが、いいんだろうか？という気がする。留学生なので、注意するならうまく言葉を選ばないといけないので、面倒なので突っ込まないでおく。超越数のゼミはもはや何だか分かっていない。スターリングの公式を使ったが、証明してくれた。勉強したことなかったが、案外簡単なのでビックリした。勉強に成った。5時半くらいに終了。

それからゼミ中に思い付いた演習問題を TeX 化したりして、8時過ぎまで職場にいた。遅く行ったので、車をウェストウィングの近くに停められたのでよかった。昼間は凄い風だったが、夜には収まっていて、まだ寒いというほどではなかった。まあ暑くないので、久々にラーメンでも食べよう、ということにした。來來亭でも天下一品でもよかったが、今日はちゃんぽん亭にした。肉食が続いているので、野菜たっぷりのやつにして、餃子も食べた。9時半過ぎに帰ってきて、昨日の「笑わない数学」を見た。非ユークリッド幾何の話。いまいち深みが足りない気がした。まあ30分番組で、非専門家を対象にするとあれくらいかな。深く知りたい人は足立恒雄「よみがえる非ユークリッド幾何」という本が日本評論社から出ているので、是非。もっとお話し的な方がいいなら、ブルーバックスから出てるな。著者もタイトルも忘れたが、まあ調べてください。

その後幾つかダビングして、その間に別の番組を見たり。「報道ステーション」でニュースを見るくらいしかソースが無いので、大分世事に疎く成ってる。今日は伊豆の方で地震があったり、北海道は凄い雨だったりしたようだ。京大の吉田寮の裁判の話もしていた。東大にも寮があったらしいが、早稲田の5年くらい後輩が東大の大学院に進学後、その寮のことで大学と揉めて、その急先鋒だったようだ。A堀先生も彼のことを知ってた。今はどう成ったのだろうか？東大なんて随分行ってないな。先月伊原康隆先生が名誉ある賞を受賞して、その賞を受賞した先生方が話をするのが東大であった筈だが、色々忙しくて忘れていた。京大の集会には伊原先生は毎年いらしているらしいが、こっちが行ってないんで、随分ご尊顔を拝していない。昔は無理やりでも京大に行っていたが、かえって近くにいると行かなくなる。休講したら必ず補講、というルールがあり、補講は土曜日、と成ると休講したくなる。最新の話題を仕入れないと色々支障があるのだが…。まあいいです。今年は金沢の集会はあるのだろうか？来年から金沢に行くのが大変に成るので、今年行けるなら行きたいが。別口の金沢の集会の案内が来ていたが、またぞろコロナが流行り始めていて、懇親会はやらない、と書いてあったが。平林先生が「みんな宴会を楽しみで来るんやろ？」と仰っていたが、宴会無しなら行かないかもな。予算には余裕がある。案内が来たら考えよう。

最終戦で負けて、2位成らず

昨日書いた通り、夜中は呑みながらダラダラと過ごした。昨日の「座王」を見て、4月にやった「座王」を見直して、ダビングして、とかやってたら、何やらABCで男子体操がやってる。金メダル獲れるかも、と言っていたので見た。難しいことは分からないが見事で、ちゃんと金メダル獲った。少し前にオリンピックで金メダルを獲ったが、その後少し低迷していたようだ。よかったね。

などと思っているうちに寝た。テレビは付けっ放しだったようで（ようで、とか言う辺りがいけないところ）、眠りは浅かったが、ケーブルテレビのチューナーが自動オフに成って、静かに成った。そこからは少しちゃんと寝られた。

6時から野球。職場に行かなかったので、最初から見られる。今日 Giants に勝てば2位、引き分けか負けで3位。応援するしかない。1回表に先頭の林がヒットで出塁するも、この後悪夢が待っている。2回裏ノーアウト1、2塁のピンチをダブルプレーで逃れたと思ったら、吉川にタイムリーヒットを許してしまう。まあ1点だし、東だし、と思っていたのだが…。Giants のピッチャーは Baystars が苦手にしている山崎伊織。Baystars が緊張しているのか、それとも勝てば10勝の山崎の気合が凄いのか、2回から8回までランナーを一切出せない。東も点を取られず、0－1 で9回表。代打楠本がヒットで久々のランナー。代打柴田のバントを山崎がお手玉し、ノーアウト1、2塁。林のバントで謎が。2塁ランナーの楠本が途中で立ち止まってしまい、3塁アウト。続く関根はファールフライ。で大田の所で代打藤田。去年の CS は藤田で終わったので、嫌な予感が。これが当たってしまい、藤田は三振でゲームセット。2位成らず。うーん、まあ仕方ない。マツダスタジアムで Carp に勝ちましょう。

と強気なことを書いているが、正直ショックは隠せなかった。やる気が起きないので、寝床に入ってスマホをいじっていた。Baystars 応援板は見ないつもりだったが、つい見てしまった。大田に代打藤田、に色々言っているファンがいた。「温情采配」とか書いてる人もいた。どうなのかはよく分からないが。が、一つ朗報が。Tigers が負けた、と。Tigers の先発の大竹が勝ち投手に成ると、最高勝率のタイトルの必要条件である13勝に成り、東が負けると最高勝率は大竹に成るところだったが、大竹は12勝止まりのため、最高勝率のタイトルは東が獲得。よかった。16勝3敗という驚異の成績だが、3敗が全て Giants 相手だそうだ。とすると、今日は最初から勝負ありだったのだな。最多安打も興味があったが、岡林は昨日ノーヒットで全日程終了で、1本足らず。牧と中野は今日共にノーヒットで、最多安打は牧と中野が分けあった。打点王は牧。103打点。残念ながら30ホームランには1本届かなかったが、まあよかった。来年はもっと打ってください。

「笑わない数学」を今やっているが、「これ余談なんですけど」が面白そうなので、そっちを見ている。「笑わない数学」は録画中。月、火と11時からCSで「緊急取調室」がやってたが、今日は無いのか？と思って番組表を見たら、毎週月、火だけのようだ。どっちも録画出来るのでよかった。第1シリーズをもう1回再放送してくれないかな？1回目だけ録画し損ねてるので。まあNHKオンデマンドでいつでも見られるし、実際それで見たからいいと言えばいいのだが。やはり人間が古く、何でも録画しておかないと気が済まない性分。VHSのテープが部屋で唸っているが、見る暇がない。デッキはあるのかって？うん、ある。今の所に引っ越してすぐ「開口」のマスターが浜田省吾がNHKに出た時のテープを貸してくれて、VHSとDVD両方使える機械でダビングしようとしたんだが、トラブルでテープが出なくなってしまい、ジョーシンに持ち込んで出してもらって、でその機械はもう駄目なので、新たにデッキを買った。で Baystars が98年に優勝した時に売り出した「Got the Flag」というビデオを DVD に焼いた。何度見ても感動的だ。来年は是非新しいのを売り出せるようにしてください。

教授たるものしっかり研究しないと

昨日書いたように学科長会議を職場で参加しないといけないので、11時45分くらいに職場へ向かう。正直セメスター初めの12時20分を舐めてた。外で売ってる弁当は売り切れ、キッチンカーには長蛇の列、学食も長蛇の列、生協の売店は大混雑。大変だ。まあそんなに待たずに温かい弁当を買うことは出来た。月曜日と金曜日は講義が1時からだが、食事は2時半に講義が終わってからにした方がいいかも。

1時から学科長会議。結構面倒な話があって、2時に成っても終わらない。次の会議は2時からと案内があったと思うが。2時10分過ぎに終了して、次の会議は2時20分からにしましょう、ということで。コアステーションの3階の会議室が会場。2階の大会議室での会議は暫くやってないな。いつ行ったかな？と考えてみたら、西園寺記念奨学金の表彰式が大会議室でだった。会議資料は結構分厚く、時間が掛かりそう。そうか、この件は毎年この時期にこんな感じで行われていたか、と知ることが出来た。先生方の名前や生年月日が書かれた書類があって、色々な先生の歳を知ることが出来た。あの先生は若く見えるが、小生より年上であったか、と。髪の毛が黒くて多いだけでも違うが、更に童顔だからね。うちの学科の人も一人当該の人物だったが、あの人はもうこんな歳なのか、とちょっとびっくり。まあそりゃそうで、来て20年くらい経ってるね。一人問題児がいて、学部長が結構きつく言っていた。大学教授たるものこうではあかんな、と思い知った。学科長だなんだと怠けていてはいけない。まあ大体、何でも一時はそう思うんだが、続かない。人間なんてそんなもんだな。3時半近くに終了。長かった。

個研室に戻って色々やろう、と思ったのだが、やはり怠けてしまった。会議資料を復習して、学科会議をやるかやらないかを通達しないといけなかったが、資料を読むのが面倒。何書いてるか分からないし。もっと学科長会議の最中に真面目に聞いて、質問しておくべきだったな。まあ明日はやらないことにしたが、近いうちに一度やらないといけないだろう。

でダラダラと9時近くまで職場にいた。道路と飯屋の混雑が収まるのを待ったというだけのことで、本当に大したことをしていない。いけないな。松のやでカキフライ7個定食を食べてくる。大して混んでなかった。帰りは下道で。もうこれくらいの時間に成ると大して混まない。今日は普通なら行かない火曜日で、高速道路で行ったので580円払った。帰りは無料にしないと。

今日は「座王」のスペシャルがあって、「緊急取調室」の昔の奴がCSで始まる。明日は「科捜研の女」の最終回で、その後NHKで「笑わない数学」の第2シリーズがスタート。色々見ないといけないので、昨日は「過ぎるTV」を見ないで大河ドラマを見た。小田原攻めはあっと言う間に終了。まあ所謂「一夜城」の話もあったし、織田信雄が領地替えを断り改易されるという話もあった。秀吉の最初の子供が生まれたと思ったらエンディング前にもう死んでしまったりと、かなり駆け足。家康は江戸に移って、三河勢は関東各地に大して不平も言わず散っていって、と思ったらもう所謂「唐入り」の話になった。この調子じゃ朝鮮遠征は1回か2回で終わりだろう。関ヶ原も大坂の陣もまだある。2か月くらいでこれだけ詰め込むのは大変だろう。真田昌幸に佐藤浩市というビッグネームを使った以上、秀忠が真田に痛い目にあわされ、関ヶ原に間に合わない、という話をやらないわけにいかないだろう。大忙しに成るね。

上で怠けてはいけないと書いたそばからテレビを見る話を書いてる。この後の「相席食堂」にG.G.佐藤が出るそうだ。G.G.佐藤と言えば、大舞台でやらかしたので有名。もう一人、サッカーのゴールキーパーの人が出るそうだが、この人もそうらしい。面白そうなので見る。10月8日（日）は仕事で、9日（祝日）は講義とゼミ。ということで明日は休みにする。今晩はこれから少々呑む予定。人間中々心を入れ替えるのは難しいね。

大谷翔平 MLB でホームラン王に

今朝は中々起きられなかった。10時半のアラームも11時のアラームも全てスルー。11時45分くらいに漸く起きた。シャワーを浴びて、12時20分くらいに住処を出る。トラブルが無ければ間に合う時間。来週からはもう少し早起きしよう。

職場には12時50分くらいに着いた。飯を食う時間は無く、空腹で講義室へ。月曜日は院生向け「数理科学特論2」。院生向けの「数理科学特論n」は沢山開講されていて、奇数年は n が偶数、偶数年は n が奇数と、何だか分からないことに成ってる。昔は「代数学特論」とか「幾何学特論」とか成ってて、代数、解析、幾何で偶数だったり奇数だったりと、もっと訳が分からなかったのだが。で「数理科学特論2」は p 進数をやることにしている。まず「p 進数とは実数の p 進表示のことではない」とかます。10 を A、11 を B、…、とするのを「16進数」と言ったりするが、これはあくまでも実数を違う表記したもの。p 進数は全く違う数。取り敢えず p 進整数を形式的冪級数で定義して、p 進数はその商で定義。で色々やるとローラン級数であることが分かったりとか、そんな話をした。でハッセ－ミンコフスキーの定理というものがあって、とか紹介。半期の科目ではとても証明出来ないのが残念。で最後に付値を定義して、複素数体の通常の絶対値と任意の体上の自明な付値を定義したら時間。来週は付値の基本的な性質をやって、完備化とかやる予定。

院生とは月曜日にゼミをやることにしたが、TAをやったりする関係で1コマ空くことになった。食事をして、講義中に何か変だと思ったことを確認したりとかダラダラと。ゼミは4時20分から。春学期にキリのいい所までやっておいたので、今日から新しい章。Rⁿ に内積を入れてノルムを定義して、それで開球を定義したりとか。で色々位相的な議論。相変わらず未消化でゼミに臨んでいて、しょっちゅう止めた。夏休みにメールで質問が来ていたが、そこもちゃんと消化出来ておらず、怪しいことこの上ない。内積についても色々分かっていなかったり。こんな進め方をいつまでする積りなんだろう。何遍言ったかわからないが、とにかく行間を読んでくるようしつこく言った。数学って一つ一つ謎解きをしながら進むのが楽しいと思うんだが、そうじゃないんだろうか？教員が気付きませんように、と誤魔化しながら進むのは数学の勉強ではない。修士課程の内にオリジナルな研究をするのは整数論では難しい。だから、大学院を出たというアイデンティティーは、数学の勉強の仕方を身に着けたということなのだと思うが。今日の学生は去年教育実習に行っていたから教員志望なのかもしれないが、だからこそ余計しっかりやって欲しい。時間は7時半まで取ってあるが、途中で予習が尽きたらしく、6時50分くらいに終了。来週はちゃんとやってください。

その後ダラダラと過ごして、8時過ぎまで職場にいた。前は疲れているとすき家によって「トリプルニンニク牛丼」を食べるというのがパターンだったが、新メニューでは無くなってしまっていて、食べられない。で気付いた。ココ壱でカキフライカレーが出ているシーズンだ。というわけで向かう。案の定あった。食べてきた。待っている間に読むものは、一昨日「義経」は読み終わったので、今日から「覇王の家」にした。家康ものだし、大河ドラマとリンクしていていいだろう、ということで。

10時前に帰宅。「報道ステーション」ではジャニーズ関係のニュースをやっている。まあよく分からないが、ちゃんとやってくれると期待するしかない。今はノーベル賞のニュース。メッセンジャー RNA のワクチンを開発した人がもらったらしい。研究がすぐ役に立って、説明出来るのはいいね。数学の話をすると必ず「それ何の役に立つの？」と聞かれる。すぐ役に立つことをやらないのが数学のいい所なのだが。楕円曲線を勉強し始めた頃は暗号に使われるなんて思いもしなかったが。「準同型暗号」というのを聞いた時は感激した。我慢して勉強するといいことがあるかも。高校の時は数学が得意だった学生が、大学に入ると途端に分からなくなり、「こんなもの何のためにやってるか分からん」、「こんなものは役に立たない」と言って勉強しなくなる。数学をやった人は凄く我慢強くなるから、後々何でも出来る、という意見はよく聞く。辛抱強くやりましょう。

大谷がホームラン王に成った。素晴らしい。ポストシーズンには前田健太、菊池雄星、藤浪のいるチームが進んだとか。日本人も世界に通じる様に成ってきたね。山本由伸が16勝目を上げたようだ。来年はアメリカに行くのだろう。いや、それより気に成るのが目先の沢村賞。東が16勝を上げているが、どっちが選ばれるだろう？水曜日の先発は東らしいが、CS 本拠地開催を決めて17勝、と成ったら東が選ばれる気がするが。Buffaloes は残り試合がまだあるから、もう1試合投げるかな？

明日は学科長会議が1時からで、2時から別の会議を対面でやると案内が来ていた。ということは学科長会議の前に職場に行かないといけない。面倒だな。水曜日に会議をやることに成ったら、月～金、毎日行かないといけない。水曜日は会議をやらないことにしたいが、明日の学科長会議次第。うまくいきますように。

大貫がマダックスで、CS横浜スタジアム開催に王手

昨日は2時にトヨタへ。定期点検。担当の人が珍しく出張でいないと言っていたので、「義経」を持っていく。読み終わった。あっけない終わり方だった。静御前の決死の舞も、勧進帳も、奥州藤原氏の権力闘争も、弁慶が槍衾に成って義経を守る話も一切無し。まあいいけど。その後スマホをいじっていたら、大河ドラマの一覧が出ているページを見付けた。滝沢秀明が義経を演じた大河ドラマと、岡田准一が黒田官兵衛を演じた大河ドラマだけ主人公の写真じゃなかったが、ジャニーズの圧力だろうか？昔兄者が「夜逃げ屋本舗」の本を読んでいたことがあったが、国分太一だけ写真が無かったが。まあそういうことなのだろう。などとしているうちに点検は終わり、ちょっと何やらしたらしく4400円程支払ってきたが、トヨタの TS-CUBIC カードが読み取りエラーに成った。前もあったが、車を買う時にカードの利用金額の上限を引き上げるようカード会社に言ってくれ、と言われてやったのが原因かと。別のカードで払えたからいいけど。

帰ってきて6時から野球。今永は相変わらずで、初回に2失点。が、その後は抑えた。7回に追い付いた。が、今永は代打を送られ、勝ち投手には成れず。2か月くらい勝っていないらしい。9回にソトの2ランが飛び出し、逆転勝利。よしよし。これで Carp が負けてくれれば、と思ったが、勝ってしまった。むう。

野球が終わってから呑みに行く。いつもはバイトの人が車で来ているのだが、車が無い。何故だろう？と思ったら、店長曰くバレーボールを見ているのだろうと。男子バレーが昨日から始まっていたようだ。最終セットを店長とスマホで見た。結構リードしていたが、連続でポイントを取られひっくり返される。が、そこから逆に連続ポイントで再逆転し、勝利。よかった。しばらくしたらバイトの人は来た。最初の2セット先取したので、すぐ来られるかと思っていたが、時間が掛かったと。何やらアクシデントで15分くらい中断したそうで、それも時間が掛かった原因。疲れたと言ってた。その後楽しく呑んできた。近所の自動販売機で「パインアメサイダー」という怪しげなものを見付けたので、お土産に持っていった。二人とも喜んでいた。多分岡田監督にあやかって出したものだろうと。案外すっきりしていて美味しい。喜んでおられた。

帰ってきて即ダウン。そのまま昼過ぎまで寝ていた。2時から野球。今日は横浜スタジアム最終戦。大貫が立ち上がりから絶好調。攻撃は初回に大田のタイムリーヒット、楠本の内野ゴロで2点先制。2回にも太田のタイムリーヒットが飛び出し、早くも3点リード。5回に林の内野ゴロでもう1点。大貫は無双状態で、94球で完封。所謂「マダックス」。プロ入り初完封らしい。Carp が負けて、4日の Giants 戦に勝てば2位。引き分け以下で Carp が2位。勝てよ。試合終了後はセレモニー。大貫のヒーローインタビューが無いのが残念だった。

パ・リーグのAクラス争いは大混戦。Hawks と Eagles が貯金1で並び、Marines が5割。もしかすると Buffaloes 以外は貯金無しでシーズンを終わるかもしれない。そんなことあったろうか？

3時30分くらいから、水曜日に Tigers 戦の中継のため関西では放送の無かった「ミラクル9」の2時間スペシャルがやっていたので、録画しておいた。野球が終わってから見た。面白かった。

秋学期は先週の火曜日から始まっていて、月曜日は明日が初回。大学院の講義があるが、何人くらい出席してくるだろう？今年のM1は30人くらいいる筈。まあ春学期で単位を取ってしまった院生は来ないだろう。小生のゼミのM1が4人いるので、まあ10人ちょいかな。訳の分からない内容だから、2、3週間で出席者は半減だろうか。まあ院生は指導教官とゼミをちゃんとやってればいいと思うので、レポートで成績を付けて、甘々にする予定。ちょっと昨日、今日と寝不足だから、今日は早目に寝よう。「サンデースポーツ」が終わったら寝よう。