仕事の主戦場をCrowdWorksにしてから 楽しめる仕事が多くなってきました。

Complex System/Alife/fractal lang: C++/ Haskell/clojure/ ruby/ python/ nim /vim

計算機アーキテクチャに興味があります。

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