게시판 인덱스

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

검색 결과 19 개 일치합니다
게시판 인덱스
글쓴이 메시지
  주제: 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   주제: 아래 주석 안달려 있는 문제들이요
답이 어떻게 되나요?
 
페이지 12 페이지로 1, 2  다음
시간대: GMT + 9 시간(한국)
건너뛰기:  


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