이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
노희찬
가입: 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! |
|
위로 |
|
|
|