eldesh
(eldesh)

利用開始日: 05/13/2013

アレゲを目指すC++, ML, VeriFastプログラマ

2019

04/29

(Mon)

14:00〜

Organizing

Coq勉強会 -  #1 Public

readcoqart

Coq勉強会 - #1

tmiya_ tmiya_

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

19

2019

03/21

(Thu)

14:00〜

Organizing

Attending

Coq勉強会 -  #56 Ended

readcoqart

Coq勉強会 - #56

tmiya_ tmiya_

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

20

2019

03/02

(Sat)

13:00〜

Organizing

Attending

(会場と日程を変更しました) #静的コード解析の会 第9回 Ended

Metasepi

(会場と日程を変更しました) #静的コード解析の会 第9回

masterq masterq

東京都中央区日本橋2-7-1 (東京日本橋タワー)

18/45

2019

02/10

(Sun)

14:00〜

Organizing

Attending

Coq勉強会 -  #55 Ended

readcoqart

Coq勉強会 - #55

tmiya_ tmiya_

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

12

2019

01/12

(Sat)

14:00〜

Organizing

Attending

Coq勉強会 -  #54 Ended

readcoqart

Coq勉強会 - #54

tmiya_ tmiya_

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

12

2018

12/01

(Sat)

14:00〜

Organizing

Coq勉強会 -  #53 Ended

readcoqart

Coq勉強会 - #53

tmiya_ tmiya_

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

5

2018

11/03

(Sat)

14:00〜

Organizing

Coq勉強会 -  #52 Ended

readcoqart

Coq勉強会 - #52

tmiya_ tmiya_

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

6

2018

10/13

(Sat)

12:45〜

Organizing

Attending

#静的コード解析の会 第8回 Ended

Metasepi

#静的コード解析の会 第8回

masterq masterq

東京都千代田区神田須田町2-3-1 NBF神田須田町ビル7F

9/18

2018

09/17

(Mon)

14:00〜

Organizing

Attending

Coq勉強会 -  #51 Ended

readcoqart

Coq勉強会 - #51

tmiya_ tmiya_

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

10

2018

09/02

(Sun)

11:00〜

Organizing

Proof Summit 2018 Ended

Proof Summit

Proof Summit 2018

tmiya_ tmiya_

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

80/100