SUHARA Hiromichi
(suharahiromichi)

Usage start date: 10/28/2012

ProofCafe -名古屋Coq勉強会- の共同主催者です。
問い合わせは、twitter の 私宛のDMでお願いします。

2019

09/29

(Sun)

11:00〜

Attending

Proof Summit 2019 Ended

Proof Summit

Proof Summit 2019

tmiya_ tmiya_

東京都中央区銀座 4-12-15 歌舞伎座タワー21階

66/69

2017

07/23

(Sun)

11:00〜

Attending

Proof Summit 2017 Ended

Proof Summit

Proof Summit 2017

tmiya_ tmiya_

東京都中央区銀座5-15-1(南海東京ビル)

64/108