対話型証明系
interactive proof system
対話型証明系 - Wikipedia