Webアプリを集合論に落とし込めたかも