バイオハッカーの正しさを証明する