技術屋です。Qiitaでは主にRaspberry Piに関することを記述します。 Linuxに関してはど素人。よろしくお願いします。

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

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.

2013年に株式会社Azitを共同創業してから、幅広くプロダクト開発を担当しています。 2021年からはCTOになり、サーバーサイドの開発、技術戦略の立案ならびに実行、エンジニア採用等を担当しています。 普段は散歩や植物観察、写真が好きで長時間散歩をしたり、植物園に行って花の写真を撮ったりしています。

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