【数式処理システム】 Maxima 【Common Lisp】at MATH
【数式処理システム】 Maxima 【Common Lisp】 - 暇つぶし2ch1:132人目の素数さん
10/10/17 09:09:43
フリーの数式処理システムMaximaに関するスレです。
MaximaはCommon Lispで書かれており、GNU GPLライセンスのもと
配布されています。各種UNIX、Windows、OSXで動作します。

■関連サイト
□Maxima, a Computer Algebra System (英語) - 公式サイト
 URLリンク(maxima.sourceforge.net)
□Maxima Beginner's FAQ (英語) - 初心者向けのFAQ
 URLリンク(beshenov.ru)
□Imaxima (英語) - Emacs用のGUIフロントエンド
 URLリンク(members3.jcom.home.ne.jp)
□Maxima interest list (英語) - Maximaに関するメーリングリスト
 URLリンク(www.ma.utexas.edu)
□Maximaで遊ぼう (日本語) - マニュアルの日本語訳や、インストールガイド等
 URLリンク(www.bekkoame.ne.jp)
□数式処理システムMaximaで楽をしよう (日本語) - 初心者向けのMaxima導入編
 URLリンク(www1.bbiq.jp)

2:132人目の素数さん
10/10/17 09:15:29
■前スレ
【数式処理システム】 Maxima 【Common Lisp】
スレリンク(math板)
 URLリンク(www.unkar.org) (ミラー)

■過去スレ
MAXIMA
スレリンク(sim板)
 URLリンク(www.unkar.org) (ミラー)
Maxima part2
スレリンク(sim板)
 URLリンク(www.unkar.org) (ミラー)

前スレは>>1に入れておくべきだったか? まぁいいか。

3:132人目の素数さん
10/10/17 09:22:54
初代スレのコテハン "GO MAXIMA" 氏の書込みのまとめ
URLリンク(ryoma3.hp.infoseek.co.jp)
URLリンク(ryoma3.hp.infoseek.co.jp)

日本語マニュアルは
URLリンク(www.h3.dion.ne.jp)
の方が新しいバージョンに対応してるのかな?


4:132人目の素数さん
10/10/18 07:40:42
>>1乙です。シミュ版のスレも落ちてたので現行唯一のスレ、かな?
wxMaximaを使う際は「Shift+Enter」で式を評価するというのは
FAQとしてテンプレに書いてあっても良いかも

5:1
10/10/18 11:09:40
>>4
Windows版はDEPの対象から外すのもFAQかも

6:132人目の素数さん
10/10/18 20:58:45
XPを使ってるから気づかなかったけど
バージョンアップの際、これは絶対ひっかかりそう

他の言語等に比べてpdf情報が多いのは数式が綺麗に表示出来るからかな
よく知らないけど、Webでの数式表示って未だ制限が多いのかなぁ

7:132人目の素数さん
10/10/20 21:30:10
FirefoxにPopup ALT Attributes入れるの忘れてた

>>6
IEはMathMLに対応してないですね(MathPlayerを入れればいいのだけど)。
数式を沢山使ってるWikipediaでも、画像にレンダリングしたものを返してきますし、
普及はまだ先かも。

8:132人目の素数さん
10/10/21 19:28:59
調べてみたら、Maxima→MathMLは問題なさそう(直/tex経由etc)なので、対応が待ち遠しいですね

久しぶりにVerUpしたらgensymが使えるようになっててこんなの作ってみた
genmat(a,b):=genmatrix(lambda([x,y],gensym(10*x+y)),a,b);

主に自習用にmaximaを使っているので
g以外の文字をくっつけたりアルファベット順に文字を出力させたり
色々カスタマイズしたいがgensymのインタフェースが中途半端なのが悲しい
Lisp層わからないし

9:132人目の素数さん
10/10/23 18:31:56
Maxima on ABCL: full pass on the test suite
URLリンク(abcl-dev.blogspot.com)

ABCL(Armed Bear Common Lisp)はJavaで実装されてるCommon Lisp処理系なんだけど、
他の処理系でMaximaを走らせた場合と比べてどうなんでしょう?

10:132人目の素数さん
10/10/24 11:25:14
他の処理系が何か(OS/別のlisp処理系)
試したいのは何か(速度/安定度)
よくわからないけど、実際に試してみればいいのでは?
それより古い記事だけど、速度は通常のmaximaよりは遅いって書いてる
URLリンク(abcl-dev.blogspot.com)

11:132人目の素数さん
10/10/26 23:46:48
猫に小判、まで読んだ。

12:132人目の素数さん
10/11/01 18:16:10
猫が寝転んだ。

13:132人目の素数さん
10/11/09 23:59:44
wxMaximaについて質問させてください。
OSはwindows 7 home premium 64bit
wxMaxima0.8.6を使っています。

最近導入したばかりで基本的なことをいろいろ試していたところでしたが、ファイル出力がうまくいかないので教えていただきたいです。

(%i) stringout("test",input);
(%o) C:/Program Files (x86)/Maxima-5.22.1/wxmaxima/test

となるのですが、該当フォルダに出力ファイルが作られません。というかどこにも作られません。

(%i) save("test",all);
(%o) test

こっちでも出力されません。
どうすれば出力されるのでしょうか?いろいろ調べてみたのですがわかりませんでした。。。

14:猫は偉そう ◆MuKUnGPXAY
10/11/10 00:00:40
>>11



15:132人目の素数さん
10/11/10 06:37:26
>>13
とりあえず絶対パスにして、
stringout("d:/test",input);
とかで回避するとか。

WindowsでwxMaximaをショートカットから起動すると、作業フォルダーが
Maximaのインストールディレクトリになるみたいですね。
あんまりうれしくない…。

16:132人目の素数さん
10/11/10 09:55:18
>>15
できました!ありがとうございます!!

なんで絶対パスじゃないと通らないのかは腑に落ちませんがとりあえずこれでやっていきます!

17:132人目の素数さん
10/11/10 10:02:04
>>16
C:/Program Files (x86)/Maxima-5.22.1/wxmaxima/ が書込み禁止になってるからじゃないの?

18:132人目の素数さん
10/11/19 00:43:36
sage

19:132人目の素数さん
10/11/23 11:09:32
不具合と回避策の報告をしておく。

現象:以前は動いていたmaxima5.20.1が急に動かなくなった。
wxMaximaを動かすと「Not connected to maxima」と表示される。
コマンドラインから動かすと
「Error in SYSTEM::SET-UP-TOP-LEVEL [or a callee]: :ROOT is an illegal pathname name.」
などのメッセージが出る。
maxima-5.22.1に変えても現象は変わらず。
OSはWindowsXPとWindows7(64bit)両方。

回避策:最近、環境変数TMPとTEMPをRAMディスクのある
R:\ に設定したのだが、これをR:\tmpに変更したら動作するようになった。
ドライブ直下にTMPを設定してはいけないらしい。

ウイルスソフトとかDEPの他にも不具合を起こす原因があったので参考までに。

20:132人目の素数さん
10/12/01 22:38:06
sage

21:132人目の素数さん
10/12/02 17:18:18
mac osXのclisp版で使っているのですが
gnuplotで出力したグラフをクリップボードに保存するのにはどうすれば良いですか?
winではボタンがあったのですが・・・

22:132人目の素数さん
10/12/11 20:14:24
>>21 gnuplotからcopy to clipboardってコンテキストメニューでてこないの?

最近知ったがdraw_fileが5.20から追加されてたのな
未だに5.17使ってるけど新しいの入れないと

23:132人目の素数さん
10/12/15 23:16:59
WindowsでGCL版を使ってるので外してるかも知れませんが

>>21
OSXならsbcl版の方が速いのでは?

24:132人目の素数さん
10/12/17 21:41:45
>>23
> OSXならsbcl版の方が速いのでは?

本題は速い遅いではないでショ


25:132人目の素数さん
11/01/03 19:34:19
>>24 もしかして総北ネタだったのか?気付くの遅くなってスマソ

26:132人目の素数さん
11/01/07 02:05:33
factorでたまに出てくるbpvって何だ?

27:132人目の素数さん
11/01/09 17:39:16
【R言語】統計解析フリーソフトR 第4章【GNU R】
スレリンク(math板)

28:132人目の素数さん
11/01/12 13:41:05
素人がここで聞いていいのかですがおじゃまします。
えっと累乗和なんですけど、

Bin(n,r):=n!/(r!*(n-r)!);
s(p,n):=s(p,n):=((n+1)^(p+1)-1-sum(sum(Bin(p+1,a)*k^a,a,0,p-1),k,1,n))/(p+1);

とすると、s(0,n) = n , s(1,n) = n(n+1)/2 までは求まるんだけど、

n(2,n)が (n^3+3n^2+3n-Σ(k=1,n)(3k+1))/3 になっちゃって Σの中が展開されないんですけど、これを展開して Σk が s(1,n)であると maximaに認識してもらって
展開する方法ってありますでしょうか

ものすごく昔にmathematicaにやらせたときは、求められた記憶があるんですが…

わかる方いらっしゃいましたら、よろしくお願いします。


29:132人目の素数さん
11/01/12 18:26:21
なんか ひどいので直してもう一度><

えっと累乗和なんですけど、

Bin(n,r):=n!/(r!*(n-r)!);
s(p,n):=((n+1)^(p+1)-1-sum(sum(Bin(p+1,a)*k^a,a,0,p-1),k,1,n))/(p+1);

とすると、s(0,n) = n , s(1,n) = n(n+1)/2 までは求まるんだけど、

s(2,n)が (n^3+3n^2+3n-Σ(k=1,n)(3k+1))/3 になっちゃって Σkの部分が展開されないんですけど、これを展開して Σk が s(1,n)であると maximaに認識してもらって 展開される方法ってありますでしょうか

ものすごく昔にmathematicaにやらせたときは、求められた記憶があるんですが…
わかる方いらっしゃいましたら、よろしくお願いします。

yacasでやってみたら、 s(0.n)で、なぜか後半部分に p=0が代入されずに残っちゃいました><

30:132人目の素数さん
11/01/12 19:12:15
お使いのプログラムでは、
Σ[k=1,n] 1 =n
Σ[k=1,n] k =n(n+1)/2
Σ[k=1,n] k^2 =n(n+1)(2n+1)/6
が求められるのでしょうか?
記述を見ると、おそらく、それぞれ、
sum(1,k,1,n) sum(k,k,1,n) sum(k^2,k,1,n)
と、入力するとおもいます。

31:132人目の素数さん
11/01/12 20:29:22
>>30
回答ありがとうございます えっと 値を求めたいんじゃなくて
Σ[k=1,n] 1 = n で表される 式そのものを求めたいんですよ。でこれで求まるはずなんですが
>>29のようなわけでして。


32:132人目の素数さん
11/01/12 20:33:55
蛇足 大昔10年くらい前に mathematicaで 同様の式で うちのPCでやったら 
(とうじはアカデミックパックをもってて使えたもので)
たしか7乗くらいまではなんとか数時間で答えが出て 8乗くらいでギブアップだったかと
またやってみたくて、つかえる処理環境当たり出したんですよ。


33:132人目の素数さん
11/01/12 20:36:10
ああ Σなしで n だけで表される式って言えばいいんですかね。

34:132人目の素数さん
11/01/12 20:57:02
いま、思った通りの動作をしてくれないのですよね?
それで原因を特定するために、チェックをして欲しいと書いたのです。

例えば、お使いの処理系がs(3,n)をnだけの式として表示されるためには、
Σ[k=1,n] k^3 を、きちんと (n(2n+1)/2)^2 と表示させる能力を持っている
必要があります。
その基本能力を有していますか? と尋ねているのです。

それを持っているのに、思い通りの動作をしないというのであれば、別のところに原因がある
はずですが、まずは、その「基本能力」の有無をチェックして欲しいと書いたのです。

