• Google Maps

『最適化』技術により、より良い未来を切り拓く

ビジョン

オクトーバー・スカイは、「最適化」技術により、社会にとってより良い未来を築きあげるための企業活動を推進していきます。 「最適化」のエキスパート集団として、販売する「最適化」製品群およびコンサルティングを通じ、「真の利益」をクライアントと共に追及し、クライアントが目標を達成するために、クオリティの高いサービスを提供します。

「最適化」技術がもたらす「真の価値」を、企業、研究および教育機関に提供することで、これらクライアントの生産活動、研究開発、教育等における革新的活動を支援します。 「最適化」技術の活用により、企業においては、収益向上が実現され、研究機関にとっては、先進的な研究開発が促され、そして教育機関においては、未来を背負う若者達の更なる世界規模の技術知識の習得が実現されます。

オクトーバー・スカイの提供する「最適化」ソリューションは、「クライアントの期待」を裏切りません。クライアントは、望む成果を手に入れることができます。より多くのクライアントが「最適化」技術の「真の価値」を理解して活用し、それにより更なる成功を享受している社会、それがオクトーバー・スカイの考える「より良い未来」です。

Gurobi Optimizer V.3.0は、線形計画（LP）および混合整数計画(MIP)における世界的第一人者であるRobert Bixby博士率いるGurobi Optimization, Inc.の製品であり、数理最適化の最新技術を取り入れた線形計画および混合整数計画のエンジンです。 Gurobi Optimizerは以前のバージョンでも、第三者機関のベンチマーク サイトにおいて、他のエンジンをしのぐ性能が発表されており、世界最高速の最適化エンジンといっても過言ではありません。

企業が抱える様々な問題は、グローバル化に伴い、ますます複雑になってきています。 グローバル オペレーションの効率化、また、意思決定支援の迅速化、限られた資源の効率的な配分など、激化する競争の中で企業は解決しなければならない問題を多く抱えています。 Gurobi Optimizer V.3.0は、その高性能なパフォーマンスにより、企業の抱える様々な問題を、線形計画および混合整数計画の新たな手法を用いて、解決に導いていきます。

• 混合整数計画（MIP）パフォーマンスの大幅な改善
• 混合整数計画（MIP）メモリ管理の改善
• Netインターフェースの機能追加
• ヒューリステック コントロールの機能追加
• 入力ファイル（MPSおよびLPファイル）の読込速度の改善（V.2.0に比較して約3倍の速度改善）
• 新しいMac用インストーラの提供

SCMコンペティションは、1チーム3名（チームメンバーが、ディストリビュータ、メーカ、サプライヤの役割を担う）の構成で、半期（10週×2）の利益を競うものであり、本チームは各々の複雑な問題に対してGurobiモデルを作成し、制限時間3分の中で最適解を探索する手法を用いて他のライバルチームを圧倒しました。

問題はExcel形式で出され、それをプログラミング言語Python経由でGurobi Optimizerに渡すことによって、すばやい意思決定が可能になりました。東京海洋大学の優勝チームは、「短時間でこのような複雑な問題を解決するためのシステムの開発が可能になったのは、Pythonの柔軟さとGurobi Optimizerの性能のおかげである。」との感想。ちなみに、2位は法政大学、3位は一橋大学でした。

大阪大学　豊中キャンパス

オクトーバー・スカイは、社団法人電気学会主催の「平成23年電気学会全国大会」の展示コーナーに出展します。

出展概要： 昨今、スマートグリッド技術の研究開発および実用化が進んでいます。スマートグリッドの実現に向けて、ハードウェア技術、ソフトウェア技術、自然工学、人間工学等様々な技術が求められています。オクトーバー・スカイは、スマートグリッド実現に向け欠かす事ができないソフトウェア技術である最適化エンジンおよび最適化モデリング・ツール/言語の出展を行います。スマートグリッドの研究やシステム開発に携わる方々にとって、本展示会は、最適化技術を身近に感じていただく場となることでしょう。

