数学的コンピューティングの分野で世界をリードするソフトウェア開発会社です