Iwanuma Koji

J-GLOBAL         Last updated: Oct 19, 2019 at 02:40
 
Avatar
Name
Iwanuma Koji
Affiliation
University of Yamanashi
Section
Graduate Faculty of Interdisciplinary Research Faculty of Engineering, Electrical and Electronic Information Engineering (Computer Science and Engineering)
Job title
Professor
Degree
Doctor of Engineering(Tohoku University)
Research funding number
30176557

Research Areas

 
 

Academic & Professional Experience

 
Apr 1985
 - 
Mar 1990
山形大学助手(工学部)
 
Apr 1990
 - 
Mar 1992
山梨大学講師(工学部)
 
Apr 1992
 - 
Sep 2002
山梨大学助教授(工学部)
 
Oct 2002
   
 
山梨大学教授
 
Apr 2004
 - 
Mar 2009
山梨大学総合情報処理センター長
 

Education

 
Apr 1979
 - 
Mar 1983
Department of Communication Engineering, Faculty of Engineering, Tohoku University
 
Apr 1983
 - 
Mar 1985
Department of Electric and Communication Engineering, Graduate School of Engineering, Tohoku University
 

Awards & Honors

 
Jun 2018
負の相関ルールマイニングの効率化のための飽和アイテム集合からの極⼩⽣成⼦の⾼速抽出, 人工知能学会 2017年研究会優秀賞, The Japanese Society for Artificial Intelligence
Winner: Kento Yajima Koji Iwanuma Yoshitaka Yamamoto
 
人工知能学会研究会資料・第112回知識ベース研究会 SIG-KBS-112-B508, pp.17-24,
2017年11月10日
Jun 2015
トランザクションストリーム上のオンライン型頻出飽和集合マイニング, 人工知能学会 2014年研究会優秀賞, Japan Society for Artificial Intelligence
Winner: 福田翔士,岩沼宏治,山本泰生
 
人工知能学会・研究会使用(第97回基本問題研究会)SIG-FPAI-B404-01 ,pp.1-6, 2015年3月18日
Sep 2014
GlueMiniSat 2.2.5: 単位伝搬を促す学習節の積極的獲得戦略に基づく高速SAT ソルバー, 日本ソフトウエア科学会 第3回ソフトウエア論文賞, Japan Society of Software Science and Technology
Winner: 鍋島英知 岩沼宏治 井上克巳
 
コンピュータソフトウエア,Vol. 29, No. 4 (2012)
Sep 2004
単一の長大なデータ系列上の系列パターンの出現尺度とその逆単調性, 第3回情報科学技術フォーラム(FIT2004)優秀論文賞, FIT(電子情報通信学会ISS、情報処理学会)
Winner: 高野洋,岩沼宏治,鍋島英知
 
Jun 1991
述語サーカムスクリプションの有限近似とその上の計算システム, 1991年度人工知能学会全国大学優秀論文賞, 人工知能学会
Winner: 太田和彦,岩沼宏治
 
1991年度人工知能学会全国大会論文集,pp.127-130
Jul 1990
述語サーカムスクリプションに於ける質問変換とその性質, 1990年度人工知能学会全国大学優秀論文賞
Winner: 岩沼宏治,原尾政輝,野口正一
 
1990年度人工知能学会全国大会論文集,pp.49-52
Jul 1989
非再帰的な述語サーカムスクリプションの一階論理式への等価変換, 1989年度人工知能学会全国大学優秀論文賞, 人工知能学会
Winner: 岩沼宏治,原尾政輝
 
1989年度人工知能学会全国大会論文集,pp.45-48
Jun 1987
回路自動合成のための定理証明システム, 1987年度人工知能学会全国大学優秀論文賞, 人工知能学会
Winner: 原尾政輝,岩沼宏治
 
(1987年度人工知能学会全国大会論文集,pp.41-44)

