52
宇宇宇宇宇宇宇宇宇宇宇宇宇 1th 宇宇 宇 @miyayou http://www.facebook.com/youichiro.miyake 2014.6.21

Y miyake kakexun_2014_6_21

Embed Size (px)

DESCRIPTION

KAKEXUN http://www.kakexun.asia/ http://peatix.com/event/39779 向け講演「宇宙は数字のロックンロール」第1回です。

Citation preview

Page 1: Y miyake kakexun_2014_6_21

「宇宙は数字のロックンロール!」 1th

三宅 陽一郎 @miyayouhttp://www.facebook.com/youichiro.miyake

2014.6.21

Page 2: Y miyake kakexun_2014_6_21

自己紹介

京都大学(数学) 大阪大学(原子核実験物理) 東京大学(エネルギー工学 / 人工知能)

高エネルギー加速器研究所(半年ぐらい。修士論文)

Page 3: Y miyake kakexun_2014_6_21

Works (2006-2012)

AI for Game Titles

AI for Books

Page 4: Y miyake kakexun_2014_6_21
Page 5: Y miyake kakexun_2014_6_21

ご質問http://www.facebook.com/youichiro.miyake

Twitter: @miyayou感想・ご質問は メイル twitter や facebook

まで

ゲームAI千夜一夜http://blogai.igda.jp/

三宅陽一郎 論文・講演資料集(4)http://blogai.igda.jp/article/92899318.html

Page 6: Y miyake kakexun_2014_6_21

Books

Precomputed Pathfinding for Large and Detailed Worlds on MMO Servers Fabien Gravot, Takanori Yokoyama, and Youichiro Miyake

http://www.crcpress.com/product/isbn/9781466565968

Table of ContentsGeneral Wisdom~Movement and PathfindingPathfinding Architecture Optimizations Steve Rabin and Nathan SturtevantChoosing a Search Space Representation Nathan R. SturtevantCreating High-Order Navigation Meshes through Iterative Wavefront Edge Expansions D. Hunter Hale and G. Michael YoungbloodPrecomputed Pathfinding for Large and Detailed Worlds on MMO Servers Fabien Gravot, Takanori Yokoyama, and Youichiro MiyakeTechniques for Formation Movement using Steering Circles Stephen BjoreCollision Avoidance for Preplanned Locomotion Bobby AnguelovCrowd Pathfinding and Steering Using Flow Field Tiles Elijah EmersonEfficient Crowd Simulation for Mobile Games Graham PenthenyAnimation-Driven Locomotion with Locomotion Planning Jarosław CiupińskiStrategy and TacticsTactical Position Selection: An Architecture and Query Language Matthew JackTactical Pathfinding on a NavMesh Daniel BrewerBeyond the Kung-Fu Circle: A Flexible System for Managing NPC Attacks Michael DaweHierarchical AI for Multiplayer Bots in Killzone 3 Remco Straatman, Tim Verweij, Alex Champandard, Robert Morcus, and Hylke KleveUsing Neural Networks to Control Agent Threat Response Michael Robbins~

Page 7: Y miyake kakexun_2014_6_21

「宇宙は数字のロックンロール」 1th

三宅 陽一郎2014.5.16

Page 8: Y miyake kakexun_2014_6_21

数学と宇宙編

Page 9: Y miyake kakexun_2014_6_21

宇宙の対称性とその破れ第一章

Page 10: Y miyake kakexun_2014_6_21

初めに言葉ありき

Page 11: Y miyake kakexun_2014_6_21

宇宙の発展       すべては真空から始まる。

真空は何もない状態ではない。真空はエネルギーの「ゆらぎ」を持っている状態。

Page 12: Y miyake kakexun_2014_6_21

宇宙の発展       すべては真空から始まる。

生成演算子( ) * 消滅演算子 ( )

あらゆる瞬間に、宇宙の場では、粒子が生成し消滅している (揺らいでいる)

nana

Page 13: Y miyake kakexun_2014_6_21

物理法則=場の法則• あらゆる物理の基本法則は「場の理論」

として表現される(場の物理学)。• 「場」( Field )とは、宇宙のあらゆる点

