dr4caena

https://www.facebook.com/m.umezome https://twit...

tmiya_

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