数学的な最適化や意思決定理論において、損失関数(またはコスト関数、誤差関数)は極めて重要な役割を果たします。これは、ある事象や変数の値に基づいて、その結果に伴う「コスト」を実数として数値化する関数です。最適化問題の根本的な目的は、この損失関数の値を最小限に抑えることにあります。
一方で、目的関数(Objective Function)という言葉もありますが、これは損失関数そのものを指す場合と、その逆(報酬関数や効用関数など)を指す場合があります。後者の場合は、値を最大化することが目標となります。
Key Facts
- 損失関数は、予測値と真の値の乖離を「コスト」として定量化する指標である。
- 最適化のゴールは、この損失関数の値を最小化することにある。
- 統計学、経済学、保険数理、金融リスク管理など、幅広い分野で応用されている。
- 代表的な関数には、二乗誤差(Quadratic loss)や0-1損失(0-1 loss)がある。
- 選択する関数によって、外れ値への耐性や計算のしやすさが異なる。
分野別に見る損失関数の活用例
損失関数の概念は、適用されるドメインによって異なる意味を持ちます。
- 統計学: パラメータ推定において、推定値と真の値の差を評価するために用いられます。
- 経済学: 経済的なコストや、最適な選択をしなかったことによる「後悔(Regret)」として表現されます。
- 分類問題: データを誤って分類した際に課されるペナルティとして機能します。
- 保険数理: 保険料に対して支払われる給付金をモデル化するために利用されます。
- 金融リスク管理: 発生しうる金銭的な損失に直接的にマッピングされます。
- 最適制御: 目標値に到達できなかった場合のペナルティとして定義されます。
代表的な損失関数の種類と特性
二乗誤差損失(Quadratic Loss / SEL)
予測値と真の値の差を二乗して計算する方法です。数式では $\lambda(x) = C(t - x)^2$ と表され($C$は定数)、一般的に$C=1$として扱われます。計算が容易で微分可能であるため、多くの最適化アルゴリズムで採用されています。
0-1損失関数(0-1 Loss Function)
予測が正しければ0、間違っていれば1を返す非常にシンプルな関数です。情報理論の分野では「ハミング歪み(Hamming distortion)」とも呼ばれ、主に分類問題の評価に用いられます。

絶対誤差と二乗誤差の比較
実務でよく使われるのが「二乗損失」と「絶対損失($L(a) = |a|$)」です。絶対損失は外れ値の影響を受けにくいという利点がありますが、$a=0$ の地点で微分不可能であるという数学的な弱点があります。対して二乗損失は微分可能ですが、大きな誤差がある場合に値が急増するため、外れ値(Outliers)に結果が支配されやすい傾向があります。

