the national SpeceDevelopment Agency of Japan (NASDA)