[{"@context":"http:\/\/schema.org\/","@type":"BlogPosting","@id":"https:\/\/wiki.edu.vn\/jp\/wiki14\/archives\/333974#BlogPosting","mainEntityOfPage":"https:\/\/wiki.edu.vn\/jp\/wiki14\/archives\/333974","headline":"\u30b2\u30fc\u30e0\u610f\u5473\u8ad6 – Wikipedia","name":"\u30b2\u30fc\u30e0\u610f\u5473\u8ad6 – Wikipedia","description":"\u30b2\u30fc\u30e0\u610f\u5473\u8ad6\uff08\u30b2\u30fc\u30e0\u3044\u307f\u308d\u3093\u3001Game Semantics\uff09\u3068\u306f\u3001\u30b2\u30fc\u30e0\u7406\u8ad6\u7684\u6982\u5ff5\uff08\u30d7\u30ec\u30a4\u30e4\u30fc\u306e\u52dd\u5229\u6226\u7565\u306e\u5b58\u5728\u306a\u3069\uff09\u306b\u57fa\u3065\u3044\u305f\u8ad6\u7406\u306e\u610f\u5473\u8ad6\u306e\u624b\u6cd5\u3067\u3042\u308b\u30021950\u5e74\u4ee3\u5f8c\u534a\u306b\u30d1\u30a6\u30eb\u30fb\u30ed\u30fc\u30ec\u30f3\u30c4\u30a7\u30f3\u304c\u63d0\u5531\u3057\u305f\u3002\u305d\u306e\u5f8c\u3001\u69d8\u3005\u306a\u30b2\u30fc\u30e0\u610f\u5473\u8ad6\u304c\u7814\u7a76\u3055\u308c\u3066\u304a\u308a\u3001\u30b2\u30fc\u30e0\u610f\u5473\u8ad6\u306f\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u306e\u5f62\u5f0f\u610f\u5473\u8ad6\u306b\u3082\u9069\u7528\u3055\u308c\u3066\u304d\u305f\u3002 Table of Contents \u53e4\u5178\u8ad6\u7406[\u7de8\u96c6]\u76f4\u89b3\u8ad6\u7406\u3001\u8868\u793a\u7684\u610f\u5473\u8ad6\u3001\u7dda\u5f62\u8ad6\u7406[\u7de8\u96c6]\u53c2\u8003\u6587\u732e[\u7de8\u96c6]\u5b66\u8853\u8a18\u4e8b[\u7de8\u96c6]\u66f8\u7c4d[\u7de8\u96c6]\u95a2\u9023\u9805\u76ee[\u7de8\u96c6]\u5916\u90e8\u30ea\u30f3\u30af[\u7de8\u96c6] \u53e4\u5178\u8ad6\u7406[\u7de8\u96c6] \u6700\u3082\u5358\u7d14\u306a\u30b2\u30fc\u30e0\u610f\u5473\u8ad6\u306e\u5fdc\u7528\u3068\u3057\u3066\u3001\u547d\u984c\u8ad6\u7406\u3078\u306e\u9069\u7528\u304c\u3042\u308b\u3002\u5404\u8ad6\u7406\u5f0f\u30922\u4eba\u306e\u30d7\u30ec\u30a4\u30e4\u30fc\u306e\u9593\u3067\u884c\u308f\u308c\u308b\u30b2\u30fc\u30e0\u306b\u898b\u7acb\u3066\u308b\u3002\u30d7\u30ec\u30a4\u30e4\u30fc\u306f\u300c\u7acb\u8a3c\u8005; Verifier\u300d\u3068\u300c\u507d\u8a3c\u8005; Falsifier\u300d\u3068\u547c\u3070\u308c\u308b\u3002\u7acb\u8a3c\u8005\u306f\u305d\u306e\u8ad6\u7406\u5f0f\u5185\u306e\u5168\u3066\u306e\u8ad6\u7406\u548c\u306e\u300c\u6240\u6709\u6a29\u300d\u3092\u6709\u3057\u3001\u507d\u8a3c\u8005\u306f\u540c\u69d8\u306b\u5168\u3066\u306e\u8ad6\u7406\u7a4d\u3092\u6240\u6709\u3059\u308b\u3002\u3053\u306e\u30b2\u30fc\u30e0\u306e\u300c\u624b\u300d\u3067\u884c\u3046\u3053\u3068\u306f\u3001\u8ad6\u7406\u6f14\u7b97\u5b50\u3092\u6240\u6709\u3059\u308b\u30d7\u30ec\u30a4\u30e4\u30fc\u304c\u305d\u306e\u6f14\u7b97\u5b50\u306e\u4e00\u65b9\u306e\u679d\u3092\u9078\u3076\u3053\u3068\u3067\u3042\u308b\u3002\u30b2\u30fc\u30e0\u306f\u305d\u306e\u9078\u3070\u308c\u305f\u90e8\u5206\u8ad6\u7406\u5f0f\u306b\u3064\u3044\u3066\u7d9a\u884c\u3055\u308c\u3001\u305d\u306e\u8ad6\u7406\u5f0f\u3092\u5236\u5fa1\u3057\u3066\u3044\u308b\u6f14\u7b97\u5b50\u3092\u6240\u6709\u3059\u308b\u30d7\u30ec\u30a4\u30e4\u30fc\u304c\u6b21\u306e\u624b\u3092\u884c\u3046\u3053\u3068\u304c\u3067\u304d\u308b\uff08\u5168\u4f53\u304c\u8ad6\u7406\u548c\u306a\u3089\u7acb\u8a3c\u8005\u304c\u4e00\u65b9\u306e\u679d\u3092\u9078\u3076\uff09\u3002\u3053\u3046\u3057\u3066\u3001\u8ad6\u7406\u548c\u3082\u8ad6\u7406\u7a4d\u3082\u542b\u307e\u308c\u306a\u3044\u5358\u7d14\u306a\u5f0f\u3068\u306a\u308b\u307e\u3067\u7d9a\u3051\u308b\u3002\u3053\u3053\u3067\u3001\u305d\u306e\u5f0f\u304c\u771f\u3067\u3042\u308c\u3070\u7acb\u8a3c\u8005\u306e\u52dd\u3061\u3067\u3001\u507d\u3067\u3042\u308c\u3070\u507d\u8a3c\u8005\u306e\u52dd\u3061\u3067\u3042\u308b\u3002\u7acb\u8a3c\u8005\u304c\u52dd\u5229\u6226\u7565\u3092\u6301\u3064\u5834\u5408\u3001\u5143\u306e\u8ad6\u7406\u5f0f\u3082\u771f\u3067\u3042\u308b\u3068\u898b\u306a\u3055\u308c\u3001\u9006\u306b\u507d\u8a3c\u8005\u306b\u52dd\u5229\u6226\u7565\u304c\u3042\u308c\u3070\u3001\u507d\u3068\u898b\u306a\u3055\u308c\u308b\u3002 \u8ad6\u7406\u5f0f\u306b\u5426\u5b9a\u3084\u542b\u610f\u304c\u542b\u307e\u308c\u308b\u5834\u5408\u3001\u3082\u3063\u3068\u8907\u96d1\u306a\u6280\u6cd5\u304c\u4f7f\u308f\u308c\u308b\u3002\u4f8b\u3048\u3070\u3001\u5426\u5b9a\u306f\u5426\u5b9a\u3059\u308b\u5bfe\u8c61\u304c\u507d\u3067\u3042\u308c\u3070\u771f\u3068\u306a\u308b\u306e\u3067\u30012\u4eba\u306e\u30d7\u30ec\u30a4\u30e4\u30fc\u306e\u5f79\u5272\u3092\u9006\u8ee2\u3055\u305b\u308b\u52b9\u679c\u304c\u3042\u308b\u3002 \u3088\u308a\u4e00\u822c\u5316\u3057\u3066\u3001\u30b2\u30fc\u30e0\u610f\u5473\u8ad6\u306f\u8ff0\u8a9e\u8ad6\u7406\u306b\u3082\u9069\u7528\u3055\u308c\u308b\u3002\u65b0\u305f\u306a\u30eb\u30fc\u30eb\u3068\u3057\u3066\u3001\u652f\u914d\u7684\u306a\u91cf\u5316\u5b50\u3092\u305d\u306e\u6240\u6709\u8005\uff08\u7acb\u8a3c\u8005\u306f\u5b58\u5728\u8a18\u53f7\u3092\u6240\u6709\u3057\u3001\u507d\u8a3c\u8005\u306f\u5168\u79f0\u8a18\u53f7\u3092\u6240\u6709\u3059\u308b\uff09\u304c\u524a\u9664\u3067\u304d\u3001\u305d\u306e\u969b\u306b\u675f\u7e1b\u5909\u9805\u306e\u5168\u3066\u306e\u51fa\u73fe\u3092\u30d7\u30ec\u30a4\u30e4\u30fc\u306e\u9078\u3093\u3060\u4efb\u610f\u306e\u5b9a\u9805\u3067\u7f6e\u304d\u63db\u3048\u308b\u3002\u3053\u306e\u3068\u304d\u3001\u5168\u79f0\u91cf\u5316\u3067\u306f1\u3064\u306e\u53cd\u4f8b\u3067\u507d\u3068\u306a\u308a\u3001\u5b58\u5728\u91cf\u5316\u3067\u306f1\u3064\u306e\u4f8b\u3067\u771f\u3068\u306a\u308b\u3053\u3068\u306b\u6ce8\u610f\u3055\u308c\u305f\u3044\u3002 \u3053\u306e\u3088\u3046\u306a\u30b2\u30fc\u30e0\u306f\u5168\u3066\u5b8c\u5168\u60c5\u5831\u30b2\u30fc\u30e0\u3067\u3042\u308b\u30022\u4eba\u306e\u30d7\u30ec\u30a4\u30e4\u30fc\u306f\u8ad6\u7406\u5f0f\u3092\u69cb\u6210\u3059\u308b\u5404\u9805\u306e\u771f\u7406\u5024\u3092\u77e5\u3063\u3066\u304a\u308a\u3001\u5e38\u306b\u5148\u3092\u8aad\u3080\u3002 \u76f4\u89b3\u8ad6\u7406\u3001\u8868\u793a\u7684\u610f\u5473\u8ad6\u3001\u7dda\u5f62\u8ad6\u7406[\u7de8\u96c6] \u30ed\u30fc\u30ec\u30f3\u30c4\u30a7\u30f3\u3068 Kuno Lorenz \u306e\u76ee\u7684\u306f\u3001\u76f4\u89b3\u8ad6\u7406\u306e\u305f\u3081\u306e\u30b2\u30fc\u30e0\u7406\u8ad6\u7684\u306a\u610f\u5473\u8ad6\u3092\u898b\u51fa\u3059\u3053\u3068\u3067\u3042\u3063\u305f\u3002Blass \u3067\u521d\u3081\u3066\u7dda\u5f62\u8ad6\u7406\u3068\u30b2\u30fc\u30e0\u610f\u5473\u8ad6\u306e\u95a2\u9023\u304c\u6307\u6458\u3055\u308c\u305f\u3002\u3053\u306e\u65b9\u5411\u3067 Samson","datePublished":"2022-04-19","dateModified":"2022-04-19","author":{"@type":"Person","@id":"https:\/\/wiki.edu.vn\/jp\/wiki14\/archives\/author\/lordneo#Person","name":"lordneo","url":"https:\/\/wiki.edu.vn\/jp\/wiki14\/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:\/\/ja.wikipedia.org\/wiki\/Special:CentralAutoLogin\/start?type=1x1","url":"https:\/\/ja.wikipedia.org\/wiki\/Special:CentralAutoLogin\/start?type=1x1","height":"1","width":"1"},"url":"https:\/\/wiki.edu.vn\/jp\/wiki14\/archives\/333974","about":["Wiki"],"wordCount":664,"articleBody":"\u30b2\u30fc\u30e0\u610f\u5473\u8ad6\uff08\u30b2\u30fc\u30e0\u3044\u307f\u308d\u3093\u3001Game Semantics\uff09\u3068\u306f\u3001\u30b2\u30fc\u30e0\u7406\u8ad6\u7684\u6982\u5ff5\uff08\u30d7\u30ec\u30a4\u30e4\u30fc\u306e\u52dd\u5229\u6226\u7565\u306e\u5b58\u5728\u306a\u3069\uff09\u306b\u57fa\u3065\u3044\u305f\u8ad6\u7406\u306e\u610f\u5473\u8ad6\u306e\u624b\u6cd5\u3067\u3042\u308b\u30021950\u5e74\u4ee3\u5f8c\u534a\u306b\u30d1\u30a6\u30eb\u30fb\u30ed\u30fc\u30ec\u30f3\u30c4\u30a7\u30f3\u304c\u63d0\u5531\u3057\u305f\u3002\u305d\u306e\u5f8c\u3001\u69d8\u3005\u306a\u30b2\u30fc\u30e0\u610f\u5473\u8ad6\u304c\u7814\u7a76\u3055\u308c\u3066\u304a\u308a\u3001\u30b2\u30fc\u30e0\u610f\u5473\u8ad6\u306f\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u306e\u5f62\u5f0f\u610f\u5473\u8ad6\u306b\u3082\u9069\u7528\u3055\u308c\u3066\u304d\u305f\u3002  Table of Contents\u53e4\u5178\u8ad6\u7406[\u7de8\u96c6]\u76f4\u89b3\u8ad6\u7406\u3001\u8868\u793a\u7684\u610f\u5473\u8ad6\u3001\u7dda\u5f62\u8ad6\u7406[\u7de8\u96c6]\u53c2\u8003\u6587\u732e[\u7de8\u96c6]\u5b66\u8853\u8a18\u4e8b[\u7de8\u96c6]\u66f8\u7c4d[\u7de8\u96c6]\u95a2\u9023\u9805\u76ee[\u7de8\u96c6]\u5916\u90e8\u30ea\u30f3\u30af[\u7de8\u96c6]\u53e4\u5178\u8ad6\u7406[\u7de8\u96c6]\u6700\u3082\u5358\u7d14\u306a\u30b2\u30fc\u30e0\u610f\u5473\u8ad6\u306e\u5fdc\u7528\u3068\u3057\u3066\u3001\u547d\u984c\u8ad6\u7406\u3078\u306e\u9069\u7528\u304c\u3042\u308b\u3002\u5404\u8ad6\u7406\u5f0f\u30922\u4eba\u306e\u30d7\u30ec\u30a4\u30e4\u30fc\u306e\u9593\u3067\u884c\u308f\u308c\u308b\u30b2\u30fc\u30e0\u306b\u898b\u7acb\u3066\u308b\u3002\u30d7\u30ec\u30a4\u30e4\u30fc\u306f\u300c\u7acb\u8a3c\u8005; Verifier\u300d\u3068\u300c\u507d\u8a3c\u8005; Falsifier\u300d\u3068\u547c\u3070\u308c\u308b\u3002\u7acb\u8a3c\u8005\u306f\u305d\u306e\u8ad6\u7406\u5f0f\u5185\u306e\u5168\u3066\u306e\u8ad6\u7406\u548c\u306e\u300c\u6240\u6709\u6a29\u300d\u3092\u6709\u3057\u3001\u507d\u8a3c\u8005\u306f\u540c\u69d8\u306b\u5168\u3066\u306e\u8ad6\u7406\u7a4d\u3092\u6240\u6709\u3059\u308b\u3002\u3053\u306e\u30b2\u30fc\u30e0\u306e\u300c\u624b\u300d\u3067\u884c\u3046\u3053\u3068\u306f\u3001\u8ad6\u7406\u6f14\u7b97\u5b50\u3092\u6240\u6709\u3059\u308b\u30d7\u30ec\u30a4\u30e4\u30fc\u304c\u305d\u306e\u6f14\u7b97\u5b50\u306e\u4e00\u65b9\u306e\u679d\u3092\u9078\u3076\u3053\u3068\u3067\u3042\u308b\u3002\u30b2\u30fc\u30e0\u306f\u305d\u306e\u9078\u3070\u308c\u305f\u90e8\u5206\u8ad6\u7406\u5f0f\u306b\u3064\u3044\u3066\u7d9a\u884c\u3055\u308c\u3001\u305d\u306e\u8ad6\u7406\u5f0f\u3092\u5236\u5fa1\u3057\u3066\u3044\u308b\u6f14\u7b97\u5b50\u3092\u6240\u6709\u3059\u308b\u30d7\u30ec\u30a4\u30e4\u30fc\u304c\u6b21\u306e\u624b\u3092\u884c\u3046\u3053\u3068\u304c\u3067\u304d\u308b\uff08\u5168\u4f53\u304c\u8ad6\u7406\u548c\u306a\u3089\u7acb\u8a3c\u8005\u304c\u4e00\u65b9\u306e\u679d\u3092\u9078\u3076\uff09\u3002\u3053\u3046\u3057\u3066\u3001\u8ad6\u7406\u548c\u3082\u8ad6\u7406\u7a4d\u3082\u542b\u307e\u308c\u306a\u3044\u5358\u7d14\u306a\u5f0f\u3068\u306a\u308b\u307e\u3067\u7d9a\u3051\u308b\u3002\u3053\u3053\u3067\u3001\u305d\u306e\u5f0f\u304c\u771f\u3067\u3042\u308c\u3070\u7acb\u8a3c\u8005\u306e\u52dd\u3061\u3067\u3001\u507d\u3067\u3042\u308c\u3070\u507d\u8a3c\u8005\u306e\u52dd\u3061\u3067\u3042\u308b\u3002\u7acb\u8a3c\u8005\u304c\u52dd\u5229\u6226\u7565\u3092\u6301\u3064\u5834\u5408\u3001\u5143\u306e\u8ad6\u7406\u5f0f\u3082\u771f\u3067\u3042\u308b\u3068\u898b\u306a\u3055\u308c\u3001\u9006\u306b\u507d\u8a3c\u8005\u306b\u52dd\u5229\u6226\u7565\u304c\u3042\u308c\u3070\u3001\u507d\u3068\u898b\u306a\u3055\u308c\u308b\u3002\u8ad6\u7406\u5f0f\u306b\u5426\u5b9a\u3084\u542b\u610f\u304c\u542b\u307e\u308c\u308b\u5834\u5408\u3001\u3082\u3063\u3068\u8907\u96d1\u306a\u6280\u6cd5\u304c\u4f7f\u308f\u308c\u308b\u3002\u4f8b\u3048\u3070\u3001\u5426\u5b9a\u306f\u5426\u5b9a\u3059\u308b\u5bfe\u8c61\u304c\u507d\u3067\u3042\u308c\u3070\u771f\u3068\u306a\u308b\u306e\u3067\u30012\u4eba\u306e\u30d7\u30ec\u30a4\u30e4\u30fc\u306e\u5f79\u5272\u3092\u9006\u8ee2\u3055\u305b\u308b\u52b9\u679c\u304c\u3042\u308b\u3002  \u3088\u308a\u4e00\u822c\u5316\u3057\u3066\u3001\u30b2\u30fc\u30e0\u610f\u5473\u8ad6\u306f\u8ff0\u8a9e\u8ad6\u7406\u306b\u3082\u9069\u7528\u3055\u308c\u308b\u3002\u65b0\u305f\u306a\u30eb\u30fc\u30eb\u3068\u3057\u3066\u3001\u652f\u914d\u7684\u306a\u91cf\u5316\u5b50\u3092\u305d\u306e\u6240\u6709\u8005\uff08\u7acb\u8a3c\u8005\u306f\u5b58\u5728\u8a18\u53f7\u3092\u6240\u6709\u3057\u3001\u507d\u8a3c\u8005\u306f\u5168\u79f0\u8a18\u53f7\u3092\u6240\u6709\u3059\u308b\uff09\u304c\u524a\u9664\u3067\u304d\u3001\u305d\u306e\u969b\u306b\u675f\u7e1b\u5909\u9805\u306e\u5168\u3066\u306e\u51fa\u73fe\u3092\u30d7\u30ec\u30a4\u30e4\u30fc\u306e\u9078\u3093\u3060\u4efb\u610f\u306e\u5b9a\u9805\u3067\u7f6e\u304d\u63db\u3048\u308b\u3002\u3053\u306e\u3068\u304d\u3001\u5168\u79f0\u91cf\u5316\u3067\u306f1\u3064\u306e\u53cd\u4f8b\u3067\u507d\u3068\u306a\u308a\u3001\u5b58\u5728\u91cf\u5316\u3067\u306f1\u3064\u306e\u4f8b\u3067\u771f\u3068\u306a\u308b\u3053\u3068\u306b\u6ce8\u610f\u3055\u308c\u305f\u3044\u3002\u3053\u306e\u3088\u3046\u306a\u30b2\u30fc\u30e0\u306f\u5168\u3066\u5b8c\u5168\u60c5\u5831\u30b2\u30fc\u30e0\u3067\u3042\u308b\u30022\u4eba\u306e\u30d7\u30ec\u30a4\u30e4\u30fc\u306f\u8ad6\u7406\u5f0f\u3092\u69cb\u6210\u3059\u308b\u5404\u9805\u306e\u771f\u7406\u5024\u3092\u77e5\u3063\u3066\u304a\u308a\u3001\u5e38\u306b\u5148\u3092\u8aad\u3080\u3002\u76f4\u89b3\u8ad6\u7406\u3001\u8868\u793a\u7684\u610f\u5473\u8ad6\u3001\u7dda\u5f62\u8ad6\u7406[\u7de8\u96c6]\u30ed\u30fc\u30ec\u30f3\u30c4\u30a7\u30f3\u3068 Kuno Lorenz \u306e\u76ee\u7684\u306f\u3001\u76f4\u89b3\u8ad6\u7406\u306e\u305f\u3081\u306e\u30b2\u30fc\u30e0\u7406\u8ad6\u7684\u306a\u610f\u5473\u8ad6\u3092\u898b\u51fa\u3059\u3053\u3068\u3067\u3042\u3063\u305f\u3002Blass \u3067\u521d\u3081\u3066\u7dda\u5f62\u8ad6\u7406\u3068\u30b2\u30fc\u30e0\u610f\u5473\u8ad6\u306e\u95a2\u9023\u304c\u6307\u6458\u3055\u308c\u305f\u3002\u3053\u306e\u65b9\u5411\u3067 Samson Abramsky\u3001 Radhakrishnan Jagadeesan\u3001Rasquale Malacaria \u3084\u3001\uff08\u305d\u308c\u3068\u306f\u5225\u306b\uff09Maritin Hyland \u3068 Luke Ong \u304c\u7814\u7a76\u3092\u9032\u3081\u3001\u5408\u6210\u6027\u306b\u91cd\u70b9\u3092\u7f6e\u3044\u305f\uff08\u3059\u306a\u308f\u3061\u3001\u6587\u6cd5\u304b\u3089\u5e30\u7d0d\u7684\u306b\u6226\u7565\u3092\u5b9a\u7fa9\u3059\u308b\uff09\u3002\u30b2\u30fc\u30e0\u610f\u5473\u8ad6\u3092\u4f7f\u3063\u3066\u3001\u3053\u308c\u3089\u306e\u7814\u7a76\u8005\u306f\u9577\u5e74\u306e\u8ab2\u984c\u3067\u3042\u3063\u305f\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e PCF\uff08\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\uff09\uff08\u82f1\u8a9e\u7248\uff09 \u306e\u5b8c\u5168\u62bd\u8c61\u30e2\u30c7\u30eb\u306e\u5b9a\u7fa9\u306b\u6210\u529f\u3057\u305f\u3002\u305d\u306e\u7d50\u679c\u3001\u30b2\u30fc\u30e0\u610f\u5473\u8ad6\u306b\u3088\u3063\u3066\u5404\u7a2e\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u306e\u5b8c\u5168\u62bd\u8c61\u30e2\u30c7\u30eb\u304c\u69cb\u7bc9\u3055\u308c\u3001\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u306e\u30e2\u30c7\u30eb\u691c\u67fb\u306e\u65b0\u305f\u306a\u5f62\u5f0f\u7684\u624b\u6cd5\u304c\u5c0e\u304b\u308c\u305f\u3002\u30b2\u30fc\u30e0\u610f\u5473\u8ad6\u306e\u57fa\u790e\u7814\u7a76\u306f\u30e4\u30fc\u30c3\u30b3\u30fb\u30d2\u30f3\u30c6\u30a3\u30c3\u30ab\u3068 Gabriel Sandu \u306b\u3088\u3063\u3066\u9032\u3081\u3089\u308c\u3001\u7279\u306b\u5206\u5c90\u91cf\u5316\u5b50\u3092\u6301\u3064Independence-Friendry Logic\uff08IF-Logic\uff09\u304c\u7814\u7a76\u3055\u308c\u305f\u3002\u3053\u306e\u3088\u3046\u306a\u8ad6\u7406\u3067\u306f\u5408\u6210\u6027\u306e\u539f\u5247\u304c\u6210\u308a\u7acb\u305f\u305a\u3001\u5f93\u3063\u3066\u30bf\u30eb\u30b9\u30ad\u7684\u771f\u7406\u610f\u5473\u8ad6\u3067\u306f\u610f\u5473\u8ad6\u3068\u3057\u3066\u4e0d\u9069\u3067\u3042\u3063\u305f\u3002\u3053\u306e\u554f\u984c\u3092\u89e3\u6c7a\u3059\u308b\u305f\u3081\u3001\u91cf\u5316\u5b50\u306b\u30b2\u30fc\u30e0\u610f\u5473\u8ad6\u3067\u306e\u610f\u5473\u3092\u4e0e\u3048\u305f\u3002\u624b\u6cd5\u306f\u547d\u984c\u8ad6\u7406\u3068\u540c\u69d8\u3060\u304c\u3001\u30d7\u30ec\u30a4\u30e4\u30fc\u306f\u305d\u308c\u4ee5\u524d\u306e\u76f8\u624b\u306e\u300c\u624b\u300d\u306b\u95a2\u3057\u3066\u5fc5\u305a\u3057\u3082\u5b8c\u5168\u60c5\u5831\u3092\u6301\u305f\u306a\u3044\u3002Wilfrid Hodges \u306f Compositional Semantics\uff08\u5408\u6210\u7684\u610f\u5473\u8ad6\uff09\u3092\u63d0\u6848\u3057\u3001\u305d\u308c\u304cIF-Logic\u306e\u30b2\u30fc\u30e0\u610f\u5473\u8ad6\u3068\u7b49\u4fa1\u3067\u3042\u308b\u3053\u3068\u3092\u8a3c\u660e\u3057\u305f\u3002\u57fa\u790e\u7814\u7a76\u306f\u4ed6\u306e\u7814\u7a76\u3092\u8a98\u767a\u3057\u3001Japaridze \u306f Computability Logic\uff08\u8a08\u7b97\u53ef\u80fd\u6027\u8ad6\u7406\uff09\u3092\u751f\u307f\u51fa\u3057\u305f\u3002  \u53c2\u8003\u6587\u732e[\u7de8\u96c6]\u5b66\u8853\u8a18\u4e8b[\u7de8\u96c6]S.Abramsky and R.Jagadeesan, Games and full completeness for multiplicative linear logic. Journal of Symbolic Logic 59 (1994): 543-574.A.Blass, A game semantics for linear logic. Annals of Pure and Applied Logic 56 (1992): 151-166.G.Japaridze, Introduction to computability logic. Annals of Pure and Applied Logic 123 (2003):  1-99.Krabbe, E. C. W., 2001. “Dialogue Foundations: Dialogue Logic Revisited,” Supplement to the Proceedings of The Aristotelian Society 75: 33-49.\u66f8\u7c4d[\u7de8\u96c6]K. Lorenz, P. Lorenzen: Dialogische Logik, Darmstadt 1978P. Lorenzen: Lehrbuch der konstruktiven Wissenschaftstheorie, Stuttgart 2000 ISBN 3-476-01784-2R. Inhetveen: Logik. Eine dialog-orientierte Einf\u00fchrung., Leipzig 2003 ISBN 3-937219-02-1\u95a2\u9023\u9805\u76ee[\u7de8\u96c6]\u5916\u90e8\u30ea\u30f3\u30af[\u7de8\u96c6]"},{"@context":"http:\/\/schema.org\/","@type":"BreadcrumbList","itemListElement":[{"@type":"ListItem","position":1,"item":{"@id":"https:\/\/wiki.edu.vn\/jp\/wiki14\/#breadcrumbitem","name":"Enzyklop\u00e4die"}},{"@type":"ListItem","position":2,"item":{"@id":"https:\/\/wiki.edu.vn\/jp\/wiki14\/archives\/333974#breadcrumbitem","name":"\u30b2\u30fc\u30e0\u610f\u5473\u8ad6 – Wikipedia"}}]}]