関数型まつりのジョブボードを企画してお好み焼き屋の求人出すか（だめです）

コンピュータを触る時間は限られているのに、Claude CodeのProプランのWeekly Limitにも達してしまっているのが悩み

東京にも地方を感じられる場所があるべきだと思っているので続ける選択肢もゼロではないけど、自己犠牲を厭わない生き方はこれで最後にする。

「引きこもって物作りばかりしてるのは良くないな」と老舗のお好み焼き屋さんを手伝っているのだけど、自分の人生もしないといけないので今月でひと区切り。転職活動します。

引きこもって物作りばかりしてるのは良くないな。反省。

pnpmを導入しました。elm-pagesが別のworkspaceにインストールしたelm-reviewに依存してたことが判明したりしたのでよかった。

Forza Horizon 6のゲーム導入部分の公式動画が公開されていた。鯉のぼり🎏なども表現されるのだなあ。 youtu.be/H1qlPZMfmiU

Revolverheld、11月に新曲出てた youtu.be/Tdri3MGcIoU

そういえば神田のお好み焼きカープが今日で30周年とのこと。おめでとう🎉 maps.app.goo.gl/Ch6SLj9TGkV2...

ドイツのSilbermondとRevolverheldが新曲を出してくれるのを首を長くして待っているよ

イタリア語ポップだけだとそのうち限界が来てしまうので、新しいジャンルを開拓したいな。インドネシアはあり。

ディズニーのカントリーアレンジ、「そんな安直なの聴かないよ」と思ったら、1曲目からKane Brownでズルい

とりあえずpnpmにしようと考えています。elm-pagesがDenoで動くようになればDenoもありかな？

なんでだったか忘れたけどpnpmやめてnpmに戻した

コンフリクト解消のためにlockファイルを削除して再生成は禁じ手

対処法は分かったので、npmのままでも良いとも言える

2026年に自分の環境でこれを再現してしまった。 普段の開発のnpmパッケージへの依存が低いのでnpmをそのまま使っていたけど、これを機にpnpmなどへ移行しようかな？ dev.classmethod.jp/articles/pla...

Denoでの実行を想定したスクリプトについて、実行コマンドの権限オプションが足りていないことに気づいたAIエージェントが権限を追記して起動した回

Claude Codeに尋ねたところ「JS ターゲットなら Deno/Node で実行可能」とGleamを提示された たしかに

スキル用のスクリプトをJSで書き始め、TSに変更し、Denoで実行するようにした。まだ物足りなくて、Effect-TS を試してみることにする。

関数型まつり2026 にプロポーザルが投稿されました！ 「結局のところ「代数的」って何なの？ 〜霧の向こうの代数的エフェクト〜」 / funnycatさん fortee.jp/2026fp-matsu... #fp_matsuri

関数型まつり2026 にプロポーザルが投稿されました！ 「なぜ多くの言語はHigher Kinded Typesをサポートしないのか」 / Ryo Matsumotoさん fortee.jp/2026fp-matsu... #fp_matsuri

関数型まつり2026 にプロポーザルが投稿されました！ 「型は値の集合か？ 〜プログラミング言語の型の解釈を考える〜」 / ほとけ/Motoki Shakagoriさん fortee.jp/2026fp-matsu... #fp_matsuri

関数型まつり2026 にプロポーザルが投稿されました！ 「世界がない物理エンジン」 / Andrey Kuzminさん fortee.jp/2026fp-matsu... #fp_matsuri

関数型まつり2026 にプロポーザルが投稿されました！ 「「Haskell は Rust になれるのか？」2026 Edition 〜線型型や所有権と仲良く〜」 / konnさん fortee.jp/2026fp-matsu... #fp_matsuri

関数型まつり2026 にプロポーザルが投稿されました！ 「暗号実装における辛さを関数型によって解決してみよう」 / Quriosityさん fortee.jp/2026fp-matsu... #fp_matsuri

