今井義弥

数理最適化フリーランスエンジニア．
ツイート内容はソフトウェアエンジニアリング・数理最適化．
単体法とCDCL(SAT, Pseudo Boolen)チョットデキル．

[Takehide Soh @TakehideSoh]

日本オペレーションズ・リサーチ学会の2026年秋季シンポジウム（第94回）で講演した内容を公開しました．「SAT ソルバーの仕組みと制約ソルバーへの応用」
https://t.co/ynZJYp8U5Q

[今井義弥 @imai_yoshiya]

今日の発表資料をアップロードした．

CDCL を用いた MILP の厳密解法 https://t.co/rDD6xFmKKb

#speakerdeck

[おおたまん @ohtaman]

数理最適化: Optimization Night #12 を公開しました！ https://t.co/s4yLM8JxOF #opt_night

[今井義弥 @imai_yoshiya]

発行から 1 年経ったので， OR 学会の会員ではない方も閲覧できるようになりました．

[今井義弥 @imai_yoshiya]

オーガナイザーとして携わった，OR学会機関誌の企業事例の特集が公開されました．
https://t.co/NjlzHLb6nM
また，特集記事ではないのですが，ヤマト運輸の黒木様・川名様の事例研究論文も同号に掲載されています．
数理最適化などのOR手法を実務に活用しようとされる方々のご参考になれば幸いです．

[Takehide Soh @TakehideSoh]

開発しているCSPソルバー kat が，CSPソルバーの国際競技会 XCSP3 Competition 2026 の Main CSP部門で優勝（Joint Winner）しました．

[今井義弥 @imai_yoshiya]

【補足】
MIPLIB2017 のインスタンスを SCIP で前処理した問題で比較している．

現状私のソルバーで実装している前処理はかなり貧弱なので，前処理していないインスタンスで比較すると多分 cbc より遅い．

[今井義弥 @imai_yoshiya]

ここしばらくは Pseudo-Boolean をやっていたけど， MIP ソルバーを再開した．
Rust で再実装したり，以前使っていた簡易的な CDCL ソルバーをちゃんとしたものに置き換えたり，その他細かい工夫をやったりで， cbc には勝てるようになった．

MIPLIB2017 の 0-1 変数だけのインスタンスで比較

[今井義弥 @imai_yoshiya]

MIPソルバー作った

（とりあえず動くだけで，0-1整数変数しか扱えないし，前処理も未実装だけど）MIPLIB2017のインスタンスで0-1整数変数だけの190問を対象に，SCIPで前処理を行った問題で比較した感じでは，まだSCIPには敵わないけどCBCとは張り合えていそう

[今井義弥 @imai_yoshiya]

以前書いた資料はこちら．（基本的なアイデアは今も変わっていない）
https://t.co/qO5DqNViTW

[今井義弥 @imai_yoshiya]

ただし，最近気づいたことではあるけど， MIPLIB2017 のインスタンスは特定の工夫( primal heuristics や cut など)を実装すれば容易に解けてしまうものも多く，単純に解けた問題の数で比較することは妥当ではない気もしてきている．

[今井義弥 @imai_yoshiya]

去年のとの性能比較

理由はわからないけど，去年の時点で他のソルバーと比較して UNSAT に強くて SAT に弱い傾向があって( https://t.co/UjgBY4UCaT )，今年は更に極端になっていそう．

[今井義弥 @imai_yoshiya]

今年も Pseudo-Boolean Competition https://t.co/kRjyqhZvxD に参加した．(結果が出るのは 7 月)

アルゴリズム的には去年のと同じだけど，今年は時間に余裕があったので多少の改善ができた．
https://t.co/3Dt8xKuU6W

[Haruhiko Okumura @h_okumura]

@tjmlab オープンアクセス本ですね。https://t.co/6UrEN0MhRo でPDFがダウンロードできる

[Masahiro Sakai @masahiro_sakai]

今年も PB のコンペ開催されるそう。

Pseudo-Boolean Competition 2026
https://t.co/LirkUoSaoY

[今井義弥 @imai_yoshiya]

「つるかめ算は双対単体法である」という何の役にも立たなさそうな雑学を発見した

[今井義弥 @imai_yoshiya]

> 特集「人工知能と離散最適化」および一般

[人工知能学会 jsai-ann ML @jsai_ml]

【SIG-FPAI】発表募集：人工知能学会 第136回人工知能基本問題研究会
　https://t.co/3gWqHVOW6t

[今井義弥 @imai_yoshiya]

名刺入れが空だった…
(先月手入れしようと思って中身を出した気がする)

[今井義弥 @imai_yoshiya]

@H_A_ust （本は読んでないけど）たぶん問題が起こるのはソルバーではなくモデリング言語の方で，複雑なモデルだと変数や制約の添字の数が多くなってしまって，素直に各添字の集合の直積を変数または制約の定義域にすると，メモリと計算時間を消費しすぎることがある，という話だと思います．

[今井義弥 @imai_yoshiya]

日本OR学会 評価のOR 研究部会
「データの背景にある文脈を読む」
2025年11月29日（土）
https://t.co/gQkNU1HuHq

[今井義弥 @imai_yoshiya]

日吉!

[人工知能学会 jsai-ann ML @jsai_ml]

【開催案内】第134回人工知能基本問題研究会（SIG-FPAI）「制約充足、探索、列挙、最適化 ― よい「答え」を見つける技術の最先端」
　https://t.co/cpgu7Xu3M8

[おおたまん @ohtaman]

数理最適化: Optimization Night #11 を公開しました！ https://t.co/NqcYtL55QJ #opt_night