定理証明系や論理プログラミングに興味をもっています。
Location
愛知県犬山市
Organization
ProofCafe - 名古屋Coq勉強会
Following Organizations
No Organizations you are following
Contributions
article is Liked
article is Liked
article is Stocked
article is Liked
article is Liked
article is Stocked
article is Liked
article is Liked
article is Liked
article is Stocked