こんなに天気がよいのに洗濯をする間もなく仕事に出ねばならん。この時期恒例のあの仕事は午前中に一段落して、明日の総チェックを残すのみとなった。そのあとは教室のウェブサイトの更新に関連していろいろな情報収集。とある雑誌記事も引き受けており、来る3月も、けっこういろいろやることになりそう。
午後は花粉アレルギーの薬が切れてぜんぜん調子が出ない。夕食に唐揚げを作って倅に食わせ、夜はピアノのレッスン。いまやっている曲がようやく少し面白くなってきた。夜も遅くなってから妻が帰ってきた。明日の倅の卒業式に出るためだ。
少し寒いけれど春の予感にあふれたよい天気。この時期恒例のあの仕事2日目。途中ちょっと抜け出し、入試を終えて帰ってきた倅をJR松山駅で出迎える。
さて一夜明けて、きょうから3月1日までは数学教員総出で、この時期恒例のあの仕事だ。昼食は來來亭のラーメン。とある街まで国立大学を受験しに行っている倅と、それに同行している妻から、ちょくちょく連絡が入る。
火曜日から今朝まで投宿していたのは、那覇市久米の沖縄ナハナ ホテル&スパだ。朝食ビュッフェの品数がとても豊富で、4泊目の朝になっても飽きなかった。たいしたものである。飛行機は午後だ。だから朝のうち少し市内観光でもすればよかったのだが、荷物が多いのでなんとなく気が乗らない。さっさとモノレールで空港へ移動。ベンチに座って数学を考えたり、スタンドバーで地物のウィスキーを飲んだり、国際線ロビーのオープンピアノを少しだけ弾いたりして時間を過ごしたら、あまり退屈はしなかった。帰りの飛行機は2時間もかからずに松山に着いた。直行便があるのはありがたい。今回は久しぶりの出張を楽しませてもらった。研究集会も飲み会も楽しかった。主催の木原さんたちには感謝しかない。
初めての沖縄は、やっぱりいいところだった。もちろん、那覇だけを見て沖縄がわかったつもりになってはいけないのだろう。松山だけを見て愛媛がわかったつもりになってはいけないのと同じことだ。それはそれとして、那覇を包んでいる独特の空気感は俺には好ましい。また来たい。そして、次は他の島々も見てみたい。
ロジック・ウィンタースクール2023最終日。午前と午後に講演をする。午前中は \(\mathbb{R}\) 上のポジティブな算術的集合演算の最小不動点が \(\Pi^1_1\) になることを証明し、ボレル集合のコードの理論に応用した。午後にはルーヴォの分離定理を証明した。こちらは少々無理やり感のある発表になった。
ウチアゲは国際通りの《ぱいかじ》で飲み食い。島唄ライブ演奏も聴けて満足である。
午前中の木原さんのレクチャーはわかりやすく新鮮である。午後、自分が担当する4回の講義の2回目。昨日の古典記述集合論の話を踏まえて実効記述集合論の基本概念の紹介をした。昨日も今日もいろいろの質問をもらったが、集合論プロパーの人たちとは質問の傾向が違っていて、勉強になる。他の人の講演を聴く傍らでPC作業をして明日の講演のスライドを仕上げてアップロードした。キリがないのでこれ以上の更新はやめておく。
カンファレンスのあとは、国際通りの土産店に行った。カンファレンス参加者10人ほどで、国際通りから少し離れて《居酒家おりじん》(那覇市久茂地3-13-11) で夕食。たいへん楽しかった。
午後、自分が担当する4回の講義の1回目。古典記述集合論のススリンの定理の証明を紹介した。
夕食は、ひとりで街を歩いて見つけた《炭火焼ステーキ居酒屋 菜菜》(那覇市久米1-16-7) で、ステーキセットを食い、ハブボールを飲んだ。ステーキは柔かく旨かった。今夜はそれでおとなしく宿に帰り、明日の講義に備えてスライドの仕上げをする。
沖縄に出発する…のだが、その前に仕事のちょっとしたインシデントがあって空港から急遽家に引き返したり、ちょっと大変だった。詳しくは書けないが。
飛行機に乗るのも県外に出るのも対面のカンファレンスに出席するのも、かなり久しぶりだ。それに沖縄に来るのは初めてである。那覇は思っていたよりずっと大都会だった。
カンファレンスは木原さんたちの研究プロジェクトの企画する「ロジック・ウィンタースクール2023」である。ツイッターでしか交流したことのない若い人たちに会えて嬉しい。ホテルは会場に至近だし、国際通までも徒歩圏内だし、いろいろありがたいな。
夜は国際通りの《あんがま》で懇親会。ミミガー、島らっきょ、海ぶどう、オリオンビール、泡盛、などなど。
年休消化のため休みをとった。朝、港まで行って、入試を控えた倅を妻の実家に送りだす。明日には俺が沖縄へ出張するので、その間の世話を山口のじいちゃんにお願いするのだ。
港から帰宅して以後はずっと第3回のスライド作りの作業。途中夕食を食いに外出したりしつつ、深夜までかかって仕上げてリリースする。それから荷造り。明日の朝、松山は2度くらいまで冷え込むという予報だが、行き先の那覇は最低気温が18度との予報。ふむ。いったい何を着ていけばよいやら。
午前中ずっと雨で気分もふさぐが、そんなこと言ってられないので2回目の講演のスライドを作る。この調子では、3回目と4回目のスライドは現地入りしてから作る羽目になりそうだ。
倅受験生は家では勉強できんと言って高校へ出かけた。午後になって雨も上がり晴れ間が見えてきたので、スライドづくりの作業の合間に買い出しに出る。夕食後はスライドづくりの作業の傍ら、明日から妻の実家に泊まりに行く倅に手土産に持たせる豚の角煮を作った。
どうにか4回の講演のうち1回目のスライドを作った。
午前中に後期の成績処理などなどを済ませ、おおいに肩の荷を降ろした。午後は大学院のゼミ。\(\{B_t\}_{t\geq0}\) がブラウン運動で \(\tau\) が上に有界な停止時刻のとき \(\{B_{\tau+t}\}_{t\geq0}\) がまたブラウン運動になることの証明だが、思いのほか早く終わったので、院生MBRくんとしばらく雑談のあと、少しは講演の準備に時間をとれた。夕食は外食する。例によって近所のはま寿司に倅と二人で行った。
きょうは朝から卒業研究発表会をやっている。受けもちのゼミ生たちが発表する午後のセッションには顔を出したい。それにそのあとの柳さんのゼミ生の発表の司会をすることになっている。昨晩からやっている期末テストの採点は済ませにゃならんので、まずそちらを優先して、どうにか午前中に採点を終わらせた。卒業研究発表会の会場は理学部ではなく共通教育講義棟の2階の大教室だ。午後の最初のセッションはで山内教授のところのゼミ生がpseudo-arcの構成と特徴付けについて話す。なかなか迫力のある、いい発表だった。こういう迫力のある発表のあとなので、うちのゼミ生の発表はちょっとやりにくい。が、まあ、ほぼ練習どおりに無事に済んでよかった。K2くんFDくんGKくん、1年間おつかれさま。休憩のあと柳ゼミのセッション。現実の問題の数学的モデルを微分方程式で解析する話が続く。聴いてみるとなかなか面白い。そんなわけで発表会は楽しかった。いっぽう、来週の講演の準備は、きょうはほとんど進まなかった。なので深夜になってから自宅でノートの見直し。
午前のうちに期末テストの追試験。これで期末テストの答案は揃ったのだから、午後にすぐ採点にとりかかればよかったのだが、なかなかエンジンがかからない。夕食後、夜中までかかって半分だけ採点した。続きはまた明日。
来週の講演の準備。下書きノートの更新をいったん打ち切って、スライドづくりに入る。Beamerを使う。普通のA4用紙サイズのPDFを作るときと頭を切り替えねばならず、けっこう難しい。
午前中いっぱい修士論文の審査。そのあと教室会議。昼食後はいくつかの事務仕事のあと大学院のゼミ。ひきつづきブラウン運動をめぐる話。ゼミが長びいたのでまたまたピアノのレッスンに行けなかった。なかなか思うに任せないなあ。夕食はラーメン。夕食後は昨日できなかった原稿書きに時間を費やす。
午前中は集合と位相のテストの採点をする。午後には卒業研究ゼミで今週木曜日に迫った発表会の練習につきあう。ゼミの終了後も採点の続き。原稿書きの進捗としては、これまでに書いたものを初めてプリントアウトし、さらに追加で書くべき内容を紙の上で検討したが、実際にファイルに書きこむ作業は進めなかった。だが、いいかげんにこのノートの原稿を打ち止めにしないと、次に控えているスライドの制作が間に合わない。ううむ。
きょうも原稿書き。ルーヴォの分離定理の証明が書けた。予定していた内容のうち、近藤—アディソンの一意化定理の証明が手つかず。それを諦めたとしても、あといくつかの補題や補足説明が残っている。そのあたりをさっさと片付けて、今度は講演用のスライドを作らないといけない。さて明日からの一週間でそれをやっている時間がとれるかどうか。
午前中の作業で何か操作ミスをしたらしく、エディタ (Visual Studio Code) がハングした。それで作業内容がパァになったかと思ったが、エディタのバッファから編集中のファイルが復元できてことなきを得た。そんなことがあったので、午後の作業ではとにかくこまめにバックアップをとった。バックアップは大切だ。それに家でも職場でも同じ文書作りの作業がしたいのだから、俺もそろそろGitHubの使い方くらい覚えるべきだ。
午後には気晴らしの散歩にもいった。エディオンやハードオフに立ち寄って、いろいろなノートパソコンを見たが、いま使っているこのDELL Inspironのように矢印キーとPgUp/PgDnキーが踵を接しているキー配列のものは、どうも他にない。昨日の日記に書いたキーボードまわりの不満というのは主にこのことだ。この変ちきりんなキー配列のせいで、[←][→]を操作して行内でカーソル移動しているつもりのときに、しばしばトンデモナイところへ表示がすっ飛んでびっくりしてしまう。
朝食と洗濯をすませていつもの温泉に行った。風呂上がりにラウンジでくつろいでいると女湯から母親と祖母らしき人に連れられた小さな女の子二人が出てきた。風呂上がりの小さいさんは、ピカピカでホカホカで満ちたりていて、とても素敵である。ラウンジでアイスクリームを買ってもらってニコニコしている子供たちを見て、うちの子らにもこんな時期があったなあと懐しく思い出すなど。
昼食に焼きそばを食って、自転車で問屋町のヤマダ電機に行った。このDELLノートパソコンは性能に文句はないがキーボードまわりに少々不満があるので、外付けキーボードを探しにいったのだ。ロジクールのメカニカルキーボードK835l TKLというのを買った。それなりに快適である。ただ、ノートパソコンに外付けキーボートというのは、あまりカッコ良くはないね。
夕食はカレー。ともかく、新しいキーボードの力を借りて、原稿書きを進捗させなくちゃ。
朝、集合と位相の期末テストをし、そのあと該当者最後の一人を対象に中間テストの追試をした。午後は大学院のゼミ。少々やっかいな計算がテキストで豪快に省略されていてちょっと大変だった。原稿書きの進捗は微小。微小だがゼロではない。確実に進んではいる。
そんなわけで週末がやってきた。今年度の授業はゼミを除いて終了したが、来週は、講演の準備が大詰めで、修士論文の審査と卒業研究の発表会があり、期末テストの追試もせねばらなず、中間テストと期末テストの採点をして成績をつけるタスクもある。おまけに倅の受験勉強もラストスパートであるから、いろいろサポートしてやらねばならぬ。そんなこんなで大変な一週間になりそうだが、たまには俺もがんばらないとね。
大変なときこそ、上機嫌でいたいものである。
きょうは授業もゼミも会議もないので、ほぼ一日を原稿書きに費した。それなりに進捗はあったが、さりとてまだ出口は見えない。ふむ。引き続き努力せねば。
倅の弁当を作り、ピアノの練習をし、修士論文発表会に顔を出し、卒業研究ゼミの発表の練習につき合い、会議に出席した。その合間に、講演のための原稿を書いた。夕食には、初めて自分でトンカツを揚げてみた。初めてにしてはマトモなものになったと思う。ゲーデルのあたらしい伝記本、スティーブン・ブディアンスキー著・渡会圭子訳『クルト・ゲーデル』(森北出版)を版元からご恵投いただいた。がんばって読んで、そのうちどこかに何か書く。あれもせんといかん、これもせんといかん。
午前中、集合と位相の講義で濃度の概念の紹介をする。話題としては面白く重要なはずだが、期末テストの範囲外であることを公言してあったせいか、あるいは天気が悪かったせいか、これまでよりも出席者が若干少なかった。講義はこれでおしまいで、金曜日の期末テストを残すのみ。
お昼に教室会議があり、午後には大学院のゼミをやった。ブラウン運動 \(B_t\) が回転に関する不変性をもつこと、どんな区間でも有界変動にならないことの証明をし、さらに \((B_t)^2-t\) がマルチンゲールになることの証明をした。基本的に計算ばっかりだったが、なかなか楽しかった。そのほかに原稿書きも少しは進めることができた。ありがたいことである。
夕食のあと、夜は久々にピアノのレッスン。多少は進捗があって嬉しかった。
午前中は家で原稿書き。ルージンの分離定理の証明をざっと書いた。このあとススリンの定理まではもうすぐで、それを書いてしまえば、次にようやく再帰理論をベースにした実効的記述集合論の話に移れる。多少エンジンが暖まってきた感じなので、そろそろ大学と家のどちらでも気軽に編集できるように、そしてバックアップが確実に残るように、態勢を整えなくては。こういうときに、ああGitHubの使い方を覚えるべきだなあと思うのだが、毎度毎度先送りになっている。
午後は卒業研究ゼミ。卒研発表が来週に迫っているので、プレゼン用のパワポ作りと発表の練習をする。パワポはおおむね完成したのだが、喋ってみると時間が余り気味なので、少し内容を増補することになった。明後日に時間をとって追加の練習の時間をとる。
きょうは休日出勤。高校生たちが理科の研究発表をするえひめサイエンスチャレンジというイベントで、柄にもなくコンテストの審査員を務めてきた。ポスターセッションでいろいろな発表を見て回ってなかなか楽しかった。なにせコンテストだから点数をつけて優秀な発表を表彰したわけだが、ちょっと無理矢理に優劣をつけたようなところもあって心苦しい。入賞しなかった発表が悪かったわけでは決してないのだ。
お昼前に倅と2人で歩いてフジグラン松山に行った。倅のアンダーシャツを買い足し、フードコートで昼食にする。とても久しぶりに石焼ビビンバを食った。その後、倅のリクエストに応じて宮西のブックオフに寄り、電車で帰宅。午後は今月下旬の講演のためのノートを少しだけ進めた。夕食にはハンバーグを作った。
昨晩遅くまで起きていたせいか、あんまり調子が出ない。朝、集合と位相の講義と演習。講義は同値関係にかんする不変量の話。午後は大学院のゼミ。ブラウン運動の見本路が連続だがいたるところ微分不可能で決して有界変動にならないことの証明。節分なのでスーパーで太巻きと鰯を買って夕食にする。
きょうは昨日の遅れをなんとか取り返すべく、少し巻き上げて作業する。午前中に非常勤の授業の成績評価を済ませた。午後は期末テストの問題を作った。夕食はポークピカタ。夕食後に先週の演習の小テストの採点をし、そのあと深夜まで今月下旬の講演のためのノートを進めた。\(\mathbf\Sigma^1_1\) の定義から \(\mathbf{WF}\) が \(\mathbf\Pi^1_1\)-完全であることの証明あたりまで書けた。
つい先日お正月だなんだと言っていたのに、もう2月である。数日前と打って変わって、春の予感がする暖かい日になった。おかげで気分はよいが、非常勤の授業の成績評価とか、集合と位相の期末テストの問題づくりとか、いろいろ差し迫っている用件が、どれもあまり進捗しなかった。