MediaWiki API の結果
This is the HTML representation of the JSON format. HTML is good for debugging, but is unsuitable for application use.
Specify the format parameter to change the output format. To see the non-HTML representation of the JSON format, set format=json.
See the complete documentation, or the API help for more information.
{
"compare": {
"fromid": 1,
"fromrevid": 1,
"fromns": 0,
"fromtitle": "\u30e1\u30a4\u30f3\u30da\u30fc\u30b8",
"toid": 2,
"torevid": 2,
"tons": 0,
"totitle": "\u5f62\u5f0f\u8a00\u8a9e",
"*": "<tr><td colspan=\"2\" class=\"diff-lineno\" id=\"mw-diff-left-l1\">1\u884c\u76ee:</td>\n<td colspan=\"2\" class=\"diff-lineno\">1\u884c\u76ee:</td></tr>\n<tr><td class=\"diff-marker\" data-marker=\"\u2212\"></td><td class=\"diff-deletedline diff-side-deleted\"><div><del class=\"diffchange diffchange-inline\"><strong>MediaWiki \u306f\u30a4\u30f3\u30b9\u30c8\u30fc\u30eb\u6e08\u307f\u3067\u3059\u3002</strong></del></div></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div><ins class=\"diffchange diffchange-inline\">'''\u5f62\u5f0f\u8a00\u8a9e'''\uff08\u3051\u3044\u3057\u304d\u3052\u3093\u3054\u3001{{lang-en-short|formal language}}\uff09\u306f\u3001\u305d\u306e[[\u6587\u6cd5]]\uff08\u69cb\u6587\u3001[[\u7d71\u8a9e\u8ad6]]\uff09\u304c\u3001\u5834\u5408\u306b\u3088\u3063\u3066\u306f\u610f\u5473\uff08[[\u610f\u5473\u8ad6 (\u66d6\u6627\u3055\u56de\u907f)|\u610f\u5473\u8ad6]]\uff09\u3082\u3001\u5f62\u5f0f\u7684\u306b\u4e0e\u3048\u3089\u308c\u3066\u3044\u308b\uff08[[\u5f62\u5f0f\u4f53\u7cfb]]\u3092\u53c2\u7167\uff09[[\u8a00\u8a9e]]\u3067\u3042\u308b\u3002\u5f62\u5f0f\u7684\u3067\u306a\u3044\u305f\u3081\u306b\u3001\u3057\u3070\u3057\u3070\u66d6\u6627\u3055\u304c\u6b8b\u3055\u308c\u305f\u308a\u3001\u8a71\u8005\u96c6\u56e3\u306b\u3088\u3063\u3066\u7528\u6cd5\u306e\u3046\u3064\u308d\u3044\u3086\u304f\u3088\u3046\u306a[[\u81ea\u7136\u8a00\u8a9e]]\u306b\u5bfe\u3057\u3066\u3001[[\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e]]\u3092\u542b\u3080\u4e00\u90e8\u306e[[\u4eba\u5de5\u8a00\u8a9e]]\u3084\u3001\u3044\u308f\u3086\u308b\u6a5f\u68b0\u53ef\u8aad\u306a\uff08[[\u6a5f\u68b0\u53ef\u8aad\u76ee\u9332]]\u3092\u53c2\u7167\uff09\u30c9\u30ad\u30e5\u30e1\u30f3\u30c8\u985e\u306a\u3069\u306e\u5f62\u5f0f\u8a00\u8a9e\u306f\u3001\u7528\u6cd5\u306e\u5909\u5316\u306b\u95a2\u3057\u3066\u306f\u53b3\u683c\u3067\u3042\u308b\u3002\u3053\u306e\u8a18\u4e8b\u3067\u306f\u5f62\u5f0f\u7684\u306a\u7d71\u8a9e\u8ad6\u3059\u306a\u308f\u3061\u69cb\u6587\u306e\u5f62\u5f0f\u7684\u306a\u5b9a\u7fa9\u3068[[\u5f62\u5f0f\u6587\u6cd5]]\u306b\u3064\u3044\u3066\u8ff0\u3079\u308b\u3002\u5f62\u5f0f\u7684\u306a\u610f\u5473\u8ad6\u306b\u3064\u3044\u3066\u306f[[\u5f62\u5f0f\u610f\u5473\u8ad6]]\u306e\u8a18\u4e8b\u3092\u53c2\u7167\u3002</ins></div></td></tr>\n<tr><td class=\"diff-marker\"></td><td class=\"diff-context diff-side-deleted\"><br></td><td class=\"diff-marker\"></td><td class=\"diff-context diff-side-added\"><br></td></tr>\n<tr><td class=\"diff-marker\" data-marker=\"\u2212\"></td><td class=\"diff-deletedline diff-side-deleted\"><div><del class=\"diffchange diffchange-inline\">\u30a6\u30a3\u30ad\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u306e\u4f7f\u3044\u65b9\u306b\u95a2\u3059\u308b\u60c5\u5831\u306f</del>[<del class=\"diffchange diffchange-inline\">https://www.mediawiki.org/wiki</del>/<del class=\"diffchange diffchange-inline\">Special:MyLanguage/Help:Contents \u5229\u7528\u8005\u6848\u5185]\u3092\u53c2\u7167\u3057\u3066\u304f\u3060\u3055\u3044\u3002</del></div></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div><ins class=\"diffchange diffchange-inline\">==\u5b9a\u7fa9==</ins></div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div><ins class=\"diffchange diffchange-inline\">\u5f62\u5f0f\u8a00\u8a9e\u306e\u7406\u8ad6\u3001\u7279\u306b</ins>[<ins class=\"diffchange diffchange-inline\">[\u30aa\u30fc\u30c8\u30de\u30c8\u30f3|\u30aa\u30fc\u30c8\u30de\u30c8\u30f3\u7406\u8ad6]]\u3068\u95a2\u9023\u3057\u305f\u305d\u308c\u306b\u304a\u3044\u3066\u306f\u3001\u8a00\u8a9e\u306f[[\u30a2\u30eb\u30d5\u30a1\u30d9\u30c3\u30c8 (\u8a08\u7b97\u6a5f\u79d1\u5b66)|\u30a2\u30eb\u30d5\u30a1\u30d9\u30c3\u30c8]]\u306e\u5217\uff08\u8a9e word\uff09 \u306e\u96c6\u5408\u3067\u3042\u308b<ref>{{cite book|isbn=0534950973|title=Introduction to the Theory of Computation|author=Micael Sipser|year=2005}}<</ins>/<ins class=\"diffchange diffchange-inline\">ref>\u3002</ins></div></td></tr>\n<tr><td class=\"diff-marker\"></td><td class=\"diff-context diff-side-deleted\"><br></td><td class=\"diff-marker\"></td><td class=\"diff-context diff-side-added\"><br></td></tr>\n<tr><td class=\"diff-marker\" data-marker=\"\u2212\"></td><td class=\"diff-deletedline diff-side-deleted\"><div>=<del class=\"diffchange diffchange-inline\">= \u306f\u3058\u3081\u307e\u3057\u3087\u3046 ==</del></div></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div><ins class=\"diffchange diffchange-inline\"><math>L \\subseteq \\Sigma^* </ins>= <ins class=\"diffchange diffchange-inline\">\\{ \\langle \\sigma_1, \\sigma_2, \\dots \\rangle \\mid \\sigma_i \\in \\Sigma \\}</math></ins></div></td></tr>\n<tr><td class=\"diff-marker\" data-marker=\"\u2212\"></td><td class=\"diff-deletedline diff-side-deleted\"><div>* <del class=\"diffchange diffchange-inline\">[https:</del>//<del class=\"diffchange diffchange-inline\">www.mediawiki.org</del>/<del class=\"diffchange diffchange-inline\">wiki</del>/<del class=\"diffchange diffchange-inline\">Special:MyLanguage</del>/<del class=\"diffchange diffchange-inline\">Manual:Configuration_settings</del>/<del class=\"diffchange diffchange-inline\">ja \u8a2d\u5b9a\u306e\u4e00\u89a7]</del></div></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div>\u00a0</div></td></tr>\n<tr><td class=\"diff-marker\" data-marker=\"\u2212\"></td><td class=\"diff-deletedline diff-side-deleted\"><div>* [<del class=\"diffchange diffchange-inline\">https:</del>/<del class=\"diffchange diffchange-inline\">/www</del>.<del class=\"diffchange diffchange-inline\">mediawiki</del>.<del class=\"diffchange diffchange-inline\">org</del>/<del class=\"diffchange diffchange-inline\">wiki</del>/<del class=\"diffchange diffchange-inline\">Special:MyLanguage</del>/<del class=\"diffchange diffchange-inline\">Manual:FAQ</del>/<del class=\"diffchange diffchange-inline\">ja MediaWiki \u3088\u304f\u3042\u308b\u8cea\u554f]</del></div></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div><ins class=\"diffchange diffchange-inline\">\u305f\u3060\u3057\u3001\u9577\u3055\u30bc\u30ed\u306e'''\u7a7a\u5358\u8a9e'''\uff08''Empty Word'', \u8a18\u53f7 <math>e</math>\u3001<math>\\epsilon</math>\u3001<math>\\Lambda</math>\uff09\u3082\u542b\u3080\u3002</ins></div></td></tr>\n<tr><td class=\"diff-marker\" data-marker=\"\u2212\"></td><td class=\"diff-deletedline diff-side-deleted\"><div>* <del class=\"diffchange diffchange-inline\">[https:</del>//<del class=\"diffchange diffchange-inline\">lists</del>.<del class=\"diffchange diffchange-inline\">wikimedia</del>.<del class=\"diffchange diffchange-inline\">org</del>/<del class=\"diffchange diffchange-inline\">postorius</del>/<del class=\"diffchange diffchange-inline\">lists</del>/<del class=\"diffchange diffchange-inline\">mediawiki-announce</del>.<del class=\"diffchange diffchange-inline\">lists</del>.<del class=\"diffchange diffchange-inline\">wikimedia</del>.<del class=\"diffchange diffchange-inline\">org</del>/ <del class=\"diffchange diffchange-inline\">MediaWiki \u30ea\u30ea\u30fc\u30b9\u60c5\u5831\u30e1\u30fc\u30ea\u30f3\u30b0\u30ea\u30b9\u30c8]</del></div></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div><ins class=\"diffchange diffchange-inline\">\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u30de\u30b7\u30f3\u306e\u8a00\u8a9e\u306f\u5358\u306a\u308b\u6587\u5b57\u5217\u306a\u306e\u3067\u3001\u6570\u5b66\u7684\u69cb\u9020(\u4ed6\u306e\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u30de\u30b7\u30f3\u3092\u542b\u3080)\u3092\u6271\u3046\u306b\u306f\u7b26\u53f7\u5316([[\u30a8\u30f3\u30b3\u30fc\u30c9]])\u3057\u3001\u305d\u306e\u6570\u5024\u3092\u89e3\u91c8\u3059\u308b\u30d7\u30ed\u30b0\u30e9\u30e0\u3092\u57cb\u3081\u8fbc\u3080\u5fc5\u8981\u304c\u3042\u308b\u3002</ins></div></td></tr>\n<tr><td class=\"diff-marker\" data-marker=\"\u2212\"></td><td class=\"diff-deletedline diff-side-deleted\"><div><del class=\"diffchange diffchange-inline\">* </del>[<del class=\"diffchange diffchange-inline\">https</del>://<del class=\"diffchange diffchange-inline\">www</del>.<del class=\"diffchange diffchange-inline\">mediawiki</del>.<del class=\"diffchange diffchange-inline\">org</del>/<del class=\"diffchange diffchange-inline\">wiki</del>/<del class=\"diffchange diffchange-inline\">Special:MyLanguage</del>/<del class=\"diffchange diffchange-inline\">Localisation</del>/<del class=\"diffchange diffchange-inline\">ja MediaWiki \u3092\u3054\u4f7f\u7528\u306e\u8a00\u8a9e\u3078\u7ffb\u8a33</del>]</div></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div><ins class=\"diffchange diffchange-inline\">\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u5b8c\u5168\u6a5f\u68b0\u306f\u5341\u5206\u5f37\u529b\u306a\u306e\u3067\u3001\u3053\u306e\u624b\u6cd5\u3067\u3042\u3089\u3086\u308b\u5217\u6319\u53ef\u80fd\u306a\u69cb\u9020\u3092\u6271\u3046\u3053\u3068\u304c\u3067\u304d\u308b\u3002\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u30de\u30b7\u30f3\u306e\u6570\u5024\u8868\u73fe\u306b\u3064\u3044\u3066\u306f(\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u30de\u30b7\u30f3\u306e)\u8868\u8a18(description)\u3068\u3044\u3046\u3002</ins></div></td></tr>\n<tr><td class=\"diff-marker\" data-marker=\"\u2212\"></td><td class=\"diff-deletedline diff-side-deleted\"><div>* <del class=\"diffchange diffchange-inline\">[https</del>:<del class=\"diffchange diffchange-inline\">//www</del>.<del class=\"diffchange diffchange-inline\">mediawiki</del>.<del class=\"diffchange diffchange-inline\">org/wiki/Special</del>:<del class=\"diffchange diffchange-inline\">MyLanguage/Manual</del>:<del class=\"diffchange diffchange-inline\">Combating_spam \u3054\u4f7f\u7528\u306e\u30a6\u30a3\u30ad\u3067\u30b9\u30d1\u30e0\u3068\u6226\u3046\u65b9\u6cd5\u3092\u5b66\u3076</del>]</div></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div>\u00a0</div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div><ins class=\"diffchange diffchange-inline\">\u3042\u308b\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u30de\u30b7\u30f3\u304c\u5b58\u5728\u3057\u3066\u3001\u8a00\u8a9e\u306b\u5c5e\u3059\u308b\u3059\u3079\u3066\u306e\u8a9e ''w'' \u306b\u5bfe\u3057\u3066\u52d5\u4f5c\u3055\u305b\u308b\u3068\u53d7\u7406\u72b6\u614b\u3067\u505c\u6b62\u3057\u3001\u5c5e\u3055\u306a\u3044\u8a9e\u306b\u306f\u53d7\u7406\u3057\u306a\u3044\u3088\u3046\u306a\u3068\u304d\u3001\u305d\u306e\u8a00\u8a9e\u306f'''\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u8a8d\u8b58\u53ef\u80fd'''\u3068\u3044\u3046\u3002</ins></div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div><ins class=\"diffchange diffchange-inline\">\u307e\u305f\u3001\u8a00\u8a9e\u306b\u5c5e\u3055\u306a\u3044\u3068\u304d\u306f\u5fc5\u305a\u62d2\u5426\u72b6\u614b\u3067\u505c\u6b62\u3059\u308b\u5834\u5408\u3001\u305d\u306e\u8a00\u8a9e\u306f'''\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u5224\u5225\u53ef\u80fd'''\u3067\u3042\u308b\u3068\u3044\u3046\u3002(\u3053\u306e2\u3064\u306e\u9055\u3044\u306f\u3001\u4e00\u90e8\u306e\u5165\u529b\u306b\u5bfe\u3057\u3066\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u30de\u30b7\u30f3\u304c\u505c\u6b62\u3057\u306a\u3044\u5834\u5408\u304c\u3042\u308b\u304b\u3069\u3046\u304b\u3067\u3042\u308b)</ins></div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div><ins class=\"diffchange diffchange-inline\">\u307e\u305f\u3001\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u30de\u30b7\u30f3'''TM'''\u306e\u8a00\u8a9e ''L''('''TM''') \u3068\u306f\u3001\u30c6\u30fc\u30d7\u306b ''w'' \u3092\u30bb\u30c3\u30c8\u3057\u305f\u3042\u3068\u3001'''TM'''\u3092\u52d5\u4f5c\u3055\u305b\u308b\u3068\u53d7\u7406\u72b6\u614b\u306b\u5165\u3063\u3066\u505c\u6b62\u3059\u308b\u3088\u3046\u306a ''w'' \u306e\u96c6\u5408\u304b\u3089\u306a\u308b\u8a00\u8a9e('''TM'''\u8a8d\u8b58\u53ef\u80fd\u306a\u8a00\u8a9e)\u306e\u3053\u3068\u3067\u3042\u308b\u3002</ins></div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div>\u00a0</div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div><ins class=\"diffchange diffchange-inline\">\u3053\u306e\u8a00\u8a9e\u306b\u306f\u4ee5\u4e0b\u306e\u3088\u3046\u306a\u6f14\u7b97\u304c\u5b9a\u7fa9\u3055\u308c\u308b\u3002\u3053\u3053\u3067\u3001<math>L_{1}</math> \u3068 <math>L_{2}</math> \u306f\u5171\u901a\u306e\u30a2\u30eb\u30d5\u30a1\u30d9\u30c3\u30c8\u304b\u3089\u69cb\u6210\u3055\u308c\u308b\u8a00\u8a9e\u3067\u3042\u308b\u3068\u3059\u308b\u3002</ins></div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div><ins class=\"diffchange diffchange-inline\">* \u300c\u9023\u7d50\u300d<math>L_{1} L_{2}\\quad</math> \u306f\u3001\u6587\u5b57\u5217\u7fa4 <math>vw</math> \u304b\u3089\u69cb\u6210\u3055\u308c\u308b\u3002\u3053\u3053\u3067\u3001<math>v</math> \u306f <math>L_{1}</math> \u306b\u542b\u307e\u308c\u308b\u6587\u5b57\u5217\u3067\u3001<math>w</math> \u306f <math>L_{2}</math> \u306b\u542b\u307e\u308c\u308b\u6587\u5b57\u5217\u3067\u3042\u308b\u3002</ins></div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div><ins class=\"diffchange diffchange-inline\">* \u300c\u7a4d\u96c6\u5408\u300d<math>L_1 \\cap L_2</math> \u306f\u3001<math>L_{1}</math> \u306b\u3082 <math>L_{2}</math> \u306b\u3082\u542b\u307e\u308c\u308b\u6587\u5b57\u5217\u306e\u96c6\u5408\u3067\u3042\u308b\u3002</ins></div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div><ins class=\"diffchange diffchange-inline\">* \u300c\u548c\u96c6\u5408\u300d<math>L_1 \\cup L_2</math> \u306f\u3001<math>L_{1}</math> \u304b <math>L_{2}</math> \u306b\u542b\u307e\u308c\u308b\u6587\u5b57\u5217\u306e\u96c6\u5408\u3067\u3042\u308b\u3002</ins></div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div><ins class=\"diffchange diffchange-inline\">* <math>L_{1}</math> \u306e\u300c\u88dc\u96c6\u5408\u300d\u306f\u3001<math>L_{1}</math> \u306b\u542b\u307e\u308c\u306a\u3044\u5168\u3066\u306e\u6587\u5b57\u5217\u306e\u96c6\u5408\u3067\u3042\u308b\u3002</ins></div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div>* <ins class=\"diffchange diffchange-inline\">\u300c\u5546\u96c6\u5408\u300d<math>L_{1}/L_{2}\\quad<</ins>/<ins class=\"diffchange diffchange-inline\">math> \u306f\u3001<math>L_{1}<</ins>/<ins class=\"diffchange diffchange-inline\">math> \u306b\u542b\u307e\u308c\u308b\u6587\u5b57\u5217 <math>vw<</ins>/<ins class=\"diffchange diffchange-inline\">math> \u306b\u5bfe\u3057\u3066\u3001<math>L_{2}<</ins>/<ins class=\"diffchange diffchange-inline\">math> \u306b\u542b\u307e\u308c\u308b\u6587\u5b57\u5217 <math>w<</ins>/<ins class=\"diffchange diffchange-inline\">math> \u304c\u5b58\u5728\u3059\u308b\u3068\u304d\u306b\u3001\u5168\u3066\u306e <math>v<</ins>/<ins class=\"diffchange diffchange-inline\">math> \u306b\u76f8\u5f53\u3059\u308b\u6587\u5b57\u5217\u7fa4\u304b\u3089\u69cb\u6210\u3055\u308c\u308b\u3002</ins></div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div>* <ins class=\"diffchange diffchange-inline\">\u300c</ins>[<ins class=\"diffchange diffchange-inline\">[\u30af\u30ea\u30fc\u30cd\u30b9\u30bf\u30fc]]\u300d<math>L_{1}^{*}<</ins>/<ins class=\"diffchange diffchange-inline\">math> \u306f\u3001<math>w_{1}w_{2}.</ins>..<ins class=\"diffchange diffchange-inline\">w_{n}</math> \u3068\u3044\u3046\u5f62\u5f0f\u306e\u5168\u6587\u5b57\u5217\u7fa4\u304b\u3089\u69cb\u6210\u3055\u308c\u308b\u3002\u305f\u3060\u3057\u3001<math>w_{i}<</ins>/<ins class=\"diffchange diffchange-inline\">math> \u306f <math>L_{1}<</ins>/<ins class=\"diffchange diffchange-inline\">math> \u306b\u542b\u307e\u308c\u3001<math>n \\ge 0</math> \u3067\u3042\u308b\u3002\u6ce8\u610f\u3059\u3079\u304d\u306f\u3001<math>n = 0</math> \u306e\u5834\u5408\u3082\u3042\u308b\u306e\u3067\u3001\u7a7a\u6587\u5b57\u5217 <math>\\epsilon</math> \u3082\u542b\u307e\u308c\u308b\u3068\u3044\u3046\u70b9\u3067\u3042\u308b\u3002</ins></div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div><ins class=\"diffchange diffchange-inline\">* \u300c\u53cd\u8ee2\u300d<math>L_{1}^{R}<</ins>/<ins class=\"diffchange diffchange-inline\">math> \u306f\u3001<math>L_{1}<</ins>/<ins class=\"diffchange diffchange-inline\">math> \u306e\u5168\u6587\u5b57\u5217\u3092\u53cd\u8ee2\u3055\u305b\u305f\u6587\u5b57\u5217\u7fa4\u304b\u3089\u69cb\u6210\u3055\u308c\u308b\u3002</ins></div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div>* <ins class=\"diffchange diffchange-inline\"><math>L_{1}</math> \u3068 <math>L_{2}</math> \u306e\u300c\u30b7\u30e3\u30c3\u30d5\u30eb\u300d\u3068\u306f\u3001<math>v_{1}w_{1}v_{2}w_{2}...v_{n}w_{n}<</ins>/<ins class=\"diffchange diffchange-inline\">math> \u3067\u8868\u3055\u308c\u308b\u5168\u6587\u5b57\u5217\u304b\u3089\u69cb\u6210\u3055\u308c\u308b\u3002\u3053\u3053\u3067\u3001<math>n \\ge 1<</ins>/<ins class=\"diffchange diffchange-inline\">math> \u3067\u3001<math>v_{1},.</ins>..<ins class=\"diffchange diffchange-inline\">,v_{n}<</ins>/<ins class=\"diffchange diffchange-inline\">math> \u3092\u9023\u7d50\u3057\u305f <math>v_{1}...v_{n}<</ins>/<ins class=\"diffchange diffchange-inline\">math> \u306f <math>L_{1}<</ins>/<ins class=\"diffchange diffchange-inline\">math> \u306b\u542b\u307e\u308c\u308b\u6587\u5b57\u5217\u3067\u3042\u308a\u3001<math>w_{1},...,w_{n}</math> \u3092\u9023\u7d50\u3057\u305f <math>w_{1}</ins>...<ins class=\"diffchange diffchange-inline\">w_{n}<</ins>/<ins class=\"diffchange diffchange-inline\">math> \u306f <math>L_{2}</math> \u306b\u542b\u307e\u308c\u308b\u6587\u5b57\u5217\u3067\u3042\u308b\u3002</ins></div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div>\u00a0</div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div>[<ins class=\"diffchange diffchange-inline\">[\u30e2\u30c7\u30eb\u7406\u8ad6]]\u306b\u304a\u3044\u3066\u306f\u3001\u8a00\u8a9e\u306f\u5b9a\u6570\u8a18\u53f7<!-- TM\u306b\u304a\u3051\u308b2\u9032\u8868\u73fe\u6587\u5b57\u5217\u306b\u76f8\u5f53 -->\u3001\u95a2\u6570\u8a18\u53f7<!-- \u5909\u63dbTM\u306e\u6587\u5b57\u5217\u8868\u73fe\u306b\u76f8\u5f53 -->\u3001\u8ff0\u8a9e\u8a18\u53f7<!-- \u5224\u5225TM\u306e\u6587\u5b57\u5217\u8868\u73fe\u306b\u76f8\u5f53 -->\u306e\u96c6\u5408\u3067\u3042\u308b<ref>{{Cite web|\u548c\u66f8|url=http</ins>://<ins class=\"diffchange diffchange-inline\">www2</ins>.<ins class=\"diffchange diffchange-inline\">kobe-u</ins>.<ins class=\"diffchange diffchange-inline\">ac.jp</ins>/<ins class=\"diffchange diffchange-inline\">~kikyo</ins>/<ins class=\"diffchange diffchange-inline\">LogicSummerSchool2011/lectures</ins>/<ins class=\"diffchange diffchange-inline\">2011kobe_tsuboi.pdf|accessdate=2012-02-18|title=\u6570\u5b66\u57fa\u790e\u8ad6\u30b5\u30de\u30fc\u30b9\u30af\u30fc\u30eb \u30e2\u30c7\u30eb\u7406\u8ad6\u5165\u9580|year=2011|author=\u576a\u4e95\u660e\u4eba}}<</ins>/<ins class=\"diffchange diffchange-inline\">ref>\u3002</ins></div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div>\u00a0</div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div><ins class=\"diffchange diffchange-inline\"><math>L = \\{ c_0, c_1, ...\\} \\cup \\{ f_0, f_1, ...\\} \\cup \\{ p_0, p_1, ... \\}</math><!--</ins></div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div>\u00a0</div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div><ins class=\"diffchange diffchange-inline\">\u3053\u308c\u3089\u306e\u8a18\u53f7\u306b\u610f\u5473\u3092\u4e0e\u3048\u308b\u69cb\u9020\u306f\u3001\u8a00\u8a9e\u306e\u5bfe\u8c61\u5916\u3067\u3042\u308b\u3002{{\u8981\u51fa\u5178\u7bc4\u56f2|\u3064\u307e\u308a\u4f55\u3089\u304b\u306e\u5b9f\u969b\u7684\u306a\u554f\u984c\u3092\u8a00\u8a9e\u306e\u8a8d\u8b58\u554f\u984c\u3068\u3057\u3066\u5b9a\u5f0f\u5316\u3059\u308b\u306b\u306f\u3001\u305d\u306e\u554f\u984c\u306b\u5171\u901a\u3059\u308b\u5236\u7d04\u3092\u69cb\u9020\u3068\u3057\u3066\u5b9a\u7fa9\u3057\u3066\u304a\u304f\u5fc5\u8981\u304c\u3042\u308b\u3002\u305d\u3057\u3066\u305d\u308c\u3089\u306e\u5b9a\u6570\u3084\u95a2\u6570\u3001\u8ff0\u8a9e\u3092\u5145\u8db3\u3059\u308b\u554f\u984c\u3092\u8a00\u8a9e\u306e\u8a8d\u8b58\u554f\u984c\u3068\u3059\u308b\u3053\u3068\u304c\u3067\u304d\u308b\u3002}} \u3061\u3087\u3063\u3068\u81ea\u4fe1\u304c\u7121\u3044 --><!--\u300c\u8a00\u8a9e\u306e\u5bfe\u8c61\u5916\u300d\u3068\u3044\u3046\u306e\u3082\u591a\u5206\u82f1\u8a9e\u7248\u57f7\u7b46\u8005(\uff1f)\u306e\u72ec\u65ad\uff1f\u3000\u5f62\u5f0f\u8a00\u8a9e\u306b\u3060\u3063\u3066\u610f\u5473\u8ad6\u306f\u3042\u308b\u3068\u3044\u3046\u304b--></ins></div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div>\u00a0</div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div><ins class=\"diffchange diffchange-inline\">==\u5f62\u5f0f\u6587\u6cd5==</ins></div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div><ins class=\"diffchange diffchange-inline\">{{Main|\u5f62\u5f0f\u6587\u6cd5}}</ins></div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div><ins class=\"diffchange diffchange-inline\">\u5f62\u5f0f\u8a00\u8a9e\u306f\u3001[[\u5f62\u5f0f\u6587\u6cd5</ins>]<ins class=\"diffchange diffchange-inline\">]\u3068\u5bc6\u63a5\u306a\u95a2\u4fc2\u304c\u3042\u308b\u3002\u4f8b\u3068\u3057\u3066\u3001\u6b21\u306e\u3088\u3046\u306a[[\u6587\u8108\u81ea\u7531\u6587\u6cd5]]\u306e\u69cb\u6587\u898f\u5247\u304c\u3042\u308b\u3068\u304d\u3001</ins></div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div>* <ins class=\"diffchange diffchange-inline\">\u540d\u8a5e\u53e5 ::= \u540d\u8a5e | \u5f62\u5bb9\u8a5e \u540d\u8a5e | \u540d\u8a5e\u53e5 \"\u3092\" \u52d5\u8a5e \"\u3066\u3044\u308b\" \u540d\u8a5e\u53e5</ins></div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div><ins class=\"diffchange diffchange-inline\">* \u52d5\u8a5e ::= \"\u898b\"</ins></div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div><ins class=\"diffchange diffchange-inline\">* \u540d\u8a5e ::= \"\u733f\" | \"\u98fc\u80b2\u54e1\"</ins></div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div><ins class=\"diffchange diffchange-inline\">* \u5f62\u5bb9\u8a5e :</ins>:<ins class=\"diffchange diffchange-inline\">= \"\u5c0f\u3055\u3044\"</ins></div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div><ins class=\"diffchange diffchange-inline\">\u4ee5\u4e0b\u306e\u3088\u3046\u306b\u898f\u5247\u3092\u518d\u5e30\u7684\u306b\u9069\u7528\u3057\u3066\u3001\u305d\u306e\u8a00\u8a9e\u306e\u8981\u7d20(\u540d\u8a5e\u53e5)\u3092\u5217\u6319\u3059\u308b\u3053\u3068\u304c\u3067\u304d\u308b\u3002</ins></div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div><ins class=\"diffchange diffchange-inline\"># (\u733f \u98fc\u80b2\u54e1 \u5c0f\u3055\u3044\u733f \u5c0f\u3055\u3044\u98fc\u80b2\u54e1)</ins></div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div><ins class=\"diffchange diffchange-inline\"># (\u733f \u98fc\u80b2\u54e1 \u5c0f\u3055\u3044\u733f \u5c0f\u3055\u3044\u98fc\u80b2\u54e1 \u733f\u3092\u898b\u3066\u3044\u308b\u733f \u733f\u3092\u898b\u3066\u3044\u308b\u98fc\u80b2\u54e1 \u733f\u3092\u898b\u3066\u3044\u308b\u5c0f\u3055\u3044\u733f ... \u5c0f\u3055\u3044\u733f\u3092\u898b\u3066\u3044\u308b\u733f ...)</ins></div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div><ins class=\"diffchange diffchange-inline\"># (\u733f \u98fc\u80b2\u54e1 \u5c0f\u3055\u3044\u733f \u5c0f\u3055\u3044\u98fc\u80b2\u54e1 \u733f\u3092\u898b\u3066\u3044\u308b\u733f ... \u733f\u3092\u307f\u3066\u3044\u308b\u733f\u3092\u898b\u3066\u3044\u308b\u733f ... \u5c0f\u3055\u3044\u733f\u3092\u898b\u3066\u3044\u308b\u733f\u3092\u898b\u3066\u3044\u308b\u5c0f\u3055\u3044\u98fc\u80b2\u54e1\u3092\u898b\u3066\u3044\u308b\u733f ...)</ins></div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div><ins class=\"diffchange diffchange-inline\">.</ins>..</div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div>\u00a0</div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div><ins class=\"diffchange diffchange-inline\">\u3059\u306a\u308f\u3061\u3001\u3053\u306e\u3088\u3046\u306a\u64cd\u4f5c\u306e\u4efb\u610f\u56de\u306e\u7e70\u308a\u8fd4\u3057\u306b\u3088\u3063\u3066\u3001\u305d\u306e\u8a00\u8a9e(\u6587\u306e\u96c6\u5408)\u304c\u5f97\u3089\u308c\u308b\u3002</ins></div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div>\u00a0</div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div><ins class=\"diffchange diffchange-inline\">\u307e\u305f\u3001\u5f62\u5f0f\u6587\u6cd5\u304c\u968e\u5c64\u3092\u306a\u3059\u3068\u3044\u3046[[\u30c1\u30e7\u30e0\u30b9\u30ad\u30fc\u968e\u5c64]]\u306f\u3001\u751f\u6210\u3059\u308b\u8a00\u8a9e\u3067\u306f\u8a00\u8a9e\u306e\u8a8d\u8b58\u306b\u5fc5\u8981\u306a\u6700\u5c0f\u306e\u30aa\u30fc\u30c8\u30de\u30c8\u30f3\u304c\u968e\u5c64\u3092\u306a\u3059\u3068\u3044\u3046\u5f62\u3067\u73fe\u308c\u308b\u3002</ins></div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div>\u00a0</div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div><ins class=\"diffchange diffchange-inline\">==\u305d\u306e\u4ed6==</ins></div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div><ins class=\"diffchange diffchange-inline\">{{\u72ec\u81ea\u7814\u7a76|date=2015\u5e7411\u6708|section=1}}</ins></div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div><ins class=\"diffchange diffchange-inline\">===\u8a00\u53ca\u3055\u308c\u308b\u5206\u91ce===</ins></div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div><ins class=\"diffchange diffchange-inline\">\u5f62\u5f0f\u8a00\u8a9e\u306f\u3001\u300c\u4eba\u3084[[\u8a08\u7b97\u6a5f]]\u306e\u5982\u4f55\u306a\u308b\u8a18\u53f7\u5909\u63db\u80fd\u529b\u304b\u3089\u5982\u4f55\u306a\u308b[[\u601d\u8003]]\u80fd\u529b\u3084[[\u8a08\u7b97]]\u80fd\u529b\u304c\u751f\u307e\u308c\u308b\u304b\u300d\u306e\u5b66\u3068\u3057\u3066\u306e\u5e83\u7fa9\u306e[[\u6570\u7406\u8ad6\u7406\u5b66]]\u306e\u7814\u7a76\u5bfe\u8c61\u3067\u3042\u308a\u3001\u5f93\u3063\u3066\u5f62\u5f0f\u8a00\u8a9e\u306f\u3001[[\u54f2\u5b66]]\u30fb[[\u8a00\u8a9e\u5b66]]\u30fb[[\u8a08\u7b97\u6a5f\u79d1\u5b66]]\u30fb[[\u6570\u5b66\u57fa\u790e\u8ad6]]\u30fb[[\u6570\u7406\u5fc3\u7406\u5b66]]\u7b49\u3005\u306b\u304a\u3044\u3066\u91cd\u8981\u306a\u5f79\u5272\u3092\u6f14\u305a\u308b\u3002</ins></div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div><ins class=\"diffchange diffchange-inline\">\u305d\u308c\u3089\u306e\u5b66\u554f\u5206\u91ce\u3067\u306f\u3001\u5982\u4f55\u306a\u308b\u5f62\u5f0f\u8a00\u8a9e\u3092\u7814\u7a76\u3059\u3079\u304d\u304b\u306e[[\u6587\u6cd5|\u6587\u6cd5\u8ad6]]\uff08\u69cb\u6587\u8ad6\u30fb\u7d71\u8f9e\u8ad6\uff09\u3084\u5f62\u5f0f\u8a00\u8a9e\u306e[[\u610f\u5473\u8ad6 (\u66d6\u6627\u3055\u56de\u907f)|\u610f\u5473\u8ad6]]\u3084[[\u6f14\u7e79|\u6f14\u7e79\u8ad6]]\u304c\u7814\u7a76\u3055\u308c\u308b\u3002</ins></div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div>\u00a0</div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div><ins class=\"diffchange diffchange-inline\">[[\u5f62\u5f0f\u624b\u6cd5]]\u3068\u3044\u3046\u5834\u5408\u306b\u306f\u3001\u5f62\u5f0f\u8a00\u8a9e\u306b\u52a0\u3048\u3066\u3001\u691c\u8a3c\u30fb\u8a3c\u660e\u306a\u3069\u306e\u4ed5\u7d44\u307f\u3092\u8fbc\u307f\u3067\u8a00\u3046\u5834\u5408\u304c\u6709\u308b\u3002</ins></div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div>\u00a0</div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div><ins class=\"diffchange diffchange-inline\">===\u81ea\u7136\u8a00\u8a9e\u3078\u306e\u5fdc\u7528===</ins></div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div><ins class=\"diffchange diffchange-inline\">{{see|\u751f\u6210\u6587\u6cd5|\u53e5\u69cb\u9020\u6587\u6cd5}}</ins></div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div><ins class=\"diffchange diffchange-inline\">[[\u81ea\u7136\u8a00\u8a9e]]\u3092\u6bd4\u8f03\u7684\u5358\u7d14\u306a\u5f62\u5f0f\u8a00\u8a9e\u306e\u30e2\u30c7\u30eb\u306b\u3042\u3066\u306f\u3081\u3066\u5206\u6790\u3059\u308b\u8a00\u8a9e\u5b66\u306f\u3001[[\u30ce\u30fc\u30e0\u30fb\u30c1\u30e7\u30e0\u30b9\u30ad\u30fc|\u30c1\u30e7\u30e0\u30b9\u30ad\u30fc]]\u306b\u3088\u3063\u3066\u63d0\u5531\u3055\u308c\u305f\u3002[[\u97f3\u7d20]]\u3084[[\u8a9e\u5e79]]\u306a\u3069\u3092\u7d20\u8a18\u53f7\u3068\u3057\u3066\u8003\u3048\u308b\u3002</ins></div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div><ins class=\"diffchange diffchange-inline\">\u5b9f\u969b\u306e\u81ea\u7136\u8a00\u8a9e\u306e[[\u69cb\u6587\u898f\u5247]]\uff08\u3042\u308b\u3044\u306f[[\u6587\u6cd5]]\uff09\u306f\u3001\u6587\u5b57\u901a\u308a\u81ea\u7136\u767a\u751f\u7684\u306e\u3082\u306e\u3067\u3042\u308a\u3001\u5f62\u5f0f\u8a00\u8a9e\u306b\u304a\u3051\u308b\u69cb\u6587\u898f\u5247\u306e\u3088\u3046\u306b\u660e\u78ba\u306b\u898f\u5b9a\u3059\u308b\u306e\u306f\u96e3\u3057\u3044\u3002</ins></div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div>\u00a0</div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div><ins class=\"diffchange diffchange-inline\">\u305f\u3060\u3001\u7d20\u6734\u306a\u6587\u6cd5\u8ad6\u306e\u4e3b\u5f35\u306f\u3001\u5f62\u5f0f\u8a00\u8a9e\u306e\u7406\u8ad6\u3068\u307f\u306a\u3059\u3053\u3068\u304c\u3067\u304d\u308b\u3002</ins></div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div><ins class=\"diffchange diffchange-inline\">\u7d20\u6734\u306a\u6587\u6cd5\u8ad6\u306f\u3001\u4f8b\u3048\u3070\u6b21\u306e\u3088\u3046\u306a\u3082\u306e\u3067\u3042\u308b\u3002</ins></div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div><ins class=\"diffchange diffchange-inline\">* [[\u54c1\u8a5e]]\u306b\u306f\u3053\u306e\u3088\u3046\u306a\u306e\u3082\u306e\u304c\u3042\u308b\u3002</ins></div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div><ins class=\"diffchange diffchange-inline\">* \u3053\u306e\u8a9e\u306f\u3042\u306e\u54c1\u8a5e\u306b\u5c5e\u3059\u3002</ins></div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div><ins class=\"diffchange diffchange-inline\">* \u3053\u306e\u54c1\u8a5e\u306b\u5c5e\u3059\u8a9e\u3092\u3053\u306e[[\u6d3b\u7528]]\u3068[[\u7d44\u307f\u5408\u308f\u305b]]\u3068[[\u9806\u5e8f]]\u3068\u3067\u4e26\u3079\u308b\u3068\u6587\uff08\u3084[[\u53e5]]\u3084[[\u7bc0 (\u6587\u6cd5)|\u7bc0]]\uff09\u306b\u306a\u308b\u3002</ins></div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div><ins class=\"diffchange diffchange-inline\">\u3053\u3046\u3044\u3046\u6587\u6cd5\u8ad6\u306f\u3059\u306a\u308f\u3061\u3001\u7d20\u8a18\u53f7\u3068\u306f\u4f55\u304b\u3092\u5b9a\u3081\u3001\u305d\u308c\u3089\u304b\u3089\u6587\u3092\u4f5c\u308b\u69cb\u6587\u898f\u5247\u3092\u5b9a\u3081\u308b\u306e\u3060\u304b\u3089\u3001\u307e\u3055\u306b\u5f62\u5f0f\u8a00\u8a9e\u306e\u7406\u8ad6\u3067\u3042\u308b\u3002</ins></div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div>\u00a0</div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div><ins class=\"diffchange diffchange-inline\">\u3053\u3046\u3044\u3046\u5f62\u5f0f\u8a00\u8a9e\u8ad6\u7684\u306a\u6587\u6cd5\u8ad6\u306f\u3001\u5b9f\u969b\u306e\u8a00\u8a9e\u3068\u6bd4\u8f03\u3059\u308b\u3053\u3068\u3067\u81ea\u7136\u8a00\u8a9e\u306e\u7279\u5fb4\u3092\u6d6e\u304d\u5f6b\u308a\u306b\u3057\u3001\u81ea\u7136\u8a00\u8a9e\u306e\u3088\u308a\u6df1\u3044\u7406\u89e3\u3078\u3068\u5c0e\u304f\u3053\u3068\u3092\u53ef\u80fd\u3068\u3059\u308b\u3053\u3068\u3082\u306a\u304f\u306f\u306a\u3044\u3002\u8a00\u8a9e\u305d\u306e\u3082\u306e\u3067\u306f\u306a\u304f\u3001\u8a00\u8a9e\u884c\u52d5\u306e\u6df1\u5c64\u3092\u306a\u3059\u4eba\u9593\u7cbe\u795e\u3092\u63a2\u308b\u305f\u3081\u306b\u306f\u3001\u3080\u3057\u308d\u3053\u3046\u3044\u3046\u6587\u6cd5\u8ad6\u3092\u6570\u5b66\u5316\u3057\u3001\u66f4\u306b[[\u610f\u5473\u8ad6 (\u66d6\u6627\u3055\u56de\u907f)|\u610f\u5473\u8ad6]]\u30fb\u6587\u6cd5\u8ad6\u3092\u4f34\u3063\u305f\u8ad6\u7406\u5b66\u306b\u307e\u3067\u63a8\u3057\u9032\u3081\u308b\u3053\u3068\u304c\u6709\u610f\u7fa9\u3068\u3082\u3044\u3048\u3088\u3046\u3002</ins></div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div>\u00a0</div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div><ins class=\"diffchange diffchange-inline\">==\u811a\u6ce8==</ins></div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div><ins class=\"diffchange diffchange-inline\">{{\u811a\u6ce8\u30d8\u30eb\u30d7}}</ins></div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div><ins class=\"diffchange diffchange-inline\">{{Reflist}}</ins></div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div>\u00a0</div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div><ins class=\"diffchange diffchange-inline\">{{commonscat|Formal languages}}</ins></div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div>\u00a0</div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div><ins class=\"diffchange diffchange-inline\">{{Logic}}</ins></div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div><ins class=\"diffchange diffchange-inline\">{{Normdaten}}</ins></div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div><ins class=\"diffchange diffchange-inline\">{{DEFAULTSORT:\u3051\u3044\u3057\u304d\u3051\u3093\u3053}}</ins></div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div><ins class=\"diffchange diffchange-inline\">[[Category:\u6587\u6cd5]]</ins></div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div><ins class=\"diffchange diffchange-inline\">[[Category:\u7406\u8ad6\u8a08\u7b97\u6a5f\u79d1\u5b66]]</ins></div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div><ins class=\"diffchange diffchange-inline\">[[Category:\u5f62\u5f0f\u8a00\u8a9e|*]]</ins></div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div><ins class=\"diffchange diffchange-inline\">[[Category:\u69cb\u6587\u89e3\u6790 (\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0)]]</ins></div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div><ins class=\"diffchange diffchange-inline\">[[Category</ins>:<ins class=\"diffchange diffchange-inline\">\u6570\u5b66\u306b\u95a2\u3059\u308b\u8a18\u4e8b]]</ins></div></td></tr>\n<tr><td colspan=\"2\" class=\"diff-side-deleted\"></td><td class=\"diff-marker\" data-marker=\"+\"></td><td class=\"diff-addedline diff-side-added\"><div><ins class=\"diffchange diffchange-inline\">[[Category</ins>:<ins class=\"diffchange diffchange-inline\">\u30e1\u30bf\u8ad6\u7406\u5b66]</ins>]</div></td></tr>\n"
}
}