검색 결과 8 개 일치합니다

K-- 프로그램 write (write 1+2)+3의 번역은
push 1::push 2::add::put::push 3::add::put::empty 가 아닙니다.

일반적인 경우 write와 put이 1:1로 대응되지 않기 때문입니� ...

재귀적으로 정의하면 무한히 많은 식이 생성됩니다.

예를 들어 K.WHILE(e_cond, e_body)를
K.WHILE = K.IF(e_cond, K.WHILE(e_cond, e_body), K.UNIT)
와 같이 정의하면 의� ...

역이 제대로 생겼는지는 해당 역을 감싸는 바깥쪽 AREA에 따라 결정되기 때문입니다.
주어진 예시에서 metro가 제대로 생겼는지는 다음처럼 확인됩니다. ...

그냥 2-4에 계산이 추가되었다고 생각하면 됩니다.
2-4에서 주어진 역이 제대로 생겼는지를 확인하기 위해서 metro 말고 역 바깥쪽 정보를
알 수 있도록 ...

L에는 넣기만 하고 R에서는 빼기만 하면 R이 비는 경우가 생기죠.
그때는 R이 비어 있어서 뺄 수 없으니까 L을 뒤집어서 R로 두고 빼면 된다는 얘기입니� ...

https://ropas.snu.ac.kr/phpbb/viewtopic.php?t=4289

구현하는 모듈에서는 ' : Queue'를 빼야합니다.
module IntListQ =
struct
type element = int list
type queue = ...
...
... ...

ANDALSO: A and B
ORELSE: A or B
IMPLY: A -> B (Implication, A가 참이고 B가 거짓일때만 거짓, 나머지는 참)
LESS(a, b): a < b
입니다.

테스트셋은 기존 게시판에 존재하는 테스트셋 + 문제에서 주는 예시들 + @로 구성되어 있습니다.
(9/15 16:33 HW2-5 추가)
(9/18 전체적으로 수정)

2-1 참거� ...