프로그래밍 언어에서 프로시저나 함수를 호출할 때 호출하는 쪽에서 실제로 넘겨주는 변수 또는 수식. 이는 실행 시에 그 값에 계산되어 프로시저의 형식 인수(formal parameter)에 대응되어 넘겨진다.