分散計算、ゲーム理論、情報理論など。
説明家事の割り当てにおける期待的正直性と事後MMS近似の機構
要約本論文は、分割不可能な「家事」（負の効用をもつ財）の割り当てについて、期待値の意味で正直（TIE）な機構を研究する。任意の人数に対して事後の最大最小シェア（MMS）近似比が定数となる、初のTIE機構を提示している。人数が2人のときは4/3、3人のときは3/2の近似比を達成する。2人の場合の下界を4/3に引き上げ、この機構が2人の場合に最適であることを示す。任意のn≥3についても、TIE機構で達成可能な近似比の下界が13/12であることを示している。
説明Weaver：AI-RANの遊休GPU計算資源で基盤モデルを学習するシステム
要約本論文は、基地局にGPUを備えたAI-RAN基盤における遊休計算資源を調査し、GPU容量の40〜85%が未使用であることを報告しています。この資源を、無線アクセスネットワーク（RAN）の性能を損なわずに基盤モデル（FM）の学習に活用するシステム「Weaver」を提案しています。原文によると、プロトタイプでは利用可能な遊休計算資源が最大4.9倍に増え、複数拠点の試験では学習スループットが基準手法より2.1〜3.7倍向上したとされています。
説明有限分解能マイクロ波線形アナログ計算機（MiLAC）支援型マルチユーザービームフォーミング
要約本論文は、調整可能なアドミタンス素子からなるマイクロ波線形アナログ計算機（MiLAC）でビームフォーミングを行う際、素子の設定状態が有限個しかない場合を研究しています。無損失・相反の制約の下で、離散サセプタンスと電力配分を同時に最適化し、チャネル統計に基づいて離散コードブックを設計します。離散問題と厳密に等価な連続ペナルティモデルとADMMアルゴリズムを提案しています。数値結果では、3ビット・スタム接続のMiLACが、非量子化の全結合MiLACの和レートの95%以上を、可調素子22%で達成することが示されています。
説明ランダム割当の無羨望分解：4人の場合の解決とその先の課題
要約本論文は、ランダム割当行列を確定的な割当へ分解する際に、各エージェントが他者に羨望を抱く確率を1/2以下にできるかを研究している。4人の場合については、計算機支援による証明で、確率的優越の意味で無羨望（SD-EF）な行列はすべてこの分解を持つことを示している。一般のnについては1/2が最良の閾値であることを示し、いくつかの特別な場合の証明を与えている。さらに、自然な分解法が失敗する例を挙げ、任意のランダム割当がこの分解を持つかを判定する問題が強NP完全であると述べている。
注目点四人の場合の未解決問題を解決し、計算機支援による完全な証明とNP完全性の結果を示した。新規性は高いが実用上の影響は限定的。
説明AReaL-TIK：最適化IRを通じた統一RLカーネルのステートフルなエージェント的最適化
要約強化学習の事後学習では、ロールアウトと方策更新で別々のGPUカーネルが使われることが多く、数値の差が確率比に影響します。本論文は、手作業で調整されたビット単位で一貫した統一カーネルを出発点とする、エージェント型フレームワークKernelBraidを提案します。最適化中間表現によりコード探索を整理し、正当性検査を通過し全体の遅延が改善された変更のみを採用します。H20上の12の学習構成で、対数確率の再計算を行うAReaLに対し平均スループットは1.10倍でした。
注目点ビット一致の統合RLカーネルを最適化するエージェント型フレームワークとIRを提案し、12構成・多数の演算子で1.10x等の向上を検証。
説明AIの助言は助けになるか、害になるか？AI助言を伴う内生的情報取得の研究
要約この論文は、人間が最終判断を下す前にAIの助言が示される場合に、判断の質（最終行動の総効用で測定）がどう変わるかを研究しています。均一後験分離可能（UPS）コストの情報取得モデルを用い、助言を受けた後の最適な取得から生じる継続価値関数の凸性を特徴づけています。この凸性が、あらゆる事前確率のもとでAI信号が総効用を弱く改善するための必要十分条件であると示しています。
注目点AI助言が情報取得後の意思決定品質に与える影響を、継続価値関数の凸性という判定基準で特徴づけ、厳密な状態空間結果と反例を示す点が新しい。
説明定電力・低電力誤り訂正冷却符号の上界の改良
要約本論文は、オンチップバスで消費電力と熱効果を抑えつつ誤り訂正を行う、二元の定電力誤り訂正冷却符号（CPECC）と低電力誤り訂正冷却符号（LPECC）を e=w-3 の場合について研究します。CPECC では、Zhao と Zhang の上界の適用条件を w≥2t(t+1)+2 から w≥w0(t)（w0(t) は約 √2·t^(3/2)）へ拡張し、Steiner系を用いて固定の t、w で上界が達成可能かつ漸近的に厳密であることを示します。LPECC では、w≥μ(t)（μ(t) は約 √2·t^(3/2)）に対し新たな上界 ⌊C(n+2,3)/C(w+t,3)⌋ を示し、適用範囲では従来の上界より厳密に小さく、漸近的に厳密です。
説明キッシング数の構成を大規模に自律発見
要約キッシング数問題は離散幾何学の古典的問題で、厳密解が知られているのは一部の次元に限られます。著者らは自律型マルチエージェント研究システム Qiushi Engine を用い、19 の次元でキッシング数の新しい下界を得たと報告しています。結果は独立に検証可能な有限の証明書として示され、K(25)≥197580、K(55)≥53301140 などの下界が挙げられています。
注目点19次元で接吻数の新しい下界を与え、多様な構成機構と検証可能な有限証明書を示すが、既存手法からの改善幅は本文での確認が必要。
説明一般化パッキング・カバリング予想の証明
要約本論文は、線形符号に関する一般化パッキング・カバリング予想を証明しています。任意の線形符号と許容される次数 t に対し、第 t 一般化ハミング重みと第 t 一般化被覆半径の間に d_t ≤ 2R_t + 2 が成り立つことを示します。証明は計算機支援によるもので、t≥32 のすべての場合を扱い、残りの有限個のパラメータ組は厳密な計算機検証で排除しています。
注目点長年の予想を証明し、パリティ検査による言い換え、長さの上界、逐次穿孔の議論を組み合わせ、残りを厳密計算で排除している。
説明TLA+トレースチェックによるマルチテナントKubernetesクラスタの監視と検証
要約本論文は、設計段階で抽象モデルを網羅的に検査する従来のモデル検査とは異なり、TLA+仕様をランタイムのトレースチェックに用いる監視ツールを提案している。Kubernetesの監査ログから推定された振る舞いに対して、TLA+のトレースチェック仕様で違反を検出する。主な用途はマルチテナントの違反検出だが、この仕組みはそれに限定されない。形式的推論を稼働中のKubernetes環境に組み込み、監視と正しさの検査を改善する方法を示している。
説明ゲームベース拡張の有界モデル検査による更新スケジュール合成
要約本論文は、安全重視システムにおいて、運用を中断せず、予備のハードウェアを用意せずにソフトウェア更新を安全に行う調度問題を扱う。システムと更新を二人用の定時ゲームとしてモデル化し、有界SMT符号化により固定の大域時刻による更新スケジュールを合成する。このスケジュールは、システムの自律的な振る舞いに関係なく、更新の安全かつ完全な展開を保証するとされ、自動運転の軌道計画器を例に示される。
説明WaveAlign：長尺動画生成のスパースアテンション向けキャッシュ対応クエリ行スケジューリング
要約拡散トランスフォーマ（DiT）による長尺動画生成は非常に長いトークン列を扱うため、アテンションが推論の主要なボトルネックになります。本論文は軽量なWaveAlignを提案し、スパースマスク行の低ランクSVD表現でクエリ行をグループ化し、GPUのウェーブ内でK/Vブロック数の降順に並べ替えることで、L2キャッシュヒット率を向上させ、HBM読み出しを削減します。クエリ行とマスク行の並べ替えのみを行うため、スパースアテンションの意味は保たれます。二種類のGPU、二つの動画DiT、四つのスパースアテンション手法で、品質低下なしにカーネル最大1.25倍、エンドツーエンド最大1.17倍の高速化が報告されています。
説明並列チャネルと記憶をもつチャネルのためのダイバージェンス最小化分布マッチング
要約本論文は分布マッチャ（DM）の理論を記憶をもつ分布へ拡張し、ダイバージェンス最小化DMが無記憶の場合と同様に目標確率の最も高い系列を選択することを示している。また、イノベーション過程によって駆動される分布に対するダイバージェンスのスケーリング則も拡張されている。理論は並列の加法性白色ガウス雑音チャネルに適用され、重み付きエネルギー制約を持つ改良型枚挙球面整形（ESS）法が実装に用いられている。3チャネルの例では、短いブロック長において、積型DMと比べてチャネル間の結合ESSが速度損失を大きく低減することが示された。この利得は確率的振幅整形と5G-NR低密度パリティ検査符号を用いたシミュレーションで確認されている。
説明CSI不確実性下のOTFS大規模MIMO向けGPU高速化ロバストビームフォーミング
要約本論文は、チャネル状態情報（CSI）に不確実性がある場合の、OTFSを用いた大規模MIMOシステムのロバストビームフォーミングを扱う。著者らは、指定された停止確率を保証しつつ総送信電力を最小化する機会制約付き最適化問題を定式化し、支持ベクトルクラスタリング（SVC）で不確実なCSIを非対称な不確実性集合としてモデル化する。さらに、そのロバスト等価問題を半正定値計画に変換し、GPUで並列化可能な交互方向乗数法（ADMM）を設計した。シミュレーションでは、提案手法が従来方式より送信電力を削減し、GPU高速化ADMMが速度向上を示したと報告されている。
説明自動自己還元による分散下限の証明
要約本論文は、分散計算におけるグラフ問題の乱択下限を研究している。著者らは、自己還元（self-reduction）が古典的なラウンド除去（round elimination）の特別な場合であることを示し、アルゴリズムの誤りを測る新しい尺度を導入した。その結果、古典的ラウンド除去で log log n を超える乱択下限が得られるとしている。さらに、極大マッチングなど複数のグラフ問題について Ω(√log n) の乱択下限を証明している。
注目点自己還元を古典的ラウンド消去の特殊例として位置づけ、ω(log log n)を超える乱択下界を黒箱的に得る枠組みを示し、理論的新規性が高い。
説明DNN駆動のチャネル不確実性学習を用いた空地宇宙統合ネットワーク（SAGIN）向けロバスト資源管理
要約本論文は、チャネル状態情報（CSI）が不確実な場合の空地宇宙統合ネットワーク（SAGIN）におけるロバストなビームフォーミングと資源割り当ての同時最適化を扱う。所定の中断確率のもとで利用者の品質要求を満たしつつ総送信電力を最小化する機会制約付き最適化問題を定式化し、半正定値緩和によって目的関数を変換する。次に、深層ニューラルネットワーク（DNN）で不確実なCSIを非対称な不確実性集合としてモデル化する手法を提案し、事前学習済みパラメータに基づくロバスト対応手法を構築する。シミュレーションでは、提案手法が従来のロバスト・非ロバスト手法よりエネルギー効率と信頼性で優れることが示されている。
説明散乱測度と情報幾何：有限測度で散乱実験を記述し、Fisher計量でその情報構造を解析
要約著者は散乱実験を結果空間上のパラメータ付き有限測度として定式化し、Fisher計量によって定まる情報幾何を構築しています。散乱測度は全質量と正規化された形状に分解され、Fisher情報は散乱強度全体の変化と結果間の再配分に分けて扱われます。測定過程は散乱測度に作用する確率核または劣確率核で表され、これらが Fisher 情報を縮小することで、最適実験計画の理論と結び付けられています。同じ有限測度の構造は、検出が不完全な量子測定にも現れるとされています。
説明超大規模流体アンテナシステム上の秘匿通信：チャネル硬化が検出に与える影響
要約本論文は、導波表面波伝搬によって形成され、ランダムな共分散スケールを持つ超大規模流体アンテナシステム（E-FAS）における秘匿通信を検討しています。受動的な監視者が存在する場合について、監視者の最適尤度比検定がエネルギー検出器に帰着することを示し、誤警報確率と見逃し確率を導出しています。有限観測区間では、有限モードのE-FASチャネルは、同じ平均電力の完全硬化レイリー極限より秘匿性が高いと報告されています。チャネル硬化の役割は非対称であることも示されています。
説明二値行動の多エージェント契約における計算複雑性の全体像（総代替（gross substitutes）報酬クラス内の性質の違いを整理）
要約本論文は、二値行動の多エージェントモデルにおける最適契約設計の計算複雑性を研究し、総代替（gross substitutes）報酬関数とその関連クラスに焦点を当てています。OXS報酬（総代替の厳密な部分クラス）に対しても最適契約問題はAPX完全であることを示しました。加重マトロイド階数関数にはEPTASを与え、一般には乱択FPTASが存在しないことを示しています。分割マトロイド階数関数にはFPTASを与えています。さらに、ultra報酬関数について、値クエリを用いる多項式時間の乱択アルゴリズムでは期待値で2^{o(n)}近似を達成できないことを示しています。
注目点グロス代替クラス内で近似困難性の境界を精密に示し、APX完全性やEPTAS、FPTASなど厳密な理論結果を与えている。
説明Torch-PIM：PyTorch向けにプロファイル情報を用い、メモリ内演算（PIM）へのオフロードを自動決定するコンパイラ枠組み
要約本論文は、PyTorchが生成する並列ループネストをホストで実行するかPIM（メモリ内演算）に任せるかを、プロファイル誘導最適化で決定するコンパイラ枠組みTorch-PIMを提案している。各ループは処理量とメモリ依存度の二段階で評価され、その入力はホストでのプロファイルまたはMLIRから得られる。原文によると、32～128コアのPIM構成で、CPUのみの実行と比べテンソル演算最大8.6倍、MLP 2.9倍、Attention 4.4倍、GPT-J-6B 5.1倍、LLaMA-7B 3.6倍の高速化を報告している。
説明離散チャネルにおけるレニイ・ダイバージェンスの収縮（レニイ・ダイバージェンスの縮小性に関する研究）
要約本論文は、有限空間上のレニイ・ダイバージェンスに対する強データ処理不等式（SDPI）定数を調べ、その次数αへの依存性を分析しています。定数の境界や値の決定に関する結果を示し、局所差分プライバシー（LDP）とマルコフ連鎖の解析に応用しています。
注目点有限空間上のRényi発散のSDPI定数を体系的に解析（単調性、凸性、台の制限、テンソル化境界）し、LDPとマルコフ連鎖に応用しており新規性が高い。
説明ペーシング戦略付きオークションにおけるナッシュ均衡：計算複雑性と非効率性
要約本論文は、複数の同時一価オークションに参加する効用最大化型入札者がそれぞれ単一のペーシング乗数を選び、評価額を一様に入札額へ縮小する完全情報モデル「APSゲーム」を扱います。近似純粋ナッシュ均衡が存在しないインスタンスがあることを示し、均衡の存在判定は一般にNP完全である一方、入札者数または物品数が固定されていれば多項式時間で解けることを証明しています。均衡が存在する場合の非効率性は、無政府状態の代償と安定化の代償がともに e/(e-1) に等しいと厳密に特徴づけられています（Price of Anarchy／Price of Stability）。
注目点APSゲームを導入し、近似純粋均衡の不存在、NP完全性、効率損失の厳密な値を示しており、理論的貢献は大きいが影響は部分領域に限られる。
説明セマンティクス、ワークフロー、インフラ：本番規模でのエージェント提供の理解
要約本論文は、大規模な汎用エージェント本番プラットフォームから収集された2週間分、1,170万件のリクエストのトレースを分析しています。このプラットフォームは1万を超えるGPUからなる推論インフラで支えられています。タスク開始の意味、ワークフロー実行パターン、インフラの提供需要という3つのレベルで特徴を明らかにしています。セッション間でのリクエスト量の大きな偏り、同列のリクエスト間での実行重複の少なさ、タスク境界をまたぐコンテキストの再利用などが観察されました。
説明AFDM上の高解像度リモートセンシング画像伝送に向けた、インデックス圧縮付きデュアルブランチ・ベクトル量子化衛星デジタルセマンティック通信
要約本論文は、仿射周波数分割多重（AFDM）上で高解像度リモートセンシング画像（RSI）を伝送するための、デュアルブランチ型ベクトル量子化支援衛星デジタルセマンティック通信フレームワーク（DVQ-SDSC）を提案している。高周波残差と低周波の構造的意味情報を別々に処理し、PCAによる码本の並べ替えと群差分パルス符号変調（G-DPCM）によってインデックスのビットレートを下げる。FAIR1M データセットと3GPP NTN-TDL-D チャネルでの実験では、0.0625 bpp の基本レートにおいて従来の JPEG-LDPC 方式を上回る結果が示されている。
説明分散量子回路シミュレーションにおけるパーティション形状と1ノードあたりのランク密度の影響
要約本論文は、富岳上で1,024ノード・39量子ビットの分散量子回路シミュレーションを、検証済みの764構成で評価したものです。トーラス分割の幾何形状が実行時間を大きく左右し、データ転送量が同じでも扁平な分割は立方体に近い分割より1.73〜2.31倍遅いと報告しています。ランク密度の影響は副次的で、コンパクトな形状でのみ約11%の短縮が見られます。
説明VarioPath：PCIe GPUクラスタ向けの負荷認識型全対全通信
要約本論文は、PCIe GPUシステム向けのAlltoAllv通信スケジューリング枠組みVarioPathを提案している。混合エキスパートモデルなどの分散大規模モデル推論を対象とし、オフラインのトポロジ認識型アナライザとオンラインの需要認識型スケジューラを組み合わせる。4つのプラットフォーム（最大256GPU）での評価では、AlltoAllvの平均速度向上はFASTに対して5.88倍、DeepEPに対して1.72倍と報告されている。エンドツーエンド実験では、Qwen3の推論遅延が最大27.2%、Wan2.1の生成遅延が6.1%削減された。
説明HyDra：本番規模の動的コンテキスト並列化の問題点を明らかにし改善するシステム
要約本論文は、長文脈学習における動的コンテキスト並列化（DCP）の計算負荷の偏りを扱う。Megatron-Core（Mcore）DCPはメモリ量に基づいて並列度を決めるため、同程度のトークン数でも計算量が大きく異なり、11,000台超のGPUによる256K文脈の本番ジョブでは、ランク間のマイクロバッチ時間が最大5倍ずれたと報告している。提案システムHyDraは負荷を基準に計算を均衡させるスケジューラと、外側のリングと内側のUlysses群を組み合わせたCPエンジンを備える。2,048 GPUの本番ジョブでは、パイプラインの空き時間が36%から14%に減り、Mcore DCPに対するスループットは1.10〜1.43倍となった。
説明Heddle：異種GPUクラスタにおける並列化計画のための構造テンプレート学習
要約本論文は、異種GPUクラスタ向けの学習ベースの並列化計画器Heddleを提案します。計画問題をパイプライン構造の探索に還元し、多様なクラスタ構成からオフラインで構造テンプレートを学習して計画を構築します。評価では、GPUの種類やノード規模の異なるクラスタで、既存の5つの計画器の中で最良の計画と同等以上の性能を示し、高密度モデルではスループットが最大84.5%向上、MoEモデルでは最大4.6倍になったと報告されています。
説明送受信機ハードウェア歪みと不完全CSIを考慮したRIS支援マルチユーザーNOMAネットワーク
要約本論文は、送受信機のハードウェア歪み（HWI）と不完全なCSIを伴う、RIS支援の単一ビームおよびマルチビームNOMAネットワークを扱います。目標レートを満たしつつ基地局の送信電力を最小化する頑健な設計手法を提案し、Bernstein型不等式と半正定値緩和を組み合わせて非凸問題を解きます。数値結果では、HWIと不完全CSIを無視する非頑健方式より提案手法が優れ、マルチビーム方式はより高いビーム利得を得ることが示されています。
説明オフライン分散設計に基づく並列逐次キャンセル摂動強化極性符号復号法
要約本論文は、短・中程度の長さの極性符号に対する並列SCP復号法（OVD-PSCP）を提案する。受信側の摂動の分散を復号前にオフラインで決定するため、元のSC分岐と全ての摂動分岐を同時に開始でき、前回の復号結果に基づく摂動生成による遅延を避けられる。符号化率1/2、符号長64から512の極性符号のシミュレーションでは、同じ摂動分岐数の従来のSCPよりブロック誤り率が低く、符号長が短いほど、また分岐数が多いほど利得が大きいことが示されている。
説明リンク障害下でのDAGワークフローのスケジュール修復
要約ネットワーク化されたIoTシステムにおけるDAGワークフローのスケジュールを、リンク障害が発生した後にどこまで再スケジュールすべきかを研究しています。待機、迂回、局所的な再スケジュール、全体的な再スケジュールという四つの修復範囲を比較し、最適解を基準に評価するとともに、修復判断の遅延も考慮しています。100の作業負荷と異なる障害パターンでの実験の結果、単一の方式が常に優れるわけではなく、修復範囲は障害の過程と修復コストに応じて調整すべきだとしています。
説明戦略的操作に耐性のある線形回帰の効率保証（厳密な理論的上界）
要約本論文は、線形回帰における予測精度と誘因両立性（インセンティブ適合性）のトレードオフを研究している。参加者は公開された特徴量に対応する非公開のラベルを報告し、真のラベルに近い予測を望む。作者らは、最小二乗最適解に対して (d+1) 近似を達成する決定論的な群戦略耐性メカニズムを設計し、普遍的戦略耐性を持つ確率的メカニズムの中でも最適であることを証明した。これは Chen ら（EC 2018）の未解決問題への回答である。期待値での戦略耐性に緩和すると、二乗個別損失は依然として係数 d+1 を保つ一方、絶対個別損失では厳密な比率 2-1/(⌈d/2⌉+1) が得られる。
注目点Chenら（EC 2018）の未解決問題に答え、線形回帰における戦略耐性機構の厳密な近似比と最適性を証明しており、理論的な進展が大きい。
説明複数の同時提案者の地理的インセンティブに関する研究
要約本論文は、複数の同時提案者（MCP）を持つシステムで、提案者が地理的に分散する動機があるかを検討している。モデルでは、提案者は利用者の市場シェアを最大化するため立地を戦略的に選び、利用者は包含までの時間を比較して送信先を決める。包含までの時間は、利用者と提案者の距離、および提案者と最寄りの定足数の証明者との距離（quorum radius）から成る。論文は、提案者がquorum radiusを最小化するように立地を選ぶことを証明する。提案者が証明者を兼ねる場合は同所配置に、役割が分かれる場合は地理的多様性につながる。さらに、事前確認や高速な検証者間接続がquorum radiusの影響を弱め、同所配置の動機をさらに不安定にすることも示している。
説明異種HPC環境における性能と移植性：実行前ベンチマークが必要な理由
要約本論文は、HPCシステム上でPodmanコンテナを使う場合と、システム上で直接実行する場合の量子化学ソフトウェアの性能を比較しています。対象は事前コンパイル済みの実行ファイルで、CPU最適化版と複数の計算ノードで検証し、ネットワークの追加最適化は行っていません。結果として、性能はソフトウェアのコンパイル方法、起動オーバーヘッド、実行構成に依存することが示されています。短時間のタスクではコンテナの準備時間が大部分を占める一方、長時間の計算では進捗の監視が必要だとしています。そのため、HPCでコンテナによる科学アプリケーションを展開する際には、ワークロードごとのベンチマークとユーザーレベルの監視が重要だと述べています。
説明ソフト出力GRAND支援マクロシンボル（SOGRAND-AM）：NOMAシステム向けの統合多元接続検出・復号手法
要約本論文は非直交多元接続（NOMA）システムを対象に、GRAND-AMを拡張したソフト出力版SOGRAND-AMを提案する。多元接続ユーザー検出と誤り訂正を同時に行い、較正されたビット単位の事後誤り確率を出力する。既存のソフト判定外側前方誤り訂正復号器と連携できる。論文によれば、ハード入力のGRAND-AMと比べ、外側ソフト入力復号器の出力で誤りビット率が約2 dB改善する。
説明統計的ダークマター：シナジーは至る所にあるが捉えにくい
要約本論文は、三つ以上の変数全体にのみ存在し、どの部分集合にも含まれない情報理論上の「シナジー（相乗効果）」を扱う。多変量情報理論の最新成果を用い、複雑系ではシナジーが従来考えられていたより遥かに広く見られることを示す。また、一般的な統計モデリングの手法はこうした相乗構造を大きく過小評価することも明らかにしている。
説明二元部分空間符号のBraun-Etzion-Vardy上界の証明
要約線形部分空間符号は射影空間における符号の一種である。Braun、Etzion、Vardy（2013年）は、射影空間の線形部分空間符号の符号語数は高々2^n個であるという予想を立てた。本論文はこの予想を解決し、新しい指標論的議論を用いて証明を与える。証明は自己完結している。
注目点Braun-Etzion-Vardyの公開予想を解決し、新しい指標理論的議論により完全で自己完結した証明を与えた。
