エラーチェックの体系的な分類方法