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

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.

TypeScriptが好きです

30代、文系、異業種転職フロントエンドエンジニア。 現代アートと映画好き。最近Javaの現場に異動。

Software Engineer

PHPerでRubyist。TiDDがマイブームです。