None
(nekonibox)

Usage start date: 09/08/2019

博士号取得見込みの学生です。ニューラルネットワークの表現能力に関する定理を証明し、定理証明支援系Coqを使ってその定理の形式化を行っています。

2020

02/24

(Mon)

14:00〜

Attending

Coq勉強会 -  #10 Public

readcoqart

Coq勉強会 - #10

tmiya_ tmiya_

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

8

2020

01/26

(Sun)

13:00〜

Attending

(学生は懇親会無料!)第28回Haskell-jpもくもく会 @ 朝日ネット Ended

Haskell-jp

(学生は懇親会無料!)第28回Haskell-jpもくもく会 @ 朝日ネット

YAMAMOTO Yuji YAMAMOTO Yuji

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

10/30

2020

01/22

(Wed)

19:00〜

Cancel

NN論文を肴に酒を飲む会 #10 新年会! Ended

TensorFlow User Group Tokyo

NN論文を肴に酒を飲む会 #10 新年会!

おおたまん おおたまん

東京都渋谷区渋谷3-21-3 渋谷ストリーム 5F

112/50

2020

01/18

(Sat)

13:00〜

Attending

【第29回】フリーなITもくもく会@ギーク Ended

もくもく会@ギーク

【第29回】フリーなITもくもく会@ギーク

ギークフィード ギークフィード

東京都台東区小島2-20-7 (扶桑御徒町ビル5F)

14/23

2019

09/29

(Sun)

11:00〜

Attending

Proof Summit 2019 Ended

Proof Summit

Proof Summit 2019

tmiya_ tmiya_

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

66/69

None

None's followees 0

No followers.

None's followers 0

フォロワーはいません。