tmiya_
(tmiya_)

Usage start date: 05/10/2013

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

2020

12/08

(Tue)

2020

09/06

(Sun)

2020

01/20

(Mon)

19:00〜

Attending

情報幾何勉強会 Ended

科学計算総合研究所

情報幾何勉強会

horiem horiem

東京都千代田区紀尾井町1-3 17F

169

2019

07/10

(Wed)

19:00〜

Attending

CounterFactual Machine Learning勉強会 #1 Ended

CFML勉強会

CounterFactual Machine Learning勉強会 #1

housecat442 housecat442

東京都渋谷区宇田川町40番1号

201/105

2018

09/25

(Tue)

19:00〜

Cancel

Machine Learning Casual Talks #6 Ended

Machine Learning Casual Talks

Machine Learning Casual Talks #6

chezou chezou

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

94/63

2018

09/02

(Sun)

11:00〜

Organizing

Cancel

Proof Summit 2018 Ended

Proof Summit

Proof Summit 2018

tmiya_ tmiya_

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

80/100

2018

07/18

(Wed)

19:00〜

Attending

自然言語処理(NLP)領域に関わっていると避けては通れないあの話 Ended

Sansan株式会社

自然言語処理(NLP)領域に関わっていると避けては通れないあの話

KT666 KT666

東京都渋谷区神宮前5-52-2 青山オーバルビル 13F

54/70

2018

07/13

(Fri)

19:30〜

Cancel

Machine Learning Casual Talks #5 Ended

Machine Learning Casual Talks

Machine Learning Casual Talks #5

chezou chezou

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

160/102

2018

06/30

(Sat)

10:00〜

Attending

ベイズ統計WS「心理学者のためのベイズ統計学」 Ended

ベイズ統計WS「心理学者のためのベイズ統計学」

bayesjuku bayesjuku

神奈川県川崎市多摩区東三田2丁目2−1−1

174/180

2018

04/20

(Fri)