あらたけの履歴(No.22)

circle/members circle/あらたけ

あらたけ†

あらたけ

↑

about あらたけ†

↑

連絡先†

aratake(at)kurims.kyoto-u.ac.jp
- （2014年度以前の aratake.hisashi.45e(at)st.kyoto-u.ac.jp も使えます）

↑

自己紹介†

name:荒武永史（あらたけひさし）
京都大学大学院理学研究科数学・数理解析専攻数理解析系博士後期課程三回
- 京都大学理学部数理科学系卒（2014年度）
- 京都大学大学院理学研究科数学・数理解析専攻数理解析系修士卒（2016年度）
- 日本学術振興会特別研究員DC1 (2017年4月-2020年3月)
例会管理職（from 2011/10/17 to 2012/12/10）
S2S会計（from 2011/12/21 to 2013/12/09）
S2S団長（笑）(from 2013/05/13 to 2013/12/09)
専門：圏論的一階述語論理（特に分類トポス）とモデル理論

LaTeXはある程度使える
教員免許（高校数学）
アニメと音楽が好き
twitter: (at)piano2683
その他プロフィール: http://twpf.jp/piano2683

↑

研究活動†

↑

学会発表等（国内）†

モデル理論夏の学校2015 (2015/8/22-24) “Categorical Logic and Model Theory”（スライドあり）
数学基礎論若手の会2015 (2015/11/27-29) “Representation for Classifying Toposes of Theories”（スライドあり）
数学基礎論若手の会2016 (2016/10/21-23) 「分類トポスと森田同値」
RIMS Model Theory Workshop 2016 (2016/12/12-14) “Bi-interpretability from a Categorical Viewpoint”（スライドあり, 講究録）
モデル理論夏の学校2017 (2017/9/19-21) “Bicategory of Theories”
数学基礎論若手の会2017 (2017/10/27-29) “古典一階述語論理 vs. 圏論”
第14回数学総合若手研究集会 (2018/2/27-3/2) “Bicategory of Classical First-Order Theories”（テクニカルレポートあり）
北大離散幾何構造セミナー (2018/7/12-13) “An Introduction to First-Order Categorical Logic: Toward Topos-Theoretic Model Theory”
モデル理論夏の学校2018 (2018/9/10-12) “モデル理論的ガロア理論とトポス理論的ガロア理論について”
大阪市大数学研究所院生談話会 (2018/10/22) “数理論理学とメタ数学”
数学基礎論若手の会2018 (2018/11/22-25) “モデル理論的ガロア理論”
広島大代数学セミナー (2019/2/1) “分類トポスとモデル理論”
CSCAT2019 (2019/3/9-10) “モデル理論におけるガロア理論的現象の圏論的解釈について”
オートマトン&ロジックワークショップ in 秋田 (2019/3/26-27) “モデル理論から見る数学”（招待講演、スライドあり）
モデル理論夏の学校2019 (2019/9/2-4) “Categorical Interpretation of Model-Theoretic Galois Theory”
RIMS Model Theory Workshop 2019 (2019/12/2-4) “Categorical Interpretations of Existential Closedness and Finite-Genericity”
数学基礎論若手の会2019 (2019/12/6-8) “トポス理論と圏論的論理学への誘い”（スライドあり）
第3回数理新人セミナー (2020/2/7-11) “Classifying Topos for Existentially Closed Models”

↑

学会発表（国外）†

TACL2017 (2017/6/26-30) “Bicategory of Theories as an Approach to Model Theory”（スライドあり）
Topics in Category Theory 2020 (2020/3/11-13) “Classifying Topos for Existentially Closed Models”

↑