검색 결과 26 개 일치합니다

4,5번이 해결되었습니다! Smile

위 '\.x (x x)' 부분은 잘못 작성했는데 Y combinator와 같이 스스로 적용하여 무한히 계속되는 케이스를 말하고자 한 것입니다 ㅜ

1. type의 귀납적 정의를 x(변수), \x.e, e e, 그리고 상수 네가지로 한정해도 되나요?

2. 혹시나 하여 여쭙습니다만, 표현의 길이를 유한하다고 가정해도 � ...

확인하였습니다.

늘 감사드립니다.

숙제 채점에 사용된 테스트케이스를 직접 돌려보고자 합니다.
그런데 주신 코드를 어디에 포함시켜야 하는지, 포함시킨다면 모듈을 어디서 열어야 하 ...

성환아 이번에도 고마워!!ㅎㅎㅎ
넵 확인했습니다 감사합니다!!

encode.ml을 작성후 run한 결과로 나온 output program을 hw5-3의 reduce 함수로 돌리려 합니다. 그런데 output program을 그대로 복사하여 넣었는데도 렉시컬에러가 � ...

내야 하는 결과는 '최소의(열쇠들 크기의 합을 기준으로) 꾸러미'입니다.
여기서 열쇠 하나의 크기는 열쇠 안 '-'의 갯수라 보아도 무방한 가요?
반복� ...

1. 시그윈을 사용하고 있는데요, 컴파일이 잘 되지 않습니다.
README에 제시된 UNIX를 위한 컴파일 방법을 사용하였는데
run FATAL: Could not start C:\cygwin\home\A ...

1. sigma, integral의 앞 두 항은 부분적인 계산이 끝나면 반드시 상수인가요? 예를 들어 다음과 같은 코드가 가능한가요?
sigma (0, 10, sigma (X, X+10, 3) ...

과제 제출 페이지에 이런 안내사항이 있습니다.

숙제에서 제시한 뼈대(변수/함수 이름, 타입 등)의 내용을 임의로 바꾸지 마시고 숙제에 있는 그대로 ...

2012-13365/김성학

숙제 6의 성적의 일부가 예상치 못한 점수가 나와 슬퍼졋습니다 Embarassed

제 코드에 문제가 있다면 제가 ocaml을 처음 접하며 놓친 점이 있지 않았나 생각 ...

스켈레톤 코드의 module SMATCH와 Smatch에는 둘다 타입이 정의되어있습니다. 스펙에는 '적어도' SMATCH 만큼 정의된 Smatch를 제작할 것이 적혀있는데요,
그렇� ...

hw6_4_grade.ml을 열어보면 다음과 같은 코드가 있습니다.
let _ = output(fun () ->
(eval (IMPLY (ORELSE (FALSE, LESS (NUM 0, (PLUS (NUM ( ...