eldesh
(eldesh)

Usage start date: 05/13/2013

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

2020

02/21

(Fri)

18:00〜

Waitlist

型システム祭り 中止

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

型システム祭り

kmizu kmizu

東京都千代田区四番町6番 東急番町ビル

229/115

2019

12/15

(Sun)

14:00〜

Organizing

Attending

Coq勉強会 -  #8 Ended

readcoqart

Coq勉強会 - #8

tmiya_ tmiya_

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

10

2019

11/03

(Sun)

14:30〜

Organizing

Attending

Coq勉強会 -  #7 Ended

readcoqart

Coq勉強会 - #7

tmiya_ tmiya_

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

10

2019

10/14

(Mon)

14:30〜

Organizing

Attending

Coq勉強会 -  #6 Ended

readcoqart

Coq勉強会 - #6

tmiya_ tmiya_

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

12

2019

09/29

(Sun)

11:00〜

Organizing

Attending

Proof Summit 2019 Ended

Proof Summit

Proof Summit 2019

tmiya_ tmiya_

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

66/69

2019

08/31

(Sat)

14:00〜

Organizing

Attending

Coq勉強会 -  #5 Ended

readcoqart

Coq勉強会 - #5

tmiya_ tmiya_

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

11

2019

07/28

(Sun)

14:00〜

Organizing

Attending

Coq勉強会 -  #4 Ended

readcoqart

Coq勉強会 - #4

tmiya_ tmiya_

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

10

2019

07/06

(Sat)

13:00〜

Cancel

Anil/Oleg先生と学ぶML Day Ended

ML勉強会

Anil/Oleg先生と学ぶML Day

κeen κeen

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

24/31

2019

06/23

(Sun)

14:00〜

Organizing

Attending

Coq勉強会 -  #3 Ended

readcoqart

Coq勉強会 - #3

tmiya_ tmiya_

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

10