カクテル最適化:整数計画問題

2026/06/19 20:59

カクテル最適化:整数計画問題

RSS: https://news.ycombinator.com/rss

要約

Japanese Translation:

日本語翻訳:

元の要約は優秀であり、変更を必要としません。

本文

OR-Tools とブランチ・アンド・バウンド:整数計画問題の性能比較

背景と動機

  • 整数計画問題(IP) は、重複データ処理(デデュプレ)分野における最も魅力的な課題の一つです。
  • 過去は独自の実装でアプローチし、現在は Google のOR-Toolsを用いています。
  • 目的:独自考案のアルゴリズム高度なソルバーの性能を比較すること。

比較結果:圧倒的な差

  • 自らのコード vs OR-Tools:
    • OR-Tools は苦心した手法を一蹴し、見事凌駕しました。
    • その差は圧倒的でした。
  • 結論:
    • 独自コードが真の対決相手ではなかったのは当然です。
    • OR-Tools は長年にわたり何千人もの研究者とエンジニアの知見が凝縮された技術的な奇跡の産物に過ぎません。

ケーススタディ:カクテル最適化課題

  • 課題内容: カクテルトレイ上の材料の数で実現可能なカクテルの種類を最大化する。
  • 過去の実績(独自ソルバー):
    • 成果には満足しておりましたが、限界がありました。
    • 素材数 30の場合:最適解発見まで数分必要。
    • より良い解の探索に終止符が打たれない状況でした。
  • 現在の成果(glpk.js):
    • glpk.js を用いることで、最終的な最適解をミリ秒単位で発見可能となりました。

結果概要(素材数 30 の場合)

  • 実現可能なカクテルの種類:29 種類
  • 【チャート:トレイ上の材料数(0〜40)対 作成可能なカクテル数(0〜120)】
    • 結果:29 種類のカクテル

推奨仕入れリスト

材料必要なカクテル数
--

購読情報:「Slow-News」を電子ニュースレターとしてご登録はこちらから。

同じ日のほかのニュース

一覧に戻る →

2026/06/22 6:29

アペルトス:主権 AI 向けのオープンファウンデーションモデル

## Japanese Translation: スイス AI イニシアチブによって、EPFL、チューリッヒ工科大学(ETH)、CSCS の協力により、画期的な完全にオープンな多言語 AI モデルが開発されました。本モデルは、全データの透明性を確保しながら強力な技術への即時アクセスを提供します——再現性を確保するため、すべてのデータ、コード、重み付け、手法、アライメント原則が文書化されています。1,000 以上の言語から DAY ONE にトレーニングを開始し、8B および 70B パラメータ規模の両方で競争力を誇る性能を実現しています。EU AI アクトの要件に厳格に準拠しており、データ opting-out を尊重し、個人情報を削除するとともに、メモライゼーションを防止します。スイスエコシステム内でスイスコミが戦略パートナーとして携わっており、本イニシアチブはさらなる開発のためのグローバルなスケーラブルな基盤となっており、強力な能力と責任ある管理の間でバランスを保つ道徳的で再現可能な枠組みを確立しています。

2026/06/22 6:40

私の以前の職場は不正行為があるためにだけ存在していたのでしょうか?

## Japanese Translation: 最も重要な教訓は、UK のスタートアップ GenieDB が、そのコア技術革新は後に真面目な業界プレイヤーによって採用されたにもかかわらず、ポートフォリオの成長のためではなく、投資家の資金を手数料主導で吸い上げるための仕組みを可能にするために、Stuart Frost 所有の US ベンチャーファンド「Frost VP」に買収された点である。GenieDB は M&A を狙って収益機会を積極的に見送っており、顧客数は最大 3 ヶ社を超えたことがなかった。また、チームが交代させられ、U.S. に残ったのは著者の一人だけだった。10 年後、Frost VP が SEC から詐欺容疑で訴えられたというニュースが明らかになり、同社は関連のないサービス(例:料理人を雇う個人シェフサービス、クリーニング業者、ビザスポンサーシップやマーケティング会社など)に対して過剰な手数料を徴収するインキュベーターとして活動していたことが判明した。仲裁の結果、投資家が勝訴し、反訴では上記のような詐欺の嫌疑が詳細に記載されていた。Frost は当初、投資家との共謀を主張したが、証拠に立ち向かうことができず敗訴した。GenieDB の CEO やインサイダーは両方とも、投資がこの手数料モデルに動機付けられていたことを認めたが、裁判所は GenieDB がなぜポートフォリオに加わったのかについて具体的な理由を判定することはなかった。このスキームは資金残高を枯渇させ、著者の人生軌道(U.S. 市民権の喪失やキャリアの安定性への影響を含む)を変え、さらに Frost から資金管理の禁止という恒久的な禁制を下すことで、事実上 Frost VP の運営を終了させた。この事例は、高額手数料型のインキュベーターモデルについて鋭い警告を示しており、詐欺的な手数料構造が正当な企業価値を覆い隠し、投資家や従業員双方に壊滅的な長期的影響をもたらす可能性があることを示している。

2026/06/22 6:10

すべては対数なりである

## Japanese Translation: 以下の文章は、情報のすべてを維持しつつ、流れと簡潔性を向上させるための改訂版である: > 本書は、対数($\log N$)を具体的な底を持たない抽象的な実体として捉え直すことで、特定の単位や底が選択される場合にのみ数値的値を獲得するという視点を提案する。この見解は、点そのものが基礎的なものであり、原点の選択を行うことで初めて数値的な変位(displacements)となるベクトル幾何学の概念と直接的な対応を確立する。この枠組みにおいて、対数の底の変更は物理的な単位系の変更、あるいは微積分における微分形式の書き換えに等しい。この議論は対称性を他の分野にも拡張しており、$p$ 進評価($p$-adic valuation)や複素解析における消滅位数(order of vanishing)は、対数代数的構造内での投影として機能し、さらにベクトル空間の対数としての振る舞いを見せる次元などは、分数次元といった仮想的な構成すら許容する。自然対数を多項式の振る舞いと関連付ける極限や導関数を通過して再定義することで、本書は次元、導関数、評価という一見異なる概念が、乗法的構造と加法的结构との間のより深い同型写像(isomorphism)の現れであるとして論じる。結局のところ、この視点を採用することにより、数学に一般共変性(general covariance)を適用することは、冗長な単位依存記号によって遮られている単純で座標freeな実在にアクセスする手段を示唆している。