SUHARA Hiromichi
(suharahiromichi)

Usage start date: 10/28/2012

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

Your Groups

2023

05/30

（Tue）

19:00〜

Attending

coqtokyo 第8回MathComp Book勉強会 Ended

coqtokyo

coqtokyo 第8回MathComp Book勉強会

tmiya_ tmiya_ 他

オンライン

8

2023

05/16

（Tue）

19:00〜

Attending

coqtokyo 第7回MathComp Book勉強会 Ended

coqtokyo

coqtokyo 第7回MathComp Book勉強会

tmiya_ tmiya_ 他

オンライン

12

2023

04/25

（Tue）

19:00〜

Attending

coqtokyo 第6回MathComp Book勉強会 Ended

coqtokyo

coqtokyo 第6回MathComp Book勉強会

tmiya_ tmiya_ 他

オンライン

10

2023

04/11

（Tue）

19:00〜

Attending

coqtokyo 第5回MathComp Book勉強会 Ended

coqtokyo

coqtokyo 第5回MathComp Book勉強会

tmiya_ tmiya_ 他

オンライン

9

2023

03/28

（Tue）

19:00〜

Attending

coqtokyo 第4回MathComp Book勉強会 Ended

coqtokyo

coqtokyo 第4回MathComp Book勉強会

tmiya_ tmiya_ 他

オンライン

11

2023

03/24

（Fri）

18:30〜

Attending

第四回関数型プログラミング（仮）の会 Ended

Opt Technologies/オプトテクノロジーズ

第四回関数型プログラミング（仮）の会

kmizu kmizu 他

オンライン

208/261

2023

02/21

（Tue）

19:00〜

Attending

coqtokyo 第2回MathComp Book勉強会 Ended

coqtokyo

coqtokyo 第2回MathComp Book勉強会

tmiya_ tmiya_ 他

オンライン

10

2023

02/07

（Tue）

19:00〜

Attending

coqtokyo 第1回MathComp Book勉強会 Ended

coqtokyo

coqtokyo 第1回MathComp Book勉強会

tmiya_ tmiya_ 他

オンライン

12

2022

12/13

（Tue）

19:00〜

Attending

coqtokyo 第35回Ssreflect勉強会 Ended

coqtokyo

coqtokyo 第35回Ssreflect勉強会

tmiya_ tmiya_ 他

オンライン

4

2022

11/22

（Tue）

19:00〜

Attending

coqtokyo 第34回Ssreflect勉強会 Ended

coqtokyo

coqtokyo 第34回Ssreflect勉強会

tmiya_ tmiya_ 他

オンライン

4