[김진영_]

1번

is-emptry-tree?: 빈 나무는 (node '()) 뿐입니다.
nth-child: 가장 왼쪽 subtree부터 0번째, 1번째, ...로 정의합시다.


2번

is-balanced?: 자연수 무게를 갖는 모형 모빌 (두 개의 가지로 만들어진 것이 아닌 모빌)은 균형잡혀 있습니다.


3번

zero, one: 함수가 아닌 상수로 정의해 주세요.
sub-circuit: 역시 0번째부터입니다.


5번

empty-set: 함수가 아닌 상수로 정의해 주세요.


그 외
요약의 경계를 지켜 주셔야 합니다.
(https://ropas.snu.ac.kr/phpbb/viewtopic.php?t=2251)
타입을 따지셔야 합니다. 적절한 에러 처리를 해 주세요.
(https://ropas.snu.ac.kr/phpbb/viewtopic.php?t=2229의 3번)

[김태훈]

zero, one, empty-set이 상수라는 것은 이것들을 사용 할때 (zero argu) 이런 식이 아니라 그냥 zero 이 상태로 사용할 수 있게 하라는 것이죠?

[김진영_]

함수로 정의하지 말고 상수로 정의하라는 뜻입니다.
인자가 없는 함수와 혼동하실 수 있어서 말씀드린 것입니다.

[김진영_]

5번에서,

set들은 수학에서의 집합으로 생각하시면 됩니다.
(is-subset? a b)는 a가 b의 subset일 때 #t를 돌려주는 함수입니다.