18 Jun
2012
18 Jun
'12
8:40 a.m.
セミナーのご案内
日時：6月21日(木)16:30から 場所：東京工業大学 大岡山西８号館W棟11階 W1101セミナー室 会場までの交通案内はこちらから： http://www.titech.ac.jp/about/campus/index.html
話者：松田 直祐 （千葉大学修士課程） 題目：Charch-Rosser Theorem 概要： [1]を参考にしながらも、よりシンプルな概念のみを用いて Church-Rosser Theorem の証明を与える。 [1]：M.Takahashi, Parallel Reductions in Lambda-calculus, J.Symbolic Comput. Vol.7 (1989), pp.113-123.
----- 問い合わせ先：鹿島 亮（東京工業大学） kashima@is.titech.ac.jp