59
脳の数学 合原一幸 東京大学 生産技術研究所 東京大学最先端数理モデル連携研究センター 東京大学 大学院情報理工学系研究科 数理情報学専攻 東京大学 大学院工学系研究科 電気系工学専攻 東京大学 大学院新領域創成科学研究科 複雑理工学専攻 FIRST (最先端研究開発支援プログラム) 合原プロジェクト 東京大学 学術俯瞰講義 20111026東京大学 生命の数学 モデルの力 :このマークが付してある著作物は、第三者が有する著作物ですので、同著作物の再使用、同著作物の二次的著作 物の創作等については、著作権者より直接使用許諾を得る必要があります。

2011 10 26 - UTokyo OpenCourseWare · Delay − 複雑系数理モデル学. の基礎理論構築:分野横断型科学技術の核 数理工学. 我が国固有の工学 応用のための数学

  • Upload
    others

  • View
    1

  • Download
    0

Embed Size (px)

Citation preview

Page 1: 2011 10 26 - UTokyo OpenCourseWare · Delay − 複雑系数理モデル学. の基礎理論構築:分野横断型科学技術の核 数理工学. 我が国固有の工学 応用のための数学

脳の数学

合原一幸

東京大学 生産技術研究所 東京大学最先端数理モデル連携研究センター

東京大学 大学院情報理工学系研究科 数理情報学専攻 東京大学 大学院工学系研究科 電気系工学専攻

東京大学 大学院新領域創成科学研究科 複雑理工学専攻 FIRST (最先端研究開発支援プログラム) 合原プロジェクト

東京大学 学術俯瞰講義 2011年10月26日 東京大学

生命の数学 - モデルの力

‡:このマークが付してある著作物は、第三者が有する著作物ですので、同著作物の再使用、同著作物の二次的著作物の創作等については、著作権者より直接使用許諾を得る必要があります。

Page 2: 2011 10 26 - UTokyo OpenCourseWare · Delay − 複雑系数理モデル学. の基礎理論構築:分野横断型科学技術の核 数理工学. 我が国固有の工学 応用のための数学

‡ 合原一幸編著 『社会を変える驚きの数学』 ウェッジ選書、2008年

Page 3: 2011 10 26 - UTokyo OpenCourseWare · Delay − 複雑系数理モデル学. の基礎理論構築:分野横断型科学技術の核 数理工学. 我が国固有の工学 応用のための数学

‡ 合原一幸編著 『脳はここまで解明された-内なる宇宙の神秘に挑む』 ウェッジ選書、2004年

岩波アクティブ新書編集部編 『集める! : 私のコレクション自慢』 岩波アクティブ新書、2004年

Page 4: 2011 10 26 - UTokyo OpenCourseWare · Delay − 複雑系数理モデル学. の基礎理論構築:分野横断型科学技術の核 数理工学. 我が国固有の工学 応用のための数学

数理工学

数理的手法 現実の諸問題

理解・解決・最適化・制御・予測 (これらが困難なシステム=複雑系)

数理モデリング

Page 5: 2011 10 26 - UTokyo OpenCourseWare · Delay − 複雑系数理モデル学. の基礎理論構築:分野横断型科学技術の核 数理工学. 我が国固有の工学 応用のための数学

内閣府 最先端研究開発支援プログラム 複雑系数理モデル学の基礎理論構築とその分野横断的科学技術応用 東京大学 最先端数理モデル連携研究センター

最先端制御研究

β変換によるAD/DA変換

Delay−

複雑系数理モデル学の基礎理論構築:分野横断型科学技術の核

数理工学 我が国固有の工学応用のための数学 カオス工学 カオス、フラクタル、複雑ネットワークの工学

数理モデルに基づく癌治療

新型インフルエンザ感染伝播解析

複雑系数理モデル学の基礎研究 基礎研究と

応用研究の相互作用

分野横断的複雑系科学技術に基づいて、社会的緊急性が高く、かつ産業上の重要性・必要性が大きい諸問題の解決を目指す。

■全く新しい非線形原理に基づく AD/DA 変換器、 複雑系集積回路、 脳型計算技術 などの 複雑系情報処理技術の確立

