2004年 An improved recursive decomposition ordering for term rewriting systems revisited 25th TRS meeting M. Iwami 記述言語 会議種別 口頭発表(一般) 開催地 三重大学 国・地域 日本