[{"@context":"http:\/\/schema.org\/","@type":"BlogPosting","@id":"https:\/\/wiki.edu.vn\/all2jp\/wiki10\/archives\/6826#BlogPosting","mainEntityOfPage":"https:\/\/wiki.edu.vn\/all2jp\/wiki10\/archives\/6826","headline":"\u30bf\u30fc\u30df\u30ca\u30fc\u8a2d\u5b9a\u30b7\u30b9\u30c6\u30e0-Wikipedia","name":"\u30bf\u30fc\u30df\u30ca\u30fc\u8a2d\u5b9a\u30b7\u30b9\u30c6\u30e0-Wikipedia","description":"before-content-x4 Termeretzung\u30b7\u30b9\u30c6\u30e0 \uff08 \u30d4\u30f3\u30c1 \uff09\u7406\u8ad6\u7684\u30b3\u30f3\u30d4\u30e5\u30fc\u30bf\u30fc\u30b5\u30a4\u30a8\u30f3\u30b9\u306e\u6b63\u5f0f\u306a\u8a08\u7b97\u30e2\u30c7\u30eb\u3067\u3059\u3002\u7279\u306b\u3001\u30ed\u30b8\u30c3\u30af\u3068\u6a5f\u80fd\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u306e\u57fa\u790e\u3092\u5f62\u6210\u3057\u307e\u3059\u3002\u307e\u305f\u3001\u554f\u984c\u3068\u30b9\u30b1\u30b8\u30e5\u30fc\u30eb\u5206\u6790\u3068\u3044\u3046\u8a00\u8449\u306b\u304a\u3044\u3066\u91cd\u8981\u306a\u5f79\u5272\u3092\u679c\u305f\u3057\u307e\u3059\u3002 after-content-x4 \u30bf\u30fc\u30df\u30ca\u30fc\u8a2d\u5b9a\u30b7\u30b9\u30c6\u30e0\u306f\u91cf\u3067\u3059 \u30bf\u30fc\u30df\u30ca\u30fc\u306e\u8a2d\u5b9a\u30eb\u30fc\u30eb \u3002\u3053\u308c\u3089\u306e\u6570\u91cf\u306f\u3001\u65b9\u7a0b\u5f0f\u304c\u5de6\u304b\u3089\u53f3\u306b\u306e\u307f\u9069\u7528\u3067\u304d\u308b\u7528\u8a9e\u9593\u306e\u65b9\u7a0b\u5f0f\u30b7\u30b9\u30c6\u30e0\u306e\u3088\u3046\u306b\u60f3\u50cf\u3067\u304d\u307e\u3059\u3002 \u4f8b \u30d7\u30e9\u30b9\uff080\u3001y\uff09\u2192y \u30d7\u30e9\u30b9\uff08\u6210\u529f\uff08x\uff09\u3001y\uff09\u2192\u6210\u529f\uff08more\uff08x\u3001y\uff09\uff09 \u4e0a\u8a18\u306e\u30eb\u30fc\u30eb\u306f\u30012\u3064\u306e\u81ea\u7136\u6570\u306e\u8ffd\u52a0\u3068\u3057\u3066\u7406\u89e3\u3067\u304d\u308b\u7aef\u5b50\u8a2d\u5b9a\u30b7\u30b9\u30c6\u30e0\u3092\u5f62\u6210\u3057\u307e\u3059\u3002\u3053\u308c\u306b\u306f\u3001\u7528\u8a9e0\u306e\u6570\u50240\u3001SOCC\uff080\uff09\u3068\u3044\u3046\u7528\u8a9e\u306e\u6570\u50241\u3001SOCC\uff080\uff09\u306a\u3069\u306e\u6570\u5b572\u304c\u5fc5\u8981\u3067\u3059\u3002\u898f\u5247\u306b\u306f\u3001\u305f\u3068\u3048\u3070\u3001 after-content-x4 \u30d7\u30e9\u30b9 \u2061 \uff08 0 \u3001 \u3068","datePublished":"2021-05-24","dateModified":"2021-05-24","author":{"@type":"Person","@id":"https:\/\/wiki.edu.vn\/all2jp\/wiki10\/archives\/author\/lordneo#Person","name":"lordneo","url":"https:\/\/wiki.edu.vn\/all2jp\/wiki10\/archives\/author\/lordneo","image":{"@type":"ImageObject","@id":"https:\/\/secure.gravatar.com\/avatar\/44a4cee54c4c053e967fe3e7d054edd4?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/44a4cee54c4c053e967fe3e7d054edd4?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:\/\/wikimedia.org\/api\/rest_v1\/media\/math\/render\/svg\/cb00e4a613e1c4a0514a2be69f9fcb3ab0a55cb3","url":"https:\/\/wikimedia.org\/api\/rest_v1\/media\/math\/render\/svg\/cb00e4a613e1c4a0514a2be69f9fcb3ab0a55cb3","height":"","width":""},"url":"https:\/\/wiki.edu.vn\/all2jp\/wiki10\/archives\/6826","wordCount":7897,"articleBody":"     (adsbygoogle = window.adsbygoogle || []).push({});before-content-x4 Termeretzung\u30b7\u30b9\u30c6\u30e0 \uff08 \u30d4\u30f3\u30c1 \uff09\u7406\u8ad6\u7684\u30b3\u30f3\u30d4\u30e5\u30fc\u30bf\u30fc\u30b5\u30a4\u30a8\u30f3\u30b9\u306e\u6b63\u5f0f\u306a\u8a08\u7b97\u30e2\u30c7\u30eb\u3067\u3059\u3002\u7279\u306b\u3001\u30ed\u30b8\u30c3\u30af\u3068\u6a5f\u80fd\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u306e\u57fa\u790e\u3092\u5f62\u6210\u3057\u307e\u3059\u3002\u307e\u305f\u3001\u554f\u984c\u3068\u30b9\u30b1\u30b8\u30e5\u30fc\u30eb\u5206\u6790\u3068\u3044\u3046\u8a00\u8449\u306b\u304a\u3044\u3066\u91cd\u8981\u306a\u5f79\u5272\u3092\u679c\u305f\u3057\u307e\u3059\u3002        (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4\u30bf\u30fc\u30df\u30ca\u30fc\u8a2d\u5b9a\u30b7\u30b9\u30c6\u30e0\u306f\u91cf\u3067\u3059 \u30bf\u30fc\u30df\u30ca\u30fc\u306e\u8a2d\u5b9a\u30eb\u30fc\u30eb \u3002\u3053\u308c\u3089\u306e\u6570\u91cf\u306f\u3001\u65b9\u7a0b\u5f0f\u304c\u5de6\u304b\u3089\u53f3\u306b\u306e\u307f\u9069\u7528\u3067\u304d\u308b\u7528\u8a9e\u9593\u306e\u65b9\u7a0b\u5f0f\u30b7\u30b9\u30c6\u30e0\u306e\u3088\u3046\u306b\u60f3\u50cf\u3067\u304d\u307e\u3059\u3002 \u4f8b  \u30d7\u30e9\u30b9\uff080\u3001y\uff09\u2192y   \u30d7\u30e9\u30b9\uff08\u6210\u529f\uff08x\uff09\u3001y\uff09\u2192\u6210\u529f\uff08more\uff08x\u3001y\uff09\uff09 \u4e0a\u8a18\u306e\u30eb\u30fc\u30eb\u306f\u30012\u3064\u306e\u81ea\u7136\u6570\u306e\u8ffd\u52a0\u3068\u3057\u3066\u7406\u89e3\u3067\u304d\u308b\u7aef\u5b50\u8a2d\u5b9a\u30b7\u30b9\u30c6\u30e0\u3092\u5f62\u6210\u3057\u307e\u3059\u3002\u3053\u308c\u306b\u306f\u3001\u7528\u8a9e0\u306e\u6570\u50240\u3001SOCC\uff080\uff09\u3068\u3044\u3046\u7528\u8a9e\u306e\u6570\u50241\u3001SOCC\uff080\uff09\u306a\u3069\u306e\u6570\u5b572\u304c\u5fc5\u8981\u3067\u3059\u3002\u898f\u5247\u306b\u306f\u3001\u305f\u3068\u3048\u3070\u3001        (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4\u30d7\u30e9\u30b9 \u2061 \uff08 0 \u3001 \u3068 \uff09\uff09 {displaystyle operatorname {Plus}\uff080\u3001y\uff09} 1\u3064\u7528\u8a9e\u3092\u901a\u3057\u3066 \u3068 {displaystyle y} \u4ea4\u63db\u3055\u308c\u308b\u5834\u5408\u304c\u3042\u308a\u307e\u3059\u3002\u51fa\u6765\u308b \u3068 {displaystyle y} \u7279\u306b\u4efb\u610f\u306e\u7528\u8a9e\u3067\u3055\u3048\u3001\u81ea\u7136\u6570\u3092\u8868\u3059\u5fc5\u8981\u306f\u3042\u308a\u307e\u305b\u3093\u3002 \u7d42\u4e86\u30b7\u30b9\u30c6\u30e0\u306f\u7d50\u3073\u3064\u3044\u3066\u3044\u308b\u305f\u3081\u3001\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u30de\u30b7\u30f3\u3001\u30e9\u30e0\u30c0\u8a08\u7b97\u6a5f\u3001\u30ec\u30b8\u30b9\u30bf\u30de\u30b7\u30f3\u306a\u3069\u306e\u4ed6\u306e\u5f62\u5f0f\u306f\u3042\u308a\u307e\u305b\u3093\u3002\u305d\u308c\u3089\u306f\u6bd4\u8f03\u7684\u7c21\u5358\u306b\u69cb\u9020\u3067\u3042\u308a\u3001\u30b3\u30f3\u30d4\u30e5\u30fc\u30bf\u30fc\u3067\u3046\u307e\u304f\u51e6\u7406\u3067\u304d\u308b\u305f\u3081\u3001\u7aef\u5b50\u8a2d\u5b9a\u30b7\u30b9\u30c6\u30e0\u306f\u3001\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\u306e\u30b3\u30f3\u30d4\u30e5\u30fc\u30bf\u30fc\u652f\u63f4\u5206\u6790\u306e\u91cd\u8981\u306a\u30c4\u30fc\u30eb\u3092\u8868\u3057\u3066\u3044\u307e\u3059\u3002        (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4\u30bf\u30fc\u30df\u30ca\u30eb\u8a2d\u5b9a\u30b7\u30b9\u30c6\u30e0\u3092\u69cb\u7bc9\u3059\u308b\u306b\u306f\u3001\u6700\u521d\u306b\u6839\u672c\u7684\u306a\u7528\u8a9e\u306e\u660e\u78ba\u306a\u30a2\u30a4\u30c7\u30a2\u304c\u5fc5\u8981\u3067\u3059\u3002 Table of Contents\u5b66\u671f [ \u7de8\u96c6 | \u30bd\u30fc\u30b9\u30c6\u30ad\u30b9\u30c8\u3092\u7de8\u96c6\u3057\u307e\u3059 ] \u30bf\u30fc\u30df\u30ca\u30fc\u306e\u8a2d\u5b9a\u30eb\u30fc\u30eb [ \u7de8\u96c6 | \u30bd\u30fc\u30b9\u30c6\u30ad\u30b9\u30c8\u3092\u7de8\u96c6\u3057\u307e\u3059 ] \u9bae\u3084\u304b\u306a\u8aac\u660e [ \u7de8\u96c6 | \u30bd\u30fc\u30b9\u30c6\u30ad\u30b9\u30c8\u3092\u7de8\u96c6\u3057\u307e\u3059 ] \u30d5\u30a9\u30eb\u30e2\u30fc\u30eb\u306e\u5b9a\u7fa9 [ \u7de8\u96c6 | \u30bd\u30fc\u30b9\u30c6\u30ad\u30b9\u30c8\u3092\u7de8\u96c6\u3057\u307e\u3059 ] \u30b9\u30b1\u30b8\u30e5\u30fc\u30ea\u30f3\u30b0 [ \u7de8\u96c6 | \u30bd\u30fc\u30b9\u30c6\u30ad\u30b9\u30c8\u3092\u7de8\u96c6\u3057\u307e\u3059 ] \u5408\u6d41 [ \u7de8\u96c6 | \u30bd\u30fc\u30b9\u30c6\u30ad\u30b9\u30c8\u3092\u7de8\u96c6\u3057\u307e\u3059 ] \u554f\u984c\u306e\u554f\u984c\u306e\u6c7a\u5b9a\u624b\u9806 [ \u7de8\u96c6 | \u30bd\u30fc\u30b9\u30c6\u30ad\u30b9\u30c8\u3092\u7de8\u96c6\u3057\u307e\u3059 ] \u30b9\u30b1\u30b8\u30e5\u30fc\u30ea\u30f3\u30b0\u5206\u6790 [ \u7de8\u96c6 | \u30bd\u30fc\u30b9\u30c6\u30ad\u30b9\u30c8\u3092\u7de8\u96c6\u3057\u307e\u3059 ] \u5b66\u671f [ \u7de8\u96c6 | \u30bd\u30fc\u30b9\u30c6\u30ad\u30b9\u30c8\u3092\u7de8\u96c6\u3057\u307e\u3059 ] \u305f\u304f\u3055\u3093 a {displaystyle sigma} \u6a5f\u80fd\u7684\u306a\u30b7\u30f3\u30dc\u30eb\u3068\uff08\u7121\u9650\uff09\u91cf\u306e \u306e {displaystyle {mathcal {v}}} \u91cf\u306f\u5909\u6570\u306b\u3088\u3063\u3066\u5b9a\u7fa9\u3055\u308c\u307e\u3059 t \uff08 a \u3001 \u306e \uff09\uff09 {displaystyle {mathcal {t}}\uff08sigma\u3001{mathcal {v}}\uff09}  \u5b66\u671f \u6b21\u306e\u3088\u3046\u306b\u8a98\u5c0e\uff1a \u3059\u3079\u3066\u306e\u5909\u6570\u304a\u3088\u3073\u3059\u3079\u3066\u306e\u30bc\u30ed\u6841\u6a5f\u80fd\u30b7\u30f3\u30dc\u30eb\uff08\u3064\u307e\u308a\u3001\u3059\u3079\u3066\u306e\u5b9a\u6570\uff09\u306f\u7528\u8a9e\u3067\u3059\u3002 \u305d\u308c\u306f t 1\u3001 … \u3001 t n{displaystyle t_ {1}\u3001dots\u3001t_ {n}} Terme\u3068IS f {displaystyle f} N-digit\u6a5f\u80fd\u30b7\u30f3\u30dc\u30eb\u3001\u305d\u3046\u3067\u3059 f \uff08 t 1\u3001 … \u3001 t n\uff09\uff09 {displaystyle f\uff08t_ {1}\u3001dots\u3001t_ {n}\uff09} \u307e\u305f\u3001\u7528\u8a9e\u3002 \u3053\u306e\u5b9a\u7fa9\u306f\u3001\u6570\u5b66\u7528\u8a9e\u306e\u5b9a\u7fa9\u306b\u6b63\u78ba\u306b\u5bfe\u5fdc\u3059\u308b\u3053\u3068\u306b\u6ce8\u610f\u3057\u3066\u304f\u3060\u3055\u3044\u3002 \u6b21\u306e\u7528\u8a9e\u306f\u3001\u6b63\u5f0f\u306a\u5b9a\u7fa9\u306a\u3057\u3067\u307e\u3060\u8a00\u53ca\u3059\u308b\u5fc5\u8981\u304c\u3042\u308a\u307e\u3059\u3002 \u4e00 \u4ee3\u66ff \u3044\u304f\u3064\u304b\u306e\u5909\u6570\u65b0\u3057\u3044\u7528\u8a9e\u3092\u5272\u308a\u5f53\u3066\u307e\u3059\u3002\u7f6e\u63db\u306f\u3001\u7f6e\u63db\u306b\u3088\u3063\u3066\u6307\u5b9a\u3055\u308c\u305f\u7528\u8a9e\u3067\u5909\u6570\u306e\u5404\u767a\u751f\u3092\u7f6e\u304d\u63db\u3048\u308b\u3053\u3068\u306b\u3088\u308a\u3001\u7528\u8a9e\u306b\u4f5c\u7528\u3057\u307e\u3059\u3002\u305f\u3068\u3048\u3070\u3001\u7f6e\u63db\u3067\u3059 a = { \u30d0\u30c4 \/ f \uff08 \u30d0\u30c4 \u3001 \u3068 \uff09\uff09 } {displaystyle sigma = {x\/f\uff08x\u3001y\uff09}} \u305d\u3057\u3066 t = g \uff08 \u30d0\u30c4 \uff09\uff09 {displaystylet = g\uff08x\uff09} \u7528\u8a9e\u3001\u305d\u3046\u3067\u3059 t a = g \uff08 f \uff08 \u30d0\u30c4 \u3001 \u3068 \uff09\uff09 \uff09\uff09 {displaystyle tsigma = g\uff08f\uff08x\u3001y\uff09\uff09} \u9069\u7528\u3059\u308b\u3053\u3068\u306b\u3088\u308b\u7528\u8a9e a {displaystyle sigma} \u306e\u4e0a t {displaystylet} \u767a\u751f\u3057\u307e\u3059\u3002 \u7528\u8a9e t {displaystylet}  \u30de\u30c3\u30c1\u30f3\u30b0 \u7528\u8a9e s {displaystyleS} \u7f6e\u63db\u304c\u3042\u308b\u5834\u5408 a {displaystyle sigma} \u305d\u308c\u3092\u4e0e\u3048\u308b t a = s {displaystyletsigma = s} \u9069\u7528\u53ef\u80fd\u3067\u3059\u3002\u305f\u3068\u3048\u3070\u3001Matcht g \uff08 \u30d0\u30c4 \uff09\uff09 {displaystyle g\uff08x\uff09} \u305d\u306e\u7528\u8a9e g \uff08 f \uff08 \u30d0\u30c4 \u3001 \u3068 \uff09\uff09 \uff09\uff09 {displaystyle g\uff08f\uff08x\u3001y\uff09\uff09} \u3002 \u30bf\u30fc\u30df\u30ca\u30fc\u306e\u8a2d\u5b9a\u30eb\u30fc\u30eb [ \u7de8\u96c6 | \u30bd\u30fc\u30b9\u30c6\u30ad\u30b9\u30c8\u3092\u7de8\u96c6\u3057\u307e\u3059 ] \u30bf\u30fc\u30df\u30ca\u30eb\u6c7a\u6e08\u30eb\u30fc\u30eb\u306f\u30ab\u30c3\u30d7\u30eb\u3067\u3059 l \u2192 r {displaystyle lrightarrow r} 2\u3064\u306e\u7528\u8a9e l \u3001 r {displaystyle l\u3001r} \u3001\u305d\u308c\u306b\u3088\u3063\u3066 l {displaystyle l} \u5909\u52d5\u3057\u3066\u306f\u306a\u3089\u305a\u3001 r {displaystyle r} \u306a\u3044\u5909\u6570\u306f\u767a\u751f\u3057\u306a\u3044\u5834\u5408\u304c\u3042\u308a\u307e\u3059 l {displaystyle l} \u767a\u751f\u3057\u307e\u3059\u3002\u3053\u306e\u5236\u9650\u306e\u7406\u7531\u306f\u3001\u7aef\u5b50\u8a2d\u5b9a\u30b7\u30b9\u30c6\u30e0\u306e\u30b9\u30b1\u30b8\u30e5\u30fc\u30ea\u30f3\u30b0\u306b\u95a2\u9023\u3057\u3066\u304a\u308a\u3001\u5bfe\u5fdc\u3059\u308b\u30bb\u30af\u30b7\u30e7\u30f3\u3067\u8a73\u7d30\u306b\u8aac\u660e\u3057\u307e\u3059\u3002 Termer Setting\u30b7\u30b9\u30c6\u30e0\u306e\u300c\u6a5f\u80fd\u300d\u306f Termsetzung\u95a2\u4fc2  \u2192 R{displaystyle rightArrow _ {mathcal {r}}} \u5b9a\u7fa9\u3055\u308c\u3066\u3044\u307e\u3059\u3002 \u9bae\u3084\u304b\u306a\u8aac\u660e [ \u7de8\u96c6 | \u30bd\u30fc\u30b9\u30c6\u30ad\u30b9\u30c8\u3092\u7de8\u96c6\u3057\u307e\u3059 ] \u7528\u8a9e\u306b\u9069\u5408\u3057\u307e\u3059 s {displaystyleS} \u307e\u305f\u306f\u306e\u5206\u5272\u4f1a\u793e s {displaystyleS} \u30eb\u30fc\u30eb\u306e\u5de6\u5074\u3001\u3042\u306a\u305f\u306f\u3053\u306e\u5de6\u5074\u3092\u884c\u3046\u3053\u3068\u304c\u3067\u304d\u307e\u3059 s {displaystyleS} \u5bfe\u5fdc\u3059\u308b\u30eb\u30fc\u30eb\u306e\u53f3\u5074\u306b\u7f6e\u304d\u63db\u3048\u3001\u3057\u305f\u304c\u3063\u3066\u65b0\u3057\u3044\u7528\u8a9e t {displaystylet} \u53d7\u3051\u53d6\u308b\u3002\u3053\u308c\u306f\u3001\u3044\u304f\u3064\u304b\u306e\u4f8b\u3092\u4f7f\u7528\u3057\u3066\u8868\u793a\u3055\u308c\u307e\u3059\u3002\u3053\u308c\u3092\u884c\u3046\u306b\u306f\u3001\u5358\u7d14\u306a\u7aef\u672b\u8a2d\u5b9a\u30b7\u30b9\u30c6\u30e0\u3092\u691c\u8a0e\u3057\u307e\u3059 \u305d\u306e\u7528\u8a9e f \uff08 s \uff08 \u3068 \uff09\uff09 \u3001 g \uff08 \u30d0\u30c4 \uff09\uff09 \uff09\uff09 {displaystyle f\uff08s\uff08y\uff09\u3001g\uff08x\uff09\uff09} \u3053\u306e\u30eb\u30fc\u30eb\u3082\u3067\u304d\u307e\u3059\u304b s \uff08 \u3068 \uff09\uff09 {displaystyleS\uff08y\uff09} \u8a55\u4fa1\u3002 g \uff08 f \uff08 a \u3001 b \uff09\uff09 \uff09\uff09 {displaystyle g\uff08f\uff08a\u3001b\uff09\uff09} \u3042\u306a\u305f\u3082\u3067\u304d\u307e\u3059\u304b g \uff08 a \uff09\uff09 {displaystyle g\uff08a\uff09} \u8a55\u4fa1\u3002 f \uff08 f \uff08 a \u3001 b \uff09\uff09 \u3001 c \uff09\uff09 {displaystyle f\uff08f\uff08a\u3001b\uff09\u3001c\uff09} \u4e21\u65b9\u306b1\u3064\u306e\u30b9\u30c6\u30c3\u30d7\u3067\u884c\u3046\u3053\u3068\u304c\u3067\u304d\u307e\u3059 f \uff08 a \u3001 c \uff09\uff09 {displaystyle f\uff08a\u3001c\uff09} \u540c\u69d8\u306b\u3082 f \uff08 a \u3001 b \uff09\uff09 {displaystyle f\uff08a\u3001b\uff09} \u8a55\u4fa1\u3002 \u30d5\u30a9\u30eb\u30e2\u30fc\u30eb\u306e\u5b9a\u7fa9 [ \u7de8\u96c6 | \u30bd\u30fc\u30b9\u30c6\u30ad\u30b9\u30c8\u3092\u7de8\u96c6\u3057\u307e\u3059 ] \u7528\u8a9e s {displaystyleS} \u8a55\u4fa1 t {displaystylet} \u30aa\u30d5\u3001\u66f8\u304b\u308c\u3066\u3044\u307e\u3059 s \u2192 Rt {displaystyle srightArrow _ {mathcal {r}} t} \u3001\u4ee5\u4e0b\u304c\u9069\u7528\u3055\u308c\u308b\u5834\u5408\uff1a \u30bf\u30fc\u30df\u30ca\u30eb\u8a2d\u5b9a\u30b7\u30b9\u30c6\u30e0\u306e\u9069\u7528\u9818\u57df\u306b\u5fdc\u3058\u3066\u3001\u8208\u5473\u6df1\u3044\u8cea\u554f\u304c\u3044\u304f\u3064\u304b\u3042\u308a\u307e\u3059\u3002\u3053\u308c\u3089\u306b\u306f\u4ee5\u4e0b\u304c\u542b\u307e\u308c\u307e\u3059\uff1a \u30b9\u30b1\u30b8\u30e5\u30fc\u30ea\u30f3\u30b0 [ \u7de8\u96c6 | \u30bd\u30fc\u30b9\u30c6\u30ad\u30b9\u30c8\u3092\u7de8\u96c6\u3057\u307e\u3059 ] \u3053\u3053\u3067\u306f\u3001\u7aef\u672b\u8a2d\u5b9a\u30b7\u30b9\u30c6\u30e0\u304c\u3042\u308b\u304b\u3069\u3046\u304b\u3092\u81ea\u554f\u3057\u307e\u3059 r {displaystyle {mathcal {r}}} Terme\u306f\u3001\u8a55\u4fa1\u306e\u7121\u9650\u306e\u30c1\u30a7\u30fc\u30f3\u3092\u63d0\u4f9b\u3057\u307e\u3059 s \u2192 Rs \u521d\u3081 \u2192 Rs 2 \u2192 R… {displaystyle srightArrow _ {mathcal {r}} s_ {1} rightArrow _ {mathcal {r}} s_ {2} rightArrow _ {mathcal {r}} dots} \u8a31\u53ef\u3001\u307e\u305f\u306f\u3059\u3079\u3066\u306e\u7528\u8a9e\u306e\u3059\u3079\u3066\u306e\u6d3e\u751f\u304c\u5e38\u306b\u6700\u7d42\u7684\u306b\u3002\u5f8c\u8005\u304c\u5f53\u3066\u306f\u307e\u308b\u5834\u5408\u30011\u3064\u306f\u547c\u3070\u308c\u307e\u3059 r {displaystyle {mathcal {r}}} \u307e\u305f\u3001\u30b9\u30b1\u30b8\u30e5\u30fc\u30eb\u307e\u305f\u306f\u9069\u5207\u306b\u767a\u898b\u3055\u308c\u307e\u3057\u305f\u3002 \u30b9\u30b1\u30b8\u30e5\u30fc\u30ea\u30f3\u30b0\u306e\u554f\u984c\u306f\u3001\u3059\u3079\u3066\u306e\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u304c\u5f37\u5316\u53ef\u80fd\u306a\u8a08\u7b97\u30b7\u30b9\u30c6\u30e0\u3067\u672a\u5b9a\u3067\u3059\u3002\u305f\u3060\u3057\u3001\u591a\u304f\u306e\u30bf\u30fc\u30df\u30ca\u30eb\u8a2d\u5b9a\u30b7\u30b9\u30c6\u30e0\u306e\u30b9\u30b1\u30b8\u30e5\u30fc\u30ea\u30f3\u30b0\u3092\u81ea\u52d5\u7684\u306b\u5b9f\u8a3c\u3059\u308b\u305f\u3081\u306b\u3001\u591a\u304f\u306e\u9ad8\u5ea6\u306a\u624b\u6cd5\u304c\u3042\u308a\u307e\u3059\u3002\u4e00\u822c\u7684\u306a\u30a2\u30d7\u30ed\u30fc\u30c1\u306f\u3001\u9069\u5207\u306b\u767a\u898b\u3055\u308c\u305f\u9806\u5e8f\u3067\u3059 \u227b {displaystyle couc} \u3068 \u2192 R\u2286 \u227b {displaystyle {rightArrow _ {mathcal {r}}} subleteq {couc}} \u305d\u308c\u3092\u898b\u3064\u3051\u308b\u305f\u3081\u306b l \u227b r {displaystyle lsucc r} \u3059\u3079\u3066\u306e\u30eb\u30fc\u30eb\u306b\u3064\u3044\u3066 l \u2192 Rr {displaystyle lrightarrow _ {mathcal {r}} r} TES\u304c\u9069\u7528\u3055\u308c\u307e\u3059\u3002\u3055\u3089\u306b\u3001\u3042\u306a\u305f\u304c\u4ee3\u7528\u54c1\u3067\u3042\u308b\u5834\u5408\u3001\u3053\u306e\u9806\u5e8f\u306f\u4fdd\u5b58\u3059\u308b\u5fc5\u8981\u304c\u3042\u308a\u307e\u3059 l {displaystyle l} \u3068 r {displaystyle r} Applied\uff08\u6ce8\u6587\u3059\u308b\u5fc5\u8981\u304c\u3042\u308a\u307e\u3059 \u5b89\u5b9a be\uff09\u307e\u305f\u306fif l {displaystyle l} \u3068 r {displaystyle r} \u5225\u306e\u7528\u8a9e\u306e\u914d\u5f53\u3068\u3057\u3066\u8868\u793a\u3055\u308c\u307e\u3059\uff08\u6ce8\u6587\u306f\u3057\u306a\u3051\u308c\u3070\u306a\u308a\u307e\u305b\u3093 \u5358\u8abf\u306a \u306a\u308c\uff09\u3002\u4ed6\u306b\u3082\u591a\u304f\u306e\u65b9\u6cd5\u304c\u3042\u308a\u307e\u3059\u3002\u305f\u3068\u3048\u3070\u3001\u7528\u8a9e\u306f\u30dd\u30ea\u30ce\u30e0\u307e\u305f\u306f\u30de\u30c8\u30ea\u30c3\u30af\u30b9\u3068\u3057\u3066\u89e3\u91c8\u3055\u308c\u3001\u6a5f\u80fd\u30b7\u30f3\u30dc\u30eb\u306e\u4f9d\u5b58\u95a2\u4fc2\u306e\u3088\u308a\u6b63\u78ba\u306a\u5206\u6790\u3092\u5b9f\u884c\u3067\u304d\u307e\u3059\u3002\u3053\u306e\u305f\u3081\u306b\u3001\u3055\u3089\u306a\u308b\u6587\u732e\u3092\u53c2\u7167\u3057\u3066\u304f\u3060\u3055\u3044\u3002 \u5408\u6d41 [ \u7de8\u96c6 | \u30bd\u30fc\u30b9\u30c6\u30ad\u30b9\u30c8\u3092\u7de8\u96c6\u3057\u307e\u3059 ] \u7528\u8a9e\u306b\u57fa\u3065\u3044\u3066\u3001\u3044\u304f\u3064\u304b\u306e\u53ef\u80fd\u306a\u5c0e\u51fa\u304c\u3042\u308a\u307e\u3059\u3002\u3068 \u5408\u6d41 \u7570\u306a\u308b\u65b9\u6cd5\u3067\u7570\u306a\u308b\u65b9\u6cd5\u3067\u51fa\u73fe\u3059\u308b2\u3064\u306e\u7528\u8a9e\u3092\u5e38\u306b\u307e\u3068\u3081\u3066\u7528\u8a9e\u3092\u5f62\u6210\u3059\u308b\u3053\u3068\u304c\u3067\u304d\u308b\u7aef\u5b50\u8a2d\u5b9a\u30b7\u30b9\u30c6\u30e0\u306e\u30d7\u30ed\u30d1\u30c6\u30a3\u3092\u6307\u3059\u5834\u5408\u3002\u95a2\u9023\u3059\u308b\u8cea\u554f\u306f\u3001\u7aef\u5b50\u8a2d\u5b9a\u30b7\u30b9\u30c6\u30e0\u306b\u3088\u3063\u3066\u8a18\u8ff0\u3055\u308c\u305f\u540c\u3058\u5165\u529b\u306e\u8a08\u7b97\u304c\u5e38\u306b\u540c\u3058\u7d50\u679c\u306b\u306a\u308b\u304b\u3069\u3046\u304b\u3067\u3059\uff08\u900f\u660e\u306a\u901a\u5e38\u306e\u5f62\u5f0f\uff09\u3002\u30b3\u30f3\u30d5\u30eb\u30a8\u30c6\u30a3\u306f\u4e00\u822c\u306b\u3001\u30b9\u30b1\u30b8\u30e5\u30fc\u30eb\u3068\u540c\u3058\u304f\u3089\u3044\u8b70\u8ad6\u306e\u4f59\u5730\u304c\u3042\u308a\u307e\u305b\u3093\u3002 \u30b9\u30b1\u30b8\u30e5\u30fc\u30eb\u3055\u308c\u3001\u30b3\u30f3\u30d5\u30eb\u30a8\u30f3\u30c8\u306a\u7aef\u5b50\u8a2d\u5b9a\u30b7\u30b9\u30c6\u30e0\u3082\u3068\u3082\u547c\u3070\u308c\u307e\u3059 \u53ce\u675f \u3002\u3053\u306e\u3088\u3046\u306a\u30b7\u30b9\u30c6\u30e0\u306b\u306f\u3001\u5404\u7528\u8a9e\u306b\u660e\u78ba\u306a\u6b63\u5e38\u5f62\u5f0f\u304c\u3042\u308a\u307e\u3059\u3002\u7d42\u7aef\u7aef\u5b50\u8a2d\u5b9a\u30b7\u30b9\u30c6\u30e0\u304c\u30b3\u30f3\u30d5\u30eb\u30a8\u30f3\u30c8\u3067\u3042\u308b\u304b\u3069\u3046\u304b\u306f\u6c7a\u5b9a\u7684\u3067\u3059\u3002 [\u521d\u3081] \u7d42\u4e86\u30b7\u30b9\u30c6\u30e0\u306f\u3001\u6570\u5b66\u7684\u306b\u51e6\u7406\u3059\u308b\u69cb\u9020\u3068\u3057\u3066\u306e\u7406\u8ad6\u7684\u30b3\u30f3\u30d4\u30e5\u30fc\u30bf\u30fc\u30b5\u30a4\u30a8\u30f3\u30b9\u304b\u3089\u306e\u554f\u984c\u306e\u30b3\u30f3\u30d4\u30e5\u30fc\u30bf\u30fc\u652f\u63f4\u51e6\u7406\u306b\u9069\u3057\u3066\u3044\u307e\u3059\u3002\u4e00\u90e8\u306e\u30a2\u30d7\u30ea\u30b1\u30fc\u30b7\u30e7\u30f3\u306f\u6b21\u306e\u3068\u304a\u308a\u3067\u3059\u3002 \u554f\u984c\u306e\u554f\u984c\u306e\u6c7a\u5b9a\u624b\u9806 [ \u7de8\u96c6 | \u30bd\u30fc\u30b9\u30c6\u30ad\u30b9\u30c8\u3092\u7de8\u96c6\u3057\u307e\u3059 ] \u7528\u8a9e\u65b9\u7a0b\u5f0f\u30b7\u30b9\u30c6\u30e0 \u3068 {displaystyle {mathcal {e}}} \u7528\u8a9e\u9593\u306e\u591a\u304f\u306e\u65b9\u7a0b\u5f0f\u3067\u3059\u3002\u4e0b \u5358\u8a9e\u306e\u554f\u984c \u305f\u3081\u306b \u3068 {displaystyle {mathcal {e}}} \u65b9\u7a0b\u5f0f\u306e\u554f\u984c\u3092\u7406\u89e3\u3057\u307e\u3059 s = t {displaystyle s = t} \u65b9\u7a0b\u5f0f\u306e\u524d\u63d0\u6761\u4ef6\u306b\u9069\u7528\u3055\u308c\u307e\u3059 \u3068 {displaystyle {mathcal {e}}} \u672c\u5f53\u3067\u3059\u3002\u3067\u304d\u308b\u4f8b\u3068\u3057\u3066 \u3068 {displaystyle {mathcal {e}}} \u30b0\u30eb\u30fc\u30d7\u516c\u7406\u304c\u30b3\u30fc\u30c7\u30a3\u30f3\u30b0\u3057\u307e\u3057\u305f\uff1a f\uff08x\u3001f\uff08y\u3001z\uff09\uff09= f\uff08f\uff08x\u3001y\uff09\u3001z\uff09   f\uff08x\u3001e\uff09= x   f\uff08x\u3001i\uff08x\uff09\uff09= e \u3053\u308c\u304c\u30c0\u30d6\u30eb\u30c7\u30a3\u30ae\u30c3\u30c8\u306e\u6a5f\u80fd\u30b7\u30f3\u30dc\u30eb\u3067\u3059 f {displaystyle f} \u30b0\u30eb\u30fc\u30d7\u30ea\u30f3\u30af\u306e\u5834\u5408\u3001\u5358\u4e00\u8ddd\u96e2\u95a2\u6570 \u79c1 {displaystyle i} \u9006\u8981\u7d20\u3068\u5b9a\u6570\u3092\u5c4a\u3051\u307e\u3059 \u305d\u3046\u3067\u3059 {displaystyle e} \u30cb\u30e5\u30fc\u30c8\u30e9\u30eb\u8981\u7d20\u306b\u3064\u3044\u3066\u8aac\u660e\u3057\u307e\u3059\u3002 \u30d0\u30c4 {displaystyle x} \u3001 \u3068 {displaystyle y} \u3068 \u3068 {displaystyle with} \u5909\u6570\u3067\u3059\u3002\u3042\u306a\u305f\u306f\u4eca\u3001\u624b\u9806\u3092\u63a2\u3057\u3066\u3044\u307e\u3059\u3001\u81ea\u52d5\u7684\u306b\u65b9\u7a0b\u5f0f \u79c1 \uff08 \u305d\u3046\u3067\u3059 \uff09\uff09 = \u305d\u3046\u3067\u3059 {displaystyle i\uff08e\uff09= e} \u307e\u305f \u79c1 \uff08 \u79c1 \uff08 \u30d0\u30c4 \uff09\uff09 \uff09\uff09 = \u30d0\u30c4 {displaystyle i\uff08i\uff08x\uff09\uff09= x} \u5f7c\u3089\u306e\u771f\u5b9f\u306e\u5185\u5bb9\u3092\u30c1\u30a7\u30c3\u30af\u3057\u307e\u3059\u3002 \u3053\u306e\u76ee\u7684\u306e\u305f\u3081\u306b\u3001\u65b9\u7a0b\u5f0f\u30b7\u30b9\u30c6\u30e0\u306b\u69cb\u7bc9\u3057\u307e\u3059 \u3068 {displaystyle {mathcal {e}}} a \u540c\u7b49 \u3068 \u53ce\u675f Termsetzung\u30b7\u30b9\u30c6\u30e0 r {displaystyle {mathcal {r}}} \u3002 \u306b\u76f8\u5f53 \u3053\u3053\u3067\u305d\u308c\u3092\u610f\u5473\u3057\u307e\u3059 s = t {displaystyle s = t} \u6b63\u78ba\u306b\u9069\u7528\u3055\u308c\u307e\u3059 s \u2194 R\u2217 t {displaystyle sleftrightarrow _ {mathcal {r}}^{*} t} \u3002\u30b9\u30da\u30eb \u2194 R\u2217 {displaystyle leftrightarrow _ {mathcal {r}}^{*}} \u3053\u3053\u3067\u306f\u3001\u7aef\u672b\u306e\u548c\u89e3\u95a2\u4fc2\u3092\u3053\u3053\u3067\u3067\u304d\u308b\u3060\u3051\u983b\u7e41\u306b\u3001\u305d\u3057\u3066\u4e21\u65b9\u5411\u306b\u4f7f\u7528\u3067\u304d\u308b\u3053\u3068\u3092\u610f\u5473\u3057\u307e\u3059\u3002 \u3042\u306a\u305f\u304c\u4eca\u305d\u306e\u3088\u3046\u306a\u53ce\u675f\u30c6\u30b9\u30c8\u3092\u4e0e\u3048\u305f\u5834\u5408\u3001\u554f\u984c\u3068\u3044\u3046\u8a00\u8449\u306f s = t {displaystyle s = t} \u5358\u306b\u89e3\u6c7a\u3057\u307e\u3059 s {displaystyleS} \u3068 t {displaystylet} \u306e\u306b\u3088\u3063\u3066 \u2192 R{displaystyle rightArrow _ {mathcal {r}}} \u4f55\u3089\u304b\u306e\u5f62\u3067\u8a55\u4fa1\u3059\u308b\u9650\u308a\u3001\u305d\u308c\u4ee5\u4e0a\u306e\u8a55\u4fa1\u304c\u4e0d\u53ef\u80fd\u306b\u306a\u308b\u307e\u3067\u3002 TES\u306f\u524d\u63d0\u6761\u4ef6\u306b\u5fdc\u3058\u3066\u53ce\u675f\u3057\u3066\u3044\u308b\u305f\u3081\u3001\u7121\u9650\u306e\u8a55\u4fa1\u306f\u3042\u308a\u307e\u305b\u3093\u3002\u3057\u305f\u304c\u3063\u3066\u3001\u624b\u9806\u81ea\u4f53\u304c\u7d42\u4e86\u3057\u307e\u3059\u3002 TES\u3082\u30b3\u30f3\u30d5\u30eb\u30a8\u30f3\u30c8\u3067\u3042\u308b\u305f\u3081\u3001\u9078\u629e\u3057\u305f\u8a55\u4fa1\u306e\u3046\u3061\u3001\u3069\u306e\u3088\u3046\u306a\u8a55\u4fa1\u304c\u304b\u304b\u308a\u307e\u305b\u3093\u3002\u3053\u308c\u3067\u30012\u3064\u306e\u7528\u8a9e\u306e\u8a55\u4fa1\u304c\u540c\u3058\u7528\u8a9e\u306b\u3064\u306a\u304c\u308b\u305f\u3081\u3001\u9069\u7528\u3055\u308c\u307e\u3059 s = t {displaystyle s = t} \u306e\u65b9\u7a0b\u5f0f \u3068 {displaystyle {mathcal {e}}} \u3002 \u554f\u984c\u306e\u554f\u984c\u306f\u672a\u5b9a\u3067\u3042\u308b\u305f\u3081\u3001\u5bfe\u5fdc\u3059\u308b\u65b9\u7a0b\u5f0f\u306e\u30b7\u30b9\u30c6\u30e0\u306b\u554f\u984c\u3092\u6c7a\u5b9a\u3059\u308b\u53ce\u675f\u7aef\u5b50\u8a2d\u5b9a\u30b7\u30b9\u30c6\u30e0\u3092\u5e38\u306b\u898b\u3064\u3051\u308b\u3053\u3068\u306f\u3067\u304d\u307e\u305b\u3093\u3002 Knuth-Bendix\u306e\u5b8c\u4e86\u624b\u9806\u306f\u3001\u53ce\u675f\u7aef\u5b50\u8a2d\u5b9a\u30b7\u30b9\u30c6\u30e0\u306e\u69cb\u7bc9\u306e\u624b\u9806\u3067\u3059\u3002 [\u521d\u3081] \u6210\u529f\u3057\u305f\u5834\u5408\u3001\u7279\u5b9a\u306e\u65b9\u7a0b\u5f0f\u3068\u9069\u5207\u306a\u30bf\u30fc\u30e0\u898f\u5236\u306e\u540c\u7b49\u306e\u53ce\u675f\u7aef\u5b50\u8a2d\u5b9a\u30b7\u30b9\u30c6\u30e0\u3092\u8a08\u7b97\u3057\u307e\u3059\u3002\u305f\u3060\u3057\u3001Knuth-Bendix\u306e\u5b8c\u4e86\u624b\u9806\u306e\u7d42\u4e86\u3082\u6210\u529f\u3082\u4fdd\u8a3c\u3055\u308c\u3066\u3044\u307e\u305b\u3093\u3002\u4e0a\u8a18\u306e\u30b0\u30eb\u30fc\u30d7\u516c\u7406\u306e\u5834\u5408\u3001Knuth-Bendix\u306f\u5b8c\u4e86\u624b\u9806\u3092\u8a08\u7b97\u3057\u307e\u3059\u3002 B.\u6b21\u306e\u53ce\u675f\u7aef\u5b50\u8a2d\u5b9a\u30b7\u30b9\u30c6\u30e0\uff1a f\uff08x\u3001e\uff09 - > x   f\uff08e\u3001x\uff09 - > x   f\uff08x\u3001i\uff08x\uff09\uff09 - > e   f\uff08i\uff08x\uff09\u3001x\uff09 - > e   f\uff08f\uff08x\u3001y\uff09\u3001z\uff09 - > f\uff08x\u3001f\uff08y\u3001z\uff09\uff09   f\uff08x\u3001f\uff08i\uff08x\uff09\u3001y\uff09\uff09 - > y   f\uff08i\uff08x\uff09\u3001f\uff08x\u3001y\uff09\uff09 - > y   i\uff08e\uff09 - > e   i\uff08i\uff08x\uff09\uff09 - > x   i\uff08f\uff08x\u3001y\uff09\uff09 - > f\uff08i\uff08y\uff09\u3001i\uff08x\uff09\uff09 \u30b9\u30b1\u30b8\u30e5\u30fc\u30ea\u30f3\u30b0\u5206\u6790 [ \u7de8\u96c6 | \u30bd\u30fc\u30b9\u30c6\u30ad\u30b9\u30c8\u3092\u7de8\u96c6\u3057\u307e\u3059 ] \u30b9\u30b1\u30b8\u30e5\u30fc\u30eb\u3092\u793a\u3059\u3053\u3068\u304c\u3067\u304d\u308b\u7aef\u672b\u8a2d\u5b9a\u30b7\u30b9\u30c6\u30e0\u306b\u306f\u975e\u5e38\u306b\u591a\u304f\u306e\u5f37\u529b\u306a\u624b\u6cd5\u304c\u3042\u308b\u305f\u3081\u3001\u3088\u308a\u9ad8\u3044\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u306e\u30d7\u30ed\u30b0\u30e9\u30e0\u306f\u7aef\u672b\u8a2d\u5b9a\u30b7\u30b9\u30c6\u30e0\u306b\u5909\u63db\u3055\u308c\u3001\u3053\u308c\u3089\u306e\u624b\u6cd5\u3092\u4f7f\u7528\u3057\u307e\u3059\u3002\u30c4\u30fc\u30eb \u9152 \u3001Rwth Aachen\u3067\u958b\u767a\u3055\u308c\u305f\u3001\u3053\u308c\u306f\u4ee5\u524d\u306b\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u306eProgue\u3068Haskell\u3092\u5b9f\u88c5\u3057\u3066\u3044\u307e\u3059\u3002 Java\u306a\u3069\u306e\u547d\u4ee4\u304a\u3088\u3073\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u6307\u5411\u306e\u8a00\u8a9e\u306e\u6271\u3044\u306f\u3001\u73fe\u5728\u306e\u7814\u7a76\u306e\u5bfe\u8c61\u3067\u3059\u3002 F. Bader\u3001T\u3002Nipkow\uff1a \u7528\u8a9e\u66f8\u304d\u63db\u3048\u306a\u3069 \u3002\u30b1\u30f3\u30d6\u30ea\u30c3\u30b8\u5927\u5b66\u51fa\u7248\u5c40\u30011999\u5e74\u3002 J.\u30a2\u30d9\u30f3\u30cf\u30a6\u30b9\uff1a \u9084\u5143\u30b7\u30b9\u30c6\u30e0 \u3002 Springs-Publiser\u30011995\u3001ISBN 3-540 38559-1\u3002 R.\u30d0\u30f3\u30c7\u30a3\uff1a \u7d42\u4e86\u30b7\u30b9\u30c6\u30e0\u7406\u8ad6\u3001\u5b9f\u88c5\u3001\u30a2\u30d7\u30ea\u30b1\u30fc\u30b7\u30e7\u30f3 \u3002\u30d3\u30e5\u30fc1998\u3001ISBN 3-528-05652-5; \u30dd\u30b9\u30c8\u30b9\u30af\u30ea\u30d7\u30c8 \u3001 PDF \u30c6\u30ec\u30bc\u3002 \u671f\u9593\u66f8\u304d\u63db\u3048\u30b7\u30b9\u30c6\u30e0 \u3002\u30b1\u30f3\u30d6\u30ea\u30c3\u30b8\u5927\u5b66\u51fa\u7248\u5c40\u30012003\u5e74\u3001ISBN 0-521-39115-6 \u2191 a b  D. E. Knuth\u3001P\u3002B\u3002Bendix\uff1a \u30e6\u30cb\u30d0\u30fc\u30b5\u30eb\u4ee3\u6570\u306e\u5358\u7d14\u306a\u554f\u984c \u3002\u306e\uff1a \u62bd\u8c61\u4ee3\u6570\u306e\u8a08\u7b97\u4e0a\u306e\u554f\u984c \u3002\u30da\u30eb\u30ac\u30e2\u30f3\u30d7\u30ec\u30b9\u30011970\u5e74\u3002       (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4"},{"@context":"http:\/\/schema.org\/","@type":"BreadcrumbList","itemListElement":[{"@type":"ListItem","position":1,"item":{"@id":"https:\/\/wiki.edu.vn\/all2jp\/wiki10\/#breadcrumbitem","name":"Enzyklop\u00e4die"}},{"@type":"ListItem","position":2,"item":{"@id":"https:\/\/wiki.edu.vn\/all2jp\/wiki10\/archives\/6826#breadcrumbitem","name":"\u30bf\u30fc\u30df\u30ca\u30fc\u8a2d\u5b9a\u30b7\u30b9\u30c6\u30e0-Wikipedia"}}]}]