受容野

定義 4.2（「スケーリングと文脈」§4）

パターン $M$ （層ごとに違ってもよく、層 $\ell$ のものを $M^{(\ell)}$ と書きます）に対して、添字の集合 $R_\ell(i) \subset \{1, \ldots, n\}$ を

R_0(i) = \{i\}, \qquad R_\ell(i) = \bigcup_{j \,:\, M^{(\ell)}_{ij} = 1} R_{\ell-1}(j)

で定め、 $R_L(i)$ を $L$ 層のあとの位置 $i$ の受容野といいます。

閉包の状態

定義

定義は閉包の起点です（証明を要しません）。

印の意味: ✓公理まで証明済み・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は閉包の状況。

証明で明示的に参照している定理は、まだありません。