tmiya_
(tmiya_)

利用開始日: 2013/05/10

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

2017

04/28

(金)

19:00〜

キャンセル

フローベースドプログラミング勉強会 #ApacheNiFi #NodeRED 終了

Future of Data データ活用について考えよう

フローベースドプログラミング勉強会 #ApacheNiFi #NodeRED

kkitase kkitase

東京都新宿区新宿6-27-30 新宿イーストサイドスクエア13階

77/100

2017

04/27

(木)

19:00〜

キャンセル

GPU Deep Learning Community #4 終了

GPU Deep Learning Community

GPU Deep Learning Community #4

Tomokazu Kanazawa Tomokazu Kanazawa

東京都港区港南2-16-3 (品川グランドセントラルタワー)

106/157

2017

04/25

(火)

19:00〜

キャンセル

Gunosyデータマイニング研究会 #119 終了

Gunosyデータマイニング研究会

Gunosyデータマイニング研究会 #119

yoshifumi_seki yoshifumi_seki

東京都港区六本木6-10-1六本木ヒルズ森タワー25階

39/50

2017

04/23

(日)

14:00〜

主催

申込済

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

readcoqart

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

tmiya_ tmiya_

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

8/20

2017

04/21

(金)

15:00〜

キャンセル

2017

04/15

(土)

14:00〜

主催

申込済

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

readcoqart

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

tmiya_ tmiya_

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

6

2017

04/13

(木)

18:30〜

キャンセル

第一回 統計的学習のエレメンツ読み会 終了

「統計的学習のエレメンツ」読み会

第一回 統計的学習のエレメンツ読み会

シバタアキラ シバタアキラ

〒100-6510 東京都千代田区丸の内1-5-1 新丸の内ビルディング 9階

15/19

2017

04/01

(土)

15:00〜

申込済

Global Tokyo.R #2 終了

Japan.R

Global Tokyo.R #2

gepuro gepuro

東京都千代田区丸の内1-9-2 グラントウキョウサウスタワー

47/100

2017

03/31

(金)

19:00〜

キャンセル

JAWS-UG : HPC#9 & AI#5 合同勉強会 終了

JAWS-UG HPC専門支部

JAWS-UG : HPC#9 & AI#5 合同勉強会

jawsug-hpc jawsug-hpc

東京都目黒区下目黒1-8-1 アルコタワー19F

121/122