tmiya_
(tmiya_)

利用開始日: 2013/05/10

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

2017

09/08

(金)

09:00〜

申込済

PyCon JP 2017 開催前

PyCon JP

PyCon JP 2017

koedoyoshida koedoyoshida

東京都新宿区大久保3-4-1

483/570

2017

07/23

(日)

11:00〜

主催

申込済

Proof Summit 2017 開催前

Proof Summit

Proof Summit 2017

tmiya_ tmiya_

東京都中央区築地1丁目13−1 ADK松竹スクエア

57

2017

07/22

(土)

13:00〜

申込済

ML勉強会 #2 開催前

ML勉強会

ML勉強会 #2

インターネットの闇 インターネットの闇

東京都中央区築地1丁目13−1 ADK松竹スクエア

74/108

2017

06/30

(金)

19:30〜

申込済

Spark MLlibで動かすScala製機械学習サーバ【PredictionIO勉強会 #02】 開催前

D-Cube

Spark MLlibで動かすScala製機械学習サーバ【PredictionIO勉強会 #02】

dcubeio dcubeio

東京都渋谷区渋谷2-15-1 渋谷クロスタワー 12F

71/53

2017

06/27

(火)

19:20〜

申込済

Data Engineering and Data Analysis Workshop #1 開催前

CyberAgent

Data Engineering and Data Analysis Workshop #1

satorufujiwara satorufujiwara

東京都渋谷区円山町19番1号 (渋谷プライムプラザ4F)

115/90

2017

06/27

(火)

18:30〜

キャンセル

2017

06/23

(金)

18:30〜

キャンセル

2017

06/22

(木)

19:30〜

申込済

2017

06/11

(日)

14:00〜

主催

申込済

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

readcoqart

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

tmiya_ tmiya_

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

5/20

2017

06/05

(月)

19:00〜

申込済