博士論文発表会

過去の記録 ~03/28次回の予定今後の予定 03/29~


2010年02月04日(木)

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