 |
|
FAQ
검색
멤버리스트
사용자 그룹
사용자 등록하기
개인 정보
비공개 메시지를 확인하려면 로그인하십시오
로그인| 검색 결과 7 개 일치합니다 |
| 글쓴이 | 메시지 |
|---|---|
 주제: 클론 체커 결과 |
|
| 김동현 답변: 1 조회: 3526 |
 게시판: 4190.310 Programming Languages (Fall 2009) 올려짐: 2009년11월23일 10:19 주제: 클론 체커 결과 |
| 1-1이라니...
782번은 누구신가요. |
|
| 주제: ex2 test 결과에 대해.. |
|
| 김동현 답변: 5 조회: 4431 |
게시판: 4190.310 Programming Languages (Fall 2009) 올려짐: 2009년11월6일 16:36 주제: ex2 test 결과에 대해.. |
| "yy"라는 free variable로 인식된게 아닐까요... | |
| 주제: 5-2, 5-3의 입출력이 일치하지 않는것 같습니다. |
|
| 김동현 답변: 4 조회: 4011 |
게시판: 4190.310 Programming Languages (Fall 2009) 올려짐: 2009년11월3일 10:28 주제: 5-2, 5-3의 입출력이 일치하지 않는것 같습니다. |
| 그래도 마찬가지인 것 같습니다.
\s.(\z.((s) (z)) )가 돼야할 것 같아요. |
|
| 주제: 5-2, 5-3의 입출력이 일치하지 않는것 같습니다. |
|
| 김동현 답변: 4 조회: 4011 |
게시판: 4190.310 Programming Languages (Fall 2009) 올려짐: 2009년11월2일 22:37 주제: 5-2, 5-3의 입출력이 일치하지 않는것 같습니다. |
| 5-3에서 encode의 결과값이
Lam("s", Lam("z", App( Id("s"), Id("z") ) ) )가 되도록 하니 output program이 \s.\z.(s) (z)로 나타났습니다. ... |
|
| 주제: ex6 질문입니다. |
|
| 김동현 답변: 2 조회: 1509 |
게시판: 4190.310 Programming Languages (Fall 2009) 올려짐: 2009년9월25일 23:01 주제: ex6 질문입니다. |
| 앗, 죄송합니다.
제목에 있는 문제 번호만 보고 안 읽은 글이 많네요. |
|
| 주제: ex6 질문입니다. |
|
| 김동현 답변: 2 조회: 1509 |
게시판: 4190.310 Programming Languages (Fall 2009) 올려짐: 2009년9월25일 19:47 주제: ex6 질문입니다. |
| # let yourQ = IntListQ.enQ(myQ,
IntListQ에서 type element = int list로 선언했는데 위와 같이 에러가 뜨네요. 왜 이렇게 되는 건가요? |
|
| 주제: ex4 goDown |
|
| 김동현 답변: 1 조회: 1371 |
게시판: 4190.310 Programming Languages (Fall 2009) 올려짐: 2009년9월25일 16:57 주제: ex4 goDown |
| goDown 함수는 트리에서 아래로 이동하는 것일텐데
아래로 이동하는 길은 한가지가 아니지 않나요? 어떻게 이동하도록 구현해야 하나요? |
|
시간대: GMT + 9 시간(한국) |
Powered by phpBB 2.0.21-7 (Debian) © 2001, 2005 phpBB Group
Translated by kss & drssay