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

[YOKOYAMA Keita]

皆様，

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

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
keita.yokoyama.c2 at tohoku.ac.jp