0は自然数
チャーチ数デコード