syocy

3 Contribution

/ Following users

ゲームプログラマ

Go engineer / Gopher artist

大人になりたくない豚

Flashでゲームとか作ってます

チィーッス

数学青春物語『数学ガール』の作者。プログラミング入門書や暗号入門書なども書いてます。

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

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

One of implementations of june29.