Details of the Researcher

PHOTO

Ryo Yoshinaka
Section
Graduate School of Information Sciences
Job title
Associate Professor
Degree
  • 博士(学際情報学)(東京大学)

  • 修士(学際情報学)(東京大学)

Research History 5

  • 2016/04 - Present
    Tohoku University

  • 2011/10 - 2016/03
    Kyoto University Graduate School of Informatics

  • 2010/04 - 2011/09
    Japan Science and Technology Agency

  • 2007/10 - 2010/03
    Hokkaido University

  • 2006/10 - 2007/09
    INRIA-Lorraine Post-doctorant

Professional Memberships 1

  • 情報処理学会

Research Interests 2

  • Algorithm

  • Grammatical Inference

Research Areas 1

  • Informatics / Intelligent informatics /

Papers 96

  1. Query Learning of Context-Deterministic and Congruential Context-Free Languages over Infinite Alphabets.

    Yutaro Numaya, Yoshito Kawasaki, Ryo Yoshinaka, Ayumi Shinohara

    SOFSEM (2) 211-224 2025

    DOI: 10.1007/978-3-031-82697-9_16  

  2. Serial and parallel algorithms for order-preserving pattern matching based on the duel-and-sweep paradigm

    Davaajav Jargalsaikhan, Diptarama Hendrian, Yohei Ueki, Ryo Yoshinaka, Ayumi Shinohara

    Acta Informatica 2024/08/31

    Publisher: Springer Science and Business Media LLC

    DOI: 10.1007/s00236-024-00464-w  

    ISSN: 0001-5903

    eISSN: 1432-0525

  3. Breaking a Barrier in Constructing Compact Indexes for Parameterized Pattern Matching Peer-reviewed

    Kento Iseri, Tomohiro I, Diptarama Hendrian, Dominik Köppl, Ryo Yoshinaka, Ayumi Shinohara

    Proceedings of the 51st International Colloquium on Automata, Languages and Programming (ICALP 2024) 89:1-89:19 2024/07

    DOI: 10.4230/LIPIcs.ICALP.2024.89  

  4. Algorithms for Galois Words: Detection, Factorization, and Rotation Peer-reviewed

    Diptarama Hendrian, Dominik Köppl, Ryo Yoshinaka, Ayumi Shinohara

    Proceedings of the 35th Annual Symposium on Combinatorial Pattern Matching (CPM 2024) 18:1-18:16 2024/06

    DOI: 10.4230/LIPIcs.CPM.2024.18  

  5. Efficient non-isomorphic graph enumeration algorithms for several intersection graph classes

    Jun Kawahara, Toshiki Saitoh, Hirokazu Takeda, Ryo Yoshinaka, Yui Yoshioka

    Theoretical Computer Science 114591-114591 2024/04

    Publisher: Elsevier BV

    DOI: 10.1016/j.tcs.2024.114591  

    ISSN: 0304-3975

  6. Query Learning of Minimal Deterministic Symbolic Finite Automata Separating Regular Languages

    Yoshito Kawasaki, Diptarama Hendrian, Ryo Yoshinaka, Ayumi Shinohara

    Lecture Notes in Computer Science 340-354 2024/02/07

    Publisher: Springer Nature Switzerland

    DOI: 10.1007/978-3-031-52113-3_24  

    ISSN: 0302-9743

    eISSN: 1611-3349

  7. Sorting balls and water: Equivalence and computational complexity.

    Takehiro Ito, Jun Kawahara, Shin-ichi Minato, Yota Otachi, Toshiki Saitoh, Akira Suzuki, Ryuhei Uehara, Takeaki Uno, Katsuhisa Yamanaka, Ryo Yoshinaka

    Theor. Comput. Sci. 978 114158-114158 2023/11

    DOI: 10.1016/j.tcs.2023.114158  

  8. Efficient Parameterized Pattern Matching in Sublinear Space

    Haruki Ideguchi, Diptarama Hendrian, Ryo Yoshinaka, Ayumi Shinohara

    String Processing and Information Retrieval 271-283 2023/09/20

    Publisher: Springer Nature Switzerland

    DOI: 10.1007/978-3-031-43980-3_22  

    ISSN: 0302-9743

    eISSN: 1611-3349

  9. Inferring Strings from Position Heaps in Linear Time Peer-reviewed

    Koshiro Kumagai, Diptarama Hendrian, Ryo Yoshinaka, Ayumi Shinohara

    WALCOM: Algorithms and Computation 115-126 2023/03/13

    Publisher: Springer Nature Switzerland

    DOI: 10.1007/978-3-031-27051-2_11  

    ISSN: 0302-9743

    eISSN: 1611-3349

  10. Efficient Non-isomorphic Graph Enumeration Algorithms for Subclasses of Perfect Graphs Peer-reviewed

    Jun Kawahara, Toshiki Saitoh, Hirokazu Takeda, Ryo Yoshinaka, Yui Yoshioka

    WALCOM: Algorithms and Computation 151-163 2023/03/13

    Publisher: Springer Nature Switzerland

    DOI: 10.1007/978-3-031-27051-2_14  

    ISSN: 0302-9743

    eISSN: 1611-3349

  11. Identification of Substitutable Context-Free Languages over Infinite Alphabets from Positive Data.

    Yutaro Numaya, Diptarama Hendrian, Ryo Yoshinaka, Ayumi Shinohara

    International Conference on Grammatical Inference(ICGI) 23-34 2023

    Publisher: PMLR

  12. Parameterized DAWGs: Efficient constructions and bidirectional pattern searches Peer-reviewed

    Katsuhito Nakashima, Noriki Fujisato, Diptarama Hendrian, Yuto Nakashima, Ryo Yoshinaka, Shunsuke Inenaga, Hideo Bannai, Ayumi Shinohara, Masayuki Takeda

    Theoretical Computer Science 933 21-42 2022/10

    Publisher: Elsevier BV

    DOI: 10.1016/j.tcs.2022.09.008  

    ISSN: 0304-3975

  13. Parallel Algorithm for Pattern Matching Problems Under Substring Consistent Equivalence Relations Peer-reviewed

    Davaajav Jargalsaikhan, Diptarama Hendrian, Ryo Yoshinaka, Ayumi Shinohara

    Proceedings of the 33rd Annual Symposium on Combinatorial Pattern Matching (CPM 2022) 28:1-28:21 2022/06

    DOI: 10.4230/LIPIcs.CPM.2022.28  

  14. Computing the Parameterized Burrows–Wheeler Transform Online Peer-reviewed

    Daiki Hashimoto, Diptarama Hendrian, Dominik Köppl, Ryo Yoshinaka, Ayumi Shinohara

    String Processing and Information Retrieval 70-85 2022

    Publisher: Springer International Publishing

    DOI: 10.1007/978-3-031-20643-6_6  

    ISSN: 0302-9743

    eISSN: 1611-3349

  15. Sorting Balls and Water: Equivalence and Computational Complexity. Peer-reviewed

    Takehiro Ito, Jun Kawahara, Shin-ichi Minato, Yota Otachi, Toshiki Saitoh, Akira Suzuki, Ryuhei Uehara, Takeaki Uno, Katsuhisa Yamanaka, Ryo Yoshinaka

    FUN 16-17 2022

    Publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik

    DOI: 10.4230/LIPIcs.FUN.2022.16  

  16. Sorting Balls and Water: Equivalence and Computational Complexity.

    Takehiro Ito, Jun Kawahara, Shin-ichi Minato, Yota Otachi, Toshiki Saitoh, Akira Suzuki, Ryuhei Uehara, Takeaki Uno, Katsuhisa Yamanaka, Ryo Yoshinaka

    CoRR abs/2202.09495 2022

  17. Fixed-Treewidth-Efficient Algorithms for Edge-Deletion to Interval Graph Classes

    Toshiki Saitoh, Ryo Yoshinaka, Hans L. Bodlaender

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12635 142-153 2021

    Publisher: Springer Science and Business Media Deutschland GmbH

    DOI: 10.1007/978-3-030-68211-8_12  

    ISSN: 1611-3349 0302-9743

  18. Inside-Outside Algorithm for Macro Grammars. Peer-reviewed

    Ryuta Kambe, Naoki Kobayashi 0001, Ryosuke Sato 0001, Ayumi Shinohara, Ryo Yoshinaka

    Proceedings of the 15th International Conference on Grammatical Inference(ICGI) 32-46 2021

    Publisher: PMLR

  19. Fast and Linear-Time String Matching Algorithms Based on the Distances of q-Gram Occurrences

    Satoshi Kobayashi, Diptarama Hendrian, Ryo Yoshinaka, Ayumi Shinohara

    Leibniz International Proceedings in Informatics, LIPIcs 160 2020/06/01

    Publisher: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing

    DOI: 10.4230/LIPIcs.SEA.2020.13  

    ISSN: 1868-8969

  20. Linear-time online algorithm for inferring the shortest path graph from a walk label Peer-reviewed

    Narisada, S., Hendrian, D., Yoshinaka, R., Shinohara, A.

    Theoretical Computer Science 812 187-202 2020/04

    DOI: 10.1016/j.tcs.2019.10.029  

    ISSN: 0304-3975

  21. Grammar compression with probabilistic context-free grammar

    Hiroaki Naganuma, Diptarama Hendrian, Ryo Yoshinaka, Ayumi Shinohara, Naoki Kobayashi

    Data Compression Conference Proceedings 2020- 386 2020/03/01

    Publisher: Institute of Electrical and Electronics Engineers Inc.

    DOI: 10.1109/DCC47342.2020.00093  

    ISSN: 1068-0314

  22. AOBA: An Online Benchmark tool for Algorithms in stringology

    Ryu Wakimoto, Satoshi Kobayashi, Yuki Igarashi, Davaajav Jargalsaikhan, Diptarama Hendrian, Ryo Yoshinaka, Ayumi Shinohara

    CEUR Workshop Proceedings 2568 1-12 2020

    Publisher: CEUR-WS

    ISSN: 1613-0073

  23. An extension of linear-size suffix tries for parameterized strings

    Katsuhito Nakashima, Diptarama Hendrian, Ryo Yoshinaka, Ayumi Shinohara

    CEUR Workshop Proceedings 2568 97-108 2020

    Publisher: CEUR-WS

    ISSN: 1613-0073

  24. Parallel Duel-and-Sweep Algorithm for the Order-Preserving Pattern Matching Peer-reviewed

    Jargalsaikhan, D., Hendrian, D., Yoshinaka, R., Shinohara, A.

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12011 LNCS 211-222 2020/01

    Publisher: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

    DOI: 10.1007/978-3-030-38919-2_18  

    ISSN: 1611-3349 0302-9743

  25. DAWGs for Parameterized Matching: Online Construction and Related Indexing Structures. Peer-reviewed

    Katsuhito Nakashima, Noriki Fujisato, Diptarama Hendrian, Yuto Nakashima, Ryo Yoshinaka, Shunsuke Inenaga, Hideo Bannai, Ayumi Shinohara, Masayuki Takeda

    31st Annual Symposium on Combinatorial Pattern Matching(CPM) 26-14 2020

    Publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik

    DOI: 10.4230/LIPIcs.CPM.2020.26  

  26. Computing Covers Under Substring Consistent Equivalence Relations Peer-reviewed

    Natsumi Kikuchi, Diptarama Hendrian, Ryo Yoshinaka, Ayumi Shinohara

    String Processing and Information Retrieval 131-146 2020

    Publisher: Springer International Publishing

    DOI: 10.1007/978-3-030-59212-7_10  

    ISSN: 0302-9743

    eISSN: 1611-3349

  27. Query Learning Algorithm for Residual Symbolic Finite Automata Peer-reviewed

    Kaizaburo Chubachi, Diptarama Hendrian, Ryo Yoshinaka, Ayumi Shinohara

    The Tenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2019 140-153 2019/09

    DOI: 10.4204/EPTCS.305.10  

  28. Colorful Frontier-Based Search: Implicit Enumeration of Chordal and Interval Subgraphs Peer-reviewed

    Jun Kawahara, Toshiki Saitoh, Hirofumi Suzuki, Ryo Yoshinaka

    Special Event on Analysis of Experimental Algorithms (SEA^2 2019) 125-141 2019/06

    Publisher: Springer International Publishing

    DOI: 10.1007/978-3-030-34029-2_9  

  29. Permuted pattern matching algorithms on multi-track strings Peer-reviewed

    Hendrian, D., Ueki, Y., Narisawa, K., Yoshinaka, R., Shinohara, A.

    Algorithms 12 (4) 73:1-73:20 2019/04

    DOI: 10.3390/a12040073  

    ISSN: 1999-4893

  30. Distributional learning of conjunctive grammars and contextual binary feature grammars

    Yoshinaka, R.

    Journal of Computer and System Sciences 104 2019

    DOI: 10.1016/j.jcss.2017.07.004  

    ISSN: 1090-2724 0022-0000

  31. An improvement of the franek-jennings-smyth pattern matching algorithm

    Satoshi Kobayashi, Diptarama Hendrian, Ryo Yoshinaka, Ayumi Shinohara

    Proceedings of the Prague Stringology Conference, PSC 2019 56-68 2019

    Publisher: Prague Stringology Club

  32. Cyber-Enhanced Rescue Canine. Peer-reviewed

    Kazunori Ohno, Ryunosuke Hamada, Tatsuya Hoshi, Hiroyuki Nishinoma, Shumpei Yamaguchi, Solvi Arnold, Kimitoshi Yamazaki, Takefumi Kikusui, Satoko Matsubara, Miho Nagasawa, Takatomi Kubo, Eri Nakahara, Yuki Maruno, Kazushi Ikeda, Toshitaka, Yamakawa, Takeshi Tokuyama, Ayumi Shinohara, Ryo Yoshinaka, Diptarama Hendrian, Kaizaburo Chubachi, Satoshi Kobayashi, Katsuhito Nakashima, Hiroaki Naganuma, Ryu Wakimoto, Shu Ishikawa, Tatsuki Miura, Satoshi Tadokoro

    Disaster Robotics - Results from the ImPACT Tough Robotics Challenge 128 143-193 2019

    Publisher: Springer

    DOI: 10.1007/978-3-030-05321-5_4  

    ISSN: 1610-7438

    eISSN: 1610-742X

  33. The time complexity of permutation routing via matching, token swapping and a variant Peer-reviewed

    Kawahara, J., Saitoh, T., Yoshinaka, R.

    Journal of Graph Algorithms and Applications 23 (1) 29-70 2019/01

    DOI: 10.7155/JGAA.00483  

    ISSN: 1526-1719

  34. Micro-clustering by data polishing Peer-reviewed

    Takeaki Uno, Hiroki Maegawa, Takanobu Nakahara, Yukinobu Hamuro, Ryo Yoshinaka, Makoto Tatsuta

    Proceedings - 2017 IEEE International Conference on Big Data, Big Data 2017 2018- 1012-1018 2018/01/12

    Publisher: Institute of Electrical and Electronics Engineers Inc.

    DOI: 10.1109/BigData.2017.8258024  

  35. Enumerating All Subgraphs without Forbidden Induced Subgraphs via Multivalued Decision Diagrams.

    Jun Kawahara, Toshiki Saitoh, Hirofumi Suzuki, Ryo Yoshinaka

    CoRR abs/1804.03822 2018

  36. Efficient dynamic dictionary matching with DAWGs and AC-automata Peer-reviewed

    Diptarama Hendrian, Shunsuke Inenaga, Ryo Yoshinaka, Ayumi Shinohara

    Theoretical Computer Science 2018

    Publisher: Elsevier B.V.

    DOI: 10.1016/j.tcs.2018.04.016  

    ISSN: 0304-3975

  37. Enumeration of cryptarithms using deterministic finite automata Peer-reviewed

    Nozaki, Y., Hendrian, D., Yoshinaka, R., Shinohara, A.

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10977 LNCS 286-298 2018

    Publisher: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

    DOI: 10.1007/978-3-319-94812-6_24  

    ISSN: 1611-3349 0302-9743

  38. Linear-time online algorithm inferring the shortest path from a walk Peer-reviewed

    Narisada, S., Hendrian, D., Yoshinaka, R., Shinohara, A.

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 11147 LNCS 311-324 2018

    Publisher: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

    DOI: 10.1007/978-3-030-00479-8_25  

    ISSN: 1611-3349 0302-9743

  39. Duel and sweep algorithm for order-preserving pattern matching Peer-reviewed

    Davaajav Jargalsaikhan, Diptarama, Yohei Ueki, Ryo Yoshinaka, Ayumi Shinohara

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10706 624-635 2018

    Publisher: Springer Verlag

    DOI: 10.1007/978-3-319-73117-9_44  

    ISSN: 1611-3349 0302-9743

  40. New variants of pattern matching with constants and variables Peer-reviewed

    Yuki Igarashi, Diptarama, Ryo Yoshinaka, Ayumi Shinohara

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10706 611-623 2018

    Publisher: Springer Verlag

    DOI: 10.1007/978-3-319-73117-9_43  

    ISSN: 1611-3349 0302-9743

  41. Learning concepts and their unions from positive data with refinement operators Peer-reviewed

    Seishi Ouchi, Tomohiko Okayama, Keisuke Otaki, Ryo Yoshinaka, Akihiro Yamamoto

    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE 79 (1-3) 181-203 2017/03

    DOI: 10.1007/s10472-015-9458-6  

    ISSN: 1012-2443

    eISSN: 1573-7470

  42. Behavior identification of search and rescue dogs based on inertial sensors

    NARISADA Shintaro, MASHIKO Sunao, SHIMIZU Shunta, OHORI Yu, SUGAWARA Keisuke, SAKUMA Shumpei, SATO Ichinari, Ueki Yohei, HAMADA Ryunosuke, YAMAGUCHI Shumpei, HOSHI Tatsuya, OHNO Kazunori, YOSHINAKA Ryo, SHINOHARA Ayumi, TOKUYAMA Takeshi

    The Proceedings of JSME annual Conference on Robotics and Mechatronics (Robomec) 2017 2A1-Q04 2017

    Publisher: The Japan Society of Mechanical Engineers

    DOI: 10.1299/jsmermd.2017.2A1-Q04  

    More details Close

    <p>We propose an underlying system that can infer and visualize search and rescue (SAR) dogs' behavior. The system is aimed at identifying "run", "walk", "stop", "sniff" and "bark" behaviors of SAR dogs robustly from inertial sensors data, and visualizing the results for the users. In the system, we apply Short-Time Fourier Transform (STFT) to the sensors data, and use a random forest algorithm for learning investigation activities of SAR dogs. We performed an experiment on our system and got the results that some behaviors can be identified precisely. We also developed an on-line visualization system for streaming data of behavior probabilities.</p>

  43. Solving the longest oneway-ticket problem and enumerating letter graphs by augmenting the two representative approaches with ZDDs Peer-reviewed

    Jun Kawahara, Toshiki Saitoh, Hirofumi Suzuki, Ryo Yoshinaka

    Advances in Intelligent Systems and Computing 532 294-305 2017

    Publisher: Springer Verlag

    DOI: 10.1007/978-3-319-48517-1_26  

    ISSN: 2194-5357

  44. The Time Complexity of the Token Swapping Problem and Its Parallel Variants Peer-reviewed

    Jun Kawahara, Toshiki Saitoh, Ryo Yoshinaka

    WALCOM: ALGORITHMS AND COMPUTATION, WALCOM 2017 10167 448-459 2017

    DOI: 10.1007/978-3-319-53925-6_35  

    ISSN: 0302-9743

    eISSN: 1611-3349

  45. Longest Common Subsequence in at Least k Length Order-Isomorphic Substrings Peer-reviewed

    Yohei Ueki, Diptarama, Masatoshi Kurihara, Yoshiaki Matsuoka, Kazuyuki Narisawa, Ryo Yoshinaka, Hideo Bannai, Shunsuke Inenaga, Ayumi Shinohara

    SOFSEM 2017: THEORY AND PRACTICE OF COMPUTER SCIENCE 10139 363-374 2017

    DOI: 10.1007/978-3-319-51963-0_28  

    ISSN: 0302-9743

    eISSN: 1611-3349

  46. The strong, weak, and very weak finite context and kernel properties Peer-reviewed

    Makoto Kanazawa, Ryo Yoshinaka

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10168 77-88 2017

    Publisher: Springer Verlag

    DOI: 10.1007/978-3-319-53733-7_5  

    ISSN: 1611-3349 0302-9743

  47. An efficient query learning algorithm for zero-suppressed binary decision diagrams Peer-reviewed

    Mizumoto, H, Todoroki, S, Diptarama, Yoshinaka, R, Shinohara, A

    Proceedings of the 28th International Conference on Algorithmic Learning Theory 76 360-371 2017

  48. Sequence binary decision diagram: Minimization, relationship to acyclic automata, and complexities of Boolean set operations Peer-reviewed

    Shuhei Denzumi, Ryo Yoshinaka, Hiroki Arimura, Shin-ichi Minato

    DISCRETE APPLIED MATHEMATICS 212 61-80 2016/10

    DOI: 10.1016/j.dam.2014.11.022  

    ISSN: 0166-218X

    eISSN: 1872-6771

  49. Probabilistic learnability of context-free grammars with basic distributional properties from positive examples Peer-reviewed

    Chihiro Shibata, Ryo Yoshinaka

    THEORETICAL COMPUTER SCIENCE 620 46-72 2016/03

    DOI: 10.1016/j.tcs.2015.10.037  

    ISSN: 0304-3975

    eISSN: 1879-2294

  50. Efficiency in the identification in the limit learning paradigm Peer-reviewed

    Rémi Eyraud, Jeffrey Heinz, Ryo Yoshinaka

    Topics in Grammatical Inference 25-46 2016/01/01

    Publisher: Springer Berlin Heidelberg

    DOI: 10.1007/978-3-662-48395-4_2  

  51. Distributional learning of context–free and multiple context–free grammars Peer-reviewed

    Alexander Clark, Ryo Yoshinaka

    Topics in Grammatical Inference 143-172 2016/01/01

    Publisher: Springer Berlin Heidelberg

    DOI: 10.1007/978-3-662-48395-4_6  

  52. Distributional Learning of Some Nonlinear Tree Grammars Peer-reviewed

    Alexander Clark, Makoto Kanazawa, Gregory M. Kobele, Ryo Yoshinaka

    FUNDAMENTA INFORMATICAE 146 (4) 339-377 2016

    DOI: 10.3233/FI-2016-1391  

    ISSN: 0169-2968

    eISSN: 1875-8681

  53. Distributional learning and context/substructure enumerability in nonlinear tree grammars Peer-reviewed

    Makoto Kanazawa, Ryo Yoshinaka

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 9804 94-111 2016

    Publisher: Springer Verlag

    DOI: 10.1007/978-3-662-53042-9_6  

    ISSN: 1611-3349 0302-9743

  54. AC-Automaton Update Algorithm for Semi-dynamic Dictionary Matching Peer-reviewed

    Diptarama, Ryo Yoshinaka, Ayumi Shinohara

    STRING PROCESSING AND INFORMATION RETRIEVAL, SPIRE 2016 9954 110-121 2016

    DOI: 10.1007/978-3-319-46049-9_11  

    ISSN: 0302-9743

  55. Fast Full Permuted Pattern Matching Algorithms on Multi-track Strings Peer-reviewed

    Diptarama, Ryo Yoshinaka, Ayumi Shinohara

    PROCEEDINGS OF THE PRAGUE STRINGOLOGY CONFERENCE 2016 7-21 2016

  56. QBF Encoding of Generalized Tic-Tac-Toe Peer-reviewed

    Diptarama, Yoshinaka, R, Shinohara, A

    Proceedings of the 4th International Workshop on Quantified Boolean Formulas 14-26 2016

  57. General Perspective on Distributionally Learnable Classes Invited

    Yoshinaka, R

    Proceedings of the 14th Meeting on the Mathematics of Language 87-98 2015/07

  58. Learning conjunctive grammars and contextual binary feature grammars Peer-reviewed

    Ryo Yoshinaka

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 8977 623-635 2015

    Publisher: Springer Verlag

    DOI: 10.1007/978-3-319-15579-1_49  

    ISSN: 1611-3349 0302-9743

  59. A comparison of collapsed Bayesian methods for probabilistic finite automata Peer-reviewed

    Chihiro Shibata, Ryo Yoshinaka

    MACHINE LEARNING 96 (1-2) 155-188 2014/07

    DOI: 10.1007/s10994-013-5410-3  

    ISSN: 0885-6125

    eISSN: 1573-0565

  60. Distributional learning of parallel multiple context-free grammars Peer-reviewed

    Alexander Clark, Ryo Yoshinaka

    MACHINE LEARNING 96 (1-2) 5-31 2014/07

    DOI: 10.1007/s10994-013-5403-2  

    ISSN: 0885-6125

    eISSN: 1573-0565

  61. The Failure of the Strong Pumping Lemma for Multiple Context-Free Languages Peer-reviewed

    Makoto Kanazawa, Gregory M. Kobele, Jens Michaelis, Sylvain Salvati, Ryo Yoshinaka

    THEORY OF COMPUTING SYSTEMS 55 (1) 250-278 2014/07

    DOI: 10.1007/s00224-014-9534-z  

    ISSN: 1432-4350

    eISSN: 1433-0490

  62. アイテム集合間の包含関係に基づく飽和アイテム集合族の更新手法,

    西村 翔一, 吉仲 亮, 山本 章博, 宇野 毅明

    第93回人工知能基本問題研究会 93 2014/03

  63. A Sufficient Condition for Learning Unbounded Unions of Languages with Refinement Operators. Peer-reviewed

    Tomohiko Okayama, Ryo Yoshinaka, Keisuke Otaki, Akihiro Yamamoto

    International Symposium on Artificial Intelligence and Mathematics (ISAIM 2014) 2014

  64. An algebraic approach to multiple context-free grammars Peer-reviewed

    Alexander Clark, Ryo Yoshinaka

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 8535 57-69 2014

    Publisher: Springer Verlag

    DOI: 10.1007/978-3-662-43742-1_5  

    ISSN: 1611-3349 0302-9743

  65. Distribution Loss Minimization With Guaranteed Error Bound Peer-reviewed

    Takeru Inoue, Keiji Takano, Takayuki Watanabe, Jun Kawahara, Ryo Yoshinaka, Akihiro Kishimoto, Koji Tsuda, Shin-ichi Minato, Yasuhiro Hayashi

    IEEE TRANSACTIONS ON SMART GRID 5 (1) 102-111 2014/01

    DOI: 10.1109/TSG.2013.2288976  

    ISSN: 1949-3053

  66. PAC Learning of Some Subclasses of Context-Free Grammars with Basic Distributional Properties from Positive Data Peer-reviewed

    Chihiro Shibata, Ryo Yoshinaka

    Algorithmic Learning Theory (ALT 2013) 8139 143-157 2013

    DOI: 10.1007/978-3-642-40935-6_11  

    ISSN: 0302-9743

  67. Beyond semilinearity: Distributional learning of parallel multiple context-free grammars Peer-reviewed

    Alexander Clark, Ryo Yoshinaka

    ICGI 2012, JMLR Workshop and Conference Proceedings 21 84-96 2012/09

  68. An Attempt Towards Learning Semantics: Distributional Learning of IO Context-Free Tree Grammars Peer-reviewed

    Ryo Yoshinaka

    In proceedings of the 11th International Workshop on Tree Adjoining Grammars and Related Formalisms. pp. 90-98. 2012. 90-98 2012/09

  69. Counterexamples to the long-standing conjecture on the complexity of BDD binary operations Peer-reviewed

    Ryo Yoshinaka, Jun Kawahara, Shuhei Denzumi, Hiroki Arimura, Shin-ichi Minato

    INFORMATION PROCESSING LETTERS 112 (16) 636-640 2012/08

    DOI: 10.1016/j.ipl.2012.05.007  

    ISSN: 0020-0190

  70. 種々のリンクパズルへの応用

    吉仲 亮, 岩下 洋哲, 川原 純, 斎藤 寿樹, 鶴間 浩二, 湊 真一

    オペレーションズ・リサーチ 57 (11) 616-622 2012

  71. On the Parameterised Complexity of Learning Patterns Peer-reviewed

    Frank Stephan, Ryo Yoshinaka, Thomas Zeugmann

    COMPUTER AND INFORMATION SCIENCES II 277-281 2012

    DOI: 10.1007/978-1-4471-2155-8_35  

  72. Polynomial time learning of some multiple context-free languages with a minimally adequate teacher Peer-reviewed

    Ryo Yoshinaka, Alexander Clark

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7395 192-207 2012

    DOI: 10.1007/978-3-642-32024-8_13  

    ISSN: 0302-9743 1611-3349

  73. Finding All Solutions and Instances of Numberlink and Slitherlink by ZDDs. Peer-reviewed

    Ryo Yoshinaka, Toshiki Saitoh, Jun Kawahara, Koji Tsuruma, Hiroaki Iwashita, Shin-ichi Minato

    Algorithms 5 (2) 176-213 2012

    DOI: 10.3390/a5020176  

  74. Integration of the dual approaches in the distributional learning of context-free grammars Peer-reviewed

    Ryo Yoshinaka

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7183 538-550 2012

    DOI: 10.1007/978-3-642-28332-1_46  

    ISSN: 0302-9743 1611-3349

  75. ZDD によるパスの列挙 (計算機科学とアルゴリズムの数理的基礎とその応用)

    川原 純, 斎藤 寿樹, 鈴木 拡, 湊 真一, 吉仲 亮

    数理解析研究所講究録 1744 (0) 35-41 2011/06

    Publisher: 京都大学

    ISSN: 1880-2818

  76. Efficient learning of multiple context-free languages with multidimensional substitutability from positive data Peer-reviewed

    Ryo Yoshinaka

    THEORETICAL COMPUTER SCIENCE 412 (19) 1821-1831 2011/04

    DOI: 10.1016/j.tcs.2010.12.058  

    ISSN: 0304-3975

    eISSN: 1879-2294

  77. Path Enumeration Algorithms Using ZDD and Their Performance Evaluations

    Toshiki Saitoh, Jun Kawahara, Ryo Yoshinaka, Hiromu Suzuki, Shin-ichi Minato

    IPSJ SIG Notes 2011 (17) 1-6 2011/02/28

    Publisher: 一般社団法人情報処理学会

    ISSN: 0919-6072

    More details Close

    The listing of all paths in a given graph is a classical problem. Although there are known algorithms for the problem, the number of the solutions tends to be huge and the counting problem is #P-hard. Recently, Knuth has proposed an algorithm for enumerating paths by using the ZDD (zero-suppressed binary decision diagram). The ZDD is a condensed representation of a family of sets. By identifying a path in a graph as a set of edges, the sets of paths can be represented by ZDD. His algorithm outputs a ZDD representing a set of paths. In this paper, we first introduce Knuth&#039;s algorithm, and pr...

  78. Notes on Sequence Binary Decision Diagrams: Relationship to Acyclic Automata and Complexities of Binary Set Operations Peer-reviewed

    Shuhei Denzumi, Ryo Yoshinaka, Hiroki Arimura, Shin-ichi Minato

    PROCEEDINGS OF THE PRAGUE STRINGOLOGY CONFERENCE 2011 147-161 2011

  79. Distributional Learning of Simple Context-Free Tree Grammars Peer-reviewed

    Anna Kasprzik, Ryo Yoshinaka

    ALGORITHMIC LEARNING THEORY 6925 398-+ 2011

    DOI: 10.1007/978-3-642-24412-4_31  

    ISSN: 0302-9743

  80. Towards dual approaches for learning context-free grammars based on syntactic concept lattices Peer-reviewed

    Ryo Yoshinaka

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 6795 429-440 2011

    DOI: 10.1007/978-3-642-22321-1_37  

    ISSN: 0302-9743 1611-3349

  81. Distributional Learning of Abstract Categorial Grammars Peer-reviewed

    Ryo Yoshinaka, Makoto Kanazawa

    LOGICAL ASPECTS OF COMPUTATIONAL LINGUISTICS, LACL 2011 6736 251-266 2011

    DOI: 10.1007/978-3-642-22221-4_17  

    ISSN: 0302-9743

  82. Well-Nestedness Properly Subsumes Strict Derivational Minimalism Peer-reviewed

    Makoto Kanazawa, Jens Michaelis, Sylvain Salvati, Ryo Yoshinaka

    LOGICAL ASPECTS OF COMPUTATIONAL LINGUISTICS, LACL 2011 6736 112-128 2011

    DOI: 10.1007/978-3-642-22221-4_8  

    ISSN: 0302-9743

  83. Polynomial-Time Identification of Multiple Context-Free Languages from Positive Data and Membership Queries Peer-reviewed

    Ryo Yoshinaka

    GRAMMATICAL INFERENCE: THEORETICAL RESULTS AND APPLICATIONS, ICGI 2010 6339 230-244 2010

    DOI: 10.1007/978-3-642-15488-1_19  

    ISSN: 0302-9743

  84. Chomsky-Schutzenberger-Type Characterization of Multiple Context-Free Languages Peer-reviewed

    Ryo Yoshinaka, Yuichi Kaji, Hiroyuki Seki

    LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS 6031 596-+ 2010

    DOI: 10.1007/978-3-642-13089-2_50  

    ISSN: 0302-9743

  85. Learning efficiency of very simple grammars from positive data Peer-reviewed

    Ryo Yoshinaka

    THEORETICAL COMPUTER SCIENCE 410 (19) 1807-1825 2009/04

    DOI: 10.1016/j.tcs.2009.01.012  

    ISSN: 0304-3975

  86. An elementary proof of a generalization of double Greibach normal form Peer-reviewed

    Ryo Yoshinaka

    INFORMATION PROCESSING LETTERS 109 (10) 490-492 2009/04

    DOI: 10.1016/j.ipl.2009.01.015  

    ISSN: 0020-0190

  87. Learning Mildly Context-Sensitive Languages with Multidimensional Substitutability from Positive Data Peer-reviewed

    Ryo Yoshinaka

    ALGORITHMIC LEARNING THEORY, PROCEEDINGS 5809 278-292 2009

    DOI: 10.1007/978-3-642-04414-4_24  

    ISSN: 0302-9743

  88. Identification in the Limit of k, l-Substitutable Context-Free Languages Peer-reviewed

    Ryo Yoshinaka

    GRAMMATICAL INFERENCE: ALGORITHMS AND APPLICATIONS, PROCEEDINGS 5278 266-279 2008

    DOI: 10.1007/978-3-540-88009-7_21  

    ISSN: 0302-9743

  89. An Efficient Algorithm for the Inclusion Problem of a Subclass of DPDAs Peer-reviewed

    Ryo Yoshinaka

    LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS 5196 487-498 2008

    DOI: 10.1007/978-3-540-88282-4_44  

    ISSN: 0302-9743

  90. Learning efficiency of very simple grammars from positive data Peer-reviewed

    Ryo Yoshinaka

    Algorithmic Learning Theory, Proceedings 4754 227-241 2007

    ISSN: 0302-9743

  91. On two extensions of abstract categorial grammars Peer-reviewed

    Philippe de Groote, Sarah Maarek, Ryo Yoshinaka

    LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS 4790 273-+ 2007

    ISSN: 0302-9743

  92. Polynomial-time identification of an extension of very simple grammars from positive data Peer-reviewed

    Ryo Yoshinaka

    GRAMMATICAL INFERENCE: ALGORITHMS AND APPLICATIONS, PROCEEDINGS 4201 45-58 2006

    ISSN: 0302-9743

  93. Probabilistic generalization of simple grammars and its application to reinforcement learning Peer-reviewed

    Takeshi Shibata, Ryo Yoshinaka, Takashi Chikayama

    ALGORITHMIC LEARNING THEORY, PROCEEDINGS 4264 348-362 2006

    ISSN: 0302-9743

  94. The complexity and generative capacity of lexicalized abstract categorial grammars Peer-reviewed

    R Yoshinaka, M Kanazawa

    LOGICAL ASPECTS OF COMPUTATIONAL LINGUISTICS, PROCEEDINGS 3492 330-346 2005

    DOI: 10.1007/11422532_22  

    ISSN: 0302-9743

  95. Higher-order matching in the linear lambda calculus in the absence of constants is NP-complete Peer-reviewed

    R Yoshinaka

    TERM REWRITING AND APPLICATIONS, PROCEEDINGS 3467 235-249 2005

    ISSN: 0302-9743

  96. Lexicalization of second-order ACGs

    Kanazawa, M., Yoshinaka, R.

    NII Technical Reports 2005 (12) 1-18 2005

    ISSN: 1346-5597

