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

627/620

2017

08/27

(日)

14:00〜

主催

申込済

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

readcoqart

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

tmiya_ tmiya_

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

5/20

2017

08/17

(木)

15:00〜

キャンセル

2017

07/23

(日)

11:00〜

主催

申込済

Proof Summit 2017 終了

Proof Summit

Proof Summit 2017

tmiya_ tmiya_

東京都中央区築地1-13-1(銀座松竹スクエア13F)

64/108

2017

07/22

(土)

13:00〜

申込済

ML勉強会 #2 終了

ML勉強会

ML勉強会 #2

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

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

59/108

2017

07/14

(金)

19:00〜

キャンセル

シミュレーションとベイズモデリング(岩波データサイエンス Vol.6刊行記念) 終了

シミュレーションとベイズモデリング(岩波データサイエンス Vol.6刊行記念)

iwanamiDS iwanamiDS

〒104-8441 東京都中央区築地1-13-1 銀座松竹スクエア13階

103/116

2017

06/30

(金)

19:30〜

キャンセル

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

D-Cube

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

dcubeio dcubeio

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

45/83

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)

76/90

2017

06/27

(火)

18:30〜

キャンセル

2017

06/23

(金)

18:30〜

キャンセル