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.

管理下のTechnowブログにお引越し中。 https://technow.grayrecord.com/

🗽Backend Engineer　🏢Future所属　📝会社の技術ブログ運営者　 ⛏趣味でGo製ツール開発してます　📢エモ記事はMediumに書いてます✨

都内でインフラエンジニアをやっています。

Edge AI, Scala, mbed, BLE, FPGA

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

Architect & founder of First Four Notes, LLC