· KLDP.org · KLDP.net · KLDP Wiki · KLDP BBS ·
On A Cultural Gap



On a cultural gap

¹®È­ÀÇ °ÝÂ÷¿¡ ´ëÇÏ¿©

¿¡Ã³ W. ´ÙÀͽºÆ®¶ó(Edsger W. Dijkstra)


Copyright © 1985 Edsger W. Dijkstra

¹ø¿ª ó·Î

¿ªÀÚ ÁÖ: ÀÌ ¹®¼­ÀÇ Àμ⺻Àº Springer-Verlag New YorkÀÌ ÀúÀÛ±ÇÀ» °¡Áö°í ÀÖÁö¸¸, ¿Â¶óÀÎ ¹®¼­¿¡ ´ëÇÑ ÀúÀÛ±ÇÀº ÀúÀÚ º»ÀÎÀÌ °¡Áö°í ÀÖ´Ù. ÀúÀÚ°¡ Áö³­ 2002³â ¼¼»óÀ» ¶°³µÀ¸¹Ç·Î ±×ÀÇ ¹®¼­¸¦ °ü¸®ÇÏ°í ÀÖ´Â University of Texas at AustinÀÇ ÇÜ ¸®Ã³Áî(Ham Richards) ±³¼ö¿¡°Ô ¹ø¿ª Çã¶ôÀ» ¹Þ¾Ò´Ù.

ÀüÇüÀûÀÎ ´ëÇÐ ±¸³»¿¡¼­ ÀüÇüÀûÀÎ ¼öÇÐÀÚ¿Í ÀüÇüÀûÀÎ Àü»ê°úÇÐÀÚ´Â ¼­·Î ´Ù¸¥ ¼¼°è¿¡ »ì°í ÀÖ´Ù. ±×µéÀº ¼­·Î¸¦ Àß ¸ð¸£°Å³ª, ¾È´Ù Çصµ ¸»À» °Ç³Ú »çÀÌ´Â ¾Æ´Ï´Ù. ÀÌ ±ÛÀÇ ¸ñÀûÀº µÎ °¡ÁöÀÌ´Ù. Áï, ÀÌ·± Çö»ó¿¡ ´ëÇØ ¿ª»çÀûÀ¸·Î ¼³¸íÇÏ´Â °Í°ú ¿ì¸®°¡ ÀÌ·± Çö»ó¿¡ ´ëÇØ ¹«¾ùÀΰ¡ ÇØ¾ß ÇÑ´Ù°í ÁÖÀåÇÏ´Â °ÍÀÌ´Ù.

¼¼»ó¿¡ ´ëÇØ Áö±Ý±îÁöÀÇ ¹æ½ÄÀ» °³¼±Ç϶ó°í ±Ç°íÇÏ´Â °ÍÀº Ç×»ó ¼Ø¾¾°¡ ÇÊ¿äÇÑ ÀÏÀÌ´Ù. ÀÌ·¯ÇÑ ±Ç°í´Â Àº¿¬Áß¿¡ ¼¼»óÀÇ ¹æ½Ä¿¡´Â °³¼±ÀÇ ¿©Áö°¡ Ç×»ó ¸¹ÀÌ ÀÖ´Ù°í ÆÇ´ÜÇÏ´Â °ÍÀ̸ç, ¼º¹Ì ±î´Ù·Î¿î »ç¶÷µé¿¡°Ô´Â Ç×»ó ºÒÄèÇÑ Á¦¾ÈÀ¸·Î µé¸°´Ù. ÀÌ°ÍÀ» ¹Þ¾ÆµéÀ̱⠽±°Ô ÇÏ´Â ÇÑ °¡Áö ¹æ¹ýÀº ¸ðµç Á¾·ùÀÇ ¿ÏÈ­µÈ Ç¥ÇöµéÀ» ºÙ¿© ¹®ÀåÀ» ºÎµå·´°Ô ÇÏ´Â °ÍÀÌ´Ù. ¿¹¸¦ µé¾î, "ÀüÇüÀûÀÎ", "ÀϹÝÀûÀ¸·Î", "Æò±ÕÀûÀ¸·Î", "º¸Åë", "µå¹°Áö ¾Ê°Ô" µîÀÌ ±×°ÍÀÌ´Ù. ÇÏÁö¸¸, ³ª´Â °£°áÇÔÀ» À§ÇØ ±×·± Ç¥Çö ¾øÀÌ ¸»ÇÏ·Á°í ÇÑ´Ù.

³»°¡ ¿ª»çÀûÀ¸·Î ¼³¸íÇÒ ³»¿ëÀÇ Á߽ɿ¡´Â ´ÙÀ½ÀÇ ³íÁ¦°¡ ÀÖ´Ù. Áï, Áö±ÝºÎÅÍ 40¿© ³â Àü, ÄÄÇ»ÅÍ°¡ ÀÌ ¼¼»ó¿¡ »ý°Ü³µÀ» ¶§, ¿ì¸®´Â ±×°Í¿¡ ´ëÇØ Áغñ°¡ µÇ¾î ÀÖÁö ¾Ê¾ÒÀ¸¸ç, (»ç¶÷°ú ÄÄÇ»ÅÍ°¡ Áö±ÝÀÇ ¸ð½À ±×´ë·ÎÀ̹ǷÎ) ³Î¸® ÆÛÁø È¥µ¿Àº ÇÇÇÒ ¼ö ¾ø¾ú´Ù´Â °ÍÀÌ´Ù.

»õ·Î¿î °ÍÀ» ´Ù·ç´Â °¡Àå ¸¹ÀÌ ÈçÇÑ ¹æ¹ýÀº ÀÌ Âü½ÅÇÑ °ÍÀ» °ú°ÅÀÇ °æÇè¿¡¼­ Àͼ÷ÇÑ °Í°ú °ü·Ã½ÃÄÑ º¸´Â °ÍÀÌ´Ù. ¿ì¸®´Â ºñÀ¯(analogy)³ª ÀºÀ¯(metaphor)¸¦ ÅëÇØ »ý°¢ÇÑ´Ù. (ÄÜ»çÀ̽º ¿Á½ºÆÛµå »çÀü(Concise Oxford Dictionary) 5ÆÇ¿¡¼­µµ ¾ÆÁ÷±îÁö ŸÀڱ⸦ "¼ÕÀ¸·Î ¾²´Â °ÍÀ» ´ë½ÅÇÏ¿© ±ÛÀÚ¸¦ Á¾ÀÌ¿¡ Âï´Â ±â°è"¶ó°í Á¤ÀÇÇÑ´Ù!) ¿ª»ç°¡ ÆòźÇÏ°Ô ¹ßÀüÇØ °£´Ù¸é ¿ì¸®´Â ±×·± ±â¹ýÀ¸·Îµµ Àß ÇØ ³¾ ¼ö ÀÖ°ÚÁö¸¸, ¿ì¸®°¡ ÀÌÀü¿¡ °æÇèÇØ ¿Â °Í°ú ±Ùº»ÀûÀ¸·Î ´Ù¸¥ ¾î¶² °Í¿¡ °©ÀÚ±â Á÷¸éÇÏ°Ô µÉ ¶§ ±× ±â¹ýÀº ¹Ù·Î ½ÇÆÐÇÏ°í ¸» °ÍÀ̹ǷÎ, ¸ðµç ºñÀ¯µéÀº º»ÁúÀûÀ¸·Î ³Ê¹« ÇÇ»óÀûÀ̾ µµ¿òÀÌ µÇ±âº¸´Ù´Â È¥µ¿À» ÀÏÀ¸Å²´Ù.

ÁøÁ¤ ±Ùº»ÀûÀ¸·Î Âü½ÅÇÑ °ÍÀ» ÆľÇÇÒ ¼ö ÀÖ°Ô ÇØ ÁÖ´Â À¯ÀÏÇÑ ¹æ¹ýÀº ÈçÇÑ ÀÌÇØÀÇ ¹æ¹ý°ú Â÷¿øÀÌ ´Ù¸£´Ù. Áï, ÀÚ½ÅÀÌ °ú°Å¿¡ ¾î¼´Ù°¡ Àͼ÷ÇØÁø °Í°ú ±× Çö»óÀ» ÀϺη¯¶óµµ ¿¬°ü ÁþÁö ¾Ê´Â ´ë½Å, »ý°¢À» ºñ¿î ä·Î ±×°Í¿¡ Á¢±ÙÇÏ¿© ±× ³»ºÎ ±¸Á¶¿¡ ´ëÇØ Æò°¡ÇÏ´Â °ÍÀÌ´Ù. ¾î¶² °ÍÀ» ÀÌÇØÇϱâ À§ÇØ ÀÌ·¸°Ô ÇÏ´Â °ÍÀº Èûµç »ç°í °úÁ¤À» ¿ä±¸Çϱ⠶§¹®¿¡, ±× ¾ÕÀÇ ¹æ¹ý¿¡ ºñÇØ ´ëÁß¼ºÀÌ °ÅÀÇ ¾ø´Ù. (¹öÆ®·±µå ·¯¼¿(Bertrand Russel)ÀÌ ÁöÀûÇÑ ´ë·Î, "¸¹Àº »ç¶÷µéÀº »ý°¢ÇÏ´À´Ï Á×°Ú´Ù°í ¸»ÇÑ´Ù. ½ÇÁ¦·Î ±×µéÀº ±×·¸°Ô ÇÑ´Ù.") ÀÌ°ÍÀº (´Ù¼ö¸¦ Â÷ÁöÇÏ´Â) ÀÌ »ç¶÷µéÀÇ ´É·ÂÀ» ¶Ù¾î³Ñ´Â´Ù. ÀÌ »ç¶÷µé¿¡°Ô´Â ¿¬¼ÓÀûÀÎ ¹ßÀü¸¸ÀÌ ¿ª»çÀÇ À¯ÀÏÇÑ Æз¯´ÙÀÓÀÌ´Ù. ±×µéÀº ºÒ¿¬¼Ó¼º¿¡ ´ëóÇÒ ´É·ÂÀÌ ¾øÀ¸¸ç, ±×°ÍÀ» ÀÌÇØÇÏÁö ¸øÇϸç, ±×°Í¿¡ Á÷¸éÇصµ ±×°ÍÀ» ºÎÁ¤ÇÒ °ÍÀÌ´Ù.

ÇÏÁö¸¸ ÀÌ·± ±Ùº»ÀûÀ¸·Î Âü½ÅÇÑ °ÍµéÀÌ ¹Ù·Î ±â¼úÀ» ÅëÇØ ¿ì¸®°¡ Á÷¸éÇÏ°Ô µÇ´Â °ÍµéÀÌ´Ù. ÀÚµ¿È­µÈ ÄÄÇ»ÅÍ°¡ ±×·± °Íµé Áß Çϳª¿´À¸¸ç, ±×°Í°ú µ¿½Ã´ëÀÇ ¶Ç ´Ù¸¥ µÎ °¡Áö´Â, ¿øÀÚ Æøź°ú (Á¤µµ¸¦ Á¶±Ý ÁÙ¿©¼­) ÇÇÀÓ¾àÀ̾ú´Ù.

