因子の部屋とドッスンフワリの物理的ゼロ知識証明 | アルゴリズム設計論講座(泉研究室) - 大阪大学大学院情報科学研究科コンピュータサイエンス専攻