If a non-Japanese researcher who is a prospective resident of Tokyo Tech International Researcher Housing wishes to take advantage of the shortened self-isolation period for COVID-19 vaccination certificate holders: