結果 : bc calculus optimization problems