■複雑系科学技術による 製造業再生とエネルギー 効率向上のための基盤構築

■新型インフルエンザや バイオテロの数理解析と ワクチン接種計画最適化 などの諸対策への応用

■数理モデルの癌治療や 投薬最適化への応用

■複雑ネットワーク理論に 基づく交通流,高度複雑系通信ネットワークや電力ネットワークの制御

出口

■環境予測技術とその 電力・エネルギーシステム への応用 ■脳、生命システムの 複雑系数理モデルと BMI、ロボット、医療への応用 ■経済変動の複雑性の解明

複雑ネット ワーク理論

非線形時系列 解析理論

最先端複雑系制御理論

力学系理論 制御理論 融合

非線形科学 生命科学 情報科学 工学 医学 経済学 社会科学

複雑工学ネットワーク制御

予測計画制御

センサNW

道路網人間輸送NW

エネルギNW

複雑系集積回路 脳,生命システムの複雑系数理モデル

複雑系数理モデル学の分野横断的科学技術応用研究

Page 6: 2011 10 26 - UTokyo OpenCourseWare · Delay − 複雑系数理モデル学. の基礎理論構築:分野横断型科学技術の核 数理工学. 我が国固有の工学 応用のための数学

線形と非線形

NOT

BUT

線形 : 1+1=2

非線形 : 1+1≠2

cf. 電気回路理論

制御理論

例 V=RI オームの法則

入力

入力

出力

出力

Page 7: 2011 10 26 - UTokyo OpenCourseWare · Delay − 複雑系数理モデル学. の基礎理論構築:分野横断型科学技術の核 数理工学. 我が国固有の工学 応用のための数学

2次関数

Page 8: 2011 10 26 - UTokyo OpenCourseWare · Delay − 複雑系数理モデル学. の基礎理論構築:分野横断型科学技術の核 数理工学. 我が国固有の工学 応用のための数学

ロジスティック写像の1パラメータ分岐図

2次関数

ロジステッィク写像

Page 9: 2011 10 26 - UTokyo OpenCourseWare · Delay − 複雑系数理モデル学. の基礎理論構築:分野横断型科学技術の核 数理工学. 我が国固有の工学 応用のための数学

0

0.5

1

0 0.5 1

a 大

Page 10: 2011 10 26 - UTokyo OpenCourseWare · Delay − 複雑系数理モデル学. の基礎理論構築:分野横断型科学技術の核 数理工学. 我が国固有の工学 応用のための数学

1次元写像の解の図式表現法

Page 11: 2011 10 26 - UTokyo OpenCourseWare · Delay − 複雑系数理モデル学. の基礎理論構築:分野横断型科学技術の核 数理工学. 我が国固有の工学 応用のための数学

0

0.5

1

0 0.5 1

0

0.5

1

0 20 40 60 80 100

ロジスティックマップ

a = 2.4

t

x(t)

Page 12: 2011 10 26 - UTokyo OpenCourseWare · Delay − 複雑系数理モデル学. の基礎理論構築:分野横断型科学技術の核 数理工学. 我が国固有の工学 応用のための数学

ロジスティックマップ

a = 3.2

0

0.5

1

0 20 40 60 80 100

0

0.5

1

0 0.5 1

t

x(t)

Page 13: 2011 10 26 - UTokyo OpenCourseWare · Delay − 複雑系数理モデル学. の基礎理論構築:分野横断型科学技術の核 数理工学. 我が国固有の工学 応用のための数学

a = 2.4

時間 t

x(t)

x(t)

a = 3.2

0

0.5

1

0 5 10 15 20

0

0.5

1

0 5 10 15 20

周期1 (一定の値に収束)

周期2 (2つの異なる値を交互にとる解に収束) 時間 t

Page 14: 2011 10 26 - UTokyo OpenCourseWare · Delay − 複雑系数理モデル学. の基礎理論構築:分野横断型科学技術の核 数理工学. 我が国固有の工学 応用のための数学

ロジスティックマップ

a = 3.5

0

0.5

1

