Annotation of OpenXM/doc/Papers/rims2005-noro.tm, Revision 1.4
1.1 noro 1: <TeXmacs|1.0.6>
2:
3: <style|<tuple|generic|varsession>>
4:
5: <\body>
1.3 noro 6: <surround| ||<doc-data|<doc-title|Risa/Asir
7: \<#306B\>\<#304A\>\<#3051\>\<#308B\>\<#65B0\>\<#3057\>\<#3044\>\<#5F62\>\<#5F0F\>\<#306E\>\<#6570\>\<#5F0F\>\<#306E\>\<#53D6\>\<#308A\>\<#6271\>\<#3044\>\<#306B\>\<#3064\>\<#3044\>\<#3066\>>|<doc-author-data|<author-name|\<#91CE\>\<#5442\>
1.1 noro 8: \<#6B63\>\<#884C\>, \<#9AD8\>\<#5C71\>\<#4FE1\>\<#6BC5\><next-line>(\<#795E\>\<#6238\>\<#5927\>\<#7406\>)>|<\author-address>
9: \;
1.3 noro 10: </author-address>>|<doc-date|<date|>>>>
1.1 noro 11:
1.3 noro 12: <assign|NF|<macro|<with|font-family|rm|NF>>>
13:
14: <assign|ini|<macro|<with|font-family|rm|in>>>
15:
16: <assign|FN|<macro|<with|font-family|tt|FNODE>>>
17:
18: <assign|QT|<macro|<with|font-family|tt|QUOTE>>>
19:
20: <assign|ve|<macro|<vfill><eject>>>
21:
22: <assign|tmred|<macro|1|<smash|<with|mode|text|<rightarrowfill>><limits><rsub|<with|math-level|1|<arg|1>>><limits><rsup|<with|math-level|1|*>>>>>
23:
1.4 ! noro 24: <\section>
! 25: \;
! 26:
! 27: <page-break*>Risa/Asir \<#306B\>\<#304A\>\<#3051\>\<#308B\>\<#6570\>\<#5F0F\>\<#306E\>\<#53D6\>\<#308A\>\<#6271\>\<#3044\>
! 28: </section>
1.3 noro 29:
1.4 ! noro 30: \<#30E6\>\<#30FC\>\<#30B6\>\<#306B\>\<#3088\>\<#308A\>\<#5165\>\<#529B\>\<#3055\>\<#308C\>\<#305F\>\<#6570\>\<#5F0F\><verbatim|>
1.3 noro 31: <with|mode|math|\<Rightarrow\>> <FN> \<#3068\>\<#547C\>\<#3070\>\<#308C\>\<#308B\>\<#6728\>\<#69CB\>\<#9020\>\<#306B\>\<#5909\>\<#63DB\>
32:
33: <with|mode|math|\<Rightarrow\>> <with|font-family|tt|eval()>
34: \<#306B\>\<#3088\>\<#308A\>\<#518D\>\<#5E30\>\<#7684\>\<#306B\>Risa
35: \<#30AA\>\<#30D6\>\<#30B8\>\<#30A7\>\<#30AF\>\<#30C8\>\<#306B\>\<#5909\>\<#63DB\>
36:
37: <\itemize>
38: <item>Risa \<#30AA\>\<#30D6\>\<#30B8\>\<#30A7\>\<#30AF\>\<#30C8\>
39:
40: \<#5148\>\<#982D\>\<#306B\>\<#5171\>\<#901A\>\<#306E\>\<#8B58\>\<#5225\>\<#5B50\>\<#30D5\>\<#30A3\>\<#30FC\>\<#30EB\>\<#30C9\>\<#3092\>\<#6301\>\<#3064\>\<#4E00\>\<#7FA4\>\<#306E\>\<#69CB\>\<#9020\>\<#4F53\>
41:
42: <item>Risa \<#30AA\>\<#30D6\>\<#30B8\>\<#30A7\>\<#30AF\>\<#30C8\>\<#306E\>\<#7A2E\>\<#985E\>
1.1 noro 43:
1.3 noro 44: \<#6570\>, \<#591A\>\<#9805\>\<#5F0F\>, \<#6709\>\<#7406\>\<#5F0F\>,
45: \<#30EA\>\<#30B9\>\<#30C8\>, \<#914D\>\<#5217\>\<#306A\>\<#3069\>30
46: \<#7A2E\>\<#985E\>\<#5F31\>
1.1 noro 47:
1.3 noro 48: <item>\<#7A2E\>\<#985E\>\<#3054\>\<#3068\>\<#306E\>\<#6F14\>\<#7B97\>
1.1 noro 49:
1.4 ! noro 50: Risa \<#30AA\>\<#30D6\>\<#30B8\>\<#30A7\>\<#30AF\>\<#30C8\>\<#306B\>\<#5BFE\>\<#3057\>\<#3066\>\<#306F\>\<#56FA\>\<#6709\>\<#306E\>\<#65B9\>\<#6CD5\>\<#306B\>\<#3088\>\<#308A\>\<#52B9\>\<#7387\>\<#3088\>\<#3044\>\<#6F14\>\<#7B97\>\<#304C\>\<#9069\>\<#7528\>\<#3067\>\<#304D\>\<#308B\>
1.3 noro 51: </itemize>
52:
53: \;
54:
55: \;
56:
1.4 ! noro 57: \;
! 58:
1.3 noro 59: <\with|font-series|bold>
1.4 ! noro 60: <page-break*>\<#6B20\>\<#70B9\>
1.3 noro 61: </with>
62:
63: <\itemize>
64: <item>\<#591A\>\<#9805\>\<#5F0F\>\<#304C\>\<#5F37\>\<#5236\>\<#7684\>\<#306B\>\<#5C55\>\<#958B\>\<#3055\>\<#308C\>\<#3066\>\<#3057\>\<#307E\>\<#3046\>
1.1 noro 65:
1.3 noro 66: \<#672C\>\<#6765\>\<#306E\>\<#5165\>\<#529B\>\<#304C\>\<#6301\>\<#3063\>\<#3066\>\<#3044\>\<#305F\>\<#60C5\>\<#5831\>\<#304C\>\<#5931\>\<#308F\>\<#308C\>\<#308B\>.
1.1 noro 67:
1.3 noro 68: <item>\<#539F\>\<#5247\>\<#3068\>\<#3057\>\<#3066\>\<#591A\>\<#9805\>\<#5F0F\>\<#306E\>\<#7A4D\>\<#306F\>\<#53EF\>\<#63DB\>\<#3068\>\<#4EEE\>\<#5B9A\>
1.1 noro 69:
1.3 noro 70: \<#5FAE\>\<#5206\>\<#4F5C\>\<#7528\>\<#7D20\>\<#306A\>\<#3069\>,
71: \<#975E\>\<#53EF\>\<#63DB\>\<#306A\>\<#5BFE\>\<#8C61\>\<#3092\>\<#6271\>\<#3046\>\<#5834\>\<#5408\>\<#306B\>\<#4E0D\>\<#81EA\>\<#7136\>\<#306A\>\<#64CD\>\<#4F5C\>\<#3092\>\<#5F37\>\<#3044\>\<#3089\>\<#308C\>\<#308B\>.
1.1 noro 72:
1.3 noro 73: <item>\<#5F0F\>\<#306E\>\<#7C21\>\<#5358\>\<#5316\>\<#306E\>\<#554F\>\<#984C\>
1.1 noro 74:
1.3 noro 75: \<#3042\>\<#3089\>\<#3086\>\<#308B\>\<#3082\>\<#306E\>\<#3092\>\<#591A\>\<#9805\>\<#5F0F\>\<#306B\>\<#5909\>\<#63DB\>\<#3057\>\<#3066\>\<#304B\>\<#3089\>\<#7C21\>\<#5358\>\<#5316\>\<#3059\>\<#308B\>\<#306E\>\<#306F\>\<#4E0D\>\<#81EA\>\<#7136\>.
76: </itemize>
1.1 noro 77:
78: <\example>
79: \;
80:
81: <with|prog-language|openxm|prog-session|default|<\session>
82: <\folded>
83: <with|font-family|tt|dx> \<#3092\>
84: <with|mode|math|\<partial\>/\<partial\>x>
85: \<#306E\>\<#610F\>\<#5473\>\<#306B\>\<#4F7F\>\<#304A\>\<#3046\>\<#3068\>\<#601D\>\<#3063\>\<#3066\>\<#3082\>
86: <|folded>
87: <\input|openxm] >
88: x*dx
89: </input>
90:
91: <\output>
1.4 ! noro 92: \;
1.1 noro 93: </output>
94:
95: <\input|openxm] >
96: dx*x
97: </input>
98:
99: <\output>
1.4 ! noro 100: <with|mode|math|>
1.1 noro 101: </output>
102:
103: <\input|openxm] >
104: \;
105: </input>
106: </folded>
107: </session>>
108:
109: \<#306E\>\<#3088\>\<#3046\>\<#306B\>,
110: \<#52DD\>\<#624B\>\<#306B\>\<#9806\>\<#5E8F\>\<#304C\>\<#5909\>\<#3048\>\<#3089\>\<#308C\>\<#3066\>\<#3057\>\<#307E\>\<#3046\>.
111: </example>
112:
1.4 ! noro 113: \;
! 114:
! 115: \;
! 116:
1.3 noro 117: <\with|font-series|bold>
118: \;
119:
1.4 ! noro 120: <page-break*>\<#76EE\>\<#6A19\>
1.3 noro 121: </with>
122:
123: <\itemize>
124: <item>\<#6570\>\<#5F0F\>\<#306E\>\<#67D4\>\<#8EDF\>\<#306A\>\<#53D6\>\<#308A\>\<#6271\>\<#3044\>
125:
126: Maxima, Maple, Mathematica \<#306A\>\<#3069\>\<#306E\>\<#5F97\>\<#610F\>\<#3068\>\<#3059\>\<#308B\>\<#3068\>\<#3053\>\<#308D\>
127:
128: Risa/Asir \<#306E\>\<#76EE\>\<#6307\>\<#3057\>\<#3066\>\<#304D\>\<#305F\>\<#3082\>\<#306E\>
129: : \<#591A\>\<#9805\>\<#5F0F\>\<#6F14\>\<#7B97\>\<#306E\>\<#9AD8\>\<#901F\>\<#51E6\>\<#7406\>\<#3060\>\<#304C\>,
130: \<#6271\>\<#3046\>\<#5BFE\>\<#8C61\>\<#304C\>\<#591A\>\<#69D8\>\<#5316\>\<#3057\>\<#3066\>\<#304D\>\<#305F\>
131:
132: <with|mode|math|\<Rightarrow\>> \<#4E00\>\<#822C\>\<#306E\>\<#6570\>\<#5F0F\>\<#306E\>\<#6F14\>\<#7B97\>\<#304A\>\<#3088\>\<#3073\>\<#7C21\>\<#5358\>\<#5316\>,
133: \<#66F8\>\<#304D\>\<#63DB\>\<#3048\>\<#898F\>\<#5247\>\<#306B\>\<#3088\>\<#308B\>
134: \<#66F8\>\<#304D\>\<#63DB\>\<#3048\>\<#306E\>\<#5B9F\>\<#88C5\>
135:
136: <item>\<#975E\>\<#53EF\>\<#63DB\>\<#4EE3\>\<#6570\>
137:
138: \<#7279\>\<#306B\>\<#8981\>\<#671B\>\<#304C\>\<#591A\>\<#3044\>\<#8A08\>\<#7B97\>
139: <with|mode|math|\<Rightarrow\>> weight
140: \<#306E\>\<#6982\>\<#5FF5\>\<#3092\>\<#6301\>\<#3061\>\<#8FBC\>\<#307F\>,
1.4 ! noro 141: \<#505C\>\<#6B62\>\<#6027\>\<#3092\>\<#4E0E\>\<#3048\>\<#308B\>\<#30B7\>\<#30F3\>\<#30D7\>\<#30EB\>\<#306A\>\<#57FA\>\<#6E96\>\<#3092\>\<#4E0E\>\<#3048\>\<#308B\>.
1.3 noro 142: </itemize>
1.1 noro 143:
1.4 ! noro 144: \;
! 145:
! 146: \;
! 147:
! 148: \;
! 149:
! 150: \;
! 151:
! 152: \;
! 153:
! 154: \;
! 155:
! 156: \;
! 157:
! 158: \;
! 159:
! 160: <section|<page-break*><QT> \<#578B\>>
1.1 noro 161:
1.3 noro 162: <QT> \<#578B\> = <FN> \<#3092\>\<#30DC\>\<#30C7\>\<#30A3\>\<#90E8\>\<#306B\>\<#6301\>\<#3064\>
163: Risa \<#30AA\>\<#30D6\>\<#30B8\>\<#30A7\>\<#30AF\>\<#30C8\>
1.1 noro 164:
165: <subsection|<QT> \<#306E\>\<#5165\>\<#529B\>,
166: \<#57FA\>\<#672C\>\<#64CD\>\<#4F5C\>>
167:
1.3 noro 168: <QT> \<#578B\>\<#306B\>\<#5BFE\>\<#3059\>\<#308B\>\<#64CD\>\<#4F5C\> :
169: \<#6728\>\<#306B\>\<#5BFE\>\<#3059\>\<#308B\>\<#64CD\>\<#4F5C\>
170:
171: \<#6728\>\<#306B\>\<#5BFE\>\<#3059\>\<#308B\>\<#4E00\>\<#822C\>\<#7684\>\<#306A\>\<#64CD\>\<#4F5C\>
1.1 noro 172: (\<#5C5E\>\<#6027\>, \<#5B50\>\<#306E\>\<#53D6\>\<#308A\>\<#51FA\>\<#3057\>,
173: \<#6728\>\<#306E\>\<#518D\>\<#69CB\>\<#6210\>\<#306A\>\<#3069\>) \<#3092\>
174: Asir \<#306E\>\<#95A2\>\<#6570\>\<#3068\>\<#3057\>\<#3066\>\<#4E0E\>\<#3048\>\<#308B\>\<#3053\>\<#3068\>\<#3067\>,
175: \<#30E6\>\<#30FC\>\<#30B6\>\<#306B\>\<#3088\>\<#308B\>\<#6570\>\<#5F0F\>\<#306E\>\<#64CD\>\<#4F5C\>\<#304C\>\<#53EF\>\<#80FD\>\<#3068\>\<#306A\>\<#308B\>.
1.3 noro 176:
177: <QT> \<#578B\>\<#306B\>\<#5BFE\>\<#3059\>\<#308B\>\<#64CD\>\<#4F5C\> =
1.1 noro 178: \<#5B9F\>\<#969B\>\<#306B\>\<#306F\> <FN>
1.3 noro 179: \<#306B\>\<#5BFE\>\<#3059\>\<#308B\>\<#64CD\>\<#4F5C\>
180:
181: <FN> \<#306F\>\<#6B21\>\<#306E\>\<#5F62\>\<#3067\>\<#3042\>\<#308B\>.
1.1 noro 182:
183: <\center>
184: (<with|mode|math|i*d> <with|mode|math|a*r*g<rsub|0>>
185: <with|mode|math|a*r*g<rsub|1>> <with|mode|math|\<ldots\>>)
186: </center>
187:
1.3 noro 188: (<with|mode|math|a*r*g<rsub|i>> \<#306E\>\<#500B\>\<#6570\>,
1.1 noro 189: \<#578B\>\<#306F\> <with|mode|math|i*d>
1.3 noro 190: \<#306B\>\<#3088\>\<#308A\>\<#3055\>\<#307E\>\<#3056\>\<#307E\>)
1.1 noro 191:
1.4 ! noro 192: \;
! 193:
! 194: \;
! 195:
! 196: <with|color|black|<with|font-base-size|12|>>
! 197:
1.1 noro 198: <\itemize>
1.4 ! noro 199: <page-break*><item><QT> \<#306E\>\<#5165\>\<#529B\>
1.1 noro 200:
201: <QT> \<#306F\> <with|font-family|tt|quote>(<with|mode|math|E*x*p*r>)
202: \<#307E\>\<#305F\>\<#306F\> <with|font-family|tt|`><with|mode|math|E*x*p*r>
203: (\<#30D0\>\<#30C3\>\<#30AF\>\<#30AF\>\<#30A9\>\<#30FC\>\<#30C8\>\<#3064\>\<#304D\>)
204: \<#306B\>\<#3088\>\<#308A\>\<#5165\>\<#529B\>\<#3067\>\<#304D\>\<#308B\>.
205:
206: <item><QT> \<#3068\> Risa \<#30AA\>\<#30D6\>\<#30B8\>\<#30A7\>\<#30AF\>\<#30C8\>\<#306E\>\<#76F8\>\<#4E92\>\<#5909\>\<#63DB\>
207:
208: <with|font-family|tt|objtoquote>(<with|mode|math|O*b*j>),
1.4 ! noro 209: <with|font-family|tt|eval_quote>(<with|mode|math|E*x*p*r>)\
1.1 noro 210:
211: <item><QT> \<#306E\>\<#5206\>\<#89E3\>, \<#5408\>\<#6210\>
212:
1.3 noro 213: <with|font-family|tt|quote_to_funargs>(<with|mode|math|E*x*p*r>),
1.1 noro 214: <with|font-family|tt|funargs_to_quote>(<with|mode|math|L*i*s*t>)
215: </itemize>
216:
1.4 ! noro 217: \;
! 218:
! 219: \;
! 220:
! 221: \;
! 222:
! 223: \;
! 224:
! 225: \;
! 226:
! 227: <subsection|<page-break*><FN> \<#306E\>\<#6A19\>\<#6E96\>\<#5F62\>>
1.3 noro 228:
229: <FN> \<#306B\>\<#5BFE\>\<#3059\>\<#308B\>\<#30D1\>\<#30BF\>\<#30FC\>\<#30F3\>\<#30DE\>\<#30C3\>\<#30C1\>\<#30F3\>\<#30B0\>,
1.4 ! noro 230: \<#66F8\>\<#304D\>\<#63DB\>\<#3048\>\<#3092\>\<#5BB9\>\<#6613\>\<#306B\>\<#884C\>\<#3046\>\<#305F\>\<#3081\>\<#5C0E\>\<#5165\>
1.3 noro 231:
232: \<#6A19\>\<#6E96\>\<#5F62\>\<#306E\>\<#8A08\>\<#7B97\> :
1.1 noro 233: <with|font-family|tt|qt_normalize>(<with|mode|math|E*x*p*r>[,<with|mode|math|M*o*d*e>])
1.3 noro 234: (<with|mode|math|M*o*d*e> : \<#5C55\>\<#958B\>\<#30E2\>\<#30FC\>\<#30C9\>\<#6307\>\<#5B9A\>)
1.1 noro 235:
236: <with|mode|math|n*f> = <with|mode|math|f*o*r*m*u*l*a> <with|mode|math|\|>
237: <with|mode|math|f*u*n*c*t*o*r> (<with|mode|math|n*f> [,
238: <with|mode|math|\<ldots\>>]) <with|mode|math|\|>
239: <with|mode|math|s*u*m_o*f_m*o*n*o*m>
240:
241: <with|mode|math|s*u*m_o*f_m*o*n*o*m> = <with|mode|math|m*o*n*o*m>
242: [<with|mode|math|+> <with|mode|math|\<cdots\>>]
243:
244: <with|mode|math|m*o*n*o*m> = [<with|mode|math|f*o*r*m*u*l*a>
245: <with|mode|math|\<ast\>> ] <with|mode|math|n*f*p*o*w>
246: [<with|mode|math|\<ast\>> <with|mode|math|\<cdots\>>]
247:
248: <with|mode|math|n*f*p*o*w> = <with|mode|math|n*f> <with|mode|math|\|>
249: <with|mode|math|n*f<rsup|n*f>>
250:
251: <with|mode|math|f*o*r*m*u*l*a> = Risa object
252:
1.4 ! noro 253: \;
! 254:
1.3 noro 255: \<#3059\>\<#306A\>\<#308F\>\<#3061\>, \<#6A19\>\<#6E96\>\<#5F62\>
256: <with|mode|math|n*f> = \<#6A19\>\<#6E96\>\<#5F62\>\<#306E\>\<#30D9\>\<#30AD\>\<#7A4D\>\<#306E\>
257: Risa \<#30AA\>\<#30D6\>\<#30B8\>\<#30A7\>\<#30AF\>\<#30C8\>\<#4FC2\>\<#6570\>\<#3064\>\<#304D\>\<#306E\>\<#548C\>
258:
259: \<#548C\>\<#306F\> <FN> \<#3068\>\<#3057\>\<#3066\>\<#306F\>,
260: n\<#9805\>\<#548C\>\<#3068\>\<#3057\>\<#3066\>\<#8868\>\<#73FE\>
261:
262: \<#7A4D\>\<#3082\> n\<#9805\>\<#7A4D\>\<#3068\>\<#3057\>\<#3066\>\<#8868\>\<#73FE\>
263:
1.4 ! noro 264: \;
! 265:
! 266: \;
! 267:
! 268: \;
! 269:
! 270: \;
! 271:
! 272: \;
! 273:
1.3 noro 274: <\with|font-series|bold>
1.4 ! noro 275: <page-break*>\<#6570\>\<#5B66\>\<#7684\>\<#306B\>\<#3044\>\<#3046\>\<#3068\>\<#6A19\>\<#6E96\>\<#5F62\>\<#3068\>\<#306F\>
1.3 noro 276: </with>
277:
1.1 noro 278: \<#5165\>\<#529B\>\<#3055\>\<#308C\>\<#305F\>\<#6570\>\<#5F0F\>\<#304C\>,
1.4 ! noro 279: Risa \<#30AA\>\<#30D6\>\<#30B8\>\<#30A7\>\<#30AF\>\<#30C8\>\<#3092\>\<#4FC2\>\<#6570\>\<#74B0\>\<#3068\>\<#3059\>\<#308B\>\<#7D50\>\<#5408\>\<#4EE3\>\<#6570\>\<#306E\>\<#5143\>\<#3067\>\<#3042\>\<#308B\>\<#3068\>\<#898B\>\<#306A\>\<#3057\>,
1.1 noro 280: \<#548C\>\<#306E\>\<#53EF\>\<#63DB\>\<#6027\>,
1.4 ! noro 281: \<#7A4D\>\<#306E\>\<#7D50\>\<#5408\>\<#6027\>\<#306B\>\<#3088\>\<#308A\>\<#30D5\>\<#30E9\>\<#30C3\>\<#30C8\>\<#306B\>\<#6574\>\<#7406\>\<#3057\>\<#306A\>\<#304A\>\<#3057\>\<#305F\>\<#3082\>\<#306E\>
1.1 noro 282:
283: <\example>
284: <\verbatim>
285: \;
286:
287: <with|prog-language|openxm|prog-session|default|<\session>
288: <\folded>
289: \<#6A19\>\<#6E96\>\<#5F62\>\<#306F\> n
290: \<#9805\>\<#548C\>\<#3067\>\<#8868\>\<#73FE\>\<#3055\>\<#308C\>\<#308B\>
291: <|folded>
292: <\input|openxm] >
293: quotetolist(`x+y+z)
294: </input>
295:
296: <\output>
1.4 ! noro 297: <with|mode|math|>
1.1 noro 298: </output>
299:
300: <\input|openxm] >
301: quotetolist(qt_normalize(`x+y+z))
302: </input>
303:
304: <\output>
1.4 ! noro 305: <with|mode|math|>
1.1 noro 306: </output>
307:
308: <\input|openxm] >
309: \;
310: </input>
311: </folded>
312: </session>>
313: </verbatim>
314:
315: 2 \<#9805\>\<#6F14\>\<#7B97\>\<#3067\>\<#8868\>\<#73FE\>\<#3055\>\<#308C\>\<#305F\>\<#5F0F\>\<#304C\>,
316: \<#6A19\>\<#6E96\>\<#5F62\>\<#3067\>\<#306F\> n
317: \<#9805\>\<#548C\>\<#3067\>\<#8868\>\<#73FE\>\<#3055\>\<#308C\>\<#3066\>\<#3044\>\<#308B\>\<#3053\>\<#3068\>\<#304C\>\<#5206\>\<#304B\>\<#308B\>.
318: </example>
319:
1.3 noro 320: <\with|font-series|bold>
321: Mathematica \<#306B\>\<#304A\>\<#3051\>\<#308B\>\<#6A19\>\<#6E96\>\<#5F62\>
322: <cite|MMA> \<#3068\>\<#306E\>\<#95A2\>\<#4FC2\>
323: </with>
324:
325: \<#57FA\>\<#672C\>\<#7684\>\<#306B\>\<#540C\>\<#3058\>\<#3067\>\<#3042\>\<#308B\>\<#304C\>,
1.1 noro 326: \<#7A4D\>\<#306E\>\<#53EF\>\<#63DB\>\<#6027\>\<#3092\>\<#4EEE\>\<#5B9A\>\<#3057\>\<#3066\>\<#3044\>\<#306A\>\<#3044\>\<#3053\>\<#3068\>,
1.4 ! noro 327: \<#304A\>\<#3088\>\<#3073\>, \<#4FC2\>\<#6570\>\<#74B0\>\<#3092\>\<#3088\>\<#308A\>\<#4E00\>\<#822C\>\<#7684\>\<#306B\>\<#3057\>\<#3066\>\<#3042\>\<#308B\>\<#70B9\>\<#3067\>\<#7570\>\<#306A\>\<#3063\>\<#3066\>\<#3044\>\<#308B\>.
1.1 noro 328:
329: (Mathematica \<#306B\>\<#304A\>\<#3044\>\<#3066\>\<#7A4D\>\<#306E\>
330: <with|font-family|tt|Orderless> \<#5C5E\>\<#6027\>\<#3092\>\<#5916\>\<#3059\>\<#3053\>\<#3068\>\<#3067\>,
331: \<#7A4D\>\<#3092\>\<#975E\>\<#53EF\>\<#63DB\>\<#306B\>\<#3067\>\<#304D\>\<#308B\>\<#304C\>,
332: \<#7C21\>\<#5358\>\<#5316\>\<#306B\>\<#304A\>\<#3044\>\<#3066\>\<#7570\>\<#5E38\>\<#306A\>\<#6319\>\<#52D5\>\<#3092\>\<#793A\>\<#3059\>\<#3088\>\<#3046\>\<#306B\>\<#306A\>\<#308B\>
333: (Ver. 4). Ver. 5 \<#3067\>\<#306F\>, \<#4FC2\>\<#6570\>\<#307E\>\<#3067\>\<#975E\>\<#53EF\>\<#63DB\>\<#306B\>\<#306A\>\<#308B\>.)
334:
1.4 ! noro 335: \;
! 336:
! 337: \;
! 338:
! 339: \;
! 340:
1.3 noro 341: <\with|font-series|bold>
1.4 ! noro 342: <page-break*>\<#6A19\>\<#6E96\>\<#5F62\>+\<#5C55\>\<#958B\>
1.3 noro 343: </with>
344:
345: \<#7A4D\>\<#306B\>\<#95A2\>\<#3059\>\<#308B\>\<#5206\>\<#914D\>\<#5247\>\<#3092\>\<#5229\>\<#7528\>\<#3057\>\<#3066\>\<#5C55\>\<#958B\>\<#3055\>\<#308C\>\<#305F\>\<#6A19\>\<#6E96\>\<#5F62\>\<#3092\>\<#5F97\>\<#308B\>\<#3053\>\<#3068\>\<#3082\>\<#3067\>\<#304D\>\<#308B\>.
1.1 noro 346:
347: <\example>
348: \;
349:
350: <with|prog-language|openxm|prog-session|default|<\session>
351: <\folded>
352: \<#6A19\>\<#6E96\>\<#5F62\>\<#3078\>\<#306E\>\<#5909\>\<#63DB\>\<#306B\>\<#304A\>\<#3051\>\<#308B\>\<#5C55\>\<#958B\>
353: <|folded>
354: <\input|openxm] >
355: quotetolist(`(x+y)^2)
356: </input>
357:
358: <\output>
1.4 ! noro 359: <with|mode|math|>
1.1 noro 360: </output>
361:
362: <\input|openxm] >
363: quotetolist(qt_normalize(`(x+y)^2))
364: </input>
365:
366: <\output>
1.4 ! noro 367: <with|mode|math|>
1.1 noro 368: </output>
369:
370: <\input|openxm] >
371: qt_normalize(`(x+y)^2,1)
372: </input>
373:
374: <\output>
1.4 ! noro 375: <with|mode|math|>
1.1 noro 376: </output>
377:
378: <\input|openxm] >
379: \;
380: </input>
381: </folded>
382: </session>>
383: </example>
384:
1.4 ! noro 385: \;
! 386:
! 387: \;
! 388:
! 389: \;
! 390:
! 391: \;
! 392:
! 393: \;
! 394:
! 395: \;
! 396:
! 397: \;
! 398:
! 399: \;
! 400:
! 401: \;
! 402:
! 403: \;
! 404:
! 405: <subsection|<page-break*>\<#9805\>\<#9806\>\<#5E8F\>\<#304A\>\<#3088\>\<#3073\>\<#4FC2\>\<#6570\>\<#74B0\>\<#306E\>\<#8A2D\>\<#5B9A\>>
1.1 noro 406:
1.3 noro 407: \<#5358\>\<#9805\>\<#5F0F\>\<#9806\>\<#5E8F\>\<#304A\>\<#3088\>\<#3073\>\<#4FC2\>\<#6570\>\<#74B0\>\<#306F\>\<#53EF\>\<#5909\>
1.1 noro 408:
409: <\itemize>
410: <item>\<#5358\>\<#9805\>\<#5F0F\>\<#9806\>\<#5E8F\>\<#306E\>\<#8A2D\>\<#5B9A\>
411:
1.3 noro 412: \<#30C7\>\<#30D5\>\<#30A9\>\<#30EB\>\<#30C8\> :
413: \<#3042\>\<#308B\>\<#8F9E\>\<#66F8\>\<#5F0F\>\<#9806\>\<#5E8F\>
414:
415: <with|font-family|tt|qt_set_ord>(<with|mode|math|V*a*r*L*i*s*t>) :
416: \<#57FA\>\<#790E\>\<#3068\>\<#306A\>\<#308B\>\<#4E0D\>\<#5B9A\>\<#5143\>\<#9806\>\<#5E8F\>\<#3092\>\<#4E0E\>\<#3048\>\<#308B\>
1.1 noro 417:
418: <item>\<#4FC2\>\<#6570\>\<#74B0\>\<#306E\>\<#8A2D\>\<#5B9A\>
419:
1.3 noro 420: \<#30C7\>\<#30D5\>\<#30A9\>\<#30EB\>\<#30C8\> :
421: \<#4FC2\>\<#6570\>\<#74B0\>\<#306F\>\<#6570\>\<#306E\>\<#307F\>
422:
423: <with|font-family|tt|qt_set_coef>(<with|mode|math|P*a*r*a*m*L*i*s*t>) :
424: \<#30D1\>\<#30E9\>\<#30E1\>\<#30BF\>\<#3092\>\<#4FC2\>\<#6570\>\<#74B0\>\<#306B\>\<#8FFD\>\<#52A0\>
425: (\<#4FC2\>\<#6570\>\<#74B0\>\<#306F\>\<#6709\>\<#7406\>\<#95A2\>\<#6570\>\<#4F53\>)
1.1 noro 426: </itemize>
427:
428: <\example>
429: <\verbatim>
430: \;
431:
432: <with|prog-language|openxm|prog-session|default|<\session>
1.3 noro 433: <\folded>
1.1 noro 434: \<#3044\>\<#304F\>\<#3064\>\<#304B\>\<#306E\>\<#5909\>\<#6570\>\<#3092\>\<#4FC2\>\<#6570\>\<#74B0\>\<#306B\>\<#307E\>\<#308F\>\<#3059\>
1.3 noro 435: <|folded>
1.1 noro 436: <\input|openxm] >
437: qt_normalize(`(b*x+a*y)*b*y,1)
438: </input>
439:
440: <\output>
1.4 ! noro 441: <with|mode|math|>
1.1 noro 442: </output>
443:
444: <\input|openxm] >
445: qt_set_coef([a,b])
446: </input>
447:
448: <\output>
1.4 ! noro 449: <with|mode|math|>
1.1 noro 450: </output>
451:
452: <\input|openxm] >
453: qt_normalize(`(b*x+a*y)*b*y,1)
454: </input>
455:
456: <\output>
1.4 ! noro 457: <with|mode|math|>
1.1 noro 458: </output>
459:
460: <\input|openxm] >
461: \;
462: </input>
463:
464: <\folded>
465: \<#4E0D\>\<#5B9A\>\<#5143\>\<#306E\>\<#9806\>\<#5E8F\>\<#3092\>\<#5909\>\<#3048\>\<#308B\>
466: <|folded>
467: <\input|openxm] >
468: qt_set_ord([y,x])$
469: </input>
470:
471: <\input|openxm] >
472: qt_normalize(`(b*x+a*y)*b*y,1)
473: </input>
474:
475: <\output>
1.4 ! noro 476: <with|mode|math|>
1.1 noro 477: </output>
478:
479: <\input|openxm] >
480: qt_set_coef([])$
481: </input>
482:
483: <\input|openxm] >
1.3 noro 484: qt_set_ord([x,y])$
485: </input>
486:
487: <\input|openxm] >
1.1 noro 488: \;
489: </input>
490: </folded>
1.3 noro 491: </folded>
1.1 noro 492: </session>>
493: </verbatim>
494: </example>
495:
1.4 ! noro 496: \;
! 497:
! 498: \;
! 499:
! 500: <section|<page-break*>\<#30D1\>\<#30BF\>\<#30FC\>\<#30F3\>\<#30DE\>\<#30C3\>\<#30C1\>\<#30F3\>\<#30B0\>\<#306B\>\<#3088\>\<#308B\>\<#66F8\>\<#304D\>\<#63DB\>\<#3048\>>
1.1 noro 501:
1.3 noro 502: Risa/Asir : \<#4E0D\>\<#5B9A\>\<#5143\>\<#3068\>\<#30D7\>\<#30ED\>\<#30B0\>\<#30E9\>\<#30E0\>\<#5909\>\<#6570\>\<#306F\>\<#660E\>\<#78BA\>\<#306B\>\<#533A\>\<#5225\>\<#3055\>\<#308C\>\<#3066\>\<#3044\>\<#308B\>.
503:
504: <with|mode|math|\<Rightarrow\>> \<#30D1\>\<#30BF\>\<#30FC\>\<#30F3\>\<#5909\>\<#6570\>\<#3068\>\<#3057\>\<#3066\>\<#30D7\>\<#30ED\>\<#30B0\>\<#30E9\>\<#30E0\>\<#5909\>\<#6570\>\<#3092\>\<#7528\>\<#3044\>\<#308B\>
505:
506: \<#30D1\>\<#30BF\>\<#30FC\>\<#30F3\> = \<#30D7\>\<#30ED\>\<#30B0\>\<#30E9\>\<#30E0\>\<#5909\>\<#6570\>\<#3092\>\<#542B\>\<#3093\>\<#3067\>\<#3082\>\<#3088\>\<#3044\>
507: <QT>
508:
509: <with|font-series|bold|\<#66F8\>\<#304D\>\<#63DB\>\<#3048\>\<#95A2\>\<#6570\>>
1.1 noro 510:
511: <\itemize>
512: <item><with|font-family|tt|nqt_match>(<with|mode|math|E*x*p*r>,<with|mode|math|P*a*t*t*e*n>[,<with|mode|math|M*o*d*e>])
513:
514: <QT> \<#5F0F\> <with|mode|math|E*x*p*r>
515: \<#3068\>\<#30D1\>\<#30BF\>\<#30FC\>\<#30F3\>
516: <with|mode|math|P*a*t*t*e*r*n> \<#304C\>\<#30DE\>\<#30C3\>\<#30C1\>\<#3057\>\<#305F\>\<#3089\>
517: 1 \<#3092\>\<#8FD4\>\<#3059\>. \<#3055\>\<#3089\>\<#306B\>,
518: <with|mode|math|P*a*t*t*e*r*n> \<#4E2D\>\<#306B\>\<#542B\>\<#307E\>\<#308C\>\<#308B\>\<#30D7\>\<#30ED\>\<#30B0\>\<#30E9\>\<#30E0\>\<#5909\>\<#6570\>\<#306B\>\<#30DE\>\<#30C3\>\<#30C1\>\<#3057\>\<#305F\>\<#5024\>\<#304C\>\<#5B9F\>\<#969B\>\<#306B\>\<#4EE3\>\<#5165\>\<#3055\>\<#308C\>\<#308B\>.
519:
520: <item><with|font-family|tt|nqt_match_rewrite>(<with|mode|math|E*x*p*r>,<with|mode|math|R*u*l*e>,<with|mode|math|M*o*d*e>)
521:
1.3 noro 522: <with|mode|math|R*u*l*e> : [<with|mode|math|P*a*t*t*e*r*n>,<with|mode|math|A*c*t*i*o*n>]
523: or [<with|mode|math|P*a*t*t*e*r*n>,<with|mode|math|C*o*n*d*i*t*i*o*n>,<with|mode|math|A*c*t*i*o*n>]
524:
1.1 noro 525: <with|mode|math|E*x*p*r> \<#304C\> <with|mode|math|P*a*t*t*e*r*n>
526: \<#306B\>\<#30DE\>\<#30C3\>\<#30C1\>\<#3057\>\<#305F\>\<#3089\>,
1.4 ! noro 527: <with|mode|math|A*c*t*i*o*n> \<#304C\>\<#8A55\>\<#4FA1\>\<#3055\>\<#308C\>,\<#305D\>\<#306E\>\<#5024\>\<#304C\>\<#8FD4\>\<#308B\>.
1.3 noro 528:
529: <with|mode|math|A*c*t*i*o*n> \<#4E2D\>\<#306E\>\<#30D1\>\<#30BF\>\<#30FC\>\<#30F3\>\<#5909\>\<#6570\>\<#306F\>\<#5024\>\<#306B\>\<#7F6E\>\<#304D\>\<#63DB\>\<#3048\>\<#3089\>\<#308C\>\<#308B\>.
530:
531: \<#30DE\>\<#30C3\>\<#30C1\>\<#3057\>\<#306A\>\<#3044\>\<#5834\>\<#5408\>\<#306B\>\<#306F\>
1.4 ! noro 532: <with|mode|math|E*x*p*r> \<#305D\>\<#306E\>\<#3082\>\<#306E\>\<#304C\>\<#8FD4\>\<#3055\>\<#308C\>\<#308B\>.<next-line><next-line><next-line>
1.3 noro 533:
1.4 ! noro 534: <page-break*><item><with|font-family|tt|qt_rewrite>(<with|mode|math|E*x*p*r>,<with|mode|math|R*u*l*e*s>,<with|mode|math|M*o*d*e>)
1.3 noro 535:
536: \<#30E6\>\<#30FC\>\<#30B6\>\<#95A2\>\<#6570\>\<#3068\>\<#3057\>\<#3066\>\<#8A18\>\<#8FF0\>\<#3057\>\<#305F\>,
537: \<#518D\>\<#5E30\>\<#547C\>\<#3073\>\<#51FA\>\<#3057\>\<#306B\>\<#3088\>\<#308B\>\<#66F8\>\<#304D\>\<#63DB\>\<#3048\>\<#95A2\>\<#6570\>.
538: <with|mode|math|R*u*l*e*s> \<#306F\> \<#66F8\>\<#304D\>\<#63DB\>\<#3048\>\<#898F\>\<#5247\>\<#306E\>\<#30EA\>\<#30B9\>\<#30C8\>.
1.1 noro 539: </itemize>
540:
541: <\example>
542: <\verbatim>
543: \;
544:
545: <with|prog-language|openxm|prog-session|default|<\session>
546: <\folded>
547: \<#30DE\>\<#30C3\>\<#30C1\>\<#3057\>\<#305F\>\<#5024\>\<#3092\>\<#5909\>\<#6570\>\<#306B\>\<#4EE3\>\<#5165\>
548: <|folded>
549: <\input|openxm] >
550: nqt_match(`x*y*z-3*u,`X*Y+Z)
551: </input>
552:
553: <\output>
1.4 ! noro 554: <with|mode|math|>
1.1 noro 555: </output>
556:
557: <\input|openxm] >
558: [X,Y,Z]
559: </input>
560:
1.4 ! noro 561: \;
1.1 noro 562:
1.4 ! noro 563: \;
1.1 noro 564: </folded>
565: </session>>
566:
567: <with|prog-language|openxm|prog-session|default|<\session>
568: <\folded>
569: \<#30DE\>\<#30C3\>\<#30C1\>\<#3057\>\<#305F\>\<#3089\>\<#5373\>\<#66F8\>\<#304D\>\<#63DB\>\<#3048\>
570: <|folded>
571: <\input|openxm] >
572: nqt_match_rewrite(`x*y*z,[`X*Y,`X+Y],1)
573: </input>
574:
575: <\output>
1.4 ! noro 576: <with|mode|math|>
1.1 noro 577: </output>
578:
579: <\input|openxm] >
580: \;
581: </input>
582: </folded>
583: </session>>
584: </verbatim>
585: </example>
586:
1.4 ! noro 587: \;
! 588:
! 589: \;
! 590:
! 591: \;
! 592:
! 593: \;
! 594:
! 595: \;
! 596:
! 597: <page-break*>
! 598:
1.3 noro 599: <\itemize>
1.4 ! noro 600: \;
1.3 noro 601:
1.4 ! noro 602: <item>\<#6A19\>\<#6E96\>\<#5316\>\<#3057\>\<#3066\>\<#304B\>\<#3089\>\<#30DE\>\<#30C3\>\<#30C1\>\<#30F3\>\<#30B0\>
! 603:
! 604: <with|mode|math|M*o*d*e>\<#306B\>\<#3088\>\<#308A\>\<#5C55\>\<#958B\>\<#65B9\>\<#6CD5\>\<#3092\>\<#6307\>\<#5B9A\>
1.3 noro 605:
606: <item>\<#6700\>\<#521D\>\<#306B\>\<#30DE\>\<#30C3\>\<#30C1\>\<#3057\>\<#305F\>\<#6642\>\<#70B9\>\<#306E\>\<#60C5\>\<#5831\>\<#304C\>\<#8FD4\>\<#3055\>\<#308C\>\<#308B\>
607:
1.4 ! noro 608: \<#307E\>\<#3060\>\<#4E0D\>\<#5B8C\>\<#5168\>
1.3 noro 609:
610: <item><with|mode|math|C*o*n*d*i*t*i*o*n> \<#304A\>\<#3088\>\<#3073\>
611: <with|mode|math|A*c*t*i*o*n> \<#4E2D\>\<#306E\>\<#95A2\>\<#6570\>\<#547C\>\<#3073\>\<#51FA\>\<#3057\>
612:
1.4 ! noro 613: \<#8907\>\<#96D1\>\<#306A\>\<#66F8\>\<#304D\>\<#63DB\>\<#3048\>\<#898F\>\<#5247\>\<#3092\>\<#66F8\>\<#304F\>\<#3053\>\<#3068\>\<#304C\>\<#3067\>\<#304D\>\<#308B\>.<next-line>\<#66F8\>\<#304D\>\<#63DB\>\<#3048\>\<#898F\>\<#5247\>\<#306E\>\<#6570\>\<#3092\>\<#5C11\>\<#306A\>\<#304F\>\<#62BC\>\<#3048\>\<#308B\>\<#3053\>\<#3068\>\<#304C\>\<#3067\>\<#304D\>\<#308B\>.
1.3 noro 614:
615: <item>\<#578B\>\<#5224\>\<#5B9A\>
616:
617: <with|mode|math|C*o*n*d*i*t*i*o*n> \<#306B\>\<#304A\>\<#3044\>\<#3066\>\<#578B\>\<#5224\>\<#5B9A\>\<#3092\>\<#884C\>\<#3046\>\<#3053\>\<#3068\>\<#306B\>\<#306A\>\<#308B\>.
618: </itemize>
1.1 noro 619:
620: <\example>
621: [<with|mode|math|s*l<rsub|2>>\<#306E\>\<#5C55\>\<#958B\>\<#74B0\>]\
622:
623: <\verbatim>
624: <with|prog-language|openxm|prog-session|default|<\session>
625: <\folded>
626: \<#57FA\>\<#672C\>\<#95A2\>\<#4FC2\>\<#5F0F\>\<#306B\>\<#3088\>\<#308B\>\<#66F8\>\<#304D\>\<#63DB\>\<#3048\>
627: <|folded>
628: <\input|openxm] >
629: Rsl=[[`h*e,`e*h+2*e],[`h*f,`f*h-2*f],[`e*f,`f*e+h]]$
630: </input>
631:
632: <\input|openxm] >
633: load("new_rewrite.rr")$
634: </input>
635:
636: <\input|openxm] >
637: qt_rewrite(`e*f^2,Rsl,2)
638: </input>
639:
640: <\output>
1.4 ! noro 641: <with|mode|math|>
1.1 noro 642: </output>
643:
644: <\input|openxm] >
645: qt_rewrite(`h*e^3,Rsl,2)
646: </input>
647:
648: <\output>
1.4 ! noro 649: <with|mode|math|>
1.1 noro 650: </output>
651:
652: <\input|openxm] >
653: \;
654: </input>
655: </folded>
656: </session>>
657: </verbatim>
658: </example>
659:
1.4 ! noro 660: \;
! 661:
! 662: \;
! 663:
! 664: <section|<page-break*><FN> \<#306E\>\<#9806\>\<#5E8F\>\<#3065\>\<#3051\>>
1.1 noro 665:
1.3 noro 666: <\with|font-series|bold>
667: \<#4ECA\>\<#56DE\>\<#306E\>\<#5B9F\>\<#88C5\>\<#306E\>\<#76EE\>\<#7684\>
668: </with>
669:
1.4 ! noro 670: \<#30E6\>\<#30FC\>\<#30B6\>\<#304C\>\<#6C17\>\<#8EFD\>\<#306B\>\<#66F8\>\<#304D\>\<#63DB\>\<#3048\>\<#898F\>\<#5247\>\<#3092\>\<#4E0E\>\<#3048\>\<#3066\>,\<#4E00\>\<#822C\>\<#306B\>\<#975E\>\<#53EF\>\<#63DB\>\<#306A\>\<#4EE3\>\<#6570\>\<#306B\>\<#304A\>\<#3051\>\<#308B\>\<#8A08\>\<#7B97\>\<#3092\>\<#6C17\>\<#8EFD\>\<#306B\>\<#8A66\>\<#305B\>\<#308B\>\<#3088\>\<#3046\>\<#306A\>\<#74B0\>\<#5883\>\<#3092\>\<#4F5C\>\<#308B\>\<#3053\>\<#3068\>
1.3 noro 671:
672: <\with|font-series|bold>
673: \<#7121\>\<#9650\>\<#30EB\>\<#30FC\>\<#30D7\>\<#306B\>\<#9665\>\<#3089\>\<#306A\>\<#3044\>\<#3088\>\<#3046\>\<#306A\>\<#5B9F\>\<#7528\>\<#7684\>\<#306A\>\<#6307\>\<#91DD\>
674: </with>
675:
1.1 noro 676: <FN> \<#306B\>\<#5BFE\>\<#3059\>\<#308B\>\<#9806\>\<#5E8F\>\<#3065\>\<#3051\>\<#304A\>\<#3088\>\<#3073\>
677: weight \<#306E\>\<#4F7F\>\<#7528\>\<#3092\>\<#63D0\>\<#6848\>\<#3059\>\<#308B\>.
1.3 noro 678:
679: \<#591A\>\<#9805\>\<#5F0F\>\<#74B0\>\<#3084\>\<#5FAE\>\<#5206\>\<#4F5C\>\<#7528\>\<#7D20\>\<#74B0\>\<#3067\>\<#7528\>\<#3044\>\<#3089\>\<#308C\>\<#308B\>
1.4 ! noro 680: weight \<#30D9\>\<#30AF\>\<#30C8\>\<#30EB\>\<#306E\>\<#8003\>\<#3048\>\<#65B9\>\<#306E\>\<#81EA\>\<#7136\>\<#306A\>\<#4E00\>\<#822C\>\<#5316\>\<#3067\>\<#3042\>\<#308A\>,
1.1 noro 681: \<#7406\>\<#8AD6\>\<#7684\>\<#306B\>\<#3082\>\<#8208\>\<#5473\>\<#6DF1\>\<#3044\>.
682:
1.4 ! noro 683: \;
! 684:
! 685: \;
! 686:
! 687: \;
! 688:
! 689: \;
! 690:
! 691: \;
! 692:
! 693: \;
! 694:
1.3 noro 695: <\with|font-series|bold>
1.4 ! noro 696: <page-break*>\<#4F8B\> --- \<#53EF\>\<#63DB\>\<#6027\>\<#306E\>\<#5B9A\>\<#7FA9\>
1.3 noro 697: </with>
698:
1.1 noro 699: \<#6570\>\<#5B66\>\<#7684\>\<#306B\>\<#306F\>, \<#4EFB\>\<#610F\>\<#306E\>
1.3 noro 700: <with|mode|math|X>, <with|mode|math|Y> \<#306B\>\<#5BFE\>\<#3057\>
701: <with|mode|math|X*Y=Y*X> \<#3067\>\<#3088\>\<#3044\>
702:
703: <with|mode|math|\<Rightarrow\>> <with|mode|math|[`X\<ast\>Y,`Y\<ast\>X]>
704: \<#3068\>\<#3044\>\<#3046\>\<#66F8\>\<#304D\>\<#63DB\>\<#3048\>\<#898F\>\<#5247\>\<#3092\>\<#66F8\>\<#304F\>\<#3068\>\<#505C\>\<#6B62\>\<#3057\>\<#306A\>\<#3044\>.
705:
706: <\with|font-series|bold>
707: \<#6700\>\<#3082\>\<#5B89\>\<#76F4\>\<#306A\>\<#89E3\>\<#6C7A\>\<#65B9\>\<#6CD5\>
708: </with>
709:
1.4 ! noro 710: <FN> \<#9593\>\<#306B\>\<#5168\>\<#9806\>\<#5E8F\>\<#3092\>\<#5165\>\<#308C\>\<#3066\>,\<#66F8\>\<#304D\>\<#63DB\>\<#3048\>\<#305F\>\<#5834\>\<#5408\>\<#306B\>\<#9806\>\<#5E8F\>\<#304C\>\<#5927\>\<#304D\>\<#304F\>(\<#5C0F\>\<#3055\>\<#304F\>)\<#306A\>\<#308B\>\<#5834\>\<#5408\>\<#306B\>\<#306E\>\<#307F\>\<#66F8\>\<#304D\>\<#63DB\>\<#3048\>\<#3092\>\<#884C\>\<#3046\>
1.3 noro 711:
712: \<#7A4D\>\<#3092\>\<#69CB\>\<#6210\>\<#3059\>\<#308B\>\<#6709\>\<#9650\>\<#500B\>\<#306E\>
713: <FN> \<#306E\>\<#4E26\>\<#3079\>\<#5909\>\<#3048\>\<#306E\>\<#4E2D\>\<#3067\>\<#6700\>\<#3082\>\<#9806\>\<#5E8F\>\<#304C\>\<#4E0A\>(\<#4E0B\>)\<#306E\>\<#3082\>\<#306E\>\<#306B\>\<#5230\>\<#9054\>\<#3059\>\<#308B\>\<#3068\>\<#505C\>\<#6B62\>\<#3059\>\<#308B\>.
1.1 noro 714:
1.4 ! noro 715: <\example>
! 716: [\<#53EF\>\<#63DB\>\<#6027\>]\
! 717:
! 718: <\verbatim>
! 719: <with|prog-language|openxm|prog-session|default|<\session>
! 720: <\folded>
! 721: \<#6BD4\>\<#8F03\>\<#95A2\>\<#6570\>\<#306B\>\<#3088\>\<#308B\>\<#6C4E\>\<#7528\>\<#66F8\>\<#304D\>\<#63DB\>\<#3048\>\<#898F\>\<#5247\>\<#306E\>\<#5B9A\>\<#7FA9\>
! 722: <|folded>
! 723: <\input|openxm] >
! 724: qt_normalize(`(x+y-z)^2,1)
! 725: </input>
! 726:
! 727: <\output>
! 728: <with|mode|math|>
! 729: </output>
! 730:
! 731: <\input|openxm] >
! 732: Rcomm=[[`X*Y,`nqt_comp(Y*X,X*Y)\<gtr\>0,`Y*X]]$
! 733: </input>
! 734:
! 735: <\input|openxm] >
! 736: load("new_rewrite.rr")$
! 737: </input>
! 738:
! 739: <\input|openxm] >
! 740: qt_rewrite(`(x+y-z)^2,Rcomm,1)
! 741: </input>
! 742:
! 743: <\output>
! 744: <with|mode|math|>
! 745: </output>
! 746:
! 747: <\input|openxm] >
! 748: \;
! 749: </input>
! 750: </folded>
! 751: </session>>
! 752: </verbatim>
! 753:
! 754: <with|font-family|tt|nqt_comp()> \<#306F\>\<#6BD4\>\<#8F03\>\<#95A2\>\<#6570\>\<#3067\>\<#3042\>\<#308B\>.
! 755: </example>
! 756:
! 757: \;
! 758:
! 759: \;
! 760:
! 761: \;
! 762:
! 763: \;
! 764:
! 765: \;
! 766:
! 767: <subsection|<page-break*><FN> \<#306E\>
! 768: weight\<#3068\>\<#66F8\>\<#304D\>\<#63DB\>\<#3048\>>
1.1 noro 769:
770: \<#4E00\>\<#822C\>\<#306B\> <FN> <with|mode|math|f> \<#306E\> weight
771: <with|mode|math|w(f)> \<#3092\>
772:
773: <\enumerate>
774: <item><with|mode|math|f> \<#304C\> leaf \<#306E\>\<#5834\>\<#5408\>,
775: \<#9069\>\<#5F53\>\<#306A\>\<#5024\>\<#3092\>\<#4E0E\>\<#3048\>\<#308B\>.
776: \<#7279\>\<#306B\>\<#4FC2\>\<#6570\>\<#306E\> weight \<#306F\> 0.
777:
778: <item><with|mode|math|f> \<#304C\> node \<#306E\>\<#5834\>\<#5408\>,
779: <with|mode|math|f> \<#306E\>\<#5B50\>\<#306E\> weight
780: \<#5024\>\<#3092\>\<#5F15\>\<#6570\>\<#3068\>\<#3057\>,
781: \<#8B58\>\<#5225\>\<#5B50\>\<#3067\>\<#6C7A\>\<#3081\>\<#3089\>\<#308C\>\<#305F\>\<#95A2\>\<#6570\>\<#3092\>\<#8A08\>\<#7B97\>\<#3057\>\<#3066\>\<#305D\>\<#306E\>\<#5024\>\<#3092\>\<#3068\>\<#308B\>.
782: </enumerate>
783:
784: \<#306B\>\<#3088\>\<#308A\>\<#518D\>\<#5E30\>\<#7684\>\<#306B\>\<#6C7A\>\<#3081\>\<#308B\>\<#3053\>\<#3068\>\<#304C\>\<#3067\>\<#304D\>\<#308B\>.
785: \<#548C\>\<#306B\>\<#5BFE\>\<#3057\>\<#3066\>\<#306F\>
786: <with|mode|math|max()>, \<#7A4D\>\<#306B\>\<#5BFE\>\<#3057\>\<#3066\>\<#306F\>\<#548C\>,
787: \<#30D9\>\<#30AD\>\<#306B\>\<#5BFE\>\<#3057\>\<#3066\>\<#306F\>\<#7A4D\>\<#3092\>\<#7528\>\<#3044\>\<#308B\>\<#3068\>,
788: \<#6B21\>\<#306E\>\<#3088\>\<#3046\>\<#306B\>\<#306A\>\<#308B\>.
789:
790: <\enumerate>
791: <item><with|mode|math|w(f+g)=max(w(f),w(g))>
792:
793: <item><with|mode|math|w(f*g)=w(f)+w(g)>
794:
795: <item><with|mode|math|w(f<rsup|n>)=n*w(f)>
796: </enumerate>
797:
1.4 ! noro 798: \<#3053\>\<#306E\>\<#3088\>\<#3046\>\<#306A\> weight
! 799: \<#3092\>\<#6709\>\<#9650\>\<#751F\>\<#6210\>\<#306E\>\<#81EA\>\<#7531\>\<#7D50\>\<#5408\>\<#4EE3\>\<#6570\>\<#306B\>\<#5BFE\>\<#3059\>\<#308B\>\<#66F8\>\<#304D\>\<#63DB\>\<#3048\>\<#306B\>\<#5FDC\>\<#7528\>\<#3059\>\<#308B\>.
1.1 noro 800:
1.4 ! noro 801: \;
! 802:
! 803: \;
! 804:
! 805: <page-break*>\<#4FC2\>\<#6570\>\<#74B0\>\<#3092\> <with|mode|math|K>
1.1 noro 806: \<#306E\>\<#4E0A\>\<#3067\> <with|mode|math|z<rsub|1>,\<ldots\>,z<rsub|n>,h>
807: \<#3067\>\<#751F\>\<#6210\>\<#3055\>\<#308C\>\<#308B\>\<#81EA\>\<#7531\>\<#7D50\>\<#5408\>\<#4EE3\>\<#6570\>
808: <with|mode|math|A> \<#3092\>
809:
810: <\equation*>
811: K\<langle\>z<rsub|1>,\<ldots\>,z<rsub|n>,h\<rangle\>
812: </equation*>
813:
814: <\definition>
815: <\with|font-family|rm>
816: <with|mode|math|A> \<#3067\>\<#306E\>\<#66F8\>\<#304D\>\<#63DB\>\<#3048\>\<#898F\>\<#5247\>(\<#307E\>\<#305F\>\<#306F\>\<#95A2\>\<#4FC2\>\<#5F0F\>,
817: \<#5DE6\>\<#8FBA\>\<#306F\>\<#5FC5\>\<#305A\>\<#5358\>\<#9805\>\<#5F0F\>)
818: </with>
819:
820: <\equation*>
821: L<rsub|1>\<rightarrow\>R<rsub|1>,\<ldots\>,L<rsub|m>\<rightarrow\>R<rsub|m>
822: </equation*>
823:
824: \<#304C\>, \<#540C\>\<#6B21\>\<#5316\> weight
825: \<#30D9\>\<#30AF\>\<#30C8\>\<#30EB\> <with|mode|math|H>
826: \<#306B\>\<#3064\>\<#3044\>\<#3066\>,
827: \<#540C\>\<#6B21\>\<#7684\>\<#66F8\>\<#304D\>\<#63DB\>\<#3048\>\<#898F\>\<#5247\>\<#3067\>\<#3042\>\<#308B\>\<#3068\>\<#306F\>,
828: <with|mode|math|R<rsub|i>> \<#304C\> <with|mode|math|0>
829: \<#3067\>\<#3042\>\<#308B\>\<#304B\>\<#307E\>\<#305F\>\<#306F\>,
830:
831: <\equation*>
832: <with|mode|text|font-family|rm|deg><rsub|H>(L<rsub|i>)=<with|mode|text|font-family|rm|deg><rsub|H>(R<rsub|i><with|mode|text|\<#306E\>\<#4EFB\>\<#610F\>\<#306E\>\<#9805\>>)
833: </equation*>
834:
835: \<#304C\>\<#6210\>\<#7ACB\>\<#3059\>\<#308B\>\<#3053\>\<#3068\>\<#3067\>\<#3042\>\<#308B\>.
836: </definition>
837:
838: \<#3053\>\<#3053\>\<#3067\> <with|mode|math|<with|mode|text|font-family|rm|deg><rsub|H>(<big|prod>z<rsub|i><rsup|e<rsub|i>>)>
839: \<#306F\> <with|mode|math|<big|prod>z<rsub|i><rsup|e<rsub|i>>> \<#306E\>
1.4 ! noro 840: weight <with|mode|math|H> \<#306B\>\<#3064\>\<#3044\>\<#3066\>\<#306E\>\<#6B21\>\<#6570\>\<#3067\>\<#3042\>\<#308B\>.
1.1 noro 841:
1.4 ! noro 842: \;
1.1 noro 843:
1.4 ! noro 844: <page-break*>
1.1 noro 845:
846: <\example>
847: <\equation*>
848: z<rsub|2>z<rsub|1>\<rightarrow\>z<rsub|1>z<rsub|2>+h<rsup|2>,h*z<rsub|i>\<rightarrow\>z<rsub|i>h
849: </equation*>
850:
1.4 ! noro 851: \<#306F\> <with|mode|math|H=(1,1,1)> \<#306B\>\<#3064\>\<#3044\>\<#3066\>\<#306E\>\<#540C\>\<#6B21\>\<#7684\>\<#66F8\>\<#304D\>\<#63DB\>\<#3048\>\<#898F\>\<#5247\>.
! 852: (1 \<#5909\>\<#6570\>\<#306E\>\<#540C\>\<#6B21\>\<#5316\> Weyl
! 853: \<#4EE3\>\<#6570\>)
1.1 noro 854: </example>
855:
1.4 ! noro 856: \;
! 857:
1.3 noro 858: <\with|font-series|bold>
859: \<#4EEE\>\<#5B9A\>
860: </with>
861:
862: <\itemize>
863: <item><with|mode|math|H> \<#306E\>\<#3059\>\<#3079\>\<#3066\>\<#306E\>\<#6210\>\<#5206\>\<#306F\>\<#6B63\>
864:
865: <item><with|mode|math|x<rsub|1>,\<ldots\>,x<rsub|n>,h>
866: \<#304B\>\<#3089\>\<#306A\>\<#308B\>\<#30EF\>\<#30FC\>\<#30C9\>\<#306B\>\<#5BFE\>\<#3059\>\<#308B\>
867: well order <with|mode|math|\<succ\>> \<#3092\>\<#3072\>\<#3068\>\<#3064\>\<#56FA\>\<#5B9A\>
868:
869: <item>\<#51FA\>\<#73FE\>\<#3059\>\<#308B\>\<#66F8\>\<#304D\>\<#63DB\>\<#3048\>\<#898F\>\<#5247\>\<#306F\>\<#3068\>\<#304F\>\<#306B\>\<#3053\>\<#3068\>\<#308F\>\<#3089\>\<#306A\>\<#3044\>\<#9650\>\<#308A\>\<#5168\>\<#3066\><with|mode|math|H>
870: \<#306B\>\<#3064\>\<#3044\>\<#3066\>\<#540C\>\<#6B21\>\<#7684\>\<#66F8\>\<#304D\>\<#63DB\>\<#3048\>\<#898F\>\<#5247\>
871: </itemize>
1.1 noro 872:
1.4 ! noro 873: \;
1.1 noro 874:
1.4 ! noro 875: \;
1.1 noro 876:
1.4 ! noro 877: \;
1.1 noro 878:
1.4 ! noro 879: <page-break*>
1.1 noro 880:
881: <\definition>
882: <\with|font-family|rm>
883: <with|mode|math|n> \<#6B21\>\<#5143\>\<#306E\> weight
884: \<#30D9\>\<#30AF\>\<#30C8\>\<#30EB\>
885: <with|mode|math|w\<in\><with|font-series|bold|R><rsup|n>>
886: \<#304C\>\<#540C\>\<#6B21\>\<#7684\>\<#66F8\>\<#304D\>\<#63DB\>\<#3048\>\<#898F\>\<#5247\>
887: <with|mode|math|{L<rsub|i>\<rightarrow\>R<rsub|i>}>
888: \<#304A\>\<#3088\>\<#3073\> <with|mode|math|\<succ\>>
889: \<#306B\>\<#3064\>\<#3044\>\<#3066\> \<#6709\>\<#52B9\> weight
890: \<#30D9\>\<#30AF\>\<#30C8\>\<#30EB\>(admissible weight vector)
1.4 ! noro 891: \<#3067\>\<#3042\>\<#308B\>\<#3068\>\<#306F\>\<#6B21\>\<#306E\>\<#6761\>\<#4EF6\>\<#3092\>\<#307F\>\<#305F\>\<#3059\>\<#3053\>\<#3068\>\<#3067\>\<#3042\>\<#308B\>.\
! 892:
! 893: <with|mode|math|h> \<#306B\>\<#5BFE\>\<#3059\>\<#308B\> weight
! 894: \<#3092\> 0 \<#3068\>\<#3057\>\<#305F\> weight \<#3092\>
! 895: <with|mode|math|deg<rsub|w>><with|mode|math|(f)>\<#3068\>\<#66F8\>\<#304F\>.
1.1 noro 896: </with>
897:
898: <\enumerate>
1.4 ! noro 899: <item><with|mode|math|<with|mode|text|font-family|rm|deg><rsub|w>(L<rsub|i>)\<geq\><with|mode|text|font-family|rm|deg><rsub|w>(R<rsub|i>)>
! 900: \ \ (<with|mode|math|h> \<#3092\>\<#5FD8\>\<#308C\>\<#305F\>weight\<#304C\>\<#975E\>\<#5897\>\<#52A0\>)
1.1 noro 901:
1.4 ! noro 902: <item>\<#53F3\>\<#8FBA\>\<#3067\>, \<#5DE6\>\<#8FBA\>\<#3068\>\<#540C\>\<#3058\>
! 903: <with|mode|math|w>-weight \<#3092\>\<#6301\>\<#3064\>\<#9805\>\<#305F\>\<#3061\>\<#306F\>\<#9806\>\<#5E8F\>
1.1 noro 904: <with|mode|math|\<succ\>> \<#3067\>\<#304B\>\<#306A\>\<#3089\>\<#305A\>\<#5C0F\>\<#3055\>\<#3044\>.
905: </enumerate>
906: </definition>
907:
1.4 ! noro 908: \<#66F8\>\<#304D\>\<#63DB\>\<#3048\>\<#898F\>\<#5247\>\<#304C\>\<#540C\>\<#6B21\>\<#7684\><with|mode|math|\<Rightarrow\>>\<#66F8\>\<#304D\>\<#63DB\>\<#3048\>\<#304C\>\<#505C\>\<#6B62\>\<#6027\>\<#3092\>\<#6301\>\<#3064\>.
! 909:
! 910: <\proposition>
! 911: G-algebra <cite|LEV> \<#306E\>\<#6761\>\<#4EF6\>\<#306E\>\<#3046\>\<#3061\>,
! 912: well order \<#306E\>\<#5B58\>\<#5728\>\<#6761\>\<#4EF6\>\<#3092\>\<#4EEE\>\<#5B9A\>\<#3057\>\<#306A\>\<#304F\>\<#3066\>\<#3082\>,
! 913: \<#9069\>\<#5F53\>\<#306A\>\<#540C\>\<#6B21\>\<#5316\>weight\<#30D9\>\<#30AF\>\<#30C8\>\<#30EB\>,
! 914: \<#6709\>\<#52B9\> weight \<#30D9\>\<#30AF\>\<#30C8\>\<#30EB\>\<#304C\>\<#5B58\>\<#5728\>\<#3059\>\<#308B\>\<#306A\>\<#3089\>\<#3070\>,
! 915: <with|mode|math|h> \<#3092\>\<#52A0\>\<#3048\>\<#308B\>\<#6589\>\<#6B21\>\<#5316\>,
! 916: <with|mode|math|h> \<#3092\> <with|mode|math|1>
! 917: \<#3068\>\<#304A\>\<#304F\>\<#3053\>\<#3068\>\<#306B\>\<#3088\>\<#308B\>\<#975E\>\<#6589\>\<#6B21\>\<#5316\>\<#306B\>\<#3088\>\<#308A\>,
! 918: \<#30B0\>\<#30EC\>\<#30D6\>\<#30CA\>\<#30FC\>\<#57FA\>\<#5E95\>\<#3092\>\<#8A08\>\<#7B97\>\<#3067\>\<#304D\>\<#308B\>\<#3088\>\<#3046\>\<#306B\>\<#306A\>\<#308B\>.\
! 919:
! 920: (\<#6CE8\>\<#610F\> : \<#307E\>\<#3060\>\<#5B8C\>\<#5168\>\<#306A\>\<#8A3C\>\<#660E\>\<#306F\>\<#3064\>\<#3051\>\<#3066\>\<#3044\>\<#307E\>\<#305B\>\<#3093\>.)
! 921: </proposition>
! 922:
! 923: \;
1.1 noro 924:
1.3 noro 925: <\with|font-series|bold>
1.4 ! noro 926: <page-break*>\<#5FDC\>\<#7528\>\<#306B\>\<#304A\>\<#3051\>\<#308B\>\<#6CE8\>\<#610F\>
1.3 noro 927: </with>
928:
1.1 noro 929: \<#4E0E\>\<#3048\>\<#3089\>\<#308C\>\<#305F\>\<#66F8\>\<#304D\>\<#63DB\>\<#3048\>\<#898F\>\<#5247\>\<#306B\>\<#5BFE\>\<#3057\>,
930: \<#6709\>\<#52B9\> weight \<#30D9\>\<#30AF\>\<#30C8\>\<#30EB\>
931: <with|mode|math|w> \<#3092\>\<#898B\>\<#3064\>\<#3051\>\<#308B\>\<#5FC5\>\<#8981\>\<#304C\>\<#3042\>\<#308B\>.
1.3 noro 932:
933: <\with|font-series|bold>
934: \<#4F8B\> --- \<#4E00\>\<#5909\>\<#6570\>\<#30EF\>\<#30A4\>\<#30EB\>\<#4EE3\>\<#6570\>
935: </with>
936:
1.1 noro 937: <with|mode|math|w<rsub|1>+w<rsub|2>\<geq\>0>
938: \<#306E\>\<#6761\>\<#4EF6\>\<#3092\>\<#307F\>\<#305F\>\<#3055\>\<#306A\>\<#3044\>\<#3068\>
939: \<#6709\>\<#52B9\> weight \<#30D9\>\<#30AF\>\<#30C8\>\<#30EB\>\<#3068\>\<#306A\>\<#3089\>\<#306A\>\<#3044\>.
1.3 noro 940:
941: <with|mode|math|\<Rightarrow\>> \<#540C\>\<#6642\>\<#5316\> weight
1.4 ! noro 942: \<#30D9\>\<#30AF\>\<#30C8\>\<#30EB\>\<#3092\>\<#7528\>\<#3044\>\<#3066\>\<#66F8\>\<#304D\>\<#63DB\>\<#3048\>\<#898F\>\<#5247\>\<#306E\>\<#53F3\>\<#8FBA\>\<#3092\>\<#6589\>\<#6B21\>\<#5316\>\<#3059\>\<#308C\>\<#3070\>,
! 943: \<#540C\>\<#6B21\>\<#7684\>\<#66F8\>\<#304D\>\<#63DB\>\<#3048\>\<#898F\>\<#5247\>\<#304C\>\<#5F97\>\<#3089\>\<#308C\>\<#308B\>.
1.1 noro 944:
1.3 noro 945: <\with|font-series|bold>
946: \<#73FE\>\<#5728\>\<#306E\>\<#5B9F\>\<#88C5\>
947: </with>
948:
949: <\itemize>
950: <item>weight \<#30D9\>\<#30AF\>\<#30C8\>\<#30EB\>\<#304C\>\<#8A2D\>\<#5B9A\>\<#3055\>\<#308C\>\<#306A\>\<#3044\>\<#9650\>\<#308A\>,
1.4 ! noro 951: weight \<#306B\>\<#3088\>\<#308B\>\<#6BD4\>\<#8F03\>\<#306F\>\<#884C\>\<#308F\>\<#306A\>\<#3044\>.
1.3 noro 952:
953: <item>\<#95A2\>\<#6570\> <with|font-family|tt|qt_set_weight()>
954: \<#306B\>\<#3088\>\<#308A\> \<#4E00\>\<#90E8\>\<#306E\>\<#4E0D\>\<#5B9A\>\<#5143\>\<#306B\>\<#5BFE\>\<#3057\>\<#3066\>
955: weight \<#304C\>\<#8A2D\>\<#5B9A\>\<#3055\>\<#308C\>\<#308B\>\<#3068\>,
956: \<#4ED6\>\<#306E\>\<#4E0D\>\<#5B9A\>\<#5143\>\<#306E\> weight
957: \<#306F\>\<#81EA\>\<#52D5\>\<#7684\>\<#306B\> 0
958: \<#3068\>\<#306A\>\<#308B\>.
959:
1.4 ! noro 960: <item>\<#3053\>\<#306E\> weight \<#3092\>\<#7528\>\<#3044\>\<#305F\>\<#6B21\>\<#6570\>\<#306E\>\<#6BD4\>\<#8F03\>
! 961: <with|mode|math|\<Rightarrow\>> \<#73FE\>\<#5728\>\<#8A2D\>\<#5B9A\>\<#3055\>\<#308C\>\<#3066\>\<#3044\>\<#308B\>\<#5358\>\<#9805\>\<#5F0F\>\<#9806\>\<#5E8F\>\<#3067\>\<#6BD4\>\<#8F03\>.
1.3 noro 962: </itemize>
1.1 noro 963:
1.4 ! noro 964: \;
! 965:
! 966: <page-break*>
! 967:
1.1 noro 968: <\example>
969: \;
970:
971: <with|prog-language|openxm|prog-session|default|<\session>
972: <\folded>
973: \<#8CA0\>\<#306E\>weight\<#3092\>\<#3082\>\<#3064\>weight\<#30D9\>\<#30AF\>\<#30C8\>\<#30EB\>\<#306B\>\<#3088\>\<#308B\>\<#66F8\>\<#304D\>\<#63DB\>\<#3048\>\<#306E\>\<#4F8B\>
974: <|folded>
975: <\input|openxm] >
1.4 ! noro 976: load("new_rewrite.rr")$ qt_set_ord([z1,z2,h])$
1.1 noro 977: </input>
978:
979: <\input|openxm] >
980: qt_set_weight([[z1,-1],[z2,1]])$
981: </input>
982:
983: <\input|openxm] >
984: Rule1=[[`h*z1,`z1*h], [`h*z2,`z2*h], [`z2*z1,`z1*z2+h^2]] $
985: </input>
986:
987: <\input|openxm] >
988: Rule2=[[`z2*z2,`0], [`z1*z2,`h^2]]$
989: </input>
990:
991: <\input|openxm] >
992: F=`z2^2*(h^2+z1^2)$
993: </input>
994:
995: <\input|openxm] >
996: qt_rewrite(F,Rule1,2)
997: </input>
998:
999: <\output>
1.4 ! noro 1000: <with|mode|math|>
1.1 noro 1001: </output>
1002:
1003: <\input|openxm] >
1004: \;
1005: </input>
1006: </folded>
1007: </session>>
1008: </example>
1009:
1010: <\remark>
1011: \<#6709\>\<#52B9\> weight \<#30D9\>\<#30AF\>\<#30C8\>\<#30EB\>\<#304C\>\<#8CA0\>\<#306E\>\<#6210\>\<#5206\>\<#3092\>\<#3082\>\<#3064\>\<#3068\>\<#975E\>\<#6589\>\<#6B21\>\<#5316\>\<#3057\>\<#305F\>\<#3042\>\<#3068\>\<#306E\>
1012: reduction \<#306E\>\<#505C\>\<#6B62\>\<#6027\>\<#306F\>\<#3044\>\<#3048\>\<#306A\>\<#3044\>.
1013: </remark>
1014:
1.4 ! noro 1015: \;
1.1 noro 1016:
1.4 ! noro 1017: \;
1.1 noro 1018:
1.4 ! noro 1019: \;
1.1 noro 1020:
1.4 ! noro 1021: \;
1.1 noro 1022:
1.4 ! noro 1023: \;
1.1 noro 1024:
1.4 ! noro 1025: \;
1.1 noro 1026:
1.4 ! noro 1027: \;
1.1 noro 1028:
1.4 ! noro 1029: <section|<page-break*>\<#66F8\>\<#304D\>\<#63DB\>\<#3048\>\<#898F\>\<#5247\>\<#306E\>\<#4F8B\>>
1.1 noro 1030:
1.4 ! noro 1031: \<#4EE5\>\<#4E0B\>\<#306B\>, \<#66F8\>\<#304D\>\<#63DB\>\<#3048\>\<#898F\>\<#5247\>\<#306E\>\<#4F8B\>\<#3092\>\<#3044\>\<#304F\>\<#3064\>\<#304B\>\<#7D39\>\<#4ECB\>\<#3059\>\<#308B\>.
1.1 noro 1032:
1033: <\example>
1034: [\<#5916\>\<#7A4D\>\<#4EE3\>\<#6570\>]\
1035:
1036: <\verbatim>
1037: <with|prog-language|openxm|prog-session|default|<\session>
1038: <\folded>
1039: \<#884C\>\<#5217\>\<#5F0F\>\<#306E\>\<#8A08\>\<#7B97\>
1040: <|folded>
1041: <\input|openxm] >
1042: Rext0=[`X*Y,`qt_is_var(X) && qt_is_var(Y) &&
1043: nqt_comp(Y,X)\<gtr\>0,`-Y*X]$
1044: </input>
1045:
1046: <\input|openxm] >
1047: Rext1=[`X^N,`eval_quote(N)\<gtr\>=2,`0]$
1048: </input>
1049:
1050: <\input|openxm] >
1051: Rext2=[`X*X,`0]$
1052: </input>
1053:
1054: <\input|openxm] >
1.4 ! noro 1055: Rext=[Rext0,Rext1]$
1.1 noro 1056: </input>
1057:
1058: <\input|openxm] >
1059: qt_set_coef([a,b,c])$
1060: </input>
1061:
1062: <\input|openxm] >
1063: qt_rewrite(`(a*x+b*y+c*z)*(b*x+c*y+a*z)*(c*x+a*y+b*z),Rext,1)
1064: </input>
1065:
1066: <\output>
1.4 ! noro 1067: <with|mode|math|>
1.1 noro 1068: </output>
1069:
1070: <\input|openxm] >
1071: \;
1072: </input>
1073: </folded>
1074: </session>>
1075: </verbatim>
1076:
1077: \ \<#5909\>\<#6570\>\<#306E\>\<#7A4D\>\<#3092\>\<#4EA4\>\<#4EE3\>\<#7684\>\<#306B\>\<#66F8\>\<#304D\>\<#63DB\>\<#3048\>\<#308B\>\<#898F\>\<#5247\>\<#3092\>\<#5B9A\>\<#7FA9\>\<#3057\>\<#3066\>\<#3044\>\<#308B\>.
1078: </example>
1079:
1.4 ! noro 1080: <with|prog-language|openxm|prog-session|default|<\session>
! 1081: <\folded>
! 1082: rdet() : \<#7A4D\>\<#3068\>\<#66F8\>\<#304D\>\<#63DB\>\<#3048\>\<#3092\>\<#4EA4\>\<#4E92\>\<#306B\>\<#884C\>\<#3046\>\<#884C\>\<#5217\>\<#5F0F\>\<#8A08\>\<#7B97\>
! 1083: <|folded>
! 1084: <\input|openxm] >
! 1085: load("new_rewrite.rr")$ load("rdet.rr")$
! 1086: </input>
! 1087:
! 1088: <\input|openxm] >
! 1089: A=van(7)
! 1090: </input>
! 1091:
! 1092: <\input|openxm] >
! 1093: T0=time()$ det(A)$ time()[0]-T0[0]
! 1094: </input>
! 1095:
! 1096: <\output>
! 1097: <with|mode|math|>
! 1098: </output>
! 1099:
! 1100: <\input|openxm] >
! 1101: T0=time()$ rdet(A)$ time()[0]-T0[0]
! 1102: </input>
! 1103:
! 1104: <\output>
! 1105: <with|mode|math|>
! 1106: </output>
! 1107:
! 1108: <\input|openxm] >
! 1109: \;
! 1110: </input>
! 1111: </folded>
! 1112: </session>>
! 1113:
1.1 noro 1114: <\example>
1115: [\<#5FAE\>\<#5206\>]\
1116:
1117: <\verbatim>
1118: <with|prog-language|openxm|prog-session|default|<\session>
1119: <\folded>
1120: a \<#3092\>\<#5B9A\>\<#6570\>\<#3068\>\<#898B\>\<#306A\>\<#3059\>
1121: <|folded>
1122: <\input|openxm] >
1123: qt_set_coef([a])$
1124: </input>
1125:
1126: <\input|openxm] >
1127: Rd1=[`d(X+Y),`d(X)+d(Y)]$
1128: </input>
1129:
1130: <\input|openxm] >
1131: Rd2=[`d(X*Y),`d(X)*Y+X*d(Y)]$
1132: </input>
1133:
1134: <\input|openxm] >
1135: Rd3=[`d(N),`qt_is_coef(N),`0]$
1136: </input>
1137:
1138: <\input|openxm] >
1139: Rd=[Rd1,Rd2,Rd3]$
1140: </input>
1141:
1142: <\input|openxm] >
1143: qt_rewrite(`d((x+a*y)^2),Rd,1)
1144: </input>
1145:
1146: <\output>
1.4 ! noro 1147: <with|mode|math|>
1.1 noro 1148: </output>
1149:
1150: <\input|openxm] >
1151: \;
1152: </input>
1153: </folded>
1154: </session>>
1155: </verbatim>
1156: </example>
1157:
1.4 ! noro 1158: \;
! 1159:
! 1160: \;
! 1161:
! 1162: <page-break*>
! 1163:
1.1 noro 1164: <\example>
1165: [Weyl \<#4EE3\>\<#6570\>]
1166:
1167: <with|prog-language|openxm|prog-session|default|<\session>
1168: <\folded>
1169: Action \<#306B\>\<#30E6\>\<#30FC\>\<#30B6\>\<#5B9A\>\<#7FA9\>\<#95A2\>\<#6570\>\<#3092\>\<#547C\>\<#3073\>\<#51FA\>\<#3059\>\<#4F8B\>
1170: <|folded>
1171: <\input|openxm] >
1.4 ! noro 1172: load("weyl.rr")$ load("new_rewrite.rr")$
1.1 noro 1173: </input>
1174:
1175: <\input|openxm] >
1.3 noro 1176: qt_rewrite(`((x*dy+y*dx)^3),Rweyl,1)
1177: </input>
1178:
1179: <\output>
1.4 ! noro 1180: <with|mode|math|>
1.3 noro 1181: </output>
1182:
1183: <\input|openxm] >
1.4 ! noro 1184: quotetotex_env("dp_vars_hweyl",1)$
1.3 noro 1185: </input>
1186:
1187: <\input|openxm] >
1.4 ! noro 1188: A=\<less\>\<less\>0,1,1,0\<gtr\>\<gtr\>+\<less\>\<less\>1,0,0,1\<gtr\>\<gtr\>
1.3 noro 1189: </input>
1190:
1191: <\output>
1.4 ! noro 1192: \;
1.3 noro 1193: </output>
1194:
1195: <\input|openxm] >
1196: dp_weyl_mul(dp_weyl_mul(A,A),A)
1197: </input>
1198:
1199: <\output>
1.4 ! noro 1200: <with|mode|math|>
1.1 noro 1201: </output>
1202:
1203: <\input|openxm] >
1204: \;
1205: </input>
1206: </folded>
1207: </session>>
1208:
1209: <\verbatim>
1210: weyl.rr \<#306E\>\<#5185\>\<#5BB9\>
1211:
1212: def member(V,L) {
1213:
1214: \ \ for ( I = 0; L != [] && V != car(L); L = cdr(L), I++ );
1215:
1216: \ \ return L==[] ? -1 : I;
1217:
1218: }
1219:
1220: def qt_weyl_vmul(X,K,Y,L) {
1221:
1222: \ \ extern WeylV, WeylDV;
1223:
1224: \ \ if ( member(X,WeylV)<with|mode|math|\<gtr\>>= 0 \|\|
1225: member(Y,WeylDV) <with|mode|math|\<gtr\>>= 0 ) return Y^L*X^K;
1226:
1227: \ \ if ( WeylV[I=member(X,WeylDV)] != Y ) return Y^L*X^K;
1228:
1229: \ \ else {
1230:
1231: \ \ \ \ K = eval_quote(K); L = eval_quote(L); M =
1232: K<with|mode|math|\<gtr\>>L?L:K;
1233:
1234: \ \ \ \ for ( T = 1, I = 0; I <with|mode|math|\<less\>>= M; T =
1235: idiv(T*K*L,I+1), I++, L--, L-- \ )
1236:
1237: \ \ \ \ \ \ R += T*Y^L*X^K;
1238:
1239: \ \ \ \ return R;
1240:
1241: \ \ }
1242:
1243: }
1244:
1245: WeylV=[`x,`y,`z]$
1246:
1247: WeylDV=[`dx,`dy,`dz]$
1248:
1249: qt_set_ord(map(eval_quote,append(WeylV,WeylDV)))$
1250:
1251: Rweyl=[[`X^K*Y^L,`qt_is_var(X)&&qt_is_var(Y)&&nqt_comp(Y,X)<with|mode|math|\<gtr\>>0,
1252:
1253: `qt_weyl_vmul(X,K,Y,L)]]$ \ \ \ \ \ \ \ \ \ \ \ \ \ \
1254:
1255: \;
1256: </verbatim>
1257:
1258: <with|mode|math|A*c*t*i*o*n> \<#306B\>\<#30E6\>\<#30FC\>\<#30B6\>\<#5B9A\>\<#7FA9\>\<#95A2\>\<#6570\>\<#3092\>\<#7528\>\<#3044\>\<#308B\>\<#3053\>\<#3068\>\<#306B\>\<#3088\>\<#308A\>,
1.4 ! noro 1259: Weyl \<#4EE3\>\<#6570\>\<#306E\>\<#66F8\>\<#304D\>\<#63DB\>\<#3048\>\<#898F\>\<#5247\>\<#3092\>\<#4E00\>\<#3064\>\<#306B\>\<#307E\>\<#3068\>\<#3081\>\<#3066\>\<#3044\>\<#308B\>.
1.1 noro 1260: </example>
1261:
1.3 noro 1262: \;
1263:
1.4 ! noro 1264: <section|<page-break*>\<#307E\>\<#3068\>\<#3081\>>
1.1 noro 1265:
1.3 noro 1266: <\itemize>
1267: <item>\<#4E2D\>\<#9593\>\<#7684\>\<#8868\>\<#73FE\>\<#3067\>\<#3042\>\<#308B\>
1.4 ! noro 1268: <FN> \<#3092\>\<#30E6\>\<#30FC\>\<#30B6\>\<#304C\>\<#64CD\>\<#4F5C\>\<#3059\>\<#308B\>\<#305F\>\<#3081\>\<#306E\>\<#30A4\>\<#30F3\>\<#30BF\>\<#30D5\>\<#30A7\>\<#30FC\>\<#30B9\>\<#306E\>\<#5B9F\>\<#88C5\>
1.3 noro 1269:
1270: \<#30E6\>\<#30FC\>\<#30B6\>\<#304C\>\<#5B9A\>\<#7FA9\>\<#3059\>\<#308B\>\<#66F8\>\<#304D\>\<#63DB\>\<#3048\>\<#898F\>\<#5247\>\<#306B\>\<#3088\>\<#308B\>\<#6570\>\<#5F0F\>\<#306E\>\<#66F8\>\<#304D\>\<#63DB\>\<#3048\>\<#304C\>\<#53EF\>\<#80FD\>\<#3068\>\<#306A\>\<#3063\>\<#305F\>.
1.1 noro 1271:
1.3 noro 1272: <item>weight \<#30D9\>\<#30AF\>\<#30C8\>\<#30EB\>\<#306B\>\<#3088\>\<#308B\>,
1.4 ! noro 1273: \<#81EA\>\<#7531\>\<#7D50\>\<#5408\>\<#4EE3\>\<#6570\>\<#306B\>\<#304A\>\<#3051\>\<#308B\>\<#4E00\>\<#822C\>\<#7684\>\<#306A\>\<#30B0\>\<#30EC\>\<#30D6\>\<#30CA\>\<#57FA\>\<#5E95\>\<#8A08\>\<#7B97\>
1.3 noro 1274:
1.4 ! noro 1275: \<#3053\>\<#306E\>\<#66F8\>\<#304D\>\<#63DB\>\<#3048\>\<#3068\>weight\<#30D9\>\<#30AF\>\<#30C8\>\<#30EB\>\<#306B\>\<#3088\>\<#308B\>\<#5358\>\<#9805\>\<#5F0F\>\<#6BD4\>\<#8F03\>\<#3092\>\<#7D44\>\<#307F\>\<#5408\>\<#308F\>\<#305B\>\<#308B\>\<#3053\>\<#3068\>\<#306B\>\<#3088\>\<#308A\>,
1.3 noro 1276: \<#81EA\>\<#7531\>\<#7D50\>\<#5408\>\<#4EE3\>\<#6570\>\<#306B\>\<#304A\>\<#3051\>\<#308B\>\<#4E00\>\<#822C\>\<#7684\>\<#306A\>\<#30B0\>\<#30EC\>\<#30D6\>\<#30CA\>\<#57FA\>\<#5E95\>\<#306E\>\<#8A08\>\<#7B97\>\<#3092\>\<#8AD6\>\<#3058\>\<#305F\>.
1277:
1278: <\itemize>
1279: <item>\<#5BB9\>\<#6613\>\<#306A\>\<#30D7\>\<#30ED\>\<#30C8\>\<#30BF\>\<#30A4\>\<#30D4\>\<#30F3\>\<#30B0\>
1280:
1281: <QT> \<#306B\>\<#5BFE\>\<#3059\>\<#308B\>\<#4E00\>\<#822C\>\<#7684\>\<#306A\>
1282: weight \<#30D9\>\<#30AF\>\<#30C8\>\<#30EB\>\<#306E\>\<#30E1\>\<#30AB\>\<#30CB\>\<#30BA\>\<#30E0\>
1.4 ! noro 1283: <verbatim| qt_set_weight > \<#306B\>\<#3088\>\<#308A\>\<#30A2\>\<#30EB\>\<#30B4\>\<#30EA\>\<#30BA\>\<#30E0\>\<#306E\>\<#30D7\>\<#30ED\>\<#30C8\>\<#30BF\>\<#30A4\>\<#30D7\>\<#3092\>\<#5BB9\>\<#6613\>\<#306B\>\<#8A66\>\<#305B\>\<#308B\>.
1.3 noro 1284:
1.4 ! noro 1285: <item><with|mode|math|G>-algebra [LEV]
! 1286: \<#3088\>\<#308A\>\<#4E00\>\<#822C\>\<#306E\> algebra
! 1287: \<#3092\>\<#6271\>\<#3046\>
1.3 noro 1288:
1289: \<#3053\>\<#3053\>\<#3067\>\<#63D0\>\<#6848\>\<#3057\>\<#305F\>\<#4E00\>\<#822C\>\<#5316\>\<#306F\>
1.4 ! noro 1290: Weyl \<#4EE3\>\<#6570\>\<#306E\>\<#540C\>\<#6B21\>\<#5316\>\<#306E\>\<#7406\>\<#8AD6\>\<#3092\>\<#542B\>\<#3080\>.<next-line>well
! 1291: order \<#3067\>\<#306A\>\<#3044\>\<#5834\>\<#5408\>\<#306B\>\<#3082\>\<#9069\>\<#7528\>\<#3067\>\<#304D\>\<#308B\>.
1.3 noro 1292:
1293: Calderon-Moreno \<#7B49\>\<#306E\>\<#5C0E\>\<#5165\>\<#3057\>\<#305F\>
1294: algebra \<#3092\>\<#5C40\>\<#6240\>\<#7684\>\<#306B\>\<#6271\>\<#3046\>\<#306A\>\<#3069\>\<#306E\>\<#5FDC\>\<#7528\>\<#304C\>\<#898B\>\<#8FBC\>\<#307E\>\<#308C\>\<#308B\>.
1295: </itemize>
1.4 ! noro 1296:
! 1297: <item>\<#4ECA\>\<#5F8C\>\<#306E\>\<#4E88\>\<#5B9A\>
! 1298:
! 1299: \<#66F8\>\<#304D\>\<#63DB\>\<#3048\>\<#306E\>\<#52B9\>\<#7387\>\<#5411\>\<#4E0A\>,
! 1300: \<#6A19\>\<#6E96\>\<#5F62\>\<#3078\>\<#306E\>\<#5909\>\<#63DB\>\<#3068\>\<#66F8\>\<#304D\>\<#63DB\>\<#3048\>\<#3092\>\<#4E26\>\<#884C\>\<#3057\>\<#3066\>\<#884C\>\<#3046\>,
! 1301: \<#30D1\>\<#30BF\>\<#30FC\>\<#30F3\>\<#30DE\>\<#30C3\>\<#30C1\>\<#30F3\>\<#30B0\>\<#306E\>\<#6027\>\<#80FD\>\<#5411\>\<#4E0A\>,
! 1302: \<#6A19\>\<#6E96\>\<#7684\>\<#306A\>\<#66F8\>\<#304D\>\<#63DB\>\<#3048\>\<#898F\>\<#5247\>\<#96C6\>\<#5408\>\<#306E\>\<#63D0\>\<#4F9B\>
! 1303: etc.
! 1304:
! 1305: \;
1.3 noro 1306: </itemize>
1.2 takayama 1307:
1.1 noro 1308: <\thebibliography|99>
1309: \ <bibitem|MMA> S. Wolfram, The MATHEMATICA Book, Fourth Edition.
1310: Cambridge University Press (1999).
1311:
1312: <bibitem|LEV> V. Levandovskyy, Non-commutative Computer Algebra for
1.4 ! noro 1313: Polynomial Algebras: Groebner Bases, Applications and Implementation.
! 1314: Dissertation, Universitat Kaiserslautern (2005).
1.1 noro 1315: </thebibliography>
1.4 ! noro 1316:
! 1317: \;
! 1318:
! 1319: Appendix
! 1320:
! 1321: <\itemize-dot>
! 1322: <item>\<#6700\>\<#65B0\>\<#7248\> Asir
! 1323:
! 1324: OpenXM source tree \<#306E\> head branch
! 1325: \<#3092\>\<#53D6\>\<#5F97\>\<#3057\>\<#3066\>install
! 1326: \<#3059\>\<#308B\>\<#5FC5\>\<#8981\>\<#3042\>\<#308A\>
! 1327:
! 1328: http://www.math.kobe-u.ac.jp/OpenXM\
! 1329:
! 1330: <item>\<#66F8\>\<#304D\>\<#63DB\>\<#3048\>\<#95A2\>\<#6570\>
! 1331:
! 1332: OpenXM/src/asir-contrib/testing/noro/new_rewrite.rr
! 1333:
! 1334: <item>TeXmacs
! 1335:
! 1336: \<#65E5\>\<#672C\>\<#8A9E\>\<#5316\>\<#3055\>\<#308C\>\<#305F\>\<#3082\>\<#306E\>\<#306F\>,
! 1337: TeXmacs \<#306E\>\<#30B5\>\<#30A4\>\<#30C8\>\<#3088\>\<#308A\>CVS
! 1338: \<#3067\>\<#30BD\>\<#30FC\>\<#30B9\>\<#3092\>\<#53D6\>\<#5F97\>\<#3057\>\<#3066\>
! 1339:
! 1340: install \<#3059\>\<#308B\>\<#5FC5\>\<#8981\>\<#3042\>\<#308A\>
! 1341:
! 1342: \;
! 1343: </itemize-dot>
1.1 noro 1344: </body>
1345:
1346: <\initial>
1347: <\collection>
1348: <associate|font|ipa>
1.4 ! noro 1349: <associate|font-base-size|12>
1.1 noro 1350: <associate|language|japanese>
1351: <associate|page-medium|automatic>
1.4 ! noro 1352: <associate|page-orientation|landscape>
! 1353: <associate|page-screen-height|757760tmpt>
! 1354: <associate|page-screen-width|1024000tmpt>
! 1355: <associate|page-type|a4>
1.1 noro 1356: <associate|sfactor|4>
1357: </collection>
1358: </initial>
1359:
1360: <\references>
1361: <\collection>
1.4 ! noro 1362: <associate|auto-1|<tuple|1|2>>
! 1363: <associate|auto-10|<tuple|6|14>>
! 1364: <associate|auto-11|<tuple|<with|mode|<quote|math>|\<bullet\>>|14>>
! 1365: <associate|auto-12|<tuple|<with|mode|<quote|math>|<group|\<circ\>>>|?>>
! 1366: <associate|auto-2|<tuple|2|3>>
! 1367: <associate|auto-3|<tuple|2.1|3>>
! 1368: <associate|auto-4|<tuple|2.2|4>>
! 1369: <associate|auto-5|<tuple|2.3|6>>
! 1370: <associate|auto-6|<tuple|3|7>>
! 1371: <associate|auto-7|<tuple|4|8>>
! 1372: <associate|auto-8|<tuple|4.1|9>>
! 1373: <associate|auto-9|<tuple|5|12>>
! 1374: <associate|bib-LEV|<tuple|LEV|14>>
! 1375: <associate|bib-MMA|<tuple|MMA|14>>
1.1 noro 1376: </collection>
1377: </references>
1378:
1379: <\auxiliary>
1380: <\collection>
1381: <\associate|bib>
1382: MMA
1383:
1384: LEV
1385: </associate>
1386: <\associate|toc>
1.4 ! noro 1387: <vspace*|1fn><\with|font-series|<quote|bold>|math-font-series|<quote|bold>>
! 1388: \;
! 1389:
! 1390: <page-break*>Risa/Asir \<#306B\>\<#304A\>\<#3051\>\<#308B\>\<#6570\>\<#5F0F\>\<#306E\>\<#53D6\>\<#308A\>\<#6271\>\<#3044\>
! 1391: </with> <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
1.1 noro 1392: <no-break><pageref|auto-1><vspace|0.5fn>
1393:
1.4 ! noro 1394: <vspace*|1fn><with|font-series|<quote|bold>|math-font-series|<quote|bold>|<page-break*><with|font-family|<quote|tt>|QUOTE>
1.1 noro 1395: \<#578B\>> <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
1396: <no-break><pageref|auto-2><vspace|0.5fn>
1397:
1398: <with|par-left|<quote|1.5fn>|<with|font-family|<quote|tt>|QUOTE>
1399: \<#306E\>\<#5165\>\<#529B\>, \<#57FA\>\<#672C\>\<#64CD\>\<#4F5C\>
1400: <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
1401: <no-break><pageref|auto-3>>
1402:
1.4 ! noro 1403: <with|par-left|<quote|1.5fn>|<page-break*><with|font-family|<quote|tt>|FNODE>
1.1 noro 1404: \<#306E\>\<#6A19\>\<#6E96\>\<#5F62\>
1405: <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
1406: <no-break><pageref|auto-4>>
1407:
1.4 ! noro 1408: <with|par-left|<quote|1.5fn>|<page-break*>\<#9805\>\<#9806\>\<#5E8F\>\<#304A\>\<#3088\>\<#3073\>\<#4FC2\>\<#6570\>\<#74B0\>\<#306E\>\<#8A2D\>\<#5B9A\>
1.1 noro 1409: <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
1410: <no-break><pageref|auto-5>>
1411:
1.4 ! noro 1412: <vspace*|1fn><with|font-series|<quote|bold>|math-font-series|<quote|bold>|<page-break*>\<#30D1\>\<#30BF\>\<#30FC\>\<#30F3\>\<#30DE\>\<#30C3\>\<#30C1\>\<#30F3\>\<#30B0\>\<#306B\>\<#3088\>\<#308B\>\<#66F8\>\<#304D\>\<#63DB\>\<#3048\>>
1.1 noro 1413: <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
1414: <no-break><pageref|auto-6><vspace|0.5fn>
1415:
1.4 ! noro 1416: <vspace*|1fn><with|font-series|<quote|bold>|math-font-series|<quote|bold>|<page-break*><with|font-family|<quote|tt>|FNODE>
1.1 noro 1417: \<#306E\>\<#9806\>\<#5E8F\>\<#3065\>\<#3051\>>
1418: <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
1419: <no-break><pageref|auto-7><vspace|0.5fn>
1420:
1.4 ! noro 1421: <with|par-left|<quote|1.5fn>|<page-break*><with|font-family|<quote|tt>|FNODE>
1.1 noro 1422: \<#306E\> weight\<#3068\>\<#66F8\>\<#304D\>\<#63DB\>\<#3048\>
1423: <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
1424: <no-break><pageref|auto-8>>
1425:
1.4 ! noro 1426: <vspace*|1fn><with|font-series|<quote|bold>|math-font-series|<quote|bold>|<page-break*>\<#66F8\>\<#304D\>\<#63DB\>\<#3048\>\<#898F\>\<#5247\>\<#306E\>\<#4F8B\>>
1.1 noro 1427: <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
1428: <no-break><pageref|auto-9><vspace|0.5fn>
1429:
1.4 ! noro 1430: <vspace*|1fn><with|font-series|<quote|bold>|math-font-series|<quote|bold>|<page-break*>\<#307E\>\<#3068\>\<#3081\>>
1.1 noro 1431: <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
1432: <no-break><pageref|auto-10><vspace|0.5fn>
1433:
1434: <vspace*|1fn><with|font-series|<quote|bold>|math-font-series|<quote|bold>|\<#53C2\>\<#8003\>\<#6587\>\<#732E\>>
1435: <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
1436: <no-break><pageref|auto-11><vspace|0.5fn>
1437: </associate>
1438: </collection>
1439: </auxiliary>
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to rims2005-noro.tm CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / doc / Papers