검색 결과 14 개 일치합니다

2006년 가을학기에는 숙제 7의 뼈대가 올라와 있었네요. polymorphic 부분을 돌리는 뼈대가 따로 있는 듯 합니다. 숙제 6을 못 한 사람을 위해서 online 으로 � ...

2002-11677 입니다.

위에 적은 대로 toParen을 toparen으로 적었습니다.

수정부탁드립니다.^^

2-1번 숙제에서 toParen을 toparen으로 적어서 채점이 안 되었네요 --;;

toparen(NODE(NODE(LEAF Korea, LEAF Portugal), LEAF Brazil))

이라고 숙제의 예시문에 나와 있어� ...

정말 감사합니다.

글을 보고 만들어 봤더니 해결되네요.^^

unification 알고리즘이 잘 이해가 되지 않네요.. 책에 나와 있는 unify-all을 이용해서 구현을 하려 하는데,

unify-all(u ^ u0; S) = let T = unify-all(u; S ...

let x := 0
in
let procedure rtest(x) =
let result := 0
in
if ( x = 0 )
then
result := 1
else ...

sm5 모듈에 K-- 코드가 동봉되어 있습니다. (K-가 아닙니다.)

K--이므로 RECORD 등은 구현이 되어 있지 않네요. k.n 코드를 참고로 해서 작업하시면 될 것 같 ...

pdf에 보면 gc는 메모리만을 인자로 갖는다고 되어 있습니다.

그런데 메모리만 인자로 가지더라도 garbage collection을 할 수 있을까요? ENV도 인자로 가져� ...

Record 비교에서 '보든 field의 구조가 같은지 비교하라' 라고 되어 있는데, 이 말은 order를 고려해야 한다는 뜻인가요?

예를 들어
{a:=1, b:=2} 와 {b:=2, a:=1} ...

저는 2번째 숙제는 CALLR(f, x)를 이용해서 받은 x, 즉 id가 등장하는 부분을 전부 바꿔야 한다고 이해를 했습니다.

숙제에 나온 것 외에, id 를 사용하여 � ...

프로그램 전체에 unique하려면, 앞으로 들어올 이름까지 고려해야 한다는 건가요? 갑자기 '멈춰요 문제'가 떠오릅니다..

제 생각에는 _f' 꼴은 인터프리 ...

보통은 오차 값이 1e-14 정도이므로 계산 상에 큰 차이가 나지 않지만, 제가 짠 두 개의 integral 식을 비교해 보면(abs를 사용하지 않은) 부동소수점 비교� ...

위 글을 보고 C에서도 마찬가지 연산을 하니까 같은 오류가 발생하네요. 원래 double을 처리하는 구조상 2진법으로 처리하는 수와 10진법으로 생각하는 � ...

homework 2의 5번 문제를 풀고 있는데, 이론 상의 결과랑 실제 결과가 계속 다르게 나왔습니다.

* 숙제에서 요구하는 정확한 integral 함수가 아닙니다. 테� ...