검색 결과 18 개 일치합니다

제가 잘못한 것 맞군요.

일단 제 글에 눈쌀 찌푸리신 분들께 죄송합니다.

정정하겠습니다.

조교님들께서는 수업에 나오지 못했거나 잊어버린 사 ...

타입 검증이 됩니다.

아래 내용은 잘 모르겠네요.

수업에 참가하지 못해 생긴 불이익이 본인책임이라는 것은 인정합니다.

이치민씨의 말을 듣고 보니

과제, 휴강, 보충, 시험, 강의실 변경 등 수업� ...

공지정도는 띄웁시다.
오늘 수업 이거 하나 뿐인데
수업 하루 빠졌다고 헛걸음 해야하나요..

Lam(id, lexp) 에서 lexp가 id의 scope가 됩니다.

당연히 바깥에 있는 x는 무시해야겠죠? ㅎ

5-1 질문

1. reduction 구현을 할 때 eager-evaluation / lazy-evaluation 중 어떤 방식으로 할 것인지는 상관이 없는건가요?

2. (\x.(x x)) (\x.(x x))와 같은 식은 무한� ...

1. 과제 설명에 보면
번역된 결과를 Exercise 1에서 만든 reduce로 실행시켜서 원래 M0프로그램의 결과와 같은 값을 내놔야 한다.
라고 되어 있습니다.
그 ...

매번 수고하시는데 쓴 소리 해서 죄송합니다.
제가 너무 예민했던 것 같네요. 답변 감사드립니다.

아 답변 감사합니다. 좀 더 고민을 해봐야겠네요.

1. recursive call이 가능하게 하려면 push (x, C') 커맨드를 이용해 나오는 (x, C', E) 에서 E에 (x, C', E)를 다시 bind해서 call 해줘야하는데, procedure가 define된 시점� ...

번역기는 Sm5의 command만 고치게 되어있고
S, M, E, K에 대한 직접적인 접근은 불가능합니다

그런데 주어진 Sm5의 작동 스텝을 보면
숙제의 스펙을 구현� ...

(1) dft나 bft에서 tree의 순회 우선순위는 어떻게 하나요?

1. left tree부터
2. right tree부터
3. nodeVal이 큰 자손부터
4. nodeVal이 작은 자손부터

(2) dft에서 ...

앞으로 올라올 pdf, ppt 파일이나 외부 링크는

새창으로 열기로 해주셨으면 좋겠다고 생각하는데

불편하다고 느끼는건 저 뿐인가요

신청합니다.

nml에서 real 타입 숫자와 int 타입 숫자를 연산하려면 어떻게 하나요
예를 들어
val x = 5.0
val y = 3

val z = x - y
에서 z에서 타입에러가 나는데 캐스팅하� ...