nekonibox
(nekonibox)

Usage start date: 09/08/2019

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

2023

/

05/16

(Tue)19:00〜

Attending

2022

/

09/30

(Fri)18:30〜

Attending

2022

/

09/24

(Sat)21:00〜

Attending

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

nekonibox