>>453
だから「多項式時間で検証可能」って概念の厳密な説明に結局TMが必須やん