tmiya_
(tmiya_)
Usage start date: 05/10/2013
関数型言語と定理証明に興味があります。Formal Methods Forumに所属。
- Attended 93
- Organize 316
- Presenter 0
- Bookmark 0
2023
/
10/21
(Sat)13:00〜
Attending
2023
/
04/24
(Mon)16:30〜
Attending
2022
/
10/22
(Sat)13:00〜
Attending
2022
/
01/25
(Tue)19:30〜
Attending
2021
/
12/08
(Wed)18:00〜
Attending
2021
/
07/20
(Tue)19:00〜
Attending
2020
/
12/08
(Tue)19:00〜
Attending
2020
/
09/06
(Sun)14:00〜
Attending
2019
/
07/10
(Wed)19:00〜
Attending
出席済み