분해 기법의 유도 함자 계산에 대한 응용