Published Papers

 
A Skipping FP-tree for Incrementally Intersecting Closed Itemsets in On-Line Stream Mining
Takumi Nishina, Koji Iwanuma, Yoshitaka Yamamoto
Proceedings of 2019 IEEE International Conference on Big Data and Smart Computing (BigComp)   127-130   Feb 2019   [Refereed]
Generalized Itemsets for Extending of Negative Association Rules and its Fast Extraction Methods of their Closed Itemsets
安藤 祐太,岩沼 宏冶,山本 泰生
SIG-FPAI-108-B802 18-14   Jan 2019
Extraction Algorithms of Minimal Generators from Closed Itemsets : Consideration Bottom-up Methods without Support Calculation
谷島 健斗,岩沼 宏治,山本 泰生
SIG-FPAI-108-B802 25-32   Jan 2019
Reconsideration of Validity of Positive and Negative Association Rules and Their Fast Extraction Methods
雨宮 晶良,岩沼 宏治,谷島 健斗,山本 泰生
SIG-KBS-115-B802 28-35   Nov 2018
ϵ-Approximate Summary of Streaming Data with Partial-Order
山本 泰生,岩沼 宏治,今井 友輝
SIG-KBS-114-B801 40-45   Aug 2018
Takumi Nishina, Koji Iwanuma, Yoshitaka Yamamoto
Proceedings of 2018 IEEE International Conference on Big Data, Cloud Computing, Data Science & Engineering (BCD)   61-66   Jul 2018   [Refereed]
仁科拓巳,岩沼宏冶,山本泰生
SIG-FPAI-B509 104-109   Mar 2018
谷島健斗,岩沼宏冶,山本泰生
SIG-KBS-112-B508 17-24   Nov 2017
谷島健斗,岩沼宏冶,黒岩健歩,佐生隼一,山本 泰生
1-4   May 2017
佐生隼一,岩沼宏冶,山本泰生,黒岩健歩
SIG-FPAI-B506 61-66   Mar 2017
Koji IWANUMA, Yoshitaka YAMAMOTO, Shoshi FUKUDA
人工知能学会論文誌   31(5) 1-10   Aug 2016   [Refereed]
GlueMiniSat 2.2.10-81
Hidetomo Nabeshima,Koji Iwanuma,Katsumi Inoue
Proceedings of SAT Competition 2016 (Bordeaux, France),   43-43   Jul 2016
Kazuki Yoshida, Yoshitaka Yamamoto, Koji Iwanuma
Proceedings of the 30th Annual Conference of the Japanese Society for Artificial Intelligence (2016)   1-4   Jun 2016
Koji Iwanuma,Yoshitaka Yamamoto,Shoshi Fukuda
704-705   Mar 2016   [Refereed]
Online Pattern Mining for High-Dimensional Data Streams
Yoshitaka Yamamoto,Koji Iwanuma
2615-2617   Oct 2015   [Refereed]
GlueMiniSat 2.2.10 & 2.2.10-5
Hidetomo Nabeshima,Koji Iwanuma,Katsumi Inoue
Proceedings of SAT-Race 2015 (Austin, Texas, USA)      Sep 2015
トランザクションストリーム上のオンライン型頻出飽和集合マイニング
福田 翔士,岩沼 宏治,山本 泰生
SIG-FPAI-B404 1-6   Mar 2015
Completing SBGN-AF Networks by Logic-Based Hypothesis Finding
Yoshitaka Yamamoto,Adrien Rougny,Hidetomo Nabeshima,Katsumi Inoue,Hisao Moriya,Christine Froidevaux,Koji Iwanuma
Proceedings of the 1st International Conference on Formal Methods in Macro-Biology (FMMB2014), Lecture Notes in Bioinformatics   8738 165-179   Sep 2014   [Refereed]
An Efficient Top-Down Mining of Negative Association Rules
井出典子,岩沼宏治,山本泰生
Transactions of the Japanese Society for Artificial Intellience   29(4)    Sep 2014   [Refereed]
Resource-oriented Approximation for Frequent Itemset Mining from Bursty Data streams
Yoshitaka Yamamoto,Koji Iwanuma,Shoshi Fukuda
   Jun 2014   [Refereed]
