Testing Proofs by Examples. - Susumu Hayashi; Ryosuke Sumitomo (ASIAN, 1998)

Towards the animation of proofs - testing proofs by examples. - Susumu Hayashi; Ryosuke Sumitomo; Ken-ichiro Shii (Theor. Comput. Sci., 2002)

Utterance Intent Classification of a Spoken Dialogue System with Efficiently Untied Recursive Autoencoders. - Tsuneo Kato; Atsushi Nagai; Naoki Noda; Ryosuke Sumitomo; Jianming Wu; Seiichi Yamamoto (SIGDIAL Conference, 2017)