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