普遍代数とか型理論を触っているにつれ、プログラムとは代数学であるという気分が徐々に膨らみつつある

？「コードを書かなくても幸せになれるこの時代に、私は、コードを書きたいのです」

Seravek 好きだなあ　特に italic

良かった　1 時間で終わるのでぜひ oissisui.itch.io/glowmachine

節分 ← テクニカルタームっぽい

> ソーシャルプラットフォームが自らを「ワールドワイドウェブの主役」だと思い込み始めた時から、インターネットはおかしくなり始めました。 > しかし、もし人間の選択によってインターネットが悪くなったのであれば、人間が別の何かを選択することで、インターネットを再び良くすることができるはずです。 bsky.social/about/blog/0...

テンソル、商空間、直和の普遍性をやったあたりで、（普遍性というのはなにか未知の対象から well-defined な射を生やす便利なツールということですね）というイメージが出来つつあったわけだけど、自分が便利だと思っていたものは普遍性ではなくて余極限の普遍性だったらしい

『線型代数の世界』、記号の overload が多くて混乱する　双対と随伴を * で書くのはまだ許せるけど annihilator と直交をどっちも ⊥ で書くのが微妙

最近のラムダノートすごくて購入しまくり

AZIK を使っているんだけど、「帰省」と入力したつもりがアルファベットモードになっていて 𝙠𝙞𝙨𝙨 と表示されてしまい、𝙠𝙞𝙨𝙨 だと思った

Scheme、最初は（こんな不自由な言語！）と思っていたけど、書いているうちに Simple is better という気分になってきた　やっぱり静的型付けは欲しいけど

そのウェブページが書かれたオリジナルの言語で閲覧したくてブラウザの言語に英語を優先的に設定しているのだけれど、たまに日本語のサイトが勝手に英語になってしまって切り替えようとしてもまた英語になってしまうということがあって、でもどう解決すればよいのかわからない

人前で喋るときに本当にフィラーが多くてびっくりする　意識してやめようとすると全く喋れなくなってしまう

複素関数なんてパソコンに使わないでしょ！って思って取っていなかったのだけど、なんと形式言語理論で出てきてしまった：https://www.jstage.jst.go.jp/article/jssst/34/3/34_3_3/_pdf/-char/ja

Obsidian、軽量かつローカルファイルを扱うというので気に入っているんだけど LaTeX がたくさん入ったりそもそもファイルサイズが大きくなると動作がモッタリしてくるのが惜しいところ

型のしっかりしたプログラミング言語が好きなんだと思っていたのだが、自分が好きなのは型がしっかりしていて、代数的データ型とちゃんとしたパターンマッチのある関数型パラダイムの言語らしい（TypeScript を横目に）

あけましておめでとうございます　今年の目標は X をやめること

🎍関数型まつり 2026 開催決定！🎍 新年あけましておめでとうございます。今年も関数型まつりを開催します🎊 日程：2026年7月11日(土) - 12日(日) 会場：中野セントラルパーク カンファレンス 最新の情報はXとBlueskyでも発信していきます！ #fp_matsuri 2026.fp-matsuri.org

紅白観てるとこの国の人口ピラミッドに思いを馳せざるをえないな

join と meet っていつまで経っても覚えられる気配がない

近況：理情に進学しました　主に集合と位相及び代数と幾何（線型代数のこと）と格闘しているところで、学部の今のうちに数学をちゃんとやりましょうという気持ちでガシガシやっております

Cloudflare が server error になってたからツイッター見ちゃお～と思っていたら X も落ちていたので久しぶりに bsky にログインした　このアプリキビキビ動いていいな

Python、断片的な知識しかなかったのでこれを通読してみたけど、なかなか手には馴染みにくそう　つねに参照渡しなのも syntactic sugar が多いのも慣れない utokyo-ipp.github.io

まだ Bluesky でなにができてなにができないのか把握できてなし

最近の Twitter、ごく短時間の動画を繰り返しプレビューさせてインプレッションを稼ぐツイートが増えてきててさすがにイライラしてきた　移住できるならそうしたい……

Bluesky、使用感は良いので人が来てくれさえすれば……

👋（しばらくは動かなそう）