»óÇ° ¾È³» ¹× ȯºÒ, ±³È¯, ¹è¼Û¹®ÀÇ | |
- °¡°Ô ÀüȹøÈ£ : | 1544-1900 |
- Àüȹ®ÀÇ ½Ã°£ : |
¿ÀÀü 9½ÃºÎÅÍ ¿ÀÈÄ 6½Ã±îÁö (¸ÅÁÖ ¿ù¿äÀÏ, È¿äÀÏ, ¼ö¿äÀÏ, ¸ñ¿äÀÏ, ±Ý¿äÀÏ, °øÈÞÀÏ Á¦¿Ü) |
- °¡°Ô À̸ÞÀÏ : | ink@kyobobook.co.kr |
- ÀÌ¿ë Åùèȸ»ç : | CJ´ëÇÑÅë¿î |
ÆǸŰ¡°ÔÁ¤º¸ |
|
- »ç¾÷ÀÚ¸í : | (ÁÖ)±³º¸¹®°í |
- »ç¾÷ÀÚµî·Ï¹øÈ£ : | 102-81-11670 |
- Åë½ÅÆǸž÷½Å°í : | 01-0653 |
- Çö±Ý¿µ¼öÁõ : ¹ß±Þ°¡´É |
|
ÀüÈÁÖ¹® ¹× °áÁ¦¹®ÀÇ |
|
- ²ÉÇÇ´Â ¾Æħ¸¶À» : | 1644-8422 |
°¡°Ô¿Í Á÷°Å·¡¸¦ ÇÏ½Ã¸é ²É¼ÛÀÌ Àû¸³ ¹× °¢Á¾ ÇýÅÿ¡¼ Á¦¿ÜµÇ°í, ¸¸ÀÏÀÇ ¹®Á¦°¡ ¹ß»ýÇÏ´Â °æ¿ì¿¡µµ ²É¸¶ÀÇ µµ¿òÀ» ¹ÞÀ¸½Ç ¼ö ¾ø½À´Ï´Ù. °¡°ÔÀÇ ºÎ´çÇÑ ¿ä±¸, ºÒ°øÁ¤ ÇàÀ§ µî¿¡ ´ëÇؼµµ ²É¸¶·Î Á÷Á¢ ÀüÈÁÖ¼¼¿ä. |
»ó¼¼Á¤º¸ | ±¸¸ÅÈıâ (0) | »óÇ° Q&A (0) | ¹è¼Û/±³È¯/ȯºÒ ¾È³» |
Ã¥¼Ò°³¡°ÀÌ Ã¥Àº ¿¡ÄÚ¸®ÁòÀ̶ó´Â ¾Ë°í¸®ÁòÀÇ Æ²·Î Àΰ£ÀÇ ÀÎÁö, »ý¸íÀÇ ÁøÈ, ±×¸®°í ÀΰøÁö´ÉÀ» ¸ÚÁö°Ô ¼³¸íÇÑ´Ù.¡± - ¸®Ã³µå Ä«ÇÁ(Richard Karp, Æ©¸µ»ó ¼ö»ó)
¡°ÄÄÇ»ÅÍ°úÇÐÀÇ ³î¶ó¿î ¼ºÃëµé, ÄÄÇ»ÅÍ°úÇÐÀÇ ±âÃÊ¿Í Áß¿äÇÑ ¼º°ú¸¦ ¾ÐÃàÀûÀ¸·Î ¼³¸íÇÏ´Â ¸é¿¡¼µµ ºû³ª´Â Ã¥ÀÌ´Ù.¡± - ¹Ì±¹ ¾Ë°í¸®Áò ¹× °è»ê ÀÌ·Ð ¿¬±¸È¸ ´º½º(SIGACT News)
º¹ÀâÇÏ°í Ʋ¸®±â ÀϾ¥ÀÎ ¼¼°è¿¡¼ »ý¸íü´Â ¾î¶»°Ô ÀÌ·¸°Ô ¹ø¿µÇÑ °É±î? ¿ì¸®ÀÇ ÀÏ»óÀº ¾Ë·ÁÁø °úÇÐÀ¸·Î ¼³¸íÇÒ ¼ö ÀÖ´Â ¹üÀ§ ¹Ù±ù¿¡ ÀÖ´Ù. ±×·±µ¥µµ ¿ì¸®´Â ±×·°Àú·° Çس½´Ù. ¾î¶»°Ô ÇൿÇØ¾ß ÇÒÁö¿¡ ´ëÇÑ ÀÌ·Ð ¾øÀÌ ±×·¸°Ô Çس½´Ù. ¾î¶»°Ô ÇÏ´Â °É±î? ÀÌ Ã¥¿¡¼ ÄÄÇ»ÅÍ°úÇÐÀÚÀÎ ·¹½½¸® ¹ë¸®¾ðÆ®´Â ´ë°¡ÀÇ ¼Ø¾¾·Î ÇнÀÀÌ Áö´É°ú ÁøÈÀÇ ¿£ÁøÀÓÀ» ¼³¸íÇÑ´Ù. ±×·¡¼ ¿ì¸®°¡ °³º°ÀûÀ¸·Î ±×¸®°í ÇϳªÀÇ ±×·ìÀ¸·Î ¿ì¸®°¡ ³õÀÎ º¹ÀâÇÑ ¼¼°è¿¡¼ ¾î¶»°Ô »ýÁ¸ÇÏ°í ¹ø¿µÇÏ´ÂÁö¸¦ ¼³¸íÇØÁØ´Ù. ÇÙ½ÉÀº ¡°¾óÃß°ÅÀǸ±â(probably approximately correct)¡±¶ó´Â °³³äÀÌ´Ù. ¹ë¸®¾ðÆ®´Â ÀÌ °³³äÀ¸·Î Çö½ÇÀûÀÎ ÇнÀÀ̶õ ¹«¾ùÀÎÁö ¼³¸íÇÑ´Ù. ¹ë¸®¾ðÆ®ÀÇ ÀÌ·ÐÀº ÁøÈ¿Í ÇнÀÀÌ °øÅëÀûÀ¸·Î °¡Áö´Â °è»ê °úÁ¤À» µå·¯³½´Ù. ±×¸®°í ¾î¶² ´É·ÂÀÌ Å¸°í³ °ÍÀÎÁö ±æ·¯Áø °ÍÀÎÁö, ¶Ç´Â ÀΰøÁö´ÉÀÇ ÇÑ°è°¡ ¹«¾ùÀÎÁö µî ¿ì¸®°¡ Ç×»ó °¡Áö´Â Áú¹®µé¿¡ ÇÑÁٱ⠺ûÀ» ºñÃç ÁØ´Ù.
»ó¼¼À̹ÌÁöÀúÀÚ¼Ò°³ÀúÀÚ : ·¹½½¸® ¹ë¸®¾ðÆ®
Leslie Valiant
ÇϹöµå´ëÇÐ ÄÄÇ»ÅÍ°úÇÐ ¹× ÀÀ¿ë¼öÇÐÀÇ Á¦ÆÛ½¼ Äð¸®Áö(T. Jefferson Coolidge) ±³¼ö´Ù. ¿µ±¹ ¿Õ¸³ÇÐȸ¿Í ¹Ì±¹ °úÇÐÇмú¿ø ȸ¿øÀÌ´Ù. ±¹Á¦ ¼öÇÐ ¿¬¸Í¿¡¼ ¼ö¿©ÇÏ´Â ³×¹Ý¸°³ª»ó(Nevanlinna Prize)À» ¹Þ¾Ò°í, 40¿© ³â°£ ±â°è ÇнÀ ºÐ¾ß ¿¬±¸¿¡ ±â¿©ÇÑ °ø·Î·Î ÄÄÇ»ÅÍ°úÇÐÀÇ ³ëº§»óÀ̶ó ÇÒ Æ©¸µ»ó(Turing Award)À» ¼ö»óÇß´Ù.
Àú¼: Circuits of the Mind. Oxford University Press. 1994, 2000.
ȨÆäÀÌÁö: people.seas.harvard.edu/~valiant
¿ªÀÚ : À̱¤±Ù
ÇöÀç ¼¿ï´ëÇб³ ÄÄÇ»ÅÍ°øÇкΠ±³¼ö. KAIST Àü»êÇаú ±³¼ö ¿ªÀÓ. ±³À°°úÇбâ¼úºÎ ÁöÁ¤ ¼±µµ¿¬±¸¼¾ÅÍ ¼¾ÅÍÀå, °úÇбâ¼úºÎ ÁöÁ¤ âÀÇ¿¬±¸´Ü ´ÜÀå ¿ªÀÓ. Bell Labs-Software Principles Research Department Á¤±Ô ¿¬±¸¿ø ¿ªÀÓ. MIT, Stanford, CMU, Æĸ® °íµî»ç¹üÇб³(ENS Paris) ¹æ¹®±³¼ö, Facebook Research Scientist ¿ªÀÓ.
Àú¼: Introduction to Static Analysis. MIT Press. 2020.
ÄÄÇ»ÅÍ°úÇÐÀÌ ¿©´Â ¼¼°è. ÀλçÀÌÆ®. 2015.
ȨÆäÀÌÁö: kwangkeunyi.snu.ac.kr |
±³È¯ ¹× ȯºÒ °¡´É |
»óÇ°¿¡ ¹®Á¦°¡ ÀÖÀ» °æ¿ì |
1) »óÇ°ÀÌ Ç¥½Ã/±¤°íµÈ ³»¿ë°ú ´Ù¸£°Å³ª ºÒ·®(ºÎÆÐ, º¯Áú, ÆļÕ, Ç¥±â¿À·ù, À̹°È¥ÀÔ, Áß·®¹Ì´Þ)ÀÌ ¹ß»ýÇÑ °æ¿ì - ½Å¼±½ÄÇ°, ³ÃÀå½ÄÇ°, ³Ãµ¿½ÄÇ° : ¼ö·ÉÀÏ ´ÙÀ½³¯±îÁö ½Åû - ±âŸ »óÇ° : ¼ö·ÉÀϷκÎÅÍ 30ÀÏ À̳», ±× »ç½ÇÀ» ¾È ³¯ ¶Ç´Â ¾Ë ¼ö ÀÖ¾ú´ø ³¯·ÎºÎÅÍ 30ÀÏ À̳» ½Åû 2) ±³È¯ ¹× ȯºÒ½Åû ½Ã ÆǸÅÀÚ´Â »óÇ°ÀÇ »óŸ¦ È®ÀÎÇÒ ¼ö ÀÖ´Â »çÁøÀ» ¿äûÇÒ ¼ö ÀÖÀ¸¸ç »óÇ°ÀÇ ¹®Á¦ Á¤µµ¿¡ µû¶ó Àç¹è¼Û, ÀϺÎȯºÒ, ÀüüȯºÒÀÌ ÁøÇàµË´Ï´Ù. ¹ÝÇ°¿¡ µû¸¥ ºñ¿ëÀº ÆǸÅÀÚ ºÎ´ãÀ̸ç ȯºÒÀº ¹ÝÇ°µµÂøÀϷκÎÅÍ ¿µ¾÷ÀÏ ±âÁØ 3ÀÏ À̳»¿¡ ¿Ï·áµË´Ï´Ù. |
´Ü¼øº¯½É ¹× ÁÖ¹®Âø¿ÀÀÇ °æ¿ì |
1) ½Å¼±½ÄÇ°, ³ÃÀå½ÄÇ°, ³Ãµ¿½ÄÇ° ÀçÆǸŰ¡ ¾î·Á¿î »óÇ°ÀÇ Æ¯¼º»ó, ±³È¯ ¹× ȯºÒÀÌ ¾î·Æ½À´Ï´Ù. 2) ÈÀåÇ° ÇǺΠƮ·¯ºí ¹ß»ý ½Ã Àü¹®ÀÇ Áø´Ü¼ ¹× ¼Ò°ß¼¸¦ Á¦ÃâÇϽøé ȯºÒ °¡´ÉÇÕ´Ï´Ù. ÀÌ °æ¿ì Á¦¹Ýºñ¿ëÀº ¼ÒºñÀÚ ºÎ´ãÀ̸ç, ¹è¼Ûºñ´Â ÆǸÅÀÚ°¡ ºÎ´ãÇÕ´Ï´Ù. ÇØ´ç ÈÀåÇ°°ú ÇǺΠƮ·¯ºí°úÀÇ »ó´çÇÑ Àΰú°ü°è°¡ ÀÎÁ¤µÇ´Â °æ¿ì ¶Ç´Â Áúȯġ·á ¸ñÀûÀÇ °æ¿ì¿¡´Â Áø´Ü¼ ¹ß±Þºñ¿ëÀ» ÆǸÅÀÚ°¡ ºÎ´ãÇÕ´Ï´Ù. 3) ±âŸ »óÇ° ¼ö·ÉÀϷκÎÅÍ 7ÀÏ À̳» ½Åû, ¿Õº¹¹è¼Ûºñ´Â ¼ÒºñÀÚ ºÎ´ã 4) ¸ð´ÏÅÍ ÇØ»óµµÀÇ Â÷ÀÌ·Î »ö»óÀ̳ª À̹ÌÁö°¡ ´Ù¸¥ °æ¿ì ´Ü¼øº¯½É¿¡ ÀÇÇÑ ±³È¯ ¹× ȯºÒÀÌ Á¦ÇÑµÉ ¼ö ÀÖ½À´Ï´Ù. |
|
±³È¯ ¹× ȯºÒ ºÒ°¡ |
1) ½Åû±âÇÑÀÌ Áö³ °æ¿ì 2) ¼ÒºñÀÚÀÇ °ú½Ç·Î ÀÎÇØ »óÇ° ¹× ±¸¼ºÇ°ÀÇ Àüü ¶Ç´Â ÀϺΰ¡ ¾ø¾îÁö°Å³ª ÈѼÕ, ¿À¿°µÇ¾úÀ» °æ¿ì 3) °³ºÀÇÏ¿© ÀÌ¹Ì ¼·ÃëÇÏ¿´°Å³ª »ç¿ë(Âø¿ë ¹× ¼³Ä¡ Æ÷ÇÔ)ÇØ »óÇ° ¹× ±¸¼ºÇ°ÀÇ °¡Ä¡°¡ ¼Õ»óµÈ °æ¿ì 4) ½Ã°£ÀÌ °æ°úÇÏ¿© »óÇ°ÀÇ °¡Ä¡°¡ ÇöÀúÈ÷ °¨¼ÒÇÑ °æ¿ì 5) »ó¼¼Á¤º¸ ¶Ç´Â »ç¿ë¼³¸í¼¿¡ ¾È³»µÈ ÁÖÀÇ»çÇ× ¹× º¸°ü¹æ¹ýÀ» ÁöÅ°Áö ¾ÊÀº °æ¿ì 6) »çÀü¿¹¾à ¶Ç´Â ÁÖ¹®Á¦ÀÛÀ¸·Î ÅëÇØ ¼ÒºñÀÚÀÇ ÁÖ¹®¿¡ µû¶ó °³º°ÀûÀ¸·Î »ý»êµÇ´Â »óÇ°ÀÌ ÀÌ¹Ì Á¦ÀÛÁøÇàµÈ °æ¿ì 7) º¹Á¦°¡ °¡´ÉÇÑ »óÇ° µîÀÇ Æ÷ÀåÀ» ÈѼÕÇÑ °æ¿ì 8) ¸À, Çâ, »ö µî ´Ü¼ø ±âÈ£Â÷ÀÌ¿¡ ÀÇÇÑ °æ¿ì |