hota911

9 Contribution

/ Following users

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

D言語とか出来ます

三度の飯とお金が好きです。動くと分かってるものが動くとうれしい

ジュエルペット

YUKI.N> coding beauty_

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