[{"@context":"http:\/\/schema.org\/","@type":"BlogPosting","@id":"https:\/\/wiki.edu.vn\/all2jp\/wiki10\/archives\/18734#BlogPosting","mainEntityOfPage":"https:\/\/wiki.edu.vn\/all2jp\/wiki10\/archives\/18734","headline":"\u7528\u8a9e – \u30a6\u30a3\u30ad\u30da\u30c7\u30a3\u30a2","name":"\u7528\u8a9e – \u30a6\u30a3\u30ad\u30da\u30c7\u30a3\u30a2","description":"before-content-x4 \u6570\u5b66\u306b\u306fa \u5b66\u671f \u6570\u5024\u3001\u5909\u6570\u3001\u6570\u5b66\u7684\u30ea\u30f3\u30af\u3068\u30d6\u30e9\u30b1\u30c3\u30c8\u306e\u30b7\u30f3\u30dc\u30eb\u306e\u8ce2\u660e\u306a\u7d44\u307f\u5408\u308f\u305b\u3002\u51fa\u767a\u70b9\u306f\u3001\u3059\u3079\u3066\u306e\u6570\u5024\uff08\u5b9a\u6570\uff09\u3068\u5909\u6570\u3092\u542b\u3080\u539f\u5b50\u9805\u3067\u3059\u3002\u7528\u8a9e\u306f\u3001\u6570\u5b66\u306e\u6b63\u5f0f\u306a\u8a00\u8a9e\u3067\u69cb\u6587\u7684\u306b\u6b63\u3057\u304f\u5f62\u6210\u3055\u308c\u305f\u5358\u8a9e\u307e\u305f\u306f\u5358\u8a9e\u30b0\u30eb\u30fc\u30d7\u3068\u898b\u306a\u3059\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3002 after-content-x4 \u5b9f\u969b\u306b\u306f\u3001\u3053\u306e\u7528\u8a9e\u306f\u3001\u5f0f\u307e\u305f\u306f\u3088\u308a\u5927\u304d\u306a\u7528\u8a9e\u306e\u500b\u3005\u306e\u30b3\u30f3\u30dd\u30fc\u30cd\u30f3\u30c8\u306b\u3064\u3044\u3066\u8a71\u3059\u305f\u3081\u306b\u3088\u304f\u4f7f\u7528\u3055\u308c\u307e\u3059\u3002\u305f\u3068\u3048\u3070\u3001\u7dda\u5f62\u95a2\u6570\u306b\u306f\u3067\u304d\u307e\u3059 f \uff08 \u30d0\u30c4 \uff09\uff09 = m \u30d0\u30c4 + b {displaystyle f\uff08x\uff09= mx+b} \u7dda\u5f62\u7528\u8a9e\u304b\u3089 after-content-x4","datePublished":"2021-12-02","dateModified":"2021-12-02","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:\/\/upload.wikimedia.org\/wikipedia\/commons\/thumb\/e\/ea\/Disambig-dark.svg\/25px-Disambig-dark.svg.png","url":"https:\/\/upload.wikimedia.org\/wikipedia\/commons\/thumb\/e\/ea\/Disambig-dark.svg\/25px-Disambig-dark.svg.png","height":"19","width":"25"},"url":"https:\/\/wiki.edu.vn\/all2jp\/wiki10\/archives\/18734","wordCount":30101,"articleBody":"     (adsbygoogle = window.adsbygoogle || []).push({});before-content-x4\u6570\u5b66\u306b\u306fa \u5b66\u671f \u6570\u5024\u3001\u5909\u6570\u3001\u6570\u5b66\u7684\u30ea\u30f3\u30af\u3068\u30d6\u30e9\u30b1\u30c3\u30c8\u306e\u30b7\u30f3\u30dc\u30eb\u306e\u8ce2\u660e\u306a\u7d44\u307f\u5408\u308f\u305b\u3002\u51fa\u767a\u70b9\u306f\u3001\u3059\u3079\u3066\u306e\u6570\u5024\uff08\u5b9a\u6570\uff09\u3068\u5909\u6570\u3092\u542b\u3080\u539f\u5b50\u9805\u3067\u3059\u3002\u7528\u8a9e\u306f\u3001\u6570\u5b66\u306e\u6b63\u5f0f\u306a\u8a00\u8a9e\u3067\u69cb\u6587\u7684\u306b\u6b63\u3057\u304f\u5f62\u6210\u3055\u308c\u305f\u5358\u8a9e\u307e\u305f\u306f\u5358\u8a9e\u30b0\u30eb\u30fc\u30d7\u3068\u898b\u306a\u3059\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3002        (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4\u5b9f\u969b\u306b\u306f\u3001\u3053\u306e\u7528\u8a9e\u306f\u3001\u5f0f\u307e\u305f\u306f\u3088\u308a\u5927\u304d\u306a\u7528\u8a9e\u306e\u500b\u3005\u306e\u30b3\u30f3\u30dd\u30fc\u30cd\u30f3\u30c8\u306b\u3064\u3044\u3066\u8a71\u3059\u305f\u3081\u306b\u3088\u304f\u4f7f\u7528\u3055\u308c\u307e\u3059\u3002\u305f\u3068\u3048\u3070\u3001\u7dda\u5f62\u95a2\u6570\u306b\u306f\u3067\u304d\u307e\u3059 f \uff08 \u30d0\u30c4 \uff09\uff09 = m \u30d0\u30c4 + b {displaystyle f\uff08x\uff09= mx+b} \u7dda\u5f62\u7528\u8a9e\u304b\u3089        (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4m \u30d0\u30c4 {displaystyle mx} \u305d\u3057\u3066\u4e00\u5b9a\u306e\u7528\u8a9e b {displaystyle b} \u4e57\u3063\u305f\u3002 \u300c\u7528\u8a9e\u300d\u3068\u3044\u3046\u7528\u8a9e\u306f\u3001\u610f\u5473\u304c\u3042\u308b\u3059\u3079\u3066\u306e\u3082\u306e\u306b\u5bfe\u3057\u3066\u53e3\u8a9e\u7684\u306b\u4f7f\u7528\u3055\u308c\u307e\u3059\u3002\u3088\u308a\u72ed\u3044\u610f\u5473\u3067\u306f\u3001\u5c11\u306a\u304f\u3068\u3082\u542b\u307e\u308c\u308b\u5909\u6570\u5024\u3092\u5272\u308a\u5f53\u3066\u305f\u5834\u5408\u3001\u6570\u5b66\u7684\u69cb\u9020\u306f\u539f\u5247\u3068\u3057\u3066\u8a08\u7b97\u3067\u304d\u308b\u3053\u3068\u3092\u610f\u5473\u3057\u307e\u3059\u3002\u305f\u3068\u3048\u3070\u3001\u3067\u3059 \uff08 \u30d0\u30c4 + \u3068 \uff09\uff09 2 {displaystyle\uff08x+y\uff09^{2}} \u305d\u306e\u4e2d\u306b\u542b\u307e\u308c\u308b\u5909\u6570\u3092\u8868\u793a\u3059\u308b\u305f\u3081\u3001\u7528\u8a9e        (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4\u30d0\u30c4 {displaystyle x} \u3068 \u3068 {displaystyle y} \u3053\u306e\u7528\u8a9e\u306f\u3001\u5024\u306b\u5024\u3092\u4e0e\u3048\u307e\u3059\u3002\u6570\u5b57\u306e\u4ee3\u308f\u308a\u306b\u3001\u4ed6\u306e\u6570\u5b66\u7684\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u3082\u3053\u3053\u3067\u8003\u616e\u3059\u308b\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3001 [\u521d\u3081] \u305d\u308c\u3082\u305d\u3046\u3067\u3059 \uff08 p \u521d\u3081 \u2228 \u00ac p 2 \uff09\uff09 \u2227 p 3 {displaystyle\uff08p_ {1} vee neg p_ {2}\uff09\u30a6\u30a7\u30c3\u30b8p_ {3}} \u30d6\u30fc\u30eb\u3092\u5909\u6570\u306b\u5909\u6570\u3059\u308b\u3068\u5024\u3092\u53d6\u5f97\u3059\u308b\u7528\u8a9e p \u521d\u3081 \u3001 p 2 \u3001 p 3 {displaystyle p_ {1}\u3001p_ {2}\u3001p_ {3}} \u771f\u7406\u5024\u3092\u5272\u308a\u5f53\u3066\u307e\u3057\u305f\u3002 [2] \u305f\u3060\u3057\u3001\u901a\u5e38\uff081\u56de\u306e\u30ed\u30b8\u30c3\u30af\uff09\u3001\u305f\u3060\u3057\u3001\u6b63\u78ba\u306a\u6570\u5b66\u7684\u5b9a\u7fa9\u306f\u3001\u4ee5\u4e0b\u306b\u8aac\u660e\u3059\u308b\u3088\u3046\u306b\u3001\u53ef\u80fd\u306a\u5024\u306e\u5272\u308a\u5f53\u3066\u3092\u53c2\u7167\u3057\u3066\u3044\u307e\u305b\u3093\u3002 \u7528\u8a9e\u306f\u65b9\u7a0b\u5f0f\u307e\u305f\u306f\u95a2\u4fc2\u306e\u30da\u30fc\u30b8\u3067\u3042\u308b\u3068\u5927\u307e\u304b\u306b\u8a00\u3046\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3002 B.\u4e0d\u5e73\u7b49\u306f\u3002\u65b9\u7a0b\u5f0f\u307e\u305f\u306f\u95a2\u4fc2\u81ea\u4f53\u306f\u7528\u8a9e\u3067\u306f\u306a\u304f\u3001\u7528\u8a9e\u3067\u69cb\u6210\u3055\u308c\u307e\u3059\u3002 \u901a\u5e38\u3001\u6b21\u306e\u64cd\u4f5c\u306f\u6761\u4ef6\u3067\u5b9f\u884c\u3067\u304d\u307e\u3059\u3002 \u7528\u8a9e\u307e\u305f\u306f\u90e8\u5206\u7684\u306a\u3082\u306e\u306f\u3001\u591a\u304f\u306e\u5834\u5408\u3001\u30b3\u30f3\u30c6\u30f3\u30c4\u306b\u5f93\u3063\u3066\u547d\u540d\u3055\u308c\u307e\u3059\u3002\u7528\u8a9e\u3067 12m \u306e 2 + m g h {displaystyle {tfrac {1} {2}} mv^{2}+mgh} \u3001\u7269\u7406\u5b66\u306b\u304a\u3051\u308b\u8cea\u91cf\u70b9\u306e\u6a5f\u68b0\u7684\u30a8\u30cd\u30eb\u30ae\u30fc\u3092\u8868\u3057\u3001\u6700\u521d\u306esummand\u306f\u300c\u904b\u52d5\u30a8\u30cd\u30eb\u30ae\u30fc\u300d\u3068\u547c\u3070\u308c\u30012\u756a\u76ee\u306e\u300c\u30dd\u30c6\u30f3\u30b7\u30e3\u30eb\u30a8\u30cd\u30eb\u30ae\u30fc\u300d\u3068\u547c\u3070\u308c\u307e\u3059\u3002\u7279\u5fb4\u7684\u306a\u7279\u6027\u306f\u3001\u547d\u540d\u306b\u3088\u304f\u4f7f\u7528\u3055\u308c\u307e\u3059\u3002\u3057\u305f\u304c\u3063\u3066\u3001\u300c\u56db\u89d2\u3044\u7528\u8a9e\u300d\u304c\u3042\u308a\u307e\u3059 \u30d0\u30c4 3 + 7 \u30d0\u30c4 2  –  2 \u30d0\u30c4 + \u521d\u3081 {displaystyle x^{3}+7x^{2} -2x+1} \u5206\u5272 7 \u30d0\u30c4 2 {displaystyle 7x^{2}} \u3053\u308c\u304c\u5909\u6570\u3067\u3042\u308b\u5206\u88c2\u8005\u3060\u304b\u3089\u3067\u3059 \u30d0\u30c4 {displaystyle x} Quadried\u30d5\u30a9\u30fc\u30e0\u306b\u542b\u307e\u308c\u3066\u3044\u307e\u3059\u3002 \u6570\u5b66\u7684\u8ad6\u7406\u3067\u4e0e\u3048\u3089\u308c\u305f\u7528\u8a9e\u306e\u6b63\u78ba\u306a\u6570\u5b66\u7684\u5b9a\u7fa9\u306f\u3001\u3069\u306e\u7528\u8a9e\u304c\u69cb\u7bc9\u3055\u308c\u3066\u3044\u308b\u304b\u306b\u5f93\u3063\u3066\u898f\u5247\u306b\u540d\u524d\u3092\u4ed8\u3051\u307e\u3059\u3002\u7528\u8a9e\u306f\u3001\u305d\u306e\u3088\u3046\u306a\u30eb\u30fc\u30eb\u306e\u4f7f\u7528\u304b\u3089\u751f\u3058\u308b\u8868\u73fe\u3067\u3059\u3002 [3] [4] \u7279\u5b9a\u306e\u7f72\u540d\u306b\u5bfe\u3059\u308b\u3059\u3079\u3066\u306e\u6761\u4ef6\u306e\u91d1\u984d s {displaystyle {boldsymbol {s}}} \u304a\u3088\u3073\u5909\u52d5\u91cf \u306e {displaystyle {mathcal {v}}} \u591a\u5206 TS\u3001 V{displaystyle {boldsymbol {mathcal {t}}} _ {{boldsymbol {s}}\u3001{mathcal {v}}}}}} \u3001\u5909\u6570\u306e\u306a\u3044\u7528\u8a9e\u306e\u5834\u5408 \uff08 V= \u2205 {displaystyle {mathcal {v}} = emptySet} \uff09\uff09 \u5358\u306b Ts {displaystyle {boldsymbol {mathcal {t}}} _ {boldsymbol {s}}}} \u3002 \u6a5f\u80fd\u7684\u306a\u30b7\u30f3\u30dc\u30eb\u306e\u305f\u3081\u3001\u306e\u8981\u7d20\u9593\u306e\u30ea\u30f3\u30af TS\u3001 V{displaystyle {boldsymbol {mathcal {t}}} _ {{boldsymbol {s}}\u3001{mathcal {v}}}}}} \u307e\u305f\u3002 Ts {displaystyle {boldsymbol {mathcal {t}}} _ {boldsymbol {s}}}} \u3053\u308c\u3089\u306e\u91cf\u306e\u30b9\u30c8\u30ea\u30f3\u30b0\u30c1\u30a7\u30fc\u30f3\u81ea\u4f53\u304c\u4ee3\u6570\u69cb\u9020\u306b\u306a\u308b\u8a98\u5c0e \u30b5\u30fc\u30de\u30eb\u30ac\u30d6\u30e9 \u307e\u305f\u3002 \u57fa\u672c\u7684\u306a\u30b5\u30fc\u30de\u30eb\u30ac\u30d6\u30e9 \u306a\u308b\u3002 \u521d\u7b49\u8a00\u8a9e#terme\u3001\u8ad6\u7406\u5f0f\u3082\u53c2\u7167\u3057\u3066\u304f\u3060\u3055\u3044\u3002 Table of Contents\u5099\u8003 [ \u7de8\u96c6 | \u30bd\u30fc\u30b9\u30c6\u30ad\u30b9\u30c8\u3092\u7de8\u96c6\u3057\u307e\u3059 ] \u4f8b [ \u7de8\u96c6 | \u30bd\u30fc\u30b9\u30c6\u30ad\u30b9\u30c8\u3092\u7de8\u96c6\u3057\u307e\u3059 ] \u5f0f [ \u7de8\u96c6 | \u30bd\u30fc\u30b9\u30c6\u30ad\u30b9\u30c8\u3092\u7de8\u96c6\u3057\u307e\u3059 ] \u4f8b [ \u7de8\u96c6 | \u30bd\u30fc\u30b9\u30c6\u30ad\u30b9\u30c8\u3092\u7de8\u96c6\u3057\u307e\u3059 ] \u5099\u8003 [ \u7de8\u96c6 | \u30bd\u30fc\u30b9\u30c6\u30ad\u30b9\u30c8\u3092\u7de8\u96c6\u3057\u307e\u3059 ] \u4e0a\u8a18\u306b\u5f93\u3063\u3066\u3001 +\u3067\u6307\u5b9a\u3055\u308c\u305f\u8ffd\u52a0\u3092\u898b\u308b\u3068\u3001\u6b63\u5f0f\u306a\u5b9a\u7fa9 + \uff08 \u30d0\u30c4 \u3001 \u3068 \uff09\uff09 {displaystyle +\uff08x\u3001y\uff09} \u7528\u8a9e\u3001 \u30d0\u30c4 + \u3068 {displaystyle x+y} \u4e00\u65b9\u3001\u305d\u3046\u3067\u306f\u3042\u308a\u307e\u305b\u3093\u3002\u305d\u308c\u306b\u3082\u304b\u304b\u308f\u3089\u305a\u3001\u8aad\u307f\u3084\u3059\u3044\u5f62\u72b6\u3092\u5f15\u3063\u5f35\u308a\u307e\u3059 \u30d0\u30c4 + \u3068 {displaystyle x+y} \u4ee5\u524d\u306f\u3001\u5f8c\u8005\u306f\u6b63\u3057\u3044\u7528\u8a9e\u306e\u4ee3\u66ff\u306e\u6709\u5229\u306a\u30b9\u30da\u30eb\u3067\u3059 + \uff08 \u30d0\u30c4 \u3001 \u3068 \uff09\uff09 {displaystyle +\uff08x\u3001y\uff09} \u3002\u3057\u305f\u304c\u3063\u3066\u3001\u30ad\u30e3\u30e9\u30af\u30bf\u30fc\u30c1\u30a7\u30fc\u30f3\u306f\u3067\u3059 \u30d0\u30c4 + \u3068 {displaystyle x+y} \u7528\u8a9e\u306e\u540d\u524d\u3001\u3059\u306a\u308f\u3061\u3001\u7528\u8a9e\u306e\u30e1\u30bf\u8a00\u8a9e\u5f0f\u3002\u305d\u306e\u3088\u3046\u306a\u6587\u5b57\u5217\u304c\u3044\u3064\u3067\u3082\u6b63\u5f0f\u306b\u6b63\u3057\u3044\u30b9\u30da\u30eb\u306b\u4f7f\u7528\u3067\u304d\u308b\u3053\u3068\u304c\u660e\u3089\u304b\u306a\u9650\u308a\u3001\u3053\u308c\u3092\u671b\u3080\u306a\u3089\u3001\u3053\u3053\u306b\u306f\u56f0\u96e3\u306f\u3042\u308a\u307e\u305b\u3093\u3002 \u3044\u304f\u3064\u304b\u306e\u95a2\u6570\uff08\u305f\u3068\u3048\u3070\u3001\u52b9\u529b\u95a2\u6570\u3001\u5909\u6570\u306b\u3088\u308b\u4e57\u7b97\uff09\u306f\u3001\u7528\u8a9e\u3092\u914d\u7f6e\u3059\u308b\u3053\u3068\u306b\u3088\u308a\u3001\u5225\u306e\u95a2\u6570\u30b7\u30f3\u30dc\u30eb\u3092\u4f7f\u7528\u3059\u308b\u4ee3\u308f\u308a\u306b\u4e92\u3044\u306b\u8868\u793a\u3055\u308c\u307e\u3059\uff08\u305f\u3068\u3048\u3070 \u30d0\u30c4 y{displaystyle x^{y}} \u307e\u305f \u30d0\u30c4 \u3068 {displaystyle xy} \uff09\uff09 \u30cd\u30b9\u30c8\u3055\u308c\u305f\u30af\u30ea\u30c3\u30d7\u306e\u5834\u6240\u306e\u5834\u5408\u3001[]\u3068{}\u306f\u3001\u30d6\u30e9\u30b1\u30c3\u30c8\u306e\u76f8\u4e92\u6027\u3092\u3088\u308a\u660e\u78ba\u306b\u3059\u308b\u305f\u3081\u306b\u4f7f\u7528\u3055\u308c\u308b\u3053\u3068\u304c\u3042\u308a\u307e\u3059\u3002 B. [ 2 \uff08 \u30d0\u30c4 + \u3068 \uff09\uff09 ] 2{displaystyle [2\uff08x+y\uff09]^{2}} \u30dd\u30fc\u30e9\u30f3\u30c9\u8868\u8a18\u306a\u3069\u306e\u30af\u30e9\u30f3\u30d7\u30d5\u30ea\u30fc\u8868\u8a18\u3082\u3042\u308a\u307e\u3059\u304c\u3001\u3053\u308c\u3089\u306f\u901a\u5e38\u3001\u8aad\u307f\u3084\u3059\u3044\u3082\u306e\u3067\u306f\u3042\u308a\u307e\u305b\u3093\u3002\u5b9a\u7fa9\u4e0a\u306e3\u884c\u76ee\u306f\u3053\u306e\u8868\u8a18\u6cd5\u3067\u3059\uff08\u6bd4\u8f03\uff1a\u8ff0\u8a9e\u30ed\u30b8\u30c3\u30af\u7b2c1\u6bb5\u968e#terme\uff09\uff1a o \u306f f{displaystyle f} a k -digit\u6a5f\u80fd\u30b7\u30f3\u30dc\u30eb\u3068 t1,\u2026,tk{displaystyle t_ {1}\u3001dotsc\u3001t_ {k}} \u30c6\u30eb\u30e0\u3001\u305d\u3046\u3067\u3059 ft1,\u2026,tk{displaystyle ft_ {1}\u3001dotsc\u3001t_ {k}} \u7528\u8a9e\u3002 \u6642\u6298\u3001\u5b9a\u6570\u306f\u30bc\u30ed\u7d1a\u95a2\u6570\u3068\u3057\u3066\u5305\u542b\u3055\u308c\u307e\u3059\u304c\u3001\u3053\u308c\u306f\u30d6\u30e9\u30b1\u30c3\u30c8\u306e\u306a\u3044\u8868\u8a18\u3067\u7279\u306b\u81ea\u7136\u3067\u3059\u3002 \u4e0a\u8a18\u306e\u53e3\u8a9e\u306e\u8aac\u660e\u3067\u767a\u751f\u3057\u305f\u3088\u3046\u306b\u3001\u5909\u6570\u306b\u5024\u3092\u633f\u5165\u3059\u308b\u53ef\u80fd\u6027\u306e\u3042\u308b\u3053\u3068\u306f\u7591\u554f\u306e\u4f59\u5730\u304c\u3042\u308a\u307e\u305b\u3093\u3002 \u300c\u7528\u8a9e\u300d\u306f\u3001\u7279\u5b9a\u306e\u30d3\u30eb\u30c9\u30a2\u30c3\u30d7\u30eb\u30fc\u30eb\u3092\u6e80\u305f\u3059\u3060\u3051\u3067\u3042\u308b\u305f\u3081\u3001\u3053\u3053\u3067\u306f\u7d14\u7c8b\u306b\u69cb\u6587\u7528\u8a9e\u3067\u3059\u3002\u305d\u306e\u5f8c\u3001\u7528\u8a9e\u306f\u3001SO -Caled\u30e2\u30c7\u30eb\u306e\u5909\u6570\u306e\u53ef\u80fd\u306a\u5024\u3092\u5236\u9650\u3059\u308b\u3053\u3068\u306b\u3088\u308a\u3001\u610f\u5473\u7684\u306b\u91cd\u8981\u306b\u306a\u308a\u307e\u3059\u3002\u7528\u8a9e \uff08 \u30d0\u30c4 + \u3068 \uff09\uff09 2{displaystyle\uff08x+y\uff09^{2}} \u3068 \u30d0\u30c4 2+ 2 \u30d0\u30c4 \u3068 + \u3068 2{displaystyle x^{2}+2xy+y^{2}} \u6700\u521d\u306f\u6587\u5b57\u5217\u3068\u3057\u3066\u7570\u306a\u308a\u307e\u3059\u3002\u305f\u3060\u3057\u3001\u5b9f\u6570\u306e\u30e2\u30c7\u30eb\u3067\u3053\u308c\u3089\u306e\u7528\u8a9e\u3092\u898b\u308b\u3068\u3001\u5e38\u306b\u540c\u3058\u5024\u3092\u53d7\u3051\u5165\u308c\u308b\u3053\u3068\u304c\u308f\u304b\u308a\u307e\u3059\u3002\u6761\u4ef6\u306e\u5e73\u7b49 \uff08 \u30d0\u30c4 + \u3068 \uff09\uff09 2= \u30d0\u30c4 2+ 2 \u30d0\u30c4 \u3068 + \u3068 2{displaystyle\uff08x+y\uff09^{2} = x^{2}+2xy+y^{2}} \u305d\u306e\u5f8c\u3001\u3059\u3079\u3066\u306e\u4eba\u306b\u3068\u3063\u3066\u305d\u306e\u5e73\u7b49\u304c\u7406\u89e3\u3055\u308c\u308b\u3053\u3068\u306b\u306a\u308a\u307e\u3059 \u30d0\u30c4 \u3001 \u3068 \u2208 r {displaystyle x\u3001yin mathbb {r}} \u69cb\u6210\u3055\u308c\u307e\u3059\u3002\u3053\u308c\u306f\u3001\u4ed6\u306e\u30e2\u30c7\u30eb\u3067\u306f\u9593\u9055\u3063\u3066\u3044\u308b\u53ef\u80fd\u6027\u304c\u3042\u308a\u307e\u3059\u3002 2 \u00d72 {displayStyle 2 {Times} 2}  – \u30de\u30bf\u30e9\u30a4\u30ba\u30f3 \u3002 \u3053\u3053\u3067\u518d\u73fe\u3055\u308c\u305f\u5b9a\u7fa9\u306b\u306f\u3001\u591a\u69d8\u306a\u5408\u8a08\u306a\u3069\u306e\u30d0\u30a4\u30f3\u30c9\u3055\u308c\u305f\u5909\u6570\u3092\u6301\u3064\u6761\u4ef6\u306f\u542b\u307e\u308c\u3066\u3044\u307e\u305b\u3093 \u2211i=1ni2{displaystyle sum _ {i = 1}^{n} i^{2}} \u3001 \u5168\u7c92\u5c0f\u9ea6 \u222b ab\u7f6a \u2061 \uff08 k de t \uff09\uff09 d t {displaystyle int _ {a}^{b} sin\uff08kcdot t\uff09dt} \u307e\u305f\u306f\u5024\u3092\u5236\u9650\u3057\u307e\u3059 \u30ea\u30e0 n\u2192\u221e\uff08 2 de n + 3 \uff09\uff09 \/ n {displaystyle lim _ {nto infty}\uff082cdot n+3\uff09\/n} \u3002\u30dc\u30a2\u30f3\u30c9\u5909\u6570\u306f\u3001\u5f0f\u3092\u5f0f\u306b\u7d71\u5408\u3059\u308b\u3068\u304d\u306b\u3082\u767a\u751f\u3059\u308b\u305f\u3081\uff08\u4ee5\u4e0b\u3092\u53c2\u7167\uff09\u3001\u3053\u308c\u306f\u3053\u308c\u304c\u3069\u306e\u3088\u3046\u306b\u767a\u751f\u3059\u308b\u304b\u306e\u4f8b\u3092\u793a\u3057\u307e\u3059\u3002 [5] \u5f0f\u3068\u540c\u69d8\u306b\u3001\u81ea\u7531\u5909\u6570\u306e\u306a\u3044\u7528\u8a9e \u9589\u307e\u3063\u3066\u3044\u308b \u8aac\u660e\u3002\u5024\u5272\u308a\u5f53\u3066\u306f\u3001\u5909\u6570\u5272\u308a\u5f53\u3066\u306b\u4f9d\u5b58\u3057\u307e\u305b\u3093\uff08\u4ee5\u4e0b\u306e## Termarung\u3092\u53c2\u7167\uff09\u3002 [6] \u6700\u8fd1\u3001\u7528\u8a9e\u306e\u30c4\u30ea\u30fc\u30d7\u30ec\u30bc\u30f3\u30c6\u30fc\u30b7\u30e7\u30f3\u304c\u307e\u3059\u307e\u3059\u91cd\u8981\u306b\u306a\u3063\u3066\u3044\u307e\u3059\u3002\u8a73\u7d30\u306a\u30d7\u30ec\u30bc\u30f3\u30c6\u30fc\u30b7\u30e7\u30f3\u306f\u3001KleineB\u00fcning\uff082015\uff09\u306b\u3042\u308a\u307e\u3059\u3002 [7] \u4f8b [ \u7de8\u96c6 | \u30bd\u30fc\u30b9\u30c6\u30ad\u30b9\u30c8\u3092\u7de8\u96c6\u3057\u307e\u3059 ] xy4{displaystyle {tfrac {xy} {4}}} \u306a\u305c\u306a\u3089\u7528\u8a9e\u3067\u3059 \u30d0\u30c4 {displaystyle x} \u3068 \u3068 {displaystyle y} \u7528\u8a9e\u3067\u3059\uff08\u5909\u6570\u3068\u3057\u3066\uff09\u3001 4 {displaystyle 4} \u7528\u8a9e\u3067\u3059\uff08\u5b9a\u6570\u3068\u3057\u3066\uff09\u3001 \u30d0\u30c4 \u3068 {displaystyle xy} \u7528\u8a9e\u3067\u3059\uff08 ” \u4e57\u7b97 \u2061 \uff08 \u30d0\u30c4 \u3001 \u3068 \uff09\uff09 {displaystyle operatorname {multipliziere}\uff08x\u3001y\uff09} “\uff09,, xy4{displaystyle {tfrac {xy} {4}}} \u3068\u3044\u3046\u7528\u8a9e\u3067\u3059\uff08\u5206\u5272\u8a18\u53f7\u306f\u305d\u308c\u3067\u3059 \u30d6\u30ec\u30a4\u30af\u30b8\u30e3\u30c3\u30af\uff08  –  {displaystyle-} \uff09\uff09 \u3068\u540c\u3058 \u30d0\u30c4 \u3068 \uff1a 4 {displaystyle xy\uff1a4} \u3001 ‘ \u4ed5\u5207\u308a \u2061 \uff08 \u4e57\u7b97 \u2061 \uff08 \u30d0\u30c4 \u3001 \u3068 \uff09\uff09 \u3001 4 \uff09\uff09 {displaystyle operatorname {dividiere}\uff08operatorname {multipliziere}\uff08x\u3001y\uff09\u30014\uff09} \u300c\uff09 \u5909\u6570\u3092\u4f7f\u7528\u3057\u3066\u7528\u8a9e\u3092\u5f62\u6210\u3059\u308b\u5834\u5408\u3001\u30a2\u30d7\u30ea\u30b1\u30fc\u30b7\u30e7\u30f3\u306f\u3001\u3053\u308c\u3089\u306e\u5909\u6570\u3092\u4e00\u5b9a\u91cf\u306e\u57fa\u672c\u91cf\u307e\u305f\u306f\u5b9a\u7fa9\u304b\u3089\u751f\u3058\u308b\u7279\u5b9a\u306e\u5024\u306b\u7f6e\u304d\u63db\u3048\u308b\u3053\u3068\u3092\u610f\u56f3\u3057\u3066\u3044\u307e\u3059\u3002\u7528\u8a9e\u81ea\u4f53\u306e\u6982\u5ff5\u306f\u3001\u4e0a\u8a18\u306e\u6b63\u5f0f\u306a\u5b9a\u7fa9\u306b\u5f93\u3063\u3066\u305d\u306e\u3088\u3046\u306a\u91cf\u3092\u6307\u5b9a\u3059\u308b\u305f\u3081\u306b\u5fc5\u8981\u3067\u306f\u3042\u308a\u307e\u305b\u3093\u3002\u62bd\u8c61\u7528\u8a9e\u306b\u306f\u95a2\u5fc3\u304c\u306a\u304f\u306a\u308a\u307e\u3057\u305f\u304c\u3001\u7279\u5b9a\u306e\u30e2\u30c7\u30eb\u3067\u3053\u306e\u7528\u8a9e\u3067\u5b9a\u7fa9\u3055\u308c\u305f\u95a2\u6570\u306b\u306f\u8208\u5473\u304c\u3042\u308a\u307e\u3059\u3002 \u3053\u308c\u306f\u3001\u30e1\u30fc\u30c8\u30eb\u306e\u8eca\u306e\u505c\u6b62\u30eb\u30fc\u30c8\uff08\u30d6\u30ec\u30fc\u30ad\u30d1\u30b9\u3068\u53cd\u5fdc\u7d4c\u8def\uff09\u3092\u8a08\u7b97\u3059\u308b\u305f\u3081\u306e\u7d4c\u9a13\u5247\u3067\u3059 \uff08 x10\uff09\uff09 2 + \uff08 x10de 3 \uff09\uff09 {displaystyle left\uff08{tfrac {x} {10}}\u53f3\uff09^{2}+\u5de6\uff08{tfrac {x} {10}} cdot 3right\uff09}} \u3002\u3053\u306e\u6587\u5b57\u5217\u306f\u7528\u8a9e\u3067\u3059\u3002\u79c1\u305f\u3061\u306f\u610f\u56f3\u3057\u3066\u3044\u307e\u3059 \u30d0\u30c4 {displaystyle x} \u7528\u8a9e\u304c\u30e1\u30fc\u30c8\u30eb\u5358\u4f4d\u3067\u30d6\u30ec\u30fc\u30ad\u8ddd\u96e2\u3068\u3057\u3066\u60f3\u5b9a\u3059\u308b\u5024\u3092\u4f7f\u7528\u3059\u308b\u305f\u3081\u306b\u30011\u6642\u9593\u3042\u305f\u308a1\u6642\u9593\u3042\u305f\u308a\u306e\u8eca\u306e\u901f\u5ea6\u3092\u4f7f\u7528\u3057\u307e\u3059\u3002\u305f\u3068\u3048\u3070\u3001\u8eca\u304c160 km\/h\u3092\u904b\u8ee2\u3059\u308b\u5834\u5408\u3001\u5f0f\u306f\u914d\u4fe1\u3055\u308c\u307e\u3059 \uff08 16010\uff09\uff09 2 + \uff08 16010de 3 \uff09\uff09 {displaystyle left\uff08{tfrac {160} {10}}\u53f3\uff09^{2}+\u5de6\uff08{tfrac {160} {10}} cdot 3right\uff09} 304 m\u306e\u505c\u6b62\u3002 \u3053\u3053\u3067\u3053\u306e\u7528\u8a9e\u3092\u4f7f\u7528\u3057\u3066\u3001\u95a2\u6570\u306e\u5272\u308a\u5f53\u3066\u3092\u5b9a\u7fa9\u3057\u307e\u3059 f \uff1a r 0 + \u2192 r 0 + {displaystyle fcolon mathbb {r} _ {0}^{+} to mathbb {r} _ {0}^{+}} \u3001 \u30d0\u30c4 \u21a6 \uff08 x10\uff09\uff09 2 + \uff08 x10de 3 \uff09\uff09 {displaystyle xmapsto\u5de6\uff08{tfrac {x} {10}}\u53f3\uff09^{2}+\u5de6\uff08{tfrac {x} {10}} cdot 3right\uff09}} \u3002 \u7528\u8a9e\u81ea\u4f53\u306f\u771f\u5b9f\u3067\u3082\u9593\u9055\u3063\u3066\u304a\u3089\u305a\u3001\u4fa1\u5024\u304c\u3042\u308a\u307e\u305b\u3093\u3002\u30e2\u30c7\u30eb\u3067\u306e\u307f\u3001\u3064\u307e\u308a\u3001\u767a\u751f\u3059\u308b\u5909\u6570\u306e\u57fa\u672c\u91cf\u3092\u6307\u5b9a\u3059\u308b\u3068\u3001\u7528\u8a9e\u304c\u6761\u4ef6\u3092\u53d6\u308b\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3002 \u9577\u304f\u3001\u8907\u96d1\u306a\u7528\u8a9e\u306f\u3001\u5358\u7d14\u306a\u884c\u70ba\u3001\u9023\u60f3\u884c\u70ba\u3001\u307e\u305f\u306f\u5206\u914d\u884c\u70ba\u306a\u3069\u3001\u7528\u8a9e\u306e\u4fa1\u5024\u3092\u5909\u66f4\u3057\u306a\u3044\u8a08\u7b97\u30eb\u30fc\u30eb\u3092\u4f7f\u7528\u3059\u308b\u3053\u3068\u306b\u3088\u308a\u3001\u3057\u3070\u3057\u3070\u7c21\u7d20\u5316\u3067\u304d\u307e\u3059\u3002 \uff08 \u30d0\u30c4 + \u3068 \uff09\uff09 \uff08 \u30d0\u30c4  –  \u3068 \uff09\uff09 {displaystyle\uff08x+y\uff09\uff08x-y\uff09} \u5897\u6b96\u3057\u307e\u3059 = \u30d0\u30c4 2 –  \u30d0\u30c4 \u3068 + \u3068 \u30d0\u30c4  –  \u3068 2{displaystyle = x^{2} -xy+yx-y^{2}} \u901a\u52e4\u884c\u70ba\u3092\u9069\u7528\u3057\u307e\u3059 = \u30d0\u30c4 2 –  \u3068 2{displaystyle = x^{2} -y^{2}} \u4e0a\u8a18\u306e\u5b9a\u7fa9\u306b\u3088\u308c\u3070\u3001\u3053\u306e\u7528\u8a9e\u306e\u6982\u5ff5\u306f\u305d\u306e\u3088\u3046\u306a\u5909\u63db\u3092\u63d0\u4f9b\u3057\u307e\u305b\u3093\u3001\u305d\u308c\u306f\u7570\u306a\u308b\u7528\u8a9e\u3067\u3059\u3002\u3053\u308c\u3089\u306e\u4ee3\u6570\u5909\u63db\u306f\u3001\u3053\u308c\u3089\u306e\u5909\u63db\u306e\u305f\u3081\u306b\u7279\u5b9a\u306e\u57fa\u672c\u91cf\u3092\u9078\u629e\u3059\u308b\u3068\u304d\u306b\u7528\u8a9e\u304c\u53d7\u3051\u5165\u308c\u308b\u3053\u3068\u304c\u3067\u304d\u308b\u5024\u304c\u5909\u5316\u3057\u306a\u3044\u3053\u3068\u3092\u5e38\u306b\u610f\u5473\u3057\u307e\u3059\u3002\u305d\u308c\u306f\u57fa\u672c\u7684\u306a\u91cf\u306b\u4f9d\u5b58\u3057\u307e\u3059\uff01\u4e0a\u8a18\u306e\u5909\u63db\u306f\u3001\u901a\u52e4\u6cd5\u306a\u3069\u306e\u6cd5\u5f8b\u304c\u9069\u7528\u3055\u308c\u308b\u57fa\u672c\u7684\u306a\u91cf\u3067\u306e\u307f\u6b63\u3057\u3044\u3067\u3059\u3002 \u305d\u308c\u306b\u3082\u304b\u304b\u308f\u3089\u305a\u3001\u305d\u306e\u3088\u3046\u306a\u4ee3\u6570\u7684\u5909\u63db\u306f\u305d\u3046\u3067\u3059 \u7d42\u4e86 \u547d\u540d\u3055\u308c\u305f\u306e\u306f\u3001\u5408\u610f\u3055\u308c\u305f\u57fa\u672c\u6570\u91cf\u306b\u9069\u7528\u3055\u308c\u308b\u30eb\u30fc\u30eb\u306f\u3001\u53ef\u80fd\u306a\u5024\u3092\u5909\u66f4\u305b\u305a\u306b\u3042\u308b\u7528\u8a9e\u304b\u3089\u5225\u306e\u7528\u8a9e\u306b\u8ee2\u9001\u3055\u308c\u308b\u305f\u3081\u3067\u3059\u3002\u6b21\u306e\u76ee\u6a19\u304c\u8ffd\u6c42\u3055\u308c\u3066\u3044\u307e\u3059\u3002 \u7528\u8a9e\u306e\u7c21\u7d20\u5316 \u6b63\u65b9\u5f62\u306e\u30b5\u30d7\u30ea\u30e1\u30f3\u30c8\u306a\u3069\u306e\u671b\u307e\u3057\u3044\u69cb\u9020\u3092\u751f\u6210\u3059\u308b\u305f\u3081\u306b\u6761\u4ef6\u3092\u76db\u308a\u4e0a\u3052\u308b \u30ab\u30eb\u30c0\u30cb\u30a2\u30f3\u5f0f\u306a\u3069\u3001\u671b\u307e\u3057\u3044\u98df\u4e8b\u3092\u6e96\u5099\u3057\u307e\u3059\u3002 \uff08 \u306e + \u306e \uff09\uff09 3= \u306e 3+ \u306e 3+ 3 \u306e \u306e \uff08 \u306e + \u306e \uff09\uff09 {displaystyle\uff08u+v\uff09^{3} = u^{3}+v^{3}+3uv\uff08u+v\uff09}}} \u5f0f [ \u7de8\u96c6 | \u30bd\u30fc\u30b9\u30c6\u30ad\u30b9\u30c8\u3092\u7de8\u96c6\u3057\u307e\u3059 ] \u8868\u73fe [8] \u7528\u8a9e\u306e\u3088\u3046\u306a\u6b63\u5f0f\u306a\u6587\u5b57\u5217\u3067\u3059\u3002\u69cb\u9020\u306f\u3001\u30ed\u30b8\u30c3\u30af\u306b\u5f93\u3063\u3066\u5b9a\u7fa9\u3055\u308c\u307e\u3059\u3002 B.\u8ff0\u8a9e\u30ed\u30b8\u30c3\u30af\u3002\u5e73\u7b49\u3092\u6301\u3064\u7b2c\u4e00\u6bb5\u968e\u306e\u8ff0\u8a9e\u8ad6\u7406\u3067\u306f\u3001\u6b21\u306e\u3053\u3068\u3092\u5b9a\u7fa9\u3057\u307e\u3059\u3002 [9] [\u5341] \u305d\u308c\u306f t 1\u3001 t 2{displaystyle t_ {1}\u3001t_ {2}} \u30c6\u30eb\u30e0\u3001\u305d\u3046\u3067\u3059 t 1= t 2{displaystyle t_ {1} = t_ {2}} \u8868\u73fe\u3002 \u305d\u308c\u306f t 1\u3001 … \u3001 t k{displaystyle t_ {1}\u3001dotsc\u3001t_ {k}} Terme\u3068IS r {displaystyle r} a k {displaystyle k} -digit\u95a2\u4fc2\u30b7\u30f3\u30dc\u30eb\u3001\u305d\u3046\u3067\u3059 r t 1… t k{displaystyle rt_ {1} dotso t_ {k}} \u8868\u73fe\u3002 \u305d\u308c\u306f \u30d5\u30a1\u30a4 {displaystyle varphi} \u3068 \u03c6 {displaystyle psi} \u8868\u73fe\u3082\u305d\u3046\u3067\u3059 \uff08 \u30d5\u30a1\u30a4 \u2227 \u03c6 \uff09\uff09 {displaystyle\uff08varphi land psi\uff09} \u3001 \uff08 \u30d5\u30a1\u30a4 \u2228 \u03c6 \uff09\uff09 {displayStyle\uff08\u5f7c\u3089\u306epsi varphi\uff09} \u3001 \uff08 \u30d5\u30a1\u30a4 \u2192 \u03c6 \uff09\uff09 {displaystyle\uff08varphi rightArrow psi\uff09} \u3001 \uff08 \u30d5\u30a1\u30a4 \u2194 \u03c6 \uff09\uff09 {displaystyle\uff08varphi leftrightarrow psi\uff09} \u3001 \uff08 \u2203 \u30d0\u30c4 \u30d5\u30a1\u30a4 \uff09\uff09 {displayStyle\uff08\u5b58\u5728\u3059\u308bxvarphi\uff09} \u3068 \uff08 \u2200 \u30d0\u30c4 \u30d5\u30a1\u30a4 \uff09\uff09 {displaystyle\uff08forml xvarphi\uff09} \u5f0f\u3002 [11] \u3053\u308c\u306b\u3088\u308a\u3001\u3053\u308c\u3089\u306e\u6559\u80b2\u6cd5\u3092\u8907\u6570\u4f7f\u7528\u3059\u308b\u3053\u3068\u306b\u3088\u308a\u3001\u8907\u96d1\u306a\u8868\u73fe\u3092\u69cb\u7bc9\u3067\u304d\u307e\u3059\u3002\u3053\u306e\u5b9a\u7fa9\u306b\u3088\u308c\u3070\u3001\u7528\u8a9e\u306f\u3001\u65b9\u7a0b\u5f0f\u306e\u7247\u5074\u306b\u7acb\u3063\u3066\u3044\u308b\u3082\u306e\u3068\u3057\u3066\u5927\u307e\u304b\u306b\u8aac\u660e\u3059\u308b\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3002\u7528\u8a9e\u306f\u3001\u307e\u3055\u306b\u3053\u308c\u3089\u306e\u5f0f\u306e\u30b3\u30f3\u30dd\u30fc\u30cd\u30f3\u30c8\u3067\u3059\u3002 \u5f0f\u306e\u6b63\u78ba\u306a\u5b9a\u7fa9\u306f\u3001\u691c\u8a0e\u4e2d\u306e\u30ed\u30b8\u30c3\u30af\u306b\u4f9d\u5b58\u3057\u307e\u3059\u3002\u305f\u3068\u3048\u3070\u3001\u7b2c2\u30ec\u30d9\u30eb\u306e\u8ff0\u8a9e\u30ed\u30b8\u30c3\u30af\u3067\u306f\u3001\u95a2\u4fc2\u5909\u6570\u3068\u5b9a\u91cf\u5316\u306e\u7528\u8a9e\u306e\u633f\u5165\u304c\u8ffd\u52a0\u3055\u308c\u307e\u3059\u3002 \u4f8b [ \u7de8\u96c6 | \u30bd\u30fc\u30b9\u30c6\u30ad\u30b9\u30c8\u3092\u7de8\u96c6\u3057\u307e\u3059 ] \u5b9f\u6570\u3092\u8aac\u660e\u3059\u308b\u306b\u306f\u3001\u4e57\u7b97\u306b\u30ea\u30f3\u30af\u30de\u30fc\u30af\u3092\u4f7f\u7528\u3057\u3066\u304f\u3060\u3055\u3044 de {displaystyledot} \u4e0d\u5e73\u7b49\u306e\u95a2\u4fc2\u30b7\u30f3\u30dc\u30eb \u2264 {displaystyle leq} \u30010\u30011\u30012\u3001…\u306e\u3088\u3046\u306a\u5b9a\u6570… \u30d0\u30c4 \u3001 \u3068 {displaystyle x\u3001y} \u5b9a\u7fa9\u3068\u3057\u3066\u306e\u5909\u6570\u3082\u3042\u308a\u307e\u3059 \u30d0\u30c4 de \u30d0\u30c4 {displaystyle xcdot x} \u3001\u5b9a\u65700\u304a\u3088\u3073 \u3068 {displaystyle y} \u5b66\u671f\u3002 \u5f0f\u306e\u5b9a\u7fa9\u306b\u5f93\u3063\u3066 \u30d0\u30c4 de \u30d0\u30c4 = \u3068 {displaystyle xcdot x = y} \u3068 0 \u2264 \u3068 {displaystyle 0leq y} \u6700\u521d\u306e\u6587\u5b57\u30c1\u30a7\u30fc\u30f3\u306f2\u3064\u306e\u7528\u8a9e\u306e\u5e73\u7b49\u3067\u3042\u308b\u305f\u3081\u3001\u8868\u73fe\u3002 2\u3064\u76ee\u306f\u30012\u3064\u306e\u7528\u8a9e\u304c\u4f7f\u7528\u3055\u308c\u305f\u95a2\u4fc2\u3067\u3059\u3002\u305d\u3046\u3067\u3059 0 \u2264 \u3068 \u2192 \uff08 \u2203 \u30d0\u30c4 \uff08 \u30d0\u30c4 de \u30d0\u30c4 = \u3068 \uff09\uff09 \uff09\uff09 {displaystyle 0leq yrightarrow\uff08\u5b58\u5728\u3059\u308bx\uff08xcdot x = y\uff09\uff09} \u8868\u73fe\u3068\u6700\u5f8c\u306b \u2200 \u3068 \uff08 0 \u2264 \u3068 \u2192 \uff08 \u2203 \u30d0\u30c4 \uff08 \u30d0\u30c4 de \u30d0\u30c4 = \u3068 \uff09\uff09 \uff09\uff09 \uff09\uff09 {displaystyle forall y\uff080leq yrightArrow\uff08\u5b58\u5728\u3059\u308bx\uff08xcdot x = y\uff09\uff09}} \u3053\u306e\u5f0f\u306f\u3001\u5b9f\u6570\u306e\u30e2\u30c7\u30eb\u306b\u5f53\u3066\u306f\u307e\u308a\u307e\u3059\u3002\u5f0f\u306e\u4e0a\u8a18\u306e\u69cb\u9020\u306f\u8a3c\u62e0\u3067\u306f\u306a\u3044\u3053\u3068\u3092\u7406\u89e3\u3059\u308b\u3053\u3068\u304c\u91cd\u8981\u3067\u3059\u3002\u7279\u5b9a\u306e\u30eb\u30fc\u30eb\u306b\u5f93\u3063\u3066\u3001\u30ad\u30e3\u30e9\u30af\u30bf\u30fc\u30c1\u30a7\u30fc\u30f3\u306e\u5f62\u6210\u306e\u307f\u3067\u3059\u3002\u30e2\u30c7\u30eb\u306b\u95a2\u9023\u3059\u308b\u30b9\u30c6\u30fc\u30c8\u30e1\u30f3\u30c8\u306e\u307f\u304c\u3042\u308a\u3001\u5fc5\u8981\u306b\u5fdc\u3058\u3066\u8a3c\u660e\u3067\u304d\u307e\u3059\u3002\u4e0a\u8a18\u306e\u30b9\u30c6\u30fc\u30c8\u30e1\u30f3\u30c8\u306f\u3001\u5408\u7406\u7684\u306a\u6570\u5024\u30e2\u30c7\u30eb\u3067\u9593\u9055\u3063\u3066\u3044\u308b\u3053\u3068\u304c\u77e5\u3089\u308c\u3066\u3044\u307e\u3059\u3002 \u3068 = 2 {displaystyle y = 2} \u306f \u2265 0 {displaystylegeq 0} \u3001\u3057\u304b\u3057\u3001\u5408\u7406\u7684\u306a\u6570\u306f\u3042\u308a\u307e\u305b\u3093 \u30d0\u30c4 {displaystyle x} \u3001 \u30d0\u30c4 de \u30d0\u30c4 = \u3068 {displaystyle xcdot x = y} \u6e80\u305f\u3059\u3002 \u691c\u8a0e\u3059\u308b\u3068\u304d \u4e0d\u5747\u4e00 \u30d9\u30af\u30c8\u30eb\u30eb\u30fc\u30e0\u306a\u3069\u306e\u69cb\u9020\u306f\u3001\u591a\u304f\u306e\u5834\u5408\u3001\u7570\u306a\u308b\u90e8\u5c4b\u306b\u5206\u304b\u308c\u3066\u3044\u307e\u3059 \u30bd\u30fc\u30c8 1\u3064\u306f\u3001\u30d9\u30af\u30bf\u30fc\u306a\u3069\u3001\u30d9\u30af\u30bf\u30fc\u3084\u30b9\u30ab\u30e9\u30fc\u306e\u5834\u5408\u3067\u3059\u3002\u305d\u306e\u5f8c\u3001\u767a\u751f\u3059\u308b\u7528\u8a9e\u306f\u3001\u3053\u308c\u3089\u306e\u54c1\u7a2e\u306b\u5f93\u3063\u3066\u533a\u5225\u3059\u308b\u5fc5\u8981\u304c\u3042\u308a\u307e\u3059\u3002\u7406\u8ad6\u306e\u3055\u3089\u306a\u308b\u30b3\u30f3\u30dd\u30fc\u30cd\u30f3\u30c8\u3068\u3057\u3066\u3001\u591a\u304f\u306e\u3053\u3068\u304c\u6700\u521d\u306b\u6765\u307e\u3059 t {displaystylet} \u54c1\u7a2e\u304b\u3089\u3002 \u3055\u307e\u3056\u307e\u306a\u7f72\u540d\u306e\u305f\u3081 s {displaystyle {boldsymbol {s}}} \u30b7\u30f3\u30dc\u30eb\u306b\u5358\u7d14\u306a\u6570\u306e\u30a2\u30af\u30c6\u30a3\u30d3\u30c6\u30a3\u306b\u5272\u308a\u5f53\u3066\u3089\u308c\u3066\u3044\u308b\u3060\u3051\u3067\u306a\u304f\u3001\uff08\u95a2\u4fc2\u3068\u95a2\u6570\u306e\u5834\u5408\uff09\u5f15\u6570\u306e\u7a2e\u985e\u306e\u30b7\u30fc\u30b1\u30f3\u30b9\uff08tupel\uff09\u3001\u304a\u3088\u3073\uff08\u5b9a\u6570\u3068\u95a2\u6570\u306e\u5834\u5408\uff09\u4fa1\u5024\u306e\u5834\u6240\u3067\u3059\u3002 \u5909\u6570\u306b\u95a2\u3057\u3066\u306f\u3001\u672c\u8cea\u7684\u306b\u6587\u732e\u306b\u306f2\u3064\u306e\u624b\u9806\u304c\u3042\u308a\u307e\u3059\u3002 [12\u756a\u76ee] \u305d\u308c\u306f\u5358\u4e00\u306e\u91cf\u306e\u5909\u6570\u306b\u306a\u308a\u307e\u3059 V{displaystyle {mathcal {v}}} \u610f\u56f3\u3055\u308c\u307e\u3057\u305f\u3002 1\u3064\u306e\uff08\u304a\u305d\u3089\u304f\u90e8\u5206\u7684\u306a\uff09\u30a4\u30e9\u30b9\u30c8 n \uff1a V\u219b t {displaystyle nu\uff1a{mathcal {v}} to t} \u3001\u53ef\u5909\u30c7\u30b6\u30a4\u30ca\u30fc\u306f\u3055\u307e\u3056\u307e\u306a\u3082\u306e\u3092\u5272\u308a\u5f53\u3066\u307e\u3057\u305f \u5909\u6570\u5ba3\u8a00 ; [13] \u5909\u6570\u5ba3\u8a00\u5e73\u5747\u306e\u5b9a\u7fa9\u7bc4\u56f2\u304b\u3089\u306e\u5909\u6570 \u5ba3\u8a00\u3055\u308c\u3066\u3044\u307e\u3059 \u3002\u89e3\u91c8\u3067\u306f\u3001\u3053\u308c\u306f\u305d\u308c\u305e\u308c\u306e\u91cf\u5b50\u306e\u30b9\u30b3\u30d1\u30b9\uff08\u6d3b\u52d5\u306e\u9818\u57df\uff09\u3067\u30ed\u30fc\u30ab\u30eb\u5909\u7570\u4f53\u306b\u3088\u3063\u3066\u7f6e\u304d\u63db\u3048\u308b\u3053\u3068\u304c\u3067\u304d\u307e\u3059 \uff08\u30ed\u30fc\u30ab\u30eb\u306b\u5909\u66f4\u3055\u308c\u305f\u5909\u6570\u5ba3\u8a00\uff09 [14] \u4e00\u65b9\u3001\u4ed6\u306e\u8457\u8005\u306f\u3001\u3055\u307e\u3056\u307e\u306a\u30bf\u30a4\u30d7\u306e\u5909\u6570\u306e\u30b7\u30f3\u30dc\u30eb\u3092\u653b\u6483\u3057\u3001\u5404\u54c1\u7a2e\u306b\u72ec\u81ea\u306e\u91cf\u306e\u5909\u6570\u8a18\u53f7\u3092\u4f7f\u7528\u3057\u307e\u3059\u3002\u5909\u6570\u306fz\u3067\u3059\u3002 B.\u3055\u307e\u3056\u307e\u306a\u30a4\u30f3\u30c7\u30c3\u30af\u30b9\u3067\u30de\u30fc\u30af\u3055\u308c\u3066\u3044\u307e\u3059\u3002\u5272\u308a\u5f53\u3066 n {displaystyle not} \u3055\u307e\u3056\u307e\u306a\u5909\u6570\u306f\u786c\u304f\u3001\u30ed\u30fc\u30ab\u30eb\u3067\u5909\u66f4\u3055\u308c\u3066\u3044\u307e\u305b\u3093\u3002 [15] \u7279\u5225\u306a\u610f\u5473\u306f – \u5229\u7528\u53ef\u80fd\u306a\u5834\u5408 – \u8ad6\u7406\u7684\u306a\u771f\u5b9f\u306e\u4fa1\u5024\u306e\u591a\u69d8\u6027 { \u9593\u9055\u3044 \u3001 \u771f\u5b9f } {displaystyle {operatorname {false}\u3001operatorname {true}}} \u3053\u3053\u306b\u3044\u308b \u8ad6\u7406 {displaystyle operatorname {logical}} \u5c02\u7528\u3002\u95a2\u4fc2\u306f\u3001\u7279\u5fb4\u7684\u306a\u6a5f\u80fd\u306b\u5f93\u3063\u3066\u8ff0\u8a9e\u3068\u3057\u3066\u7406\u89e3\u3067\u304d\u307e\u3059\u3002 [16] \u7279\u306b\u3001\u30bc\u30ed\u7d1a\u306e\u95a2\u4fc2\u306f\u3001\u753b\u50cf\u306e\u753b\u50cf\u306e\u30bc\u30ed\u6841\u95a2\u6570\u3068\u540c\u69d8\u306b\u3001\u3053\u306e\u54c1\u7a2e\u306e\u5b9a\u6570\u306b\u5bfe\u5fdc\u3059\u308b\u306e\u3068\u540c\u3058\u3088\u3046\u306b\u3001\u8ad6\u7406\u5b9a\u6570\u306b\u5bfe\u5fdc\u3057\u307e\u3059\u3002 [17] \u7528\u8a9e\u306e\u518d\u5e30\u7684\u5b9a\u7fa9\u3067\u306f\u3001\u5c0e\u5165\u90e8\u3067\u8a00\u53ca\u3055\u308c\u3066\u3044\u308b\u69cb\u6587\u7279\u6027\u3092\u9054\u6210\u3059\u308b\u305f\u3081\u306b\u3001\u4e26\u3079\u66ff\u3048\u3092\u53c2\u7167\u3057\u3066\u304f\u3060\u3055\u3044\uff1a\u8aa4\u3063\u305f\u54c1\u7a2e\u95a2\u4fc2\u306f\u69cb\u6587\u30a8\u30e9\u30fc\u3068\u3057\u3066\u8868\u793a\u3055\u308c\u307e\u3059\u3002 \u3055\u307e\u3056\u307e\u306a\u7528\u8a9e\u3068\u540c\u69d8\u306b\u3001\u3055\u307e\u3056\u307e\u306a\u7f72\u540d\u304c\u4e0e\u3048\u3089\u308c\u305f\u5834\u5408\u3001\u5f15\u6570\u3068\u753b\u50cf\u5024\u306e\u7a2e\u985e\u306f\u8003\u616e\u3055\u308c\u307e\u3059\u3002\u3053\u306e\u8981\u4ef6\u306b\u5f93\u3063\u3066\u3001\u6838\u304a\u3088\u3073\u4e00\u822c\u7684\u306a\u5f0f\uff08\u5f0f\uff09\u306e\u518d\u5e30\u7684\u5b9a\u7fa9\u304c\u884c\u308f\u308c\u307e\u3059\u3002\u3057\u305f\u304c\u3063\u3066\u3001\u9593\u9055\u3063\u305f\u54c1\u7a2e\u306e\u5272\u308a\u5f53\u3066\u306f\u3001\u69cb\u6587\u30a8\u30e9\u30fc\u3068\u3057\u3066\u8868\u793a\u3055\u308c\u307e\u3059\u3002 \u67d4\u8edf\u306a\u5909\u6570\u5ba3\u8a00\u306e\u5834\u5408\u3001\u30ed\u30fc\u30ab\u30eb\u306b\u5909\u66f4\u3055\u308c\u305f\u5909\u6570\u5909\u6570\u306e\u91cf\u5b50\u306eSkopus\uff08\u7bc4\u56f2\uff09\u3067\u306f\u3001\u6a5f\u80fd\u3059\u308b\u3053\u3068\u306b\u6ce8\u610f\u3059\u308b\u5fc5\u8981\u304c\u3042\u308a\u307e\u3059\u3002\u3053\u306e\u3088\u3046\u306b\u3057\u3066\u3001\u540c\u3058\u5909\u6570\u3092\u3055\u307e\u3056\u307e\u306a\u54c1\u7a2e\u306b\u4f7f\u7528\u3067\u304d\u307e\u3059\u3002\u5909\u6570\u306e\u5834\u5408 \u30d0\u30c4 {displaystyle x} Quantums\u306e\u5916\u3067\u3059\u3067\u306b\u5ba3\u8a00\u3055\u308c\u3066\u3044\u307e\u3059\u3002 H.\u3082\u3057\u3082 \u30d0\u30c4 {displaystyle x} \u3059\u3067\u306b\u5ba3\u8a00\u306e\u5143\u306e\u5b9a\u7fa9\u7bc4\u56f2\u306b\u3042\u308a\u307e\u3059 n {displaystyle not} \u542b\u307e\u308c\u3066\u3044\u307e\u3059\u304c\u3001\u3053\u308c\u306f\u30ed\u30fc\u30ab\u30eb\u306b\u4e0a\u66f8\u304d\u3055\u308c\u307e\u3059\u3002 [18] \u4e0e\u3048\u3089\u308c\u308b s {displaystyle {boldsymbol {s}}} -\u69cb\u9020 a {displaystyle {mathcal {a}}} \u89e3\u91c8\u6a5f\u80fd\u3092\u5099\u3048\u3066\u3044\u307e\u3059 a {displaystyle alpha} \u3001 \u306e {displaystyle {mathcal {v}}} \u5909\u6570\u306e\u4f9b\u7d66\u3002\u3055\u307e\u3056\u307e\u306a\u30b1\u30fc\u30b9\u3067\u306f\u30011\u3064\u306e\uff08\u304a\u305d\u3089\u304f\u90e8\u5206\u7684\u306a\uff09\u30a4\u30e9\u30b9\u30c8\u3092\u4f7f\u7528\u3057\u305f\u5909\u6570\u5ba3\u8a00\u3082\u3042\u308a\u307e\u3059 n \uff1a  \u306e \u219b t {displaystyle nu {\uff1a} {mathcal {v}} to t} \u3002 \u4eca\u3001\u4e0e\u3048\u3089\u308c\u307e\u3059 \u53ef\u5909\u5272\u308a\u5f53\u3066 \uff08\u307e\u305f \u53ef\u5909\u5272\u308a\u5f53\u3066 [19] \uff09\uff09 b {displaystyle\u30d9\u30fc\u30bf} \u3002 1\u3064\u306e\u5834\u5408\u30011\u3064\u306e\uff08\u304a\u305d\u3089\u304f\u90e8\u5206\u7684\u306a\u90e8\u5206\u306e\u307f\uff09\u30a4\u30e9\u30b9\u30c8\u306f b \uff1a  \u306e \u219b a {displaystyle beta {\uff1a} {mathcal {v}} not to} \u3001\u3055\u307e\u3056\u307e\u306a\u5834\u5408\u3001\u3059\u3079\u3066\u306e\u5909\u6570\u306b\u5bfe\u3057\u3066 \u30d0\u30c4 {displaystyle x} \u753b\u50cf\uff08\u5272\u308a\u5f53\u3066\u3089\u308c\u305f\u5834\u5408\uff09\u5ba3\u8a00\u3055\u308c\u305f\u54c1\u7a2e\u306e\u5024\u7bc4\u56f2\u306e\u8981\u7d20\uff1a b \uff08 \u30d0\u30c4 \uff09\uff09 \u2208 a n \uff08 \u30d0\u30c4 \uff09\uff09 {displaystyle beta\uff08x\uff09in a_ {nu\uff08x\uff09}}}} \u3002 \u53ef\u5909\u5272\u308a\u5f53\u3066\u306e\u305f\u3081 b {displaystyle\u30d9\u30fc\u30bf} \u6761\u4ef6\u306b\u306a\u308a\u307e\u3059 t {displaystylet} \u4fa1\u5024 [ [ t ] ] {displaystyle [\uff01[t]\uff01]} \u6b21\u306e\u3088\u3046\u306b\u5272\u308a\u5f53\u3066\u3089\u308c\u307e\u3059\uff1a [20] [21] [22] \u30a2\u30eb\u30d5\u30a1\u30d9\u30c3\u30c8\u5168\u4f53\u306e\u4e0a\u306e\u6a19\u8b58\u3068\u30b9\u30c8\u30e9\u30a4\u30af\u306f\u3001\u4e0a\u90e8\u3067\u9752\u3067\u5f37\u8abf\u8868\u793a\u3055\u308c\u3066\u3044\u307e\u3059\uff1a\u9752\uff1a \u5de6\u5074\u306b\u306f\u3001\u7528\u8a9e\u306e\u8a55\u4fa1\u3001\u3064\u307e\u308a\u30ad\u30e3\u30e9\u30af\u30bf\u30fc\u30c1\u30a7\u30fc\u30f3\uff08\u30b7\u30f3\u30dc\u30eb\u306e\u6709\u9650\u30a8\u30d4\u30bd\u30fc\u30c9\uff09\u304c\u3042\u308a\u307e\u3059\u3002 \u95a2\u6570\uff08\u30ea\u30f3\u30af\uff09\u304c\u53f3\u5074\u306b\u3042\u308a\u307e\u3059 a \uff08 f \uff09\uff09 {displaystyle alpha\uff08f\uff09} \u5f7c\u3089\u306e\u8b70\u8ad6\u306b\u9069\u7528\u3055\u308c\u307e\u3059 [ [ t 1] ] \u3001 [ [ t 2] ] \u3001 … {displayStyle [\uff01[t_ {1}]\uff01]\u3001[\uff01[t_ {2}]\uff01]\u3001dots} \u3002 \u5b9a\u6570\u306f\u3001\u30bc\u30ed\u30c7\u30a3\u30b8\u30c3\u30c8\u95a2\u6570\u3068\u3057\u3066\u7406\u89e3\u3067\u304d\u307e\u3059\u3001\u660e\u793a\u7684\u3067\u3059 [ [ c ] ] = a \uff08 c \uff09\uff09 {displaystyle [\uff01[c]\uff01] = alpha\uff08c\uff09} \u5b9a\u6570\u7528 c {displaystyle c} \u3002 \u30a4\u30e9\u30b9\u30c8 [ [  ] ] {displaystyle [\uff01[]\uff01]} \u306a\u308a\u307e\u3059 Termauswertung \u307e\u305f \u7528\u8a9e\u306e\u7d42\u4e86 \u547c\u3073\u51fa\u3055\u308c\u307e\u3057\u305f\u3002 \u3055\u307e\u3056\u307e\u306a\u30b1\u30fc\u30b9\u3067\u306f\u3001\u7528\u8a9e\u306e\u7d50\u679c\u306e\u8a55\u4fa1 t {displaystylet} \uff08\u975e\u8ad6\u7406\u7684\uff09\u54c1\u7a2e s {displaystyleS} \u5024\u7bc4\u56f2\u306e\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\uff08\u8981\u7d20\uff09 a s = a \uff08 s \uff09\uff09 {displaystyle a_ {s} = alpha\uff08s\uff09} \u3002 \u4efb\u547d\u8a55\u4fa1\u306f\u3001\u6a5f\u80fd\u7684\u306a\u89e3\u91c8\u3068\u306e\u3082\u306e\u3067\u3059 a | F{displaystyle alpha | _ {mathcal {f}}} \u5909\u6570\u5360\u6709\u7387\u306e\u4e92\u63db\u6027\u306e\u3042\u308b\u7d99\u7d9a b {displaystyle\u30d9\u30fc\u30bf} \u305d\u3057\u3066\u4e00\u5b9a\u306e\u89e3\u91c8 a | C{displaystyle alpha | _ {mathcal {c}}} \u3002\u7528\u8a9e\u8a55\u4fa1 [ [  ] ] {displaystyle [\uff01[]\uff01]} 2\u3064\u306e\u30d1\u30e9\u30e1\u30fc\u30bf\u30fc\u3067\u5b9a\u7fa9\u3055\u308c\u3066\u3044\u307e\u3059\u3002 \u89e3\u91c8\u95a2\u6570 a {displaystyle alpha} \uff08\u69cb\u9020\u306e\u8868\uff09\u3068 \u5909\u6570\u5272\u308a\u5f53\u3066 b {displaystyle\u30d9\u30fc\u30bf} \u5024\u306e\u7bc4\u56f2\u304c\u5b58\u5728\u3057\u307e\u3059 a s {displaystyle a_ {s}} \u54c1\u7a2e\u306f\u30da\u30a2\u306b\u3042\u308a\u307e\u3059 s = n \uff08 \u30d0\u30c4 \uff09\uff09 {displaystyle s = nu\uff08x\uff09} \u6587\u66f8\u5316\u3055\u308c\u305f\u5909\u6570 \u30d0\u30c4 {displaystyle x} \u5f7c\u3089\u306e\u4fa1\u5024\u3092\u901a\u3057\u3066 b \uff08 \u30d0\u30c4 \uff09\uff09 \u2208 a s {displaystyle beta\uff08x\uff09in a_ {s}} \u3053\u306e\u5834\u5408\u3001\u5909\u6570\u5ba3\u8a00\u306e\u8ffd\u52a0\u4ed5\u69d8\u306f\u5fc5\u8981\u306a\u3044\u3088\u3046\u306b\u660e\u78ba\u306b\u6c7a\u5b9a\u3055\u308c\u3066\u3044\u307e\u3059\u3002\u3057\u305f\u304c\u3063\u3066\u3001\u7a2e\u306b\u306f\u8868\u8a18\u3082\u3042\u308a\u307e\u3059 [ [  ] ] a \u3001 b {displaystyle [\uff01[]\uff01] _ {alpha\u3001beta}} \u305d\u308c\u4ee5\u5916\u306e [ [  ] ] {displaystyle [\uff01[]\uff01]} \u3002 [23] \u7528\u8a9e\u306e\u3088\u3046\u306b t {displaystylet} \u4e0e\u3048\u3089\u308c\u305f\u69cb\u9020\u3092\u4f7f\u7528\u3057\u307e\u3059\uff08\u3067\u8868\u3055\u308c\u307e\u3059 a {displaystyle alpha} \uff09\u304a\u3088\u3073\u53ef\u5909\u5272\u308a\u5f53\u3066\uff08 b {displaystyle\u30d9\u30fc\u30bf} \uff09\uff08\u975e\u8ad6\u7406\u7684\u306a\uff09\u591a\u69d8\u6027\u306e\u4fa1\u5024\u306b\u5bfe\u3059\u308b s {displaystyleS} \u8a55\u4fa1\u3067\u304d\u307e\u3059 \u30d5\u30a1\u30a4 {displaystyle varphi} \u8ad6\u7406\u7684\u4fa1\u5024\u3092\u8a55\u4fa1\u3057\u307e\u3059\u3002\u305d\u308c\u4ee5\u5916\u306e [ [ \u30d5\u30a1\u30a4 ] ] a \u3001 b {displaystyle [\uff01[varphi]\uff01] _ _ {alpha\u3001beta}}} \u3053\u306e\u305f\u3081\u3067\u3059 \u5f0f\u306e\u4fa1\u5024 \uff08\u307e\u305f \u771f\u5b9f \u307e\u305f \u5f0f\u306e\u5272\u308a\u5f53\u3066 \u540d\u524d\u4ed8\u304d\uff09\u8868\u8a18 \uff08 a \u3001 b \uff09\uff09 \u22a8 \u30d5\u30a1\u30a4 {displaystyle\uff08alpha\u3001beta\uff09\u30e2\u30c7\u30ebvarphi} \u3044\u3064\u3082\u306e\u3002\u3053\u306e\u59a5\u5f53\u6027\u306f\u3001\u6b21\u306e\u30eb\u30fc\u30eb\u306b\u3088\u3063\u3066\u6697\u9ed9\u7684\u306b\u5b9a\u7fa9\u3055\u308c\u3066\u3044\u307e\u3059\u3002 [24] [25] [26] [27] \uff08 a \u3001 b \uff09\uff09 \u22a8 \u30d0\u30c4 \u21d4\u03b2(x){displaystyle\uff08alpha\u3001beta\uff09\u30e2\u30c7\u30eb\u8272{blue} xcolor {black} leftrightarrow beta\uff08color {blue} xcolor {black}\uff09} \u304a\u305d\u3089\u304f\u8ad6\u7406\u5909\u6570\u7528 \u30d0\u30c4 \u2208V{displaystyle color {blue} xcolor {black} in {mathcal {v}}}} [28] \uff08 a \u3001 b \uff09\uff09 \u22a8 t1= t2\u21d4[[t1]]\u03b1,\u03b2=[[t2]]\u03b1,\u03b2{displaystyle\uff08alpha\u3001beta\uff09\u30e2\u30c7\u30eb\u8272{blue} t_ {1} = t_ {2} color {black} leftrightarrow [\uff01[color {blue} t_ {1} color {1}]\uff01 _ {alpha\u3001beta}} \u7528\u8a9e\u306e\u5834\u5408 t1,t2{displaystyle color {blue} t_ {1} color {black}\u3001color {blue} t_ {2} color {black}} [29] \uff08 a \u3001 b \uff09\uff09 \u22a8 r \uff08 t1\u3001 … tk\uff09\uff09 \u21d4([[t1]]\u03b1,\u03b2,\u2026[[tk]]\u03b1,\u03b2)\u2208\u03b1(R){displaystyle\uff08alpha\u3001beta\uff09\u30e2\u30c7\u30eb\u8272{blue} r\uff08t_ {1}\u3001dots t_ {k}\uff09color {black} leftrightarrow\uff08[\uff01{blue} t_ {1} color {black}] _ {alpha\u3001beta}\u3001dots [blook}]\u30a2\u30eb\u30d5\u30a1\u3001\u30d9\u30fc\u30bf}\uff09in alpha\uff08color {blue} rcolor {black}\uff09} \u95a2\u4fc2\u30b7\u30f3\u30dc\u30eb\u306e\u5834\u5408 r {displaystyle color {blue} rcolor {black}} \u60f3\u50cf\u529b k = a \uff08 r ){displaystyle k = sigma\uff08color {blue} rcolor {black}\uff09} \u304a\u3088\u3073\u7528\u8a9e t1,\u2026tk{displaystyle color {blue} t_ {1} color {black}\u3001dots color {blue} t_ {k} color {black}} \u3001 \u7279\u306b \uff08 a \u3001 b \uff09\uff09 \u22a8 r \u21d4\u03f5\u2208\u03b1(R)\u21d4\u03b1(R)\u2260\u2205\u21d4\u03b1(R){displaystyle\uff08alpha\u3001beta\uff09\u30e2\u30c7\u30eb\u8272{blue} rcolor {black} leftrightarrow in alpha\uff08color {blue} rcolor {black}\uff09leftrightarrow alpha\uff08color {blue} rcolor {black}\uff09 \u304a\u305d\u3089\u304f\u8ad6\u7406\u5b9a\u6570\u306e\u5834\u5408\u3001d\u3002 H.\u30bc\u30ed\u306e\u95a2\u4fc2 [30] \uff08 a \u3001 b \uff09\uff09 \u22a8 \u00ac \u30d5\u30a1\u30a4 \u00a0\u00a0\u21d4\u00a0\u00a0\u00ac(\u03b1,\u03b2)\u22a8\u03c6{displaystyle\uff08alpha\u3001beta\uff09\u30e2\u30c7\u30eb\u30ab\u30e9\u30fc{\u9752}\u30cd\u30ac\u30f4\u30a1\u30eb\u30d5\u30a3\u30ab\u30e9\u30fc{\u30d6\u30e9\u30c3\u30af} leftrightarrow color {red} neg color {black}\uff08alpha\u3001beta\uff09\u30e2\u30c7\u30eb{blue} varphi color {black}}}} \u5f0f\u306e\u5834\u5408 \u30d5\u30a1\u30a4 {displaystyle varphi} \uff08 a \u3001 b \uff09\uff09 \u22a8 \u30d5\u30a1\u30a4 \u2228 \u03c6 \u00a0\u00a0\u21d4\u00a0\u00a0((\u03b1,\u03b2)\u22a8\u03c6)\u00a0\u2228\u00a0((\u03b1,\u03b2)\u22a8\u03c8){displaystyle\uff08alpha\u3001beta\uff09\u30e2\u30c7\u30eb\u8272{blue} varphi lor psi color {black} leftrightarrow\uff08\uff08alpha\u3001beta\uff09\u30e2\u30c7\u30eb{blue} varphi color {black}\uff09; color {red} lor color {black};\uff08alpha\u3001beta {blue} psi color {blue} psi color {blue} psi color {blue} psi color { \u5f0f\u306e\u5834\u5408 \u30d5\u30a1\u30a4 ,\u03c8{displaystyle color {blue} varphi color {black}\u3001color {blue} psi color {black}} \uff08 a \u3001 b \uff09\uff09 \u22a8 \u30d5\u30a1\u30a4 \u2227 \u03c6 \u00a0\u00a0\u21d4\u00a0\u00a0((\u03b1,\u03b2)\u22a8\u03c6)\u00a0\u2227\u00a0((\u03b1,\u03bd)\u22a8\u03c8){displaystyle\uff08alpha\u3001beta\uff09\u30e2\u30c7\u30eb\u8272{\u9752} varphi land psi color {black} leftrightarrow\uff08\uff08alpha\u3001beta\uff09\u30e2\u30c7\u30eb{\u9752} varphi color {black}\uff09; color {red} land {black}; \uff08 a \u3001 b \uff09\uff09 \u22a8 \u30d5\u30a1\u30a4 \u2192 \u03c6 \u00a0\u00a0\u21d4\u00a0\u00a0((\u03b1,\u03b2)\u22a8\u03c6)\u00a0\u2192\u00a0((\u03b1,\u03b2)\u22a8\u03c8){displaystyle\uff08alpha\u3001beta\uff09\u30e2\u30c7\u30eb\u8272{blue} varphi to psi color {black} leftrightarrow\uff08\uff08alpha\u3001beta\uff09\u30e2\u30c7\u30eb{blue} varphi color {black}\uff09; color {red} to color {black}; \uff08 a \u3001 b \uff09\uff09 \u22a8 \u30d5\u30a1\u30a4 \u2194 \u03c6 \u00a0\u00a0\u21d4\u00a0\u00a0((\u03b1,\u03b2)\u22a8\u03c6)\u00a0\u2194\u00a0((\u03b1,\u03b2)\u22a8\u03c8){displaystyle\uff08alpha\u3001beta\uff09\u30e2\u30c7\u30eb\u30ab\u30e9\u30fc{\u9752} varphi leftrightarrow psi color {black} leftrightarrow\uff08\uff08alpha\u3001beta\uff09\u30e2\u30c7\u30eb\u30e2\u30c7\u30eb{blue} varphi color {black}\uff09; \uff08 a \u3001 b \uff09\uff09 \u22a8 \u2200 \u30d0\u30c4 \uff1a s  \u30d5\u30a1\u30a4 \u00a0\u00a0\u21d4\u00a0\u00a0\u2200a\u2208As:(\u03b1,\u03b2\u27e8x\u21a6a\u27e9)\u22a8\u03c6{displaystyle\uff08alpha\u3001beta\uff09\u30e2\u30c7\u30eb\u8272{blue} forall; x\uff1as varphi color {black} leftrightarrow color {red} forall {black}; ain a_ {color {black}} color {color {color {color} phi} \u3001\u305d\u308c\u306b\u3088\u3063\u3066 s \u2208T{displaystyle color {blue} scolor {black} in t} \u4e00\u7a2e\u3001 \u30d0\u30c4 \u2208V{displaystyle color {blue} xcolor {black} in {mathcal {v}}}} \u53ef\u5909\u30b7\u30f3\u30dc\u30eb\u3068 \u30d5\u30a1\u30a4 {displaystyle color {blue} varphi color {black}} \u306e\u8868\u73fe\u3067\u3059 \u5730\u5143 \u5909\u6570 \u30d0\u30c4 {displaystyle color {blue} xcolor {black}} \u9ed2\u304c\u3042\u308a\u307e\u3059 s {displaystyle color {blue} scolor {black}} \u767a\u751f\u3057\u307e\u3059\u3002 [\u6700\u521d\u306b30] \uff08 a \u3001 b \uff09\uff09 \u22a8 \u2203 \u30d0\u30c4 \uff1a s  \u30d5\u30a1\u30a4 \u00a0\u00a0\u21d4\u00a0\u00a0\u2203a\u2208As:(\u03b1,\u03b2\u27e8x\u21a6a\u27e9)\u22a8\u03c6{displaystyle\uff08alpha\u3001beta\uff09\u30e2\u30c7\u30eb\u30ab\u30e9\u30fc{\u9752}\u5b58\u5728; x\uff1as varphi color {black} leftrightarrow color {red} exists color {black}; ain a_ {color {black}} color {color {color}\uff1acolor {black}\uff08blacks}\uff08blacks} bl bly\uff09 phi} \u3001\u305d\u308c\u306b\u3088\u3063\u3066 s {displaystyle color {blue} scolor {black}} \u3001 \u30d0\u30c4 {displaystyle color {blue} xcolor {black}} \u3068 \u30d5\u30a1\u30a4 {displaystyle color {blue} varphi color {black}} \u5f93\u6765\u901a\u308a\u3002 [\u6700\u521d\u306b30] \u30a2\u30eb\u30d5\u30a1\u30d9\u30c3\u30c8\u5168\u4f53\u306e\u4e0a\u306e\u6a19\u8b58\u3068\u5370\u8c61\u7684\u306a\u30c1\u30a7\u30fc\u30f3\u306f\u3001\u4e0a\u90e8\u306e\u9752\u3067\u5f37\u8abf\u8868\u793a\u3055\u308c\u307e\u3059\u3002\u7279\u306b\u3001\u5de6\u5074\u306e\u30b8\u30e3\u30f3\u30af\u30b7\u30e7\u30f3\u3068\u91cf\u5b50\uff08\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u8a00\u8a9e\uff09\u304c\u542b\u307e\u308c\u3066\u3044\u307e\u3059\u3002\u53f3\u5074\u306b\u30de\u30fc\u30af\u3055\u308c\u305f\u8d64\u306f\u3001\u8ad6\u7406\u7684\u306a\u63a5\u7d9a\u306a\u3069\u306e\u7565\u8a9e\u3067\u3059\u3002\u666e\u901a\u306e\u8a00\u8a9e\uff08\u30e1\u30bf\u8a00\u8a9e\uff09\u3001\u3064\u307e\u308a\u300c “\u3001”\u3001 “\u3001”\u3001 “\u3001” one “\u3001” for everyone “\u3001” of “\u306a\u3069\u306e\u666e\u901a\u306e\u8a00\u8a9e\uff09\u3002 [26] \u91cf\u5b50\u8a18\u53f7\u3092\u533a\u5225\u3057\u307e\u3059 \u2200 … \u3001 \u2203\u2026{displaystyle color {blue} forall color {black} dots\u3001color {blue}\u304c\u5b58\u5728\u3059\u308b{\u9ed2}\u30c9\u30c3\u30c8} \u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u8a00\u8a9e\u306fz\u3092\u53ef\u80fd\u306b\u3059\u308b\u53ef\u80fd\u6027\u304c\u3042\u308a\u307e\u3059\u3002\u8179 \u22c0\u2026,\u22c1\u2026{displaystyle color {red} textStyle bigwedge limits _ {color {black} dots} color {black}\u3001color {red} textStyle bigvee limits _ {color {black} dots}}} \u4f7f\u7528\u3092\u898b\u3064\u3051\u307e\u3059\u3002 \u306e\u771f\u5b9f\u306e\u4fa1\u5024 \u6587 \uff08 \u9589\u307e\u3063\u3066\u3044\u308b Express\u3001d\u3002 H.\u81ea\u7531\u5909\u6570\u304c\u306a\u3044\uff09\u306f\u3001\u5909\u6570\u5272\u308a\u5f53\u3066\u306b\u4f9d\u5b58\u3057\u307e\u305b\u3093\u3002 [32] \u95a2\u4fc2\u5909\u6570\u3092\u4f7f\u7528\u3057\u305f\u7b2c2\u6bb5\u968e\u306e\u8ff0\u8a9e\u30ed\u30b8\u30c3\u30af\u306b\u306f\u3001\u3055\u3089\u306b2\u3064\u306e\u30eb\u30fc\u30eb\u304c\u3042\u308a\u307e\u3059\u3002\u3055\u307e\u3056\u307e\u306a\u901a\u5e38\u306e\u5834\u5408\u306b\u306f\u6b21\u306e\u3088\u3046\u3067\u3059\u3002 \uff08 a \u3001 b \uff09\uff09 \u22a8 \u2200 \u30d0\u30c4 \uff1a t  \u30d5\u30a1\u30a4 \u00a0\u00a0\u21d4\u00a0\u00a0\u2200R\u2286\u220fA\u2218t:(\u03b1,\u03b2\u27e8X\u21a6R\u27e9)\u22a8\u03c6{displaystyle\uff08alpha\u3001beta\uff09\u30e2\u30c7\u30eb\u30ab\u30e9\u30fc{\u9752} forall; x\uff1at varphi color {black} leftrightarrow color {red} forall color {black}; rsubseteq textStyle prod acirc }\uff09\u30e2\u30c7\u30eb\u306e\u8272{\u9752} varphi} \u3001\u305d\u308c\u306b\u3088\u3063\u3066 t \u2208T\u2217{displaystyle color {blue} tcolor {black} in t^{*}} \u5f15\u6570\u30bf\u30a4\u30d7\u306f\u3067\u3059 \u30d0\u30c4 \u2208R{displaystyle color {blue} xcolor {black} in {mathcal {r}}}} \u95a2\u4fc2\u5909\u6570\u8a18\u53f7\u3068 \u30d5\u30a1\u30a4 {displaystyle color {blue} varphi color {black}} \u5f0f \u5730\u5143 RelationsVariable \u30d0\u30c4 {displaystyle color {blue} xcolor {black}} \u30bf\u30a4\u30d7\u306e t {displaystyle color {blue} t} \u767a\u751f\u3057\u307e\u3059\u3002 [33] \uff08 a \u3001 b \uff09\uff09 \u22a8 \u2203 \u30d0\u30c4 \uff1a t  \u30d5\u30a1\u30a4 \u00a0\u00a0\u21d4\u00a0\u00a0\u2203R\u2286\u220fA\u2218t:(\u03b1,\u03b2\u27e8X\u21a6R\u27e9)\u22a8\u03c6{displaystyle\uff08alpha\u3001beta\uff09\u30e2\u30c7\u30eb\u30ab\u30e9\u30fc{\u9752}\u5b58\u5728; x\uff1at varphi color {black} leftrightarrow color {red} exists color {black}; rsubseteq textStyle prod acirc }\uff09\u30e2\u30c7\u30eb\u306e\u8272{\u9752} varphi} \u3001\u305d\u308c\u306b\u3088\u3063\u3066 t \u2208T\u2217{displaystyle color {blue} tcolor {black} in t^{*}} \u3001 \u30d0\u30c4 {displaystyle color {blue} xcolor {black}} \u3068 \u30d5\u30a1\u30a4 {displaystyle color {blue} varphi color {black}} \u5f93\u6765\u901a\u308a\u3002 [33] 1\u3064\u306e\u5834\u5408\u3001\u30ad\u30e3\u30ea\u30a2\u306e\u91cf\u306e\u30c7\u30ab\u30eb\u30c8\u88fd\u54c1\u306f \u220f a \u2218 t= a t1\u00d7 … a tk{displaystyle textStyle prod acirc {color {blue} tcolor {black}} = a_ {color {blue} t_ {1} color {black}} nots dots a_ {color {blue} t_ {k} color {black}}}}}}}} \u306b a k {displaystyle a^{k}} \u60f3\u50cf\u529b\u3092\u5099\u3048\u3066\u3044\u307e\u3059 k {displaystyle k} \u7c21\u7d20\u5316\u3055\u308c\u308b\u3002\u901a\u5e38\u3001\u95a2\u4fc2\u5909\u6570\u306f\u5805\u5b9f\u306a\u30d1\u30d5\u30a9\u30fc\u30de\u30f3\u30b9\u3067\u4f7f\u7528\u3055\u308c\u307e\u3059\uff08\u30a4\u30f3\u30c7\u30c3\u30af\u30b9\u3068\u3057\u3066\u30ea\u30b9\u30c8\u3055\u308c\u308b\u3053\u3068\u3092\u559c\u3093\u3067\u3044\u307e\u3059\uff09\u3002\u305d\u3046\u3057\u306a\u3044\u3068\u3001\u5b9f\u73fe\u3092\u5ba3\u8a00\u3059\u308b\u5fc5\u8981\u304c\u3042\u308a\u307e\u3059\uff1a\u30d1\u30d5\u30a9\u30fc\u30de\u30f3\u30b9 k \u2208 n 0 {displaystyle kin mathbb {n} _ {0}} \u305d\u306e\u5f8c\u3001\u4ed6\u306e\u30ad\u30e3\u30e9\u30af\u30bf\u30fc\u304b\u3089\u306e\u8c61\u5fb4\u7684\u306a\u8868\u73fe \u79c1 {displaystyle color {blue} i} \u5fc5\u8981\u3067\u3059 a \uff08 \u79c1 \uff09\uff09 = k \u2208 N0{displaystyle alpha\uff08color {blue} icolor {black}\uff09= kin mathbb {n} _ {0}} \u3001 [34] \u3057\u305f\u304c\u3063\u3066\u3001\u3053\u306e\u52aa\u529b\u306f\u3001\u30de\u30eb\u30c1\u30bf\u30a4\u30d7\u306e\u5834\u5408\u3068\u540c\u3058\u307e\u305f\u306f\u540c\u3058\u3067\u3059\u3002 \u2191  \u3055\u307e\u3056\u307e\u306a\u30ed\u30b8\u30c3\u30af\u306e\u30bb\u30af\u30b7\u30e7\u30f3#terme\u3092\u53c2\u7167\u3057\u3066\u304f\u3060\u3055\u3044\u3002  \u2191  \u3053\u3053\u3067\u610f\u5473\u3059\u308b\u306e\u306f\u3001\u30d0\u30ea\u30e5\u30fc\u9818\u57df\u3068\u3057\u3066\u306e\u62bd\u8c61\u7684\u306a\u30d6\u30fc\u30eb\u30b7\u30a7\u4ee3\u6570\u3067\u3059\u3002\u58f0\u660e\u4ee3\u6570\u300c\u8ad6\u7406\u7528\u8a9e\u3068\u5f0f\u300d\u306e\u7279\u5225\u306a\u30b1\u30fc\u30b9\u306b\u3064\u3044\u3066\u306f\u3001\u6c4e\u7528\u30ed\u30b8\u30c3\u30af\u306e#Express\u3068#Expressions\u306e\u30bb\u30af\u30b7\u30e7\u30f3\u3092\u53c2\u7167\u3057\u3066\u304f\u3060\u3055\u3044\u3002  \u2191  W. Vogler\uff082007\/2008\uff09S\u30023  \u2191  Krous \/ Bormell\uff082008\uff09p\u30024  \u2191  \u3053\u308c\u3092\u884c\u3046\u306b\u306f\u3001\u3053\u308c\u3089\u306e\u7528\u8a9e\u3092\u6700\u521d\u306b\u7dda\u5f62\u5f62\u5f0f\uff08\u3064\u307e\u308a\u3001\u6587\u5b57\u30c1\u30a7\u30fc\u30f3\uff09\u306b\u8ee2\u9001\u3059\u308b\u5fc5\u8981\u304c\u3042\u308a\u307e\u3059\u3002\u91cf\u5b50\u306e\u5834\u5408\u3001\u3053\u308c\u306f\u30b9\u30da\u30eb\u3092\u30b7\u30f3\u30dc\u30eb\u306b\u7f6e\u304d\u63db\u3048\u308b\u3053\u3068\u306b\u5bfe\u5fdc\u3057\u307e\u3059 \u22c0\u2026\u3001 \u22c1\u2026{displaystyle bigwedge _ {dots}\u3001bigvee _ {dots}} \uff08\u4f3c\u3066\u3044\u308b \u2211\u2026\u3001 \u220f\u2026{displaystyle sum _ {dots}\u3001prod _ {dots}} \uff09 \u7d42\u3048\u305f \u2200 … \u3001 \u2203 … {lisplaystyle forall\u30c9\u30c3\u30c8\u3001\u5b58\u5728\u3059\u308b\u30c9\u30c3\u30c8} \u3002\u3055\u3089\u306bs\u3002u\u3002\uff1aquasi ‘\u8ad6\u7406\u7528\u8a9e’\u3068\u3057\u3066\u306e\u5f0f\u3002  \u2191  VGL\u3002 R.\u30e9\u30b9\u30c8\uff082004\uff09p\u300210  \u2191  KleineB\u00fcning\uff082015\uff09\u3001pp\u30028\u201315  \u2191  \u307e\u305f\u306f\u5f0f  \u2191  \u30dd\u30a4\u30f3\u30c81\u304a\u3088\u30732\u306b\u5f93\u3063\u3066\u5f0f\u304c\u547c\u3070\u308c\u307e\u3059 \u30a2\u30c8\u30de\u30fc\u30eb \u3002  \u2191  W. Vogler\uff082007\/2008\uff09S\u30025 f  \u2191  \u5909\u6570 \u30d0\u30c4 \u2208 V{displaystylexin {mathcal {v}}} \u547c\u3070\u308c\u3066\u3044\u307e\u3059 \u30d0\u30a6\u30f3\u30c9 \u8868\u73fe\u3067 \u03c6 {displaystyle psi} \u3001 \u3082\u3057\u3082 \u30d0\u30c4 {displaystyle x} Quantor\u3067\u3059\u3050\u306b\uff08 \u2203 \u3001 \u2200 \u3001 … {displayStyle\u304c\u5b58\u5728\u3057\u307e\u3059\u3002 \uff09\u305d\u308c\u4ee5\u5916\u306e\u5834\u5408\u306f\u7d9a\u304d\u307e\u3059 \u30d0\u30c4 {displaystyle x} \u3044\u3064 \u7121\u6599 \u5909\u6570\u3002\u5909\u6570\u306f\u3001\u540c\u3058\u5f0f\u3067\u81ea\u7531\u306b\u3001\u304a\u3088\u3073\uff08\u91cf\u5b50\u306e\u7bc4\u56f2\u3067\u5c40\u6240\u7684\u306b\uff09\u306e\u4e21\u65b9\u3067\u767a\u751f\u3059\u308b\u53ef\u80fd\u6027\u304c\u3042\u308a\u307e\u3059\u3002\u81ea\u7531\u5909\u6570\u306e\u306a\u3044\u5f0f\u306f\u610f\u5473\u3057\u307e\u3059 \u9589\u307e\u3063\u3066\u3044\u308b \u307e\u305f\u306fa \u6587 \u3002 R. Last\uff082004\uff09p\u300210\u3092\u53c2\u7167\u3057\u3066\u304f\u3060\u3055\u3044  \u2191  1\u3064\u306e\u30b5\u30a4\u30ba\u306e\u5834\u5408\u3001\u95a2\u4fc2\u5909\u6570\u306e\u30d1\u30d5\u30a9\u30fc\u30de\u30f3\u30b9\u306e1\u3064\u306e\u30b5\u30a4\u30ba\u306e\u30b1\u30fc\u30b9\u306b\u3082\u3053\u308c\u3089\u306e2\u3064\u306e\u30aa\u30d7\u30b7\u30e7\u30f3\u304c\u3042\u308a\u3001\u901a\u5e38\u306f2\u756a\u76ee\u306e\u30d0\u30ea\u30a2\u30f3\u30c8\u304c\u3053\u3053\u306b\u3042\u308a\u307e\u3059\u3002  \u2191  Stefan Brass\uff082005\uff09S\u300254  \u2191  Stefan Brass\uff082005\uff09S\u300256  \u2191  A. Oberschelp\uff081990\uff09 \u30da\u30fc\u30b89ff  \u2191  \u95a2\u4fc2\uff08\u6570\u5b66\uff09#lelations and\u95a2\u6570\u3092\u53c2\u7167\u3057\u3066\u304f\u3060\u3055\u3044  \u2191  ErichGr\u00e4del\uff082009\uff09p\u30021  \u2191  Stefan Brass\uff082005\uff09p\u300256\u304a\u3088\u3073pp\u300266\u201368\u3092\u53c2\u7167\u3057\u3066\u304f\u3060\u3055\u3044\u3002 Ramharter\u3001Eder\uff082015\/16\uff09p\u300217\u3002  \u2191  C. Lutz\uff082010\uff09S\u30028  \u2191  Knouse\u3001Borgels\uff082008\uff09p\u30029  \u2191  R.\u30ec\u30c3\u30c4\uff082004\uff09p\u30027\u3002\u8457\u8005\u306f\u8868\u8a18\u3092\u4f7f\u7528\u3057\u307e\u3059 \u306e {displaystyleu} \u30aa\u30d6\u30b8\u30a7\u30af\u30c8\uff08\u3055\u307e\u3056\u307e\u306a\u5024\u306e\u8981\u7d20\uff09\u306e\u5834\u5408\u3001 \u79c1 {displaystyle iota} \u89e3\u91c8\u95a2\u6570 a {displaystyle alpha} \u3068 A{displaystyle {mathcal {a}}} \u5909\u6570\u5272\u308a\u5f53\u3066\u306e\u5834\u5408 b {displaystyle\u30d9\u30fc\u30bf} \u3002\u305d\u308c\u4ee5\u5916\u306e \u03b2\u27e8x\u21a6a\u27e9{displaystyle beta _ {langle xmapsto arangle}} \u306a\u308a\u307e\u3059 Axu{displaystyle {mathcal {a}} _ {x}^{u}} \u4ee3\u308f\u308a\u306b\u6ce8\u76ee\u3055\u308c\u3066\u3044\u307e\u3059 [ [  ] ]\u03b1,\u03b2{displaystyle [\uff01[]\uff01] _ {alpha\u3001beta}} \u7528\u8a9e\u306e\u5272\u308a\u5f53\u3066\u306e\u305f\u3081\u306b\u8a00\u308f\u308c\u3066\u3044\u307e\u3059 \u03b9A{displaystyle iota ^{mathcal {a}}} \u3002  \u2191  Stefan Brass\uff082005\uff09S\u300283  \u2191  \u9806\u5e8f – \u30bd\u30eb\u30c8\u30ed\u30b8\u30c3\u30af\uff08\u82f1\u8a9e\uff1a \u6ce8\u6587\u30bd\u30fc\u30c8\u30ed\u30b8\u30c3\u30af \uff09\u54c1\u7a2e\u3067\u3059 s \u2208 t {displaystyle sin t} \u5272\u308a\u5f53\u3066\u3089\u308c\u305f\u5024\u7bc4\u56f2 As{displaystyle a_ {s}} \u5fc5\u8981\u3067\u306f\u3042\u308a\u307e\u305b\u3093\u3002\u4ee3\u308f\u308a\u306b\u3001\u54c1\u7a2e\u306e\u91cf\u306f\u3067\u3059 t {displaystylet} \u90e8\u5206\u7684\u306a\u9806\u5e8f\u3067 \u2aaf {displaystyle preceq} \u3059\u3079\u3066\u306e\u54c1\u7a2e\u306e\u305f\u3081\u306b\u63d0\u4f9b\u3055\u308c\u307e\u3059 s1\u3001 s2{displaystyle s_ {1}\u3001s_ {2}} \u9069\u7528\uff1aif s1\u2aaf s2{displaystyle s_ {1} preceq s_ {2}} \u3001 \u305d\u308c\u304b\u3089 As1\u2286 As2{displaystyle a_ {s_ {1}} subseteq a_ {s_ {2}}}} \u3002\u3059\u3079\u3066\u306e\u5b9a\u6570\u3001\u53ef\u5909\u3001\u305d\u3057\u3066\u6700\u5f8c\u306b\u3059\u3079\u3066\u306e\u7528\u8a9e t {displaystylet} \u9ed2\u304c\u3042\u308a\u307e\u3059 s {displaystyleS} \u3055\u307e\u3056\u307e\u306a\u54c1\u7a2e\u306b\u306a\u308a\u307e\u3059 "},{"@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\/18734#breadcrumbitem","name":"\u7528\u8a9e – \u30a6\u30a3\u30ad\u30da\u30c7\u30a3\u30a2"}}]}]