tmiya_
(tmiya_)

利用開始日: 2013/05/10

関数型言語と定理証明に興味があります。Formal Methods Forumに所属。

2017

04/23

(日)

14:00〜

主催

申込済

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

readcoqart

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

tmiya_ tmiya_

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

5/20

2017

04/15

(土)

14:00〜

主催

申込済

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

readcoqart

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

tmiya_ tmiya_

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

4

2017

03/30

(木)

19:00〜

主催

「Pythonで体験する深層学習」勉強会 第5回 開催前

「Pythonで体験する深層学習」勉強会

「Pythonで体験する深層学習」勉強会 第5回

tmiya_ tmiya_

東京都渋谷区恵比寿南 3-5-7 (代官山デジタルゲートビル9階)

98/100

2017

03/29

(水)

2017

03/22

(水)

2017

03/15

(水)

2017

03/05

(日)

14:00〜

主催

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

readcoqart

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

tmiya_ tmiya_

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

2

2017

02/18

(土)

14:00〜

主催

"Category theory in context" 読書会 #5 終了

readcoqart

"Category theory in context" 読書会 #5

tmiya_ tmiya_

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

4/20

2017

02/08

(水)

19:00〜

主催

「Pythonで体験する深層学習」勉強会 第4回 終了

「Pythonで体験する深層学習」勉強会

「Pythonで体験する深層学習」勉強会 第4回

tmiya_ tmiya_

東京都渋谷区恵比寿南 3-5-7 (代官山デジタルゲートビル9階)

87/150

2017

02/04

(土)

14:00〜

主催

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

readcoqart

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

tmiya_ tmiya_

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

4