검색 결과 25 개 일치합니다

프로젝트 2 문서에 있는 언어 정의에는 곱하기 연산이 없는데, k.ml의 AST와 testset의 예제들에는 곱하기 연산이 있네요.
어느 것이 맞나요?

저는 다른 파일 (domain.ml)도 수정했는데 (기존 코드에 내용 추가), 전체를 압축해서 올리겠습니다.
꼭 analyzer.ml에 모든 것을 다 작성해야 하는 건 아니죠 ...

2. PowersetDomain
(3) remove TOP x, diff TOP y와 같이 TOP에서 특정한 원소(들)을 제외할 때는 TOP을 Set A의 모든 원소로 생각하고 remove나 diff를 수행하면 되는건가 ...

아래 글 ( https://ropas.snu.ac.kr/phpbb/viewtopic.php?t=2148 )을 보니
(2) Undefined exception은 언제 발생하는 것인가요? 제 생각에는,
i. l(BOT)
ii. u(BOT)
iii. make i j, w ...

다른 도메인들은 구현을 했는데, FunDomain은 간단히 이해가 되지 않아 헤매고 있네요.
FunDomain에 대한 몇 가지 질문입니다.

1) FunDomain (A: SET) (B: DOMAIN)� ...

module Zintvl의 make에서 첫 번째 bound는 lower bound, 두 번째 bound는 upper bound인가요?
아니면 둘 중에 작은 것을 lower bound, 큰 것을 upper bound로 정해야 하나요? ...

마감이 오늘 포함해서 3일밖에 남지 않았는데 질문이 전혀 없군요.
저만 빼고 모두들 쉽게 해결하시는 건가요? Confused

작년 게시판을 보고 숙제 5 (작년� ...

SIGMA의 범위에 real이 들어가는 경우는 테스트 하지 않는다고 하셨던거 같은데요.
https://ropas.snu.ac.kr/phpbb/viewtopic.php?t=2134 에서 1번 질문.
테스트셋 (7번)� ...

그렇네요. 직접 컴파일을 해보니 3.0이 나오네요.

OCaml에서
# 3.3 /. 1.1;;
- : float = 2.99999999999999956
이렇게 나오는 것이 맞는 건가요?
3. 으로 나오게 하는 방법은 없나요?

1. OCaml에 real 타입이 있나요?

type real = float
이렇게 정의해야 하나요?

2. INTEGRAL은 어떻게 계산해야 하는 건가요?
작년 게시판을 보니, 작년에는 http: ...

OCaml을 처음해봐서 아직 적응이 안 되는 것들이 있네요.

인터프리터에서 정의의 끝에 ;;를 붙이면 실행하라는 의미로 알고 있는데, 제출할 파일에도 ; ...

Exercise 1.
n이 0보다 작으면 어떻게 처리하나요?

Exercise 4.
자연수 합과 곱은 어떤 의미로 정의되는 것인가요?

natadd (ZERO, ZERO)는 ZERO
natadd (SUCC ZERO, ...

특별한 이유는 없습니다.
웹에서 OCaml tutorial을 찾아 보면서 숙제를 하는데, 명시적으로 타입을 지정하는 법을 몰라서요.
타입 지정 방법을 알게 되었� ...

Homework 1의 Exercise 2와 3의 리스트 타입에 대한 질문입니다.
문제에서 보면 정수 리스트를 받아서 처리하도록 되어 있는데, 꼭 정수 리스트여야 하는건� ...