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
ポッキー数列の加法定理 / Pocky number additon theorem
Search
Atom
November 11, 2019
Education
0
210
ポッキー数列の加法定理 / Pocky number additon theorem
Atom
November 11, 2019
Tweet
Share
More Decks by Atom
See All by Atom
文献紹介 / Structure-based Knowledge Tracing: An Influence Propagation View
roraidolaurent
0
88
文献紹介 / Knowledge Tracing with GNN
roraidolaurent
0
92
文献紹介 / Non-Intrusive Parametric Reduced Order Models withHigh-Dimensional Inputs via Gradient-Free Active Subspace
roraidolaurent
0
55
ニューラルネットワークのベイズ推論 / Bayesian inference of neural networks
roraidolaurent
1
2.8k
Graph Convolutional Networks
roraidolaurent
0
230
文献紹介 / A Probabilistic Annotation Model for Crowdsourcing Coreference
roraidolaurent
0
65
文献紹介Deep Temporal-Recurrent-Replicated-Softmax for Topical Trends over Time
roraidolaurent
0
96
文献紹介/ Bayesian Learning for Neural Dependency Parsing
roraidolaurent
0
120
Scalable Bayesian Learning of Recurrent Neural Networks for Language Modeling
roraidolaurent
1
140
Other Decks in Education
See All in Education
子どものためのプログラミング道場『CoderDojo』〜法人提携例〜 / Partnership with CoderDojo Japan
coderdojojapan
4
16k
Dashboards - Lecture 11 - Information Visualisation (4019538FNR)
signer
PRO
1
2k
SkimaTalk Tutorial for Corporate Customers
skimatalk
0
280
미국 교환학생 가서 무료 홈스테이 살면서 인턴 취업하기
maryang
0
110
Virtual and Augmented Reality - Lecture 8 - Next Generation User Interfaces (4018166FNR)
signer
PRO
0
1.7k
人になにかを教えるときに考えていること(2025-05版 / VRC-LT #18)
sksat
4
1k
IMU-00 Pi
kanaya
0
370
Linuxのよく使うコマンドを解説
mickey_kubo
1
140
バックオフィス組織にも「チームトポロジー」の考えが使えるかもしれない!!
masakiokuda
0
110
Gamified Interventions for Composting Behavior: A Case Study Using the Gamiflow Framework in a Workplace Setting
ezefranca
1
120
Course Review - Lecture 12 - Next Generation User Interfaces (4018166FNR)
signer
PRO
0
1.7k
2025/06/05_読み漁り学習
nag8
0
140
Featured
See All Featured
Let's Do A Bunch of Simple Stuff to Make Websites Faster
chriscoyier
507
140k
Raft: Consensus for Rubyists
vanstee
140
7k
Thoughts on Productivity
jonyablonski
69
4.7k
No one is an island. Learnings from fostering a developers community.
thoeni
21
3.3k
The Psychology of Web Performance [Beyond Tellerrand 2023]
tammyeverts
48
2.9k
Visualizing Your Data: Incorporating Mongo into Loggly Infrastructure
mongodb
46
9.6k
Adopting Sorbet at Scale
ufuk
77
9.4k
Rails Girls Zürich Keynote
gr2m
94
14k
A better future with KSS
kneath
239
17k
個人開発の失敗を避けるイケてる考え方 / tips for indie hackers
panda_program
107
19k
Distributed Sagas: A Protocol for Coordinating Microservices
caitiem20
331
22k
Dealing with People You Can't Stand - Big Design 2015
cassininazir
367
26k
Transcript
1PDLZ OVNFSJDBMTFRVFODF 3FQVOJU OVNCFS`T BEEJUJPOUIFPSFN # &OHMJTI4FNJOBS /BHBPLB 6OJWFSTJUZ
PG 5FDIOPMPHZ "UPN :PTIJ[BXB
$POUFOUT *OUSPEVDUJPO (2) What is Pocky (Repunit) number ?
1PDLZ OVNCFS`T CBTJDUIFPSFN 1PDLZ OVNCFS`TBEEJUJPOUIPSFN $PODMVTJPO
5PEBZ /PWJT1PDLZ EBZ #ZUIFXBZ %PZPVLOPXBEEJUJPOUIFPSFN sin + = sin
cos + cos sin cos + = cos cos − sin sin 3 *OUSPEVDUJPO
'JCPOBDDJOVNCFS ,-. = ,-/ + , , 1 = 0,
/ = 1, . = 1, ⋯ 'JCPOBDDJOVNCFS`TBEEJUJPOUIFPSFN 5-6 = 5-/ 6 + 5 67/ &Y8 = /-9 = / : + . 9 = 1 ; 2 + 1 ; 3 = 5 4 *OUSPEVDUJPO
1PDLZ(Repunit) OVNCFS @A/1,, = , %FDJNBMTZTUFN 1 = 0, /
= 1, . = 11, : = 111, 9 = 1111, *TUIFSF1PDLZ OVNCFS`TBEEJUJPOUIFPSFN 5-6 = ? 5 *OUSPEVDUJPO
m n 0 1 2 3 4 5 10 0
1 11 111 1111 11111 9 0 1 10 91 820 820+9^4 8 0 1 9 73 585 585+8^4 7 0 1 8 57 400 400+7^4 6 0 1 7 43 256 256+6^4 5 0 1 6 31 156 156+5^4 4 0 1 5 21 85 341 3 0 1 4 13 40 121 2 0 1 3 7 15 31 1 0 1 2 3 4 5 6 What is Pocky (Repunit) number ? @,, (Ex. @A.,,A. = (11). = 3)
@,,-/ = @,, + , (@,,A1 = 0) @,, =
I JA1 ,7/ J = , − 1 − 1 , ∈ ℕ lim ,→Q @,,-/ @,, = , lim @→Q @-/,, @,, = 1 7 1PDLZ OVNCFS`T CBTJDUIFPSFN
@,,-. = @,,-/ + ,-/ = @,,-/ + (@,,-/ −
@,, ) R @,,-/ = 0 ; @,, + 1 ; @,,-/ @,,-. = −@,, + 1 + @,,-/ @,,-/ @,,-. = 0 1 − 1 + @,, @,,-/ 8 1PDLZ OVNCFS`TBEEJUJPOUIPSFN
@,, = @,, @,,-/ , ℛ = 0 1 −
1 + @,, = ℛ,@,,A1 @,,A1 = 0 1 9 1PDLZ OVNCFS`TBEEJUJPOUIPSFN
ℛ, = @,, = @,, @,,-/ = ℛ,@,,A1 = 0
1 = @,,7/ = ℛ,7/@,,A1 = ℛ,ℛ7/@,,A1 = − 1 0 = − 1 10 1PDLZ OVNCFS`TBEEJUJPOUIPSFN
ℛ, = −@,,7/ @,, −@,, @,,-/ ℛ5-6 = ℛ5ℛ6 −@,5-67/
@,5-6 −@,5-6 @,5-6-/ = −@,57/ @,5 −@,5 @,5-/ −@,67/ @,6 −@,6 @,6-/ @,5-6 = @,5 @,6-/ − @,57/ @,6 11 1PDLZ OVNCFS`TBEEJUJPOUIPSFN
Change → , → @,5-6 = @,5-/ @,6 − @,5
@,67/ &Y/1, /-9 = /1,. /1,9 − 10/1,/ /1,: = 11 ; 1111 − 10 ; 1 ; 111 = 12221 − 1110 = 11111 12 1PDLZ OVNCFS`TBEEJUJPOUIPSFN
., /-9 = .,. .,9 − 2.,/ .,: = 3
; 15 − 2 ; 1 ; 7 = 45 − 14 = 31 = (11111). ., .-: = .,: .,: − 2.,. .,. = 7 ; 7 − 2 ; 3 ; 3 = 49 − 18 = 31 = (11111). /, /-9 = /,. .,9 − /,/ /,: = 2 ; 4 − 1 ; 3 = 5 = (11111)/ 13 1PDLZ OVNCFS`TBEEJUJPOUIPSFN
"EEJUJPOUIFPSFN sin + = sin cos + cos sin cos
+ = cos cos − sin sin 5-6 = 5-/ 6 + 5 67/ @,5-6 = @,5-/ @,6 − @,5 @,67/ 14 $PODMVTJPO
ɾ1PDLZ OVNCFS`TBEEJUJPOUIFPSFNMJLF DPTJOFGVODUJPOJOUSJHPOPNFUSJDBEEJUJPOUIFPSFNT ɾ1PDLZ OVNCFS`TBEEJUJPOUIFPSFNJT FYUFOTJPOPG OBUVSBMOVNCFS`TUIBU 15 $PODMVTJPO
m n 0 1 2 3 4 5 10 0 1 11 111 1111 11111 1 0 1 2 3 4 5