* * *

»óȲÀÌ ´õ ¾È ÁÁ¾ÆÁ³´Âµ¥, ¿ª»çÀÇ ¸î¸î »ç°ÇµéÀÌ Ã³À½ 20¿© ³â µ¿¾È ÀÚµ¿È­µÈ Àü»êÀÌ ¹«¾ùÀÎÁö¿¡ ´ëÇÑ È¥µ¿À» ´õ¿í ´õ Ä¿Áö°Ô Çß´Ù.

¿¹¸¦ µé¾î, ÄÄÇ»ÅÍ°¡ »ê¾÷ »ý»êÇ°À¸·Î ÀÌ¿ëÇÒ ¼ö ÀÖ°Ô µÇ¾úÀ» ¶§, ¸· ½ÃÀÛµÈ ÄÄÇ»ÅÍ »ê¾÷À¸·Î¼­´Â »ó¾÷ÀûÀ¸·Î ºÒ°¡ÇÇÇÏ°Ô ±× »ý»êÇ°ÀÌ ¾î¶² ÇüÅ·εµ ¼öÇаú´Â ¹«°üÇÑ °Íó·³ º¸À̵µ·Ï ÃÖ´ëÇÑ ³ë·ÂÇØ¾ß Çß´Ù. ¼öÇÐÀº "»ç¿ëÀÚ¿¡°Ô ±î´Ù·Î¿î °Í"ÀÇ Á¤Á¡¿¡ ÀÖ´Â °ÍÀ¸·Î °£ÁֵDZ⠶§¹®ÀÌ´Ù. ÄÄÇ»ÅÍ ¿µ¾÷ Á÷¿øµéÀº ÀÌ·± ½ÄÀ¸·Î ´ëÁßÀ» ¼¼³úÇߴµ¥, Àü»ê°úÇÐÀÚ, ¼öÇÐÀÚ, Á¤Ä¡°¡, °ü¸®ÀÚ µîµµ °Å±â¿¡ Æ÷ÇԵǾú´Ù. (ÄÄÇ»ÅÍ »ê¾÷ ÀÚüÀÇ °ü¸®Àڵ鸶Àúµµ ¼¼³úµÇ¾î, ¿À´Ã³¯ ±×µéÀº ÀÚ½ÅÀÌ "°í±Þ ±â¼ú" »ç¾÷À» ÇÑ´Ù°í ±â²¨ÀÌ ÀÎÁ¤ÇÏ´õ¶óµµ, ±× ¼±µµÀû ±â¼úÀÌ ¸Å¿ì ¼öÇÐÀûÀÎ °ÍÀ̶ó´Â »ç½ÇÀ» ¾Ë°Ô µÈ´Ù¸é °æ¾ÇÇÒ °ÍÀÌ´Ù.)

À̰ͺ¸´Ù ´õ ¿À·¡ Áö¼ÓµÇ´Â È¥µ¿Àº, Àß ¸ð¸£´Â »ç¶÷µéÀÌ ±× ±â°è¸¦ ¼³°è, Á¦ÀÛ, À¯ÁöÇÏ´Â ÀüÀÚ°øÇÐÀÚµéÀ» °°Àº ºÎ·ù·Î »ý°¢ÇÑ´Ù´Â »ç½Ç¿¡¼­ ºñ·ÔµÇ¾ú´Ù. ÀÌ ºÐ¾ß´Â »ç½Ç ´ç½ÃÀÇ ÀüÀÚ ±â¼ú ¼öÁØ ÀÌ»óÀÇ °ÍÀ̾ú°í, ±× °á°ú ¹°¸®ÀûÀÎ ÀåÄ¡¸¦ ¾î¶»°Ô ÀÛ¾÷ ȯ°æ¿¡ µµÀÔÇÏ¿© °ü¸®ÇÒ °ÍÀΰ¡ÀÇ ¹®Á¦°¡ Ãʱ⿡´Â ¸ðµç °ÍÀ» ¾ÐµµÇÏ´Â °ü½É»ç°¡ µÇ¾ú´Ù. ±× °á°ú ÀÌ ºÐ¾ß´Â (¿ì¼± ¹Ì±¹¿¡¼­) ¹Ì¼÷ÇÏ°Ô "ÄÄÇ»ÅÍ°úÇÐ(computer science)"À¸·Î ¾Ë·ÁÁö°Ô µÇ¾ú´Ù. (ÀÌ°ÍÀº »ç½Ç ¼ö¼úÀ» "Ä® °úÇÐ"À̶ó°í ºÎ¸£´Â °Í°ú °°´Ù.) ±×¸®°í »ç¶÷µéÀÇ »ý°¢ ¼Ó¿¡ Àü»ê°úÇÐ(computing science)Àº ±â°è¿Í ±× ÁÖº¯ ÀåÄ¡¿¡ ´ëÇÑ °ÍÀ̶ó°í ´Ü´ÜÈ÷ »õ°ÜÁ³´Ù. ±×°ÍÀÌ ¾Æ´Ï·Î´Ù.

¿ì¸®´Â ÀÌÁ¦ ÀüÀÚ ±â¼úÀÌ ¹°¸®ÀûÀÎ ÀåÄ¡ ¿Ü¿¡´Â Àü»ê ºÐ¾ß¿¡ ´õ ÀÌ»ó ±â¿©ÇÏ´Â ¹Ù°¡ ¾ø´Ù´Â °ÍÀ» ¾È´Ù. ¿ì¸®´Â ÀÌÁ¦ ÇÁ·Î±×·¥ °¡´ÉÇÑ ÄÄÇ»ÅͶó´Â °ÍÀÌ, »ý°¢ÇÒ ¼ö ÀÖ´Â ¾î¶°ÇÑ ÀÛµ¿°úÁ¤(mechanism)µµ Àü¼± Çϳª ¹Ù²ÙÁö ¾Ê°í ½ÇÇöÇÒ ¼ö ÀÖ´Â ¾ÆÁÖ ´Ù·ç±â ½¬¿î ÀåÄ¡¿¡ ºÒ°úÇÏ´Ù´Â °ÍÀ» ¾È´Ù. µû¶ó¼­ Àü»ê°úÇÐÀÇ ÇÙ½ÉÀûÀÎ µµÀü °úÁ¦´Â °³³äÀûÀÎ °Í, Áï ¿ì¸®°¡ ¸¸µé¾î ³õÀº °ÍÀÇ º¹ÀâÇÔ¿¡ ÈֵѸ®Áö ¾ÊÀ¸¸é¼­ ¿ì¸®°¡ »ý°¢ÇÒ ¼ö ÀÖ´Â (Ãß»óÀûÀÎ) ÀÛµ¿°úÁ¤ÀÎ °ÍÀÌ´Ù.

Âü°í: Àü»ê°úÇÐÀÇ ÇÙ½É µµÀü °úÁ¦¿¡ ´ëÇØ À§¿¡¼­ °£·«È÷ ¿ä¾àÇÑ °ÍÀº Á¶±Ý Á¤¸®ÇÒ ÇÊ¿ä°¡ ÀÖ´Ù. ³ª´Â ¿©·¯ »óȲ¿¡¼­ ÀÌ·± ½Ãµµ¸¦ ÇØ ¿Ô´Ù. Àü»êÀ» ÇÏ´Â µ¿·áµéÀº ³»°¡ ¹«¾ùÀ» ¸»ÇÏ°í ÀÖ´ÂÁö ±×µéÀÇ °æÇè¿¡¼­ ³Ê¹«³ª Àß ¾Ë°í Àֱ⠶§¹®¿¡ "±×°Å µü ¸Â¾Æ." Çϰųª ±×¿Í ºñ½ÁÇÏ°Ô µ¿ÀǸ¦ Ç¥ÇÑ´Ù. ÇÏÁö¸¸ ÀÌ°ÍÀÌ ¾ó¸¶³ª ÀûÀýÇÏµç »ó°ü¾øÀÌ, ³»°¡ ¾ð±ÞÇÏ´Â Á¾·ùÀÇ º¹ÀâÇÔÀ» º» ÀûÀÌ ¾ø´Â »ç¶÷µé¿¡°Ô´Â ÀÌ°ÍÀÌ ½Ã»çÇÏ´Â ¹Ù°¡ °ÅÀÇ ¾ø´Ù´Â °Íµµ ¾Ë°Ô µÇ¾ú´Ù. ±×·¯¹Ç·Î ±× ¼Ó¼ºÀ» ´ë·« À̾߱âÇØ º¸°íÀÚ ÇÑ´Ù.

±¸È¹(block)Àº °Ç¹°·Î ÀÌ·ïÁö°í, °Ç¹°Àº º®À¸·Î, º®Àº º®µ¹·Î, º®µ¹Àº °áÁ¤Ã¼·Î ÀÌ·ïÁø´Ù. ¿øÇÑ´Ù¸é ÇÙÀ» ±¸¼ºÇÏ´Â ±âº» ÀÔÀÚµé±îÁö ³»·Á°¥ ¼öµµ ÀÖ´Ù. Áï, ¿ì¸®´Â Àüü¸¦ ºÎºÐµéÀÇ ÁýÇÕÀ¸·Î °£ÁÖÇϸç, ºÎºÐµéÀº ¾î¶² Àǹ̿¡¼­ Àüüº¸´Ù "ÀÛ°í", ÀÌ °úÁ¤Àº °¢ ºÎºÐ¿¡µµ Àç±ÍÀûÀ¸·Î Àû¿ëµÈ´Ù. ÀÌ·¸°Ô ÇÏ¿© °èÃþÀûÀ¸·Î ºÐÇØµÈ °Í¿¡ µµ´ÞÇÑ´Ù. ±× ±íÀÌ´Â Àüü¿Í ±Ã±ØÀûÀÎ ºÎºÐµéÀÇ "Å©±â" »çÀÌÀÇ ºñÀ²¿¡ ´ëÇÑ ÀÏÁ¾ÀÇ ·Î±× °ª(logarithm)ÀÌ´Ù. ±×·±µ¥ (Àüü °è»êÀ» À§ÇÑ) ÇÑ ½Ã°£°ú (°³º° ¸í·É¾î¸¦ À§ÇÑ) ¼ö¹é ³ª³ëÃÊ(nanosecond)ÀÇ ºñÀ²Àº 10ÀÇ 10Á¦°öÀε¥, ÀÌ°ÍÀº ´ÜÀÏÇÑ °úÇÐ, Çй®, ±â¼ú·Î´Â ÀüÇô ±× °£°ÝÀ» ä¿ï ¼ö ¾ø´Ù. ÇÁ·Î±×·¡¹Ö¿¡¼­ ´Ù·ç´Â °³³äµéÀÇ °èÃþÀÇ ±íÀÌ¿Í ºñ±³Çϸé, ÀüÅëÀûÀÎ ¼öÇÐÀº °ÅÀÇ ´ÜÁ¶·Î¿î ÀÏÀÌ´Ù. ¼öÇп¡¼­´Â ´ëºÎºÐ ÀûÀº ¼öÀÇ, ±×¸®°í ´õ¿íÀÌ ÀüÀûÀ¸·Î Ä£¼÷ÇÑ ÀÇ¹Ì ¼öÁص鿡¼­¸¸ ÀÏÀÌ ÀÌ·ïÁö±â ¶§¹®ÀÌ´Ù. °³³äÀû °èÃþÀÇ ±íÀÌ°¡ ±í´Ù´Â °ÍÀº (±× ÀÚü·Î¼­ ±× ÀåÄ¡°¡ °¡Áø ¼±·Ê ¾ø´Â ´É·ÂÀÇ Á÷Á¢ÀûÀÎ °á°úÀ̸ç) ³»°¡ ÄÄÇ»ÅÍÀÇ ÃâÇöÀ» ¿ì¸®ÀÇ Áö½ÄÀÇ ¿ª»ç¿¡ »ý±ä ¼±¸íÇÑ ºÒ¿¬¼Ó ÁöÁ¡À̶ó°í »ý°¢ÇÏ´Â ÀÌÀ¯µé Áß ÇϳªÀÌ´Ù. (Âü°í ³¡.)

