工具制約例子