검색 결과 14 개 일치합니다

substitution S, S'에 대해서

S' S 가 정확히 어떤 것인지 궁금합니다.

S'의 원소 하나하나에 대해서 S의 모든 원소에 대해 substitution한 것인가요?

그렇 ...

교과서에 보면

Type τ → α
| ι | τ → τ

라고 되어있습니다. 이때 α는 TyVar 타입인데 m.ml의 정의에서 보면 이것이 포함되어 있지 않고 | ι | τ → τ ...

제가 피보나치 수열 구하는 함수를 만들어서 마티니 서버에서 돌려보니 계속 돌아가다가

Fatal error: out of memory.

에러가 뜨네요. 아무래도 계산해 ...

조교님들께서 sm5 언어로 채점하신다고 하셨는데

그러면 저희가 sm5 언어로 코드를 짜서 테스트 해보는 방법은 없나요??

sm5 언어로 코드를 짜서 돌� ...

trans 함수에서

match pgm with
| NUM n -> ......

이렇게 하고 make하니까 Unbound constructor NUM이라고 뜨네요
제가 잘못한건가요?

1. 숙제 설명에서 50원짜리가 빠져있는데 50원짜리는 제외하나요??

2. recursive call로 구현하다보니 금액이 높아지면 결과가 나오는데 오래걸리네요
혹� ...

제가 enviroment를 (id * int) list로 구현하려고 하는데요

let emptyEnv = []라고 하니까 컴파일할때 signature mismatch가 뜨네요

Values do not match:
val emptyEnv : 'a l ...

2011-11693 박정혁 제본 신청합니다.^^

그럼 damping factor를 사용하는 방법은 아닌건가요 ㅜㅜ

damping factor를 아무리 줄여봤자 빨리 수렴하는 것 같아서요...

시간도 없고 그냥 제출해야겠네 ...

제가 아무리 찾아봐도 damping factor를 사용하는 방법밖에 없지 않은가 싶은데...

이렇게 하면은 심지어 단위 행렬의 경우에서도 이상한 값이 나오네요. ...

transform할 때 if문을 goto를 사용해서 했는데, 이러면 if문을 여러번 사용하면 tag가 여러번 중첩되어 올바르게 변환되지 않을 것 같습니다.

혹시 if문을 ...

1. 프로젝트 2번에서 예를 들어

0 1
1 0

같은 극한이 존재하지 않는 markov 행렬 같은 경우 markov_limit을 취하게 되면 값이 어떻게 나와야 하나요?

입� ...

zip파일은 다운로드가 잘 되는데 tar파일은 안되네요...

요청한 페이지를 표시할 수 없다고 뜹니다..

리눅스용 압축 파일이 다운로드가 안됩니다.

확인 부탁드립니다.