代数的拘束の強制