Ê¿À®£±£²Ç¯ÅÙ»ö¶È¼Â»ÜÊó¹ð
¡ÊÊ¿À®£±£³Ç¯£µ·î£¸ÆüÁí²ñ¤Ë¤Æ¾µÇ§¡Ë
¡¡£±.£± »ÙÉôÁí²ñ
¡¡¡¡¡¡Ê¿À®£±£²Ç¯£µ·î¡¡£¹Æü¡Ê²Ð¡Ë°¦ÃθüÀ¸Ç¯¶â²ñ´Û
¡¡¡¡¡¡¡¡¡¡»²²Ã¼Ô£³£µ£´Ì¾¡¡¡Ê°ÑǤ¾õ£³£²£±Ì¾¤ò´Þ¤à¡Ë
¡¡£±.£² ɾµÄ°÷²ñ
Â裱²ó¡¡Ê¿À®£±£²Ç¯¡¡£µ·î¡¡£¹Æü¡Ê²Ð¡Ë°¦ÃθüÀ¸Ç¯¶â²ñ´Û »²²Ã¼Ô£³£³Ì¾
Â裲²ó¡¡Ê¿À®£±£²Ç¯£±£²·î¡¡£·Æü¡ÊÌÚ¡ËÃæÅżãÃÝ¥¯¥é¥Ö »²²Ã¼Ô£±£µÌ¾
Â裳²ó¡¡Ê¿À®£±£³Ç¯¡¡£µ·î¡¡£¸Æü¡Ê²Ð¡Ë¡ÊÊ¿À®£±£³Ç¯ÅÙ»ÙÉôÁí²ñ³«ºÅÆü¡Ë
¡¡£±.£³ ´´»ö²ñ
Â裱²ó¡¡Ê¿À®£±£²Ç¯¡¡£´·î¡¡£´Æü¡Ê²Ð¡ËÃæÅżãÃÝ¥¯¥é¥Ö »²²Ã¼Ô¡¡£¹Ì¾
Â裲²ó¡¡Ê¿À®£±£²Ç¯¡¡£¶·î¡¡£¸Æü¡ÊÌÚ¡ËÃæÅżãÃÝ¥¯¥é¥Ö »²²Ã¼Ô¡¡£µÌ¾
Â裳²ó¡¡Ê¿À®£±£²Ç¯¡¡£¹·î£²£¶Æü¡Ê²Ð¡ËÃæÅżãÃÝ¥¯¥é¥Ö »²²Ã¼Ô¡¡£·Ì¾
Â裴²ó¡¡Ê¿À®£±£²Ç¯£±£±·î£³£°Æü¡ÊÌÚ¡ËÃæÅżãÃÝ¥¯¥é¥Ö »²²Ã¼Ô¡¡£·Ì¾
Â裵²ó¡¡Ê¿À®£±£³Ç¯¡¡£±·î£±£²Æü¡Ê¶â¡Ë¥Æ¥à¥º¥¯¥é¥Ö »²²Ã¼Ô¡¡£¸Ì¾
¡¡£±.£´ Åŵ¤´Ø·¸³Ø²ñÅ쳤»ÙÉôÏ¢¹çÂç²ñ¡¡¶¦ºÅ£±²ó
¡¡
¡¡´ü¡¡Æü¡§Ê¿À®£±£²Ç¯£¹·î£±£¶¡ÊÅÚ¡Ë¡¢£±£·Æü¡ÊÆü¡Ë
¡¡²ñ¡¡¾ì¡§ÀŲ¬Âç³Ø¡¡É;¾¥¥ã¥ó¥Ñ¥¹¡¡
¡¡
¡¡¾ðÊó½èÍý³Ø²ñÅ쳤»ÙÉô¤«¤é¤ÎÌò°÷
Éû°Ñ°÷Ĺ °¤Éô¡¡·½°ì¡ÊÀÅ¡¡Âç¡Ë
°Ñ¡¡¡¡¡¡°÷ ÇߺꡡÂÀ¤¡ÊÃæÉôÂç¡Ë Éٳߡ¡¡¡ ÆØ¡ÊÀŲ¬Âç¡Ë
ÃæÅç¡¡¡¡ ¹À¡Ê˵»Âç¡Ë »³ÅÄ¡¡·ò»Ë¡ÊÃæ¡¡ÅÅ¡Ë
´´¡¡¡¡ »ö ¿¢ÅÄ¡¡¡¡ Ì¡ÊNTT¥Ç¡¼¥¿¡Ë ÂÀÅÄ¡¡¡¡ ¹ä¡ÊÀÅ¡¡Âç¡Ë
ÄÄ¡¡¡¡ ¡¡ °Ö¡Ê̾¹©Âç¡Ë °ÂÅÄ¡¡¹§Èþ¡Ê̾¡¡Âç¡Ë
»ö̳¶É ÃæÃ«¡¡ÀµÈþ¡Ê¾ðÊó½èÍý»ö̳¶É¡Ë
¡¡
¥·¥ó¥Ý¥¸¥¦¥à¤Î¥Æ¡¼¥Þ¤ÈºÂĹ¡Ê¾ðÊó½èÍý³Ø²ñ´Ø·¸Ê¬¡Ë
¡¡¡¦¥á¥Ç¥£¥¢¥¢¡¼¥È¤È¥¨¥ó¥¿¡¼¥Æ¥¤¥á¥ó¥È
¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡ºÂĹ¡¡Ä¹Ã«Àî ½ã°ì»á¡ÊÃæµþÂç¡Ë
¡¡¡¦¸ì³Ø¶µ°é¤Ë¤ª¤±¤ë¥³¥ó¥Ô¥å¡¼¥¿¡¼¤ÎÍøÍÑ
¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡ºÂĹ¡¡ÃæÀî¡¡À»°ì »á¡Ê˵»Âç¡Ë
¡¡¡¡¡¡¡¡
°ìÈֱ̹顡¡¡£³£°ÉôÌ磷£·£¹·ï¡ÊºòǯÅ٤ϣ³£°ÉôÌç¡¡£·£¹£¸·ï¡Ë
Âç²ñ»²²ÃÅÐÏ¿¼ÔÁí¿ô
¡¡ ¹Ö±é¼Ô¡¡¡¡¡¡¡¡¡¡¡¡¡¡£±
¡¡¥·¥ó¥Ý¥¸¥¦¥à À¤Ïÿ͡¦ºÂĹ¡¡¡¡¡¡£¹ ¡¡ ¡¡ ¹Ö±é¼Ô¡¡¡¡£³£¹
ºÂĹ¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡ ¡¡£±£±£± ¡¡ ¡¡ ¹Ö±é¼Ô¡¡£·£·£¹
»²²Ã¤Î¤ß £±£°£³¡¡¡¡ÏÀʸ¹ØÆþ¼Ô¡¡£±£³£´¡¡¡¡ÏÀʸͽÌó¼Ô¡¡£±£³
º©¿Æ²ñ»²²Ã¼Ô £±£°£µ
¡¡ ¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¹ç·×¡¡£±¡¤£²£¹£´Ì¾
¡¡¡ö´´»ö²ñ
¡¡Â裱²ó¡¡Ê¿À®£±£²Ç¯£´·î¡¡£´Æü¡Ê²Ð¡ËÃæÉô²Ê³Øµ»½Ñ¥»¥ó¥¿¡¼¡¡Â裱²ñµÄ¼¼
¡¡¡¡¡¡¡¡¡¡µÄÂê¡§Â裱²ó¼Â¹Ô°Ñ°÷²ñ¤È¹çƱ³«ºÅ¡¦º£¸å¤ÎͽÄêÂǤÁ¹ç¤ï¤»
¡¡Â裲²ó¡¡Ê¿À®£±£²Ç¯£··î£±£´Æü¡Ê¶â¡Ë̾¸Å²°»Ô²Ê³Ø´Û¡¡À¸Ì¿´Û¡¡³Ø½¬¼¼
¡¡¡¡¡¡¡¡¡¡µÄÂê¡§Âç²ñ¥×¥í¥°¥é¥àÊÔÀ®
¡¡Â裳²ó¡¡Ê¿À®£±£²Ç¯£¹·î£±£·Æü¡ÊÆü¡ËÀŲ¬Âç³Ø ¥·¥¹¥Æ¥à¹©³Ø²ÊÅ³¬ Âç²ñËÜÉô
¡¡¡¡¡¡¡¡¡¡µÄÂê¡§±¿±Ä¾å¤ÎÈ¿¾Ê¡¢ÍèǯÅ٤、·Á÷¤ê»ö¹à
¡¡
¡ö ¼Â¹Ô°Ñ°÷²ñ
¡¡Â裱²ó¡¡Ê¿À®£±£²Ç¯£´·î¡¡£´Æü¡Ê²Ð¡ËÃæÉô²Ê³Øµ»½Ñ¥»¥ó¥¿¡¼¡¡Â裱²ñµÄ¼¼
¡¡¡¡¡¡¡¡Â裲²ó¡¡Ê¿À®£±£²Ç¯£··î£²£¶Æü¡ÊÌÚ¡Ë̾¸Å²°»Ô²Ê³Ø´Û¡¡À¸Ì¿´Û¡¡³Ø½¬¼¼
¡¡Â裳²ó¡¡Ê¿À®£±£³Ç¯£±·î£³£±Æü¡Ê¿å¡Ë°¦ÃθüÀ¸Ç¯¶â²ñ´Û¡¡¾©Îå¾Þɽ¾´¼°¡¦º©¿Æ²ñ
¡¡¡¡¡¡¡¡
¡öÂç²ñ¤ÎÆÃµ»ö¹àµÚ¤Ó¼ç¤ÊÈ¿¾Ê»ö¹à
Áª¹Í¿ô¡Ê¾©Îå¾Þ¡Ü£Â¾Þ¡Ë¹ç·×¡§¡¡£³£¸Ì¾¡Ê£²£±¡Ü£±£·¡Ë
¡¡¿½¡¡ÀÁ¡¡¼Ô¡¡¿ô¡¡¡¡¡¡¡¡¹ç·×¡§£´£³£·Ì¾
¡¡¡¡¡¡¾ðÊó½èÍý³Ø²ñ¡¡¾©Îå¾Þ¸õÊä¼Ô¡¡£µÌ¾¡¡£Â¾Þ¡¡£°Ì¾
¡ÊºòǯÅÙ¤ÏÁª¹Í¿ô£³£¹Ì¾,¿½ÀÁ¼Ô¿ô¡¡£´£·£¹Ì¾,¾ðÊó½èÍý³Ø²ñ£³Ì¾Áª¹Í¡Ë
¡ö¼¡Ç¯ÅٰʹߤÎͽÄê
Ê¿À®£±£³Ç¯ÅÙ
¡¡¡¡¡¡¡§Ë¶¶µ»½Ñ²Ê³ØÂç³Ø
¡¡¡¡¡¡¡§Ê¿À®£±£³Ç¯£±£±·î29Æü¡ÊÌÚ¡Ë¡Á30Æü¡Ê¶â¡Ë
¡¡¡¡¡¡¼çôÅö³Ø²ñ¡§Åŵ¤³Ø²ñÅ쳤»ÙÉô
Ê¿À®£±£´Ç¯ÅÙ
¡¡¡¡¡¡¡§ÂçÆ±¹©¶ÈÂç³Ø
¡¡¡¡¡¡¡§Ì¤Äê
¡¡¡¡¡¡¼çôÅö³Ø²ñ ¡§¾ðÊó½èÍý³Ø²ñÅ쳤»ÙÉô
£±.£µ ¹Ö±é²ñ¡¡¡¡¼çºÅ£·²ó
¡¡¡¡
¡¡¡¡Ê¿À®£±£²Ç¯
¡¡¡¡£µ·î¡¡£¹Æü¡Ê²Ð¡Ë¡¡Èª¡¡²í¶³¡¡»á¡Ê°¦Ãθ©Î©Âç³Ø¡Ë
±éÂê¡§¡ÖÅż§ÇȤˤè¤ëÃÏ¿Ì³èÆ°¤Î¸¡½Ð¤ÈÃÎǽ¾ðÊó½èÍý¤ËÂФ¹¤ë´üÂÔ¡×
±÷ ¡¡¡§°¦ÃθüÀ¸Ç¯¶â²ñ´Û¡¡É´¹ç¤Î´Ö¡¡¡¡»²²Ã¼Ô£´£±Ì¾
¡¡¡¡£¹·î£±£²Æü¡Ê²Ð¡Ë¡¡µÈÅÄ¡¡Å¸»Ò¡¡»á¡Ê±Ñ¡¦¥ì¥¹¥¿¡¼Âç³Ø¡¡University of Leicester,¡¡UK¡Ë
±éÂê¡§¡ÖConcurrent Combinators of Mobile Processes¡×
±÷ ¡¡¡§Ì¾¸Å²°Âç³Ø¡¡¹©³ØÉô£¸¹æ´ÛËÌ´Û108²ñµÄ¼¼¡¡¡¡»²²Ã¼Ô¡¡£¹Ì¾
¡¡¡¡£¹·î£²£²Æü¡Ê¶â¡Ë¡¡»³¸ý¡¡¡¡±Ñ¡¡»á¡ÊÆàÎÉÀèü²Ê³Øµ»½ÑÂç³Ø±¡Âç³Ø¡Ë
±éÂê¡§¡Ö¥¤¥ó¥¿¡¼¥Í¥Ã¥È¥»¥¥å¥ê¥Æ¥£¡¼¡Ý¤½¤ÎÀµ¤·¤¤Íý²ò¤È¸ú²ÌŪ¤ÊÂкö¡Ý¡×
±÷ ¡¡¡§ÀŲ¬Âç³Ø¾ðÊó³ØÉô2¹æ´Û£±£Æ¡¡¾ð13¶µ¼¼¡¡¡¡»²²Ã¼Ô£¶£±Ì¾
¡¡¡¡£±£°·î£²£¸Æü¡ÊÅÚ¡Ë¡¡Dr. Oscar Ibarra¡ÊÊÆ¹ñ¡¦¥«¥ê¥Õ¥©¥ë¥Ë¥¢Âç³Ø¡¡¥µ¥ó¥¿¥Ð¡¼¥Ð¥é¹»
¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡University of California,Santa Barbara US)
±éÂê¡§¡ÖÊÂÎó½èÍý¤Ë¤ª¤±¤ëÊ£»¨¤µ¤Ë´Ø¤¹¤ë½ôÌäÂê¡×
±÷ ¡¡¡§Ì¾¸Å²°¹©¶ÈÂç³Ø¡¡6¹æ´ÛÂç²ñµÄ¾ì¡¡¡¡¡¡¡¡¡¡»²²Ã¼Ô£³£µÌ¾
¡¡¡¡Ê¿À®1£³Ç¯
¡¡¡¡£²·î¡¡£·Æü¡Ê¿å¡Ë¡¡¡¡»³ÅÄ¡¡Ä«É§¡¡»á¡¡¡Êê¡¡Åì¼Ç¡¡¾ðÊ󡦼Ҳñ¥·¥¹¥Æ¥àSIµ»½Ñ³«È¯¥»¥ó¥¿¡¼¡Ë
±éÂê¡§ ¡Ö¸Ä¿Íǧ¾Úµ»½Ñ¤È¤½¤Î¼þÊդκǶá¤ÎÏÃÂê¡×
±÷ ¡¡¡§£Ã£Ô£ÉêÆüËÜÀ¸Ì¿ºûÅç¥Ó¥ë¡¡£·£Æ£·¡Ý£±¡¢£²²ñµÄ¼¼
¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡»²²Ã¼Ô£´£³Ì¾
¡¡¡¡
¡¡¡¡£³·î£±£³Æü¡Ê²Ð¡Ë¡¡ÅÏÊÕ¡¡°ìϺ¡¡»á¡¡(°ËǽÃé·É¸¦µæ²ñ¡¡ÂåɽÍý»ö¡¦
¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡ê¥µ¥ó¡¦¥³¥ß¥å¥Ë¥±¡¼¥·¥ç¥ó¥º²ñĹ)
±éÂê¡§¡Ö°ËǽÃé·É¤ÎÃϿޥǡ¼¥¿
¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡ÁÆüËܺǽé¤Î¶áÂåÃϿޤòºîÀ®¤·¤¿¥Î¥¦¥Ï¥¦¤ò¸¡¾Ú¡×¡¡¡¡
±÷ ¡¡¡§ê£Î£Ô£Ô¥Ç¡¼¥¿¡¡Å쳤»Ù¼Ò¡¡Éú¸«¥Ó¥ë£²£Æ¸¦½¤¼¼
¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡»²²Ã¼Ô£´£µÌ¾¡¡¡¡¡¡¡¡¡¡
¡¡¡¡£³·î£²£²Æü¡ÊÌÚ¡Ë¡¡²¬ÅÄ¡¡Ì¡¡»á¡¡¡ÊÃæÉôÂç³Ø¹©³ØÉô¾ðÊ󹩳زʡ¡¶µ¼ø¡Ë
±éÂê¡§¡Ö²èÁü¥á¥Ç¥£¥¢¾ðÊó¤ÎÃÎŪ½èÍý
¡¡¡¡¡¡CG¤Ë¤ª¤±¤ëÈó¼Ì¼ÂŪ²èÁü¹çÀ®¤È¿ô¼°¤ÎÃÎŪÉ乿²½¡×
±÷ ¡¡¡§ÃæÉôÂç³Ø¡¡£±£´¹æ´Û£±£µ£²£±¶µ¼¼¡¡»²²Ã¼Ô£µ5̾
£±.£¶ ¹Ö½¬²ñ¡¡£±²ó¡Ê¼çºÅ£°¡¦¶¦ºÅ£±²ó¡Ë
¡¡¡¡ÅŻҾðÊóÄÌ¿®³Ø²ñ¡¦Æ±Å쳤»ÙÉô¶¦ºÅ
¥Æ¡¼¥Þ¡§¡Ö¥â¥Ð¥¤¥ë¥¤¥ó¥¿¡¼¥Í¥Ã¥È¤È¤½¤Î¼þÊÕµ»½Ñ¡×
Æü¡¡»þ¡§Ê¿À®£±£³Ç¯£²·î£±£¹Æü¡Ê·î¡Ë¡Á£²£°Æü¡Ê²Ð¡Ë£²Æü´Ö¶¦¡¡£¹¡§£°£°¡Á£±£¶¡§£³£°
²ñ¡¡¾ì¡§¥ë¥Ö¥é²¦»³¡¡ÇòÄë¤Î´Ö¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡»²²Ã¼Ô¡¡¡¡£±£¹£²Ì¾¡ÊÆóÆü´Ö¡Ë
¡¡¡¡
£±.£· ¸¦µæ²ñ¾¡¡£µ²ó¡Ê¶¦ºÅ£°²ó¡¢¶¨»¿£µ²ó¡Ë
¡¡¡¡Ê¿À®£±£²Ç¯
¡¡£µ·î£±£²Æü¡Ê¶â¡Ë ¥½¥Õ¥È¥µ¥¤¥¨¥ó¥¹¥·¥ê¡¼¥ºÂè16²ó¸ø³«¹ÖºÂ
±éÂê¡§¡Ö¥á¥Ç¥£¥¢¥¢¡¼¥È¡¦·Ý½Ñ¤Î¿·¤·¤¤·ÁÂÖ¡×
±÷ ¡§¾¾²¼ÅŹ©£Î£Á£É£Ó¥·¥ç¡¼¥ë¡¼¥à¡¡»²²Ã¼Ô£²£µ£°Ì¾
¡¡¡Ê¶¨»¿¡¢¼çºÅ¡§ÃæµþÂç³Ø¡¦¿Í¹©ÃÎǽ¹âÅù¸¦µæ½ê,̾¸Å²°»Ô²Ê³Ø´Û¡Ë
¡¡£··î£³£±Æü¡Ê·î¡Ë ¾ðÊ󵻽ѹֱé²ñ¡Ê¥½¥Õ¥È¹©³Ø¥»¥ß¥Ê¡¼¡Ë
±÷ ¡§Ì¾¸Å²°»Ô¹©¶È¸¦µæ½ê¡¡¡¡¡¡»²²Ã¼Ô£¹£·Ì¾
¡¡¡¡¡Ê¶¨»¿¡¢¼çºÅ¡§Ì¾¸Å²°»Ô¹©¶È¸¦µæ½ê¡Ë
¡¡¡¡£±£°·î£±£·Æü¡Ê²Ð¡Ë¥½¥Õ¥È¥µ¥¤¥¨¥ó¥¹¥·¥ê¡¼¥ºÂè17²ó¸ø³«¹ÖºÂ
±éÂê¡§¡¡¡Ö£²£±À¤µª¤Î£É£Ô¡×
±÷ ¡§Ì¾¸Å²°»Ô²Ê³Ø´Û¡¦¥µ¥¤¥¨¥ó¥¹¥Û¡¼¥à¡¡»²²Ã¼ÔÌó£³£´£°Ì¾
¡¡¡Ê¶¨»¿¡¢¼çºÅ¡§ÃæµþÂç³Ø¡¦¿Í¹©ÃÎǽ¹âÅù¸¦µæ½ê¡¦Ì¾¸Å²°»Ô²Ê³Ø´Û¡Ë
¡¡¡¡£±£°·î£±£¹Æü¡ÊÌÚ¡Ë ½÷À¥»¥ß¥Ê¡¼¡Ö½÷À¤Î¤¿¤á¤ÎÅŵ¤¶µ¼¼¡×
±éÂê¡§¡ÖÂÀÍÛ¸÷ȯÅÅ¡ÝÃϵå´Ä¶¤È²È·×¤òµß¤¦¤«¡Ý¡×
±÷ ¡§¾¾²¼ÅŹ©NAIS¥·¥ç¡¼¥ë¡¼¥à¡¡¡¡¡¡»²²Ã¼Ô£µ£¹Ì¾
¡¡¡¡¡¡¡Ê¶¨»¿¡¢¼çºÅ¡§Åŵ¤³Ø²ñÅ쳤»ÙÉô¡Ë
¡¡¡¡£±£²·î£±£¹Æü¡Ê²Ð¡Ë ̾¸Å²°Âç³ØÂç³Ø±¡¹©³Ø¸¦µæ²Ê¥Æ¥¯¥Î.¥·¥ó¥Ý¥¸¥¦¥à
¡¡¡¡¡¡¡¡¿·À¤µª¤Î¾ðÊó²Ê³Øµ»½Ñ¤òŸ˾¤¹¤ë¹Ö±é²ñ
±éÂê¡§¡Ö¥µ¥¤¥Ð¡¼¼Ò²ñ¤È¥¨¡¼¥¸¥§¥ó¥È¡×
±÷ ¡§Ì¾¸Å²°Âç³Ø¹©³ØÉô4¹æ´Û3³¬¡¡¹Ö²ñµÄ¼¼¡¡¡¡»²²Ã¼Ô£±£¸£°Ì¾¡¡
¡¡¡¡¡Ê¶¨»¿¡¦¼çºÅ¡§ÆüÈæ²Ê³Øµ»½Ñ¿¶¶½ºâÃÄ¡Ë