@risgk

スパコン製作、無線、登山、ドライブ、サイエンスを楽しんでいるニコ厨です。 不束者ですがよろしくお願いします。 ニコ：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.

定理証明系や論理プログラミングに興味をもっています。

The creator of the Egison programming language.

Hello