tmiya_
(tmiya_)
関数型言語と定理証明に興味があります。Formal Methods Forumに所属。
2024
/
05/22
（水）19:00〜
申込済
2024
/
04/12
（金）19:00〜
申込済
2024
/
01/17
（水）19:00〜
申込済
2023
/
11/22
（水）18:30〜
申込済
2023
/
10/21
（土）13:00〜
申込済
2023
/
04/24
（月）16:30〜
申込済
2022
/
10/22
（土）13:00〜
申込済
2022
/
01/25
（火）19:30〜
申込済
2021
/
12/08
（水）18:00〜
申込済
2021
/
07/20
（火）19:00〜
申込済