メインコンテンツへスキップ
見出し画像

<学習シリーズ>線形モデル編:ロジスティック回帰

    1.概要

    1-1.緒言

     本記事は”学習シリーズ”として自分の勉強備忘録用になります。

     本記事ではロジスティック回帰を紹介します。なお、実装のための理解を目的としており厳密な表現は間違っている可能性がありますので、理論は教科書などで学ぶことを推奨します。

    1-2.用語・記号の説明(全般)

     本記事で使用する用語および記号は下記の通りです。

     1-2-1.用語一覧

    ●回帰 (regression):実数値を予測する問題
    ●分類 (classification):
    カテゴリ(離散値)を予測する問題
    ●教師あり学習 (supervised learning):機械学習でデータセットに対して正解値(ラベル)がある学習方法
    ●教師なし学習 (unsupervised learning):
    機械学習でデータセットに対して正解値(ラベル)が無い学習方法
    ●予測値 (predicted value):
    関数で計算された出力変数y(用語は下記参照)
    ●目標値 (target value):
    予測値がとるべき値(教師あり学習の正解値)
    ●
    目的関数 (objective function):機械学習において性能の良さの指標を表す関数です。一般的には”予想値と目標値の差異”から作成される関数であり、この関数を最小化することでよいモデルと判断します。
    ●多重共線性(multicollinearity):
    多変量解析(重回帰分析など)において、いくつかの説明変数間で線形関係(強い相関関係)があると共線性といい、共線性が複数認められる場合は多重共線性があると言います。
    ●二乗和誤差 (sum-of-squares error):正解値yyと予測値y^\hat{y}の差の2乗(y−y^)2(y-\hat{y})^2です。これをモデルと正解値の誤差とも呼びます。
    ●
    最小二乗法:二乗和誤差を最小化することでモデルの当てはまりを最適化する手法です。
    ●応答変数:目的変数と同義
    ●線形予測子(linear predictor):説明変数の一次結合で表されるモデル式(z=β0+β1x1+β2x2{z = β_0 + β_{1}x_{1} + β_{2}x_{2} })
    ●リンク関数(link function):式を変換して線形予測子に対応させる関数->0~1しか取ることのできない確率も線形予測子に対応させること可能となる。また離散値を確率分布として扱える特性もある。
    ●一般化線形モデル(Generalized Linear Model / GLM):分散分析と回帰分析を合わせて使う場合のモデル、線形回帰モデルをより柔軟に一般化した統計モデルとも考えられます。
    ●条件付き確率P(B∣A)=P(A∩B)P(A)P(B \mid A) = \frac{P(A \cap B)}{P(A)}:条件となる事象Aが起きた場合に、事象Bが起こる確率(※事象AとBが両方とも起こる確率(同時確率)ではないことに注意)
    ●尤度/尤度関数(likelihood):母数 θ の各値のもとで,その値がどの程度起りやすいか(確率)をθ の関数として考えたもの

     1-2-2.記号一覧

    ●f()f():y=f(x)y=f(x)におけるf()であり関数と呼びます。中身は入力変数xを処理して新しい出力変数yを生成する計算式です。
    ●xx:y=f(x)y=f(x)におけるxです。複数は下記の通り複数あります。
     名称1:説明変数(Explanatory variable)
     名称2:独立変数(Independent variable)
     名称3:外生変数(Exogenous variable)
     名称4:入力変数(Input variable)
     名称5:入力値(Input value)
    ●yy:y=f(x)y=f(x)におけるyです。複数は下記の通り複数あります。
     名称1:目的変数(Response variable)
     名称2:従属変数(Dependent variable)
     名称3:被説明変数(Explained variable)
     名称4:内生変数(endogenous variable)
     名称5:出力変数(Output variable)
     名称6:予測値/推論値(prediction value)
     名称7:応答変数(response variable)
    ●wiw_i(weight):重み(単回帰の場合は傾きとも言う)
    ●bb(bias):バイアス(単回帰の場合は切片とも言う)
    ●二項係数(組合せ) - binom:異なるn個の物からなる集合があるとき、そのうちのr個を取り出し、順序をつけて一列に並べた時の並べ方のパターン数

    (nk)=nCk=n!(n−k)!k!\binom{n}{k} = {}_n C_{k} = \frac{n!}{(n-k)!k!}

    ●要素:集合A(例:母集団)の中に含まれるデータaを要素と呼びます。記号は∈\inを使用し、下記のような記載をします。

    aが集合Aの要素:a∈Aaが集合Aの要素:a \in A

    (0と1)の2値の要素を持つ集合:x∈{0,1}(0と1)の2値の要素を持つ集合:x \in \{ 0,1 \}

    N×M次元のベクトル:X∈RN×MN×M次元のベクトル: \bf X \in \mathbb{R}^{N \times M }


     1-2-3.ベクトル・行列表記一覧

    ●M次元の縦ベクトル:x{\bf x}

    x=[x0x1x2⋮xM]\begin{aligned}{\bf x}= \begin{bmatrix} x_{0} \\ x_{1}\\ x_{2} \\ \vdots \\ x_{M} \end{bmatrix} \\ \end{aligned}

    ●M次元の横ベクトル(縦ベクトルの転置):xT{\bf x}^{\rm T}

    xT=[x0x1x2…xM]\begin{aligned}{\bf x}^{\rm T}= \begin{bmatrix} x_{0} & x_{1}& x_{2} & \dots & x_{M} \end{bmatrix} & \end{aligned}

    ●N×M次元の行列(M次元をもつN個のデータ):X{\bf X}

    X=[x10x11x12⋯x1Mx20x21x22⋯x2Mx30x31x32⋯x3M⋮⋮⋮⋱⋮xN0xN1xN2⋯xNM]=[x1Tx2T x3T⋮xNT]\begin{aligned} {\bf X} & = \begin{bmatrix} x_{10} & x_{11} & x_{12} & \cdots & x_{1M} \\ x_{20} & x_{21} & x_{22} & \cdots & x_{2M} \\ x_{30} & x_{31} & x_{32} & \cdots & x_{3M} \\ \vdots & \vdots & \vdots & \ddots & \vdots \\ x_{N0} & x_{N1} & x_{N2} & \cdots & x_{NM} \end{bmatrix} \end{aligned} =\begin{bmatrix} {\bf x}_1^{\rm T} \\ {\bf x}_2^{\rm T} \\  {\bf x}_3^{\rm T}\\ \vdots \\ {\bf x}_N^{\rm T} \end{bmatrix}

    1-3.サンプル用データ:Iris

     今回は分類(Classification)のため、サンプルデータはScikit-learnのToy datasetsからIrisデータセットを使用します。

    画像

     ロジスティック回帰は多次元の変数を取得可能です。ロジスティック回帰のイメージをつかみやすいように複数パターンで出力しました。

    • パターン1:説明変数が1次元×2分類

    • パターン2:説明変数が1次元×3分類

    • パターン3:説明変数が2次元×2分類

    • パターン4:説明変数が2次元×3分類

    [IN]
    %matplotlib qt
    import pandas as pd
    import numpy as np
    import matplotlib.pyplot as plt
    import japanize_matplotlib
    import os
    import glob
    
    from sklearn import datasets
    
    
    #データセットの読み込み
    iris = datasets.load_iris() #irisデータセットの読み込み
    data, target = iris.data, iris.target  #データとラベルを取得
    data_all = np.concatenate([data, target[:, np.newaxis]], axis=1) #データとラベルを結合 axis=1:列方向
    df = pd.DataFrame(data_all, columns=iris.feature_names+['label']) #データフレームに変換
    id2label = {i:name for i, name in enumerate(iris.target_names)} #ラベルの辞書
    
    print(df.shape)
    print(id2label)
    
    #データ可視化:2次元
    fig, axs = plt.subplots(1, 2, figsize=(10, 6), facecolor='w')
    
    df_setosa, df_versicolor, df_virginica = df[df['label']==0], df[df['label']==1], df[df['label']==2]
    x1, x2, x3 = df_setosa['sepal length (cm)'], df_versicolor['sepal length (cm)'], df_virginica['sepal length (cm)']
    y1, y2, y3 = df_setosa['label'], df_versicolor['label'], df_virginica['label']
    
    #setosaとversicolorのみを抽出
    axs[0].scatter(x1, y1, label='setosa', color='r', marker='o')
    axs[0].scatter(x2, y2, label='versicolor', color='b', marker='x')
    axs[0].set(xlabel='sepal length (cm)', ylabel='label', title='setosa and versicolor')
    axs[0].grid(), axs[0].legend()
    
    #3種類のデータをプロット
    axs[1].scatter(x1, y1, label='setosa', color='r', marker='o')
    axs[1].scatter(x2, y2, label='versicolor', color='b', marker='x')
    axs[1].scatter(x3, y3, label='virginica', color='g', marker='^')
    axs[1].set(xlabel='sepal length (cm)', ylabel='label', title='Plot of Iris dataset')
    axs[1].grid(), axs[1].legend()
    
    #全体のタイトル
    fig.suptitle('Iris datasetの2次元プロット', fontsize=20)
    
    #画像の保存
    if not os.path.exists('output'): os.mkdir('images') #outputディレクトリがなければ作成
    fig.savefig('output/iris_dataset_2d.png')
    
    [OUT]
    (150, 5)
    {0: 'setosa', 1: 'versicolor', 2: 'virginica'}
    画像
    [IN]
    #データ可視化:3次元
    z1, z2, z3 = df_setosa['label'], df_versicolor['label'], df_virginica['label']
    fig = plt.figure(figsize=(10, 10), facecolor='w')
    ax = Axes3D(fig)
    ax.scatter(x1, y1, z1, label='setosa', color='r', marker='o')
    ax.scatter(x2, y2, z2, label='versicolor', color='b', marker='x')
    ax.scatter(x3, y3, z3, label='virginica', color='g', marker='^')
    ax.set(xlabel='sepal length (cm)', ylabel='sepal width (cm)', zlabel='label', title='Iris datasetの3次元プロット')
    plt.show()
    
    [OUT]
    画像

    【補足:3Dプロットのinteractive化】
     3DプロットをJupyter内で触れるように"ipympl"をインストールしてコード内に"%matplotlib qt"を追加しました。

    [Terminal]
    pip install ipympl

    2.ロジスティック回帰

    2-1.ロジスティック回帰とは

     ロジスティック回帰とは「重回帰の結果を確率に変換した分類モデル」のようなものです。
    ※おそらく厳密な定義や理論とは異なるかもしれませんが、通常の説明で理解できない場合このように考えるほうが実装には楽です。
     重回帰と同様にモデルの解釈性が非常に高いのが特徴です。一般的には2値分類(2種(0/1)のカテゴリカルデータの分類)に使用されますが、他クラス分類にも適用が可能です。

    重回帰:y=w0+w1x1+w2x2+⋯+wnxn=∑n=0nwnxn ※x0=1を追加:w0x0=w0\begin{aligned} 重回帰:y = w_0 + w_1 x_1 + w_2 x_2 + \cdots + w_n x_n=\sum_{n=0}^{n} w_{n} x_{n}   \\※x_0=1を追加:w_0x_0=w_0 \end{aligned}

    ●xx:入力変数
    ●yy:出力変数
    ●ww:重み(単回帰での傾きaaと同等)
    ●w0w_0:バイアス(単回帰での切片bbと同等)

    2-2.ロジスティック回帰と重回帰の比較

     ロジスティック回帰と重回帰の比較表は下記の通りです。理解のしやすさを考慮して、ロジスティック回帰は2値分類としています。

    画像

    3.理論的な数式

     ロジスティック回帰の仕組み及び解法に関して紹介します。全体のフローは下記の通りです。

    1. 重回帰の計算結果(線形予測子)を確率と結びつけるためのリンク関数を導入し、ラベル値をとりえる確率ppを算出

    2. 確率ppを用いてデータセットに最も当てはまりの良さ(尤もらしさ)を表す指標として尤度関数を作成する。

    3. その尤度関数が最大化になるようにパラメーターを学習する(最尤推定)

    3ー1.リンク関数の適用/確率の計算

     リンク関数の理解と最終出力である確率ppの計算フローは下記の通りです。

    1. データの理解:入力値とラベル値のデータの種類の違い

    2. リンク関数の適用:”離散値である目的変数”と”説明変数から計算した線形予測子”を紐づけるため目的変数にリンク関数としてロジット関数を適用

    3. 確率ppの計算:リンク関数を適用した数式を解くことで確率を求める

     3-1-1.データの理解

     代表的なデータの分類としては「量的データ」と「質的データ」の2つがあり、また尺度による分け方では「質的データの名義・順序尺度」と「量的データの間隔・比率尺度」として計4種があります。

    • 量的データ:数値(定量的)で表せるデータで数値の大小に意味がある

    • 質的データ:データの分類や種類の区別(カテゴリカル)に使われ、順位や順序に意味があるデータ

    画像

     機械学習モデルとして、重回帰では説明変数x\bf xと重みw\bf w(バイアスw0w_0を含む)の内積(線形予測子)を用いて、正解値を推論(目的変数/応答変数)しました。

    応答変数t=線形予測子(w0+w1x1+w2x2+⋯+wnxn)=wTx応答変数t =線形予測子( w_0 + w_1 x_1 + w_2 x_2 + \cdots + w_n x_n)=\bf w^Tx

     しかしクラス分類ではデータの種類を考慮すると下記問題があります。

    • 説明変数と目的変数のデータ種類は異なるため同じものとして扱えない

    • (2値分類の場合)目的変数の取りえる値が”0と1"に対して線形予測子は-∞~+∞の実数でありのため、推論値(応答変数)とラベル値が対応しない

    画像
    画像

     3-1-2.リンク関数の適用

     ”線形予測子と応答変数が対応していない問題”を解決するために、応答変数にリンク関数を適用します。リンク関数を適用することで応答変数yy(離散値)が-∞~+∞の連続値へ変換され、線形予測子と同等のものとして扱うことが出来ます。

    link(y)=線形予測子(w0+w1x1+w2x2+⋯+wnxn)link(y) =線形予測子( w_0 + w_1 x_1 + w_2 x_2 + \cdots + w_n x_n)

     2値分類ではラベルt∈{0,1}\bf t \in \{0, 1\}、つまり最小値:0, 最大値:1のため推論値(-∞~+∞の連続値)を確率p(0~1)として表現する方がよいです。その変換のために最適なリンク関数がロジット関数です。

    logit(p)=log(odds)=log⁡(p1−p)\mathrm{logit}(p) = log(odds) = \displaystyle \log({\frac{p}{1-p}})

    log⁡(p1−p)=w0+w1x1+w2x2+⋯+wnxn\log({\frac{p}{1-p}})= w_0 + w_1 x_1 + w_2 x_2 + \cdots + w_n x_n

     下図の通り、ロジット関数は0~1(確率)の値を-∞~+∞へ変換します。なおロジット関数の逆関数は後述する通りシグモイド関数となります。

    [IN]
    def plotgraph(X, Y, xlabel, ylabel, title, xticks, yticks, verbose=False):
        fig, ax = plt.subplots(figsize=(8, 6), facecolor='white')
        ax.plot(X, Y, label='data')
        ax.set(xlabel=xlabel, ylabel=ylabel, title=title, xticks=xticks, yticks=yticks)
        if verbose:
            x_min, x_max, y_min, y_max = X.min(), X.max(), Y.min(), Y.max()
            ax.plot((x_min, x_max), (0, 0), color='black', lw=1) #x軸
            ax.plot((0, 0), (y_min, y_max), color='black', lw=1) #y軸
            
        ax.grid(), ax.legend()
        plt.show()
    
    def logit(p):
        return np.log(p / (1 - p))
    
    x = np.linspace(0.01, 0.99, 100) 
    y = logit(x) #logit関数
    plotgraph(x, y, '確率p', 'logit(p)', 'logit関数', np.arange(0, 1.1, 0.1), np.arange(-5, 6, 1), verbose=True)
    
    [OUT]
    画像

     3-1-3.確率の計算

     線形予測子をzzとすると、式変形より確率p=11+e−zp=\dfrac{1}{1+e^{-z}}となります。この式はシグモイド関数と同じになります。

    z=log⁡p1−pez=p1−pez−ezp=pp=ezez+1=11+e−z\begin{aligned} z=\log\dfrac{p}{1-p} \\ e^z=\dfrac{p}{1-p} \\ e^z-e^zp=p \\ p=\dfrac{e^z}{e^z+1} =\dfrac{1}{1+e^{-z}} \end{aligned}

     これより、線形予測子 zz と目的変数 yyの関係を表現するロジスティック回帰モデルが導出され、線形予測子 zz から目的変数 yyの確率を算出できます。
     なおラベルt∈{0,1}\bf t \in \{0, 1\}のため、確率ppはt=0とt=1の2値の確率を計算します。

    p(t∣x1,x2,...,xn)=11+e−z=11+e−(w0+w1x1+w2x2+⋯+wnxn)p(t|x_1, x_2, ..., x_n) =\frac{1}{1 + e^{-z}} = \frac{1}{1 + e^{-( w_0 + w_1 x_1 + w_2 x_2 + \cdots + w_n x_n)}}

    【参考:記号の意味】
     上記で使用したp(t∣x1,x2,...,xn)p(t|x_1, x_2, ..., x_n)は条件付き確率の標記であり、意味は下記の通りです。

    • p(t∣x1,x2,...,xn)p(t|x_1, x_2, ..., x_n):説明変数x=x1,x2,...,xn\bf x=x_1, x_2, ..., x_nにおいてラベル値がyyである確率

    • p(t=1∣x1,x2,...,xn)p(t=1|x_1, x_2, ..., x_n):説明変数x=x1,x2,...,xn\bf x=x_1, x_2, ..., x_nにおいてラベル値がy=1y=1である確率

    • p(t=0∣x1,x2,...,xn)p(t=0|x_1, x_2, ..., x_n):説明変数x=x1,x2,...,xn\bf x=x_1, x_2, ..., x_nにおいてラベル値がy=0y=0である確率

    3-2.尤度関数:モデルの目的関数

     ここからはロジスティック回帰の重みとバイアスを更新して最適なパラメータを求めていきます。
     説明変数x\bf x、目的変数y\bf y共に実数の連続値では、重回帰による「二乗誤差(t−y)T(t−y)({\bf t} - {\bf y})^{\rm T}({\bf t} - {\bf y})を最小にする重み・バイアスを探索(モデルの学習)」しました。しかし2値分類では下記問題があります。

    • y=wTx\bf y=w^Txの出力は-∞~+∞のため0~1の出力にならない:学習データで0~1に入れたとしてもテストデータでは説明変数は不明のため、意味のない結果が出力される可能性がある(特定の数値前後でラベルが0,1に変化する場合、重回帰だとある数値以上では誤差が増える方向になる。

    [IN]
    import numpy as np
    import matplotlib.pyplot as plt
    import seaborn as sns
    from sklearn.linear_model import LinearRegression, LogisticRegression
    
    X = np.array([1, 2, 3, 4, 5])
    Y = np.array([0, 0, 1, 1, 1])
    # 最小二乗法による回帰分析
    model1 = LinearRegression().fit(X.reshape(-1,1), Y)
    y_pred = model1.predict(X.reshape(-1,1))
    diffs = Y - y_pred # 残差
    
    # 可視化
    fig, ax = plt.subplots(1,1, figsize=(7,7), facecolor='w')
    sns.set(style="darkgrid")
    plt.scatter(X, Y)
    # ロジスティック回帰による分類の可視化
    ax.plot(X, Y, 'o', label="data", c='red')
    ax.plot(X, y_pred, '-', label="logistic regression", c='blue', lw=1.0)
    ax.set(xticks=X.flatten(), xlabel="x", ylabel="y", title="Logistic Regression")
    #残差を両矢印で表示
    for idx, diff in enumerate(diffs):
        ax.annotate("", xy=(X[idx], y_pred[idx]), xytext=(X[idx], Y[idx]), arrowprops=dict(arrowstyle="<->", color='blue'))
        ax.text(X[idx]+0.2, (Y[idx]+y_pred[idx])/2, f'{diff:.2f}', ha='center', va='center', color='blue')
    
    ax.legend()
    plt.show()
    
    [OUT]
    画像

     リンク関数を使用して線形予測子 zz を確率ppで表現しているため、は「尤度関数を最大化する重み・バイアスを探索」します。
     ロジスティック関数のパラメータ最適化手順は下記の通りです。

    1. 尤度関数を定義

    2. 対数尤度関数に変換:尤度関数の両辺を対数で取得

    3. 勾配降下法が使用できるよう、対数尤度関数の式にマイナスをかける:マイナスした関数の最小化を目的とする

    4. 勾配降下法でパラメーターを更新

     3-2-1.尤度関数の定義

     尤度 (likelihood) とは”データに対してパラメータの尤もっと もらしさ”を示す指標であり「あるデータが与えられたときに、モデルのパラメータがどの程度良く当てはまるかを表す尺度」です。別の表現をすると「そのデータが生成される確率->データの正解度合い->パラメータの適切さ」ともいえると思います。

    尤度はパラメータ(重み・バイアス)の関数として表すことができ、その関数を尤度関数と呼びます。尤度関数L(w)L(w)の定義および特徴は下記の通りです。

    • 尤度関数L(w)L(w)は各データにおける※尤度p(y(i)∣x(i),w)p(y^{(i)} | x^{(i)},w)の掛け算で表されている(※p(y(i)∣x(i),w)p(y^{(i)} | x^{(i)},w)パラメータwwが与えられたとき、データxix_iがクラスyiy_iに属する条件付き確率とも言えます)

    • 「尤度が高い=そのデータの正解値の確率が高い」とすると、尤度関数L(w)L(w)は全データの尤度の総乗のため、全データにおける正解値の当てはまりと考えることが出来る。

    • 尤度関数L(w)L(w)を最大化することは、全データに対する当てはまりが最適(尤もらしい)ことを意味している

    L(w)=∏i=1np(y(i)∣x(i),w)=p(y(1)∣x(1),w)×p(y(2)∣x(2),w)⋯×p(y(n)∣x(n),w)L(w) = \prod_{i=1}^n p(y^{(i)} | x^{(i)},w) =p(y^{(1)} | x^{(1)},w) \times p(y^{(2)} | x^{(2)},w) \cdots \times p(y^{(n)} | x^{(n)},w)

    L(w)=∏i=1n(各データの尤度)=尤度データ1×尤度データ2⋯尤度データnL(w) = \prod_{i=1}^n(各データの尤度)=尤度_{データ1} \times 尤度_{データ2} \cdots 尤度_{データn}

    • nn:データセット内のサンプル数(データ数)

    • ii:ii行目のデータ

    • ww:モデルのパラメータ(重み, バイアス)

    • x(i)x^{(i)}:説明変数(入力特徴量)

    • y(i)y^{(i)}(y∈{0,1}y \in \{0, 1\}):ラベルデータ(対応する出力)->2値のため0または1(※別箇所でttを使用しましたがここではyyを使用)

    • p(y(i)∣x(i),w)p(y^{(i)} | x^{(i)},w):各データの尤度

     ラベル値y∈{0,1}y \in \{0, 1\}は0か1の値しかとらないため、各データの尤度p(y(i)∣x(i),w)p(y^{(i)} | x^{(i)},w)はy=0かy=1の2つの確率を取ります。2値より片方の確率をppとするともう片方の確率は1−p1-pとなります。y=1の確率をリンク関数経由で式変形したものを適用するとy=1, y=0の確率は下記の通りです。

    pi=p(y(i)=1∣x(i),w)=11+exp⁡(−z)p_i = p(y^{(i)} =1 | x^{(i)},w) = \dfrac{1}{1+\exp(-z)}

    pi=p(y(i)=0∣x(i),w)=1−p(y(i)=1∣x(i),w)=exp⁡(−z)1+exp⁡(−z)p_i = p(y^{(i)} =0 | x^{(i)},w) = 1 - p(y^{(i)} =1 | x^{(i)},w) = \dfrac{\exp(-z)}{1+\exp(-z)}

    p(y(i)∣x(i),w)=(pi)y(i)(1−pi)1−y(i)p(y^{(i)} | x^{(i)},w) = (p_i)^{y^{(i)}}(1-p_i)^{1-y{(i)}}

     p(y(i)∣x(i),w)=(pi)y(i)(1−pi)1−y(i)p(y^{(i)} | x^{(i)},w) = (p_i)^{y^{(i)}}(1-p_i)^{1-y{(i)}}とするとy=0, y=1の条件における尤度を一つの式として表すことが出来ます。よって尤度関数L(w)L(w)は下記の通りとなります。

    L(w)=∏i=1np(y(i)∣x(i),w)=∏i=1n(pi)y(i)(1−pi)1−y(i)L(w) = \prod_{i=1}^n p(y^{(i)} | x^{(i)},w) = \prod_{i=1}^n \left(p_i\right)^{y^{(i)}} \left(1-p_i\right)^{1-y^{(i)}}

     参考までにy=0, 1における尤度を記載しました。各ラベル値y∈{0,1}y \in \{0, 1\}で線対称になっていることが確認できます。

    [IN]
    import numpy as np
    import matplotlib.pyplot as plt
    import japanize_matplotlib
    
    #p(y=1|z)の尤度関数
    def prob1(z):
        return 1 / (1 + np.exp(-z)) #z:線形予測値(w^TX)
    #p(y=0|z)の尤度関数
    def prob0(z):
        return 1 - prob1(z) #1-p(y=1|z)=exp(-z)/(1+exp(-z))
    
    def likelihood(z, y):
        return prob1(z)**y * prob0(z)**(1-y)  #尤度関数 
    #線形予測子z=w^TXを想定
    z = np.linspace(-10, 10, 100)
    #尤度関数の計算
    likelihood_y0 = likelihood(z, 0) #y=0の尤度関数
    likelihood_y1 = likelihood(z, 1) #y=1の尤度関数
    
    #可視化
    fig = plt.figure(figsize=(8, 6), facecolor='w')
    plt.plot(z, likelihood_y0, label=r'$L(z|y=0)=\frac{e^{-z}}{1+e^{-z}}$', c='red')
    plt.plot(z, likelihood_y1, label=r'$L(z|y=1)=\frac{1}{1+e^{-z}}$', c='blue')
    plt.xlabel('線形予測子z', fontsize=12), plt.ylabel('尤度関数L', fontsize=12)
    plt.title(r'ロジスティック回帰の尤度関数:$L(z|y)=(\frac{1}{1+e^{-z}})^y (\frac{e^{-z}}{1+e^{-z}})^{1-y}$', fontsize=16, y=-0.18)
    plt.grid()
    plt.legend(fontsize=14)
    plt.show()
    
    [OUT]
    画像

     3-2-2.補足1:尤度関数の理解

     前項より、尤度関数L(w)L(w)に関して下記のことが確認できました。

    1. 尤度関数は確率(各データの尤度)の総乗で計算されるため最大値は1、最小値は0となる。

    2. 尤度が高いほど当てはまりが良い(パラメータで正解を予測できている)ため、「各データの尤度の掛け算が高い=最低なパラメータである」と理解できる

    3. 確率(尤度)p(y(i)∣x(i),w) p(y^{(i)} | x^{(i)},w)は説明変数:xx、ラベル:y∈{0,1}y \in \{0, 1\}、モデルのパラメータ:wwからなる。

    4. xx, yyは固定値(データ)のため、尤度関数はパラメータwwによって変化する

    5. パラメータをうまく変化させれば最適な尤度が計算できる(最尤推定)。

     つまり尤度関数はパラメータによって確率が変化する関数であり、パラメータを変更すると確率分布に似た分布が取得できます(尤度関数は確率の総乗であるため、確率分布や確率密度関数とは異なります)。
     データから得られる確率が最大になるパラメータを推定する(最尤推定)ことで、最適値を選定できます。

     3-2-3.補足2:最小二乗法と最尤推定の違い

     重回帰では最小二乗法を使用しましたが、ロジスティック回帰ではラベル値y∈{0,1}y \in \{0, 1\}の確率を求めるため、確率モデルである尤度関数の方が最適です。
     違いも含めた比較表は下記の通りです。

    項目最小二乗法最尤推定目的関数誤差の2乗尤度関数モデルの種類決定論モデル??確率論モデル目的関数の意味推論値とラベルの誤差パラメータの尤もらしさ数式Loss=∑i=1n(yi−f(xi))2L(w)=∏i=1nf(xi)yi(1−f(xi))1−yiパラメータ重み・バイアス:wT重み・バイアス:wTパラメータの最適化誤差の2乗を最小化尤度関数を最大化最適化手法勾配降下法勾配降下法目的関数の範囲実数全体(−∞~∞)0~1目的関数の最適値Loss=0L(w)=1\begin{array}{l:l:l} \textbf{項目} & \textbf{最小二乗法} & \textbf{最尤推定} \\ \hline 目的関数 & 誤差の2乗 & 尤度関数\\ モデルの種類 & 決定論モデル?? & 確率論モデル\\ 目的関数の意味 &推論値とラベルの誤差 & パラメータの尤もらしさ \\ 数式 & Loss= \sum_{i=1}^n (y_i - f(x_i))^2 &L(w)= \prod_{i=1}^n f(x_i)^{y_i} (1-f(x_i))^{1-y_i} \\ パラメータ & 重み・バイアス:\bf w^T& 重み・バイアス:\bf w^T\\ パラメータの最適化& 誤差の2乗を最小化& 尤度関数を最大化 \\ 最適化手法& 勾配降下法 & 勾配降下法 \\ 目的関数の範囲 & 実数全体(-∞~∞) & 0~1 \\ 目的関数の最適値 & Loss=0& L(w)=1\\ \end {array}

     3-2-4.補足3:最尤推定の練習問題

     サンプル問題を解きながら尤度関数/最尤推定を理解していきます。参考として「英語と数学の点数から大学の合否判定」の問題を解いていきます。データは適当に作成しました。
     まずは重回帰で表現しましたが、十分にモデルを表現できておりません。

    X=[7080756580906040455555709095858040305050],t=[1100011100]\bf X= \begin{bmatrix} 70 & 80 \\ 75 & 65 \\ 80 & 90 \\ 60 & 40 \\ 45 & 55 \\ 55 & 70 \\ 90 & 95 \\ 85 & 80 \\ 40 & 30 \\ 50 & 50 \\ \end{bmatrix}, t=\begin{bmatrix} 1 \\1 \\0 \\0 \\0 \\1 \\1 \\1 \\0 \\0 \\ \end{bmatrix}

    [IN]
    %matplotlib qt
    import numpy as np
    import pandas as pd
    import matplotlib.pyplot as plt
    import japanize_matplotlib
    from mpl_toolkits.mplot3d import Axes3D
    from sklearn.linear_model import LinearRegression
    from scipy.optimize import minimize
    
    # データの読み込み
    data = np.array([[70, 80, 1],
                     [75, 65, 1],
                     [80, 90, 0],
                     [60, 40, 0],
                     [45, 55, 0],
                     [55, 70, 1],
                     [90, 95, 1],
                     [85, 80, 1],
                     [40, 30, 0],
                     [50, 50, 0]])
    
    df = pd.DataFrame(data, columns=['英語', '数学', '合否'])
    display(df.T)
    
    X = data[:, :-1]  # 説明変数
    y = data[:, -1]   # 目的変数
    
    #重回帰で表現
    linear = LinearRegression() #インスタンス化
    linear.fit(X, y) #学習
    y_pred_linear = linear.predict(X) #予測
    
    
    #重回帰を可視化
    fig = plt.figure(figsize=(10, 10), facecolor='w')
    ax = Axes3D(fig)
    ax.scatter(X[:, 0], X[:, 1], y, c='r', marker='o', label='ラベル', s=50)
    
    x_min, x_max, y_min, y_max = X[:, 0].min(), X[:, 0].max(), X[:, 1].min(), X[:, 1].max()
    X_mesh, y_mesh = np.meshgrid(np.linspace(x_min, x_max, 100), np.linspace(y_min, y_max, 100))
    Z = linear.predict(np.c_[X_mesh.ravel(), y_mesh.ravel()])
    
    ax.plot_surface(X_mesh, y_mesh, Z.reshape(X_mesh.shape), alpha=0.3, color='b')
    ax.set(xlabel='英語', ylabel='数学', zlabel='合否')
    plt.grid(), plt.legend()
    plt.show()
    
    [OUT]
    スペースの都合上、転置して表示
    画像
    画像

     尤度関数/対数尤度関数は下記式となります。pip_iは確率(尤度)の推定値,、yi∈{0,1}y_i \in \{0,1\}は2値の正解ラベルです。

    L(β)=∏i=1npiyi(1−pi)1−yiL(\beta) = \prod_{i=1}^{n} p_i^{y_i}(1-p_i)^{1-y_i}

    ln⁡L(w)=∑i=1nyiln⁡(pi)+(1−yi)ln⁡(1−pi)\ln L(w) = \sum_{i=1}^{n} y_i\ln(p_i) + (1-y_i)\ln(1-p_i)

     yに実際の値(0, 1)を代入してみると下記の通りであり、確率が正解ラベルに近いほど高い値をとることが分かります。つまり、推論した確率が(0, 1)に近いほど尤度関数の値が高くなります。

    • y=0の時:piyi(1−pi)1−yip_i^{y_i}(1-p_i)^{1-y_i}=(1−pi)(1-p_i)より、pip_iは0に近いほど高い値となる

    • y=1の時:piyi(1−pi)1−yip_i^{y_i}(1-p_i)^{1-y_i}=pip_iより、pip_iは1に近いほど高い値となる

     対数尤度関数もグラフ化してどのような挙動になるか確認しました。

    • y=0の時:yiln⁡(pi)=0 y_i\ln(p_i)=0であり、全体の式は(1−yi)ln⁡(1−pi)=ln⁡(1−pi)(1-y_i)\ln(1-p_i)=\ln(1-p_i)となるためx=0でy=0, x=1でy=-∞となる。

    • y=1の時:(1−yi)ln⁡(1−pi)=0(1-y_i)\ln(1-p_i)=0であり、全体の式はyiln⁡(pi)=ln⁡(pi) y_i\ln(p_i)=\ln(p_i)となるためx=1でy=0, x=0でy=-∞となる

    • 上記より、確率pが正解ラベルの値に近いほど対数尤度関数の合計は最大化されます。よって尤度関数/対数尤度関数を最大化=正解数が多い=最適なパラメータ選定となります。

    [IN]
    %matplotlib inline
    p=np.linspace(0.01, 1, 100) #0.01~1の範囲で100個のデータを作成
    y0, y1 = 0, 1 #ラベル値
    
    plt.figure(figsize=(8, 6), facecolor='w')
    plt.plot(p, y0*np.log(p) , label='ylog(p), y=0', c='red')
    plt.plot(p, (1-y0)*np.log(1-p) , label='(1-y)log(1-p), y=0', c='red', ls='--')
    plt.plot(p, y1*np.log(p) , label='ylog(p), y=1', c='blue')
    plt.plot(p, (1-y1)*np.log(1-p) , label='(1-y)log(1-p), y=1', c='blue', ls='--')
    plt.xlabel(r'確率$p$', fontsize=12)
    plt.ylabel(r'$ylog(p)$+$(1-y)log(1-p)$', fontsize=12)
    plt.grid(), plt.legend(bbox_to_anchor=(1.05, 1), loc='upper left', borderaxespad=0, fontsize=12)
    plt.title('対数尤度関数', fontsize=12, y=-0.16)
    plt.show()
    
    [OUT]
    画像

     PythonでのコードとExcelでの計算結果を示します。Excelの計算は下記手順で実施しました。

    • 説明変数X\bf Xにバイアス項の列:1を追加する

    • 重みとバイアス:wT=[w0w1w2]\bf w^T=\begin{bmatrix}w_0 & w_1 & w_2\end{bmatrix}を追加:初期値は適当に設定

    • 線形予測子z=wTXz=\bf w^TXを計算

    • 線形予測子をシグモイド関数11+e−z\frac{1}{1+e^{-z}}に通して確率に変換

    • ln⁡L(β)=∑i=1nyiln⁡(pi)+(1−yi)ln⁡(1−pi)\ln L(\beta) = \sum_{i=1}^{n} y_i\ln(p_i) + (1-y_i)\ln(1-p_i):各行の対数尤度関数を計算してその合計値を取得

    • Excelのソルバーを使用してln⁡L(β)\ln L(\beta) を最大化(※ソルバーには最大化の機能があるため反対符号をとって勾配降下法は不要)

    画像
    画像
    [IN]
    from sklearn.linear_model import LogisticRegression
    
    log = LogisticRegression()
    log.fit(X, y)
    print(log.predict(X))
    print(f'Weight\n{log.coef_}', f'bias\n{log.intercept_}', sep='\n')
    
    [OUT]
    [1 1 1 0 0 0 1 1 0 0]
    Weight
    [[0.04551016 0.05192708]]
    bias
    [-6.37705906]

     最後にロジスティック回帰をプロットしました。重回帰では単純な平面ですがロジスティック回帰ではゆがんだ空間(超平面)を生成していることが確認できました。

    [IN]
    #ロジスティック回帰で表現
    weights = np.array([-6.37705906, 0.04551016, 0.05192708])
    def sigmoid(x):
        return 1 / (1 + np.exp(-x))
    X_with_bias = np.c_[np.ones((X_mesh.ravel().shape[0], 1)), X_mesh.ravel(), y_mesh.ravel()]
    _Z_proba = np.dot(X_with_bias, weights)
    Z_proba = sigmoid(_Z_proba)
    
    #重回帰を可視化
    fig = plt.figure(figsize=(10, 10), facecolor='w')
    ax = Axes3D(fig)
    ax.scatter(X[:, 0], X[:, 1], y, c='r', marker='o', label='ラベル', s=50)
    
    x_min, x_max, y_min, y_max = X[:, 0].min(), X[:, 0].max(), X[:, 1].min(), X[:, 1].max()
    X_mesh, y_mesh = np.meshgrid(np.linspace(x_min, x_max, 100), np.linspace(y_min, y_max, 100))
    ax.plot_surface(X_mesh, y_mesh, Z_proba.reshape(X_mesh.shape), alpha=0.3, color='b')
    # ax.plot_surface(X_mesh, y_mesh, Z.reshape(X_mesh.shape), alpha=0.3, color='b') #重回帰の結果を重ねる
    
    ax.set(xlabel='英語', ylabel='数学', zlabel='合否')
    plt.grid(), plt.legend()
    plt.show()
    
    [OUT]

    【ロジスティック回帰のみ】

    画像

    【ロジスティック回帰+重回帰】

    画像

     3-2-5.補足4:尤度関数の可視化

     最尤推定は「尤度関数が最大化するパラメータの探索」でした。それの意味を可視化してみます。

    項目最小二乗法最尤推定目的関数誤差の2乗尤度関数モデルの種類決定論モデル??確率論モデル目的関数の意味推論値とラベルの誤差パラメータの尤もらしさ数式Loss=∑i=1n(yi−f(xi))2L(w)=∏i=1nf(xi)yi(1−f(xi))1−yiパラメータ重み・バイアス:wT重み・バイアス:wTパラメータの最適化誤差の2乗を最小化尤度関数を最大化最適化手法勾配降下法勾配降下法目的関数の範囲実数全体(−∞~∞)0~1目的関数の最適値Loss=0L(w)=1\begin{array}{l:l:l} \textbf{項目} & \textbf{最小二乗法} & \textbf{最尤推定} \\ \hline 目的関数 & 誤差の2乗 & 尤度関数\\ モデルの種類 & 決定論モデル?? & 確率論モデル\\ 目的関数の意味 &推論値とラベルの誤差 & パラメータの尤もらしさ \\ 数式 & Loss= \sum_{i=1}^n (y_i - f(x_i))^2 &L(w)= \prod_{i=1}^n f(x_i)^{y_i} (1-f(x_i))^{1-y_i} \\ パラメータ & 重み・バイアス:\bf w^T& 重み・バイアス:\bf w^T\\ パラメータの最適化& 誤差の2乗を最小化& 尤度関数を最大化 \\ 最適化手法& 勾配降下法 & 勾配降下法 \\ 目的関数の範囲 & 実数全体(-∞~∞) & 0~1 \\ 目的関数の最適値 & Loss=0& L(w)=1\\ \end {array}

     可視化するには2・3次元の必要があるため先ほどのデータを1次元に変更しました(英語のデータと合格のデータセット)。計算時にはバイアス項が入るため1の列を追加します。

    X=[70 75 80 60 45 55 90 85 40 50 ],t=[1100011100],Xbias=[170 175 180 160 145 155 190 185 140 150 ]\bf X= \begin{bmatrix}70  \\75  \\80  \\60  \\45  \\55  \\90  \\85  \\40  \\50  \\\end{bmatrix} , t=\begin{bmatrix}1 \\1 \\0 \\0 \\0 \\1 \\1 \\1 \\0 \\0 \\ \end{bmatrix} , \bf X_{bias} = \begin{bmatrix}1 &70  \\1 &75  \\1 &80  \\1 &60  \\1 &45  \\1 &55  \\1 &90  \\1 &85  \\1 &40  \\1 &50  \\\end{bmatrix}

    [IN]
    data_1dim = np.array([[70, 1],
                        [75, 1],
                        [80, 0],
                        [60, 0],
                        [45, 0],
                        [55, 1],
                        [90, 1],
                        [85, 1],
                        [40, 0],
                        [50, 0]])
    
    #データにバイアスを追加
    _ones_bias = np.ones((data_1dim.shape[0], 1))
    datas = np.concatenate([_ones_bias, data_1dim[:, :-1]], axis=1) #バイアス項用の1を追加
    target = data_1dim[:, -1] #ラベル
    
    # ロジスティック回帰モデルの定義:回答確認
    log = LogisticRegression()
    log.fit(data_1dim[:, :-1], data_1dim[:, -1])
    print(log.predict(data_1dim[:, :-1]))
    print(f'slope\n{log.coef_}', f'intercept\n{log.intercept_}', sep='\n')
    
    [OUT]
    [1 1 1 0 0 0 1 1 0 0]
    slope
    [[0.09370268]]
    intercept
    [-6.0906743]

     これより重みw1=0.09w_1=0.09, w0=−6.09w_0=-6.09となりました。この結果は尤度関数の最大値(負の対数尤度関数の最小値)を求めてパラメータwT=[w0w1]\bf w^T=\begin{bmatrix} w_0 & w_1 \end{bmatrix}を最適化したことで求めることが出来ました。
     それでは尤度関数がどのような分布になっているか確認します。結果としてパラメータwT=[w0w1]\bf w^T=\begin{bmatrix} w_0 & w_1 \end{bmatrix}に対して山のような形状になっており

    [IN]
    
    def linear_reg(X, w):
        return np.dot(X, w) #内積で線形予測値を計算
    
    def sigmoid(x):
        return 1 / (1 + np.exp(-x)) #シグモイド関数
    
    # 尤度関数の定義
    def calc_likelihood(prob, label):
        likelihood = prob ** label * (1 - prob) ** (1 - label) #p^y(1-p)^(1-y)
        return likelihood
    
    # 各重みにおける尤度関数の計算・配列化
    slopes = np.linspace(-10, 10, 100)
    intercepts = np.linspace(-10, 10, 100)
    S, I = np.meshgrid(slopes, intercepts) #各重みにおける尤度関数の計算・配列化
    
    outputs = [] #尤度関数を格納する配列
    
    #slopes:100×intercepts:100=10000通りの重みの組み合わせを計算※zip()をそのまま使うと100通りになるため注意
    for intercept in intercepts:
        for slope in slopes:
            w = np.array([intercept, slope]) #重みを[intercept, slope]の順に並べる
            linear_pred = linear_reg(datas, w) #線形予測値
            prob = sigmoid(linear_pred) #確率
            likelihoods = calc_likelihood(prob, target) #各データ尤度
            likelihood_func = np.prod(likelihoods)  #尤度関数         outputs.append(likelihood_func) #尤度関数を配列に追加
        
    Z = np.array(outputs) #尤度関数の配列
    Zs = Z.reshape(S.shape) #尤度関数の配列をグラフ用に整形(100×100)
    
    #グラフの描画
    from mpl_toolkits.mplot3d import Axes3D
    fig = plt.figure(figsize=(10, 10), facecolor='w')
    ax = fig.gca(projection='3d')
    
    #尤度関数のプロット
    surf = ax.plot_surface(S, I,  Zs , cmap='coolwarm', alpha=0.8)
    
    #x, y軸のラベルとタイトルの設定
    ax.set_xlabel('slope')
    ax.set_ylabel('intercept')
    ax.set_zlabel('Likelihood')
    ax.set(title='Logistic Regression Likelihood Surface',
           xticks=np.arange(-10, 10, 1), yticks=np.arange(-10, 10, 1))
    plt.title('Logistic Regression Likelihood Surface')
    
    #カラーバーの表示
    fig.colorbar(surf)
    plt.show()
    
    [OUT]


    画像

     "ax.contour"による等高線も描写してみました。

    [IN]
    %matplotlib inline
    # 等高線図の描画
    fig, ax = plt.subplots(figsize=(8, 8), facecolor='w')
    # 等高線のプロット
    CS = ax.contour(S, I, Zs, levels=10, cmap='coolwarm')
    
    # 等高線のラベルの設定
    ax.clabel(CS, inline=True, fontsize=10)
    
    # 軸ラベルとタイトルの設定
    ax.set_xlabel('slope', fontsize=12)
    ax.set_ylabel('intercept', fontsize=12)
    ax.set_title('Logistic Regression Likelihood Surface', fontsize=14)
    ax.set(xticks=np.arange(-10, 10, 1), yticks=np.arange(-10, 10, 1))
    # グリッド表示
    ax.grid(True)
    plt.show()
    
    # 等高線図の描画
    fig, ax = plt.subplots(figsize=(8, 8), facecolor='w')
    # 等高線のプロット
    CS = ax.contour(S, I, Zs, levels=10, cmap='coolwarm')
    
    # 等高線のラベルの設定
    ax.clabel(CS, inline=True, fontsize=10)
    
    # 軸ラベルとタイトルの設定
    ax.set_xlabel('slope', fontsize=12)
    ax.set_ylabel('intercept', fontsize=12)
    ax.set_title('Logistic Regression Likelihood Surface', fontsize=14)
    ax.set(xticks=np.arange(-2, 2, 0.5), yticks=np.arange(-9, -4, 0.5), xlim=(-2, 2), ylim=(-9, -4))
    # グリッド表示
    ax.grid(True)
    plt.show()
    
    [OUT]
    画像

    3-3.最尤推定:最適なパラメータの探索

     前項より、尤度関数を最大化は全データに対するパラメータの尤もらしさを最適化します。尤度関数が最大となるパラメータを見つけることを最尤推定と言います。
     尤度関数を最大化したいのですがL(w)=∏i=1np(y(i)∣x(i),w)L(w) = \prod_{i=1}^n p(y^{(i)} | x^{(i)},w)のままだと(特に微分の)計算が手間であり、かつ確率の掛け算(総乗)のためアンダーフロー(値が小さすぎてPCが計算できない)の問題があります。
     この問題を解決するため尤度関数を対数で取ることで総乗(積)∏\prodを合計(和)∑\sumに変換できます。

    LL(w)=log(∏i=1np(y(i)∣x(i),w))=log(∏i=1n(pi)y(i)(1−pi)1−y(i))LL(w)= log(\prod_{i=1}^n p(y^{(i)} | x^{(i)},w)) =log( \prod_{i=1}^n \left(p_i\right)^{y^{(i)}} \left(1-p_i\right)^{1-y^{(i)}})

    LL(w)=∑i=1n[y(i)log(p(i))+(1−y(i))log(1−p(i))] LL(w)=\sum_{i=1}^n [y^{(i)}log(p^{(i)}) + (1-y^{(i)})log(1-p^{(i)})]  

     対数尤度関数は解析解をもたないため数値最適アルゴリズムを使用する必要があり、一般的には勾配降下法を使用します。勾配降下法では最小値を求めるため、対数尤度関数の符号を反転させることで最小値を求める形に変換することができ、変換した関数をBinary Cross Entropy(二値交差エントロピー)と呼びます。
     これらが計算出来たら下記手順でパラメータを学習します。

    1. 尤度関数を対数化(対数尤度関数)

    2. 対数尤度関数の符号を反転して損失関数(BCE)を算出

    3. 損失関数(BCE)の微分を計算

    4. 勾配降下法によりパラメータを学習

    【損失関数(誤差関数):二値交差エントロピー】

    −LL(w)=BCE(y,t​)=−∑i=1n(tilogyi​+(1−ti)log(1−yi​))-LL(w)=BCE(y,t​)=− \sum_{i=1}^n(t_{i}logy_{i}​ + (1−t_{i})log(1−y_{i}​))

    ti∈{0,1}:ラベル値, yi:モデルの推論値(確率0~1)t_{i}\in \{0,1\}:ラベル値,  y_{i} :モデルの推論値(確率0~1)

    【勾配降下法】

    wi←wi−η∂BCE(∂wiw_i \leftarrow w_i - \eta\frac{\partial BCE(}{\partial w_i}

    b←b−η∂BCE∂bb \leftarrow b - \eta \frac{\partial BCE}{\partial b}

    wiw_i:ii番目の重み、b=w0b=w_0:バイアス、η\eta:学習率

    【損失関数の微分】
    ※BCEに1N\frac{1}{N}を追加

    ∂BCE∂w=1N∑i=1N(ti−yi)xi\frac{\partial BCE}{\partial w} =\frac{1}{N} \sum_{i=1}^N \left(t_i - y_i \right) x_i

    【参考:微分式の導出】

    z=wTxi,wT=[w0w1w2⋯wn]z = \bf w^T x_i , \bf w^T=\begin{bmatrix}w_0 & w_1 & w_2 \cdots & w_n\end{bmatrix}

    yi=σ(z)=11+e−zy_i = \sigma(z) = \frac{1}{1 + e^{-z}}

    ∂yi∂w=∂yi∂z⋅∂z∂w=∂∂z(11+e−z)⋅∂z∂w=yi(1−yi)⋅xi\begin{aligned} \frac{\partial y_i}{\partial w} =\frac{\partial y_i}{\partial z} \cdot \frac{\partial z}{\partial w} &= \frac{\partial}{\partial z} \left( \frac{1}{1 + e^{-z}} \right) \cdot \frac{\partial z}{\partial w} \\ &=y_i(1-y_i)\cdot x_i \end{aligned}

     上記の式変形は下記を使用しました。

    ddxσ(x)=ddx(11+e−x)=e−x(1+e−x)2=σ(x)(1−σ(x))\begin{aligned} \frac{d}{dx} \sigma(x) = \frac{d}{dx} \left( \frac{1}{1 + e^{-x}} \right) = \frac{e^{-x}}{(1 + e^{-x})^2} \\ = \sigma(x)(1-\sigma(x)) \end{aligned}

    ∂wTxi∂wi=[∂w0x0∂wi∂w1x1∂wi∂w2x2∂wi⋯∂wixi∂wi⋯∂wnxn∂wi]=xi\frac{\partial \bf w^T x_i}{\partial w_i}= \begin{bmatrix} \frac{\partial w_0x_0}{\partial w_i} & \frac{\partial w_1x_1}{\partial w_i} & \frac{\partial w_2x_2}{\partial w_i} &\cdots \frac{\partial w_ix_i}{\partial w_i} & \cdots & \frac{\partial w_nx_n}{\partial w_i}\end{bmatrix}=x_i

     上記より、

    ∂J∂w=∂J∂y∂y∂w=−1N∑i=1N[ti1yi−(1−ti)11−yi]∂yi∂w=−1N∑i=1N[ti1yi−(1−ti)11−yi]yi(1−yi)xi=−1N∑i=1N(ti−yi)xi\begin{aligned} \frac{\partial J}{\partial w} =\frac{\partial J}{\partial y}\frac{\partial y}{\partial w} \\ = - \frac{1}{N} \sum_{i=1}^N \left[ t_i \frac{1}{y_i} - (1-t_i) \frac{1}{1-y_i} \right] \frac{\partial y_i}{\partial w} \\ = - \frac{1}{N} \sum_{i=1}^N \left[ t_i \frac{1}{y_i} - (1-t_i) \frac{1}{1-y_i} \right] y_i (1-y_i) x_i \\ = - \frac{1}{N} \sum_{i=1}^N \left( t_i - y_i \right) x_i \end{aligned}

    4.モデルの実装:スクラッチ編

     動作を理解するためにPythonのライブラリを使用せずスクラッチで計算します。目視で確認できるようにデータ数を1桁に調整しました。

    [IN]
    class HorizontalDisplay:
        def __init__(self, *args):
            self.args = args
            
        def _repr_html_(self):
            template = '<div style="float: left; padding: 10px;">{}</div>'
            return "\n".join(template.format(a._repr_html_()) for a in self.args)
    
    #データ数が少ないデータセットを作成
    df_binary = df[df['label']!=2] #virginicaを除外
    
    #乱数値を生成
    np.random.seed(0) #乱数の種を設定
    nums_index_binary = np.random.permutation(len(df_binary)) #0~データ数までの整数の乱数生成
    nums_index_multi = np.random.permutation(len(df)) #0~データ数までの整数の乱数生成
    
    #パターン1:1次元, 2値分類
    df_1dim_binary = df_binary.iloc[nums_index_binary[:8], [0,4]] #sepal length (cm)とlabelのみを抽出
    #パターン2:1次元, 3値分類
    df_1dim_multi = df.iloc[nums_index_multi[:12], [0,4]] #sepal length (cm)とlabelのみを抽出
    #パターン3:2次元, 2値分類
    df_2dim_binary = df_binary.iloc[nums_index_binary[:8], [0,1,4]] #sepal length (cm)とsepal width (cm)とlabelのみを抽出
    #パターン4:2次元, 3値分類
    df_2dim_multi = df.iloc[nums_index_multi[:12], [0,1,4]] #sepal length (cm)とsepal width (cm)とlabelのみを抽出
    display(HorizontalDisplay(df_1dim_binary, df_1dim_multi))
    display(HorizontalDisplay(df_2dim_binary, df_2dim_multi))
    
    
    #Excelファイルに出力
    # dftoexcel = pd.concat([df_1dim_binary.reset_index(drop=True), df_1dim_multi.reset_index(drop=True), df_2dim_binary.reset_index(drop=True), df_2dim_multi.reset_index(drop=True)], axis=1)
    # dftoexcel.to_excel('output/iris_dataset.xlsx')
    
    [OUT]
    画像

    4-1.Pythonで計算:Numpy

     Numpyでロジスティック回帰を実装しましたが2値分類専用となります。手順は下記の通りです。

    1. 重みとバイアスを初期化(乱数値作成)

    2. 内積で線形予測子を計算

    3. シグモイド関数で線形予測子を確率に変換

    4. 損失(交差エントロピー)の微分に学習率をかけたものを重み・バイアスに引いてパラメーターを更新

    [IN]
    #Numpyでロジスティック回帰をスクラッチ実装
    
    class LogisticScratch:
        def __init__(self, lr=0.01, iters=1000, random_state=1):
            self.lr = lr 
            self.iters = iters
            self.random_state = random_state
    
        def sigmoid(self, x): 
            return 1 / (1 + np.exp(-x)) #シグモイド関数
            
        def fit(self, X, y):
            rgen = np.random.RandomState(self.random_state) #乱数の初期化
            self.w_ = rgen.randn(X.shape[1])/1e5 #重みの初期化
            self.bias_ = rgen.randn(1)/1e5 #バイアスの初期化
            self.cost_ = [] #損失関数の誤差を格納するリスト
            
            for i in range(self.iters):
                input = np.dot(X, self.w_) + self.bias_ #入力値:重回帰モデルと同じ
                output = self.sigmoid(input) #活性化関数:シグモイド関数
                error = (y - output) #誤差:(正解データ-予測値)
                self.w_ = self.w_ + self.lr * np.dot(X.T, error) #重みの更新
                self.bias_ = self.bias_ + self.lr * np.sum(error) #バイアスの更新
                loss = -np.dot(y, np.log(output)) - np.dot((1-y), np.log(1-output)) #損失関数:交差エントロピー誤差
                self.cost_.append(loss) #損失関数の誤差を格納  
            return self
        
        def predict(self, X):
            return np.where(np.dot(X, self.w_) + self.bias_ > 0.5, 1, 0) #予測値:0.5以上なら1, そうでなければ0
    
    
    #データセット1:1次元, 2値分類
    print(f'{"#"*10} データセット1:1次元, 2値分類 {"#"*10}')
    x = df_1dim_binary['sepal length (cm)'].values
    x = x.reshape(-1, 1) #2次元配列に変換
    y = df_1dim_binary['label'].values
    print(f'x.shape:{x.shape}, y.shape:{y.shape}\n')
    
    logistic = LogisticScratch(lr=0.05, iters=1000, random_state=1)
    logistic.fit(x, y)
    y_pred = logistic.predict(x)
    df = pd.DataFrame({'y': y, 'y_pred': y_pred})
    display(df.T)
    print(f'正解率:{np.sum(y_pred==y)/len(y)}, weight:{logistic.w_}, bias:{logistic.bias_}\n')
    
    #データセット2:1次元, 3値分類
    print(f'{"#"*10} データセット2:1次元, 3値分類 {"#"*10}')
    x = df_1dim_multi['sepal length (cm)'].values
    x = x.reshape(-1, 1) #2次元配列に変換
    y = df_1dim_multi['label'].values
    print(f'x.shape:{x.shape}, y.shape:{y.shape}\n')
    
    logistic = LogisticScratch(lr=0.05, iters=1000, random_state=1)
    logistic.fit(x, y)
    y_pred = logistic.predict(x)
    df = pd.DataFrame({'y': y, 'y_pred': y_pred})
    display(df.T)
    print(f'正解率:{np.sum(y_pred==y)/len(y)}, weight:{logistic.w_}, bias:{logistic.bias_}\n')
    
    #データセット3:2次元, 2値分類
    print(f'{"#"*10} データセット3:2次元, 2値分類 {"#"*10}')
    x = df_2dim_binary.iloc[:, :-1].values
    y = df_2dim_binary.iloc[:, -1].values
    print(f'x.shape:{x.shape}, y.shape:{y.shape}\n')
    
    logistic = LogisticScratch(lr=0.05, iters=1000, random_state=1)
    logistic.fit(x, y)
    y_pred = logistic.predict(x)
    df = pd.DataFrame({'y': y, 'y_pred': y_pred})
    display(df.T)
    print(f'正解率:{np.sum(y_pred==y)/len(y)}, weight:{logistic.w_}, bias:{logistic.bias_}\n')
    
    #データセット4:2次元, 3値分類
    print(f'{"#"*10} データセット4:2次元, 3値分類 {"#"*10}')
    x = df_2dim_multi.iloc[:, :-1].values
    y = df_2dim_multi.iloc[:, -1].values
    print(f'x.shape:{x.shape}, y.shape:{y.shape}\n')
    
    logistic = LogisticScratch(lr=0.05, iters=1000, random_state=1)
    logistic.fit(x, y)
    y_pred = logistic.predict(x)
    df = pd.DataFrame({'y': y, 'y_pred': y_pred})
    display(df.T)
    print(f'正解率:{np.sum(y_pred==y)/len(y)}, weight:{logistic.w_}, bias:{logistic.bias_}\n')
    
    [OUT]
    画像

    4-2.Excelで計算1:フルスクラッチ

     Excelで計算は可能ではありますが2次元以上のデータでは解が収束しなかったため工夫が必要だと思います(計算違いか初期値が悪いかソルバーが悪いかは不明)。

    1. (重回帰と同様の形で)線形予測子を計算

    2. シグモイド関数で確率に変換

    3. 対数尤度関数を計算

    4. 対数尤度関数の合計を計算

    5. ソルバーで「対数尤度関数の合計」を最大化

     下記の通り1次元のデータでは計算結果は得られ精度はSklearnと同じでしたがパラメータの値は異なります。また説明変数が2次元の場合は初期値を調整してもうまく収束できませんでした。

    画像

    5.単回帰モデルの実装:ライブラリ編

     より簡単にモデルを作成するためにライブラリを使用します。

    5-1.Scikit-learn:LinearRegression

     Scikit-learnを使用して重回帰を実装します。こちらは単回帰と同じく、重回帰は”LinearRegression”で実装できます。
     Scikit-learnのAPIはシンプルでありモデルは下記フローで実装できます。

    1. 使用する機械学習モデルをインポート

    2. モデルのインスタンス化

    3. 学習:model.fit()

    4. 学習後のパイパーパラメータ確認

    5. 推論:model.predict()

    [IN]
    np.set_printoptions(precision=3, suppress=True) #小数点以下3桁, 指数表記を抑制
    from sklearn.linear_model import LogisticRegression
    
    #データセット1:1次元, 2値分類
    print(f'{"#"*10} データセット1:1次元, 2値分類 {"#"*10}')
    X, y = df_1dim_binary.iloc[:, :-1], df_1dim_binary.iloc[:, -1] #データとラベルを取得
    logistic = LogisticRegression() #インスタンスを生成
    logistic.fit(X, y) #モデルを学習
    y_pred = logistic.predict(X) #予測
    df = pd.DataFrame({'y': y, 'y_pred': y_pred}) #データフレームに変換
    display(df.T)
    print(f'正解率:{logistic.score(X, y):.2f}, weight:{logistic.coef_}, bias:{logistic.intercept_}\n')
    
    #データセット2:1次元, 3値分類
    print(f'{"#"*10} データセット2:1次元, 3値分類 {"#"*10}')
    X, y = df_1dim_multi.iloc[:, :-1], df_1dim_multi.iloc[:, -1] #データとラベルを取得
    logistic = LogisticRegression() #インスタンスを生成
    logistic.fit(X, y) #モデルを学習
    y_pred = logistic.predict(X) #予測
    df = pd.DataFrame({'y': y, 'y_pred': y_pred}) #データフレームに変換
    display(df.T)
    print(f'正解率:{logistic.score(X, y):.2f}, weight:{logistic.coef_.reshape(1,-1)}, bias:{logistic.intercept_}\n')
    
    #データセット3:2次元, 2値分類
    print(f'{"#"*10} データセット3:2次元, 2値分類 {"#"*10}')
    X, y = df_2dim_binary.iloc[:, :-1], df_2dim_binary.iloc[:, -1] #データとラベルを取得
    logistic = LogisticRegression() #インスタンスを生成
    logistic.fit(X, y) #モデルを学習
    y_pred = logistic.predict(X) #予測
    df = pd.DataFrame({'y': y, 'y_pred': y_pred}) #データフレームに変換
    display(df.T)
    print(f'正解率:{logistic.score(X, y):.2f}, weight:{logistic.coef_.reshape(1,-1)}, bias:{logistic.intercept_}\n')
    
    #データセット4:2次元, 3値分類
    print(f'{"#"*10} データセット4:2次元, 3値分類 {"#"*10}')
    X, y = df_2dim_multi.iloc[:, :-1], df_2dim_multi.iloc[:, -1] #データとラベルを取得
    logistic = LogisticRegression() #インスタンスを生成
    logistic.fit(X, y) #モデルを学習
    y_pred = logistic.predict(X) #予測
    df = pd.DataFrame({'y': y, 'y_pred': y_pred}) #データフレームに変換
    display(df.T)
    print(f'正解率:{logistic.score(X, y):.2f}, weight:{logistic.coef_.reshape(1,-1)}, bias:{logistic.intercept_}\n')
    
    [OUT]
    画像

     可視化に関しては省略します。

    [IN]
    [OUT]

    【コラム】
     3次元空間(x,y,z)に対して2次元(平面)で表現される空間、つまり元の空間(n次元)より1次元低い空間(n-1次元)を超平面と呼びます。
     重回帰では独立変数(説明変数)が2つの場合は”回帰平面”、3つ以上では”回帰超平面”と呼びます。

    5-2.Pytorch:nn.Linear()

     Pytorchで重回帰も実装できますが、sklearnの方が楽のため省略します。

    6.補足:関数の紹介

    6-1.シグモイド関数

     MIN=0, MAX=1かつx=0でy=0.5の値をとるため、「入力値を確率に変換」する関数として用いられます。
     深層学習では活性化関数として使用されていましたが、微分の最大値が0.25のため誤差逆伝搬時に勾配消失が生じるため現在では使用されていません。

    σ(x)=11+exp⁡(−x)\sigma(x)=\frac{1}{1+\exp(-x)}

    df(x)dx=σ(x)(1−σ(x))\frac{df(x)}{dx}=\sigma(x)(1-\sigma(x))

    [IN]
    import numpy as np
    import matplotlib.pyplot as plt
    
    def sigmoid(x):
        return 1 / (1 + np.exp(-x))
    
    def diff_sigmoid(x):
        return (1.0 - sigmoid(x)) * sigmoid(x)
    
    x = np.arange(-5.0, 5.0, 0.1)
    fig, ax = plt.subplots(1, 1, figsize=(8, 5))
    ax.plot(x, sigmoid(x), label='sigmoid')
    ax.plot(x, diff_sigmoid(x), label='\u0394sigmoid')
    ax.set(xlabel='x', ylabel='y', title='Sigmoid function',
           xlim=(-5, 5), ylim=(0.0, 1.0), xticks=np.arange(-5, 6, 1), yticks=np.arange(0, 1.1, 0.1))
    ax.grid(), ax.legend()
    plt.show()
    
    [OUT]
    画像

    【参考:シグモイド関数の微分の導出】

    ddxσ(x)=ddx(11+exp⁡(−x))=ddx(1)⋅(1+exp⁡(−x))−1⋅ddx(1+exp⁡(−x))(1+exp⁡(−x))2=exp⁡(−x)(1+exp⁡(−x))2=11+exp⁡(−x)⋅exp⁡(−x)1+exp⁡(−x)=σ(x)⋅exp⁡(−x)1+exp⁡(−x)=σ(x)⋅exp⁡(−x)+1−11+exp⁡(−x)=σ(x)⋅(exp⁡(−x)+11+exp⁡(−x)−11+exp⁡(−x))=σ(x)⋅(1−11+exp⁡(−x))=σ(x)(1−σ(x))\begin{aligned} \frac{d}{dx}\sigma(x) &= \frac{d}{dx}\left(\frac{1}{1+\exp(-x)}\right)\\ &= \frac{\frac{d}{dx}(1)\cdot(1+\exp(-x))-1\cdot\frac{d}{dx}(1+\exp(-x))}{(1+\exp(-x))^2} \\ &= \frac{\exp(-x)}{(1+\exp(-x))^2}\\ &= \frac{1}{1+\exp(-x)} \cdot \frac{\exp(-x)}{1+\exp(-x)}\\ &= \sigma(x) \cdot \frac{\exp(-x)}{1+\exp(-x)}\\ &= \sigma(x) \cdot \frac{\exp(-x)+1-1}{1+\exp(-x)}\\ &= \sigma(x) \cdot \left(\frac{\exp(-x)+1}{1+\exp(-x)}-\frac{1}{1+\exp(-x)}\right)\\ &= \sigma(x) \cdot \left(1-\frac{1}{1+\exp(-x)}\right)\\ &= \sigma(x) (1-\sigma(x)) \end{aligned}

    6-2.(標準)ロジスティック関数

     次節で述べるロジット関数y=log⁡p1−py=\log\dfrac{p}{1-p}の逆関数です。複数の係数を持ち多様な形状を設定できます。
     特定の値における関数を「標準ロジスティック関数」と呼び、シグモイド関数と同じになります。つまりシグモイド関数の拡張版のような関数です。

    g(x)=A1+e−k(x−x0)g(x)=\dfrac{A}{1+e^{-k(x-x_0)}}

    標準ロジスティック関数g(x)=11+e−x標準ロジスティック関数g(x)=\dfrac{1}{1+e^{-x}}

    [IN]
    #ロジスティック関数
    def logisticfunc(x:float, a:float, b:float, c:float):
        return a / (1 + np.exp(-b * (x - c)))
    
    x = np.linspace(-5, 5, 100)
    y1 = logisticfunc(x, 1, 1, 0) #a=1, b=1, c=0: シグモイド関数と同じ
    y2= logisticfunc(x, 1, 1, 3) #a=1, b=1, c=3: シグモイド関数より右にずらした
    y3 = logisticfunc(x, 2, 1, 0) #a=2, b=1, c=0: シグモイド関数より上にずらした
    y4 = logisticfunc(x, 1, 3, 0) #a=1, b=3, c=0: シグモイド関数より上にずらした
    
    fig, ax = plt.subplots(figsize=(8, 6), facecolor='white')
    ax.plot(x, y1, label='a=1, b=1, c=0: Sigmoid')
    ax.plot(x, y2, label='a=1, b=1, c=3')
    ax.plot(x, y3, label='a=3, b=1, c=0')
    ax.plot(x, y4, label='a=1, b=3, c=0')
    ax.plot((0, 0), (0, 10), color='black', lw=1), ax.plot((-5, 5), (0, 0), color='black', lw=1) #x軸, y軸
    ax.set(xlabel='x', ylabel='y', title='ロジスティック関数', xticks=np.arange(-5, 6, 1), yticks=np.arange(0, 2, 0.2), ylim=(0, 2))
    ax.grid(), ax.legend()
    plt.show()
    
    [OUT]

     結果より、係数を調整することで最大値(最小値は0のまま)、カーブの傾斜、Max2\frac{Max}{2}の位置を調整できることが確認できます。

    画像

    6-3.ロジット関数

    事象Aが生じる確率:pp、Aの余事象(Aが生じない確率):1−p1-pとしたときの確率の比:オッズであり、オッズの対数がロジット関数log⁡(p1−p)\log(\frac{p}{1-p})です。
     ロジスティック回帰では、このロジット関数を次節で紹介するリンク関数として使用します。

    • 確率pの定義域は 0<p<1

    • p→0で f(p)→−∞、p→1で f(p)→∞

    • p=0と p=1が漸近線

    • p=12p=\dfrac{1}{2}で f(p)=0です。(12,0)(\frac{1}{2},0)に関して点対称

    • ロジスティック関数(シグモイド関数)の逆関数(入力値xxがあり、関数f(x)f(x)の出力値を元に戻す関数g(f(x))=xg(f(x))=x)

    f(p)=log⁡(p1−p) =log⁡p−log⁡(1−p)f(p)=\log(\frac{p}{1-p})  =\log p-\log(1-p)

    [IN]
    def logit_func(x):
        return np.log(x / (1 - x))
    
    x = np.arange(0.01, 1.0, 0.01)
    fig, ax = plt.subplots(1, 1, figsize=(8, 5), facecolor='w')
    ax.plot(x, logit_func(x), label='logit')
    ax.plot((0, 1), (0, 0), color='black', lw=1), ax.plot((0, 0), (-5, 5), color='black', lw=1) #x軸とy軸
    ax.set(xlabel='x', ylabel='y', title='Logit function', xticks=np.arange(0, 1.1, 0.1), yticks=np.arange(-5, 6, 1))
    ax.grid(), ax.legend()
    plt.show()
    
    [OUT]
    画像

    【オッズ】
     オッズp1−p\frac{p}{1-p}を図式化しました。下図より確率pが増加すると急激にオッズが増加している->より高い比率で生じやすいことが分かります。
     なお競馬のオッズは計算方式が異なるためご注意ください。

    [IN]
    #オッズ
    p = np.arange(0, 0.95, 0.01) #確率
    p_inv = 1 - p
    odds = p / p_inv #オッズ
    
    #グラフ化
    fig, ax = plt.subplots(1, 1, figsize=(6, 6), facecolor='w')
    ax.plot(p, odds, label='odds')
    ax.set(xlabel='確率p', ylabel='odds', title='Odds function', xticks=np.arange(0, 1.1, 0.1), yticks=np.arange(0, 16.1, 1))
    ax.grid(), ax.legend()
    plt.show()
    
    [OUT]
    画像

    【ロジット関数の逆関数の証明】
     ロジット関数の逆関数がシグモイド関数になることを確認します。この仕組みよりシグモイド関数は”標準ロジスティック関数:Standard logistic function”とも呼ばれます。

    x=log⁡p1−pex=p1−pex−exp=pp=exex+1=11+e−x\begin{aligned} x=\log\dfrac{p}{1-p} \\ e^x=\dfrac{p}{1-p} \\ e^x-e^xp=p \\ p=\dfrac{e^x}{e^x+1}=\dfrac{1}{1+e^{-x}} \end{aligned}

    6-4.リンク関数

     リンク関数とは「カテゴリ応答変数の各水準の確率を、限界のない連続スケールに変換する関数」??です。おそらく「”離散値”と”連続値”」や「”確率(0~1)”と”実数(-∞~∞)”」のように同等と扱えない値同士をつなぐための関数だと理解しています。
     コイントスの例では確率->実数(-∞~∞)の連続値へ変換しています。これの逆関数を使用すれば実数(-∞~∞)->確率への変換可能です。

    [IN]
    class CoinToss:
        def __init__(self, nums_play: int, nums_toss: int, p: float):
            self.nums_play = nums_play #試行回数(サンプル数)
            self.nums_toss = nums_toss #コイントス回数(サンプルサイズ)
            self.p = p #表の確率
            self.values = np.array([0, 1]) #0: 裏, 1: 表
            
        def __call__(self):
            outputs = [] #全結果
            for _ in range(self.nums_play):
                # n回目のコイントス(試行)
                counts = np.random.choice(self.values, self.nums_toss, p=[1 - self.p, self.p]) #play
                counts_head = np.sum(counts) #表の回数
                outputs.append([counts, counts_head])
            return outputs
        
    #コイントス
    np.random.seed(12) #乱数の固定
    nums_play, nums_toss, p = 100, 10, 0.7 #プレイ数:50, コイントス回数:10, 表の確率:0.7
    cointoss = CoinToss(nums_play, nums_toss, p)
    outputs = cointoss() #出力:試行結果, 表の回数
    heads = [output[1] for output in outputs] #表の回数のみ
    
    #表の回数を集計
    counts_head = np.bincount(heads, minlength=11) #表が出た回数
    props_head = counts_head / np.sum(counts_head) #表が出た確率
    
    #リンク関数(ロジット関数)による確率変換
    def logit(p):
        return np.log(p / (1 - p)) #ロジット関数
    
    logit_probs = logit(props_head[1:]) #ロジット関数による確率変換
    
    #グラフ化
    X = np.arange(1, nums_toss+1, 1) #x軸: 表の回数
    print(f'形状確認:X={X.shape}, props_head={props_head.shape}, logit_probs={logit_probs.shape}')
    
    fig, axs = plt.subplots(2, 2, figsize=(12,12), facecolor='w')
    axs = axs.ravel() #2次元配列を1次元配列に変換
    axs[0].bar(X, props_head[1:], align='center', width=0.5, label='counts')
    axs[0].set(xlabel=f'コイントス回数{nums_toss}:表の回数', ylabel='表の出現確率:p', title=f'コイントス試行(試行数:{nums_play}, p={p})', xticks=np.arange(1, 11, 1), yticks=np.arange(0, 1.1, 0.1))
    [axs[0].text(x-0.5, y+0.02, f'p={y:.2f}', fontsize=8) for x, y in zip(X, props_head[1:])] #確率の表示
    axs[0].grid(), axs[0].legend()
    
    axs[1].plot(np.linspace(0, 1, 100), logit(np.linspace(0, 1, 100)), label='logit')
    axs[1].set(xlabel='確率p', ylabel='log(p/(1-p))', title='ロジット関数', xticks=np.arange(0, 1.1, 0.1), yticks=np.arange(-5, 6, 1))
    axs[1].grid(), axs[1].legend()
    
    axs[2].plot(X, logit_probs, label='logit')
    axs[2].set(xlabel=f'コイントス回数{nums_toss}:表の回数', ylabel='log(p/(1-p))', title='リンク関数(ロジット関数)による確率変換:回数 vs logit', xticks=np.arange(1, 11, 1), yticks=np.arange(-5, 6, 1))
    axs[2].grid(), axs[2].legend()
    
    axs[3].scatter(props_head[1:], logit_probs, label='logit')
    axs[3].set(xlabel='表の出現確率:p', ylabel='log(p/(1-p))', title='リンク関数(ロジット関数)による確率変換:p vs logit', xticks=np.arange(0, 1.1, 0.1), yticks=np.arange(-5, 6, 1))
    axs[3].grid(), axs[3].legend()
    
    fig.savefig('output/link関数の理解.png')
    
    [OUT]
    画像
    画像
    https://cogpsy.educ.kyoto-u.ac.jp/personal/Kusumi/datasem13/shrasuna1.pdf
    画像
    menu Minitab® 20サポート:リンク関数とは

    6-5.尤度関数/最尤推定

    尤度/尤度関数(likelihood)とは「母数 θ の各値のもとで,その値がどの程度起りやすいか(確率)をθ の関数として考えたもの」です。
     最尤推定とは尤度関数を最大化することによっても出るパラメータの最適な値を求める手法です。

    https://www.ritsumei.ac.jp/~ttt20009/classes/0809/binary.pdf

    http://www3.u-toyama.ac.jp/kkarato/2020/statistics/handout/Statistics[A]-2020-11-0605.pdf

    6-6.交差エントロピー誤差(cross entropy error)

     公差エントロピー誤差とは分類問題でよく使用される目的関数(誤差関数)です。

    【多クラス分類】
    モデルの出力値(※確率0~1):yky_k、正解値:tkt_kとすると下記の通りです。

    E=–∑k=1Ntklog⁡ykE = – \sum_{k=1}^N t_k \log y_k

    【2値分類:Binary Cross-Entropy(BCE)】
    2値分類においてモデルの出力値pp(シグモイド関数を通した後の確率0~1)、正解値(2値:0, 1)yyとしたときの交差エントロピーは下記の通りです。

    E=∑k=1−(ylog⁡(p)+(1−y)log⁡(1−p))\displaystyle E=\sum_{k=1}-{(y\log(p) + (1 - y)\log(1 - p))}

    6-7.ソフトマックス関数 (softmax function)

     多分類などにおいて、実数での値を確率に変換する関数です。よってシグモイド関数の多値Ver.のようなものになります。

    softmax(x)=exi∑i=1nexisoftmax(x)=\frac{e^{x_i}}{\sum _{i=1}^n e^{x_i}}

     参考例は下記の通りです。

    X=[14258]\begin{aligned} X=\begin{bmatrix} 1 \\ 4 \\ 2 \\ 5 \\ 8 \end{bmatrix} \end{aligned}

    ∑i=1nex=exp(1)+exp(4)+exp(2)+exp(5)+exp(8)=2.72+54.6+7.39+148.4+2981=3194.1\begin{aligned} \sum_{i=1}^n e^x=exp(1)+exp(4)+exp(2)+exp(5)+exp(8)= 2.72 + 54.6 + 7.39 + 148.4 + 2981 = 3194.1 \end{aligned}

    y=1∑i=1nex[14258]=13194.1[14258]=[0.0010.0170.0020.0460.933]\begin{aligned} y=\frac{1}{\sum_{i=1}^n e^x}\begin{bmatrix} 1 \\ 4 \\ 2 \\ 5 \\ 8 \end{bmatrix} =\frac{1}{3194.1}\begin{bmatrix} 1 \\ 4 \\ 2 \\ 5 \\ 8 \end{bmatrix} =\begin{bmatrix}0.001 \\ 0.017 \\ 0.002 \\ 0.046 \\ 0.933 \end{bmatrix} \end{aligned}

     なお上記をそのまま実装するとオーバフローとなる可能性があるため、配列の最大値を分子・分母の入力値に足して計算します。なお数式上、このような変換をしても結果は同じとなります。

    [IN]
    def softmax(x):
        c = np.max(x)
        exp_x = np.exp(x - c)
        sum_exp_x = np.sum(exp_x)
        y = exp_x / sum_exp_x
        return y
    
    [OUT]

    f(xi)=exi∑k=1nexk=CexiC∑k=1nexk=exi+log⁡C∑k=1n(exk+log⁡C)=exi+C’∑k=1n(exk+C’)\\ f(x_i) = \frac{e^{x_i}}{\sum _{k=1}^n e^{x_k}} \\ \qquad = \frac{C e^{x_i}}{C \sum _{k=1}^n e^{x_k}} \\ \qquad = \frac{e^{x_i + \log C}}{\sum _{k=1}^n (e^{x_k} + \log C)} \\ \qquad = \frac{e^{x_i + C’}}{\sum _{k=1}^n (e^{x_k} + C’)} \\

    7.補足2:ベクトル・行列式の変換

    【ベクトルの内積の入れ替え:wTx=xTw{\bf w}^{\rm T}{\bf x}= {\bf x}^{\rm T}{\bf w}】

    wTx=xTw=w0x0+w1x1+⋯+wNxN=[w0 w1 w2 … wn][x0x1x2⋮xn]=[x0 x1 x2 … xn][w0w1w2⋮wn]\begin{aligned} {\bf w}^{\rm T}{\bf x}= {\bf x}^{\rm T}{\bf w} = w_{0}x_{0} + w_{1}x_{1} + \cdots + w_{N}x_{N} = \begin{bmatrix} w_{0} \ w_{1}\ w_{2} \ \dots \ w_{n} \end{bmatrix} \begin{bmatrix} x_{0} \\ x_{1}\\ x_{2} \\ \vdots \\ x_{n} \end{bmatrix} =\begin{bmatrix} x_{0} \ x_{1}\ x_{2} \ \dots \ x_{n} \end{bmatrix} \begin{bmatrix} w_{0} \\ w_{1}\\ w_{2} \\ \vdots \\ w_{n} \end{bmatrix} \end{aligned}

    【転置の公式】

     (AT)T=A (AB)T=BTAT (ABC)T=CTBTAT\begin{aligned} &\ \left( {\bf A}^{\rm T} \right)^{\rm T} = {\bf A} \\ & \ \left( {\bf A}{\bf B} \right)^{\rm T} = {\bf B}^{\rm T}{\bf A}^{\rm T}\\ &\ \left( {\bf A}{\bf B}{\bf C} \right)^{\rm T} = {\bf C}^{\rm T}{\bf B}^{\rm T}{\bf A}^{\rm T} \end{aligned}

    A∈RN×M=[a10a11a12⋯a1Ma20a21a22⋯a2Ma30a31a32⋯a3M⋮⋮⋮⋱⋮aN0aN1aN2⋯aNM],B∈RM×O=[b10b11b12⋯b1Ob20b21b22⋯b2Ob30b31b32⋯b3O⋮⋮⋮⋱⋮bM0bM1bM2⋯bMO]\begin{aligned} {\bf A} \in \mathbb{R}^{N \times M }& = \begin{bmatrix} a_{10} & a_{11} & a_{12} & \cdots & a_{1M} \\ a_{20} & a_{21} & a_{22} & \cdots & a_{2M} \\a_{30} & a_{31} & a_{32} & \cdots & a_{3M} \\ \vdots & \vdots & \vdots & \ddots & \vdots \\ a_{N0} & a_{N1} & a_{N2} & \cdots & a_{NM} \end{bmatrix}, {\bf B} &\in \mathbb{R}^{M \times O } = \begin{bmatrix} b_{10} & b_{11} & b_{12} & \cdots & b_{1O} \\ b_{20} & b_{21} & b_{22} & \cdots & b_{2O} \\b_{30} & b_{31} & b_{32} & \cdots & b_{3O} \\ \vdots & \vdots & \vdots & \ddots & \vdots \\ b_{M0} & b_{M1} & b_{M2} & \cdots & b_{MO} \end{bmatrix} \end{aligned}

    AT∈RM×N=[a10a20a30⋯aN0a11a21a31⋯aN1a12a22a32⋯aN2⋮⋮⋮⋱⋮a1Ma2Ma3M⋯aNM],BT∈RO×M=[b10b20b30⋯bM0b11b21b31⋯bM1b12b22b32⋯bM2⋮⋮⋮⋱⋮b1Ob2Ob3O⋯bMO]\begin{aligned} {\bf A}^{\rm T} \in \mathbb{R}^{M \times N }& = \begin{bmatrix} a_{10} & a_{20} & a_{30} & \cdots & a_{N0} \\ a_{11} & a_{21} & a_{31} & \cdots & a_{N1} \\ a_{12} & a_{22} & a_{32} & \cdots & a_{N2} \\ \vdots & \vdots & \vdots & \ddots & \vdots \\ a_{1M} & a_{2M} & a_{3M} & \cdots & a_{NM} \end{bmatrix} , {\bf B}^{\rm T} \in \mathbb{R}^{O \times M } = \begin{bmatrix} b_{10} & b_{20} & b_{30} & \cdots & b_{M0} \\ b_{11} & b_{21} & b_{31} & \cdots & b_{M1} \\ b_{12} & b_{22} & b_{32} & \cdots & b_{M2} \\ \vdots & \vdots & \vdots & \ddots & \vdots \\ b_{1O} & b_{2O} & b_{3O} & \cdots & b_{MO} \end{bmatrix} \end{aligned}

    BTAT=[b10b20b30⋯bM0b11b21b31⋯bM1b12b22b32⋯bM2⋮⋮⋮⋱⋮b1Ob2Ob3O⋯bMO ][a10a20a30⋯aN0a11a21a31⋯aN1a12a22a32⋯aN2⋮⋮⋮⋱⋮a1Ma2Ma3M⋯aNM]\begin{aligned} {\bf B}^{\rm T} {\bf A}^{\rm T} = \begin{bmatrix} b_{10} & b_{20} & b_{30} & \cdots & b_{M0} \\ b_{11} & b_{21} & b_{31} & \cdots & b_{M1} \\ b_{12} & b_{22} & b_{32} & \cdots & b_{M2} \\ \vdots & \vdots & \vdots & \ddots & \vdots \\ b_{1O} & b_{2O} & b_{3O} &\cdots & b_{MO}  \end{bmatrix} \begin{bmatrix} a_{10} & a_{20} & a_{30} & \cdots & a_{N0} \\ a_{11} & a_{21} & a_{31} & \cdots & a_{N1} \\ a_{12} & a_{22} & a_{32} & \cdots & a_{N2} \\ \vdots & \vdots & \vdots & \ddots & \vdots \\ a_{1M} & a_{2M} & a_{3M} & \cdots & a_{NM} \end{bmatrix} \end{aligned}

    【ベクトルの微分1:∂∂x(wTx)=wT\frac{\partial}{\partial {\bf x}} \left( {\bf w}^{\rm T}{\bf x} \right) = {\bf w}^{\rm T}】

    ∂∂x(wTx)=∂∂x(w0x0+w1x1+⋯+wNxN)=∂∂x∑i=1nwixi\begin{aligned} \frac{\partial}{\partial {\bf x}} \left( {\bf w}^{\rm T}{\bf x} \right) =\frac{\partial}{\partial {\bf x}}(w_{0}x_{0} + w_{1}x_{1} + \cdots + w_{N}x_{N}) =\frac{\partial}{\partial {\bf x}}\sum_{i=1}^{n}w_ix_i \end{aligned}

    =[∂∂x1(∑i=1nwixi)∂∂x2(∑i=1nwixi)…∂∂xn(∑i=1nwixi)]=[w0 w1 w2 … wn]=wT\begin{aligned} =\begin{bmatrix} \frac{\partial}{\partial x_1} \left(\sum_{i=1}^{n}w_ix_i \right) & \frac{\partial}{\partial x_2} \left(\sum_{i=1}^{n}w_ix_i \right) & \dots & \frac{\partial}{\partial x_n} \left(\sum_{i=1}^{n}w_ix_i \right) \end{bmatrix} = \begin{bmatrix} w_{0} \ w_{1}\ w_{2} \ \dots \ w_{n} \end{bmatrix} = {\bf w}^{\rm T} \end{aligned}

    【ベクトルの微分2:∂∂x(xTAx)=xT(A+AT)\frac{\partial}{\partial {\bf x}} \left( {\bf x}^{\rm T}{\bf A}{\bf x} \right) = {\bf x}^{\rm T} \left( {\bf A} + {\bf A}^{\rm T} \right)】

    xTAx=[x1x2⋯xN][a11a12⋯a1Na21a22⋯a2N⋮⋮⋱⋮aN1aN2⋯aNN][x1x2⋮xN]=[∑i=1Nxiai1∑i=1Nxiai2⋯∑i=1NxiaiN][x1x2⋮xN]=∑i=1N∑j=1Naijxixj\begin{aligned} {\bf x}^{\rm T}{\bf A}{\bf x} &= \begin{bmatrix} x_1 & x_2 & \cdots & x_N \end{bmatrix} \begin{bmatrix} a_{11} & a_{12} & \cdots & a_{1N} \\ a_{21} & a_{22} & \cdots & a_{2N} \\ \vdots & \vdots & \ddots & \vdots \\ a_{N1} & a_{N2} & \cdots & a_{NN} \end{bmatrix} \begin{bmatrix} x_1 \\ x_2 \\ \vdots \\ x_N \end{bmatrix} =\begin{bmatrix} \sum_{i=1}^{N}x_ia_{i1} & \sum_{i=1}^{N}x_ia_{i2} & \cdots & \sum_{i=1}^{N}x_ia_{iN} \end{bmatrix} \begin{bmatrix} x_1 \\ x_2 \\ \vdots \\ x_N \end{bmatrix} = \sum_{i=1}^{N} \sum_{j=1}^{N} a_{ij} x_i x_j \end{aligned}

    ∂∂x(xTAx)=∂∂x(∑i=1N∑j=1Maijxixj) =[∂∂x1∂∂x2⋯∂∂xN][∑i=1N∑j=1Naijxixj]\begin{aligned} \frac{\partial}{\partial {\bf x}} \left( {\bf x}^{\rm T}{\bf A}{\bf x} \right) &= \frac{\partial}{\partial {\bf x}} \left( \sum_{i=1}^{N} \sum_{j=1}^{M} a_{ij} x_i x_j \right) \ &= \begin{bmatrix} \frac{\partial}{\partial x_1} & \frac{\partial}{\partial x_2} & \cdots & \frac{\partial}{\partial x_N} \end{bmatrix} \begin{bmatrix} \sum_{i=1}^{N} \sum_{j=1}^{N} a_{ij} x_i x_j \end{bmatrix} \end{aligned}

    =[∑j=1Na1jxj∑j=1Na2jxj⋯∑j=1NaNjxj]\begin{aligned} = \begin{bmatrix} \sum_{j=1}^{N} a_{1j} x_j & \sum_{j=1}^{N} a_{2j} x_j & \cdots & \sum_{j=1}^{N} a_{Nj} x_j \end{bmatrix} \end{aligned}


    =[x1x2⋯xN][a11a12⋯a1Na21a22⋯a2N⋮⋮⋱⋮aN1aN2⋯aNN]+[x1x2⋯xN][a11a21⋯aN1a12a22⋯aN2⋮⋮⋱⋮a1Na2N⋯aNN] =xT(A+AT)\begin{aligned} &= \begin{bmatrix} x_1 & x_2 & \cdots & x_N \end{bmatrix} \begin{bmatrix} a_{11} & a_{12} & \cdots & a_{1N} \\ a_{21} & a_{22} & \cdots & a_{2N} \\ \vdots & \vdots & \ddots & \vdots \\ a_{N1} & a_{N2} & \cdots & a_{NN} \end{bmatrix} + \begin{bmatrix} x_1 & x_2 & \cdots & x_N \end{bmatrix} \begin{bmatrix} a_{11} & a_{21} & \cdots & a_{N1} \\ a_{12} & a_{22} & \cdots & a_{N2} \\ \vdots & \vdots & \ddots & \vdots \\ a_{1N} & a_{2N} & \cdots & a_{NN} \end{bmatrix} \ &= {\bf x}^{\rm T} \left( {\bf A} + {\bf A}^{\rm T} \right) \end{aligned}



    参考資料

    Pythonコード

    モデル理論

    https://cogpsy.educ.kyoto-u.ac.jp/personal/Kusumi/datasem13/shrasuna1.pdf

    あとがき

     数式部分をChatGPTに補助してもらったけど、最初に理解できてなかったからあとで見返すと記号がまちまちになってる。
     もっと最初の方から明確に記号合わせておかないと、理解が難しくなるので反省。
     後、製作期間2~3週間くらいかかったからなかなかしんどかった+後で見直しします。


     
     

    KIYO

     
     
    普段は製造業で企画/開発/設計しております。記事はプログラミング・機械学習、IoT関係の記事をメインで作成し、なるべく1つの記事で知りたいことを網羅していきます。内容は学術的より実装・アウトプット(ほしくなるもの)を重視して作成しています。 面白そうな仕事があればやりたいです!

    あなたへのおすすめ