검색 결과 18 개 일치합니다

추가적으로 질문드립니다!
과제에 정의된 언어에는 사칙연산으로 addition만 정의되어있는데, 저희 임의대로 multiplication을 정의해서 사용해도 되는지 � ...

조교님 안녕하세요, 7-1을 풀던 중 뼈대코드의 내용에 질문이 생겨 글을 올리게 되었습니다.

M 알고리즘에서 Var의 경우 알고리즘을 보면
M(G, x, tau) = ...

조교님께서 올려주신 테스트케이스를 시험하던 중
'이걸 5-1 때처럼 debug 할 수 있으면 좋을 것 같다!'는 생각이 들어
(현재 올려주신걸 그대로 덮어쓰 ...

저도 해결했습니다!ㅜㅜㅜㅜㅜ 조교님 힌트에 정말로 감사드립니다 ㅠㅠㅠㅠ

저도 힌트를 드린다...기보다 거듭 강조하자면,
"LETF와 CALLV 번역� ...

임의로 sm5.ml의

| (V (L l) :: V v :: P (x, c', e') :: s, m, e, CALL :: c, k) ->
(s, store l v m, (x, Loc l) ...

저도 이 문제로 고민하다 해결이 안돼서 부연 질문 남깁니다.

과제에 있는 k.ml (k-- interpreter)을 보면 CALLV 는 다음과 같이 정의되어 있습니다.

...

테스트 작년에 있어 작년 게시판에 올라온 글

let idtest (h) =
match h with
(id, gift) ->
match id with
| A -> "A"
| B -> &qu ...

마지막으로, 현재 임시로 저장하려고 했는데 "과제 제출을 받지 않습니다"라고 나옵니다. 혹시 확인 가능할까요?

추가적으로 -> notation에대해 궁금한게 있습니다.
예를들어
M ㅏ x:=E=>M{l->v} 에서
M{l->v}는 M 상태의 메모리에서 l이라는 주소를 넣을때 v를 뱉� ...

조교님 안녕하세요, 작년 자료들까지 찾아봤는데도 이해가 되지 않는 질문이 몇가지 있습니다.

1. Record assign 관련해서, 예를들면
let x := {data1 := 3, d ...

감사합니다!

조교님 안녕하세요, 제공해주신 뼈대코드/문법설명 pdf를 보던 중 몇가지 궁금한 점이 생겨 질문드립니다.

1. 제공해주신 READ, WRITE, LETV, ASSIGN 중 READ, ...

조교님 안녕하세요, 지속적인 질문에 대한 답변 늘 감사드립니다.

일반적으로,

5xy를 xy에 대해 미분하면 5가 됩니다

이를 저희 문제에 대해 적용 ...

조교님 안녕하세요,

<strike>
2-3 문제를 보면 merge는 insert와 deleteMin두 가지 경우에만 호출되는 것 같습니다.
insert 에서는 이미 존재하는 왼쏠힙 h� ...

어제까지 됐었는데;; 글을 내리신거같군요..ㅜㅠ