未解決の問い(研究アジェンダ)

23 の概念ページに散在する 105 件の「未解決の問い」を、 何が来れば決着するかで分類して集約したページ。

使い方

決着のさせ方による分類

種別 件数 意味
A. 文献調査で閉じうる 約 25 既に誰かがやっている可能性が高い。会議 sweep が直接効く
B. 実験が要る 約 55 誰もやっていない。研究テーマの候補
C. 枠組みの問題 約 25 定義・目的の設定に依存し、実験では閉じない

会議 sweep で動くのは A の約 25 件である。B は sweep しても 「まだ無い」ことしか分からない(それ自体は価値がある情報だが、頻繁に確認する必要はない)。


最優先の 10 件

Wiki 全体への波及が大きい順。

# 問い 種別 主なページ
1 日本語での文脈長の逆転は何に由来するか「日本語で逆転する」は支持されないと判明(2026-07-31)。新しい問いは
信号が弱い設定(AUC ≒ 0.5)での減少はノイズか実効果か
B 文脈長 対立の台帳
2 「メンバーシップ推論が効かなくなった」を抑制手法の成功指標にしてよいか。抑制手法を測定手法と独立に検証する方法論はどう設計するか C 評価の枠組み 逆学習
3 日本語・ドメイン特化コーパスで抑制手法(重複排除・PEFT・逆学習)の有効性は再現するか B ドメインや言語横断 学習過程における抑制
4 「許容可能な暗記」と「深刻度の高い暗記」を操作的に区別する指標は作れるか
Carlini 21 の k-eidetic が部分的に回答。なぜ普及しなかったかが次の問い
C 暗記 評価の枠組み
5 外れ値的なデータ点に限れば、高いトークン/パラメータ比でもメンバーシップ推論は成立するか
Morris 26 の「成立しない」は平均的データ点・損失ベース・完全重複排除に限定される。守るべきデータはこの範囲の外にある
B メンバーシップ推論 対立の台帳
6 「暗記だけ減らして性能を保つ」ことは原理的に可能か
Morris 26 は容量制約下の相転移という描像を与えた。同じ容量で意図せぬ暗記だけ減らせるかが次の問い
B 暗記と汎化 モデルサイズ
7 対数線形関係は 6B を大きく超える規模(数百 B〜)でも維持されるか
Carlini 23b の OPT 追試(〜66B)が部分的に回答。傾向は再現するが効果が数桁小さく、規模とデータ整理が交絡
A モデルサイズ
8 異なる定義で測った暗記量を相互に変換・比較する枠組みはあるか C 暗記 反実仮想
9 依拠性を立証しうる技術的手段は、メンバーシップ推論以外にあるか B 著作権
10 逆学習は生成を抑えるだけか、パラメータから情報を除去するか B 逆学習 知識編集

A. 文献調査で閉じうる問い(会議 sweep の対象)

ここが sweep の実質的な検索クエリになる。 会議のタイトル一覧をこの節と突き合わせる。

評価セット・指標

スケーリング・学習レシピ

定義・手法の接続

拡張領域


B. 実験が要る問い

誰もやっていない可能性が高い。研究テーマの候補であり、sweep で毎回確認する対象ではない。

日本語・言語横断(この Wiki 最大のギャップ)

「検出されない」と「消えた」の区別

この Wiki で最も繰り返し現れる論点。→ 対立の台帳

暗記と汎化の分離

メカニズム

手法の頑健性

運用・設計


原典を読んで分かったこと(2026-07-31)

被参照数の多い 5 本を stub から昇格させた結果、 サーベイの圧縮で落ちていた知見が問いを 3 つ解消し、2 つ新設した

問い 結果
日本語で文脈長の効果は逆転するか 否定。日本語 3 本中 2 本は正の関係を再現。逆転は AUC ≒ 0.5 の領域に限られる → 対立の台帳 1 番
デコーディング戦略の影響に関する対立 解消(比較対象が違った)→ 対立の台帳 2 番
重複回数と暗記量の関数形はドメインによらず一定か 否定的に回答(T5/C4 で非単調)→ 対立の台帳 8 番
許容可能な暗記の操作的な区別 部分的に回答(k-eidetic)
(新設)なぜ k を持つ定義が普及しなかったのか 測定可能性が優先された経緯として読める
(新設)分布シフトのある評価に依拠した研究は他にどれだけあるか Das 25 の名指しは 1 例

教訓: 被参照数の多い論文は原典を読む価値がある。 サーベイは正確だが圧縮されており、圧縮が対立を作ったり留保を落としたりする。

C. 枠組みの問題(実験では閉じない)

定義や目的の設定に依存する問い。論文が出ても「決着」はせず、選択肢が増えるだけである。 サーベイ 7·1 節の「暗記とは何かを改めて問い直す」に対応する。