いったん9月のブログを書くノルマをクリアする。
雑に振り返る
9月に入って、今はシルバーウィークだ。9月は前半がかなりバタついていて土日も含めて忙しかったが、やっと落ち着きを見せてきた。それにシルバーウィークは何も予定がなくてハッピーだ。
最近、仕事においては意味があるようでないような抽象的なことを言ったり、Figmaを触ったり、人の心配をしたり、スケジュールを引いたり、アクセシビリティ試験をしたりしている。そのうちほとんどは抽象的なことをtimesに投げることであって、何だか仕事が楽しい気がする。ずっとこうしていていいなら、ずっとこうしていようかな。しかし外部要因というのは変わるものなので、変化に耐えねばならない。
台風がきて、やたらと雨が降っていた。おかげでだいぶ引きこもりに拍車がかかった。今日は台風が通り過ぎて暑くなった。外に出よう。けれどどこにも行く当てはない。
シルバーウィークにやっていることたち
シルバーウィーク前にたてた予定として以下があり、ほぼその通りに毎日過ごしている。
運動する
ちょっとした雑務
フロントエンドカンファレンス福岡の動画を見る
とても刺激的でよかった。uhyoさんのReact論やWebブラウザ実装の話など
oxc-tsを読む
TSKaigi Sendaiに向けた準備、読みたかったところはだいたい読めた
oxcの美しさと、tscの巨大さに圧倒された
Leanについての本を読む
ウィトゲンシュタインについての本を読む
暇になったらシェーダー
ブログを書く
布団を洗濯する
映画を見る
oxcのTypeScript周りのパーサー実装を読む
これは別でブログ記事にしたいが、面白そうなところを一通り読んだ。
JavaScriptはそもそもカバー文法などもあって曖昧だし、そこにTypeScriptの構文が加わることでさらに曖昧になる。それをcheckpointによる投機的な先読みで捌き、tscに対する深い理解のうえで実装しきっているoxcはすごい。
大枠をClaudeに教えてもらいつつ細かく見ていき、気になった実装やコメントについて質問するとパーサーに関する意思決定や、エコシステム全体に堆積した歴史のようなものに触れられてよかった。
oxcのパーサーを読んで、これを実装するのはとんでもないぞ、と思ったが、それ以上にtscのcheckerを知ってしまうとそれをRustで再実装しなおすなんてほとんど不可能なんじゃないかと恐れ慄いた。
ウィトゲンシュタイン、論理学、Lean、プログラミング思想
『ウィトゲンシュタイン 言語の限界』というちくま学芸文庫の本をちまちま読んでいて、今日読み終えた。ウィトゲンシュタインが何をしようとしていたか、を伝記的な部分にも触れながら解説してくれる本で、楽しく読めた。
あと東京大学出版会の『論理学』を読み始めたり『ゼロから始めるLean言語入門』に手を出したりしている。我ながら急にどうしたんだろう？
最近考えていたこととして、プログラミングは言語を扱う分野であって、かつ世界をいかにモデリングするかについて知見を与えてくれるものだ。それを現代思想の側に持ち込んだら、何かわかるんじゃないか。一方で世の哲学者はそういったプログラミング言語で行われている抽象的な営みを知ってるんだろうか、接続したら面白いんじゃないか。という謎の閃きである。
それはオブジェクト指向から関数型言語、型システム、モナド、依存型、ドメイン、みたいな言葉で語られているものたちと思想との接続なのかもしれない。Reactがとらえる世界観へ何かを逆流させることかもしれない。という漫然としたアイディアであって、別にまだ形を成していない。
けど、東浩紀の酒のみYouTube配信を見ながら、あるいはシラスの配信を見ながら、そんなことを思ったりしている。
もっと型理論や圏論について勉強したほうがいい気がしてきた。
映画を見たり見なかったり
最近、おすすめされたA24の映画をいくつか見たりしてる。A24は画作りがうまい（？）から多少つまらなくても見れてしまうのがいいところ。自分の思う映画っぽい映画だ。ただ、バックルームズは個人的にはかなりいまいちではあった。
まどマギ映画も見たいし、オデュッセイアも見にいこうかとも考えている。今日と明日で行けるだろうか。
運動をしたりサラダを食べたり布団を洗ったり
ぶら下がり健康器に毎日ぶら下がっているが、手が痛くて３０秒も保たない。Claudeいわく、いまは神経が適応している時期なので実感がないらしいから、継続するしかない。
ここ数日引きこもってる割に食べすぎたので、明日からまたサラダを食べて生きていきたい。家の近くにクリスプサラダワークスがあればいいのに。
それから布団を洗わなくては。そういえば、BAKUNEの寝巻きを買ったが、気持ちが良くて最高。
まとめ
何だか小難しいことを考えようとして空回っている気がするが、そういうこともある。明日はoxcのパーサーに関する記事を書き始めたりしたい。そこからいい感じに切り貼りしてLTを作りたいため。それからLeanのコードをどう書くかのメンタルモデルがまだしっくりきていないので、『論理学』を読んだり手を動かしたりしたい。何か直感が掴めたら、型の操作だけで安心して証明（？）ができるようになるんだろうと想像している。暇になったら少しシェーダーを触りたい。あるいはtscのアーキテクチャについてそろそろ学びたい頃かもしれない。
最終更新: 2026年9月22日