で連続的に定義されているもの。

=見えない海のようなもの。海の一点を振動させると、それがどこまでも遠くへ伝播して行く。

Page 14: Y miyake kakexun_2014_6_21

(例)地球(=巨大な磁石)が宇宙に作る磁場

http://orbiterchspacenews.blogspot.jp/2012_10_21_archive.html

Page 15: Y miyake kakexun_2014_6_21

( 例 ) 太陽が作る電磁場

http://theextinctionprotocol.wordpress.com/2013/08/06/nasa-confirms-suns-magnetic-field-is-about-to-flip/

http://www.universetoday.com/71872/amazing-image-map-of-magnetic-field-lines-of-the-sun/

Page 16: Y miyake kakexun_2014_6_21

( 例 )  重力場

http://www2.ifa.hawaii.edu/newsletters/article.cfm?a=536

Page 17: Y miyake kakexun_2014_6_21

(例)オーロラ=地球の磁場と太陽粒子

http://phys.org/news/2014-06-red-dwarf-planets-hostile-space.htmlhttp://earthobservatory.nasa.gov/IOTD/view.php?id=6226

Page 18: Y miyake kakexun_2014_6_21

物理法則=場の法則• あらゆる物理の基本法則は「場の理論」とし

て表現される。• 「場」( Field )とは、宇宙のあらゆる点で連

続的に定義されているもの。

=見えない海のようなもの。海の一点を振動させると、それがどこまでも遠くへ伝播して行く。宇宙は場で満たされていて、力は波として伝わり、粒子は場の励起(振動)として表現される。

Page 19: Y miyake kakexun_2014_6_21

宇宙に満たされる場の種類

http://w3.kcua.ac.jp/~fujiwara/cosmos/cosmology/cosmology.html

Page 20: Y miyake kakexun_2014_6_21

あらゆる物理法則は対称性を持つ

Page 21: Y miyake kakexun_2014_6_21

円の対称性

円には対称性がある。

Page 22: Y miyake kakexun_2014_6_21

円の対称性

円には対称性がある。

= 円状の全ての点を一斉に   任意角度を回転させても、   形が変わらない

数学では SO (2)の対称性という。

回転前 

(x, y) → (X, Y)

回転後  

122 yx

122 YX

y

x

Y

X

cossin

sincos

Page 23: Y miyake kakexun_2014_6_21

対称性

円には対称性がある。

= 円状の全ての点を一斉に   任意角度を回転させても、   形が変わらない

数学では SO (2)の対称性という。

回転前 

(x, y) → (X, Y)

回転後  

122 yx

122 YX

y

x

Y

X

cossin

sincos

Page 24: Y miyake kakexun_2014_6_21

球の対称性

球には対称性がある。

Page 25: Y miyake kakexun_2014_6_21

対称性

球には対称性がある。

= 球内の全ての点を一斉に   任意の軸を中心に、  任意角度を回転させても、   形が変わらない

数学では SO (3)の対称性という。

回転前 

(x, y) → (X, Y, Z)

回転後  

1333 zyx

1333 ZYX

Page 26: Y miyake kakexun_2014_6_21

対称性を表す言葉

  SO(2) … 2次元回転対称性 (円対称性) SO(3) … 3次元回転対称性 (球対称性)  SU(1) … 複素数空間における回転対称性  SU(2) … 複素二次元空間における回転対称性 …. 群の言葉によって表現される  いろいろな対称性がある。

群 (Group)

Page 27: Y miyake kakexun_2014_6_21

あらゆる物理法則は対称性を持つ=あらゆる「場」は対称性を持つ

SU(2) xU(1)

SU(3) x SU(2) xU(1)

ワインバーク=サラム理論(電弱統一理論)ヤン=ミルズ場

標準理論(統一理論)

宇宙の発展

http://w3.kcua.ac.jp/~fujiwara/cosmos/cosmology/cosmology.html

Page 28: Y miyake kakexun_2014_6_21

宇宙の発展=場の進化=場の分岐

SU(2) xU(1)

SU(3) x SU(2) xU(1)

ワインバーク=サラム理論(電弱統一理論)ヤン=ミルズ場

標準理論(統一理論)

