FAQ
검색
멤버리스트
사용자 그룹
사용자 등록하기
개인 정보
비공개 메시지를 확인하려면 로그인하십시오
로그인
검색 결과 16 개 일치합니다
게시판 인덱스
글쓴이
메시지
주제:
5-2 테스트케이스
김수
답변:
3
조회:
3057
게시판:
4190.310 Programming Languages (Fall 2017)
올려짐: 2017년11월17일 17:45 주제:
5-2 테스트케이스
감사합니다.
주제:
과제 4-2 테스트케이스
김수
답변:
1
조회:
1545
게시판:
4190.310 Programming Languages (Fall 2017)
올려짐: 2017년10월20일 21:08 주제:
과제 4-2 테스트케이스
잘 되네요 감사합니다!
주제:
3-1 추가 테스트
김수
답변:
3
조회:
2353
게시판:
4190.310 Programming Languages (Fall 2017)
올려짐: 2017년10월19일 16:48 주제:
3-1 추가 테스트
보충 스펙 추가에 따른 테스트입니다.
(* test case : Record assign unbound *)
let x := {a := 0} in
x.a := 1;
write x.a;
x.b := 1
(* ...
주제:
과제 3-1 EQUAL 질문
김수
답변:
1
조회:
1366
게시판:
4190.310 Programming Languages (Fall 2017)
올려짐: 2017년10월19일 9:48 주제:
과제 3-1 EQUAL 질문
https://ropas.snu.ac.kr/phpbb/viewtopic.php?t=5943
제가 이해한게 맞다면 이 글이 도움이 될거 같습니다.
주제:
숙제 3-1 test2 질문
김수
답변:
2
조회:
3620
게시판:
4190.310 Programming Languages (Fall 2017)
올려짐: 2017년10월17일 21:00 주제:
숙제 3-1 test2 질문
공지에서
“read의 실행의미 구현에는 read_int 를”
쓴다고 했기에 다른 경우를 생각하지 않는게 자연스럽지 싶습니다.
주제:
3-1 추가 테스트
김수
답변:
3
조회:
2353
게시판:
4190.310 Programming Languages (Fall 2017)
올려짐: 2017년10월13일 12:42 주제:
3-1 추가 테스트
스켈레톤 코드에 들어있는 현행 example/test*.k- 가 커버하지 못하는 경우를 추가적으로 테스트합니다.
(* Public test case 12 *)
(* Test list
while
*& ...
주제:
과제3 질문
김수
답변:
3
조회:
4575
게시판:
4190.310 Programming Languages (Fall 2017)
올려짐: 2017년10월13일 12:40 주제:
과제3 질문
스켈레톤 코드에 LOC 타입과 구현이 정의되어 있습니다.
기계적인 부분을 생각하지 마시고 그걸 보면 될 것 같습니다.
(* Location Signature *)
modu ...
주제:
K- 언어 vscode langauge extension
김수
답변:
0
조회:
1405
게시판:
4190.310 Programming Languages (Fall 2017)
올려짐: 2017년10월12일 16:22 주제:
K- 언어 vscode langauge extension
K- 언어로 3.2, 3.3 과제를 할 때 도움이 되는 간단한 language support & syntax highlighter 를 만들었습니다.
메모장에서 코딩하던 느낌이 아니라 제대로된 ...
주제:
2-7 print_of_value 출력
김수
답변:
3
조회:
1330
게시판:
4190.310 Programming Languages (Fall 2017)
올려짐: 2017년9월25일 9:55 주제:
2-7 print_of_value 출력
'"1"' 과 '1' 중에 어느걸 출력하는지 묻는 거라면, 후자가 맞습니다.
일반적인 형태의 출력으로 구현하시면 됩니다.
주제:
과제 2-1 질문
김수
답변:
3
조회:
1441
게시판:
4190.310 Programming Languages (Fall 2017)
올려짐: 2017년9월24일 18:03 주제:
과제 2-1 질문
어떻게 구현하셨는진 모르겠는데
오카멜에서 타입 패턴이 완전히 커버되지 않는다는 경고가 뜬다는 것은 구현이 잘못되었을 가능성이 상당히 높다 ...
주제:
과제 2-3 테스트 케이스 오류 질문
김수
답변:
2
조회:
1279
게시판:
4190.310 Programming Languages (Fall 2017)
올려짐: 2017년9월22일 15:10 주제:
과제 2-3 테스트 케이스 오류 질문
crazy2 가 두군데 정의되어 있다는 에러인데요,
원 글에서 "여기서 crazy2val을 쓰도록 해놨으니 숙제 2.1에서 짠 crazy2val을 먼저 넣고 시작하셔요. &quo ...
주제:
HW2 테스트 템플릿
김수
답변:
0
조회:
1175
게시판:
4190.310 Programming Languages (Fall 2017)
올려짐: 2017년9월22일 14:08 주제:
HW2 테스트 템플릿
과제 2번 테스트 입니다.
앞에 분이 모아서 올린거에서 테스트가 추가된 것은 없습니다.
개인적으로 테스트를 한큐에 돌리고 싶어서 만들었습니다. ...
주제:
과제에서 제시한 함수 외의 함수를 이용해도 되나요?
김수
답변:
2
조회:
1383
게시판:
4190.310 Programming Languages (Fall 2017)
올려짐: 2017년9월22일 14:03 주제:
과제에서 제시한 함수 외의 함수를 이용해도 되나요?
헬퍼 함수를 만드는 것은 자율일것 같습니다. 어짜피 원 함수만 테스트 대상이니까요.
주제:
2-6 질문
김수
답변:
1
조회:
1140
게시판:
4190.310 Programming Languages (Fall 2017)
올려짐: 2017년9월22일 13:48 주제:
2-6 질문
"이 모듈에 있는 함수들을 이용해서 큐를 만드는 과정의 예"
라고 되어있으니 필요없을 것 같습니다.
주제:
2-4가 잘 이해가 안 됩니다.
김수
답변:
2
조회:
1394
게시판:
4190.310 Programming Languages (Fall 2017)
올려짐: 2017년9월22일 13:30 주제:
2-4가 잘 이해가 안 됩니다.
최대한 비유를 살려보면
역 이름이라는 것은 역이 위치한 지역을 반영해야만 합니다.
가령
봉천동이란 지역에 있는 역이 봉천역이라는 이름을 갖 ...
페이지
1
중
2
페이지로
1
,
2
다음
시간대: GMT + 9 시간(한국)
건너뛰기:
게시판 선택
010.142 Basics in Computing
----------------
010.142 Basics in Computing (Spring 2006)
400.002 Engineering Mathematics II
----------------
400.002 Engineering Mathematics II (Fall 2005)
4190.210 Principles of Programming
----------------
4190.210 Principles of Programming (Fall 2014)
4190.210 Principles of Programming (Fall 2013)
4190.210 Principles of Programming (Fall 2012)
4190.210 Principles of Programming (Fall 2011)
4190.210 Principles of Programming (Fall 2010)
4190.210 Principles of Programming (Fall 2009)
4190.210 Principles of Programming (Fall 2008)
4190.210 Principles of Programming (Spring 2007)
4190.210 Principles of Programming (Spring 2006)
4190.310 Programming Languages
----------------
4190.310 Programming Languages (Spring 2024)
4190.310 Programming Languages (Spring 2023)
4190.310 Programming Languages (Spring 2022)
4190.310 Programming Languages (Spring 2021)
4190.310 Programming Languages (Fall 2019)
4190.310 Programming Languages (Fall 2018)
4190.310 Programming Languages (Fall 2017)
4190.310 Programming Languages (Fall 2015)
4190.310 Programming Languages (Fall 2014)
4190.310 Programming Languages (Fall 2013)
4190.310 Programming Languages (Fall 2012)
4190.310 Programming Languages (Fall 2011)
4190.310 Programming Languages (Spring 2011)
4190.310 Programming Languages (Fall 2010)
4190.310 Programming Languages (Fall 2009)
4190.310 Programming Languages (Fall 2008)
4190.310 Programming Languages (Fall 2007)
4190.310 Programming Languages (Fall 2006)
4190.310 Programming Languages (Fall 2005)
4541.664A Program Analysis
----------------
4541.664A Program Analysis (Fall 2023)
4541.664A Program Analysis (Spring 2017)
4541.664A Program Analysis (Spring 2016)
4541.664A Program Analysis (Spring 2015)
4541.664A Program Analysis (Spring 2014)
4541.664A Program Analysis (Spring 2013)
4541.664A Program Analysis (Spring 2011)
4541.664A Program Analysis (Spring 2010)
4541.664A Program Analysis (Spring 2009)
4541.664A Program Analysis (Fall 2008)
4541.664A Program Analysis (Spring 2007)
4541.664A Program Analysis (Spring 2006)
027.013 Computational Civilization
----------------
046.016 Computational Civilization (Spring 2018)
046.016 Computational Civilization (Spring 2017)
046.016 Computational Civilization (Spring 2016)
046.016 Computational Civilization (Fall 2015)
046.016 Computational Civilization (Spring 2015)
046.016 Computational Civilization (Spring 2014)
027.013 Computational Civilization (Spring 2013)
027.013 Computational Civilization (Fall 2012)
L444.200 Computational Thinking and Practice
----------------
L444.200 Computational Thinking and Practice (Fall 2017)
Powered by
phpBB
2.0.21-7 (Debian) © 2001, 2005 phpBB Group
Translated by kss & drssay