• ベストアンサー

数式処理ソフト

数式を簡単化してくれる(できればフリーの)数式処理ソフトを教えてください(環境はWin98SE or Win2000です)。 例えば、 「cos(x(t))をtで微分して!」と言われたら「-x'(t)*sin(x(t))」 を返してくれたり、 「cos^2(t) + sin^2(t)を簡単化して!」と言われたら「1」を返してくれたり するソフトをおねがいします。 今のところ一時的に使うだけなので、有料ソフトのお試し用でもいいです。 おねがいします!

質問者が選んだベストアンサー

  • ベストアンサー
回答No.1

Maxima なんてどうでしょうか?なかなか便利ですよ。GPLで配布されてますのでフリーです。

参考URL:
http://maxima.sourceforge.net/
ama_gin
質問者

お礼

ありがとうございました。 DLしてちょっと使ってみたんですが、よい感じですね。数式をTeXに変換することもできるようですし。 でも、日本語で解説されたページはあまり多くないようですね。ヘルプを読もうとしたら、英語で…(^^;;。ちょっと英語苦手人間としてはキツイです…。 もしご存知でしたら、 数式を簡単化するコマンドを教えて頂けないでしょうか? 例えば、「cos^2(t) + sin^2(t)」を処理して「1」を返させるような…。それか、そのようなことが解説されている日本語の(^^;ページを紹介していただけるとありがたいです。

ama_gin
質問者

補足

(お礼の欄後) 調べてみたら、 「cos^2(t) + sin^2(t)」を処理して「1」を返させるような処理 はできました。後はやっぱり自分で調べてみます(とか言ってまた質問するかも知れませんが…(^^;;)。ありがとうございました。

関連するQ&A

  • 数式処理ソフトでの式の簡単化について

    数式処理ソフトmaximaで逆行列を求めることをやりました。7×7程度であり、手でやってもできそうなのですが、間違いそうですし、時間の節約になるのでソフトウェアでやりたいと思いました。添付した画像がその例です。結構ゼロもありますし、ものすごく複雑な形ではなさそうという風に思えるのですが、ソフトウェアにかけると長くなります。その理由の1つは簡略的に表示できるものをそのまま残しているからです。例えば、逆行列は行列式で割るという形式になりますが、それを行列の各要素全部に一律にかけるとかしているようです。逆行列の前にくくりだしておけばいいのにというわけです。また、差し引きゼロでクリアされるところが残ったり、行列式も長たらしく示すのではなく、くくれるところはくくって積の形式にするとかです。別件ですが、sin^2+cos^2=1を使って簡単表示することすらやってくれないことがありました。今回は行列ですが、簡単化するところは簡単にして手短に表示してほしいということをソフトウェアに指示することはできるのでしょうか。手計算で式を誘導していくときに、複雑な式からどんどん項が消えていって最後には短い式が残って達成感があるということがありますが、数式処理ソフトだとそれがないように思えるのですが。(x-x)(a+b)ですら0にならないみたいな。今回のソフトはmaximaです。よろしくお願いします。

  • 数式処理ソフトについて

    数式処理ソフト(Mathematica, Maxima, Reduce, Maple)など新旧とりまぜていろんなものがあると思います。ガイドブックやネット上の解説ページなどがあると思います。 どうしても1つ理解できないことがあり、ご質問します。解説本はどれも以下のような1つ1つの項目が独立しているように思います。 ○因数分解等の数式操作 ○行列計算 ○微分と積分 ○グラフ しかし、実際の問題に使う場合、それらが連続的なつながりを持っていると思います。 級数展開してx,yの1次の係数を取り出し、その係数方程式=0の方程式群の係数マトリックスの固有値と固有ベクトルを求め、...というような技の連続だと思います。つまり、1つの操作によって得られた結果は次の操作の入力に使えるということであるはずですね。私の知る限り、それができないのです。私の理解が不足していると思いますが、どのように考えればよろしいでしょうか。問題が具体的でなく、申し訳ありませんが。 これと付随してお尋ねしますが、ラプラス演算子の極座標、球面座標への変換について数式処理ソフトでスマートに行えないでしょうか。結構細かい処理が必要なのでこれこそ数式処理ソフトの得意技だと思っているのですが。よろしくお願いします。

  • 数式処理ソフトmaximaの簡易処理について

    maximaによる初等的な数式処理なのですが、以下の点で動作が理解できないのです。 f(x):=1+x+x^2+x^3+x^4; 式の定義 g(x):=diff(f(x),x);     その微分した式を定義 f(0); 具体的な値の確認 g(0); 具体的な値の確認 ここでエラー g(x); 関数がちゃんと定義できるか再確認 4*x^3+3*x^2+2*x+1 式としてg(x)は問題なく出力されています。なのに関数値 g(0)が出力できません。 式の微分を新たな式として受け取って処理するという自然な処理なのですが。 確かにg(x)の定義(第2式)には微分が含まれているのでそれを評価しようとしたらおかしなことになるのかなと思いますが。 なお、さらに複雑な処理であるg(x)=0の方程式を解くsolve(g(x)=0,x)は正しい動作をするようです。微分によって定義された関数g(x)をスムーズに受け取って関数値を問題なく出力する方法を教えてください。(関数値が出ないということはやはり基本的におかしいはずなので) よろしくお願いします。   

  • パラメトリック曲面を数式で表現したい

    最近仕事の合間につい考えてしまうのですが、 A:x=10*cos(t),y=10*sin(t),0≦t≦2pi(パイ)で2Dの円が書けますよね。 次にB:x=(10+3*cos(4*t))*cos(t),y=(10+3*cos(4*t))*sin(t),z=3*sin(4*t)、ではAの周囲を回転するような曲線がかけますよね。 ここでAに媒介変数uを追加して、 A':x=(10+cos(u))*cos(t),y=(10+cos(u))*sin(t),sin(u), とすればドーナツ状の3D曲面がかけますよね。 同様にBも断面が円型になるような曲面の関数にしたいのですが、 x=(10+3*cos(4*t)+cos(u))*cos(t),y=(10+3*cos(4*t)+cos(u))*sin(t),z=3*sin(4*t)+sin(u)、ではxy面に垂直にきれば断面がB上の1点を中心とする同心円になりますが、Bの接線方向(?)と垂直に切断した場合は楕円になってしまいます。言葉足らずで申し訳ありませんが、とにかく、同じ太さの筒状の曲面にしたいのです。どのように数式を書けばよいのでしょうか?

  • 数式処理ソフト[maple]で微分方程式を解く

    数式処理ソフト[maple]を使い始めました. 連立微分方程式を解こうとしているのですが、条件をどう入れればいいか困っています.よろしくおねがいします。 dx/dt=y-2ax; dy/dt=-x; この微分方程式は手で解く事も可能ですが、練習としてmapleで数式処理したいと思っています. 手で解く際には、特性方程式を解くと-a±sqrt(a^2-1)が出てきます。 これをmapleのdsolveで解くと,(a^2-1)が正の値として計算されてしまいます. ここで質問なのですが,(a^2-1)を負の値とした場合の連立微分方程式の解法を教えていただきたいです。 よろしくおねがいします.

  • 微分について質問があります

    x=sinωt/sinθをtについて微分するとき、答えは x'=ωcosωt/cosθなんでしょうか、x'=ωcosωt/sinθなんでしょうか? 教えてください。

  • 物理で出てきたのですが数学のような

    X=sin π t y=2cos 2π t これらをそれぞれ微分してグラフを書けという問題なのですが、「t」が含まれるから物理なのでしょうか? それとX=sin π tの微分は「X'=cos π t」だと思うのですがどうでしょうか? また、こちらの微分に大変悩んでいます。 y=2cos 2π tの微分は「y'=-4πsin 2π t」だと予想するのですがグラフを書く際に「-4π」では上限?が決められなくて書くことができないと思うので、この解答はありえないと思うのですが、ほかの解答が考え付かなくて困っています。 みなさんのお力をお貸し下さい。

  • 数式処理ソフトについて

    Mathematica, Maple, Mupadなどの数式処理ソフトがありますが、 それぞれどのような特徴があるのでしょうか。 できれば、入手方法、価格なども教えていただけると幸いです。 (学生用の低価格のものもあるようなので…。) また、MupadのLiteバージョンと有料のProバージョンはどう違うのでしょうか。 あるHPでLiteとProでは雲泥の差があると書いてあったのですが、そんなに違うのでしょうか。 ご回答よろしくお願いします。

  • scilab サイラボ(数学ソフト)

    数学ソフトscilabについて知っている方いますか?たとえば関数としてy=sin(x)としてこの関数を何回か微分した関数をベクトルか行列にいれていきたいのです。V=[cos(x) -sin(x) -cos(x) six(X) ]のようにです。sin(x)を微分するコマンドはないのでしょうか?derivatではうまくいかないし・・・お願い致します。

  • 数式処理ソフトmaximaでの数値計算

    フリーソフトの数式処理ソフトMaximaで、ある式f(x)の値を求めるのに、たとえばx=1、2、3、・・・と代入していき、f(1)、f(2)、f(3)、・・・を求めた後、リストとしてそれらを出力させるにはどうすればよいのか、詳しい方ご教示ください。 (関数のグラフは描かせる方法は知っていますが、そのグラフ上の各点の値を知りたいということです。)