宇宙の発展

宇宙は発展と共に、高い対称性から低い対称性へと移って来た。現在、宇宙は異なる4つの場で満たされている。

http://w3.kcua.ac.jp/~fujiwara/cosmos/cosmology/cosmology.html

Page 29: Y miyake kakexun_2014_6_21

重力場=大きなスケール電磁場=小さいスケール

弱い力、強い力=量子スケール

http://blogs.yahoo.co.jp/hyper_kurakura/16328003.html江尻宏泰「ビックリするほど素粒子のわかる本」からの引用

力によって有効距離がぜんぜん違う。 ( 結合定数の違い )

北海道大学 素粒子論研究室http://www.ep.sci.hokudai.ac.jp/~cosmo/member/02.htm

Page 30: Y miyake kakexun_2014_6_21

宇宙の発展=場の進化=場の分岐

SU(2) xU(1)

SU(3) x SU(2) xU(1)

ワインバーク=サラム理論(電弱統一理論)ヤン=ミルズ場

標準理論(統一理論)

宇宙の発展

宇宙の冷却と共に、自然に高い対称性が低い対称性へ移って行く。

これを「自発的対称性の破れ」と言う。 (Spontaneous Symmetry Breaking)

http://w3.kcua.ac.jp/~fujiwara/cosmos/cosmology/cosmology.html

Page 31: Y miyake kakexun_2014_6_21

自発的対称性の破れ(Spontaneous Symmetry Breaking)

高い対称性

低い対称性

低い対称性

低い対称性

はじめに言葉ありき。ちょうどバベルの塔のように、最初には一つの高い対称性があった。しかし、それが分岐して、それぞれ違う対称性になって、その対称性は違うそれぞれの対象のスケールでしか観測できない。

Page 32: Y miyake kakexun_2014_6_21

ネーターの定理• 対称性があれば保存量がある。

円には対称性がある。

= 円状の全ての点を一斉に   任意角度を回転させても、   形が変わらない

= 半径は変化しない。数学では SO (2)の対称性という。

Page 33: Y miyake kakexun_2014_6_21

ネーターの定理

http://ja.wikipedia.org/wiki/ 対称性 _( 物理学 )

Page 34: Y miyake kakexun_2014_6_21

ネーターの定理

http://ja.wikipedia.org/wiki/ 対称性 _( 物理学 )

対称性 保存量

Page 35: Y miyake kakexun_2014_6_21

(余談)粒子、反粒子• 粒子に対して、反粒子が存在する。 Dirac

によって予言された。• はじめて版権された粒子とは陽電子で

あった。これは宇宙線の中から、アンダーソンによって観測された。

• 光子の反粒子は光子そのものである。

Page 36: Y miyake kakexun_2014_6_21

(余談)宇宙の晴れ上がり• 宇宙の晴れ上がりとは、それまで電子に捕獲されていた光子の平均移動距離が長くなった時点を言う。

http://blog.goo.ne.jp/astro0720/e/6c5fd72ed1b864d7ba9d0dcb3d6d7400

Page 37: Y miyake kakexun_2014_6_21

(余談)物理学の体系• 古典力学は特殊相対性理論、量子力学、流体力学、統計力学という大きな枠組みを作り出した。

• そこからは、そのフレームの中で、どんな物理学を構築するか、ということ。

• 例えば、あらゆる物理学は相対論的要請を満たさなければならない、ということは、ローレンツ変換に対して不変であるように、記述せねばならないということ。

Page 38: Y miyake kakexun_2014_6_21

数の世界の拡張第二章

Page 39: Y miyake kakexun_2014_6_21

数の世界の拡張• 自然数 1,2,3…• 整数 … -3, -2 -1, 0 , 1, 2, 3, …• 無理数 √ 2, √3…  …-√ 5• 実数 = 自然数と無理数• 複素数 0.2+ 0.3 i (ii = -1)• 四元数  0.1 + 3.4 I + 8.3 j + 2.3 k  • 行列

cossin

sincos

Page 40: Y miyake kakexun_2014_6_21