ÄÄÇ»ÅÍ°¡ ±Ùº»ÀûÀ¸·Î »õ·Î¿î °ÍÀ̾úÀ¸¹Ç·Î, ¿ì¸®°¡ ±×°Í¿¡ ´ëÇØ ÁغñµÇÁö ¾Ê¾Ò´Ù´Â °ÍÀº ³î¶ö ÀÏÀÌ ¾Æ´Ï´Ù. ±×·±µ¥ ¼öÇÐÀÚµéÀº ÁغñµÇÁö ¾ÊÀº °Íº¸´Ù ´õ ½É°¢Çß´Ù.

¼öÇÐÀÚµéÀº ´ÝÈù(introverted) ¼¼°è¿¡ »ì¾Æ¾ß ÇÏ´Â, »çȸÀûÀ¸·Î ºÒ¸®ÇÑ À§Ä¡¿¡ ÀÖ´Ù. ÀÌ ¼¼°è¿¡´Â ¾î¶² ¿ì¼öÇÔÀ̳ª Á߿伺À» ÆÇ´ÜÇϱâ À§ÇÑ ±× ÀÚüÀÇ °¡Ä¡¿Í ±× ÀÚüÀÇ Ç¥ÁØÀÌ ÀÖ´Ù. ÀÌ·± ¼¼°è´Â ±ÙÄ£ ±³¹èÀÇ Åä¾çÀÌ µÈ´Ù. ±×¸®°í ½ÇÁ¦·Î ±×·¯Çß´Ù. Àß ¾Ë·ÁÁø ±âÇÏÇÐÀÇ Á¤ÀÇ(Áï, "±âÇÏÇÐÀº ±âÇÏÇÐÀÚµéÀÌ ÇÏ´Â ÀÏÀÌ´Ù.")¸¦ ÅëÇØ ±×µéÀÌ ¼öÇÐÀ» ÀÌÇØÇÏ°í ÀÖ´Â ¹Ù¸¦ ¹«¸® ¾øÀÌ ÀϹÝÈ­ÇÒ ¼ö ÀÖ´Ù. Áï, ±×µé Áß ¾î´À ´©±¸µµ ÀÚµ¿È­µÈ Àü»ê¿¡ ´ëÇØ »ý°¢ÇØ º» ÀûÀÌ ¾øÀ¸¹Ç·Î, ÀÚµ¿È­µÈ Àü»êÀº ¼öÇÐÀÌ µÉ ¼ö ¾ø´Ù.

¹®È­ Áý´Ü(subculture)À¸·Î¼­, ±×µéÀº ÆíÇùÇÒ »Ó¸¸ ¾Æ´Ï¶ó ¸Å¿ì º¸¼öÀûÀÌ´Ù. ±×µéÀº ÀÌ°ÍÀ» ½º½º·Î Àß ¾Ë°í ÀÖÁö¸¸, Àλó ±íÀº ÀüÅëÀÇ °è½ÂÀÚÀÌÀÚ °ü¸®ÀÎÀ¸·Î¼­ ±×µéÀº º¸Á¸ÇØ¾ß ÇÏ´Â °ÍÀÌ Âü ¸¹´Ù°í »ý°¢ÇÏ°í ÀÖ´Ù. ¿ì¸®´Â ¸ðµÎ ±×µéÀÇ ±×·± »ý°¢À» ÀÎÁ¤ÇÑ´Ù. ÇÏÁö¸¸ ³ª´Â Ÿ´çÇÑ ¶Ç ´Ù¸¥ ÀÛµ¿°úÁ¤(mechanism)ÀÌ ÀÖÁö ¾ÊÀº°¡ »ý°¢ÇÑ´Ù. ¼öÇÐÀº ±× ½Çõ°¡µéÀÌ (´ëºÎºÐÀÇ °ÉÃâÇÑ Àι°µéÀ» Æ÷ÇÔÇؼ­) Àý´ë ´Ù¼ö°¡ °¡¸£Ä¡´Â ÀÏ¿¡ ÀüÀûÀ¸·Î Á¾»çÇÏ°í ÀÖ´Ù´Â Á¡¿¡¼­ ´Ù¸¥ °úÇÐ ºÐ¾ßµé°ú Â÷ÀÌ°¡ ÀÖ´Ù. ±³»çµéÀº ½À°üÀ» üµæÇÏ°Ô ÇÏ´Â ÀÏ¿¡ µéÀÌ´Â ³ë·ÂÀ» ÅõÀÚ¶ó°í »ý°¢Çϸç, ±×°ÍÀ» µÚ¹Ù²ã¾ß ÇÑ´Ù´Â »ý°¢¿¡´Â ¸ö¼­¸®Ä¥ °ÍÀÌ´Ù. ±× °á°ú ±×µéÀº ÁÖÀú ¾øÀÌ "Æí¾ÈÇÑ °Í(convenient)"°ú "°ü½ÀÀûÀÎ °Í(conventional)"ÀÌ °°´Ù°í »ý°¢ÇÑ´Ù. ´Ù¸¥ ÀÌÀ¯°¡ ¾ø¾ú´Ù¸é ¿ì¸®´Â ¾ÆÁ÷µµ ·Î¸¶ ¼ýÀÚ·Î °è»êÀ» ÇÏ°í ÀÖ¾úÀ» °ÍÀÌ´Ù. »ç¶÷µé¿¡°Ô´Â ±×°ÍÀÌ ½À°üÀÌ µÇ¾î¼­ ±×°ÍÀÌ "´õ ½¬¿î" °ÍÀ̾ú±â ¶§¹®ÀÌ´Ù.

¼öÇÐÀÚµéÀº ±â¼úÀûÀ¸·Îµµ ºÒ¸®ÇÑ À§Ä¡¿¡ ÀÖ´Ù. ±×µéÀÇ Àü¹®¼ºÀÇ °¡Ä¡¿Í Ư±ÇÀº 19¼¼±â ÈĹݿ¡¼­ 20¼¼±â Ãʹݿ¡ ±â¿øÀ» µÎ°í Àֱ⠶§¹®ÀÌ´Ù. ±×µéÀº ¸Ó¸® ¼ÓÀÌ ºÐ¼®À¸·Î °¡µæ Â÷ ÀÖÀ¸¸ç, ¿¬¼Óü(continuum)¿Í º¹¼ÒÆò¸é(complex plane)À» »ç¶ûÇÏ°í, ¹«ÇÑÀ» ¼öÇÐÀû ±íÀÌÀÇ ¼±ÇàÁ¶°ÇÀ¸·Î »ý°¢Çß´Ù. ÀÌ ¼¼»ó¿¡¼­ Àü»êÀÌ À̵é°ú ¹«½¼ °ü·ÃÀÌ ÀÖÀ» ¼ö Àְڴ°¡? ±×µéÀÌ ÄÄÇ»ÅÍÀÇ Á¸À縦 Á¶±ÝÀÌ¶óµµ ÀÎÁ¤Çß´Ù¸é, ±×°ÍÀº ¼ýÀÚ¸¦ ´Ü¼ø ¹Ýº¹ ó¸®ÇÏ´Â ±â°è(number cruncher)·Î¼­ °£ÁÖÇßÀ» »ÓÀÌ´Ù. ÀÌ°ÍÀº ¼öÄ¡ Çؼ® ºÐ¾ßÀÇ µ¿·áµéÀÌ (¸¸¾à ±×·± µ¿·á°¡ ÀÖ´Ù¸é) µµ±¸·Î »ç¿ëÇÒ ¼ö ÀÖ´Â °ÍÀÏ »ÓÀÌ´Ù. (±×µéÀº ¼öÄ¡ Çؼ®¿¡ ´ëÇؼ­µµ, ±×°Í¿¡ ´ëÇØ º°·Î ¾Æ´Â °Íµµ ¾øÀ¸¸é¼­, ±â²¯ÇØ¾ß »ì¦ ¾èÀâ¾Æº¼ »ÓÀ̾ú´Ù.) ¿äÄÁ´ë ±×µéÀº Àü»êÀ» ¿ÏÀüÈ÷ ¹«½ÃÇß°í, ¾î·µç »ç¼ÒÇÑ ÀÏ¿¡ ºÒ°úÇÑ °æ¿µ ºÎ¹®¿¡ ±â°èµéÀÌ ÁÖ·Î »ç¿ëµÇ´Â °ÍÀ» ¾Ë°Ô µÇ¸é¼­ ±×·¯ÇÑ Åµµ°¡ ´õ °­°æÇØÁ³´Ù.

