corocn

9 Contribution

/ Following users

セキュリティ、認証・認可、API 管理などのお仕事させてもらっています。 現在はAuth0 Inc.でSales Engineerとして日本での立ち上げに参画しています。

SIer、社内SEを経て、ソニックガーデンに合流したプログラマ。 「プロを目指す人のためのRuby入門」の著者。 http://gihyo.jp/book/2017/978-4-7741-9397-7 および「Everyday Rails - RSpecによるRailsテスト入門」の翻訳者。 https://leanpub.com/everydayrailsrspec-jp

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

PerlとEmacsが好きです。

Student of univ. Programming is so fun. :)