None
(nekonibox)
Usage start date: 09/08/2019
博士号取得見込みの学生です。ニューラルネットワークの表現能力に関する定理を証明し、定理証明支援系Coqを使ってその定理の形式化を行っています。
- Attended 4
- Organize 0
- Presenter 0
- Bookmark 0
2020
02/24
（Mon）14:00〜
Attending
tmiya_2020
01/26
（Sun）13:00〜
Attending
YAMAMOTO Yuji2020
01/22
（Wed）19:00〜
Cancel
おおたまん2020
01/18
（Sat）13:00〜
Attending
ギークフィード2019
09/29
（Sun）11:00〜
Attending
The IT meetup platform
connpass is made by BeProud Inc. in Tokyo Japan