람다합의 알고리즘