Research keywords (1)：
Computational Learning Theory
Research theme for competitive and other funds (14)：
2020 - 2025 避難所と避難経路提案のための支援システムの開発
2014 - 2017 Learning of formal graph systems and its application to graph mining
2011 - 2013 On relations of bound graphs and order ideals
2008 - 2010 On bound graphs and poset operations
2008 - 2010 Link Invariant From The Computational Topological Viewpoint
2008 - 2010 Machine learning theory for graph pattern languages and its applications to graph mining
2006 - 2007 On subgraphs and subposets of bound graphs
2005 - 2007 Link Theory from the Computational Topological Viewpoint
2004 - 2005 On bound graphs and simplicial vertices
2002 - 2003 On bound graphs and non-maximal cliques
2002 - 項木言語族の学習可能性について
2002 - Leaning of team tree languages
2000 - 2001 On bound graphs and cique covers
1998 - 1999 On relations between upper bound graphs and graph operations
Show all
Papers (21)：
Takayoshi SHOUDAI, Satoshi MATSUMOTO, Yusuke SUZUKI, Tomoyuki UCHIDA, Tetsuhiro MIYAHARA. Parameterized Formal Graph Systems and Their Polynomial-Time PAC Learnability. IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences. 2023. E106.A. 6. 896-906
Haruki Koshiba, Satoshi Matsumoto, Yasuki Iizuka. A Video Analyzing Method for Competitive Rifle Shooting. 9th International Congress on Advanced Applied Informatics(IIAI-AAI). 2020. 802-803
Satoshi Matsumoto, Tomoyuki Uchida, Takayoshi Shoudai, Yusuke Suzuki, Tetsuhiro Miyahara. An Efficient Learning Algorithm for Regular Pattern Languages Using One Positive Example and a Linear Number of Membership Queries. IEICE Trans. Inf. Syst. 2020. 103-D. 3. 526-539
Yusuke Suzuki, Tetsuhiro Miyahara, Takayoshi Shoudai, Tomoyuki Uchida, Satoshi Matsumoto, Tetsuji Kuboyama. Enumeration of Maximally Frequent Ordered Tree Patterns with Height-Constrained Variables for Trees. IPSJ Transactions on Mathematical Modeling and its Applications. 2019. 12. 3. 78-88
Tomoyuki Uchida, Satoshi Matsumoto, Takayoshi Shoudai, Yusuke Suzuki, Tetsuhiro Miyahara. Exact Learning of Primitive Formal Systems Defining Labeled Ordered Tree Languages via Queries. IEICE Transactions on Information & Systems. 2019. 102-D. 3. 470-482
松本 哲志, 正代 隆義, 内田 智之, 鈴木 祐介, 宮原 哲浩. A Learning Algorithm for Erasing Regular Pattern Languages Using One Positive Example and a Linear Number of Membership Queries. 情報処理学会第174回アルゴリズム研究会. 2019
1993 - 1995 Kyushu University Graduate School of Information Science and Electrical Engineering Department of Information Science
1989 - 1993 Kyushu University School of Sciences Department of Mathematics
Professional career (1)：
Doctor of Science (Kyushu University)
Work history (4)：
2022 - 現在 東海大学 理学部 情報数理学科 教授
2007 - 東海大学 理学部 情報数理学科 准教授
1999 - 東海大学 理学部 情報数理学科 講師
1998/04 - 東海大学 理学部 情報数理学科 助手
Association Membership(s) (3)：
Information Processing Society of Japan
, The Institute of Electronics, Information and Communication Engineers
, The Japanese Society for Artificial Intelligence
