[{"@context":"http:\/\/schema.org\/","@type":"BlogPosting","@id":"https:\/\/wiki.edu.vn\/jp\/wiki12\/archives\/285125#BlogPosting","mainEntityOfPage":"https:\/\/wiki.edu.vn\/jp\/wiki12\/archives\/285125","headline":"\u4e26\u884c\u6027 – Wikipedia","name":"\u4e26\u884c\u6027 – Wikipedia","description":"before-content-x4 \u4e26\u884c\u6027\uff08\u3078\u3044\u3053\u3046\u305b\u3044\u3001\u82f1: concurrency\uff09\u3068\u306f\u3001\u8a08\u7b97\u6a5f\u79d1\u5b66\u306b\u304a\u3044\u3066\u3001\u6642\u9593\u7684\u306b\u30aa\u30fc\u30d0\u30fc\u30e9\u30c3\u30d7\u3057\u3066\u5b9f\u884c\u3055\u308c\u308b\u8a08\u7b97\u3092\u4f34\u3046\u30b7\u30b9\u30c6\u30e0\u306e\u5c5e\u6027\u3067\u3042\u308a\u3001\u305d\u306e\u3088\u3046\u306a\u8a08\u7b97\u3067\u306f\u30ea\u30bd\u30fc\u30b9\u3092\u5171\u6709\u3059\u308b\u3053\u3068\u304c\u3042\u308b\u3002\u4e26\u884c\u8a08\u7b97\u306f\u3001\u540c\u4e00\u30c1\u30c3\u30d7\u4e0a\u306e\u8907\u6570\u306e\u30b3\u30a2\u3001\u5358\u4e00\u30d7\u30ed\u30bb\u30c3\u30b5\u4e0a\u306e\u30d7\u30ea\u30a8\u30f3\u30d7\u30b7\u30e7\u30f3\u3092\u4f34\u3046\u30de\u30eb\u30c1\u30b9\u30ec\u30c3\u30c9\u3001\u7269\u7406\u7684\u306b\u5206\u96e2\u3057\u305f\u8907\u6570\u30d7\u30ed\u30bb\u30c3\u30b5\u4e0a\u306a\u3069\u3067\u884c\u308f\u308c\u308b\u3002\u4e26\u884c\u8a08\u7b97\u306e\u305f\u3081\u306e\u6570\u5b66\u7684\u30e2\u30c7\u30eb\u3068\u3057\u3066\u3001\u30da\u30c8\u30ea\u30cd\u30c3\u30c8\u3001\u30d7\u30ed\u30bb\u30b9\u8a08\u7b97\u3001\u4e26\u5217\u30e9\u30f3\u30c0\u30e0\u30a2\u30af\u30bb\u30b9\u6a5f\u68b0\u30e2\u30c7\u30eb\u3001\u30a2\u30af\u30bf\u30fc\u30e2\u30c7\u30eb\u3001Reo Coordination Language\uff08\u82f1\u8a9e\u7248\uff09 \u306a\u3069\u304c\u958b\u767a\u3055\u308c\u305f\u3002 \u4e26\u884c\u30b7\u30b9\u30c6\u30e0\u306b\u304a\u3051\u308b\u8a08\u7b97\u306f\u5b9f\u884c\u4e2d\u306b\u4e92\u3044\u306b\u3084\u308a\u3068\u308a\u3067\u304d\u308b\u305f\u3081\u3001\u8003\u3048\u3089\u308c\u308b\u5b9f\u884c\u7d4c\u8def\u306f\u6975\u3081\u3066\u591a\u304f\u306a\u308a\u3001\u7d50\u679c\u3068\u3057\u3066\u30b7\u30b9\u30c6\u30e0\u5168\u4f53\u304c\u4e0d\u78ba\u5b9a\uff08\u82f1\u8a9e\u7248\uff09\u3068\u306a\u308b\u3002\u5171\u6709\u30ea\u30bd\u30fc\u30b9\u306e\u4e26\u884c\u4f7f\u7528\u304c\u4e0d\u78ba\u5b9a\u6027\u306e\u6e90\u3068\u306a\u308b\u53ef\u80fd\u6027\u3082\u3042\u308a\u3001\u30c7\u30c3\u30c9\u30ed\u30c3\u30af\u3084\u30ea\u30bd\u30fc\u30b9\u30b9\u30bf\u30d9\u30fc\u30b7\u30e7\u30f3\u3068\u3044\u3063\u305f\u554f\u984c\u3092\u5f15\u304d\u8d77\u3053\u3059[1]\u3002 \u4e26\u884c\u30b7\u30b9\u30c6\u30e0\u306e\u8a2d\u8a08\u3067\u306f\u5fdc\u7b54\u6642\u9593\u3092\u6700\u5c0f\u5316\u3057\u30b9\u30eb\u30fc\u30d7\u30c3\u30c8\u3092\u6700\u5927\u5316\u3059\u308b\u305f\u3081\u3001\u30c7\u30fc\u30bf\u4ea4\u63db\u3001\u30e1\u30e2\u30ea\u5272\u308a\u5f53\u3066\u3001\u5b9f\u884c\u30b9\u30b1\u30b8\u30e5\u30fc\u30ea\u30f3\u30b0\u306a\u3069\u306b\u95a2\u308f\u308b\u6280\u8853\u306e\u4fe1\u983c\u6027\u3092\u8ffd\u6c42\u3059\u308b[2]\u3002 \u4e26\u884c\u6027\u7406\u8ad6\u306f\u30011960\u5e74\u4ee3\u306b\u30ab\u30fc\u30eb\u30fb\u30a2\u30c0\u30e0\u30fb\u30da\u30c8\u30ea\u304c\u72ec\u5275\u7684\u306a\u30da\u30c8\u30ea\u30cd\u30c3\u30c8\u306e\u7814\u7a76\u3092\u884c\u3063\u3066\u4ee5\u6765\u3001\u7406\u8ad6\u8a08\u7b97\u6a5f\u79d1\u5b66\u306e\u4e3b\u8981\u306a\u7814\u7a76\u9818\u57df\u3068\u306a\u3063\u3066\u3044\u308b\u3002\u4ee5\u6765\u3001\u4e26\u884c\u30b7\u30b9\u30c6\u30e0\u3092\u7406\u89e3\u3059\u308b\u305f\u3081\u306e\u69d8\u3005\u306a\u7406\u8ad6\u30e2\u30c7\u30eb\u3001\u8ad6\u7406\u3001\u30c4\u30fc\u30eb\u304c\u958b\u767a\u3055\u308c\u3066\u304d\u305f\u3002 Table of Contents \u30e2\u30c7\u30eb[\u7de8\u96c6]\u8ad6\u7406[\u7de8\u96c6]\u5b9f\u969b\u306e\u4e26\u884c\u51e6\u7406[\u7de8\u96c6]\u53c2\u8003\u6587\u732e[\u7de8\u96c6]\u95a2\u9023\u9805\u76ee[\u7de8\u96c6]\u5916\u90e8\u30ea\u30f3\u30af[\u7de8\u96c6] \u30e2\u30c7\u30eb[\u7de8\u96c6] \u30e2\u30c7\u30eb\u958b\u767a\u3068\u4e26\u884c\u30b7\u30b9\u30c6\u30e0\u306e\u7406\u89e3\u306e\u305f\u3081\u306e\u5f62\u5f0f\u624b\u6cd5\u306b\u306f\u69d8\u3005\u306a\u3082\u306e\u304c\u958b\u767a\u3055\u308c\u3066\u304d\u305f\u3002\u4ee5\u4e0b\u306b\u4e3b\u306a\u3082\u306e\u3092\u5217\u6319\u3059\u308b[3]\u3002 after-content-x4 \u3053\u308c\u3089\u4e26\u884c\u6027\u30e2\u30c7\u30eb\u306e\u4e00\u90e8\u306f\u3001\u7b2c\u4e00\u306b\u63a8\u8ad6\u3068\u4ed5\u69d8\u8a18\u8ff0\u3092\u76ee\u7684\u3068\u3057\u3066\u3044\u308b\u3002\u4e00\u65b9\u3001\u4ed6\u306e\u30e2\u30c7\u30eb\u306f\u958b\u767a\u30b5\u30a4\u30af\u30eb\u5168\u4f53\uff08\u4e26\u884c\u30b7\u30b9\u30c6\u30e0\u306e\u8a2d\u8a08\u3001\u5b9f\u88c5\u3001\u8a3c\u660e\u3001\u30c6\u30b9\u30c8\u3001\u30b7\u30df\u30e5\u30ec\u30fc\u30b7\u30e7\u30f3\uff09\u3092\u30b5\u30dd\u30fc\u30c8\u3059\u308b\u3053\u3068\u3092\u76ee\u7684\u3068\u3057\u3066\u3044\u308b\u3002 \u4e26\u884c\u6027\u30e2\u30c7\u30eb\u304c\u4e71\u7acb\u3057\u305f\u3053\u3068\u304b\u3089\u3001\u4e00\u90e8\u306e\u7814\u7a76\u8005\u306f\u305d\u308c\u3089\u7406\u8ad6\u30e2\u30c7\u30eb\u7fa4\u3092\u7d71\u5408\u3059\u308b\u65b9\u6cd5\u3092\u6a21\u7d22\u3059\u308b\u3053\u3068\u3092\u8003\u3048\u305f\u3002\u4f8b\u3048\u3070 Lee \u3068","datePublished":"2022-04-26","dateModified":"2022-04-26","author":{"@type":"Person","@id":"https:\/\/wiki.edu.vn\/jp\/wiki12\/archives\/author\/lordneo#Person","name":"lordneo","url":"https:\/\/wiki.edu.vn\/jp\/wiki12\/archives\/author\/lordneo","image":{"@type":"ImageObject","@id":"https:\/\/secure.gravatar.com\/avatar\/c9645c498c9701c88b89b8537773dd7c?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/c9645c498c9701c88b89b8537773dd7c?s=96&d=mm&r=g","height":96,"width":96}},"publisher":{"@type":"Organization","name":"Enzyklop\u00e4die","logo":{"@type":"ImageObject","@id":"https:\/\/wiki.edu.vn\/wiki4\/wp-content\/uploads\/2023\/08\/download.jpg","url":"https:\/\/wiki.edu.vn\/wiki4\/wp-content\/uploads\/2023\/08\/download.jpg","width":600,"height":60}},"image":{"@type":"ImageObject","@id":"https:\/\/upload.wikimedia.org\/wikipedia\/commons\/thumb\/7\/7b\/An_illustration_of_the_dining_philosophers_problem.png\/200px-An_illustration_of_the_dining_philosophers_problem.png","url":"https:\/\/upload.wikimedia.org\/wikipedia\/commons\/thumb\/7\/7b\/An_illustration_of_the_dining_philosophers_problem.png\/200px-An_illustration_of_the_dining_philosophers_problem.png","height":"207","width":"200"},"url":"https:\/\/wiki.edu.vn\/jp\/wiki12\/archives\/285125","about":["Wiki"],"wordCount":2550,"articleBody":"     (adsbygoogle = window.adsbygoogle || []).push({});before-content-x4  \u4e26\u884c\u6027\uff08\u3078\u3044\u3053\u3046\u305b\u3044\u3001\u82f1: concurrency\uff09\u3068\u306f\u3001\u8a08\u7b97\u6a5f\u79d1\u5b66\u306b\u304a\u3044\u3066\u3001\u6642\u9593\u7684\u306b\u30aa\u30fc\u30d0\u30fc\u30e9\u30c3\u30d7\u3057\u3066\u5b9f\u884c\u3055\u308c\u308b\u8a08\u7b97\u3092\u4f34\u3046\u30b7\u30b9\u30c6\u30e0\u306e\u5c5e\u6027\u3067\u3042\u308a\u3001\u305d\u306e\u3088\u3046\u306a\u8a08\u7b97\u3067\u306f\u30ea\u30bd\u30fc\u30b9\u3092\u5171\u6709\u3059\u308b\u3053\u3068\u304c\u3042\u308b\u3002\u4e26\u884c\u8a08\u7b97\u306f\u3001\u540c\u4e00\u30c1\u30c3\u30d7\u4e0a\u306e\u8907\u6570\u306e\u30b3\u30a2\u3001\u5358\u4e00\u30d7\u30ed\u30bb\u30c3\u30b5\u4e0a\u306e\u30d7\u30ea\u30a8\u30f3\u30d7\u30b7\u30e7\u30f3\u3092\u4f34\u3046\u30de\u30eb\u30c1\u30b9\u30ec\u30c3\u30c9\u3001\u7269\u7406\u7684\u306b\u5206\u96e2\u3057\u305f\u8907\u6570\u30d7\u30ed\u30bb\u30c3\u30b5\u4e0a\u306a\u3069\u3067\u884c\u308f\u308c\u308b\u3002\u4e26\u884c\u8a08\u7b97\u306e\u305f\u3081\u306e\u6570\u5b66\u7684\u30e2\u30c7\u30eb\u3068\u3057\u3066\u3001\u30da\u30c8\u30ea\u30cd\u30c3\u30c8\u3001\u30d7\u30ed\u30bb\u30b9\u8a08\u7b97\u3001\u4e26\u5217\u30e9\u30f3\u30c0\u30e0\u30a2\u30af\u30bb\u30b9\u6a5f\u68b0\u30e2\u30c7\u30eb\u3001\u30a2\u30af\u30bf\u30fc\u30e2\u30c7\u30eb\u3001Reo Coordination Language\uff08\u82f1\u8a9e\u7248\uff09 \u306a\u3069\u304c\u958b\u767a\u3055\u308c\u305f\u3002\u4e26\u884c\u30b7\u30b9\u30c6\u30e0\u306b\u304a\u3051\u308b\u8a08\u7b97\u306f\u5b9f\u884c\u4e2d\u306b\u4e92\u3044\u306b\u3084\u308a\u3068\u308a\u3067\u304d\u308b\u305f\u3081\u3001\u8003\u3048\u3089\u308c\u308b\u5b9f\u884c\u7d4c\u8def\u306f\u6975\u3081\u3066\u591a\u304f\u306a\u308a\u3001\u7d50\u679c\u3068\u3057\u3066\u30b7\u30b9\u30c6\u30e0\u5168\u4f53\u304c\u4e0d\u78ba\u5b9a\uff08\u82f1\u8a9e\u7248\uff09\u3068\u306a\u308b\u3002\u5171\u6709\u30ea\u30bd\u30fc\u30b9\u306e\u4e26\u884c\u4f7f\u7528\u304c\u4e0d\u78ba\u5b9a\u6027\u306e\u6e90\u3068\u306a\u308b\u53ef\u80fd\u6027\u3082\u3042\u308a\u3001\u30c7\u30c3\u30c9\u30ed\u30c3\u30af\u3084\u30ea\u30bd\u30fc\u30b9\u30b9\u30bf\u30d9\u30fc\u30b7\u30e7\u30f3\u3068\u3044\u3063\u305f\u554f\u984c\u3092\u5f15\u304d\u8d77\u3053\u3059[1]\u3002\u4e26\u884c\u30b7\u30b9\u30c6\u30e0\u306e\u8a2d\u8a08\u3067\u306f\u5fdc\u7b54\u6642\u9593\u3092\u6700\u5c0f\u5316\u3057\u30b9\u30eb\u30fc\u30d7\u30c3\u30c8\u3092\u6700\u5927\u5316\u3059\u308b\u305f\u3081\u3001\u30c7\u30fc\u30bf\u4ea4\u63db\u3001\u30e1\u30e2\u30ea\u5272\u308a\u5f53\u3066\u3001\u5b9f\u884c\u30b9\u30b1\u30b8\u30e5\u30fc\u30ea\u30f3\u30b0\u306a\u3069\u306b\u95a2\u308f\u308b\u6280\u8853\u306e\u4fe1\u983c\u6027\u3092\u8ffd\u6c42\u3059\u308b[2]\u3002\u4e26\u884c\u6027\u7406\u8ad6\u306f\u30011960\u5e74\u4ee3\u306b\u30ab\u30fc\u30eb\u30fb\u30a2\u30c0\u30e0\u30fb\u30da\u30c8\u30ea\u304c\u72ec\u5275\u7684\u306a\u30da\u30c8\u30ea\u30cd\u30c3\u30c8\u306e\u7814\u7a76\u3092\u884c\u3063\u3066\u4ee5\u6765\u3001\u7406\u8ad6\u8a08\u7b97\u6a5f\u79d1\u5b66\u306e\u4e3b\u8981\u306a\u7814\u7a76\u9818\u57df\u3068\u306a\u3063\u3066\u3044\u308b\u3002\u4ee5\u6765\u3001\u4e26\u884c\u30b7\u30b9\u30c6\u30e0\u3092\u7406\u89e3\u3059\u308b\u305f\u3081\u306e\u69d8\u3005\u306a\u7406\u8ad6\u30e2\u30c7\u30eb\u3001\u8ad6\u7406\u3001\u30c4\u30fc\u30eb\u304c\u958b\u767a\u3055\u308c\u3066\u304d\u305f\u3002Table of Contents\u30e2\u30c7\u30eb[\u7de8\u96c6]\u8ad6\u7406[\u7de8\u96c6]\u5b9f\u969b\u306e\u4e26\u884c\u51e6\u7406[\u7de8\u96c6]\u53c2\u8003\u6587\u732e[\u7de8\u96c6]\u95a2\u9023\u9805\u76ee[\u7de8\u96c6]\u5916\u90e8\u30ea\u30f3\u30af[\u7de8\u96c6]\u30e2\u30c7\u30eb[\u7de8\u96c6]\u30e2\u30c7\u30eb\u958b\u767a\u3068\u4e26\u884c\u30b7\u30b9\u30c6\u30e0\u306e\u7406\u89e3\u306e\u305f\u3081\u306e\u5f62\u5f0f\u624b\u6cd5\u306b\u306f\u69d8\u3005\u306a\u3082\u306e\u304c\u958b\u767a\u3055\u308c\u3066\u304d\u305f\u3002\u4ee5\u4e0b\u306b\u4e3b\u306a\u3082\u306e\u3092\u5217\u6319\u3059\u308b[3]\u3002       (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4\u3053\u308c\u3089\u4e26\u884c\u6027\u30e2\u30c7\u30eb\u306e\u4e00\u90e8\u306f\u3001\u7b2c\u4e00\u306b\u63a8\u8ad6\u3068\u4ed5\u69d8\u8a18\u8ff0\u3092\u76ee\u7684\u3068\u3057\u3066\u3044\u308b\u3002\u4e00\u65b9\u3001\u4ed6\u306e\u30e2\u30c7\u30eb\u306f\u958b\u767a\u30b5\u30a4\u30af\u30eb\u5168\u4f53\uff08\u4e26\u884c\u30b7\u30b9\u30c6\u30e0\u306e\u8a2d\u8a08\u3001\u5b9f\u88c5\u3001\u8a3c\u660e\u3001\u30c6\u30b9\u30c8\u3001\u30b7\u30df\u30e5\u30ec\u30fc\u30b7\u30e7\u30f3\uff09\u3092\u30b5\u30dd\u30fc\u30c8\u3059\u308b\u3053\u3068\u3092\u76ee\u7684\u3068\u3057\u3066\u3044\u308b\u3002\u4e26\u884c\u6027\u30e2\u30c7\u30eb\u304c\u4e71\u7acb\u3057\u305f\u3053\u3068\u304b\u3089\u3001\u4e00\u90e8\u306e\u7814\u7a76\u8005\u306f\u305d\u308c\u3089\u7406\u8ad6\u30e2\u30c7\u30eb\u7fa4\u3092\u7d71\u5408\u3059\u308b\u65b9\u6cd5\u3092\u6a21\u7d22\u3059\u308b\u3053\u3068\u3092\u8003\u3048\u305f\u3002\u4f8b\u3048\u3070 Lee \u3068 Sangiovanni-Vincentelli \u306f\u5404\u7a2e\u4e26\u884c\u6027\u30e2\u30c7\u30eb\u306e\u8868\u793a\u7684\u610f\u5473\u8ad6\u3092\u5b9a\u7fa9\u3059\u308b\u5171\u901a\u30d5\u30ec\u30fc\u30e0\u30ef\u30fc\u30af\u3092\u63d0\u4f9b\u3059\u3079\u304f “tagged-signal” \u30e2\u30c7\u30eb\u3092\u63d0\u5531\u3057\u305f[5]\u3002\u4e00\u65b9\u3001Nielsen\u3001Sassone\u3001Winskel \u306f\u5404\u7a2e\u30e2\u30c7\u30eb\u3092\u7d71\u5408\u7406\u89e3\u3059\u308b\u306e\u306b\u570f\u8ad6\u304c\u6709\u52b9\u3067\u3042\u308b\u3068\u3057\u305f[6]\u3002\u30a2\u30af\u30bf\u30fc\u30e2\u30c7\u30eb\u306b\u304a\u3051\u308b Concurrency Representation Theorem \u306f\u3001\u5916\u90e8\u304b\u3089\u306e\u901a\u4fe1\u3092\u53d7\u3051\u4ed8\u3051\u306a\u3044\u3068\u3044\u3046\u610f\u5473\u3067\u9589\u3058\u3066\u3044\u308b\u4e26\u884c\u30b7\u30b9\u30c6\u30e0\u3092\u6c4e\u7528\u7684\u306b\u8868\u73fe\u3059\u308b\u65b9\u6cd5\u3092\u63d0\u4f9b\u3057\u3066\u3044\u308b\u3002\u30d7\u30ed\u30bb\u30b9\u8a08\u7b97\u306a\u3069\u306e\u4ed6\u306e\u4e26\u884c\u6027\u30b7\u30b9\u30c6\u30e0\u306f\u30012\u76f8\u30b3\u30df\u30c3\u30c8\u30d7\u30ed\u30c8\u30b3\u30eb\u3092\u4f7f\u3063\u3066\u30a2\u30af\u30bf\u30fc\u30e2\u30c7\u30eb\u3067\u30e2\u30c7\u30eb\u5316\u3067\u304d\u308b[7]\u3002\u9589\u30b7\u30b9\u30c6\u30e0 S \u306f\u3001\u305d\u306e\u521d\u671f\u6319\u52d5 \u22a5S \u306b\u5bfe\u3057\u3066\u6319\u52d5\u8fd1\u4f3c\u95a2\u6570 progressionS \u3092\u9069\u7528\u3059\u308b\u3053\u3068\u3067\u3088\u308a\u3088\u3044\u8fd1\u4f3c\u3092\u69cb\u7bc9\u3067\u304d\u3001S \u306e\u6570\u5b66\u7684\u8a18\u8ff0\uff08\u610f\u5473\uff09\u306f\u6b21\u306e\u3088\u3046\u306b\u306a\u308b[8]\u3002DenoteS \u2261 \u2294i\u2208\u03c9progressionSi(\u22a5S)\u3053\u306e\u3088\u3046\u306b\u3059\u308b\u3068\u3001S \u306f\u5168\u3066\u306e\u3068\u308a\u3046\u308b\u6319\u52d5\u3067\u6570\u5b66\u7684\u306b\u7279\u5fb4\u4ed8\u3051\u3089\u308c\u308b\u3053\u3068\u304c\u3067\u304d\u308b\u3002       (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4\u8ad6\u7406[\u7de8\u96c6]\u69d8\u3005\u306a\u6642\u76f8\u8ad6\u7406[9]\u304c\u4e26\u884c\u30b7\u30b9\u30c6\u30e0\u306e\u7406\u89e3\u3092\u52a9\u3051\u308b\u305f\u3081\u306b\u4f7f\u308f\u308c\u308b\u3002\u7279\u306b\u7dda\u5f62\u6642\u76f8\u8ad6\u7406\u3084\u8a08\u7b97\u6728\u8ad6\u7406\u306f\u3001\u4e26\u884c\u30b7\u30b9\u30c6\u30e0\u306e\u5404\u6642\u70b9\u306e\u72b6\u614b\u3092\u78ba\u8a8d\u3059\u308b\u306e\u306b\u4f7f\u7528\u53ef\u80fd\u3067\u3042\u308b\u3002Action Computational Tree Logic \u3084 Hennesy-Miller Logic\u3001\u30ec\u30b9\u30ea\u30fc\u30fb\u30e9\u30f3\u30dd\u30fc\u30c8\u306eTemporal Logic of Actions\u306a\u3069\u306f\u3001\u300c\u30a2\u30af\u30b7\u30e7\u30f3\uff08\u72b6\u614b\u5909\u5316\uff09\u300d\u306e\u4e26\u3073\u3092\u78ba\u8a8d\u3059\u308b\u3053\u3068\u304c\u3067\u304d\u308b\u3002\u3053\u308c\u3089\u8ad6\u7406\u306e\u4e3b\u306a\u5229\u7528\u6cd5\u306f\u3001\u4e26\u884c\u30b7\u30b9\u30c6\u30e0\u306e\u4ed5\u69d8\u3092\u8a18\u8ff0\u3059\u308b\u3053\u3068\u3067\u3042\u308b[1]\u3002\u5b9f\u969b\u306e\u4e26\u884c\u51e6\u7406[\u7de8\u96c6]\u4e26\u884c\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u306f\u3001\u4e26\u884c\u30b7\u30b9\u30c6\u30e0\u3092\u5b9f\u88c5\u3059\u308b\u306e\u306b\u4f7f\u308f\u308c\u308b\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u3068\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\u304b\u3089\u69cb\u6210\u3055\u308c\u308b\u3002\u4e00\u822c\u306b\u4e26\u884c\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u306f\u4e26\u5217\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u3088\u308a\u3082\u7bc4\u56f2\u304c\u5e83\u3044\u3068\u3055\u308c\u3001\u69d8\u3005\u306a\u5f62\u614b\u306e\u901a\u4fe1\u304a\u3088\u3073\u76f8\u4e92\u4f5c\u7528\u306b\u95a2\u4fc2\u3059\u308b\u3002\u4e00\u65b9\u3001\u4e00\u822c\u306e\u4e26\u5217\u30b7\u30b9\u30c6\u30e0\u306f\u4e88\u3081\u6c7a\u3081\u3089\u308c\u305f\u6574\u3063\u305f\u69cb\u6210\u306e\u901a\u4fe1\u30d1\u30bf\u30fc\u30f3\u3092\u5099\u3048\u3066\u3044\u308b\u3002\u4e26\u884c\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u306e\u57fa\u672c\u76ee\u6a19\u306b\u306f\u300c\u6b63\u5f53\u6027\u300d\u3001\u300c\u6027\u80fd\u300d\u3001\u300c\u5805\u7262\u6027\u300d\u304c\u542b\u307e\u308c\u308b\u3002\u30aa\u30da\u30ec\u30fc\u30c6\u30a3\u30f3\u30b0\u30b7\u30b9\u30c6\u30e0\u3084\u30c7\u30fc\u30bf\u30d9\u30fc\u30b9\u7ba1\u7406\u30b7\u30b9\u30c6\u30e0\u306e\u3088\u3046\u306a\u4e26\u884c\u30b7\u30b9\u30c6\u30e0\u306f\u3001\u969c\u5bb3\u304b\u3089\u306e\u81ea\u52d5\u5fa9\u65e7\u306a\u3069\u534a\u6c38\u4e45\u7684\u306b\u52d5\u4f5c\u3059\u308b\u3053\u3068\u304c\u6c42\u3081\u3089\u308c\u3001\u4e0d\u610f\u306a\u505c\u6b62\u3092\u3057\u306a\u3044\u3053\u3068\u304c\u671f\u5f85\u3055\u308c\u3066\u3044\u308b\uff08\u4e26\u884c\u6027\u5236\u5fa1\u53c2\u7167\uff09\u3002\u4e00\u90e8\u306e\u4e26\u884c\u30b7\u30b9\u30c6\u30e0\u306f\u900f\u904e\u7684\u4e26\u884c\u6027\u3092\u6301\u3064\u3088\u3046\u5b9f\u88c5\u3055\u308c\u3066\u3044\u308b\u3002\u305d\u306e\u5834\u5408\u3001\u4e26\u884c\u52d5\u4f5c\u3059\u308b\u8a08\u7b97\u4e3b\u4f53\u7fa4\u306f\u5171\u6709\u30ea\u30bd\u30fc\u30b9\u3092\u4f7f\u7528\u3059\u308b\u3082\u306e\u306e\u3001\u30d7\u30ed\u30b0\u30e9\u30de\u304b\u3089\u306f\u305d\u306e\u5b9f\u88c5\u306f\u96a0\u3055\u308c\u3066\u3044\u308b\u3002\u4e26\u884c\u30b7\u30b9\u30c6\u30e0\u306f\u5171\u6709\u30ea\u30bd\u30fc\u30b9\u3092\u4f7f\u3046\u305f\u3081\u3001\u5171\u6709\u30ea\u30bd\u30fc\u30b9\u3078\u306e\u30a2\u30af\u30bb\u30b9\u3092\u5236\u5fa1\u3059\u308b\u305f\u3081\u306e\u4e00\u7a2e\u306e\u8abf\u505c\u3092\u884c\u3046\u3082\u306e\uff08\u901a\u5e38\u3001\u30cf\u30fc\u30c9\u30a6\u30a7\u30a2\uff09\u3092\u5b9f\u88c5\u3059\u308b\u5fc5\u8981\u304c\u3042\u308b\u3002\u8abf\u505c\u8005\u3092\u4f7f\u7528\u3059\u308b\u3053\u3068\u3067\u4e26\u884c\u8a08\u7b97\u306b\u304a\u3051\u308b\u4e0d\u78ba\u5b9a\u6027\uff08\u82f1\u8a9e\u7248\uff09\u304c\u751f\u3058\u308b\u304a\u305d\u308c\u304c\u3042\u308a\u3001\u6b63\u5f53\u6027\u3068\u6027\u80fd\u304c\u6c42\u3081\u3089\u308c\u308b\u5b9f\u88c5\u3067\u306f\u91cd\u8981\u306a\u610f\u5473\u3092\u6301\u3064\u3002\u4f8b\u3048\u3070\u8abf\u505c\u306b\u3088\u3063\u3066\u7121\u5236\u9650\u306e\u975e\u6c7a\u5b9a\u6027\uff08\u82f1\u8a9e\u7248\uff09\u304c\u5c0e\u5165\u3055\u308c\u308b\u3068\u3001\u30e2\u30c7\u30eb\u691c\u67fb\u306b\u304a\u3044\u3066\u30e2\u30c7\u30eb\u304c\u7121\u9650\u500b\u306e\u72b6\u614b\u3092\u6301\u3064\u3053\u3068\u306b\u306a\u308a\u3001\u554f\u984c\u304c\u751f\u3058\u308b\u3002\u4e26\u884c\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u30e2\u30c7\u30eb\u306b\u3088\u3063\u3066\u306f\u3001\u30b3\u30d7\u30ed\u30bb\u30b9\u3084\u30b3\u30eb\u30fc\u30c1\u30f3\u3082\u542b\u3093\u3067\u3044\u308b\u3002\u305d\u3046\u3044\u3063\u305f\u30e2\u30c7\u30eb\u3067\u306f\u3001\u30b9\u30ec\u30c3\u30c9\u304c\u81ea\u767a\u7684\u306b\u30bf\u30a4\u30e0\u30b9\u30e9\u30a4\u30b9\u3092\u30b7\u30b9\u30c6\u30e0\u307e\u305f\u306f\u4ed6\u306e\u30d7\u30ed\u30bb\u30b9\u306b\u5bfe\u3057\u3066\u8b72\u308b\u3002       (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4^ a b Cleaveland, Rance; Scott Smolka (December, 1996). \u201cStrategic Directions in Concurrency Research\u201d. ACM Computing Surveys 28 (4):  607. doi:10.1145\/242223.242252. https:\/\/doi.org\/10.1145\/242223.242252.\u00a0^ Campbell, Colin; Johnson, Ralph; Miller, Ade; Toub, Stephen (August 2010). Parallel Programming with Microsoft .NET. Microsoft Press. ISBN\u00a0978-0-7356-5159-3. http:\/\/msdn.microsoft.com\/en-us\/library\/ff963542.aspx\u00a0^ Filman, Robert; Daniel Friedman (1984). Coordinated Computing – Tools and Techniques for Distributed Software. McGraw-Hill. ISBN\u00a00-07-022439-0. http:\/\/home.comcast.net\/~refilman\/text\/dpl\/dpl.html\u00a0^ Keller, J\u00f6rg; Christoph Ke\u00dfler, Jesper Tr\u00e4ff (2001). Practical PRAM Programming. John Wiley and Sons\u00a0^ Lee, Edward; Alberto Sangiovanni-Vincentelli (December, 1998). \u201cA Framework for Comparing Models of Computation\u201d. IEEE Transactions on CAD 17 (12):  1217\u20131229. doi:10.1109\/43.736561.\u00a0^ Mogens Nielsen; Vladimiro Sassone and Glynn Winskel (1993). \u201cRelationships Between Models of Concurrency\u201d. REX School\/Symposium. http:\/\/eprints.soton.ac.uk\/261948\/1\/REX.pdf\u00a0^ Frederick Knabe. A Distributed Protocol for Channel-Based Communication with Choice PARLE 1992.^ William Clinger (June 1981). Foundations of Actor Semantics. Mathematics Doctoral Dissertation. MIT. https:\/\/hdl.handle.net\/1721.1\/6935.\u00a0^ Roscoe, Colin (2001). Modal and Temporal Properties of Processes. Springer. ISBN\u00a00-387-98717-7\u00a0\u53c2\u8003\u6587\u732e[\u7de8\u96c6]Lynch, Nancy A. (1996). Distributed Algorithms. Morgan Kauffman. ISBN\u00a01-55860-348-4\u00a0Tanenbaum, Andrew S.; Van Steen, Maarten (2002). Distributed Systems: Principles and Paradigms. Prentice Hall. ISBN\u00a00-13-088893-1\u00a0Kurki-Suonio, Reino (2005). A Practical Theory of Reactive Systems. Springer. ISBN\u00a03-540-23342-3\u00a0Garg, Vijay K. (2002). Elements of Distributed Computing. Wiley-IEEE Press. ISBN\u00a00-471-03600-5\u00a0Magee, Jeff; Kramer, Jeff (2006). Concurrency: State Models and Java Programming. Wiley. ISBN\u00a00-470-09355-2\u00a0\u95a2\u9023\u9805\u76ee[\u7de8\u96c6]\u5916\u90e8\u30ea\u30f3\u30af[\u7de8\u96c6]     (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4"},{"@context":"http:\/\/schema.org\/","@type":"BreadcrumbList","itemListElement":[{"@type":"ListItem","position":1,"item":{"@id":"https:\/\/wiki.edu.vn\/jp\/wiki12\/#breadcrumbitem","name":"Enzyklop\u00e4die"}},{"@type":"ListItem","position":2,"item":{"@id":"https:\/\/wiki.edu.vn\/jp\/wiki12\/archives\/285125#breadcrumbitem","name":"\u4e26\u884c\u6027 – Wikipedia"}}]}]