[김나정]

회로를 만드는 다섯 가지 중에 zero와 one이 기본 써킷을 만든다면 not,and,or-circuit은 최종출력값을 계산해서 zero 혹은 one을 리턴하는 것이 아니라 (not zero)와 같은, not이라는 어떤 표시가 붙은 써킷을 만들어서 돌려주는 것으로 이해했는데요,(이것도 정확한지 잘 모르겠는데 ex4를 보았을 때 그럴 것이라고 추측했습니다)

1) 그러면 is-zero?나 is-one?의 경우에는 각각 zero와 one을 직접 넣었을 때만 true값을 리턴하는 함수인가요? 아니면 not,and,or-circuit 함수를 사용해 만든 써킷의 최종출력값이 zero/one일 때도 true를 리턴해야 하는 것인가요? 예를 들어, (is-zero? (not-circuit one))은 #t인가요 #f인가요...

2) sub-circuit에서 n의 값은 0혹은 1밖에 될 수 없다고 하셨는데, 예를 들어 (and-circuit (not-circuit zero) (or-circuit one zero)) 같이 회로만드는 함수 여러 개를 중첩해서 만드는 써킷은 트리구조로 본다면 2개 이상의 sub-circuit을 가지고 있는 것이 아닌가요? 그냥 맨 바깥쪽에 사용된 써킷만드는 함수만을 고려해서 0th 혹은 1st sub-circuit을 리턴하는 함수를 만들면 되는 것인지요...

사실 회로만드는 함수의 정의를 정확히 이해한 것인지도 잘 모르겠네요 ㅠㅠ
도움 부탁드립니다!

[강동옥]

1)is-zero?나 is-one?과같은 함수들은 겉보기 모양만 체크합니다. zero나 one을 직접 넣을때에만 #t가 되는 것이 맞습니다.

2)(and-circuit (not-circuit zero) (or-circuit one zero))
에서
0번째 :(not-circuit zero)
1번째 :(or-circuit one zero)
이렇게 될 것입니다.

여기에서 sub-circuit을 또 적용할 수도 있겠지요.
0번째에 sub-circuit 0를 찾으면
zero
1번째에 sub-circuit 1을 찾으면
zero

가장 바깥쪽만 고려하시면 됩니다.