数理最適化製品紹介

最適化のための最先端ツール

企業が競争に打ち勝つためには、他社とは異なる自社独自の目的に特化したシステムの導入が必要です。何のために、そのシステムを導入するのか、どのような成果を導入すべきシステムから得たいのか、他社導入のシステムより優れた点は何なのか?数理最適化技術をバックグラウンドに持つシステムは、お客様固有の目的を達成すべく、通常のシステム開発では得られない成果をお客様にもたらします。「最適化」された解をお客様に提供し、また、それにより、複雑な意思決定が伴うシステムの自動化や半自動化を実現できます。

ソルバーエンジン

企業が抱える問題を、数学的手法で解決に導きます。解は、数学的に保証がされていますので、人が考えるより良い解を導き出してお客様の意思決定を支援します。それにより、意思決定が伴うシステムの自動化や半自動化が実現できます。

Gurobi Optimizer

Gurobi Optimizerは、線形計画(LP)、混合整数線形計画(MILP)、二次計画(QP)、二次制約(QCP)、混合整数二次計画(MIQP)、混合整数二次制約(MIQCP)のための最新鋭のアルゴリズムを搭載した数理最適化ソルバーです。Gurobi Optimizerは、40を超える産業の2,400を超える世界中の企業が、より的確な意思決定を実現するためのツールとして採用しています。ビジネス上の問題を解決すべき可能性ある解の中から最適な解をユーザに提供するGurobi Optimizerは、多くの戦略的アプリケーションのコア技術として多くの企業の意思決定を支援しています。

詳細

非線形ソルバー(NLP)

非線形ソルバー(NLP: Non Linear Programing)も取り扱っています。

CONOPT難しい非線形問題を解くための実績のあるソルバー

KNITRO連続変数、整数変数を含む目的関数と制約の非線形性に対応する非線形ソルバー

MINOS線形および非線形な数理最適化問題の両方で使用可能なソルバー

SNOPTLOQO 連続二次近似を応用した内点法に基づく、凸問題・非凸問題等にも対応したソルバー

LOQO連続二次近似を応用した内点法に基づく、凸問題・非凸問題等にも対応したソルバー

詳細

モデリングツール

お客様の問題を数学的手法で解決する際、数式に落として、その解を導き出します。数式をプログラミングで表現するのは、通常のプログラミングスキルも必要ですが、それだけでは対応ができない場合が多々あります。モデリングツールを使用することで、通常のプログラミングの豊富な経験や知識がなくても、数式を簡単に表現することができます。

AIMMS

AIMMSは、ビジネスのパフォーマンスを劇的に向上させるアプリケーションの効率的な開発と、容易な運用を実現する高性能なプラットフォームを提供します。AIMMSの表現力豊かなGUIによりユーザは、プログラミングをすることなく最先端の最適化アプリケーションを短期間で開発ができます。

詳細

AMPL

AMPLは、高度な代数表現を持つ、包括的でパワフルな最適化モデリング言語です。大規模な最適化問題を効率よくモデル化するための、開発者が使い易いインターフェースを有しています。30年を超える歴史を誇るAMPLは、世界中の多くの企業および研究機関に採用されています。

詳細

最適化フレームワーク「Mathシリーズ」

Gurobi Optimizerを内蔵した、様々なソリューションに特化したフレームワーク製品をご用意しています。Mathシリーズにより、お客様は、数理最適化技術を基盤としたシステムを一から開発する必要がなく、導入までにかかる期間を短縮でき、コスト削減も実現できます。

MathCutting 最適裁断計画フレームワーク

MathCuttingは、数理最適化をコア技術として採用した最適裁断計画のためのソリューションです。
いままで熟練者の技能や経験に依存していた裁断計画の立案が、MathCuttingにより、若手社員、経験が少ない社員等、誰であっても、より良い裁断計画を立てることができるようになります。

詳細

MathNetworks 最適拠点配置計画フレームワーク

MathNetworksは、ロジステックス ネットワークにおける最適拠点配置計画のためのソリューションです。工場、倉庫、顧客を結ぶネットワークでの生産、物流、輸送手段に問題がないか、更なるコスト削減の選択肢はあるのか等の検討を行いたいユーザを、MathNetworksが的確に支援します。

詳細

MathManpower 最適人員配置計画フレームワーク

MathManpowerは、コールセンターの人員、製造ライン等の各工程に必要とされる人員、倉庫管理のための人員、伝票管理作業に配置される人員等、様々な作業に必要とされる最適な人員配置計画を実現するソリューションです。勤務負荷を平準化し、労働コストを抑制し、生産計画および生産スケジュールに沿ったライン稼働を円滑に実現できる人員配置計画を瞬時に提供します。

詳細

その他

弊社では、数理最適化技術だけでなく、AI、ヒューリステックス、ルールベース等のテクノロジーをベースとした様々なソリューションを提供しています。これら技術を融合し、お客様が必要とするソリューション構築を行っています。

AIソリューション

弊社が提供するAIソリューションは、お客様のご要望に沿ったデータ分析、AIモデルおよびAIシステムの構築、AIソリューションと最適化ソリューションとの効果的な連携など、強固で柔軟性あるシステムソリューションを実現します。

詳細

技術継承支援システム

技術継承支援システムは、お客様の長年にわたり蓄積されたノウハウを弊社独自の手法で抽出して体系化し、弊社が開発したKBE(Knowledge Base Engine)により、効率的なデータベースとして実現してします。本システムは、社内リソースによる運営および保守が可能です。

詳細