漏れのある抽象化