松本哲志 MATSUMOTO SATOSHI

研究者番号	30307235
その他のID
外部サイト
所属 (現在)	2025年度: 東海大学, 理学部, 教授
所属 (過去の研究課題情報に基づく) *注記	2021年度 – 2024年度: 東海大学, 理学部, 教授 2020年度: 東海大学, 理学部, 准教授 2016年度: 東海大学, 理学部, 准教授 2007年度 – 2013年度: 東海大学, 理学部, 准教授 1999年度 – 2006年度: 東海大学, 理学部, 講師 1998年度: 東海大学, 理学部, 助手
審査区分/研究分野	研究代表者以外数学一般(含確率論・統計数学) / 数学一般(含確率論・統計数学) / 小区分61030:知能情報学関連 / 小区分25010:社会システム工学関連 / 知能情報学 / 幾何学 / 情報学基礎
キーワード	研究代表者以外 upper bound graph / double bound graph / グラフ理論 / semi bound graph / graph theory / 半順序集合 / poset / forbidden subgraph / forbidden subposet / 応用数学 … もっと見る / 離散数学 / 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絡み目 / 絡み目不変量 / 機械発見 / データマイニング / グラフ構造データ / グラフ言語 / 知識発見とデータマイニング隠す

グラフ構造表現された知識の高精度構造的補完手法の探究
- 研究代表者
  
  内田智之
- 研究期間 (年度)
  2024 – 2027
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分61030:知能情報学関連
- 研究機関
  広島市立大学
避難所と避難経路提案のための支援システムの開発
- 研究代表者
  
  松井泰子
- 研究期間 (年度)
  2020 – 2024
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分25010:社会システム工学関連
- 研究機関
  東海大学
形式グラフ体系の機械学習とグラフマイニングに関する研究
- 研究代表者
  
  正代隆義
- 研究期間 (年度)
  2014 – 2016
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  知能情報学
- 研究機関
  九州国際大学
Ｂｏｕｎｄ　ｇｒａｐｈとｏｒｄｅｒ　ｉｄｅａｌの関連について
- 研究代表者
  
  土屋守正
- 研究期間 (年度)
  2011 – 2013
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  東海大学
グラフパターン言語の計算論的学習理論とグラフマイニングへの応用
- 研究代表者
  
  正代隆義
- 研究期間 (年度)
  2008 – 2010
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  情報学基礎
- 研究機関
  九州大学
絡み目不変量の計算位相幾何学的研究
- 研究代表者
  
  原正雄
- 研究期間 (年度)
  2008 – 2010
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  幾何学
- 研究機関
  東海大学
Bound graphとposet上のoperationの関連について
- 研究代表者
  
  土屋守正
- 研究期間 (年度)
  2008 – 2010
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  東海大学
Bound graphのsubgraphとsubposetの関連について
- 研究代表者
  
  土屋守正
- 研究期間 (年度)
  2006 – 2007
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  東海大学
絡み目理論の計算位相幾何学的研究
- 研究代表者
  
  原正雄
- 研究期間 (年度)
  2005 – 2007
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  東海大学
Bound graphとsimplicial vertexの関連について
- 研究代表者
  
  土屋守正
- 研究期間 (年度)
  2004 – 2005
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  東海大学
Bound graphとnon-maximal cliqueの関連について
- 研究代表者
  
  土屋守正
- 研究期間 (年度)
  2002 – 2003
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  東海大学
Bound GraphとClique Coverについて
- 研究代表者
  
  土屋守正
- 研究期間 (年度)
  2000 – 2001
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  東海大学
Upper bound graphとgraph operationの関連について
- 研究代表者
  
  土屋守正
- 研究期間 (年度)
  1998 – 1999
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  東海大学

すべて 2023 2022 2021 2020 2017 2009 2008 2007 2006 2005 2004

すべて雑誌論文学会発表

[雑誌論文] Parameterized Formal Graph Systems and Their Polynomial-Time PAC Learnability2023
- 著者名/発表者名
  Takayoshi SHOUDAI, Satoshi MATSUMOTO, Yusuke SUZUKI, Tomoyuki UCHIDA, Tetsuhiro MIYAHARA
- 雑誌名
  
  IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
  
  巻: E106.A 号: 6 ページ: 896-906
