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/21

(金)

15:00〜

抽選中

2017

04/15

(土)

14:00〜

主催

申込済

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

readcoqart

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

tmiya_ tmiya_

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

4

2017

04/01

(土)

15:00〜

申込済

Global Tokyo.R #2 開催前

Japan.R

Global Tokyo.R #2

gepuro gepuro

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

35/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

164/122

2017

03/28

(火)

19:00〜

申込済

Gunosyデータマイニング研究会 #117 開催前

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

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

yoshifumi_seki yoshifumi_seki

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

42/50

2017

03/24

(金)

19:30〜

申込済

2017

03/14

(火)

19:00〜

申込済

D&S Data Night vol.05 (分析環境) 終了

Yahoo! JAPAN データ&サイエンス Workshop

D&S Data Night vol.05 (分析環境)

ds-seminar ds-seminar

東京都千代田区紀尾井町1-3 (東京ガーデンテラス紀尾井町 紀尾井タワー)

121/100

2017

03/13

(月)

19:30〜

キャンセル

【増席】HR Tech x 機械学習 x AWS(Machine Learning)活用事例紹介 終了

D-Cube

【増席】HR Tech x 機械学習 x AWS(Machine Learning)活用事例紹介

dcubeio dcubeio

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

73/100

2017

03/12

(日)

13:30〜

キャンセル