Howdunnit

存在証明と生存確認