査読有り 1999年 Inference of Equational Programs by Inverse Reduction Journal of Japan Society for Artificial Intelligence,14/3,504-519 山本 章博 記述言語 英語 掲載種別 エクスポート BibTeX RIS