なぜ抽象が必要なのか