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
480
素朴に計算可能性を考える / An Introduction to Computability
計算不可能な関数の具体例から計算可能性について考えてみよう、という話です。
remeta
November 30, 2022
Tweet
Share
More Decks by remeta
See All by remeta
またね、サンタさん / Goodbye, Santa
000meta
0
280
サンタさんからのすてきなプレゼント / Lovely Christmas Present from Santa
000meta
0
160
Other Decks in Science
See All in Science
AI(人工知能)の過去・現在・未来 —AIは人間を超えるのか—
tagtag
1
150
Symfony Console Facelift
chalasr
2
480
【RSJ2025】PAMIQ Core: リアルタイム継続学習のための⾮同期推論・学習フレームワーク
gesonanko
0
190
02_西村訓弘_プログラムディレクター_人口減少を機にひらく未来社会.pdf
sip3ristex
0
660
サイゼミ用因果推論
lw
1
7.5k
04_石井クンツ昌子_お茶の水女子大学理事_副学長_D_I社会実現へ向けて.pdf
sip3ristex
0
660
データベース06: SQL (3/3) 副問い合わせ
trycycle
PRO
1
640
データマイニング - コミュニティ発見
trycycle
PRO
0
160
07_浮世満理子_アイディア高等学院学院長_一般社団法人全国心理業連合会代表理事_紹介資料.pdf
sip3ristex
0
650
安心・効率的な医療現場の実現へ ~オンプレAI & ノーコードワークフローで進める業務改革~
siyoo
0
360
Hakonwa-Quaternion
hiranabe
1
140
Machine Learning for Materials (Challenge)
aronwalsh
0
350
Featured
See All Featured
Navigating Team Friction
lara
190
15k
Music & Morning Musume
bryan
46
6.9k
[Rails World 2023 - Day 1 Closing Keynote] - The Magic of Rails
eileencodes
37
2.6k
Why Our Code Smells
bkeepers
PRO
340
57k
Designing Dashboards & Data Visualisations in Web Apps
destraynor
231
53k
Fireside Chat
paigeccino
40
3.7k
Six Lessons from altMBA
skipperchong
29
4k
It's Worth the Effort
3n
187
28k
Automating Front-end Workflow
addyosmani
1371
200k
ピンチをチャンスに:未来をつくるプロダクトロードマップ #pmconf2020
aki_iinuma
127
54k
Performance Is Good for Brains [We Love Speed 2024]
tammyeverts
12
1.2k
Optimizing for Happiness
mojombo
379
70k
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