@masatubo

https://zenn.com/laiso に投稿しがちです

I like programming!

Emacs とキーボードがすき

I like programming :)

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

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

プログラミング学習サイトの運営などなど。ハイラル王国を徘徊中。