validation(バリデーション): 妥当性を確認すること。妥当性とは「仕様に則っているかどうか」と言い換えることができる。
(例) int型での変数yearが「2020以下で0以上」になっているか、バリデーションで妥当性をチェックする