検証アウトソーシングによる計算の委任:奇妙な検証器【Powered by NICT】