須原 浩道

@suharahiromichi

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