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

計算機やプログラムの振る舞いについて、数学を使って研究するのが理論計算機科学という分野です。応用数学の一分野として見た場合、その大きな特徴は「有限と無限のせめぎあい」です。計算機やプログラムといった「機械」や「レシピ」は無限に豊かな振る舞いを持つ一方で、これらを実際に作ったり記述するためには、そのサイズは有限でなければなりません。
この「有限と無限のせめぎあい」という一大テーマについて、オートマトン理論を通してお話しします。
また、オートマトン理論の応用として、システムの安全性・信頼性保証のために役立つ、システム検証とよばれる応用分野についても、最近のAI や自動運転との関連を含めながら、最先端研究をご紹介します。