Takehide Soh

名古屋大学准教授．SAT・CSPソルバーおよびその応用に関する研究をしています．

[Takehide Soh @TakehideSoh]

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

[Takehide Soh @TakehideSoh]

PBベンチマークの重複除去版を公開しました．選抜集合つき．A de-duplicated clone of the PB competition benchmarks.
https://t.co/0FH1UmDkOH

[Takehide Soh @TakehideSoh]

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

[今井義弥 @imai_yoshiya]

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

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

#speakerdeck

[OpenAI @OpenAI]

This model represents a step-function improvement on many benchmarks, and its training is ongoing.

Our internal model group arrived at the Navier–Stokes solution in 88 hours, using around 10,000 coordinating AI agents.

Throughout the effort, we maintained the strict safeguards—including monitoring and isolation—that we apply to all our frontier evaluations.

[Enisco @enisco]

Me using Fable 5 to rename a variable

[NHKニュース @nhk_news]

熊本地震 給水に関する情報【8月7日】
https://t.co/NHjNFzbt2s #nhk_news

[広木 大地/ エンジニアリング組織論への招待 @hiroki_daichi]

伝説のエンジニアJeff Deanが27年でGoogleを退社するとのこと。

彼は、エンジニアで唯一「伝説のジョーク集」を持つ人間だ。

2007年のエイプリルフール、「Chuck Norris Facts」のエンジニア版としてGoogle社内？で生まれた「Jeff Dean Facts」というのがある。

この中で僕の好きなやつを並べておく。

【コンパイラの方が慌てる】
・コンパイラはJeff Deanに警告しない。Jeff Deanがコンパイラに警告する
・彼は直接バイナリを書く。ソースコードは他の開発者向けのドキュメントとして後から書く
・gcc -O4 は、あなたのコードをJeff Deanにメールして書き直してもらうオプション
・彼がコンパイルして実行するのは、コンパイラとCPUのバグを確認するためだけ
・エラーはJeff Deanを「警告」として扱う

【性能の概念が壊れる】
・定数時間に満足できず、世界初の O(1/n) アルゴリズムを作った
・関数を最適化しすぎて「呼ばれる前にreturnする」ようになってしまい、やむなく非同期APIを発明した
・彼がプロファイラを起動すると、ループが恐怖のあまり自分でアンロールする
・アサーション1つでアプリケーション全体をユニットテストできる
・真空中の光速はかつて時速35マイル程度だった。ある週末、Jeffが物理を最適化した

【人間をやめている】
・203番目のフィボナッチ数を1秒未満で正確に答えてしまい、チューリングテストに落ちた

・入社面接で「P=NPだったら何が起きるか」と問われ、「P=0 か N=1 だ」と即答。面接官が笑い終わる前に、Googleの公開証明書を眺めて秘密鍵をホワイトボードに書いた

・ビットをシフトする力が強すぎて、別のマシンに飛んでいったことがある

・「これらの逸話は本当か」と聞かれ、彼は「111111」と答えた。困惑する相手に一言、「一ビットたりとも嘘はない」

【メタなやつ】
・人間が書いたとレビュアーに信じてもらうため、彼はコードを「逆最適化」しなければならない
・彼の履歴書には「やっていないこと」が書いてある。そのほうが短いから
・Chuck Norris は Jeff Dean の20%プロジェクト
・あなたが使っている脳は10%。残りの90%はJeffのMapReduceジョブが走っている

【そして、唯一「本当」とされているやつ】
・Jeffが休暇に入ると、数日以内にGoogle全社の本番サービスが謎の停止を始める

[Jeff Dean @JeffDean]

Tomorrow will be my last day at Google after 27 years, and watching it grow from 25 people to 190,000+ has been an amazing journey. Below is a note I shared with many people internally at Google today. An excerpt is:

