bleis

107 Contribution

/ Following users

主要な開発言語は軒並み扱えるオールラウンドプログラマです。JavaメインでScalaとかGroovyとかいじってWEBサービス作っとります。

I love programming with Haskell.

C#スコシワカル

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

niconicoの基盤システムであるDMCをCoqで証明しています。

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

D言語とか出来ます

Haskellプログラマです。

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

不気味ないいねと編集リクエストが届き始めたので、このアカウントは閲覧専用になります。 有益なコメントを頂いている以外の記事は個人サイトに移転しました。

コピペプログラマ