version 1.18, 2004/11/24 23:00:23 |
version 1.20, 2005/05/04 11:06:55 |
|
|
%% $OpenXM: OpenXM/src/asir-doc/exp/exp-ja.texi,v 1.17 2004/11/23 12:41:12 takayama Exp $ |
%% $OpenXM: OpenXM/src/asir-doc/exp/exp-ja.texi,v 1.19 2005/05/04 00:08:38 takayama Exp $ |
\input texinfo |
\input texinfo |
@iftex |
@iftex |
@catcode`@#=6 |
@catcode`@#=6 |
|
|
@title $B<B83E*;EMM$N4X?t(B |
@title $B<B83E*;EMM$N4X?t(B |
@subtitle Risa/Asir $B<B83E*;EMM4X?t@bL@=q(B |
@subtitle Risa/Asir $B<B83E*;EMM4X?t@bL@=q(B |
@subtitle 1.0 $BHG(B |
@subtitle 1.0 $BHG(B |
@subtitle 2004 $BG/(B 7 $B7n(B |
@subtitle 2005 $BG/(B 5 $B7n(B |
|
|
@author by Risa/Asir committers |
@author by Risa/Asir committers |
@page |
@page |
Line 124 ChangeLog $B$N9`L\$O(B www.openxm.org $B$N(B cvswe |
|
Line 124 ChangeLog $B$N9`L\$O(B www.openxm.org $B$N(B cvswe |
|
* sprintf:: |
* sprintf:: |
* quote_to_funargs:: |
* quote_to_funargs:: |
* funargs_to_quote:: |
* funargs_to_quote:: |
|
* get_function_name:: |
* remove_paren:: |
* remove_paren:: |
* set_secure_mode:: |
* set_secure_mode:: |
* set_secure_flag:: |
* set_secure_flag:: |
|
|
@end itemize |
@end itemize |
|
|
|
|
@node quote_flatten,,, $B<B83E*;EMM$N4X?t(B |
@node flatten_quote,,, $B<B83E*;EMM$N4X?t(B |
@subsection @code{quote_flatten} |
@subsection @code{flatten_quote} |
@findex quote_flatten |
@findex flatten_quote |
|
|
@comment --- $B4X?t$N4JC1$J@bL@(B --- |
@comment --- $B4X?t$N4JC1$J@bL@(B --- |
@table @t |
@table @t |
@item quote_flatten(@var{q},@var{op}) |
@item flatten_quote(@var{q},@var{op}) |
:: quote $B$N3g8L$r$H$j$5$k(B. |
:: quote $B$N3g8L$r$H$j$5$k(B. |
@end table |
@end table |
|
|
Line 1110 Quote $B7?$N%G!<%?$OLZ9=B$$r$7$F$$$k(B |
|
Line 1111 Quote $B7?$N%G!<%?$OLZ9=B$$r$7$F$$$k(B |
|
$B$?$H$($P(B (1+2)+(3+4) $B$H$$$&I=8=$r(B 1+2+3+4 $B$KJQ49$9$k(B. |
$B$?$H$($P(B (1+2)+(3+4) $B$H$$$&I=8=$r(B 1+2+3+4 $B$KJQ49$9$k(B. |
@item |
@item |
$B8=:_$N<BAu$G$O(B n-ary $B$N1i;;;R$ODj5A$5$l$F$$$J$$$N$G(B, |
$B8=:_$N<BAu$G$O(B n-ary $B$N1i;;;R$ODj5A$5$l$F$$$J$$$N$G(B, |
1+2+3 $B$O<B$O(B (1+2)+3 $B$HI=8=$5$l$F$$$k(B. |
1+2+3 $B$O<B$O(B 1+(2+3) $B$HI=8=$5$l$F$$$k(B. |
$B$D$^$j(B + $B1i;;;R$O:87k9gE*$G$"$k(B. |
$B$D$^$j(B + $B1i;;;R$O1&7k9gE*$G$"$k(B. |
|
@item R=0; for (I=0; I<N; I++) R = R+ P[I]; $B$J$kB-$7;;$r7+$jJV$9$H(B, |
|
+ $B$O:87k9gE*$K$J$k(B. $B1&7k9gE*$KJQ49$9$k$K$O(B flatten_quote $B$r8F$V(B. |
|
@item $BL>A0$O(B quote_flatten $B$G$J$/(B flatten_quote $B$G$"$k(B. |
@end itemize |
@end itemize |
|
|
@example |
@example |
|
|
:: quote $B$r(B funarg $B7A<0(B($B%j%9%H(B) $B$X(B. |
:: quote $B$r(B funarg $B7A<0(B($B%j%9%H(B) $B$X(B. |
@item funargs_to_quote(@var{f}) |
@item funargs_to_quote(@var{f}) |
:: funarg $B7A<0$r(B quote $B$X(B. |
:: funarg $B7A<0$r(B quote $B$X(B. |
|
@item get_function_name(@var{f}) |
|
:: funarg $B7A<0$N(B op $B$rJ8;zNs$X(B. |
@item remove_paren(@var{q}) |
@item remove_paren(@var{q}) |
:: $B>e$N4X?t$rMQ$$$F=q$+$l$?M>J,$J3g8L$r<h$j5n$k(B simplifier (asir-contrib $B%^%K%e%"%k$X(B: todo) |
:: $B>e$N4X?t$rMQ$$$F=q$+$l$?M>J,$J3g8L$r<h$j5n$k(B simplifier (asir-contrib $B%^%K%e%"%k$X(B: todo) |
@end table |
@end table |
Line 1282 quote $B$X$NI|852DG=$J7A$G%j%9%H$XJQ49$9$k(B. |
|
Line 1288 quote $B$X$NI|852DG=$J7A$G%j%9%H$XJQ49$9$k(B. |
|
@code{quotetolist} $B$O(B quote $B$r%j%9%H$XJQ49$9$k$,(B, $B0lIt$N>pJs$r<N$F$k$?$a(B |
@code{quotetolist} $B$O(B quote $B$r%j%9%H$XJQ49$9$k$,(B, $B0lIt$N>pJs$r<N$F$k$?$a(B |
$B$b$H$N(B quote $B$NI|85$O$G$-$J$$(B. |
$B$b$H$N(B quote $B$NI|85$O$G$-$J$$(B. |
@item |
@item |
@code{quote_to_funargs} $B$NLa$jCM$O(B [fid, op, arg1, arg2] $B$J$k7A<0$r$7$F$$$k(B. |
@code{quote_to_funargs} $B$NLa$jCM$O(B [fid, op, arg1, arg2, ...] |
$B$3$3$G(B op $B$O$J$K$+Ff(B (Todo) |
$B$J$k7A<0$r$7$F$$$k(B. |
|
$B$3$3$G(B op $B$O(B node $B$NL>A0$G$"$j(B, |
|
$B4X?t(B @code{get_function_name} $B$rMQ$$$F?M4V$,FI$a$k7A<0(B |
|
$B$G<h$j$@$;$k(B. |
|
$B$?$H$($P(B @code{get_function_name(quote_to_funargs(quote(1+2))[1])} |
|
$B$O(B "+" $B$rLa$9(B. |
|
@item |
|
$BL>A0(B@code{get_function_name} $B$O$=$N$&$AJQ99$5$l$k$@$m$&(B. |
@item |
@item |
$B2<$NNc$G(B |
$B2<$NNc$G(B |
quote_to_funargs(FA[2]); |
quote_to_funargs(FA[2]); |
[34,[b_op,+,[internal,x],[internal,1]]] |
[34,[b_op,+,[internal,x],[internal,1]]] |
$B$H$J$k$,(B, $B$3$N(B 34 $B$bFf(B (Todo). |
$B$H$J$k(B. |
|
34 $B$O(B @code{I_PAREN} $B$r0UL#$9$k(B. |
|
$B?t$H0UL#$NBP1~I=$O(B @code{OpenXM/src/asir-contrib/packages/src/noro_simplify.rr} |
|
$B$^$?$O(B @code{OpenXM_contrib2/asir2000/parse/parse.h} $B$r8+$h(B. |
|
$B0J2<$N(B fid $B$,(B 0, 1, 2, ... $B$KBP1~$E$1$i$l$F$$$k(B. |
|
I_BOP, I_COP, I_AND, I_OR, I_NOT, I_CE, |
|
I_PRESELF, I_POSTSELF, |
|
I_FUNC, I_FUNC_OPT, I_IFUNC, I_MAP, I_RECMAP, I_PFDERIV, |
|
I_ANS, I_PVAR, I_ASSPVAR, |
|
I_FORMULA, I_LIST, I_STR, I_NEWCOMP, I_CAR, I_CDR, I_CAST, |
|
I_INDEX, I_EV, I_TIMER, I_GF2NGEN, I_GFPNGEN, I_GFSNGEN, |
|
I_LOP, I_OPT, I_GETOPT, I_POINT, I_PAREN, I_MINUS, |
|
I_NARYOP |
@end itemize |
@end itemize |
|
|
$B<!$NNc$G$O(B (x+1)+(x+2) $B$N3g8L$r$O$:$7$F(B x+1+x+2 $B$KJQ49$7$F$$$k(B. |
$B<!$NNc$G$O(B (x+1)+(x+2) $B$N3g8L$r$O$:$7$F(B x+1+x+2 $B$KJQ49$7$F$$$k(B. |
Line 1323 quote $B$X$NI|852DG=$J7A$G%j%9%H$XJQ49$9$k(B. |
|
Line 1348 quote $B$X$NI|852DG=$J7A$G%j%9%H$XJQ49$9$k(B. |
|
quote(f(1-x)) |
quote(f(1-x)) |
@end example |
@end example |
|
|
|
funargs_to_quote $B$rMQ$$$F4{B8$N(B quote $B$N;R6!$rCV$-49$($F(B |
|
$B?7$7$$(B quote $B$r$D$/$j=P$;$k(B. |
|
@example |
|
[1184] R=quote_to_funargs(quote(a+(b+c))); |
|
[0,<...quoted...>,<...quoted...>,<...quoted...>] |
|
[1185] T=quote_to_funargs(quote(1+2)); |
|
[0,<...quoted...>,<...quoted...>,<...quoted...>] |
|
[1186] funargs_to_quote([0,R[1],R[2],T[2]]); |
|
quote(a+1) |
|
@end example |
|
|
@table @t |
@table @t |
@item $B;2>H(B |
@item $B;2>H(B |
@ref{quotetolist} |
@ref{quotetolist} |
|
|
ChangeLog |
ChangeLog |
@itemize @bullet |
@itemize @bullet |
@item |
@item |
$B$3$N%^%K%e%"%k$O3P$(=q$-$G$"$k(B. $B3+H/<T$,K\3JE*$J$N$r=q$/$@$m$&(B. |
|
@item |
|
$B$3$l$i$N4X?t$O(B 2004-7-8 $B$+$i3+H/$N$O$8$^$C$F$$$k(B quote $B$N(B simplification $B4XO"(B |
$B$3$l$i$N4X?t$O(B 2004-7-8 $B$+$i3+H/$N$O$8$^$C$F$$$k(B quote $B$N(B simplification $B4XO"(B |
$B$N<B83E*4X?t$G$"$k(B. |
$B$N<B83E*4X?t$G$"$k(B. |
$BJQ99$r$&$1$?%=!<%9%3!<%I$OB?4t$K$o$?$k$N$G$^$@=q$+$J$$(B. |
$BJQ99$r$&$1$?%=!<%9%3!<%I$OB?4t$K$o$?$k$N$G$^$@=q$+$J$$(B. |
|
|
@item |
@item |
2004-6-26 $B$N7W;;Be?t%;%_%J!<$K$*$$$F(B, $BCf@n$5$s$,(B simplifier $B$K$D$$$F$$$m$$$mLdBjDs5/(B |
2004-6-26 $B$N7W;;Be?t%;%_%J!<$K$*$$$F(B, $BCf@n$5$s$,(B simplifier $B$K$D$$$F$$$m$$$mLdBjDs5/(B |
$B$r$7$?(B ($B7W;;Be?t%;%_%J!<%S%G%*;2>H(B). |
$B$r$7$?(B ($B7W;;Be?t%;%_%J!<%S%G%*;2>H(B). |
|
@item parse/quote.c $B$N(B {\tt strcut fid_spec fid_spec_tab[] } |
|
$B$NItJ,$K=q$$$F$"$k7A<0$K(B @code{funargs_to_quote} $B$OJQ49$9$k(B. |
@end itemize |
@end itemize |
|
|
@node set_secure_flag,,, $B<B83E*;EMM$N4X?t(B |
@node set_secure_flag,,, $B<B83E*;EMM$N4X?t(B |
Line 1437 cgi-asir.sh $B$G$O(B |
|
Line 1473 cgi-asir.sh $B$G$O(B |
|
1.33 OpenXM_contrib2/asir2000/parse/parse.h |
1.33 OpenXM_contrib2/asir2000/parse/parse.h |
@end itemize |
@end itemize |
|
|
|
@comment **************************************************************** |
@comment --- $B"~"~"~"~(B $B0J2<B>$N4X?t$K$D$$$F??;w$7$F5-=R$9$k(B. $B"~"~"~"~(B |
@comment --- $B"~"~"~"~(B $B0J2<B>$N4X?t$K$D$$$F??;w$7$F5-=R$9$k(B. $B"~"~"~"~(B |
|
|
@comment $B?7$7$$4X?t$N@bL@$r=q$/$?$a$N%F%s%W%l!<%H$G$"$k(B. $B>C$9$J(B. |
@comment $B?7$7$$4X?t$N@bL@$r=q$/$?$a$N%F%s%W%l!<%H$G$"$k(B. $B>C$9$J(B. |
@comment --- $B"~"~"~"~(B $B4X?t(B syz_pqr, xyz_stu $B$N@bL@(B $B"~"~"~"~(B |
@comment --- $B"~"~"~"~(B $B4X?t(B syz_pqr, xyz_stu $B$N@bL@(B $B"~"~"~"~(B |
@comment --- $BJ#?t$N4X?t$r$^$H$a$F@bL@$9$kNc(B --- |
@comment --- $BJ#?t$N4X?t$r$^$H$a$F@bL@$9$kNc(B --- |
|
|
$BJQ99$r$&$1$?%=!<%9%3!<%I$O(B xxxyy.rr, ppp.c $B$G$"$k(B. |
$BJQ99$r$&$1$?%=!<%9%3!<%I$O(B xxxyy.rr, ppp.c $B$G$"$k(B. |
@item $B$3$N4X?t$O(B 2000 $B:"$K$O$8$a$F$N%P!<%8%g%s$,=q$+$l$?(B. $B%=!<%9$O(B ppp.c $B$G$"$k(B. |
@item $B$3$N4X?t$O(B 2000 $B:"$K$O$8$a$F$N%P!<%8%g%s$,=q$+$l$?(B. $B%=!<%9$O(B ppp.c $B$G$"$k(B. |
@end itemize |
@end itemize |
|
@comment **************************************************************** |
|
|
@comment --- $B$*$^$8$J$$(B --- |
@comment --- $B$*$^$8$J$$(B --- |
@node Index,,, Top |
@node Index,,, Top |