抽象は正確である必要はない