35:132人目の素数さん
11/01/12 21:29:19
あぁ...、訂正
×:Σ[k=1,n] k^3 を、きちんと (n(2n+1)/2)^2 と表示させる能力を持っている
○:Σ[k=1,n] k^3 を、きちんと (n(n+1)/2)^2 と表示させる能力を持っている

36:132人目の素数さん
11/01/13 03:49:05
URLリンク(up3.viploader.net) でわかりますかね

wxMaxima 0.7.8
Maxima ver 5.23.0 っつーことらしいんですが





37:132人目の素数さん
11/01/13 11:29:02
s(0,n)、s(1,n)のときでは、sumの実質的な働きを検証できません。なぜなら、
p=0の時は、内側のsumはsum(Bin(1,a)*k^a,a,0,-1)と、0から-1までの加算なので、何も行わず0となるでしょう。
外側のsumも何も行わずはずれ、((n+1)^(p+1)-1)/(p+1)に、p=0が入った、((n+1)^1-1)/1=nが表示されたのです。
p=1の時は、sum(Bin(2,a)*k^a,a,0,0)なので、0から0までの加算つまり、0の時の値そのものなので、
一端Bin(2,0)*k^0となり、1になります。
そして、外側のsumは、sum(1,k,1,n)となりますが、sumのインデックス変数kと無関係な量の加算なので、
sum関数の特殊処理として、(被和算関数)×(インデックス数)が行われ、1*nから、nとなり、
((n+1)^(1+1)-n-1)/(1+1)=((n+1)^2-n-1)/2となったと想像できるのです。

そして、p=2の時、内側のsumは、sum(Bin(3,a)*k^a,a,0,1)です。つまり、Bin(3,0)+Bin(3,1)*k=3k+1です。
これが、sumが本来の仕事を初めてですが、これはできて当然です。sumのインデックス変数に文字は
含まれてなく、展開しただけだからです。
そして、外側のsumはsum(3k+1,k,1,n)となりますが、文字nがあるため、計算されなかったのです。
つまり、お使いの処理系では、sum(k,k,1,n)=n(n+1)/2と処理する能力が無いのではと考えられるのです。

だから、最初から、言っているではありませんか。
sum(1,k,1,n)
sum(k,k,1,n)
sum(k^2,k,1,n)
これらを入力してみてください。そして、その結果をお知らせ下さい、と。上の疑いをはっきりさせるためです。

38:132人目の素数さん
11/01/13 11:45:21
おじゃましましたまたきますw

39:132人目の素数さん
11/01/13 12:09:22
ちなみに mathematicaのギブアップというのは 表現が悪くて2日くらい回して終わらなかったので私がやめました。
勝手な想像になるかも知れなせんが、計算量から見て、「一つ手前のべきの累乗和の式をすでに持っている」のではなく
>>29でいったように 一つ手前のべきが出る式からまた再帰的に演算に入っていたと判断したのですが、
その判断が正しかったかは、いまは済みません検証できません。それ以上は私の頭がわるいようです。
いつか機会がありましたらまたきます。

40:132人目の素数さん
11/01/13 12:45:00
>>38
大変失礼です 「w」はミスタッチです 謹んでお詫び申し上げます

41:132人目の素数さん
11/01/13 13:09:45
あと、古い記憶なのでなにがしかのまちがいもあるかもしれません。
すくなくとも、出来る出来ないみたいなことで 文句を言いにきたとかではないです

42:仙石60+x
11/01/13 16:17:25
MATHEMATICA なら すなおに>>36をうちこむと

s(100,n)=1/101(1-2535301200456458802993406410650n +(1+n)^101)

になりますね

MAPLE、Maxima は カンがにぶってよくわからんけど

43:132人目の素数さん
11/01/13 16:20:28
s(100,n)=1/101(ー1-2535301200456458802993406410650n +(1+n)^101) ダヨ

44:132人目の素数さん
11/01/13 19:59:07
内側のsumと外側のsumを入れ替え、sum(k^a,k,1,n)をs(a)に置き換えると(再帰的に定義)、

s[p_]:=s[p]=Simplify[((n+1)^(p+1)-1-Sum[Binomial[p+1,a] s[a],{a,0,p-1}])/(p+1)]

となります。

関数Simplifyは、適当に括弧をはずし、適当に因数分解してくれるような感じの関数です。
何度も呼び出す可能性がある場合は、メモリに記憶させるとよく、途中に、“=s[p]”を入れておきます。

これで、s[100]を計算させると、

(-94598037819122125295227433069493721872702841533066936133385696204311395415197247711*n)/33330
+ 18674771685049011296614057325260991542019103825338734064995339343748060441015725*n^3
- (16293234618989521508515025064456465992824384487957638029599182473343901462949018943*n^5)/442
(中略)
(43232541100*n^91)/3 - 66698170*n^93 + 298760*n^95 - (2695*n^97)/2 + (25*n^99)/3 + n^100/2 + n^101/101

となりました。上の定義式が、希望されているものなのではないでしょうか?
以上、Mathematicaでの書式です。適当に記述をmaximaに変換してお試し下さい。

45:132人目の素数さん
11/01/14 02:39:15
初の夫ってことは 次の夫もいるのかw

46:132人目の素数さん
11/01/14 16:43:51
あ、誤爆してた すんません

>>44 わざわざありがとうございます そういうことだと思いまする
精読するのに ちょっと不足している知識があるようなんで ガンバつて読んでみますありがとうございます。


47:132人目の素数さん
11/01/21 20:45:05
柳下浩紀 建部賞

48:132人目の素数さん
11/01/23 01:55:59
>>29 nusum(k^2,k,1,n);

sum,の代わりにnusumを使えば済む話だと思うがどうか

49:132人目の素数さん
11/01/24 18:23:15
ド素人な俺が来ましたよ。
lbfgsの第一引数FOMは、ev(FOM, x:1)が実数になるものを用意する、
そこまではわかりましたが、
ev(FOM)とやったときにエラーやFconvertを返したりするFOMがまずい理由がわかりません。
具体的にはFOMがrkを含んでいると軽く死ねます。

