@ryutorion

Webエンジニアです。BlenderとWebGLと漫画が大好きです ◆ソース http://github.com/naotaro0123

Haskellプログラマです。

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

nariさん

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