arXiv雑要約
プログラム - 2026/07/30 公開
レンダーに基づくリアクティブプログラムの時間的依存性解析のための型と効果システム [cs.PL, cs.SE]目的：レンダーに基づくリアクティブプログラムの時間的依存性の解析
- リアクティブプログラミングはインタラクティブなアプリケーション開発において重要であり，UIの動的な変化を容易に扱うことを可能とする。
- フレームワークの実行時のタイミング仮定に依存するため，状態の遅延，一貫性の欠如，順序依存性などの潜在的なバグが内在する。
- 時間的依存性を静的に追跡し，非終端や性能低下を引き起こすレンダーカスケードやループを検出することを目指す。
- Willowというリアクティブプログラミングの核となる計算モデルを提示し，レンダーを基本評価ステップとする時間認識オペレーションセマンティクスを定義した。
- 型と効果システムによってタイミング動作を効果として静的に追跡し，「next」モダリティでレンダーやネットワークリクエストなどの遅延を表現した。
- 効果が時間的依存グラフを形成することを利用し，静的なアルゴリズムでレンダーカスケードやループを検出し，時間認識タイピングの実用性を実証した。
分散型結合サンプラーと証明された経験的輸送のためのフィールドコード [cs.CC, cs.IT, cs.LG, math.IT, math.OC]目的：経験的最適輸送における分散型結合サンプリング，コスト評価可能な結合出力，スカラー値認証サンプリングの実現
- 最適輸送は機械学習，画像処理など広範な分野で重要な役割を果たす
- 大規模データに対する効率的な最適輸送計算は，計算コストと通信コストの課題を抱える
- フィールドコードを用いて通信量を削減し，信頼性の高い輸送サンプラーを構築することを目指す
- 本研究では，最適輸送のフィールドを通信オブジェクトとして利用することで，残差の疎性を活用した効率的な通信が可能となることを示した。
- フィールドエラーと通信量の関係を明らかにし，セルマージン条件下の残差通信量を制御できることを示した。
- 証明された出力の困難性に関する下限を確立し，サンプラーと証明された出力モデルの分離を示した。
積分布間のTV距離の線形時間近似 [cs.DS, stat.ME]目的：積分布間の全変動距離の線形時間近似アルゴリズム
- 確率分布間の距離は，機械学習や統計的推論において重要な役割を担う。
- 全変動距離の厳密な計算は，分布の次元が高くなると計算量が膨大になる。
- 高次元の積分布間における全変動距離の効率的な近似手法を確立する。
- 本研究では，ChatGPT 5.6 Sol Ultraを用いて開発された線形時間近似アルゴリズムを提案する。
- 提案アルゴリズムは，既存手法と比較して計算効率が大幅に向上する。
エントロピー支援量子局所回復可能符号：特徴付け，限界，構成 [cs.IT, math.IT]目的：エントロピー支援量子局所回復可能符号の特性，限界，および構成
- 量子誤り訂正は，量子計算や量子情報処理の実現に不可欠である。
- 従来の量子局所回復可能符号の構築は，古典符号の制約により制限されていた。
- エントロピー支援符号を導入し，古典符号の制約を緩和することで，より柔軟な符号構築を目指す。
- エントロピー支援安定化符号が局所性rを持つための十分条件を導出した。
- 古典符号間の双対包含条件を課さないCSS様構成を確立した。
- 最適なエントロピー支援CSS様符号族を，MDS符号とブロックパリティチェック行列を用いて構築した。
ペアワイズ安定なエージェント配置設計 [cs.CY, cs.CY, cs.DS, cs.GT]目的：ペアワイズ安定なエージェント配置の設計
- 多エージェントシステムにおける配置問題は，様々な分野で重要である。
- 安定性や公平性を保証した配置を見つけることは困難であり，計算コストも高い。
- 配置先グラフの構造を設計可能とすることで，安定性と効率性の両立を目指す。
- 本研究では，ペアワイズ安定性を基準とした，効率的なグラフ設計フレームワークを提案した。
- 古典的な安定マッチング理論の結果を拡張し，より一般的な設定で適用可能なことを示した。
- 計算可能性と最適性のトレードオフや，グラフ同型性問題との関連性などが明らかになった。
MindForge：ソースコードなしプログラム合成による小規模言語モデルへのソフトウェアエンジニアリング全ライフサイクル教育 [cs.SE, cs.CL, cs.LG]目的：小規模言語モデルに対する，ソフトウェアエンジニアリング全ライフサイクル教育手法の開発
- ソフトウェア開発において，AIによる自動化の重要性が増しており，効率化が求められている。
- 既存のAIモデルは，既存コードの修正には優れるものの，ゼロからのプログラム作成は困難である。
- 本研究は，ゼロからのプログラム作成を可能にするための学習環境を構築し，モデルの性能向上を目指す。
- MindForgeは，オープンソースのコマンドラインプログラムを，ソースコードなしの環境に変換する自動パイプラインである。
- GLM-5.2を用いた教師あり学習により高品質なデータセットを生成し，Qwen3.6-27Bをファインチューニングした。
- その結果，ProgramBenchの平均テスト正答率が37.98%から49.51%に向上し，より大規模なモデルに匹敵する性能を実現した。
小さなサイクル列挙 [cs.DS]目的：グラフにおける小さなサイクルの列挙手法
- グラフ理論は，ネットワーク分析やデータ構造など，様々な分野で基盤となる重要な研究分野である。
- 大規模グラフにおけるサイクル検出は計算コストが高く，効率的なアルゴリズムが求められていた。
- より大きなサイズのサイクルについても効率的に列挙するアルゴリズムを開発し，その限界を探ること。
- 本研究では，$2k$ (ただし $k \le 8$) サイクルの列挙を，$\tilde{O}(n^2+t)$時間で行うアルゴリズムを提示した。
- 前処理時間$\tilde{O}(n^2)$，遅延時間$\tilde{O}(1)$でサイクルを列挙するアルゴリズムを実現した。
- 固定の$k$に対して，サイズ$2k$以下のすべてのサイクルを最適に列挙するアルゴリズムも提案した。
有界独立性からのk-Min-Wiseハッシュの構成 [cs.DS]目的：k-Min-Wiseハッシュの構成に必要な有界独立性の程度
- サンプリング，スケッチ，類似性推定において基本的なツールであり，ビッグデータ処理に不可欠である。
- k-Min-Wiseハッシュに必要な独立性の程度が十分に解明されていなかった。
- k-Min-Wiseハッシュに必要な有界独立性の厳密な特性評価を行う。
- k-Min-Wiseハッシュに必要な有界独立性の程度がΘ(k+log 1/δ)であることを証明した。
- これにより，既存の上界が改善され，整合的な下界が示された。
- 特に，δが多項式的に小さいエラーであり，k=Ω(log N)の場合，最適なシード長O(k log N)を達成する。
グラフk彩色における$2^n$の壁の打破 [cs.DS]目的：グラフk彩色問題の解法
- グラフ彩色問題は，数多くの応用分野で重要な役割を果たす組み合わせ最適化問題である。
- 既存のアルゴリズムでは，$2^n$の指数時間計算量が問題であり，大規模グラフへの適用が困難であった。
- k彩色問題に対する効率的なアルゴリズムを開発し，$2^n$の壁を超えることを目指す。
- 全てのkに対して，$\varepsilon_k > 0$が存在し，$O((2-\varepsilon_k)^n)$時間でグラフk彩色を解くことができるランダム化アルゴリズムが存在することを示した。
- 本研究以前，およびZamirの研究と合わせて，$k \le 6$に対してのみ，$2^n \cdot \mathrm{poly}(n)$時間アルゴリズムの指数的な改善が知られていた。
- 今回の結果は，kの制約なしに$2^n$の壁を超えることができる重要な進歩である。
SpecFirst：エージェントベースのプログラム合成における行動仕様の早期抽出 [cs.SE, cs.CL]目的：行動仕様の抽出とプログラム合成の分離による，スクラッチからのプログラム合成の性能向上
- 既存のコードベースがない状況でのプログラム合成は困難であり，その評価基準が必要とされている。
- 従来のフレームワークでは，仕様抽出，行動探索，コード合成が同時に行われ，誤解釈が蓄積しやすい。
- 行動仕様を事前に明確化することで，曖昧さを解消し，安定した行動参照を確立することを目指す。
- SpecFirstは，ProgramBenchの200インスタンスで既存手法を上回り，テスト合格率を6.9%-21.3%向上させた。
- 二分探索の網羅率も9.4%-18.5%向上し，統計的に有意な結果が得られた。
- 事前仕様を持つことで，より早い段階で安定したコード構築が可能になったことが示された。
理解圏の自由構成 [cs.LO, math.CT]目的：理解圏の自由構成
- 型依存性に関する圏論的研究において，理解圏は重要なモデルを提供する。
- 既存の理解圏の構成方法には制限があり，自由構成の必要性が存在する。
- 与えられたフィブレーションに対する理解圏の自由構成を確立すること。
- 理解圏とLawvere-Ehrhard理解圏という特定のサブクラスの関係性を明らかにした。
- あるフィブレーションに対し，理解圏の自由構成を構築する方法を提示した。
- 与えられたJacobs理解圏に対し，Lawvere-Ehrhard理解圏の自由構成を構築した。
バイナリ操作によるLinuxディストリビューション全体へのトラスト・トラスト攻撃 [cs.CR, cs.SE]目的：Linuxディストリビューションに対する，バイナリ操作を通じた完全なトラスト・トラスト攻撃の構築
- ソフトウェアサプライチェーンのセキュリティ確保は，現代社会における情報システムの安定運用に不可欠である。
- コンパイラだけでなく，ビルドツールも攻撃対象となり得るという認識が不足している。
- ビルドツールの改ざんが，システム全体に広がる深刻なセキュリティリスクを軽減すること。
- GNU stripのようなビルドユーティリティを介したトラスト・トラスト攻撃が，コンパイラに限らないことが示された。
- NixOSのbootstrapプロセスにおいて，改ざんされたstripがペイロードを伝播させ，最終環境にまで影響を及ぼすことが確認された。
- 実際のnixpkgsリビジョン上で，完全なグラフィカルインストーラを構築し，ほぼ全てのバイナリをバックドア化することが可能となった。
適応型量子計算における代数的パラドックス [physics.soc-ph, cs.HC, cs.SI, econ.GN, q-fin.EC, quant-ph, cs.CC, quant-ph, cs.LO]目的：適応型量子計算における代数的パラドックスの存在
- 量子計算は，古典計算機では困難な問題を解決する可能性を秘めており，その重要性は増している。
- 適応型量子計算は強力だが，その代数的解析は困難であり，文脈性が十分に理解されていない。
- 本研究は，適応型量子計算における代数的パラドックスを明らかにし，文脈性の理解を深めることを目指す。
- 適応的な$\mathbb{Z}_2$線形測定ベース量子計算プロトコルが非アフィンブール関数を決定的に計算する場合，基となる量子資源は線形方程式の矛盾した集合を満たすことが示された。
- このことは，マーミンのAll-versus-Nothing議論を一般化した，強い文脈性の代数的な形を示す証拠となる。
- このような代数的文脈性はコホモロジー的に検出可能であり，ラウスドルフが提起した未解決の問題が解決された。
クロネッカー・ガウス行列に対するレーナーの公式のRDTによる検証 [math.PR, cs.IT, math.IT, math.ST, stat.TH]目的：クロネッカー・ガウス行列のスペクトル端の決定
- 古典的ガウス型確率行列とそれに対応する自由確率的な半円分布の間の関係性の理解は重要である。
- レーナーの公式の導出には，通常，確率行列理論やスペクトル解析といった複雑な手法が必要となる。
- ランダム二重性理論を用いてレーナーの公式を再検証し，スペクトル手法に依存しない証明を提供する。
- 本研究では，ランダム二重性理論の概念を利用することで，レーナーの公式が有効であることが確認された。
- スペクトル解析を用いた先行研究の結果と整合的な結果が得られ，レーナーの公式の信頼性が高まった。
- ランダム二重性理論は，確率行列のスペクトル解析における新たなアプローチを提供する可能性がある。
形式概念解析における可能性演算子とカン拡張 [math.CT, cs.LO]目的：形式概念解析における可能性演算子の構造
- 概念間の関係性を数学的に分析する手法であり，知識表現やデータマイニングに応用が期待される。
- 既存の演算子の理論的根拠が不明確であり，新たな演算子を体系的に構成する手法が課題である。
- カン拡張を用いて，可能性演算子の起源を明らかにし，新たな閉包演算子を構築すること。
- ドゥボア＝プラードの8つの可能性演算子が，基礎となるブールプロファンクターのカン拡張から自然に導出されることが証明された。
- $N\Pi$ペアが補完文脈の形式概念となる結果を概念的に説明する。
- 形式概念を与える演算子の組み合わせは，閉包演算子と$N\Pi$ペアに限られることが示された。
短く考え，賢く保留し，行動し，繰り返す：エッジLLMエージェントのための較正された推論と不確実性に基づいた保留 [stat.ML, cs.AI, cs.IT, cs.LG, math.IT]目的：エッジLLMエージェントにおける推論の効率化と信頼性の向上
- LLMエージェントは複雑なタスクを可能にするが，計算資源に制約がある環境での活用が課題。
- エッジ環境では，推論コストと信頼性のバランスが重要であり，不確実性の高い状況での適切な保留が困難。
- エッジLLMエージェントにおける推論コストの削減と，クラウドへの依存度を抑えつつ安全な行動を保証すること。
- 提案手法TSDSは，収束プローブとperplexityに基づく保留ルールを組み合わせ，推論を早期に停止し，不確実性の高い行動をクラウドに委譲する。
- TSDSは，HotpotQA，MBPP，ロボットタスクにおいて，推論計算量を43%-73%削減しつつ，報酬とクラウド呼び出し回数の保証を維持した。
- 多目的学習手法LTTにより，エピソード報酬とクラウド呼び出し回数の両方について，有限サンプル保証を提供。
NISQデバイスにおける読み出し効率の良い分子形状再構成のための疎量子ボクセル符号化 [math.PR, cs.DM, quant-ph, cs.DS]目的：分子形状再構成の効率化
- 分子科学の発展には，分子の正確な形状把握が不可欠である。
- 量子コンピュータでの分子形状再構成は，計算コストが高いという課題がある。
- 読み出し回数を削減し，NISQデバイスでの実用化を目指す。
- 提案手法では，分子空間をボクセルに分割し，各原子の位置情報を量子状態に符号化する。
- 従来の全状態トモグラフィと比較して，必要な測定回数を大幅に削減できる。
- 156量子ビットIBM Kingstonデバイスで，10原子の分子形状を少ない測定回数で再構成できた。
量子ソフト被覆とプライバシー増幅の信頼性関数：混合次数のレニー多様性による考察 [quant-ph, cs.IT, math.FA, math.IT]目的：量子ソフト被覆とプライバシー増幅の信頼性関数
- 量子情報理論は，量子コンピュータや量子通信といった次世代技術の基礎となる重要な分野である。
- 既存の信頼性関数の解析には限界があり，より精密な評価手法が求められていた。
- 混合次数のレニー多様性を導入し，量子ソフト被覆とプライバシー増幅の信頼性関数を厳密に評価すること。
- 本研究では，新しい混合次数のレニー多様性を導入し，その性質を明らかにした。
- サンドイッチ型レニー多様性を用いて，量子ソフト被覆とプライバシー増幅の信頼性関数を導出した。
- 導出された信頼性関数は，提案する混合次数のレニー多様性の操作的解釈を提供するものである。
測度空間上の符号に関する組合せ的上限：ラムゼー・シドレンコ閾値と部分グラフ数 [math.CO, cs.IT, math.IT]目的：測度空間上の符号の存在条件
- 符号理論は，情報伝送やデータ圧縮の基礎であり，現代社会において不可欠な技術である。
- 従来の符号理論では，空間の構造を十分に考慮しておらず，最適な符号の設計が困難である。
- ラムゼー・シドレンコ閾値やグラフ構造を用いることで，既存の限界を超える符号の設計を目指す。
- 符号をグラフの独立集合として表現する枠組みを一般化し，任意の有限測度空間上のGilbert-Varshamov (GV) 限界を適用できる条件を明らかにした。
- 様々なグラフ族に対する密度閾値を確立し，Hamming空間におけるエントロピー最適化問題をKarush-Kuhn-Tucker条件を用いて解析した。
- 頂点推移的および非辺推移的なグラフにおける分数パッキングを利用して符号サイズの上限を導き出し，Hamming空間では局所的な部分グラフ統計だけではGV限界を超えることができないことを示した。
スペクトル推定に対するKeyl-Wernerアルゴリズムの最適性 [quant-ph, cs.CC, cs.DS]目的：スペクトル推定におけるアルゴリズム
- 量子状態の特性評価は，量子情報科学の基礎であり，様々な応用を可能にする。
- 従来のスペクトル推定は，多くの量子状態のコピーを必要とし，効率が課題であった。
- Keyl-Wernerアルゴリズムを超える，より効率的なスペクトル推定法の開発。
- 提案手法は，$n = O(d^2 \cdot (\log\log(d)/\log(d))^2)$ 個のコピーで，全変動距離において定数誤差の固有値を推定する。
- これにより，完全状態層描法に必要な$\Theta(d^2)$個のコピーよりも少ないコピーで，量子状態の固有値を学習可能となる。
- KeylとWernerの2001年の疑問を解決し，Wrightの2016年の予想を反証する初の成果である。
古典的・量子MacWilliams変換としてのスピン力学 [quant-ph, cs.IT, math.IT]目的：MacWilliams変換の理論におけるスピンの役割の解明
- 符号理論や量子情報理論において，符号の性能評価にMacWilliams変換は不可欠である。
- 古典符号と量子符号におけるMacWilliams変換の関係性は未だ十分に理解されていない。
- スピン力学を用いて，古典・量子MacWilliams変換の共通基盤を明らかにすること。
- MacWilliams変換は，自明でない誤りの分割から，Wigner-$D$回転として力学的に導出される。
- 古典・量子理論において，符号長$n$の変化は回転に影響を与えず，スピン$n/2$における同一要素として再出現する。
- 固定された$n$において，回転軸の変化は，様々な古典・量子理論間を移動することに対応する。
定数ランクを超えるテンソル再構成 [cs.CL, cs.CL, cs.CC, cs.DS]目的：次数3の算術回路の部分クラスに対する再構成アルゴリズム
- テンソル分解は，多次元データの解析や機械学習など，広範な分野で不可欠なツールである。
- 高ランクのテンソルを効率的に分解することは，計算量的に困難な課題であった。
- 本研究では，定数ランクを超えるテンソルに対しても効率的な再構成を可能とする。
- 本研究では，多重線形$\Sigma^{k]}\prod^{[d]}\Sigma$回路によって計算される多項式を，時間$\mathsf{poly}(n,d,c) \cdot k^{k^{k^{k^{O(k)}}}}$で再構成するランダム化アルゴリズムを提案した。
- 同様に，集合多重線形$\Sigma^{k]}\prod^{[d]}\Sigma$回路によって計算される多項式に対しても，同様の時間複雑度で再構成を達成した。
- KarninとShpilkaの論文[KS09]における誤りを修正し，その影響を受けたBhargava, Saraf, Volkovichの定理[BSV21]を修正した。
ザドフ・チュ シーケンス入門 [cs.IT, math.IT]目的：ザドフ・チュ シーケンスの定義と主要な特性の説明
- 現代のセルラーシステムにおいて，周波数分散方式は通信品質と容量を向上させる上で不可欠である。
- 従来のPNやウォルシュ系列は，2G/3Gシステムで主流であったが，複雑化する通信環境への対応が課題となっていた。
- 本研究は，現代セルラーシステムにおけるザドフ・チュ シーケンスの利用状況と特性を理解することを目的とする。
- ザドフ・チュ シーケンスは，LTEや5G NRなどの最新のセルラーシステムにおいて重要な役割を果たしている。
- これらのシーケンスは，初期アクセス，制御情報の送信，チャネル推定など，データ伝送以外の多くの信号で利用されている。
- 本稿では，ザドフ・チュ シーケンスの定義，特性，および実際の応用例について概説する。
条件書き換えにおける条件付き合流性 [cs.LO, cs.PL, cs.SC]目的：書き換えシステムにおける条件付き合流性の判定
- 書き換えシステムは，計算の基礎として広く利用されており，その正当性を示すことは重要である。
- 条件付き書き換えシステムでは，合流性の判定が複雑であり，効率的な手法が求められている。
- 条件付き合流性を判定するための有限な条件ペアの定義と，その判定方法を提案する。
- 本研究では，JouannaudとKirchnerの枠組みを拡張し，条件付きシステムへの適用を可能にした。
- 論理的条件付き臨界対，パラメータ的条件付き変数対，下向き条件付き対を導入し，合流性の証明と反証に役立てた。
- これらの結果は，等式項書き換えシステムやMaudeなどの既存のシステムに適用可能であり，既存の結果を改善する。
時間グラフにおけるビール経路問題 [cs.HC, cs.CY, cs.DS]目的：時間グラフにおけるビール経路の計算
- 交通網やデータ分析など，様々な応用において経路探索は基本的な操作である。
- 従来のビール経路問題は静的なグラフを対象としており，時間的制約を考慮していない。
- 時間依存性を持つ辺や時間制限のある地点を考慮した，時間グラフ上のビール経路問題の解決を目指す。
- 時間グラフにおける，最早到着，最遅出発，最速，最短のビール経路問題を定義し，効率的なアルゴリズムを提案した。
- 提案アルゴリズムの時間計算量は，対応する時間グラフ上での経路探索アルゴリズムと同等であり，効率性を維持している。
- 店舗の開店・閉店など，動的な条件に対応するための前処理技術を開発し，効率的なクエリ応答を実現した。
実践におけるセキュリティ負債：実務家からの多角的な考察 [cs.SE]目的：ソフトウェア実務家によるセキュリティ負債の認識，管理，コミュニケーションの実態
- ソフトウェア依存度が高まる中，セキュリティは不可欠であり，その確保は社会全体の安定に繋がる。
- 開発現場では，納期やリソースの制約からセキュリティが軽視され，負債が累積しやすい。
- 実務家の実態を把握し，効果的なセキュリティ対策の導入を促進すること。
- 実務家のセキュリティ負債に対する認識や管理方法にはばらつきが見られた。
- 一部は迅速なリリースを優先する一方，セキュリティを重視する者も存在する。
- ソフトウェア開発ライフサイクル全体でのセキュリティ統合，対策の一貫性，およびCIAトライアドへの配慮が重要である。
一般化帰納的定義の循環証明論 [cs.LO]目的：μPAの循環証明系の研究
- 算術理論の基礎研究であり，計算可能性や証明可能性の限界を探求する上で重要である。
- 非井戸順構造を持つ理論の証明論的解析が難しく，既存の証明系では対応が困難である。
- μPAにおける循環証明と帰納証明の証明力の一致を示すことで，非井戸順理論の理解を深める。
- 循環証明をSprengerとDamのシステムに基づいた注釈付き形式に変換し，健全性の証明を簡素化している。
- Möllefeldの保存性を用いて，この議論をΠ^1_2-CA_0内で形式化している。
- 注釈付き循環証明と通常の循環証明がμPAにおいて同じ定理を証明することを示している。
SATソルビングによるクイーン支配問題 [eess.SY, cs.SY, cs.LO, cs.DM, math.CO]目的：クイーン支配問題における最小クイーン数と解の個数
- チェス盤上のクイーン配置問題は，組合せ最適化の分野で重要な研究テーマである。
- クイーン支配問題の最適解を求める際，実装の正当性が検証困難な場合がある。
- SATソルバを用いた証明生成により，結果の検証可能性を確保する。
- SATソルバに問題の幾何学的構造を認識させる符号化方式を導入した。
- リテラル順序戦略，対称性の排除，Cube-and-Conquerフレームワークなどを組み合わせた。
- n=16における解の個数の誤りを修正し，n=19のケースを解決した。
フォールト局所化のための大規模言語モデル：実証研究 [cs.SE]目的：ステートメントレベルのフォールト局所化における大規模言語モデルの能力評価
- ソフトウェアの品質向上には，効率的なバグ修正が不可欠であり，その鍵となる技術がフォールト局所化である。
- 従来のフォールト局所化技術は，精度や効率に課題があり，特に大規模コードベースでは困難な場合が多い。
- 大規模言語モデルを活用することで，フォールト局所化の精度と効率を向上させ，ソフトウェア開発の生産性を高めることを目指す。
- 大規模言語モデルは，バグ報告の文脈が与えられた場合，Defects4Jにおけるフォールト局所化性能が向上した。
- Few-shotプロンプティングは，場合によっては性能を向上させるものの，一貫した改善は見られなかった。
- Chain-of-Thoughtプロンプティングは，モデルによって効果にばらつきが見られた。大規模言語モデルの強み，限界，実用的なトレードオフを明らかにした。
コミュニティの関与とソフトウェア品質指標による科学ソフトウェアの持続可能性の解明 [cs.SE]目的：科学オープンソースソフトウェアの持続可能性
- 科学研究の進展に不可欠なソフトウェアの長期的な維持・発展が重要である。
- オープンソースソフトウェアの持続可能性を測る明確な指標や手法が不足している。
- ソフトウェアの持続可能性を評価するための新たな視点と可視化手法を提案する。
- GitHub上の科学オープンソースソフトウェアのコミュニティの関与度とソフトウェア品質の関係性を分析した。
- ソフトウェアの経時的な変化を可視化する新しい手法を開発し，既存の可視化方法を統合した。
- プロジェクト間の持続可能性の維持方法には差異があり，フィードバックがソフトウェア品質維持に重要な役割を果たすことが示された。
疎な葉の発生頻度カーネルによる森林近傍性の再検討 [cs.CL, cs.LG, cs.DS, cs.PF]目的：森林近傍性の効率的な計算手法の開発
- 決定木森林は，様々な機械学習タスクで広く利用されており，その性能向上は重要である。
- 従来の森林近傍性の計算は計算量が膨大であり，大規模データへの適用が困難であった。
- 疎な葉の発生頻度カーネルを利用し，計算量を削減し，効率的な近傍性計算を実現する。
- 提案手法は，既存の近傍性計算方法と等価でありながら，計算量を大幅に削減できることを示した。
- 近傍性行列のスパースな因数分解により，全てのペア間の比較を回避し，線形代数の演算に計算を帰着させた。
- 実験結果は，提案手法が理論的に予測されるスケーリング特性を実証しており，タスクに応じた埋め込みにも利用可能であることを示した。
メタカリキュラム学習による可読性に強いコード要約 [cs.SE]目的：可読性の低いコードに対するコード要約の頑健性の向上
- プログラム理解において，コード要約は重要な技術であり，開発効率向上に貢献する。
- 既存モデルは可読性の高いコードに限定され，実世界の可読性の低いコードへの対応が課題である。
- 可読性の低いコードに対しても頑健なコード要約モデルを開発することを目的とする。
- 最先端モデル（GPT-4o，DeepSeek-V3を含む）は，可読性の低いコードで性能が大幅に低下することが示された。
- RoFTCodeSumは，カリキュラム学習とメタ学習を組み合わせることで，コード要約の頑健性を高める新しいファインチューニング手法である。
- 実験結果から，RoFTCodeSumは意味的摂動に対する耐性を向上させ，元のコードでの性能も向上することが示された。
LLMベースのテスト生成技術の性能：最新LLMバージョンでの評価 [cs.SE]目的：LLMベースのテスト生成技術の性能評価
- ソフトウェア開発における自動テストの重要性が高まっており，LLMの活用が注目されている。
- 既存のLLMテスト生成技術は，コンパイルエラーや低いカバレッジといった課題を抱えている。
- 最新LLMの能力向上により，既存技術の優位性が失われる可能性を検証する。
- 最新LLM単体でのテスト生成が，既存の最先端技術を全てのテスト有効性指標（行カバレッジ，分岐カバレッジ，ミューテーションスコア）において上回った。
- 単体テスト生成のコストは，適用粒度によって大きく変動することが示された。
- クラス単位でのテスト生成を優先し，未カバー部分に焦点を当てる戦略により，LLMリクエスト数を約20%削減可能である。
設定可能なCコードにおける変動に起因するコンパイルエラーに対する基盤モデルの経験的研究 [cs.SE]目的：設定可能なCコードにおける変動誘発コンパイルエラーの検出と修正
- 設定可能なシステムはソフトウェアの多様性を支えるが，複雑さが増し，潜在的なエラーの発見が困難になっている。
- 条件付きコンパイルにより，テストされていない機能組み合わせでコンパイルエラーが隠蔽される可能性がある。
- 基盤モデルを用いて，隠蔽されたコンパイルエラーを検出し，コンパイル可能な状態に復元すること。
- GPT-OSS-20Bは，影響を受ける設定の84.7%の適合率と52.1%のリコールを達成した。
- GPT-OSS-20Bは2,665個のエラーを含むスニペットのうち1,930個をコンパイル可能に修正し，Gemini 3.6 Flashは190個中182個を修正した。
- 基盤モデルは局所的な検出，説明，トリアージを支援するが，コンパイラベースの解析や変動認識解析を補完する必要がある。
リポジトリレベルのコード補完のためのgrepライクな辞書検索の評価と改善 [cs.SE]目的：リポジトリレベルのコード補完における，軽量なgrepライクな辞書検索の性能評価と改善
- 大規模なコードリポジトリを扱う開発支援において，正確かつ迅速なコード補完は生産性向上に不可欠である。
- 大規模言語モデルによるリポジトリレベルのコード補完は，ファイル間の依存関係やコンテキストウィンドウの制限により困難である。
- 既存手法の計算コストを削減しつつ，より効率的なコード補完を実現することを目指す。
- Naive GrepRAGは，複雑なグラフベースの手法と同程度の性能を，シンプルなgrepコマンド生成によって達成した。
- これは，その効果が，補完箇所に近い正確なコード断片の取得に起因することを示唆している。
- GrepRAGは，識別子加重のリランキングと構造を考慮した重複排除により，最先端手法を上回り，CrossCodeEvalにおいて7.04-15.58%のEM向上を実現した。
因果的CSITを持つ古典チャネルにおける非信号化アシスト容量 [cs.IT, math.IT]目的：古典離散メモリーレスチャネルにおける非信号化アシスト容量の導出
- 通信システムの信頼性向上には，チャネル特性に応じた効率的な情報伝送が不可欠である。
- チャネル状態情報(CSI)の利用は容量を向上させるが，情報の伝達方法に制限がある場合がある。
- 因果的CSI下での非信号化アシスト容量を明らかにし，情報伝送の限界を探る。
- 因果的CSIを持つ古典チャネルの非信号化アシスト容量は，非因果的CSIの場合と同様の式で表される。
- チャネル状態情報を受信側に提供することで，誤り確率をさらに改善できる可能性がある。
- 非信号化アシスト，フィードバック，厳密な因果的CSIの組み合わせでも，容量は増加しないことが証明された。
CuTe レイアウト表現と代数 [cs.MS, cs.PL]目的：テンソル表現と操作のための数学的仕様
- 高性能計算や深層学習において，テンソル演算の効率化が重要である。
- 最新ハードウェアは複雑なデータレイアウトを要求し，パイプライン全体での正確な伝播が課題である。
- CuTeは，ハードウェアに最適化されたレイアウトの表現と操作を簡素化し，検証を可能にする。
- CuTeは，従来の表現を拡張した階層的なレイアウト表現を導入することで，複雑なハードウェアレイアウトに対応する。
- レイアウト演算の代数を提供し，レイアウトの操作，検証，静的解析を可能にする。
- CuTeはソフトウェア開発を支援し，コンパイル時の検証を促進し，NVIDIAのCUTLASSライブラリの基盤となっている。
コヒーレント光衛星通信における非線形性補償 [cs.CL, cs.IT, math.IT]目的：光衛星通信における非線形性の影響軽減
- 宇宙空間通信の距離延長に必須であり，通信品質向上の鍵となる。
- 高出力増幅器使用時に発生する非線形効果が通信性能を低下させる。
- 非線形性の影響を軽減し，通信可能な距離を伸ばすことを目指す。
- 提案手法により，許容可能なリンク損失を最大6dBまで増加させることが示された。
- 高出力増幅器中の光の伝搬は，無分散光ファイバにおける非線形位相回転と等価にモデル化できる。
- ルックアップテーブルを用いた変調方式と位相回転により，低複雑度で非線形性を補償可能である。
ソフトウェア工学における定性研究に対するGenAIは万能薬ではない [cs.SE]目的：ソフトウェア工学における定性研究へのGenAIの応用に関する可能性と課題
- ソフトウェア工学は社会技術システムであり，人間の側面を理解することが重要である。
- 定性研究の自動化に対する過度な期待があり，GenAIの適用には慎重な検討が必要である。
- GenAIの特性と研究戦略を考慮した，定性研究への適切なGenAI活用方法を提示する。
- GenAIは，ソフトウェア工学における定性研究の幅広い領域を支援する可能性を秘めている。
- GenAIの活用は，データの種類や研究戦略に応じて適切に調整する必要がある。
- 定性研究の質をGenAIの観点から再評価し，今後の研究の方向性を示す。
4x4行列の乗算のための，より正確な有理非可換アルゴリズム：48回の乗算を使用 [cs.RO, cs.DS, cs.SC]目的：4x4行列の乗算におけるアルゴリズムの精度向上
- 行列演算は科学技術計算の根幹であり，効率的なアルゴリズムが求められている。
- 既存の高速行列乗算アルゴリズムは，計算誤差の蓄積が問題となる場合がある。
- 誤差を抑制し，より正確な4x4行列乗算アルゴリズムを開発すること。
- 本アルゴリズムは，2の逆元を持つ環において，誤差境界指数log4($\gamma$$\infty$,2) $\approx$2.335を達成する。
- 既存の高速アルゴリズムと比較して，最大ノルムに関する精度が向上することが確認された。
- 本アルゴリズムのストレートラインプログラムを提案し，計算量の主要定数を $316/32 n^{2+log\_4(3)} + o(n^{2+log\_4(3)})$ とした。
回転を許容する二次元ナップサック問題に対する近似スキームと構造的障壁 [cs.DS, cs.CG]目的：回転を許容する二次元ナップサック問題の最適解近似
- 多次元パッキング問題は，物流や製造業において資源の効率的利用に不可欠である。
- 既存のアルゴリズムでは，十分な近似精度を達成することが困難であり，計算時間も課題である。
- 近似精度と計算時間の両立を目指し，新たなアルゴリズム設計と理論的限界の解明を行う。
- 基数制約下では，多項式時間近似スキーム（PTAS）を確立した。
- 重み付きケースでは，既存の近似比1.5という構造的障壁を打破し，1.497+εの近似アルゴリズムを開発した。
- 回転を許容しない重み付きケースの近似比も，13/7+εへと改善した。
- (1+ε)-近似アルゴリズムの計算時間下限として，nΩ(1/ε) を示した。
REAP：インタラクティブな本番利用からのコーディングエージェントベンチマークの自動キュレーション [cs.AR, cs.SE, cs.AI, cs.LG]目的：コーディングエージェントベンチマークの自動キュレーション
- AIコーディングエージェントの普及に伴い，迅速かつ信頼性の高い評価方法が不可欠となっている。
- 既存の評価手法は，速度と精度でトレードオフの関係にあり，本番環境の特性を反映しきれていない。
- 本研究は，本番環境から派生したベンチマークを自動的にキュレーションすることで，この課題を解決する。
- REAPは，開発者とエージェントのセッションからベンチマークを自動的に生成し，テストの信頼性を高める仕組みを備えている。
- 生成されたベンチマーク「Harvest」を用いて評価した結果，最新のモデルの正答率は42.9%から58.2%の範囲であった。
- この結果は，モデルの能力差を明らかにし，実際のデプロイメント判断に役立つ情報を提供する。
最新エージェントフレームワークにおけるバグの理解：症状，根本原因，およびトリガー条件の研究 [cs.CE, cs.SE]目的：最新エージェントフレームワークにおけるバグの症状，根本原因，およびトリガー条件の分析
- LLMの進化により複雑なエージェントフレームワークが普及しており，システムの信頼性確保が重要となっている。
- 既存研究は初期のLLMライブラリやタスクレベルのバグに焦点を当てており，エージェントフレームワーク特有の複雑な問題は未解明である。
- エージェントフレームワークにおけるバグの根本原因を特定し，テストの改善とベンチマーク設計に貢献すること。
- 5つの代表的なエージェントフレームワークにおける409件のバグを分析し，5層のアーキテクチャ抽象化を提案した。
- Unexpected Execution Sequence，User Configuration Ignored，Incomplete/Incorrect Traceといった新たな症状カテゴリーを特定した。
- モデル統合層が最もバグが多く，テストカバレッジが低いことが判明し，検証ギャップが明らかになった。
ライブラリドリフト：自己進化型LLMスキルライブラリにおける隠れた故障モードの診断と修正 [cs.AI, cs.CL, cs.SE]目的：自己進化型スキルライブラリにおける性能劣化のメカニズムの特定と，その対策
- LLMの進化に伴い，スキルライブラリの自動的な構築・拡張が重要になっている。
- スキルライブラリの無秩序な拡大は，検索精度の低下や誤ったスキルの注入を引き起こす。
- スキルライブラリの適切な管理メカニズムを確立し，性能劣化を抑制すること。
- 実験により，スキル注入の停止や早期のスキルの廃棄が，ライブラリドリフトを引き起こすことが示された。
- スキルごとの貢献度を追跡するログを用いることで，故障を早期に検出し，可視化することが可能となった。
- 結果ベースでの退職，活性上限，メタスキル作成を組み合わせたガバナンスレシピが，MBPP+ hard-100におけるpass@1を大幅に向上させた。
タイルプログラムにおける実世界のバグの特性評価と自動バグ検出 [cs.SE]目的：タイルプログラムのコード生成バグの特性と解決策
- GPUカーネル開発において，高いパフォーマンスと生産性を実現するためにタイルベースのフレームワークの利用が拡大している。
- 複雑なコンパイラパイプラインがバグの温床となり，入力形状やデータ型に依存したバグが検出困難である。
- タイルプログラム特有のバグを体系的に分析し，デバッグ・テスト・修正ツール開発の基礎を提供する。
- GitHubから401件のバグレポートを収集し，301件のコード生成バグを特定，分析した。
- バグの根本原因，症状，トリガーとなる入力パターン，検出に使用するテストオラクルを特定した。
- タイルベースのコンパイラインフラストラクチャに特化したツール開発に向けた知見を提供した。
最適なブロードキャスト支配のための$O(n^5)$時間アルゴリズム [cs.DS]目的：グラフにおける最適なブロードキャスト支配問題の解法
- ネットワーク設計や位置情報サービスなど，効率的な情報伝達が重要視される分野で応用が期待される。
- ブロードキャスト支配問題はNP困難であり，大規模グラフに対する効率的な解法が求められていた。
- 既存の$O(n^6)$時間アルゴリズムを改善し，$O(n^5)$時間で最適解を求めることを目指す。
- 本研究により，パスケースのアルゴリズムを$O(n^3)$時間に改善することに成功した。
- このパスケースアルゴリズムと既存の縮小手法を組み合わせることで，$O(n^5)$時間アルゴリズムを実現した。
- ヘグネルスとセーテルのquintic時間予想を解決し，ブロードキャスト支配問題の分野に貢献する。
検証可能なTransformer：ソルバーチェック可能な回路の説明 [cs.LG, cs.LO]目的：タスク固有の回路を，有界でソルバーで検証可能な主張へと変換するフレームワーク
- Transformerモデルの内部動作の解明は，AIの安全性と信頼性を高める上で重要である。
- 既存の手法では，回路の機能の検証が難しく，解釈可能性に限界がある。
- Transformerの回路の機能的等価性，タスク関連の不変性，エッジの必要性，ロバスト性を検証する。
- 小規模モデルにおいて，引用符閉じる回路や括弧型回路など，４つの特性を直接検証することに成功した。
- GPT-2規模のモデルでは，LayerNormの除去と注意ヘッドの合成プログラムへの置き換えを行い，特定の回路が４つの特性をすべて満たすことを検証した。
- 検証可能な対象は，変更されていないモデルではなく，調整されたアーティファクトであり，主張は宣言されたドメインに限定される。
TLA-Prover：嗜好度最適化による低ランク適応を用いた検証可能なTLA+仕様合成 [cs.SE, cs.AI, cs.LG, cs.LO]目的：TLA+仕様の合成
- 分散システムや安全性が重要なプロトコルの検証にTLA+が不可欠であり，信頼性の高い仕様の自動生成が求められている。
- 大規模言語モデル(LLM)で生成されたTLA+仕様は，意味的な理由でTLCモデルチェッカーに失敗することが多く，自動生成の精度が課題となっている。
- LLMによるTLA+仕様の自動生成において，TLCモデルチェッカーをパスする精度向上を目指す。
- TLA-Proverは，200億パラメータのモデルであり，検証済みの例を用いた教師ありファインチューニングと，修正に基づいたグループ相対的方策最適化(GRPO)を組み合わせることで訓練されている。
- 本研究で開発したTLA-Proverは，既存のベースライン（8.6%）の約3.5倍にあたる，GoldおよびDiamondレベルで30%の合格率を達成した。
- TLCが直接報酬信号を提供し，学習された報酬モデルを使用しない点も特徴である。Diamondレベルでは，常に真である性質の出力は失敗と判定される。
機能的キャッシュグラフト：具現化されたエージェントのための堅牢かつ迅速なコードポリシー合成 [eess.SY, cs.SY, cs.PL, cs.AI]目的：具現化されたエージェントのためのコードポリシー合成手法
- 具現化されたエージェントは，現実世界でのタスク遂行において重要な役割を担う。
- 大規模言語モデルによるコード生成は，長いプロンプト処理やAPIミスマッチ，安全性の問題などの課題がある。
- 事前検証済みのコード断片を再利用することで，生成速度と堅牢性を向上させることを目指す。
- 機能的キャッシュグラフト（FCGraft）は，検証済みのコード断片とTransformerのキーバリューキャッシュを活用する。
- 不要な再計算を削減し，キャッシュされたコードセグメントを組み合わせてポリシーを合成する。
- タスク成功率が18.31%向上し，ポリシー合成速度が2.3倍に向上した。
位相意味論から基底拡張意味論へ（そして戻る） [cs.CL, cs.LO, math.LO]目的：線形論理における位相意味論と基底拡張意味論の等価性
- 線形論理は資源に敏感な含意の概念を持ち，多様な意味論的表現が模索されている。
- 位相意味論と基底拡張意味論は，線形論理の意味論において異なるアプローチを取っている。
- 両者の関係を明確化し，線形論理の指数関数の基底拡張意味論を定義すること。
- 位相モデルと基底間の双方向写像を定義することにより，両者の等価性が示された。
- 定義された写像の合成を通して，位相モデルとそれの像の間の同型性が構築された。
- 線形論理の指数関数の基底拡張意味論の条項が新たに定義された。