期待損失と統計的リスク
損失関数の値が確率変数に依存する場合、その期待値を考える必要があります。
頻度論的な期待損失
あるパラメータ $\theta$ と決定関数 $\delta$ に対して、データ $X$ の分布に基づいた平均的な損失を計算します。これが統計的なリスク関数となります。
ベイズリスク(Bayes Risk)
パラメータ $\theta$ 自体にも事前分布 $\pi^*$ があると考えるベイズ統計学では、パラメータの不確実性も含めた統合的な期待損失を「ベイズリスク」として定義します。
目的関数の構築と意思決定
多くの場合、目的関数は問題の定式化によって自動的に決まりますが、意思決定者の好みを反映させる必要がある場合もあります。例えば、ラグナル・フリッシュが指摘したように、個人の選好をスカラー値の関数(効用関数)として表現し、最適化に組み込む手法があります。
アンドラニク・タンギアンの研究では、少数の「無差別点(Indifference points)」を特定することで、実用的な二乗関数や加法的な目的関数を構築できることが示されました。この手法は、大学の予算配分や地域の失業率平準化のための補助金分配など、実際の政策決定に応用されています。
まとめ:損失関数の比較
| 関数名 | 主な用途 | メリット | デメリット |
|---|---|---|---|
| 二乗誤差 (SEL) | 回帰分析・パラメータ推定 | 微分可能で計算が効率的 | 外れ値の影響を強く受ける |
| 0-1損失 | 分類問題 | 直感的で理解しやすい | 不連続であり最適化が困難 |
| 絶対誤差 | ロバストな回帰 | 外れ値に強い(ロバスト) | ゼロ地点で微分不可能 |
Frequently Asked Questions
損失関数と目的関数の違いは何ですか?
損失関数は「最小化」すべきコストや誤差を定義するものです。目的関数はより広い概念で、損失関数(最小化)だけでなく、報酬や効用などの「最大化」すべき関数も含みます。
なぜ二乗誤差は外れ値に弱いと言われるのですか?
誤差を二乗するため、大きな誤差があるデータポイントが存在すると、その値が極端に大きくなり、全体の合計値や平均値を強く牽引してしまうためです。
0-1損失関数が最適化に不向きな理由は何ですか?
この関数は階段状に値が変化するため、微分ができません。多くの最適化手法(勾配降下法など)は微分の値(勾配)を利用して改善方向を探るため、微分不可能な関数には適用しにくい性質があります。
ベイズリスクとは具体的に何を意味しますか?
単一のパラメータに対する損失ではなく、パラメータが取りうる値の分布(事前分布)を考慮し、あらゆる可能性を平均化した期待損失のことを指します。
実務で損失関数を選ぶ際の基準はありますか?
データの性質(外れ値の有無)や、計算コスト、および「どのような誤差をより深刻に捉えるか」という目的によって選びます。例えば、外れ値を無視したい場合は絶対誤差、数学的な扱いやすさを優先する場合は二乗誤差が選ばれます。
References
- Hastie, Trevor; ; (2001). The Elements of Statistical Learning. Springer. p. 18. .
- Wald, A. (1950). Statistical Decision Functions. Wiley – via APA Psycnet.
- Cramér, H. (1930). On the mathematical theory of risk. Centraltryckeriet.
- Frisch, Ragnar (1969). "From utopian theory to practical applications: the case of econometrics". The Nobel Prize–Prize Lecture. Retrieved 15 February 2021.
- Tangian, Andranik; Gruber, Josef (1997). Constructing Scalar-Valued Objective Functions. Proceedings of the Third International Conference on Econometric Decision Models: Constructing Scalar-Valued Objective Functions, University of Hagen, held in Katholische Akademie Schwerte September 5–8, 1995. Lecture Notes in Economics and Mathematical Systems. Vol. 453. Berlin: Springer. :10.1007/978-3-642-48773-6. .
- Tangian, Andranik; Gruber, Josef (2002). Constructing and Applying Objective Functions. Proceedings of the Fourth International Conference on Econometric Decision Models Constructing and Applying Objective Functions, University of Hagen, held in Haus Nordhelle, August, 28 — 31, 2000. Lecture Notes in Economics and Mathematical Systems. Vol. 510. Berlin: Springer. :10.1007/978-3-642-56038-5. .
- Tangian, Andranik (2002). "Constructing a quasi-concave quadratic objective function from interviewing a decision maker". European Journal of Operational Research. 141 (3): 608–640. :10.1016/S0377-2217(01)00185-0. 39623350.
- Tangian, Andranik (2004). "A model for ordinally constructing additive objective functions". European Journal of Operational Research. 159 (2): 476–512. :10.1016/S0377-2217(03)00413-2. 31019036.
- Tangian, Andranik (2004). "Redistribution of university budgets with respect to the status quo". European Journal of Operational Research. 157 (2): 409–428. :10.1016/S0377-2217(03)00271-6.
- Tangian, Andranik (2008). "Multi-criteria optimization of regional employment policy: A simulation analysis for Germany". Review of Urban and Regional Development. 20 (2): 103–122. :10.1111/j.1467-940X.2008.00144.x.
📸 フォトギャラリー

