ダイクストラの段階的詳細化法は抽象化ではないのか