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
200
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
640
Other Decks in Education
See All in Education
AWSと共に英語を学ぼう
amarelo_n24
0
150
”育てる”から”育つ”仕組みへ!スクラムによる新入社員教育
arapon
0
150
万博マニアックマップを支えるオープンデータとその裏側
barsaka2
0
820
2025年度春学期 統計学 第9回 確からしさを記述する ー 確率 (2025. 6. 5)
akiraasano
PRO
0
150
Sponsor the Conference | VizChitra 2025
vizchitra
0
620
バックオフィス組織にも「チームトポロジー」の考えが使えるかもしれない!!
masakiokuda
0
130
生態系ウォーズ - ルールブック
yui_itoshima
1
250
Case Studies and Course Review - Lecture 12 - Information Visualisation (4019538FNR)
signer
PRO
1
2.1k
教える側は、初学者に谷越えまで伴走すべき(ダニング・クルーガー効果からの考察)
hysmrk
3
140
技術勉強会 〜 OAuth & OIDC 入門編 / 20250528 OAuth and OIDC
oidfj
5
1.8k
[FUN Open Campus 2025] 何でもセンシングしていいですか?
pman0214
0
240
中間活動報告会 人材育成WG・技術サブWG / 20250808-oidfj-eduWG-techSWG
oidfj
0
650
Featured
See All Featured
The Cult of Friendly URLs
andyhume
79
6.6k
The Straight Up "How To Draw Better" Workshop
denniskardys
236
140k
Art, The Web, and Tiny UX
lynnandtonic
303
21k
For a Future-Friendly Web
brad_frost
180
9.9k
Sharpening the Axe: The Primacy of Toolmaking
bcantrill
44
2.5k
Making the Leap to Tech Lead
cromwellryan
135
9.5k
Let's Do A Bunch of Simple Stuff to Make Websites Faster
chriscoyier
507
140k
Embracing the Ebb and Flow
colly
87
4.8k
Side Projects
sachag
455
43k
Distributed Sagas: A Protocol for Coordinating Microservices
caitiem20
333
22k
Bootstrapping a Software Product
garrettdimon
PRO
307
110k
The Pragmatic Product Professional
lauravandoore
36
6.9k
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 } ͷఆ͔ٛΒ໌Β͔Ͱ͢ɻ