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
素朴に計算可能性を考える / An Introduction to Computability
Search
remeta
November 30, 2022
Science
0
430
素朴に計算可能性を考える / An Introduction to Computability
計算不可能な関数の具体例から計算可能性について考えてみよう、という話です。
remeta
November 30, 2022
Tweet
Share
More Decks by remeta
See All by remeta
またね、サンタさん / Goodbye, Santa
000meta
0
250
サンタさんからのすてきなプレゼント / Lovely Christmas Present from Santa
000meta
0
130
Other Decks in Science
See All in Science
白金鉱業Meetup Vol.16_【初学者向け発表】 数理最適化のはじめの一歩 〜身近な問題で学ぶ最適化の面白さ〜
brainpadpr
10
2k
Cross-Media Information Spaces and Architectures (CISA)
signer
PRO
3
31k
観察研究における因果推論
nearme_tech
PRO
1
190
白金鉱業Meetup Vol.15 DMLによる条件付処置効果の推定_sotaroIZUMI_20240919
brainpadpr
2
720
Causal discovery based on non-Gaussianity and nonlinearity
sshimizu2006
0
240
As We May Interact: Challenges and Opportunities for Next-Generation Human-Information Interaction
signer
PRO
0
430
07_浮世満理子_アイディア高等学院学院長_一般社団法人全国心理業連合会代表理事_紹介資料.pdf
sip3ristex
0
240
【健康&筋肉と生産性向上の関連性】 【Google Cloudを企業で運用する際の知識】 をお届け
yasumuusan
0
500
butterfly_effect/butterfly_effect_in-house
florets1
1
150
20分で分かる Human-in-the-Loop 機械学習におけるアノテーションとヒューマンコンピューターインタラクションの真髄
hurutoriya
5
2.9k
局所保存性・相似変換対称性を満たす機械学習モデルによる数値流体力学
yellowshippo
1
190
Healthcare Innovation through Business Entrepreneurship
clintwinters
0
200
Featured
See All Featured
GraphQLとの向き合い方2022年版
quramy
45
14k
Product Roadmaps are Hard
iamctodd
PRO
52
11k
Six Lessons from altMBA
skipperchong
27
3.7k
Dealing with People You Can't Stand - Big Design 2015
cassininazir
366
25k
Rebuilding a faster, lazier Slack
samanthasiow
80
8.9k
Performance Is Good for Brains [We Love Speed 2024]
tammyeverts
8
690
Building an army of robots
kneath
304
45k
Embracing the Ebb and Flow
colly
84
4.6k
Practical Orchestrator
shlominoach
186
10k
Reflections from 52 weeks, 52 projects
jeffersonlam
349
20k
Designing for humans not robots
tammielis
250
25k
Mobile First: as difficult as doing things right
swwweet
223
9.5k
Transcript
<計算可能>を素朴に考える 2022 年 11 月 16 日 1
なにをするか 計算可能でない関数を考えて,計算を試み, 「いや,やっぱり計算できないじゃん」と言う. 厳密な話はしません.なんとなく面白そうだなとか 思ってもらえると嬉しいです. 少しばかりスライドに詰め込みすぎました. 2
計算可能であるとは それを計算するための具体的な計算手順があること. 例えば以下はだめ. • 無限に計算を続ける • 気合でいい感じの数を思いつく • ラマヌジャンを用意する ちゃんとした定義は,
「それを有限のステップで計算する チューリング機械が存在すること」 . 3
計算可能じゃないって? (以下,自然数(0 含む)のみを考える. ) 「計算可能な関数」は,よく知ってるやつら. +, −, ×, π の
n 桁目の値, . . . などなど. 計算の仕方を示せば「確かに計算できますね」と言えそう. じゃあ「計算可能でない」ってどういうこと? たとえば? ためしに “計算可能でない関数” を作ってみよう. 4
“計算可能でない関数” を作る 計算可能な関数は,具体的な計算方法を備えている. 計算方法を記号列で表したとしよう(例えば英語で) . 例えば,f(x) = x + 1
の計算方法 E は E = “add one” 計算方法をアルファベット順に並べて,番号をつける. E0 , E1 , E2 , . . . これで計算可能な関数に自然数の番号がつく. f0 , f1 , f2 , . . . 5
“計算可能でない関数” を作る ここで新しい関数 g を(さっきの番号の付け方を用いて) g(x) = fx (x) +
1 とおいてみよう.何が起こるかな? 6
g は “計算可能” か? g が計算可能と仮定すると,g には番号が振られる. つまり,ある自然数 j について
g = fj. そのような自然数 j について g(j) を考えると...? g(j) = fj (j) + 1 = g(j) + 1 =⇒ 0 = 1 はい矛盾.g は計算可能ではありえない! 7
g は計算可能じゃない! わーい! 計算可能じゃなかった! 8
g は計算可能じゃない! わーい! 計算可能じゃなかった! なんかこれ 計算できそうじゃね? 9
g(x) を計算してみる 自然数 x が与えられたときに,この値を求めてみよう. 1. 有限の長さの (カンマ, ピリオド, 空白を含む)
アルファ ベット列を並べた表を作る.この表は途中まで作って, 必要に応じて適宜継ぎ足していけば OK. a, b, c, . . . , z, aa, ab, . . . , az, ba, bb, . . . , zz, aaa, aab, . . . 2. この表の頭から順に計算手順になっていないものを 除去して,x 番目の計算手順 fx を見つける. 10
g(x) を計算してみる 3. fx に x を代入して,g(x) = fx (x)
+ 1 が求まる. パッと見では計算できてそうだが...? アルファベットを使ったのが悪い? 代わりに C++ のコードでやっても同じことが起こる. 11
何がいけなかったか 1. 有限の長さのアルファベット列を並べる. a, b, c, . . . ,
z, aa, ab, . . . , az, ba, bb, . . . , zz, aaa, aab, . . . 2. 頭から順に,計算手順になっていないものを除去して x 番目の計算手順 fx を見つける. 3. x 番目の計算手順 fx に x を代入して 1 を足して, g(x) = fx (x) + 1 が計算できました. 12
何がいけなかったか 1. 有限の長さのアルファベット列を並べる. a, b, c, . . . ,
z, aa, ab, . . . , az, ba, bb, . . . , zz, aaa, aab, . . . 2. 頭から順に,計算手順になっていないものを除去して x 番目の計算手順 fx を見つける. 3. x 番目の計算手順 fx に x を代入して 1 を足して, g(x) = fx (x) + 1 が計算できました. 13
停止性問題 “計算可能である” なら,有限の手続きで答えが出る. しかし,ある計算手順が有限で終わるか機械的には 判定できない. ゆえに, 「計算可能か判定する関数」 は計算可能ではない! (有限の手順で終わることを証明するのは簡単. 有限な手順を具体的に示せばいい.
) 14
参考文献 M. Davis. 計算の理論. 岩波書店, 1966. 神保町で叩き売られてた(400 円) ,神保町サイコー. 15