@phithon

Speeeサーバサイドスペシャリスト Scala/Rubyエンジニア

iOSとかAndroidとかRuby on RailsとかReactのアプリ開発したりしてました

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