ミニカネンのボトムアップ列挙における剪定とメモ化を活用したアプローチ

2026/08/04 6:22

ミニカネンのボトムアップ列挙における剪定とメモ化を活用したアプローチ

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

要約

Japanese Translation:

本論文は、複雑な論理パズルをより効率的に解決することを目的として作成された関数的関係型プログラミング言語 miniKanren 向けの強力な 2 つのライブラリーコンビンーターを導入する。主な革新点は、正則変数に対して関係をメモ化し、冗長な計算を行わずに単一の剪定済み解答ストリームを構築できるようにして、システムが無限検索ループに迷い込むことを防ぐ

defrel/bank
である。これにより、開発者は複雑な合成タスクを扱えるようになる。さらに、標準的な深度優先戦略では迅速に緊密な解決策を見出せない場合に「最良まずえ」列挙を可能にするため不成熟なストリーム上に上限値を付与する加重版
defrel/bank-w
も提供される。

この研究は、従来の手法が深層パスを過剰に遅く探索することで重要な結果を見逃すという純粋な miniKanren の主要な制約に対処する。テストでは、これらの新しいツールの使用により、深い算術および文字列合成問題においてベースラインアプローチを大幅に上回る性能を示した。この向上は、非効率的な検索戦略が必要であった以前には困難だった課題に取り組むことをユーザーに可能にする。より広範な実証評価は将来の拡張版論文へ先送りされるものの、これらの直近の結果は関係型プログラミングアプリケーションにおけるパフォーマンスの顕著な向上を示している。

本文

miniKanren 上の関係型 PBE 合成器:重複除外とメモ化による高性能化

概要

本研究では、単純な miniKanren の上で構築された 2 つの小型ライブラリ合成子を提案する。これらは、非関係型プログラムバイエクスアンプル(PBE)合成器において標準的な手法である「観測に基づく重複排除」を、関係型の設定にもたらすことを目的としている。

提案される 2 つの合成子

1.
prune

  • ユーザーが提供するキー(通常は候補の入出力挙動)に基づいて解答ストリームを重複除外する機能を持つ。

2.
defrel/bank

  • 正規化された新しい変数に対して関係をメモ化することで、一つの重複除外済み解答ストリームのボトムアップ構築を実現する。
  • 各呼び出し元において、そのストリームを再実行(replay)できるようにする機構を提供する。

加重型の実装:
defrel/bank-w

  • 不成熟なストリームに許容可能な上限値を付与する仕組みを採用している。
  • この設計により、自然な深さ優先の正規順序でコンパクトな代表例を見逃した場合でも、ベストファースト列挙(Best-First Enumeration)を回復できる。

予備評価結果(算術および文字列を対象とした PBE ベンチマーク)

defrel/bank
の性能

  • 大部分の深い対象において、深さ制限付きベースラインを大幅に上回っている。
  • ただし、少数の対象家族では以下の課題が見られた:
    • 正規深さ優先列挙順序により、コンパクトな代表例を見逃すことによる劣化が示されている。

今後の計画

  • より広範な実証評価については、本論文の拡張版にて行う予定である。

同じ日のほかのニュース

一覧に戻る →

2026/08/07 5:23

AMD が推論性能向上のためにモデルをシリコンに刻むことでタラアスを取得

## Japanese Translation: AMD がトロントに本社を置くスタートアップであるタラス(Taalas)を買収したことは、AI ハードウェアの景観において大きな転換点を意味し、従来の「メモリ内計算」アーキテクチャを通じて NVIDIA の支配的地位に挑戦することを目的としています。標準的な高帯域幅メモリとは異なり、タラスのチップはマスキング ROM ファブリックを使用して静的な重み値をシリコン上に直接刻み込み、動的な KV キャッシュのために SRAM 呼出ファブリックを使用するモデル専用集積回路(MSIC)として動作します。このアプローチにより、AMD は既存の Instinct GPU アーキテクチャ内で、GPU がプロンプト処理を担いながらタラスのチップがトークン生成を担当するという disaggregated な形でこれらの専門的なアクセラレーターを展開できます。初期のベンチマークでは、HC1 チップは Meta の Llama 3.1 を処理する速度において、現在の NVIDIA GPU よりも 48 倍、Cerebras のアクセラレーターよりも 8.5 倍高速であることが示されています。さらに、重み値をシリコン上に刻むことにより、この技術は従来の方法に比べてトレーニングコストを 100 分の 1 に削減すると推定されます。しかし、この効率性には代償があります:顧客はモデルロックインに直面しており、これらのチップを導入するには、大規模なモデル更新に対して単なる LoRA アダプターではなく、コストのかかる「再スピン」(金属層の変更)を必要とします。規制上の承認が必須であるにもかかわらず、本取引は第 4 四半期に完了する見込みであり、夏には 200 億パラメータ向けに設計された次世代 HC2 チップの登場へと道を開きます。OpenAI、Anthropic、Meta など主要な AI プレイヤーは既に Instinct の顧客であり、AMD はこれらの柔軟で高性能なソリューションを通じて業界のワークロードを再構築する位置づけにあります。

