[株式会社ゼンク](https://zenk.co.jp/) の新米エンジニア

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.

RustとHaskellとAndroidとCLIツールと処理系好き。いつかRustかAndroidアプリ開発で仕事をしてみたい万年初心者。 Twitter（自称X）は@ogtkzkです。

<TODO: Fillin' those blanks>

ある時、とある事情により、HAYST法をお客様にコンサルすることが突如職務となったのでした。 それ以来、テスト設計、検証領域や、USDMの書き方、機能要求と品質要求を統合した(SysMLを使用した)系統図法による体系化など、 要求開発領域を含むソフトウェア品質領域のコンサルティング等(実績６０社以上)に従事しています。 2018年に富士ゼロックスを退職し、現職に就きました。

I love reading open source codes & papers in arXiv. My interests: #QuantumComputing #Haskell #量子情報. I'm @#OpenQL 未踏tg '18-'20.

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