博士論文発表会

過去の記録 ~02/06次回の予定今後の予定 02/07~


2015年07月30日(木)

10:30-11:45   数理科学研究科棟(駒場) 128号室
飛澤 和則 氏 (東京大学大学院数理科学研究科)
Theory and application of a meta lambda calculus with cross-level computation (レベル横断的計算機構を持つメタラムダ計算の理論と応用) (JAPANESE)