2020年9月14日 マルレク

人工知能と計算科学

2020/09/18 マルレク

概要と申し込み

https://ai-computation.peatix.com/

講演概要

  • はじめに
  • Part I 人工知能技術の10年
    • Deep Learningでの印象的な達成
    • 個人的に印象に残ったこと
    • 「機械の思考」についての二つのアプローチ
  • Part II 計算可能性理論と 計算複雑性理論
    • 計算可能性理論　– Church-Turing Thesis –
    • 計算複雑性理論
  • Part III 量子コンピュータと計算科学 – 量子複雑性理論 —
    • 計算可能性理論の発展
    • 量子複雑性理論
    • MIP* = RE定理

講演資料ダウンロード 人工知能と計算科学

講演資料「人工知能と計算科学」 Viewer

ショート・ムービー / スライド

  1. 計算可能性理論 と Church-Turing Thesis
  2. 計算複雑性理論
  3. 「知能」の限界の数学的特徴付け — 計算の理論の100年史
  4. Church-Turing Thesisの変化について

ショート・ムービー / YouTube

  1. 計算可能性理論 と Church-Turing Thesis
  2. 計算複雑性理論
  3. 「知能」の限界の数学的特徴付け — 計算の理論の100年史
  4. Church-Turing Thesisの変化について

参考資料

資料種別
マルレク
テーマ
ディープ・ラーニング, 人工知能, 哲学, 形式手法, 数学, 量子コンピュータ