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
Things that computers can not do
Search
ohto
June 16, 2017
Education
0
100
Things that computers can not do
This slide shows that the introduction of the computing theory.
ohto
June 16, 2017
Tweet
Share
More Decks by ohto
See All by ohto
speed cube
ohto
1
74
Living a Software Engineer
ohto
0
62
Redmine on Docker
ohto
0
140
Ruby de FizzBuzz
ohto
0
73
enjoy your dream
ohto
0
85
We may be win a computer
ohto
0
1k
Arbitrariness for Classification
ohto
0
900
mumbling about data mining
ohto
0
2.4k
Other Decks in Education
See All in Education
スクフェスの学びにチームを惹き込め! 社内同時視聴会のすゝめ!
pokotyamu
0
730
「ロータリーって何?」と訊かれたら:国際ロータリー 2720地区 2023-2024年度 公共イメージ部門 副委員長・ 熊本南ロータリークラブ・ 株式会社ヒデコーポレーション 代表 大津 英敬 氏
2720japanoke
0
560
Human Perception and Colour Theory - Lecture 2 - Information Visualisation (4019538FNR)
signer
PRO
0
1.7k
3 занятие. Канва бизнес-модели #ideaNN 2.02.2024.
karlov
0
200
2024年度春学期 統計学 講義の進め方と成績評価について (2024. 4. 11)
akiraasano
PRO
0
100
Design Guidelines and Principles - Lecture 7 - Information Visualisation (4019538FNR)
signer
PRO
0
1.7k
20240319AJG
tosseto
0
300
Родина моя Беларусь в лицах
programmer_sch2np
0
160
View Manipulation and Reduction - Lecture 9 - Information Visualisation (4019538FNR)
signer
PRO
0
1.4k
Introduction - Lecture 1 - Information Visualisation (4019538FNR)
signer
PRO
0
3.5k
全員参加型で会社を強くしていく活動を考えてみる
ikefukurou777
0
210
LinkedIn
matleenalaakso
0
940
Featured
See All Featured
The Success of Rails: Ensuring Growth for the Next 100 Years
eileencodes
30
6k
Building Flexible Design Systems
yeseniaperezcruz
319
37k
Optimising Largest Contentful Paint
csswizardry
8
2.4k
Navigating Team Friction
lara
178
13k
Producing Creativity
orderedlist
PRO
337
39k
How To Stay Up To Date on Web Technology
chriscoyier
782
250k
Building Applications with DynamoDB
mza
88
5.6k
The Art of Programming - Codeland 2020
erikaheidi
42
12k
Design and Strategy: How to Deal with People Who Don’t "Get" Design
morganepeng
116
18k
We Have a Design System, Now What?
morganepeng
43
6.7k
Designing Dashboards & Data Visualisations in Web Apps
destraynor
226
51k
Mobile First: as difficult as doing things right
swwweet
216
8.6k
Transcript
計算の根っこ 2017/7/17 おおとや
おおとや 趣味 – 数学とか – アニメとか 2 / 14
AI の進歩、 めざましいよね http://klug-fx.jp/ogasawara/2016/03/13/025430.php 囲碁の世界で AI(ALPHAGO)が勝利 3 / 14
目的 • 計算機ができないこと • 計算機が不得意なこと 4 / 14
戦略 • 心とかには触れません • 理論的に攻めます みずがめ座の時代 https://blogs.yahoo.co.jp/aquarius1969newage/56062463.html 5 / 14
流れ • 計算するとは • 計算の定式化 • 計算機にできないこと • 計算の難しさ 6
/ 14 アラン・チューリング「人工知能の”考え方は我々とは異なる”」 https://andai.co.jp/about-alan-turing/
計算するとは ものごとを行うときの「やりかた」 割り算 • 引きっぱなし法 • 引き戻し法 7 / 14
電卓博物館 http://www.dentaku-museum.com/1-exb/tour/4110-notcalc/010-tiger-old-ex.html
計算するとは -引き戻し法 34 / 3 • 割る数 3 を左へ動かす •
割られる数から引く • 割られる数から引く • 負の数になったので戻す • 割る数を右へ 1 動かす • 割られる数から引く • 負の数になったので戻す • 商: 11, 余り: 1 8 / 14 ... 割る数: 30 ... 32 – 30 = 2 ... 2 – 30 = -26 ... 2 … 3 … -1 ... 2
計算の定式化 チューリングマシン – テープ:記号が並んだもの – ヘッダー(コンピュータ) • 内部状態を持つ • テープ上を移動する
• テープ上に記号を書く – 命令表 (プログラム) ヘッダー位置の記号と内部状態に従い 1.テープへの記号の書き込み 2.ヘッダー移動 3.内部状態の変更 を行う 9 / 14 webと人のアマモ場 https://www.amamoba.com/pc/alan-turing.html
計算機にできないこと 停止性問題 チューリングマシンが有限時間で 停止するかどうかを判定する問題 – 入力: チューリングマシン – 出力: 入力したチューリングマシンは停止する?
10 / 14
計算機にできないこと 停止性問題を計算できる チューリングマシンは存在しない 対角線論法 実数の濃度が自然数よりも多いのと同値 11 / 14 入力A1 入力A2
... 命令表P1 T F T 命令表P2 F T T --- F F T g(Pi,Aj) = F: f(Pi,Ai) =T T: f(Pi,Ai) =F g(Pi,Ai) = T ⇒ Pn=F (矛盾) g(Pi,Ai) = F ⇒ Pn=T (矛盾)
計算の難しさ 計算量クラス – 多項式時間で計算できる問題(class P) – 多項式時間で検証できる問題(class NP) 組み合わせ問題とか苦手.. 12
/ 14 ねとらぼ http://nlab.itmedia.co.jp/nl/articles/1209/11/news104.html class P =? NP は 計算機科学での 未解決問題
まとめ • 計算機にはできないことがある • 計算機には苦手なことがある 13 / 14
おわりに 俺も死ぬときがきた.. 14 / 14 https://ciatr.jp/topics/244535