Organization
Graduate Faculty of Interdisciplinary Research Faculty of Engineering Electrical and Electronic Information Engineering (Computer Science and Engineering) Professor
Title
Professor
Contact information
Iwanuma Koji
Research History
-
山梨大学IT推進本部副本部長
2005.4 - 2009.3
Notes：2009年3月まで
-
山梨大学総合情報処理センター長
2004.4 - 2009.3
Notes：2009年3月まで
-
山梨大学教授
2002.10
-
山梨大学助教授(工学部)
1992.4 - 2002.9
-
山梨大学講師(工学部)
1990.4 - 1992.3
-
山形大学助手(工学部)
1985.4 - 1990.3
Education
-
Tohoku University Graduate School of Engineering Department of Electric and Communication Engineering
1983.4 - 1985.3
Country： Japan
Course： Doctor prophase
-
Tohoku University Faculty of Engineering Department of Communication Engineering
1979.4 - 1983.3
Country： Japan
Degree
-
Doctor of Engineering ( 1991.4 Tohoku University )
Research Areas
-
Informatics / Intelligent informatics / Foundation of Artficial Intelligence, Data Engineering and Software Science
Research Interests
-
online approximation alogrithm
-
stream data mining
-
Negative Association Rule Mining
-
automated theorem proving system
-
circumscription
-
sequential text analysis and event sequence corpus generation
Subject of research
-
sequential data mining
-
negative association rule mining
-
WEB intelligence
-
automated theorem proving
-
commonsense reasoning and incomplete information environment
Research Projects
-
潜在的性質を表現する正負一般化相関ルールのマイニングと強飽和性に基づく圧縮抽象化
2022.4 - 2025.3
日本学術振興会 科学研究費助成事業 基盤研究C
岩沼宏治
Authorship：Principal investigator Type of fund：：Science research expense
-
潜在的規則の抽出を目的とした負の相関ルールの抽出の効率化と一般化
2019.4 - 2022.3
日本学術振興会 科学研究費情勢事業 基盤研究（Ｃ）（一般）
岩沼宏冶
Authorship：Principal investigator Grant type：Competitive Type of fund：：Science research expense
-
潜在的相関ルール抽出を目的としたオンライン型近似計算法の開発と仮説推論との統合
2016.4 - 2019.3
基盤研究C
岩沼宏冶、山本泰生
Authorship：Principal investigator Type of fund：：Science research expense
-
潜在的相関ルールマイニングと高次イベント系列コーパスの自動構築
2013.4 - 2017.3
基盤研究C
Authorship：Principal investigator Type of fund：：Science research expense
-
潜在イベント系列コーパスの自動構築を目的とした負の相関ルールマイニングのオンライン高速化
2013.4 - 2014.3
電気通信普及財団 研究調査助成
岩沼宏冶
Authorship：Principal investigator Type of fund：：Donation
-
系列データマイニングと高次推論の統合による大規模テキスト時系列からの知識発見
2010.4 - 2013.3
基盤研究C
Authorship：Principal investigator Type of fund：：Science research expense
-
新聞記事コーパスからの大規模イベント系列コーパスの自動
2009.7 - 2010.3
JST シーズ発掘試験A 発掘型
Authorship：Principal investigator Type of fund：：Funded research
-
大規模テキスト系列からのイベント系列コーパスの自動構築
2008.7 - 2009.3
山梨大学 戦略的プロジェクト 基盤研究
Authorship：Principal investigator Type of fund：：Others
-
制約最適化問題のＳＡＴ変換による解法とその並列分散処理に関する研究
2008.4 - 2012.3
基盤研究A
田村直之（神戸大学教授）
Authorship：Coinvestigator(s) Type of fund：：Science research expense
-
推論による仮説発見とシステム生物学への応用
2008.4 - 2012.3
基盤研究A
井上克己 （国立情報学研究所教授）
Authorship：Coinvestigator(s) Type of fund：：Science research expense
-
「仮説発見システムの高度化と効率的実現に関する研究」
2005.4 - 2008.3
基盤研究B
井上克己（国立情報学研究所）
Authorship：Coinvestigator(s) Type of fund：：Science research expense
-
大規模テキストからの頻出イベント時系列コーパスの自動構築とＷＥＢ時間追跡への応用
2004.4 - 2007.3
基盤研究C
Authorship：Principal investigator Type of fund：：Science research expense
-
大規模ＷEBコンテンツの知的処理を目的とした大規模テキストデータからのイベントの時系列頻出パターンの高速抽出法に関する研究
2004.4 - 2005.9
中部電力基礎技術研究所 研究助成
Authorship：Principal investigator Type of fund：：Others
-
大規模WEBコンテンツの分類及びXMLへの変換と高機能XML文書管理システム
2003.4 - 2004.3
特定領域「情報学」
岩沼宏冶、福本文代 渡辺喜道
Authorship：Principal investigator Type of fund：：Science research expense
-
事例に基づくHTML文書のXML文書への自動変換システムの構築
2002.4 - 2003.3
電気通信普及財団 研究助成
Authorship：Principal investigator Type of fund：：Others
-
先行投機的処理機能を持つマルチエージェントシステムの構築
2001.4 - 2004.3
基盤研究A
佐藤健（国立情報学研究所）
Authorship：Coinvestigator(s) Type of fund：：Science research expense
-
事例に基づくＨＴＭＬ文書からＸＭＬ文書への自動変換法と対話型変換支援システム
2001.4 - 2004.3
基盤研究C
Authorship：Principal investigator Type of fund：：Science research expense
-
事例に基づくHTML文書のXML文書への自動変換システムの構築
2001.4 - 2002.3
電気通信普及財団 研究助成
Authorship：Principal investigator Type of fund：：Others
-
Construction of Logical Multi-Agent System under Incomplete Information Environment
Grant number：11480070 1999 - 2000
Japan Society for the Promotion of Science HOKKAIDO UNIVERSITY Grants-in-Aid for Scientific Research Grant-in-Aid for Scientific Research (B).
SATOH Ken, IWANUMA Koji, SAKAMA Chiaki, INOUE Katsumi
Authorship：Coinvestigator(s) Grant type：Competitive Type of fund：：Science research expense
We presented speculative computation by abduction in multi-agent systems and showed that this method can be used for distributed problem solving under incomplete communication environments.
The idea of the method is as follows :
- When communication is delayed or failed, then we use a default hypothesis as a tentative answer and continue computation.
- When some response is obtained, we check consistency of the response and the current computation. If the response is consistent, then we continue the current computation ; else if the response is inconsistent, we seek an alternative computation.
We proposed a proof procedure of speculative computation in a master-slave multi-agent systems and showed that it returns correct answers for the perfect model semantics in a stratified logic program. Based on the proof procedure, we made a simiulator on parallel machines to show effectiveness of this method. -
A General Study On Intelligent Reasoning Principles and Programming Languages For Artificial Intelligence.
Grant number：07308027 1995 - 1996
Japan Society for the Promotion of Science Kyushu Institute of Technology Grants-in-Aid for Scientific Research Grant-in-Aid for Scientific Research (A)
HARAO Masateru, IWANUMA Kouji, INOUE Katsumi, ASO Hirotomo, YONEZAKI Naoki, HAGIYA Masami
Authorship：Coinvestigator(s) Grant type：Competitive Type of fund：：Science research expense
The purpose of this research project is to establish a reasoning pronciple and advanced technology for artifical intelligence. Two research meetings had been held in every year aiming presentations and discussions on the obtained results, and the presented results are summarized as follows.
(1) Theoretical research result : Reasoning principles based on modal logic, temporal logic, linear logic (6 reports), Reasoning principles based on hypotheses, analogy, abstraction (4 reports), Reasoning based on induction, learning (4 reports), Logic and lambda calculus for reasoning (5 reports), Knowledge representation and language (5 reports), mobile processing (2 reports).
(2) Theorem prover and computaion : Reasoning machines and their improvement (5 reports), New theorem proving method by proof grammar and inductive inference (4 reports), Theorem prover based on modal logic or type system (2 reports)
(3) Intelligent reasoning system and application : High performance theorem prover (4 reports), Proof discovery learning (2 reports), Proving system using internet and proof support system (2 reports).
We have obtained significant results concerning artificial intelligence not only from the theoretical viewpoint but also practical viewpoint. Several implemented system had been demonstrated also. The research results are arranged as a report. -
コンパイルに基づくサーカムスクリプションの高速な定理証明手法
Grant number：06780304 1994
日本学術振興会 科学研究費助成事業 奨励研究(A)
岩沼 宏治
Authorship：Principal investigator Grant type：Competitive Type of fund：：Science research expense
本研究では、不完全情報の常識推論手法を実用化を目的として、サーカムスクリプションの高速推論手法について研究を行なった。より具体的にはサーカムスクリプションのPrologプログラムへの変換、更に機械語プログラムへ変換するコンパイラについて研究を行なった。コンパイルによって、サーカムスクリプションを機械語プログラムとして実現でき、証明計算の高速化が達成された。個別研究項目は以下の通りである。
1.Prologコードへのコンパイル原理とコンパイル・アルゴリズムの確立:生成したPrologコードの推論の相対的完全化が難しい課題であったが、キューを明示的に利用してfairな計算を実現し、解決した。キュー操作のための制御コードを考察・開発し、コンパイル・アルゴリズムを開発した。
2.最適化手法の確立:Prolog言語ソースレベルでの最適化法として、インライン展開法を考察した。性能評価実験により、かなりの効果が確認された。
3.コンパイラの実装とそれを用いた高速化の実証:与えられたサーカムスクリプションをPrologプログラムへ変換するコンパイラの実装を行なった。性能評価実験の結果、既存の手法より10倍程度高速であることが確認された。 -
高速推論を目的とする一階論理コンパイラに関する研究
Grant number：05780238 1993
日本学術振興会 科学研究費助成事業 奨励研究(A)
岩沼 宏治
Authorship：Principal investigator Grant type：Competitive Type of fund：：Science research expense
本研究では、一階論理の高速推論を目的として、一階論理式を機械語プログラム翻訳し計算機上で直接実行させるための、一階論理コンパイラの研究・開発を行った。
本コンパイラは証明すべき一階式が与えられたとき、まずその上の順序付線形導出法を模倣するPrologプログラムを生成する。次に証明中で生成される冗長な節や恒真節の消去を目的とした枝刈コードの挿入など幾つかの最適化処理を行い、最終的にPrologコンパイラを用いて機械語プログラムへ変換する。実験により、初期の目的であった1桁以上の高速化が達成されたことを確認している。
また本研究では補題(1emma)処理に関しても研究を行った。既在の研究により、補題の導入は重複計算の抑制に非常に有効であることが示されているが、逆に探索空間の増大をもたらす欠点の知られている。本研究では、不必要な探索空間の増大を抑制する目的として、現代的なPrologシステムに備わっている遅延演算子を利用した実行メカニズムを開発した。これは変数代入を極力抑制し、複数の探索パスを統合化(一本化)することにより、探索空間の縮小を図るものである。実験により、かなりの効果があることを確認している。
Papers
-
相関ルール生成を目的とする 極小生成子列挙アルゴリズムの空間計算量の改善
望月翔悟，岩沼宏治
第22 回情報科学技術フォーラム (FIT2023)講演論文集 139 - 140 2023.9
-
An ε-Approximation On-line Algorithm for Quantiles Based on Counters Reviewed Major achievement
Kousuke Maeda and Koji Iwanuma
2023 14th IIAI International Congress on Advanced Applied Informatics (IIAI-AAI), IEEE 2023 721 - 724 2023.7( ISBN：979-8-3503-2422-8 )
-
A Fast On-Line ε-Approximation Algorithm for Mining Strongly Closed Itemsets Reviewed Major achievement
Koji Iwanuma Ryo Hinata
2022 IEEE International Conference on Big Data (Big Data2022) 6638 - 6641 2022.12
-
A Bottom-Up Enumeration Algorithm of Minimal Generators without Support Counting for Compressing Negative Association Rules Reviewed Major achievement
Kento Yajima Koji Iwanuma Yoshitaka Yamamoto
2022 12th International Congress on Advanced Applied Informatics (IIAI-AAI) IEEE2022 665 - 668 2022.7
-
Enumerating Minimal Generators from Closed Itemsets – Toward Effective Compression of Negative Association Rules Reviewed Major achievement
Koji Iwanuma, Kento Yajima and Yoshitaka Yamamoto
2021 IEEE Asia-Pacific Conference on Computer Science and Data Engineering (CSDE) 2021.12( ISSN：978-1-6654-9552-3 )
-
A Preliminary Study of Closed Generalized Itemsets and Their Enumeration Algorithms Reviewed Major achievement
Yuta Ando and Koji Iwanuma
2021 10th International Congress on Advanced Applied Informatics (IIAI-AAI) IEEE2021 502 - 505 2021.7
-
Acceleration of an on-line ϵ-approximation algorithm for mining strongly closed itemsets Major achievement
Ryo Hinata, Koji Iwanuma and Takumi Nishina
2021.6
-
Mining Consistent, Non-Redundant and Minimal Negative Rules Based on Minimal Generators Reviewed Major achievement
Koji Iwanuma, Kento Yajima, Yoshitaka Yamamoto
Proceedings of 2020 IEEE International Conference on Big Data (Big Data 2020) 2020.12
-
巨大イベント系列データの構築を目的としたオンライン型系列マイニングとその高速化
渡井慎一郎，岩沼宏治
第19回情報科学技術フォーラム（FIT2020）講演論文集 75 - 78 2020.9
-
ストリームデータからのΔ-強飽和集合のオンライン抽出
日向涼，岩沼宏治，仁科拓巳
第19回情報科学技術フォーラム（FIT2020）講演論文集 71 - 74 2020.9
-
カウンタを用いたε近似分位数サマリ構築の高速化に関する研究
前田 浩丞、岩沼 宏冶
2020年度人工知能学会全国大会（第34回）論文集 2020.6
-
極小生成子とその閉包アイテム集合のペアの高速列挙法
鍋島 崇宏、岩沼 宏治
2020年度人工知能学会全国大会（第34回）論文集 2020.6
-
B5 ( 03 ) 36 - 41 2020.3
-
PARASOL: a hybrid approximation approach for scalable frequent itemset mining in streaming data Reviewed Major achievement
Yoshitaka Yamamoto Yasuo Tabei Koji Iwanuma
JOURNAL OF INTELLIGENT INFORMATION SYSTEMS 2019.12( ISSN：0925-9902 )
-
Accelerating an On-Line Approximation Mining for Large Closed Itemsets Reviewed Major achievement
Koji Iwanuma Takumi Nishina Yoshitaka Yamamoto
2019.12
-
A Skipping FP-tree for Incrementally Intersecting Closed Itemsets in On-Line Stream Mining Reviewed Major achievement
Takumi Nishina, Koji Iwanuma, Yoshitaka Yamamoto
Proceedings of 2019 IEEE International Conference on Big Data and Smart Computing (BigComp) 127 - 130 2019.2( ISSN：978-1-5386-7789-6 )
-
Generalized Itemsets for Extending of Negative Association Rules and its Fast Extraction Methods of their Closed Itemsets Major achievement
SIG-FPAI-108-B802 18 - 14 2019.1
-
Extraction Algorithms of Minimal Generators from Closed Itemsets : Consideration Bottom-up Methods without Support Calculation Major achievement
SIG-FPAI-108-B802 25 - 32 2019.1
-
Approximate-Closed-Itemset Mining for Streaming Data Under Resource Constraint. Reviewed Major achievement
Yoshitaka Yamamoto, Yasuo Tabei, Koji Iwanuma
CoRR abs/1901.01710 2019
-
Reconsideration of Validity of Positive and Negative Association Rules and Their Fast Extraction Methods Major achievement
SIG-KBS-115-B802 28 - 35 2018.11
-
ϵ-Approximate Summary of Streaming Data with Partial-Order Major achievement
SIG-KBS-114-B801 40 - 45 2018.8
-
On-Line Approximation Mining for Frequent Closed Itemsets Greater than or Equal to Size K Reviewed Major achievement
Takumi Nishina, Koji Iwanuma, Yoshitaka Yamamoto
Proceedings of 2018 IEEE International Conference on Big Data, Cloud Computing, Data Science & Engineering (BCD) 61 - 66 2018.7
-
A Fast Extraction Method of Mining Generators from Closed Itemsets Without Support Calculation - Toward Improving Negative Association Rule Mining - Major achievement
SIG-FPAI-B509 110 - 115 2018.3
-
Online Mining of Closed Itemsets from Data Stream Using both a FP-tree and a Prefix-tree
SIG-FPAI-B509 104 - 109 2018.3
-
SIG-KBS-112-B508 17 - 24 2017.11
-
極小生成子を用いた負ルール抽出計算の効率化
谷島健斗，岩沼宏冶，黒岩健歩，佐生隼一，山本 泰生
人工知能学会全国大会（第31回）論文集 1 - 4 2017.5
-
トランザクションストリーム上の頻出飽和アイテム集合系列の抽出に関する基礎的考察
仁科 拓巳，山本 泰生，岩沼宏冶
人工知能学会全国大会論文集 1 - 4 2017.5
-
学習者の情報とシラバスを用いたコンセプトマップによる自律学習支援
岡田 卓弥，吉川 雅修，岩沼 宏治
人工知能学会全国大会論文集 1 - 4 2017.5
-
佐生隼一，岩沼宏冶，山本泰生，黒岩健歩
人工知能学会研究会資料（第103回人工知能基本問題研究会） SIG-FPAI-B506 61 - 66 2017.3
-
A Completeness on an Online ε -Approximation Algorithm for Closed Frequent Itemset Mining in a Transactional Stream Reviewed Major achievement
Koji IWANUMA, Yoshitaka YAMAMOTO, Shoshi FUKUDA
31 ( 5 ) 1 - 10 2016.8( ISSN：1346-8030 )
-
A New Compression Form for a Set of Negative Association Rules Based on Minimal Generators Reviewed Major achievement
Koji Iwanuma, Shunichi Sasho, Yasuho Kuroiwa, Yoshitaka Yamamoto
Journal of Information Processing Society of Japan 57 ( 8 ) 1845 - 1849 2016.8( ISSN：1882-7764 )
-
GlueMiniSat 2.2.10-81 Major achievement
Hidetomo Nabeshima,Koji Iwanuma,Katsumi Inoue
Proceedings of SAT Competition 2016 (Bordeaux, France), 43 - 43 2016.7( ISSN：458-4786 )
-
SATソルバーの最近の進展 Invited Reviewed Major achievement
鍋島 英知，岩沼 宏治，井上 克巳
情報処理 57 ( 8 ) 724 - 729 2016.7
-
オンライン頻出パターンマイニングの並列分散化にむけて
山本 泰生，岩沼 宏治．
人工知能学会全国大会論文集 1 - 4 2016.6
-
Online Discretization and Pattern Mining in Time-Series Human Activity Data Stream
Kazuki Yoshida, Yoshitaka Yamamoto, Koji Iwanuma
Proceedings of the 30th Annual Conference of the Japanese Society for Artificial Intelligence (2016) 1 - 4 2016.6
-
負相関ルールを抽出する準オンラインアルゴリズム
黒岩 健歩,岩沼 宏治,山本 泰生
人工知能学会第103回人工知能基本問題研究会， 人工知能学会研究会資料 61 - 67 2016.3
-
An On-Line Approximation Algorithm for Mining Frequent Closed Itemsets Based on Incremental Intersection Reviewed Major achievement
704 - 705 2016.3
-
Incremental intersection for frequent sequential pattern mining
B503 80 - 85 2016.3
-
分子ネットワーク上の状態推定とその可視化による知識発見支援
平沼 祐人,山本 泰生,守屋 央朗,宋 剛秀,岩沼 宏治
研究報告バイオ情報学（BIO） 情報処理学会 11 １ - ６ 2016.2
-
Online Pattern Mining for High-Dimensional Data Streams Reviewed Major achievement
2615 - 2617 2015.10
-
GlueMiniSat 2.2.10 & 2.2.10-5 Major achievement
Proceedings of SAT-Race 2015 (Austin, Texas, USA) 2015.9
-
極小生成子を用いた負の相関ルール抽出の高速抽出アルゴリズム
佐生隼一,岩沼宏治,黒岩健歩,山本泰生：
第14回情報科学技術フォーラム講演論文集 59 - 62 2015.8
-
トランザクションストリーム上のオンライン型頻出飽和集合マイニング Major achievement
福田 翔士，岩沼 宏治，山本 泰生
人工知能学会研究会資料（第97回人工知能基本問題研究会） SIG-FPAI-B404 1 - 6 2015.3
-
負相関ルールマイニングの高速化と関連性尺度の導入 Major achievement
黒岩 健歩,岩沼 宏治,山本 泰生
人工知能学会人工知能基本問題研究会（第97回）資料 7 - 12 2015.3
-
Completing SBGN-AF Networks by Logic-Based Hypothesis Finding Reviewed Major achievement
Proceedings of the 1st International Conference on Formal Methods in Macro-Biology (FMMB2014), Lecture Notes in Bioinformatics 8738 165 - 179 2014.9
-
An Efficient Top-Down Mining of Negative Association Rules Reviewed Major achievement
Transactions of the Japanese Society for Artificial Intellience 29 ( 4 ) 2014.9
-
Resource-oriented Approximation for Frequent Itemset Mining from Bursty Data streams Reviewed Major achievement
2014.6
-
遺伝子発現データを用いた転写因子束縛ネットワークの状態推定
平沼 祐人,山本 泰生,岩沼 宏治
人工知能学会全国大会（第28回）論文集 2014.5
-
フーリエ変換を用いた命題論理式の充足可能性に関する考察(第2報)
宮城 智輝,山本 泰生,岩沼 宏治
人工知能学会全国大会（第28回）論文集 2014.5
-
関連尺度に基づいた負の相関ルール抽出手法の高機能化
黒岩 健歩,岩沼 宏治,山本 泰生
人工知能学会全国大会（第28回）論文集, 2014.5
-
大規模SAT問題における効率的な非ゼロフーリエ係数の数え上げ
宮城 智輝,山本 泰生,岩沼 宏治
工知能学会 人工知能基本問題研究会（第92回）予稿集 65 - 70 2014.1
-
負の相関ルールを抽出する高速トップダウン型アルゴリズム
井出 典子,岩沼 宏治,山本 泰生
人工知能学会 人工知能基本問題研究会（第92回）予稿集 7 - 12 2014.1
-
可変長トランザクションからなるストリーム上のオンライン型頻出アイテムマイニング
福田 翔士,岩沼 宏治,山本 泰生
人工知能学会 人工知能基本問題研究会（第92回）予稿集 1 - 6 2014.1
-
GlueMiniSat2.2.8
Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue
Proceedings of SAT Competition 2014: Solver and Benchmark Descriptions, Department of Computer Science Series of Publications B, University of Helsinki 2014 B-2014-2 35 - 36 2014
-
仮説推論に基づく分子ネットワークモデルの補完
山本泰生,岩沼宏治,坂本 悠
電子情報通信学会技術研究報告 人工知能と知識処理研究会 113 ( 332 ) 1 - 6 2013.11
-
On-The-FlyLazy Clause Simplification based on Binary Resolvents Reviewed Major achievement
Proc.IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI 2013), Virginia, USA, 987 - 995 2013.11
-
ストリームデータ上の各種の頻出データのオンライン型マイニングに関する一考察
岩沼 宏治,山本 泰生,伊藤 秀志
電子情報通信学会技術研究報告 人工知能と知識処理研究会 113 ( 332 ) 83 - 88 2013.11
-
Practically Fast Non-monotone Dualization based on Monotone Dualization Reviewed Major achievement
Post-Proceedings of the 1st International Workshop on Learning and Nonmonotonic Reasoning (LNMR2013), CoRR 975 55 - 66 2013.6
-
極小性を用いた負の相関ルールの効率的な抽出法
井出 典子,岩沼 宏治,山本 泰生
人工知能学会全国大会（第27回）論文集 2013.6
-
フーリエ変換を用いた命題論理式の充足可能性に関する一考察
宮城 智輝,山本 泰生,岩沼 宏治
人工知能学会全国大会（第27回）論文集 2013.6
-
頻出アイテム集合の即時圧縮を行う準オンライン型ストリームマイニング
福田 翔士,岩沼 宏治,山本 泰生
人工知能学会全国大会（第27回）論文集 2013.6
-
アンサンブル法に基づく検索隠し味の精度向上
小野裕美,岩沼宏治,山本泰生
第４０回知能システムシンポジウムプログラム論文集 245 - 250 2013.3
-
Non-monotone dualization via monotone dualization Reviewed Major achievement
Proceedings of the 22th Int'l Conf. on Inductive Logic Programming (ILP2012) , LNCS 7842 2013.2
-
Heuristic Inverse Subsumption in Full-clausal Theories Reviewed Major achievement
Proceedings of the 22nd International Conference on Inductive Logic Programming (ILP2012) 2012.9
-
GlueMiniSat2.2.5：単位伝搬を促す学習節の積極的獲得戦略に基づく高速SATソルバー Reviewed Major achievement
鍋島英知,岩沼宏治,井上克巳
コンピュータソフトウエア 29 ( 4 ) 146 - 160 2012.7
-
多値論理を用いた生体ネットワークシステムのモデル検査.
坂本 悠,山本 泰生,岩沼 宏治
情報処理学会 バイオ情報学第29回研究会研究報告 BIO-29 ( 3 ) 1 - 6 2012.6
-
負の相関ルールの完全かつ効率的な抽出法
井出典子,岩沼宏治,山本泰生
第26回人工知能学会全国大会予稿集 2012.6
-
効率的なSMTソルバの実現を目指した等号組み合わせの削減
福田 寿志,岩沼 宏治,山本 泰生
第26回人工知能学会全国大会予稿集 2012.6
-
高速充足可能性判定器を用いた命題論理の結論発見器の実装
村松 匠,鈴木 健士郎,鍋島 英知,岩沼 宏治
第26回人工知能学会全国大会予稿集 2012.6
-
時系列信号処理に基づくSAT解法:Wave-SATソルバの実現に向けて
宮城 智輝,山本 泰生,岩沼 宏治
第26回人工知能学会全国大会予稿集 2012.6
-
Inverse Subsumption for Complete Explanatory Induction. Reviewed Major achievement
Machine Learning 86 115 - 139 2012.5
-
テキスト系列マイニングにおける有用性尺度について Reviewed Major achievement
岩沼宏治
人工知能学会誌 27 ( 2 ) 136 - 145 2012.3( ISSN：09128085 )
-
充足可能性判定器に基づく命題論理の結論発見器の提案
鈴木健士郎,鍋島英知,岩沼宏治
人工知能学会人工知能基本問題研究会(第85回) 予稿集 69 - 74 2012.2
-
系列パターン抽出における各種の評価尺度の関係性
大柴亮,岩沼宏治,山本泰生
人工知能学会人工知能基本問題研究会(第85回) 予稿集 35 - 40 2012.2
-
バースト出現へ対応を目的としたオンライン型系列マイニングへのメモリ制限の導入 Major achievement
伊藤秀志,岩沼宏治,山本泰生
人工知能学会データ指向構成マイニングとシミュレーション研究会， 人工知能学会創立25周年記念合同研究会予稿集 2-42 - 2-49 2011.12
-
専門検索エンジンの半自動構築を目的とした少数データ上のアンサンブル学習 （発表者：優秀研究開発賞受賞） Major achievement
小野裕美,岩沼宏治,山本泰生
第4回楽天研究開発シンポジウム 2011.10
-
一階論理上の等号推論：理論と実際 Reviewed Major achievement
岩沼宏治,鍋島英知,井上克巳
コンピュータソフトウエア 28 ( 4 ) 282 - 305 2011.10
-
Comparison of Upward and Downward Generalization in CF-induction, Reviewed Major achievement
Proc. of the 21th Int'l. Conf. on Inductive Logic Programming (ILP2011) 2011.7
-
一般双対化問題における冗長節生成の抑止法とその評価
山本泰生,鍋島英知,岩沼宏治
第25回人工知能学会全国大会予稿集 2011.6
-
単一系列データマイニングにおける情報量基準とその補完尺度．
大柴亮,岩沼宏治,山本泰生
第25回人工知能学会全国大会予稿集 2011.6
-
多重データストリーム中のバースト出現に対応したオンライン型頻出系列マイニング
伊藤秀志,岩沼宏治,山本泰生
第25回人工知能学会全国大会予稿集 2011.6
-
Nelson-Oppen 法を組み込んだSMTソルバの設計 Major achievement
福田 寿志,岩沼 宏治,山本 泰生
第25回人工知能学会全国大会予稿集 2011.6
-
収集事例の精製を目的とする少数学習データからのアンサンブル学習の性能評価
小野 裕美,岩沼 宏治,山本 泰生
第25回人工知能学会全国大会予稿集 2011.6
-
論理モデルによるグルコース抑制機構のパスウェイ補完
坂本悠,山本泰生,岩沼宏治
第25回人工知能学会全国大会予稿集 2011.6
-
Nelson-Oppen 結合手続きの逆伴意法に基づく改良
岩沼宏治
第82回情報処理学会・プログラミング研究会 2011.1
-
リテラルブロック距離に基づく良い学習節の評価と獲得によるSATソルバの性能改善
鍋島英知,岩沼宏治
第81 回人工知能学会人工知能基本問題研究会 1 - 6 2011.1
-
単調双対化計算に基づく一般双対化問題の解法
山本泰生,鍋島英知,岩沼宏治
第81 回人工知能学会人工知能基本問題研究会 2011.1
-
結論発見手続きSOL タブロー法のための多重探索戦略の提案
鈴木健士郎,鍋島英知,岩沼宏治
第80 回人工知能学会人工知能基本問題研究会 19 - 24 2010.10
-
近年の一階論理定理証明プログラムの実際 Invited
岩沼宏治
電子情報通信学会技術研究報告 ソフトウエアサイエンス研究会 110 ( 227 ) 31 - 36 2010.9
-
From Inverse Entailment to Inverse Subsumption Reviewed Major achievement
Proceedings of the 20th International Conference on Inductive Logic Programming (ILP 2010) 2010.7
-
WEB検索高度化のためのアンサンブル学習に基づく訓練事例の精錬
平林宏基,岩沼宏治,山本泰生,鍋島英知
電子情報通信学会技術研究報告，人工知能と知識処理研究会 110 ( 105 ) 25 - 30 2010.5
-
情報量と頻度に基づく非同期かつ有用な系列パターンの高速抽出 Reviewed Major achievement
村田順平,岩沼宏治,大塚尚貴
人工知能学会論文誌 25 ( 3 ) 464 - 474 2010.5
-
共通記号を持つ背景理論の決定手続きの結合法とその効率化について
岩沼宏治
電子情報通信学会技術研究報告 109 ( 456 ) 115 - 200 2010.3
-
SOLAR: An Automated Deduction System for Consequence Finding Reviewed Major achievement
AI Communications 25 ( 2-3 ) 183 - 203 2010.1
-
SMT : Satisfiability Modulo Theories Reviewed Major achievement
IWANUMA Koji, NABESHIMA Hidetomo
Journal of Japanese Society for Artificial Intelligence 25 ( 1 ) 86 - 96 2010.1( ISSN：09128085 )
-
情報利得基準に基づく系列データマイニングによるイベント系列コーパス作成実験
村田順平,岩沼宏治,大塚尚貴,鍋島英知
人工知能学会 第76回人工知能基本問題研究会資料 SIG-FPAI-A 2010.1
-
飽和性と極大性を用いた単一系列データにおける頻出系列の高速マイニング
村田 拓也,岩沼 宏治
第12回情報論的学習理論ワークショップ (IBIS 2009)予稿集 2009.11
-
イベント系列マイニングを目的とする新聞記事からの時間情報に基づく単語抽出 Reviewed Major achievement
多田 知道,岩沼 宏治,鍋島 英知
人工知能学会論文誌 24 ( 6 ) 488 - 493 2009.11
-
候補系列抑制による高速系列データマイニング
水上 紘悠,岩沼 宏治
第12回情報論的学習理論ワークショップ (IBIS 2009)予稿集 2009.11
-
精度保証付きオンライン型高速近似系列マイニング．
村田順平,岩沼宏治,石原龍一,
第8回情報科学技術フォーラム (FIT2009) 講演論文集 2009.7
-
Toward an Efficient Equality Computation in Connection Tableaux: A Modification Method without Symmetry Transformation. Reviewed Major achievement
Proceedings of the 7th International Workshop on First-Order Theorem Proving (FTP 2009), 19 - 33 2009.7
-
Reconsideration of Circumscriptive Induction with Pointwise Circumscription Reviewed Major achievement
Journal of Applied Logic 7 307 - 317 2009.5
-
Hypothesis enumeration by CF-induction Reviewed Major achievement
Proceedings of the Sixth Workshop on Learning with Logics and Logics for Learning (LLLL2009) 80 - 87 2009.5
-
精度保証付きオンライン型高速近似系列マイニング
村田順平,岩沼宏治,石原龍一,鍋島英知
人工知能学会データマイングと統計数理研究会資料 79 - 85 2009.3
-
長大な単一系列データにおける頻出飽和系列の高速マイニング
村田拓也,岩沼宏治,鍋島英知
人工知能学会 データマイニングと統計数理研究会資料 74 - 78 2009.3
-
並列分散型SATソルバにおける探索空間の分割手法の提案
高見明秀,鍋島英知,岩沼宏治
電子情報通信学会技術研究報告 2009.3
-
時系列テキストデータからの時間的出現依存関係に基づく重要単語の抽出
多田知道,岩沼宏治,鍋島英知
人工知能学会データマイングと統計数理研究会資料 86 - 90 2009.3
-
A Complete Pruning Methods and a Practical Search Strategy for SOL. Reviewed Major achievement
Proceeding of 7th International Workshop on the Implementation of Logics (IWIL 2008) 418 113 - 122 2008.11
-
情報量と頻度に基づく系列データマイニングにおける非同期パターンの抽出と効率化
村田順平,岩沼宏治,大塚尚樹,鍋島英知
第７回情報科学技術フォーラム 2008.9
-
イベント時系列マイニングを目的とする新聞記事からの時系列情報に基づく単語抽出
多田知道,岩沼宏治,鍋島英知
第７回情報科学技術フォーラム， F-048 2008.9
-
文法推論に基づくlossless データ圧縮方法の開発
Yudistira Bayu,岩沼宏治,鍋島英知
第７回情報科学技術フォーラム F-019 2008.9
-
文法推論に基づく無損失データ圧縮の改善
バユ ユディスティラ,岩沼宏冶,鍋島英知
電子情報通信学会技術研究報, 108 ( 202 ) 13 - 18 2008.8
-
マルチ移動エージェントシステムにおける記憶情報のピアツーピア通信に基づく大域的最適化
川上広太,鍋島 英知,岩沼 宏治
山梨大学総合情報処理センター研究報告 11 2008.3
-
情報量と頻度に基づく系列データマイニングにおける非同期パターンの抽出と効率化
村田順平,岩沼宏治,大塚尚貴,鍋島英知
第６回データマイニングと統計数理研究会 61 - 68 2008.2
-
イベント系列マイニングを目的とする新聞記事からの時系列情報に基づく単語抽出
多田知道,岩沼宏治,鍋島英知
第68回人工知能学会人工知能基本問題研究会 71 - 76 2008.1
-
因果関係抽出を目的としたコンフィデンスに基づく高速系列データマイニング
市川博規,岩沼宏治,鍋島英知
第68回人工知能学会人工知能基本問題研究会 65 - 70 2008.1
-
マルチコア環境に向けた高速並列SATソルバの開発
高見明秀,鍋島英知,岩沼宏治
第６回情報科学技術フォーラム論文集 447 - 450 2007.9
-
Reconsideration of Circumscriptive Induction with Pointwise Circumscription Reviewed Major achievement
Proceeding of International Workshop on Abduction and Induction in AI and Bioinformatics. 50 - 64 2007.9
-
マルチコア環境向け並列SATソルバの開発
高見明秀,鍋島英知,岩沼宏治
電子情報通信学会技術研究報告 7 - 12 2007.5
-
論理プログラムによるゲームのプロタイプ開発支援ツール
川上広太,鍋島 英知,岩沼 宏治
山梨大学総合情報処理センター研究報告 10 2007.3
-
階層パターンの抽出を目指した系列データマイニング，
吉田修,岩沼宏治,鍋島英知
電子情報通信学会技術研究報告 45 - 48 2007.3
-
情報量と頻度に基づく知的系列データマイニング手法
大塚尚貴,岩沼宏治,鍋島英知
人工知能学会 データマイニングと統計数理研究会資料 81 - 88 2007.2
-
Rapid Synthesis of Domain-Specific Web Search Engines Based on Semi-automatic Training-Example Generation Reviewed Major achievement
Proceedings of the International Conference on Web Intelligence 2006 (WI'06), 769 - 772 2006.12
-
極大系列抽出を目的とする系列包含検査の高速化アルゴリズム，
市川博規,岩沼宏治,鍋島英知
電子情報通信学会技術研究報告 7 - 12 2006.11
-
Web アクセスログに対する系列データマイニング－ページ滞在時間系列の解析－ad
吉田修,岩沼宏治,鍋島英知
電子情報通信学会技術研究報告 13 - 18 2006.11
-
緩和法に基づく系列データからの頻出部分系列の高速マイニング， Reviewed Major achievement
丸山育嗣,岩沼宏治,鍋島英知
第５回情報科学技術レターズ (FIT2006) 113 - 116 2006.9
-
専門検索エンジンの高速半自動生成法， Reviewed Major achievement
宮川礼子,鈴木 悠生,鍋島英知,岩沼宏治
第５回情報科学技術レターズ (FIT2006) 355 - 358 2006.9
-
Lemma Reusing for SAT based Planning and Scheduling Reviewed Major achievement
Porceedings of the Inter. Conf. on Planning and Scheduling (ICAPS '06) 103 - 112 2006.6
-
Consequence Finding and Computing Answers with Defaults, Journal of Intelligent Information Systems Reviewed Major achievement
Journal of Intelligent Information Systems 26 41 - 58 2006.4
-
リンク元コンテキストを用いた WEB 文書の最重要箇所の同定法
小谷 忠史,林 直弘,鍋島 英知,岩沼 宏治
山梨大学総合情報処理センター研究報告 9 2006.3
-
時系列データ中の頻出部分系列を高速抽出するオンライン近似計算法，
石原龍一,岩沼宏治,鍋島英知
人工知能学会研究会資料 SIG-KBS-A5 21 - 26 2006.3
-
緩和法に基づく時系列データ中からの頻出部分系列の高速マイニング
丸山育嗣,岩沼宏治,鍋島英知
人工知能学会研究会資料 SIG-KBS-A5 27 - 32 2006.3
-
専門検索エンジンの半自動生成と目的とした類似度に基づくWEB学習データの精製
宮川礼子,岩沼宏治,鍋島英知
電子情報通信学会技術研究報告 2006.3
-
WEB文書の頻出情報を利用した解答検索システムの構築，
藤枝直樹,岩沼宏治,鍋島英知
電子情報通信学会技術研究報告 2006.3
-
背景記事集合の類似度に基づく新聞記事のクラスタリング
広瀬千夏,岩沼宏治,鍋島英知
電子情報通信学会技術研究報告 105 ( 494 ) 25 - 30 2006.2
-
専門語彙テンプレートの自動生成とWebページの自動統合
須田真行,岩沼宏治,鍋島英知
電子情報通信学会技術研究報告 105 ( 595, ) 19 - 24 2006.2
-
Extracting Frequent Subsequences from a Single Long Data Sequence: A Novel Anti-Monotonic Measure and a Simple On-Line Algorithm Reviewed Major achievement
Proceedings of The Fifth IEEE International Conference on Data Mining (ICDM2005) 186 - 193 2005.12
-
Upside-Down Transformation in SOL/Connection Tableaux and its Application Reviewed Major achievement
Proceedings of International Colloquium on Theoretical Aspects of Computing (ICTAC05) Lecture Notes on Computer Science 3722 166 - 179 2005.10
-
精錬手法に基づく検索隠し味型専門検索エンジンの半自動生成
鈴木悠生,鍋島英知,岩沼宏治
第４回情報科学技術フォーラム論文集 190 - 202 2005.9
-
大規模データ系列中に頻出する部分系列のオンライン抽出アルゴリズム Reviewed Major achievement
石原龍一，岩沼宏治，鍋島英知
第４回情報科学技術レターズ（FIT2005） 89 - 92 2005.9
-
検索隠し味の半自動生成を目的とした訓練データの精製
鈴木悠生,鍋島英知,岩沼宏治
電子情報通信学会技術研究報告 27 - 31 2005.5
-
系列パターンマイニングにおけるアイテム集合間の連結強度による頻出部分系列の絞込み
大塚尚貴,岩沼宏治,鍋島英知
電子情報通信学会技術研究報告 21 - 26 2005.5
-
エージェントのルール学習におけるGAとGPの特性比較と融合化による性能向上
西村 崇征,岩沼 宏治,鍋島 英知
山梨大学総合情報処理センター研究報告 8 2005.3
-
大規模時系列データ中の頻出パターンのオンライン抽出アルゴリズム
石原龍一,岩沼宏治,鍋島英知
電子情報通信学会技術研究報告 25 - 30 2005.3
-
多重リンクを考慮するハイパーリンク最重要箇所の同定法とブラウジング支援の応用
林直弘,岩沼宏治,鍋島英知
電子情報通信学会技術研究報告 32 - 36 2005.3
-
診療系関連語彙テンプレートの自動生成とWebページの自動統合
須田真行,岩沼宏治,鍋島英知
電子情報通信学会技術研究報告 49 - 54 2005.3
-
新聞記事のイベント想起語群の自動生成
広瀬千夏,岩沼宏治,鍋島英知
電子情報通信学会技術研究報告 55 - 60 2005.3
-
Effective Sat Planning by Lemma-Reusing Reviewed Major achievement
Proceedings of the IASTED International Conference on Artificial Intelligence and Applications (AIA2005) 1 - 5 2005.2
-
On Anti-Monotone Frequency Measures for Extracting Sequential Patterns from a Single Very-Long Data Sequence. Reviewed Major achievement
Proceedings of IEEE International Conference on Cybernetics and Intelligence Systems (CIS2004) 2004.12
-
Speculative Computation through Consequence-finding in Multi-Agent Environments Reviewed Major achievement
Annals of Mathematics and Artificial Intelligence 42 255 - 291 2004.11
-
単一の長大なデータ系列上の系列パターンの出現尺度とその逆単調性 Reviewed Major achievement
高野洋,岩沼宏治,鍋島英知
第３回情報科学技術レターズ(FIT2004) 115 - 118 2004.9
-
Consequence Finding in Default Theories Reviewed Major achievement
Proceedings of 6th International Conference on Flexible Query Answering Systems (FQAS2004), Lecture Notes in Artficial Intelligence 3055 459 - 472 2004.6
-
単一の長大なテキストデータ系列からの頻出パターンの発見
高野洋,鍋島英知,岩沼宏治
人工知能学会ことば研究会資料 SIG-LSE-A 75 - 78 2004.5
-
ハイパーリンク先ページでの重要個所の同定法 ─リンク元コンテキストとページ構造の考慮─
小谷忠史,岩沼宏治,鍋島英知
人工知能学会研究会資料 SIG-KBS-A 245 - 250 2004.3
-
大規模な時系列テキストデータからのイベント時系列パターンの発見
高野洋,広瀬千夏,岩沼宏治,鍋島英知
人工知能学会研究会資料 SIG-KBS-A3 233 - 238 2004.3
-
大規模時系列データからのイベントを象徴するキーワードの自動抽出
広瀬千夏,高野洋,岩沼宏治,鍋島英知
人工知能学会研究会資料 SIG-KBS-A3 293 - 244 2004.3
-
リンク元コンテキストを考慮するハイパーリンク重要箇所同定法
小谷忠史,岩沼宏治,鍋島英知
情報処理学会研究報告 2003 ( 54 ) 1 - 6 2003.9
-
Detecting Two Sorts of Correspondences between HTML Documents for Extracting Temporal Differences Reviewed Major achievement
Proceedings of the Third IASTED International Conference on Artificial Intelligence and Applications (AIA2003), 611 - 616 2003.9
-
SOLAR: A Consequence Finding System for Advanced Reasoning Reviewed Major achievement
Proceeding of Tableaux03. Lecture Notes in Artficial Intelligence 2796 257 - 263 2003.9
-
老若男女だれでも作れるテキスト情報に基づくHTML文書ラッパ
三井健，岩沼宏治，鍋島英知
電子情報通信学会技術研究報告 103 ( 243 ) 43 - 48 2003.7
-
補題再利用によるSATプラニングの高速化
鍋島英知,野沢宏仁,岩沼宏治
電子情報通信学会技術研究報告 103 ( 103 ) 47 - 52 2003.5
-
時間差分検出を目的とするHTML文書間の種々の対応関係の検出法
中村正人,岩沼宏治,鍋島英知
情報アクセスのためのテキスト処理シンポジウム発表論 文集 17 - 24 2003.2
-
マルチエージェントシステム分散協調問題における時間遅れと知識量の関係 Reviewed Major achievement
石塚悠一,岩沼宏治
電子情報通信学会論文誌 D-I J86-D-I ( 2 ) 117 - 120 2003.2
-
エージェント間通信におけるアブダクションによる投機的計算 Reviewed Major achievement
佐藤健,井上克己,岩沼宏治,坂間千秋
コンピュータソフトウエア（日本ソフトウエア 科学会論文誌) 20 ( 1 ) 27 - 35 2003.1
-
Effective SAT Planning by Speculative Computation Reviewed Major achievement
Proceeding of 15th Australian Joint Conference on Artificial Intelligence Lecture Notes in Artficial Intelligence 2557 726 - 727 2002.12
-
事例に基づくシリーズ型HTML文書の意味論理構造の自動認識 Reviewed Major achievement
梅原雅之,岩沼宏治,鍋島英知
人工知能学会論文誌 17 ( 6E ) 690 - 698 2002.12
-
マルチエージェントシステムにおける情報伝 達の効果：伝達構造と情報破棄
高野洋,岩沼宏治,鍋島英知
エージェント合同シンポジウム (JAWS2002) 講演論文集 487 - 494 2002.10
-
Minimal Answer Computation and SOL Reviewed Major achievement
Proceedings of 8th European Conference on Logics in Artificial Intelligence (JELIA 2002) Lecture Notes in Artificial Intelligence, 2424 245 - 258 2002.9
-
A Case-Based Recognition of Semantic Structures in HTML Documents (An automated Transformation from HTML to XML). Reviewed Major achievement
Proceedings of Third International Conference on Intelligent Data Engineering and Automated Learning (IDEAL 2002) Lecture Notes in Computer Science 2412 141 - 147 2002.8
-
時間的差分データの監視を目的とした携帯端末画面への表示システムに関する研究
小谷忠史,岩沼宏治,鍋島英知
電子情報通信学会技術研究報告 102 ( 207 ) 77 - 84 2002.7
-
Conditional Answer Computation in SOL as Speculative Computation in Multi-Agent Environments Reviewed Major achievement
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 ) 2002.7
-
HTML文書の時間的差分の自動検出
中村正人,岩沼宏治,鍋島英知
2002年度人工知能学会全国大会（第16回）論文集 2002.6
-
マルチエージェントシステムにおける情報伝達構造の効果
高野洋,岩沼宏治,鍋島英知
2002年度人工知能学会全国大会（第16回）論文集 2002.6
-
HTML文書の時間的差分の自動検出に関する研究
中村正人,梅原雅之,岩沼宏治,鍋島英知
人工知能学会研究会資料 SIG-FAI-A1 33 - 38 2002.3
-
シリーズ型HTML文書の事例に基づく文書論理構造の自動認識と抽出
梅原雅之,岩沼宏治,鍋島英知
人工知能学会研究会資料 SIG-FAI-A1 27 - 32 2002.3
-
エージェントの行動ルール学習問題におけるGAとGPの性能比較とハイブリッド化による高性能化
西村崇征,岩沼宏治,鍋島英知
ＭＰＳシンポジウム論文集（情報処理学会） 269 - 272 2001.9
-
近年の定理自動証明技術 Reviewed Major achievement
岩沼宏治
人工知能学会誌 16 ( 5 ) 675 - 682 2001.9
-
事例に基づくHTML文書からXML文書への半自動変換 Reviewed Major achievement
梅原雅之,岩沼宏治,永井宏和
人工知能学会論文誌 16 ( 5 ) 408 - 416 2001.9
-
エージェントの行動学習問題におけるGAとGPの特性解析とハイブリッド化による性能向上
西村崇征,岩沼宏治,鍋島英知
電子情報通信学会技術研究報告 101 ( 419 ) 55 - 62 2001.9
-
利己的なマルチエージェント群の分散協調における時間遅れの影響
石塚悠一,岩沼宏治
電子情報通信学会技術研究報告 101 ( 308 ) 25 - 32 2001.7
-
エージェントの行動学習問題におけるGAとGPの性能比較
西村崇征,岩沼宏治,鍋島英知
電子情報通信学会技術研究報告 101 ( 66 ) 1 - 8 2001.5
-
HTMLからXMLへの事例ベース変換における複合テキストブロックの取扱い ─アライメント等の適用─
梅原雅之,岩沼宏治,鈴木慎治,鍋島英知
電子情報通信学会技術研究報告 101 ( 110 ) 41 - 48 2001.5
-
Completeness of Pruning Methods for Consequence Finding Procedure SOL Reviewed
Koji Iwanuma, Katsumi Inoue, Ken Satoh
Peter Baumgartner and Hantao Zhang (eds.), Proceedings of the Third International Workshop on First-Order Theorem Proving (FTP'2000) 89 - 100 2000
-
A Defeasible Reasoning System in Multi-Agent Environments Reviewed Major achievement
Chiaki Sakama, Katsumi Inoue, Koji Iwanuma, Ken Satoh
Proceedings of the First International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-00) 1 - 6 2000
-
Finite Approximation of Predicate Circumscription Reviewed Major achievement
IEICE Transaction on Information and Systems E82-D ( 2 ) 475 - 479 1999.2
-
Strong Contraction in Model Elimination Calculus Reviewed Major achievement
IEICE Transaction on Information and Systems E81-D ( 5 ) 464 - 471 1998.12
-
遺伝的プログラミングを用いた命題ＭＥタブロー法による定理自動証明 Reviewed Major achievement
岩沼宏治,矢ケ崎剛
人工知能学会誌 14 ( 3 ) 553 - 558 1998.3
-
A Global Ordering Constraint for a Top-Down Transformation system of General E-Unification
Koji Iwanuma
京都大学数理解析研究所講究録 1041 211 - 218 1998
-
Lemmas Matching for a PTTP-based Top-down Theorem Prover Reviewed Major achievement
Koji Iwanuma
Proc. of the 14th International Conference of Automated Deduction (Lecture Notes in Artifical Intelligence) 161 - 175 1997.7
-
An Extension of Pointwise Circumscription Reviewed Major achievement
Artifical Intelligence 86 391 - 402 1996.9
-
一階理論に対する単一名公理の計算法 Reviewed Major achievement
太田和彦,岩沼宏治
コンピュータソフトエア 12 ( 2 ) 67 - 75 1994.8
-
Conservative Quary Normalization on Parallel Circumscription Reviewed Major achievement
Koji Iwanuma, Masateru Harao and Shoichi Noguch
Proc. of the 12th International Conference on Automated Deduction (Lecture Notes in Artificial Intelligence) 296 - 310 1994.6
-
PTTPに基づくサーカムスクリプションのコンパイル方法
岩沼 宏治
知識のリフォメ-ション・シンポジウム論文集 1 - 10 1993.6
-
高階論理におけるユニフィケーションアルゴリズムの複雑さ Reviewed Major achievement
原尾政輝,岩沼宏治
コンピュータソフトウエア 12 ( 2 ) 67 - 75 1991.1
-
述語サーカムスクリプションにおける質問変換の正規化戦略 Reviewed Major achievement
岩沼宏治,原尾政輝,野口正一
人工知能学会誌 5 ( 5 ) 617 - 626 1990.9
-
非再帰的な述語サーカムスクリプションの一階論理式への等価変換 （岩沼宏治，原尾政輝） Reviewed Major achievement
岩沼宏治,原尾政輝
人工知能学会誌， 5 ( 4 ) 462 - 470 1990.7
-
並列サーカムスクリプションの一階論理式への等価変換 Reviewed Major achievement
岩沼宏治,原尾政輝,野口正一
人工知能学会誌 5 ( 4 ) 471 - 481 1990.7
-
質問変換に基づく並列サーカムスクリプションの計算手法 Reviewed Major achievement
岩沼宏治,原尾政輝,野口正一
人工知能学会誌 5 ( 4 ) 471 - 481 1990.1
-
点別サーカムスクリプションに基づく孤立式の一般化 Reviewed Major achievement
岩沼宏治,原尾政輝
人工知能学会誌 4 ( 5 ) 556 - 565 1989.9
-
定理証明的手法による再帰方程式からの回路の自動合成 Reviewed Major achievement
原尾政輝,岩沼宏治
電子情報通信学会論文誌Ｄ-Ⅱ J72-D-Ⅱ ( 5 ) 132 - 141 1989.5
-
Knowledge Representation and Inference Based on First-Order Modal Logic Reviewed Major achievement
Proc. of International Conference on Fifth Generation Computer systems 449 - 506 1988.11
-
定理証明的手法を用いた回路自動合成のための変換規則 Reviewed Major achievement
原尾政輝,岩沼宏治
電子情報通信学会誌Ｄ J71-D ( 1 ) 132 - 141 1988.1
-
時間と空間を扱う様相述語論理の不完全性とその相対的完全化 Reviewed Major achievement
岩沼宏治,原尾政輝,野口正一
電子情報通信学会論文誌Ｄ J70-D ( 5 ) 859 - 869 1987.5
-
時空間様相論理ETSLの完全・無矛盾な公理系 Reviewed Major achievement
岩沼宏治,原尾政輝,野口正一
電子通信学会論文誌Ｄ． J69-D ( ４ ) 491 - 501 1986.4
-
時空間様相論理ETSLとその決定手続き Reviewed Major achievement
岩沼宏治,原尾政輝,野口正一
電子通信学会論文誌D J69-D ( 3 ) 365 - 374 1986.3
Books and Other Publications
-
人工知能学大事典
人工知能学会編（ Role： Joint Work融合原理）
共立出版 2017.7 （ ISBN:978-4320124202 ）
-
人工知能学大事典
人工知能学会編（ Role： Joint Work定理証明）
共立出版 2017.7 （ ISBN:978-4320124202 ）
-
人工知能学事典
人工知能学会編集委員会編（ Role： Joint Work融合原理）
共立出版 2005.12 （ ISBN:4-320-12107-4 ）
-
人工知能学事典
人工知能学会編集委員会編（ Role： Joint Work定理自動証明）
共立出版 2005.12 （ ISBN:4-320-12107-4 ）
-
改定電子情報通信用語辞典
電子情報通信学会編（-人工知能の基礎論の計算論，記号計算，知識表現と推論、学習等に関する２４項目）
コロナ社 1999.7 （ ISBN:978-4-339-00706-0 ）
-
知的コンピュータ事典
「知的コンピュータシステム事典」編集委員会 編：著者多数（ Role： Joint Work-プログラム理論における時相論理）
産業調査会 1989.11
-
プログラム理論と様相論理
岩沼宏治,原尾政輝（-）
株式会社 サイエンス社 1986.5
Presentations
-
A Basis of Efficient Equational Consequence Finding on SOL-Tableaux International conference
Koji Iwanuma,Hidetomo Nabeshima,Katsumi Inoue
The Third Franco-Japanese Symposium on Knowledge Discovery in Systems Biology (FJ'09) 2009.9
-
Effective Equality Computation in Connection Tableaux International conference
Koji Iwanuma
The Second Franco-Japanese Symposium on Knowledge Discovery in Systems Biology (FJ'08) 2008.10
Awards
-
人工知能学会 2017年研究会優秀賞
2018.6 人工知能学会 負の相関ルールマイニングの効率化のための飽和アイテム集合からの極⼩⽣成⼦の⾼速抽出
谷島健斗，岩沼宏治，山本泰生
-
人工知能学会 2014年研究会優秀賞
2015.6 人工知能学会 トランザクションストリーム上のオンライン型頻出飽和集合マイニング
福田翔士，岩沼宏治，山本泰生
-
日本ソフトウエア科学会 第3回ソフトウエア論文賞
2014.9 日本ソフトウエア科学会 GlueMiniSat 2.2.5: 単位伝搬を促す学習節の積極的獲得戦略に基づく高速SAT ソルバー
鍋島英知 岩沼宏治 井上克巳
-
山梨大学優秀教員奨励制度特別表彰
2008.6 山梨大学
岩沼宏治
-
第３回情報科学技術フォーラム(FIT2004)優秀論文賞
2004.9 ＦＩＴ（電子情報通信学会ＩＳＳ、情報処理学会） 単一の長大なデータ系列上の系列パターンの出現尺度とその逆単調性
高野洋,岩沼宏治,鍋島英知
-
1991年度人工知能学会全国大学優秀論文賞
1991.6 人工知能学会 述語サーカムスクリプションの有限近似とその上の計算システム
太田和彦,岩沼宏治
-
1990年度人工知能学会全国大学優秀論文賞
1990.7 人工知能学会 述語サーカムスクリプションに於ける質問変換とその性質
岩沼宏治,原尾政輝,野口正一
-
1989年度人工知能学会全国大学優秀論文賞
1989.7 人工知能学会 非再帰的な述語サーカムスクリプションの一階論理式への等価変換
岩沼宏治,原尾政輝
-
1987年度人工知能学会全国大学優秀論文賞
1987.6 人工知能学会 回路自動合成のための定理証明システム
原尾政輝,岩沼宏治
Teaching Experience (On-campus)
-
Human and Computer
2023Year
-
Information processing based on mathematics and logic
2023Year
-
Algorithms and Data Structures Ⅱ
2023Year
-
Information Theory
2023Year
-
Large-scale Discrete Structure Processing
2023Year
-
コンピュータ理工学基礎ゼミ
2023Year Type of subject：Other (undergraduate)
-
Information Theory Major achievement
2016Year Type of subject：Professional education (undergraduate)
-
Algorithms and Data StructuresII Major achievement
2016Year
-
Large-scale DiscreteStructure Processing Major achievement
2016Year Type of subject：Master's (Graduate School)
-
Advanced Study on ArtificialIntelligence Major achievement
2016Year Type of subject：Dr. (Graduate School)
-
Logic and Formal Methods Major achievement
2016Year Type of subject：Professional education (undergraduate)
-
Information Theory Major achievement
2015Year Type of subject：Professional education (undergraduate)
-
Artificial Intelligence Major achievement
2015Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学演習第二B
2015Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学演習第二A
2015Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学研究第二B
2015Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学研究第二A
2015Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学演習第一B
2015Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学演習第一A
2015Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学研究第一B
2015Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学研究第一A
2015Year Type of subject：Master's (Graduate School)
-
コンピュータ理工学研修
2015Year Type of subject：Professional education (undergraduate)
-
コンピュータ理工学概論
2015Year Type of subject：Professional education (undergraduate)
-
コンピュータ理工学基礎ゼミ
2015Year Type of subject：Professional education (undergraduate)
-
Logic and Formal Methods Major achievement
2015Year Type of subject：Professional education (undergraduate)
-
Algorithm and Data Structure II Major achievement
2015Year Type of subject：Professional education (undergraduate)
-
コンピュータ・メディア工学研修
2014Year Type of subject：Professional education (undergraduate)
-
コンピュータ・メディア工学研究第一A
2014Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学研究第一B
2014Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学演習第一A
2014Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学演習第一B
2014Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学研究第二A
2014Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学研究第二B
2014Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学演習第二A
2014Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学演習第二B
2014Year Type of subject：Master's (Graduate School)
-
Artificial Intelligence
2014Year Type of subject：Master's (Graduate School)
-
Information Theory
2014Year Type of subject：Professional education (undergraduate)
-
Algorithm and Data Structure
2014Year Type of subject：Professional education (undergraduate)
-
Logic and Formal Methods
2014Year Type of subject：Professional education (undergraduate)
-
コンピュータ理工学基礎ゼミ
2014Year Type of subject：Professional education (undergraduate)
-
コンピュータ理工学概論
2014Year Type of subject：Professional education (undergraduate)
-
Information Theory
2013Year Type of subject：Professional education (undergraduate)
-
Artificial Intelligence
2013Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学演習第二B
2013Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学演習第二A
2013Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学研究第二B
2013Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学研究第二A
2013Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学演習第一B
2013Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学演習第一A
2013Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学研究第一B
2013Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学研究第一A
2013Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学研修
2013Year Type of subject：Professional education (undergraduate)
-
コンピュータ理工学概論
2013Year Type of subject：Professional education (undergraduate)
-
コンピュータ理工学基礎ゼミ
2013Year Type of subject：Professional education (undergraduate)
-
Operating Systems and Laboratory
2013Year Type of subject：Professional education (undergraduate)
-
Algorithm and Data Structure
2013Year Type of subject：Professional education (undergraduate)
-
Information Theory
2012Year Type of subject：Professional education (undergraduate)
-
コンピュータ・メディア工学演習第二B
2012Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学演習第二A
2012Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学研究第二B
2012Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学研究第二A
2012Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学演習第一B
2012Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学演習第一A
2012Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学研究第一B
2012Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学研究第一A
2012Year Type of subject：Master's (Graduate School)
-
Artificial Intelligence
2012Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学研修
2012Year Type of subject：Professional education (undergraduate)
-
コンピュータ理工学概論
2012Year Type of subject：Professional education (undergraduate)
-
コンピュータ理工学基礎ゼミ
2012Year Type of subject：Professional education (undergraduate)
-
アルゴリズムとデータ構造演習
2012Year Type of subject：Professional education (undergraduate)
-
Operating Systems and Laboratory
2012Year Type of subject：Professional education (undergraduate)
-
Operating Systems and Laboratory
2012Year Type of subject：Professional education (undergraduate)
-
Algorithm and Data Structure
2012Year Type of subject：Professional education (undergraduate)
-
情報と職業
2011Year Type of subject：Other (undergraduate)
-
コンピュータ・メディア工学研究第一A
2011Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学研究第一B
2011Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学演習第一A
2011Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学演習第一B
2011Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学研究第二A
2011Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学研究第二B
2011Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学演習第二A
2011Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学演習第二B
2011Year Type of subject：Master's (Graduate School)
-
Artificial Intelligence
2011Year Type of subject：Master's (Graduate School)
-
Information Theory
2011Year Type of subject：Professional education (undergraduate)
-
Algorithm and Data Structure
2011Year Type of subject：Professional education (undergraduate)
-
Operating Systems and Laboratory
2011Year Type of subject：Professional education (undergraduate)
-
アルゴリズムとデータ構造演習
2011Year Type of subject：Professional education (undergraduate)
-
入門ゼミ
2011Year Type of subject：Professional education (undergraduate)
-
メディア工学概論
2011Year Type of subject：Professional education (undergraduate)
-
コンピュータ・メディア工学研修
2011Year Type of subject：Professional education (undergraduate)
-
情報と職業
2010Year Type of subject：Other (undergraduate)
-
コンピュータ・メディア工学研究第一A
2010Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学研究第一B
2010Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学演習第一A
2010Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学演習第一B
2010Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学研究第二A
2010Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学研究第二B
2010Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学演習第二A
2010Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学演習第二B
2010Year Type of subject：Master's (Graduate School)
-
Artificial Intelligence
2010Year Type of subject：Master's (Graduate School)
-
Information Theory
2010Year Type of subject：Professional education (undergraduate)
-
Algorithm and Data Structure
2010Year Type of subject：Professional education (undergraduate)
-
Operating Systems and Laboratory
2010Year Type of subject：Professional education (undergraduate)
-
アルゴリズムとデータ構造演習
2010Year Type of subject：Professional education (undergraduate)
-
入門ゼミ
2010Year Type of subject：Professional education (undergraduate)
-
メディア工学概論
2010Year Type of subject：Professional education (undergraduate)
-
コンピュータ・メディア工学研修
2010Year Type of subject：Professional education (undergraduate)
-
アルゴリズムとデータ構造演習
2009Year Type of subject：Professional education (undergraduate)
-
入門ゼミ
2009Year Type of subject：Professional education (undergraduate)
-
メディア工学概論
2009Year Type of subject：Professional education (undergraduate)
-
コンピュータ・メディア工学研修
2009Year Type of subject：Professional education (undergraduate)
-
情報と職業
2009Year Type of subject：Other (undergraduate)
-
オペレーティングシステムおよび実習
2009Year Type of subject：Professional education (undergraduate)
-
コンピュータ・メディア工学研究第一A
2009Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学研究第一B
2009Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学演習第一A
2009Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学演習第一B
2009Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学研究第二A
2009Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学研究第二B
2009Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学演習第二A
2009Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学演習第二B
2009Year Type of subject：Master's (Graduate School)
-
人工知能特論
2009Year Type of subject：Master's (Graduate School)
-
情報理論
2009Year Type of subject：Professional education (undergraduate)
-
アルゴリズムとデータ構造
2009Year Type of subject：Professional education (undergraduate)
-
コンピュータ・メディア工学演習第二B
2008Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学演習第二A
2008Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学研究第二B
2008Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学研究第二A
2008Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学演習第一B
2008Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学演習第一A
2008Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学研究第一B
2008Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学研究第一A
2008Year Type of subject：Master's (Graduate School)
-
人工知能特論
2008Year Type of subject：Master's (Graduate School)
-
人工知能演習
2008Year Type of subject：Professional education (undergraduate)
-
人工知能
2008Year Type of subject：Professional education (undergraduate)
-
コンピュータ・メディア工学研修
2008Year Type of subject：Professional education (undergraduate)
-
メディア工学概論
2008Year Type of subject：Professional education (undergraduate)
-
入門ゼミ
2008Year Type of subject：Professional education (undergraduate)
-
アルゴリズムとデータ構造演習
2008Year Type of subject：Professional education (undergraduate)
-
オペレーティングシステムおよび実習
2008Year Type of subject：Professional education (undergraduate)
-
アルゴリズムとデータ構造
2008Year Type of subject：Professional education (undergraduate)
-
情報理論
2008Year Type of subject：Professional education (undergraduate)
-
情報と職業
2008Year Type of subject：Other (undergraduate)
-
コンピュータ・メディア工学研究第一A
2007Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学研究第一B
2007Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学演習第一A
2007Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学演習第一B
2007Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学研究第二A
2007Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学研究第二B
2007Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学演習第二A
2007Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学演習第二B
2007Year Type of subject：Master's (Graduate School)
-
人工知能特論
2007Year Type of subject：Master's (Graduate School)
-
情報と職業
2007Year Type of subject：Other (undergraduate)
-
人工知能演習
2007Year Type of subject：Professional education (undergraduate)
-
人工知能
2007Year Type of subject：Professional education (undergraduate)
-
コンピュータ・メディア工学研修
2007Year Type of subject：Professional education (undergraduate)
-
メディア工学概論
2007Year Type of subject：Professional education (undergraduate)
-
入門ゼミ
2007Year Type of subject：Professional education (undergraduate)
-
アルゴリズムとデータ構造演習
2007Year Type of subject：Professional education (undergraduate)
-
オペレーティングシステムおよび実習
2007Year Type of subject：Professional education (undergraduate)
-
アルゴリズムとデータ構造
2007Year Type of subject：Professional education (undergraduate)
-
情報理論
2007Year Type of subject：Professional education (undergraduate)
-
アルゴリズムとデータ構造演習
2006Year Type of subject：Professional education (undergraduate)
-
コンピュータ・メディア工学研究第一A
2006Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学研究第一B
2006Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学演習第一A
2006Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学演習第一B
2006Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学研究第二A
2006Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学研究第二B
2006Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学演習第二A
2006Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学演習第二B
2006Year Type of subject：Master's (Graduate School)
-
人工知能演習
2006Year Type of subject：Professional education (undergraduate)
-
人工知能
2006Year Type of subject：Professional education (undergraduate)
-
コンピュータ・メディア工学研修
2006Year Type of subject：Professional education (undergraduate)
-
オペレーティングシステムおよび実習
2006Year Type of subject：Professional education (undergraduate)
-
アルゴリズムとデータ構造
2006Year Type of subject：Professional education (undergraduate)
-
情報理論
2006Year Type of subject：Professional education (undergraduate)
-
メディア工学概論
2006Year Type of subject：Professional education (undergraduate)
-
入門ゼミ
2006Year Type of subject：Professional education (undergraduate)
-
プレゼンテーション論および実習
2005Year Type of subject：Professional education (undergraduate)
-
人工知能基礎特論
2005Year Type of subject：Master's (Graduate School)
-
記号論理特論
2005Year Type of subject：Dr. (Graduate School)
-
コンピュータ・メディア工学演習第二
2005Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学研究第二
2005Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学演習第一
2005Year Type of subject：Master's (Graduate School)
-
アルゴリズムとデータ構造演習
2005Year Type of subject：Professional education (undergraduate)
-
入門ゼミ
2005Year Type of subject：Professional education (undergraduate)
-
メディア工学概論
2005Year Type of subject：Professional education (undergraduate)
-
コンピュータ・メディア工学研修
2005Year Type of subject：Professional education (undergraduate)
-
情報理論
2005Year Type of subject：Professional education (undergraduate)
-
アルゴリズムとデータ構造
2005Year Type of subject：Professional education (undergraduate)
-
オペレーティングシステムおよび実習
2005Year Type of subject：Professional education (undergraduate)
-
人間とコンピュータ
2005Year Type of subject：Common education (undergraduate)
-
コンピュータ・メディア工学研修
2004Year Type of subject：Professional education (undergraduate)
-
コンピュータ・メディア工学演習第二
2004Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学研究第一
2004Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学演習第一
2004Year Type of subject：Master's (Graduate School)
-
コンピュータ・メディア工学研究第二
2004Year Type of subject：Master's (Graduate School)
-
情報理論
2004Year Type of subject：Professional education (undergraduate)
-
アルゴリズムとデータ構造
2004Year Type of subject：Professional education (undergraduate)
-
オペレーティングシステム
2004Year Type of subject：Professional education (undergraduate)
-
アルゴリズムとデータ構造演習
2004Year Type of subject：Professional education (undergraduate)
-
入門ゼミ
2004Year Type of subject：Professional education (undergraduate)
-
メディア工学概論
2004Year Type of subject：Professional education (undergraduate)
Textbooks and teaching materials
-
Data Structure and Algorithms
All author names / all translator names：IWANUMA Koji, MINO HIdetoshi, Nabeshima Hidetomo and Yamamoto Yoshitaka Editor / author name：Eds.: The institute of Electronics, Information and Communication Engineers (IEICE)
2018.02.23
Total number of pages：208
Social Activities
-
山梨で育つ最先端技術～山梨大学工学部 高大連携講座～第2回「離散ビッグデータへの挑戦」
Role(s)： Lecturer
山梨県立甲府昭和高等学校 山梨県立甲府昭和高等学校 2018.7
-
山梨県光ネットワーク研究会 会長
Role(s)： Planner, Organizing member
山梨県光ネットワーク研究会 2004 - 2006
Professional Memberships
-
情報処理学会
-
人工知能学会
Committee Memberships
-
電子情報通信学会 人工知能と知識処理研究専門委員会 委員長
2005.5 - 2007.4
Committee type：Society
-
電子情報通信学会・情報システムソサイエティ 企画広報幹事
2000.6 - 2002.5
-
電子情報通信学会・英文論文誌 Information & Systems 編集委員
1999.6 - 2000.5
Committee type：Society
-
日本学術振興会 特別研究員等審査会 委員
2018.7 - 2020.6
Committee type：Government (national level)
-
日本学術振興会 科学研究費委員会専門委員会 委員
2008.12 - 2010.11
Committee type：Government (national level)
-
電子情報通信学会論文誌「フォーマルアプローチ特集」編集委員会 編集委員
2008.1 - 2013.1
Committee type：Society
-
電子情報通信学会ハンドブック・知識ベース委員会 Ｓ３群３編・編幹事および章主任
2007.7 - 2019.3
Committee type：Society
-
JAWS2002（エージェント合同シンポジウム） 実行委員長およびプログラム委員
2002.4 - 2003.3
Committee type：Society
-
電子情報通信学会・人工知能と知識処理研究専門委員会 副委員長
2001.5 - 2005.4
Committee type：Society
-
電子情報通信学会・人工知能と知識処理研究専門委員会 幹事
1996.6 - 2000.4
-
IEEE/WIC/ACM International Conference on Web Intelligence PC member
2008.1 - 2010.12
Committee type：Society
-
人工知能学会・人工知能基礎論研究会 専門委員
1994.4 - 1996.3
-
電子情報通信学会・人工知能と知識処理研究専門委員会 専門委員
1992.5 - 2013.5
Committee type：Society
-
新世代コンピュータ技術開発機構，演繹・オブジェクト指向データベース専門委員会 委員
1990.4 - 1992.3
-
山梨県教育委員会 新山梨県立図書館情報システム構築業務委託業者選定委員会 委員
2010.4 - 2010.7
Committee type：Autonomy
-
山梨県地域情報ネットワーク相互接続機構 代表
2004.4 - 2009.3
-
関東ＪＧＮ ＩＩ 懇話会 山梨県委員
2004.4 - 2009.3
-
山梨県シームレス通信技術実験推進協議会 委員
2004.4 - 2005.3