Kisoron-ml October 2024

kisoron-ml@fos.kuis.kyoto-u.ac.jp

3 participants
5 discussions

「ENCOUNTERwithMATHEMATICS 第78回」のご案内
by 桔梗　宏孝 30 Oct '24

30 Oct '24

皆様中央大学の三松先生の代理で、集会の案内を投稿いたします。よろしくお願いします。神戸大学　桔梗宏孝 ===========　ここから　============ 皆様；　　　　　　　　重複して受け取られた際にはご容赦ください。第78回 ENCOUNTERwithMATHEMATICS のお知らせです。第78回 ENCOUNTERwithMATHEMATICS「公理的集合論（仮題）」を 2025年1月10日(金)・11日(土)に中央大学理工学部にて開催いたします。講演予定者（敬称略）：　依岡輝幸（静岡大学理学部）　薄葉季路（早稲田大学基幹理工学部）　酒井拓史（東京大学大学院数理科学研究科）なお、開催場所、時刻、プログラム等の詳細、及び、講演のアブストラクトは、 11月下旬ごろに EwM のホームページ https://www.math.chuo-u.ac.jp/ENCwMATH/ にてお知らせする予定です。三松　佳彦（中央大学理工学部数学教室） --------------------------------------------- Yoshihiko MITSUMATSU Department of Mathematics, Chuo University, 1-13-27, Kasuga, Bunkyo-ku, Tokyo, 112-8551, Japan phone : +81-3-3817-1745 fax : +81-3-3817-1746 e-mail: yoshi(a)math.chuo-u.ac.jp<mailto:yoshi@math.chuo-u.ac.jp> =============　ここまで　================

1 0

日本数学会2025年度年会（講演申込の受付開始）
by Takahiro Seki 25 Oct '24

25 Oct '24

みなさま（重複して受け取られた方は申しわけございません。）　日本数学会の数学基礎論および歴史分科会で連絡責任評議員を務めております新潟大学の関です。　日本数学会2025年度年会は以下のとおり開催されます。本日から一般講演の申込受付を開始しました。　日本数学会2025年度年会　　https://www.mathsoc.jp/activity/meeting/waseda25mar/index.html 　日程：3月18日（火）～21日（金）　　　（数学基礎論および歴史分科会は 18日（火）、19日（水）の予定）　会場：早稲田大学早稲田キャンパス　講演申込期間：10月25日（金）～11月15日（金）　みなさまのご参加とご講演をお待ちしております。　よろしくお願いいたします。 --- 関　隆宏新潟大学経営戦略本部評価センター

1 0

証明論シンポジウム2024 (12/16〜18)
by Takayuki Kihara 20 Oct '24

20 Oct '24

皆様お世話になっております．名古屋大学の木原貴行です．以下の要領で証明論シンポジウム2024を開催いたしますのでご案内をいたします． +++++ 日時: 2024/12/16 (月) 〜 2024/12/18 (水) 場所: 名古屋大学東山キャンパス野依記念物質科学研究館 https://sites.google.com/view/proof-theory-2024/home +++++ 以上どうぞよろしくお願いいたします．木原 -------- 木原貴行名古屋大学大学院情報学研究科数理情報学専攻 URL: http://math.mi.i.nagoya-u.ac.jp/~kihara/index-j.html Email: kihara(a)i.nagoya-u.ac.jp

1 0

RIMS共同研究（公開型）「モデル理論における独立概念と次元の研究」
by 桔梗　宏孝 15 Oct '24

15 Oct '24

皆様あと半月程度で講演の申し込みを締め切りますので、改めてアナウンスさせていただきます。講演申し込み締め切りは11月3日です。 RIMS共同研究（公開型）の一つとして次のテーマの研究集会を開催します。「モデル理論における独立概念と次元の研究」この集会では、モデル理論の視点から独立概念や次元の研究を行います。モデル理論に興味をもたれている研究者や学生の方の参加をお待ちしております。日程：2024年12月4日（水）〜12月6日（金）場所：京都大学数理解析研究所110室〒606-8317 京都市左京区北白川追分町京都大学数理解析研究所代表者：桔梗宏孝（神戸大学）詳しくは次のホームページをご覧ください。 https://sites.google.com/view/rims-model-theory-workshop-24/

1 0

名古屋ロジックセミナー (10/11) 上村太一さん
by Takayuki Kihara 08 Oct '24

08 Oct '24

皆様名古屋大学の木原貴行です．以下の要領で名古屋ロジックセミナーを開催いたしますのでご案内いたします． +++++ 日時：10/11 (金) 15:30-17:00 場所：名古屋大学情報学研究科棟 322室講演者：上村太一 (名古屋大学) タイトル: Towards synthetic topos theory 概要: トポス理論を総合的(synthetic)に展開するアイディアについて議論する。トポスは空間概念として導入され、ロジックや型理論とも深い関連がある。各トポスはgeometric theoryの分類トポスである他、トポス上の層の圏は依存型理論を内部論理として持つ。通常の教科書ではトポスとは何かを公理化する分析的(analytic)なアプローチが採られるが、総合的なアプローチではトポスを原始的な概念とし、トポスを使って何ができるかを公理化する。各トポスの内部論理とも統合し、すべてのトポスの内部論理を内包する一つのシステムの構築を目指す。 +++++ 以上どうぞよろしくお願いいたします．木原 -------- 木原貴行名古屋大学大学院情報学研究科数理情報学専攻 URL: http://math.mi.i.nagoya-u.ac.jp/~kihara/index-j.html Email: kihara(a)i.nagoya-u.ac.jp

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml October 2024