数式処理でマスマチカに勝てるソフトなんて世界のどこにもないだろ
数値計算は他にもっとすごいのいくらでもあるけど