冷凍うどん

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

Qiita株式会社でプロダクトマネジメントと開発をしています。Rubyを書いています。設計が好きです。

Moggiと"love"で接近中! 🤟🙄🤟

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

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

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

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

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

孤独のRubyist