@risgk

Following Users88

I'm a network designer.I work on TOPPERS SmallestSetProfile Kernel,MISRA-C, STARC RTL Design StyleGuide (Verilog-HDL),HAZOP,ISO/IEC15504(AutomotiveSPICE),ISO26262. I was an editor on ISO/IEC 15504.

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

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

The creator of the Egison programming language.

Hello