- DOI
  10.1587/transfun.2022EAP1052
- ISSN
  0916-8508, 1745-1337
- 年月日
  2023-06-01
- 言語
  英語
- 査読あり
- データソース
  KAKENHI-PROJECT-21K12021, KAKENHI-PROJECT-22K12172, KAKENHI-PROJECT-19K12102, KAKENHI-PROJECT-19K12103, KAKENHI-PROJECT-20K04973
[雑誌論文] Distributional Learning of Regular Formal Graph System of Bounded Degree2017
- 著者名/発表者名
  T. Shoudai, S. Matsumoto, Y. Suzuki
- 雑誌名
  
  Proc. 26th International Conference on Inductive Logic Programming (ILP2016), Springer, Lecture Notes in Artificial Intelligence
  
  巻: 印刷中
- 査読あり / 謝辞記載あり
- データソース
  KAKENHI-PROJECT-26280087
[雑誌論文] Polynomial Time Inductive Inference of Languages of Ordered Term Tree Patterns with Height-Constrained Variables from Positive Data2017
- 著者名/発表者名
  Takayoshi Shoudai, Kazuhide Aikoh, Yusuke Suzuki, Satoshi Matsumoto, Tetsuhiro Miyahara, Tomoyuki Uchida
- 雑誌名
  
  IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
  
  巻: E100.A 号: 3 ページ: 785-802
- DOI
  10.1587/transfun.E100.A.785
- NAID
  130005397026
- ISSN
  0916-8508, 1745-1337
- 言語
  英語
- 査読あり / 謝辞記載あり
- データソース
  KAKENHI-PLANNED-24106010, KAKENHI-PROJECT-26280087, KAKENHI-PROJECT-15K00312, KAKENHI-PROJECT-15K00313
[雑誌論文] Learning of Finite Unions of Tree Patterns with Repeated Internal Structured Variables from Queries2009
- 著者名/発表者名
  Satoshi Matsumoto, Yusuke Suzuki, Takayoshi Shoudai, Tetsuhiro Miyahara, Tomoyuki Uchida
- 雑誌名
  
  IPSJ Transactions on Mathematical Modeling and Its Applications Vol.2, No.3
  
  ページ: 127-137
- NAID
  130000142338
- 査読あり
- データソース
  KAKENHI-PROJECT-20540092
[雑誌論文] Learning of Finite Unions of Tree Patterns with Repeated Internal Structured Variables from Queries2009
- 著者名/発表者名
  Satoshi Matsumoto, Yusuke Suzuki, Takayoshi Shoudai, Tetsuhiro Miyahara, Tomoyuki Uchida
- 雑誌名
  
  IPSJ Transactions on Mathematical Modeling and its Applications 2
  
  ページ: 127-137
- NAID
  110007338672
- 査読あり
- データソース
  KAKENHI-PROJECT-20500016
[雑誌論文] Learning of Finite Unions of Tree Patterns with Repeated Internal Structured Variables from Queries2009
- 著者名/発表者名
  Satoshi Matsumoto, et al.
- 雑誌名
  
  IPSJ Transactions on Mathematical Modeling and its Applications 2
  
  ページ: 127-137
- NAID
  130000142338
- 査読あり
- データソース
  KAKENHI-PROJECT-20500016
[雑誌論文] Learning of Elementary Formal Systems with Two Clauses Using Queries2009
- 著者名/発表者名
  Hirotaka Kato, Satoshi Matsumoto, Tetsuhiro Miyahara
- 雑誌名
  
  IEICE Transactions on Information and Systems Vol.E92-D, No.2
  
  ページ: 172-180
- NAID
  10026807387
- 査読あり
- データソース
  KAKENHI-PROJECT-20540092
[雑誌論文] Learning of Finite Unions of Tree Patterns with Internal Structured Variables from Queries2008
- 著者名/発表者名
  Satoshi Matsumoto, Takayoshi Shoudai, Tomoyuki Uchida, Tetsuhiro Miyahara, Yusuke Suzuki
- 雑誌名
  
  IEICE TRANSACTIONS on Information and Systems
  
  ページ: 222-230
- NAID
  110003178732
- 説明
  「研究成果報告書概要(和文)」より
