富士通と京大、数式処理の世界記録を達成

判別式（クリックで拡大）