関数型まつり2026 にプロポーザルが投稿されました！ 「アルゴリズムは何を圧縮しているのか: Haskell から育った「圧縮代数」というメンタルモデル」 / naoyaさん fortee.jp/2026fp-matsu... #fp_matsuri

関数型まつり2026 にプロポーザルが投稿されました！ 「抽象解釈から捉え直す仕様・検証・実装」 / 道下祐樹さん fortee.jp/2026fp-matsu... #fp_matsuri

関数型まつり2026 にプロポーザルが投稿されました！ 「ぼくのかんがえたさいきょうの alt TLA+」 / Showさん fortee.jp/2026fp-matsu... #fp_matsuri

チーズ作りたくなってきたな

関数型まつり2026 にプロポーザルが投稿されました！ 「Rewriting Electrical Grid Modelling Software: Lessons in Functional Domain Modeling with F#」 / Almir Mesicさん fortee.jp/2026fp-matsu... #fp_matsuri

関数型まつり2026 にプロポーザルが投稿されました！ 「「手続き型」な私が「関数型」を覗いてみたら、設計の視界が少しクリアになった話」 / 田中ノリヒロさん fortee.jp/2026fp-matsu... #fp_matsuri

関数型まつり2026 にプロポーザルが投稿されました！ 「エコシステムがない言語をLLMで踏み倒す方法 - MoonBit の場合」 / mizchiさん fortee.jp/2026fp-matsu... #fp_matsuri

関数型まつり2026 にプロポーザルが投稿されました！ 「継続モナドとリアクティブプログラミング」 / ゆきくらげさん fortee.jp/2026fp-matsu... #fp_matsuri

関数型まつり2026 にプロポーザルが投稿されました！ 「AI Agent時代を生き抜くプログラミング言語の選定や関数型言語機能の活用とは」 / がくぞ(gakuzzzz)さん fortee.jp/2026fp-matsu... #fp_matsuri

仕事の合間に、井の頭公園でお花見しました

Claudeに追加調査の手間を掛けさせたくなかったので「直感で答えて」とお願いした。

店頭で触らせてもらったところ、非常によかった。1型から買い替えようかな。 www.sigma-global.com/jp/lenses/a0...

先週からの1週間を心穏やかに過ごす必要があり、Vestia Zetaさんの新曲にはとてもお世話になりました。ありがとう。

もしかして、CfP順調かもしれない？

関数型まつり2026 にプロポーザルが投稿されました！ 「Welcome to the "Parametricity" 🏙️ − Generic だけど Specific な世界 −」 / TAKASE Kazuyukiさん fortee.jp/2026fp-matsu... #fp_matsuri

関数型まつり2026 にプロポーザルが投稿されました！ 「Haskellと圏論：パフォーマンス改善からKan拡張へ」 / グミさん fortee.jp/2026fp-matsu... #fp_matsuri

関数型まつり2026 にプロポーザルが投稿されました！ 「Leanで学ぼう等式推論（証明もあるよ！）」 / 井山梃子歴史館さん fortee.jp/2026fp-matsu... #fp_matsuri

85歳にバーガーキングを食べさせて感想を聞いたところ、食い気味に「うまい！」と即答してくれました。 社会貢献。

関数型まつり2026 にプロポーザルが投稿されました！ 「Lean 4をRTL開発の中核にする — Sparkle におけるJIT、検証、reverse synthesis(逆合成)」 / 橋本順之さん fortee.jp/2026fp-matsu... #fp_matsuri

関数型まつり2026 にプロポーザルが投稿されました！ 「形式証明の考え方と、ひとつの実装例。」 / 池上 蒔典さん fortee.jp/2026fp-matsu... #fp_matsuri

関数型まつり2026 にプロポーザルが投稿されました！ 「入門ラムダ計算 with λ-1グランプリ！」 / うさみけんたさん fortee.jp/2026fp-matsu... #fp_matsuri

ツバメ飛来、春ですね

夜食を我慢し続けた結果、今になってコロッケ揚げて食べた

コーディングエージェントに謝らせたことなし