@rika0618

IntelliJが好きだーーー！！

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

テレコム担当SAチームのマネージャをやっています。以前はOpenShift(Docker+Kubernetes+α)を担当してました。IoT、エンタープライズ系JavaとG*(Groovy,Gradleなど)およびDevOps系もそれなりに経験ありです。

株式会社カオナビCTO。SIer2社→サイバーエージェント→トランスリミットCTOを経験。「開発効率をUPする Git逆引き入門」「Slack入門」など執筆。AWS/Node.js/Ruby/Python/PHP/Go

CとかScalaとかGroovyとかClojureとか好物です。長いコードの著作権はCC BYで

日本のQA/テストエンジニア。ウェブとちっさいパソコンとふとんがすき。

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

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

Hello, World.

Developer Advocate at Google