入力チェックアノテーション群を定義します.