txfjw

制約ソルバを書くことも使うこともできる人。
モデル設計や探索方針を一緒に試行錯誤するお仕事を募集中です。

ひっそりとソルバを開発中 (MiniZinc Challenge 2026 がターゲット。打倒 OR-Tools)

[txfjw @tmfjw]

制約ソルバを作る話 (連載予定)
https://t.co/65cxkVdQdn

[txfjw @tmfjw]

txfjwさんのAtCoder Heuristic Contest 066での成績：390位
パフォーマンス：1512相当
レーティング：1141→1267 (+126) :)
Highestを更新し、4 級になりました！
#AtCoder #AHC066 https://t.co/66TFrzZq44

ソルバを書くのとAHCでは鍛えられる筋肉が少し違うらしい...

[txfjw @tmfjw]

「データは大量にあります。やり方を考えるのはそちらの仕事です」という逆の無茶ぶりもある。ビジネスもデータも6～8割分かる(エッジでなくていい)人材を間にいれるのがいい気がする。何とかマネージャ(組織によって名前が異なる)にやってほしい

[HELLO CYBERNETICS @ML_deep]

何年か前に

「DataScientistは分析が仕事、綺麗なデータを持ってくるのは外の仕事。前処理とかデータの収集の依頼や計画なんてやらせるな」

とか言ってる自称DataScientistがいたんだけど、結構「そうだそうだ君は正しい」みたいなリプがあったので結構普遍的な考え方をではあると思う。

[txfjw @tmfjw]

Claude君からの教訓: 詰まったら「いま自分が手で設計しているものは何か、それを探索変数にできないか」を最初に問う。
...思考の局所解からも脱出しなければならない、ということね。

[txfjw @tmfjw]

AHC、ClaudeCode を使ってみました。AI利用ルールを知らせておくと、ここからはユーザでやってください、みたいな止まり方をするので便利。それでも AI の思い込みに結構引きずられた感じ。

[txfjw @tmfjw]

株価に限らず、何事も最後は投機実行と確率に行きつくイメージ...

[ゆかたゆ @yukata_yu]

機関投資家サイドは高速注文をするためにFPGAを使っていますし、通信ラグを減らすために「途中まで投機的にパケットを送っておいて最後にTCPのチェックに失敗することで破棄する」などのテクニックを使っていますよ。

[txfjw @tmfjw]

似てる話だけど、事業をやってる会社にシステム構築の話をしに行くと、お互いに相手を(自分の分野の)素人だと思って馬鹿にしてしまってるところがある。その知識量のギャップこそが自身の価値なのに...

[HELLO CYBERNETICS @ML_deep]

外資も内資もITベンダーは日系企業の技術レベルを甘く見すぎな気がする。

教えを請う人は意図的に外部に苦手分野を任せてる。会社が技術を持ってることと従業員が技術を持ってることは別。

これは塾講師バイアスと港区女子バイアスと呼んでる。

指導相手を下に見たり、所属で驕ってはいけない。

[txfjw @tmfjw]

制約ソルバの話の続きを公開。
作成中のソルバの中身にだいぶ近づいてきた

https://t.co/zC6aqifDU3

[txfjw @tmfjw]

fail first は探索アルゴリズム・組合せ探索寄り「破綻しやすい枝を先に踏む」、fail fast はソフトウェア設計寄り「異常状態を即座に検出する」らしい...
どちらもほぼ同じことをしているのにややこしすぎん?

[txfjw @tmfjw]

ストールマンがプリンタドライバのソースを入手できないことにブチ切れて GNU や GPL を作った話を思い出す。AIによってソースコードの価値が相対的に低下したと言えるのかも

[ぶんかい@AIで遊ぶ人 @bunkaich]

ぼくの着想の限界＝Codexの限界。
それくらいまーじでCodexでなんでもできる。

これアリエクで買ったやっすいMP3プレイヤー。
でもBluetoothの音飛びと操作性が悪くて放置してたんですよ。