0 0.5 1

0

0.5

1

0 20 40 60 80 100t

x(t)

Page 15: 2011 10 26 - UTokyo OpenCourseWare · Delay − 複雑系数理モデル学. の基礎理論構築:分野横断型科学技術の核 数理工学. 我が国固有の工学 応用のための数学

ロジスティックマップ

a = 3.7

0

0.5

1

0 0.5 1

0

0.5

1

0 20 40 60 80 100t

x(t)

Page 16: 2011 10 26 - UTokyo OpenCourseWare · Delay − 複雑系数理モデル学. の基礎理論構築:分野横断型科学技術の核 数理工学. 我が国固有の工学 応用のための数学

ロジスティックマップ

a = 3.84

0

0.5

1

0 0.5 1

t

x(t)

0

0.5

1

0 5 10 15 20

Page 17: 2011 10 26 - UTokyo OpenCourseWare · Delay − 複雑系数理モデル学. の基礎理論構築:分野横断型科学技術の核 数理工学. 我が国固有の工学 応用のための数学

ロジスティックマップ

a = 4.0

0

0.5

1

0 0.5 1

0

0.5

1

0 20 40 60 80 100t

x(t)

Page 18: 2011 10 26 - UTokyo OpenCourseWare · Delay − 複雑系数理モデル学. の基礎理論構築:分野横断型科学技術の核 数理工学. 我が国固有の工学 応用のための数学

二つの複雑な時系列信号がある

これらの時系列は, 1. 共に,複雑な振る舞いを示している 2. 平均値と変動の大きさがほぼ同じ

Page 19: 2011 10 26 - UTokyo OpenCourseWare · Delay − 複雑系数理モデル学. の基礎理論構築:分野横断型科学技術の核 数理工学. 我が国固有の工学 応用のための数学

少し違った見方をすると・・・

‡ 合原一幸編『カオス時系列解析の基礎と応用』産業図書、2000年、P.5、図1.4

Page 20: 2011 10 26 - UTokyo OpenCourseWare · Delay − 複雑系数理モデル学. の基礎理論構築:分野横断型科学技術の核 数理工学. 我が国固有の工学 応用のための数学

共に複雑な挙動を示していたが・・・

というように,差が現れる。

Page 21: 2011 10 26 - UTokyo OpenCourseWare · Delay − 複雑系数理モデル学. の基礎理論構築:分野横断型科学技術の核 数理工学. 我が国固有の工学 応用のための数学