- 査読あり
- データソース
  KAKENHI-PROJECT-18540139
[雑誌論文] Learning of Finite Unions of Tree Patterns with Internal Structured Variables from Queries2008
- 著者名/発表者名
  Satoshi, Matsumoto, Takayoshi, Shoudai, Tomoyuki, Uchida, Tetsuhiro, Miyahara, Yusuke, Suzuki
- 雑誌名
  
  IEICE TRANSACTIONS on Information and Systems
  
  ページ: 222-230
- NAID
  110003178732
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-18540139
[雑誌論文] Exact Learning of Finite Unions of Graph Patterns from Queries2007
- 著者名/発表者名
  Rika Okada, Satoshi Matsumoto, Tomoyuki Uchida, Yusuke Suzuki, Takayoshi Shoudai
- 雑誌名
  
  Proceeding of the 18th International Conference on Algorithmic Learning Theory
  
  ページ: 298-312
- 説明
  「研究成果報告書概要(和文)」より
- 査読あり
- データソース
  KAKENHI-PROJECT-18540139
[雑誌論文] Polynomial Time Inductive Inference of Unions of Two Term Tree Languages2007
- 著者名/発表者名
  松本哲志
- 雑誌名
  
  人工知能学会研究会資料
  
  ページ: 41-51
- データソース
  KAKENHI-PROJECT-17540135
[雑誌論文] Exact Learning of Finite Unions of Graph Patterns from Queries2007
- 著者名/発表者名
  Rika, Okada, Satoshi, Matsumoto, Tomoyuki, Uchida, Yusuke, Suzuki, Takayoshi, Shoudai
- 雑誌名
  
  Proceeding of the 18th International Conference on Algorithmic Learning Theory
  
  ページ: 298-312
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-18540139
[雑誌論文] Learning of Elementary Formal Systems with Two Clauses using Queries and Their Languages2006
- 著者名/発表者名
  加藤浩央, 松本哲志, 宮原哲浩
- 雑誌名
  
  数理解析研究所講究録 1489
  
  ページ: 64-70
- データソース
  KAKENHI-PROJECT-18540139
[雑誌論文] Learning of Elementary Formal Systems with Two Clauses using Queries and Their Languages2006
- 著者名/発表者名
  加藤浩央, 松本哲志, 宮原哲浩
- 雑誌名
  
  数理解析研究所講究録 1489
  
  ページ: 64-70
- データソース
  KAKENHI-PROJECT-17540135
[雑誌論文] Learning of Elementary Formal Systems with Two Clausese using Quereies2005
- 著者名/発表者名
  Hirotaka Kato, Satoshi Matsumoto, Tetsuhiro Miyahara
- 雑誌名
  
  Proceedings of the 16^th International Conference on Algorithmic Learning Theory, LNAI 3734
  
  ページ: 211-225
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-16540118
[雑誌論文] Learning of Elementary Formal Systems with Two Clausese using Quereies2005
- 著者名/発表者名
  Hirotaka Kato, Satoshi Matsumoto, Tetsuhiro Miyahara
- 雑誌名
  
  Proceedings of the 16th International Conference on Algorithmic Learning Theory, LNAI 3734
  
  ページ: 211-225
- データソース
  KAKENHI-PROJECT-16540118
[雑誌論文] Learning of Elementary Formal Systems with Two Clausese using Quereies2005
- 著者名/発表者名
  Hirotaka Kato, Satoshi Matsumoto, Tetsuhiro Miyahara
- 雑誌名
  
  Proceedings of the 16^<th> International Conference on Algorithmic Learning Theory, LNAI 3734
  
  ページ: 211-225
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-16540118
[雑誌論文] Learning of Ordered Tree Languages with Height-Bounded Variables Using Queries2004
- 著者名/発表者名
  Satoshi Matsumoto 他
- 雑誌名
  
  Proceedings of the 15th International Conference on Algorithmic Learning Theory (LNAI) 3244
  
  ページ: 425-439
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-16540118
[雑誌論文] Polynomial Time Inductive Inference of Ordered Tree Languages with Height-Constrained Variables from Positive Date2004
- 著者名/発表者名
  Satoshi Matsumoto 他
