게시판 인덱스

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

검색 결과 29 개 일치합니다
게시판 인덱스
글쓴이 메시지
  주제: EQ에 loc가 들어가는 경우
유경인

답변: 7
조회: 3484

올리기게시판: 4190.310 Programming Languages (Fall 2014)   올려짐: 2014년12월8일 15:31   주제: EQ에 loc가 들어가는 경우
assign case 보고 다시 질문드립니다!

통과되는건지 아닌지 확인해주세요~
  주제: EQ에 loc가 들어가는 경우
유경인

답변: 7
조회: 3484

올리기게시판: 4190.310 Programming Languages (Fall 2014)   올려짐: 2014년12월5일 21:22   주제: EQ에 loc가 들어가는 경우
malloc 1 = malloc true

이런건 type check 되나요 안되나요?

M 언어 definition 보면 되는것 같긴 한데 확신이 없어서요..

Γ ㅏ e1 : τ
Γ ㅏ e2 : τ
τ = i, b, s ...
  주제: 숙제 7: 주어진 뼈대코드에서 체크 결과로 리턴해야 하는 타입이 부족합니다.
유경인

답변: 8
조회: 3285

올리기게시판: 4190.310 Programming Languages (Fall 2014)   올려짐: 2014년12월4일 18:50   주제: 숙제 7: 주어진 뼈대코드에서 체크 결과로 리턴해야 하는 타입이 부족합니다.
fn x => x : 7-1, 7-2 모두 TypeError

let val f = fn x => x in f 1 end : 7-1, 7-2 모두 Int

let val f = fn x => x in f 1; f true end : 7-1은 TypeError, 7-2는 Bool

정리하면 이 ...
  주제: 숙제 7: return 타입이 유일하게 결정되지 않으면 무엇을 답으로 출력해야 합니까?
유경인

답변: 5
조회: 2414

올리기게시판: 4190.310 Programming Languages (Fall 2014)   올려짐: 2014년12월3일 16:07   주제: 숙제 7: return 타입이 유일하게 결정되지 않으면 무엇을 답으로 출력해야 합니까?
그럼 이 예시의 경우는 결과가 어떻게 나와야 하나요?
  주제: HW 6-3 EQ 질문입니다.
유경인

답변: 2
조회: 1816

올리기게시판: 4190.310 Programming Languages (Fall 2014)   올려짐: 2014년11월16일 19:38   주제: HW 6-3 EQ 질문입니다.
pair와 closure의 경우 정의가 trivial하지 않은 것 같습니다.
특히 두 closure가 같은지 판별하는건 불가능해보이고요..

Pair의 경우, 다음 case들의 결과가 ...
  주제: 프로젝트 3번 질문입니다.
유경인

답변: 3
조회: 4821

올리기게시판: 4190.210 Principles of Programming (Fall 2013)   올려짐: 2013년12월20일 22:44   주제: 프로젝트 3번 질문입니다.

repeat 50 read의 경우 read를 50번 합니다.

그러면 위 식의 값은 read를 50번해서 모두 더한 값이 되나요?
  주제: 프로젝트 2
유경인

답변: 5
조회: 4276

올리기게시판: 4190.210 Principles of Programming (Fall 2013)   올려짐: 2013년12월20일 16:30   주제: 프로젝트 2
prj2_grade.ml에 있는 테스트케이스는 합이 1이 아닌 경우인것같은데요..
합이 1이되도록 적당한 숫자로 나누어서 normalize해줘야 된단 뜻인가요?

1
1.5
0. ...
  주제: 프로젝트 3 질문입니다
유경인

답변: 4
조회: 4505

올리기게시판: 4190.210 Principles of Programming (Fall 2013)   올려짐: 2013년12월18일 17:55   주제: 프로젝트 3 질문입니다
그렇다면,
한번의 say 이후에
옳지않은 문장이 와도 true인가요? 이미 첫번째 say에서 프로그램이 종결된 것이니까요

예를들어
x has 1;
say x;
say y;
는 ...
  주제: 프로젝트 2번 질문입니다
유경인

답변: 1
조회: 3203

올리기게시판: 4190.210 Principles of Programming (Fall 2013)   올려짐: 2013년12월18일 17:53   주제: 프로젝트 2번 질문입니다
아래에 답글로 질문했는데 못보신것같아서 다시올립니다

add_column과 add_row를 동시에 사용하여 matrix를 만들수 있다고 하셨는데,
두가지를 섞어서 만 ...
  주제: 프로젝트 2에 매트릭스 생성에 관해 질문있습니다
유경인

답변: 2
조회: 7786

올리기게시판: 4190.210 Principles of Programming (Fall 2013)   올려짐: 2013년12월18일 0:09   주제: 프로젝트 2에 매트릭스 생성에 관해 질문있습니다
두가지를 섞어서 만들수 있다면,
add row로 매트릭스를 만들다가 add column을 했을때
열의개수가 서로 일치하지 않으면 어떻게하면 될까요?

즉,
add_colu ...
  주제: 프로젝트 3 질문입니다
유경인

답변: 4
조회: 4505

올리기게시판: 4190.210 Principles of Programming (Fall 2013)   올려짐: 2013년12월17일 23:23   주제: 프로젝트 3 질문입니다
한가지 더,
cmd는 마지막의 say를 출력값이라 생각한다 하셨는데요
cmd의 마지막 문장이 say가 아니라 다른것이어도 상관없나요?

즉,
x has 1;
y has 2;
sa ...
  주제: 프로젝트 3 질문입니다
유경인

답변: 4
조회: 4505

올리기게시판: 4190.210 Principles of Programming (Fall 2013)   올려짐: 2013년12월17일 23:14   주제: 프로젝트 3 질문입니다
그때 마지막 실습시간에 질문했었는데.. 뭐라고 답변주셨는지 기억이 잘 안나서 질문합니다

플젝 3번 check_cmd에서
같은 tag가 여러개있으면 false리턴 ...
  주제: [HW5-3] 채점기 질문입니다
유경인

답변: 1
조회: 1521

올리기게시판: 4190.210 Principles of Programming (Fall 2013)   올려짐: 2013년10월19일 16:43   주제: [HW5-3] 채점기 질문입니다
가장 마지막의 Turing machine에서
tape의 이동 방향이 반대로 표현된것 같네요.

Tape에서
move-left 하면
"-.-.a.b.-" 에서
"-.a.b.-.-" 로 바뀌는 ...
  주제: hw5-4 매장 갯수 질문입니다
유경인

답변: 3
조회: 1951

올리기게시판: 4190.210 Principles of Programming (Fall 2013)   올려짐: 2013년10월18일 23:26   주제: hw5-4 매장 갯수 질문입니다
1. '없는 매장이 있다'는 것은
입력되는 model에 포함되지 않는다는건가요?
예를들어, '((A B 1.0) (B C 0.3) (B D 0.7) (C A 0.6) (C D 0.4) (D D 1.0))는
E를 포함하지 ...
  주제: 재귀함수가 끝나는 것인지 확인하는 것에 대한 질문입니다.
유경인

답변: 4
조회: 2540

올리기게시판: 4190.210 Principles of Programming (Fall 2013)   올려짐: 2013년10월15일 23:39   주제: 재귀함수가 끝나는 것인지 확인하는 것에 대한 질문입니다.
https://ropas.snu.ac.kr/phpbb/viewtopic.php?t=3946&sid=f633f4831dcff6ff3a4fe2a03260504a
 
페이지 12 페이지로 1, 2  다음
시간대: GMT + 9 시간(한국)
건너뛰기:  


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