HOME > ニュース > 2008 > Logic,Computation and Algorithm -Cross Road of Proof-Theory,Computer Science and History of Mathematics-
Logic,Computation and Algorithm -Cross Road of Proof-Theory,Computer Science and History of Mathematics-
開催日：2008/2/12（火）,13（水）
会場：三田キャンパス東館６階G-SEC Lab
企画班：論理・情報班
企画者：岡田弘光
講演者：Jean-Yves Girard(Luminy Institute of Mathematics(IML))、小川芳範（論理・情報班)、岡田光弘（論理・情報班）他