漏れのある抽象化の法則