- 雑誌名
  
  Proceedings of the 8th Pacific Rim International Conference on Artificial Intelligence (LNAI) 3157
  
  ページ: 211-220
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-16540118
[雑誌論文] Learning of Ordered Tree Languages with Height-Bounded Variables Using Queries2004
- 著者名/発表者名
  Satoshi Matsumoto 他
- 雑誌名
  
  Proceedings of the 15th International Conference on Algorithmic Learning Theory
  
  ページ: 425-439
- データソース
  KAKENHI-PROJECT-16540118
[雑誌論文] Polynomial Time Inductive Inference of Ordered Tree Languages with Height-Constrained Variables from Positive Data2004
- 著者名/発表者名
  Yusuke Suzuki, Takayoshi Shoudai, Satoshi Matsumoto, Tetsuhiro Miyahara
- 雑誌名
  
  Proceedings of the 8th Pacific Rim International Conference on Artificial Intelligence, LNAI 3157
  
  ページ: 211-220
- NAID
  110002812009
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-16540118
[雑誌論文] Learning of Ordered Tree Languages with Height-Bounded Variables Using Queries2004
- 著者名/発表者名
  Satoshi Matsumoto, Takayoshi Shoudai
- 雑誌名
  
  Proceedings of the 15th International Conference on Algorithmic Learning Theory, LNAI 3244
  
  ページ: 425-439
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-16540118
[雑誌論文] Polynomial Time Inductive Inference of Ordered Tree Languages with Height-Constrained Variables from Positive Data2004
- 著者名/発表者名
  Satoshi Matsumoto 他
- 雑誌名
  
  Proceedings of the 8th Pacific Rim International Conference on Artificial Intelligence (LNAI) 3157
  
  ページ: 211-220
- NAID
  110002812009
- データソース
  KAKENHI-PROJECT-16540118
[学会発表] 無順序木パターンに対する高精度グラフ畳み込みネットワークをオラクルとする質問学習モデルの解析2023
- 著者名/発表者名
  石灘洸樹, 正代隆義, 内田智之, 松本哲志
- 学会等名
  第143回MPS・第74回BIO合同研究発表会
- データソース
  KAKENHI-PROJECT-20K04973
[学会発表] 変数が隣接しない正規パターンにより定義される言語の有限和に対するコンパクト性2023
- 著者名/発表者名
  武田直人, 内田智之, 正代隆義, 松本哲志, 鈴木祐介, 宮原哲浩
- 学会等名
  2023年度冬のLAシンポジウム
- データソース
  KAKENHI-PROJECT-20K04973
[学会発表] 順序項木パターンに対する学習済GCNをオラクルとした質問学習アルゴリズムのランダム化による精度向上2023
- 著者名/発表者名
  東山的生, 内田智之, 正代隆義, 松本哲志
- 学会等名
  火の国情報シンポジウム2024
- データソース
  KAKENHI-PROJECT-20K04973
[学会発表] 超高精度グラフ畳み込みネットワークをオラクルとする無順序木パターンの質問学習モデル2023
- 著者名/発表者名
  石灘洸樹，正代隆義，内田智之，松本哲志
- 学会等名
  情報処理学会第85回全国大会
- データソース
  KAKENHI-PROJECT-20K04973
[学会発表] 学習済超高精度GCNをオラクルとする順序項木パターンの質問学習モデルの解析と実データでの評価2023
- 著者名/発表者名
  東山的生，野口大悟，内田智之，正代隆義，松本哲志
- 学会等名
  情報処理学会第85回全国大会
- データソース
  KAKENHI-PROJECT-20K04973
[学会発表] 正規パターン言語の有限和に対する特徴集合とコンパクト性について2023
- 著者名/発表者名
  武田直人, 内田智之, 正代隆義, 松本哲志, 鈴木祐介, 宮原哲浩
- 学会等名
  2023年度夏のLAシンポジウム
- データソース
  KAKENHI-PROJECT-20K04973
[学会発表] 縮約可能変数を持つ項木パターンのマッチングアルゴリズム2023
- 著者名/発表者名
  鈴木祐介, 内田智之, 正代隆義, 松本哲志, 宮原哲浩
- 学会等名
  2023年度冬のLAシンポジウム
- データソース
  KAKENHI-PROJECT-20K04973
