Scala好き。Haskell, Coq, Agda, Spark, 機械学習はまだミテルだけ

株式会社xhift 代表取締役。ゲーム開発者。元コナミ。お仕事お待ちしております。北千住でコワーキングスペースも運営しています。http://xhift.com/bonopri/

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