게시판 인덱스

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

검색 결과 8 개 일치합니다
게시판 인덱스
글쓴이 메시지
  주제: 최종 성적 및 학점을 공개합니다
서장호

답변: 1
조회: 5244

올리기게시판: 4190.310 Programming Languages (Fall 2015)   올려짐: 2016년1월4일 17:28   주제: 최종 성적 및 학점을 공개합니다
조교님도 한학기동안 수고하셨습니다. 감사합니다. Wink
  주제: 숙제 공식스펙에 type mexp가 이상합니다
서장호

답변: 1
조회: 1304

올리기게시판: 4190.310 Programming Languages (Fall 2015)   올려짐: 2015년11월23일 20:47   주제: 숙제 공식스펙에 type mexp가 이상합니다
type mexp = Num of int
| Var of string
| Fn of string * exp
| Rec of string * string * exp
| Ifz of exp * exp * exp
| Pair of exp * exp
| Fst of exp
| Snd of exp
| Add of exp * exp
| Sub of e ...
  주제: 숙제 스펙 공지에서
서장호

답변: 1
조회: 1171

올리기게시판: 4190.310 Programming Languages (Fall 2015)   올려짐: 2015년11월19일 14:59   주제: 숙제 스펙 공지에서
기한 : 11/24 (수) 밤 12시

2015년 11월 24일은 화요일입니다.

서장호 드림
  주제: 과제 5-1 테스트케이스 몇 가지
서장호

답변: 3
조회: 1296

올리기게시판: 4190.310 Programming Languages (Fall 2015)   올려짐: 2015년11월8일 21:46   주제: 과제 5-1 테스트케이스 몇 가지
감사합니다.

전부 같게 나옵니다.
  주제: 마티니 실습환경 팁
서장호

답변: 1
조회: 1063

올리기게시판: 4190.310 Programming Languages (Fall 2015)   올려짐: 2015년10월5일 15:46   주제: 마티니 실습환경 팁
ledit 사용

ocaml 명령어로 실행하는 OCaml Toplevel은 방향키나 Home, End등의 키가 먹히지 않습니다.

http://i.imgur.com/J2DT8ob.png
방향키를 누르면 이렇게 됩니 ...
  주제: 과제2를 위한 테스트 케이스들 모아봐요!
서장호

답변: 14
조회: 3762

올리기게시판: 4190.310 Programming Languages (Fall 2015)   올려짐: 2015년9월30일 22:15   주제: 과제2를 위한 테스트 케이스들 모아봐요!
글타래 본문의 테스트케이스, 그리고 조상우님 테스트케이스 모두 같게 나옵니다. 다만:

* galculator float 결과가 소숫점 일곱자리 아래에서 조금씩 다 ...
  주제: ocaml 튜토리얼 일정 조사 (마감)
서장호

답변: 4
조회: 1178

올리기게시판: 4190.310 Programming Languages (Fall 2015)   올려짐: 2015년9월3일 23:29   주제: Re: (중요) ocaml 튜토리얼 일정 공지
- 9/9 수요일 19:00 - 19:50: 됩니다
- 9/10 목요일 13:00 - 13:50: 안 됩니다
- 9/11 금요일 13:00 - 19:50 중 1시간: 17시 30분부터만 됩니다
  주제: 강의 교재 제본 신청을 받습니다
서장호

답변: 18
조회: 3745

올리기게시판: 4190.310 Programming Languages (Fall 2015)   올려짐: 2015년9월3일 11:54   주제: 강의 교재 제본 신청을 받습니다
2014 서장호 입니다.
 
페이지 11
시간대: GMT + 9 시간(한국)
건너뛰기:  


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