MOSEK

高精度 数理最適化 ソルバー

MOSEKの製品概要

MOSEKは、線形計画 (LP)、二次計画 (QP)、二次錐計画 (SOCP)、半正定値計画 (SDP)、混合整数計画 (MIP) など、幅広い数理最適化問題を解くための強力なツールです。

通常、最適化問題の規模が大きくなるほど数値安定性や解の精度が課題となりますが、MOSEKは独自のアルゴリズムと最先端の数値計算技術により、複雑で大規模な数理最適化問題を高速かつ安定して解くことが可能です。

C、C++、Java、.NET、Python、MATLAB、などの主要言語APIを提供しており、さらに、CVX、CVXPY、YALMIP、JuMP など
多数のモデリングツールにも対応しているため、最適化モデルの構築からソルビングまでをスムーズに行えます。

主な用途

• 金融工学のポートフォリオ最適化
• 機械学習における正則化問題
• 統計モデリング
• オペレーションズリサーチ
• 製造業・工学設計

MOSEKの製品仕様

ライセンスについて

商用ライセンス

MOSEK 商用ライセンスは「基本システム」と「追加オプション」で構成されています。

PTS (Base system)

常に必要となる基本システム
すべてのMOSEKプログラミングインターフェースを含み、以下の問題を解くことができます

• 線形計画問題
• 線形制約と凸二次目的関数を持つ問題
• 上記の混合整数問題

PTON (Nonlinear and conic extension)

PTS の拡張オプション
追加することで、以下の問題を解くことが可能です

• コーン最適化問題（二次錐、半正定値、指数、パワーコーン）
• 凸二次制約問題
• 混合整数コーン・二次制約問題

Floating License

特定のコンピュータに紐づけられるライセンス。
ライセンスサーバーに接続された任意のユーザーが、ライセンスをチェックアウトして利用可能。
※同時に利用できるのは 1プログラム/プロセス のみ

Server License

1台のコンピュータに紐づけられるライセンス。
特定の1台での利用に限り、ユーザー数や同時実行プログラム数に制限なく利用可能。

共通事項

• Floating / Server License は永久ライセンスです
• 任意の Maintenance (保守) を契約いただくことで、以下が可能となります
  – 新しいメジャーバージョンへの無償アップグレード
  – ホスト変更の無制限対応

Group License

• 企業全体や特定部署、特定サイト、クラスターなど、明確に定義されたグループに適用されるライセンス
• 1年間有効なレンタルライセンス
• 価格はライセンスに含まれる機能および利用状況報告に基づいて決定されます
  ※詳細はお問い合わせください

アカデミックライセンス

Personal Academic License

1年間有効なアカデミックユーザー (大学教職員、学生、研究スタッフ) 向けの無償ライセンス。
※申請には機関ドメインのメールアドレスが必要となります。

Institutional Academic License

2年間有効な大学、学部、研究グループ向けの無償フローティングライセンス。
複数ユーザーが同時に利用することが可能です。
※申請には機関ドメインのメールアドレスおよびライセンス登録者情報が必要となります。

詳細はこちら (メーカーページ) をご覧ください。

メーカーサイトURL

https://www.mosek.com/