게시판 인덱스

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

챌린지 질문입니다.

 
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 4190.310 Programming Languages (Spring 2021)
이전 주제 보기 :: 다음 주제 보기  
글쓴이 메시지
노희찬



가입: 2021년 3월 12일
올린 글: 11

올리기올려짐: 2021년6월18일 21:17    주제: 챌린지 질문입니다. 인용과 함께 답변

1, 2. 어떤 언어에서 증명하면 되나요?

3. factorial을 어떻게 구현할지만 작성하면 되나요?
일반적으로 재귀함수를 어떻게 simple type system에서 구현하는지는 작성하지 않아도 되나요?

4. K에 쌓이는 현상을 적당히 줄이기만 하면 되나요, 아니면 완전 없애버려야 하나요?

6. 알고리즘을 엄밀하게 증명할 필요는 없나요?

8. 구현한 타입 규칙은 증명하지 않더라도 안전해야 하나요?

10. 구현한 타입 규칙이 안전한지 증명해야 하나요?

전체 공통 질문. 나만의 설탕을 정의한 다음 사용해도 되나요?
위로
사용자 정보 보기 비밀 메시지 보내기
이광근



가입: 2005년 8월 29일
올린 글: 68

올리기올려짐: 2021년6월21일 11:49    주제: 인용과 함께 답변

* 모든 질문에 답은 챌린지 도큐먼트에 다 있습니다.
* 없는 것 같다면, 스스로 판단해서 해내고 싶은만큼 하시면 됩니다.

여러분이 100점 받기위해서 혹은 감점이 두려워서 확인하고 싶은 것들이라면, 그런 굴레에서는 어서 벗어나세요.

챌린지 도큐먼트에 없는 것들은(거의 없지만) 여러분이 정의하시고 판단해보세요.
여러분이 판단해서 해결하고 그 해결책이 왜 맞는지 설득하고 소통하는 데 집중하시면 됩니다.

Enjoy!
위로
사용자 정보 보기 비밀 메시지 보내기 이메일 보내기 글 올린이의 웹사이트 방문
이전 글 표시:   
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 4190.310 Programming Languages (Spring 2021) 시간대: GMT + 9 시간(한국)
페이지 11

 
건너뛰기:  
새로운 주제를 올릴 수 없습니다
답글을 올릴 수 없습니다
주제를 수정할 수 없습니다
올린 글을 삭제할 수 없습니다
투표를 할 수 없습니다


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