浩道 須原

@suharahiromichi

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