On-The-FlyLazy Clause Simplification based on Binary Resolvents
Hidetomo Nabeshima,Koji Iwanuma,Katsumi Inoue
Proc.IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI 2013), Virginia, USA,   987-995   Nov 2013   [Refereed]
Practically Fast Non-monotone Dualization based on Monotone Dualization
Yoshitaka Yamamoto,Koji Iwanuma,Hidetomo Nabeshima
Post-Proceedings of the 1st International Workshop on Learning and Nonmonotonic Reasoning (LNMR2013), CoRR   975 55-66   Jun 2013   [Refereed]
Non-monotone dualization via monotone dualization
Yoshitaka Yamamoto,Katsumi Inoue,Koji Iwanuma
Proceedings of the 22th Int'l Conf. on Inductive Logic Programming (ILP2012) , LNCS   7842    Feb 2013   [Refereed]
Heuristic Inverse Subsumption in Full-clausal Theories
Yoshitaka Yamamoto,Katsumi Inoue,Koji Iwanuma
Proceedings of the 22nd International Conference on Inductive Logic Programming (ILP2012)      Sep 2012   [Refereed]
Inverse Subsumption for Complete Explanatory Induction.
Yoshitaka Yamamoto,Katsumi Inoue,Koji Iwanuma
Machine Learning   86 115-139   May 2012   [Refereed]
Comparison of Upward and Downward Generalization in CF-induction,
Y. Yamamoto,K. Inoue,K. Iwanuma:
Proc. of the 21th Int'l. Conf. on Inductive Logic Programming (ILP2011)      Jul 2011   [Refereed]
From Inverse Entailment to Inverse Subsumption
Yoshitaka Yamamoto,Katsumi Inoue,Koji Iwanuma
Proceedings of the 20th International Conference on Inductive Logic Programming (ILP 2010)      Jul 2010   [Refereed]
採択率:38%
情報量と頻度に基づく非同期かつ有用な系列パターンの高速抽出
村田順平,岩沼宏治,大塚尚貴
人工知能学会論文誌   25(3) 464-474   May 2010   [Refereed]
SOLAR: An Automated Deduction System for Consequence Finding
Hidetomo Nabeshima,Koji Iwanuma,Katsumi Inoue,Oliver Ray
AI Communications   25(2-3) 183-203   Jan 2010   [Refereed]
イベント系列マイニングを目的とする新聞記事からの時間情報に基づく単語抽出
多田 知道,岩沼 宏治,鍋島 英知
人工知能学会論文誌   24(6) 488-493   Nov 2009   [Refereed]
Reconsideration of Circumscriptive Induction with Pointwise Circumscription
Koji Iwanuma,Katsumi Inoue,Hidetomo Nabeshima
Journal of Applied Logic   7 307-317   May 2009   [Refereed]
Hypothesis enumeration by CF-induction
Yoshitaka Yamamoto,Katsumi Inoue,Koji Iwanuma
Proceedings of the Sixth Workshop on Learning with Logics and Logics for Learning (LLLL2009)   80-87   May 2009   [Refereed]
A Complete Pruning Methods and a Practical Search Strategy for SOL.
Hidetomo Nabeshima,Koji Iwanuma,Katsumi Inoue
Proceeding of 7th International Workshop on the Implementation of Logics (IWIL 2008)   418 113-122   Nov 2008   [Refereed]
Reconsideration of Circumscriptive Induction with Pointwise Circumscription
Koji Iwanuma,Katsumi Inoue,Hidetomo Nabeshima
Proceeding of International Workshop on Abduction and Induction in AI and Bioinformatics.   50-64   Sep 2007   [Refereed]
Rapid Synthesis of Domain-Specific Web Search Engines Based on Semi-automatic Training-Example Generation
Hidetomo Nabeshima,Reiko Miyagawa,Yuki Suzuki,Koji Iwanuma
Proceedings of the International Conference on Web Intelligence 2006 (WI'06),   769-772   Dec 2006   [Refereed]
緩和法に基づく系列データからの頻出部分系列の高速マイニング,
丸山育嗣,岩沼宏治,鍋島英知
第5回情報科学技術レターズ (FIT2006)   113-116   Sep 2006   [Refereed]
専門検索エンジンの高速半自動生成法,
宮川礼子,鈴木 悠生,鍋島英知,岩沼宏治
第5回情報科学技術レターズ (FIT2006)   355-358   Sep 2006   [Refereed]
Lemma Reusing for SAT based Planning and Scheduling
H. Nabeshima,T. Soh,K. Inoue,K. Iwanuma
Porceedings of the Inter. Conf. on Planning and Scheduling (ICAPS '06)   103-112   Jun 2006   [Refereed]
Consequence Finding and Computing Answers with Defaults, Journal of Intelligent Information Systems
K. Inoue,K. Iwanuma,H. Nabeshima
Journal of Intelligent Information Systems   26 41-58   Apr 2006   [Refereed]
Extracting Frequent Subsequences from a Single Long Data Sequence: A Novel Anti-Monotonic Measure and a Simple On-Line Algorithm
K. Iwanuma,R. Ishihara,Y. Takano,H. Nabeshima
Proceedings of The Fifth IEEE International Conference on Data Mining (ICDM2005)   186-193   Dec 2005   [Refereed]
本国際会議はデータマイニング分野のトップ会議(投稿数600超,採択率10%)である
Upside-Down Transformation in SOL/Connection Tableaux and its Application
K. Iwanuma,K. Inoue,H. Nabeshima:
Proceedings of International Colloquium on Theoretical Aspects of Computing (ICTAC05) Lecture Notes on Computer Science   3722 166-179   Oct 2005   [Refereed]
大規模データ系列中に頻出する部分系列のオンライン抽出アルゴリズム
石原龍一,岩沼宏治,鍋島英知
第4回情報科学技術レターズ(FIT2005)   89-92   Sep 2005   [Refereed]
Effective Sat Planning by Lemma-Reusing
H. Nabeshima,H. Nozawa,K. Iwanuma
Proceedings of the IASTED International Conference on Artificial Intelligence and Applications (AIA2005)   1-5   Feb 2005   [Refereed]
On Anti-Monotone Frequency Measures for Extracting Sequential Patterns from a Single Very-Long Data Sequence.
K. Iwanuma,Y. Takano,H. Nabeshima
Proceedings of IEEE International Conference on Cybernetics and Intelligence Systems (CIS2004)      Dec 2004   [Refereed]
Speculative Computation through Consequence-finding in Multi-Agent Environments
K.Inoue,K.Iwanuma
Annals of Mathematics and Artificial Intelligence   42 255-291   Nov 2004   [Refereed]
Consequence Finding in Default Theories
K. Inoue,K. Iwanuma,H. Nabeshima
Proceedings of 6th International Conference on Flexible Query Answering Systems (FQAS2004), Lecture Notes in Artficial Intelligence   3055 459-472   Jun 2004   [Refereed]
SOLAR: A Consequence Finding System for Advanced Reasoning
H.Nabeshima,K.Iwanuma,K. Inoue
Proceeding of Tableaux03. Lecture Notes in Artficial Intelligence   2796 257-263   Sep 2003   [Refereed]
Detecting Two Sorts of Correspondences between HTML Documents for Extracting Temporal Differences
M. Nakamura,K. Iwanuma,H. Nabeshima
Proceedings of the Third IASTED International Conference on Artificial Intelligence and Applications (AIA2003),   611-616   Sep 2003   [Refereed]
マルチエージェントシステム分散協調問題における時間遅れと知識量の関係
石塚悠一,岩沼宏治
電子情報通信学会論文誌 D-I   J86-D-I(2) 117-120   Feb 2003   [Refereed]
エージェント間通信におけるアブダクションによる投機的計算
佐藤健,井上克己,岩沼宏治,坂間千秋
コンピュータソフトウエア(日本ソフトウエア 科学会論文誌)   20(1) 27-35   Jan 2003   [Refereed]
Effective SAT Planning by Speculative Computation
H.Nabeshima,K.Iwanuma,K. Inoue
Proceeding of 15th Australian Joint Conference on Artificial Intelligence Lecture Notes in Artficial Intelligence   2557 726-727   Dec 2002   [Refereed]
事例に基づくシリーズ型HTML文書の意味論理構造の自動認識
梅原雅之,岩沼宏治,鍋島英知
人工知能学会論文誌   17(6E) 690-698   Dec 2002   [Refereed]
Minimal Answer Computation and SOL
K.Iwanuma,K.Inoue
Proceedings of 8th European Conference on Logics in Artificial Intelligence (JELIA 2002) Lecture Notes in Artificial Intelligence,   2424 245-258   Sep 2002   [Refereed]
A Case-Based Recognition of Semantic Structures in HTML Documents (An automated Transformation from HTML to XML).
M. Umehara,K.Iwanuma,H.Nabeshima
Proceedings of Third International Conference on Intelligent Data Engineering and Automated Learning (IDEAL 2002) Lecture Notes in Computer Science   2412 141-147   Aug 2002   [Refereed]
Conditional Answer Computation in SOL as Speculative Computation in Multi-Agent Environments
K.Iwanuma,K.Inoue
Electronic Notes on Theoretical Computer Science. It originally appeared in Proceedings of an ICLP'02 Workshop on Computational Logic in Multi-Agent Systems (CLIMA-02), pp.149-162 (2002).   70(5)    Jul 2002   [Refereed]
事例に基づくHTML文書からXML文書への半自動変換
梅原雅之,岩沼宏治,永井宏和
人工知能学会論文誌   16(5) 408-416   Sep 2001   [Refereed]
Finite Approximation of Predicate Circumscription
Kazuhiko Oota,Koji Iwanuma
IEICE Transaction on Information and Systems   E82-D(2) 475-479   Feb 1999   [Refereed]
Strong Contraction in Model Elimination Calculus
Koji Iwanuma
IEICE Transaction on Information and Systems   E81-D(5) 464-471   Dec 1998   [Refereed]
遺伝的プログラミングを用いた命題MEタブロー法による定理自動証明
岩沼宏治,矢ケ崎剛
人工知能学会誌   14(3) 553-558   Mar 1998   [Refereed]
Lemmas Matching for a PTTP-based Top-down Theorem Prover
Koji Iwanuma
Proc. of the 14th International Conference of Automated Deduction (Lecture Notes in Artifical Intelligence)   161-175   Jul 1997   [Refereed]
An Extension of Pointwise Circumscription
Koji Iwanuma,Kazuhiko Oota
Artifical Intelligence   86 391-402   Sep 1996   [Refereed]
一階理論に対する単一名公理の計算法
太田和彦,岩沼宏治
コンピュータソフトエア   12(2) 67-75   Aug 1994   [Refereed]
Conservative Quary Normalization on Parallel Circumscription
Koji Iwanuma, Masateru Harao and Shoichi Noguch
Proc. of the 12th International Conference on Automated Deduction (Lecture Notes in Artificial Intelligence)   296-310   Jun 1994   [Refereed]
高階論理におけるユニフィケーションアルゴリズムの複雑さ
原尾政輝,岩沼宏治
コンピュータソフトウエア   12(2) 67-75   Jan 1991   [Refereed]
述語サーカムスクリプションにおける質問変換の正規化戦略
岩沼宏治,原尾政輝,野口正一
人工知能学会誌   5(5) 617-626   Sep 1990   [Refereed]
非再帰的な述語サーカムスクリプションの一階論理式への等価変換 (岩沼宏治,原尾政輝)
岩沼宏治,原尾政輝
人工知能学会誌,   5(4) 462-470   Jul 1990   [Refereed]
並列サーカムスクリプションの一階論理式への等価変換
岩沼宏治,原尾政輝,野口正一
人工知能学会誌   5(4) 471-481   Jul 1990   [Refereed]
質問変換に基づく並列サーカムスクリプションの計算手法
岩沼宏治,原尾政輝,野口正一
人工知能学会誌   5(4) 471-481   Jan 1990   [Refereed]
点別サーカムスクリプションに基づく孤立式の一般化
岩沼宏治,原尾政輝
人工知能学会誌   4(5) 556-565   Sep 1989   [Refereed]
定理証明的手法による再帰方程式からの回路の自動合成
原尾政輝,岩沼宏治
電子情報通信学会論文誌D-Ⅱ   J72-D-Ⅱ(5) 132-141   May 1989   [Refereed]
Knowledge Representation and Inference Based on First-Order Modal Logic
KojiIwanuma,Masateru Harao
Proc. of International Conference on Fifth Generation Computer systems   449-506   Nov 1988   [Refereed]
定理証明的手法を用いた回路自動合成のための変換規則
原尾政輝,岩沼宏治
電子情報通信学会誌D   J71-D(1) 132-141   Jan 1988   [Refereed]
時間と空間を扱う様相述語論理の不完全性とその相対的完全化
岩沼宏治,原尾政輝,野口正一
電子情報通信学会論文誌D   J70-D(5) 859-869   May 1987   [Refereed]
時空間様相論理ETSLの完全・無矛盾な公理系
岩沼宏治,原尾政輝,野口正一
電子通信学会論文誌D.   J69-D(4) 491-501   Apr 1986   [Refereed]
時空間様相論理ETSLとその決定手続き
岩沼宏治,原尾政輝,野口正一
電子通信学会論文誌D   J69-D(3) 365-374   Mar 1986   [Refereed]

Misc

 
Koji Iwanuma, Shunichi Sasho, Yasuho Kuroiwa, Yoshitaka Yamamoto
Journal of Information Processing Society of Japan   57(8) 1845-1849   Aug 2016   [Refereed]
鍋島 英知,岩沼 宏治,井上 克巳
57(8) 724-729   Jul 2016   [Refereed][Invited]
テキスト系列マイニングにおける有用性尺度について
岩沼宏治
人工知能学会誌   27(2) 136-145   Mar 2012   [Refereed]
一階論理上の等号推論:理論と実際
岩沼宏治,鍋島英知,井上克巳
コンピュータソフトウエア   28(4) 282-305   Oct 2011   [Refereed]
SMT : Satisfiability Modulo Theories
IWANUMA Koji, NABESHIMA Hidetomo
Journal of Japanese Society for Artificial Intelligence   25(1) 86-96   Jan 2010   [Refereed]

Books etc

 
人工知能学大事典
人工知能学会編 (Part:Joint Work, 融合原理)
共立出版   Jul 2017   ISBN:978-4320124202
人工知能学大事典
人工知能学会編 (Part:Joint Work, 定理証明)
共立出版   Jul 2017   ISBN:978-4320124202

Research Grants & Projects

 
潜在的相関ルール抽出を目的としたオンライン型近似計算法の開発と仮説推論との統合
Project Year: Apr 2016 - Mar 2019    Investigator(s): IWANUMA Koji
潜在的相関ルールマイニングと高次イベント系列コーパスの自動構築
Project Year: Apr 2013 - Mar 2017
潜在イベント系列コーパスの自動構築を目的とした負の相関ルールマイニングのオンライン高速化
電気通信普及財団: 研究調査助成
Project Year: Apr 2013 - Mar 2014    Investigator(s): IWANUMA Koji
系列データマイニングと高次推論の統合による大規模テキスト時系列からの知識発見
Project Year: Apr 2010 - Mar 2013
新聞記事コーパスからの大規模イベント系列コーパスの自動
JST: シーズ発掘試験A
Project Year: Jul 2009 - Mar 2010