はてなブログ： http://yuchiki1000yen.hatenablog.com/ C#や型理論、形式検証に興味があります

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.

Qiita株式会社デザイナー | マネージャー | エバンジェリストしています。UI, フロントエンド周りのことを発信しているデザイナー自認です。Design/UX/プロダクトマネジメント/HTML/CSS/アクセシビリティ/React/フロントエンド