試す

系と 2 つの状態を入力すると、Id(s, t) とほかの問いの答えをまとめて計算します。どの答えも、計算とは別に動く検査器が証明書を確かめてから返ります。入力の意味と結果の読み方は「文書」にあります。