[{"@context":"http:\/\/schema.org\/","@type":"BlogPosting","@id":"https:\/\/wiki.edu.vn\/all2jp\/wiki10\/archives\/15567#BlogPosting","mainEntityOfPage":"https:\/\/wiki.edu.vn\/all2jp\/wiki10\/archives\/15567","headline":"Termalgebra  – \u30a6\u30a3\u30ad\u30da\u30c7\u30a3\u30a2\u30a6\u30a3\u30ad\u30da\u30c7\u30a3\u30a2","name":"Termalgebra  – \u30a6\u30a3\u30ad\u30da\u30c7\u30a3\u30a2\u30a6\u30a3\u30ad\u30da\u30c7\u30a3\u30a2","description":"before-content-x4 \u6570\u5b66\u3068\u30b3\u30f3\u30d4\u30e5\u30fc\u30bf\u30fc\u30b5\u30a4\u30a8\u30f3\u30b9\u3067\u306f\u30011\u3064\u306f1\u3064\u672a\u6e80\u3067\u3059 \u7121\u6599\u306e\u30bf\u30fc\u30e0\u30e9\u30d6\u30e9 \u7f72\u540d\u3092\u4ecb\u3057\u3066\u81ea\u7531\u306b\u751f\u6210\u3055\u308c\u305f\u4ee3\u6570\u69cb\u9020\u3002\u30bf\u30fc\u30e0\u59d4\u54e1\u306e\u57fa\u672c\u91cf\u306f\u7528\u8a9e\u3067\u3059\u3002\u30bf\u30fc\u30b2\u30eb\u30d6\u30e9\u306e\u64cd\u4f5c\u306b\u306f\u3001\u5f15\u6570\u3068\u3057\u3066\u7528\u8a9e\u304c\u3042\u308a\u3001\u7d50\u679c\u3068\u3057\u3066\u518d\u3073\u6761\u4ef6\u3092\u63d0\u4f9b\u3057\u307e\u3059\u3002\u7aef\u5b50\u5883\u754cu\u3092\u914d\u4fe1\u3057\u307e\u3059\u3002 \u300c\u8a08\u7b97\u300d\u3001\u7528\u8a9e\u306e\u89e3\u91c8\u3001\u6570\u5b66\u7684\u306b\u5206\u985e\u3055\u308c\u308b\u30d7\u30ed\u30bb\u30b9\u3092\u8a73\u3057\u304f\u8abf\u3079\u308b1\u3064\u306e\u65b9\u6cd5\u3001 \u7528\u8a9e\u3092\u4ee3\u6570\u69cb\u9020\u3068\u3057\u3066\u8868\u3059\u3053\u3068\u306b\u3088\u308a\u3001\u4ed6\u306e\u3059\u3079\u3066\u306e\u4ee3\u6570\u69cb\u9020\u306b\u5bfe\u3059\u308b\u6bd4\u7387\u3092\u660e\u308b\u304f\u3059\u308b\u305f\u3081\u306b\u3001 \u4ee3\u6570\u69cb\u9020\u306e\u7121\u6599\u751f\u7523\u306e\u6982\u5ff5\u306e\u30d7\u30ed\u30c8\u30bf\u30a4\u30d7\u3002 after-content-x4 \u30bf\u30fc\u30df\u30fc\u30eb\u30dc\u30fc\u30c0\u30fc\u3068a\u3092\u30d7\u30ec\u30a4\u3057\u307e\u3059\u3002\u666e\u904d\u7684\u306a\u4ee3\u6570\u3001\u6570\u5b66\u7684\u8ad6\u7406\u3001\u6b63\u5f0f\u306a\u30bb\u30de\u30f3\u30c6\u30a3\u30af\u30b9\u306b\u304a\u3051\u308b\u4e2d\u5fc3\u7684\u306a\u5f79\u5272\u3002 \u4ee3\u6570\u69cb\u9020\u306e\u5834\u5408\u3001\u7f72\u540d\u304c\u6700\u521d\u3067\u3059 s = \uff08 f \u3001 a \uff09\uff09 {displaystyle {boldsymbol {s}}","datePublished":"2023-07-08","dateModified":"2023-07-08","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\/3f3a8ec9a4effed5a93863abae9be228cf9b2d2a","url":"https:\/\/wikimedia.org\/api\/rest_v1\/media\/math\/render\/svg\/3f3a8ec9a4effed5a93863abae9be228cf9b2d2a","height":"","width":""},"url":"https:\/\/wiki.edu.vn\/all2jp\/wiki10\/archives\/15567","wordCount":5447,"articleBody":"     (adsbygoogle = window.adsbygoogle || []).push({});before-content-x4\u6570\u5b66\u3068\u30b3\u30f3\u30d4\u30e5\u30fc\u30bf\u30fc\u30b5\u30a4\u30a8\u30f3\u30b9\u3067\u306f\u30011\u3064\u306f1\u3064\u672a\u6e80\u3067\u3059 \u7121\u6599\u306e\u30bf\u30fc\u30e0\u30e9\u30d6\u30e9 \u7f72\u540d\u3092\u4ecb\u3057\u3066\u81ea\u7531\u306b\u751f\u6210\u3055\u308c\u305f\u4ee3\u6570\u69cb\u9020\u3002\u30bf\u30fc\u30e0\u59d4\u54e1\u306e\u57fa\u672c\u91cf\u306f\u7528\u8a9e\u3067\u3059\u3002\u30bf\u30fc\u30b2\u30eb\u30d6\u30e9\u306e\u64cd\u4f5c\u306b\u306f\u3001\u5f15\u6570\u3068\u3057\u3066\u7528\u8a9e\u304c\u3042\u308a\u3001\u7d50\u679c\u3068\u3057\u3066\u518d\u3073\u6761\u4ef6\u3092\u63d0\u4f9b\u3057\u307e\u3059\u3002\u7aef\u5b50\u5883\u754cu\u3092\u914d\u4fe1\u3057\u307e\u3059\u3002 \u300c\u8a08\u7b97\u300d\u3001\u7528\u8a9e\u306e\u89e3\u91c8\u3001\u6570\u5b66\u7684\u306b\u5206\u985e\u3055\u308c\u308b\u30d7\u30ed\u30bb\u30b9\u3092\u8a73\u3057\u304f\u8abf\u3079\u308b1\u3064\u306e\u65b9\u6cd5\u3001 \u7528\u8a9e\u3092\u4ee3\u6570\u69cb\u9020\u3068\u3057\u3066\u8868\u3059\u3053\u3068\u306b\u3088\u308a\u3001\u4ed6\u306e\u3059\u3079\u3066\u306e\u4ee3\u6570\u69cb\u9020\u306b\u5bfe\u3059\u308b\u6bd4\u7387\u3092\u660e\u308b\u304f\u3059\u308b\u305f\u3081\u306b\u3001 \u4ee3\u6570\u69cb\u9020\u306e\u7121\u6599\u751f\u7523\u306e\u6982\u5ff5\u306e\u30d7\u30ed\u30c8\u30bf\u30a4\u30d7\u3002        (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4\u30bf\u30fc\u30df\u30fc\u30eb\u30dc\u30fc\u30c0\u30fc\u3068a\u3092\u30d7\u30ec\u30a4\u3057\u307e\u3059\u3002\u666e\u904d\u7684\u306a\u4ee3\u6570\u3001\u6570\u5b66\u7684\u8ad6\u7406\u3001\u6b63\u5f0f\u306a\u30bb\u30de\u30f3\u30c6\u30a3\u30af\u30b9\u306b\u304a\u3051\u308b\u4e2d\u5fc3\u7684\u306a\u5f79\u5272\u3002 \u4ee3\u6570\u69cb\u9020\u306e\u5834\u5408\u3001\u7f72\u540d\u304c\u6700\u521d\u3067\u3059 s = \uff08 f \u3001 a \uff09\uff09 {displaystyle {boldsymbol {s}} =\uff08{mathcal {f}}\u3001sigma\uff09} \u56fa\u5b9a\u3001\u3064\u307e\u308a\u91d1\u984d        (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4f {displaystyle {mathcal {f}}} \u52d5\u4f5c\u30b7\u30f3\u30dc\u30eb\u3068\u305d\u306e\u30d1\u30d5\u30a9\u30fc\u30de\u30f3\u30b9 a \uff1a f \u2192 n 0 {displaystyle sigma\u30b3\u30ed\u30f3{mathcal {f}} to mathbb {n} _ {0}} \u3002\u5909\u6570\u3082\u3042\u308a\u307e\u3059 \u30d0\u30c4 {displaystyle x} \u3001\u6b21\u306b\u3001\u6761\u4ef6\u3092\u53d6\u5f97\u3057\u307e\u3059 t \uff08 \u30d0\u30c4 \uff09\uff09 {displaystylet\uff08x\uff09} \u6b21\u306e\u3082\u306e\u304c\u9069\u7528\u3055\u308c\u308b\u6700\u5c0f\u91cf\uff1a        (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4x\u2208X\u21d2(0,x)\u2208T(X)t1,\u2026,tn\u2208T(X)\u2227\u03c3(f)=n\u21d2(1,f,t1,\u2026,tn)\u2208T(X){displaystyle {begin {array} {lll} xin xquad\uff06rightArrow quad\uff080\u3001x\uff09\uff06in t\uff08x\uff09\\ t_ {1}\u3001dotsc\u3001t_ {n} in t\uff08x\uff09quad wedge quad sigma\uff08f\uff09= n\uff06rightarrowad\uff08n\uff06right arrow\uff08n\u3001f\u3001t_ {1\u3001dotsc\u3001dotsc\u3001dotc\u3001dotc\u3001 array}}} \u57fa\u672c\u7684\u306a\u64cd\u4f5c f t \uff08 \u30d0\u30c4 \uff09\uff09 \u2208 f {displaystyle f_ {t\uff08x\uff09} in f} \u81ea\u7531\u30bf\u30fc\u30e0\u59d4\u54e1 \uff08 t \uff08 \u30d0\u30c4 \uff09\uff09 \u3001 f \uff09\uff09 {displaystyle\uff08t\uff08x\uff09\u3001f\uff09} \u305d\u308c\u306f\uff1a f T(X)\uff08 t 1\u3001 … \u3001 t n\uff09\uff09 \uff1a= \uff08 \u521d\u3081 \u3001 f \u3001 t 1\u3001 … \u3001 t n\uff09\uff09 {displaystyle f_ {t\uff08x\uff09}\uff08t_ {1}\u3001dotsc\u3001t_ {n}\uff09\uff1a=\uff081\u3001f\u3001t_ {1}\u3001dotsc\u3001t_ {n}\uff09} \u81ea\u7531\u30bf\u30fc\u30e0\u59d4\u54e1\u306f\u53c2\u7167\u3055\u308c\u307e\u3059 t \uff08 \u30d0\u30c4 \uff09\uff09 {displaystylet\uff08x\uff09} \u3002\u305d\u306e\u91cf\u306e\u5834\u5408 \u30d0\u30c4 {displaystyle x} \u3057\u305f\u304c\u3063\u3066\u3001\u5909\u6570\u306f\u9664\u5916\u3055\u308c\u3001\u57fa\u672c\u7684\u306a\u5f62\u5f0f\u3092\u8a9e\u308a\u3001 t {displaystylet} \u3002\u660e\u793a\u7684\u306b\u5f37\u8abf\u3055\u308c\u3066\u3044\u306a\u3044\u9650\u308a\u3001\u81ea\u7531\u30bf\u30fc\u30e0\u30bd\u30eb\u30ac\u30d6\u30e9\u306e\u4ee3\u308f\u308a\u306b\u30bf\u30fc\u30b2\u30eb\u30d6\u30e9\u306e\u8a71\u304c\u3042\u308b\u5834\u5408\u3001\u5909\u6570\u306f\u5e38\u306b\u627f\u8a8d\u3055\u308c\u307e\u3059\u3002 0\u6841\u306e\u6f14\u7b97\u5b50\u3092\u5b9a\u6570\u3068\u3057\u3066\u7406\u89e3\u3059\u308b\u3053\u3068\u304c\u4e00\u822c\u7684\u3067\u3059\u3002\u30e6\u30cb\u30d0\u30fc\u30b5\u30eb\u4ee3\u6570\u3067\u306f\u3001\u7f72\u540d\u306f\u30bf\u30a4\u30d7\u3068\u3082\u547c\u3070\u308c\u307e\u3059\u3002 [\u521d\u3081] Termalbra\u3092\u4f7f\u7528\u3059\u308b\u3068\u3001\u30bf\u30a4\u30d7\u3092\u4ecb\u3057\u3066\u751f\u6210\u3055\u308c\u305f\u7528\u8a9e\u304c\u3001\u540c\u3058\u30bf\u30a4\u30d7\u306e\u4ee3\u6570\u306e\u57fa\u672c\u91cf\u3068\u3057\u3066\u5229\u7528\u53ef\u80fd\u306b\u306a\u308a\u307e\u3057\u305f\u3002\u3053\u308c\u306b\u3088\u308a\u3001\u89e3\u91c8\u3001\u3064\u307e\u308a\u3001\u666e\u904d\u7684\u306a\u4ee3\u6570\u306e\u624b\u6bb5\u3068\u306e\u7528\u8a9e\u306e\u91cd\u8981\u6027\u3092\u628a\u63e1\u3057\u3001\u540c\u3058\u30bf\u30a4\u30d7\u306e\u30a2\u30eb\u30d0\u30e0\u3067\u3042\u308b\u300c\u89aarelative\u300d\u3068\u4e00\u7dd2\u306b\u30bf\u30fc\u30b2\u30eb\u30d6\u30e9\u3092\u898b\u308b\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3002\u30bf\u30fc\u30e0\u59d4\u54e1\u306e\u4e3b\u306a\u7279\u5fb4\u306f\u3001\u540c\u6027\u611b\u3092\u628a\u63e1\u3067\u304d\u308b\u5834\u5408\u3001\u7528\u8a9e\u306e\u610f\u5473\u3092\u69cb\u9020\u30a4\u30e1\u30fc\u30b8\u3068\u3057\u3066\u628a\u63e1\u3067\u304d\u308b\u3053\u3068\u3067\u3059\u3002\u540c\u6642\u306b\u3001\u8a08\u7b97\u200b\u200b\u306e\u30d7\u30ed\u30bb\u30b9\u306f\u3001\u6b21\u306e\u6587\u306b\u3088\u3063\u3066\u628a\u63e1\u3067\u304d\u307e\u3059\u3002 \u6587\uff1a \u591a\u5206 t \uff08 \u30d0\u30c4 \uff09\uff09 {displaystylet\uff08x\uff09} \u30bf\u30a4\u30d7\u306e\u30bf\u30fc\u30b2\u30eb\u30d6\u30e9 \uff08 f \u3001 a \uff09\uff09 {displaystyle\uff08{mathcal {f}}\u3001sigma\uff09} \u305d\u306e\u4e0a \u30d0\u30c4 {displaystyle x} \u3002\u6b21\u306b\u3001\u3059\u3079\u3066\u306e\u4ee3\u6570\u304c\u3042\u308a\u307e\u3059 a {displaystyle a} \u540c\u3058\u30bf\u30a4\u30d7\u3068\u3059\u3079\u3066\u306e\u30a4\u30e9\u30b9\u30c8\u306e \u03d5 \uff1a \u30d0\u30c4 \u2192 a {displaystylephi colon xto a} \u307e\u3055\u306b\u540c\u6027\u611b \u03d5\u00af\uff1a t \uff08 \u30d0\u30c4 \uff09\uff09 \u2192 a {displaystyle {bar {phi}} colon t\uff08x\uff09to a} \u3001 \u03d5 {displaystylephi} \u7d9a\u304d\u3001d\u3002 H. \u03d5\u00af|\u30d0\u30c4 = \u03d5 {displaystyle {bar {phi}} _ {| x} = phi} \u3002 \u8a3c\u62e0\uff1a  \u03d5\u00af\uff1a t \uff08 \u30d0\u30c4 \uff09\uff09 \u2192 a {displaystyle {bar {phi}} colon t\uff08x\uff09to a} \u5b9a\u7fa9\u3055\u308c\u3066\u3044\u307e\u3059\uff1a \u03d5\u00af((0,x)):=\u03d5(x)\u03d5\u00af((1,f,t1,\u2026,tn)):=fA(\u03d5\u00af(t1),\u2026,\u03d5\u00af(tn)){displaystyle {begin {array} {ll} {bar {phi}}\uff08\uff080\u3001x\uff09\uff09\uff06\uff1a= phi\uff08x\uff09\\ {bar {phi}}}\uff08\uff081\u3001f\u3001t_ {1}\u3001dotsc\u3001t_ {n}\uff09 {bar {phi}}\uff08t_ {n}\uff09\uff09end {array}}}} \u3053\u306e\u3088\u3046\u306b\u3057\u3066 \u03d5\u00af{displaystyle {bar {phi}}} \u3044\u305f\u308b\u3068\u3053\u308d t \uff08 \u30d0\u30c4 \uff09\uff09 {displaystylet\uff08x\uff09} \u751f\u7523\u306e\u66d6\u6627\u3055\u306e\u305f\u3081\u306b\u5b9a\u7fa9\u3055\u308c\u3001\u660e\u78ba\u306b\u5b9a\u7fa9\u3055\u308c\u3066\u3044\u307e\u3059\u3002\u306a\u305c\u306a\u3089 f t \uff08 \u30d0\u30c4 \uff09\uff09 \uff08 t \u521d\u3081 \u3001 … \u3001 t n \uff09\uff09 \uff1a= \uff08 \u521d\u3081 \u3001 f \u3001 t \u521d\u3081 \u3001 … \u3001 t n \uff09\uff09 {displaystyle f_ {t\uff08x\uff09}\uff08t_ {1}\u3001dotsc\u3001t_ {n}\uff09\uff1a=\uff081\u3001f\u3001t_ {1}\u3001dotsc\u3001t_ {n}\uff09} \u306f \u03d5\u00af{displaystyle {bar {phi}}} \u540c\u6027\u611b\u3002 \u25fb {DisplayStyle Square}  \u03d5 {displaystylephi} \u307e\u305f\u3001\u5360\u6709\uff08\u5024\u3092\u6301\u3064\u5909\u6570\uff09\u3068\u3082\u547c\u3070\u308c\u3001\u6642\u306b\u306f\u300cass\u300d\uff08\u82f1\u8a9e\u306e\u5272\u308a\u5f53\u3066\u306e\u5834\u5408\uff09\u3068\u547c\u3070\u308c\u307e\u3059\u3002\u7d99\u7d9a \u03d5\u00af{displaystyle {bar {phi}}} \u307e\u305f\u3001\u8a55\u4fa1\u306e\u540c\u6027\u611b\u3068\u3082\u547c\u3070\u308c\u3001\u300ceval\u300d\uff08\u82f1\u8a9e\u306e\u8a55\u4fa1\u306e\u305f\u3081\uff09\u3067\u305d\u308c\u3089\u3092\u6307\u3057\u307e\u3059\u3002\u6587\u306b\u306f\u3057\u3070\u3057\u3070\u3001\u53f3\u5074\u306e\u56f3\u306e\u3088\u3046\u306a\u56f3\u304c\u4ed8\u3044\u3066\u3044\u307e\u3059\u3002\u3053\u3053\u306f \u79c1 \uff1a \u30d0\u30c4 \u2192 t \uff08 \u30d0\u30c4 \uff09\uff09 {displaystyle icolon xto t\uff08x\uff09} \u57cb\u3081\u8fbc\u307f\uff08 \u79c1 \uff08 \u30d0\u30c4 \uff09\uff09 = \uff08 0 \u3001 \u30d0\u30c4 \uff09\uff09 {displaystyle i\uff08x\uff09=\uff080\u3001x\uff09} \uff09 \u304b\u3089 \u30d0\u30c4 {displaystyle x} \u306e t \uff08 \u30d0\u30c4 \uff09\uff09 {displaystylet\uff08x\uff09} \u3002\u56f3\u300cCommuts\u300d\u3001d\u3002 h\u3002\u3001\u9069\u7528\u3055\u308c\u307e\u3059 \u03d5 = \u03d5\u00af\u2218 \u79c1 {displaystyle phi = {bar {phi}} circ i} \u3002 \u4e0a\u8a18\u306e\u6587\u306f\u6b21\u306e\u3068\u304a\u308a\u3067\u3059 \u03d5 \uff08 \u30d0\u30c4 \uff09\uff09 = \u30d0\u30c4 {displaystyle phi\uff08x\uff09= x} \u30bf\u30fc\u30df\u30e5\u30e9\u30bc\u30d6\u30e9\u306e\u540c\u578b\u306f\u3001\u3053\u306e\u6587\u3092\u6e80\u305f\u3059\u306e\u3068\u540c\u3058\u30bf\u30a4\u30d7\u306e\u4ed6\u306e\u4ee3\u6570\u306b\u3042\u308b\u3068\u3044\u3046\u5b9a\u7fa9\u306b\u983c\u308b\u3053\u3068\u306a\u304f\u3002\u3057\u305f\u304c\u3063\u3066\u3001\u30bf\u30fc\u30e0\u59d4\u54e1\u306e\u672c\u8cea\u7684\u306a\u7279\u6027\u3092\u4f7f\u7528\u3057\u3066\u3001\u6c7a\u5b9a\u7684\u306b\u56de\u8ee2\u3059\u308b\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3002\u305d\u306e\u7d50\u679c\u3001\u6761\u4ef6\u3068\u64cd\u4f5c\u306e\u5177\u4f53\u7684\u306a\u300c\u5b9f\u88c5\u300d\u3092\u6307\u5b9a\u3059\u308b\u4ee3\u308f\u308a\u306b\u3001\u4e0a\u8a18\u306e\u6587\u306e\u58f0\u660e\u306f\u5b9a\u7fa9\u306e\u57fa\u790e\u3068\u3057\u3066\u53d6\u5f97\u3055\u308c\u307e\u3059\u3002\u3053\u306e\u65b9\u6cd5\u306f\u3001\u30ab\u30c6\u30b4\u30ea\u7406\u8ad6\u3092\u63d0\u4f9b\u3057\u307e\u3059\u3002\u8003\u616e\u3055\u308c\u305f\u30ab\u30c6\u30b4\u30ea\u306f\u3001\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u3068\u540c\u3058\u30bf\u30a4\u30d7\u306e\u30a2\u30eb\u30d0\u30e0\u3068\u5f62\u614b\u3068\u306e\u540c\u7a2e\u6027\u3067\u69cb\u6210\u3055\u308c\u3066\u3044\u307e\u3059\u3002 \u57fa\u672c\u306e\u521d\u671f\u6027 [ \u7de8\u96c6 | \u30bd\u30fc\u30b9\u30c6\u30ad\u30b9\u30c8\u3092\u7de8\u96c6\u3057\u307e\u3059 ] \u57fa\u672c\u7684\u306a\u5f62\u5f0f\u306e\u5834\u5408\u3001\u7279\u6027\u8a55\u4fa1\u306f\u7279\u306b\u7c21\u5358\u3067\u3059\u3002\u4e0a\u8a18\u306e\u6587\u306f\u3001\u3059\u3079\u3066\u306e\u4ee3\u6570\u304c\u3042\u308b\u3068\u3044\u3046\u30b9\u30c6\u30fc\u30c8\u30e1\u30f3\u30c8\u306e\u5909\u6570\u306e\u7a7a\u306e\u91cf\u306e\u305f\u3081\u306b\u77ed\u7e2e\u3055\u308c\u307e\u3059 a {displaystyle a} \u540c\u3058\u30bf\u30a4\u30d7\u306e\u30a2\u30eb\u30d0\u30e0\u306e\u30ab\u30c6\u30b4\u30ea\u30fc\u3067\u306f\u3001Grund Termalgebra\u304b\u3089\u306e\u307e\u3055\u306b\u540c\u6027\u611b t {displaystylet} \u4ee3\u6570\u3078 a {displaystyle a} \u4e0e\u3048\u307e\u3059\u3002\u3057\u305f\u304c\u3063\u3066\u3001\u5730\u9762\u306e\u4ee3\u6570\u306f\u3001\u3053\u306e\u30ab\u30c6\u30b4\u30ea\u306e\u521d\u671f\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u3067\u3059\u3002\u3053\u306e\u610f\u5473\u3067\u3001\u57fa\u672c\u7684\u306a\u5f62\u306f\u3082\u547c\u3070\u308c\u307e\u3059 \u521d\u671f\u30bf\u30fc\u30e0\u30bd\u30eb\u30ac\u30d6\u30e9\u3002  \u81ea\u7531\u30bf\u30fc\u30e0\u306e\u30e6\u30cb\u30d0\u30fc\u30b5\u30eb\u30d7\u30ed\u30d1\u30c6\u30a3 [ \u7de8\u96c6 | \u30bd\u30fc\u30b9\u30c6\u30ad\u30b9\u30c8\u3092\u7de8\u96c6\u3057\u307e\u3059 ] \u81ea\u7531\u30bf\u30fc\u30e0\u59d4\u54e1\u306f\u3001\u53f3\u5074\u306b\u793a\u3055\u308c\u3066\u3044\u308b\u30e6\u30cb\u30d0\u30fc\u30b5\u30eb\u30d7\u30ed\u30d1\u30c6\u30a3\u306b\u3088\u3063\u3066\u5b9a\u7fa9\u3067\u304d\u307e\u3059\u3002 \u3053\u306e\u56f3\u306f\u3001\u73fe\u5728\u3001\u540c\u6027\u611b\uff08\u5de6\uff09\u3068\u6570\u91cf\u306e\u30ab\u30c6\u30b4\u30ea\u3068\u30a4\u30e9\u30b9\u30c8\u3092\u5099\u3048\u305f2\u3064\u306e\u90e8\u5206\u7684\u306a\u56f3\u306b\u5206\u96e2\u3055\u308c\u305f\u3055\u307e\u3056\u307e\u306a\u30ab\u30c6\u30b4\u30ea\u304c\u4e0a\u8a18\u3068\u306f\u7570\u306a\u308a\u307e\u3059\u3002\u305d\u308c\u305e\u308c\u306e\u30ab\u30c6\u30b4\u30ea\u306e\u7d44\u6210\u624b\u8853\u306f\u3001\u5404\u30b5\u30d6\u30c0\u30a4\u30a2\u30b0\u30e9\u30e0\u3067\u4f7f\u7528\u3067\u304d\u308b\u3088\u3046\u306b\u306a\u308a\u307e\u3057\u305f\u3002\u53cc\u65b9\u306f\u3001\u5fd8\u5374\u306e\u6a5f\u80fd\u306b\u3088\u3063\u3066\u4e0e\u3048\u3089\u308c\u307e\u3059 \u306e \uff1a a l g \u2192 s \u305d\u3046\u3067\u3059 t {displaystyleucolon algto set} \u4f1d\u3048\u3089\u308c\u307e\u3059\u3002\u5f7c\u306f\u305d\u308c\u305e\u308c\u306e\u57fa\u672c\u91cf\u3092\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u3068\u3057\u3066\u9001\u4fe1\u3057\u307e\u3059\uff08 \u306e \uff08 \u30d0\u30c4 \uff09\uff09 = \u30d0\u30c4 {displaystyle u\uff08x\uff09= x} \uff09\u95a2\u6570\u3068\u3057\u3066\u306e\u305d\u308c\u3089\u306e\u540c\u578b\u6027\uff08 \u306e \uff08 f \uff09\uff09 = f {displaystyle u\uff08f\uff09= f} \uff09\u3002 \u8a3c\u62e0\u7fa9\u52d9 [ \u7de8\u96c6 | \u30bd\u30fc\u30b9\u30c6\u30ad\u30b9\u30c8\u3092\u7de8\u96c6\u3057\u307e\u3059 ] \u30ab\u30c6\u30b4\u30ea\u30d0\u30fc\u30b8\u30e7\u30f3\u306f\u3001\u57fa\u672c\u9805\u306e\u4ee3\u6570\u306e\u7279\u5225\u306a\u4f4d\u7f6e\u3068\u81ea\u7531\u30bf\u30fc\u30e0\u30bd\u30eb\u30ac\u30d6\u30e9\u3092\u660e\u78ba\u306b\u5f37\u8abf\u3057\u3066\u3044\u307e\u3059\u304c\u3001\u5fc5\u9808\u7279\u6027\u306e\u5c0e\u5165\u3067\u4e0e\u3048\u3089\u308c\u305f\u7d04\u675f\u3092\u90e8\u5206\u7684\u306b\u3057\u304b\u5f15\u304d\u63db\u3048\u3089\u308c\u307e\u305b\u3093\u3002\u6700\u521d\u306e\u5b9a\u7fa9\u306e\u5c0e\u5165\u3068\u306f\u7570\u306a\u308a\u3001\u30ab\u30c6\u30b4\u30ea\u30d0\u30fc\u30b8\u30e7\u30f3\u306b\u306f\u3001\u5b58\u5728\u306e\u5b9a\u7fa9\u3068\u3001\u554f\u984c\u306e\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u304c\u30ab\u30c6\u30b4\u30ea\u306b\u5b58\u5728\u3057\u3001\u5f62\u614b\u304c\u660e\u78ba\u3067\u3042\u308b\u3053\u3068\u3092\u8a3c\u660e\u3059\u308b\u5fc5\u8981\u304c\u3042\u308b\u660e\u78ba\u306a\u8a3c\u62e0\u304c\u5fc5\u8981\u3067\u3059\u3002\u305d\u306e\u5f8c\u3001\u4e0a\u8a18\u306e\u3088\u3046\u306b\u8a3c\u660e\u304c\u5b9f\u884c\u3055\u308c\u307e\u3059\u3002\u3053\u306e\u6642\u70b9\u3067\u3001\u7279\u5b9a\u306e\u30d7\u30ec\u30bc\u30f3\u30c6\u30fc\u30b7\u30e7\u30f3\u306e\u6307\u5b9a\u3092\u907f\u3051\u308b\u3053\u3068\u306f\u3067\u304d\u307e\u305b\u3093\u3002\u305f\u3060\u3057\u3001\u30bf\u30fc\u30df\u30e5\u30e9\u306e\u672c\u8cea\u7684\u306a\u7279\u6027\u304c\u5b8c\u5168\u306b\u8a18\u9332\u3055\u308c\u3066\u3044\u308b\u305f\u3081\u3001\u8a3c\u62e0\u306e\u305f\u3081\u306b\u9078\u629e\u3055\u308c\u305f\u30d7\u30ec\u30bc\u30f3\u30c6\u30fc\u30b7\u30e7\u30f3\u306f\u3053\u306e\u8a3c\u62e0\u306b\u9650\u5b9a\u3055\u308c\u305f\u307e\u307e\u3067\u3042\u308b\u53ef\u200b\u200b\u80fd\u6027\u304c\u3042\u308a\u307e\u3059\u3002 \u7528\u8a9e\u306e\u76f4\u611f\u7684\u306a\u30d7\u30ec\u30bc\u30f3\u30c6\u30fc\u30b7\u30e7\u30f3\u304c\u66f8\u304b\u308c\u305f\u30c6\u30ad\u30b9\u30c8\u3068\u3057\u3066\u30a2\u30d4\u30fc\u200b\u200b\u30eb\u3055\u308c\u308b\u306e\u3068\u540c\u3058\u3088\u3046\u306b\u3001\u7528\u8a9e\u306f\u6700\u521d\u306b\u591a\u304f\u306e\u30b3\u30f3\u30c6\u30ad\u30b9\u30c8\u3067\u5358\u306a\u308b\u69cb\u6587\u69cb\u9020\u3068\u3057\u3066\u5c0e\u5165\u3055\u308c\u307e\u3059\u3002\u3053\u306e\u3088\u3046\u306b\u3057\u3066\u3001\u5909\u6570\u306f\u5358\u306b\uff08 “a”\u3001 “b”\u3001 “c”\u3001…\uff09\u306e\uff08\u30ea\u30b9\u30c8\u53ef\u80fd\u306a\uff09\u8b58\u5225\u5b50\u306e\u91cf\u3092\u8868\u3057\u307e\u3059\u3002\u3053\u306e\u30d3\u30e5\u30fc\u306f\u3001\u4f5c\u696d\u304c\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u3068\u3057\u3066\u4f7f\u7528\u3055\u308c\u308b\u30b3\u30f3\u30c6\u30ad\u30b9\u30c8\u3067\u3082\u5b8c\u5168\u306b\u6b63\u3057\u3044\u3067\u3059\u3002\u4e0a\u8a18\u306e\u6587\u306f\u3001\u8a55\u4fa1\u3084\u89e3\u91c8\u306e\u53ef\u80fd\u6027\u3068\u8ce2\u660e\u3055\u3092\u5358\u306b\u8aac\u660e\u3057\u3066\u3044\u307e\u3059\u3002\u305f\u3060\u3057\u3001\u30bf\u30fc\u30df\u30e5\u30e9\u306e\u3053\u306e\u30a2\u30a4\u30c7\u30a2\u306b\u66f8\u304b\u308c\u305f\u7528\u8a9e\u306e\u5358\u306a\u308b\u69cb\u6587\u30d0\u30fc\u30b8\u30e7\u30f3\u3068\u3057\u3066\u306e\u30a2\u30a4\u30c7\u30a2\u306b\u56fa\u57f7\u3059\u308b\u3068\u3001\u81ea\u7531\u30bf\u30fc\u30df\u30e5\u30e9\u306e\u7528\u8a9e\u306f\u81ea\u7531\u69cb\u9020\u306e\u30d7\u30ed\u30c8\u30bf\u30a4\u30d7\u3068\u3057\u3066\u898b\u9003\u3055\u308c\u307e\u3059\u3002 \u81ea\u7531\u69cb\u9020\u3067\u306f\u3001\u5909\u6570\u306e\u91cf\u306f\u30c6\u30ad\u30b9\u30c8\u5909\u6570\u3092\u8868\u3059\u3082\u306e\u3067\u306f\u306a\u304f\u3001\u305d\u306e\u5f8c\u3001\u30bf\u30fc\u30df\u30f3\u30b0\u30d6\u30e9\u30b8\u304c\u81ea\u7531\u306b\u69cb\u7bc9\u3055\u308c\u308b\u4ed6\u306e\u69cb\u9020\u306e\u57fa\u672c\u91cf\u306e\u30d7\u30ec\u30fc\u30b9\u30db\u30eb\u30c0\u30fc\u3067\u3059\u3002 \u6570\u5b66\u3067\u306f\u3001\u7121\u6599\u306e\u69cb\u9020\uff08\u30d5\u30ea\u30fc\u30e2\u30ce\u30a4\u30c9\u3001\u30d5\u30ea\u30fc\u30b0\u30eb\u30fc\u30d7\u306a\u3069\uff09\u306b\u5bfe\u3057\u3066\u5b9f\u969b\u306b\u7121\u6599\u306e\u69cb\u9020\u3092\u898b\u3064\u3051\u308b\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3002\u3053\u308c\u306b\u3088\u308a\u3001\u81ea\u7531\u30bf\u30fc\u30e0\u30bd\u30eb\u30b2\u30d6\u30e9\u306b\u306f\u7279\u5225\u306a\u4f4d\u7f6e\u3057\u304b\u3042\u308a\u307e\u305b\u3093\u3002\u305d\u306e\u6a5f\u80fd\u306b\u52a0\u3048\u3066\u3001\u305d\u308c\u4ee5\u4e0a\u306e\u6cd5\u5247\u304c\u306a\u3044\u3053\u3068\u304c\u7279\u306b\u7c21\u5358\u3067\u3059\u3002\u7121\u6599\u306e\u69cb\u9020\u306f\u3001\u30b3\u30f3\u30d4\u30e5\u30fc\u30bf\u30fc\u30b5\u30a4\u30a8\u30f3\u30b9\u306e\u30d1\u30e9\u30e1\u30c8\u30ea\u30c3\u30af\u30c7\u30fc\u30bf\u578b\u306b\u76f8\u5f53\u3059\u308b\u3082\u306e\u3092\u898b\u3064\u3051\u307e\u3059\u3002\u6700\u65b0\u306e\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u306f\u3001\u3057\u3070\u3057\u3070\u3053\u306e\u6982\u5ff5\u3092\u4f55\u3089\u304b\u306e\u5f62\u3067\u63d0\u4f9b\u3057\u307e\u3059\u3002\u305f\u3068\u3048\u3070\u3001Haskell\u3067\u306f\u3001\u81ea\u7531\u30bf\u30fc\u30e0\u306e\u5883\u754c\u7dda\u3092\u76f4\u63a5\u5b9a\u7fa9\u3067\u304d\u307e\u3059\u304c\u3001C ++\u3067\u306f\u3001\u30c6\u30f3\u30d7\u30ec\u30fc\u30c8\u306f\u7121\u6599\u306e\u69cb\u9020\u306e\u53ef\u80fd\u6027\u3092\u63d0\u4f9b\u3057\u307e\u3059\u3002 Typparameters\u306f\u3001\u3053\u3053\u3067\u5909\u6570\u306e\u91cf\u304c\u3042\u308b\u5f79\u5272\u306b\u5dfb\u304d\u8fbc\u307e\u308c\u307e\u3059\u3002 \u4e0a\u8a18\u306e\u6587\u306b\u306f\u3001\u5efa\u8a2d\u304c\u78ba\u5b9f\u306b\u306a\u308b\u3053\u3068\u3092\u4fdd\u8a3c\u3059\u308b\u30bf\u30b9\u30af\u304c\u3042\u308a\u307e\u3059 \u30d0\u30c4 {displaystyle x} \u4e0e\u3048\u3089\u308c\u305f\u69cb\u9020\u306f\u9055\u53cd\u3055\u308c\u3066\u3044\u307e\u305b\u3093\u3002\u3064\u307e\u308a\u3001\u305d\u308c\u306f\u305d\u308c\u3089\u306e\u5468\u308a\u306b\u69cb\u7bc9\u3055\u308c\u305f\u69cb\u9020\u306e\u6cd5\u5247\u304c\u306a\u3044\u307e\u307e\u3067\u3059\u3002 \u30ab\u30c6\u30b4\u30ea\u306e\u8003\u616e\u4e8b\u9805\u3067\u306f\u3001\u540c\u3058\u30bf\u30a4\u30d7\u306e\u4ee3\u6570\u304c\u3042\u306a\u305f\u304b\u3089\u306f\u3063\u304d\u308a\u3068\u5230\u9054\u3067\u304d\u308b\u9650\u308a\u3001\u540c\u3058\u30bf\u30a4\u30d7\u306e\u30a2\u30eb\u30d0\u30e0\u306e\u30ab\u30c6\u30b4\u30ea\u306b\u7279\u5225\u306a\u5834\u6240\u304c\u3042\u308b\u3053\u3068\u304c\u660e\u3089\u304b\u306b\u306a\u308a\u307e\u3059\u3002\u3042\u306a\u305f\u306f\u73fe\u91d1\u3067\u3042\u308b\u306e\u3067\u3001\u3042\u306a\u305f\u306f\u3042\u306a\u305f\u304b\u3089\u4ed6\u306e\u30a2\u30eb\u30d0\u30e0\u3092\u7372\u5f97\u3059\u308b\u305f\u3081\u306e\u7406\u60f3\u7684\u306a\u51fa\u767a\u70b9\u3092\u8868\u3057\u3066\u3044\u307e\u3059\u3002 \u3068\u308a\u308f\u3051\u3001\u6570\u5b66\u306e\u90e8\u5206\u7684\u306a\u5206\u91ce\u3068\u3057\u3066\u306e\u666e\u904d\u7684\u306a\u4ee3\u6570\u3067\u3002\u591a\u304f\u306e\u4ee3\u6570\u69cb\u9020\uff08\u30b0\u30eb\u30fc\u30d7\u3001\u30ea\u30f3\u30b0\uff09\u306e\u5834\u5408\u306e\u3088\u3046\u306b\u3001\u65b9\u7a0b\u5f0f\u3092\u6307\u5b9a\u3059\u308b\u3053\u3068\u306b\u3088\u308a\u3001\u3053\u308c\u304c\u3069\u306e\u7a0b\u5ea6\u78ba\u5b9f\u306b\u53ef\u80fd\u3067\u3042\u308b\u304b\u3092\u8abf\u3079\u307e\u3059\u3002\u3053\u308c\u306f\u3001\u3053\u308c\u3089\u306e\u65b9\u7a0b\u5f0f\u304b\u3089\u3053\u306e\u65b9\u6cd5\u3067\u8aac\u660e\u3055\u308c\u3066\u3044\u308b\u4ee3\u6570\u306b\u5230\u9054\u3059\u308b\u305f\u3081\u306e\u5e73\u7b49\u8a08\u7b97\u3068\u65b9\u6cd5\u306b\u3064\u306a\u304c\u308a\u307e\u3059\u3002 \u3053\u306e\u65b9\u6cd5\u306f\u3001\u4ee3\u6570\u4ed5\u69d8\u306e\u30bf\u30a4\u30c8\u30eb\u3067\u30b3\u30f3\u30d4\u30e5\u30fc\u30bf\u30fc\u30b5\u30a4\u30a8\u30f3\u30b9\u3067\u53d6\u308a\u4e0a\u3052\u3089\u308c\u3001\u62bd\u8c61\u30c7\u30fc\u30bf\u578b\u306e\u4ed5\u69d8\u3092\u8a31\u53ef\u3057\u307e\u3059\u3002\u5b9a\u7fa9\u65b9\u7a0b\u5f0f\u3092\u7aef\u5b50\u8a2d\u5b9a\u30b7\u30b9\u30c6\u30e0\u3092\u4ecb\u3057\u3066\u76f4\u63a5\u5b9f\u884c\u3067\u304d\u308b\u5834\u5408\u3001\u3053\u306e\u4ed5\u69d8\u306f\u5b9f\u88c5\u3082\u63d0\u4f9b\u3057\u307e\u3059\u3002 \u6570\u5b66\u7684\u8ad6\u7406\u3067\u306f\u3001\u57fa\u672c\u5f62\u5f0f\u306f\u3001\u8ff0\u8a9e\u8ad6\u7406\u5f0f\u3092\u89e3\u91c8\u3059\u308b\u305f\u3081\u306b\u3001\u30cf\u30fc\u30d6\u30e9\u30f3\u30c9\u69cb\u9020\u3068\u3044\u3046\u540d\u524d\u3067\u30d8\u30e9\u30e9\u30f3\u30c9\u7406\u8ad6\u306e\u4e00\u90e8\u3068\u3057\u3066\u5c0e\u5165\u3055\u308c\u307e\u3059\u3002 \u30bf\u30fc\u30df\u30e3\u30eb\u306e\u5c02\u9580\u306f\u3001\u5f7c\u3089\u306e\u6761\u4ef6\u306e\u5e73\u7b49\u304c\u5f7c\u3089\u306e\u30a2\u30a4\u30c7\u30f3\u30c6\u30a3\u30c6\u30a3\u3068\u4e00\u81f4\u3059\u308b\u3053\u3068\u3067\u3059\u3002\u5404\u7528\u8a9e\u306f\u3042\u306a\u305f\u81ea\u8eab\u3068\u306e\u307f\u3067\u3042\u308a\u3001\u4ed6\u306e\u3059\u3079\u3066\u306e\u4eba\u3068\u306f\u7570\u306a\u308a\u307e\u3059\u3002\u7528\u8a9e\u306e\u8868\u73fe\u306e\u3053\u306e\u72ec\u81ea\u6027\u306f\u3001\u3057\u3070\u3057\u3070\u5efa\u8a2d\u7684\u306b\u4f7f\u7528\u3055\u308c\u307e\u3059\u3002\u751f\u6210\u30b7\u30b9\u30c6\u30e0\u3001\u8a98\u5c0e\u30c7\u30fc\u30bf\u578b\u3001\u69cb\u9020\u8a98\u5c0e\u3092\u53c2\u7167\u3057\u3066\u304f\u3060\u3055\u3044\u3002 \u2191  \u3053\u3053\u3067\u518d\u73fe\u3055\u308c\u305f\u7528\u8a9e\u306e\u5b9a\u7fa9\u306f\u3001\u6b21\u306e\u3088\u3046\u306b\u00a7formal\u306e\u5b9a\u7fa9\u3068\u3044\u3046\u7528\u8a9e\u3067\u4e0e\u3048\u3089\u308c\u305f\u30b3\u30e1\u30f3\u30c8\u3068\u306f\u7570\u306a\u308a\u307e\u3059\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\/15567#breadcrumbitem","name":"Termalgebra  – \u30a6\u30a3\u30ad\u30da\u30c7\u30a3\u30a2\u30a6\u30a3\u30ad\u30da\u30c7\u30a3\u30a2"}}]}]