검색 결과 19 개 일치합니다

좋은 예제를 주셔서 이해하고 잘 풀고 있는 거 같습니다.

다만 문제 지문에는 exception에 대한 내용이 없는데

LUB가 없을 경우에 대해서 잘 이해가 안 ...

감사합니다!!!

간단한 실행의 예를 볼수 없을까요?

입력과 출력의 예만 있어도 좋을 것 같아요 ^^;;

특히
정의할 fix에서
type t= D.t 로 되는데..
이것의 정의가 ...

음..

제 질문은 (A->B)->(A->B)인 함수에 대한 fixpoint가
A->B의 형태로 나올텐데..
이때의 bottom을 어떻게 정의하면 좋을지에 대한 질문이었습니� ...

ex 1,2 모두 고정점귀납법을 사용하는데요~

증명하는 바의 입력이 어떤 함수의 형태라고 할때
예를 들어 P(f)를 증명할때 f가 A->B의 함수형태라고 합 ...

Module 관련되어서

HW2에 모듈이 나오고
hw3에서도 나오네용~!

module type을 sig로 선언하고
구현을 module struct로 구현하는데

type에서 val로 선언한 부� ...

기본적인 거 같은 질문인데..

혹시 함수를 정의할때
나중에 정의할 함수를 사용해서 정의하고 싶습니다.

let a = b(c);;
let b= 2+a(e);;
와 같은 형태로. ...

제출하지 않아야할 것이 있습니다.
* signature Queue의 정의
에서
제출하는 부분은
module IntListQ =
struct .... 부터
val deQ = fn...
end
까지이고,

이 mod ...

네..

조교님하고 같은 시간에 수정했어용..
답글에 인용된 부분에 남아있기는 한데 이건 수정해주시면 될것 같아요 ㅎㅎ

그래도 교수님께서 강의� ...

답변감사합니다!
많은 도움이 되었습니다!

궁금증이 풀렸네요 휴..

수정되어야할 부분은 수정되었습니다!

ps. 엡실론 찾기 힘들어서.. e라고 쓴� ...

ex5) 고정점을 찾는 문제에서
a)λf.(λx.if x=0?0:x+f(x-1)) (N->N)->(N->N)
고정점의 집합은 어떠한 함수들의 집합이 되는 것인가요..?

b) λx.{ε}U{ ax | xE ...

수업시간에도 27일이라고 했고
메인 페이지에도 27일이라고 되어있었는데 --;;

해보기는 하겠지만 -_-;
수업시간에도 27일이라고 다른 수강생분들도 ...

수업시간에는 27일로 공지하셨고
웹페이지에도 27일로 공지되어있는데,

게시판을 읽어보니 24일인거 같기도 하고;;
27일인지 알고 있었는데;; ㄷㄷㄷ ...

선언부에서 string을 넣어서 선언할수 있었군요!!
해결되었습니다 감사합니다~ ^^

풀다보니 이상하네용;;
제가 이해를 잘못한것 인지..

goleft의 경우

TOP
/ | \
NODE(a*b) + NODE(c*d (예제와 똑같은 트리)
라고 트리� ...