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
continuity
Search
poyo
May 27, 2017
Education
0
170
continuity
poyo
May 27, 2017
Tweet
Share
More Decks by poyo
See All by poyo
Extended Euclidean algorithm
poyo
0
190
Chinese Remainder Theorem
poyo
0
140
CoordinateTransformation
poyo
0
140
n^k/a^n
poyo
0
200
ABC 041 D 徒競走
poyo
0
390
ARC 050 B 花束
poyo
0
620
Other Decks in Education
See All in Education
Gaps in Therapy in IBD - IBDInnovate 2025 CCF
higgi13425
0
150
Info Session MSc Computer Science & MSc Applied Informatics
signer
PRO
0
130
環境・社会理工学院 建築学系 大学院入試について|Science Tokyo(東京科学大学)
sciencetokyo
PRO
0
520
Ch4_-_Partie_2.pdf
bernhardsvt
0
120
【2024 DojoCon】懇親会LT
teba_eleven
0
120
(元)教育担当がお伝えする、若手社員が成長しまくるOJTポイント
masakiokuda
0
260
Human Perception and Colour Theory - Lecture 2 - Information Visualisation (4019538FNR)
signer
PRO
0
2.4k
プログラミング教育する大学、ZEN大学
sifue
1
390
Ilman kirjautumista toimivia sovelluksia
matleenalaakso
1
20k
プロダクト部門のマネージャー全員でマネジメントポリシーを宣言した記録_-_EMConf_JP_2025.2.27.pdf
stanby_inc
1
1.8k
保育士チームが実践している連続的な観察と多面的な観察を共有するための振り返り / Reflection to share “continuous and multifaceted observations” as practiced by a team of childcare professionals
psj59129
0
3.8k
A Chatbot is Not a Search Engine (it's more like a roleplaying game)
dsalo
0
230
Featured
See All Featured
Put a Button on it: Removing Barriers to Going Fast.
kastner
60
3.8k
Let's Do A Bunch of Simple Stuff to Make Websites Faster
chriscoyier
507
140k
How to Create Impact in a Changing Tech Landscape [PerfNow 2023]
tammyeverts
51
2.4k
Become a Pro
speakerdeck
PRO
27
5.2k
[RailsConf 2023 Opening Keynote] The Magic of Rails
eileencodes
28
9.4k
Build The Right Thing And Hit Your Dates
maggiecrowley
34
2.6k
Visualizing Your Data: Incorporating Mongo into Loggly Infrastructure
mongodb
45
9.5k
Code Review Best Practice
trishagee
67
18k
Stop Working from a Prison Cell
hatefulcrawdad
268
20k
Bash Introduction
62gerente
611
210k
Scaling GitHub
holman
459
140k
RailsConf 2023
tenderlove
29
1k
Transcript
ྻͷۃݶͱؔͷۃݶ May 27, 2017
f a ΛؚΉ͋Δ۠ؒͰఆٛ͞Ε͍ͯΔؔͱ͠·͢ɻ͜ͷͱ ͖ f ͕ a Ͱ࿈ଓͰ͋Δ͜ͱɺͭ·Γ lim
x→a f(x) = f(a) ͕ΓཱͭͨΊͷඞཁे݅ lim n→∞ xn = a ͱͳΔશͯͷྻ {xn } ʹରͯ͠ lim n→∞ f(xn) = f(a) Ͱ͋Δ͜ͱΛূ໌͠·͢ɻ
ඞཁੑ lim x→a f(x) = f(a) ͱ͠·͢ɻͭ·Γɺ ∀ε, ∃δ (|x
− a| < δ ⇒ | f(x) − f(a)| < ε) ͕Γཱͭͱ͠·͢ɻ·ͨɺxn → a ΑΓ ∀ε1 , ∃N (N < n ⇒ |xn − a| < ε1) ͕Γཱ͍ͬͯ·͢ɻε1 ҙͳͷͰɺಛʹ্ͷࣜͷ δ ʹରͯ͠ ε1 = δ ͱ͢Δͱ ∀ε, ∃δ, ∃N (N < n ⇒ |xn − a| < δ ⇒ | f(xn) − f(a)| < ε) ͕ΓཱͭͷͰඞཁੑ͕ݴ͑·ͨ͠ɻ1 1{xn } a ʹऩଋ͍ͯ͠ΕΑ͍͚ͩͳͷͰɺҙͰ͢ɻ
ेੑ ͍͠ͷͰରۮ lim x→a f(x) f(a) ͳΒ lim n→∞ xn
= a ͕ͩ lim n→∞ f(xn) f(a) ͳΔ {xn } ͕ଘࡏ͢Δ Λࣔ͠·͢ɻ
ेੑ f a Ͱ࿈ଓͰͳ͍ͷͰ ∃ε1 , ∀δ, ∃x (|x
− a| < δ, |f(x) − f(a)| ≥ ε1) ͕Γཱ͍ͬͯ·͢ɻδ ҙͳͷͰɺͨͱ͑ δ = 1, 1/2, . . . , 1/n, . . . ʹରͯͦ͠ΕͧΕଘࡏ͢Δ x Λॱʹ x1 , x2 , . . . , xn , . . . ͱͯ͠ {xn } ΛఆΊ·͢ɻ2 ͜ͷͱ͖ɺ lim n→∞ xn = a lim n→∞ f(xn) f(a) ͕Γཱͪ·͢ɻҎԼʹ͜ΕΛࣔ͠·͢ɻ 2ແݶݸબͿͷ͜Θ͍Ͱ͕͢ɺେৎͩͱ৴͡·͢ɻ
ेੑ ·ͣɺN Λ N > 1/ε ʹͱΕ ∀ε, ∃N (N
< n ⇒ |xn − a| < ε) ͕Γཱͪ·͢ɻ࣮ࡍɺ{xn } ͷఆٛʹΑͬͯશͯͷ n ʹରͯ͠ |xn − a| < 1/n ͳͷͰ |xn − a| < 1 n < 1 N < ε Ͱ͢ɻ࣍ʹɺε = ε1 ͱ͢Ε ∃ε, ∀N (N < n, |f(xn) − f(a)| ≥ ε) ͕Γཱͪ·͢ɻ͜Ε {xn } ͷఆ͔ٛΒ໌Β͔Ͱ͢ɻ