mizukami

mizukamiさんのプロフィール

プロフィール最終更新日:

はてなID
norainu234
ニックネーム
mizukami
自己紹介

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

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

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

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