• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

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

研究課題

研究課題/領域番号 26800077
研究種目

若手研究(B)

配分区分基金
研究分野 数学基礎・応用数学
研究機関筑波大学

研究代表者

竹内 耕太  筑波大学, 数理物質系, 助教 (50722485)

連携研究者 坪井 明人  筑波大学, 数理物質系, 教授 (30180045)
研究協力者 CHERNIKOV Artem  University of California Los Angeles, Mathematics, Assistant Professor
研究期間 (年度) 2014-04-01 – 2018-03-31
研究課題ステータス 完了 (2017年度)
配分額 *注記
3,770千円 (直接経費: 2,900千円、間接経費: 870千円)
2017年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2016年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
2015年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2014年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
キーワードn-dependent / 2-order property / Ramsey property / indiscernible / VC-dimension / n-dependent property / Random graph / Ramsey class / monochromatic subgraph / n-dependence / VCn-dimension / PACn-learning
研究成果の概要

本研究では数理論理学におけるモデル理論と有限組み合わせ理論の境界領域を研究した。近年モデル理論における重要な概念が組合せ論と密接な関係にあることが注目されている。特にNIPとVC-dimensionと呼ばれる概念が対応しており、これは組合せ論にとどまらず機械学習などでも頻繁に現れるものである。本研究ではNIPの拡張であるNIPn、そのための基本的な道具としてのグラフのRamsey propertyの研究を行い, またこれらの研究手法を応用してモデル理論における重要概念である安定性を2-安定性に拡張することを行った。さらにこれらのハイパーグラフの組合せ論や多次元機械学習への応用の具体例も与えた。

報告書

(5件)
  • 2017 実績報告書   研究成果報告書 ( PDF )
  • 2016 実施状況報告書
  • 2015 実施状況報告書
  • 2014 実施状況報告書
  • 研究成果

    (28件)

すべて 2018 2017 2016 2015 2014

