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の投稿はすべてCC0、パブリックドメインです。 http://creativecommons.org/publicdomain/zero/1.0/deed.ja