| 글쓴이 |
메시지 |
주제: eo_test5.k 질문입니다. |
강동현
답변: 1
조회: 1984
|
게시판: 4541.664A Program Analysis (Spring 2016) 올려짐: 2016년6월13일 5:52 주제: eo_test5.k 질문입니다. |
/* x is even */
/* quiz */
a := 1;
b := 2;
x := readInt;
if (x) (p := &a) (p := 10);
if (x) (p := &b) (p := p + 1);
c := *p /* p must point to {b}, not {a, b}. Why? */
에서, x가 ... |
주제: Davinci의 Don't Know 에 대해 질문이 있습니다. |
강동현
답변: 2
조회: 2232
|
게시판: 4541.664A Program Analysis (Spring 2016) 올려짐: 2016년6월12일 0:57 주제: 몇가지 까다로울 것 같은 예제 달아봅니다. |
(eo)
x := readInt ;
y := x + x
(davinci)
x := readInt ;
y := x + (-x) + 415 |
주제: Davinci의 Don't Know 에 대해 질문이 있습니다. |
강동현
답변: 2
조회: 2232
|
게시판: 4541.664A Program Analysis (Spring 2016) 올려짐: 2016년6월11일 16:19 주제: Davinci의 Don't Know 에 대해 질문이 있습니다. |
안녕하세요. Davinci구현 및 테스트 중 don't know에 대해 의문점이 들어 질문하게 되었는데요,
제가 생각한 don't know는 "프로그램 실행 상태에 따라, da ... |
주제: 프로젝트 공지 및 뼈대코드 (6/13 마지막 업데이트) |
강동현
답변: 4
조회: 3337
|
게시판: 4541.664A Program Analysis (Spring 2016) 올려짐: 2016년6월6일 23:25 주제: opam 설치 관련해서 |
1.
Ubuntu 14.04 LTS 사용중인데요
sudo apt-get upgrade / update 등을 다 해도 opam 버전이 1.1.1로 깔리네요.
더 이상 opam 1.1.1 버전에서의 opam init이 지원되지 않는 ... |
주제: 6_1 질문입니다. |
강동현
답변: 2
조회: 2719
|
게시판: 4190.310 Programming Languages (Fall 2012) 올려짐: 2012년11월13일 20:15 주제: 감사합니다 |
| malloc을 두 번 해준 이유는 malloc의 언어적 의미나 , loccount의 변수명에서 오는 이름에 부담감을 느껴서// 랄까요 ㅜ malloc을 쓰지 않고 새로운 memory를 생 ... |
주제: 6_1 질문입니다. |
강동현
답변: 2
조회: 2719
|
게시판: 4190.310 Programming Languages (Fall 2012) 올려짐: 2012년11월13일 14:10 주제: 6_1 질문입니다. |
Malloc 을 하면 (l,0) 형태로 location 이 나오잖아요,
만약,
Malloc을 두 번 하면 (l,0) (l+1,0) 의 주솟값이 스택에 생기는데
두번째 생긴 (l+1,0)의 주소값 ... |
주제: hw 5-2 질문입니다. |
강동현
답변: 1
조회: 2507
|
게시판: 4190.310 Programming Languages (Fall 2012) 올려짐: 2012년11월5일 13:08 주제: hw 5-2 질문입니다. |
op 중에 and가 있잖아요,
그런데 주어진 m의 어떠한 리턴값도 True / False가 없어서, and가 실제로 쓰일 일이 없는 것 같은데, 이 and를
true and true = true / ... |
주제: 4-4 출력 형태 질문입니다. |
강동현
답변: 1
조회: 2280
|
게시판: 4190.310 Programming Languages (Fall 2012) 올려짐: 2012년10월30일 14:05 주제: 4-4 출력 형태 질문입니다. |
1. 에러 출력 질문입니다.
exception Error of string
raise (Error "It cannot be solved")
이런 식으로 에러 출력 하면 되나요? 아니면 다른 형식이 있나 ... |
주제: HW 4-4 질문입니다. |
강동현
답변: 1
조회: 2407
|
게시판: 4190.310 Programming Languages (Fall 2012) 올려짐: 2012년10월29일 13:57 주제: HW 4-4 질문입니다. |
작년 게시글을 보면,
Guide ("z",map) 이 있을 때 무조건 z는 map 안에 있게 가정하여도 좋다는 글을 보았는데요, 이번에도 그렇게 프로그래밍 해도 ... |
주제: 숙제 4-1 질문입니다. |
강동현
답변: 1
조회: 2153
|
게시판: 4190.310 Programming Languages (Fall 2012) 올려짐: 2012년10월24일 3:31 주제: 숙제 4-1 질문입니다. |
| for, while 등을 call을 통해 호출하기 위해선 부득이하게 임의의 id - ex : "For" "while" 을 써야 되는 것 같은데요, 프로그램 내에서 제가 만든 ... |
주제: 혹시 숙제 제출 페이지에서 기록 남나요? |
강동현
답변: 3
조회: 2249
|
게시판: 4190.210 Principles of Programming (Fall 2011) 올려짐: 2011년12월1일 17:50 주제: 헉;; |
| 저두 hw 6-3에다가 딜레이된 6-4 를 덮어씌워서 같이 딜레이 되었는데 ㅜㅜ hw6에는 적용 안되려나요 ㅜㅜ 당연히 안될줄 알고 질문하지 못했습니다... |
주제: 숙제 7 질문입니다. |
강동현
답변: 0
조회: 1383
|
게시판: 4190.210 Principles of Programming (Fall 2011) 올려짐: 2011년11월19일 22:03 주제: 숙제 7 질문입니다. |
저번 스펙 그대로를 구현하라고 하셨는데요,
저번에는
react : liquid -> void
run_tm : tm -> tm 인데 결과를 print_tm으로 출력 할 것
이란 조건이 있 ... |
주제: 숙제 6-2 testset입니다 |
강동현
답변: 4
조회: 2937
|
게시판: 4190.210 Principles of Programming (Fall 2011) 올려짐: 2011년11월10일 11:21 주제: 감사합니다! |
| ㅎㅎ |
주제: 5-2 질문입니다. |
강동현
답변: 1
조회: 1642
|
게시판: 4190.210 Principles of Programming (Fall 2011) 올려짐: 2011년10월29일 18:32 주제: 5-2 질문입니다. |
물건중심으로 짤 때,
안의 서브함수 (메인함수 말고요) (간단한 - tape length 라든가)
도 모두 물건중심으로 짜야 하나요? |
주제: 실습 5 테스트셋 |
강동현
답변: 1
조회: 1614
|
게시판: 4190.210 Principles of Programming (Fall 2011) 올려짐: 2011년10월24일 13:27 주제: 아래 주석 안달려 있는 문제들이요 |
| 답이 어떻게 되나요? |
| |