Joined December 2011
·
tmiya_

Takashi Miyamoto

Tokyo, JAPAN
·
·

関数型言語と定理証明に興味があります。Formal Methods Forumに所属。

Achievements
1 Karma
0 Followers
0 Total ProTip Views
Interests & Skills
Haskell
OCaml
Scala
Java
Maude
Alloy
Coq
Formal Methods