Data Conversion Method between a Natural Number and a Binary Tree for an Inductive Proof and Its Application. - Kazuko Takahashi 001; Shizuo Yoshimaru; Mizuki Goto (SCSS, 2013)