Movatterモバイル変換

数式を numpy に落としこむコツ～機械学習を題材に～ 2011/10/15 中谷秀洋＠サイボウズ・ラボ @shuyo / id:n_shuyo

「機械学習の手法を実装」ってどうするの？機械学習の手法いろいろ数式! 数式! 数式!!! numpy で実装

今回のターゲット機械学習の手法いろいろここは対象外こ数式! 数式! 数式!!! こをや ← っつけま numpy で実装す !!

「数式→実装」は共通機械学習数値解析統計処理数式! 数式! 数式!!! ここ ← は共通 numpy で実装

数式から実装まで数式! 数式! 数式!!! 数式見てすぐ実装？ムリムリ！ numpy で実装

小さいステップに分解数式! 数式! 数式!!! 数式から行間の情報を読み解く今日のポイント「逐語訳」できる形に数式を書き換える numpy で実装

この後の流れ1. 数式が降ってきた！ – 「式はどうやって出てきたか」は無視！2. (必要なら)数式を読み解こう3. (必要なら)数式を書き換えよう4. 数式を「逐語訳」で実装しよう

「数式」と言ってもいろいろある

対象とする「数式」• 数式の例は「パターン認識と機械学習」 (以降 PRML)から引く• 主に行列やその要素の掛け算が出てくる数式 – 掛け算は基本中の基本！• コンピュータで実装したい数式は、行列を使って表されているものも多い – 機械学習は典型例の１つ、かな？ – 他の分野は……あまり知りません(苦笑

おことわり• Python/numpyの基本機能は説明しません – Python の文法とか – 行列やベクトルの四則演算とか • ラムダ式とリスト内包はちょろっと紹介• 線形代数の基本的な知識も説明しません – 四則演算とか、転置とか、逆行列とかとか • 行列式や固有値なんかは出てこないので安心して

記法• 数式 – ベクトルは太字の小文字 – 行列は太字の大文字ネームスペースを• コード省略するの嫌い～ C++ の using namespace も – import numpy は省略使ったことないしｗ – import numpy as np はしない – numpy.matrix は使わず ndarray で • 行列積と要素積が紛らわしくなるとかいろいろ嫌いｗ

書き換え不要なパターン

まずは一番簡単なパターンから = −1 (PRML 3.15 改)• 線形回帰のパラメータ推定の式 – この式がどこから降ってきたかは気にしない！

ちなみに「線形回帰」って？• 回帰：与えられた点を(だいたい)通る曲線 (関数)を見つけること – 「回帰」って何が戻ってくるの？というのは突っ込んではいけないお約束• 線形回帰：∑ ()という線形結合の形の中で点を通るものを探す – 線形の関数(つまり直線)を求めているわけではありません一応紹介してみたけど、気にしなくていいですｗ

数式の「読み解き」 = −1 (PRML 3.15 改)• ：N×M次元の特徴行列 – 中身は気にしない – N×M次元の行列が与えられているだけ！• t：N次のベクトル(正解データ) – 中身は気にしない(以下同様)• w はベクトル？行列？何次の？ ※特徴行列の作り方は後の「おまけ」で出てきます

掛け算した行列のサイズの求め方各行列のサイズ。ベクトルは −1 = 1列の行列としてM×1 ← (M×N N×M) M×N N×1 両端の行数・列数が隣接する行列の列数と行数は一致。行列(ベクトル)のサイズ。そうでなければ必ずどこか間違ってる列数が1ならベクトル「数式がわからない」というときこの段階で間違っていることも少なくない

numpy に「逐語訳」 = −1 (PRML 3.15 改) numpy.dot(PHI.T, PHI) numpy.dot(PHI.T, t) −1 = numpy.linalg.solve(, )# PHI = N×M次元の特徴行列# t = N次のベクトル(正解データ)w = numpy.linalg.solve(numpy.dot(PHI.T, PHI), numpy.dot(PHI.T, t)) ※ 逆行列のところで inv() を使ってもいいですが、 solve() の方がコードが短いし、速度もかなり速いです

いつもこんなにかんたんとは限りませんよね

書き換えが必要になるパターン

多クラスロジスティック回帰の誤差関数の勾配 = − (k = 1, ⋯ , ) =1 (PRML 4.109 改)• = : N×K 次行列(予測値) 与• = : N×K 次行列(1-of-K 表現) えら• = 1 , … , = ( ) : M×K 次行列れてい• = = 1 , ⋯ , : N×M 次行列る情 – = = : M 次ベクトル報

「ロジスティック回帰」って？

式がどこから降ってきたかは気にしない！

さすがに「勾配」は必要なんじゃあないの？これ = − =1• 右辺は M 次ベクトル – − はただのスカラー – 一般には先ほどの方法で次元を読み解けばいい• それが k=1,……,K 個あるだけ – つまり求めるのは「M×K次元の行列」と読み解く• ∴「勾配」は実装になんの関係もない！

求めるものは読み解けたが

どうすれば実装できるかまだよくわからない

「逐語訳」できる形に書き換える• 掛けて行列になるパターンは大きく3通り – 上から要素積、行列積、直積 = ⇔ C=A*B = ∑ ⇔ C=numpy.dot(A, B) = ⇔ C=numpy.outer(a, b) 数式を左の形に書き換えれば、右の numpy コードに「逐語訳」できる ※「外積」もあるが、使う人やシーンが限られるので略

式を書き換える (1) = − =1• 行列の要素の式になおす = − =1 ( = 1, ⋯ , ; = 1, ⋯ , ) – は「求める行列」としてひとかたまりで扱う

式を書き換える (2) = − =1• 注：右辺の添え字に未解決のものは残らない – 左辺に現れる : m, k – 右辺で解決 : n (総和で消える)• ３種類の積のどれかに帰着するよう変形 – この場合、総和があるので = ∑ に

式を書き換える (3) = = − とおくと( × 行列) = = Φ =1 =1• 右辺を Σn○mn○nk の形に調整内側は – 左辺が○mk ＆右辺は n で和を取っている同じ添え字同士 – 添え字の順序を逆にしたければ転置でOK• = であることがわかる – 難しくて実装できなさそうだった式がかんたんに！

numpyに「逐語訳」• = − , = を実装 – うわあ、かんたんすぎ# PHI = N×M 次元の特徴行列# Y, T = N×K 次元の行列gradient_E = numpy.dot(PHI.T, Y - T)• 元の数式と見比べてみよう = − (k = 1, ⋯ , ) =1

まとめ• 数式から条件を読み解こう – この段階で間違っていると、絶対うまく行かない – さぼらず紙と鉛筆で確認するのが一番賢い• 「逐語訳」できる数式なら実装かんたん – 基本機能の呼び出しで完成！ – 難しい数式は「逐語訳」できる形に書き換え – さぼらず紙と鉛筆(ry

(おまけ)「リスト内包」を使いこなして楽しよう

特徴行列(先ほどの ) 1 1 1 2 ⋯ 1 2 1 2 2 ⋯ 2 = ⋮ ⋮ ⋱ ⋮ 1 2 ⋯ • 関数 = 1 , ⋯ , と、• データ = (1 , ⋯ , ) から作る行列 – カーネル法のグラム行列も似たような作り

特徴行列の作り方 (1)# X = N×D 次元の行列(今回は D=1)phi = [ lambda x: 1, lambda x: x, # φ:特徴関数の列 lambda x: x ** 2, # lambda ってなに？ lambda x: x ** 3]N = len(X)M = len(phi)PHI = numpy.zeros((N, M)) # Φ:N×M行列の入れ物を用意for n in xrange(N): for m in xrange(M): PHI[n, m] = phi[m](X[n]) # φ_m(x_n)

ぷちPython講座:ラムダ式• lambda : その場で関数を作る – def を書かなくていいf = lambda x: x ** 3 だいたい同じdef f(x): return x ** 3 ※厳密には def と lambda はいろいろ違うわけだけど、ここでは細かいことは気にしない

つまりラムダ式のところはphi = [ lambda x: 1, # φ_0(x) = 1 lambda x: x, # φ_1(x) = x lambda x: x ** 2, # φ_2(x) = x^2 lambda x: x ** 3 # φ_3(x) = x^3]• 実はこの数式の実装でした = ( = 0, ⋯ , − 1)• 繰り返しなんだから、もっとかんたんにできそう

ぷちPython講座:リスト内包• リスト内包 : ルールから配列を作る – for ループを書かなくていい – R の apply() 系の関数に相当a = []for x in xrange(10): a.append(x * x) リスト内包なら簡潔！a = [x * x for x in xrange(10)] ※厳密にはいろいろ(ry

「リスト内包」を使えば……phi = [ lambda x: 1, lambda x: x, = ( = 0, ⋯ , − 1) lambda x: x ** 2, lambda x: x ** 3] こう書ける気がするphi = [lambda x: x ** m for m in xrange(M)]• かんたんになったね！

だめでした……• 0 2 , 1 2 , 2 2 , 3 2 を表示してみる – “1 2 4 8” と出力されることを期待M = 4phi = [lambda x: x ** m for m in xrange(M)]print phi[0](2), phi[1](2), phi[2](2), phi[3](2)• ところがこれの実行結果は “8 8 8 8” – って、全部同じ！？なんで？？？

うまくいかない理由は……• 「レキシカルスコープ」がどうとか – ちょっとややこしい• 回避する裏技もあるけど…… – もっとややこしいM = 4phi = [lambda x, c=m: x ** c for m in xrange(M)]print phi[0](2), phi[1](2), phi[2](2), phi[3](2)# => “1 2 4 8” と表示される(ﾄﾞﾔ

結論• リスト内包の中では lambda を使わないようにしよう！（ぇ – これで同種の問題はだいたい避けられる• かんたんに書く他の方法を考えてみる

特徴行列の作り方 (2)• phi を「ベクトルを返す関数」として定義 – のリストではなく， = ( )を扱う – lambda を書かなくていい – 関数の呼び出し回数も減って高速化• 行列の生成にもリスト内包を使う numpy の機能の一部と言っても – numpy.array(リスト内包) は頻出！いいくらいdef phi(x): return [x ** m for m in xrange(4)]PHI = numpy.array([phi(x) for x in X])

まとめ• リスト内包は超便利 – 憶えましょう – 憶えてなかったら Python 使ってる意味ないと言い切ってしまっていいくらい• ラムダ式も便利 – でもリスト内包の中で使うとハマることがあるので避けましょう

よだん• numpy.fromfunction() を使って特徴行列を作る方法もあるよ。あるけど…… – なんかいろいろひどい • take とか dtype=int とか – ダメな numpy の見本PHI = numpy.fromfunction( lambda n, m: X.take(n) ** m, (N, M), dtype=int)

Movatterモバイル変換

Change Language

数式をnumpyに落としこむコツ

Embed presentation

Recommended

More Related Content

What's hot

Viewers also liked

Similar to 数式をnumpyに落としこむコツ

More from Shuyo Nakatani

数式をnumpyに落としこむコツ