[채지훈]

안녕하세요,
1. 1번 CallR의 정의에서 Call-by-reference 로 레코드 field를 전달하는 경우, 레코드 expression을 메모리 M에 대해 evaluate 하는 것으로 명시되어 있습니다. 그러나 예시에서는 레코드 변수가 하나밖에 전달되지 않았기 때문에 만약 함수에 레코드 field 가 두개 이상 전달되는 경우, 모든 레코드의 evaluation을 원래 메모리 M에 대해 해야 하는지, 아니면 첫 번째 Evaluation의 결과로 나온 메모리 M1을 두 번째 레코드 evaluation에 사용해야 하는지 명확하지 않은 것 같습니다.

2. 2번 문제의 경우
"위의 함수들 만을 이용해서 나무 구조를 만들고..." 라 명시되어 있는데 이것이 문제에 나온 함수 외 다른 함수를 정의해서는 안된다는 것일까요? 주어진 함수들을 구현하기 위한 Helper함수는 정의해도 되는지 궁금합니다.