Microsoft Word - ㅎ㇤ㇺå®ı璃ㆨAIã†®æŁ°ç’ƒ.docx

Similar documents
平成 年 月 7 日 ( 土 第 75 回数学教育実践研究会アスティ 45 ビル F セミナールーム A 札幌医科大学 年 P ab, を正の定数とする 平面上において ( a, を中心とする円 Q 4 C と (, b を中心とする円 C が 原点 O で外接している また P を円 C 上の点と

DVIOUT-SS_Ma

パソコンシミュレータの現状

学習指導要領

微分方程式による現象記述と解きかた

数学 Ⅲ 微分法の応用 大学入試問題 ( 教科書程度 ) 1 問 1 (1) 次の各問に答えよ (ⅰ) 極限 を求めよ 年会津大学 ( 前期 ) (ⅱ) 極限値 を求めよ 年愛媛大学 ( 前期 ) (ⅲ) 無限等比級数 が収束するような実数 の範囲と そのときの和を求めよ 年広島市立大学 ( 前期

Microsoft PowerPoint - H22制御工学I-2回.ppt

エンマの唇

多変量解析 ~ 重回帰分析 ~ 2006 年 4 月 21 日 ( 金 ) 南慶典

以下 変数の上のドットは時間に関する微分を表わしている (ex. 2 dx d x x, x 2 dt dt ) 付録 E 非線形微分方程式の平衡点の安定性解析 E-1) 非線形方程式の線形近似特に言及してこなかったが これまでは線形微分方程式 ( x や x, x などがすべて 1 次で なおかつ

数学 ⅡB < 公理 > 公理を論拠に定義を用いて定理を証明する 1 大小関係の公理 順序 (a > b, a = b, a > b 1 つ成立 a > b, b > c a > c 成立 ) 順序と演算 (a > b a + c > b + c (a > b, c > 0 ac > bc) 2 図

Microsoft Word - 微分入門.doc

( 慣性抵抗 ) 速度の 2 乗に比例流体中を進む物体は前面にある流体を押しのけて進む. 物 aaa 体の後面には流体が付き従う ( 渦を巻いて ). 前面にある速度 0 の流体が後面に移動して速度 vとなったと考えてよい. この流体の質量は単位時間内に物体が押しのける体積に比例するので,v に比例

Microsoft Word - thesis.doc

公式集 数学 Ⅱ B 頭に入っていますか? 8 和積の公式 A + B A B si A + si B si os A + B A B si A si B os si A + B A B os A + os B os os A + B A B os A os B si si 9 三角関数の合成 si

Microsoft PowerPoint - H21生物計算化学2.ppt

例 e 指数関数的に減衰する信号を h( a < + a a すると, それらのラプラス変換は, H ( ) { e } e インパルス応答が h( a < ( ただし a >, U( ) { } となるシステムにステップ信号 ( y( のラプラス変換 Y () は, Y ( ) H ( ) X (

様々なミクロ計量モデル†

講義「○○○○」

確率分布 - 確率と計算 1 6 回に 1 回の割合で 1 の目が出るさいころがある. このさいころを 6 回投げたとき,1 度も 1 の目が出ない確率を求めよ. 5 6 /6 6 =15625/46656= (5/6) 6 = ある市の気象観測所での記録では, 毎年雨の降る

memo

数学 t t t t t 加法定理 t t t 倍角公式加法定理で α=β と置く. 三角関数

Microsoft Word - 補論3.2

2016年度 京都大・文系数学

学習指導要領

Chap2

線積分.indd

微分方程式補足.moc

数値計算で学ぶ物理学 4 放物運動と惑星運動 地上のように下向きに重力がはたらいているような場においては 物体を投げると放物運動をする 一方 中心星のまわりの重力場中では 惑星は 円 だ円 放物線または双曲線を描きながら運動する ここでは 放物運動と惑星運動を 運動方程式を導出したうえで 数値シミュ

Microsoft PowerPoint - R-stat-intro_04.ppt [互換モード]

"éı”ç·ıå½¢ 微勃挹稉弑

1/17 平成 29 年 3 月 25 日 ( 土 ) 午前 11 時 1 分量子力学とクライン ゴルドン方程式 ( 学部 3 年次秋学期向 ) 量子力学とクライン ゴルドン方程式 素粒子の満たす場 y ( x,t) の運動方程式 : クライン ゴルドン方程式 : æ 3 ö ç å è m= 0

数学の世界

Chap2.key

2011年度 筑波大・理系数学

航空機の運動方程式

多次元レーザー分光で探る凝縮分子系の超高速動力学

Kumamoto University Center for Multimedia and Information Technologies Lab. 熊本大学アプリケーション実験 ~ 実環境における無線 LAN 受信電波強度を用いた位置推定手法の検討 ~ InKIAI 宮崎県美郷

PowerPoint Presentation

情報量と符号化

2018年度 2次数学セレクション(微分と積分)

英語                                    英-1

解析力学B - 第11回: 正準変換

Microsoft PowerPoint - NA03-09black.ppt

曲線 = f () は を媒介変数とする自然な媒介変数表示 =,= f () をもつので, これを利用して説明する 以下,f () は定義域で連続であると仮定する 例えば, 直線 =c が曲線 = f () の漸近線になるとする 曲線 = f () 上の点 P(,f ()) が直線 =c に近づくこ

スライド 1

数学の学び方のヒント

学習指導要領

長尾谷高等学校レポート 回目 全枚. 関数 f() = について, 次の各問いに答えよ ( 教科書 p6~7, 副読本 p97) () 微分係数 f ( ) を定義に従って求めよ ただし, 求める過程を必ず書くこと () グラフ上の (, ) における接線の傾きを求めよ. 関数 ( ) = 4 f

PowerPoint Presentation

今週の内容 後半全体のおさらい ラグランジュの運動方程式の導出 リンク機構のラグランジュの運動方程式 慣性行列 リンク機構のエネルギー保存則 エネルギー パワー 速度 力の関係 外力が作用する場合の運動方程式 粘性 粘性によるエネルギーの消散 慣性 粘性 剛性と微分方程式 拘束条件 ラグランジュの未

p tn tn したがって, 点 の 座標は p p tn tn tn また, 直線 l と直線 p の交点 の 座標は p p tn p tn よって, 点 の座標 (, ) は p p, tn tn と表され p 4p p 4p 4p tn tn tn より, 点 は放物線 4 p 上を動くこと

2011年度 東京大・文系数学

Microsoft PowerPoint - mp11-02.pptx

ÿþŸb8bn0irt

<4D F736F F D2097CD8A7793FC96E582BD82ED82DD8A E6318FCD2E646F63>

vecrot

景気指標の新しい動向

NumericalProg09

2011年度 大阪大・理系数学

航空機の運動方程式

重要例題113

学習指導要領

喨微勃挹稉弑

Microsoft Word - mathtext8.doc

PowerPoint Presentation

1999年度 センター試験・数学ⅡB

1.民営化

代数 幾何 < ベクトル > 1 ベクトルの演算 和 差 実数倍については 文字の計算と同様 2 ベクトルの成分表示 平面ベクトル : a x e y e x, ) ( 1 y1 空間ベクトル : a x e y e z e x, y, ) ( 1 1 z1

Hara-statistics

Microsoft Word - 5章摂動法.doc

学年第 3 学年 2 単元名 ( 科目 ) いろいろな関数の導関数 ( 数学 Ⅲ) 3 単元の目標 三角関数 対数関数 指数関数の導関数を求めることができる 第 次導関数の意味を理解し 求めることができる 放物線 楕円 双曲線などの曲線の方程式を微分することができる 4 単元の学習計画 三角関数 対

Microsoft Word - 町田・全 H30学力スタ 別紙1 1年 数学Ⅰ.doc

. 角の二等分線と調和平均 平面上に点 を端点とする線分 と を重ならないようにとる, とし とする の二等分線が線分 と交わる点を とし 点 から に垂直に引いた直線が線分 と交わる点 とする 線分 の長さを求めてみよう 点 から に垂直な直線と および との交点をそれぞれ, Dとする つの直角三

Probit , Mixed logit

Microsoft PowerPoint - ce07-04e.ppt

2013年度 信州大・医系数学

OpenFOAM(R) ソースコード入門 pt1 熱伝導方程式の解法から有限体積法の実装について考える 前編 : 有限体積法の基礎確認 2013/11/17 オープンCAE 富山富山県立大学中川慎二

PowerPoint プレゼンテーション

正常 正常 正常 正常 正常 正常 正常 正常 正常 正常 正常 正常 正常 220

3 数値解の特性 3.1 CFL 条件 を 前の章では 波動方程式 f x= x0 = f x= x0 t f c x f =0 [1] c f 0 x= x 0 x 0 f x= x0 x 2 x 2 t [2] のように差分化して数値解を求めた ここでは このようにして得られた数値解の性質を 考

複素数平面への誘い

Microsoft PowerPoint - 測量学.ppt [互換モード]

Microsoft PowerPoint - データ解析基礎4.ppt [互換モード]

Microsoft PowerPoint - 夏の学校(CFD).pptx

2017年度 長崎大・医系数学

スライド 1

微分方程式 モデリングとシミュレーション

Excelを用いた行列演算

学習指導要領

Microsoft Word - 1B2011.doc

< 図形と方程式 > 点間の距離 A x, y, B x, y のとき x y x y : に分ける点 æ ç è A x, y, B x, y のとき 線分 AB を : に分ける点は x x y y, ö ø 注 < のとき外分点 三角形の重心 点 A x, y, B x, y, C x, を頂

2015年度 岡山大・理系数学

Microsoft Word - NumericalComputation.docx

PowerPoint Presentation

PowerPoint プレゼンテーション

Microsoft PowerPoint - CSA_B3_EX2.pptx

2010年度 筑波大・理系数学

横浜市環境科学研究所

Microsoft PowerPoint - ロボットの運動学forUpload'C5Q [互換モード]

Transcription:

ベイズの定理から AI の数理 ベイズ更新とロジステック曲線について 松本睦郎 ( 札幌啓成高等学校講師 ) Episode ロジステック曲線 菌やウイルスの増殖数や 人口増加等を表現する曲線の一つにロジステック曲線があります 例 シャーレの中で培養された大腸菌の数について考察する シャーレ内に栄養が十分に存在するとき 菌は栄養を吸収しながら 一定時間ごとに細胞分裂をして増 殖する 菌の数 u u(t) は時間の連続関数とみなすとき 増殖率は菌全体の数に比例する du dt au (a > 0 は比例定数 ) 微分方程式を解くと u(t) u e 菌数は 指数関数的に増殖し 無限大に発散する 実際にはシャーレ内の栄養素が不足し環境悪化によ り 増殖率は低下する 分裂速度が u に比例して低下するものとすると ロジステック微分方程式 du(t) dt (a b u(t))u(t) が得られる a, b として このベクトル場と解曲線を表示する ( ) 簡単な変数分離型方程式を解くと e u(t) + e C は積分定数 C0 C 0 + u(0) 0 2 0.0 4 2 0 2 4

江別市の 930 年から 203 年までの人口推移は ほぼロジステック曲線に従っている 40000 20000 00000 80000 60000 40000 20000 総数 0 4 7 03692225283343740434649525558664677073767982 総数 Episode2 ロジステック回帰分析 不健康集団と健康集団を0( 健康 ) ( 不健康 ) に数値変換して 日の喫煙本数と一カ月間の飲酒 日数を調査した このデータについて 健康か不健康の判別モデルを作成するときロジステック回帰分 析を使う 日の喫煙本数が 25 本 カ月の飲酒日数が 5 日であるAさんの不健康有無を判別する データ No 不健康有無 喫煙本数 / 日 飲酒日数 / 月 30 2 2 22 0 3 26 25 4 4 20 5 0 6 0 6 0 2 5 7 0 6 5 8 0 0 5 9 0 0 5 A さん 7 25 5 多変数ロジステック回帰方程式 z + e ( ) 不健康有無を目的変数として z 軸 飲酒量 (y 軸 ) と喫煙量 (x 軸 ) を説明変数とする a, bを回帰係数 cを定数項と呼ぶ Mathematica0.0 を利用して回帰係数と 定数項を求める 2

Plot3D[, {x, 0,30}, {y, 0,25}, Epilog + Exp[8.9965 0.30794x 66886y] {PointSize[Medium], Table[Point[data[[i]]], {i,,9}]}] hanbetu[x_,y_]:/(+exp[8.9965-0.30794 x-66886 y]) Plot[Table[hanbetu[x,i],{i,0,5}],{x,0,40},PlotRange {{0,40},{0,}}] 飲酒日数 0 日 0.0 0 0 20 30 40 hanbetu[20,5]0.76236 日の喫煙本数が 20 本かつ ケ月飲酒日が 5 日の人が 狭心症になる確率は 0.76 となる 過去のデータから 未来の確率を求めることができる 3

Episode3 ベイズ定理 第 04 回数実研で札幌手稲高校西村昴介先生の発表した ベイズ統計学を用いた数学 A での条件付 き確率の導入の工夫 は とても興味深いレポートでした ベイズの定理を活用した例題について考え てみました 例題 感染症の検査問題 インフルエンザのような感染症の疑いのある場合は 検査をおこなう 陽性と陰性の検査結果には誤差 が発生する 今 p を感染している人が陽性となる確率 -p は感染している人が陰性となる確率 q は健康な人が陽性となる確率 -q は健康な人が陰性となる確率とする () ある人が検査を受けて陽性のとき 感染している確率を求めよ (2) ある人が検査を受けて陽性のとき 感染していない確率を求めよ ただし このインフルエンザ感染率を r として考えよ 解答例 () ベイズの定理を活用する W: 感染している事象 W2: 健康である事象 B: 陽性である事象 C: 陰性である事象 P(W) r, P(W2) r P (B) p, P (C) p, P (B) q, P (C) q とすると 条件付き確率より P (B) P (B) P(w B) P(W) P(w2 B) P(W2) P(W B) + P(W2 B) 23 を へ代入すると 陽性の確率を求めることができる 陽性のとき 感染している確率は より P(W B) P (B) P(W) p r 2 より P(W2 B) P (B) P(W2) q ( r) 3 P (W) (p q)r + q 4 P(W B) 4 p r (p q)r + q

p, q 0. として 横軸に感染率 (r) 縦軸に陽性にとき感染している ( 真陽性 ) の確率をとってグラフ化してみ る 感染確率や罹患確率が高いほど 真陽性の確率が高くなることがわかる 罹患確率が低いと 真陽性の 確率も低い (2) 陽性のとき感染していない確率は P (W) P(W2 B) q ( r) (p q)r + q 感染確率や罹患確率が高いほど 偽陽性の確率が低くなることがわかる 罹患確率が低いと 偽陽性の 確率も高くなる Episode3 ベイズ更新とロジステック曲線 P(W) r を事前確率と呼ぶ 初めに P(W) 0.004 ( ア ), P(w2) 0.004 0.996 P (B) p, P (C) p, P (B) q 0., P (C) q 0.9 と設定することにする 陽性のとき罹患する確率は P (W) P(W B) p r (p q)r + q 0.004 ( 0.) 0.004 + 0. 0.0328404 ( イ ) 5

真陽性の確率は 0.03(3.%) となり 事後確率と呼ぶ ベイズ更新とは ベイズの定理によって算出した事後確率と 次回の試行の事前確率としてもう一度 ベイズの定理を活用することである P(W) 0.03, P(W2) 0.03 0.969 を事前確率として 陽性のときの罹患している真陽性の確率は P (W) 真陽性確率の推移は P(W B) (ⅰ) 陽性の場合の対数オッズ比 p r (p q)r + q 0.03 ( 0.) 0.03 + 0. 03779786 ( ウ ) 0.004 0.0328404 03779786 log p log8 2.07944 q (ⅱ) 陰性の場合のオッズ比 (ⅲ) スタートスコア ( ア )( イ )( ウ )23 から何かが見える log p q log 2 9.50408 2 log W 0.004 log W2 0.996 5.574 3 座標 (3,( ア )),(3+,( イ )),(3+2,( ウ )) を表示すると この 3 点を座標平面上に表示する (-5.574,0.004),(-3.43796,0.03),(-.35852,03779786) 6 4 2 2 4 6 これらの3 点は ロジステック曲線上にすべて存在する ベイズ更新は すべてこの曲線上の確率となる 毎年病気の検査で陽性判定が繰り返されとすると 真陽性の確率がこの曲線 y + e に従って 上昇していくことになる 逆に陰性の場合 x 軸を2の割合で真陽性の確率が減少していく AI で利用されている数学のひとつである 6

Episode4 マルコフ連鎖 映画 ジュラシック パーク の中で 非線形微分方程式を研究している数学者マルカム博士が登場 する 自然の中に内包する予測不可能性 ( カオス ) によって失敗する セリフがある マルカムはマ ルコフ連鎖を想像させた マルコフ連鎖とは 未来の確率が現在の状態のみで決定される 過去のいか なる情報も 未来を予測する際には無関係である 例題 2 天気の遷移確率 昨日以前の天気は翌日の天気に影響しない 今日 晴れ のとき明日 晴れ の確率は 0.7 曇り の 確率は 0.3 雨 の確率は 0 今日 曇 のとき明日 晴れ の確率は 曇り の確率は 雨 の確率は 今日 雨 のとき明日 晴れ の確率は 0.3 曇り の確率は 0.3 雨 の確率は 状態空間は S{ 晴, 曇, 雨 } である 晴 曇 2 雨 3 で表示すると S{,2,3} となる 状態遷移図 ( ) 3 2 0.3 0.3 P 0.7 X :t 日目の天気を表す確率変数とすると 条件付き確率より t 日目に晴れたとき t+ 日目も晴れる確 率は P (X ) 0.7 推移確率行列とは (i, j) 成分に i から j に遷移する確率を行列で表示する 性質 ⅰ: 推移確率行列の各要素は 0 以上 以下 性質 ⅱ: 各行の和は となる 0.7 0.3 0 0.3 0.3 P (X i) を (i, j) 成分の行列つまり n 日経過の推移確率行列を P ( ) とする チャップマン コルモゴ ロフ方程式 :P ( ) P により 推移確率行列の n 乗と n 日経過の推移確率行列が一致する 8999999999999994 0.09 0 P 0.6000000000000003 0.6000000000000003 0.0400000000000000 0.09 0.09 0.6000000000000003 0.3429999999999999 0.027 0 P 0.06400000000000002 0.06400000000000002 0.008000000000000002 0.027 0.027 0.06400000000000002 AI 人工知能というフレーズが最近良く耳にする 決して AI は絶対的万能なものではなく 統計学 ( 数 理統計 ベイズ統計 ) や確率論 ( 確率過程 ) 等の従来の学問を基本にしたものであり 確率的なもので あることがわかる ( おわり ) 7