出展製品：　世界最高速最適化エンジン　「Gurobo Optimizer Ver.4.0」
応用開発モデリングツール 「AIMMS」
モデリング言語「AMPL」

社団法人電気学会オフィシャルサイト

資料請求・各種お問い合わせ・お申込みはこちらから

お問い合わせ

パートナーシップ企業一覧　50音順

リセラーパートナー

株式会社フォーカスシステムズ

フォーカスシステムズは、1977年に受託ソフト会社として設立以来、時代とともに変化する社会のニーズに応えながら、幅広い産業分野における多彩なソリューションを開発・提供してきました。情報セキュリティ事業、ITサービス事業、システム インテグレーション事業では、最先端ITをベースにした新しいシステム構築、システム アーキテクチャなどのソリューションを創造し、トータルに提供しています。フォーカスシステムズは、Gurobi Optimizerを駆使し、新たなソリューションを創造します。

株式会社富士通総研

富士通総研は、経済・社会・環境問題から企業の生産・輸送・在庫等の経営問題まで、お客様が抱える様々なレベルの課題に対して解決をご支援します。課題解決にあたっては、経営や業種のコンサルティング経験に加えて数理手法のプロフェッショナルとして長年培ってきたナレッジと最新の数理モデルを駆使します。さらに、富士通グループと連携してサービス ノウハウを提供することも可能です。 Gurobi Optimizerを活用したモデリングにより、様々な最適化問題について幅広い視点で解決します。

SIパートナー

伊藤忠テクノソリューションズ株式会社

伊藤忠テクノソリューションズは、コンピュータ、ネットワーク、アプリケーションによるコンサルティングからシステムの開発、運用および保守、管理、アウトソーシングなどのトータル ソリューションの提供を行っています。特に解析計算業務に関しては50年以上の歴史を持ち、日本で最初にスーパーコンピューターを導入して以来、土木、建設、製造、資源、エネルギー等の分野において科学工学系システム開発、解析、販売、保守業務を行っています。この幅広い経験を基にGurobi Optimizerを用いてお客様の問題を解決していきます。

JFEシステムズ株式会社

JFEシステムズは、JFEスチールの情報システム部門が独立した「ユーザー系SIベンダー」です。鉄鋼事業においては、広範囲なサプライ チェーンにおける計画と実行、複雑な制約条件の下での製造スケジューリング、巨大なエネルギーの設備の運営管理など、原料、製造、物流、エネルギーといった幅広い領域で数理モデルを駆使した最適化テクノロジーを導入しています。JFEシステムズでは、鉄鋼システムにおける最適化テクノロジー適用のノウハウと豊富な実績をベースに、Gurobi Optimizerを駆使して、お客様の課題を解決に導きます。

株式会社ジール

ジールは、BI（ビジネス インテリジェンス）とPM（パフォーマンス マネジメント）のプロフェッショナル集団として活動をしているシステム インテグレータです。近年CRMシステム分野の強化も実施し、情報系システムの全領域をカバーする体制を整備しました。業種・業界を問わず、企業データを横断的・総合的に活用して企業価値を高めるシステムを提供し続けています。こうした中で、今後ますます高度化するBI・PMジャンルのニーズに応えるべく、ジールはGurobi Optimizerを活用した最適化ソリューションを提供していきます。

新日鉄ソリューションズ株式会社

NSソリューションズは、1980年代に製造業のリーディングカンパニーである新日鉄の情報システム部門を前身として誕生しました。NSソリューションズの原点は、現場で培った業務ノウハウと独立系としての中立性、そして実証力に裏打ちされたITエンジニアリング力です。製鉄業のコンピュータシステムにおける豊富な経験により、全体最適化を可能にする最先端の基盤および業務ソリューションをお客様に提供し続けています。Gurobi Optimizerにより強化されたトータルな最適化ソリューションで、経営戦略と現場を結ぶ「使える」ITソリューションを提供します。

