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

読んだものをストックします

Languages: Ruby, Swift, Kotlin, Scala, TypeScript, etc... Full stack developer

ヾ(  l   _   l  〃)ノ゙ドン☆

私たちはロボットスタートはロボット市場に向けて新しい「何か」を提供します。一緒にロボットの世界をスタートさせましょう!https://www.facebook.com/robotstartcojp

科学計算・関数型言語・ウェブデザインなどに興味あり。

得意な言語はJava、好きな言語はHaskell

niconicoの基盤システムであるDMCをCoqで証明しています。