mizukami

mizukami's Profile

ProfileLast updated:

Hatena ID
norainu234
Nickname
mizukami
Self introduction

経営とエンジニアリングをやっています。

大学で数学、大学院はType Theoryや定理証明支援器を学んでいましたが、金に目がくらんで社会塵になってしまいました。

速くキレイにコードを書いたり、矛盾やバグの少ない仕様を決めるのは得意ですが、低レイヤーの技術はあまり強くありません。

技術以外に興味のある分野: プロダクトマネジメント、経済学、金融工学、魚