現在Zennを中心に活動していますが、様々なエンジニアに見てもらうという観点からこちらにも記事を投稿させて頂いています。

A proof developer and functional programmer on Tezos, CEO of proof ninja, Inc.

python-doc-jaで少し翻訳してます。組み込み系出身です。DeveloperExperienceや品質、コンプライアンス（ライセンス等の知財権尊重や利用者保護）に興味があります。 別途記載無い場合、投稿記事内の長ーいコードはzlibライセンスやBoostライセンスでご利用できます。短いコードは著作権を主張できないと考えてますのでご自由にどうぞ。

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.