[logic-ml] 東北大ロジックセミナーのご案内

皆様，

東北大学の横山です． 直前のご案内で恐縮ですが，以下の通りセミナーを開催いたします．

https://sites.google.com/view/sendai-logic/

日時：7月21日(金)15:00〜 場所：東北大学理学研究科合同A棟801号室 (zoom配信あり) 講演者：石原哉 (北陸先端科学技術大学院大学) Title: A constructive integration theory: a topological approach Abstract: We present a development of a constructive integration theory from a topological point of view, and constructively prove several convergence theorems in integration theory including Fatou's lemma, and the monotone and dominated convergence theorems of Lebesgue in the totally topological framework.

どうぞよろしくお願いいたします．

横山啓太 -- Keita Yokoyama Mathematical Institute, Tohoku University Aoba, Sendai, JAPAN, 980-8578 [email protected]