FAQ
검색
멤버리스트
사용자 그룹
사용자 등록하기
개인 정보
비공개 메시지를 확인하려면 로그인하십시오
로그인
검색 결과 11 개 일치합니다
게시판 인덱스
글쓴이
메시지
주제:
4-2 테스트케이스 공유합니다
김용기
답변:
4
조회:
2245
게시판:
4190.310 Programming Languages (Fall 2014)
올려짐: 2014년10월24일 15:38 주제:
4-2 테스트케이스 공유합니다
안녕하세요?
다른 분들께 도움이 될까 해서 테스트 케이스를 공유합니다.
테스트1:
map: x|(y|(z|*))
key: {-,(-,-)}
테 ...
주제:
[참고] 테스트용 T(reasure) 파서
김용기
답변:
1
조회:
1383
게시판:
4190.310 Programming Languages (Fall 2014)
올려짐: 2014년10월23일 10:33 주제:
[참고] 테스트용 T(reasure) 파서
안녕하세요?
테스트용으로 만든 간단한 파서를 공개합니다.
tParser.mly 코드에서 모듈명만 고치셔서 쓰면 됩니다.
저의 경우 숙제 파일이 hw4_2.ml 이 ...
주제:
숙제 3-2: 테스트 케이스 공유
김용기
답변:
8
조회:
2995
게시판:
4190.310 Programming Languages (Fall 2014)
올려짐: 2014년10월9일 8:05 주제:
숙제 3-2: 테스트 케이스 공유
조교님 말씀대로 효율적인 알고리즘 구현이 과제의 목적과는 무관하다고 생각되지만.
혹시 궁금하신 분들을 위해 최적화 팁을 드리자면
이 문제의 ...
주제:
숙제 3-1: 테스트 케이스 공유
김용기
답변:
6
조회:
2400
게시판:
4190.310 Programming Languages (Fall 2014)
올려짐: 2014년10월8일 14:05 주제:
숙제 3-1: 테스트 케이스 공유
김찬민님 말씀대로 semantics를 보면 적법한 코드로 보입니다.
저도 동일하게 2가 결과로 나오고요...
K- 언어의 의미 정의를 보면 함수 호출 시 환경에 ...
주제:
숙제 3: write에서 빈 줄을 출력하지 않으니 결과가 애매해집니다.
김용기
답변:
2
조회:
1407
게시판:
4190.310 Programming Languages (Fall 2014)
올려짐: 2014년10월7일 18:18 주제:
숙제 3: write에서 빈 줄을 출력하지 않으니 결과가 애매해집니다.
0123456
과 같이 번호를 다르게 하시면 될 것 애매함은 없을 것 같습니다. 불편하긴 하겠지만요..
채점의 편의를 위해서 줄바꿈 표시하지 않도록 정한 ...
주제:
K- vim syntax file
김용기
답변:
2
조회:
1795
게시판:
4190.310 Programming Languages (Fall 2014)
올려짐: 2014년10월7일 18:14 주제:
K- vim syntax file
저 같은 경우는 그냥
:set syntax=ocaml
로 했는데, 대단하시네요...
잘 쓰겠습니다.[/code]
주제:
숙제 제출 페이지가 열리질 않네요 + 질문
김용기
답변:
1
조회:
1176
게시판:
4190.310 Programming Languages (Fall 2014)
올려짐: 2014년10월7일 9:13 주제:
숙제 제출 페이지가 열리질 않네요 + 질문
조교님께,
안녕하세요? 수강생 김용기 입니다.
일단 hw3 제출 페이지가 열리지 않는 것 같습니다. 조치 부탁드립니다.
그리고 질문입니다.
* 3-2, 3 ...
주제:
binary tree관련 질문입니다.
김용기
답변:
3
조회:
1690
게시판:
4190.310 Programming Languages (Fall 2014)
올려짐: 2014년10월7일 9:02 주제:
binary tree관련 질문입니다.
제가 조교는 아니지만... 숙제를 해본 입장에서.
empty tree는 노드의 값이 null(unit)인 걸로 판단하면 되지 않을까 싶고...
예외란 semantics에서 정의되지 ...
주제:
숙제 3: 뼈대 코드는 CP949인데, utf8 버전 없을까요?
김용기
답변:
2
조회:
1506
게시판:
4190.310 Programming Languages (Fall 2014)
올려짐: 2014년10월7일 8:56 주제:
숙제 3: 뼈대 코드는 CP949인데, utf8 버전 없을까요?
저도 리눅스 유저인데...
급한대로
mv hw3.ml hw3.ml.cp949
icon -f cp949 -t utf8 hw3.ml.cp949 > hw3.ml
이렇게 인코딩을 고쳐서 썼네요..
참고가 되셨길 바랍 ...
주제:
숙제 3: "숙제를 위한 문법과 의미의 정확한 정의"는 언제쯤 볼 수 있을까요?
김용기
답변:
4
조회:
1675
게시판:
4190.310 Programming Languages (Fall 2014)
올려짐: 2014년10월3일 15:56 주제:
숙제 3: "숙제를 위한 문법과 의미의 정확한 정의"는 언제쯤 볼 수 있을까요?
예전 게시판을 참조하니 스펙이 있네요, 뼈대코드 링크도 살아있으니 참고하시면 될 듯 합니다.
- 숙제 공지
https://ropas.snu.ac.kr/phpbb/viewtopic.php?t=3866
...
주제:
2-6 소스에도 signature 포함인가요?
김용기
답변:
1
조회:
1032
게시판:
4190.310 Programming Languages (Fall 2014)
올려짐: 2014년9월30일 14:22 주제:
2-6 소스에도 signature 포함인가요?
죠교님께,
안녕하세요?
숙제 2-5는 signature 포함으로 명시되어 있는데
2-6에도 소스에 signature를 포함해야 하는지 궁금합니다.
감사합니다.
김용 ...
페이지
1
중
1
시간대: GMT + 9 시간(한국)
건너뛰기:
게시판 선택
4190.310 Programming Languages
----------------
4190.310 Programming Languages (Spring 2025)
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 (Spring 2025)
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)
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)
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