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
Turing saids - 機械は考えることができるか -
Search
ymgc
August 25, 2024
Technology
1
19
Turing saids - 機械は考えることができるか -
ymgc
August 25, 2024
Tweet
Share
More Decks by ymgc
See All by ymgc
Machines of Loving Grace - AIはどのように世界をより良く変えるか -
__ymgc__
1
44
ファシリテーションの技術
__ymgc__
2
44
(論文読み)BigCodeBench: 多様な関数呼び出しと複雑な指示を用いたコード生成のベンチマーキング
__ymgc__
1
37
(論文読み)Very Large-Scale Multi-Agent Simulation in AgentScope
__ymgc__
1
27
7 POWERS
__ymgc__
1
27
自己組織化系のベイズ力学
__ymgc__
1
41
エムラン・メイヤー 『腸と脳』
__ymgc__
1
31
(論文読み)不特定多数の人工知能エージェントによる自由行動の安全化に関する研究
__ymgc__
1
36
群論入門:集合と対称性の数学
__ymgc__
0
29
Other Decks in Technology
See All in Technology
ハイテク休憩
sat
PRO
2
140
社外コミュニティで学び社内に活かす共に学ぶプロジェクトの実践/backlogworld2024
nishiuma
0
260
株式会社ログラス − エンジニア向け会社説明資料 / Loglass Comapany Deck for Engineer
loglass2019
3
31k
5分でわかるDuckDB
chanyou0311
10
3.2k
祝!Iceberg祭開幕!re:Invent 2024データレイク関連アップデート10分総ざらい
kniino
2
250
Turing × atmaCup #18 - 1st Place Solution
hakubishin3
0
470
オプトインカメラ:UWB測位を応用したオプトイン型のカメラ計測
matthewlujp
0
170
NW-JAWS #14 re:Invent 2024(予選落ち含)で 発表された推しアップデートについて
nagisa53
0
250
Oracle Cloudの生成AIサービスって実際どこまで使えるの? エンジニア目線で試してみた
minorun365
PRO
4
280
プロダクト開発を加速させるためのQA文化の築き方 / How to build QA culture to accelerate product development
mii3king
1
260
宇宙ベンチャーにおける最近の情シス取り組みについて
axelmizu
0
110
1等無人航空機操縦士一発試験 合格までの道のり ドローンミートアップ@大阪 2024/12/18
excdinc
0
150
Featured
See All Featured
Imperfection Machines: The Place of Print at Facebook
scottboms
266
13k
The Power of CSS Pseudo Elements
geoffreycrofte
73
5.4k
Fireside Chat
paigeccino
34
3.1k
RailsConf & Balkan Ruby 2019: The Past, Present, and Future of Rails at GitHub
eileencodes
132
33k
Understanding Cognitive Biases in Performance Measurement
bluesmoon
26
1.5k
A better future with KSS
kneath
238
17k
How GitHub (no longer) Works
holman
311
140k
GraphQLとの向き合い方2022年版
quramy
44
13k
Bash Introduction
62gerente
608
210k
Making the Leap to Tech Lead
cromwellryan
133
9k
Helping Users Find Their Own Way: Creating Modern Search Experiences
danielanewman
29
2.3k
Agile that works and the tools we love
rasmusluckow
328
21k
Transcript
1 Turing saids Turing saids - 機械は考えることができるか - - 機械は考えることができるか
-
2
想定読者 AI・コンピューター科学に興味がある学生・研究者 ▶ 数学と計算機科学の歴史に関心のある方 ▶ テクノロジーの哲学的・歴史的側面に興味がある一般読者 ▶ AIの未来について考えたい技術者・政策立案者 ▶ 3
目次 1. チューリングの論文と機械思考 2. AIブームと認識の急激な変化 3. コンピューターの歴史とAIの未来 4. コンピューターと数学の関係 5.
計算可能性と証明可能性の歴史 6. プログラムと数学の関係 4
1. チューリングの論文と機械思考 1950年、アラン・チューリングが「機械は考えることができるか」(Can machines think?)という論文を発表 ▶ 現在はこの論文から75周年 - 現代のAI時代を切り開いた重要な礎石 -
チューリングの予言: 「今世紀の終わりには、矛盾なく機械の思考について語ることができるようになる」 ▶ 当時は議論に値しないほど無意味と思われていた - チューリングの悲劇:1954年、自ら命を絶つ ▶ 社会的迫害や思想理解の欠如が背景に - 5
1. チューリングの論文と機械思考(続き) チューリングの科学的方法論に関する洞察 ▶ 科学的思考は常に正しいことだけを言うべきではない - 検証されない考えも科学の発展に重要 - 当時の一般的な科学観とは異なる革新的視点 -
6
2. AIブームと認識の急激な変化 チューリングの予言実現までの時間:75年(予測より25年長い) ▶ 現代のAIブームの特徴 ▶ IT業界全体と一般人を巻き込む - 変化の急激さが示すAIの強いインパクト -
AIブームの問題点 ▶ 深い理解を持つ時間の不足 - 言葉の普及と理解の深さの不一致 - 7
3. コンピューターの歴史とAIの未来 チューリングの予言から約75年 ▶ コンピューターの誕生から成熟までの全歴史と一致 - AIの未来を考える新しい視点 ▶ 「AI」ではなく「コンピューター」 「機械」として捉え直す
- コンピューター科学全体の文脈でAIを理解 - 「機械の未来」という広い文脈でのAI ▶ 人間と機械の関係性の再考 - 技術進化の社会的影響を総合的に考察 - 8
4. コンピューターと数学の関係 コンピューター自体の数学的能力の再評価 ▶ 大規模言語モデルへの疑問 - コンピューターの本質的数学能力の過小評価の可能性 - 言語能力と数学的能力の「大統一」 ▶
言語処理と数学的処理の統合的視点 - この考えの萌芽は古くから存在 - コンピューター科学者の認識変遷 ▶ 初期の科学者たちはこの関係性に気づかず - 現代研究で両者の深い結びつきを再認識 - 9
5. 計算可能性と証明可能性の歴史 1930年代の計算理論研究勃興 ▶ ゲーデルの不完全性定理(1931年)が契機 - 「計算とは何か」 「証明とは何か」の根本的問い - 主要な計算可能性理論
▶ ゲーデルの原始帰納関数(1934年) - チャーチのラムダ計算(1936年) - チューリングのチューリングマシン(1936年) - これらの理論の同値性証明 ▶ 異なるアプローチが同じ計算可能性概念を捉える - 10
5. 計算可能性と証明可能性の歴史(続き) 1950年代の展開 ▶ 計算可能性と証明可能性の同一性認識 - チャーチ・チューリングの定理として知られる - 数学的概念のアルゴリズム的解釈 ▶
数学をチューリングマシンの特徴として捉える - 数学の機械的・アルゴリズム的側面の認識 - 後のコンピューター科学と数学融合の基礎 - 11
6. プログラムと数学の関係 1970年代の重要な認識転換 ▶ プログラムの役割が数学の証明に匹敵 - 「計算 = 証明 =
コンピュータープログラム」 - 型理論の発展と影響 ▶ 従属型理論(ディペンデント・タイプ・セオリー) - マーティン・レーフらによる展開 - プログラミング言語理論と数学的論理学の融合 - ホモトピー型理論(21世紀) - 数学、特にカテゴリー論に大きな影響 - 20世紀カテゴリー論を「古典的」とする革新性 - 12
6. プログラムと数学の関係(続き) ヴラディミル・ヴォエヴォツキーの構想 ▶ 全数学的議論をプログラムで記述する試み - 早世により中断も、思想は継続研究 - 数学形式化とコンピューター支援証明に影響 -
現代の数学とコンピューター科学の融合 ▶ プログラミング言語理論と数学的論理学の密接関係 - 証明支援システムの発展と数学研究応用 - 数学的思考のアルゴリズム化と機械支援の可能性 - 13
まとめ コンピューターと数学の深い結びつきの歴史的展開 ▶ 初期計算理論から現代型理論まで、常に進化する関係 - この理解がAIの本質的能力再評価に繋がる可能性 - 人間の数学的認識能力への新たな洞察 ▶ コンピューター科学の発展が人間の認知プロセス理解に寄与
- 数学的思考の本質に対する新しい視点獲得 - 将来の展望 ▶ AIと数学の関係性のさらなる深化 - 人間とコンピューターの協働による新しい数学創造 - 数学教育や研究方法の根本的変革の可能性 - 14
用語 チューリングマシン: アラン・チューリングが1936年に考案した抽象的な計算モデル ▶ ラムダ計算: アロンゾ・チャーチが開発した関数の計算と抽象化のための形式体系 ▶ 原始帰納関数: 自然数上の関数を定義するための形式的体系 ▶
従属型理論: 型理論の一種で、型が値に依存することを許す理論 ▶ ホモトピー型理論: 数学的構造と計算を統合する現代的な型理論 ▶ カテゴリー論: 数学的構造とそれらの間の関係を抽象的に扱う理論 ▶ 大規模言語モデル: 大量のテキストデータから学習し、人間のような文章を生成できるAIモデル ▶ 15