sat0_da
(sat0_da)

利用開始日: 02/20/2013

2017

09/16

(Sat)

14:00〜

Attending

Coq勉強会 - (SF読み進捗ダメです会議) -  #42 Ended

readcoqart

Coq勉強会 - (SF読み進捗ダメです会議) - #42

tmiya_ tmiya_

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

3

2017

08/20

(Sun)

14:00〜

Attending

Coq勉強会 - (SF読み進捗ダメです会議) -  #41 Ended

readcoqart

Coq勉強会 - (SF読み進捗ダメです会議) - #41

tmiya_ tmiya_

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

5

2017

07/23

(Sun)

11:00〜

Attending

Proof Summit 2017 Ended

Proof Summit

Proof Summit 2017

tmiya_ tmiya_

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

64/108

2016

09/25

(Sun)

11:00〜

Attending

Proof Summit 2016 Ended

Proof Summit

Proof Summit 2016

tmiya_ tmiya_

35.027611, 135.783778

39/60

2015

09/13

(Sun)

11:30〜

Attending

関数プログラミング交流会(参加者用) Ended

関数プログラミング交流会(参加者用)

pocketberserker pocketberserker

東京都中央区銀座4-12-15

97/101

2015

09/12

(Sat)

13:00〜

Attending

Proof Summit 2015 Ended

Proof Summit

Proof Summit 2015

tmiya_ tmiya_

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

56/72

2015

03/21

(Sat)

10:00〜

Attending

モナド基礎勉強会 vol.2 Ended

基礎勉強会

モナド基礎勉強会 vol.2

kyon_mm kyon_mm

名古屋市千種区不老町

47/59

2014

10/25

(Sat)

11:30〜

Waitlist

函数型なんたらの集い 2014 in Tokyo Ended

函数型なんたらの集い 2014 in Tokyo

pocketberserker pocketberserker

東京都中央区銀座4-12-15

94/82

2014

07/02

(Wed)

19:00〜

Attending

Lispインタープリター勉強会 Ended

Lispインタープリター勉強会

mika.koyama mika.koyama

東京都中央区晴海 1-8-10 (トリトンスクエアタワーX 14階)

28/22

2013

02/23

(Sat)

10:00〜

Attending

SphinxCon JP 2013 Spring (OSC併設イベント) Ended

Sphinx-users.jp

SphinxCon JP 2013 Spring (OSC併設イベント)

tk0miya tk0miya

東京都日野市程久保2丁目1−1

34/40

sat0_da