IKEDA DAISUKE | Department of Informatics, Kyushu University
スポンサーリンク
概要
Department of Informatics, Kyushu University | 論文
- Speeding Up String Pattern Matching by Text Compression: The Dawn of a New Era (特集 〔情報処理学会〕創立40周年記念論文)
- Refutability and Reliability for Inductive Inference of Recursive Real-Valued Functions
- Criteria for Inductive Inference with Mind Changes and Anomalies of Recursive Real-Valued Functions (Special Issue on Selected Papers from LA Symposium)
- An Efficient Prover for Elementary Formal Systems
- Knowledge Acquisition from Amino Sequences by Machine Learning System BONSAI