글쓴이 |
메시지 |
주제: 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 |
|