バリデーション
バリデーション () 
検証、実証、妥当性確認（形式的検証を参照）