검색 결과 27 개 일치합니다

이건 M 언어니까 당연히 그래야 하지 않을까요?

안녕하세요
Ubuntu 9.10에서 숙제를 하고 있는 학생입니다.
README 파일에 한글이 잘 보이지 않아서
원 파일의 인코딩을 알고 싶습니다.

spec 문서의 letv의 설명을 보면
memory의 domain에 없는 l이라는 이름을 임시로 새롭게 설정해야 합니다만
주어진 module MEM에는
어떤 이름이 그 domain에 있� ...

Unit 문과 false while문은 리턴하는 값이 따로 정의되어 있지 않습니다.
그래서 Unit문은

UNIT -> (Unit, mem)

으로 나타내었는데요.

while문이 false ...

여러분들의 지력을 믿습니다.
이것만 실험해보면 됩니다.
# let a = MAX ([NUM 1; NUM (-3); NUM 2; MAX []; NUM 8; NUM 9; NUM 0]);;
- : expr = MAX [NUM 1; NUM (-3); NUM 2; NUM (-7) ...

예를 들어
SIGMA (INT 1, INT 10, SIGMA(X[1번] , INT 7 , MUL (X[2번], X)))의 경우
1번의 x는 앞의 1,10에 묶이는 거고
2번의 x는 뒤의 SIGMA(X, INT 7 .. 에 묶이는 것으로 � ...

#let tree1 =
NODE
[NODE
[NODE [LEAF "a"; LEAF "/"; LEAF "b"]; LEAF "-";
NODE [NODE [LEAF "c"; LEAF "*"; LEAF "d"]; LE ...

보기 어려우신 것에 대해서는 죄송하게 생각합니다.

# tree0;;
- : tree =
NODE
[NODE [LEAF "a"; LEAF "*"; LEAF "b"]; LEAF "+";
NODE [ ...

제가 확인해보니까 적어도 저의 경우는
파일 인코딩 때문에 발생한 문제였습니다.

let some = [(0,"") ; (1,"일") ; (2,"이") ; (3,"삼") ; (4,"사") ; (5,"오"); (6,"육") ;(7,"칠");(8,"팔" ...

1. 각 문제에 대해서 올바르지 않은 입력이 들어오는 경우는 없다고 가정하나요?
아니면 Exception 처리를 해줘야 합니까?

(예: 1,2번의 k가 1보다 작은수 ...

입력이 string으로 들어온다고 하셨는데
정확히 어떤 규격의 string으로 들어오는 지 specify해주시면
감사하겠습니다.

lam type 정의가 (가능하다면) 다음과 같이 되어야 하는게 아닌가요?
type lam = Var of string | Lam of (Var * lam) | App of (lam * lam)

위의 지도에 [x]가 암시하는 열쇠모양은 어떻게 결정된것인가요?
(a,b)인데.. a= -라고 가정하면 b는 어떻게 정해진건가요?