@suharahiromichi

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