Á¶±³ÆÀ ȨÆäÀÌÁö
4190.310 Programming Languages
2011 °¡À», ¿ù/¼ö 15:30-16:45 @ 302µ¿ 107È£
¼¿ï´ëÇб³ / ÄÄÇ»ÅÍ °øÇкΠ/ ÇÁ·Î±×·¡¹Ö ¿¬±¸½Ç
±èÁø¿µ | À±¿ëÈ£
°øÁö»çÇ×
- 2011-12-25 µô·¹ÀÌ ¿©ºÎ¸¦ üũÇÑ Ã¤Á¡ °á°ú¸¦ ¿Ã·È½À´Ï´Ù.
- 2011-12-22 ¼÷Á¦5,6,7ÀÇ Ã¤Á¡ °á°ú°¡ ³ª¿Ô½À´Ï´Ù.
- 2011-11-21 ¼÷Á¦7ÀÇ »À´ëÄڵ尡 °Ô½ÃµÇ¾ú½À´Ï´Ù.
- 2011-11-15 ¼÷Á¦7ÀÌ ³ª¿Ô½À´Ï´Ù.
- 2011-11-08 ¼÷Á¦6ÀÇ »À´ëÄڵ尡 °Ô½ÃµÇ¾ú½À´Ï´Ù.
- 2011-11-02 ¼÷Á¦6ÀÌ ³ª¿Ô½À´Ï´Ù.
- 2011-10-30 ¼÷Á¦5ÀÇ »À´ëÄڵ尡 °Ô½ÃµÇ¾ú½À´Ï´Ù.
- 2011-10-15 ¼÷Á¦4ÀÇ »À´ëÄڵ尡 °Ô½ÃµÇ¾ú½À´Ï´Ù.
- 2011-10-14 ¼÷Á¦4°¡ ³ª¿Ô½À´Ï´Ù.
- 2011-10-12 ¼÷Á¦2ÀÇ Ã¤Á¡ °á°ú°¡ ³ª¿Ô½À´Ï´Ù.
- 2011-09-29 ¼÷Á¦3ÀÇ »À´ëÄڵ尡 °Ô½ÃµÇ¾ú½À´Ï´Ù.
- 2011-09-28 ¼÷Á¦3ÀÌ ³ª¿Ô½À´Ï´Ù.
- 2011-09-26 ¼÷Á¦1ÀÇ ¸ð¹ü´ä¾È°ú äÁ¡¿¡ ¾´ ÀÔ·ÂÀ» °ø°³ÇÕ´Ï´Ù.
- 2011-09-21 ¼÷Á¦1À» ´Ù½Ã äÁ¡ÇÑ °á°ú¿Í °ü·Ã ³»¿ëÀ» ¾Ë¸³´Ï´Ù.
- 2011-09-19 ¼÷Á¦2°¡ ³ª¿Ô½À´Ï´Ù.
Á¦Ãâ±âÇÑÀº 9¿ù 26ÀϱîÁöÀÔ´Ï´Ù.
- 2011-09-19 ¼÷Á¦1ÀÇ Ã¤Á¡ °á°ú°¡ ³ª¿Ô½À´Ï´Ù.
- 2011-09-14 Á¶±³ Æ®À§ÅÍ °èÁ¤À» »ý¼ºÇß½À´Ï´Ù.
Æ®À§Åͷεµ °¢Á¾ °øÁö»çÇ×À» ¾Ë·Áµå¸³´Ï´Ù.
- 2011-09-09 °ÀDZ³Àç°¡ µµÂøÇß½À´Ï´Ù.
- 2011-09-08 ¼÷Á¦1ÀÌ ³ª¿Ô½À´Ï´Ù.
Á¦Ãâ±âÇÑÀº 9¿ù 15ÀϱîÁöÀÔ´Ï´Ù.
- 2011-09-05 °øÁö»çÇ×À» RSS·Îµµ Á¦°øÇÕ´Ï´Ù.
RSS ¼öÁý±â¸¦ »ç¿ëÇÏ´Â ÇлýµéÀÇ ÆíÀǸ¦ À§ÇØ Á¶±³ÆÀ ȨÆäÀÌÁö¸¦ ¹æ¹®ÇÏÁö ¾Ê°íµµ °øÁö»çÇ×À» È®ÀÎÇÒ ¼ö ÀÖµµ·Ï °°Àº ³»¿ëÀ» RSS·Îµµ Á¦°øÇÕ´Ï´Ù. Áß¿äÇÑ °øÁö¸¸ Á¦°øÇØ µå¸®´Ï °Ô½ÃÆÇ ¿ª½Ã ÀÚÁÖ È®ÀÎÇØ ÁÖ¼¼¿ä.
µµ¿ò
Áú¹®/´äº¯
¸ÅÁÖ ¿ù/¼ö¿äÀÏ 14:00ºÎÅÍ 15:15ºÐ »çÀÌ°¡ Áú¹® ´äº¯ ½Ã°£ÀÔ´Ï´Ù. ±Ã±ÝÇÑ Á¡ÀÌ ÀÖÀ¸½Ã¸é ÇØ´ç ½Ã°£¿¡ 302µ¿ 312-2È£·Î ¿À¼¼¿ä. »çÀü ¿¬¶ô ÈÄ ´Ù¸¥ ½Ã°£¿¡ ¿À¼Åµµ µË´Ï´Ù.Âü°í¹®¼
-OCaml
¼÷Á¦
- HW1: due 9/15 24:00. OCaml exercise I.
- HW2: due 9/26 24:00. OCaml exercise II.
- HW3: due 10/10 24:00. Essay, K- interpreter, K- prgming, treasure island
- The K- Language: Syntax, Domains, and Semantics
- skeleton code (parser and lexer included)
- If the link above doesn't work when you're off-campus, try this one. You have to change the extension from .tar.gz_ to .tar.gz.
- HW4: due 10/26 24:00. K-- to SM5 translator. SM5 semi-garbage-collection.
- Skeleton code is available. Go web board.
- HW5: due 11/04 24:00. Lambda calculus reducer. Translating applicative language to Lambda calculs.
- Skeleton code is available. Go web board.
- HW6: due 11/15 24:00. SM5 Rozetta, M interpreter, simply typed M
- Skeleton code is available. Go web board.
- HW7: due 11/26 24:00. Essay, let-polymorphic typed M
- Skeleton code is available. Go web board.
Á¦Ãâ
- À¥ ÆäÀÌÁö¸¦ ÅëÇØ Á¦ÃâÇÕ´Ï´Ù.
- ¼÷Á¦ Á¦Ãâ À¯ÀÇ»çÇ×
- óÀ½ »ç¿ëÀÚ´Â µî·Ï±â°£³»¿¡ µî·ÏÇØÁÖ¼¼¿ä.