論文 - 平田 耕一
-
Disjunctive Rules Extracted from MRSA Data with Verification 査読有り
Kouichi Hirata,Yoshikazu Shima,Masateru Harao,Shigeki Yokoyama,Kimiko Matsuoka,Taeko Izumi
Proc. 1st International Conference on Complex Medical Engineering (CME2005) 326 - 330 2005年05月
-
Risk Management System for Hospital-Acquired Infection Based on Bacterial Culture Database 査読有り
Yuichi Ikenaga,Kouichi Hirata,Masateru Harao,Shigeki Yokoyama,Kimiko Matusoka
Proc. 1st International Conference on Complex Medical Engineering (CME2005) 423 - 427 2005年05月
-
Attribute Selection Measures with Possibility and Their Application to Classifying MRSA from MSSA 査読有り
Kouichi Hirata,Masateru Harao,Minoru Wada,Shigeki Yokoyama,Kimiko Matusoka
Proc. 1st International Conference on Complex Medical Engineering (CME2005) 418 - 422 2005年05月
-
Extracting Disjunctive Closed Rules from MRSA Data 査読有り
Yoshikazu Shima,Kouichi Hirata,Masateru Harao,Shigeki Yokoyama,Kimiko Matsuoka,Taeko Izumi
Proc. 1st International Conference on Complex Medical Engineering (CME2005) 315 - 321 2005年05月
-
Efficiently Computable Classes of Second Order Predicate Schema Matching Problems 査読有り
Masateru Harao,Shuping Yin,Keizo Yamada,Kouichi Hirata
Proc. 19th International Workshop on Unification (UNIF 05) 121 - 134 2005年04月
-
Efficient Second-Order Predicate Schema Matching Based on Projection Position Indexing 査読有り
Masateru Harao,Shuping Yin,Keizo Yamada,Kouichi Hirata
Proc. 5th International Workshop on the Implementation of Logics (IWIL2004) 31 - 42 2005年03月
-
Development of an Analogy-Based Generic Sequent Style Automatic Theorem Prover Amalgamated with Intractive Proving 査読有り
Keizo Yamada,Shuping Yin,Masateru Harao,Kouichi Hirat
Proc. 5th International Workshop on the Implementation of Logics (IWIL2004) 78 - 86 2005年03月
-
Refutability and Reliability for Inductive Inference of Recursive Real-Valued Functions 査読有り
Eiju Hirowatari,Kouichi Hirata,Tetsuhiro Miyahara,Setsuo Arikawa
IPSJ Transactions on Mathematical Modeling and Its Application 46 ( SIG2(TOM11) ) 1 - 11 2005年01月
-
Extracting Minimal and Closed Monotone DNF Formulas 査読有り
Yoshikazu Shima,Shinji Mitsuishi,Kouichi Hirata,Masateru Harao
Proceedings of the 7th International Conference on Discovery Science, Lecture Notes in Artificial Intelligence 3245 298 - 305 2004年10月
-
Generalization Algorithms for Second-Order Terms 査読有り
Kouichi Hirata,Takeshi Ogawa,Masateru Harao
Proceedings of the 14th International Conference on Inductive Logic Programming, Lecture Notes in Artificial Intelligence 3194 147 - 163 2004年09月
-
Tractable and Intractable Second-Order Matching Problems 査読有り
Kouichi Hirata,Keizo Yamada,Masateru Harao
Journal of Symbolic Computation 37 ( 5 ) 611 - 628 2004年05月
-
Extraction of Coverings as Monotone DNF Formulas 査読有り
Kouichi Hirata,Ryosuke Nagazumi,Masateru Harao
Proceedings of the 6th International Conference on Discovery Science (Lecture Notes in Artificial Intelligence 2843) 165 - 178 2003年10月
-
On Condensation of a Clause 査読有り
平田 耕一
Proceedings of the 13th International Conference on Inductive Logic Programming (Lecture Notes in Artificial Intelligence 2845) 164 - 179 2003年10月
-
Learning Elementary Formal Systems with Queries 査読有り
Hiroshi Sakamoto,Kouichi Hirata,Hiroki Arimura
Theoretical Computer Science 298 ( 1 ) 21 - 50 2003年04月
-
Criteria for Inductive Inference with Mind Changes and Anomalies of Recursive Real-Valued Functions 査読有り
Eiju Hirowatari,Kouichi Hirata,Tetsuhiro Miyahara,Setsuo Arikawa
The Transactions of IEICE E86-D ( 2 ) 219 - 227 2003年02月
-
Pre-Checkingに基づく効率的スキーママッチングアルゴリズム 査読有り
久保憲吾,山田敬三,平田耕一,原尾政輝
電子情報通信学会論文誌 J85-D-I ( 2 ) 143 - 151 2002年02月
-
Prediction-Preserving Reducibility with Membership Queries on Formal Languages 査読有り
Kouichi HIRATA,Hiroshi SAKAMOTO (Kyushu Univ.)
Proceedings of the 13th International Symposium on Fundamentals of Computation Theory (Lecture Notes in Computer Science 2138) 172 - 183 2001年08月
-
Second-Order Schema Matching Based on Projection Point Labeling 査読有り
Keizo YAMADA,Koichi HIRATA,Masateru HARAO
Proceedings of the 15th International Workshop on Unification 49 - 53 2001年06月
-
On the Hardness of Learning Acyclic Conjunctive Queries 査読有り
平田 耕一
Proceedings of the 11th International Conference on Algorithmic Learning Theory (Lecture Notes in Artificial Intelligence 1968) 238 - 251 2000年12月
-
A Constructive Learning of Context-Free Languages with a Subpansive Tree 査読有り
Noriko Sugimoto,Takashi Toyoshima,Shinichi Shimozono,Kouichi Hirata
Proc. 5th International Colloquium on Grammatical Inference (Lecture Notes in Artificial Intelligence 1891) 270 - 283 2000年09月