keigoi

keigoiさんのプロフィール

OCaml/Haskellプログラマ。関数型言語、形式手法、プログラム解析でソフトウェア開発の効率化を目指す。