ÀÌ·¯ÇÑ ºñ³­ÀÇ ÀϺδ Àü»ê¿¡ Á¾»çÇß´ø ÃʱâÀÇ °úÇÐÀڵ鿡°Ô µ¹·Á¾ß ÇÑ´Ù. ±×µéÀº (ÇÊ¿ä¿¡ ÀÇÇØ) ´Ù¸¥ Çй® ºÐ¾ß¿¡¼­ ¿Ô´Ù. ±×µéÀº ´ëºÎºÐ ¹°¸®ÇÐ, È­ÇÐ, °áÁ¤ÇÐ(crystallography)¿¡¼­ ÈÆ·ÃµÈ »ç¶÷µéÀ̾ú´Ù. (°£È¤ õ¹®ÇÐÀÚ, ±â»óÇÐÀÚµµ ÀÖ¾ú´Ù.) ±×µéÀº óÀ½¿¡´Â ÄÄÇ»ÅÍ »ç¿ëÀÚ¿´´Âµ¥, À¯°¨½º·´°Ôµµ ±×µéÀÇ Àý´ë ´Ù¼ö°¡ ÀÚ½ÅÀÇ °úÇÐÀûÀÎ ÁúÀû Ç¥ÁØÀ» ÀÚ½ÅÀÇ ÁÖ¿äÇÑ ÀÏÀÌ µÈ ÇÁ·Î±×·¡¹ÖÀ¸·Î´Â ¿Å°Ü¿ÀÁö ¾Ê¾Ò´Ù. Áï, ÇÁ·Î±×·¡¹ÖÀÌ °ü·ÃµÉ ¶§¸¶´Ù À̵éÀº, ´Ù¸¥ ºÐ¾ß¿¡¼­´Â Á¸°æ¹Þ´Â °úÇÐÀÚÀ̸鼭µµ, ¼öÇÐÀ̶ó´Â Á¤±ÛÀÇ ¹ýÄ¢¿¡ µû¶ó »ì°Ú´Ù°í Áï°¢ ¼øÀÀÇØ ¹ö¸° °ÍÀÌ´Ù. ÇÑ ¼¼´ë µ¿¾È "°úÇÐÀû" ±â°èÀÇ »ç¿ëÀÚµéÀº ÇÁ·Î±×·¡¹Ö ÀÏÀ» ±â°è Á¦ÀÛÀÚµéÀÌ ³»³õÀº ÆÛÁñÀ» Ǫ´Â °ÍÀ¸·Î Á¢±ÙÇßÀ» »Ó, °úÇÐÀû »ç°íÀÇ ±â¹ýµéÀ» »ç¿ëÇÒ ¸¸ÇÑ È°µ¿À¸·Î´Â Á¢±ÙÇÏÁö ¾Ê¾Ò´Ù. ³í¸®ÀûÀ¸·Î º¼ ¶§ ±×µéÀÇ "´ÚÄ¡´Â ´ë·Î ÇÏ´Â ¹æ½Ä(catch-as-catch-can)"Àº, ¼öÇÐÀÚµéÀÌ ÀÚ½ÅÀÇ Àü¹®¼ºÀ̶ó°í ¿Ç°Ô ȤÀº ±×¸£°Ô »ý°¢ÇÏ°í ÀÖ´Â Áú¼­Á¤¿¬ÇÑ »ý°¢°ú ¹Ý¹ßÀÌ »ý±æ ¼ö¹Û¿¡ ¾ø¾ú´Ù.

Àü»êÀÇ ÃʶóÇÑ ¸ð½À¿¡ ´ëÇÑ ºñ³­ÀÇ ÀϺδ ¶ÇÇÑ, ±×·¸°Ô ºÒ·ÁÁø ±×´ë·Î, ÃʱâÀÇ "ÄÄÇ»ÅÍ°úÇаú(Department of Computer Science)"¿¡ µ¹·Á¾ß ÇÑ´Ù. ±×µéÀº ½º½º·Îµµ Àڱ⠼ҸíÀÇ ÁøÁ¤ÇÑ ¼Ó¼º¿¡ ´ëÇØ ¸Å¿ì ºÒºÐ¸íÇßÀ¸¹Ç·Î, ¼¼»óÀÇ ´Ù¸¥ »ç¶÷µé¿¡°Ôµµ ±×°Í¿¡ ´ëÇØ Á¦´ë·Î Á¶¸íÇÏÁö ¸øÇß´Ù. º¸Åë ÀÌ ÇаúµéÀº, ÀÚµ¿È­µÈ °è»ê°ú ¾î¶² °ü°è°¡ ÀÖ´Â ÁÖÀ§¿¡¼­ º¼ ¼ö ÀÖ´Â Çй®µé(°ú À¯»ç Çй®µé)ÀÌ Ä¬Å×ÀÏµÈ °ÍÀ¸·Î À߸ø »ý°¢µÉ Á¤µµ¿´´Ù. ±×°ÍÀº ÀüÀÚ°øÇÐ, Åë½Å ¹× ½ºÀ§Äª ÀÌ·Ð, °æ¿µÇÐ, ¼öÄ¡ Çؼ®, ¼öÄ¡ Á¦¾î, µµ¼­°üÇÐ, ÀΰøÁö´É°ú °°Àº °Íµé, °£´ÜÈ÷ ¸»Çؼ­ ÀÏ°ü¼º ¾ø´Â Çй®µéÀÇ ¹«´õ±â¿´±â ¶§¹®¿¡, ±× °á°ú·Î ³ª¿Â ĬÅ×ÀÏÀº ÁöÀûÀ¸·Î ºÐº°·Â ÀÖ´Â »ç¶÷µéÀÇ ÀÔ¸À¿¡´Â °ÅÀÇ ¸ÂÁö ¾Ê¾Ò´Ù. ¾ÆÁ÷ ´ú ¼º¼÷ÇÑ ÀÌ ÇаúµéÀº ÄÄÇ»ÅÍÀÇ ±¸ÃàÀ̳ª ÄÄÇ»Å͸¦ ÀÀ¿ëÇÒ ¼ö ÀÖ´Â ºÐ¾ßµé¿¡ ÁÖ·Î °ü½ÉÀ» °¡Áö°í ÀÖ¾ú´Ù. ±âº»ÀûÀ¸·Î ±×µéÀÇ ¹®Á¦´Â, ±×µéÀÌ ¾ÆÁ÷ µîÀåÇÏÁö ¾ÊÀº °úÇÐÀÇ ÁÖº¯ºÎ¿¡¼­ È°µ¿ÇÒ ¼ö¹Û¿¡ ¾ø¾ú´Ù´Â °ÍÀÌ´Ù.

ÀÌ Çй®Àº Â÷Ãû Àü»ê°úÇÐ(Computing Science)À¸·Î ¾Ë·ÁÁö±â ½ÃÀÛÇߴµ¥, »ç¶÷µéÀÌ ¾î¶°ÇÑ ÄÄÇ»Åͳª ¾î¶°ÇÑ ÀÀ¿ë ºÐ¾ß¿¡¼­µµ °øÅëÀûÀ¸·Î »ç¿ëÇÒ ¼ö ÀÖ´Â ¹«¾ùÀ» ã±â ½ÃÀÛÇϸ鼭 °£½ÅÈ÷ µîÀåÇß´Ù. ÀÌ·¯ÇÑ Ãß»óÈ­ °úÁ¤¿¡ ÀÇÇØ Àü»ê°úÇÐÀº Áï½Ã ±×¸®°í ºÐ¸íÈ÷ ÀüÀÚ°øÇаú °áº°À» °íÇÏ°Ô µÇ¾ú´Ù. Àü»ê°úÇÐÀÚ´Â ±â°è¸¦ ½ÇÇöÇÏ´Â µ¥ »ç¿ëµÇ´Â ƯÁ¤ÇÑ ±â¼ú¿¡ ´ëÇØ Á¶±Ýµµ °³ÀÇÄ¡ ¾Ê´Â´Ù. ±×°ÍÀÌ ÀüÀÚ°øÇÐÀ̵ç, ±¤ÇÐÀ̵ç, ±âü ¿ªÇÐ(pneumatics)À̵ç, ȤÀº ¸¶¼úÀÌµç ¸»ÀÌ´Ù. ±×¿Í °°Àº ¹æ½ÄÀ¸·Î, Àü»ê°úÇÐÀº ÄÄÇ»Å͸¦ ¾î¶² »çȸÀÇ ¾î¶² ºÎºÐ¿¡ ÀÇ¹Ì ÀÖ°Ô µµÀÔÇÏ´Â ¸ðµç ±¸Ã¼ÀûÀÎ ¹®Á¦µé¿¡¼­µµ ºÐ¸®µÉ ¼ö ÀÖ¾ú´Ù. (»çȸ´Â ¸ðµÎ ¼­·Î ´Ù¸£¹Ç·Î ÀÌ °ü½É»çµéÀº °ÅÀÇ ¾î¿ ¼ö ¾øÀÌ Áö¿ªÀûÀÌ´Ù.)

ÀÌÁ¦ Àü»ê°úÇÐÀÌ ÃâÇöÇϸ鼭 ±× ¸ð¾çÀ» °®Ãß´Â µ¥¿¡ Áß¿äÇß´ø ¸î °¡Áö »ç°ÇµéÀ» (¿Ïº®ÇÏÁö´Â ¾Ê°ÚÁö¸¸) ¾ð±ÞÇØ º¸°íÀÚ ÇÑ´Ù.

1960³â¿¡ ´ë¼­¾çÀ» »çÀÌ¿¡ µÐ (¹Ì±¹°ú À¯·´ÀÇ) Çù·ÂÀÇ °á°ú·Î ¾Ë°ñ(ALGOL) 60À̶ó´Â »õ·Î¿î ÇÁ·Î±×·¡¹Ö ¾ð¾î°¡ ¼³°èµÇ¾ú´Ù. ÇÁ·Î±×·¥ ¼³°èÀÇ ¼ö´ÜÀ¸·Î¼­ ¾Ë°ñ 60Àº ±âÁ¸ÀÇ °æÀïÀÚ¿´´ø Æ÷Æ®¶õ(FORTRAN)º¸´Ù ÈξÀ Çâ»óµÈ °ÍÀ̾úÀ¸¸ç, Æ÷Æ®¶õÀÌ ¾ÆÁ÷ Á¤ÂøµÇÁö ¾ÊÀº °÷¿¡¼­´Â Áï½Ã Ç¥ÁØÀ¸·Î ¹Þ¾Æµé¿©Á³´Ù. ±×·±µ¥ ÀÌ ÇÁ·Î±×·¡¹Ö ¾ð¾î ÀÚüº¸´Ù ´õ Áß¿äÇÑ °ÍÀº ¾Ë°ñ 60ÀÌ Á¤ÀÇµÈ ¹æ½ÄÀ̾ú´Ù. "¹èÄ¿½º-³ª¿ì¾î Çü½Ä(Backus-Naur Form)", ÁÙ¿©¼­ BNF·Î ¾Ë·ÁÁö°Ô µÇ¾ú°í, ¾Ë°ñ 60À» ¹®¸Æ¿¡ ¹«°üÇϸç(context-free) ¿ÏÀüÈ÷ Àç±ÍÀûÀ¸·Î Á¤ÀÇÇϱâ À§ÇØ »ç¿ëµÈ ÀÌ Çü½Ä·Ð(formalism)Àº ¾ð¾î Á¤ÀÇÀÇ ¾ö¹ÐÇÔÀÌ ºñ¾àÀûÀ¸·Î ¹ßÀüÇÏ¿© ±¸ÇöµÈ °ÍÀ̾ú´Ù. ±× ¶§ºÎÅÍ Çü½Ä ¹®¹ý(formal grammar)Àº Àü»ê°úÇÐÀÇ Ãʼ®ÀÌ µÇ¾ú´Ù.

