tmiya_
関数型言語と定理証明に興味があります。Formal Methods Forumに所属。
nagaet
最近は伊藤潤二の作品を好んで読んでいます。
florets1
ke_ta3
数学科、情報科学研究科を経て医学部。確率シミュレーションとか画像解析とかのお仕事もちょこちょこ...
eldesh
アレゲを目指すC++, ML, VeriFastプログラマ
coqtokyo
お友達がイベントを開催したり、イベントを申し込んだりすると、メールで通知がきたり、トップページに表示されたりします。
詳しくはこちら