Hiroyuki Ota

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

D言語とか出来ます

ジュエルペット

YUKI.N> coding beauty_

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