低燃費FIRE。論理・計算関連のトピックに興味があります。JavaScript,Python,Rust,F#,Coq

株式会社ハ・ン・ドの7年目リードプログラマです。5本リリース経験あり