深層学習演算の統合:一般化ウィンドウ演算

2025-09-13

本論文は、行列乗算や畳み込みなどの深層学習の中核となる演算を統合する理論的枠組みである一般化ウィンドウ演算(GWO)を紹介しています。GWOはこれらの演算を、パス(演算の局所性)、形状(幾何学的構造と対称性)、ウェイト(特徴の重要性)という3つの直交成分に分解します。本論文では、構造整合の原則を提案し、GWOの構成がデータの本質的な構造を反映する際に最適な汎化が達成されると示唆しています。この原則は、情報ボトルネック(IB)原理に由来します。Kolmogorov複雑度に基づいた演算複雑度メトリックが定義され、この複雑性の性質(適応的正則化か総当たり能力か)が汎化を決定すると主張されています。GWOは、データ構造に適応的に整合する演算において優れた汎化を予測します。この枠組みは、ニューラル演算を作成するための文法と、データのプロパティから汎化可能なアーキテクチャ設計への原理に基づいた経路を提供します。

続きを読む
AI

黄金比から導出された新しい複素定数ΛG1とその超越性予想

2025-06-22

Tristen Harrによる研究論文では、黄金比φの逆数の累乗から導出された新しい複素定数ΛG1を紹介し、分析しています。ΛG1 = T + iJ(T = 1/(2φ)、J = 1/(2φ²))と定義され、1より小さい大きさの代数的数であることが証明されており、多重対数関数Lis(z)の引数として適しています。対数関数(s=2)と三対数関数(s=3)に対する高精度数値評価に基づき、論文では、得られた値Lis(ΛG1)がすべての整数s≥2に対して超越数であり、体拡大Q(π, ln(2), φ)内に存在しないという予想が立てられています。この研究は、黄金比が基礎となる準結晶の研究における潜在的な応用を部分的に動機としています。

続きを読む
数学

Deputy:Clojure上に構築された従属型プログラミング言語

2025-05-20

Deputyは、Clojure上に構築された実験的な従属型プログラミング言語であり、帰納的データ型を備えています。LispベースのREPL駆動型インタラクティブ開発ワークフローが、プログラミングと型チェックの両方にどのような影響を与えるかを調査しています。Clojureライブラリとして実装されているため、型レベルでプログラミングしながら、ホスト言語Clojureの機能を利用できます。これにより、値に依存する型レベルの計算が可能になり、強力なプログラミングパターンが実現します。重要なのは、型の豊富な動的セマンティクスにもかかわらず、型チェックは純粋にコンパイル時に行われる操作であるということです。

続きを読む
開発