値クラスの制約について