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