国際会議 2017年9月25日 On Confluence of Innermost Terminating Term Rewriting Systems the 47th TRS meeting Masahiko Sakai 記述言語 英語 会議種別 口頭発表(一般) 開催地 Matsue, Shimane