SUHARA Hiromichi
(suharahiromichi)
利用開始日: 2012/10/28
ProofCafe -名古屋Coq勉強会- の共同主催者です。
問い合わせは、twitter の 私宛のDMでお願いします。
2019
/
09/29
(日)11:00〜
申込済
2017
/
07/23
(日)11:00〜
申込済
ProofCafe -名古屋Coq勉強会- の共同主催者です。
問い合わせは、twitter の 私宛のDMでお願いします。
2019
/
09/29
(日)11:00〜
申込済
2017
/
07/23
(日)11:00〜
申込済