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.

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

🐝ぼくの大すきな　MacBookPro バイト代で買った　MacBookPro とっても大事に　してたのに こわれて叩けない　キーがある どうしよう　どうしよう オ　パキャマラド パキャマラド　パオパオ パンパンパン オ　パキャマラド パキャマラド　パオパオパ🐝

リモートワークなプログラマー。サービス作ったり、アプリ作ったり、面白いこと色々やって楽しく生きてたい（そして、願わくば一発当てて早々にリタイアしたい。。。）動物占いは華やかな小鹿で性格は社交的な陰キャ。ウェブアプリとスマホアプリの開発がメインですが、基本なんでも書きますし、インフラも触ります。最近は機械学習もちらほら。