レバレッジの抽象化