University of Yamanashi Graduate Faculty of Interdisciplinary Research Faculty of Engineering, Electrical and Electronic Information Engineering (Computer Science and Engineering)
About University of Yamanashi Graduate Faculty of Interdisciplinary Research Faculty of Engineering, Electrical and Electronic Information Engineering (Computer Science and Engineering)
Research keywords (8):
semi-automatic learning of WEB keyword spices
, sequential text analysis and event sequence corpus generation
, circumscription
, automated theorem proving system
, Negative Association Rule Mining
, stream data mining
, online approximation alogrithm
, intelligent WEB browsing
Research theme for competitive and other funds (23):
2022 - 2025 Generalized Association Rule Mining for Representing Latent Properties and its Abstraction Based on Strong Closedness Compression
2002 - 2004 Research on Knowledge Discovery based on Consequence Finding
2002 - 2003 事例に基づくHTML文書のXML文書への自動変換システムの構築
2001 - 2002 事例に基づくHTML文書のXML文書への自動変換システムの構築
1999 - 2000 Construction of Logical Multi-Agent System under Incomplete Information Environment
1995 - 1996 A General Study On Intelligent Reasoning Principles and Programming Languages For Artificial Intelligence.
1994 - 1994 コンパイルに基づくサーカムスクリプションの高速な定理証明手法
1993 - 1993 高速推論を目的とする一階論理コンパイラに関する研究
Show all
Papers (101):
Koji Iwanuma, Kento Yajima, Yoshitaka Yamamoto. Enumerating Minimal Generators from Closed Itemsets - Toward Effective Compression of Negative Association Rules. 2021 IEEE Asia-Pacific Conference on Computer Science and Data Engineering (CSDE). 2021
Yuta Ando, Koji Iwanuma. A Preliminary Study of Closed Generalized Itemsets and Their Enumeration Algorithms. 2021 10th International Congress on Advanced Applied Informatics (IIAI-AAI). 2021. 502-505
Ryo Hinata, Koji Iwanuma, Takumi Nishina. Acceleration of an on-line ε-approximation algorithm for mining strongly closed itemsets. 2021年度人工知能学会全国大会(第35回)論文集. 2021
Koji Iwanuma, Kento Yajima, Yoshitaka Yamamoto. Mining Consistent, Non-Redundant and Minimal Negative Rules Based on Minimal Generators. Proceedings of 2020 IEEE International Conference on Big Data (Big Data 2020). 2020
安藤 祐太, 岩沼 宏冶. Fast Enumeration of Generalized closed Itemsets Based on Closure Calculation:Toward Generalization of Association Rules. 2020. B5. 03. 36-41
A Basis of Efficient Equational Consequence Finding on SOL-Tableaux
(The Third Franco-Japanese Symposium on Knowledge Discovery in Systems Biology (FJ'09) 2009)
Effective Equality Computation in Connection Tableaux
(The Second Franco-Japanese Symposium on Knowledge Discovery in Systems Biology (FJ'08) 2008)
Education (2):
1983 - 1985 Tohoku University Graduate School of Engineering Department of Electric and Communication Engineering
1979 - 1983 Tohoku University Faculty of Engineering Department of Communication Engineering