竹内耕太 Takeuchi Kota

研究者番号	50722485
その他のID
所属 (現在)	2025年度: 筑波大学, 数理物質系, 助教
所属 (過去の研究課題情報に基づく) *注記	2025年度: 筑波大学, 数理物質系, 助教 2019年度 – 2023年度: 筑波大学, 数理物質系, 助教 2014年度 – 2017年度: 筑波大学, 数理物質系, 助教 2016年度: 筑波大学, 数理物質系数学域, 助教
審査区分/研究分野	研究代表者小区分12030:数学基礎関連 / 小区分60010:情報学基礎論関連 / 数学基礎・応用数学研究代表者以外小区分12030:数学基礎関連 / 数学基礎・応用数学
キーワード	研究代表者 Ramsey class / Ramsey property / Splitting Theorem / o-minimal structure / Peano算術 / NIP / モデル理論 / 超平面 / VC次元 / VC密度 … もっと見る / PAC学習 / random graph / independent property / metric structures / Metric structure / Indivisible / structural Ramsey theory / continuous logic / dividing line / one variable reduction / PACn-learning / VCn-dimension / n-dependence / monochromatic subgraph / Random graph / n-dependent property / VC-dimension / indiscernible / 2-order property / n-dependent … もっと見る研究代表者以外モデル理論 / 数理論理学 / 一様列 / 有限数学 / 彩色 / ランダムグラフ / ランダム構造 / 無限組み合わせ論 / Ramsey / Erdos-Rado / 一様樹形図 / 安定性理論 / グラフ / モデル完全性 / 意味論 / 平面グラフ / モデル随伴理論隠す

順序極小理論とペアノ算術のモデル理論の交差研究代表者
- 研究代表者
  
  竹内耕太
- 研究期間 (年度)
  2025 – 2028
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分12030:数学基礎関連
- 研究機関
  筑波大学
無限飽和構造の有限モデル理論への応用
- 研究代表者
  
  坪井明人
- 研究期間 (年度)
  2021 – 2024
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分12030:数学基礎関連
- 研究機関
  筑波大学
超平面を用いたPAC学習理論へのモデル論的アプローチ研究代表者
- 研究代表者
  
  竹内耕太
- 研究期間 (年度)
  2019 – 2024
- 研究種目
  
  若手研究
- 審査区分
  
  小区分60010:情報学基礎論関連
- 研究機関
  筑波大学
有限組み合わせ論を用いた安定性理論の新展開研究代表者
- 研究代表者
  
  竹内耕太
- 研究期間 (年度)
  2014 – 2017
- 研究種目
  
  若手研究(B)
- 研究分野
  
  数学基礎・応用数学
- 研究機関
  筑波大学
タイプ排除定理と無限組み合わせ論の研究
- 研究代表者
  
  坪井明人
- 研究期間 (年度)
  2013 – 2016
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  数学基礎・応用数学
- 研究機関
  筑波大学

すべて 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 その他

すべて雑誌論文学会発表

[雑誌論文] On indivisible structures2023
- 著者名/発表者名
  Kota Takeuchi
- 雑誌名
  
  RIMS Kokyuroku
  
  巻: 2249 ページ: 1-6
- オープンアクセス
- データソース
  KAKENHI-PROJECT-19K20209
[雑誌論文] On model companions of some classes of groups2022
- 著者名/発表者名
  Kota Takeuchi
- 雑誌名
  
  RIMS Kokyuroku
  
  巻: 2218 ページ: 79-84
- オープンアクセス
- データソース
  KAKENHI-PROJECT-19K20209
[雑誌論文] On the number of independent orders2021
- 著者名/発表者名
  Kota Takeuchi and Akito Tsuboi
- 雑誌名
  
  Annals of Pure and Applied Logic
  
  巻: vol. 172, issue 2 号: 2 ページ: 102886-102886
- DOI
  10.1016/j.apal.2020.102886
- 査読あり
- データソース
  KAKENHI-PROJECT-19K20209, KAKENHI-PROJECT-17K05342
[雑誌論文] Automorphisms on graphs2021
- 著者名/発表者名
  Kota Takeuchi
- 雑誌名
  
  RIMS Kokyuroku
  
  巻: 2199
- NAID
  120007170992
- オープンアクセス
- データソース
  KAKENHI-PROJECT-19K20209
[雑誌論文] On VC2 dimension and learnability2020
- 著者名/発表者名
  Kota Takeuchi
- 雑誌名
  
  RIMS Kokyuroku
  
  巻: 2170
