2020年9月14日 マルレク

人工知能と計算科学

2020/09/18 マルレク

概要と申し込み

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

全講演ビデオ

  • Part I 人工知能技術の10年
  • Part II 計算可能性理論と 計算複雑性理論
  • Part III 量子コンピュータと計算科学 – 量子複雑性理論 —

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

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

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

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

ショート・ムービー / YouTube

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

参考資料

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