The development and demonstration of a housing system that produces formic acid from carbon dioxide and water through artificial photosynthesis and supplies household electricity through power generation using the resulting hydrogen. It aims to establish an environmental housing technology integrating artificial photosynthesis, formic acid, hydrogen power generation and housing.