弱化規則を制限することで、変数の使用を最小一回に制限