kencoba
(kencoba)

利用開始日: 02/24/2014

形式手法(Alloy,Coq,ACL2,SPINとか)、数学(基礎論,圏論とか)勉強中です。興味のある方はメッセージいただけると嬉しいです。みんな教えてください。Formal Methods Forum運営してます。https://groups.google.com/group/fm-forum

2019

04/24

(Wed)

19:00〜

Cancel

AIと機械学習を成功させる「DataRobot」無料ハンズオン!!   #NSStudy 15 Ended

NSStudy

AIと機械学習を成功させる「DataRobot」無料ハンズオン!! #NSStudy 15

NEXTSCAPE NEXTSCAPE

東京都新宿区西新宿2-7-1(小田急第一生命ビル22階)

14/25

2016

11/18

(Fri)

18:30〜

Cancel

BigData-JAWS 勉強会#3 Ended

JAWS-UGビッグデータ支部

BigData-JAWS 勉強会#3

fetaro fetaro

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

27/30

2014

02/27

(Thu)

19:30〜

Attending

NSStudy #1 Ended

NSStudy

NSStudy #1

aoki1210 aoki1210

東京都新宿区西新宿2-7-1 小田急第一生命ビル 15階 豆蔵トレーニングルームB

9/15

kencoba

kencobaさんのフォロワー 0

フォロワーはいません。