±× ÈÄ¿¡ ¸®½ºÇÁ(LISP)°¡ ½É¹ú Á¶ÀÛÀ» À§ÇÑ ÇÁ·Î±×·¡¹Ö µµ±¸·Î¼­ ÃâÇöÇß´Ù. ¸®½ºÇÁ´Â ÀÀ¿ë ³í¸®ÀÇ ±â°èÈ­¶ó´Â Á¡¿¡¼­ ¸Å¿ì ¼º°øÀûÀ¸·Î ±¸ÇöµÈ °ÍÀ̶ó°í º¼ ¼ö ÀÖ´Ù. Àü»ê°úÇп¡¼­ ¸®½ºÇÁ°¡ °®´Â ¹®È­ÀûÀÎ ÀÇÀÇ´Â, (½É¹úÀÇ ¹ÌºÐ°ú ÀûºÐÀ¸·ÎºÎÅÍ Çü½ÄÀ» °®Ãá Á¤¸®(theorem)ÀÇ Áõ¸í¿¡ À̸£±â±îÁö) Çü½ÄÀ» °®Ãá ¸ðµç °úÁ¤µéÀ» Æ÷ÇÔÇÔÀ¸·Î½á, Àü»êÀÌ ¼ýÀÚÀÇ ´Ü¼ø ¹Ýº¹ 󸮶ó´Â Á¼Àº Àǹ̿¡¼­ ÇعæµÇ¾ú´Ù´Â Á¡¿¡ ÀÖ´Ù.

60³â´ë Á߹ݿ¡ ¿ì¸®°¡ ºñ°áÁ¤·ÐÀûÀÎ(nondeterministic) ±â°è¸¦ ÇÁ·Î±×·¥ ÇÏ´Â ¹æ¹ýÀ» ¾Ë°Ô µÇ¸é¼­, Àü»êÀÇ ¿µ¿ªÀº »õ·Î¿î Â÷¿øÀ¸·Î ÇÑ ¹ø ´õ È®ÀåµÇ¾ú´Ù. ÀÌ ¹®Á¦ÀÇ ±â¿øÀº "¿î¿µ üÁ¦"¸¦ ¼³°èÇÏ´Â ÀÏ¿¡¼­ ºñ·ÔµÇ¾ú´Ù. ¿©±â¿¡¼­ Áß¾Ó ÇÁ·Î¼¼¼­´Â, ¼­·Î ¿¬°áµÉ ¼öµµ ÀÖ°í ±×·¸Áö ¾ÊÀº °æ¿ì¿¡´Â ºñµ¿±âÈ­µÇ´Â ¼ö¸¹Àº µ¿ÀÛµé°ú °øÁ¶ÇϹǷÎ, ÀÌµé »çÀÌÀÇ Åë½ÅÀº ¿¹ÃøÇÒ ¼ö ¾ø´Â ¼ø°£¿¡ ¹ß»ýÇÏ°Ô µÈ´Ù. ÀÌ ¹®Á¦´Â »ç¼ÒÇÏ°í ±â¼úÀûÀÎ µ¥¼­ ±â¿øÇßÁö¸¸, Àü»êÀÇ ¹®È­¿¡¼­ ¸Å¿ì Å« ÀÇÀÇ°¡ ÀÖ´Â °ÍÀ̾ú´Ù. Áß¾Ó ÇÁ·Î¼¼¼­¿Í ÁÖº¯ÀåÄ¡ »çÀÌ¿¡ Åë½ÅÀÌ ÀÌ·ïÁö´Â ¼ø°£Àº ¿¹Ãø ºÒ°¡´ÉÇÒ »Ó¸¸ ¾Æ´Ï¶ó, ±×¿¡ µû¶ó ÀçÇö ºÒ°¡´ÉÇϸç, ±× °á°ú, ÇÁ·Î±×·¡¹Ö¿¡ ´ëÇÑ ½ÇÇèÀûÀÎ Á¢±Ù ¹æ¹ýÀº ¸í¹éÇÏ°Ô ´õ ÀÌ»ó À¯ÁöÇÒ ¼ö ¾ø°Ô µÇ¾ú´Ù.

ÇÁ·Î±×·¡¹ÖÀÇ ¼¼°è¿¡ ½Ç¿ëÁÖÀÇÀû(pragmatic) ÇÁ·Î±×·¡¹Ö°ú °úÇÐÀû ¼³°è »çÀÌÀÇ ±¸ºÐÀÌ ³ªÅ¸³ª±â ½ÃÀÛÇÑ °ÍÀÌ ÀÌ ½Ã±âÀÌ´Ù. ÇöÀç "¹Ýº¹Àû(iterative) ¼³°è"·Î ¾Ë·ÁÁø °ÍÀÌ ¹Ù·Î ½Ç¿ëÁÖÀÇÀÚÀÇ Æз¯´ÙÀÓÀÌ´Ù. À̵éÀº ¹Ý´ëµÇ´Â Áõ°Å¸¦ ¸¸³ªÁö ¾Ê´Â ÇÑ, ÀÚ½ÅÀÇ ¼³°è°¡ ÀûÀýÇÏ°Ô µ¿ÀÛÇÒ °ÍÀ̶ó°í ¹ÏÀ¸¸ç, ±×·± Áõ°Å¿¡ ´ëÇؼ­´Â ¼³°è¸¦ °³¼±ÇÒ ¹æ¹ýÀ» ãÀ» °ÍÀÌ´Ù. ÇÁ·Î±×·¡¸Óµé »çÀÌ¿¡´Â ÀÌ·¸°Ô ±â´É ¿À·ù¸¦ ã¾Æ °íÄ¡´Â °ÍÀÌ "µð¹ö±ë"À̶ó°í ¾Ë·ÁÁ® ÀÖÀ¸¸ç, ±Ã±ØÀûÀ¸·Î Á¤´ä¿¡ ¼ö·ÅÇÒ °ÍÀ̶ó´Â (Á¤´çÈ­µÇÁö ¾ÊÀº) ½Å³äÀÌ ´ç½Ã¿¡ ³Î¸® ÆÛÁ® ÀÖ¾ú´Ù. ±× °á°ú·Î, ±â´É ¿À·ù°¡ °üÂûµÈ °æ¿ì¿¡ (±× ¿øÀÎÀ» ¹àÇô³»±â À§ÇØ) ±× ½ÇÇèÀ» ¹Ýº¹ÇØ º¼ ¼ö ¾ø´Â °ÍÀº Å« Ÿ°ÝÀÌ µÇ¾ú´Ù. °úÇÐÀû ¼³°èÀÚ´Â, ½Ç¿ëÁÖÀÇÀÚ¿Í ´ëÁ¶ÀûÀ¸·Î, Àڱ⠼³°è°¡ ¿Ö ¸ðµç »óȲ¿¡¼­ ÀûÀýÇÏ°Ô µ¿ÀÛÇÒ °ÍÀÎÁö ¾Ë°í Àֱ⠶§¹®¿¡ ±×°ÍÀ» ¹Ï´Â´Ù.

