@oropon

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

Python Golang

元kubell(旧Chatwork)（2014-2023）テックリード。業界歴25年以上。大規模メッセージングシステムの設計・開発を担当。現在はIDEO;PLUSにて技術顧問・開発支援を行い、DDD/CQRS導入支援やアーキテクチャ設計の指導を提供中。

I'm a horse racing fan, a programmer, a mercurial evangelist in Japan. Live in #mercurialjp #TokyoMercurial .

Ruby programmer

Lazy programmer.

数学青春物語『数学ガール』の作者。プログラミング入門書や暗号入門書なども書いてます。

Haskellプログラマです。

grpc-gatewayというのを作ったり、『初めてのRuby』という本を書いたりした。界面と架橋が好き

Coqなどによるプログラムの正しさの検証・証明に興味があります。

プログラミング学習サイトの運営などなど。ハイラル王国を徘徊中。