非負値行列因子分解のための修正乗法型更新式の有界性