nekonibox
(nekonibox)

Usage start date: 09/08/2019

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

2020

08/26

(Wed)

19:30〜

Attending

scala.rookies #2 @オンライン Ended

scala.rookies #2 @オンライン

村松佳祐 村松佳祐

オンライン

44/57

nekonibox