Informasi yang berkaitan dengan ja/計算機支援証明