[表示 : 全て 最新50 1-99 101- 201- 2chのread.cgiへ]
Update time : 06/08 21:03 / Filesize : 116 KB / Number-of Response : 256
[このスレッドの書き込みを削除する]
[+板 最近立ったスレ&熱いスレ一覧 : +板 最近立ったスレ/記者別一覧] [類似スレッド一覧]


↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました

【数式処理システム】 Maxima 【Common Lisp】



1 名前:132人目の素数さん mailto:sage [2010/10/17(日) 09:09:43 ]
フリーの数式処理システムMaximaに関するスレです。
MaximaはCommon Lispで書かれており、GNU GPLライセンスのもと
配布されています。各種UNIX、Windows、OSXで動作します。

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

2 名前:132人目の素数さん mailto:sage [2010/10/17(日) 09:15:29 ]
■前スレ
【数式処理システム】 Maxima 【Common Lisp】
kamome.2ch.net/test/read.cgi/math/1220340695
 ttp://www.unkar.org/read/kamome.2ch.net/math/1220340695 (ミラー)

■過去スレ
MAXIMA
science6.2ch.net/test/read.cgi/sim/1011102458/
 ttp://www.unkar.org/read/science6.2ch.net/sim/1011102458 (ミラー)
Maxima part2
science6.2ch.net/test/read.cgi/sim/1218342679/
 ttp://www.unkar.org/read/science6.2ch.net/sim/1218342679 (ミラー)

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

3 名前:132人目の素数さん mailto:sage [2010/10/17(日) 09:22:54 ]
初代スレのコテハン "GO MAXIMA" 氏の書込みのまとめ
ttp://ryoma3.hp.infoseek.co.jp/maxima/GO_MAXIMA_coments.pdf
ttp://ryoma3.hp.infoseek.co.jp/maxima/GO_MAXIMA_coments.doc

日本語マニュアルは
ttp://www.h3.dion.ne.jp/~y.ich/Maxima/maxima.html
の方が新しいバージョンに対応してるのかな?


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

5 名前:1 mailto:sage [2010/10/18(月) 11:09:40 ]
>>4
Windows版はDEPの対象から外すのもFAQかも

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

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

7 名前:132人目の素数さん mailto:sage [2010/10/20(水) 21:30:10 ]
FirefoxにPopup ALT Attributes入れるの忘れてた

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