- データソース
  KAKENHI-PROJECT-19K20209
[雑誌論文] An approximation of Keisler measure by using Morley sequences2019
- 著者名/発表者名
  Kota Takeuchi
- 雑誌名
  
  RIMS Kokyuroku
  
  巻: 2119 ページ: 43-47
- データソース
  KAKENHI-PROJECT-19K20209
[雑誌論文] On the speed of hereditary properties of graphs2018
- 著者名/発表者名
  Kota Takeuchi
- 雑誌名
  
  RIMS Kokyuroku
  
  巻: 印刷中
- オープンアクセス
- データソース
  KAKENHI-PROJECT-26800077
[雑誌論文] On n-dependence2017
- 著者名/発表者名
  Artem Chernikov, Daniel Palacin and Kota Takeuchi
- 雑誌名
  
  Notre Dame Journal of Formal Logic
  
  巻: 印刷中
- 査読あり / 謝辞記載あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-26800077
[雑誌論文] Properties Characterized by generalized indiscernible2017
- 著者名/発表者名
  Kota Takeuchi
- 雑誌名
  
  RIMS Kokyuroku
  
  巻: 印刷中
- オープンアクセス
- データソース
  KAKENHI-PROJECT-26800077
[雑誌論文] On the infinite Ramsey property for random graph2017
- 著者名/発表者名
  Kota Takeuchi
- 雑誌名
  
  RIMS Kokyuroku
  
  巻: 印刷中
- オープンアクセス
- データソース
  KAKENHI-PROJECT-26800077
[雑誌論文] The partite construction with forbidden structures2016
- 著者名/発表者名
  Kota Takeuchi
- 雑誌名
  
  RIMS Kokyuroku
  
  巻: 印刷中
- データソース
  KAKENHI-PROJECT-26800077
[雑誌論文] Model companions of theories of graph2015
- 著者名/発表者名
  K. Takeuchi, Y. Tanaka and A. Tsuboi
- 雑誌名
  
  Mathematical Logic Quarterly
  
  巻: 61 号: 3 ページ: 236-246
- DOI
  10.1002/malq.201400019
- 査読あり / 謝辞記載あり
- データソース
  KAKENHI-PROJECT-25400190
[雑誌論文] Higher dimensional PACn-learning2015
- 著者名/発表者名
  Munehiro Kobayashi, Takayuki Kuriyama and Kota Takeuchi
- 雑誌名
  
  Congressus Numerantium
  
  巻: Vol.223 ページ: 227-236
- 査読あり / 謝辞記載あり
- データソース
  KAKENHI-PROJECT-26800077
[雑誌論文] Model companions of theories of graphs2015
- 著者名/発表者名
  Kota Takeuchi, Yu-ichi Tanaka and Akito Tsuboi
- 雑誌名
  
  Mathematical Logic Quarterly
  
  巻: 印刷中
- 査読あり
- データソース
  KAKENHI-PROJECT-26800077
[雑誌論文] On the PACn-learning2015
- 著者名/発表者名
  Takayuki Kuriyama and Kota Takeuchi
- 雑誌名
  
  RIMS Kokyuroku
  
  巻: 1938 ページ: 54-58
- データソース
  KAKENHI-PROJECT-26800077
[学会発表] Single variable witnesses for unstable properties2023
- 著者名/発表者名
  Kota Takeuchi
- 学会等名
  Model Theory Summer Workshop 2023
- データソース
  KAKENHI-PROJECT-19K20209
[学会発表] Coloring and the number of independent orders2023
- 著者名/発表者名
  Kota Takeuchi
- 学会等名
  Model Theory Spring Workshop 2023
- データソース
  KAKENHI-PROJECT-19K20209
[学会発表] Some remarks on the local o-minimality2023
- 著者名/発表者名
  Kota Takeuchi
- 学会等名
  Tokyo Model Theory Seminar
- データソース
  KAKENHI-PROJECT-19K20209
[学会発表] Single variable witnesses and Ramsey Property2023
- 著者名/発表者名
  Kota Takeuchi
- 学会等名
  RIMS Model Theory Workshop 2023
- データソース
  KAKENHI-PROJECT-19K20209
[学会発表] Subadditivity of model-theoretic patterns2022
- 著者名/発表者名
  Kota Takeuchi
- 学会等名
  Tokyo Model Theory Seminar
- データソース
  KAKENHI-PROJECT-19K20209
[学会発表] On indivisible structures2022
- 著者名/発表者名
  Kota Takeuchi
