- 2024 - 2028 Making treewidth and pathwidth practical
- 2020 - 2025 Program Verification Techniques for the AI Era
- 2019 - 2023 Efficient generation algorithms for geometric graph classes
- 2018 - 2023 Statistical Representation of Internal States of Depth Neural Networks and Exploration of New Learning Methods
- 2018 - 2023 一意標準形文法をもつ文脈自由言語族およびその学習に関する研究
- 2018 - 2023 Research on algorithms and data structures for solving theoretically hard problems in practical time
- 2017 - 2021 大規模学習データの分析・可視化と介入機能を有する知的PBL学習環境の運用と評価
- 2014 - 2018 Study on the learning of formal languages consisting of natural language sentences and their semantic expressions based on distributional learning
- 2014 - 2017 Knowledge Discovery Methods based on Closed Set Construction for Data with Attributes Whose Values are from Ordered Sets
- 2012 - 2017 Approach from learning theory toward understanding the limitations of computation
- 2010 - 2014 Data Mining Methods Based on Closed Sets for Data Which Are Combination of Discrete and Continuous Attributes
- 2011 - 2013 Designing practical algorithms for learning formal languages based on distribution of strings in contexts
- 2008 - 2010 Syntactic Approach for Efficient Identification in the Limit from Positive Data of Context-Free and Mildly Context-Sensitive Languages
Show all