実は・・・

))(1)((4)1( nxnxnx −=+ロジスティック写像

コバルトγ線放射の時間間隔

Page 22: 2011 10 26 - UTokyo OpenCourseWare · Delay − 複雑系数理モデル学. の基礎理論構築:分野横断型科学技術の核 数理工学. 我が国固有の工学 応用のための数学
Page 23: 2011 10 26 - UTokyo OpenCourseWare · Delay − 複雑系数理モデル学. の基礎理論構築:分野横断型科学技術の核 数理工学. 我が国固有の工学 応用のための数学
Page 24: 2011 10 26 - UTokyo OpenCourseWare · Delay − 複雑系数理モデル学. の基礎理論構築:分野横断型科学技術の核 数理工学. 我が国固有の工学 応用のための数学

‡ 松居エリ Council of Fashion Designers, Tokyo 2010-11 Autumn/Winter Collection

Page 25: 2011 10 26 - UTokyo OpenCourseWare · Delay − 複雑系数理モデル学. の基礎理論構築:分野横断型科学技術の核 数理工学. 我が国固有の工学 応用のための数学
Page 26: 2011 10 26 - UTokyo OpenCourseWare · Delay − 複雑系数理モデル学. の基礎理論構築:分野横断型科学技術の核 数理工学. 我が国固有の工学 応用のための数学

‡ エリ松居ジャパン Council of Fashion Designers, Tokyo 2010-11 Autumn/Winter Collection

Page 27: 2011 10 26 - UTokyo OpenCourseWare · Delay − 複雑系数理モデル学. の基礎理論構築:分野横断型科学技術の核 数理工学. 我が国固有の工学 応用のための数学

‡ 松居エリ Council of Fashion Designers, Tokyo 2010-11 Autumn/Winter Collection

Page 28: 2011 10 26 - UTokyo OpenCourseWare · Delay − 複雑系数理モデル学. の基礎理論構築:分野横断型科学技術の核 数理工学. 我が国固有の工学 応用のための数学

実世界

数理世界

創る

知る 脳 脳型コンピューティング

数理情報モデル

Abstract Models vs Detailed / Realistic Model Generality / Universality vs Individuality / Particularity

実験的 知見

数理情報 解析

実装 修正

Page 29: 2011 10 26 - UTokyo OpenCourseWare · Delay − 複雑系数理モデル学. の基礎理論構築:分野横断型科学技術の核 数理工学. 我が国固有の工学 応用のための数学

‡ 手塚プロダクションより許可を得て掲載

Page 30: 2011 10 26 - UTokyo OpenCourseWare · Delay − 複雑系数理モデル学. の基礎理論構築:分野横断型科学技術の核 数理工学. 我が国固有の工学 応用のための数学

21世紀:生命科学の世紀 脳 : The Decade of the Brain 1990’s in USA The Century of the Brain in Japan ① 脳を知る ② 脳を守る ③ 脳を創る ④ 脳を育む ゲノム : ポストゲノムシークエンス

Page 31: 2011 10 26 - UTokyo OpenCourseWare · Delay − 複雑系数理モデル学. の基礎理論構築:分野横断型科学技術の核 数理工学. 我が国固有の工学 応用のための数学

‡ 合原一幸、神崎亮平編 『理工学系からの脳科学入門』 東京大学出版会、2008年

Page 32: 2011 10 26 - UTokyo OpenCourseWare · Delay − 複雑系数理モデル学. の基礎理論構築:分野横断型科学技術の核 数理工学. 我が国固有の工学 応用のための数学

Progress of Understanding the Brain

Homogeneous

Linear

Static

Stationary

Heterogeneous

Nonlinear

Dynamic

Nonstationary

一様 非一様

線形 非線形

静的 動的

定常 非定常

Page 33: 2011 10 26 - UTokyo OpenCourseWare · Delay − 複雑系数理モデル学. の基礎理論構築:分野横断型科学技術の核 数理工学. 我が国固有の工学 応用のための数学

ネッカーキューブと2つの解釈

(a)

(b)

Page 34: 2011 10 26 - UTokyo OpenCourseWare · Delay − 複雑系数理モデル学. の基礎理論構築:分野横断型科学技術の核 数理工学. 我が国固有の工学 応用のための数学

Wikipediaより転載(2012/01/10) http://ja.wikipedia.org/wiki/ファイル:Youngoldwoman.jpg

Page 35: 2011 10 26 - UTokyo OpenCourseWare · Delay − 複雑系数理モデル学. の基礎理論構築:分野横断型科学技術の核 数理工学. 我が国固有の工学 応用のための数学
Page 36: 2011 10 26 - UTokyo OpenCourseWare · Delay − 複雑系数理モデル学. の基礎理論構築:分野横断型科学技術の核 数理工学. 我が国固有の工学 応用のための数学
Page 37: 2011 10 26 - UTokyo OpenCourseWare · Delay − 複雑系数理モデル学. の基礎理論構築:分野横断型科学技術の核 数理工学. 我が国固有の工学 応用のための数学
Page 38: 2011 10 26 - UTokyo OpenCourseWare · Delay − 複雑系数理モデル学. の基礎理論構築:分野横断型科学技術の核 数理工学. 我が国固有の工学 応用のための数学
Page 39: 2011 10 26 - UTokyo OpenCourseWare · Delay − 複雑系数理モデル学. の基礎理論構築:分野横断型科学技術の核 数理工学. 我が国固有の工学 応用のための数学

0

Page 40: 2011 10 26 - UTokyo OpenCourseWare · Delay − 複雑系数理モデル学. の基礎理論構築:分野横断型科学技術の核 数理工学. 我が国固有の工学 応用のための数学
Page 41: 2011 10 26 - UTokyo OpenCourseWare · Delay − 複雑系数理モデル学. の基礎理論構築:分野横断型科学技術の核 数理工学. 我が国固有の工学 応用のための数学
Page 42: 2011 10 26 - UTokyo OpenCourseWare · Delay − 複雑系数理モデル学. の基礎理論構築:分野横断型科学技術の核 数理工学. 我が国固有の工学 応用のための数学

0

32

274 ba =

Page 43: 2011 10 26 - UTokyo OpenCourseWare · Delay − 複雑系数理モデル学. の基礎理論構築:分野横断型科学技術の核 数理工学. 我が国固有の工学 応用のための数学
Page 44: 2011 10 26 - UTokyo OpenCourseWare · Delay − 複雑系数理モデル学. の基礎理論構築:分野横断型科学技術の核 数理工学. 我が国固有の工学 応用のための数学

非線形システムの分岐構造

↓ 分岐解析

1

-1

-1

1 0

Imλ

Reλ

周期倍分岐

サドル・ノード分岐

ホップ(Neimark-Sacker)分岐

)(1)(t))(()1())(()( txftxftxtXF

dttdX ξξ ⋅

∂∂

=+ →=+ →=線形化断面図

ポアンカレ

0

Imλ

Reλ サドル・ノード分岐

ホップ分岐

↓ 線形化

)()( tXF

dttd ξξ

⋅∂∂

=

Rt∈ Zt∈

分岐解析(Bifurcation Analysis)

Page 45: 2011 10 26 - UTokyo OpenCourseWare · Delay − 複雑系数理モデル学. の基礎理論構築:分野横断型科学技術の核 数理工学. 我が国固有の工学 応用のための数学

カハール Santiago Ramón y Cajal (1 May 1852 – 17 October 1934)

Wikipediaより転載(2011/12/20) http://en.wikipedia.org/wiki/File:Cajal-Restored.jpg

Wikipediaより転載(2011/12/20) http://ja.wikipedia.org/wiki/ファイル:Pyramidal_hippocampal_neuron_40x.jpg ‡

Page 46: 2011 10 26 - UTokyo OpenCourseWare · Delay − 複雑系数理モデル学. の基礎理論構築:分野横断型科学技術の核 数理工学. 我が国固有の工学 応用のための数学

著作権の都合により、 ここに挿入されていた画像を削除しました。

Christof Koch, Biophysics of Computation : Information

Processing in Single Neurons. Oxford University Press, 1999 (2004) p.50 Fig. 3.1 “Dendritic Trees of the World”

Page 47: 2011 10 26 - UTokyo OpenCourseWare · Delay − 複雑系数理モデル学. の基礎理論構築:分野横断型科学技術の核 数理工学. 我が国固有の工学 応用のための数学

樹状突起

細胞体 軸索 シナプス 情報処理 伝送

機能モデル

電気パルス 生成

樹状突起

細胞体

軸索小丘

軸索

シナプス ニューロンの模式図

Page 48: 2011 10 26 - UTokyo OpenCourseWare · Delay − 複雑系数理モデル学. の基礎理論構築:分野横断型科学技術の核 数理工学. 我が国固有の工学 応用のための数学

活動電位 A

B

A:しきい値以上の刺激 による活動電位の生成

B:しきい値以下の刺激 に対する応答

VNa

0mV

しきい値 静止電位

VK

神経膜における活動電位生成の非線形過程

Page 49: 2011 10 26 - UTokyo OpenCourseWare · Delay − 複雑系数理モデル学. の基礎理論構築:分野横断型科学技術の核 数理工学. 我が国固有の工学 応用のための数学

A. L. Hodgkin (1914-1998)

A. F. Huxley (1917- )

Page 50: 2011 10 26 - UTokyo OpenCourseWare · Delay − 複雑系数理モデル学. の基礎理論構築:分野横断型科学技術の核 数理工学. 我が国固有の工学 応用のための数学

ヤリイカ神経膜をはさんだ内・外液のイオン構成

神経膜

外液

内液

+ K

K + Na +

Na + Ca 2+

Ca 2+ Mg 2+

Mg 2+

外液中にはNaイオンが多い

内液中にはKイオンが多い

Page 51: 2011 10 26 - UTokyo OpenCourseWare · Delay − 複雑系数理モデル学. の基礎理論構築:分野横断型科学技術の核 数理工学. 我が国固有の工学 応用のための数学

Kチャネル

チャネル

Na

チャネル

Na Kチャネル

外 液

内 液

脂質二重層膜

gNa:非線形なナトリウムコンダクタンス gK:非線形なカリウムコンダクタンス

INa:ナトリウムイオンによる内向きイオン電流 IK:カリウムイオンによる外向きイオン電流

外液

内液

gNa gK gL

VL VK VNa

V C 神経膜

+

等価的な電気回路モデル

INa IK

神経膜の電気回路モデル

ナトリウムイオンNa+を選択的に透過させる

カリウムイオンK+を選択的に透過させる

Page 52: 2011 10 26 - UTokyo OpenCourseWare · Delay − 複雑系数理モデル学. の基礎理論構築:分野横断型科学技術の核 数理工学. 我が国固有の工学 応用のための数学

ここで、

Page 53: 2011 10 26 - UTokyo OpenCourseWare · Delay − 複雑系数理モデル学. の基礎理論構築:分野横断型科学技術の核 数理工学. 我が国固有の工学 応用のための数学

ホジキン-ハクスレイ方程式 (1963年ノーベル医学生理学賞)

Page 54: 2011 10 26 - UTokyo OpenCourseWare · Delay − 複雑系数理モデル学. の基礎理論構築:分野横断型科学技術の核 数理工学. 我が国固有の工学 応用のための数学

A.L.Hodgkin et al., (1977) The Pursuit of Nature: Informal Essays on the History of Physiology. Cambridge University Press, p.19.

A.L.Hodgkin のエッセイ

Finally there was the difficulty of computing the action potentials from the equations which we had developed. We had settled all the equations and constants by March 1951 and hoped to get these solved on the Cambridge University computer. However, before anything could be done we learnt that the computer would be of the air for 6 months or so while it underwent a major modification. Andrew Huxley got us out of that difficulty by solving the differential equations numerically using a hand-operated Brunsviga. The propagated action potential took about three weeks to complete and must have been an enormous labour for Andrew. But it was exciting to see it come out with the right shape and velocity and we began to feel that we had not wasted the many months that we had spent in analysing records.

Page 55: 2011 10 26 - UTokyo OpenCourseWare · Delay − 複雑系数理モデル学. の基礎理論構築:分野横断型科学技術の核 数理工学. 我が国固有の工学 応用のための数学
Page 56: 2011 10 26 - UTokyo OpenCourseWare · Delay − 複雑系数理モデル学. の基礎理論構築:分野横断型科学技術の核 数理工学. 我が国固有の工学 応用のための数学

FitzHugh-Nagumo Equations (R.FitzHugh, 1969; J.Nagumo, S.Arimoto, and S.Yoshizawa, 1962)

ariablerecovery v the: current membrane the: potential membrane the:

where

)(

3

3

WIV

bWaVdt

dW

IWVVdtdV

−+=

+−−=

ε

Page 57: 2011 10 26 - UTokyo OpenCourseWare · Delay − 複雑系数理モデル学. の基礎理論構築:分野横断型科学技術の核 数理工学. 我が国固有の工学 応用のための数学

FHN方程式の解の例。ただし,a=0.7, b=0.8, c=4.0, I=0。(本図は辻繁樹氏による)。

Page 58: 2011 10 26 - UTokyo OpenCourseWare · Delay − 複雑系数理モデル学. の基礎理論構築:分野横断型科学技術の核 数理工学. 我が国固有の工学 応用のための数学

南雲の回路モデル (1962)

Cf: エサキダイオード誕生(1957)

Page 59: 2011 10 26 - UTokyo OpenCourseWare · Delay − 複雑系数理モデル学. の基礎理論構築:分野横断型科学技術の核 数理工学. 我が国固有の工学 応用のための数学

FHN 方程式の電気回路モデル