論証構造
ラクーン商会の例で、MGTP により証明された証明ログから、 ログデータの解析を行って得られた論証構造。
「MGTPによる実行結果」に戻る