텐서 곱 문제 맥락에서의 Tor 함자 응용