ÀÌ·¸°Ô Çؼ­ 60³â´ë ÈĹݰú 70³â´ë Ãʹݿ¡ ÀϾ ÀÏÀÇ ±â¹ÝÀÌ ÁغñµÇ¾ú´Ù. ÀÌ ½Ã±â¿¡´Â ¾Ë°í¸®µë¿¡ ´ëÇØ Ãß·ÐÇÒ ¼ö ÀÖ´Â Æ°Æ°ÇÑ Åä´ë°¡ ¸¶·ÃµÇ¾ú´Ù. ÀÌ°ÍÀº ÇÁ·Î±×·¥°ú ±â°è »çÀÌÀÇ °ü°è¸¦ ¹Ù²ã ³õ¾Ò´Ù. °ú°Å¿¡´Â ÇÁ·Î±×·¥ÀÇ °úÁ¦°¡ ±â°è¿¡ Áö½Ã¸¦ ³»¸®´Â °ÍÀ̾ú´Ù¸é, ÀÌÁ¦´Â ±â°èÀÇ °úÁ¦°¡ ÇÁ·Î±×·¥À» ½ÇÇàÇÏ´Â °ÍÀÌ µÇ¾ú´Ù. ÀÌ°ÍÀº ¶ÇÇÑ ÇÁ·Î±×·¥ÀÇ ÁöÀ§µµ º¯È­½ÃÄ×´Ù. °ú°Å¿¡´Â ±×°ÍÀÌ ¾î¶² ½ÇÇèÀû Áõ°Å°¡ ÀÖ¾î¾ß ÁöÁöµÇ´Â ÃßÃø(conjecture)¿¡ ºÒ°úÇß´Ù¸é, ÀÌÁ¦´Â ¾ö¹ÐÇÏ°Ô Áõ¸íµÈ Á¤¸®(theorem)ÀÇ ÁöÀ§¸¦ ȹµæÇÒ ¼ö ÀÖ°Ô (¶§·Î´Â ½ÇÁ¦·Î ±×·¸°Ô) µÇ¾ú´Ù. (°ú°Å¿¡´Â ÇÁ·Î±×·¡¹Ö¿¡ ´ëÇÑ Ã¥µéÀÌ, ÀúÀÚ°¡ ¼­¹®¿¡¼­ ±× Ã¥¿¡ ¼ö·ÏµÈ ¸ðµç ÇÁ·Î±×·¥µéÀ» ÄÄÇ»ÅÍ·Î Á¡°ËÇß´Ù°í ´Ü¾ðÇÔÀ¸·Î½á ÃßõÀ» ¹Þ°ï Çß´Ù. 70³â´ë Á߹ݿ¡´Â ÀúÀÚ°¡ ÀÚ±â Ã¥¿¡ ¼ö·ÏµÈ ÇÁ·Î±×·¥À» Çϳªµµ Á¡°ËÇÏÁö ¾Ê¾Ò´Ù°í ´Ü¾ðÇÔÀ¸·Î½á ÃßõÀ» ¹ÞÀº ù ¹ø° Ã¥ÀÌ µîÀåÇß´Ù. ¿ªÀÚ ÁÖ: "³ª´Â ±×°ÍÀÌ ¿Ç´Ù°í Áõ¸íÀº ÇßÁö¸¸, ½ÃÇèÇØ º¸Áö´Â ¾Ê¾Ò½À´Ï´Ù. (I have only proved it correct, not tried it.)"¶ó´Â Ä¿´©½º(Knuth)ÀÇ ¸»ÀÌ À¯¸íÇÏ´Ù. [http]http://www-cs-staff.stanford.edu/~knuth/faq.html Âü°í.) ¿ì¸®°¡ ±× ÃßÃø(conjecture)°ú Á¤¸®(theorem)¿¡ "ÇÁ·Î±×·¥"À̶ó´Â °°Àº ¿ë¾î¸¦ °è¼Ó »ç¿ëÇÏ°í ÀÖ´Ù´Â »ç½ÇÀº À¯°¨½º·´´Ù. ÀÌ°ÍÀÌ ¸¹Àº È¥µ¿ÀÇ ±Ù¿øÀ̱⠶§¹®ÀÌ´Ù.

Àü»êÀÇ Áö³­ 10³âÀº ¶§¶§·Î ¸ðµâÈ­(modularity)ÀÇ 10³âÀ̶ó°í ºÒ¸®Áö¸¸, ÀÌ°ÍÀº Àüü À̾߱âÀÇ ÀϺÎÀÏ »ÓÀÌ´Ù. ¾Õ¿¡¼­ ¾ð±ÞÇÑ ´ë·Î, ¾Ë°í¸®µë¿¡ ´ëÇØ Ãß·ÐÇÒ ¼ö ÀÖ´Â Æ°Æ°ÇÑ Åä´ë¸¦ ÅëÇØ À̷лó ¿ì¸®´Â Àͼ÷ÇÑ ¼öÇÐÀû ±â¹Ý À§¿¡ ¼­°Ô µÇ¾úÁö¸¸, »ç½Ç À̷лó ±×·² »ÓÀ̾ú´Ù. ¾î¶°ÇÑ ¾ß½ÉÀûÀÌ°í Á¤±³ÇÑ (¿¹ÄÁ´ë °í±Þ ÄÄÆÄÀÏ·¯¿Í °°Àº) ÇÁ·Î±×·¥ÀÌ¶óµµ ¼öÇÐÀÇ ´ë»óÀ̶ó°í ºÎ¸£±â¿¡´Â ´Ù¼Ò ÁÖÀúÇÏ°Ô µÈ´Ù. ÀÌ·± ÇÁ·Î±×·¥Àº ¹æ´ëÇÏ°í, ¼³°è»ó ¸¹Àº, ¶§·Î´Â »óÃæµÇ´Â ¸ñÇ¥µéÀ» Ãß±¸ÇØ¾ß Çϸç, ÃÖÁ¾ÀûÀÎ Á¤´çÈ­ °úÁ¤¿¡´Â ¿©·¯ °¡Áö ¹Ì¹¦ÇÑ ³íÀǵéÀÌ Á¾Á¾ ¿ä±¸µÈ´Ù. ¾î¶² "ºÐÇÒ Á¤º¹(divide-and-conquer)"ÀÇ ÇüÅ°¡ ºÐ¸íÈ÷ º¸ÀδÙ. ÇÏÁö¸¸ Á¤ÀÛ ³ª´²¾ß ÇÏ´Â ÀÏÀÇ ¾çÀº Á¤ÇØÁ® ÀÖÁö ¾Ê´Ù. ³ª´­ ºÎºÐµéÀ» Á¦´ë·Î ¼±ÅÃÇÏÁö ¾ÊÀ¸¸é ±× ¾çÂÊ °æ°è¿¡¼­ ¸ðµÎ ÀÏÀÇ ¾çÀÌ Áõ°¡ÇÏ´Â ºÒ¿îÀ» °ÞÀ» ¼ö ÀÖ´Ù! ¸ðµâÈ­°¡ ÃßÁøµÈ ±â¿øÀº À¯¿¬¼º(flexibility)¿¡ ´ëÇÑ ¿­¸Á, Ưº°È÷ ²Ï Å« ÇÁ·Î±×·¥ÀÇ ³»¿ëÀ» "¸ðµâµé"·Î ³ª´©´Â ¹æ¹ý¿¡ ´ëÇÑ ¿­¸Á¿¡¼­ ºñ·ÔµÇ¾ú´Ù. ¿©±â¼­ ¸ðµâÀ̶õ, Àüü ÇÁ·Î±×·¥ÀÇ Á¤È®¼ºÀ» ¼Õ»ó½ÃÅ°Áö ¾ÊÀ¸¸é¼­ ´Ù¸¥ °ÍÀ¸·Î ´ëüÇÒ ¼ö ÀÖ´Â, ºÐ¸íÇÏ°Ô ÇÑÁ¤µÈ ³»¿ëÀÇ °¢ ºÎºÐµéÀ» ¸»ÇÑ´Ù. ÀÌ°ÍÀº ¾î¶² ¼öÇÐ À̷п¡¼­ ±× Á¤¸®µé Áß Çϳª¿¡ ´ëÇÑ Áõ¸íÀ», ±× ÀÌ·Ð Àüü¿¡ ¿µÇâÀ» ÁÖÁö ¾ÊÀ¸¸é¼­ ´Ù¸¥ °ÍÀ¸·Î ´ëüÇÒ ¼ö ÀÖ´Â °Í°ú ¶È°°Àº ¹æ½ÄÀÌ´Ù. ÇÏÁö¸¸ ÀÌÁ¦ °­Á¶Á¡Àº ±×·¯ÇÑ ´Ü¼øÇÑ ´ëü °¡´É¼ºÀ¸·ÎºÎÅÍ Àüü °úÁ¦¸¦ ¾î¶»°Ô °¡Àå È¿°úÀûÀ¸·Î ÂÉ°¶ °ÍÀΰ¡ÀÇ Áú¹®À¸·Î ¿Å°Ü°¬´Ù. ÀÌ·¯ÇÑ ¿ä±¸´Â ¿ì¾ÆÇÔ(elegance)ÀÌ ´õ ÀÌ»ó ÀÖÀ¸³ª¸¶³ªÇÑ »çÄ¡°¡ ¾Æ´Ï¶ó, ¼º°ø°ú ½ÇÆи¦ °¡´ÆÇÏ´Â °ÍÀÌ µÇ¾úÀ½À» ¸»ÇØ ÁØ´Ù.

Àü»êÀÇ ÃâÇöÀ», °úÇÐÀû »ç°íÀÇ ±â¹ýµé¿¡ ¾î¿ï¸®°í ¶Ç ±×°ÍÀ» ÇÊ¿ä·Î ÇÏ´Â È°µ¿À̶ó´Â ½ÄÀ¸·Î ´ëÃæ º¸´Â ½Ã°¢Àº ÀÌÁ¦ ±×¸¸ ¹ö¸®µµ·Ï ÇÏÀÚ. ¼öÇÐÀÌ º¸Æí¼º, Á¤¹Ð¼º, ½Å·Ú¼ºÀ» °áÇÕÇÏ´Â °íÀ¯ÇÑ ¹æ½ÄÀ» °¡Áö°í ÀÖµíÀÌ, Àü»ê°úÇÐÀÌ ¶Ñ·ÇÀÌ ¼öÇÐÀûÀÎ ´À³¦À» °®´Â ºÐ¾ß·Î¼­ ÃâÇöÇÑ °ÍÀº ³î¶ö ÀÏÀÌ ¾Æ´Ï´Ù.

* * *

±â´É(craft)¿¡¼­ °úÇÐÀ¸·Î ÀüÀÌµÈ ¸ðµç °Íµé°ú °°ÀÌ, Àü»ê°úÇÐÀÇ ÃâÇöÀº ±äÀå°ú ºÒ¾ÈÀ» ¾ß±âÇß°í, ³Î¸® ȯ¿µ¹ÞÁö ¸øÇß´Ù. Àü»ê ±â´ÉÀεéÀº ±×°Í¿¡ À§ÇùÀ» ´À²¼°í, ¿©·¯ ¼öÇаúµé¿¡¼­´Â ÀÚ±âÀÇ ÈǸ¢ÇÑ ÇлýµéÀÌ °¥µîÇÏ°Ô µÇ°Å³ª ÀüÇâÇØ ¹ö¸®´Â ÀüÇô »ý°¢Áöµµ ¸øÇß´ø ÀÏ¿¡ ´ëÇØ ¸÷½Ã ºÐ°³ÇÏ°Ô µÇ¾ú´Ù. ÇÏÁö¸¸ °æÀïÀÇ ¿ä¼Ò°¡ ¾ø´Ù Çصµ, ¼öÇÐÀÚµé »çÀÌÀÇ ¾î¶² ºÒÆíÇÑ ´À³¦Àº ÀÌÇØÇÒ ¸¸ÇÏ´Ù. Àü»ê°úÇÐÀ̶ó´Â ±×µéÀÌ ¿ÏÀüÈ÷ ¹«½ÃÇØ ¿Ô´ø ºÐ¾ß°¡ ¼öÇÐ ÀϹݿ¡ ±íÀº ¿µÇâÀ» ¹ÌÄ¥ ¼ö ÀÖ°Ô µÇ¾ú±â ¶§¹®ÀÌ´Ù. »ç½Ç ±×·¸°Ô µÉ °ÍÀ̶ó°í ±â´ëµÇ´Âµ¥, ÀÌ·± ±â´ë°¡ ¿Ö Ÿ´çÇÑÁö ÀÌÇØÇϱâ À§ÇØ ¿ì¸®´Â ´ÙÀ½ÀÇ ³»¿ëÀ» »ý°¢ÇÒ ÇÊ¿ä°¡ ÀÖ´Ù.

¸ðµç ½Ã´ë¿¡ °ÉÃļ­ ±³À° È°µ¿¿¡´Â ¾ç ±Ø´ÜÀÌ ÀÖ¾î ¿Ô´Ù. ÇÑ ÂÊ ³¡¿¡´Â ±æµå(guild)°¡ ÀÖ´Ù. ¿©±â¿¡¼­ Áö½ÄÀº Àß º¸È£µÇ´Â ºñ¹Ð·Î ÁöÄÑÁö¸ç, ±× ÀÌÀ¯ ¶§¹®¿¡ ¸í½ÃÀûÀ¸·Î °ø½ÄÈ­µÇ´Â ÀÏÀÌ ÀüÇô ¾ø´Ù. µµÁ¦(apprentice)´Â 7³â µ¿¾È °í»ýÇÏ¸ç ½º½Â(master)°ú ÇÔ²² Áö³»¸é¼­, ¸»ÇÏÀÚ¸é »ïÅõ(osmosis) Çö»óó·³ ±â´ÉÀ» Èí¼öÇÑ´Ù. ´Ù¸¥ ÇÑ ÂÊ ³¡¿¡´Â ´ëÇÐÀÌ ÀÖ´Ù. ¿©±â¿¡¼­ ÇлýµéÀº ±³¼öÀÇ °­ÀǸ¦ µéÀ¸¸ç, ±³¼ö´Â ÀÚ±â Áö½Ä°ú ÇÙ½ÉÀûÀÎ ´É·ÂÀÇ ¿ä¼ÒµéÀ» ÃÖ´ëÇÑ ¸í½ÃÀûÀ¸·Î °ø½ÄÈ­Çϱâ À§ÇØ ³ë·ÂÇϹǷΠ±×°ÍÀº ´ëÁßÀÇ ¿µ¿ªÀ¸·Î ³»³õÀδÙ. ÀÌ·¯ÇÑ ¾ç ³¡ »çÀÌ¿¡¼­ ¼öÇÐÀº ±â¹¦ÇÑ ÀÌÁßÀû À§Ä¡¸¦ Â÷ÁöÇÑ´Ù. ¼öÇÐÀÇ °á°úµéÀº °ø°³ ¹ßÇ¥ÇÏ°í (¸¹Àº ¼öÇÐ Ä¿¸®Å§·³µéÀÌ ¸Å¿ì ¸¹ÀÌ "Áö½Ä ÁöÇâÀû"À̶ó´Â Á¡¿¡¼­) ²Ï °³¹æÀûÀ¸·Î °¡¸£Ä¡Áö¸¸, ¼öÇÐÀ» ¾î¶»°Ô Çϴ°¡¿¡ ´ëÇؼ­´Â °ÅÀÇ ¸í½ÃÀûÀ¸·Î °¡¸£Ä¡Áö ¾Ê´Â´Ù. ¼öÇÐÀÇ ¹æ¹ý·ÐÀº ¸í½ÃÀûÀ¸·Î ¹®Á¦°¡ µÇ´Â ÁÖÁ¦°¡ ¾Æ´Ï¸ç, ¿ì¸®°¡ °ð º¸°Ô µÇ°ÚÁö¸¸, ¼öÇÐÀÚµéÀÌ À§ÇùÀ» ´À³¥ ¶§´Â, ±×µéÀº Àڱ⠱æµå ȸ¿øµéÀÇ ¼ö¿ë ´É·Â¿¡ ´ëÇØ À§ÇùÀ» ´À³¥ ¶§ÀÌ´Ù. ¿©±â¿¡¼­ ¿ì¸®´Â ±×µéÀÌ ¼öÇÐÀ» ¾î¶»°Ô ÇÏ´ÂÁö °¡¸£Ä¡°í ½Í¾î ÇÏÁö ¾Ê´Â °ÍÀÌ ¾Æ´Ï¶ó, Àڱ⵵ ±×°ÍÀ» ¾î¶»°Ô ÇÏ°í ÀÖ´ÂÁö ¸ð¸£±â ¶§¹®¿¡ ±×°ÍÀ» °¡¸£Ä¥ ¼ö ¾ø´Â °ÍÀ̶ó´Â »ç½Ç¿¡ ÁÖ¸ñÇÑ´Ù.

Àü»ê°úÇÐÀÌ ¼öÇÐÀÇ ÇÑ ºÐ¾ß·Î¼­ µµ·¡ÇÏ°í ÀÖÁö¸¸, ¸î °¡Áö Áß¿äÇÑ Ãø¸é¿¡¼­´Â Æò±ÕÀûÀÎ °Í°ú ¸Å¿ì ´Ù¸£´Ù. ¿ì¼±, Àü»ê°úÇÐÀº Áö½Ä ÁöÇ⼺ÀÌ ¸Å¿ì Àû´Ù. ÀÌ°ÍÀº ¾Æ¸¶µµ Áö½ÄÀº Ç×»ó ƯÁ¤ ¹®¾ß¿¡ ´ëÇÑ °ÍÀÌÁö¸¸, ÄÄÇ»ÅÍ´Â ÁøÁ¤À¸·Î "¹ü¿ë"À̶ó´Â Īȣ¿¡ ÇÕ´çÇÏ´Ù´Â »ç½Ç¿¡¼­ ºñ·ÔµÈ °á°úÀÏ °ÍÀÌ´Ù. µÑ°·Î, Çü½Ä ³í¸®³ª ÀϹÝÀûÀÎ Çü½ÄÀ» °®Ãá ±â¹ýµéÀº ´õ¿í ´õ Áß¿äÇÑ ¿ªÇÒÀ» ÇÑ´Ù. ÀÌ°ÍÀº (i) Çü½ÄÀ» °®Ãá ±â¹ýµéÀÌ ÇÁ·Î±×·¡¸Ó°¡ ´Ù·ï¾ß ÇÏ´Â º¹ÀâÇÔÀÇ À¯ÇüÀ» ÅëÁ¦ÇÏ´Â µ¥¿¡ ÇʼöºÒ°¡°áÇϱ⠶§¹®À̸ç, (ii) ±× ±â°èÀû Çؼ®°¡´É¼º ´öºÐ¿¡ ¾î¶°ÇÑ ÇÁ·Î±×·¡¹Ö ¾ð¾îµµ ÀÏÁ¾ÀÇ Çü½Ä ½Ã½ºÅÛÀÇ ¸ð½ÀÀ» ¶ç±â ¶§¹®À̸ç, (iii) Çؼ®µÇÁö ¾ÊÀº ½ÄµéÀ» ±â°èÀûÀ¸·Î ó¸®ÇÏ´Â ½É¹úÀÇ Á¶ÀÛÀº Àü»ê°úÇÐÀڵ鿡°Ô´Â ¸Å¿ì ÀÚ¿¬½º·¯¿î ÀÏÀ̱⠶§¹®ÀÌ´Ù. ¼Â°·Î, Àü»ê°úÇÐÀº ¹æ¹ý·Ð¿¡ ´ëÇÑ Áú¹®ÀÌ Áß½ÉÀûÀÌ°í ¸í½ÃÀûÀ¸·Î ¹®Á¦°¡ µÇ´Â ºÐ¾ßÀÌ´Ù. µÚÀÇ µÎ °¡Áö Ư¡µéÀº ¹°·Ð ¹ÐÁ¢ÇÏ°Ô ¿¬°üµÇ¾î ÀÖ´Ù. Çü½ÄÀû ³íÀÇ(argument)¿¡¼­´Â (±×°ÍÀÌ ±â°èÈ­µÇ¾úµç ±×·¸Áö ¾Êµç °£¿¡) ³íÀÇÀÇ ±¸Á¶°¡ ¸Å¿ì ¸í½ÃÀûÀ¸·Î ÁÖ¾îÁö±â ¶§¹®¿¡ ´©±¸µµ ±×°ÍÀ» ¾Ë°Ô µÇÁö ¾ÊÀ» ¼ö°¡ ¾ø´Ù. ´Ù¸¥ ½ÄÀ¸·Î ¸»ÇÏÀÚ¸é, ¿À´Ã³¯ÀÇ ÀϹÝÀûÀÎ ¼öÇÐÀÚ°¡ ÀڱⰡ ¼öÇÐÀ» ¾î¶»°Ô ÇÏ´ÂÁö ¸ð¸£¸ç µû¶ó¼­ ¾î¶»°Ô ±×°ÍÀ» ÇÏ´ÂÁö °¡¸£Ä¥ ¼ö ¾ø´Â ÀÌÀ¯´Â, ±×°¡ ºñÇü½ÄÀûÀÎ ³íÀÇ¿¡ Å©°Ô ÀÇÁ¸Çϱ⠶§¹®ÀÌ´Ù. ºñÇü½Ä¼ºÀº ¼öÇÐ ±æµå ȸ¿øÀÇ ÁõÇ¥(hallmark)ÀÌ´Ù.

»ç¶÷µéÀÌ Ãß·ÐÇÏ´Â ¹æ½ÄÀ» Èä³» ³»¾ß ÇѴٴ öÇÐÀûÀÎ Àǹ«¿¡¼­ ³í¸®¸¦ Çعæ½ÃÅ´À¸·Î½á È¿°úÀûÀ¸·Î °è»êÀ» ¼³°èÇÏ´Â ±æÀ» ¿­¾î ³õ¾Ò°í, À̷νá Çü½ÄÀ» °®Ãá ±â¹ýµéÀÇ Àû¿ë ¹üÀ§¸¦ Å©°Ô ³ÐÇû´Ù. ±â¼úÀûÀÎ Á߿伺 ¿Ü¿¡µµ, ÀÌ·¯ÇÑ ¹ßÀüÀº ¹®È­ÀûÀÎ ÀÇÀǵµ ÀÖ´Ù. ±×·± Á߸³ÀûÀÎ ¹æ½Ä¿¡ ÀÇÇØ ¸í½ÃÀûÀ¸·Î ³íÀǸ¦ ÁøÇàÇÔÀ¸·Î½á, °¡¸£Ä¡´Â °ÍÀÌ °¡´ÉÇÑ ¼öÇÐÀû ¹æ¹ý·ÐÀ̶ó´Â ½ÇüÀûÀÎ ³»¿ëÀÌ Á¦°øµÉ ¼ö ÀÖ°Ô µÇ¾ú±â ¶§¹®ÀÌ´Ù. ±æµåÀÇ ºñ¹Ð½º·¯¿î ±â´ÉÀÌ ¹Ù¾ßÈå·Î °ø°øÀÇ ¿µ¿ªÀ¸·Î ¿Å°ÜÁö·Á ÇÏ°í ÀÖ´Ù.

ÁÖ¸ñÇÒ ¸¸ÇÑ ¼±°ßÁö¸íÀÇ ÇÑ ¿¹·Î¼­, ÀÌ°ÍÀº ÀÏÂïÀÌ 1967³â¿¡ (½ºÅÄÆ÷µå ´ëÇб³ÀÇ) Á¸ ¸ÆīƼ(John McCarthy)°¡ ¾´ ±Û¿¡¼­ ¿¹°ßµÇ¾ú´Ù.

"´ÙÀ½ ¼¼±â¿¡´Â Àü»ê°ú ¼öÇÐÀû ³í¸®ÀÇ °ü°è¸¦ ÅëÇØ Áö³­ ¼¼±âÀÇ ºÐ¼®°ú ¹°¸®ÇÐÀÇ °ü°è¿¡¼­Ã³·³ ¸¹Àº °á½ÇÀ» º¸°Ô µÉ °ÍÀ̶ó´Â ±â´ë´Â ÀÌÄ¡¿¡ ¸Â´Ù. ÀÌ·¯ÇÑ °ü°èÀÇ ¹ßÀüÀ» À§ÇØ ¾çÂÊ ¸ðµÎÀÇ ÀÀ¿ë°ú ¼öÇÐÀû ¿ì¾ÆÇÔ¿¡ ´ëÇÑ °ü½ÉÀÌ ¿ä±¸µÈ´Ù."

¿©±â¿¡ ÇÑ °¡Áö¸¸ ´õÇÑ´Ù¸é, °ÅÀÇ 20³âÀÌ Áö³­ ÀÌÁ¦ ¿ì¸®´Â °¨È÷ Á¶±Ý ´õ ³ª¾Æ°¡ ¼öÇÐ ÀϹݱîÁö Æ÷ÇÔÇÏ°íÀÚ ÇÏ´Â °ÍÀÌ´Ù. ÀÌ°ÍÀº ÇÁ·Î±×·¥°ú Áõ¸í »çÀÌÀÇ À¯»ç¼ºÀÌ Á¡Á¡ ´õ °¡±î¿öÁö°í Àֱ⠶§¹®ÀÌ´Ù. ÀÌ°ÍÀº ³í¸®ÇÐÀÚ Æ丣 ¸¶Æ¾-·ÚÇÁ(Per Martin-Löf)¿¡ ÀÇÇØ ÀÌ·ÐÀû ±â¹Ý À§¿¡¼­ ¿¹°ßµÈ ¹Ù Àִµ¥, ±×´Â ÀÌ·¸°Ô ½è´Ù.

"±×°Í(=ÃæºÐÈ÷ ¸í·áÇÑ ³í¸® ±¸Á¶¸¦ °®´Â °í±Þ ¾ð¾î¸¦ ¸¸µå´Â °Í)Àº ÇÁ·Î±×·¡¹ÖÀ» ¾ö¹ÐÇÔ°ú ¾Æ¸§´Ù¿òÀ̶ó´Â ¸é¿¡¼­ ¼öÇÐÀÇ Á¤¸®¸¦ Áõ¸íÇÏ´Â È°µ¿°ú À¯»çÇÏ°Ô ¸¸µé¾ú´Ù. (ÀÌ·¯ÇÑ À¯»ç¼ºÀº ½ÇÁ¦·Î ¾î¶² Àǹ̿¡¼­´Â ÀÌÈÄ¿¡ Á» ´õ ºÐ¸íÇØÁú °ÍÀÌ´Ù.)"

¶Ç ÀÌ·¸°Ô ½è´Ù.

"»ç½Ç, ³ª´Â ³í¸®ÀÇ °üÁ¡¿¡¼­ ´õ¿í ´õ ¸¸Á·½º·¯¿î °í±Þ ÇÁ·Î±×·¡¹Ö ¾ð¾î¸¦ ã´Â ÀÏÀÌ, (±¸¼ºÀûÀÎ) ¼öÇÐÀ» ÀûÀýÇÏ°Ô Ç¥ÇöÇÒ ¼ö ÀÖ´Â ¾ð¾î¸¦ ã´Â °ÍÀ¸·Î ±×Ä¥ °ÍÀ̶ó°í´Â »ý°¢ÇÏÁö ¾Ê´Â´Ù."

ÀÌ°Í°ú º°°³·Î Ãß°¡ÇÏÀÚ¸é, ÇÁ·Î±×·¥°ú Áõ¸í »çÀÌÀÇ À¯»ç¼ºÀº ²Ï ½ÇÁ¦ÀûÀÎ °æÇèµéÀ» ÅëÇØ ¿ì¸®¸¦ °­·ÂÇÏ°Ô ¼³µæÇØ ¿Ô´Ù. ÀÌ°ÍÀº ÇØ´ç °´Ã¼¸¦ ±¸¼ºÇÏ´Â ÇÁ·Î±×·¥ÀÇ ÇüŸ¦ ÅëÇØ Á¸Àç Áõ¸íÀ» ÇÏ´Â ¼öÁØ ÀÌ»óÀÇ °ÍÀÌ´Ù. ¾î¶»°Ô ÇÏ¿© ±¸¼ºÀûÀÌÁö ¾Ê°Ô Á¤ÀÇµÈ °´Ã¼µéÀÇ ¼Ó¼ºÀº, ÇÁ·Î±×·¥À» ¼³°èÇÏ°í ¸Å¸¸Áö´Â Ç¥ÁØÀûÀÎ ±â¹ýµéÀ» »ç¿ëÇÏ¿©, ±× °´Ã¼µéÀ» ±¸¼ºÇÏ´Â ÇÁ·Î±×·¥µé·ÎºÎÅÍ ¿ì¾ÆÇÏ°Ô À¯µµµÇ¾î ¿Ô´Ù. (¿¹¸¦ µé¾î, ÇÁ·Î±×·¥¿¡¼­ ¾î¶² ÇÔ¼öÀÇ ÀԷ°ú Ãâ·ÂÀÌ ´ëĪÀÌ µÉ ¶§±îÁö ±× ÇÔ¼ö¸¦ °è»êÇϵµ·Ï ÇÁ·Î±×·¥À» ¸Å¸¸Á®¼­, ±× ÇÔ¼ö°¡ ÀÚ±â ÀÚ½ÅÀÇ ¿ªÇÔ¼ö(inverse)ÀÓÀ» º¸ÀÏ ¼ö ÀÖ´Ù.) ±×¸®°í ÇÑ °ÉÀ½ ´õ ³ª¾Æ°¡, ÇÁ·Î±×·¥ ¼³°èÀÇ ±â¹ýµéÀº Áõ¸íÀÇ ¼³°è¿¡ µ¿µîÇÏ°Ô ¼º°øÀûÀ¸·Î Àû¿ëµÇ¾î ¿Ô´Ù. Ưº°È÷ Áö³­ °æÇè¿¡ µû¸£¸é ÇÁ·Î±×·¡¹Ö ¹æ¹ý·Ð°ú ¼öÇÐÀû ¹æ¹ý·ÐÀº ÀüÇô µ¿¶³¾îÁø °ÍÀÌ ¾Æ´Ï¶ó´Â »ç½ÇÀ» °­ÇÏ°Ô ´À³¥ ¼ö ÀÖ´Ù.

³»°¡ Á¸°æ¹ÞÀ» ¸¸ÇÑ °úÇÐÀÚÀΠüÇÏÀÚ¸é, ´ëÁß ¾Õ¿¡¼­ ¼öÁ¤ ±¸½½·Î Á¡Ä¡´Â ½ÄÀÇ ÀÏÀº »ï°¡¾ß ÇÏ°ÚÁö¸¸, ÄÄÇ»ÅÍ°úÇÐÀÚµéÀÇ ÀÏ°ú ¼öÇÐÀÚµéÀÇ ÀÏÀÇ ÁúÀû ¼öÁØÀÌ Áö±Ýº¸´Ù ¸î ¹è³ª ´õ ³ª¾ÆÁö´Â ¸ÅȤÀûÀÎ ¹Ì·¡ÀÇ °¡´É¼ºÀÌ È®½ÇÈ÷ º¸ÀδÙ. ÀÌ ¹Ì·¡¿¡ ¿ì¸®´Â ¼öÇÐÀûÀÎ ¿ì¾ÆÇÔÀÌ Áß¿äÇÏ´Ù´Â °Í¿¡ µ¿ÀÇÇÒ »Ó¸¸ ¾Æ´Ï¶ó, ±×°ÍÀ» ÀǽÄÀûÀ¸·Î Ãß±¸Çϵµ·Ï °¡¸£Ä¡±âµµ ÇÒ °ÍÀÌ´Ù. ÀÌ ¹Ì·¡¿¡ ¿ì¸®´Â ÁÁÀº Ç¥±â¹ý(notation)ÀÌ µµ¿òÀÌ µÈ´Ù´Â °Í¿¡ µ¿ÀÇÇÒ »Ó¸¸ ¾Æ´Ï¶ó, °£ÆíÇÏ°Ô ´Ù·ê ¼ö ÀÖµµ·Ï ¸ÂÃçÁø Ç¥±â¹ýµéÀ» ¼³°èÇÏ´Â ¹æ¹ýÀ» ½ÇÁ¦·Î °¡¸£Ä¡±âµµ ÇÒ °ÍÀÌ´Ù. ÀÌ ¹Ì·¡¿¡´Â ÇÁ·Î±×·¥µéÀÌ ¼ÕÀ¸·Î ¸¸Áú ¼ö ÀÖ´Â ³íÀÇÀÇ ¾Æ¸§´Ù¿òÀ» º¸¿©ÁÙ °ÍÀ̸ç, »çÀüµéÀº ´õ ÀÌ»ó ¼öÇÐÀ» (ÄÜ»çÀ̽º ¿Á½ºÆÛµå »çÀü¿¡¼­Ã³·³) "°ø°£°ú ¼ö¿Í ¾ç¿¡ ´ëÇÑ Ãß»ó °úÇÐ"À̶ó°í Á¤ÀÇÇÏ´Â ´ë½Å, "È¿°úÀûÀÎ Ãß·ÐÀ» À§ÇÑ ±â¼úÀÌÀÚ °úÇÐ"À̶ó°í Á¤ÀÇÇÒ °ÍÀÌ´Ù.

¿À½ºÆ¾(Austin)¿¡¼­, 1985³â 10¿ù 13ÀÏ

¿¡Ã³ W. ´ÙÀͽºÆ®¶ó

prof. dr. Edsger W. Dijkstra

Department of Computer Sciences

The University of Texas at Austin

Austin, TX 78712 - 1188

United States of America.

À§ÀÇ ±ÛÀº "The Mathematical Intelligencer"¿¡ ½Ç·È´Ù. ³ª´Â ´ÙÀ½ÀÇ "½ºÅĸ® ÁúÀÇ °ÔÀÓ(Game of Stanley Gill)"µµ (ÁÖ¿Á°°Àº ±Û·Î¼­) Æ÷ÇÔ½ÃÅ°·Á°í »ý°¢Çß¾ú´Ù.

½ºÅĸ® ÁúÀÇ °ÔÀÓÀº ³× °³ÀÇ Á¤¼ö º¯¼ö x, y, u, v¿Í µÎ °³ÀÇ ¾ç¼ö »ó¼ö X, Y·Î ½ÃÀ۵ȴÙ. ÀÌ °ÔÀÓÀÇ ½ÃÀÛ À§Ä¡´Â x = X, y = Y, u = X, v = YÀÌ°í, ´ÙÀ½ÀÇ ¿òÁ÷ÀÓÀ» ÇÒ ¼ö ÀÖ´Â ÇÑ ¸¹ÀÌ ÇÔÀ¸·Î½á ÀÌ·ïÁø´Ù.

x y

ÀÌ °ÔÀÓÀº x = y, (x+y)/2 = gcm(X, Y) ¿ªÀÚ ÁÖ: X¿Í YÀÇ ÃÖ´ë°ø¾à¼ö(Greatest Common Divisor), (u+v)/2 = scm(X, Y) ¿ªÀÚ ÁÖ: X¿Í YÀÇ ÃÖ¼Ò°ø¹è¼ö(Smallest Common Multiple)¿¡¼­ ¸¶Ä¡´Âµ¥, ÀÌ °á·ÐÀº °¢ ¿òÁ÷ÀÓÀÌ ´ÙÀ½À» ¸¸Á·ÇÑ´Ù´Â »ç½Ç¿¡¼­ ºñ·ÔµÈ´Ù.

0 0 gcd(x, y) = gcd(X, Y)

x.v+y.u = 2.X.Y

EWD



ID
Password
Join
He who invents adages for others to peruse takes along rowboat when going on cruise.


sponsored by andamiro
sponsored by cdnetworks
sponsored by HP

Valid XHTML 1.0! Valid CSS! powered by MoniWiki
last modified 2004-12-04 20:17:42
Processing time 0.0054 sec