値クラス　制約２