複素数• A+bi のかたちの数 i*i =-1 • (2+3i)* (3+4i) = 2*3+3*3i+ 2*4i+3*4*i*I = 6 +9i +8i+3*4*(-1) = -6+17i

複素数*複素数 = 複素数 複素数 / 複素数  = 複素数複素数+複素数 = 複素数

複素数という数のグループがある、実数よりももっと広い。複素数同士は足してもかけても割っても複素数で閉じる。

このグループのことを数学では体といいます。複素数体。

Page 41: Y miyake kakexun_2014_6_21

四元数(しげんすう)• A + Bi+Cj+Dk の形。

• 四元数*四元数 = 四元数• 四元数 / 四元数 = 四元数• 四元数+四元数 = 四元数

四元数という数のグループがある、実数よりももっと広い。四元数同士は足してもかけても割っても複素数で閉じる。

1 i j k

1 1 i j k

i i -1 k -j

j j -k -1 i

k k j -i -1

このグループのことを数学では体といいます。四元数体。

Page 42: Y miyake kakexun_2014_6_21

数の世界の拡張• 自然数 1,2,3…• 整数 … -3, -2 -1, 0 , 1, 2, 3, …• 無理数 √ 2, √3…  …-√ 5• 実数 = 自然数と無理数• 複素数 0.2+ 0.3 i (ii = -1)• 四元数 0.1 + 3.4 i + 8.3 j + 2.3 k• 行列

cossin

sincos

Page 43: Y miyake kakexun_2014_6_21

数の世界の拡張• 自然数 1,2,3…• 整数 … -3, -2 -1, 0 , 1, 2, 3, …• 無理数 √ 2, √3…  …-√ 5• 実数 = 自然数と無理数• 複素数 0.2+ 0.3 i (ii = -1)• 四元数 0.1 + 3.4 i + 8.3 j + 2.3 k• 行列

可換世界

非可換世界

cossin

sincos

Page 44: Y miyake kakexun_2014_6_21

可換世界・非可換世界可換世界=かけ算の順番を変えても順番が変わらない。  2*3=3*2=6, (2+3i)* (3+4i)=(3+4i)*(2+3i)=6+17i

非可換世界  A * B と  B* A の結果が違う。

Page 45: Y miyake kakexun_2014_6_21

可換世界・非可換世界可換世界=かけ算の順番を変えても順番が変わらない。  2*3=3*2=6, (2+3i)* (3+4i)=(3+4i)*(2+3i)=6+17i

非可換世界  A * B と  B* A の結果が違う。

r

量子力学の世界

Page 46: Y miyake kakexun_2014_6_21

スケール

人間(~1m)は極大と極小のだいたい中間にある。

Page 47: Y miyake kakexun_2014_6_21

スケール

量子力学

現代化学

古典化学

原子核物理

古典力学

特殊相対性理論

一般相対性理論

Page 48: Y miyake kakexun_2014_6_21

スケール

量子力学

現代化学

古典化学

原子核物理

古典力学

特殊相対性理論

一般相対性理論

古典方程式の世界行列力学の世界

非可換世界 可換世界

Page 49: Y miyake kakexun_2014_6_21

行列代数

四元数

複素数

実数有理数自然数

数から表現へ

非可換世界

可換世界

Page 50: Y miyake kakexun_2014_6_21

数と認識、物理学理論• 数という概念は人間の世界観そのものを変

化させて行く。• 物理学の理論も、数の概念の拡張と共に

あった。• ほとんどの場合、数学が先を行った後に、

  物理学でそれを用いる。• 数学がその時代の物理学に先んじて用意さ

れているのは、不思議なことだ。

Page 51: Y miyake kakexun_2014_6_21

そして、 KAKEXUN へ。数は数だけでない。拡張している。

そして、数の拡張は時間差で物理学と同期する。

数字と数学によって世界を躍動させよう!

Page 52: Y miyake kakexun_2014_6_21

次回予告。• 非線形現象• 力学系• 対称性と変換群• 音楽と数学• 経済学と複雑系• 眠りの中のリズム• 言語の発生• 雲の生成• 自動星系生成• 精神の力動と力学系• 群知能• さまざまな数• 知能の予測と暗算• シミュレーションと予測 • 主観的数学