- 学会等名
  RIMS Model Theory Workshop
- データソース
  KAKENHI-PROJECT-19K20209
[学会発表] Automorphisms on graphs2021
- 著者名/発表者名
  Kota Takeuchi
- 学会等名
  RIMS workshop
- データソース
  KAKENHI-PROJECT-19K20209
[学会発表] Amalgamation properties of some classes of groups2021
- 著者名/発表者名
  Kota Takeuchi
- 学会等名
  Model theory summer workshop
- データソース
  KAKENHI-PROJECT-19K20209
[学会発表] On model companions of some classes of groups2021
- 著者名/発表者名
  Kota Takeuchi
- 学会等名
  RIMS workshop
- データソース
  KAKENHI-PROJECT-19K20209
[学会発表] A remark on structural Ramsey properties2020
- 著者名/発表者名
  Kota Takeuchi
- 学会等名
  RIMS
- データソース
  KAKENHI-PROJECT-19K20209
[学会発表] On isomorphic submodels of arithmetic2019
- 著者名/発表者名
  Kota Takeuchi
- 学会等名
  Model theory summer workshop
- データソース
  KAKENHI-PROJECT-19K20209
[学会発表] On VC2-dimension and learnability2019
- 著者名/発表者名
  Kota Takeuchi
- 学会等名
  RIMS model theory workshop
- データソース
  KAKENHI-PROJECT-19K20209
[学会発表] On 2-order property2017
- 著者名/発表者名
  Kota Takeuchi
- 学会等名
  Asian Logic Conference
- 招待講演 / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-26800077
[学会発表] Recent interactions between model theory and finite combinatorics2017
- 著者名/発表者名
  Kota Takeuchi
- 学会等名
  日本数学会特別講演
- 招待講演
- データソース
  KAKENHI-PROJECT-26800077
[学会発表] A simple proof of Terry's result on hereditary L-property2017
- 著者名/発表者名
  Kota Takeuchi
- 学会等名
  Kagoshima Model Theory Workshop
- 発表場所
  鹿児島国際大学（鹿児島県鹿児島市）
- 年月日
  2017-03-09
- データソース
  KAKENHI-PROJECT-26800077
[学会発表] On the speed of hereditary properties of graphs2017
- 著者名/発表者名
  Kota Takeuchi
- 学会等名
  RIMS Workshop on Model Theory
- データソース
  KAKENHI-PROJECT-26800077
[学会発表] Ramsey property and 2-order property2017
- 著者名/発表者名
  Kota Takeuchi
- 学会等名
  Caltech-UCLA logic seminar
- 招待講演 / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-26800077
[学会発表] On the infinite Ramsey property for random graph2016
- 著者名/発表者名
  Kota Takeuchi
- 学会等名
  RIMS workshop
- 発表場所
  京都大学数理解析研究所（京都府京都市）
- 年月日
  2016-12-12
- データソース
  KAKENHI-PROJECT-26800077
[学会発表] Properties Characterized by generalized indiscernible2016
- 著者名/発表者名
  Kota Takeuchi
- 学会等名
  RIMS workshop
- 発表場所
  京都大学数理解析研究所（京都府京都市）
- 年月日
  2016-09-26
- 招待講演 / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-26800077
[学会発表] The partite construction with forbidden structures2015
- 著者名/発表者名
  Kota Takeuchi
- 学会等名
  RIMS workshop
- 発表場所
  京都大学数理解析研究所（京都府京都市）
- 年月日
  2015-12-14
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-26800077
[学会発表] Ramsey property of free amalgamation classes2015
- 著者名/発表者名
  Kota Takeuchi
- 学会等名
  日本数学会
- 発表場所
  京都産業大学（京都府京都市）
- 年月日
  2015-09-14
- データソース
  KAKENHI-PROJECT-26800077
[学会発表] Ramsey property of the Random graph2015
- 著者名/発表者名
  Kota Takeuchi
- 学会等名
  モデル理論夏の学校2015
- 発表場所
  法政大学（東京都千代田区）
- 年月日
  2015-08-22
- データソース
  KAKENHI-PROJECT-26800077
[学会発表] Model theory and finite combinatorics2014
- 著者名/発表者名
  Kota Takeuchi
- 学会等名
  東北大学純粋・応用数学研究センター組み合わせ論セミナー
- 発表場所
  東北大学
- 年月日
  2014-06-06
- データソース
  KAKENHI-PROJECT-26800077
[学会発表] On the existence of epsilon-nets
- 著者名/発表者名
  Takayuki Kuriyama and Kota Takeuchi
