証明オブジェクトと格闘