nekonibox
(nekonibox)

Usage start date: 09/08/2019

理学博士。専門は数学で、専攻は数理論理学が最も近いです。
定理証明支援系Coqを使った形式証明が得意。
その他、関数型言語や情報理論など。
Qiitaアカウント: https://qiita.com/nekonibox

2022

03/15

(Tue)

19:00〜

Attending

2022

02/22

(Tue)

19:00〜

Attending

2022

02/08

(Tue)

19:00〜

Attending

2022

01/25

(Tue)

19:00〜

Attending

2021

12/28

(Tue)

19:00〜

Attending

2021

11/30

(Tue)

19:00〜

Attending

2021

11/16

(Tue)

19:00〜

Attending

2021

11/02

(Tue)

19:00〜

Attending

2021

10/19

(Tue)

19:00〜

Attending

2021

10/05

(Tue)

19:00〜

Attending

nekonibox