검색 결과 9 개 일치합니다

집에서 과제를 업로드하려는데 "Request blocked"라고 나옵니다.
ie, firefox, opera 다 그러네요.
일단 메일로 제출했습니다.

덧. login은 되나 submit하� ...

감사합니다 ^^

정확히 이해를 못한건지;;; 아리송한 게 있습니다.

1. leq의 정확한 의미가 무엇인가요?
FlatDomain의 leq를 보면,
let leq x y = match (x, y)
with (BOT, _) -& ...

비교할 수 있도록 정답도 올려주시길 부탁드립니다.

analyzer에 관한 내용이면 main에서 접근하지 말고
analyzer내부에서 해결하는 방법으로 구현하시는게 맞을꺼 같군요.

그런데 다른 예로 analyzer에서 CPO 함 ...

Restrict가 exp를 만족하는 값만 넘겨주는 게 아니라
기존 state를 그대로 넘겨주기 때문에 while문에서 대부분 무한루프를 도네요;;
맞는 거 같긴 한데 왠� ...

감사합니다 ^^

조교님께서 공들여 만들어주신 뼈대로
드뎌 과제를 하려는데 윈도에서 빌드가 안되네요.
ocmlopt로 컴파일 시 에러가 발생하는데 아래와 같습니다.
해 ...

과제 제출 시 .n, .zip, ... 를 받게 되어있더군요.
.n은 nML 소스파일이고 OcaML의 소스파일은 .ml이니
.ml 파일 그대로 등록해도 될까요?