冷凍うどん

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

Qiita株式会社で開発統括をしています。

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

最近はScrapbox → https://scrapbox.io/nwtgck

主にC++，C#，Juliaを使っています。数値解析が趣味。 新潟大学の博士後期課程在学中。専門は第一原理計算。

都内で働いているエンジニアです。

Erlang/OTPやRustで分散DBを開発してます。プログラミングは中学生の頃から、30年ほど独学でやってきてます。大学はアメリカ東海岸にある美大でした。現在は上海在住

20年以上プログラミングをしています

孤独のRubyist