数理最適化製品紹介
最適化のための最先端ツール
ソルバーエンジン
企業が抱える問題を、数学的手法で解決に導きます。解は、数学的に保証がされていますので、人が考えるより良い解を導き出してお客様の意思決定を支援します。それにより、意思決定が伴うシステムの自動化や半自動化が実現できます。
Gurobi Optimizer
Gurobi Optimizerは、線形計画(LP)、混合整数線形計画(MILP)、二次計画(QP)、二次制約(QCP)、混合整数二次計画(MIQP)、混合整数二次制約(MIQCP)のための最新鋭のアルゴリズムを搭載した数理最適化ソルバーです。Gurobi Optimizerは、40を超える産業の2,500を超える世界中の企業が、より的確な意思決定を実現するためのツールとして採用しています。ビジネス上の問題を解決すべき可能性ある解の中から最適な解をユーザに提供するGurobi Optimizerは、多くの戦略的アプリケーションのコア技術として多くの企業の意思決定を支援しています。
モデリングツール
お客様の問題を数学的手法で解決する際、数式に落として、その解を導き出します。数式をプログラミングで表現するのは、通常のプログラミングスキルも必要ですが、それだけでは対応ができない場合が多々あります。モデリングツールを使用することで、通常のプログラミングの豊富な経験や知識がなくても、数式を簡単に表現することができます。
AIMMS
AIMMSは、ビジネスのパフォーマンスを劇的に向上させるアプリケーションの効率的な開発と、容易な運用を実現する高性能なプラットフォームを提供します。AIMMSの表現力豊かなGUIによりユーザは、プログラミングをすることなく最先端の最適化アプリケーションを短期間で開発ができます。
AMPL
AMPLは、高度な代数表現を持つ、包括的でパワフルな最適化モデリング言語です。大規模な最適化問題を効率よくモデル化するための、開発者が使い易いインターフェースを有しています。30年を超える歴史を誇るAMPLは、世界中の多くの企業および研究機関に採用されています。
最適化フレームワーク「Mathシリーズ」
Gurobi Optimizerを内蔵した、様々なソリューションに特化したフレームワーク製品をご用意しています。Mathシリーズにより、お客様は、数理最適化技術を基盤としたシステムを一から開発する必要がなく、導入までにかかる期間を短縮でき、コスト削減も実現できます。
MathCutting 最適裁断計画フレームワーク
MathCuttingは、数理最適化をコア技術として採用した最適裁断計画のためのソリューションです。
いままで熟練者の技能や経験に依存していた裁断計画の立案が、MathCuttingにより、若手社員、経験が少ない社員等、誰であっても、より良い裁断計画を立てることができるようになります。
MathManpower 最適人員配置計画フレームワーク
MathManpowerは、コールセンターの人員、製造ライン等の各工程に必要とされる人員、倉庫管理のための人員、伝票管理作業に配置される人員等、様々な作業に必要とされる最適な人員配置計画を実現するソリューションです。勤務負荷を平準化し、労働コストを抑制し、生産計画および生産スケジュールに沿ったライン稼働を円滑に実現できる人員配置計画を瞬時に提供します。