第８回数理情報科学セミナー（４研究科共同セミナー：２月９日）

日時：２月９日（金）１６：２０〜１７：４０

場所：総合科学部　C棟808号室

＜１６：２０〜１６：５０＞

講演者：石原　哉（北陸先端科学技術大学院大学）

題目：　構成的数学とその最近の話題

＜１７：００〜１７：４０＞

講演者：BERGER, Josef（北陸先端科学技術大学院大学）

題目：　What more do we know about a theorem when analysing its proof?

主催：総合科学部数理情報科学教室

このセミナーは４研究科共同セミナーの一環として開催されます。