@Mega80b

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

(\\( ⁰⊖⁰)/)

( ﾟρﾟ )ｱｩｰ

大学教員。 「型システム入門 (TAPL)」訳者の一人。 OCaml と Haskell が好きです。 かつては IT プランニングという企業において関数型プログラミング言語でソフトウェア開発をしていました。 ソフトウェア形式検証とプログラミング言語に興味があります。 博士（情報科学）。

misocaつくってました

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

D言語とか出来ます

「ご趣味は」 「Vimを少々…」

Haskellプログラマです。

ゆやりんです．ネットワークエンジニアです．

Univ. student

#Android #Java #Kotlin #Ruby #RubyOnRails #Elasticsearch

ロックフリーです。

<marquee>

nariさん

ほげぽよ～