ありがとうございます。離散数学と論理計算やってみます。