eldesh
(eldesh)

Usage start date: 05/13/2013

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

Your Groups

2022

11/10

（Thu）

19:00〜

Attending

みんなのPython勉強会#87 Ended

Start Python Club

みんなのPython勉強会#87

Takeshi Akutsu Takeshi Akutsu 他

オンライン

169

2022

01/21

（Fri）

18:30〜

Attending

第二回関数型プログラミング（仮）の会 Ended

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

第二回関数型プログラミング（仮）の会

kmizu kmizu 他

オンライン

201/511

2021

12/17

（Fri）

16:00〜

Attending

IBM Cloud Festa Online 2021 Winter Ended

IBM Tech/Developer Dojo

IBM Cloud Festa Online 2021 Winter

IBMDevJP IBMDevJP 他

オンライン

236

2021

10/01

（Fri）

18:30〜

Attending

第一回関数型プログラミング（仮）の会 Ended

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

第一回関数型プログラミング（仮）の会

kmizu kmizu 他

オンライン

567/1015

2021

07/20

（Tue）

19:00〜

Attending

coqtokyo 第1回Ssreflect勉強会 Ended

coqtokyo

coqtokyo 第1回Ssreflect勉強会

yoshihiro503 yoshihiro503

オンライン

19

2021

01/28

（Thu）

19:00〜

Attending

Container Runtime Meetup #3 Ended

Container Runtime Meetup

Container Runtime Meetup #3

Kohei Tokunaga Kohei Tokunaga 他

オンライン

430

2020

04/19

（Sun）

15:00〜

Attending

デッドロック発見器を作って学ぶマルチスレッドプログラミング ★メッセージ通信編★ Ended

PRINCIPIA

デッドロック発見器を作って学ぶマルチスレッドプログラミング ★メッセージ通信編★

hatsugai hatsugai

オンライン

5/10

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