CORBAとMathMLに基づく分散制約解決システム