nekonibox
(nekonibox)
Usage start date: 09/08/2019
理学博士。専門は数学で、専攻は数理論理学が最も近いです。
定理証明支援系Coqを使った形式証明が得意。
その他、関数型言語や情報理論など。
Qiitaアカウント: https://qiita.com/nekonibox
- Attended 7
- Organize 0
- Presenter 1
- Bookmark 0
2020
09/25
(Fri)19:00〜
Attending
2020
09/15
(Tue)19:00〜
Attending
2020
08/26
(Wed)19:30〜
Attending
2020
02/24
(Mon)14:00〜
Attending
2020
01/26
(Sun)13:00〜
Attending
2020
01/22
(Wed)19:00〜
Cancel
2020
01/18
(Sat)13:00〜
Attending
2019
09/29
(Sun)11:00〜
Attending