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