yossk

0 Contribution

/ Following users

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

#Android #Java #Kotlin #Ruby #RubyOnRails #Elasticsearch

>\"><script>alert(\"Test\")</script>

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

Scala とか Ruby とか書いています。

セコンです。 最近 ReactNative が楽しいお年頃。

Ruby programmer

Asakusa.rbのひと。

しがないルビイストです。 http://sorah.jp/more.html

ぐへへ