SUHARA Hiromichi
ProofCafe -名古屋Coq勉強会- の共同主催者です。 問い合わせは、twitter ...
お友達がイベントを開催したり、イベントを申し込んだりすると、メールで通知がきたり、トップページに表示されたりします。
詳しくはこちら