Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
On Space Filling Curves: Its Beauty and Applica...
Search
cannorin
July 25, 2019
Science
0
270
On Space Filling Curves: Its Beauty and Applications
cannorin
July 25, 2019
Tweet
Share
More Decks by cannorin
See All by cannorin
AltJS を作るなら型変換を入れた方がいい
cannorin
0
1.3k
A Journey to Type-safe Vectors in F#
cannorin
6
11k
Audio Experience is greatly improved in VR: A Worked Example
cannorin
0
1.6k
TidalCycles - Haskell meets Music
cannorin
0
1.4k
Making Indian Curries - at Home!
cannorin
2
1.5k
A brief introduction to type inference
cannorin
4
2.3k
Other Decks in Science
See All in Science
01_篠原弘道_SIPガバニングボード座長_ポスコロSIPへの期待.pdf
sip3ristex
0
540
Online Feedback Optimization
floriandoerfler
0
2.3k
統計学入門講座 第1回スライド
techmathproject
0
360
Explanatory material
yuki1986
0
330
データベース12: 正規化(2/2) - データ従属性に基づく正規化
trycycle
PRO
0
670
マウス肝炎ウイルス感染の遺伝子発現へのテンソル分解の適用によるSARS-CoV-2感染関連重要ヒト遺伝子と有効な薬剤の同定
tagtag
0
120
データベース09: 実体関連モデル上の一貫性制約
trycycle
PRO
0
700
A Guide to Academic Writing Using Generative AI - A Workshop
ks91
PRO
0
120
データベース11: 正規化(1/2) - 望ましくない関係スキーマ
trycycle
PRO
0
660
機械学習 - SVM
trycycle
PRO
1
850
統計学入門講座 第4回スライド
techmathproject
0
150
Factorized Diffusion: Perceptual Illusions by Noise Decomposition
tomoaki0705
0
390
Featured
See All Featured
Design and Strategy: How to Deal with People Who Don’t "Get" Design
morganepeng
130
19k
10 Git Anti Patterns You Should be Aware of
lemiorhan
PRO
657
60k
The Language of Interfaces
destraynor
158
25k
Bash Introduction
62gerente
614
210k
Statistics for Hackers
jakevdp
799
220k
Connecting the Dots Between Site Speed, User Experience & Your Business [WebExpo 2025]
tammyeverts
5
260
Making the Leap to Tech Lead
cromwellryan
134
9.4k
Building Better People: How to give real-time feedback that sticks.
wjessup
367
19k
Performance Is Good for Brains [We Love Speed 2024]
tammyeverts
10
950
Being A Developer After 40
akosma
90
590k
Principles of Awesome APIs and How to Build Them.
keavy
126
17k
Why Our Code Smells
bkeepers
PRO
337
57k
Transcript
VRCLT #3 空間充填曲線,その魅力と意義 cannorin
だれ • Twitter: @cannorin_vrc • Study: 数理論理学 プログラム言語の理論 • Job:
F# プログラマ • in VRC: VOLT Enthusiast VRCLT Speaker (#2~)
空間充填曲線とは ペアノ曲線 (0) ヒルベルト曲線 (1)
空間充填曲線とは(再帰的に細かくしていく) ペアノ曲線 (1) ヒルベルト曲線 (2)
空間充填曲線とは(再帰的に細かくしていく) ペアノ曲線 (2) ヒルベルト曲線 (3)
空間充填曲線とは(再帰的に細かくしていく) ペアノ曲線 (3) ヒルベルト曲線 (4)
空間充填曲線とは → 空間を充填する曲線(それはそう) ペアノ曲線 (∞) ヒルベルト曲線 (∞)
空間充填曲線とは / 一般化 n 次元への一般化もできる(これは 3D ヒルベルト曲線)
空間充填曲線とは / 定義 n 次元の単位(超)立方体を “埋め尽くす”(一次元の)曲線 ↓ 形式的には (一次元の)単位区間 [0,
1] から n 次元の単位(超)立方体 [0, 1]ⁿ への連続写像
なぜ埋め尽くせるのか? ゲオルク・カントール (1845 - 1918) 実数 ℝ の濃度と n- 次元ユークリッド空間
ℝ ⁿ の 濃度は等しい + ( non-degenerate な)区間 (単位区間 [0, 1] など)も等しい
なぜ埋め尽くせるのか? / 濃度とは? 全単射が存在(=1対1対応を作れる)⇔ 濃度が等しい 「濃度」=「要素の個数」概念の一般化(無限もOK) |X| = |Y| (
ちなみに |ℝ| > |ℕ| )
なぜ埋め尽くせるのか? ゲオルク・カントール (1845 - 1918) | [0, 1] | =
|ℝ| = |ℝⁿ| [0, 1] ℝ と と ℝ ⁿ の間の全単射の存在を証明
なぜ埋め尽くせるのか? ジュゼッペ・ペアノ (1858 - 1932) 全単射が存在するなら, 連続にできるのだろうか? || 空間を一本の曲線で 埋め尽くせるのだろうか?
なぜ埋め尽くせるのか? ジュゼッペ・ペアノ (1858 - 1932) → 全単射にはならなかったが,埋め尽くせた! (ペアノ曲線)
なぜ全単射にならない? ℝ と ℝ ² は同相ではない ↓ 一点を取り除く 分離する→ ←
分離しない
なぜ全単射にならない? 一点を取り除いても分離しない ⇔ 自己交叉がある ⇔ 同じ点を何度も通る場所がある ⇔ 単射ではない! ※ 詳しくは解析学や位相空間論の知識が必要.
A.P.M Kupers, On Space-Filling Curves and the Hahn-Mazurkiewicz Theorem とか参照 ↑ 実は自己交叉してる
おもしろい応用例が色々ある • Google Maps のキャッシュの最適化 • 巡回セールスマン問題の高速なヒューリスティック手法 • 小型で高性能なアンテナの設計 •
大規模並列計算のロードバランシング • 衝突判定やレイトレーシングの高速化 • etc...
応用 / Bounding Volume Hierarchy 物体同士の衝突判定や,物体とレイの交差判定を効率化する ために,近くにある物体同士をグループ化して扱いたい 二分木にする → 判定回数を減らせる:
O(n) → O(log n)
応用 / Bounding Volume Hierarchy / 二分木構築の高速化 近くにある物体同士を検出して二分木を作るのが大変 → 空間充填曲線を使って走査する
空間充填曲線は右から左へと 走査するのに比べて, 平面上で近くにあるものが 直線上でも近くになりやすい → 順番に辿ればOK!
応用 / 空間充填曲線の locality 「平面上で近くにあるものが直線上でも近くになりやすい」 性質 (locality) が様々な分野に応用しやすい 実装が楽なのでヒルベルト曲線がよく使われるが, 使う曲線によって効率化の度合いが変わることもある
ところで・・・ 今回のスライドで使われている空間充填曲線の画像は, 私が所属している「株式会社ぺあのしすてむ」で 業務の一環として開発しているスマホアプリ 「 Peano Curves 」で作成されています ・現在オープンベータテスト中 ・アプリ名
: Peano Curves ・対応 OS: iOS/Android ・公式 Twitter: @PeanoCurves
Thank you for listening!