すべてのプロダクト
Search
ドキュメントセンター

Optimization Solver:用語

最終更新日:Jun 16, 2026

最適化ソルバーのコンソールおよび SDK で使用される主要な用語です。

コンソールの用語

数理計画ソルバー

[数理計画ソルバー] は、最適化ソルバーの一種です。たとえば、線形計画法 ([LP]) ソルバーは、変数が連続で、目的関数と制約がどちらも線形である問題に使用します。数理計画問題のほかの一般的なタイプとして、混合整数計画法 ([MIP]) や非線形計画法 ([NLP]) があります。[シミュレーション最適化] および [オンライン最適化] の機能も利用できます。詳細については、お問い合わせください。

ローカルバージョン

[ローカルバージョン] は、お使いのコンピューター上でソルバーを実行します。ネットワーク経由で Alibaba Cloud の認証サービスに接続して権限検証を行いますが、問題データをクラウドにアップロードしないため、データ転送時間を短縮できます。このバージョンに付属する SDK は、スタンドアロンでの使用を目的としています。必要なメモリは、問題の規模によって異なります。

これは、チュートリアルのオンライン無料トライアルで使用されるクライアント/サーバー (C/S) バージョンとは異なります。計算カーネルは同一ですが、C/S バージョンでは問題をサーバーにアップロードし、そこでキューに入れて求解します。これにより、複数のユーザーが 1 台の計算デバイスを共有できます。C/S バージョンでは、サーバーエンドポイントを構成し、問題をアップロードして、非同期に結果を取得する必要があります。これらの手順は、ローカルバージョンでは不要です。

クラウド認証

fl_client.ini ファイルを使用する認証方法です。この方法では、ソルバーの実行時に認証のためネットワークに接続します。認証情報の検証のみを行い、問題データはアップロードしません。

これは、マシン ID にバインドされた mindopt.lic ファイルを使用する固定認証とは異なります。両方の方法を同時に使用できますが、システムは最初に mindopt.lic ファイルを確認します。

同時実行数

購入時に同時実行プロセス数を選択する必要があります。この数は、同時に実行できるソルバータスクの最大数を決定します。購入後は、サービスをアップグレードまたはダウングレードすることで、この数を調整できます。

LicenseKey

サービスの購入後、購入済みサービスのリストで LicenseKey を確認できます。このキーを、ソルバーがインストールされているデバイス上の認証構成ファイルに入力します。詳細については、「クイックスタート (有効化と使用方法)」をご参照ください。

SDK

ソルバー SDK

最適化問題の求解に使用される、最適化ソルバーのソフトウェアパッケージです。

コンソール SDK と API リファレンス

API 呼び出しを通じてコンソールと連携し、コンソール情報を取得する SDK です。