• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

MATSUMOTO SATOSHI  松本 哲志

ORCIDConnect your ORCID iD *help
… Alternative Names

松本 哲志  マツモト サトシ

MATSUMOTO Satoshi  松本 哲志

Less
Researcher Number 30307235
Other IDs
External Links
Affiliation (Current) 2025: 東海大学, 理学部, 教授
Affiliation (based on the past Project Information) *help 2021 – 2024: 東海大学, 理学部, 教授
2020: 東海大学, 理学部, 准教授
2016: 東海大学, 理学部, 准教授
2007 – 2013: Tokai University, School of Science, Associate Professor
1999 – 2006: Tokai University, School of Science, Assistant Professor, 理学部, 講師
1998: 東海大学, 理学部, 助手
Review Section/Research Field
Except Principal Investigator
General mathematics (including Probability theory/Statistical mathematics) / General mathematics (including Probability theory/Statistical mathematics) / Basic Section 61030:Intelligent informatics-related / Basic Section 25010:Social systems engineering-related / Intelligent informatics / Geometry / Fundamental theory of informatics
Keywords
Except Principal Investigator
upper bound graph / double bound graph / グラフ理論 / semi bound graph / graph theory / 半順序集合 / poset / forbidden subgraph / forbidden subposet / 応用数学 … More / 離散数学 / Montesinos link / 3-braid link / 2-bridge link / semi bound graphs / graph operation / 組合せ論 / Jones多項式 / 計算位相幾何学 / 計算位相幾何 / 帰納推論 / 機械学習 / グラフパターン / グラフアルゴリズム / 計算論的学習理論 / 論理プログラミング / グラフニューラルネットワーク / 知識補完 / グラフ構造知識 / 避難所 / 避難経路探索 / 整数計画問題 / 組合せ最適化 / 避難経路 / 連結グラフ / 列挙アルゴリズム / グラフマイニング / 計算論的学習 / 形式体系 / グラフ文法 / k-tree / upper bound grap / Jones polynomial / computational topology / link theory / 組合せアルゴリズム / 計算量 / Montesinos 絡み目 / 結び目理論 / subposet / simplicial vertex / double bound graphs / upper bound graphs / intersection graph / 交グラフ / strict-double-bound number / strict-double-bound graph / Montesinos絡み目 / 絡み目不変量 / 機械発見 / データマイニング / グラフ構造データ / グラフ言語 / 知識発見とデータマイニング Less
  • Research Projects

    (13 results)
  • Research Products

    (37 results)
  • Co-Researchers

    (11 People)
  •  グラフ構造表現された知識の高精度構造的補完手法の探究

    • Principal Investigator
      内田 智之
    • Project Period (FY)
      2024 – 2027
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Review Section
      Basic Section 61030:Intelligent informatics-related
    • Research Institution
      Hiroshima City University
  •  避難所と避難経路提案のための支援システムの開発

    • Principal Investigator
      松井 泰子
    • Project Period (FY)
      2020 – 2024
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Review Section
      Basic Section 25010:Social systems engineering-related
    • Research Institution
      Tokai University
  •  Learning of formal graph systems and its application to graph mining

    • Principal Investigator
      Shoudai Takayoshi
    • Project Period (FY)
      2014 – 2016
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Intelligent informatics
    • Research Institution
      Kyushu International University
  •  On relations of bound graphs and order ideals

    • Principal Investigator
      TSUCHIYA Morimasa
    • Project Period (FY)
      2011 – 2013
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Tokai University
  •  Machine learning theory for graph pattern languages and its applications to graph mining

    • Principal Investigator
      SHOUDAI Takayoshi
    • Project Period (FY)
      2008 – 2010
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Fundamental theory of informatics
    • Research Institution
      Kyushu University
  •  Link Invariant From The Computational Topological Viewpoint

    • Principal Investigator
      HARA Masao
    • Project Period (FY)
      2008 – 2010
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Geometry
    • Research Institution
      Tokai University
  •  On bound graphs and poset operations

    • Principal Investigator
      TSUCHIYA Morimasa
    • Project Period (FY)
      2008 – 2010
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Tokai University
  •  On subgraphs and subposets of bound graphs

    • Principal Investigator
      TSUCHIYA Morimasa
    • Project Period (FY)
      2006 – 2007
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Tokai University
  •  Link Theory from the Computational Topological Viewpoint

    • Principal Investigator
      HARA Masao
    • Project Period (FY)
      2005 – 2007
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Tokai University
  •  On bound graphs and simplicial vertices

    • Principal Investigator
      TSUCHIYA Morimasa
    • Project Period (FY)
      2004 – 2005
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Tokai University
  •  On bound graphs and non-maximal cliques

    • Principal Investigator
      TSUCHIYA Morimasa
    • Project Period (FY)
      2002 – 2003
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      TOKAI UNIVERSITY
  •  On bound graphs and cique covers

    • Principal Investigator
      TUCHIYA Morimasa
    • Project Period (FY)
      2000 – 2001
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      TOKAI UNIVERSITY
  •  On relations between upper bound graphs and graph operations

    • Principal Investigator
      TSUCHIYA Morimasa
    • Project Period (FY)
      1998 – 1999
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Tokai University

