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

96 名前：１３２人目の素数さん [2011/03/24(木) 00:47:34.61 ] >>94 私もRは数値処理って思ったんだけど、91さんが言いたいのは 数理ファイナンスならRの方が役に立つ、ということかも。違ってたら ご指摘を。 93でやったような数式計算ならばMaximaは得意だと思うんです。数理 ファイナンスの数学の式計算（偏微分方程式のオンパレードみたいな やつですよね）には使えないのかなあ。 >>92 CoqやAgda、普通の証明（ってなんだ？）にも使えそうでしょうか。 時代は進歩しているんですね。

---

---

[ 続きを読む ] / [ 携帯版 ]

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