>>339
ルールの満たす条件を求める際に、(ct,vt)を使います