eldesh
(eldesh)

利用開始日: 05/13/2013

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

2019

05/26

(Sun)

13:00〜

Attending

effect system勉強会 Public

effect system勉強会

びしょ〜じょ びしょ〜じょ

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

86/70

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

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/16

(Sun)

13:00〜

Attending

ML Day#2 Ended

ML勉強会

ML Day#2

インターネットの闇 インターネットの闇

東京都中央区銀座5-15-1 南海東京ビルディング3F

80/100

2018

07/29

(Sun)

14:00〜

Organizing

Attending

Coq勉強会 -  #50 Ended

readcoqart

Coq勉強会 - #50

tmiya_ tmiya_

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

7

2018

07/27

(Fri)

15:00〜

Waitlist

The continuing evolution of C++ Ended

UTokyo IST

The continuing evolution of C++

chibash chibash

工学部2号館212号講義室

340/180