@mathink

Following Users3

とある電機メーカーに勤めるソフト屋さんです。

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

関数型言語とかCoqとか

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

I'm a network designer.I work on TOPPERS SmallestSetProfile Kernel,MISRA-C, STARCRTLDesignStyleGuide (Verilog-HDL),HAZOP,ISO/IEC15504(AutomotiveSPICE),ISO26262