@c0hama

言語は最近は C#, Javaあたりがメイン。端末VimからIDEに移行。IntelliJすごい。Qiitaでの記事やその中の主張は、所属している企業/団体の意見を代表するものではありません。

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

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

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

くぁ

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

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

よんたった