It has been an absolute pleasure to work with you and to help build some of the most widely used and impactful products of all time. As a kid, I dreamed of helping build software that would be used by many people, and Google now has thirteen products used by more than a billion people (amazing!). Our work has had a tremendous impact in the world, and I have been lucky enough to collaborate and form friendships with many colleagues that I deeply admire, respect, and enjoy. It still brings me joy every time I see people out in the world using our products to find information, handle email, translate documents, watch videos, learn new things, navigate and understand the physical world, browse the web, use their phone, run large-scale computations on our infrastructure, ride in an autonomous vehicle, or perform complex tasks with the help of our AI systems. I hope you all share this sense of joy, because it is a shared accomplishment! Thank you to all of my colleagues at Google over many years!

Now I'm excited to go start @DiscoLoopAI with my longtime friends and colleagues @Sanjay_Ghemawat, @OriolVinyalsML, and @quocleix.

(Updated post: slightly redacted to not have some personal info)

[もとやま @ysk_motoyama]

https://t.co/aTbjbLiBtY

[Umepon @shunji_umetani]

シンポジウム終了後にネットワーキングイベント（交流会）も開催します。ぜひ、こちらも併せて参加をご検討ください。
https://t.co/AfeFpI0rY3

[Umepon @shunji_umetani]

OR学会秋季シンポジウム（9/9 京都大学）
「広がる数理科学」
鍛冶 静雄（京都大学）、坂上 晋作（サイバーエージェント・NII・理研）、宋 剛秀（名古屋大学）、栗田 和宏（岡山大学）
https://t.co/akMcRKtoAg

[Kenn Ejima @kenn]

Fableが見落とした問題を
Opusが見つけて整理してくれる場合もあって
使い分けも難しいし遅いモデルはダルい

全て完了と言われても信じずに
どこまで追い込むべきかは
人間の「嗅覚」が問われているのを感じる

AIに任せっきりではなく
やり取りを解像度高く眺めてないと
育たない感覚だなと

[Umepon @shunji_umetani]

下記の関連OSもありますので、こちらもよろしくお願いします。
「制約プログラミングの理論と実践: 充足・列挙・計数・最適化」6/9(火) 15:30-18:45
「探索とプランニングの基礎と応用」6/11(木) 9:00-10:30
https://t.co/qHSg0dp7hv
https://t.co/iBGZNSyQbQ
https://t.co/MZRbZDRzJD

[Umepon @shunji_umetani]

#JSAI2026 にて「数理最適化」OSをやります。皆さん、ぜひ参加して下さい。6/12(金) 12:00-15:30
https://t.co/J1FL3llEwb
https://t.co/mQXwRRP6Zc

[ジュンク堂書店池袋本店 PC書担当 @junkudo_ike_pc]

12/15新刊：ISBN978-4-04-893114-4　ドワンゴ『The Art of Computer Programming 4B』DONALD E. KNUTH 著　和田英一 監訳　岩崎英哉、田村直之、寺田実、和田英一 訳　10冊入荷

[組合せ遷移＠学術変革領域研究(B) @comb_reconf]

科研費・学変(B)「組合せ遷移」では，国際プログラミング競技会「The 2nd Combinatorial Reconfiguration Challenge (CoRe Challenge 2023)」を開催します．
https://t.co/mASWu7GUo9

皆様のご参加をお待ちしております！どなたでもご参加頂けますので，情報拡散して頂ければ幸いです．

[Armin Biere @ArminBiere]

Got 2TB and it takes 800 sec to do "memset (a, 42, 2000000000000);". Will build some big BDDs and solve some large SAT formulas with this machine ...

[最多情報局 @tyomateee]

ベテランバーテンダーの父が出してくれる離乳食、オシャレすぎる…
https://t.co/q49xeJZBil

[Alastair Donaldson @afd_icl]

Looking forward to teaching SAT and SMT in the coming uni term!

I want to start by motivating the students with examples of the usefulness of these techniques.

Any thoughts on the best examples of practical applications of SAT/SMT that are both impressive and simple to convey?