Scala好き。Haskell, Coq, Agda, Spark, 機械学習はまだミテルだけ

独学スタートのFront-Endよりの開発者。自動化好き。

✳︎このニンゲンは　ユーモアのセンスは　ないようだ…

AWS Samurai 2017 Alexa Champions

外資系IT企業でエンジニアをしています。 市役所職員→外資系企業にて営業→タイで駐在経験→エンジニア(カンボジア、フィリピン、マレーシア) →複数企業でPM→独立→サラリーマンに戻る（今）

ヌルスタックエンジニア🔰 衝動で生きてる ※記事の内容は所属組織とは関係ありません

テクニカルディレクター

I'm a network designer.I work on TOPPERS SmallestSetProfile Kernel,MISRA-C/C++, STARC RTL Design StyleGuide (Verilog-HDL), and HAZOP.I was an editor of ISO/IEC 15504.