conference Developments in Computational Learning and Discovery Theory within the Framework of Elementary Formal Systems. Setsuo Arikawa, Masako Sato, Ayumi Shinohara, Takeshi Shinohara Machine Intelligence 15, , pp.227-247 (1995), [peer-reviewed] Abstract / 概要