| ゼミナールI講演 |
|---|
| 日時： | 2011(平成23)年1月24日(月)3限 (13:30 -- 15:00) |
|---|---|
| 場所： | L1 |
| 講演者： | 大崎人士（教育連携プログラミング科学講座・産業技術総合研究所） |
|---|---|
| 題目： | 数え上げ可能な無限と計算可能性の世界 |
| 概要： | 本講義は，情報科学でもっとも古典的な学問分野の「計算論」の基礎について，初学者向けの一話完結の講演です．講演では，ショートトーク「数え上げ可能な無限」で可算無限と構成的証明について簡単に解説します．講演の後半では，計算論の言葉を用いて，チューリングマシン，決定不可能性の本質などを解説します． |