『2023年の名目GDP、日本は世界4位』について