物理の軛から解き放つための一般化は抽象化と呼んでよいのでは