alpha_kai_NET

212 Contribution

/ Following users

PHPがかろうじてできる程度の弱小PHPer

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

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

Haskellプログラマです。

僕に警備する自宅をください。Emacs初心者。Rubyist。 全ての投稿された記事は別段の表記がない限りはCC 3.0 BY-SA https://creativecommons.org/licenses/by-sa/3.0/deed.ja で二次利用できます。 記事中に含まれる全てのコードスニペットの著作権は抛棄するので、煮るなり焼くなりお好きにどうぞ。

D言語とか出来ます