Shunsuke Nanaumi

According to our database, Shunsuke Nanaumi authored at least 2 papers between 2013 and 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2015

A Bidirectional Transformation Supporting Tool for Formalization with Logical Formulas.

Shunsuke Nanaumi, Kazunori Wagatsuma, Hongbiao Gao, Yuichi Goto, Jingde Cheng

Proceedings of the Intelligent Information and Database Systems - 7th Asian Conference, 2015

2013

Development of a supporting tool for translation between declarative sentences and logical formulas.

Shunsuke Nanaumi, Kazunori Wagatsuma, Yuichi Goto, Jingde Cheng

Proceedings of the International Conference on Machine Learning and Cybernetics, 2013