masateruk
(masateruk)

利用開始日: 08/19/2016

ロボットのプログラム作ってます。形式手法を実践するため勉強と試行の日々。モデル検査/プロセス代数/Spin/Alloy/CSPなど。

2019

05/17

(Fri)

13:00〜

Attending

Open QA4AI Conference Ended

QA4AI

Open QA4AI Conference

OgawaHideto OgawaHideto

東京都台東区東上野二丁目16番1号

309/324

2018

12/14

(Fri)

18:00〜

Attending

第1回AI4SEセミナー Ended

AI4SE

第1回AI4SEセミナー

yoriyuki yoriyuki

東京都千代田区一ツ橋2-1-2

102/84

2018

11/03

(Sat)

11:30〜

Cancel

XX for ML 論文読み会 #1 Ended

機械学習工学研究会(MLSE)

XX for ML 論文読み会 #1

bonotake bonotake

東京都千代田区一ツ橋2-1-2

106/61

2018

11/03

(Sat)

10:00〜

Lottery

XX for ML 論文読み会 #1 Canceled

機械学習工学研究会(MLSE)

XX for ML 論文読み会 #1

bonotake bonotake

東京都 千代田区一ツ橋2丁目1−2

117/66

2018

09/02

(Sun)

11:00〜

Attending

Proof Summit 2018 Ended

Proof Summit

Proof Summit 2018

tmiya_ tmiya_

東京都中央区銀座5-15-1(南海東京ビル)

80/100

2018

08/29

(Wed)

18:00〜

Attending

2018

05/17

(Thu)

2018

05/17

(Thu)

14:00〜

Attending

機械学習工学研究会 キックオフシンポジウム Ended

機械学習工学研究会(MLSE)

機械学習工学研究会 キックオフシンポジウム

bonotake bonotake

東京都千代田区一ツ橋 2-1-2 学術総合センター内

661/625

2018

03/31

(Sat)

13:00〜

Attending

ML Day #1 Ended

ML勉強会

ML Day #1

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

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

57/102

2017

07/23

(Sun)

11:00〜

Cancel

Proof Summit 2017 Ended

Proof Summit

Proof Summit 2017

tmiya_ tmiya_

東京都中央区銀座5-15-1(南海東京ビル)

64/108