関数型言語は何故普及しないのかを考える
レス数が950を超えています。1000を超えると書き込みができなくなります。
0975デフォルトの名無しさん
2011/01/08(土) 17:45:41方程式自体をデータとして扱うようなコード(定理を使って簡約とか)が書きたい
項書き換え系を理論的背景とする言語だと楽かと思い
以前elanだとか他にも何個か落としてみたが、情報がなさ過ぎて。
現状一番マシなのはMaxima(Mathematicaは買えないんで)
レス数が950を超えています。1000を超えると書き込みができなくなります。