tmiya_
関数型言語と定理証明に興味があります。Formal Methods Forumに所属。
Miura Kosuke
Interested in Automobile, Linux and Mathematics...
naca_nyan
音楽が好き
nagaet
最近は伊藤潤二の作品を好んで読んでいます。
saka_bar (Sakaki)
coqtokyo
お友達がイベントを開催したり、イベントを申し込んだりすると、メールで通知がきたり、トップページに表示されたりします。
詳しくはこちら