研究者
J-GLOBAL ID：200901025232558882   更新日: 2024年06月24日

坪井 明人

ツボイ アキト | Tsuboi Akito
所属機関・部署：
筑波大学

筑波大学 について


研究分野 (2件)： 応用数学、統計数学 ,  数学基礎
競争的資金等の研究課題 (1件)：
  • モデル理論
論文 (66件)：
  • 坪井,明人. Non-expessibility of a class of finite graphs. RIMS Kokyuroku (数理解析研究所講究録). 2019. No.2119. 9-12
  • 坪井, 明人. Infinite Monochromatic Subgraphs (Model theoretic aspects of the notion of independence and dimension : RIMS研究集会報告集). 数理解析研究所講究録. 2016. 2002. 34-38
  • kota Takeuchi, Yu-ichi Tanaka, Akito Tsuboi. Model companions of theories of graphs. MATHEMATICAL LOGIC QUARTERLY. 2015. 61. 3. 236-246
  • Tsuboi,Akito. Dividing and Forking --- A Proof of the Equivalence ---. 京都大学 数理解析研究所 講究録 1888. 2014. 1888. 23-27
  • Kota Takeuchi, Akito Tsuboi. On the existence of indiscernible trees. ANNALS OF PURE AND APPLIED LOGIC. 2012. 163. 12. 1891-1902
もっと見る
MISC (1件)：
  • 竹内 耕太, 坪井 明人. Infinitary Method for Finite Structures (Model theoretic aspects of the notion of independence and dimension). 数理解析研究所講究録. 2015. 1938. 59-64
書籍 (4件)：
  • 集合入門 単行本 - 坪井 明人 (著), 塩谷 真弘 (著), 佐垣 大輔 (著)
    牧野書店 2019 ISBN:443425796X
  • 数理論理学の基礎・基本
    牧野書店 2012
  • ゲーデルと20世紀の論理学(ロジック)〈2〉完全性定理とモデル理論
    2006
  • モデルの理論
    河合文化教育研究所 (1997/02) 1997
講演・口頭発表等 (13件)：
  • On the number of independent strict orders
    (2019 RIMS Model Theory Workshop 2019)
  • A remark on Ehrenfeucht theories
    (日本数学会秋季総合分科会 2019)
  • Compactness arguments for finite structures
    (研究集会:モデル理論夏の学校 2019 2019)
  • Compactness and finite structures
    (RIMS Model Theory Workshop 2018 2018)
  • Finite combinatorics and compactness
    (北陸先端科学技術大学院大学情報系セミナー 2018)
もっと見る
学歴 (2件)：
  • - 1985 筑波大学 数学研究科 数学
  • - 1979 東京大学 理学部 数学
学位 (1件)：
  • 理学博士
委員歴 (1件)：
  • 2017/01 - 2018/12 The Committee of Logic in East Asia/ Chair
所属学会 (3件)：
日本数学会 ,  Association for Symbolic Logic ,  ASL (Association for Symbolic Logic)
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM