noriaki watanabe

フロントエンドエンジニア

Webエンジニア - Vim, Ruby, ansible, docker

レシピサービスを開発しています。 Qiita, Qiita:Team, Qiita Jobs を開発していました。趣味では Rust とシェルスクリプトをよく書きます。

Bullet Train core team member

Haskeller, Vimmer, Engineer.

A proof developer and functional programmer on Tezos, CEO of proof ninja, Inc.

nariさん

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