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.

Languages: Ruby, Swift, Kotlin, Scala, TypeScript, etc... Full stack developer

ヾ(　　l　　 _　　 l　　〃)ﾉﾞﾄﾞﾝ☆

メルカリ／メルペイ所属。バックエンドエンジニアとして日々Goを書いている。Google Developer Expert (Go)。一般社団法人Gophers Japan代表。Go Conference主催者。大学時代にGoに出会い、それ以来のめり込む。人類をGopherにしたいと考え、Goの普及に取り組んでいる。複数社でGoに関する技術アドバイザーをしている。

ブログ移行しました。 「人と一緒に働くロボット」のUI/UXをつくっています。

((lambda (x) (x x)) (lambda (x) (x x)))

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