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