게시판 인덱스

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

검색 결과 45 개 일치합니다
게시판 인덱스
글쓴이 메시지
  주제: 숙제6 채점결과
김진산

답변: 10
조회: 4627

올리기게시판: 4190.310 Programming Languages (Fall 2007)   올려짐: 2007년12월12일 2:16   주제: 숙제6 채점결과
98419-019 김진산입니다.


1. 저도 6-2 에서 4문제 틀린것으로 채점결과가 나왔는데요~

돌려보니 53번 문제를 제외한 결과가 모두 정답과 동일합니다. ...
  주제: 숙제 5 채점 결과를 올렸습니다.
김진산

답변: 6
조회: 3133

올리기게시판: 4190.310 Programming Languages (Fall 2007)   올려짐: 2007년11월26일 22:24   주제: 숙제 5 채점 결과를 올렸습니다.
채점하시느라 수고 많으셨습니다. Smile

혹시 5-2 테스트 셋을 올려주실 수 있으신지요~


저 같은 경우는 sound 한 동작을 보장하기 위해서..

도달 ...
  주제: 숙제 2, 3 채점 결과
김진산

답변: 21
조회: 13466

올리기게시판: 4190.310 Programming Languages (Fall 2007)   올려짐: 2007년11월23일 17:06   주제: 숙제 2, 3 채점 결과
아하! 그렇군요! Embarassed

민망합니다. Crying or Very sad ㅋㅋ

실시간 답변 감사 드립니다.

채점하느라 수고가 많으십니다! Very Happy
  주제: 숙제 2, 3 채점 결과
김진산

답변: 21
조회: 13466

올리기게시판: 4190.310 Programming Languages (Fall 2007)   올려짐: 2007년11월23일 16:59   주제: 숙제 2, 3 채점 결과
3-3 문제의 solution이 문제 안에 다 들어있는데~

1점이 깎여서 이상해서 봤더니,

어이없는 오타를 쳐 놨더군요.. ㅠ_ㅠ

왠지 1점이 아쉬워서.. OTL

...
  주제: write 체크 테스트 프로그램입니다.
김진산

답변: 2
조회: 2415

올리기게시판: 4190.310 Programming Languages (Fall 2007)   올려짐: 2007년11월21일 15:50   주제: write 체크 테스트 프로그램입니다.
올려주신 예제는 type checker를 통과하지 못하는 것이 정상동작으로 생각됩니다.

write 함수는 argument로 int, bool, string만 받을 수 있기 때문입니다.


주 ...
  주제: [질문] 주어진 sort.m의 simple type check
김진산

답변: 2
조회: 2620

올리기게시판: 4190.310 Programming Languages (Fall 2007)   올려짐: 2007년11월20일 18:13   주제: [질문] 주어진 sort.m의 simple type check
그렇군요!


type inference를 function body 마다 따로 하고 있었는데~

program 전체로 equation을 만들면 unify 문제가 풀리겠다~ 라고 생각만 하고

주말 이후 ...
  주제: [질문] 주어진 sort.m의 simple type check
김진산

답변: 2
조회: 2620

올리기게시판: 4190.310 Programming Languages (Fall 2007)   올려짐: 2007년11월18일 20:37   주제: [질문] 주어진 sort.m의 simple type check
주어진 sort.m 예제에는 아래와 같은 코드가 있습니다.


val print2 = fn x =>
let val a = x.1
val b = x.2
in
write a; write b
end


wr ...
  주제: 5.1 Symbol 처리 질문.
김진산

답변: 4
조회: 2982

올리기게시판: 4190.310 Programming Languages (Fall 2007)   올려짐: 2007년11월4일 1:38   주제: 5.1 Symbol 처리 질문.
추가 답변이 없어서, 다시 한번 댓글 답니다.

___ 로 시작하는 Symbol이 없다고 가정해도 될까요? Embarassed
  주제: 5.1 Symbol 처리 질문.
김진산

답변: 4
조회: 2982

올리기게시판: 4190.310 Programming Languages (Fall 2007)   올려짐: 2007년10월27일 14:11   주제: 5.1 Symbol 처리 질문.
말씀하신데로~ while을 function call로 구현시

함수명 및 dummy argument 처리 때문에

말씀드린 겁니다. Smile
  주제: 5.1 Symbol 처리 질문.
김진산

답변: 4
조회: 2982

올리기게시판: 4190.310 Programming Languages (Fall 2007)   올려짐: 2007년10월24일 21:56   주제: 5.1 Symbol 처리 질문.
숙제 4.2에서 주어졌던 가정인


일단, 편의를 위해서 테스트 프로그램에 쓰이는 이름들 중에는
___(_가 세개)로 시작하는 이름들은 없다고 생각하세 ...
  주제: 5.1 (사소한) write return 값 질문.
김진산

답변: 1
조회: 2134

올리기게시판: 4190.310 Programming Languages (Fall 2007)   올려짐: 2007년10월24일 21:39   주제: 5.1 (사소한) write return 값 질문.
숙제 4에서 주어진 K- 실행기 에서는

read, write 의 return value가 책의 정의와 달랐습니다.

(하재승 학생이 질문 했었는데, 답변이 없었습니다.

사소 ...
  주제: 5.1 SM5 "스펙" 과 "box/unbox"에 관련된 질문입니다.
김진산

답변: 0
조회: 1928

올리기게시판: 4190.310 Programming Languages (Fall 2007)   올려짐: 2007년10월24일 14:27   주제: 5.1 SM5 "스펙" 과 "box/unbox"에 관련된 질문입니다.
1.

" SM5의 Cmd Set으로는 for, while 와 같은 iterative statement를

구현하기 상당히 까다롭습니다.


(S, M, E, C, K) 에서 C를 변화 시킬수 있는 Cmd는 jtr, call ...
  주제: [참고] equal test set
김진산

답변: 0
조회: 1683

올리기게시판: 4190.310 Programming Languages (Fall 2007)   올려짐: 2007년10월22일 10:12   주제: [참고] equal test set

let
ix := 0;
iy := 0;
iz := 1;

bx := true;
by := true;
bz := false;

rx := { a := 1, b := 1, c := 2};
ry := { a := 1 ...
  주제: 4-3. 빈 나무의 정의?
김진산

답변: 3
조회: 2855

올리기게시판: 4190.310 Programming Languages (Fall 2007)   올려짐: 2007년10월21일 20:22   주제: 4-3. 빈 나무의 정의?
아하!

K- 코드에서 field를 비교하라는 의미로 잘 못 이해하고 있었네요. Embarassed

답글 달아주신 한재화님 감사합니다.
  주제: 4-3. 빈 나무의 정의?
김진산

답변: 3
조회: 2855

올리기게시판: 4190.310 Programming Languages (Fall 2007)   올려짐: 2007년10월21일 17:10   주제: 4-3. 빈 나무의 정의?
'끈적이: hw4-3 관련' 을 읽으니

빈 나무를 'null'로 정의해도 되겠네요.


의문이 드는건


if (null = t) then // int = record


형태는 쉽게 처 ...
 
페이지 13 페이지로 1, 2, 3  다음
시간대: GMT + 9 시간(한국)
건너뛰기:  


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