check関数実装