[学会発表] 線形パターンの質問学習アルゴリズムによる深層学習モデルの予測根拠の可視化2022
- 著者名/発表者名
  武田直人、内田智之、正代隆義、松本哲志、鈴木祐介、宮原哲浩
- 学会等名
  2022年度人工知能学会全国大会（第36回）
- データソース
  KAKENHI-PROJECT-20K04973
[学会発表] １つの正例と線形回数の所属性質問による変数次数が定数である線形順序項木パターンの言語族に対する質問学習アルゴリズム2022
- 著者名/発表者名
  松本哲志，鈴木祐介，内田智之，正代隆義，宮原哲浩
- 学会等名
  電子情報通信学会　総合大会
- データソース
  KAKENHI-PROJECT-20K04973
[学会発表] 順序木パターンの質問学習アルゴリズムによるグラフ畳み込みネットワークの予測根拠の可視化2022
- 著者名/発表者名
  小田直季、内田智之、正代隆義、松本哲志、鈴木祐介、宮原哲浩
- 学会等名
  2022年度人工知能学会全国大会（第36回）
- データソース
  KAKENHI-PROJECT-20K04973
[学会発表] 木パターンの質問学習アルゴリズムによる学習済みグラフニューラルネットワークの可視化についての考察2021
- 著者名/発表者名
  小田直季，内田智之，正代隆義，松本哲志，鈴木祐介，宮原哲浩
- 学会等名
  第26回情報・統計科学シンポジウム
- データソース
  KAKENHI-PROJECT-20K04973
[学会発表] 1つの正例と線形回数の所属性質問により学習可能な順序木言語族の部分クラスについて2020
- 著者名/発表者名
  松本哲志
- 学会等名
  統計科学研究会
- データソース
  KAKENHI-PROJECT-20K04973
[学会発表] グラフ構造の分布情報を用いた有界な次数と木幅の文脈自由グラフ言語の多項式時間機械学習2017
- 著者名/発表者名
  松本哲志, 正代隆義, 鈴木祐介
- 学会等名
  情報処理学会第79回全国大会
- 発表場所
  名古屋大学東山キャンパス
- データソース
  KAKENHI-PROJECT-26280087
[学会発表] Learning of Finite Unions of Tree Patterns with Repeated Internal Structured Variables from Queries2009
- 著者名/発表者名
  松本哲志,鈴木祐介,正代隆義,宮原哲浩,内田智之
- 学会等名
  第73回MPS研究会,沖縄県恩納村OIST Seaside House,情報処理学会
- 年月日
  2009-03-05
- データソース
  KAKENHI-PROJECT-20540092

1. 土屋守正 (00188583)

共同の研究課題数: 8件

共同の研究成果数: 0件
2. 原正雄 (10238165)

共同の研究課題数: 8件

共同の研究成果数: 11件
3. 松井泰子 (10264582)

共同の研究課題数: 8件

共同の研究成果数: 0件
4. 正代隆義 (50226304)

共同の研究課題数: 3件

共同の研究成果数: 3件
5. 内田智之 (70264934)

共同の研究課題数: 3件

共同の研究成果数: 1件
6. 鈴木祐介 (10398464)

共同の研究課題数: 3件

共同の研究成果数: 3件
7. 谷聖一 (70266708)

共同の研究課題数: 2件

共同の研究成果数: 0件
8. 山本慎 (10158305)

共同の研究課題数: 2件

共同の研究成果数: 0件
9. 大西建輔 (00303024)

共同の研究課題数: 2件

共同の研究成果数: 0件
10. 桑田孝泰 (70307677)

共同の研究課題数: 1件

共同の研究成果数: 0件
11. 松井知己 (30270888)

共同の研究課題数: 1件

共同の研究成果数: 0件

松本 哲志 MATSUMOTO SATOSHI

研究課題

研究成果

共同研究者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

[雑誌論文] Parameterized Formal Graph Systems and Their Polynomial-Time PAC Learnability2023

著者名/発表者名

雑誌名

DOI

ISSN

年月日

言語

データソース

[雑誌論文] Distributional Learning of Regular Formal Graph System of Bounded Degree2017

著者名/発表者名

雑誌名

松本哲志 MATSUMOTO SATOSHI