Posts

いつも通り出社。そろそろ新体制にも慣れてきた。 前日のトレ・ヴァッリ・ヴァレジーネを観た。残り9.5kmでファンウィルデルがアタックで飛び出し、ログリッチ、ポガチャル、カラパスなど並み居るスター選手がお見合い状態になるなか独走勝利を決めた。 インタビューでは存続の危機に瀕しているスーダルの状況についてコメントしていた。 「難しい時間を過ごしているチームメイトやスタッフに捧げるエモーショナルな勝利になった。僕らが今このクソみたいな状況に納得していないことを示すために。僕らはこのままチームを継続したいと思っている」と、消滅の危機に瀕しているチームに大きな勝利を届けることとなった。 普段はアシストとしてエヴェネプールに影のように付き添っている印象の強いファンウィルデルだったが、今回のレースでは走りと言葉によってその個性を強く印象付けられた。 仕事はぼちぼちメンテナンスリリース。ある程度自動化していても地味に面倒なこの仕事。完全自動化を目指すしかないのか。 あとは『思考の教室』のクリティカル・リーディングの章を読んだ。批判的に読むというと、著者に騙されないように眉に唾をつけるという話だと自分は思っていた。しかしこの本によると、それだけではなく批判的な読みこそ寛容な読みだという論が展開されていて面白かった。 まずクリティカル・リーディングが定義される。それは文章から主張と根拠を取り出して構造化することである。逆に言えば厳密なパラグラフ・ライティングがされた文章においてはこの作業は不要である。 このように、読者がある文章を読むときに「この文章には主張があり、そしてどこかにその根拠も書かれているだろう」という前提で読むことが寛容な読みである。 あとは根拠が主張をちゃんとサポートできているかの検討もあるがそこは省略。 三日連続で出社したし、明日は別のところで働こうかな。

合併2日目。オフィスは昨日の混雑が嘘だったかのように空いていた。自分は朝一に出社して半個室の席を確保しちゃうので関係ないのだが。 仕事はデモアプリの開発。同僚が書いてくれたコードがあるので、とりあえずそれを動かす。ガチャガチャやっているうちに起動した。データの作成のほうも何とかしないといけないが、それは明日やる。 あとはいくつかの社内の技術コミュニティ盛り上げ仕事（趣味）。楽しいから良いのだが、思考があちこちに飛んで少し疲れる。 『思考の教室』を少し読む。学問分野の依存関係についての説明が面白い（第8章）。恐竜学者が電子顕微鏡を使ってある発見をした。その顕微鏡が正しく動いているということをサポートするのはそれを設計した工学者である。そしてその工学者が設計した電子顕微鏡がなぜ非常に小さいものを見ることができるのか説明するためには物理学者の協力が要る。このように学問は論理的思考の大規模な分業であると捉えることができる。 明日もわりと予定が空いている。最近忙しかったので少し落ち着いて考え事でもしたい。

合併初日。チームの懇親会から帰宅して日記を書いている。 スタートダッシュを決めようと思って朝からPythonの技術雑談チャンネルを作成した。いろいろなバックグラウンドの人から予想以上に書き込みがあり、なかなか盛り上がった。 昼は社食で同期たちと一緒に食べる。何だかんだで2時間半くらい喋った。少し働いてからチームで集まって懇親会。堅すぎず崩れすぎず良い塩梅の飲み会だった。 明日はまあまあ時間がありそう。少し集中して仕事を進めるぞ。

