nekonibox
(nekonibox)
Usage start date: 09/08/2019
理学博士。専門は数学で、専攻は数理論理学が最も近いです。
定理証明支援系Coqを使った形式証明が得意。
その他、関数型言語や情報理論など。
Qiitaアカウント: https://qiita.com/nekonibox
- Attended 28
- Organize 0
- Presenter 2
- Bookmark 0
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