株式会社WTL

WTLは、ソフトウェアを通じて科学技術の発展に貢献すべく事業活動を行っています。創業以来、航空、宇宙開発、ITS、CAM、AIなど多くの分野において、ソフトウェア開発パートナーとしてお客様のR&Dを加速するお手伝いを続けてきました。とりわけ分析、シミュレーション、最適化による高速な意志決定は、最重要テーマの一つと認識して取り組んでいます。今後ますます高度化、複雑化するニーズに応えるべく、WTLはGurobi Optimizerを活用したハイパフォーマンスな最適化ソリューションを提供していきます。

株式会社ニューメディア総研

NMSは、コア ビジネスである鉄道システム ソリューション事業を中心に、情報・通信など、公共性の高いシステムの開発に、1978年の設立以来携わってきています。鉄道関連のシステム開発という安定事業を維持しつつ、企業の戦略的なビジネスを支えるため、民間市場へ向けて提案型システム開発、開発システムの製品化なども積極的に実施しています。NMSは、Gurobi Optimizerをベースにした最適化システム ソリューションの提供を行っています。

ISVパートナー

ウィンワークス株式会社

ウィンワークス株式会社は、経営における人的資源の効率的活用を実現するピープル パフォーマンス マネジメント(PPM)のコンセプトをベースにしたITソリューションの開発、コンサルティングおよび販売を行っています。ウィンワークス株式会社の提供するソリューションにより、クライアント企業は、事業にかかわる総人件費の大幅な削減、およびビジネス機会損失の減少による売り上げの増加を同時に達成でき、グローバル競争を勝ち抜く経営変革の実現が可能になります。Gurobi Optimizerは、ウィンワークス株式会社の提供する最適化された勤務計画に活用されています。

株式会社ブレインパッド

ブレインパッドは大量データの解析技術「データ マイニング」と最適化技術に特化した技術開発とコンサルテーション サービスで、企業の問題解決を支援するサービス カンパニーです。有限責任監査法人トーマツが発表した、テクノロジー メディア テレコミュニケーション（以下TMT）業界の急成長企業ランキング「デロイト トウシュ トーマツ 日本テクノロジー Fast50」において、2008年度、2009年度と2年連続で受賞するなど、その成長性が高く評価されております。Gurobi Optimizerは、ブレインパッドが提供する最適化サービスのソリューション コア「UltiPad」の主要ライブラリの一つとして認定されています。

モデリングパートナー

整数計画株式会社

整数計画株式会社は、最適化分野の多くの経験を有する専門家集団です。整数計画株式会社は、企業が抱える「計画策定」、「コスト削減」、「リソース有効化」等の最適化に関連する問題に対し、お客様にベストなアプローチを提案し、そして、それら問題を解決すべくトータル ソリューションを提供します。最適化の成功において、「モデリング」技術の位置づけは、非常に重要な要素です。整数計画株式会社は、Gurobi Optimizerを使用し、様々な最適化問題に対してのモデルリングを含めたソリューションを提案しています。

有限会社 ログ・オプト

LOG OPT（LOGistics Optimizer）は、最適化に関する最高水準の技術を提供するために創設された、研究者および技術者のプロフェッショナル集団です。特に、サプライ チェーンにおける様々なモデル（スケジューリング、配送・輸送計画、制約最適化、ロジスティクス ネットワーク設計、在庫最適化、収益管理）に対する最新の最適化技術とユーザ インターフェイスを用いた意思決定支援システムの開発および販売を行っています。また、Gurobi Optimizerを用いたモデリング支援やソリューションの提案も行っています。

その他のパートナーシップ

その他パートナー

