Javaによる異種協調制約解消システムの開発