@RyogaBarbie

Tech Enthusiast. Build things to make the world a happier place :)

株式会社ソニックガーデンのRubyプログラマ。「プロを目指す人のためのRuby入門」の著者、および「Everyday Rails - RSpecによるRailsテスト入門」の翻訳者。 プログラミングスクール「フィヨルドブートキャンプ」のメンターでもある。

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