• 個人情報保護に関する法令およびその他規範の遵守
• 個人情報の収集に際し、事前の収集および利用目的の告知
• 収集した個人情報は、オクトーバー・スカイのプライバシーポリシーに定める利用目的の範囲内でのみ利用
• 収集した個人情報は、本人の同意がない限り業務の委託先および提携先以外の第三者には開示しない
• 個人情報への不正アクセス、個人情報の紛失、破壊、改ざんおよび漏えいなどの予防ならびに是正の実行

エントリー受付やお問い合わせはこちらから

お問い合わせ

AIMMS V.3.10は、は、線形計画（LP）、非線形計画（NLP）、混合整数計画（MIP）などの市場において主要な各ソルバーに対応しており、オペレーションズ リサーチを基盤にするアプリケーションのスムーズな開発を支援する応用開発モデリング ツールです。 オペレーションズ リサーチのエンジニア、大学関係者にとって、AIMMSの数理モデリング言語のコンセプトはとてもわかりやすく、AIMMSの提供するポイント アンド クリックで操作する使い易いグラフィカル ユーザ インターフェースを使って、簡単に習得することができます。
AIMMSにより、企業は、意思決定支援をサポートする最適化アプリケーション開発において必要な事前検証プロセスでのプロトタイプ開発を迅速に実現できます。 更に、そのプロトタイプを基盤に、実運用における展開アプリケーションのより短期間での開発も可能になります。 AIMMSの提供するグラフィカル ユーザ インターフェースは、今まで最適化アプリケーションのおける結果表示に苦労していた開発者にとっては、なくてはならない機能です。 AIMMSの提供する様々なグラフ、表、ガントチャート、地図およびGISツールとの緊密な連携により、エンド ユーザが要望するグラフィカル ユーザ インターフェースの迅速な開発が可能になります。
オクトバー・スカイは、AIMMSにより、最適化マーケットの更なる拡大を目指します。 今までは、最適化のプロフェショナルだけが対応できた最適化アプリケーション開発を、プロフェショナルだけでなく、通常の開発知識および経験があるエンジニアでも、これらアプリケーションの開発がAIMMSにより実現されることになるでしょう。

 Gurobi Optimizer バージョン4.0では、下記の機能強化を行っています。

・【新機能】二次計画（QP）と混合整数二次計画（MIQP）

凸二次の目的関数を定式化し、解くことができます。実数のQPに対しては、プライマル シンプレックス、デュアル シンプレックス、そして並列バリア（Barrier）のアルゴリズムが提供されます。混合整数のMIQPに対しては、決定論的な並列演算の分枝限定法が提供されます。これらすべての機能は実務問題において、十分に高速な演算速度を実現します。

 ・演算速度の継続的な改善

MIPで約15%、シンプレックス（Simplex）で約10%、バリア（Barrier）で約10％の高速化を実現しました。

 ・数値的ロバスト性の改善

数値的なロバスト性をいくつかの点で改善した結果、シンプレックス（Simplex）、バリア（Barrier）、MIPソルバーを使う時に、数値的に困難なモデルの処理が改善されました。

・同時処理におけるLPアルゴリズムの自動選択

この機能は、実数モデルまたはMIPモデルのルート ノードで使われ、複数スレッドでそれぞれ異なるアルゴリズムを同時に実行し、最も速く解が得られたアルゴリズムを採用します。決定論的または非決定論的、どちらかの手順を指定可能です。決定論的な手順では、複数回実行しても、途中経過が同じであることが保証されます。非決定論的な手順では、途中経過が異なることは比較的まれですが、同一性は保証されません。しかし全体的な性能は、非決定論的手順の方が優れています。

 ・【新機能】MIP戦略の途中変更

指定演算時間に達した時、または指定ギャップ値に到達した時に、MIPの目標を最良実行可能解の改良に変更することができます。

 ・Visual Studio 2010をサポート

Microsoft Windows上で、Visual Studioの最新版からGurobiをcallできます。

・Javaと.NETにおけるフローティング ライセンスの、より直接的な制御

システムのガーベジ コレクタに頼らず、ライセンス トークンを直接開放できます。