現在地

坪井 明人(ツボイ アキト; Tsuboi, Akito)

face
所属
数理物質系
職名
教授
URL
研究分野
数学基礎・応用数学
研究課題
モデル理論におけるShelah予想とその解決に向けた研究2017 -- 2020坪井 明人日本学術振興会/基盤研究(C)4,420,000円
モデル理論 -- (現在)/
モデル理論におけるタイプ排除定理とその応用2010 -- 2012日本学術振興会/基盤研究(C)4,030,000円
1階言語で定義された算術理論のモデルの研究とその応用2007 -- 2009日本学術振興会/基盤研究(C)4,030,000円
超越的手法による有限モデル理論の研究とそのLachlan予想解決への応用2005 -- (現在)日本学術振興会/基盤研究(C)3,200,000円
モデル理論における単純性と融合可能性に関する研究2002 -- (現在)日本学術振興会/基盤研究(C)3,300,000円
可算モデルの個数が有限となる理論の研究2000 -- (現在)日本学術振興会/基盤研究(C)3,800,000円
モデル理論における弱い同形概念の導入とその研究1998 -- (現在)日本学術振興会/萌芽的研究500,000円
タイプ排除定理と無限組み合わせ論の研究2013 -- 2015坪井 明人日本学術振興会/基盤研究(C)4,940,000円
学歴
-- 1979東京大学 理学部 数学
-- 1985筑波大学 数学研究科 数学
取得学位
理学博士
所属学協会
1985-01 -- (現在)ASL (Association for Symbolic Logic)
-- (現在)Association for Symbolic Logic
-- (現在)日本数学会
論文
  • Non-expressibility of a class of finite graphs
    Tsuboi Akito
    RIMS Kokyuroku, 2019-07
  • Infinite Monochromatic Subgraphs (Model theoretic aspects of the notion of independence and dimension : RIMS研究集会報告集)
    坪井 明人
    数理解析研究所講究録/2002/pp.34-38, 2016-07
  • Dividing and Forking --- A Proof of the Equivalence ---
    Tsuboi Akito
    京都大学 数理解析研究所 講究録 1888/1888/pp.23-27, 2014-04
  • On the Existence of Indiscernible Trees
    Kota Takeuchi; Akito Tsuboi
    Annals of Pure and Applied Logic/163(12)/pp.1891-1902, 2012-12
  • Locally o-minimal structures
    Kawakami Tomohiro; Takeuchi Kota; Tanaka Hiroshi; Tsuboi ...
    JOURNAL OF THE MATHEMATICAL SOCIETY OF JAPAN/64(3)/pp.783-797, 2012-07
  • Trees and Branching Axioms (Model Theory of Fields and its Applications)
    坪井 明人
    数理解析研究所講究録/1794/pp.50-54, 2012-05
  • Low theories and the number of independent partitions (Model theoretic aspects of the notion of independence and dimension)
    坪井 明人
    数理解析研究所講究録/1741/pp.52-56, 2011-05
  • On generic automorphisms of a tree structure (New developments of independence notions in model theory)
    桔梗 宏孝; 坪井 明人
    数理解析研究所講究録/1718/pp.52-57, 2010-10
  • On Coheir Sequences : Indiscernible Array, Tree and Forest (New developments of independence notions in model theory)
    坪井 明人
    数理解析研究所講究録/1718/pp.81-91, 2010-10
  • Algebraic types and the number of countable models (Model Theory and It's Application to Algebra)
    坪井 明人
    数理解析研究所講究録/1708/pp.29-34, 2010-08
  • ON GENERIC STRUCTURES WITH A STRONG AMALGAMATION PROPERTY
    Ikeda Koichiro; Kikyo Hirotaka; Tsuboi Akito
    JOURNAL OF SYMBOLIC LOGIC/74(3)/pp.721-733, 2009-09
  • A note on Steinhorn's omitting types theorem. (English)
    Tsuboi Akito
    Colloq. Math./115(2)/p.189-194, 2009-01
  • On generic structures with a strong amalgamation property. (English)
    Ikeda Koichiro; Kikyo Hirotaka; Tsuboi Akito
    J. Symb. Log./74,(No. 3,)/p.721-733, 2009-01
  • Generalized amalgamation and n-simplicity
    Kim Byunghan; Kolesnikov Alexei S.; Tsuboi Akito
    ANNALS OF PURE AND APPLIED LOGIC/155(2)/pp.97-114, 2008-09
  • Independence in generic structures (モデル理論の手法による無限構造の構成法--RIMS共同研究報告集)
    坪井 明人
    数理解析研究所講究録/1602/pp.33-36, 2008-06
  • Models omitting given complete types. (English)
    Tsuboi Akito
    Notre Dame J. Formal Logic/49,(No. 4,)/p.393-399, 2008-01
  • A note on stationarity of types over models in simple theories
    Kobayashi Makoto; Tsuboi Akito
    MATHEMATICAL LOGIC QUARTERLY/54(6)/pp.625-628, 2008-01
  • タイプの排除と順序型(モデル理論における独立概念と次元)
    坪井 明人
    数理解析研究所講究録/1555/pp.73-74, 2007-05
  • Nonstandard models that are definable in models of Peano Arithmetic
    Ikeda Kazuma; Tsuboi Akito
    MATHEMATICAL LOGIC QUARTERLY/53(1)/pp.27-37, 2007-01
  • A Generalization of Morley's Omitting Types Theorem(Mathematical Logic and its Applications)
    坪井 明人
    数理解析研究所講究録/1525/pp.1-4, 2006-11
  • 理論の単純性について : n-simplicity に関する考察(自然数の超準モデルにおける1階定義可能性の研究)
    坪井 明人
    数理解析研究所講究録/1469/pp.96-100, 2006-02
  • PAのモデルの中で定義可能な非標準モデル(自然数の超準モデルにおける1階定義可能性の研究)
    池田 一磨; 坪井 明人
    数理解析研究所講究録/1469/pp.35-45, 2006-02
  • On the existence of a Morley sequence with a certain property (Generic structures and their applications)
    坪井 明人
    数理解析研究所講究録/1390/pp.46-48, 2004-07
  • Construction of saturated quasi-minimal structure
    Itai M; Tsuboi A; Wakai K
    JOURNAL OF SYMBOLIC LOGIC/69(1)/pp.9-22, 2004-03
  • 有限性を持つ理論について (モデル理論と代数幾何の交流)
    坪井 明人
    数理解析研究所講究録/1344/pp.16-25, 2003-10
著書
  • 集合入門 単行本 – 坪井 明人 (著), 塩谷 真弘 (著), 佐垣 大輔 (著)
    坪井 明人
    2019-03
  • モデルの理論
    坪井明人
    河合文化教育研究所 (1997/02), 1997-01
  • ゲーデルと20世紀の論理学(ロジック)〈2〉完全性定理とモデル理論
    坪井 明人
    2006-10
  • 数理論理学の基礎・基本
    坪井明人
    牧野書店, 2012-03
会議発表等
  • A proof of Hales-Jewett theorem using a nonstandard method
    坪井 明人
    Tegata L4 workshop/2018-03-27--2018-03-29
  • Finite combinatorics and compactness
    Tsuboi Akito
    北陸先端科学技術大学院大学情報系セミナー/2018-09-05--2018-09-05
  • Compactness and finite structures
    Tsuboi Akito
    RIMS Model Theory Workshop 2018/2018-12-10--2018-12-12
  • A proof of Hales-Jewett theorem using a nonstandard method
    坪井 明人
    Combinatorics and Model Theory Seminar/2018-01-15--2018-01-15
  • On the notion of stability
    坪井 明人
    モデル理論夏の学校 2017/2017-09-20--2017-09-20
  • Graphs and automorphism groups
    坪井 明人
    日本数学会秋季総合分科会/2017-09-13--2017-09-13
  • On the number of independent orders
    Tsuboi Akito
    2016 RIMS Model Theory Workshop/2016-12-12--2016-12-14
  • モデル理論入門
    Tsuboi Akito
    基礎論サマースクール2016/2016-09-05--2016-09-07
  • Infinite Monochromatic Subgraphs
    Tsuboi Akito
    RIMS Model Theory Workshop/2015-12-15--2015-12-17
  • The number of independent strict orders
    Tsuboi Akito
    2017 鹿児島モデル理論研究集会/2017-03-09--2017-03-11
  • On the number of independent strict orders
    Tsuboi Akito
    日本数学会年会/2017-03-24--2017-03-27
  • A model theoretic construction of real closed fields
    Tsuboi Akito
    Asian Logic Conference 2013/2013-09-19
  • On Indiscernible Trees
    Tsuboi Akito
    American Mathematical Society, 2012 Spring Western Section Meeting/2012-03-04
  • Hrushovski ’s Construction
    Tsuboi Akito
    2010 Model Theory School in Seoul/2010-05-16
  • On Coheir Sequences
    Tsuboi Akito
    Model Theory Conference in Seoul/2010-05-22
  • Independent partitions and indiscernibility
    Akito Tsuboi
    RIMS Model Theory Meeting (Model theoretic aspects of the notion of independence and dimension)/2010-11-29
担当授業科目
2019-04 -- 2019-08情報数学特別研究VB筑波大学
2019-10 -- 2020-02数学特別研究IIIB演習筑波大学
2019-04 -- 2019-08情報数学概論I筑波大学
2019-04 -- 2019-08情報数学特別研究IVB筑波大学
2019-08 -- 2019-08地球規模課題と国際社会:環境・エネルギー筑波大学
2019-10 -- 2020-02情報数学特別研究IIA筑波大学
2019-04 -- 2019-08数学特別研究IIIA筑波大学
2019-10 -- 2020-02情報数学特別研究IIIA筑波大学
2019-10 -- 2020-02情報数学特別研究IVA筑波大学
2019-10 -- 2020-02情報数学特別研究IVB筑波大学
一般講演
  • Infinite Monochromatic Subgraphs
    Tsuboi Akito
    RIMS Model Theory Workshop/2015-12-15--2015-12-15
  • On Indiscernible Trees,
    Akito Tsuboi
    American Mathematical Society, 2012 Spring Western Section Meeting/2012-03-04
  • On the Existence of Indiscernible Trees
    Akito Tsuboi
    Asian Logic Conference/2011-12-20
  • On local O-minimality
    坪井明人
    モデル理論夏の学校2010/2010-08-27
  • On Coheir Sequences
    Akito Tsuboi
    Model Theory Conference in Seoul/2010-05-22
  • Hrushovski’s Construction
    Akito Tsuboi
    2010 Model Theory School in Seoul/2010-05-16
  • On Coheir Sequences - Sequence, Tree and Forest -
    Akito Tsuboi
    Model Theory Kirishima 2010/2010-03-03
学協会等委員
2017-01 -- 2018-12The Association for Symbolic LogicThe Committee of Logic in East Asia/ Chair
学内管理運営業績
2018-04 -- (現在)大学院教育会議

(最終更新日: 2019-08-26)