授業のテーマと目的： 数学が発展してきた過程では、自然科学、 社会科学などの種々の学問分野で提起される問題を解決するために、 既存の数学の枠組みにとらわれない、 新しい数理科学的な方法や理論が導入されてきた。 また、逆に、そのような新しい流れが、 数学の核心的な理論へと発展した例も数知れず存在する。 このような数学と数理解析の展開の諸相について、第一線の研究者が、 自身の研究を踏まえた入門的・解説的な講義を行う。 数学・数理解析の研究の面白さ・深さを、 感性豊かな学生諸君に味わってもらうことを意図して講義し、 原則として予備知識は仮定しない。
第６回
日時：	２０２５年５月１６日（金） 　　　　　　１６：４５−１８：１５
場所：	数理解析研究所４２０号室
講師：	河村 彰星 准教授
題目：	計算可能性理論入門 https://www.kurims.kyoto-u.ac.jp/~kawamura/t/gss/
要約：	我々は数学的問題を解くために頭の中で（あるいは紙やコンピュータを使って）計算を行うわけですが、この計算（情報処理）という行為そのものを数学的対象として考察し、計算によって何ができて何ができないか明らかにしようとするのが計算可能性の理論です。1930年代に生まれた計算理論は、実際のコンピュータとも互いに影響を与え合いながら発展して来ました。本講義では、「計算する機械（や人）」をどのように捉え、その能力や限界をどのように論ずるのか、例とともに紹介します。
"http://www.kurims.kyoto-u.ac.jp/ja/special-02.html"