IMI Colloquium

2026年1月 IMI 臨時Colloquium
https://forms.office.com/r/wisPC6QQM4
※学外の方でご興味がある方はこちらへご登録ください。登録締切は1月13日（火）です。

■日時：　2026年1月16日(金) 16:00 - 17:00
■場所：　IMIオーディトリアム及びZoomによるオンライン
■講師：　Zuse Institute Berlin　
品野 勇治氏
■講演タイトル：大規模並列混合整数計画ソルバによる，これまでに解けなかった問題を解くことへの挑戦

■講演要旨：

混合整数計画問題ソルバは、過去30年に飛躍的に性能を上げ、商業的にも最も成功した数学を

応用したソルバと言える。混合整数計画問題はNP困難な問題であるため、理論上は厳密に

解くことが困難な問題である。ソルバ開発のコミュニティは、現実問題を解くために、

現実問題をモデルとするベンチマークデータセットMIPLIBを用意し、それらの問題を解ける

ようにソルバ開発を継続的に行ってきている。現在の商用ソルバは、いずれも並列ソルバでは

あるが、大規模並列ソルバで最新のアルゴリズム実装利用しているソルバは極めて限られる。

講演者の開発しているUbiquity Generator framework(UG) は、最新のソルバを利用した大規模

並列ソルバを実現するためのソフトウェアフレームワークであり、これまでも20以上のベンチマーク

インスタンスに対して最初に最適解を与えている。本講演では、UGを利用した最新の

大規模並列混合整数計画ソルバの現状について報告する。

IMIコロキウム 世話人
　池松 泰彦
　倉田 澄人
　田上 大助

・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・

AdditionalI IMI Colloquium in January 2026

＊If you are interested in the colloquium, please register here.
https://forms.office.com/r/wisPC6QQM4
            ※ Registration deadline is Tuesday, January 13.

■Date : Friday, 16 January 2026 16:00-17:00
■Place : IMI Auditorium(W1-D-413) and Live streaming with Zoom
■Speaker : Yuji Shinano／Zuse Institute Berlin, Germany
■Title : Challenges to solve previously unsolved instances by using a large-scale parallel MIP solver
■Abstract:

Mixed-integer programming (MIP) solvers have achieved dramatic performance improvements

over the past thirty years and can be regarded as the most commercially successful class of

solvers based on mathematical optimization. Because mixed-integer programming problems

are NP-hard, they are theoretically difficult to solve exactly. To address real-world problems,

the solver-development community has established the benchmark dataset MIPLIB, which models

practical problem instances, and has continuously advanced solver technology capable of handling

these instances. Although all state-of-the-art commercial solvers now support parallel computation,

only a very limited number implement the latest algorithms in a truly large-scale parallel environment.

The Ubiquity Generator framework (UG), developed by the speaker, is a software framework designed

to realize large-scale parallel solvers built on top of modern state-of-the-art MIP solvers. Parallel

solvers based on UG have already been the first to obtain optimal solutions for more than twenty

benchmark instances. This talk reports on the current state of large-scale parallel mixed-integer

programming solvers developed using UG.

IMI Colloquium Organizers
　IKEMATSU, Yasuhiko
　KURATA, Sumito
　TAGAMI, Daisuke