조교팀 홈페이지 - 4190.664A Program Analysis

• 2026-09-01 2026년 2학기 프로그램 분석의 과제 질문/답변 및 중요 공지사항이 게시판에 올라오므로, 수시로 확인해 주시기 바랍니다

질문/답변시간

궁금한 점이 있으시면 사전 연락 후 302동 312-2호로 오셔서 조교를 찾아주시면 됩니다.

조교 이메일: ta664@ropas.snu.ac.kr

참고문서

OCaml

• OCaml 홈페이지
• The OCaml Manual (OCaml 공식 문서)
• OCaml Programming Guidelines
• Cornell CS3110 OCaml Style Guide
• OCaml tutorial (2026/3/9)
• OCaml tutorial (2025/3/7)
• OCaml tutorial (2024/3/8)
• OCaml tutorial (2023/3/3)
• OCaml tutorial (2022/3/3)
• OCaml tutorial (2021/3/8)
• OCaml tutorial (2019/9/6)
• OCaml tutorial (2018/9/6)
• OCaml tutorial (2017/9/6)
• OCaml tutorial (2015/9/8)
• OCaml tutorial (2013/9/11)
• OCaml tutorial (2011/9/7)
• OCaml tutorial (2011/3/10)
• 예제
  • hello.ml: hello world!
  • intstack.ml: 정수 스택
  • stack.ml: 일반적인 스택
  • mylist.ml: 라이브러리의 List 모듈에 있는 함수들의 구현 예
  • sieve.ml: 2부터 1000까지 소수를 출력하는 프로그램
  • qsort.ml: 퀵소트의 한 가지 구현
  • calc.ml: 계산기

제출

• 숙제는 이메일로 제출합니다.
• 제출처: ta664@ropas.snu.ac.kr