@mathink

フォロー中のタグ18
フォロー中のユーザー3

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

関数型言語とかCoqとか

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

人工知能とブロックチェーン、スマートコントラクトに関心があります。

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