- 学会等名
  RIMS meeting
- 発表場所
  京都大学
- 年月日
  2014-11-25 – 2014-11-27
- データソース
  KAKENHI-PROJECT-26800077
[学会発表] Generalized VC-dimension and Zarankiewicz number
- 著者名/発表者名
  Kota Takeuchi
- 学会等名
  モデル理論夏の学校
- 発表場所
  筑波大学
- 年月日
  2014-09-12 – 2014-09-14
- データソース
  KAKENHI-PROJECT-26800077
[学会発表] n-dependent theories
- 著者名/発表者名
  Kota Takeuchi
- 学会等名
  日本数学会
- 発表場所
  明治大学
- 年月日
  2015-03-21 – 2015-03-24
- データソース
  KAKENHI-PROJECT-26800077
[学会発表] Model theory, graph theory and computational learning theory
- 著者名/発表者名
  Kota Takeuchi
- 学会等名
  数学基礎論若手の会
- 発表場所
  鳥取市サイクリングターミナル砂丘の家
- 年月日
  2014-11-18 – 2014-11-20
- データソース
  KAKENHI-PROJECT-26800077
[学会発表] VC-dimension and PAC-learnability for higher dimensional spaces
- 著者名/発表者名
  Munehiro Kobayashi, Takayuki Kuriyama and Kota Takeuchi
- 学会等名
  日本数学会
- 発表場所
  明治大学
- 年月日
  2015-03-21 – 2015-03-24
- データソース
  KAKENHI-PROJECT-26800077
[学会発表] Higher dimensional PAC-learning and VC-dimension
- 著者名/発表者名
  Munehiro Kobayashi, Takayuki Kuriyama and Kota Takeuchi
- 学会等名
  Forty-Sixth Southeastern International Conference on Combinatorics, Graph Theory, and Computing
- 発表場所
  Florida Atlantic University, USA
- 年月日
  2015-03-02 – 2015-03-06
- データソース
  KAKENHI-PROJECT-26800077
[学会発表] Generalized VC dimension and Sauer lemma for classes of subsets of product sets
- 著者名/発表者名
  Kota Takeuchi
- 学会等名
  The Japanese Conference on Combinatorics and its Applications
- 発表場所
  文部科学省研究交流センター(つくば市)
- 年月日
  2014-08-25 – 2014-08-29
- データソース
  KAKENHI-PROJECT-26800077

1. 坪井明人 (30180045)

共同の研究課題数: 3件

共同の研究成果数: 2件
2. 塩谷真弘 (30251028)

共同の研究課題数: 1件

共同の研究成果数: 0件
3. 柳川信

共同の研究課題数: 1件

共同の研究成果数: 0件
4. 依田大樹

共同の研究課題数: 1件

共同の研究成果数: 0件
5. 岡部峻典

共同の研究課題数: 1件

共同の研究成果数: 0件
6. CHERNIKOV Artem

共同の研究課題数: 1件

共同の研究成果数: 1件

竹内 耕太 Takeuchi Kota

研究課題

研究成果

共同研究者

順序極小理論とペアノ算術のモデル理論の交差研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

無限飽和構造の有限モデル理論への応用

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

超平面を用いたPAC学習理論へのモデル論的アプローチ研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

有限組み合わせ論を用いた安定性理論の新展開研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

タイプ排除定理と無限組み合わせ論の研究

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

[雑誌論文] On indivisible structures2023

著者名/発表者名

雑誌名

データソース

[雑誌論文] On model companions of some classes of groups2022

著者名/発表者名

雑誌名

データソース

[雑誌論文] On the number of independent orders2021

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Automorphisms on graphs2021

著者名/発表者名

雑誌名

NAID

データソース

[雑誌論文] On VC2 dimension and learnability2020

著者名/発表者名

雑誌名

データソース

[雑誌論文] An approximation of Keisler measure by using Morley sequences2019

著者名/発表者名

雑誌名

データソース

[雑誌論文] On the speed of hereditary properties of graphs2018

著者名/発表者名

雑誌名

データソース

[雑誌論文] On n-dependence2017

著者名/発表者名

雑誌名

データソース

[雑誌論文] Properties Characterized by generalized indiscernible2017

著者名/発表者名

雑誌名

データソース

[雑誌論文] On the infinite Ramsey property for random graph2017

著者名/発表者名

雑誌名

データソース

[雑誌論文] The partite construction with forbidden structures2016

著者名/発表者名

雑誌名

データソース

竹内耕太 Takeuchi Kota