검색 결과 35 개 일치합니다

등수대로 0.5점씩 감점이면

1등이면 25점이 나와야되는거 아닌가요

각각의 스킬과 이동에 대해 우선순위를 지정해 주시면 감사하겠습니다

Client모듈을 정의하라고 되어 있는데요

이외의 모듈을 저희가 임의로 정의해서 사용해도 되나요?

이경우 반드시 Client모듈안에 다른 모듈을 넣어놔 ...

벽이 없는 곳에 벽뚫기를 하면 잘못된 입력으로 캐릭터가 죽은걸로 처리되나요?

아니면 아무 행동도 하지 않은것으로 처리되나요?

또, 벽이 있는 � ...

교재 189쪽에 보면 expansive(E1 E2) = true라고 돼 있는데

이해가 안됩니다

expansive(E1) or expansive(E2)가 아닐런지,,,

S sigma = A b.S{a->b}t

예를 들어sigma가 A {a1,a4}. a1 -> a2 -> (a3,a4) 이고

S에 a1=>int, a3=>bool 이라면

S의 a1을 b1으로 치환하고 a4는 S에 없으니 치� ...

교재 181쪽에 보면

타입 치환 S와 타입틀 sigma에 대해서 S sigma = A b.S{a->b}t 라고 나와있는데요

여기서 뒤쪽에 S{a->b}t의 의미가 무엇인가요

S에 ...

unify(t1 -> t2, t1' -> t2') = let S = unify(t1,t1')
S' = unifty(St2,St2')
in S' ...

어찌 해야되는지 전혀 감을 잡지 못해

듀가 지난 상황에서도 이러고 있습니다,,,

책에 나와있는 V알고리즘과 U알고리즘을 사용해서 만드는 것이 맞 ...

M_Checker에 check함수는 exp하나만들 파라미터로 받아옵니다,,,

체커에서 exp 가 VAR x 가 들어오면 타입을 어떻게 리턴해야 할지를 모르겠습니다

m.ml을 보면 type types = TyInt (* integer type *)
| TyBo ...

확인 부탁드립니다

enocde 함수내에서 match pgm with를 사용해서 mexp를 구별하는데요

Fn(x,mexp1) -> Code
| _ -> raise(Error)

로 해놓고

입력을 (fn x => x + 1) 0으로 넣어주면 ...

op에서 and는 무슨 일을 하는 것인지요

테스트셋을 보면 1 and 2는 true

1 and 0은 false 0 and 2는 false라고 되어있는데 이것이 맞는것인지

저는 and 를 boole ...

알파 컨버젼의 경우 정의가 x'이 FV(\x.e)의 원소가 아닐경우

\x.e -> \x'.{x'/x}e라고 되어 있습니다

그러면 베타 리덕션을 할때에 알파 컨버젼을 먼저 ...