今日は実家でゆっくり過ごした。 前日のジロ・デッレミリアは残り20kmくらいから見始めた。レースは既に後半の周回コースに入っている。ボローニャ近郊の聖ルカ教会に登る坂道が印象的な周回である。 ハーパーが独りで快調に逃げていたが、やがてUAEが牽引するプロトンに飲み込まれる。プロトンを牽き続けるアダム・イェーツによって各チームはエースだけに絞られる。最後の登りで散発的なアタックが発生するが、ライバルたちを引き離すには至らない。 それまで息を潜めていたログリッチが残り400mでアタックする。誰も反応できない加速を見せたログリッチがそのまま優勝。1秒差でポガチャルとサイモン・イェーツが続いた。最後まで力を溜め、一撃で勝利を決める完璧なアタックを放ったログリッチの勝負強さが光った。 ログリッチは今シーズンでチームを離れることをレース前に発表していた。最後にイル・ロンバルディアでもこの強さを見せて欲しい。 レースが面白くていろいろ書いてしまった。午前中は娘を連れて実家に。暇そうだったので近所の図書館に連れていって絵本を読んだ。昼から妻も合流して皆で昼食。 午後は妻と一緒に喫茶店に行った。ブレンド2杯とチーズケーキ1つ。自分は『思考の教室』を読んでいた。論理的思考について書いてある2, 3章あたりを読んだ。気になったところをメモする。 主張の正しさとは別に根拠付けの良さを問うべき 根拠付けの良し悪しは時代や参加者などの文脈によって変わる Twitterとかでバズりがちなダメな政治的主張はこのあたりが良くないんだよなあ、と思ったり。フィルターバブルによってそもそも自分の主張の正しさを当たり前だと思っているのでしっかりした根拠付けを怠る。また根拠を述べている場合でも自分が属するインナーサークルにしか通用しないようなやり方をしてしまう。等々。 戸田山先生がTwitterに溢れるダメな論を意識しているかは分からないが、デモクラシーにおける公共的な議論を念頭に置いていることは間違いない。軽い調子で書かれているが結構アツいのである。 論理的に考え、語り、議論することのそもそもの目的は何か。これについては最終章でじっくり整理してみたいと思ってる。でもここで、ちょっとだけ先取りして言っちゃうと、論理的思考・議論は、「みんなの幸せにかかわることがらについてみんなで議論して、納得ずくで決める」ということを一つの目的にしている。 このあたりの話はロールズのpublic reasonとも重なるのでそのうち詳しく学んでみたい。 そんな感じで少し読書してから実家に戻る。その間娘は公園で3時間くらい遊んでいたようだ。皆で大福を食べてから帰宅。

今日は妻の実家から自分の家に帰る日。 午前中は娘と公園に行って遊ぶ。今日も吊り橋とぶらんこがお気に入り。あとは段ボールで坂を滑ろうとしたがあまり滑らなかったので、自分がいい塩梅で引っ張ることに。 昼ごはんを食べてから車で家に帰る。娘はぐっすり寝ていたが、到着した途端起きた。妻は昼前に既に帰っていたので家で久しぶりの再会。 夕方お寿司とビールを買いに行く。今夜は帰国祝いである。

妻の実家から働く最終日。気候もいい感じ。 昨日の数学同好会の発表についていくつか質問をもらって嬉しかったので張り切って回答した。10月第1-2週あたりにランチ懇親会をやる予定。 仕事は会議がいろいろ。この前少しチューニングした推論サーバーのリリースもした。10月からいろいろ変わるのでどこかふわふわした感覚が続いている。 昼休みはご飯を食べてから娘と一緒に近所の公園へ行った。普段保育園だとこういうことはできない。初めて吊り橋の遊具に挑戦した。最初はおっかなびっくりだったが、渡れたのが嬉しくて結局5回渡った。そのあとはブランコに乗ってから肩車で帰った。 明日は妻が帰国予定。自分と娘はこっちで少しゆっくりしてから昼ごろ出発する。

