nekonibox
(nekonibox)
Usage start date: 09/08/2019
理学博士。専門は数学で、専攻は数理論理学が最も近いです。
定理証明支援系Coqを使った形式証明が得意。
その他、関数型言語や情報理論など。
Qiitaアカウント: https://qiita.com/nekonibox
- Attended 25
- Organize 0
- Presenter 1
- Bookmark 0
2022
03/15
（Tue）19:00〜
Attending
tmiya_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
eldesh2021
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
The IT meetup platform
connpass is made by BeProud Inc. in Tokyo Japan