Tetsuhiro MIYAHARA

An Efficient Learning Algorithm for Regular Pattern Languages Using One Positive Example and a Linear Number of Membership Queries
Satoshi MATSUMOTO Tomoyuki UCHIDA Takayoshi SHOUDAI Yusuke SUZUKI Tetsuhiro MIYAHARA 
Publication:   
Publication Date: 2020/03/01
Vol. E103-D  No. 3  pp. 526-539
Type of Manuscript:  Special Section PAPER (Special Section on Foundations of Computer Science — Frontiers of Theory of Computation and Algorithm —)
Category: 
Keyword: 
pattern language, membership query, query learning, computational learning theory, 
 Summary | Full Text:PDF
Exact Learning of Primitive Formal Systems Defining Labeled Ordered Tree Languages via Queries
Tomoyuki UCHIDA Satoshi MATSUMOTO Takayoshi SHOUDAI Yusuke SUZUKI Tetsuhiro MIYAHARA 
Publication:   
Publication Date: 2019/03/01
Vol. E102-D  No. 3  pp. 470-482
Type of Manuscript:  Special Section PAPER (Special Section on Foundations of Computer Science — Algorithm, Theory of Computation, and their Applications —)
Category: 
Keyword: 
 Summary | Full Text:PDF
An Efficient Pattern Matching Algorithm for Unordered Term Tree Patterns of Bounded Dimension
Takayoshi SHOUDAI Tetsuhiro MIYAHARA Tomoyuki UCHIDA Satoshi MATSUMOTO Yusuke SUZUKI 
Publication:   
Publication Date: 2018/09/01
Vol. E101-A  No. 9  pp. 1344-1354
Type of Manuscript:  Special Section PAPER (Special Section on Discrete Mathematics and Its Applications)
Category: 
Keyword: 
tree structured pattern, graph pattern matching algorithm, polynomial time algorithm, NP-completeness, 
 Summary | Full Text:PDF
Polynomial Time Learnability of Graph Pattern Languages Defined by Cographs
Takayoshi SHOUDAI Yuta YOSHIMURA Yusuke SUZUKI Tomoyuki UCHIDA Tetsuhiro MIYAHARA 
Publication:   
Publication Date: 2018/03/01
Vol. E101-D  No. 3  pp. 582-592
Type of Manuscript:  Special Section PAPER (Special Section on Foundations of Computer Science — Frontiers of Theoretical Computer Science —)
Category: 
Keyword: 
graph pattern matching, cograph pattern, polynomial time algorithm, inductive inference, computational learning theory, 
 Summary | Full Text:PDF
Polynomial Time Inductive Inference of Languages of Ordered Term Tree Patterns with Height-Constrained Variables from Positive Data
Takayoshi SHOUDAI Kazuhide AIKOH Yusuke SUZUKI Satoshi MATSUMOTO Tetsuhiro MIYAHARA Tomoyuki UCHIDA 
Publication:   
Publication Date: 2017/03/01
Vol. E100-A  No. 3  pp. 785-802
Type of Manuscript:  PAPER
Category: Algorithms and Data Structures
Keyword: 
tree structured pattern, height-constrained variable, polynomial time algorithm, inductive inference, computational learning theory, 
 Summary | Full Text:PDF
An Efficient Pattern Matching Algorithm for Ordered Term Tree Patterns
Yusuke SUZUKI Takayoshi SHOUDAI Tomoyuki UCHIDA Tetsuhiro MIYAHARA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2015/06/01
Vol. E98-A  No. 6  pp. 1197-1211
Type of Manuscript:  Special Section PAPER (Special Section on Discrete Mathematics and Its Applications)
Category: 
Keyword: 
ordered tree structured pattern, graph pattern matching algorithm, polynomial time algorithm, NP-completeness, 
 Summary | Full Text:PDF
Learning of Elementary Formal Systems with Two Clauses Using Queries
Hirotaka KATO Satoshi MATSUMOTO Tetsuhiro MIYAHARA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2009/02/01
Vol. E92-D  No. 2  pp. 172-180
Type of Manuscript:  Special Section PAPER (Special Section on Foundations of Computer Science)
Category: 
Keyword: 
computational learning theory, query learning, learning of logic programs, 
 Summary | Full Text:PDF
Learning of Finite Unions of Tree Patterns with Internal Structured Variables from Queries
Satoshi MATSUMOTO Takayoshi SHOUDAI Tomoyuki UCHIDA Tetsuhiro MIYAHARA Yusuke SUZUKI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2008/02/01
Vol. E91-D  No. 2  pp. 222-230
Type of Manuscript:  Special Section PAPER (Special Section on Foundations of Computer Science)
Category: Algorithmic Learning Theory
Keyword: 
exact learning, computational learning theory, finite union of tree pattern languages, 
 Summary | Full Text:PDF
Criteria for Inductive Inference with Mind Changes and Anomalies of Recursive Real-Valued Functions
Eiju HIROWATARI Kouichi HIRATA Tetsuhiro MIYAHARA Setsuo ARIKAWA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2003/02/01
Vol. E86-D  No. 2  pp. 219-227
Type of Manuscript:  Special Section PAPER (Special Issue on Selected Papers from LA Symposium)
Category: Computational Learning Theory
Keyword: 
learning theory, inductive inference, real-valued function, 
 Summary | Full Text:PDF
Discovering Knowledge from Graph Structured Data by Using Refutably Inductive Inference of Formal Graph Systems
Tetsuhiro MIYAHARA Tomoyuki UCHIDA Takayoshi SHOUDAI Tetsuji KUBOYAMA Kenichi TAKAHASHI Hiroaki UEDA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2001/01/01
Vol. E84-D  No. 1  pp. 48-56
Type of Manuscript:  Special Section PAPER (Special Issue on Selected Papers from LA Symposium)
Category: 
Keyword: 
knowledge discovery, graph structured data, inductive logic programming, refutably inductive inference, 
 Summary | Full Text:PDF