tmiya_
関数型言語と定理証明に興味があります。Formal Methods Forumに所属。
nagaet
最近は伊藤潤二の作品を好んで読んでいます。
eldesh
アレゲを目指すC++, ML, VeriFastプログラマ
yugawara
florets1
tektek
coqtokyo
お友達がイベントを開催したり、イベントを申し込んだりすると、メールで通知がきたり、トップページに表示されたりします。
詳しくはこちら
先着順で参加者が決定されるのではなく、抽選で参加者が決定します。
抽選結果は、「抽選発表日」にメールで通知されます。また、「抽選発表日」以降であれば、参加者一覧ページでも確認できます。