검색 결과 23 개 일치합니다

과제를 하다가 막히는 부분이 있어서 질문드립니다.

저희가 작성해야 하는 M_PolyChecker.check 는 M.types를 계산하는 함수인데요,

뼈대 코드의 M.types� ...

과제를 하다가 람다 계산법에 대해 혼동이 있어서 질문드립니다.

\x.\y.\z.(x y)(y z)(\x.x)(\x.x)(\x.x)

이 식은 어떻게 줄어� ...

정확히는 람다 계산법에 대한 질문인데요

Lam ("x", App (... Lam ("x", ...) ...))

와 같이 x로 바인딩 된 함수 안에 또 � ...

리눅스의 경우 분리기호가 빠졌다는 에러메세지가 뜨면서 제대로 동작하지 않았구요

혹시 해서 Makefile을 뜯어보려고 열어봤더니 인코딩 문제인지 ...

아아 이해했습니다. 제가 생각을 덜했네요.

알려주셔서 고맙습니다 ^^

스펙 문서의 semantic을 보다가 의문이 생겨서 질문합니다.

저는 CALLV의 semantic을 프로시져에 안에서 사용되는 흔히 말하는 지역 변수들이 프로시져콜 ...

.. 근데 마지막 iii 계산하는데 6초정도 걸리는데;;

저도 마지막 문제는 계산하는데 좀 걸려요.

여튼 테스트셋 고맙습니다.

그렇다면

SIGMA (INT 1, INT 5, (ADD X, SIGMA(INT 3, INT 4, X)))

와 같은 식은 앞의 X는 앞의 SIGMA에 묶이고

뒤의 X는 뒤에 있는 SIGMA에 묶여� ...

2-2에 대한 질문)
SIGMA와 INTEGRAL이 두 번 이상 겹칠 경우

X와 같은 이름 있는 변수가 두 개 이상 필요할탠데요

주어진 type exp로는 불가능한 일 아� ...

INTEGRAL의 앞의 두 인자에는 X가 들어올 수 있습니다.
라고 하셨는데 잘 이해가 안가요.

INTEGRAL (X, (ADD (X, REAL 1.)), (어떤 식을 나타� ...

잘못된것 있으면 지적해주세요.

그리고 더 괜찮은 테스트셋이 있어서 올려주시면 감사하겠습니다.

# let f p q = eval (ANDALSO (p, (ORELSE (q, (ANDALSO ((NOT p ...

이미 다른 이름으로 exception을 정의한 경우는 조교님이 지정해주신 이름으로 다시 바꿔야 하는건가요?

그리고 exception 이름에는 띄어쓰기가 들어갈 ...

본문에 등장하는 real이라는 타입은 float의 잘못된 표기 아닌가요?

신청합니다.

"늪 위에서 2턴 이상 이동하지 않으면 부상당합니다." 라고 명시돼 있는데요

늪 타일의 어떤 한 위치에서 2턴 이상 아무 액션도 취하지 않았을 ...