改訂 2026-08-23
どの構造制約が学習可能か：Minecraft ボクセル生成器の領域マップ
Minecraft ボクセル生成器がどの構造制約を学習できるかを実験的に整理する。
FDG 2026 17th PCG Workshop · 採択済み 2026-05-02 · 公刊済み 2026-08-09
独立した論文
計算機科学
アルゴリズム、機械学習、AI 評価、説明責任を備えたシステムを研究し、計算実験、ソフトウェア、技術的な証拠のインターフェースを探究します。
論文 10
SSRN のワーキングペーパーは、十分に展開された研究です。一部は意図的に独立したワーキングペーパーとして維持されます。研究の成熟度と公刊状況は別に記録します。
10 件の論文 · 学術的な公刊・採択を優先 · 記録更新 2026-10-11 · 初期稿は別のグループに表示します。
公刊済みの研究 1
ワーキングペーパー · 展開済みの研究
改訂 2026-09-02
Karpowicz 定理が証明しないこと：LLM Einstein Test の三資源理論
AI による科学研究の始めから終わりまでを評価する際に、候補生成、計算による検証、経験的証拠を区別し、評価のインターフェースが結論に与える影響を検討する。
改訂 2026-09-05
AEGIS：AI エージェントのログ義務と独立監査を結ぶ可搬型証拠インターフェース
可搬型の証拠インターフェースにより、AI エージェントのログ義務と独立監査を結ぶ。
初期段階のワーキングペーパー 7論文を表示論文を閉じる
初期のアイデア、草稿、さらなる展開や検証を要する研究を、進行中の成果として公開しています。
障壁制約付き探索での次元間共分散適応が誘発する欺瞞的アトラクタへの不可逆ドリフト
障壁制約付き最適化における CMA-ES の、共分散に起因する不可逆ドリフトという失敗様式を研究する。
改訂 2026-03-23
改訂 2026-03-28
LLM 曝露監視のオープンな記録パターン：ギャップ分析とスキーマ提案
AI エージェントによる機密データの露出を記録する公開スキーマを提案し、露出イベント、関与したエージェントの特定、各プラットフォームの対応範囲を扱う。
改訂 2026-03-19
正規化リーク：群対称性の下で標準代表が教師あり学習を混乱させる仕組み
対称性による同一視で標準代表を選ぶ際の表現上の特徴をモデルが利用していないか、診断手順と条件を対応させた回路複雑性の実験で検証する。
MaxSAT 局所探索の学習制御層：節重みパラメータの動的アルゴリズム構成
強化学習による MaxSAT 局所探索の動的な設定調整を研究し、生成したベンチマークでの転移結果と限界を報告する。
前処理・シード・時間：QF_NIA の簡潔な逐次ポートフォリオ
前処理、相補的なシード選択、時間配分を組み合わせ、ソルバーを変更しない Z3 の非線形整数算術戦略を研究する。