シミュレーションを用いた多パラメータ後量子分数次矩不等式について | Synapse