高校生・大学生のための特別情報
本システムの著作権は、FUJITSU
LABORATORIES LIMITEDにあります。
[Risa/Asir Windows版 使用条件](抜粋)
○直接の営利目的を有さない限り無償で使用できる。
○本ソフトウェアの改変、他ソフトウェアへの組み込み(全体/部分を問わない)は禁止する。
○著作権およびすべての知的財産権(知的所有権)は当社に帰属する。
○無補償とする。本ソフトウェアの瑕疵に起因すると否とを問わず、また直接・間接とを問わず、いかなる損害に対しても当社は責を負わない。
○本ソフトウェアの使用者が使用した結果を公表するに当たっては、学界における通例に従い、その事実の明示的引用を義務とする。 |
日本で生まれた数式処理ソフト「RISA/ASIR(リサ アジール)」
○学術研究用に無料配布されている「数式処理ソフト」です。
(大型電子計算機用のものや有料のものは、Macsyma、Mathematica、Maple、Derive、Reduce等たくさんあります!)
○RISA/ASIR(リサ アジール)ホームページが公開されています。(2000年3月現在)
○数値計算は、分数の計算から複素数の加減乗除計算までできます。
また、多項式式を展開したり、因数分解したり、初等関数を微分したりできます。
例. ただし、表現形式はすこしだけ異なります。
1/2+1/3=5/6
(1+i)/(2-3i)=-1/13+(5/13)i
(x+1)*(x+2)=x^2+3*x+2
x^3+y^3+z^3-3*x*y*z=(x+y+z)*(x^2+y^2+z^2-x*y-y*z-z*x)
d(cos(sinx))/dx=-sin(sinx)*cosx
○有効数字を、大きく設定できます。(数万桁程度)
したがって、階乗、巨大な素数、円周率、平方根、自然対数の底等の多倍長計算ができます。
例1.100の階乗、メルセンヌ素数M521=2^521−1
指定された精度まで計算します。
例2.円周率、平方根、自然対数の底、EXP(πi)
等の計算(評価)をします。
○外部プログラム「PARI」を利用できます。
例1.代数方程式の解を求めることができます。
例2.行列の固有ベクトルを求めることができます。
注意.PARIは独立した外部プログラムです。その機能の一部が取り込まれています。
○数学の問題を解くための本格的なC言語風のプログラミングが可能です。
インストールすると、\RISA\LIB\に20数個のサンプルプログラミングファイルが転送されます。
○複雑な陰関数のグラフでもほとんど瞬時に描きます。
Windows版では描いたグラフの部分を指定して拡大もできます。
入手方法 (Windows版の場合)
その1.書店にて「日本で生まれた数式処理ソフト」リサアジール ガイドブック
1998年10月25日初版発行 (株)SEG出版 定価2800円+税
を購入すると、付録のCDに同梱されています。(自動インストール機能付きです。)
大変、多機能なので、1冊は購入しておくことをお薦めします。
その2.富士通(株)のFTPサイトより直接ダウンロードする。
1つ上のディレクトリにはUNIX用やその他のOS用のプログラムもあります。
プログラム[RISA/ASIR]の解説(プログラムのヘルプより抜粋)
解説は、すべてHTMLファイルです。208個の部分に分かれています。
RISA/ASIRをインストールするとフォルダ\RISA\HTML\に展開されます。
以下に、目次部分のみ転載します。
--------------------------------------------------------------------------------
Asir
Asir User's Manual
Edition 3.0beta for Asir-950831
September 1995
by Masayuki Noro and Takeshi Shimoyama
--------------------------------------------------------------------------------
Introduction
マニュアルの構成
Notation
入手方法
Risa/Asir
Risa および Asir
Asir の特徴
インストレーション
UNIX 版
DOS 版
Windows 版
Macintosh 版
コマンドラインオプション
環境変数
起動から終了まで
割り込み
エラー処理
計算結果, 特殊な数
型
Asir で使用可能な型
数の型
不定元の型
ユーザ言語 Asir
文法 -- C 言語との違い
ユーザ定義函数の書き方
ユーザ定義函数
変数および不定元
引数
コメント
文
return 文
if 文
ループ, break, return, continue
さまざまな式
プリプロセッサ
デバッガ
デバッガとは
コマンドの解説
デバッガの使用例
デバッガの初期化ファイルの例
組み込み函数
数の演算
idiv, irem
fac
igcd
inv
prime, lprime
random
nm, dn
conj, real, imag
eval
pari
setprec
setmod
多項式, 有理式の演算
var
vars
uc
coef
deg, mindeg
nmono
ord
sdiv, sdivm, srem, sremm, sqr, sqrm
tdiv
%
subst, psubst
diff
res
fctr, sqfr
ufctrhint
ptozp
prim, cont
gcd, gcdz
red
リストの演算
car, cdr, cons, append, reverse, length
配列
newvect
vtol
newmat
size
det
型を求める函数
type
ntype
vtype
函数に対する操作
functor, args, funargs
文字列に関する演算
rtostr
strtov
入出力
end, quit
load
which
output
bsave, bload
print
プロセス間通信
tcpinit, tcpdebug, tcpclose
陰函数の描画
ifplot, conplot, plot
分散計算
`asir_server'
spawn
rpc, rpcrecv
send_command
flush
select
その他
ctrl
debug
error
help
time
cputime, tstart, tstop
heap
version
shell
map
flist
delete_history
グレブナ基底の計算
分散表現多項式
ファイルの読み込み
基本的な函数
計算および表示の制御
項順序の設定
有理式を係数とするグレブナ基底計算
基底変換
グレブナ基底に関する函数
gr, hgr, gr_mod, dgr
lex_hensel, lex_tl, tolex, tolex_d, tolex_tl
lex_hensel_gsl, tolex_gsl, tolex_gsl_d
gr_minipoly, minipoly
tolexm, minipolym
dp_gr_main, dp_gr_mod_main
dp_gr_flags, dp_gr_print
dp_ord
dp_ptod
dp_dtop
dp_mod, dp_rat
dp_homo, dp_dehomo
dp_ptozp, dp_prim
dp_nf, dp_nf_mod, dp_true_nf, dp_true_nf_mod
dp_hm, dp_ht, dp_hc, dp_rest
dp_td, dp_sugar
dp_lcm
dp_redble
dp_subd
dp_vtoe, dp_etov
dp_mbase
dp_mag
dp_red, dp_red_mod
dp_sp, dp_sp_mod
p_nf, p_nf_mod, p_true_nf, p_true_nf_mod
p_terms
gb_comp
katsura, hkatsura, cyclic, hcyclic
代数的数に関する演算
代数的数の表現
代数的数の演算
代数体上での 1 変数多項式の演算
GCD
無平方分解, 因数分解
最小分解体
代数的数に関する函数のまとめ
newalg
defpoly
alg
algv
simpalg
algptorat
rattoalgp
gcda
sp_norm
asq, af
sp
文法の詳細
MS-DOS/DOS-Extender 版 Risa/Asir
動作環境
DOS 版の使用法
Windows 版 Risa/Asir
動作環境
使用法
Macintosh 版 Risa/Asir
ファイル構成
params
使用法
UNIX 版との相違点
C の函数による機能追加
インクリメンタルローディング
asir.o を用いた機能追加
添付のユーザ定義函数ファイル
入力インタフェース
fep
asir.el
変更点
Version 950831
デバッガ
組み込み函数
グレブナ基底
その他
Version 940420
文献
索引
--------------------------------------------------------------------------------
This document was generated on 11 November 1996 using the texi2html
translator version 1.51.
「竹の音」に戻る