Events (69)

Ended 2017/04/23(Sun) 14:00〜

"ベーシック圏論" 読書会 #7

tmiya_ tmiya_

東京都渋谷区恵比寿西1-7-7 (EBSビル8階)

8/20

Ended 2017/04/15(Sat) 14:00〜

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

tmiya_ tmiya_

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

6

Ended 2017/03/05(Sun) 14:00〜

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

tmiya_ tmiya_

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

2

Ended 2017/02/18(Sat) 14:00〜

"Category theory in context" 読書会 #5

tmiya_ tmiya_

東京都渋谷区恵比寿西1-7-7 (EBSビル8階)

4/20

Ended 2017/02/04(Sat) 14:00〜

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

tmiya_ tmiya_

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

4

Ended 2017/01/21(Sat) 14:00〜

"Category theory in context" 読書会 #4

tmiya_ tmiya_

東京都渋谷区恵比寿西1-7-7 (EBSビル8階)

8/20

Ended 2017/01/07(Sat) 14:00〜

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

tmiya_ tmiya_

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

7

Ended 2016/12/17(Sat) 14:00〜

"Category theory in context" 読書会 #3

tmiya_ tmiya_

東京都渋谷区恵比寿西1-7-7 (EBSビル8階)

8/15

Ended 2016/12/03(Sat) 14:00〜

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

tmiya_ tmiya_

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

4

Ended 2016/11/26(Sat) 14:00〜

"Category theory in context" 読書会 #2

tmiya_ tmiya_

東京都渋谷区恵比寿西1-7-7 (EBSビル8階)

7/15