量子計算の正しさを事後チェックする新手法、JSTと京大が開発 (l_yx_ryo.jpg)