게시판 인덱스

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

검색 결과 19 개 일치합니다
게시판 인덱스
글쓴이 메시지
  주제: 한 학기동안 잘 부탁드립니다.
현경렬

답변: 0
조회: 3224

올리기게시판: 4541.664A Program Analysis (Fall 2008)   올려짐: 2008년9월10일 0:16   주제: 한 학기동안 잘 부탁드립니다.
많은 가르침 부탁드립니다. : )
  주제: 숙제 6 채점 결과
현경렬

답변: 7
조회: 5454

올리기게시판: 4190.310 Programming Languages (Fall 2005)   올려짐: 2005년12월19일 1:18   주제: Re: 숙제 6 채점 기준
숙제 6은 작년 숙제와 동일해서 작년에 사용한 테스트 셋을 거의 그대로 가져와서 사용했습니다. 별 무리 없이 사용되었던 것들이라 학생들의 반응은 ...
  주제: 숙제 6 채점 결과
현경렬

답변: 7
조회: 5454

올리기게시판: 4190.310 Programming Languages (Fall 2005)   올려짐: 2005년12월18일 21:40   주제: 저지방M에서 살을 빼지 않아도 상관이 없나요?
저지방M에서 무리하게 살을 빼다가, 실수해서 recursive function을 처리하지 못 하게 되면서, 점수를 많이 깍였는데요.

제 점수에 불만은 없습니다, 다 제 ...
  주제: 감사합니다.
현경렬

답변: 1
조회: 4842

올리기게시판: 400.002 Engineering Mathematics II (Fall 2005)   올려짐: 2005년12월1일 18:04   주제: 감사합니다.
한 학기 동안 저희를 위해 강의를 해주신 교수님과,

못난 글씨를 해석하시며 채점해주시고, 자세한 설명을 해주신 조교님께 감사드립니다.

저는 ...
  주제: 시험 잘보세요
현경렬

답변: 5
조회: 7598

올리기게시판: 400.002 Engineering Mathematics II (Fall 2005)   올려짐: 2005년12월1일 15:42   주제: 김진현님도 시험 잘보세요
오늘따라 거울이 아름답네요
오늘따라 김진현님이 아름답네요.
  주제: Predicate logic의 proof 과정 중 질문이 있습니다. (p -> ?x.p)
현경렬

답변: 1
조회: 4977

올리기게시판: 400.002 Engineering Mathematics II (Fall 2005)   올려짐: 2005년12월1일 1:46   주제: Re: Predicate logic의 proof 과정 중 질문이 있습니다. (p -> ?x.p)
P(x)
-------
?x.P(x)


를 proof하는 방법을 모르겠습니다.(아무 조건 없이)

P(x)의 x가 free variable이 아니라면 확실히 가능한데,
x가 free varia ...
  주제: Predicate logic의 proof 과정 중 질문이 있습니다. (p -> ?x.p)
현경렬

답변: 1
조회: 4977

올리기게시판: 400.002 Engineering Mathematics II (Fall 2005)   올려짐: 2005년12월1일 1:09   주제: Predicate logic의 proof 과정 중 질문이 있습니다. (p -> ?x.p)
P(x)
-------
?x.P(x)


를 proof하는 방법을 모르겠습니다.(아무 조건 없이)

P(x)의 x가 free variable이 아니라면 확실히 가능한데,
x가 free varia ...
  주제: 6-2(저지방M)에서 모르는 타입.(fn x => 1)
현경렬

답변: 8
조회: 5399

올리기게시판: 4190.310 Programming Languages (Fall 2005)   올려짐: 2005년11월22일 1:18   주제: Re: 하하


val (Pair (v1, v2), m') = eval (e, m, exp)

이런 식의 구문을 남발하다보니 warning이 심히 많이 발생하는군요.

다른 분들은 어떤식으로 ...
  주제: 6-2(저지방M)에서 모르는 타입.(fn x => 1)
현경렬

답변: 8
조회: 5399

올리기게시판: 4190.310 Programming Languages (Fall 2005)   올려짐: 2005년11월21일 23:58   주제: Re: 6-2(저지방M)에서 모르는 타입.(fn x => 1)
unknown type이 있는 경우 저는 에러가 나도록 하였습니다. 유사하게 아래와 같은 경우도 에러가 발생합니다. (이런 구현이 틀린 건가??)
폴리모픽한 타입 ...
  주제: 6-2(저지방M)에서 모르는 타입.(fn x => 1)
현경렬

답변: 8
조회: 5399

올리기게시판: 4190.310 Programming Languages (Fall 2005)   올려짐: 2005년11월21일 23:47   주제: 6-2(저지방M)에서 모르는 타입.(fn x => 1)
fn x => 1
의 타입은 무엇인가요?

-- 결석 횟수가 많아서 죄송합니다.
  주제: 숙제 6-2(저지방M)에서 := (ASSIGN)의 타입체킹에 관하여 (6-1도 해당됨)
현경렬

답변: 5
조회: 4101

올리기게시판: 4190.310 Programming Languages (Fall 2005)   올려짐: 2005년11월21일 22:31   주제: 숙제 6-2(저지방M)에서 := (ASSIGN)의 타입체킹에 관하여 (6-1도 해당됨)
malloc(2) := true

의 상황을 타입 체커가 타입 오류라고 생각해야 하는지, 아니면
허용해야 되는지 잘 모르겠습니다.

다른 분들은 어떻게 생 ...
  주제: 우선 순위가 자연스럽지 못 한 것 같아요.
현경렬

답변: 4
조회: 2717

올리기게시판: 4190.310 Programming Languages (Fall 2005)   올려짐: 2005년10월27일 0:02   주제: 우선 순위가 자연스럽지 못 한 것 같아요.
우선 순위에서 `;'가 eval 보다 높아서

eval XXX; write 4 를 하면
SEQ(EVAL(VAR("XXX")),WRITE(NUM(4))) 로 파싱 되어야 하는데
...
  주제: example의 star.k- 에서요..
현경렬

답변: 5
조회: 4284

올리기게시판: 4190.310 Programming Languages (Fall 2005)   올려짐: 2005년10월26일 19:59   주제: Re: 그렇다면 k- 에서 malloc 을 사용할 수 없는건가요?
쓰레드를 통해서 *x = 3 을 수행할 경우 *x 가 계산이 되어버려서 값을 할당할 수 없는 상태가 됨을 이해하였습니다.
그렇다면 malloc 으로 잡은 주소값에 ...
  주제: memory allocation에서 이해할수 없는 문제..
현경렬

답변: 2
조회: 2099

올리기게시판: 4190.310 Programming Languages (Fall 2005)   올려짐: 2005년10월19일 21:24   주제: Re: memory allocation에서 이해할수 없는 문제..
일종의 가상 메모리라고 생각하면 어떨까요, 모든 변수들은 하나의 공간만을 가지는 가상 메모리요.

레코드도 정수도 한 공간만 점유한다고 생각하 ...
  주제: 숙제 3-1에서 generic assign질문입니다 - 테스트셋 첨부
현경렬

답변: 7
조회: 4048

올리기게시판: 4190.310 Programming Languages (Fall 2005)   올려짐: 2005년10월19일 11:51   주제: Re: 오해
쓰레드가 오해가 있는듯 하군요.

"x := malloc(5)"
은 의미구조(semantics)정의에 아무 문제가 없다.
x라는 주소에 malloc(5)가 만드는 주소를 넣고,

"*x := 3" ...
 
페이지 12 페이지로 1, 2  다음
시간대: GMT + 9 시간(한국)
건너뛰기:  


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