검색 결과 12 개 일치합니다

안녕하세요.

K-.pdf에 정의된 실행 의미를 만족하도록 구현하시면 됩니다.

감사합니다.

조교 드림

===============
TA 박준영
jypark@ropas.snu.ac.kr

안녕하세요.

K-.pdf의 5쪽을 확인하시면, EQUAL의 실행 의미 및 EQUALT와 EQUALF의 분기 조건이 정의되어 있습니다. 실행 의미 오른쪽에 작은 글씨로 적힌 조 ...

안녕하세요.

1. isLtree 함수는 인자로 받은 트리 t의 루트 노드가 왼쪽 부트리(subtree)만을 가질 때 true를 반환합니다. 반대로 isRtree 함수는 루트 노드에 ...

안녕하세요.

메모리 소모량은 개인적으로 확인만 해보시고, 과제로 제출할 필요는 없습니다.

감사합니다.

조교 드림

===============
TA 박준영
...

안녕하세요.

각 모듈 타입(signature)을 만족시키는 한도 내에서만 코드를 수정하셔야 합니다.

감사합니다.

조교 드림

===============
TA 박준영
...

안녕하세요.

네, 타입 에러와 Unbound 에러 외의 예외를 처리해야 한다고 판단되면 처리해 주세요.

그 외에 실행의미가 정의되지 않은 경우에 대해서 ...

안녕하세요.

네, 가능합니다.

감사합니다.

조교 드림

===============
TA 박준영
jypark@ropas.snu.ac.kr

안녕하세요.

1. 숙제 2 보충 세부사항 안내에 해당 내용이 있습니다. 참고해 주세요.

* goDown은 자식 노드의 맨 왼쪽으로 가는 것으로 하겠습니다. 갈 ...

안녕하세요.

1. LESS의 의미는 말씀하신 것이 맞습니다.
LESS (e1, e2)의 값은, e1 < e2이면 참, 아니면 거짓입니다.

2. 타입을 정의하는 코드도 포함하� ...

안녕하세요.

어떤 십진수를 3친수로 표현하는 방법은 유일하지 않은 것이 맞습니다.
문제에서 요구하는 식 crazy3val (crazy3add (z, z′)) = crazy3val (z) + craz ...

안녕하세요.

숙제 1의 공지사항에 따르면, 인자 f로는 'a 타입을 인자로 받아 'a 타입을 내놓는 ('a → 'a) 타입의 함수만 들어옵니다.
여기서 'a → 'a는 ...

안녕하세요.

과제 4의 Exercise 3에서, "Empty"의 기준에 대해 질문드립니다.

조교님께서 게시판에 올리신 보충 스펙에는
Leaf 양쪽에도 빈 트리 ...