Show all ︎Show first 5

Misc. 22

  1. Query Learning of Residual Symbolic Automata

    Chubachi, K, Diptarama, H, Yoshinaka, R, Shinohara, A

    Work in Progress Track, ICGI 2018 2018

  2. Enumerating Letter Graphs by Zero-suppressed Decision Diagrams

    116 (116) 33-40 2016/06/24

    Publisher: 電子情報通信学会

    ISSN: 0913-5685

  3. Approximate String Matching Based on Extending Levenshtein Automata for Tries (特集 「離散問題とデータ科学の接点」および一般)

    宮近 充裕, 吉仲 亮, 山本 章博

    人工知能基本問題研究会 99 11-16 2016/01/21

    Publisher: 人工知能学会

  4. An Efficient Algorithm to Recalculate Graph Polishing for the Change of Threshold

    99 69-74 2016/01/21

    Publisher: 人工知能学会

  5. Parameter Estimation of Stochastic Grammars with Probabilistic Logic Programs

    99 81-86 2016/01/21

    Publisher: 人工知能学会

  6. Answering Center Test Questions on Japanese History by Comparing Tuples Generated from Texts (特集 「離散問題とデータ科学の接点」および一般)

    尾納 宗仁, 吉仲 亮, 山本 章博

    人工知能基本問題研究会 99 33-38 2016/01/21

    Publisher: 人工知能学会

  7. Grammatical Inference Preface

    Remi Eyraud, Colin de la Higuera, Makoto Kanazawa, Ryo Yoshinaka

    FUNDAMENTA INFORMATICAE 146 (4) I-II 2016

    DOI: 10.3233/FI-2016-1390  

    ISSN: 0169-2968

    eISSN: 1875-8681

  8. Constructing Grammar for Infering Common Structure of Two Strings and Its Application to String Compression

    93 105-110 2014/03/07

    Publisher: 人工知能学会

  9. Enumerating Premises of a Propositional Formula using Binary Decision Diagrams

    93 119-126 2014/03/07

    Publisher: 人工知能学会

  10. Local Simirality between Semi-Ordered Tree based on Constrained Mapping

    93 127-133 2014/03/07

    Publisher: 人工知能学会

  11. Analysis of classic Waka with text mining from phoneme patterns

    28 1-4 2014

    Publisher: 人工知能学会

    ISSN: 1347-9881

  12. A Method for Searching Question Sentences in Mathematics by String Patterns and the Structure of MathML

    27 1-4 2013

    Publisher: 人工知能学会

    ISSN: 1347-9881

  13. フロンティア法による電力網構成制御 Invited

    井上武, 高野圭司, 渡辺喬之, 川原純, 吉仲亮, 岸本章宏, 津田宏治, 湊真一, 林泰弘

    オペレーションズ・リサーチ 57 (11) 610-615 2012/11

    Publisher: 公益社団法人日本オペレーションズ・リサーチ学会

    ISSN: 0030-3674

  14. Loss Minimization of Power Distribution Networks with Guaranteed Error Bound

    Takeru Inoue, Keiji Takano, Takayuki Watanabe, Jun Kawahara, Ryo Yoshinaka, Akihiro Kishimoto, Koji Tsuda, Shin-ichi Minato, Yasuhiro Hayashi

    TCS Technical Reports, Division of Computer Science, Hokkaido University A (12) 59 2012/08

  15. [Invited Talk] Analyzing power distribution networks by frontier-based method Invited

    井上武, 高野圭司, 渡辺喬之, 川原純, 吉仲亮, 岸本章宏, 津田宏治, 湊真一, 林泰弘

    電子情報通信学会 技術研究報告 112 (134) 37-42 2012/07

    ISSN: 0913-5685

  16. DK-2-2 Applying the Frontier-Based Search Method to Various Link Puzzle Problems

    Yoshinaka Ryo, Iwashita Hiroaki, Kawahara Jun, Saitoh Toshiki, Tsuruma Koji, Minato Shin-ichi

    Proceedings of the IEICE General Conference 2012 (2) "SS-5"-"SS-8" 2012/03/06

    Publisher: The Institute of Electronics, Information and Communication Engineers

  17. DK-2-3 An application of the frontier-based method to configure power networks

    INOUE Takeru, TAKANO Keiji, WATANABE Takayuki, KAWAHARA Jun, YOSHINAKA Ryo, KISHIMOTO Akihiro, TSUDA Koji, MINATO Shin-ichi, HAYASHI Yasuhiro

    Proceedings of the IEICE General Conference 2012 (2) "SS-9"-"SS-12" 2012/03/06

    Publisher: 一般社団法人電子情報通信学会

  18. ZDDを用いた系統運用制約を満たす配電網構成の網羅的探索手法

    井上武, 高野圭司, 渡辺喬之, 川原純, 吉仲亮, 岸本章宏, 津田宏治, 湊真一, 林泰弘

    電気学会 全国大会 2012 (6) 52-53 2012/03

  19. フロンティア法の電力網構成制御への応用

    井上武, 高野圭司, 渡辺喬之, 川原純, 吉仲亮, 岸本章宏, 津田宏治, 湊真一, 林泰弘

    電子情報通信学会 総合大会 DK (2) 3 2012/03

    ISSN: 1349-1369

  20. Entwork Reliability Evaluation Using Efficient Path Enumeration ALgorithms

    斎藤寿樹, 川原純, 吉仲亮, 井上武, 湊真一

    電子情報通信学会 技術研究報告 111 (146) 57-62 2011/07

    Publisher: 一般社団法人電子情報通信学会

    ISSN: 0913-5685

    More details Close

    Recently, novel algorithms that enumerate all possible paths on a graph have been proposed. They commonly take advantage of Zero-suppressed Binary Decision Diagram, or ZDD, which is an efficient data structure for representing family of sets. These algorithms treat a path as a set of edges, and so ZDD is allowed to handle paths in its own way. ZDD&#039;s efficient algebra is also used in the algorithms to select required paths. We develop a path management system that relies on the ZDD path enumeration algorithm. Our management system accepts some filtering conditions to select paths, and finds the best one from them. The best path is correctly chosen without approximation even if there is a dependency among link failures. Despite of the correctness, our system is quite efficient; 1126509504221649 paths on a grid network of 81 nodes are enumerated in 1.85 seconds, and these paths are filtered and the best one is found in 0.1 seconds.

  21. Path Enumeration Algorithms Using ZDD and Their Performance Evaluations

    2011 (17) 1-6 2011/02/28

    Publisher: 情報処理学会

    ISSN: 2186-2583

  22. Polynomial-Time Identification of an Extension of Very Simple Grammars from Positive Data (Evolutionary Advancement in Fundamental Theories of Computer Science)

    Yoshinaka Ryo

    RIMS Kokyuroku 1375 106-112 2004/05

    Publisher: Kyoto University

    ISSN: 1880-2818

Show all ︎Show first 5

Books and Other Publications 1

  1. Topics in Grammatical Inference

    J. Heinz, J. Sempere

    Springer 2016

    ISBN: 9783662483954

Presentations 1

  1. General Perspective on Distributionally Learnable Classes International-presentation

    The 14th Meeting on Mathematics of Language 2015/07/25

Research Projects 2

  1. 幾何的グラフに対する順序構造を考慮した共通部分グラフ抽出アルゴリズム

    齋藤 寿樹, 川原 純, 吉仲 亮

    Offer Organization: 日本学術振興会

    System: 科学研究費助成事業

    Category: 基盤研究(C)

    Institution: 九州工業大学

    2024/04/01 - 2027/03/31

  2. Research on AI-based fetal monitoring and perinatal information system

    Offer Organization: Japan Society for the Promotion of Science

    System: Grants-in-Aid for Scientific Research

    Category: Grant-in-Aid for Scientific Research (C)

    Institution: Hosei University

    2023/04/01 - 2027/03/31