2020年4月より理学博士。 専門は数学で、専攻は数理論理学が最も近いです。 定理証明支援系Coqを用いた形式検証が得意。
Following Organizations
No Organizations you are following
Following tags
No tags you are following
Contributions
article is Liked
posted an article
article is Liked
article is Stocked
posted an article
article is Liked
article is Stocked
posted an article
article is Liked
article is Liked