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
180
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
150
n^k/a^n
poyo
0
200
ABC 041 D 徒競走
poyo
0
400
ARC 050 B 花束
poyo
0
630
Other Decks in Education
See All in Education
SARA Annual Report 2024-25
sara2023
1
180
Are puppies a ranking factor?
jonoalderson
0
870
SkimaTalk Tutorial for Students
skimatalk
0
1.8k
Webリテラシー基礎
takenawa
0
6.7k
AIの時代こそ、考える知的学習術
yum3
2
170
Human-AI Interaction - Lecture 11 - Next Generation User Interfaces (4018166FNR)
signer
PRO
0
470
2025/06/05_読み漁り学習
nag8
0
150
Common STIs in London: Symptoms, Risks & Prevention
medicaldental
0
130
計算情報学研究室 (数理情報学第7研究室)紹介スライド (2025)
tomonatu8
0
540
技術文章を書くための執筆技術と実践法(パラグラフライティング)
hisashiishihara
18
6.5k
小さなチャレンジが生んだチームの大きな変化 -私のふりかえり探求の原点
callas1900
0
550
人になにかを教えるときに考えていること(2025-05版 / VRC-LT #18)
sksat
4
1k
Featured
See All Featured
The Cost Of JavaScript in 2023
addyosmani
51
8.5k
How to Think Like a Performance Engineer
csswizardry
25
1.7k
Reflections from 52 weeks, 52 projects
jeffersonlam
351
20k
RailsConf & Balkan Ruby 2019: The Past, Present, and Future of Rails at GitHub
eileencodes
138
34k
Unsuck your backbone
ammeep
671
58k
I Don’t Have Time: Getting Over the Fear to Launch Your Podcast
jcasabona
32
2.4k
Code Reviewing Like a Champion
maltzj
524
40k
Distributed Sagas: A Protocol for Coordinating Microservices
caitiem20
331
22k
XXLCSS - How to scale CSS and keep your sanity
sugarenia
248
1.3M
Optimising Largest Contentful Paint
csswizardry
37
3.3k
10 Git Anti Patterns You Should be Aware of
lemiorhan
PRO
656
60k
Building Adaptive Systems
keathley
43
2.7k
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 } ͷఆ͔ٛΒ໌Β͔Ͱ͢ɻ