eldesh
(eldesh)

Usage start date: 05/13/2013

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

2022

01/21

(Fri)

2021

12/17

(Fri)

16:00〜

Attending

2021

10/01

(Fri)

2021

07/20

(Tue)

19:00〜

Attending

2021

01/28

(Thu)

19:00〜

Attending

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

coqtokyo

Coq勉強会 - #8

tmiya_ tmiya_

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

10

2019

11/03

(Sun)

14:30〜

Organizing

Attending

Coq勉強会 -  #7 Ended

coqtokyo

Coq勉強会 - #7

tmiya_ tmiya_

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

10

2019

10/14

(Mon)

14:30〜

Organizing

Attending

Coq勉強会 -  #6 Ended

coqtokyo

Coq勉強会 - #6

tmiya_ tmiya_

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

12