効率がオプション性を生む