tmiya_
関数型言語と定理証明に興味があります。Formal Methods Forumに所属。
2020
/
12/08
(火)19:00〜
申込済
2020
/
09/06
(日)14:00〜
申込済
2019
/
07/10
(水)19:00〜
申込済
出席済み
2018
/
09/25
(火)19:00〜
キャンセル
Machine Learning Casual Talks #6
chezou 他
東京都港区六本木6-10-1 六本木ヒルズ森タワー18F
94/63人
2018
/
09/02
(日)11:00〜
主催
キャンセル
2018
/
07/18
(水)19:00〜
申込済
2018
/
07/13
(金)19:30〜
キャンセル
Machine Learning Casual Talks #5
chezou 他
東京都港区六本木6-10-1 六本木ヒルズ森タワー18F
160/102人
2018
/
06/30
(土)10:00〜
申込済
2018
/
04/20
(金)19:30〜
キャンセル