Takeuchi Kota

Affiliation
Institute of Pure and Applied Sciences
Official title
Assistant Professor
KAKEN ID
50722485
URL
Research projects
超平面を用いたPAC学習理論へのモデル論的アプローチ2019 -- 2022竹内 耕太Japan Society for the Promotion of Science/Grant-in-Aid for Early-Career Scientists3,900,000Yen
有限組み合わせ論を用いた安定性理論の新展開2014 -- 2017竹内　耕太Japan Society for the Promotion of Science/若手研究(B)3,770,000Yen
Degree
2012-03博士（数学）筑波大学
Academic societies
2012-09 -- (current)日本数学会
Articles
  • On model companions of some classes of groups
    竹内 耕太
    RIMS Kokyuroku (数理解析研究所講究録)/2218/pp.79-84, 2022-05
  • Automorphisms on graphs
    Takeuchi Kota
    RIMS Kôkyûroku, 2021-09
  • On the number of independent orders
    Takeuchi Kota; Tsuboi Akito
    Annals of Pure and Applied Logic/172(2), 2021-02
  • On VC2-dimension and learnability
    Takeuchi Kota
    RIMS Kokyuroku (数理解析研究所講究録), 2020
  • An approximation of Keisler measure by using Morley sequences
    竹内 耕太
    京都大学数理解析研究所講究録 (RIMS Report, Kyoto)/pp.43-47, 2019-07
  • On the infinite Ramsey property for random graph
    Takeuchi Kota
    RIMS Kokyuroku (数理解析研究所講究録)/2079/pp.73-76, 2018-08
  • On the speed of hereditary properties of graphs
    竹内 耕太
    RIMS Kokyuroku (数理解析研究所講究録)/2084/pp.48-52, 2018-08
  • On n-Dependence
    Chernikov Artem; Palacin Daniel; Takeuchi Kota
    NOTRE DAME JOURNAL OF FORMAL LOGIC/60(2)/pp.195-214, 2019
  • Properties characterized by generalized indiscernible
    竹内 耕太
    RIMS Kokyuroku (数理解析研究所講究録)/2050/pp.41-47, 2017-10
Conference, etc.
  • An embedding theorem of Urysohn spaces
    竹内 耕太
    Tokyo Model Theory Seminar/2022-10-05--2022-10-05
  • Subadditivity of model-theoretic patterns
    竹内 耕太
    Tokyo Model Theory Seminar/2022-05-25--2022-05-25
  • Some remarks on the local o-minimality
    竹内 耕太
    Tokyo Model Theory Seminar/2023-02-01--2023-02-01
  • Coloring and the number of independent orders
    竹内 耕太
    Model theory spring workshop 2023/2023-03-06--2023-03-08
  • On indivisible structures
    竹内 耕太
    RIMS model theory workshop/2022-12-12--2022-12-14
  • モデル理論的ガロア理論入門
    竹内 耕太
    数学基礎論サマースクール2022/2022-09-07--2022-09-09
  • Amalgamation properties of some classes of groups
    竹内 耕太
    Model theory summer workshop/2021-09-05--2021-09-07
  • Automorphisms on graphs
    竹内 耕太
    RIMS workshop: New developments of transformation groups/2021-05-21--2021-05-23
  • On model companions of some classes of groups
    Takeuchi Kota
    RIMS model theory workshop/2021-12-13--2021-12-15
  • A remark on structural Ramsey properties
    Takeuchi Kota
    RIMS workshop/2020-12-07--2020-12-09
  • Sub-additivity of model theoretic invariants
    竹内 耕太
    モデル理論夏の学校研究集会/2020-09-09--2020-09-11
  • On VC2-dimension and learnability
    Takeuchi Kota
    RIMS workshop/2019-12-02--2019-12-04
  • On isomorphic submodels of arithmetic
    竹内 耕太
    Model theory summer workshop/2019-09-02--2019-09-04
  • VC inequality
    竹内 耕太
    モデル理論夏の学校/2018-09-10--2018-09-12
  • On the VC inequality
    Takeuchi Kota
    RIMS workshop/2018-12-10--2018-12-12
  • On the speed of hereditary properties of graphs
    竹内 耕太
    RIMS workshop/2017-12-04--2017-12-06
  • Continuous Logic I and II
    竹内 耕太
    モデル理論夏の学校研究集会/2017-09-19--2017-09-21
  • Ramsey property and 2-order property
    Takeuchi Kota
    UCLA Logic Seminar/2017-10-13--2017-10-13
  • Recent interactions between model theory and finite combinatorics
    竹内 耕太
    日本数学会(特別講演)/2017-09-11--2017-09-14
  • On 2-order property
    Takeuchi Kota
    Asian Logic Conference/2017-07-10--2017-07-14
  • Properties characterized by generalized indiscernible
    Takeuchi Kota
    RIMS workshop/2016-09-26--2016-09-29
  • Atomless Probability Algebraの理論における量化子消去アルゴリズム
    Takeuchi Kota; 小林宗弘; 依田大樹
    RIMS workshop/2016-12-07--2016-12-09
  • On the infinite Ramsey property for random graph
    Takeuchi Kota
    RIMS workshop/2016-12-12--2016-12-14
  • A simple proof of Terry's result on hereditary L-property
    Takeuchi Kota
    Kagoshima Model Theory Workshop/2017-03-09--2017-03-11
  • On the number of independent strict orders
    Takeuchi Kota; 坪井明人
    日本数学会/2017-03-24--2017-03-27
Teaching
2023-10 -- 2024-02Research in Mathematics of Information IIAUniversity of Tsukuba.
2023-10 -- 2024-02Research in Mathematics of Information IAUniversity of Tsukuba.
2023-04 -- 2023-08Research in Mathematics of Information IBUniversity of Tsukuba.
2023-04 -- 2023-08Research in Mathematics of Information IIAUniversity of Tsukuba.
2023-10 -- 2024-02Research in Mathematics of Information IIBUniversity of Tsukuba.
2023-04 -- 2023-08Mathematical LogicUniversity of Tsukuba.
2023-04 -- 2023-08Mathematical Logic IUniversity of Tsukuba.
2023-04 -- 2023-08Introduction to Mathematics of Information I: An Approach via Mathematical LogicUniversity of Tsukuba.
2023-10 -- 2024-02Research in Mathematics of Information IBUniversity of Tsukuba.
2023-04 -- 2023-08Frontiers of MathematicsUniversity of Tsukuba.
more...
Other educational activities
2019-04 -- 2020-03数学手習い塾筑波大学
2018-04 -- 2018-04科学技術週間ポスター展示企画筑波大学
2017-08 -- 2017-08筑波大学数学類体験学習講義筑波大学
2017-04 -- 2017-04科学技術週間ポスター展示企画筑波大学
2016-04 -- 2016-04科学技術週間ポスター展示企画筑波大学
Professional activities
2019-04 -- 2021-03日本数学会分科会運営委員
2018-04 -- 2019-03日本数学会代議員
University Management
2022-01 -- 2022-12キャリア支援担当
2019-04 -- 2021-03レクリエーション委員
2019-04 -- 2023-03自然系学類計算機委員会委員長
2019-04 -- 2023-03クラス担任
2016-04 -- (current)計算機委員会
2016-04 -- (current)談話会委員会
2013-07 -- (current)図書委員会

(Last updated: 2023-08-23)