Peer-reviewed 2005 Dynamic Evaluation の実装について 数式処理 野呂正行 Language Japanese Publishing type Research paper (scientific journal) Export BibTeX RIS