![[PukiWiki]](image/pukiwiki.png "[PukiWiki]")
[[circle/members]] [[circle/あらたけ]] * あらたけ [#gfe9bed8] #contents ** about あらたけ [#m8afb39a] *** 連絡先 [#xe7e65a7] -aratake(at)kurims.kyoto-u.ac.jp --（2014年度以前の aratake.hisashi.45e(at)st.kyoto-u.ac.jp も使えます） *** 自己紹介 [#n30b12f3] -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:https://twitter.com/piano2683]] -その他プロフィール: http://twpf.jp/piano2683 **研究活動 [#y3d0d2e5] ***学会発表等（国内） [#b19ee720] -[[モデル理論夏の学校2015:https://sites.google.com/site/modeltheorysummer2015/]] (2015/8/22-24) “Categorical Logic and Model Theory”（スライドあり） -[[数学基礎論若手の会2015:http://www.math.tsukuba.ac.jp/~kota/wakate2015.html]] (2015/11/27-29) “Representation for Classifying Toposes of Theories”（スライドあり） -[[数学基礎論若手の会2016:http://kenshi.miyabe.name/wakate2016/]] (2016/10/21-23) 「分類トポスと森田同値」 -[[RIMS Model Theory Workshop 2016:https://sites.google.com/site/modeltheory2016/]] (2016/12/12-14) “Bi-interpretability from a Categorical Viewpoint”（スライドあり, [[講究録:http://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/2079.html]]） -[[モデル理論夏の学校2017:https://sites.google.com/site/modeltheolysummerschool2017/]] (2017/9/19-21) “Bicategory of Theories” -[[数学基礎論若手の会2017:https://sites.google.com/view/kisoronwakatenokai2017/]] (2017/10/27-29) “古典一階述語論理 vs. 圏論” -[[第14回数学総合若手研究集会:http://www.math.sci.hokudai.ac.jp/~wakate/mcyr/2018/index.html]] (2018/2/27-3/2) “Bicategory of Classical First-Order Theories”（テクニカルレポートあり） -[[北大離散幾何構造セミナー:https://sites.google.com/view/dgs-seminar-19-aratake]] (2018/7/12-13) “An Introduction to First-Order Categorical Logic: Toward Topos-Theoretic Model Theory” -[[モデル理論夏の学校2018:https://sites.google.com/site/modeltheorysummerschool2018/]] (2018/9/10-12) “モデル理論的ガロア理論とトポス理論的ガロア理論について” -[[大阪市大数学研究所院生談話会:http://www.sci.osaka-cu.ac.jp/OCAMI/activities/GS-colloquium/GS-colloquium2018.html]] (2018/10/22) “数理論理学とメタ数学” -[[数学基礎論若手の会2018:https://sites.google.com/view/kisoron2018]] (2018/11/22-25) “モデル理論的ガロア理論” -[[広島大代数学セミナー:http://www.math.sci.hiroshima-u.ac.jp/algebra/seminars/a2018.html]] (2019/2/1) “分類トポスとモデル理論” -[[CSCAT2019:https://sites.google.com/view/cscat2019/home]] (2019/3/9-10) “モデル理論におけるガロア理論的現象の圏論的解釈について” -[[オートマトン&ロジックワークショップ in 秋田:https://sites.google.com/view/automata-logic-akita2019/home]] (2019/3/26-27) “モデル理論から見る数学”（招待講演、スライドあり） -[[モデル理論夏の学校2019:https://sites.google.com/view/model-theory-summer-school-201/home]] (2019/9/2-4) “Categorical Interpretation of Model-Theoretic Galois Theory” -[[RIMS Model Theory Workshop 2019:https://sites.google.com/site/modeltheory2019/]] (2019/12/2-4) “Categorical Interpretations of Existential Closedness and Finite-Genericity” -[[数学基礎論若手の会2019:http://www.math.mi.i.nagoya-u.ac.jp/~kihara/wakate2019.html]] (2019/12/6-8) “トポス理論と圏論的論理学への誘い”（スライドあり） -[[第3回数理新人セミナー:https://sites.google.com/view/math-graduate/MATHSCI-FRESHMAN-SEMINAR/2020]] (2020/2/7-11) “Classifying Topos for Existentially Closed Models” //-[[第16回数学総合若手研究集会:http://www.math.sci.hokudai.ac.jp/~wakate/mcyr/2020/ja/index.html]] (2020/3/2-5) “Classifying Topos for Existentially Closed Models” //-[[日本数学会2020年度年会:https://mathsoc.jp/meeting/nichidai20mar/]] (2020/3/16-19) “Classifying Toposes for Existentially Closed Models and Finite-Generic Models” ***学会発表（国外） [#j8a84f42] -[[TACL2017:http://www.cs.cas.cz/tacl2017/]] (2017/6/26-30) “Bicategory of Theories as an Approach to Model Theory”（スライドあり） -[[Topics in Category Theory 2020:https://sites.google.com/view/tict2020/home]] (2020/3/11-13) “Classifying Topos for Existentially Closed Models” ***寄稿 [#q4cf1e05] -[[現代思想2020年7月号 特集＝圏論の世界:http://www.seidosha.co.jp/book/index.php?id=3438]] **その他一般向け活動 [#ice386c6] -[[第34回数理の翼夏季セミナー スタッフ長:http://www.npo-tsubasa.jp/tsubasa/34/staff.php]] (2013/8/12-16) -[[洛北高校 サイエンスII 特別講義（数学）:http://www.kyoto-be.ne.jp/rakuhoku-hs/sshguidance27.html/folder001416.html/science2%2015.html/science2%2015rikei.html/page001432.html]](2015/5/7)「ゲーデルの不完全性定理と数学」 -[[第36回数理の翼夏季セミナー 実行委員:http://www.npo-tsubasa.jp/tsubasa/36/]] (2015/8/15-19) -[[宇都宮大学iP-U事業:http://c-bio.mine.utsunomiya-u.ac.jp/iP-U/my-calendar/?mc_id=61]] (2016/1/30)「大学からの数学」 -[[洛北Math Seminar:http://www1.kyoto-be.ne.jp/rakuhoku-hs/sshguidance27.html/folder001416.html/page001499.html]] (2016/2/10)「大学からの数学」 -[[第8回関西すうがく徒のつどい:http://kansaimath.tenasaku.com/?page_id=1276]] (2016/3/20)「続・闇空間Rの性質」（スライドあり） --専門家とは限らない数学徒向け「実閉体のモデル理論と順序極小構造」の入門 -[[第37回数理の翼夏季セミナー 班長:http://www.npo-tsubasa.jp/tsubasa/37/]] (2016/8/14-18) -[[第16回数学カフェ『圏論2』:https://togetter.com/li/1028980]] (2016/9/24) -[[宇都宮大学iP-U事業:http://c-bio.mine.utsunomiya-u.ac.jp/iP-U/my-calendar/?mc_id=202]] (2017/2/26)「大学からの数学」 -[[Model Theory and Algebraic Geometry Seminar:https://twipla.jp/events/246119]] (2017/3/25) “Model theory of algebraically closed fields” -寄稿：[[Enjoy Mathematics!:https://next-nexus.booth.pm/items/1157480]] (2018年末・C95にて頒布・BOOTHにて販売中) “Schemes from a Functorial Viewpoint”（[[概要宣伝ツイートはこちら:https://twitter.com/piano2683/status/1077597461370163200]]） -[[数理空間トポス夏休みイベント:https://peatix.com/event/730685/view?k=575ddbd1b995eac94242f4c26a3d27e6c241c16a]] (2019/7/20)「トポス理論の諸相 ～空間と論理の架け橋としてのトポス～」（[[講演スライド:https://drive.google.com/file/d/1hC_tAkrHjDHyoolsgR3q8JHqAdYw0rVV/view]]） -[[数理の翼伊計島セミナー2020 実行委員長:https://www.npo-tsubasa.jp/tsubasa/island2020/]] (2020/3/26-30) **オススメのサイト・TeX関連 [#s59b14cf] サークル内ページに移植しました→[[circle/あらたけ]] //**時間割 [#bbc5cfff] //*** 2014年度後期時間割 [#cf624125] //#include(2014/後期時間割/あらたけ,notitle) //*** 2014年度前期時間割 [#cf624125] //#include(2014/前期時間割/あらたけ,notitle) //*** 2013年度後期時間割 [#pf199e44] //#include(2013/後期時間割/あらたけ,notitle) //*** 2013年度前期時間割 [#xb4745d6] //#include(2013/前期時間割/あらたけ,notitle) //*** 2012年度後期時間割 [#oc1557ae] //#include(2012/後期時間割/あらたけ,notitle) //*** 2012年度前期時間割 [#h59285d7] //#include(2012/前期時間割/あらたけ,notitle) //**TeX関連 [#n1eeb423] //今までにS2S関連で作ったTeXファイルをうｐします． //-夏合宿2012講義「Real and Hyperreal」 //--&ref(あらたけ/real_and_hyperreal_revised.pdf); //--&ref(あらたけ/real_and_hyperreal_revised.tex); //** コメント [#v7fc1a7c] //- とりあえず試しに作ってみました -- [[あらたけ]] &new{2011-12-06 (火) 02:15:04}; //#comment
