게시판 인덱스

 
 FAQFAQ   검색검색   멤버리스트멤버리스트   사용자 그룹사용자 그룹   사용자 등록하기사용자 등록하기 
 개인 정보개인 정보   비공개 메시지를 확인하려면 로그인하십시오비공개 메시지를 확인하려면 로그인하십시오   로그인로그인 

검색 결과 5 개 일치합니다
게시판 인덱스
글쓴이 메시지
  주제: 숙제 5에서 1번 문제의 배점이 가장 낮군요?;
조성문

답변: 3
조회: 2910

올리기게시판: 4190.310 Programming Languages (Fall 2005)   올려짐: 2005년11월14일 21:43   주제: Re: 숙제 5에서 1번 문제의 배점이 가장 낮군요?;
배점 이상해요 ㅠ
1번 하는데 1주일 걸렸는데 OTL 털썩
  주제: [HW4-3] 복잡한 구조의 설탕 테스트셋
조성문

답변: 6
조회: 3011

올리기게시판: 4190.310 Programming Languages (Fall 2005)   올려짐: 2005년10월29일 11:27   주제: Re: [HW4-3] 복잡한 구조의 설탕 테스트셋
let procedure addOne( n ) =
0
; n := n + 1
; n
in

let procedure fac( n ) =
let arg := n - 1 in
let return := 0 in
0
; if n = 0 then
...
  주제: Stage 1에서 QUOTE처리?
조성문

답변: 4
조회: 2350

올리기게시판: 4190.310 Programming Languages (Fall 2005)   올려짐: 2005년10월27일 17:39   주제: Stage 1에서 QUOTE처리?

let
x := `(`(3))
in
write eval(eval(x))
end


저렇게 들어오면, 에러처리를 해야하지 않을까요 ?
즉, stage1 에서 구현되지 ...
  주제: Stage 1에서 QUOTE처리?
조성문

답변: 4
조회: 2350

올리기게시판: 4190.310 Programming Languages (Fall 2005)   올려짐: 2005년10월27일 13:59   주제: Re: Stage 1에서 QUOTE처리?
LIFT, COMMA, EVAL에 대해서는

Stage 1에서의 Semantics가 정의되어 있는데

QUOTE에 관해서는 없는 것으로 보이네요.



stage 0 에서 stage 1로 올라갈 수 있는 ...
  주제: k- 정의, stage1 IF2 세번째 항
조성문

답변: 3
조회: 2260

올리기게시판: 4190.310 Programming Languages (Fall 2005)   올려짐: 2005년10월26일 23:57   주제: Re: k- 정의, stage1 IF2 세번째 항
stage1 IF2 세번째 항이
env,m2 ㅏ e3 -> e6,m3
가 되야할 것 같은데


네. 저도 보면서 이상하게 생각했는데요, e3이 빠진것 같습니다.
그 많은 식에서 하 ...
 
페이지 11
시간대: GMT + 9 시간(한국)
건너뛰기:  


Powered by phpBB 2.0.21-7 (Debian) © 2001, 2005 phpBB Group
Translated by kss & drssay