全学共通科目講義（１回生～４回生対象）
|
| 現代の数学と数理解析 |
| ―― 基礎概念とその諸科学への広がり |
| |
| 日時： | ２００９年５月２９日（金） １６：３０－１８：００ |
| 場所： | 数理解析研究所 ４２０号室 |
| 講師： | 長谷川 真人 教授 |
| 題目： | 相互作用の（位相）幾何 |
| 要約： |
相互作用の幾何（Geometry of Interaction）は、双方向の情報の流れを伴う
計算の数学的なモデルの理論です。もともと、２０年ほど前に、Girardが数理
論理学の証明論における証明の標準化（カット除去）の過程のモデルを作用素
環の概念を用いて構築したのがそのはじまりでした。その後、多くの研究者に
よってそのからくりが解明され、いまでは、証明論にとどまらず、計算機科学
における相互作用の一般的なモデルの理論として確立されつつあり、面白い応
用も出てきています。講義では、相互作用の幾何の基本的なアイデアを、結び
目などの具体的な例を交えながら説明したいと思います。
|
|
"http://www.kurims.kyoto-u.ac.jp/ja/special-02.html" | |
