I build programming languages and the runtimes that make them worth using. MSc student at Institute of Science Tokyo, working on the semantics of programming languages. I mainly write PureScript and Haskell.
🗣️ Katari
A programming language for orchestrating AI agents. Durable by default, algebraic effects for human-in-the-loop, JSON Schema derived from types. Not production-ready, but I run it in production as a Discord bot! → 設計について書いた記事
🌊 Quon
Resource-oriented reactive programming. Semantics of reactive programming and component systems: my master's thesis. TypeScript implementation
A puzzle game. I'm the director, and I wrote most of the code, drew half of the pixel art, and composed part of the soundtrack.
A reactive UI framework for PureScript with no virtual DOM. Docs
An extremely fast in-browser Brainfuck interpreter (WebAssembly + Web Worker).
Draws PureScript inter-module dependencies with mermaid.
🤔 YUKILOGIC · 🎆 MANDELBROT
A logical formula parser, and a Mandelbrot set renderer in WebGL.
I compose and draw as much as I write code. Some of my tracks are in Dynamix, Takumi³ and ChainBeeT.
YUKIWORKS : music and drawing portfolio · SoundCloud · pixiv
Speaker at 関数型まつり (FP Matsuri), two years running.
- 継続モナドとリアクティブプログラミング — 関数型まつり 2026
- Effect の双対、Coeffect — 関数型まつり 2025
🌐 yukikurage.net · ✍️ Zenn · 🐦 X · 💬 くらげ鯖
日本語
プログラミング言語を作っています。 東京科学大学M2、リアクティブプログラミングの意味論が研究テーマです。 ふだんは PureScript と Haskell を書いていて、絵と曲も作ります。
いま作っているもの
- Katari : AI エージェントをオーケストレーションするためのプログラミング言語。 再起動耐性がデフォルト、代数的エフェクトによる Human-in-the-Loop、型から導出される JSON Schema。Discord Bot として実運用中
- Quon : リアクティブプログラミングとコンポーネントシステムの意味論。修士論文
- Stellagate : パズルゲーム。ディレクション、プログラム、ドット絵、BGM
これまで作ったもの
Jelly（仮想 DOM を使わない PureScript の UI フレームワーク）、 ブラウザで動く高速 Brainfuck 実行環境、PureScript のモジュール依存グラフ描画 ほか
音楽と絵
Dynamix / Takumi³ / ChainBeeT に楽曲提供。ドット絵も描きます。
登壇
関数型まつりに2年連続で登壇しています。
- 「継続モナドとリアクティブプログラミング」関数型まつり 2026
- 「Effect の双対、Coeffect」関数型まつり 2025