博士論文発表会

過去の記録 ～05/01｜次回の予定｜今後の予定 05/02～


2010年02月04日(木)

11:00-12:15   数理科学研究科棟(駒場) 128号室
高岡 洋介 氏 (東京大学大学院数理科学研究科)
On existence of models for the logical system MPCL (単相格論理系におけるモデルの存在について)