みなさま
今週木曜日に催されるセミナーのご案内をさせていただきます。 どうぞお気軽にお越しください。
照井 --- RIMS-CS website http://www.kurims.kyoto-u.ac.jp/~cs/
===== Speaker: 長谷川立 (東京大学)
Title: Combinatorial enumeration model を用いた Church-Rosser 性の証明
Date: 11.00 - 12.00, Februrary 24th (Thu)
Place: Room 478, "Research Bldg. No. 2 (Sougou Kenkyu 2-Goukan)" http://www.kyoto-u.ac.jp/en/access/campus/main.htm (Next to our CS Lab) 総合研究2号館 478号室 (CS室のとなりです) http://www.kyoto-u.ac.jp/ja/access/campus/map6r_y.htm
Abstract:
Combinatorial enumeration model は, Joyal-Girard による解析関手を用 いたラムダ計算のモデルのことであり, ここではそれを線形論理のモデル に改変したものを指している. ある意味で数え上げの個数を与えており, その事実を用いたシンプルな解析を可能にしている。ここでは, linear category 上に構成された計算体系 LC の Church-Rosser 性の証明に, こ のモデルを応用する技術を紹介する。
------------------------------------------ Kazushige TERUI Research Institute for Mathematical Sciences, Kyoto University. Kitashirakawa Oiwakecho, Sakyo-ku, Kyoto 606-8502, JAPAN. Phone: +81-75-753-7235 Fax: +81-75-753-7276 [email protected] http://www.kurims.kyoto-u.ac.jp/~terui/