リダクション組込み関数