Á¶±³ÆÀ ȨÆäÀÌÁö
4190.210 Principles of Programming
2010 °¡À», ¼ö 10:00-11:50@302-106 ¿ù 10:00-11:50@301-314(½Ç½À)
¼¿ï´ëÇб³
/ ÄÄÇ»ÅÍ°øÇкÎ
/ ÇÁ·Î±×·¡¹Ö ¿¬±¸½Ç
±èÁø¿µ | À̽ÂÁß
°øÁö»çÇ×
- 2010-11-16 hw7 is out! (due 11/24 24:00)
- 2010-11-05 hw6 is out! (due 11/14 24:00)
- 2010-10-21 hw5 is out! (due 10/31 24:00)
- 2010-10-13 hw4 is out! (due 10/20 24:00)
- 2010-09-29 hw3 is out! (due 10/6 24:00)
- 2010-09-14 hw2 is out! (due
9/259/30 24:00) - 2010-09-07 hw1 is out! (due 9/15 24:00)
- 2010-09-01 TA page open
ÇÁ·ÎÁ§Æ®
ÀÏÁ¤
-
12-08(¼ö) 24:00 ù ¹ø° Á¦Ãâ ¸¶°¨ - 12-16(¸ñ) 24:00 µÎ ¹ø° Á¦Ãâ ¸¶°¨
- 12-17(±Ý) 16:00 Çб³¿¡¼ Åä³Ê¸ÕÆ® (12-15ÀÏ Åä³Ê¸ÕÆ®´Â Ãë¼ÒµÇ¾ú½À´Ï´Ù.)
- 12-17(±Ý) º¸°í¼ Á¦Ãâ ¸¶°¨.
Á¦Ãâ
- À¥ ÆäÀÌÁö¸¦ ÅëÇØ Á¦ÃâÇÕ´Ï´Ù.
- Delay: ¾ø½À´Ï´Ù. ÇÁ·ÎÁ§Æ® µÎ¹ø° Á¦ÃâÀº 12¿ù 16ÀÏ 24:00±îÁö ¹Þ½À´Ï´Ù.
¼÷Á¦
- hw1: Inductive programming & recursion (due 9/15 24:00)
- hw2: Data abstraction I & inductive programming (due
9/259/30 24:00) - hw3: Data abstraction II (due 10/6 24:00)
- hw4: Program Correctness (due 10/20 24:00)
- hw5: Huffman encoding & SKI reactor (due 10/31 24:00)
- hw6: Typeful programming in OCaml (due 11/14 24:00)
- hw7: Typeful module programming (due 11/24 24:00)
- hw8
Á¦Ãâ
- À¥ ÆäÀÌÁö¸¦ ÅëÇØ Á¦ÃâÇÕ´Ï´Ù.
- Delay ±ÔÁ¤: 24½Ã°£±îÁö 10%, 48½Ã°£±îÁö 20% °¨Á¡ÇÕ´Ï´Ù. ÀÌÈÄ¿¡´Â ¼÷Á¦¸¦ ¹ÞÁö ¾Ê°Ú½À´Ï´Ù.
µµ¿ò
Áú¹®/´äº¯½Ã°£
¸ÅÁÖ ¿ù/È¿äÀÏ 15:30ºÎÅÍ 17:00 »çÀÌ°¡ Áú¹® ´äº¯ ½Ã°£ÀÔ´Ï´Ù. ±Ã±ÝÇÑ Á¡ÀÌ ÀÖÀ¸½Ã¸é ÇØ´ç ½Ã°£¿¡ 302µ¿ 312-2È£ ÇÁ·Î±×·¡¹Ö ¿¬±¸½Ç·Î ¿À¼¼¿ä. ¹°·Ð »çÀü ¿¬¶ô ÈÄ ´Ù¸¥ ½Ã°£¿¡ ¿À¼Åµµ µË´Ï´Ù.½Ç½ÀÀÚ·á
- 2010/09/06 ½Ç½À 1 - Scheme ¼Ò°³
- 2010/09/13 ½Ç½À 2 - Àç±ÍÇÔ¼ö, ¸®½ºÆ®, ÇÔ¼ö¸¦ ÀÎÀÚ·Î ¹Þ´Â ÇÔ¼ö
- 2010/09/20 ½Ç½À 3 - ¼ø¼½Ö°ú ¸®½ºÆ® ´õ Àß´Ù·ç±â, µ¥ÀÌÅÍ ¿ä¾à ¿¬½ÀÇϱâ
- 2010/09/27 ½Ç½À 4 - »ç¿ëÀÚ Á¤ÀÇ Å¸ÀÔ, ÀÎÅÍÆäÀ̽º·Î¸¸ ÇÁ·Î±×·¡¹ÖÇϱâ
- 2010/10/04 ½Ç½À 5 - ¿©·¯ °¡Áö ¹æ¹ýÀ¸·Î µ¥ÀÌÅÍ ±¸ÇöÇϱâ
- 2010/10/11 ½Ç½À 6 - ÀÎÅÍÆäÀ̽º·Î ÇÁ·Î±×·¥ Çϱâ, Àç±ÍÀûÀ¸·Î ÇÁ·Î±×·¥ Çϱâ
- 2010/10/18 ½Ç½À 7 - Àç±Í¿Í ¹Ýº¹ ´Ù½Ãº¸±â
- 2010/10/25 ½Ç½À 8 - ³ª¹« ¼øȸ
- 2010/11/01 ½Ç½À 9 - Welcome to OCaml
- 2010/11/08 ½Ç½À 10 - ¹®ÀÚ¿, ÆÐÅÏ, »óÈ£ Àç±Í ÇÔ¼ö
- 2010/11/15 ½Ç½À 11 - ¸ðµâ°ú ½Ã±×³Êó ÀÍÈ÷±â (¼öÁ¤)
- 2010/11/22 ½Ç½À 12 - ½Ã±×³Êó, ¸ðµâ ÇÔ¼ö
Âü°í¹®¼
- OCaml
- The Caml Language homepage
- The Objective Caml manual
- Developing Applications With Objective Caml
- OCaml tutorial
- Introduction to Objective Caml (Jason Hickey) NEW!
- Scheme
- DrScheme ȨÆäÀÌÁö
- DrScheme ´Ù¿î·Îµå
- Advanced-topics : not recommanded but exciting
- Coding Style Guide
Modified by Heejong Lee. Created by Jaeho Shin.