プロフィール最終更新日:
- はてなID
- norainu234
- ニックネーム
- mizukami
- 自己紹介
-
経営とエンジニアリングをやっています。
大学で数学、大学院はType Theoryや定理証明支援器を学んでいましたが、金に目がくらんで社会塵になってしまいました。
速くキレイにコードを書いたり、矛盾やバグの少ない仕様を決めるのは得意ですが、低レイヤーの技術はあまり強くありません。
技術以外に興味のある分野: プロダクトマネジメント、経済学、金融工学、魚
