朝、非常勤の講義。テーマはデータの相関。相関係数という数値指標があることも話したが、むしろ「相関と因果は別物」という話に注力。午後には大学院の講義。中国剰余定理とゲーデルのβ式の話。これが済んでようやく次回から原始再帰的述語の表現可能性の話に入れる。この授業は残りあと6回だからそろそろどう着陸させるかを考えなくては。そのあと、卒業研究セミナー。計算可能述語の表現可能性について。毎年発行している教室の非公式パンフレットにゼミ紹介を掲載するので皆の写真を撮った。
朝、非常勤の講義。テーマはデータの相関。相関係数という数値指標があることも話したが、むしろ「相関と因果は別物」という話に注力。午後には大学院の講義。中国剰余定理とゲーデルのβ式の話。これが済んでようやく次回から原始再帰的述語の表現可能性の話に入れる。この授業は残りあと6回だからそろそろどう着陸させるかを考えなくては。そのあと、卒業研究セミナー。計算可能述語の表現可能性について。毎年発行している教室の非公式パンフレットにゼミ紹介を掲載するので皆の写真を撮った。
あまり体調もよくないので基本的におとなしく過ごす。とはいえ、洗濯もするし、食材の買い出しにも行かねばならない。昼食はスパゲティ。夕食は塩鯖の炙ったやつ。
ハロウィーンにちなんだお菓子を一六本舗がいろいろ出しているのを妻がLINEで教えてくれたので、午後に散歩を兼ねてセブンスターへ出かけて「気まぐれおばけのカップケーキ」というのを買ってきた。そんなわけで、珍しく夕食後にデザートを出した。ふんわりと軽い食感でなかなか美味しかった。
きょうも天気がよい。午前中、月曜日の非常勤の講義の準備を済ませて、いつもの温泉へ行く。倅は今週末も模試だ。受験生は大変である。
夕方、まだ詳しくは書けないが、たいへん魅力的な、興味深い仕事の話が舞い込む。ただし、日程がどうにも微妙だ。その時期に家を開けられるかどうか、妻に相談する。
いつものように、どうにかこうにか倅を学校へ送り出し、洗濯を済ませて、少し数学の勉強をして、やれやれと思ったところで、倅の弁当が置き忘れられていることに気付いた。時刻は朝10時前。まだ間にあうから届けてやろう。自転車で高校まで行く。まあ、こういうことも、あと数か月である。
金曜日は大学院のゼミ。一様可積分なマルチンゲールが \(L^1\) 収束すること。\(L^2\) 収束する確率変数列が一様可積分であること、などなど。ゼミ中に院生MBRくんに「先生、きょう元気ないですね」と言われて意外だったが、そう言われてみれば自分でも声に力がない気がしてきた。こういう日はおとなしくして早く寝るに限る。
大学院の講義では商と剰余、整除関係、合同関係(mod m)、最大公約数といった話をした。論理学の話のはずなのに、このところ初等整数論ばかりやっていて、あとで受講生に「これはいま何をやってるんですか？」と質問されてしまった。仕方がないのだ。とにかくも中国剰余定理とゲーデルのβ式の話を済ませないと、不完全性定理の証明には進めない。
この講義は、日本語で喋りながら英語で板書をする。最大公約数の存在証明の話をしながら黒板に «Existence of GCD» と書いたときに、これが «Existence of GOD» としか読めなくて、自分でも可笑しかった。いやはや、すごいことを証明するんだ。
朝、水曜日だが月曜日授業の非常勤先へ講義に行く。きょうのテーマは仮説検定。昨年までと違って、9月と10月の内閣支持率の変化は統計的に有意とはいえないが、8月から9月への変化を見ると有意といえそうだ、という話をする。いや、今回は難しかっただろうな。講義終了後、いったん帰宅して昨日の雨で台無しになった洗濯をやりなおす。
夜、鶏鍋で夕食にしてから、自転車で電器店へ行き、日曜日に発注したオーブントースターを受けとる。さてさて、設置場所を確保するためにはキッチンのものを整理しなくてはならないぞ。
朝、だいぶ肌寒いが、いい天気なので洗濯をする。家にいて午前中は昨日の非常勤の講義の結果を受けて明日に備える。非常勤先は明日は月曜日のスケジュールで授業をするというのだ。たまたま今年の後期は本務先に水曜日の授業がないからいいが、大学ごとに授業日程が違っているのは少々悩ましい。
夕食はカレーだが、倅が塾から帰ってから食うことにする。夕食の用意をしている間に外では雨が降ったらしい。こりゃいけない。洗濯物が台無しだ。しかたないなあと言いながら電車に乗り、ピアノのレッスンに向かう。発表会まであと1か月。がんばらねば。
月曜の朝は非常勤の講義。内閣支持率を題材とした推定の話。午後は大学院の講義。かけ算の結合法則と分配法則、大小関係の定義と基本性質、制限つき引き算モーナス。そのあと卒業研究ゼミ。こちらもペアノ算術の公理の話。
どうということもない日曜日。昼食には辛味噌スープのラーメンを作った。昼食後は散歩を兼ねて出かけ、電器店でオーブントースターを発注。来月初めに届くとのこと。昨年春までの一人暮らしで使っていたオーブントースターはムスメが一人暮らしを始めるときに譲ってしまったので、この1年半ほどは、電子レンジのオマケの頼りないトースター機能でしのいでいたのだが、これがピザトースト1枚焼くのに10分ほどもかかる代物で、全くお話にならないのだ。新しいオーブントースターを張り込んで、以前はしょっちゅうやっていた手打ちピザやら焼き魚やら、いろいろやってみたい。夕食には唐揚げを作った。
きょうも模試があるという倅を学校へ送り出す。洗濯をする。部屋の本を整理して30冊ばかりブックオフに持っていく。午後はジュンク堂書店→カズノさんの店→地下BALといういつもの自堕落コース。それと楽器店2軒に顔を出した。
来週は非常勤のスケジュールが変則的で月曜と水曜の朝に講義をしに行くことになるので、2回分のスライドの準備をする。この2回というのが、世論調査の内閣支持率を題材として推定と仮説検定を論じる回なので、昨年のスライドをそのまま使い回すわけにはいかず、最新の調査結果にもとづいて書き直すことになる。仮説検定の回などはいろいろ計算した末に検定結果が昨年までと反対になって、スライドを大きく改訂せねばならなかった。これに午前中を費やした。午後は大学院のゼミ。マルチンゲールの性質の続きで、ドォーブの横断数補題と前向きマルチンゲール収束定理。いろいろな本を参照し、図を描いたり実例を計算したり、けっこう手を動かしたので、きょうのゼミはなかなか充実感があった。
帰宅して夕食を作り倅と一緒に食って、夜に塾があるという倅を送り出し、自分の時間がとれたので本でも読むかと思ったが、その前にちょっとひと息と思ったのが運のつきで、倅が戻る直前までガッツリ寝てしまった。このごろずっとこの調子だ。まったく。ピアノの稽古は、サックスの練習は、集合論の勉強は、原稿の執筆は、いつするんだ。
大学院の講義。ペアノ算術の展開。足し算の交換法則・結合法則・消約法則、かけ算の単位元、かけ算の交換法則まで。次回以降、大小関係、割り算と剰余、中国剰余定理とやって、ようやくゲーデルのβ式の話になる。講義の回数にも限りがあるから、あまり詳しく算術の公理的展開をやっているわけにもいかない。さて、どうしたものか。
夕方には早稲田の集合論セミナーでのリモート講演。とてもじゃないが新しい話はできないので、古さに居直って、hyperdegreeの未解決問題の話をした。この問題を解くためにも、俺はもっと集合論、とくにfine structure theoryに入り込まねばならない。くたびれて昼寝ばかりしている場合ではない。今回思いがけずセミナー発表の機会が与えられたおかげで、そういう気持ちにさせてもらえるだけありがたい。
一昨日の深夜にリビングの天井のLED照明が故障したらしく、点灯しなくなっていたので、仕事帰りにホームセンターで新しいのを買ってきて交換した。自分の帰宅時刻と倅の塾の時間の兼ね合いで、夕食は外食。近所のスシローに行った。
午後、Teamsのチャットで院生MBRくんにLaTeXの書法についてアドバイスをする。そのあと学部の会議。これが思いのほか長かったので、予約した美容院に少し遅れていった。いつも担当してくれていた綺麗かわいい美容師さんが育休中なので、若きイケメン美容師さんに担当してもらった。3か月半ぶりに、頭がスッキリ軽くなった。
早いもので、きょうは倅の18歳の誕生日である。ろくにプレゼントも用意してやれなかったが、高島屋の地下のユーハイムでケーキを買って、電車で帰宅。夕食は豚の味噌焼き。
さてさて、NPO法人数学カフェが開催する くまもと数学秋祭り の告知が出た。ご近所の方はぜひイベントにお越しください。また、オンライン参加できる講演会や「ビブリオバトル」もあります。
10日前の休日出勤の代休日。明後日のセミナー発表のスライドを仕上げ、14時ごろから散歩に出る。宮西のブックオフやフジグラン松山のあたりを歩き、南味酒公園でひと休みして、レディ薬局でウオノメの薬を買って、歩いて帰宅。
夕食はドライカレーにしたが、少し疲れていたようで、夕食後にうたた寝していつもの電車を逃がし、ピアノのレッスンに遅刻してしまった。
朝のうち雨。非常勤の講義があるので電車で出かける。きょうのテーマは「データのばらつき」で、四分位範囲や分散や標準偏差について説明する。非常勤の講義が済んだら本務先に移動し、ついでに銀行ATMで娘と母への仕送りを済ませる。昼休みには教室会議があり、そのあと大学院の講義。等号の公理について説明したあと、形式的算術の言語と公理を述べる。次に卒業研究セミナー。RE集合の定義と例、中国剰余定理の証明、ゲーデルのβ関数の使い道。セミナーを終えて電車で帰宅し、倅の夕食を用意する。さらに今夜はある案件について集合論関係者のリモート打合せがある。話している間に、ヤブヘビ的に来年度のとある用事を引き受けることになってしまった。まあ、それも含めて、なかなか盛り沢山で充実した一日だった。
きょうも天気がいいので洗濯をする。倅は久々に学校がお休みだ。だが夜には塾があるという。俺は昨晩地下BALにメガネを忘れてきたので取りに行かねばならぬ。取りに行ったならば、いくばくかは飲まねばならぬ。なかなか思うに任せぬ世の中である。
模試があるという倅を学校へ送り出し、散歩に出かける。とてもいい天気である。コンビニに寄り道などしながら小一時間、郊外電車2駅分歩いて、電車で帰宅。軽い昼食のあと、ふたたび歩いて出かける。地下BALに行ったらいろんな人に会えてよかったが、少々飲みすぎた。
午後には大学院セミナー。停止時刻の定義と例と、簡単な性質。テキストには行間が広いところがけっこうある。そこを埋められるか、埋められないなら、そのこと自体に自分で気づけるか。数学を学ぶにあたって、そのように自分の理解度を測りながら進むことが、とても大事である。というわけで、丁寧に進もう。帰って夕食を用意して倅に食べさせ、塾へ送り出す。受験生は大変である。
大学院の講義。推論規則の紹介と、形式的証明の定義と例。仮定をもつ推論の定義。論理学について英語で板書するのは慣れないので難しい。なにより、英語が綴れない。“syllogism”の綴りがわからなくなったばかりか、“little”の綴りすら怪しかった。普段からもっと手を動かして字を書いていないと、こういうとき困る。
来週のセミナー発表のスライドづくりはだいぶ進んだ。数学的な内容はほぼ書き終えた。文献リストをつけたら、あとは見栄えをよくする作業が残っている。時間と気力があるかどうかわからんけど、図も入れられたらいいな。
日中は、家でセミナー発表のスライドを作る。
夜はカズノさんのパルタジェでMONKの関家雅司さん(Gt.)と石本誠さん(Kb.)のライブがあるので、するがくんを誘って聴きにいくことにした。19時開演なので18時半ごろに家を出たかったのだが、きょうに限って倅の帰宅が19時過ぎになった。倅に夕食を出し、自分は食わずに出発。それでライブも前半は聴けなかったのだが、後半だけでも大変楽しかった。やっぱり音楽は生に限るね。23時すぎまでパルタジェにいて、徒歩で帰宅。
例によって、お昼休みに会議がある。
Ubuntuパソコンを大学に持っていって、来週のセミナー発表の準備のための調べ物をする。こういう学者らしいことをするのも、なんだか久しぶりである。
ピアノのレッスンはお休み。
祝日だが非常勤の講義がある。今回のテーマは代表値。平均値・中央値・最頻値などなどの代表値の定義と特徴を話す。今回からICカードリーダーなるものに学生証をかざして出席管理するという文明的な方法を採用する。が、途中でICカードリーダーの電池切れが発生して困った。データが無事ならよいのだけど。
午後は休日らしく昼寝などして過ごす。というか、このごろ寝てばかりである。昼食はうどん。夕食には牛すじ大根。来週に某所でセミナートークをするので、そろそろ準備にとりかかる。
きょうはお休み。ただし倅は昨日に引き続き模試があるので、平日と同様の対応で送り出す。それ以外は本当にダラダラグダグラ過ごした。
大学院入試のため朝から出勤。とはいえ、午前中は研究室で待機なので、「て日々」の更新作業をしたり、本を読んだりして過ごす。午後には答案の採点などなど。15時ごろに業務が終了。午後は思いのほか天気もよく、昨日までの鬱々した気分を脱していい気分で動けてありがたかった。夕食はラーメン。
昨日のお医者さまの勧めに従って徒歩で大学へ行って、大学院のセミナーをやる。マルチンゲールに関するドォーブの不等式の証明。少々難しかったが、面白く勉強になった。特に、テキスト53ページの演習問題2.4の等式 \[ \mathbf{E}[XY^p]=\int_0^\infty p\lambda^{p-1}\mathbf{E}[X;{Y>\lambda}]\,d\lambda \] (ただし \(X\) と \(Y\) は非負実数値確率変数で、\(p\geq1\) とする) が証明中に引用されていて、初見ではナンジャコリャという印象のこの式が、手を動かしているうちに次第にほどけてきてキレイに証明できたときは嬉しかった。
昨晩遅くまで作業していたので調子が出にくいが、そうも言ってられない。午後には大学院の講義。自由変数と束縛変数について。自由変数への項の代入について。論理の公理について。論理の公理のひとつに \(\forall v(B\rightarrow A)\rightarrow(B\rightarrow\forall vA)\) (ただし \(v\) は \(B\) に自由変数として出現しない) というのがあり、これは命題論理のトートロジーというわけではないので、少し説明が必要だ。これまでは、\(B\) が「雨が降っている」で \(A\) が「\(v\)さんは傘をさす」と考えてみなさい、と説明していた。「すべての人が雨の日には傘をさす」が真なら「雨の日にはすべての人が傘をさす」も真だというわけ。しかし、今回はこれを英語で説明しないといけない。“傘をさす” (to put an umbrella on) という英語表現がとっさに思いうかばなかったので、代替手段として \(B\) を “it's sunday evening” とし \(A\) を “\(v\) watches Sazae-san on TV” とした。「すべての人が日曜の晩にはサザエさんを観る」が真なら「日曜の晩にはすべての人がサザエさんを観る」も真だろう。もっとも、留学生くんはサザエさんを知らないようだったけれど。
夕方にはいつもの医者に行く。後期が始まったがどうにも身体が動かないと訴えたら、年齢のせいもあるけど、普段から運動しておればだいぶ違うはずだから、徒歩通勤にするとか、少し運動しなさいとのこと。はい。医者に行った日の夕食は例によって近所のはま寿司。
非常勤の講義では毎回「確認テスト」に回答してもらう。Microsoft Formsを利用しているので、自動的に集計された回答がExcelファイルとしてダウンロードできる。このExcelファイルから各行のデータを表示して採点を支援するPythonプログラムを書いた。確認テストの集計ファイルと受講登録者の出席管理ファイルはどちらもExcelだが、書式が違うので、これまでは手作業で採点結果を出席簿に入力していたのだけれど、そこを半自動化して、手間を省こうというのだ。ただし、採点そのものは自動化しない。このプログラミングに夜中までかかったので、実際に一昨日の確認テストの結果を入力したのは日付が替わった夜の2時ごろだった。あきらかに普段より作業量が多いのだけど、このプログラムは来週以降に真価を発揮してくれるはずだ。
火曜日は夕方に初年次科目がある。普段は同期型遠隔授業で自分のお役目はないのだが、きょうは対面授業で、クラス担任として出動する。パワポのスライドに沿って話し、前もって用意された動画を見てもらうだけの簡単なお仕事である。簡単なお仕事だが、18時近くまで授業をしてから帰宅して、夕食を作って倅に食べさせ、洗濯物を片づけて、19時30分からのピアノのレッスンに間に合わねばならんので、ちょっとばかり慌しい。
さてピアノのレッスン。進捗が芳しくない。それは当たり前で、このごろ本当に全くといっていいほど練習できていないのだ。来月下旬に本番があるのでなんとかしよう。それと来年2月ごろにある出番の曲も決めた。綺麗な曲なので頑張ろう。レッスン後、いつものまつちかBALに行くも、あまり盛り上らず、静かに飲んだ。
月曜日は朝一番に非常勤の講義があり、午後に大学院の講義があり、それから卒業研究ゼミがある。体調もいまひとつなのでちょっと大変だった。大学院の講義では形式言語の記号の分類 (定数記号、変数、演算記号、関係記号、論理結合子、量化記号) を説明し、項と論理式の定義 (一般形) を述べた。今回からインドネシアからの留学生が出席しているので、板書を英語にする。準備していなかったので即興でやったら、少しまごついた。次回(6日木曜日)は自由変数と束縛変数、代入といった話をする。卒業研究ゼミでは今回から『ゲーデルと20世紀の論理学』(東京大学出版会)第3巻第I部の、鹿島亮さんの論説を読む。きょうは計算可能関数、原始再帰的関数といった話。
もう10月だというのに夏の名残りのように少々暑かった。本当は平日のうちにやっておくべきだった明日の講義の準備をする。それから近所のダイソーへ買いものに行くが、思っていたものがないのでまつちかのキャンドゥに足を伸ばし、ついでに松山三越のジュンク堂書店にも行った。院生MBRくんが確率論を勉強して、ゆくゆくは数理ファイナンスに応用できたらいいなとか言っているので、自分も少し勉強してみることにする。
昨日三遊亭円楽さんが亡くなったと思ったらきょうはアントニオ猪木さんが亡くなった。寂しい限り。御冥福をお祈りしたい。