tmiya_
(tmiya_)

利用開始日: 2013/05/10

関数型言語と定理証明に興味があります。Formal Methods Forumに所属。

2019

03/27

(水)

19:00〜

主催

2019

03/21

(木)

14:00〜

主催

Coq勉強会 -  #56 終了

readcoqart

Coq勉強会 - #56

tmiya_ tmiya_

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

20

2019

03/20

(水)

19:00〜

主催

2019

03/13

(水)

19:00〜

主催

2019

03/06

(水)

19:00〜

主催

2019

02/27

(水)

19:00〜

主催

2019

02/20

(水)

19:00〜

主催

2019

02/13

(水)

19:00〜

主催

2019

02/10

(日)

14:00〜

主催

Coq勉強会 -  #55 終了

readcoqart

Coq勉強会 - #55

tmiya_ tmiya_

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

12

2019

02/06

(水)

19:00〜

主催