ledsun

1898 Contribution

/ Following users

高校生

チームファシリテーター。 ふりかえり・カンバンなど、チームをよりよくするための活動を推進しています。 社内外でのイベントレポートも行います。 twitter: https://twitter.com/viva_tweet_x speakerdeck: https://speakerdeck.com/viva_tweet_x

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

週一ぐらいでなにか書きます。 いろいろお休み中。

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

Rubyのパパ

Professional Internet Engineer. 力武健次技術士事務所所長。

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

GOROmanです。

セコンです。

Developer Advocate at Google

I play Angular and pray for Angular. No Breaking Changes, No Life.

D言語とか出来ます