だけど昨日急にシャワーしている時にエウレカして、　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　

殻わりしてチップをCodexに見せたら見事に調査はじめて、
案内された通りにMacに接続しておいたら、今度はOSを吸い上げてバイナリを解析して該当しそうなところを書き換えたカスタムOS作ってくれていて、
最後に案内されていたコマンドを実行したら書き込みが始まって、

結果

解決してしまったのよ・・・

Bluetoothの音飛びはなくなっていて、
動画わかりにくいんですが、元々←→ボタンでメニュー移動だったのを上下ボタンで選択できる直感的な操作に変えてくれています。（最初からそうして・・・笑）

なんだろこの感覚、みなさんにこれで感動伝わりますかね？・・・やばいす、ほんとに・・・

[txfjw @tmfjw]

マンダロリアン、トップガン、ブレードランナーで検索して安心するなどした。
他にもいろいろあるんだろうけど…2つで十分ですよ

[txfjw @tmfjw]

プロンプトがよくわからないままやってみたら、ツールが擬人化されたおじさんになった...

[ゴリラ - ダイエットの進捗だめです @gorilla0513]

プログラミング言語版も作ってみたが人多いな
そしてだいぶ偏見も混ざっている気がするが…ｗ

[txfjw @tmfjw]

Heavy-tailed な求解時間に Heavy-tailed な探索戦略をぶつける、尻尾の長さ対決!

[txfjw @tmfjw]

技術的負債、必要悪で埋めたけどそのうち踏んで困るやつという意味では技術的地雷のほうがしっくりくるかも

[txfjw @tmfjw]

制約プログラミングとSAT, MIP の関係を少々追加しました。
https://t.co/Iatu9Qe02L

次回以降は制約ソルバの中身の話に戻ろうかと。

[txfjw @tmfjw]

CNF とは Conjunctive Normal Form（連言標準形）の略です。論理学では AND を連言（conjunction）と呼び、これを基本とした標準形という意味です。（ちなみに OR は選言（disjunction）と呼びます）

って書いたけど、全部普通に AND, OR って書いてくれれば解決なんや...

[txfjw @tmfjw]

MiniZinc Challenge, 2016年の問題セットで異常に CP-SAT が強い。逆に 2025年の問題セットは自作ソルバの得意領域っぽい。どこを目指すか、何を目指さないか、KKD(勘と経験と度胸)の部分はどうしても残るね

[txfjw @tmfjw]

Claude さんに助言をもらって面白強化学習の導入に成功した。アイデアに関する雑談からつなげてコーディングする場合、いったんコーディングエージェントの画面から離れたチャットの方がコーディングに寄りすぎないでうまくいくみたい

[txfjw @tmfjw]

AI時代の居場所は波打ち際なんじゃないか、Claudeに言ったら
- 短期の波: 個別のLLMリリース、新しいフレームワーク
- 中期の潮汐: 各業界へのAI導入サイクル
- 長期の海岸線移動: 産業構造そのものの再編
とか述べてきて趣が深い

[txfjw @tmfjw]

GAN や自己対戦RL のモード崩壊を思い起こさせる。多様性を強制的に維持する仕組みが必要なんだろうな、というのは探索のアルゴリズムのいろいろなところで見られる構造かも

[AIDB @ai_database]

国際研究チームが人間とAIの相互作用を一つの数理モデルで表し、長期的にどう共進化するかをシミュレーションしたところ、

人間のAI依存度がある閾値を超えると共進化モードから劣化モードへ急激に転落する「臨界点」が存在することが確認されています。

依存度が低い場合は人間・データ・AIが共に成長し続けるとのことです。

一方で、依存度が高くなると人間の認知とデータの質がそろって低下し、AIも多様性を失った貧弱な状態に落ち着くといいます。

[txfjw @tmfjw]

https://t.co/zJXkqfaHfm に従って、 minizinc_challenge フォルダに応募用イメージを作るための Dockerfile を用意して。で Dockerfile ができるの便利