All 2023 2022 2021 2020 2017 2009 2008 2007 2006 2005 2004

All Journal Article Presentation

  • [Journal Article] Parameterized Formal Graph Systems and Their Polynomial-Time PAC Learnability2023

    • Author(s)
      Takayoshi SHOUDAI, Satoshi MATSUMOTO, Yusuke SUZUKI, Tomoyuki UCHIDA, Tetsuhiro MIYAHARA
    • Journal Title

      IEICE Trans. Fundamentals

      Volume: E106.A Issue: 6 Pages: 896-906

    • DOI

      10.1587/transfun.2022EAP1052

    • ISSN
      0916-8508, 1745-1337
    • Year and Date
      2023-06-01
    • Language
      English
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-21K12021, KAKENHI-PROJECT-22K12172, KAKENHI-PROJECT-19K12102, KAKENHI-PROJECT-19K12103, KAKENHI-PROJECT-20K04973
  • [Journal Article] Distributional Learning of Regular Formal Graph System of Bounded Degree2017

    • Author(s)
      T. Shoudai, S. Matsumoto, Y. Suzuki
    • Journal Title

      Proc. 26th International Conference on Inductive Logic Programming (ILP2016), Springer, Lecture Notes in Artificial Intelligence

      Volume: 印刷中

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-26280087
  • [Journal Article] Polynomial Time Inductive Inference of Languages of Ordered Term Tree Patterns with Height-Constrained Variables from Positive Data2017

    • Author(s)
      Takayoshi Shoudai, Kazuhide Aikoh, Yusuke Suzuki, Satoshi Matsumoto, Tetsuhiro Miyahara, Tomoyuki Uchida
    • Journal Title

      IEICE Trans. Fundamentals

      Volume: E100.A Issue: 3 Pages: 785-802

    • DOI

      10.1587/transfun.E100.A.785

    • NAID

      130005397026

    • ISSN
      0916-8508, 1745-1337
    • Language
      English
    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PLANNED-24106010, KAKENHI-PROJECT-26280087, KAKENHI-PROJECT-15K00312, KAKENHI-PROJECT-15K00313
  • [Journal Article] Learning of Finite Unions of Tree Patterns with Repeated Internal Structured Variables from Queries2009

    • Author(s)
      Satoshi Matsumoto, Yusuke Suzuki, Takayoshi Shoudai, Tetsuhiro Miyahara, Tomoyuki Uchida
    • Journal Title

      IPSJ Transactions on Mathematical Modeling and Its Applications Vol.2, No.3

      Pages: 127-137

    • NAID

      130000142338

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20540092
  • [Journal Article] Learning of Finite Unions of Tree Patterns with Repeated Internal Structured Variables from Queries2009

    • Author(s)
      Satoshi Matsumoto, Yusuke Suzuki, Takayoshi Shoudai, Tetsuhiro Miyahara, Tomoyuki Uchida
    • Journal Title

      IPSJ Transactions on Mathematical Modeling and its Applications 2

      Pages: 127-137

    • NAID

      110007338672

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20500016
  • [Journal Article] Learning of Finite Unions of Tree Patterns with Repeated Internal Structured Variables from Queries2009

    • Author(s)
      Satoshi Matsumoto, et al.
    • Journal Title

      IPSJ Transactions on Mathematical Modeling and its Applications 2

      Pages: 127-137

    • NAID

      130000142338

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20500016
  • [Journal Article] Learning of Elementary Formal Systems with Two Clauses Using Queries2009

    • Author(s)
      Hirotaka Kato, Satoshi Matsumoto, Tetsuhiro Miyahara
    • Journal Title

      IEICE Transactions on Information and Systems Vol.E92-D, No.2

      Pages: 172-180

    • NAID

      10026807387

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20540092
  • [Journal Article] Learning of Finite Unions of Tree Patterns with Internal Structured Variables from Queries2008

    • Author(s)
      Satoshi Matsumoto, Takayoshi Shoudai, Tomoyuki Uchida, Tetsuhiro Miyahara, Yusuke Suzuki
    • Journal Title

      IEICE TRANSACTIONS on Information and Systems

      Pages: 222-230

    • NAID

      110003178732

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18540139
  • [Journal Article] Learning of Finite Unions of Tree Patterns with Internal Structured Variables from Queries2008

    • Author(s)
      Satoshi, Matsumoto, Takayoshi, Shoudai, Tomoyuki, Uchida, Tetsuhiro, Miyahara, Yusuke, Suzuki
    • Journal Title

      IEICE TRANSACTIONS on Information and Systems

      Pages: 222-230

    • NAID

      110003178732

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-18540139
  • [Journal Article] Exact Learning of Finite Unions of Graph Patterns from Queries2007

    • Author(s)
      Rika Okada, Satoshi Matsumoto, Tomoyuki Uchida, Yusuke Suzuki, Takayoshi Shoudai
    • Journal Title

      Proceeding of the 18th International Conference on Algorithmic Learning Theory

      Pages: 298-312

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18540139
  • [Journal Article] Polynomial Time Inductive Inference of Unions of Two Term Tree Languages2007

    • Author(s)
      松本 哲志
    • Journal Title

      人工知能学会研究会資料

      Pages: 41-51

    • Data Source
      KAKENHI-PROJECT-17540135
  • [Journal Article] Exact Learning of Finite Unions of Graph Patterns from Queries2007

    • Author(s)
      Rika, Okada, Satoshi, Matsumoto, Tomoyuki, Uchida, Yusuke, Suzuki, Takayoshi, Shoudai
    • Journal Title

      Proceeding of the 18th International Conference on Algorithmic Learning Theory

      Pages: 298-312

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-18540139
  • [Journal Article] Learning of Elementary Formal Systems with Two Clauses using Queries and Their Languages2006

    • Author(s)
      加藤 浩央, 松本 哲志, 宮原 哲浩
    • Journal Title

      数理解析研究所講究録 1489

      Pages: 64-70

    • Data Source
      KAKENHI-PROJECT-18540139
  • [Journal Article] Learning of Elementary Formal Systems with Two Clauses using Queries and Their Languages2006

    • Author(s)
      加藤浩央, 松本哲志, 宮原哲浩
    • Journal Title

      数理解析研究所講究録 1489

      Pages: 64-70

    • Data Source
      KAKENHI-PROJECT-17540135
  • [Journal Article] Learning of Elementary Formal Systems with Two Clausese using Quereies2005

    • Author(s)
      Hirotaka Kato, Satoshi Matsumoto, Tetsuhiro Miyahara
    • Journal Title

      Proceedings of the 16^th International Conference on Algorithmic Learning Theory, LNAI 3734

      Pages: 211-225

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-16540118
  • [Journal Article] Learning of Elementary Formal Systems with Two Clausese using Quereies2005

    • Author(s)
      Hirotaka Kato, Satoshi Matsumoto, Tetsuhiro Miyahara
    • Journal Title

      Proceedings of the 16th International Conference on Algorithmic Learning Theory, LNAI 3734

      Pages: 211-225

    • Data Source
      KAKENHI-PROJECT-16540118
  • [Journal Article] Learning of Elementary Formal Systems with Two Clausese using Quereies2005

    • Author(s)
      Hirotaka Kato, Satoshi Matsumoto, Tetsuhiro Miyahara
    • Journal Title

      Proceedings of the 16^<th> International Conference on Algorithmic Learning Theory, LNAI 3734

      Pages: 211-225

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16540118
  • [Journal Article] Learning of Ordered Tree Languages with Height-Bounded Variables Using Queries2004

    • Author(s)
      Satoshi Matsumoto 他
    • Journal Title

      Proceedings of the 15th International Conference on Algorithmic Learning Theory (LNAI) 3244

      Pages: 425-439

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-16540118
  • [Journal Article] Polynomial Time Inductive Inference of Ordered Tree Languages with Height-Constrained Variables from Positive Date2004

    • Author(s)
      Satoshi Matsumoto 他
    • Journal Title

      Proceedings of the 8th Pacific Rim International Conference on Artificial Intelligence (LNAI) 3157

      Pages: 211-220

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-16540118
  • [Journal Article] Learning of Ordered Tree Languages with Height-Bounded Variables Using Queries2004

    • Author(s)
      Satoshi Matsumoto 他
    • Journal Title

      Proceedings of the 15th International Conference on Algorithmic Learning Theory

      Pages: 425-439

    • Data Source
      KAKENHI-PROJECT-16540118
  • [Journal Article] Polynomial Time Inductive Inference of Ordered Tree Languages with Height-Constrained Variables from Positive Data2004

    • Author(s)
      Yusuke Suzuki, Takayoshi Shoudai, Satoshi Matsumoto, Tetsuhiro Miyahara
    • Journal Title

      Proceedings of the 8th Pacific Rim International Conference on Artificial Intelligence, LNAI 3157

      Pages: 211-220

    • NAID

      110002812009

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16540118
  • [Journal Article] Learning of Ordered Tree Languages with Height-Bounded Variables Using Queries2004

    • Author(s)
      Satoshi Matsumoto, Takayoshi Shoudai
    • Journal Title

      Proceedings of the 15th International Conference on Algorithmic Learning Theory, LNAI 3244

      Pages: 425-439

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16540118
  • [Journal Article] Polynomial Time Inductive Inference of Ordered Tree Languages with Height-Constrained Variables from Positive Data2004

    • Author(s)
      Satoshi Matsumoto 他
    • Journal Title

      Proceedings of the 8th Pacific Rim International Conference on Artificial Intelligence (LNAI) 3157

      Pages: 211-220

    • NAID

      110002812009

    • Data Source
      KAKENHI-PROJECT-16540118
  • [Presentation] 無順序木パターンに対する高精度グラフ畳み込みネットワークをオラクルとする質問学習モデルの解析2023

    • Author(s)
      石灘洸樹, 正代隆義, 内田智之, 松本哲志
    • Organizer
      第143回MPS・第74回BIO合同研究発表会
    • Data Source
      KAKENHI-PROJECT-20K04973
  • [Presentation] 変数が隣接しない正規パターンにより定義される言語の有限和に対するコンパクト性2023

    • Author(s)
      武田 直人, 内田 智之, 正代 隆義, 松本 哲志, 鈴木 祐介, 宮原 哲浩
    • Organizer
      2023年度冬のLAシンポジウム
    • Data Source
      KAKENHI-PROJECT-20K04973
  • [Presentation] 順序項木パターンに対する学習済GCNをオラクルとした質問学習アルゴリズムのランダム化による精度向上2023

    • Author(s)
      東山 的生, 内田 智之, 正代 隆義, 松本 哲志
    • Organizer
      火の国情報シンポジウム2024
    • Data Source
      KAKENHI-PROJECT-20K04973
  • [Presentation] 超高精度グラフ畳み込みネットワークをオラクルとする無順序木パターンの質問学習モデル2023

    • Author(s)
      石灘洸樹,正代隆義,内田智之,松本哲志
    • Organizer
      情報処理学会第85回全国大会
    • Data Source
      KAKENHI-PROJECT-20K04973
  • [Presentation] 学習済超高精度GCNをオラクルとする順序項木パターンの質問学習モデルの解析と実データでの評価2023

    • Author(s)
      東山的生,野口大悟,内田智之,正代隆義,松本哲志
    • Organizer
      情報処理学会第85回全国大会
    • Data Source
      KAKENHI-PROJECT-20K04973
  • [Presentation] 正規パターン言語の有限和に対する特徴集合とコンパクト性について2023

    • Author(s)
      武田 直人, 内田 智之, 正代 隆義, 松本 哲志, 鈴木 祐介, 宮原 哲浩
    • Organizer
      2023年度夏のLAシンポジウム
    • Data Source
      KAKENHI-PROJECT-20K04973
  • [Presentation] 縮約可能変数を持つ項木パターンのマッチングアルゴリズム2023

    • Author(s)
      鈴木 祐介, 内田 智之, 正代 隆義, 松本 哲志, 宮原 哲浩
    • Organizer
      2023年度冬のLAシンポジウム
    • Data Source
      KAKENHI-PROJECT-20K04973
  • [Presentation] 線形パターンの質問学習アルゴリズムによる深層学習モデルの予測根拠の可視化2022

    • Author(s)
      武田 直人、内田 智之、正代 隆義、松本 哲志、鈴木 祐介、宮原 哲浩
    • Organizer
      2022年度 人工知能学会全国大会(第36回)
    • Data Source
      KAKENHI-PROJECT-20K04973
  • [Presentation] 1つの正例と線形回数の所属性質問による変数次数が定数である線形順序項木パターンの言語族に対する質問学習アルゴリズム2022

    • Author(s)
      松本哲志,鈴木祐介,内田智之,正代隆義,宮原哲浩
    • Organizer
      電子情報通信学会 総合大会
    • Data Source
      KAKENHI-PROJECT-20K04973
  • [Presentation] 順序木パターンの質問学習アルゴリズムによるグラフ畳み込みネットワークの予測根拠の可視化2022

    • Author(s)
      小田 直季、内田 智之、正代 隆義、松本 哲志、鈴木 祐介、宮原 哲浩
    • Organizer
      2022年度 人工知能学会全国大会(第36回)
    • Data Source
      KAKENHI-PROJECT-20K04973
  • [Presentation] 木パターンの質問学習アルゴリズムによる学習済みグラフニューラルネットワークの可視化についての考察2021

    • Author(s)
      小田直季,内田智之,正代隆義,松本哲志,鈴木祐介,宮原哲浩
    • Organizer
      第26回 情報・統計科学シンポジウム
    • Data Source
      KAKENHI-PROJECT-20K04973
  • [Presentation] 1つの正例と線形回数の所属性質問により学習可能な順序木言語族の部分クラスについて2020

    • Author(s)
      松本哲志
    • Organizer
      統計科学研究会
    • Data Source
      KAKENHI-PROJECT-20K04973
  • [Presentation] グラフ構造の分布情報を用いた有界な次数と木幅の文脈自由グラフ言語の多項式時間機械学習2017

    • Author(s)
      松本 哲志, 正代 隆義, 鈴木 祐介
    • Organizer
      情報処理学会第79回全国大会
    • Place of Presentation
      名古屋大学東山キャンパス
    • Data Source
      KAKENHI-PROJECT-26280087
  • [Presentation] Learning of Finite Unions of Tree Patterns with Repeated Internal Structured Variables from Queries2009

    • Author(s)
      松本哲志,鈴木祐介,正代隆義,宮原哲浩,内田智之
    • Organizer
      第73回MPS研究会,沖縄県恩納村OIST Seaside House,情報処理学会
    • Year and Date
      2009-03-05
    • Data Source
      KAKENHI-PROJECT-20540092
  • 1.  TSUCHIYA Morimasa (00188583)
    # of Collaborated Projects: 8 results
    # of Collaborated Products: 0 results
  • 2.  HARA Masao (10238165)
    # of Collaborated Projects: 8 results
    # of Collaborated Products: 11 results
  • 3.  MATSUI Yasuko (10264582)
    # of Collaborated Projects: 8 results
    # of Collaborated Products: 0 results
  • 4.  SHOUDAI Takayoshi (50226304)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 3 results
  • 5.  UCHIDA Tomoyuki (70264934)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 1 results
  • 6.  SUZUKI Yusuke (10398464)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 3 results
  • 7.  TANI Seiichi (70266708)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 8.  YAMAMOTO Makoto (10158305)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 9.  ONISHI Kensuke (00303024)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 10.  桑田 孝泰 (70307677)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 11.  松井 知己 (30270888)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results

URL: 

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi