|
現代の数学と数理解析 |
―― 基礎概念とその諸科学への広がり |
| |
第11回(最終回) | |
日時: | 2004年7月9日(金) 16:30−18:00 |
場所: | 数理解析研究所 420号室 |
講師: | 長谷川 真人 助教授 |
題目: |
Computer Science Contradicts Mathematics
|
要約: |
講義の題目は、ある著名な数学者が、計算機科学で必要とされる数学構造が、 常識的な数学の世界と(一見)相容れない、 ということについて言及した際のものです。 計算という複雑な現象の背後に隠れている本質的な数学構造を発見・解析するというのが、 理論計算機科学の大きな研究目標のひとつですが、 この講義では、わかりやすい例として、 自分自身を呼び出すような計算(再帰計算)の分析のために必要な数学構造について考察し、 それがどのように「Contradicts Mathematics」なのか、考えたいと思います。 |
"http://www.kurims.kyoto-u.ac.jp/~kenkyubu/zengaku/index.html" |