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.

数学をやっていました

数値計算屋さん．

I love reading OSS codes & arXiv papers. My interests: #QuantumComputing #Haskell #LEAN #LLVM #RISCV #p5 #q5mjs #OpenQL #processgraph #量子コンパイラ #未踏tg '18-'20.

趣味で数学とプログラムをやっている素人です。 所謂意識低い系。 何かあればコメントかtwitterへ。 これからはブログに投稿していくので、そちらへお願いします。

少人数で内製アプリケーション開発をやっている傍ら、数値計算を勉強しています。 記載内容は全ていち個人の見解です。