Rational Proofs against Rational Verifiers. - Keita Inasawa; Kenji Yasunaga (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2017)