게시판 인덱스

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

검색 결과 33 개 일치합니다
게시판 인덱스
글쓴이 메시지
  주제: 서성현학생 봐주세요 :)
이기석

답변: 26
조회: 33445

올리기게시판: 400.002 Engineering Mathematics II (Fall 2005)   올려짐: 2005년12월14일 0:32   주제: 서성현학생 봐주세요 :)

저는 "일반적인 별자리 운세"의 정의를 아래와 같이 알고 있었고, 그에 따라 문제를 해석한 겁니다.

 별자리운세 = {x | x는 사람 P를 받아 good luck과 ...
  주제: 서성현학생 봐주세요 :)
이기석

답변: 26
조회: 33445

올리기게시판: 400.002 Engineering Mathematics II (Fall 2005)   올려짐: 2005년12월11일 23:38   주제: 서성현학생 봐주세요 :)

★step 4.

만약 제가 이렇게 이해한 것이 맞게 이해한 것이라면,
soundness의 정의와 completeness의 정의가 같아져버리는
심각한 모순이 발생합니다.

...
  주제: 서성현학생 봐주세요 :)
이기석

답변: 26
조회: 33445

올리기게시판: 400.002 Engineering Mathematics II (Fall 2005)   올려짐: 2005년12월11일 6:40   주제: 서성현학생 봐주세요 :)

기석님은 '항상 맞아떨어진다'를 이렇게 해석하셨군요.
"운세 알고리즘이 good luck을 리턴했을 때에만,
운세 알고리즘이 리턴하는 결과와 현실 세 ...
  주제: 서성현학생 봐주세요 :)
이기석

답변: 26
조회: 33445

올리기게시판: 400.002 Engineering Mathematics II (Fall 2005)   올려짐: 2005년12월10일 0:50   주제: 서성현학생 봐주세요 :)

'(1) (2)에 의해 안전하다'
라면 모를까

'(1) 에 의해 안전하다'
라는 것은 틀린 것 같습니다.

어째서 틀린가요?
전 맞다고 생각하는데..

왜냐 ...
  주제: 서성현학생 봐주세요 :)
이기석

답변: 26
조회: 33445

올리기게시판: 400.002 Engineering Mathematics II (Fall 2005)   올려짐: 2005년12월9일 3:59   주제: 서성현학생 봐주세요 :)


``항상 맞아떨어진다''의 정의
(1) 운세가 좋다 -> 그 사람은 성공한다
(2) 운세가 나쁘다 -> 그 사람은 실패한다

(1)에 의해 안전하고, (2)의 대 ...
  주제: 서성현학생 봐주세요 :)
이기석

답변: 26
조회: 33445

올리기게시판: 400.002 Engineering Mathematics II (Fall 2005)   올려짐: 2005년12월9일 3:25   주제: Re: 서성현학생 봐주세요 :)
↓밑에 답변을 쓰다가 실수로 이상하게 됐네요;
  주제: 5-1 조금 난해할 수도 있는 테스트셋(updated)
이기석

답변: 7
조회: 4759

올리기게시판: 4190.310 Programming Languages (Fall 2005)   올려짐: 2005년11월10일 22:40   주제: 5-1 조금 난해할 수도 있는 테스트셋(updated)

let
x := malloc(3)
in
(x + 0) := 0;
(x - (-1)) := 1;
(2 + x) := 2;

let
y := 0
in
y := x + 6;
write ...
  주제: 퀴즈2 해답이 올라왔습니다.
이기석

답변: 3
조회: 5953

올리기게시판: 400.002 Engineering Mathematics II (Fall 2005)   올려짐: 2005년11월10일 10:52   주제: 퀴즈2 해답이 올라왔습니다.
저도 퀴즈시간에 조교님께

각 Predicate은 이름과는 상관없는

임의의 해석을 가지는지에 대해 질문드렸는데

그렇다는 대답을 듣고 그에 맞게 문 ...
  주제: 5-2번 질문입니다.
이기석

답변: 1
조회: 1721

올리기게시판: 4190.310 Programming Languages (Fall 2005)   올려짐: 2005년11월5일 22:56   주제: 5-2번 질문입니다.
5-2번은 trans함수와 Sm5x모듈 두 개를 제출하도록 돼있는데

그러면 5-1번에서 문제됐던 부분을 개선한 Sm5x 모듈을 제출해도

됩니까? (Location과 정수를 ...
  주제: HW 5-1 에관한 질문입니다.
이기석

답변: 4
조회: 2806

올리기게시판: 4190.310 Programming Languages (Fall 2005)   올려짐: 2005년11월5일 14:30   주제: HW 5-1 에관한 질문입니다.
정 그렇게 하라면 해야지요 Crying or Very sad
  주제: HW 5-1 에관한 질문입니다.
이기석

답변: 4
조회: 2806

올리기게시판: 4190.310 Programming Languages (Fall 2005)   올려짐: 2005년11월5일 2:52   주제: HW 5-1 에관한 질문입니다.
글쎄요;;

단적으로

Sm5의 semantic을 보면 심지어는 Memory에 Sm5.malloc을 통해 생성된
Location을 담을 수 조차 없습니다.
K--의 구문 중 x := malloc(3); 이럴 ...
  주제: HW 5-1 에관한 질문입니다.
이기석

답변: 4
조회: 2806

올리기게시판: 4190.310 Programming Languages (Fall 2005)   올려짐: 2005년11월4일 16:22   주제: HW 5-1 에관한 질문입니다.
조교님 안녕하세요 Smile

Sm5의 semantic을 보면 ADD는 정수끼리의 덧셈만 할 수 있도록 돼있습니다.

이에 반해 K--의 경우 Location과 정수의 덧셈, Location끼 ...
  주제: HW5 의 1번에서 질문입니다.
이기석

답변: 1
조회: 1675

올리기게시판: 4190.310 Programming Languages (Fall 2005)   올려짐: 2005년10월31일 16:44   주제: HW5 의 1번에서 질문입니다.
테스트를 위해 Sm5.run (trans(E)) 를 실행해야할텐데

어떻게 해볼 수 있습니까?

main.n 의 K.run (K.emptyMemory, K.emptyEnv, pgm) 부분을

Sm5.run (trans pgm) 으로 고 ...
  주제: K-- 정의와 인터프리터 구현이 일치하지 않습니다.
이기석

답변: 4
조회: 2801

올리기게시판: 4190.310 Programming Languages (Fall 2005)   올려짐: 2005년10월30일 22:32   주제: K-- 정의와 인터프리터 구현이 일치하지 않습니다.
아 그리고 이번 숙제의 배점이 10점씩 가산된다고 하셨는데

그럼 이번숙제의 배점은 35, 50, 40 점이 되는건가요? (덜덜)
  주제: K-- 정의와 인터프리터 구현이 일치하지 않습니다.
이기석

답변: 4
조회: 2801

올리기게시판: 4190.310 Programming Languages (Fall 2005)   올려짐: 2005년10월30일 21:08   주제: K-- 정의와 인터프리터 구현이 일치하지 않습니다.
ASSIGNG에서 K--의 정의를 보면 Unit을 리턴하게 돼있는데

k.n의 ASSIGNG를 보면 ASSIGNG (e1, e2) 에서의 e2를 평가한

결과값이 리턴되도록 돼있습니다.

인 ...
 
페이지 13 페이지로 1, 2, 3  다음
시간대: GMT + 9 시간(한국)
건너뛰기:  


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