>>489
同値類の元s、s'の決定番号はd(s)、d(s')は比較できるの?