✚

bskyにdraftが追加されてかなり嬉しい。あとはフォロー圏内検索さえあれば……。

雪のために冬をやっている。

窓開けたら雪降ってるの嬉しすぎるな。

PBTフレームワークの綺麗な実装を見つけた気がして、土日使って考えて、さっきセルフ論破して終わった（いつもの）。

コーヒーメーカーという可能性が視野に入ってきた。

「なかなか」→「かなり」といたします。

メンマとタケノコが同根であることを初めて知りました……。

unifi express 7を買ってみた。ルータが中身の見えない謎の箱じゃなくなってなかなか嬉しい。

box-introduction

Tahoe 26.2にしたらPCが急に冷えた。さっさと上げとけばよかった感。

『ウィトゲンシュタインの講義 数学の基礎篇』pp.450-451

ウィトゲンシュタインとチューリングの応酬を楽しく読み進めていたら突然直観主義がひっぱたかれた（当時の直観主義はまだ心的構成みたいな性格が強かったっぽい？）。

System Fωのちょうどよさよ。

「ンゴロンゴロ」とかいう嬉しすぎる地名を知った。

必然性様相のある体系が持つはずのメタプログラミングっぽさを未だにちゃんと実感できてないという話がある。

激 人間の行ないについては、笑わず、嘆かず、呪詛もせず、ただ理解すること 状態。

ごま油とかいうどう転んでも全てがなんとかなる謎の液体。

いきなり確率論の本でルベルベするよりルベーグ積分の本でしばらくルベルベしてから確率論の本でルベルべしたほうが精神の安寧によいという気づきがあった。

ひとみストレッチの大地へと還ります。

加湿器の水やりでも始めるか。

やはりルカルカ★ナイトフィーバーの振り付けを完コピするまで心の平成は終わらないんではないか。

斎藤毅『微積分』の力で連続量チョットマシ芸人になってきた。『線形代数の世界』もそうだったけど、この人の本は真顔でリラックスしてる感じがなんかよい。

吉良吉影と古井由吉が脳内で隣にいることに気づいた。ジョジョ読んだことないです。

英語話者による配信を聞いていると、配信者はたとえば "I" という単語が入ったコメントを読み上げるときにはそこを "you" に差し替えていているようで、しかもその差し替えの滑らかさがなんというかオートマティックで、これって日本語にあんまりない手触りだな〜と思うなどする。

歌の上手そうな人のように歌ってしまわないことであるな。

ブルアカのリズムは三点リーダーのリズム。

英語話者向けに日本語を紹介するインターネット上の記事に「ひらひら」とか「ゆらゆら」みたいな擬態語の使われ方を紹介しているものがあって、そこに「擬態語は日本語では多用されます。フォーマルなやりとりであっても普通に使います」的な言葉が添えられており、地球外生命体が地球の人々の倫理観を観察しているみたいで面白かったことをたまに思い出す。

GPTのcustom instructionsに『哲学宗教日記』のこれ入れてる：「表現の簡潔さは定規では測れない。紙の上でより長い表現のほうがより簡潔なことがしばしばある。[…]しばしば人は文章が長すぎると感じ、言葉を削ることによって簡潔にしようと思う。そうすることにより生まれるのは、ぎこちなく満足のゆかない短さである。だが本当に簡潔であるためには、おそらくその文章は言葉がたりないのだ」（文庫版p.180）

連続量ダメダメ芸人を脱却するべく微積分の本読んでたら学部生みたいな気分になってきた。

野生のラッパーがやってきて、通り過ぎていった。

のど飴、今すぐ必要でなくてもストックしておいたほうがよいが、ストックしておくと全部消費してしまうという問題がある。