今日も娘の寝かしつけをしてから日記を書いている。 夕方ごろ久しぶりに数学同好会を開催した。モデル理論のMorleyの定理について自分が発表した。そういえば元社員の人たちにZoomのURLを教えるのを忘れていた。残念。 さて、Morleyの定理である。ベクトル空間と代数閉体はどちらも次元や超越次数でモデルを分類できるという類似性がある。この類似性を捉えるための概念を追求していくと強極小性というものに行きつく。そんな感じであまり数理論理学の道具立てを使わずにモデル理論のモチベーションについて解説した。 やはり自分は数学の中だと分類の問題が好きだなと思った。数年前に読んだ『代数曲線論』もリーマン面の分類がメインストーリーになっていて面白かった。抽象的で素っ気ない一般的な定義から始まったのに、そこから具体的な構成が判明する意外性。ブラックボックスにX線を照射して中の構造を覗く感覚である。 発表中の質問も活発で楽しかった。最近あまり開催できていなかったので、誰でも勝手に日程調整 & 発表者を確保してしていいんだよと後輩たちに言っておいた。10月以降活発化すると良いなあ。

夕方忙しかったので、娘が寝てから日記を書いている。 今日は会社の雑務をやっていたら日が暮れた。SlackとかGitHub issuesとかテキストボックスにひたすら文字を打ち込んでいた記憶だけがある。夕方のLT会はなかなか盛り上がって良かった。 夜は娘が不機嫌で困った。口の周りが荒れているので夕飯のあとしっかり洗おうとしたら強く抵抗された。それでも無理やり洗ったら癇癪を起こしてしばらく暴れていた。うーむ。 そんな感じで忙しくしていたら自分も寝る時間に。まあこうやって日記を書く習慣により一日を振り返る余裕を確保できているのは良いことかもしれない。 ところで今週でアトロクが終わり、来週からアトロク2になる。開始時刻が18時から20時、放送時間が3時間から1時間半、さらに金曜日の放送が無くなってしまう。 最終週ということでリスナーからアトロク1のベストモーメントについてのメールを募集している。自分は木曜日、宇内アナウンサーがパートナーのときのツール・ド・フランス特集がきっかけで自転車ロードレースにハマったのでその話を送りたい気はするのだが、メールに起こす元気がない。記録としてこの日記に残しておく。

今日も妻の実家から在宅勤務。娘の体調も良くなってきて落ち着いた一日。 午前中は何人かと1on1しつつ、合間に雑務。10月からいろいろ社内システムが変わるのでログインしてみたり。あとは開発してるサーバーのメジャーアップデート。今月中にリリースしなきゃいけないものはできたので一安心。 午後はちまちまパフォーマンスチューニング。とりあえず期待通りの性能が出そうで良かった。ただプラットフォーム側の問題で、設定を更新してサーバーを再起動しようとすると更新前の状態を読んでしまうみたいなことがありがちで少し面倒。 『新書100冊』という本を見つけた。「民主主義は危機に瀕しているのか？」「なぜ国籍が必要なのか？」というように問いに答える形式で新書を紹介するようだ。中身はまだ読んでないが、このフォーマットはよく出来ている。

妻の実家で在宅勤務。 前日のツール・ド・ルクセンブルクはヨハンネセンが優勝。ヒルシが総合順位を守って総合優勝。ヒーリーは3位で残念だっだが、これからも勝つチャンスは何度もあるだろう。 同日にヨーロッパ選手権。終盤ラポルトが素晴らしいタイミングでアタックしてそのまま優勝。最後ギリギリまで迫ったのがファンアールトとコーイ。国はそれぞれフランス、ベルギー、オランダだが、チームは全員ユンボという珍しい結果に。今年のユンボは強すぎる。 午前中は細々とした仕事。なんかいろいろ溜まっていて気忙しかったが、何人かと1on1していたら少し落ち着いてきた。喋るのはいいね。 午後は看護休暇を取って娘を病院に連れて行く。全体的にごきげんで良かった。車での会話。 娘「へへへへへへへ」 自分「なにー？」 娘「なんで笑ってるでしょう（クイズ）」 自分「病院が終わって開放的な気分？」 娘「……せいかーい！」 病院も行ったし、締め切りが近い仕事の目処も立ったので明日はいい感じに過ごせるだろう。