京都大学数理解析研究所の佐藤です。
4月23日11:00から、北陸先端科学技術大学院大学の吉村 和人氏に 以下の講演をしていただくことになりましたので、 ご連絡いたします。どうぞお気軽にお越しください。 ========== Time: 11:00-12:00, 23 Apr, 2015 Place: Rm 478, Research Building 2, Main Campus, Kyoto University 京都大学 本部構内 総合研究2号館 4階478号室 http://www.kyoto-u.ac.jp/en/access/yoshida/main.html (Building 34) http://www.kyoto-u.ac.jp/ja/access/campus/map6r_y.htm (34番の建物)
Speaker: Yoshimura Kazuto (Japan Advanced Institute of Science and Technology)
Title: A brief introduction to the theory of the Weihrauch lattice
Abstract:
The Weihrauch lattice and its underlying reducibility notion, Weihrauch reducibility, was introduced in 1980s as fundamental concepts for investigating the discontinuities of functions. However it is only recently when the deep analysis of the Weihrauch lattice started, being influenced by the project of constructive reverse mathematics. In this talk, we aim to present a brief review on the theory of the Weihrauch lattice from both historical and technical perspectives, and try to point out the importance of the structure for computable analysis, constructive mathematics and computer science respectively.