8 名前:132人目の素数さん mailto:sage [2010/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人目の素数さん mailto:sage [2010/10/23(土) 18:31:56 ]
Maxima on ABCL: full pass on the test suite
ttp://abcl-dev.blogspot.com/2010/10/maxima-on-abcl-full-pass-on-test-suite.html

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

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



11 名前:132人目の素数さん [2010/10/26(火) 23:46:48 ]
猫に小判、まで読んだ。

12 名前:132人目の素数さん [2010/11/01(月) 18:16:10 ]
猫が寝転んだ。

13 名前:132人目の素数さん [2010/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 mailto:age [2010/11/10(水) 00:00:40 ]
>>11



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

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

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

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

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

18 名前:132人目の素数さん mailto:sage [2010/11/19(金) 00:43:36 ]
sage

19 名前:132人目の素数さん [2010/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人目の素数さん mailto:sage [2010/12/01(水) 22:38:06 ]
sage



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

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

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

23 名前:132人目の素数さん mailto:sage [2010/12/15(水) 23:16:59 ]
WindowsでGCL版を使ってるので外してるかも知れませんが

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

24 名前:132人目の素数さん mailto:sage [2010/12/17(金) 21:41:45 ]
>>23
> OSXならsbcl版の方が速いのでは?

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


25 名前:132人目の素数さん mailto:sage [2011/01/03(月) 19:34:19 ]
>>24 もしかして総北ネタだったのか?気付くの遅くなってスマソ

26 名前:132人目の素数さん [2011/01/07(金) 02:05:33 ]
factorでたまに出てくるbpvって何だ?

27 名前:132人目の素数さん mailto:sage [2011/01/09(日) 17:39:16 ]
【R言語】統計解析フリーソフトR 第4章【GNU R】
kamome.2ch.net/test/read.cgi/math/1294561909/

28 名前:132人目の素数さん [2011/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人目の素数さん [2011/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人目の素数さん mailto:sage [2011/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人目の素数さん [2011/01/12(水) 20:29:22 ]
>>30
回答ありがとうございます えっと 値を求めたいんじゃなくて
Σ[k=1,n] 1 = n で表される 式そのものを求めたいんですよ。でこれで求まるはずなんですが
>>29のようなわけでして。


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


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

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

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

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

35 名前:132人目の素数さん mailto:sage [2011/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人目の素数さん [2011/01/13(木) 03:49:05 ]
up3.viploader.net/ippan/src/vlippan179716.jpg でわかりますかね

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





37 名前:132人目の素数さん mailto:sage [2011/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人目の素数さん [2011/01/13(木) 11:45:21 ]
おじゃましましたまたきますw

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

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



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

42 名前:仙石60+x mailto:しらんぞ [2011/01/13(木) 16:17:25 ]
MATHEMATICA なら すなおに>>36をうちこむと

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

になりますね

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

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

44 名前:132人目の素数さん mailto:sage [2011/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人目の素数さん [2011/01/14(金) 02:39:15 ]
初の夫ってことは 次の夫もいるのかw

46 名前:132人目の素数さん [2011/01/14(金) 16:43:51 ]
あ、誤爆してた すんません

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


47 名前:132人目の素数さん mailto:sage [2011/01/21(金) 20:45:05 ]
柳下浩紀 建部賞

48 名前:132人目の素数さん mailto:sage [2011/01/23(日) 01:55:59 ]
>>29 nusum(k^2,k,1,n);

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

49 名前:132人目の素数さん mailto:sage [2011/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人目の素数さん mailto:sage [2011/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
www.hpcalc.org/hp49/pc/programming/debug4x_b153.exe
HPのCAS電卓HP50gのエミュレータが含まれている。
商用利用は不可らしいけど、無料で使えて販売されている実績のあるCAS。
(エミュレータで遊んでいるうちに実機も衝動買いしてしまったorz)

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



51 名前:132人目の素数さん mailto:sage [2011/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人目の素数さん mailto:sage [2011/02/11(金) 20:49:57 ]
二項定理も同じふるまい。

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


53 名前:51=52 mailto:sage [2011/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人目の素数さん mailto:sage [2011/02/12(土) 00:11:08 ]
>>51は、xcasでもsimplify出来なかった。

55 名前:51 mailto:sage [2011/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人目の素数さん mailto:sage [2011/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人目の素数さん [2011/02/13(日) 14:22:54 ]
Maximaってマスマティカからの乗換えでも十分使える性能ある?

58 名前:132人目の素数さん mailto:sage [2011/02/13(日) 15:43:49 ]
これも知らないって。

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

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

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

60 名前:132人目の素数さん mailto:sage [2011/02/16(水) 20:17:54 ]
>>59
無理かなという気もしていた。

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

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

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



61 名前:132人目の素数さん mailto:sage [2011/02/17(木) 00:38:52 ]
>何が可能で何が不可能かよく分からない感じです。

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

62 名前:132人目の素数さん mailto:sage [2011/02/18(金) 21:34:34 ]
>>61
それは、ゲーデルの不完全性定理みたいなもの?

63 名前:132人目の素数さん mailto:sage [2011/02/19(土) 15:19:04 ]
これもだめだ。
diff(%e^x,x,n)

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

64 名前:132人目の素数さん mailto:sage [2011/02/20(日) 00:05:44.53 ]
>>63
n
d x
--- (%e )
n
dx

って出るぞ?

65 名前:132人目の素数さん mailto:sage [2011/02/20(日) 00:30:16.91 ]
>>64
x
%e
と出て欲しい。

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

66 名前:132人目の素数さん mailto:sage [2011/02/20(日) 02:24:25.94 ]
>>65 数式処理ってそういう先回りした答えを出すものなのか?

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

67 名前:132人目の素数さん mailto:sage [2011/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人目の素数さん mailto:sage [2011/02/20(日) 19:57:01.06 ]
級数解を閉形式にしたいってことなのか?
なんか言ってることに違和感を感じるんだが

69 名前:132人目の素数さん mailto:sage [2011/02/20(日) 21:25:25.71 ]
オープンソースだし
出来ないなら君が実装すればいい

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

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

72 名前:132人目の素数さん mailto:sage [2011/02/23(水) 00:17:14.09 ]
maxima
ttp://news.dengeki.com/elem/000/000/345/345986/

73 名前:132人目の素数さん mailto:sage [2011/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人目の素数さん mailto:sage [2011/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人目の素数さん mailto:sage [2011/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人目の素数さん mailto:sage [2011/02/24(木) 00:13:57.67 ]
1+4と2+3は同値だけどどっちを公理にすればいいですか?w
maximaの勉強じゃなくて用語の定義を勉強しなおせよw

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

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

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

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

79 名前:132人目の素数さん mailto:sage [2011/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人目の素数さん mailto:sage [2011/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 mailto:sage [2011/03/04(金) 20:25:00.78 ]
なんというタイミングの悪さ
80は忘れてくれ

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


83 名前:132人目の素数さん mailto:sage [2011/03/04(金) 21:34:13.84 ]
>>80
いやいや、こちらのほうが効率は良いので助かります。ありがとう。

84 名前:132人目の素数さん mailto:sage [2011/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人目の素数さん mailto:sage [2011/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人目の素数さん mailto:sage [2011/03/14(月) 20:10:20.30 ]
質問です。
方程式60*2^p=50*2^q(p,q are integer)をmaximaに入力させたいのですが、
p,qの最小の(p*qが)整数解を得るにはどのような入力をするべきでしょうか。

87 名前:132人目の素数さん mailto:sage [2011/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人目の素数さん [2011/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人目の素数さん mailto:sage [2011/03/22(火) 20:32:08.00 ]
>>88
どうもありがとう。

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

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

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

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

90 名前:132人目の素数さん [2011/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人目の素数さん mailto:sage [2011/03/23(水) 04:12:45.16 ]
maxima,mathematicaは代数・記号処理ですから、gnur R言語の方がいいでしょうね。
もう少し「数学ソフト」と言うのはどういうのがあるかを調べた方がいいですよ。

92 名前:132人目の素数さん mailto:sage [2011/03/23(水) 15:48:37.06 ]
定理自動証明とかならCoq, Agdaあたりかな?少し毛色が違うけど

93 名前:132人目の素数さん mailto:sage [2011/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人目の素数さん mailto:sage [2011/03/23(水) 22:55:55.86 ]
>>91
Rは数値処理ですね。(Maximaより先にR/APLのほうに触れています。)

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

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

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

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

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

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



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

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

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

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

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

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

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

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

99 名前:98 mailto:sage [2011/04/02(土) 21:35:41.58 ]
>>98
> 「新しい数学」の提唱者のケメニーとBASIC言語の開発者のケメニーって同一人物ですよね?

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

すごく偉い人みたい。

100 名前:132人目の素数さん [2011/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人目の素数さん mailto:sage [2011/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人目の素数さん mailto:sage [2011/04/06(水) 17:51:32.43 ]
で?

103 名前:132人目の素数さん [2011/04/08(金) 01:51:01.86 ]
>>101

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

104 名前:132人目の素数さん mailto:sage [2011/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 [2011/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 [2011/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人目の素数さん mailto:sage [2011/04/11(月) 13:55:51.50 ]
TeXmacs以外にもLyxでも動くんですか?

108 名前:132人目の素数さん [2011/04/15(金) 18:01:56.87 ]
5.24.0あげ

109 名前:132人目の素数さん mailto:sage [2011/04/18(月) 11:01:07.80 ]
>>107
動くよ。ただしプロンプトは出ない。

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



111 名前:132人目の素数さん mailto:sage [2011/04/19(火) 19:19:17.36 ]
>>108 5.24産業

112 名前:132人目の素数さん mailto:sage [2011/04/20(水) 17:15:00.93 ]
なんでgitに変えたりするんだ

113 名前:あんでぃは弱虫 ◆AdkZFxa49I [2011/06/09(木) 18:18:17.61 ]
あんでぃ

114 名前:132人目の素数さん mailto:ほんとだね [2011/06/11(土) 18:19:28.54 ]
MATHEMATICAと用語を共通にしたらいいんじゃねえ?

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

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

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

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

118 名前:132人目の素数さん mailto:sage [2011/07/02(土) 02:38:30.79 ]
「ものづくり」の品質向上…
は、さすがに、こじつけすぎるだろ。

119 名前:132人目の素数さん mailto:sage [2011/07/02(土) 07:27:18.98 ]
16次でしか作れない「ものづくり」って例えばなんでしょうね。

120 名前:132人目の素数さん mailto:sage [2011/07/02(土) 09:37:23.13 ]
15次じゃあダメなんですか?



121 名前:132人目の素数さん mailto:sage [2011/07/03(日) 08:29:23.64 ]
集積回路の論理設計の矛盾発見を効率化でき

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

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

124 名前:132人目の素数さん mailto:sage [2011/07/04(月) 00:11:23.10 ]
高次方程式が解けるとはなんだろう。

125 名前:132人目の素数さん mailto:sage [2011/07/04(月) 07:47:17.12 ]
>>122
アホアホ

126 名前:ポチは玲瓏 ◆R2soZCYWpU [2011/07/04(月) 12:32:16.55 ]
ポチ

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

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

128 名前:あんでぃは炯々 ◆AdkZFxa49I [2011/07/04(月) 19:53:48.00 ]
あんでぃ

129 名前:132人目の素数さん mailto:sage [2011/07/05(火) 16:06:49.62 ]
>>124
数値積分

130 名前:132人目の素数さん mailto:sage [2011/07/16(土) 09:58:16.50 ]
>>122
楕円関数を使えばということ?



131 名前:132人目の素数さん mailto:sage [2011/07/16(土) 10:20:13.44 ]
16次方程式の判別式計算

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

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


132 名前:132人目の素数さん mailto:sage [2011/07/16(土) 19:12:44.81 ]
解析関数の数値計算は無限次代数方程式の近似解ですおし。

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


134 名前:132人目の素数さん mailto:sage [2011/07/30(土) 04:12:22.14 ]
× もちろんすべての角度で計算できるはずはないことは

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

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

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

136 名前:132人目の素数さん mailto:sage [2011/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人目の素数さん mailto:sage [2011/08/10(水) 02:34:39.71 ]
ありがとうございます。 うまくいきました。

138 名前:132人目の素数さん [2011/08/12(金) 07:43:25.35 ]
5.25.0あげ

139 名前:132人目の素数さん mailto:sage [2011/08/12(金) 08:27:30.93 ]
なにが変わったの?


140 名前:138 mailto:sage [2011/08/18(木) 15:47:55.44 ]
ttp://www.math.utexas.edu/pipermail/maxima/2011/025749.html
とか見てると、Common Lispの処理系によっては残念な事になってるみたい
ですね。
SBCLはGCLよりもっと速いのかと思ってたけど、run_testsuite()の範囲だと
そうでもないのか。



141 名前:138 mailto:sage [2011/08/19(金) 09:02:25.26 ]
>>139
ChangeLog出ますた
ttp://maxima.git.sourceforge.net/git/gitweb.cgi?p=maxima/maxima;a=blob;f=ChangeLog-5.25;hb=HEAD

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

143 名前:132人目の素数さん mailto:sage [2011/08/19(金) 10:17:31.72 ]
貧乏人の戯言

144 名前:132人目の素数さん mailto:sage [2011/08/21(日) 09:25:00.89 ]
2ちゃんは馬鹿の巣窟(笑)



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

146 名前:132人目の素数さん [2011/08/21(日) 14:41:14.32 ]
>>145
つgnuplot

147 名前:132人目の素数さん mailto:sage [2011/08/21(日) 17:19:06.49 ]
gnuplot で どうすればかけますか?

148 名前:132人目の素数さん mailto:sage [2011/08/21(日) 18:45:29.11 ]
ggrks

149 名前:132人目の素数さん [2011/08/21(日) 19:46:22.35 ]
>>147
RTFM

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

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



151 名前:132人目の素数さん mailto:sage [2011/08/25(木) 23:19:07.38 ]
^μ^

152 名前:132人目の素数さん mailto:sage [2011/08/26(金) 16:20:02.41 ]
>>142
中がlispだから改造しやすいので使ってるのに

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

154 名前:132人目の素数さん mailto:sage [2011/09/02(金) 15:04:49.55 ]
sbclだとヒープを使いきった
というエラーで止まる数式処理があります

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

155 名前:132人目の素数さん mailto:sage [2011/09/02(金) 19:40:24.54 ]
>>153
デフォルトがredだからfill_color = redはいらないんじゃね?

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

157 名前:132人目の素数さん mailto:sage [2011/09/03(土) 08:50:12.05 ]
>>156
なるほど

158 名前:132人目の素数さん mailto:sage [2011/09/03(土) 09:35:03.46 ]
いいやつだな

159 名前:132人目の素数さん [2011/09/04(日) 09:11:47.44 ]
5.25.1あげ
ttp://www.math.utexas.edu/pipermail/maxima/2011/025934.html

160 名前:132人目の素数さん mailto:sage [2011/09/04(日) 16:24:49.71 ]
>>154
64bit版のSBCLとかは?
64bitなOS環境の整備からやらなきゃいけないかも知れないけど



161 名前:132人目の素数さん mailto:sage [2011/09/04(日) 19:01:55.96 ]
論理演算はなぜできない?

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

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


163 名前:132人目の素数さん mailto:sage [2011/09/05(月) 17:25:21.81 ]
メモリリークじゃねの?

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

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

165 名前:132人目の素数さん mailto:sage [2011/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人目の素数さん mailto:sage [2011/09/15(木) 20:48:28.67 ]
>>165
自己解決しました

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

167 名前:132人目の素数さん mailto:sage [2011/11/06(日) 12:36:12.28 ]
どなたか,Mathematicaのスレを立ててください。よろしくお願いします

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

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

170 名前:132人目の素数さん mailto:sage [2011/11/09(水) 19:39:02.41 ]




171 名前:132人目の素数さん mailto:sage [2011/11/10(木) 01:17:48.66 ]
aを移項してsolveじゃダメなのか?

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

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

174 名前:132人目の素数さん mailto:sage [2011/11/14(月) 17:51:13.67 ]
てゆうか、どこで何のために日本語入力なんかしたいんだ?

175 名前:172 [2011/11/15(火) 02:33:59.49 ]
>>173
ダブルクオートの中もダメですね。

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

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

176 名前:132人目の素数さん mailto:sage [2011/11/15(火) 06:52:51.94 ]
ああなるほど、そりゃ駄目だわ。

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

178 名前:132人目の素数さん [2011/11/18(金) 15:01:38.59 ]
魂は幾何学


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

179 名前:132人目の素数さん mailto:sage [2011/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人目の素数さん mailto:sage [2011/11/18(金) 22:08:10.15 ]
>>179
うちの環境でやったら不定積分できなかった
不定積分の出力に積分記号入ってないか?
解析的に不定積分が得られない関数なんじゃないかと思うが



181 名前:179 mailto:sage [2011/11/19(土) 02:14:23.61 ]
> 解析的に不定積分が得られない関数なんじゃないかと思うが
 いえ、そんな大それた積分ではありません。高校数学レベルの積分です(笑)。
 t = e^x と置けば、部分分数分解が少し厄介ですが、
www.wolframalpha.com/input/?i=integrate+1%2F%28e%5Ex%281%2Be%5Ex%29%29+dx
と同じ解答が得られます(ここのサイトはすごい!)。
 しかし wxMaxima で不定積分は出るものの、その結果はちょっとおかしいですねえ。
www.geocities.jp/my_ultraseven/mozart/image/Result.jpg
 wxMaxima は使い始めたばっかしなんで数式の表現法がよく理解できてないということもあるのですが。
 たとえば積は * を省略できないみたいだし。
 分母の外側の括弧をはずした 1/e^x(1+e^x) でも結果はいっしょでした。


182 名前:132人目の素数さん mailto:sage [2011/11/19(土) 07:14:47.88 ]
1/e^x(1+e^x)  → 1/e^x*(1+e^x)
だろw

183 名前:132人目の素数さん mailto:sage [2011/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 mailto:sage [2011/11/19(土) 09:14:10.81 ]
>>182>>183
 ありがとう!
 「積は * を省略できないみたいだし」って書いているのに・・・ああ恥ずかしい(w。

 

185 名前:132人目の素数さん mailto:sage [2011/11/20(日) 21:53:13.74 ]
(笑)と(w の両刀使いなのかw

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

187 名前:132人目の素数さん mailto:sage [2011/11/27(日) 22:19:43.98 ]
省メモリてのはメモリの使用量で決まるものなのか?

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

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

190 名前:132人目の素数さん mailto:sage [2011/12/03(土) 18:19:56.17 ]
50*x + 75*y = 3000
というような不定方程式を解けるんですか?



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

192 名前:132人目の素数さん [2011/12/21(水) 10:49:23.23 ]
5.26.0あげ
Windows用バイナリは少し先になるのかな?

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

194 名前:132人目の素数さん mailto:sage [2012/01/19(木) 22:46:48.29 ]
diffって微分?なにでの微分?
クオーテーションはなに?

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

196 名前:132人目の素数さん mailto:sage [2012/01/19(木) 23:14:38.61 ]
>>195
知らね〜なら答えるなバカ

197 名前:132人目の素数さん mailto:sage [2012/01/19(木) 23:15:47.24 ]
うむ.

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

>>196 池沼は去れ!

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

200 名前:132人目の素数さん mailto:sage [2012/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人目の素数さん mailto:sage [2012/01/19(木) 23:43:52.80 ]
>>195
>Maximaは知らんが…
>>198
>MaximaもLispも知った上で
>>198>>195ならなぜ>>198>>196に食って掛かるのだ?

202 名前:132人目の素数さん mailto:sage [2012/01/19(木) 23:47:23.14 ]
Maximaを知らないなら黙っておればええのだドアホウが!

203 名前:132人目の素数さん mailto:sage [2012/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人目の素数さん mailto:sage [2012/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人目の素数さん mailto:sage [2012/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人目の素数さん [2012/01/20(金) 22:07:58.96 ]
Maximaをインストールして見たんですが、Command Line maximaすら起動しないようです。
どうしたらいいですか?

207 名前:132人目の素数さん mailto:sage [2012/01/21(土) 05:47:31.03 ]
OSに合ったバージョンなのかを再確認してみる。

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

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

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

あきらめる。

こんなとこでいいか?

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

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

209 名前:132人目の素数さん mailto:sage [2012/01/21(土) 10:07:04.35 ]
gclのついてない方を落したら動きました。
トップにおいとくなよ・・・・

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



211 名前:132人目の素数さん mailto:sage [2012/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 mailto:sage [2012/01/24(火) 00:01:29.36 ]
>>211 の書き間違いが。
== じゃなくて、=ね。

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

214 名前:211 mailto:sage [2012/01/25(水) 00:39:42.92 ]
taylor() の戻り値の内部表現がおかしいのかな。

215 名前:132人目の素数さん mailto:sage [2012/01/26(木) 06:17:06.25 ]
>>214
詳しくは知らないが,Maxima は = の扱いに弱いらしい

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

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

218 名前:132人目の素数さん mailto:sage [2012/02/07(火) 07:02:36.57 ]
そんな人はここに質問を書かない

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

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




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

222 名前:132人目の素数さん mailto:sage [2012/02/28(火) 21:59:50.09 ]
>>221
ありがとう!


223 名前:132人目の素数さん [2012/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人目の素数さん mailto:sage [2012/03/19(月) 13:57:14.04 ]
>>220
話題無いようなので書くと
積分して多重対数関数表示にならないのは
現時点まだ未実装だかららしい
逆に微分は実装済みらしいけどね

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

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

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

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

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

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



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

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

233 名前:132人目の素数さん mailto:sage [2012/03/26(月) 21:58:31.42 ]
こんなAA貼ることでしか社会と繋がりを持てないなんて
なんか可哀想に思えてきた

234 名前:132人目の素数さん mailto:sage [2012/03/27(火) 07:07:13.25 ]
非表示:本文

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

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

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


238 名前:132人目の素数さん mailto:sage [2012/03/27(火) 17:48:51.21 ]
>>237 自己完結
 modulus :2 とすればいいみたい。そんだけ。


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

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



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

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

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

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

245 名前:132人目の素数さん mailto:sage [2012/05/02(水) 08:33:30.20 ]
現状から色を変えたいのに、色の指定はしたくないということ?

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

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

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

249 名前:132人目の素数さん [2012/05/23(水) 21:43:15.44 ]
Android版あげ

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



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

252 名前:132人目の素数さん mailto:sage [2012/05/27(日) 11:57:51.28 ]
Windows版がrun_testsuite()をクリアしないのは何で?

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

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

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







[ 新着レスの取得/表示 (agate) ] / [ 携帯版 ]

前100 次100 最新50 [ このスレをブックマーク! 携帯に送る ] 2chのread.cgiへ
[+板 最近立ったスレ&熱いスレ一覧 : +板 最近立ったスレ/記者別一覧]( ´∀`)<116KB

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef