QiitaはTwitter

40代　IT未経験　男性。 PyQのお世話になり勉強中です。 ポートフォリオ作成を目指します。

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

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.

The creator of the Egison programming language.

神奈川で社会人してます。

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