=================================================================== RCS file: /home/cvs/OpenXM/src/asir-doc/exp/exp-ja.texi,v retrieving revision 1.16 retrieving revision 1.19 diff -u -p -r1.16 -r1.19 --- OpenXM/src/asir-doc/exp/exp-ja.texi 2004/07/28 11:46:23 1.16 +++ OpenXM/src/asir-doc/exp/exp-ja.texi 2005/05/04 00:08:38 1.19 @@ -1,4 +1,4 @@ -%% $OpenXM: OpenXM/src/asir-doc/exp/exp-ja.texi,v 1.15 2004/07/14 05:48:44 takayama Exp $ +%% $OpenXM: OpenXM/src/asir-doc/exp/exp-ja.texi,v 1.18 2004/11/24 23:00:23 takayama Exp $ \input texinfo @iftex @catcode`@#=6 @@ -38,7 +38,7 @@ @title 実験的仕様の関数 @subtitle Risa/Asir 実験的仕様関数説明書 @subtitle 1.0 版 -@subtitle 2004 年 7 月 +@subtitle 2005 年 5 月 @author by Risa/Asir committers @page @@ -124,7 +124,10 @@ ChangeLog の項目は www.openxm.org の cvswe * sprintf:: * quote_to_funargs:: * funargs_to_quote:: +* get_function_name:: * remove_paren:: +* set_secure_mode:: +* set_secure_flag:: @end menu @comment --- ◯◯◯◯ 関数 quotetotex, quotetotex_env の説明 ◯◯◯◯ @@ -1260,6 +1263,8 @@ ChangeLog :: quote を funarg 形式(リスト) へ. @item funargs_to_quote(@var{f}) :: funarg 形式を quote へ. +@item get_function_name(@var{f}) +:: funarg 形式の op を文字列へ. @item remove_paren(@var{q}) :: 上の関数を用いて書かれた余分な括弧を取り去る simplifier (asir-contrib マニュアルへ: todo) @end table @@ -1280,13 +1285,32 @@ quote への復元可能な形でリストへ変換する. @code{quotetolist} は quote をリストへ変換するが, 一部の情報を捨てるため もとの quote の復元はできない. @item - @code{quote_to_funargs} の戻り値は [fid, op, arg1, arg2] なる形式をしている. -ここで op はなにか謎 (Todo) + @code{quote_to_funargs} の戻り値は [fid, op, arg1, arg2, ...] +なる形式をしている. +ここで op は node の名前であり, +関数 @code{get_function_name} を用いて人間が読める形式 +で取りだせる. +たとえば @code{get_function_name(quote_to_funargs(quote(1+2))[1])} +は "+" を戻す. +@item + 名前@code{get_function_name} はそのうち変更されるだろう. @item 下の例で quote_to_funargs(FA[2]); [34,[b_op,+,[internal,x],[internal,1]]] -となるが, この 34 も謎 (Todo). +となる. +34 は @code{I_PAREN} を意味する. +数と意味の対応表は @code{OpenXM/src/asir-contrib/packages/src/noro_simplify.rr} +または @code{OpenXM_contrib2/asir2000/parse/parse.h} を見よ. +以下の fid が 0, 1, 2, ... に対応づけられている. + 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 次の例では (x+1)+(x+2) の括弧をはずして x+1+x+2 に変換している. @@ -1321,17 +1345,27 @@ quote への復元可能な形でリストへ変換する. quote(f(1-x)) @end example +funargs_to_quote を用いて既存の quote の子供を置き換えて +新しい quote をつくり出せる. +@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 @item 参照 @ref{quotetolist} @end table + @noindent ChangeLog @itemize @bullet @item - このマニュアルは覚え書きである. 開発者が本格的なのを書くだろう. -@item これらの関数は 2004-7-8 から開発のはじまっている quote の simplification 関連 の実験的関数である. 変更をうけたソースコードは多岐にわたるのでまだ書かない. @@ -1340,10 +1374,104 @@ ChangeLog @item 2004-6-26 の計算代数セミナーにおいて, 中川さんが simplifier についていろいろ問題提起 をした (計算代数セミナービデオ参照). +@item parse/quote.c の {\tt strcut fid_spec fid_spec_tab[] } +の部分に書いてある形式に @code{funargs_to_quote} は変換する. @end itemize -@comment --- ◯◯◯◯ 以下他の関数について真似して記述する. ◯◯◯◯ +@node set_secure_flag,,, 実験的仕様の関数 +@subsection @code{set_secure_flag}, @code{set_secure_mode} +@findex set_secure_flag +@findex set_secure_mode +@comment --- 関数の簡単な説明 --- +@comment --- @itemx は複数に対して説明を一つつける場合に使う --- +@table @t +@item set_secure_flag(@var{fname},@var{m}) +@itemx set_secure_mode(@var{m}) +:: 関数の実行権限を設定する. (web サービス用) +@end table + +@table @var +@item return +整数 +@item fname +文字列 +@item m +整数 +@end table + +@itemize @bullet +@item @code{set_secure_flag}, @code{set_secure_mode} は +asir を web サーバ等で公開するために加えられた関数. +@code{set_secure_flag} で公開する関数を指定する. +@code{secure_mode} が 1 の場合は @code{set_secure_flag} で指定された +関数しか実行できない. +関数の実行途中では @code{secure_mode} が 0 となっているので, +任意の関数を実行できる. +またエラーの時等は, @code{secure_mode} は 1 に自動的に復帰する. +ただし @code{def} は実行できない. +公開する関数では, その処理中は任意の関数が実行できるので, +security に十分注意した実装をする必要がある. +@item +@code{set_secure_flag} は, @var{fname} の secure flag を @var{m} +にする. +公開する命令は 1 に設定する. +@item +@var{set_secure_mode(1)} で @code{secure_mode} が 1 となり, +公開された関数しか実行できなくなる. +quit 等も実行できないので注意. +@item @code{ timer } の引数として secure_flag を設定していない関数を +指定して実行してもエラーが表示されない. +このときは, @code{ ctrl("error_in_timer",1) } を実行しておく. +@end itemize + +@example +[1194] set_secure_flag("print_input_form_",1); +1 +[1195] set_secure_flag("fctr",1); +1 +[220] set_secure_mode(1); +1 +[1197] fctr((x-1)^3); +[[1,1],[x-1,3]] +[1198] fctr(shell("ls")); +evalf : shell not permitted +return to toplevel +@end example + +@table @t +@item 参照 +@ref{timer} +@end table + +@noindent +ChangeLog +@itemize @bullet +@item @code{set_secure_flag}, @code{set_secure_mode} は asir を +web サーバ等で公開するために加えられた関数. +sm1 の同様な関数 RestrictedMode で採用された方法を用いている. +つまり, @code{set_secure_flag} で公開する関数を指定する. +@code{secure_mode} が 1 の場合は @code{set_secure_flag} で指定された +関数しか実行できない. +v関数の実行途中では @code{secure_mode} が 0 となっているので, +任意の関数を実行できる. +@item この関数は 2004-10-27 から 2004-11-22 にかけて開発された. +@item cgiasir.sm1, cgi-asir.sh と組み合わせて cgi サービスを提供するために +利用する. +cgi-asir.sh では +@code{CGI_ASIR_ALLOW} 環境変数で公開するコマンドを指定する. +@item + 1.24--1.25 OpenXM_contrib2/asir2000/builtin/miscf.c +@item + 1.36--1.38 OpenXM_contrib2/asir2000/parse/eval.c +@item + 1.6--1.7 OpenXM_contrib2/asir2000/parse/function.c +@item + 1.33 OpenXM_contrib2/asir2000/parse/parse.h +@end itemize + +@comment **************************************************************** +@comment --- ◯◯◯◯ 以下他の関数について真似して記述する. ◯◯◯◯ @comment 新しい関数の説明を書くためのテンプレートである. 消すな. @comment --- ◯◯◯◯ 関数 syz_pqr, xyz_stu の説明 ◯◯◯◯ @comment --- 複数の関数をまとめて説明する例 --- @@ -1404,6 +1532,7 @@ ChangeLog 変更をうけたソースコードは xxxyy.rr, ppp.c である. @item この関数は 2000 頃にはじめてのバージョンが書かれた. ソースは ppp.c である. @end itemize +@comment **************************************************************** @comment --- おまじない --- @node Index,,, Top