全学共通科目講義(1回生〜4回生対象)
|
現代の数学と数理解析 |
―― 基礎概念とその諸科学への広がり |
| |
日時: | 2019年7月5日(金) 16:30−18:00 |
場所: | 数理解析研究所 420号室 |
講師: | 長谷川 真人 教授 |
題目: |
Computer Science Contradicts Mathematics
|
要約: |
講義の題目は、ある著名な数学者が、計算機科学で必要とされる数学構造が常識的な数学の世界と(一見)相容れない、ということについて言及したものです。計算という複雑な現象の背後に隠れている本質的な数学構造を発見・
解析することは、理論計算機科学の大きな研究目標のひとつです。この講義では、自分自身を呼び出すような計算(再帰計算)の分析のために必要な数学構造の構成を、予備知識を仮定せずに「実演」し、それがどのように「contradicts
mathematics」なのか、考えたいと思います。
参考文献:
|
"http://www.kurims.kyoto-u.ac.jp/ja/special-02.html" |