並列自動証明システム
MGTP