tmiya_
(tmiya_)

Usage start date: 05/10/2013

関数型言語と定理証明に興味があります。Formal Methods Forumに所属。

2022

07/05

(Tue)

19:00〜

Organizing

2022

06/21

(Tue)

19:00〜

Organizing

2022

06/07

(Tue)

19:00〜

Organizing

2022

05/24

(Tue)

19:00〜

Organizing

2022

05/10

(Tue)

19:00〜

Organizing

2022

04/26

(Tue)

19:00〜

Organizing

2022

04/12

(Tue)

19:00〜

Organizing

2022

03/29

(Tue)

19:00〜

Organizing

2022

03/15

(Tue)

19:00〜

Organizing

2022

02/22

(Tue)

19:00〜

Organizing