英雄 寺田

AIによる会議計測ツール「minmeeting」を開発。TOKYO STARTUP GATEWAY2018ファイナリスト、TOKYO STARTUP DEGAWA優勝。日経BP社と共同通信社にコラム連載。

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.

空気の読める機械を目指して。