Lists_J: 直積、リスト、オプション - 数のペアまで終了