プルーフ・チェッカーが実用化されると
大学入試で証明問題が客観テストになり
まつ