証明してからソフトを作るか、ソフトを作ってから永遠に反例を探すか
始まらない系と終わらない系