Çѱ¹Á¤º¸°úÇÐȸ ÇÁ·Î±×·¡¹Ö¾ð¾î¿¬±¸È¸ °Ü¿ïÇб³
(SIGPL Winter School 2010)

  • ÀϽÃ: 2010³â 2¿ù 19ÀÏ(±Ý)
  • Àå¼Ò: ¼º½Å¿©ÀÚ´ëÇб³ ¼º½Å°ü 710È£

  • Çѱ¹Á¤º¸°úÇÐȸ ÇÁ·Î±×·¡¹Ö¾ð¾î ¿¬±¸È¸(SIGPL)´Â ¸Å³â ¿©¸§°ú °Ü¿ï ¹æÇбⰣ¿¡ ´ëÇпø»ý°ú ¿£Áö´Ï¾î, ±³¼ö, ¿¬±¸ÀÚµéÀ» ´ë»óÀ¸·Î °èÀýÇб³¸¦ °³ÃÖÇϰí ÀÖ½À´Ï´Ù. À̹ø °Ü¿ïÇб³¿¡´Â º´·ÄÇÁ·Î±×·¡¹Ö, ŸÀÔ ÀÌ·Ð, ÇÔ¼öÇü ÇÁ·Î±×·¡¹Ö, ¼ÒÇÁÆ®¿þ¾î ÀúÀ۱ǰú °ü·ÃµÈ °­Àǰ¡ ÁغñµÇ¾î ÀÖ½À´Ï´Ù. ¸¹Àº °ü½É°ú Âü¿©¸¦ ºÎʵ右´Ï´Ù.

    Çѱ¹Á¤º¸°úÇÐȸ ÇÁ·Î±×·¡¹Ö¾ð¾î¿¬±¸È¸ ¿î¿µÀ§¿øÀå º¯¼®¿ì

    ÇÁ·Î±×·¥ ÀÏÁ¤

    09:30-09:45 µî·Ï
    ¿ÀÀü ¼¼¼Ç
    09:45-10:45   Á÷·Ä·Î »ý°¢ÇÏ´Â ¹ö¸© ±ú±â (Breaking Sequential Habits of Thought) 1 ·ù¼®¿µ (KAIST)
    11:00-12:00 Á÷·Ä·Î »ý°¢ÇÏ´Â ¹ö¸© ±ú±â (Breaking Sequential Habits of Thought) 2 ·ù¼®¿µ (KAIST)
    ¿ÀÈÄ ¼¼¼Ç
    13:30-14:45 Programming with dependent types À̰è½Ä (¼­¿ï´ë)
    15:00-16:15 ¸ð³ªµå¿Í ¸ð³ªµå Æ®·£½ºÆ÷¸Ó¸¦ ÀÌ¿ëÇÏ´Â ÇÁ·Î±×·¡¹Ö º¯¼®¿ì (°æ¼º´ë)
    16:30-17:45 ¼ÒÇÁÆ®¿þ¾î ÀúÀÛ±Ç º¸È£¸¦ À§ÇÑ ÄÚµå µµ¿ë ŽÁö ¹æ¹ý ÀÓÇöÀÏ (KAIST)

    µî·Ï¾È³»

    ÁغñÀ§¿øÈ¸

    Àå¼Ò¾È³»

    ¼º½Å¿©ÀÚ´ëÇб³ ¿À½Ã´Â ±æ

    Çб³³»ºÎ¿¡¼­ Çà»çÀå¼Ò±îÁö ¿À½Ã´Â ±æ