2026/08/06 0:33

NSFインウイェー太陽望遠鏡が隠された太陽過程の重大な発見をもたらす

## Japanese Translation: 2026 年 8 月 5 日、NSF NSO、NSF NCAR HAO、および MPS に所属する研究機関を含む国際チームは、「Nature」誌に重大なブレークスルーを掲載し、太陽表面におけるケルビン=ヘルムホルツ不安定性(KHI)の初の実験的確認を発表した。NSF デイヴィッド・K・イノーイ太陽望遠鏡—which はその 4 メートルの主鏡によって匹敵する解像力を提供した—を使用して観測者は、渦距離が 50–65 km の渦状の極細な旋回パターンを捉えた。このパターンは 416 nm の波長において、モルアイに見られるような構造を示していた。これらの観測は磁気要素の変形された境界線と縞構造を明らかにし、物理ベースのシミュレーション(MURaM コード)および解析理論と完全に一致した。この発見は、KHI が磁場線をねじり、プラズマの混合を駆動し効率的な拡散を行う自然なエンジンとして機能することを確認している。この機構は、太陽の 11 年周期の磁気サイクルの説明、ならびに磁気エネルギーがどのように蓄積し日食爆発を燃料とするかを詳述することで「コロナ加熱ミステリー」の解決に不可欠である。将来の自動解析ではエネルギー転送量および宇宙天気への影響を定量化し、地球基盤技術を混乱させる爆発的な太陽嵐に対する予測を大幅に向上させるだろう。 ## Text to translate: "On August 5, 2026, an international team including researchers from NSF NSO, NSF NCAR HAO, and MPS announced a major breakthrough in *Nature*: the first experimental confirmation of Kelvin-Helmholtz Instability (KHI) on the Sun's surface. Using the NSF Daniel K. Inouye Solar Telescope—which delivered unmatched resolving power via its four-meter mirror—observers captured ultra-fine swirling patterns resembling whirlpools with vortex distances of 50–65 km at a wavelength of 416 nm. These observations, which revealed deformed boundaries of magnetic elements and striped structures, matched perfectly with physics-based simulations (MURaM code) and analytical theory. The discovery confirms that KHI acts as a natural engine, twisting magnetic field lines to drive plasma mixing and efficient diffusion. This mechanism is vital for explaining the Sun's 11-year magnetic cycle and resolving the 'coronal heating mystery' by detailing how magnetic energy accumulates and fuels solar flares. Future automated analysis will quantify energy transfer and impacts on space weather, significantly improving predictions for explosive solar storms that disrupt Earth-based technology."

2026/08/07 6:49

Show HN: ポケットモンスターエメラルドをRaspberry Pi Pico 2 に移植しました

## Japanese Translation: 報告される最も大きな成果は、252 MHz で動作し、1 秒間に 60 フレームの画率を実現することで、Pokémon Emerald が WeAct Studio Core2350B マイクロコントローラー (RP2350B) にてネイティブに正常に動作することに成功した点である。本システムは、オンボードフラッシュストレージから直接フルゲームプレイ、電源サイクルを超えた持続的なセーブデータの保存、ハイクオリティな HD 対応 HDMI 出力を提供し、従来のエミュレーションオーバーヘッドを排除している。本プロジェクトでは、元のアーム v4T コードを現代的な Cortex-M33 コアに書き直し、コア 1 上でソフトウェア的にゲームボーイアドバンスのビデオハードウェアを実装し、コア 0 でゲームロジックを担当させることでこの成果を実現した。また、既存のオープンソースエコシステムを活用し、pokeemerald-wasm のハードウェア抽象化層と参照ラスタライザーを用いてバイト単位正確な PPU 検証を確保している。 しかし、ハードウェアおよび実装上の制約により、高度な機能は未完了の状態である。オンライン取引、対戦、ミステリーギフト、リンクケーブルサポート、RFU は利用できない。これは、Emerald が要求する特定の RTC ビットバンギング機能が不足している(カートリッジ GPIO の読み取り値がゼロ)ためである。音響システムは m4a エンジンを使って音楽を再生するが、DPCM および逆再生楽器については無音のスタブが含まれており、フレームレート連動型のミキシングにより 60 fps 未満でアンダーランが発生する可能性もある。さらに、シネマティックなイントロは最適化された高速パスの欠如によりメインループよりも若干遅く実行される。ビルドプロセスには、標準形式からアセットを生成し、ソースコードを単一のイメージにコンパイルして 16 MB の QSPI フラッシュから実行し、読み込み用の `.uf2` ファイルを作成することを含んでいる。このマイルストーンにより、複雑なゲームボーイアドバンスタイトルが極めて低コストのマイクロコントローラー上で効率的に実行できることが証明され、レトロゲーミング愛好家向けに新たな予算フレンドリーなプラットフォームを提供するとともに、コアとなる作業は MIT ライセンスの下で公開される(上流のアセットおよび ROM は除く)。

ミニカネンのボトムアップ列挙における剪定とメモ化を活用したアプローチ | そっか~ニュース