검색 결과 24 개 일치합니다

안녕하세요 조교님,
HW7 2번 문제의 8번 테스트케이스에 대해 질문을 드립니다.

HW7의 뼈대코드로 주어진 main.ml 등을 컴파일하여
$ make
$ ./run examples/te ...

안녕하세요, 컴퓨터공학부 17학번 강호찬입니다.

주어진 식에 free variable이 있는 경우를 고려하나요?
(식 전체를 모두 살펴도 binding이 없는 free variable ...

안녕하세요, 컴퓨터공학부 17학번 강호찬입니다.

HW7의 3번 문제에서 RecLet 관련하여,
제공해주신 M.pdf의 semantics 정의와
m.ml 코드 상 decl 타입의 REC이 � ...

안녕하세요, 컴퓨터공학부 17학번 강호찬입니다.

1번 문제의 보충 스펙(https://ropas.snu.ac.kr/phpbb/viewtopic.php?t=7157)에서
다음의 문구가 있습니다.

2. e가 ...

감사합니다!

강호찬 드림.

안녕하세요,
f(f(f(x))) 와 같이 괄호를 써서 right associativity 를 강제하면 정상적으로 계산이 되는 것을 확인했습니다.

그런데, 덧셈 연산 같은 경우는 � ...

안녕하세요 조교님,
컴퓨터공학부 17학번 강호찬입니다.

다음과 같은 식으로 정수곱셈을 해보려고 했는데요,
잘 되지 않아서 질문을 드립니다.

le ...

이해 했습니다!
답변 감사드립니다 교수님, 조교님!

강호찬 올림.

안녕하세요 조교님.
파싱에 관해 질문이 있습니다.

hw6의 정의를 보면, 람다식 \var.E의 E에 임의의 람다식이 들어갈 수 있는데요,
\x.(y z) 를 파싱하면, ...

안녕하세요, 컴퓨터공학부 17학번 강호찬입니다.

HW6의 1번 문제는, examples test case에 대한 답이 주석으로 달려 있는데요,
혹시 3번 문제의 경우에는 어 ...

안녕하세요, 컴퓨터공학부 강호찬입니다.

5번 문제의 스펙에서 보물상자에는 고유의 알파벳 이름이 표시되어 있다고 써 있는데요, 혹시 영어 알파벳 ...

안녕하세요, 컴퓨터공학부 강호찬입니다.

2, 3번 문제의 경우 코드의 복잡도(시간 or 메모리)가 채점 요소일까요?
특히 3번의 경우 메모리 관련 멘트� ...

이전 K-- 정의는, 사실 K-- 에서 필요한 정의 이상의 것을 포함하고 있어서 새로 업데이트 된 것 같은데요,

그 과정에서 EQUAL 에 대한 semantics 의 표기법� ...

DIV exp * exp 의 의미 정의에 0으로 나누었을 때 어떻게 실행되는지 정의가 되어 있지 않은 것일까요? 이 경우엔 Error exception 을 raise 해주면 될까요?

입력으로 들어오는 tree 의 노드 중에
NODE []
의 경우가 있는지 궁금합니다.

즉, 사실상 LEAF "" 로 표현되어야 하는 노드이나, 자식이 없는 NODE [ ...