バックプロパゲーション

損失関数の勾配

ニューラルネットワークは、ある層の出力値の線形結合を次の層に渡すことを繰り返すので、ネットワークからの出力ベクトル $\mathit{y}$ には、入力ベクトル $\mathit{x}$ と使用されたすべての重み情報が含まれることになります。損失関数 $E$ は出力値 $\mathit{y}$ と正解値 $\mathit{t}$ を使って計算します。ネットワークは $E$ が最小になるように重みを調整することで学習を進めます。十分に学習（訓練）を重ねたネットワークは、未知のデータが入力されたときに信頼性の高い予測値を示すことができるようになります。
 
ネットワークに学習させるためには、使用されたすべての重み $w$ について、損失関数の偏微分 $\frac{\partial E}{\partial w}$ を求める必要があります。

コンピュータで微分を計算する方法として、数値微分という手法が広く知られています。これは非常に小さな値 $ϵ$ を設定して近距離にある $2$ 点の傾きを微分の近似値とする方法です。
 
$$\frac{\partial E}{\partial w}=\frac{E(w+ϵ)-E(w-ϵ)}{2ϵ}$$
しかしながら、実用的なニューラルネットワークでは、重みの総数が数百～数千、場合によっては数万というオーダーに達します。いくらコンピュータを使っていても、重み１つ１つについて数値微分で $\frac{\partial E}{\partial w}$ を計算するのは大変な負荷がかかります。
 
そこで、数値微分よりも効率的に偏微分を処理するために、バックプロパゲーション（誤差逆伝播法）という手法を用います。

バックプロパゲーション（誤差逆伝播法）

バックプロパゲーション は、ネットワークからの出力値と正解値（目標変数）の差分を上層へ伝えることによって順次重みを調整していく手法です。
 

深さ $d$ 層の分類用ニューラルネットワークのオンライン学習を考えます。すなわち、バッチサイズ は 1 であり、一度に 1 個のデータを与えて重みの更新を行ないます。

損失関数は交差エントロピー誤差 ${\displaystyle E=-\sum _k{t}_k\log y_k}$ です。
 
出力層の活性化関数は ソフトマックス関数 とします。
 
話を具体的にするために、出力層（第 $d$ 層）は 3 個、その１つ上の層（第 $d-1$ 層）と２つ上の中間層（第 $d-2$ 層）は、それぞれ 2 個のニューロンで構成されるとします（下図参照）。
 

出力層における損失関数の勾配

第 $d-1$ 層からの出力を $\mathit{x}$、重み行列を $A$ とすると、第 $d$ 層の入力総和 $\mathit{\lambda }$ は
 $$\begin{array}{}\text{(1)}& \mathit{\lambda }=A\mathit{x}\end{array}$$
で表されます。成分表示すると次のようになります。
 $$\begin{array}{}\text{(2)}& \left[\begin{array}{c}{\lambda }_0\\ {\lambda }_1\\ {\lambda }_2\end{array}\right]=\left[\begin{array}{ccc}{a}_{00}& a_{01}& a_{02}\\ a_{10}& a_{11}& a_{12}\\ a_{20}& a_{21}& a_{22}\end{array}\right]\left[\begin{array}{c}{x}_0\\ x_1\\ x_2\end{array}\right]\end{array}$$
出力層における損失関数の勾配を求めてみましょう。
偏微分の連鎖律によって、$\frac{\partial E}{\partial a_{ji}}$ は出力層の入力総和 ${\lambda }_j$ を使って
 $$\begin{array}{}\text{(3)}& \frac{\partial E}{\partial a_{ji}}=\frac{\partial E}{\partial {\lambda }_j}\frac{\partial {\lambda }_j}{\partial a_{ji}}\end{array}$$
と表すことができます。まず最初に、$\frac{\partial E}{\partial {\lambda }_j}$ を求めてみましょう。正解値（目標変数）を
 $$\mathit{t}=\left[\begin{array}{c}{t}_0\\ t_1\\ t_2\end{array}\right]$$
