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
620
Other Decks in Education
See All in Education
新卒交流ワークショップ
pokotyamu
0
420
登壇未経験者のための登壇戦略~LTは設計が9割!!!~
masakiokuda
2
500
JPCERTから始まる草の根活動~セキュリティ文化醸成のためのアクション~
masakiokuda
0
180
Visualisation Techniques - Lecture 8 - Information Visualisation (4019538FNR)
signer
PRO
0
2.4k
教員向け生成AI基礎講座(2025年3月28日 東京大学メタバース工学部 ジュニア講座)
luiyoshida
1
560
SkimaTalk Tutorial for Students
skimatalk
0
1.8k
社外コミュニティと「学び」を考える
alchemy1115
2
170
Data Management and Analytics Specialisation
signer
PRO
0
1.4k
計算情報学研究室 (数理情報学第7研究室)紹介スライド (2025)
tomonatu8
0
520
AIの時代こそ、考える知的学習術
yum3
2
160
今も熱いもの!魂を揺さぶる戦士の儀式:マオリ族のハカ
shubox
0
210
SkimaTalk Tutorial for Corporate Customers
skimatalk
0
280
Featured
See All Featured
Speed Design
sergeychernyshev
32
1k
Fashionably flexible responsive web design (full day workshop)
malarkey
407
66k
CoffeeScript is Beautiful & I Never Want to Write Plain JavaScript Again
sstephenson
161
15k
Documentation Writing (for coders)
carmenintech
72
4.9k
ReactJS: Keep Simple. Everything can be a component!
pedronauck
667
120k
Helping Users Find Their Own Way: Creating Modern Search Experiences
danielanewman
29
2.7k
個人開発の失敗を避けるイケてる考え方 / tips for indie hackers
panda_program
107
19k
Building Applications with DynamoDB
mza
95
6.5k
Building an army of robots
kneath
306
45k
Bash Introduction
62gerente
614
210k
Improving Core Web Vitals using Speculation Rules API
sergeychernyshev
17
950
CSS Pre-Processors: Stylus, Less & Sass
bermonpainter
357
30k
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 } ͷఆ͔ٛΒ໌Β͔Ͱ͢ɻ