@c0hama

C++, Ruby．型付けは強いほうが好きで静的派．計算機言語つくったりデスクトップアプリつくったりエディタプラグインつくったりが楽しい．

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

クックック……。我が名は暗黒美夢王。闇のエディタに抱かれて消えろ！ （こんにちは。Shougoです。Vimが好きです）

くぁ

Windowsストアアプリとか、iPhoneアプリとかやってます。

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

よんたった