とすると、交差エントロピー誤差は
 $$\begin{array}{}\text{(4)}& E=-t_0\log y_0-t_1\log y_1-t_2\log y_2\end{array}$$
なので、$E$ を ${\lambda }_0$ で微分すると
 $$\begin{array}{}\text{(5)}& \frac{\partial E}{\partial {\lambda }_0}=-\frac{t_0}{y_0}\frac{\partial y_0}{\partial {\lambda }_0}-\frac{t_1}{y_1}\frac{\partial y_1}{\partial {\lambda }_0}-\frac{t_2}{y_2}\frac{\partial y_2}{\partial {\lambda }_0}\end{array}$$
出力層の活性化関数はソフトマックス関数
 $$\begin{array}{}\text{(6)}& y_i=\frac{\exp (x_i)}{{\displaystyle \sum _{i=1}^n\exp (x_i)}}\end{array}$$
に設定しています。ソフトマックス関数の微分は
 $$\begin{array}{}\text{(7)}& \frac{\partial y_i}{\partial x_j}=\{\begin{array}{ll}-y_i{y}_j& (i\ne j)\\ y_i(1-y_i)& (i=j)\end{array}\end{array}$$
で与えられます。式 (5) の続きを計算すると、
 $$\begin{array}{}\text{(8)}& \begin{array}{rl}\frac{\partial E}{\partial {\lambda }_0}& =-\frac{t_0{y}_0(1-y_0)}{y_0}-\frac{t_1(-y_1{y}_0)}{y_1}-\frac{t_2(-y_2{y}_0)}{y_2}\\ & =(t_0+t_1+t_2)y_0-t_0\end{array}\end{array}$$
正解値の合計は $t_0+t_1+t_2=1$ となるので、
 $$\begin{array}{}\text{(9)}& \frac{\partial E}{\partial {\lambda }_0}=y_0-t_0\end{array}$$
が得られます。同様に
 $$\begin{array}{}\text{(10)}& \frac{\partial E}{\partial {\lambda }_1}=y_1-t_1,\frac{\partial E}{\partial {\lambda }_2}=y_2-t_2\end{array}$$
となるので、
 $$\begin{array}{}\text{(11)}& \frac{\partial E}{\partial {\lambda }_j}=y_j-t_j\end{array}$$
となります。すなわち、交差エントロピー誤差の入力総和による微分は出力値 $y_j$ と目標変数 $t_j$ の差分となっています。この差分を ${\delta }_j$ と表すことにすると、出力層における勾配は
 $$\begin{array}{}\text{(12)}& \frac{\partial E}{\partial {\lambda }_j}{\delta }_j\end{array}$$
となります。

次は $\frac{\partial {\lambda }_j}{\partial a_{ji}}$ の部分を求めてみます。たとえば $j=0$ のとき、
 $$\begin{array}{}\text{(13)}& {\lambda }_0=a_{00}{x}_0+a_{01}{x}_1+a_{02}{x}_2\end{array}$$
なので、
 $$\begin{array}{}\text{(14)}& \frac{\partial {\lambda }_0}{\partial a_{00}}=x_0,\frac{\partial {\lambda }_0}{\partial a_{01}}=x_1,\frac{\partial {\lambda }_0}{\partial a_{02}}=x_2\end{array}$$
となります。$j=1,2$ のときも同様なので、
 $$\begin{array}{}\text{(15)}& \frac{\partial {\lambda }_j}{\partial a_{ji}}=x_i\end{array}$$
が得られます。式 (3) に (12) と (15) を代入すると、
 $$\begin{array}{}\text{(16)}& \frac{\partial E}{\partial a_{ji}}={\delta }_j{x}_i\end{array}$$
となります。交差エントロピー誤差の勾配が
 
 [出力値と正解値の差] × [１つ上の層からの入力値]
 
となっています。この計算はコンピュータにとっては単純な処理ですから、数千個の重みについて実行したとしても一瞬で終えることができます。

中間層における損失関数の勾配

次は第 $d-1$ 層の勾配 $\frac{\partial E}{\partial b_{ji}}$ を求めます。
第 $d-2$ 層からの出力を $\mathit{z}$、重み行列を $B$ とすると、第 $d-1$ 層の入力総和 $\mathit{\mu }$ は
 $$\begin{array}{}\text{(17)}& \mathit{\mu }=B\mathit{z}\end{array}$$
と表されます。成分表記すると以下のようになります。
 $$\begin{array}{}\text{(18)}& \left[\begin{array}{c}{\mu }_0\\ {\mu }_1\end{array}\right]=\left[\begin{array}{ccc}{b}_{00}& b_{01}& b_{02}\\ b_{10}& b_{11}& b_{12}\end{array}\right]\left[\begin{array}{c}{z}_0\\ z_1\\ z_2\end{array}\right]\end{array}$$
偏微分の連鎖律によって、
 $$\begin{array}{}\text{(19)}& \frac{\partial E}{\partial b_{ji}}=\frac{\partial E}{\partial {\mu }_j}\frac{\partial {\mu }_j}{\partial b_{ji}}\end{array}$$
と表すことができます。(18) を $b_{ji}$ で微分すると、
 $$\begin{array}{}\text{(20)}& \frac{\partial {\mu }_j}{\partial b_{ji}}=z_i\end{array}$$
となるので、(19) は
 $$\begin{array}{}\text{(21)}& \frac{\partial E}{\partial b_{ji}}=\frac{\partial E}{\partial {\mu }_j}{z}_i\end{array}$$
と表せます。

次に (19) の $\frac{\partial E}{\partial {\mu }_j}$ に連鎖律を適用すると
 $$\begin{array}{}\text{(22)}& \frac{\partial E}{\partial {\mu }_j}=\frac{\partial E}{\partial x_j}\frac{\partial x_j}{\partial {\mu }_j}\end{array}$$
と表せます。$\frac{\partial x_j}{\partial {\mu }_j}$ の部分は、$x_j$ が活性化関数 $f(u)$ によって調整された値であることから、
 $$\begin{array}{}\text{(23)}& \frac{\partial x_j}{\partial {\mu }_j}=\frac{\partial f({\mu }_j)}{\partial {\mu }_j}=f^{\prime }({\mu }_j)\end{array}$$
と表しておくことにすると（具体的な表式は設定した活性化関数によって異なります）、(22) は
 $$\begin{array}{}\text{(24)}& \frac{\partial E}{\partial {\mu }_j}=f^{\prime }({\mu }_j)\frac{\partial E}{\partial x_j}\end{array}$$
となります。

$\frac{\partial E}{\partial x_j}$ の計算はやや複雑です。$E$ は ${\lambda }_0(x_0,x_1,x_2)$, ${\lambda }_1(x_0,x_1,x_2)$, ${\lambda }_2(x_0,x_1,x_2)$ の関数なので、$E$ を $x_j$ で偏微分すると、これも連鎖律によって、
 $$\begin{array}{}\text{(25)}& \frac{\partial E}{\partial x_j}=\frac{\partial E}{\partial {\lambda }_0}\frac{\partial {\lambda }_0}{\partial x_j}+\frac{\partial E}{\partial {\lambda }_1}\frac{\partial {\lambda }_1}{\partial x_j}+\frac{\partial E}{\partial {\lambda }_2}\frac{\partial {\lambda }_2}{\partial x_j}\end{array}$$
と表せます。$\frac{\partial E}{\partial {\lambda }_j}$ は先に求めた出力値と正解値の差分 ${\delta }_j$ なので（この項を通して ${\delta }_j$ の情報が中間層まで伝えられていることに着目してください）、(25) は
 $$\begin{array}{}\text{(26)}& \frac{\partial E}{\partial x_j}={\delta }_0\frac{\partial {\lambda }_0}{\partial x_j}+{\delta }_1\frac{\partial {\lambda }_1}{\partial x_j}+{\delta }_2\frac{\partial {\lambda }_2}{\partial x_j}\end{array}$$
となります。
 
$\frac{\partial {\lambda }_r}{\partial x_j}(r=0,1,2)$ の部分は行列形式
 $$\begin{array}{}\text{(27)}& \left[\begin{array}{c}{\lambda }_0\\ {\lambda }_1\\ {\lambda }_2\end{array}\right]=\left[\begin{array}{ccc}{a}_{00}& a_{01}& a_{02}\\ a_{10}& a_{11}& a_{12}\\ a_{20}& a_{21}& a_{22}\end{array}\right]\left[\begin{array}{c}{x}_0\\ x_1\\ x_2\end{array}\right]\end{array}$$
の形のまま微分すると簡単です。たとえば $x_0$ で微分すると、
 $$\begin{array}{}\text{(28)}& \frac{\partial }{\partial x_0}\left[\begin{array}{c}{\lambda }_0\\ {\lambda }_1\\ {\lambda }_2\end{array}\right]=\left[\begin{array}{ccc}{a}_{00}& a_{01}& a_{02}\\ a_{10}& a_{11}& a_{12}\\ a_{20}& a_{21}& a_{22}\end{array}\right]\left[\begin{array}{c}1\\ 0\\ 0\end{array}\right]=\left[\begin{array}{c}{a}_{00}\\ a_{10}\\ a_{20}\end{array}\right]\end{array}$$
となって、$A$ の $0$ 列目が抜き出されます。同様に $x_1,x_2$ で微分すると $1$ 列目、$2$ 列目が抜き出されるので、
 $$\begin{array}{}\text{(29)}& \frac{\partial }{\partial x_j}\left[\begin{array}{c}{\lambda }_0\\ {\lambda }_1\\ {\lambda }_2\end{array}\right]=\left[\begin{array}{c}{a}_{0j}\\ a_{1j}\\ a_{2j}\end{array}\right]\end{array}$$
と表せます。したがって、(26) は
 $$\begin{array}{}\text{(30)}& \frac{\partial E}{\partial x_j}=a_{0j}{\delta }_0+a_{1j}{\delta }_1+a_{2j}{\delta }_2\end{array}$$
となります。(24) に代入すると、
 $$\begin{array}{}\text{(31)}& \frac{\partial E}{\partial {\mu }_j}=f^{\prime }({\mu }_j)(a_{0j}{\delta }_0+a_{1j}{\delta }_1+a_{2j}{\delta }_2)\end{array}$$
この式を一般化すると、
 $$\begin{array}{}\text{(32)}& \frac{\partial E}{\partial {\mu }_j}=f^{\prime }({\mu }_j)\sum _r{a}_{rj}{\delta }_r\end{array}$$
となります。${\displaystyle \sum _r}$ は出力層のニューロンの個数だけ和をとることを意味します（たとえば、$10$ 個のニューロンがある場合は $r=0$ から $r=9$ まで和をとります）。
 
式 (21) より、この層の重みによる損失関数の勾配は
 $$\begin{array}{}\text{(33)}& \frac{\partial E}{\partial b_{ji}}=z_i{f}^{\prime }({\mu }_j)\sum _r{a}_{rj}{\delta }_r\end{array}$$
となります。

重みの更新式

最後に層同士の関係を明確にするために、以下のように変数を置き換えます。
 $$\begin{array}{}\text{(34)}& & x_j=y_j^{(d-1)},z_j=y_j^{(d-2)}\text{(35)}& & {\lambda }_j=u_j^{(d)},{\mu }_j=u_j^{(d-1)}\text{(36)}& & a_{ji}=w_{ji}^{(d)},b_{ji}=w_{ji}^{(d-1)}\end{array}$$
右上の添字は層番号を意味します (たとえば、$u_j^{(d)}$ は $d$ 層、すなわち出力層のニューロンの入力総和であることを表しています)。　ただし、最終的な出力値 $y_j$、および正解値と出力値の差分 ${\delta }_j=t_j-y_j$については、層番号を表示しないことにします（下図参照）。
 

新しい変数で $\frac{\partial E}{\partial a_{ji}}$ を書き直すと次のようになります。
 
$$\begin{array}{}\text{(37)}& \frac{\partial E}{\partial w_{ji}^{(d)}}=y_i^{(d-1)}{\delta }_j\end{array}$$
同様に、$\frac{\partial E}{\partial b_{ji}}$ を書き直すと、
 $$\begin{array}{}\text{(38)}& \frac{\partial E}{\partial w_{ji}^{(d-1)}}=y_i^{(d-2)}{f}^{\prime }(u_j^{(d-1)})\sum _r{w}_{rj}^{(d)}{\delta }_r\end{array}$$
となります。ここで、
 $$\begin{array}{}\text{(39)}& f^{\prime }(u_j^{(d-1)})\sum _r{w}_{rj}^{(d)}{\delta }_r={\delta }_j^{(d-1)}\end{array}$$
と定義すると、
 $$\begin{array}{}\text{(40)}& \frac{\partial E}{\partial w_{ji}^{(d-1)}}=y_i^{(d-2)}{\delta }_j^{(d-1)}\end{array}$$
となります。(37) と (40) より、出力層および、その１つ手前の中間層の重みの更新は
 $$\begin{array}{}\text{(41)}& \begin{array}{rl}& w_{ji}^{(d)}(t+1)=w_{ji}^{(d)}(t)-\alpha \frac{\partial E}{\partial w_{ji}^{(d)}}=w_{ji}^{(d)}(t)-\alpha {\delta }_j{y}_i^{(d-1)}\\ & w_{ji}^{(d-1)}(t+1)=w_{ji}^{(d-1)}(t)-\alpha \frac{\partial E}{\partial w_{ji}^{(d-1)}}=w_{ji}^{(d-1)}(t)-\alpha {\delta }_j^{(d-1)}{y}_i^{(d-2)}\end{array}\end{array}$$
で与えられます ($\alpha$ は学習率で正の値をとります)。同様に、さらに上の層も
 $$\begin{array}{}\text{(42)}& w_{ji}^{(d-2)}(t+1)=w_{ji}^{(d-2)}(t)-\alpha {\delta }_j^{(d-2)}{y}_i^{(d-3)}\end{array}$$
というように遡って計算してくことができます。これでバックプロパゲーションを Python に実装することができますが、次回記事では、更新式の意味するところをもう少し掘り下げて解説したいと思います。

【おすすめ書籍】ゼロから作る Deep Learning

ゼロから作るDeep Learning ―Pythonで学ぶディープラーニングの理論と実装 中古価格 ￥2,818から (2019/7/30 20:24時点)

『ゼロから作る Deep Learning』は既製品を使わずに実際に動くコードをゼロから書きながら、ディープラーニングの仕組みを基礎から学ぶことができる本です。「ブラックボックスは使いたくない！」という硬派なプログラマーさんにおすすめの一冊です。

ゼロから作るDeep Learning ? ?自然言語処理編 中古価格 ￥2,979から (2020/8/20 11:36時点)

シリーズ二冊目は自然言語処理の話がメインとなります。私たちの話す言葉をコンピュータに理解させることは非常に困難ですが、ディープラーニングの手法で追求する動きが広まっています。Google の機械翻訳もその一例です。表題にある通り既製品を使わず『ゼロから作る』という方針で記述されているので、本書を読み通すことで、ディープラーニングの基礎理論の土台を築くことができます。

ゼロから作るDeep Learning ? ?フレームワーク編 中古価格 ￥3,500から (2020/8/20 11:38時点)

シリーズ三冊目では、なんと、ディープラーニングのフレームワークをゼロから作ります。TensorFlow や Chainer のようなインターフェースを自分で組み立てながら、フレームワークの構造について学ぶのです。本書では DeZero と名づけられたオリジナル・フレームワークを小さなステップに分けて作成していきます (DeZero は小規模なフレームワークですが十分に複雑です)。本書は読み通すことで、上級エンジニアとして、自身でフレームワークを設計する土台を築くことができます。