lifting

함수안의 자유변수를 함수의 인자로 받도록 하는 변환. 그리하여 함수 정의를 맨 바깥으로 끌어낼 수 있게됨. 그래서 "lifting"(끌어올리기)이라고 영어권에서 했겠으나, 모든 자유변수를 함수 인자로 이고가게하는 변환이라는 속내용을 전달하는 "이고가기"를 제안함.