curve : 'rk (..aが未束縛...
fom() := block([t], t: ev(curve), sum(...
このときev(fom())はFconvertを返します。おそらくこのために、
libfgs(fom(). [a], [1], ...
がZero divisorで失敗します。

ここまで来るのにも、Maximaの遅延評価の黒魔術の片鱗に触れましたが、
もっと深くハマらないとならんのでしょうか。

50:132人目の素数さん
11/01/30 11:46:20
Maximaの勉強していたけど、商用CASの挙動も知りたくなって、
TI-89 Titaniumを買ってみた。

機能的にはMaximaのほうが上なのだろうけど、
CASでは何が出来るべきなのか?という所を理解するのに、
商品として販売されていた実績があるものを買ってみた。
(Mathematicaも、せめてphotoshopくらいの価格だったら良いのに)

その関係で、Maxima以外にもCASの選択肢があることに気付いた。

Debug4x HP 48/49 SDK 2.2 Build 153
URLリンク(www.hpcalc.org)
HPのCAS電卓HP50gのエミュレータが含まれている。
商用利用は不可らしいけど、無料で使えて販売されている実績のあるCAS。
(エミュレータで遊んでいるうちに実機も衝動買いしてしまったorz)

Giac/Xcas
URLリンク(www-fourier.ujf-grenoble.fr)
もフリーのCAS。
日本語のドキュメントが無いけど、HP電卓のCAS開発者らしい。

51:132人目の素数さん
11/02/11 17:35:14
これは計算できないのでしょうか?

ave:sum(x[i], i, 1, n)/n;
sqave:sum(x[i]^2, i, 1, n)/n;
var:sum((x[i]-ave)^2,i,1,n)/n;
var-(sqave-ave^2);

nを決めてratsimpしたらゼロになりましたが、
n未定のままゼロになるようにしたいときは、どうすればいいのでしょう?

52:132人目の素数さん
11/02/11 20:49:57
二項定理も同じふるまい。

(x+y)^n-sum(binomial(n,i)*(x^i)*(y^(n-i)),i,0,n);


53:51=52
11/02/11 23:35:21
>>52
xcasでは、nが未定のままでも

(x+y)^n-sum(((n!)/((k!)*(n-k)!))*(x^k)*(y^(n-k)),k,0,n)

が0になった。
CASが二項定理を知っているかどうかだけの違い?

54:132人目の素数さん
11/02/12 00:11:08
>>51は、xcasでもsimplify出来なかった。

55:51
11/02/12 23:21:27
>>51
これで望んだ結果が出ました。

declare(sum,additive);
sd:expand(sum((x[i]-ave)^2,i,1,n)/n);
subst(sum(x[i], i, 1, n)/n,ave,sd);


56:132人目の素数さん
11/02/13 14:22:04
これもうまくいかないです。

(%i1) is(a[i]^2>=0);
(%o1) true
(%i2) is(sum(a[i]^2,i,1,n)>=0);
(%o2) unknown
(%i3) n:6;
(%o3) 6
(%i4) is(sum(a[i]^2,i,1,n)>=0);
(%o4) true


57:132人目の素数さん
11/02/13 14:22:54
Maximaってマスマティカからの乗換えでも十分使える性能ある?

58:132人目の素数さん
11/02/13 15:43:49
これも知らないって。

assume(a^2>=b^2);
assume(b>=0);
is(abs(a)>=b);

教科書の証明の中では、自明であるかのように使われているのに。

59:132人目の素数さん
11/02/15 23:07:43
assumeのヘルプにもあんまり推論昨日は強くないと書かれてたような気がしたが

60:132人目の素数さん
11/02/16 20:17:54
>>59
無理かなという気もしていた。

そもそも、どの問題もderive(TI-89のCAS)では歯が立たなかったし。
(高校レベルの範囲であるのは間違いないのですが。)

『はじめてのMaxima』のネット公開版は書籍版の2倍近くに増えていて、
述語論理とか数学基礎論の話題も含まれるようになっていたので、
読んでみるとこのあたりの事情にも理解が深まるかもしれないですね。

TI-89は50ページほどの取扱説明書を読めば、使い方も限界も把握できる感じですが、
Maximaは1000ページくらいの本を読んでも、何が可能で何が不可能かよく分からない感じです。

61:132人目の素数さん
11/02/17 00:38:52
>何が可能で何が不可能かよく分からない感じです。

分かってる人いるのか?w

62:132人目の素数さん
11/02/18 21:34:34
>>61
それは、ゲーデルの不完全性定理みたいなもの?

63:132人目の素数さん
11/02/19 15:19:04
これもだめだ。
diff(%e^x,x,n)

書店でmathematicaの本を立ち読みしたら、sumの使用例では項数が固定になっていた。
CASは任意の自然数nについての答えを出すのが苦手なのかな。

64:132人目の素数さん
11/02/20 00:05:44.53
>>63
n
d x
--- (%e )
n
dx

って出るぞ?

65:132人目の素数さん
11/02/20 00:30:16.91
>>64
x
%e
と出て欲しい。

exp(x)を何階微分してもexp(x)になるのだから。

66:132人目の素数さん
11/02/20 02:24:25.94
>>65 数式処理ってそういう先回りした答えを出すものなのか?

ちなみにmathematicaでもn回微分と表示される
探せばそういう簡単化のオプションがあるのかもしれない

67:132人目の素数さん
11/02/20 09:08:46.49
>>66
Mathematicaでも出来ないと言われるとホッとしてしまうorz

しかし、これも記号処理だから出来て欲しいとは思う。

教科書見ると普通に

a[1]*b[1]+a[2]*b[2]+...+a[n]*b[n]

なんて式が出てくる。
nを決めないと答えが出てこないのでは、CASの面白みが半減する。

68:132人目の素数さん
11/02/20 19:57:01.06
級数解を閉形式にしたいってことなのか?
なんか言ってることに違和感を感じるんだが

69:132人目の素数さん
11/02/20 21:25:25.71
オープンソースだし
出来ないなら君が実装すればいい

70:132人目の素数さん
11/02/20 21:29:34.58
>>68
そこまで抽象的な理解はしてないです。

diff(%e^x,x,1)
diff(%e^x,x,2)
diff(%e^x,x,3)

と続くのに

diff(%e^x,x,n)

だと答えが出ない。

また、高校レベルの統計の公式

E((x-E(x))^2)=E(x^2)-E(x)^2

も、ユーザーがサンプル数を決めないと
成り立つか成り立たないか判定できないところが不思議だと思うわけです。

前提を一つ加えてスンナリ判定できるようになるなら面白いのですが。
(仮に自明でないとすれば、欠けてる前提は何なのでしょう)

71:132人目の素数さん
11/02/22 21:30:33.98
>>70
なんというか数式処理が出す形式的な回答に満足がいかない感じなのか
diff(%e^x,x,n) の評価が (d^n/dx^n)exp(x) というのは間違っていないし、
数式を処理する手順の表現として合っていると俺は思うんだが。

declare(n, integer)とかしても駄目みたいだな

72:132人目の素数さん
11/02/23 00:17:14.09
maxima
URLリンク(news.dengeki.com)

73:132人目の素数さん
11/02/23 00:23:50.40
>>71
もちろん、>>70で挙げたのも「形式的」な処理だとは思うのです。

しかし、xは式でOKなのに、nは数値でなければならない。
行列やベクトルの各要素は式でもOKだけど、要素数と次元数は数値でなければならない。
級数や数列の各項は式でもOKだけど、項数は数値でなければならない。

教科書の記述では上記のnも式であることが多いのに、
CASでは数値であることを要求されるのが不思議です。

Mathematicaもそうであるようですけど、学生など、これで不自由を感じないものなのか。

diff(%e^x,x,1))=%e^x
diff(%e^x,x,n-1)=%e^x
から、
diff(%e^x,x,n)=%e^x
が求まるのでも面白いですね。

diff(%e^x,x,1)=%e^x
は知識としてmaximaにコーディングされているだけだと思うのですが、それが
diff(%e^x,x,n)=%e^x
と実装されていれば良かったのか(再定義可能なのかも知れませんが)。

それとも
diff(%e^x,x,1)=%e^x
diff(%e^x,x,n)=%e^x
の2つの知識は、数学の専門家にとってはもう全然別の話題なのか。

74:132人目の素数さん
11/02/23 02:02:33.38
>diff(%e^x,x,1)=%e^x
>diff(%e^x,x,n)=%e^x
>の2つの知識は、数学の専門家にとってはもう全然別の話題なのか。

1段目は定義で2段目は1段目から数学的帰納法によって導かれる定理じゃないの?
defruleとか使ってみたらどうなんだろ

75:132人目の素数さん
11/02/23 21:37:41.47
>>74
defrule(rec,recdiff(%e^x,x,n),%e^x);
apply1(recdiff(%e^x,x,n),rec);

とやると、一応OKだったんですけど、

今度は、

apply1(recdiff(%e^x,x,1),rec);

が置換されない。

まだまだMaximaの勉強をしなくてはならないと思いました。

> 1段目は定義で2段目は1段目から数学的帰納法によって導かれる定理じゃないの?

前者と後者は「同値」で、どちらを公理として採用しても残る一方は導出できますね。
でも一般的なCASはその導出を行わない。「自明」ではない。

「同値」と「自明」の違いは、単に直感的でものではなく、
計算理論に基づく厳密なものなのかも。

76:132人目の素数さん
11/02/24 00:13:57.67
1+4と2+3は同値だけどどっちを公理にすればいいですか?w
maximaの勉強じゃなくて用語の定義を勉強しなおせよw

77:132人目の素数さん
11/02/24 20:01:31.39
>>76
自分が「同値」と「自明」の違いを整理しきれていないのはその通りだけど、
1+4や2+3が「命題」になるような体系も考え得るものなのですかね?

78:132人目の素数さん
11/03/04 08:03:16.12
できあいの関数はなさそうなので
n要素のm番目が1の単位ベクトルを作る関数を書こうとしてるのですが

/* これの中身が評価されれば求まる */
f(n,m):=makelist(x=m,x,0,n-1);

あと少しだと思うのですがうまくいきません
どうすればいいでしょうか

79:132人目の素数さん
11/03/04 20:10:43.18
自己解決。うまくはないけど行列経由で
g(n,m):=substpart("[",genmatrix(lambda([x,y],if y=m then 1 else 0),1,n),0)[1];

置換群の行列表現で計算するプログラムを書いたんですが
もう一箇所つまづいたのがリストのリストから行列を構成する所
buildq+spliceでうまくいきます。参考まで

80:132人目の素数さん
11/03/04 20:20:28.84
こうとかかね
f( n, m ) := makelist( (if i - 1 = m then 1 else 0), i, 1, n )
part が 1 からだから添え字 1 からの方が相性は良いかもしれないけど

81:80
11/03/04 20:25:00.78
なんというタイミングの悪さ
80は忘れてくれ

82:132人目の素数さん
11/03/04 21:06:38.53
先頭が1で残り要素0の配列を作って、それを右にm-1回転させたりとか。
数学板で言うとバカにされそうなやり方w


83:132人目の素数さん
11/03/04 21:34:13.84
>>80
いやいや、こちらのほうが効率は良いので助かります。ありがとう。

84:132人目の素数さん
11/03/12 20:37:50.70
この計算は、nを定めなくても実行してくれますな。

sum(1,i,1,n)
sum(1/n,i,1,n)

しかし、

(%i1) is(product(i,i,1,n)=n!),n=10;
(%o1) true
(%i2) is(product(i,i,1,n)=n!);
(%o2) false

わからないならUnknownと表示すべきなのに……

85:132人目の素数さん
11/03/13 17:12:20.93
1,2,3,...
が自然数であるとして、
自然数のいずれでもありうるとされる文字"n"は自然数ではないというのが、問題なのかな。

a[1]*x+a[0]
a[2]*x^2+a[1]*x+a[0]

は多項式に該当するけど、

a[n]*x^n+a[n-1]*x^(n-1)+...+a[1]*x+a[0]

は多項式ではないみたいな。

86:132人目の素数さん
11/03/14 20:10:20.30
質問です。
方程式60*2^p=50*2^q(p,q are integer)をmaximaに入力させたいのですが、
p,qの最小の(p*qが)整数解を得るにはどのような入力をするべきでしょうか。

87:132人目の素数さん
11/03/20 15:53:51.94
高校レベルの定理が網羅されていないような気がする。

declare(a,real)$
declare(b,real)$
declare(c,real)$
declare(x,real)$
assume(equal(a*x^2+b*x+c,0))$
is(b^2-4*a*c>=0);

> (%o6) unknown

88:132人目の素数さん
11/03/22 01:10:52.03
>>87
Maximaは本当に推論は弱い(というか実装されていない)と思います。代わりに計算は強いので、
solve(a*x^2+b*x+c=0,x);
[x = -(sqrt(b^2-4*a*c)+b)/(2*a),x = (sqrt(b^2-4*a*c)-b)/(2*a)]
と答えてくれます。

ちなみにassume()って途中でpositiveかとか聞かれるのを抑制するのにはうまく使えるんです。

89:132人目の素数さん
11/03/22 20:32:08.00
>>88
どうもありがとう。

もしかしてMaximaが自分の用途に向いていないのでしょうか?

当初は数理ファイナンスの教科書の記述を辿る予定で、
そのために必要な操作を『はじめてのMaxima』で摂取するつもりだったのですが、
正直歯が立たないです。

その基礎知識を摂取するつもりで手を付けた群論の教科書も、
最初の定理の証明をMaximaにやらせるにはどうすればよいのか途方に暮れる始末。

こういう用途にはprologかMLなのでしょうか?

90:132人目の素数さん
11/03/22 23:32:21.02
実用的な定理証明システムなんてまだ無いので、定理の証明をMaximaにやらせるのは無理です。
数式変形ならMaximaでもできますから、まずは簡単な問題をMaximaで解いてみると良いです。
例えば、86の問題。
p,qの不定方程式60*2^p=50*2^q(p,q are integer)
をMaximaで解いてみると、どうなります?(一目瞭然ではありますが)。

91:132人目の素数さん
11/03/23 04:12:45.16
maxima,mathematicaは代数・記号処理ですから、gnur R言語の方がいいでしょうね。
もう少し「数学ソフト」と言うのはどういうのがあるかを調べた方がいいですよ。

92:132人目の素数さん
11/03/23 15:48:37.06
定理自動証明とかならCoq, Agdaあたりかな?少し毛色が違うけど

93:132人目の素数さん
11/03/23 22:30:40.48
>>90
> 実用的な定理証明システムなんてまだ無いので、定理の証明をMaximaにやらせるのは無理です。

無理ですか……
ポリアとかサイモンとか、結構古いんですけど。
やっぱり、サイモン先生はうそつき?

> p,qの不定方程式60*2^p=50*2^q(p,q are integer)
> をMaximaで解いてみると、どうなります?(一目瞭然ではありますが)。

q:a+p$
solve(60*2^p=50*2^q,a)$
rhs(%[1])$
radcan(%);
integerp(%);

> (%o15) false

p-qは整数でないので、pとqが同時に整数とはなりえない。
もうちょっとコンピュータ任せに出来れば面白いのですが。

94:132人目の素数さん
11/03/23 22:55:55.86
>>91
Rは数値処理ですね。(Maximaより先にR/APLのほうに触れています。)

(∀x (Px → Qx)) ∧ Pa → Qa

だって記号処理ですし、
everyやsomeという関数があったり、
『はじめてのMaxima』に外延/内包という記述もあったりで、期待はしていたのですが……

95:132人目の素数さん
11/03/23 22:59:27.41
>>92
具体的なソフトウェア名の提示ありがとうございます。
ドキュメントが英語なのは難ですが、英語の情報だけから目的にあったソフトウェアを探すのはもっと大変だと思います。
さすが、数学板住民ですね。

96:132人目の素数さん
11/03/24 00:47:34.61
>>94
私もRは数値処理って思ったんだけど、91さんが言いたいのは
数理ファイナンスならRの方が役に立つ、ということかも。違ってたら
ご指摘を。

93でやったような数式計算ならばMaximaは得意だと思うんです。数理
ファイナンスの数学の式計算(偏微分方程式のオンパレードみたいな
やつですよね)には使えないのかなあ。

>>92
CoqやAgda、普通の証明(ってなんだ?)にも使えそうでしょうか。
時代は進歩しているんですね。



97:132人目の素数さん
11/03/24 20:26:02.40
>>96
> 数理ファイナンスならRの方が役に立つ、ということかも。違ってたら

なるほど、そういう意味でしたか。

教科書は記号で書かれていても、
実務の世界ではモンテカルロシミュレーションが幅を利かせるらしいですね。

> ファイナンスの数学の式計算(偏微分方程式のオンパレードみたいな

それが放送大学の教科書では、ベクトルと行列なんですよ。
著者がへそ曲がりなのかも知れません。

ただ教科書は、大きさ未定義の数列、ベクトル、行列について記載されているので、
イラついていました。
>>87の定理も、教科書中でコーシー=シュワルツの不等式を証明するのに使われていたものです。

98:132人目の素数さん
11/04/02 18:00:03.52
>>92
CoqはOCaml、AgdaはHaskellで記述されているそうですね。
手元にSMLの入門書があるので、ML→Coqの順に攻略してみようかな。

あと、ちょっと気がついたのですが、
「新しい数学」の提唱者のケメニーとBASIC言語の開発者のケメニーって同一人物ですよね?

99:98
11/04/02 21:35:41.58
>>98
> 「新しい数学」の提唱者のケメニーとBASIC言語の開発者のケメニーって同一人物ですよね?

検索してみると、このケメニーがジョン・マッカーシーを助教授としてダートマス大学に招いて、
LISPの開発はマッカーシーがダートマス大学の助教授だった頃に行われたとか。

すごく偉い人みたい。

100:132人目の素数さん
11/04/05 02:08:43.33
>>63
diff(exp(x),x,n)が簡約出来ない理由を調べました。comm-new.lispの中の
deriv(e)という関数が微分を行う関数群のentry pointです。この中でdiff
の第三引数の型をチェックしています。
この型がFIXNUM以外の場合には、名詞形を返す処理をしています。

ちなみにMaximaの機能拡張を使ってこの処理を実装するのは簡単でした。
matchdeclare([a,b],true);
tellsimpafter('diff(exp(a),a,b),exp(a));
でお終いです。これをmaxima-init.macにでもかいておけば所望の処理が
行われます。

最後になぜこいつが実装されていないのか、、、想像するに普通は欲張って
diff(exp(f(x)),x,n)を実装したくなりませんか?もちろんnが具体的な
数ならばちゃんと微分してくるのですが、変数の場合の一般的な公式が
よく分かりません。だからじゃないかな、、。
ちなみにdiff(exp(x),x,n)->exp(x) だけなら自明だし簡単に自分で
実装出来るのでわざわざ組み込まれてない気がします。

101:132人目の素数さん
11/04/06 17:40:41.88
>>100
ありがとうございます。
LISPのプログラムを解読できるなんて、スゴイですね。

> matchdeclare([a,b],true);

こっちの記述が、理解できていません。
『はじめてのMaxima』には、a,b部分が項の羅列でtrue部分が述語だとありました。
記述は簡単でも、概念が自分の理解を超えて抽象的なようです。

> diff(exp(f(x)),x,n)を実装したくなりませんか?もちろんnが具体的な

単純に使う立場として、
diff(%e^(k*x),x,n);
を入力してしまいました。
一般性を求め始めると切りがないのですね。

今はMLの教科書を読み進めているのですが、
正直、何から手を付けたものかちょっと途方に暮れています。

CASや定理自動証明などのコンピュータ使用を前提として、
中学・高校レベルの数学の教育方法を全面的に見なおす流れにはなっていないみたいですね。
'60年代の「新しい数学」や'90~'00のグラフ電卓の時には、教育者の方々も熱中していたみたいですが。

102:132人目の素数さん
11/04/06 17:51:32.43
で?

103:132人目の素数さん
11/04/08 01:51:01.86
>>101

matchdeclare([a,b],true);
は変数a, bをパターン変数として宣言しています。どんなパターンに
マッチするかが述語で表されています。trueならばどんな式にもマッチする
のです。tellsimp, tellsimpafter, defruleなどでルールを定義する時には
パターン変数を使いたいですよね。その時には必ずmatchdeclare()のお世話に
なります。

104:132人目の素数さん
11/04/09 19:24:44.71
>>103
再帰の終了条件を指定するものなのだと思った方が良いようですね。

P(x):=x>0;
matchdeclare(a,P);
tellsimp(fact(a),a*fact(a-1));
tellsimp(fact(0),1);
fact(10);
fact(-10);
fact(x);

述語という語感から

matchdeclare(b,Human);
tellsimpafter(Human(b),Mortal(b));
Human(Socrates);

みたいな書き方をするイメージを受けていたのですが、
これだと、Humanという述語が真偽値を返すように具体的に定義されていないので、
HumanをMortalに置き換える規則が適用されない。

matchdeclare(b,true);

と書かなければならない。
この場合bを使って再帰的定義をすると、無限再帰になると。

105:jrpp
11/04/09 22:04:34.43
>> 104
3つ答えたいです。
1. 普通階乗を定義するのならmyfact(n):=if n>0 then n*myfact(n-1) else 1;

2. パターンマッチで計算を記述することも出来ますね。その意味では>>104
プログラムもアリだと思います。Prolog みたいですね。

3. 述語って「真偽を判定する関数」という意味だけです。そこから推論
してくれることはほとんどありません。Maxima は数式処理をするのであって
定理証明や推論や導出をしてくれるわけではないんです。
matchdeclare(a,P)とかけば、マッチされる側がPを満たせば、aにマッチする、
ということです。

106:jrpp
11/04/09 22:16:42.80
古い書き込みを見ていたら面白い問題が色々ありますね。
>> 29
Bin(n,r):=n!/(r!*(n-r)!);
s(p,n):=((n+1)^(p+1)-1-sum(sum(Bin(p+1,a)*k^a,a,0,p-1),k,1,n))/(p+1);
で、s(2,n);とやってもsum()が式に残る、ということですよね。

とにかくsum()を出来るだけ簡易化したいのなら、
load(simplify_sum);
simplify_sum(s(2,n));
とやれば求まります。

simplify_sum(s(100,n));も4秒くらいで求まります。

simplify_sum()はMaximaに実装されている各種sum()アルゴリズムを適宜
呼び出すように作られているので、答えを求めたいだけならこれが一番
便利です。

107:132人目の素数さん
11/04/11 13:55:51.50
TeXmacs以外にもLyxでも動くんですか?

108:132人目の素数さん
11/04/15 18:01:56.87
5.24.0あげ

109:132人目の素数さん
11/04/18 11:01:07.80
>>107
動くよ。ただしプロンプトは出ない。

110:132人目の素数さん
11/04/18 11:03:51.42
lyxでは、たとえばワードで作成した文章の中にエクセルの表を挿入する
というような形になる。オブジェクトの挿入というのかな。そういう感じ。
数式オブジェクトの中での計算にmaximaが使える。

111:132人目の素数さん
11/04/19 19:19:17.36
>>108 5.24産業

112:132人目の素数さん
11/04/20 17:15:00.93
なんでgitに変えたりするんだ

113:あんでぃは弱虫 ◆AdkZFxa49I
11/06/09 18:18:17.61
あんでぃ

114:132人目の素数さん
11/06/11 18:19:28.54
MATHEMATICAと用語を共通にしたらいいんじゃねえ?

115:132人目の素数さん
11/06/15 01:39:15.02
Snow LeopardでMaximaを導入したのですが、グラフをプロットしたいのに自動的にgnuplotが立ち上がりません。
gnuplotはインストールしています。
パスはどのように通せば良いのでしょうか?

116:132人目の素数さん
11/06/20 14:48:46.87
>> 112
Mac OS X上でgitクライアントのインストールから初めて、Maximaレポジトリの取得、
ビルドなど一通りやってみた。習うより慣れろ、かもしれません。

>> 115
MaximaやGnuplotはどうやってインストールしましたか?公式サイトのパッケージ?Fink
とかMacportsから?

117:132人目の素数さん
11/07/02 01:31:54.68
URLリンク(pr.fujitsu.com)
京都大学において数式処理の世界記録を達成
富士通のシステムを活用した16次方程式の判別式計算の成功により、
「ものづくり」の品質向上に期待
2011年6月27日
富士通株式会社
株式会社富士通研究所

118:132人目の素数さん
11/07/02 02:38:30.79
「ものづくり」の品質向上…
は、さすがに、こじつけすぎるだろ。

119:132人目の素数さん
11/07/02 07:27:18.98
16次でしか作れない「ものづくり」って例えばなんでしょうね。

120:132人目の素数さん
11/07/02 09:37:23.13
15次じゃあダメなんですか?

121:132人目の素数さん
11/07/03 08:29:23.64
集積回路の論理設計の矛盾発見を効率化でき

122:132人目の素数さん
11/07/03 13:40:29.66
16次方程式が解けるってことは、それ以下の次数の方程式も解けるってことだな。
むろん、そのままでは解けないが、xのn次方程式全体にxの(16-n)乗を掛けて
16次方程式の形にすれば解ける。
あとは下駄を履かせた次数だけ、0となる解が出てくるのでそれを無視すればいい、と。

123:132人目の素数さん
11/07/03 15:11:43.06
FEMみたいな差分法に由来する計算だとn元連立一次方程式を解くことが求められるけど、逆にn次方程式を解く需要はどうなんだろう
問題設計を一からやり直せば需要が見つかるかもしれないが、そんなガッツを持った人がいるかどうか

124:132人目の素数さん
11/07/04 00:11:23.10
高次方程式が解けるとはなんだろう。

125:132人目の素数さん
11/07/04 07:47:17.12
>>122
アホアホ

126:ポチは玲瓏 ◆R2soZCYWpU
11/07/04 12:32:16.55
ポチ

127:132人目の素数さん
11/07/04 19:52:54.57
高次の代数方程式が解ければ、高階の線形微分方程式も解ける。
故に五階以上の微分方程式は線形であっても解けない。

それに気付いたときの切なさ。
大人はみんな嘘つき。

128:あんでぃは炯々 ◆AdkZFxa49I
11/07/04 19:53:48.00
あんでぃ

129:132人目の素数さん
11/07/05 16:06:49.62
>>124
数値積分

130:132人目の素数さん
11/07/16 09:58:16.50
>>122
楕円関数を使えばということ?

131:132人目の素数さん
11/07/16 10:20:13.44
16次方程式の判別式計算

16次方程式の「数値」解の計算
とは別物。

単に高次代数方程式を解くだけなら 1981年の時点で 2048次方程式の数値解の計算が行われている。
(手元の本を見ただけ。現在はもう二桁くらい大きな次数が解けているんじゃ無いかな)


132:132人目の素数さん
11/07/16 19:12:44.81
解析関数の数値計算は無限次代数方程式の近似解ですおし。

133:132人目の素数さん
11/07/29 21:30:38.33
三角関数の cos(π/5)など π/6 の整数倍でないものを  (5^(1/2)+1)/4 のように計算させるには
どうすればいいのでしょうか? 
近似値ではなく、二重根号などを含んだ解で求めたいのです。
もちろんすべての角度で計算できるはずはないことは承知です。


134:132人目の素数さん
11/07/30 04:12:22.14
× もちろんすべての角度で計算できるはずはないことは

○ もちろんすべての角度で計算できるわけではないことは

135:132人目の素数さん
11/08/02 11:46:20.31
π/8 とか π/10 とか π/12 とかの 切りよく出る値を覚えといて
そこから自前でやるしかないんじゃないかな?

MuPadなんかはsin π/nを 二重根号表記に直しちゃうけど
それでも n=1,2,3,4,5,6,8,10,12くらいまででしょ。

136:132人目の素数さん
11/08/09 11:51:25.39
>>133 まだ居るかな?遅くなったけどntrigをロードしておけばいいんじゃないか

load(ntrig);
sin(%pi/5);

(sqrt(5)-1)*sqrt(sqrt(5)+5)/2^(5/2)
と出る

137:132人目の素数さん
11/08/10 02:34:39.71
ありがとうございます。 うまくいきました。

138:132人目の素数さん
11/08/12 07:43:25.35
5.25.0あげ

139:132人目の素数さん
11/08/12 08:27:30.93
なにが変わったの?


140:138
11/08/18 15:47:55.44
URLリンク(www.math.utexas.edu)
とか見てると、Common Lispの処理系によっては残念な事になってるみたい
ですね。
SBCLはGCLよりもっと速いのかと思ってたけど、run_testsuite()の範囲だと
そうでもないのか。

141:138
11/08/19 09:02:25.26
>>139
ChangeLog出ますた
URLリンク(maxima.git.sourceforge.net)

142:132人目の素数さん
11/08/19 10:12:41.35
Lispを使うのを廃したシステムにすれば、もっと速度が稼げるはずだ。
Lispが発明されMaximaが作られ始めた頃のコアメモリを使う計算機では、
メモリアクセスは演算に比べて同等程度に早かったが、今のVLSIを
基礎とする計算機では、メモリアクセスのコストはレジスタやキャッシュ
に対するものの百倍程度にはなる。つまり、Lispを使ってポインタを
手繰って処理するしかないやり方では、計算の速度はメモリアクセスの
レイテンシに律速されてしまう部分が大きいのだ。

143:132人目の素数さん
11/08/19 10:17:31.72
貧乏人の戯言

144:132人目の素数さん
11/08/21 09:25:00.89
2ちゃんは馬鹿の巣窟(笑)



145:132人目の素数さん
11/08/21 13:20:24.10
Maximaで
0<X<10
0<y<20
の範囲を塗りつぶすようなグラフはどうすればかけますか?

146:132人目の素数さん
11/08/21 14:41:14.32
>>145
つgnuplot

147:132人目の素数さん
11/08/21 17:19:06.49
gnuplot で どうすればかけますか?

148:132人目の素数さん
11/08/21 18:45:29.11
ggrks

149:132人目の素数さん
11/08/21 19:46:22.35
>>147
RTFM

150:132人目の素数さん
11/08/21 22:43:44.52
上のほうであった16次方程式の判別式計算の話
理系への数学っていう雑誌の一番後ろのところに
誰かが解説してくれてたね(1ページだけだけど)

記事内容程度のことをすぐに板に書いてくれる人が
いないってのが数学板の知の限界かね ギコハハハ…

151:132人目の素数さん
11/08/25 23:19:07.38
^μ^

152:132人目の素数さん
11/08/26 16:20:02.41
>>142
中がlispだから改造しやすいので使ってるのに

153:132人目の素数さん
11/08/29 23:37:01.94
>>145 まだいるかな?矩形塗りつぶしならrectangleでいいんじゃないか
load(draw);
draw2d(fill_color = red, rectangle([0,0],[10,20]));

154:132人目の素数さん
11/09/02 15:04:49.55
sbclだとヒープを使いきった
というエラーで止まる数式処理があります

他の処理系ならもっとメモリーいっぱいまで使いきるような処理もできるのでしょうか

155:132人目の素数さん
11/09/02 19:40:24.54
>>153
デフォルトがredだからfill_color = redはいらないんじゃね?

156:132人目の素数さん
11/09/02 21:25:19.71
>>155
何色で塗りつぶしたいのか文面からわからなかったので、
他の色で塗り潰したい場合に変更すべきパラメータを書いておこうと思って

157:132人目の素数さん
11/09/03 08:50:12.05
>>156
なるほど

158:132人目の素数さん
11/09/03 09:35:03.46
いいやつだな

159:132人目の素数さん
11/09/04 09:11:47.44
5.25.1あげ
URLリンク(www.math.utexas.edu)

160:132人目の素数さん
11/09/04 16:24:49.71
>>154
64bit版のSBCLとかは?
64bitなOS環境の整備からやらなきゃいけないかも知れないけど

161:132人目の素数さん
11/09/04 19:01:55.96
論理演算はなぜできない?

162:132人目の素数さん
11/09/05 17:16:45.69
10変数ぐらいの3x3行列計算を数式処理でやろうとしたら
メモリー8G食いつくした

しかもCPUはずっと5%以下しか食ってない
メモリーの走査ばっかでほとんど計算してないのだろうか
スワップ処理で止まってるのか?


163:132人目の素数さん
11/09/05 17:25:21.81
メモリリークじゃねの?

164:132人目の素数さん
11/09/10 08:39:10.06
故後藤せんせーのHLISPって、数式処理とかでの共通部分式を共有して省メモリ
だったりするのかな?

>>162
Maximaの下で動いてるCommon LISP処理系の動きを考慮して書くと、
メモリ消費を抑えられるのかも。

165:132人目の素数さん
11/09/14 22:45:31.29
教えて下さい

to_poly_solve(sin(2*l*omega)=0, [omega]);

to_poly_solve関数で方程式を解くと解が%unionオブジェクト内のリストで返ってくるんですが
この中から個別の解を取り出すにはどうすればいいですか?

具体的には上記の解の内のomega=-(-2*%pi*%z5-%pi)/(2*l)を適当な変数に代入したいのですが

166:132人目の素数さん
11/09/15 20:48:28.67
>>165
自己解決しました

part(%, i)でリスト内i番目の解を取り出せました

167:132人目の素数さん
11/11/06 12:36:12.28
どなたか,Mathematicaのスレを立ててください。よろしくお願いします

168:132人目の素数さん
11/11/06 18:52:46.41
なんで? 自分で立てられないから、というような理由なら、
テンプレやタイトルくらいは用意した上でスレ立て依頼スレへ

169:132人目の素数さん
11/11/09 19:24:32.04
複数の未知変数が入った恒等式を、一つの変数に関して無理やりまとめるコマンドありませんか?
a=f(b,c,d)のようなイメージです。
知ってる方いましたらお願い致します

170:132人目の素数さん
11/11/09 19:39:02.41


171:132人目の素数さん
11/11/10 01:17:48.66
aを移項してsolveじゃダメなのか?

172:132人目の素数さん
11/11/14 01:41:00.55
Windows版のwxMaximaだと日本語入力できないのですが
どうにかする方法はあるのでしょうか。
フォントは指定していますがダメでした

173:132人目の素数さん
11/11/14 17:50:39.15
うちのだとできてるな。
もっともダブルクォートの中だけだけど。
それもできないとなるとなにが違うのかな?

174:132人目の素数さん
11/11/14 17:51:13.67
てゆうか、どこで何のために日本語入力なんかしたいんだ?

175:172
11/11/15 02:33:59.49
>>173
ダブルクオートの中もダメですね。

>>174
計算過程を書いてこのファイル自体をノートにしたいのです。

ソースからビルドしなおしたら日本語入力できるようになりました。
Unicodeをenableにするのがポイントのようです。

176:132人目の素数さん
11/11/15 06:52:51.94
ああなるほど、そりゃ駄目だわ。

177:132人目の素数さん
11/11/18 15:00:55.69
電波テロ装置の戦争(始)
エンジニアと参加願います公安はサリンオウム信者の子供を40歳まで社会から隔離している
オウム信者が地方で現在も潜伏している
それは新興宗教を配下としている公安の仕事だ
発案で盗聴器を開発したら霊魂が寄って呼ぶ来た
<電波憑依>
スピリチャル全否定なら江原三輪氏、高橋佳子大川隆法氏は、幻聴で強制入院矛盾する日本宗教と精神科
<コードレス盗聴>
2004既に国民20%被害250~700台数中国工作員3~7000万円2005ソウルコピー2010ソウルイン医者アカギ絡む<盗聴証拠>
今年5月に日本の警視庁防課は被害者SDカード15分を保持した有る国民に出せ!!<創価幹部>
キタオカ1962年東北生は二十代で2人の女性をレイプ殺害して入信した創価本尊はこれだけで潰せる<<<韓国工作員鸛<<<創価公明党 <テロ装置>>東芝部品)>>ヤクザ<宗教<同和<<公安<<魂複<<官憲>日本終Googl検索

178:132人目の素数さん
11/11/18 15:01:38.59
魂は幾何学


誰か(アメリカ)気づいた
ソウルコピー機器

179:132人目の素数さん
11/11/18 20:01:27.46
wxMaximaで不定積分
integrate(1/(e^x(1+e^x)), x);
はOKなのですが、定積分
integrate(1/(e^x(1+e^x)), x, 0, 1);
はエラーになってしまいます。なぜでしょうか?
※入力ボックスに実際に入力するのは
1/(e^x(1+e^x))
で、定積分はそれに加え定積分チェックボックスにチェックを入れて[OK]ボタンを押しているだけです。


180:132人目の素数さん
11/11/18 22:08:10.15
>>179
うちの環境でやったら不定積分できなかった
不定積分の出力に積分記号入ってないか?
解析的に不定積分が得られない関数なんじゃないかと思うが

181:179
11/11/19 02:14:23.61
> 解析的に不定積分が得られない関数なんじゃないかと思うが
 いえ、そんな大それた積分ではありません。高校数学レベルの積分です(笑)。
 t = e^x と置けば、部分分数分解が少し厄介ですが、
URLリンク(www.wolframalpha.com)
と同じ解答が得られます(ここのサイトはすごい!)。
 しかし wxMaxima で不定積分は出るものの、その結果はちょっとおかしいですねえ。
URLリンク(www.geocities.jp)
 wxMaxima は使い始めたばっかしなんで数式の表現法がよく理解できてないということもあるのですが。
 たとえば積は * を省略できないみたいだし。
 分母の外側の括弧をはずした 1/e^x(1+e^x) でも結果はいっしょでした。


182:132人目の素数さん
11/11/19 07:14:47.88
1/e^x(1+e^x)  → 1/e^x*(1+e^x)
だろw

183:132人目の素数さん
11/11/19 08:18:38.09
WolframAlpha見てやっと何したいのかが判った
いろいろ入力が変かな

integrate(1/(exp(x)*(1+exp(x))), x);
integrate(1/(exp(x)*(1+exp(x))), x, 0, 1);
first (quad_qags (1/(exp(x)*(1+exp(x))), x, 0, 1));

ここらでいいのでは?

184:179
11/11/19 09:14:10.81
>>182>>183
 ありがとう!
 「積は * を省略できないみたいだし」って書いているのに・・・ああ恥ずかしい(w。

 

185:132人目の素数さん
11/11/20 21:53:13.74
(笑)と(w の両刀使いなのかw

186:132人目の素数さん
11/11/26 07:32:29.18
メーリングリストの、フリーセルよりは省メモリとか云う議論が面白い。

187:132人目の素数さん
11/11/27 22:19:43.98
省メモリてのはメモリの使用量で決まるものなのか?

188:132人目の素数さん
11/11/30 21:23:22.98
∫e^x*sin(x) dx
 これ、もっと素直に出力できないのだろうか?

189:132人目の素数さん
11/11/30 22:15:35.85
>>188
(%e^x*(sin(x)-cos(x)))/2 じゃだめなん?

190:132人目の素数さん
11/12/03 18:19:56.17
50*x + 75*y = 3000
というような不定方程式を解けるんですか?

191:132人目の素数さん
11/12/04 18:11:37.36
>>190
solve(50*x + 75*y = 3000, [x, y]);
[[x=-(3*%r1-120)/2,y=%r1]]

192:132人目の素数さん
11/12/21 10:49:23.23
5.26.0あげ
Windows用バイナリは少し先になるのかな?

193:132人目の素数さん
12/01/19 22:43:10.90
integrate('diff(y,x,1)/sqrt(('diff(y,x,1))^2+1),x);
↑の不定積分を計算させたいんですがどうしたらよいですか?

194:132人目の素数さん
12/01/19 22:46:48.29
diffって微分?なにでの微分?
クオーテーションはなに?

195:132人目の素数さん
12/01/19 23:07:40.62
Maximaは知らんが…
>diffって微分?なにでの微分?
みりゃ判るだろ...
>クオーテーションはなに?
ベースのLispでは、quoteの略号
だが、ここにいれる意味は不明

196:132人目の素数さん
12/01/19 23:14:38.61
>>195
知らね~なら答えるなバカ

197:132人目の素数さん
12/01/19 23:15:47.24
うむ.

198:132人目の素数さん
12/01/19 23:32:18.40
>>196
あほか...
くそこうみたいな池沼粘着系だな...
MaximaもLispも知った上で書いてる。

>>196 池沼は去れ!

199:132人目の素数さん
12/01/19 23:40:13.03
>>198
おまえ、ホントにアフォだな
'diff(y,x,1)じゃなにで微分か分からんだろ
1で微分するとでも思ったのかw

200:132人目の素数さん
12/01/19 23:42:37.49
>>195
ここで直ちに微分を計算するのではなく、integrateの中で使う微分記号ですよ、っていう意味。
要らない場合もあるが、つけておいたほうが無難

ちなみに
integrate('diff(y(x),x,1),x);
と書くと
y(x)
とちゃんと戻るが

integrate('diff(y,x,1),x);
と書いても
'diff(y,x,1)
となっちゃうので注意だ。


201:132人目の素数さん
12/01/19 23:43:52.80
>>195
>Maximaは知らんが…
>>198
>MaximaもLispも知った上で
>>198>>195ならなぜ>>198>>196に食って掛かるのだ?

202:132人目の素数さん
12/01/19 23:47:23.14
Maximaを知らないなら黙っておればええのだドアホウが!

203:132人目の素数さん
12/01/20 00:02:00.51
さらにちなみに、
diff(y,x,1)

0
なので
integrate(diff(y,x,1),x);
は当然
0
になる。

よってこの場合は
integrate('diff(y,x,1),x);
と書いて、integrateに入る前に微分を行わないように宣言しなければならないのだ


204:132人目の素数さん
12/01/20 07:46:00.30
同様に答えは 0 だと思うが,
かなり好意的にしたいことを察して書くと,
integrate(diff(y(x),x)/sqrt((diff(y(x),x))^2+1),t);ev(%,t=x);
ということなのかな?

205:132人目の素数さん
12/01/20 21:03:18.86
>>193のコメ主です
すぐレスが付くと思ってなくて反応遅れてすいませんでした

質問は2点間の経路の第一変分を0とする線の形状を求めた結果となります(答えは直線です)
【入力】
assume(dx > 0, a > 0)$

depends(y, x)$

ds : sqrt(dx^2 +dy^2);

ev(%, solve(dy/dx = diff(y, x), dy)), factor;

F : %/dx$
L = integrate(F, x, 0, a);
diff(F, y) - 'diff(diff(F, diff(y, x)), x) = 0;

integrate(%, x)$
ev(%);

integrate(%, x)$
ev(%);

で最終行の出力が下記となります
-integrate('diff(y,x,1)/sqrt(('diff(y,x,1))^2+1),x)=%c1*x+%c2
左辺の積分がev(%)でも計算してくれません
理由が解らず質問させて頂いた次第です


206:132人目の素数さん
12/01/20 22:07:58.96
Maximaをインストールして見たんですが、Command Line maximaすら起動しないようです。
どうしたらいいですか?

207:132人目の素数さん
12/01/21 05:47:31.03
OSに合ったバージョンなのかを再確認してみる。

アンインストールし、もう一度インストールしてみる。

もういちどダウンロードしなおしてみる。

近場の詳しい人に任せる。

あきらめる。

こんなとこでいいか?

208:132人目の素数さん
12/01/21 06:33:05.64
Maximaはインストールや起動より
マニュアル読んで使用する方がかなり労力がいる
たとえ使用法を覚えても、さらに意味のある計算をするにはもっと日頃からの労力がいる

...使わないって手もあるかもよ?

209:132人目の素数さん
12/01/21 10:07:04.35
gclのついてない方を落したら動きました。
トップにおいとくなよ・・・・

210:132人目の素数さん
12/01/22 18:54:46.62
ちなみに5.25.1だけ入れるとwxMaximaのバージョンが最新版ではない
5.25.0もインストールすると自動で最新版のwxMaximaも入る

211:132人目の素数さん
12/01/23 23:54:31.12
 ev(taylor(f(x), x, 0, 2), f(0)==1);
を実行しても、f(0) に 1 が代入されないんだけど、これってバグ?
maxima 5.18.1 (sbcl 1.0.19) です。

 eq: taylor(f(x), x, 0, 2);
 ev(eq, f(0)==1);
みたいに、一度変数に束縛すれば、ちゃんと置き換わったんだけど、

212:211
12/01/24 00:01:29.36
>>211 の書き間違いが。
== じゃなくて、=ね。

213:132人目の素数さん
12/01/24 06:09:55.27
フリーソフトだし仕様だと思う
evでの代入が出来ない場合はpart/inpart辺りを使う
trunc(substpart(1,taylor(f(x), x, 0, 2),1));

214:211
12/01/25 00:39:42.92
taylor() の戻り値の内部表現がおかしいのかな。

215:132人目の素数さん
12/01/26 06:17:06.25
>>214
詳しくは知らないが,Maxima は = の扱いに弱いらしい

216:132人目の素数さん
12/01/26 06:22:24.57
Win版の5.26.0入れた。wxMaximaは12.01.0になっていた。
ところで入れて気づいたがMaximaのRelease noteってなかなか見あたらないんだね
おかげで何が新しいのかが判らない...

217:132人目の素数さん
12/02/07 00:26:19.15
          __ノ)-'´ ̄ ̄`ー- 、_
        , '´  _. -‐'''"二ニニ=-`ヽ、
      /   /:::::; -‐''"        `ーノ
     /   /:::::/           \
     /    /::::::/          | | |  |
     |   |:::::/ /     |  | | | |  |
      |   |::/ / / |  | ||  | | ,ハ .| ,ハ|
      |   |/ / / /| ,ハノ| /|ノレ,ニ|ル' 
     |   |  | / / レ',二、レ′ ,ィイ|゙/   私は只の数ヲタなんかとは付き合わないわ。
.     |   \ ∠イ  ,イイ|    ,`-' |      頭が良くて数学が出来てかっこいい人。それが必要条件よ。
     |     l^,人|  ` `-'     ゝ  |        さらに Ann.of Math に論文書けば十分条件にもなるわよ。
      |      ` -'\       ー'  人          一番嫌いなのは論文数を増やすためにくだらない論文を書いて
    |        /(l     __/  ヽ、           良い論文の出版を遅らせるお馬鹿な人。
     |       (:::::`‐-、__  |::::`、     ヒニニヽ、         あなたの論文が Ann of Math に accept される確率は?
    |      / `‐-、::::::::::`‐-、::::\   /,ニニ、\            それとも最近は Inv. Math. の方が上かしら?
   |      |::::::::::::::::::|` -、:::::::,ヘ ̄|'、  ヒニ二、 \
.   |      /::::::::::::::::::|::::::::\/:::O`、::\   | '、   \
   |      /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ  ヽ、  |
  |      |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、  /:\__/‐、
  |      |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
   |     /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
   |    |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
    |   /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::O::|::|::::::|:::::::::::::::/

218:132人目の素数さん
12/02/07 07:02:36.57
そんな人はここに質問を書かない

219:132人目の素数さん
12/02/25 12:40:45.59
          __ノ)-'´ ̄ ̄`ー- 、_
        , '´  _. -‐'''"二ニニ=-`ヽ、
      /   /:::::; -‐''"        `ーノ
     /   /:::::/           \
     /    /::::::/          | | |  |
     |   |:::::/ /     |  | | | |  |
      |   |::/ / / |  | ||  | | ,ハ .| ,ハ|
      |   |/ / / /| ,ハノ| /|ノレ,ニ|ル' 
     |   |  | / / レ',二、レ′ ,ィイ|゙/   私は只の数ヲタなんかとは付き合わないわ。
.     |   \ ∠イ  ,イイ|    ,`-' |      頭が良くて数学が出来てかっこいい人。それが必要条件よ。
     |     l^,人|  ` `-'     ゝ  |        さらに Ann.of Math に論文書けば十分条件にもなるわよ。
      |      ` -'\       ー'  人          一番嫌いなのは論文数を増やすためにくだらない論文を書いて
    |        /(l     __/  ヽ、           良い論文の出版を遅らせるお馬鹿な人。
     |       (:::::`‐-、__  |::::`、     ヒニニヽ、         あなたの論文が Ann of Math に accept される確率は?
    |      / `‐-、::::::::::`‐-、::::\   /,ニニ、\            それとも最近は Inv. Math. の方が上かしら?
   |      |::::::::::::::::::|` -、:::::::,ヘ ̄|'、  ヒニ二、 \
.   |      /::::::::::::::::::|::::::::\/:::O`、::\   | '、   \
   |      /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ  ヽ、  |
  |      |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、  /:\__/‐、
  |      |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
   |     /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
   |    |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
    |   /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::O::|::|::::::|:::::::::::::::/

220:132人目の素数さん
12/02/26 20:39:53.07
x/cos(x)
の積分はできないんですね。ま、ややこしい積分だからしょうがないか・・・・・・・
何か制限があるのかな。


221:132人目の素数さん
12/02/27 01:26:13.96
多重対数関数表示とかじゃなければ
integrate(taylor(x/cos(x), x, 0, 20), x);
とかで良いのでは?

222:132人目の素数さん
12/02/28 21:59:50.09
>>221
ありがとう!


223:132人目の素数さん
12/03/09 00:43:04.28
>> 211, 213
Maximaのマニュアル(日本語版)を読んでみました。仕様ですね。
ev()の引数にf(0)=1とあればそれが評価環境に加えられるのは確かですが、
ev()の評価対象(この場合はtaylor(f(x),x,0,2))の引数の評価に使われるだけです。
f(0)は引数には現れていません。(評価結果には現れています)。
評価結果を同じ環境で再度評価させることがev()では可能です。evalというフラグを付けるそうです。
ev(taylor(f(x),x,0,2),f(0)=1,eval)とすると、所望の結果になると思います。

224:132人目の素数さん
12/03/19 13:57:14.04
>>220
話題無いようなので書くと
積分して多重対数関数表示にならないのは
現時点まだ未実装だかららしい
逆に微分は実装済みらしいけどね

225:132人目の素数さん
12/03/23 02:35:51.17
          __ノ)-'´ ̄ ̄`ー- 、_
        , '´  _. -‐'''"二ニニ=-`ヽ、
      /   /:::::; -‐''"        `ーノ
     /   /:::::/           \
     /    /::::::/          | | |  |
     |   |:::::/ /     |  | | | |  |
      |   |::/ / / |  | ||  | | ,ハ .| ,ハ|
      |   |/ / / /| ,ハノ| /|ノレ,ニ|ル' 
     |   |  | / / レ',二、レ′ ,ィイ|゙/   私は只の数ヲタなんかとは付き合わないわ。
.     |   \ ∠イ  ,イイ|    ,`-' |      頭が良くて数学が出来てかっこいい人。それが必要条件よ。
     |     l^,人|  ` `-'     ゝ  |        さらに Ann.of Math に論文書けば十分条件にもなるわよ。
      |      ` -'\       ー'  人          一番嫌いなのは論文数を増やすためにくだらない論文を書いて
    |        /(l     __/  ヽ、           良い論文の出版を遅らせるお馬鹿な人。
     |       (:::::`‐-、__  |::::`、     ヒニニヽ、         あなたの論文が Ann of Math に accept される確率は?
    |      / `‐-、::::::::::`‐-、::::\   /,ニニ、\            それとも最近は Inv. Math. の方が上かしら?
   |      |::::::::::::::::::|` -、:::::::,ヘ ̄|'、  ヒニ二、 \
.   |      /::::::::::::::::::|::::::::\/:::O`、::\   | '、   \
   |      /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ  ヽ、  |
  |      |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、  /:\__/‐、
  |      |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
   |     /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
   |    |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
    |   /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::O::|::|::::::|:::::::::::::::/

226:132人目の素数さん
12/03/25 23:15:58.98
          __ノ)-'´ ̄ ̄`ー- 、_
        , '´  _. -‐'''"二ニニ=-`ヽ、
      /   /:::::; -‐''"        `ーノ
     /   /:::::/           \
     /    /::::::/          | | |  |
     |   |:::::/ /     |  | | | |  |
      |   |::/ / / |  | ||  | | ,ハ .| ,ハ|
      |   |/ / / /| ,ハノ| /|ノレ,ニ|ル' 
     |   |  | / / レ',二、レ′ ,ィイ|゙/   私は只の数ヲタなんかとは付き合わないわ。
.     |   \ ∠イ  ,イイ|    ,`-' |      頭が良くて数学が出来てかっこいい人。それが必要条件よ。
     |     l^,人|  ` `-'     ゝ  |        さらに Ann.of Math に論文書けば十分条件にもなるわよ。
      |      ` -'\       ー'  人          一番嫌いなのは論文数を増やすためにくだらない論文を書いて
    |        /(l     __/  ヽ、           良い論文の出版を遅らせるお馬鹿な人。
     |       (:::::`‐-、__  |::::`、     ヒニニヽ、         あなたの論文が Ann of Math に accept される確率は?
    |      / `‐-、::::::::::`‐-、::::\   /,ニニ、\            それとも最近は Inv. Math. の方が上かしら?
   |      |::::::::::::::::::|` -、:::::::,ヘ ̄|'、  ヒニ二、 \
.   |      /::::::::::::::::::|::::::::\/:::O`、::\   | '、   \
   |      /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ  ヽ、  |
  |      |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、  /:\__/‐、
  |      |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
   |     /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
   |    |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
    |   /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::O::|::|::::::|:::::::::::::::/

227:132人目の素数さん
12/03/26 12:41:22.52
          __ノ)-'´ ̄ ̄`ー- 、_
        , '´  _. -‐'''"二ニニ=-`ヽ、
      /   /:::::; -‐''"        `ーノ
     /   /:::::/           \
     /    /::::::/          | | |  |
     |   |:::::/ /     |  | | | |  |
      |   |::/ / / |  | ||  | | ,ハ .| ,ハ|
      |   |/ / / /| ,ハノ| /|ノレ,ニ|ル' 
     |   |  | / / レ',二、レ′ ,ィイ|゙/   私は只の数ヲタなんかとは付き合わないわ。
.     |   \ ∠イ  ,イイ|    ,`-' |      頭が良くて数学が出来てかっこいい人。それが必要条件よ。
     |     l^,人|  ` `-'     ゝ  |        さらに Ann.of Math に論文書けば十分条件にもなるわよ。
      |      ` -'\       ー'  人          一番嫌いなのは論文数を増やすためにくだらない論文を書いて
    |        /(l     __/  ヽ、           良い論文の出版を遅らせるお馬鹿な人。
     |       (:::::`‐-、__  |::::`、     ヒニニヽ、         あなたの論文が Ann of Math に accept される確率は?
    |      / `‐-、::::::::::`‐-、::::\   /,ニニ、\            それとも最近は Inv. Math. の方が上かしら?
   |      |::::::::::::::::::|` -、:::::::,ヘ ̄|'、  ヒニ二、 \
.   |      /::::::::::::::::::|::::::::\/:::O`、::\   | '、   \
   |      /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ  ヽ、  |
  |      |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、  /:\__/‐、
  |      |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
   |     /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
   |    |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
    |   /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::O::|::|::::::|:::::::::::::::/

228:132人目の素数さん
12/03/26 16:42:14.39
          __ノ)-'´ ̄ ̄`ー- 、_
        , '´  _. -‐'''"二ニニ=-`ヽ、
      /   /:::::; -‐''"        `ーノ
     /   /:::::/           \
     /    /::::::/          | | |  |
     |   |:::::/ /     |  | | | |  |
      |   |::/ / / |  | ||  | | ,ハ .| ,ハ|
      |   |/ / / /| ,ハノ| /|ノレ,ニ|ル' 
     |   |  | / / レ',二、レ′ ,ィイ|゙/   私は只の数ヲタなんかとは付き合わないわ。
.     |   \ ∠イ  ,イイ|    ,`-' |      頭が良くて数学が出来てかっこいい人。それが必要条件よ。
     |     l^,人|  ` `-'     ゝ  |        さらに Ann.of Math に論文書けば十分条件にもなるわよ。
      |      ` -'\       ー'  人          一番嫌いなのは論文数を増やすためにくだらない論文を書いて
    |        /(l     __/  ヽ、           良い論文の出版を遅らせるお馬鹿な人。
     |       (:::::`‐-、__  |::::`、     ヒニニヽ、         あなたの論文が Ann of Math に accept される確率は?
    |      / `‐-、::::::::::`‐-、::::\   /,ニニ、\            それとも最近は Inv. Math. の方が上かしら?
   |      |::::::::::::::::::|` -、:::::::,ヘ ̄|'、  ヒニ二、 \
.   |      /::::::::::::::::::|::::::::\/:::O`、::\   | '、   \
   |      /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ  ヽ、  |
  |      |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、  /:\__/‐、
  |      |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
   |     /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
   |    |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
    |   /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::O::|::|::::::|:::::::::::::::/

229:132人目の素数さん
12/03/26 17:16:54.23
          __ノ)-'´ ̄ ̄`ー- 、_
        , '´  _. -‐'''"二ニニ=-`ヽ、
      /   /:::::; -‐''"        `ーノ
     /   /:::::/           \
     /    /::::::/          | | |  |
     |   |:::::/ /     |  | | | |  |
      |   |::/ / / |  | ||  | | ,ハ .| ,ハ|
      |   |/ / / /| ,ハノ| /|ノレ,ニ|ル' 
     |   |  | / / レ',二、レ′ ,ィイ|゙/   私は只の数ヲタなんかとは付き合わないわ。
.     |   \ ∠イ  ,イイ|    ,`-' |      頭が良くて数学が出来てかっこいい人。それが必要条件よ。
     |     l^,人|  ` `-'     ゝ  |        さらに Ann.of Math に論文書けば十分条件にもなるわよ。
      |      ` -'\       ー'  人          一番嫌いなのは論文数を増やすためにくだらない論文を書いて
    |        /(l     __/  ヽ、           良い論文の出版を遅らせるお馬鹿な人。
     |       (:::::`‐-、__  |::::`、     ヒニニヽ、         あなたの論文が Ann of Math に accept される確率は?
    |      / `‐-、::::::::::`‐-、::::\   /,ニニ、\            それとも最近は Inv. Math. の方が上かしら?
   |      |::::::::::::::::::|` -、:::::::,ヘ ̄|'、  ヒニ二、 \
.   |      /::::::::::::::::::|::::::::\/:::O`、::\   | '、   \
   |      /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ  ヽ、  |
  |      |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、  /:\__/‐、
  |      |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
   |     /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
   |    |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
    |   /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::O::|::|::::::|:::::::::::::::/

230:132人目の素数さん
12/03/26 18:16:15.50
          __ノ)-'´ ̄ ̄`ー- 、_
        , '´  _. -‐'''"二ニニ=-`ヽ、
      /   /:::::; -‐''"        `ーノ
     /   /:::::/           \
     /    /::::::/          | | |  |
     |   |:::::/ /     |  | | | |  |
      |   |::/ / / |  | ||  | | ,ハ .| ,ハ|
      |   |/ / / /| ,ハノ| /|ノレ,ニ|ル' 
     |   |  | / / レ',二、レ′ ,ィイ|゙/   私は只の数ヲタなんかとは付き合わないわ。
.     |   \ ∠イ  ,イイ|    ,`-' |      頭が良くて数学が出来てかっこいい人。それが必要条件よ。
     |     l^,人|  ` `-'     ゝ  |        さらに Ann.of Math に論文書けば十分条件にもなるわよ。
      |      ` -'\       ー'  人          一番嫌いなのは論文数を増やすためにくだらない論文を書いて
    |        /(l     __/  ヽ、           良い論文の出版を遅らせるお馬鹿な人。
     |       (:::::`‐-、__  |::::`、     ヒニニヽ、         あなたの論文が Ann of Math に accept される確率は?
    |      / `‐-、::::::::::`‐-、::::\   /,ニニ、\            それとも最近は Inv. Math. の方が上かしら?
   |      |::::::::::::::::::|` -、:::::::,ヘ ̄|'、  ヒニ二、 \
.   |      /::::::::::::::::::|::::::::\/:::O`、::\   | '、   \
   |      /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ  ヽ、  |
  |      |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、  /:\__/‐、
  |      |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
   |     /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
   |    |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
    |   /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::O::|::|::::::|:::::::::::::::/

231:132人目の素数さん
12/03/26 19:33:48.90
          __ノ)-'´ ̄ ̄`ー- 、_
        , '´  _. -‐'''"二ニニ=-`ヽ、
      /   /:::::; -‐''"        `ーノ
     /   /:::::/           \
     /    /::::::/          | | |  |
     |   |:::::/ /     |  | | | |  |
      |   |::/ / / |  | ||  | | ,ハ .| ,ハ|
      |   |/ / / /| ,ハノ| /|ノレ,ニ|ル' 
     |   |  | / / レ',二、レ′ ,ィイ|゙/   私は只の数ヲタなんかとは付き合わないわ。
.     |   \ ∠イ  ,イイ|    ,`-' |      頭が良くて数学が出来てかっこいい人。それが必要条件よ。
     |     l^,人|  ` `-'     ゝ  |        さらに Ann.of Math に論文書けば十分条件にもなるわよ。
      |      ` -'\       ー'  人          一番嫌いなのは論文数を増やすためにくだらない論文を書いて
    |        /(l     __/  ヽ、           良い論文の出版を遅らせるお馬鹿な人。
     |       (:::::`‐-、__  |::::`、     ヒニニヽ、         あなたの論文が Ann of Math に accept される確率は?
    |      / `‐-、::::::::::`‐-、::::\   /,ニニ、\            それとも最近は Inv. Math. の方が上かしら?
   |      |::::::::::::::::::|` -、:::::::,ヘ ̄|'、  ヒニ二、 \
.   |      /::::::::::::::::::|::::::::\/:::O`、::\   | '、   \
   |      /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ  ヽ、  |
  |      |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、  /:\__/‐、
  |      |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
   |     /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
   |    |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
    |   /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::O::|::|::::::|:::::::::::::::/

232:132人目の素数さん
12/03/26 19:34:11.15
          __ノ)-'´ ̄ ̄`ー- 、_
        , '´  _. -‐'''"二ニニ=-`ヽ、
      /   /:::::; -‐''"        `ーノ
     /   /:::::/           \
     /    /::::::/          | | |  |
     |   |:::::/ /     |  | | | |  |
      |   |::/ / / |  | ||  | | ,ハ .| ,ハ|
      |   |/ / / /| ,ハノ| /|ノレ,ニ|ル' 
     |   |  | / / レ',二、レ′ ,ィイ|゙/   私は只の数ヲタなんかとは付き合わないわ。
.     |   \ ∠イ  ,イイ|    ,`-' |      頭が良くて数学が出来てかっこいい人。それが必要条件よ。
     |     l^,人|  ` `-'     ゝ  |        さらに Ann.of Math に論文書けば十分条件にもなるわよ。
      |      ` -'\       ー'  人          一番嫌いなのは論文数を増やすためにくだらない論文を書いて
    |        /(l     __/  ヽ、           良い論文の出版を遅らせるお馬鹿な人。
     |       (:::::`‐-、__  |::::`、     ヒニニヽ、         あなたの論文が Ann of Math に accept される確率は?
    |      / `‐-、::::::::::`‐-、::::\   /,ニニ、\            それとも最近は Inv. Math. の方が上かしら?
   |      |::::::::::::::::::|` -、:::::::,ヘ ̄|'、  ヒニ二、 \
.   |      /::::::::::::::::::|::::::::\/:::O`、::\   | '、   \
   |      /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ  ヽ、  |
  |      |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、  /:\__/‐、
  |      |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
   |     /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
   |    |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
    |   /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::O::|::|::::::|:::::::::::::::/

233:132人目の素数さん
12/03/26 21:58:31.42
こんなAA貼ることでしか社会と繋がりを持てないなんて
なんか可哀想に思えてきた

234:132人目の素数さん
12/03/27 07:07:13.25
非表示:本文

235:132人目の素数さん
12/03/27 09:24:34.51
          __ノ)-'´ ̄ ̄`ー- 、_
        , '´  _. -‐'''"二ニニ=-`ヽ、
      /   /:::::; -‐''"        `ーノ
     /   /:::::/           \
     /    /::::::/          | | |  |
     |   |:::::/ /     |  | | | |  |
      |   |::/ / / |  | ||  | | ,ハ .| ,ハ|
      |   |/ / / /| ,ハノ| /|ノレ,ニ|ル' 
     |   |  | / / レ',二、レ′ ,ィイ|゙/   私は只の数ヲタなんかとは付き合わないわ。
.     |   \ ∠イ  ,イイ|    ,`-' |      頭が良くて数学が出来てかっこいい人。それが必要条件よ。
     |     l^,人|  ` `-'     ゝ  |        さらに Ann.of Math に論文書けば十分条件にもなるわよ。
      |      ` -'\       ー'  人          一番嫌いなのは論文数を増やすためにくだらない論文を書いて
    |        /(l     __/  ヽ、           良い論文の出版を遅らせるお馬鹿な人。
     |       (:::::`‐-、__  |::::`、     ヒニニヽ、         あなたの論文が Ann of Math に accept される確率は?
    |      / `‐-、::::::::::`‐-、::::\   /,ニニ、\            それとも最近は Inv. Math. の方が上かしら?
   |      |::::::::::::::::::|` -、:::::::,ヘ ̄|'、  ヒニ二、 \
.   |      /::::::::::::::::::|::::::::\/:::O`、::\   | '、   \
   |      /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ  ヽ、  |
  |      |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、  /:\__/‐、
  |      |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
   |     /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
   |    |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
    |   /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::O::|::|::::::|:::::::::::::::/

236:132人目の素数さん
12/03/27 09:30:42.02
          __ノ)-'´ ̄ ̄`ー- 、_
        , '´  _. -‐'''"二ニニ=-`ヽ、
      /   /:::::; -‐''"        `ーノ
     /   /:::::/           \
     /    /::::::/          | | |  |
     |   |:::::/ /     |  | | | |  |
      |   |::/ / / |  | ||  | | ,ハ .| ,ハ|
      |   |/ / / /| ,ハノ| /|ノレ,ニ|ル' 
     |   |  | / / レ',二、レ′ ,ィイ|゙/   私は只の数ヲタなんかとは付き合わないわ。
.     |   \ ∠イ  ,イイ|    ,`-' |      頭が良くて数学が出来てかっこいい人。それが必要条件よ。
     |     l^,人|  ` `-'     ゝ  |        さらに Ann.of Math に論文書けば十分条件にもなるわよ。
      |      ` -'\       ー'  人          一番嫌いなのは論文数を増やすためにくだらない論文を書いて
    |        /(l     __/  ヽ、           良い論文の出版を遅らせるお馬鹿な人。
     |       (:::::`‐-、__  |::::`、     ヒニニヽ、         あなたの論文が Ann of Math に accept される確率は?
    |      / `‐-、::::::::::`‐-、::::\   /,ニニ、\            それとも最近は Inv. Math. の方が上かしら?
   |      |::::::::::::::::::|` -、:::::::,ヘ ̄|'、  ヒニ二、 \
.   |      /::::::::::::::::::|::::::::\/:::O`、::\   | '、   \
   |      /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ  ヽ、  |
  |      |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、  /:\__/‐、
  |      |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
   |     /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
   |    |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
    |   /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::O::|::|::::::|:::::::::::::::/

237:132人目の素数さん
12/03/27 15:55:30.33
質問です、多項式の割り算 (x^5 + x^4 +x )/(x^2+ x) のようなのを、2を法とする割り算として計算させる事はできますか。
符号理論でよくある多項式の計算です。


238:132人目の素数さん
12/03/27 17:48:51.21
>>237 自己完結
 modulus :2 とすればいいみたい。そんだけ。


239:132人目の素数さん
12/04/26 01:16:37.25
          __ノ)-'´ ̄ ̄`ー- 、_
        , '´  _. -‐'''"二ニニ=-`ヽ、
      /   /:::::; -‐''"        `ーノ
     /   /:::::/           \
     /    /::::::/          | | |  |
     |   |:::::/ /     |  | | | |  |
      |   |::/ / / |  | ||  | | ,ハ .| ,ハ|
      |   |/ / / /| ,ハノ| /|ノレ,ニ|ル' 
     |   |  | / / レ',二、レ′ ,ィイ|゙/   私は只の数ヲタなんかとは付き合わないわ。
.     |   \ ∠イ  ,イイ|    ,`-' |      頭が良くて数学が出来てかっこいい人。それが必要条件よ。
     |     l^,人|  ` `-'     ゝ  |        さらに Ann.of Math に論文書けば十分条件にもなるわよ。
      |      ` -'\       ー'  人          一番嫌いなのは論文数を増やすためにくだらない論文を書いて
    |        /(l     __/  ヽ、           良い論文の出版を遅らせるお馬鹿な人。
     |       (:::::`‐-、__  |::::`、     ヒニニヽ、         あなたの論文が Ann of Math に accept される確率は?
    |      / `‐-、::::::::::`‐-、::::\   /,ニニ、\            それとも最近は Inv. Math. の方が上かしら?
   |      |::::::::::::::::::|` -、:::::::,ヘ ̄|'、  ヒニ二、 \
.   |      /::::::::::::::::::|::::::::\/:::O`、::\   | '、   \
   |      /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ  ヽ、  |
  |      |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、  /:\__/‐、
  |      |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
   |     /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
   |    |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
    |   /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::O::|::|::::::|:::::::::::::::/

240:132人目の素数さん
12/04/27 01:12:43.97
          __ノ)-'´ ̄ ̄`ー- 、_
        , '´  _. -‐'''"二ニニ=-`ヽ、
      /   /:::::; -‐''"        `ーノ
     /   /:::::/           \
     /    /::::::/          | | |  |
     |   |:::::/ /     |  | | | |  |
      |   |::/ / / |  | ||  | | ,ハ .| ,ハ|
      |   |/ / / /| ,ハノ| /|ノレ,ニ|ル' 
     |   |  | / / レ',二、レ′ ,ィイ|゙/   私は只の数ヲタなんかとは付き合わないわ。
.     |   \ ∠イ  ,イイ|    ,`-' |      頭が良くて数学が出来てかっこいい人。それが必要条件よ。
     |     l^,人|  ` `-'     ゝ  |        さらに Ann.of Math に論文書けば十分条件にもなるわよ。
      |      ` -'\       ー'  人          一番嫌いなのは論文数を増やすためにくだらない論文を書いて
    |        /(l     __/  ヽ、           良い論文の出版を遅らせるお馬鹿な人。
     |       (:::::`‐-、__  |::::`、     ヒニニヽ、         あなたの論文が Ann of Math に accept される確率は?
    |      / `‐-、::::::::::`‐-、::::\   /,ニニ、\            それとも最近は Inv. Math. の方が上かしら?
   |      |::::::::::::::::::|` -、:::::::,ヘ ̄|'、  ヒニ二、 \
.   |      /::::::::::::::::::|::::::::\/:::O`、::\   | '、   \
   |      /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ  ヽ、  |
  |      |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、  /:\__/‐、
  |      |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
   |     /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
   |    |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
    |   /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::O::|::|::::::|:::::::::::::::/

241:132人目の素数さん
12/04/28 15:08:24.07
          __ノ)-'´ ̄ ̄`ー- 、_
        , '´  _. -‐'''"二ニニ=-`ヽ、
      /   /:::::; -‐''"        `ーノ
     /   /:::::/           \
     /    /::::::/          | | |  |
     |   |:::::/ /     |  | | | |  |
      |   |::/ / / |  | ||  | | ,ハ .| ,ハ|
      |   |/ / / /| ,ハノ| /|ノレ,ニ|ル' 
     |   |  | / / レ',二、レ′ ,ィイ|゙/   私は只の数ヲタなんかとは付き合わないわ。
.     |   \ ∠イ  ,イイ|    ,`-' |      頭が良くて数学が出来てかっこいい人。それが必要条件よ。
     |     l^,人|  ` `-'     ゝ  |        さらに Ann.of Math に論文書けば十分条件にもなるわよ。
      |      ` -'\       ー'  人          一番嫌いなのは論文数を増やすためにくだらない論文を書いて
    |        /(l     __/  ヽ、           良い論文の出版を遅らせるお馬鹿な人。
     |       (:::::`‐-、__  |::::`、     ヒニニヽ、         あなたの論文が Ann of Math に accept される確率は?
    |      / `‐-、::::::::::`‐-、::::\   /,ニニ、\            それとも最近は Inv. Math. の方が上かしら?
   |      |::::::::::::::::::|` -、:::::::,ヘ ̄|'、  ヒニ二、 \
.   |      /::::::::::::::::::|::::::::\/:::O`、::\   | '、   \
   |      /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ  ヽ、  |
  |      |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、  /:\__/‐、
  |      |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
   |     /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
   |    |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
    |   /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::O::|::|::::::|:::::::::::::::/

242:132人目の素数さん
12/04/28 23:41:54.95
          __ノ)-'´ ̄ ̄`ー- 、_
        , '´  _. -‐'''"二ニニ=-`ヽ、
      /   /:::::; -‐''"        `ーノ
     /   /:::::/           \
     /    /::::::/          | | |  |
     |   |:::::/ /     |  | | | |  |
      |   |::/ / / |  | ||  | | ,ハ .| ,ハ|
      |   |/ / / /| ,ハノ| /|ノレ,ニ|ル' 
     |   |  | / / レ',二、レ′ ,ィイ|゙/   私は只の数ヲタなんかとは付き合わないわ。
.     |   \ ∠イ  ,イイ|    ,`-' |      頭が良くて数学が出来てかっこいい人。それが必要条件よ。
     |     l^,人|  ` `-'     ゝ  |        さらに Ann.of Math に論文書けば十分条件にもなるわよ。
      |      ` -'\       ー'  人          一番嫌いなのは論文数を増やすためにくだらない論文を書いて
    |        /(l     __/  ヽ、           良い論文の出版を遅らせるお馬鹿な人。
     |       (:::::`‐-、__  |::::`、     ヒニニヽ、         あなたの論文が Ann of Math に accept される確率は?
    |      / `‐-、::::::::::`‐-、::::\   /,ニニ、\            それとも最近は Inv. Math. の方が上かしら?
   |      |::::::::::::::::::|` -、:::::::,ヘ ̄|'、  ヒニ二、 \
.   |      /::::::::::::::::::|::::::::\/:::O`、::\   | '、   \
   |      /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ  ヽ、  |
  |      |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、  /:\__/‐、
  |      |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
   |     /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
   |    |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
    |   /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::O::|::|::::::|:::::::::::::::/

243:132人目の素数さん
12/04/29 14:58:03.91
        , '´  _. -‐'''"二ニニ=-`ヽ、
      /   /:::::; -‐''"        `ーノ
     /   /:::::/           \
     /    /::::::/          | | |  |
     |   |:::::/ /     |  | | | |  |
      |   |::/ / / |  | ||  | | ,ハ .| ,ハ|
      |   |/ / / /| ,ハノ| /|ノレ,ニ|ル' 
     |   |  | / / レ',二、レ′ ,ィイ|゙/   私は只の数ヲタなんかとは付き合わないわ。
.     |   \ ∠イ  ,イイ|    ,`-' |      頭が良くて数学が出来てかっこいい人。それが必要条件よ。
     |     l^,人|  ` `-'     ゝ  |        さらに Ann.of Math に論文書けば十分条件にもなるわよ。
      |      ` -'\       ー'  人          一番嫌いなのは論文数を増やすためにくだらない論文を書いて
    |        /(l     __/  ヽ、           良い論文の出版を遅らせるお馬鹿な人。
     |       (:::::`‐-、__  |::::`、     ヒニニヽ、         あなたの論文が Ann of Math に accept される確率は?
    |      / `‐-、::::::::::`‐-、::::\   /,ニニ、\            それとも最近は Inv. Math. の方が上かしら?
   |      |::::::::::::::::::|` -、:::::::,ヘ ̄|'、  ヒニ二、 \
.   |      /::::::::::::::::::|::::::::\/:::O`、::\   | '、   \
   |      /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ  ヽ、  |
  |      |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、  /:\__/‐、
  |      |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
   |     /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
   |    |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
    |   /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::O::|::|::::::|:::::::::::::::/

244:132人目の素数さん
12/05/01 15:35:18.72
Maximaでgnuplotで3Dグラフを書かせるとき、特にオプションをつけないで
書かせると青緑でメッシュラインが黒の非常に美しい表示になるのですが、
同じことをgnuplotをつかってやらせると赤紫の毒々しい色のグラフになって
しまいこまっています。どうすれば、青緑のグラフに出来ますか?
色の指定とかしないと出来ないのでしょうか?


次ページ
最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch