国際会議 2018年1月13日 Towards Proof Synthesis by Neural Machine Translation Off the Beaten Track 2018 (OBT 2018) Taro Sekiyama, Akifumi Imanishi, Kohei Suenaga 記述言語 英語 会議種別 口頭発表(一般)