Mathematica
Wolfram Research
非常に高機能
高価 (20万程度)
