Valangによる妥当性チェック