すべて 雑誌論文 (8件) (うち国際共著 1件、 オープンアクセス 3件、 査読あり 3件、 謝辞記載あり 2件) 学会発表 (20件) (うち国際学会 4件、 招待講演 4件)

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

    • 著者名/発表者名
      Kota Takeuchi
    • 雑誌名

      RIMS Kokyuroku

      巻: 印刷中

    • 関連する報告書
      2017 実績報告書
    • オープンアクセス
  • [雑誌論文] On the infinite Ramsey property for random graph2017

    • 著者名/発表者名
      Kota Takeuchi
    • 雑誌名

      RIMS Kokyuroku

      巻: 印刷中

    • 関連する報告書
      2016 実施状況報告書
    • オープンアクセス
  • [雑誌論文] Properties Characterized by generalized indiscernible2017

    • 著者名/発表者名
      Kota Takeuchi
    • 雑誌名

      RIMS Kokyuroku

      巻: 印刷中

    • 関連する報告書
      2016 実施状況報告書
    • オープンアクセス
  • [雑誌論文] On n-dependence2017

    • 著者名/発表者名
      Artem Chernikov, Daniel Palacin and Kota Takeuchi
    • 雑誌名

      Notre Dame Journal of Formal Logic

      巻: 印刷中

    • 関連する報告書
      2016 実施状況報告書
    • 査読あり / 国際共著 / 謝辞記載あり
  • [雑誌論文] The partite construction with forbidden structures2016

    • 著者名/発表者名
      Kota Takeuchi
    • 雑誌名

      RIMS Kokyuroku

      巻: 印刷中

    • 関連する報告書
      2015 実施状況報告書
  • [雑誌論文] Higher dimensional PACn-learning2015

    • 著者名/発表者名
      Munehiro Kobayashi, Takayuki Kuriyama and Kota Takeuchi
    • 雑誌名

      Congressus Numerantium

      巻: Vol.223 ページ: 227-236

    • 関連する報告書
      2015 実施状況報告書
    • 査読あり / 謝辞記載あり
  • [雑誌論文] Model companions of theories of graphs2015

    • 著者名/発表者名
      Kota Takeuchi, Yu-ichi Tanaka and Akito Tsuboi
    • 雑誌名

      Mathematical Logic Quarterly

      巻: 印刷中

    • 関連する報告書
      2014 実施状況報告書
    • 査読あり
  • [雑誌論文] On the PACn-learning2015

    • 著者名/発表者名
      Takayuki Kuriyama and Kota Takeuchi
    • 雑誌名

      RIMS Kokyuroku

      巻: 1938 ページ: 54-58

    • 関連する報告書
      2014 実施状況報告書
  • [学会発表] On the number of independent strict orders2017

    • 著者名/発表者名
      Akito Tsuboi
    • 学会等名
      日本数学会
    • 発表場所
      首都大学東京(東京都八王子市)
    • 年月日
      2017-03-24
    • 関連する報告書
      2016 実施状況報告書
  • [学会発表] A simple proof of Terry's result on hereditary L-property2017

    • 著者名/発表者名
      Kota Takeuchi
    • 学会等名
      Kagoshima Model Theory Workshop
    • 発表場所
      鹿児島国際大学(鹿児島県鹿児島市)
    • 年月日
      2017-03-09
    • 関連する報告書
      2016 実施状況報告書
  • [学会発表] Recent interactions between model theory and finite combinatorics2017

    • 著者名/発表者名
      Kota Takeuchi
    • 学会等名
      日本数学会特別講演
    • 関連する報告書
      2017 実績報告書
    • 招待講演
  • [学会発表] On 2-order property2017

    • 著者名/発表者名
      Kota Takeuchi
    • 学会等名
      Asian Logic Conference
    • 関連する報告書
      2017 実績報告書
    • 国際学会 / 招待講演
  • [学会発表] On the speed of hereditary properties of graphs2017

    • 著者名/発表者名
      Kota Takeuchi
    • 学会等名
      RIMS Workshop on Model Theory
    • 関連する報告書
      2017 実績報告書
  • [学会発表] Ramsey property and 2-order property2017

    • 著者名/発表者名
      Kota Takeuchi
    • 学会等名
      Caltech-UCLA logic seminar
    • 関連する報告書
      2017 実績報告書
    • 国際学会 / 招待講演
  • [学会発表] On the infinite Ramsey property for random graph2016

    • 著者名/発表者名
      Kota Takeuchi
    • 学会等名
      RIMS workshop
    • 発表場所
      京都大学数理解析研究所(京都府京都市)
    • 年月日
      2016-12-12
    • 関連する報告書
      2016 実施状況報告書
  • [学会発表] Atomless Probability Algebraの理論における量化子消去アルゴリズム2016

    • 著者名/発表者名
      Munehiro Kobayashi
    • 学会等名
      RIMS workshop
    • 発表場所
      京都大学数理解析研究所(京都府京都市)
    • 年月日
      2016-12-07
    • 関連する報告書
      2016 実施状況報告書
  • [学会発表] Properties Characterized by generalized indiscernible2016

    • 著者名/発表者名
      Kota Takeuchi
    • 学会等名
      RIMS workshop
    • 発表場所
      京都大学数理解析研究所(京都府京都市)
    • 年月日
      2016-09-26
    • 関連する報告書
      2016 実施状況報告書
    • 国際学会 / 招待講演
  • [学会発表] The partite construction with forbidden structures2015

    • 著者名/発表者名
      Kota Takeuchi
    • 学会等名
      RIMS workshop
    • 発表場所
      京都大学数理解析研究所(京都府京都市)
    • 年月日
      2015-12-14
    • 関連する報告書
      2015 実施状況報告書
    • 国際学会
  • [学会発表] Ramsey property of free amalgamation classes2015

    • 著者名/発表者名
      Kota Takeuchi
    • 学会等名
      日本数学会
    • 発表場所
      京都産業大学(京都府京都市)
    • 年月日
      2015-09-14
    • 関連する報告書
      2015 実施状況報告書
  • [学会発表] Ramsey property of the Random graph2015

    • 著者名/発表者名
      Kota Takeuchi
    • 学会等名
      モデル理論夏の学校2015
    • 発表場所
      法政大学(東京都千代田区)
    • 年月日
      2015-08-22
    • 関連する報告書
      2015 実施状況報告書
  • [学会発表] n-dependent theories2015

    • 著者名/発表者名
      Kota Takeuchi
    • 学会等名
      日本数学会
    • 発表場所
      明治大学
    • 年月日
      2015-03-21 – 2015-03-24
    • 関連する報告書
      2014 実施状況報告書
  • [学会発表] VC-dimension and PAC-learnability for higher dimensional spaces2015

    • 著者名/発表者名
      Munehiro Kobayashi, Takayuki Kuriyama and Kota Takeuchi
    • 学会等名
      日本数学会
    • 発表場所
      明治大学
    • 年月日
      2015-03-21 – 2015-03-24
    • 関連する報告書
      2014 実施状況報告書
  • [学会発表] Higher dimensional PAC-learning and VC-dimension2015

    • 著者名/発表者名
      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
    • 関連する報告書
      2014 実施状況報告書
  • [学会発表] On the existence of epsilon-nets2014

    • 著者名/発表者名
      Takayuki Kuriyama and Kota Takeuchi
    • 学会等名
      RIMS meeting
    • 発表場所
      京都大学
    • 年月日
      2014-11-25 – 2014-11-27
    • 関連する報告書
      2014 実施状況報告書
  • [学会発表] Model theory, graph theory and computational learning theory2014

    • 著者名/発表者名
      Kota Takeuchi
    • 学会等名
      数学基礎論若手の会
    • 発表場所
      鳥取市サイクリングターミナル砂丘の家
    • 年月日
      2014-11-18 – 2014-11-20
    • 関連する報告書
      2014 実施状況報告書
  • [学会発表] Generalized VC-dimension and Zarankiewicz number2014

    • 著者名/発表者名
      Kota Takeuchi
    • 学会等名
      モデル理論夏の学校
    • 発表場所
      筑波大学
    • 年月日
      2014-09-12 – 2014-09-14
    • 関連する報告書
      2014 実施状況報告書
  • [学会発表] Generalized VC dimension and Sauer lemma for classes of subsets of product sets2014

    • 著者名/発表者名
      Kota Takeuchi
    • 学会等名
      The Japanese Conference on Combinatorics and its Applications
    • 発表場所
      文部科学省研究交流センター(つくば市)
    • 年月日
      2014-08-25 – 2014-08-29
    • 関連する報告書
      2014 実施状況報告書
  • [学会発表] Model theory and finite combinatorics2014

    • 著者名/発表者名
      Kota Takeuchi
    • 学会等名
      東北大学純粋・応用数学研究センター組み合わせ論セミナー
    • 発表場所
      東北大学
    • 年月日
      2014-06-06
    • 関連する報告書
      2014 実施状況報告書

URL: 

公開日: 2014-04-04   更新日: 2019-03-29  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi