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