須原 浩道

@suharahiromichi

定理証明系や論理プログラミングに興味をもっています。
ProofCafe - 名古屋Coq勉強会
愛知県犬山市
Following Users38