NA

Interested in Cryptography

定理証明系や論理プログラミングに興味をもっています。

関数解析とカーネル法が好きです。

ブロックチェーンを雰囲気で研究しています。

Neovim, 型システム, Haskell, Idris, TypeScript, Monad, 圏論, Claude Code, Devin, Vue, Nuxt, 自動テスト, メンテナンス性, フロントエンド, フルスタック, Effect System, React, Scala, YazawaNico

ネットワークとかセキュリティとか応用数学をよく使うソフトウェアエンジニア兼研究職

ぽよん

数値計算屋さん．

You'll never learn if you don't see the dark side too.

ぼく、ぼうずや。なさけはひとのためならず。たのしいはせいぎ。