理論計算機科学入門 有限と無限のあいだ 〜数学的理論から、AI・自動運転〜

Last updated Unknown Edit Source

https://www.youtube.com/watch?v=3Z3uu7_vdmA

#情報科学 #数学 #NII

• 講演内容/viemo動画の内容についてノート書いたページ

  • 理論計算機科学
  • 無限
  • オートマトン
  • 証明
  • 研究のすすめかた、研究者人生について
  • 数学基礎論
• - 「有限/無限の関係」や「無限の濃度」について、それ自体は初めて触れた概念でしたが「多項式/指数の関係」と類似性を感じ、興味深く思いました。 - いままで数学で深く考えずやっていた「証明」作業の、メタ的な捉え方がとても興味深かったです。