スパコン製作、無線、登山、ドライブ、サイエンスを楽しんでいるニコ厨です。 不束者ですがよろしくお願いします。 ニコ：https://nicovideo.jp/user/84757291 X:https://x.com/dmepjp 依頼等ご自由に ディアちゃんマジ天使 いいね・ストックいただけますと幸いです

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.

神奈川で社会人してます。

A proof developer and functional programmer on Tezos, CEO of proof ninja, Inc.