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.

凝った記事は Zenn <https://zenn.dev/lotz> に書いていきます

HaskellとWebAssemblyとプリキュアが好き。よく眠り、よくコードを書きたい。 今はHaskell関係の記事は https://haskell.jp/blog に書いております。

最近の記事はタグが5つじゃ足りない。

記事の多くはメモ、当方での動作検証結果がメインで現時点での再現性を保証するものではありません。 引用する際は引用先を明示して行うよう心がけておりますが抜けている箇所、事実と異なるや技術的問題等ある箇所がありましたら御一報ください